Suppose -2*n + k - j = -4*n, -4631 = -2*n + k. Is n a prime number?
False
Let j(b) = 127*b**3 + b**2 - 1. Let z be j(-1). Let i = z - -79. Is (-2861)/(-3) + 32/i a prime number?
True
Let y = -14443 + 39012. Is y a prime number?
False
Let z(i) = -i**2 - 10*i. Let y be z(-10). Suppose y = -9*o + 13769 + 2062. Is o prime?
True
Let j = -45 - -53. Suppose -3*p + 250 = 4*a, 3*a + a + j = 0. Is p a prime number?
False
Let p(o) be the second derivative of -29*o**5/20 + o**4/6 - o**2/2 + 5*o. Let i be p(-1). Suppose 2*m - 10 = -5*b + 47, i = 2*b - m. Is b composite?
False
Let g(f) = f**3 - 17*f**2 - 11*f - 26. Let k(s) = -2*s**3 + 33*s**2 + 23*s + 53. Let x(t) = -9*g(t) - 4*k(t). Is x(12) composite?
True
Let x = -26 - -44. Suppose 4*k - 3*w = -x, 3*w - 1 - 11 = 2*k. Is 214 + 0 + k + 0 a prime number?
True
Let w = -34470 - -72509. Is w a prime number?
True
Suppose 0 = 3*t + 3*w - 12, t - w + 2 + 2 = 0. Suppose -4*n + 3*n = t. Suppose n = c - 16 - 105. Is c a prime number?
False
Is (27556 + 1)/(10/(-110)*-11) a composite number?
True
Suppose 0 = p - 0*p. Let f(a) = -20*a + 204. Let y be f(10). Suppose 0 = -p*w + y*w - 820. Is w a composite number?
True
Suppose 5*r = -5 - 15. Let k(j) = -14*j**2 + 4*j + 5. Let w(q) = -155*q**2 + 45*q + 55. Let c(i) = -45*k(i) + 4*w(i). Is c(r) composite?
True
Suppose 21*u + 13862 = 3*t + 20*u, -4*t - 3*u + 18487 = 0. Is t a composite number?
False
Let n be (5 - -5)/(0 + 2)*299. Suppose -2*h = -c + n, 10*c - 5*c - 7501 = -3*h. Is c prime?
True
Let h be (-64)/(3*4/36). Let a = h + 347. Is a a prime number?
False
Let k(m) be the first derivative of 4*m**3/3 + m**2/2 - 2*m - 11. Is k(1) a prime number?
True
Suppose 96*p - 2899129 = 79*p. Is p a composite number?
False
Let c(b) be the second derivative of b**3/6 - b**2/2 - 3*b. Let l be c(4). Suppose -4*o = l*h - 2017, -2*h + 0*o + 1348 = 2*o. Is h prime?
False
Let z = 40145 - 21198. Is z composite?
False
Suppose 2*w + 0*f - 1 = 3*f, -4*w + 5 = -5*f. Suppose -6*s + s + w*q = -2170, -888 = -2*s - 2*q. Is s prime?
True
Let b = 131966 - -338111. Is b composite?
False
Let w(m) = m**3 - 5*m**2 + 3*m + 6. Let i be w(4). Suppose 5*b + i*b = 1407. Is b composite?
True
Suppose -1792 = -5*t + 3118. Is t composite?
True
Let b = 23 + -20. Suppose -l + 1 + 3 = 0, -5*l = -b*m - 20. Suppose -2*n - 5*d = 2*n - 482, -4*d - 8 = m. Is n prime?
False
Let g(m) = 32*m**3 - m**2 + m. Let x be g(1). Let p be (-3)/(-2)*x/24. Suppose -2*y + 10 = 0, p*v + 8*y = 4*y + 466. Is v a composite number?
False
Is -5*10/125*(-2985)/3 composite?
True
Suppose 4*f = -4*r + 24, -f = -0*f + 5*r - 22. Suppose f*u - 169 = -5*c, -7 = 2*u - 1. Is c composite?
True
Let g be ((-1)/1)/((-8)/32). Suppose g*f = 2659 + 4513. Suppose 35 = 4*z - f. Is z a composite number?
False
Suppose v - 5*v + 16 = 0. Suppose 2*k + 510 + 747 = c, -v*c + 5012 = -4*k. Is c a prime number?
True
Let c(y) = -64*y + 2. Let n be c(-1). Suppose -n*z - 695 = -67*z. Is z a prime number?
False
Suppose 4*v + 10 = k, 0 = k + v + v + 14. Let c(t) = t**2 + 3*t - 14. Let q be c(k). Suppose 4*r = q*z - 620, -3*z + 5*r + 304 = -z. Is z prime?
True
Suppose -34*t = -17*t - 94945. Is t a composite number?
True
Let v be (-3)/(9/6) - -4936. Suppose -4*z + v + 3014 = 0. Is z a prime number?
True
Let q = 1629 + -3374. Let j = -67 - q. Is j composite?
True
Is 8/(-12) + (-428)/12*-379 a prime number?
False
Let d be 57/12 - (2 + (-5)/4). Suppose -h = d*l + l - 442, 4*h = -5*l + 1843. Is h prime?
True
Let g be 3*(4/12 + 1). Let s(b) = 49*b + 13. Is s(g) composite?
True
Let l(p) = -p**3 + 10*p**2 - 21*p + 3. Let a be l(6). Let m be (-4)/6 + (-26)/(-3). Let g = a - m. Is g prime?
True
Suppose 0*y + 2130 = -y. Let c = 4087 + y. Is c a prime number?
False
Let q = -18 + 18. Suppose q = 8*l - 5*l - 918. Let b = l + -115. Is b a composite number?
False
Let u(w) = -2*w**3 - 3*w**2 + w + 2. Let k be u(-2). Suppose -k*q - 3*l + 2501 = 0, l + 1591 = 4*q - 930. Is q a prime number?
False
Suppose 20984 = 4*x - 4*o, 5*x + 10*o - 26221 = 6*o. Is x a composite number?
True
Suppose -21640 = 8*r - 16*r. Is r composite?
True
Let l(y) = y**3 + 20*y**2 - 2*y + 4. Is l(-13) composite?
False
Let q(u) = 178*u**2 + 6*u - 6. Is q(5) composite?
True
Suppose -5*p + 0*h + 4*h - 22 = 0, h - 7 = 2*p. Let o = p - -16. Is o composite?
True
Suppose -6*u + 8116 + 7010 = 0. Is u composite?
False
Let q be 43/2*(-126)/(-9). Let i = q - -502. Is i composite?
True
Let f = 96 + -88. Suppose -3*t + f*t = 5575. Is t composite?
True
Let t be (-9)/(-15) - (-14)/10. Let o = -3 - -7. Suppose -t*w - 418 = -3*h + 627, -5*h + 1727 = o*w. Is h a prime number?
True
Let t(i) = i**3 - 6*i**2 - i + 8. Let b be t(6). Suppose b*a + 3*a = 1115. Is a composite?
False
Let v be 1/(((-3)/6)/(-1 + 0)). Suppose d - 3*n = 859, 9*n = -v*d + 4*n + 1762. Is d prime?
False
Suppose -3*n = 5*p - 6*n - 25, -4*n = -p + 22. Suppose -p*g - 215 = -7*g. Is g a composite number?
False
Let a(h) = -h**2 + 5*h - 2. Let x be a(4). Suppose 10*c = 5*c + x*w + 833, 3*c + w - 502 = 0. Is c a composite number?
False
Let c = 398 + -66. Suppose -2*b + c = 2*v, b - 149 - 349 = -3*v. Is v a prime number?
False
Suppose 0 = -88*c + 90*c - 22412. Let x = c + -6597. Is x a composite number?
True
Let p(l) = -1362*l + 763. Is p(-28) a prime number?
False
Let g = 139 + -57. Suppose -b + g = -662. Is (1/(-3))/((-8)/b) a composite number?
False
Let a be -4 - (6/3 - 13). Is (-22630)/(-35) - (-3)/a composite?
False
Let f be (-1)/(-3)*1*18. Let k = f - 1. Suppose -k*g + 298 = -187. Is g prime?
True
Suppose 0 = 3*i - 7*i - 5*z + 190764, -2*i - 5*z = -95382. Is (-8)/(-14)*i/18 prime?
False
Suppose 5*k + 3*a - 2756 = 0, k - 2*a - 559 = -0*a. Is k composite?
True
Let y be 3*5/(-15)*314. Let v = -11 - y. Is v composite?
True
Let l(b) = -206*b - 32. Let v be l(-13). Let z = v + -1767. Is z a prime number?
False
Suppose -3*m + 0*m = 3*k - 66, -m + 4*k + 37 = 0. Let v be m/5*(3 - 2). Suppose 5*g + 2*o - 4*o - 787 = 0, -790 = -v*g + 5*o. Is g prime?
True
Suppose 16866 = g + 2983. Is g prime?
True
Suppose -j + 11*j - 680 = 0. Suppose j = l + l. Is l prime?
False
Let f(o) = -o**3 - 10*o**2 - 3*o + 1. Let p = -9 + -1. Let c be f(p). Suppose -3*n + 170 = -c. Is n composite?
False
Let g = 31 - 28. Suppose l = 4*k + g*l - 1158, -3*k - 2*l = -869. Is k prime?
False
Suppose -43*u = -50*u + 52157. Is u composite?
False
Suppose 3*h + 4*r - 20 = 0, -2*h - 3*r = r - 12. Let z(o) = 34*o - 7. Is z(h) prime?
False
Let f(j) = j**3 + 8*j**2 + 7*j + 8. Suppose -3*v - 22 = -4. Let t be f(v). Suppose h - 2*h + t = 0. Is h a prime number?
False
Let u be (-3)/(18/15)*2. Let g be (-2 + 0)*u/2. Is (-1)/g - (-3768)/15 a composite number?
False
Let p = 136 + -76. Suppose 6*b + 0 = p. Suppose b*n + 340 = 14*n. Is n composite?
True
Let t(l) = 140*l**3 + 2*l**2 - 4*l + 1. Let f be t(3). Suppose -f = -5*x - 2*x. Is x a composite number?
False
Suppose 3*i + i + 3332 = 0. Suppose 20 = -5*z, -3*j + 3602 = -0*j + 4*z. Let w = j + i. Is w prime?
True
Let i = 6710 + 1037. Is i prime?
False
Is (1390780/18)/2 - (-18)/81 prime?
False
Let i = 2342 - -38115. Is i composite?
True
Let a = -39574 + 68679. Is a prime?
False
Let s(o) = -41*o + 431. Is s(-36) composite?
False
Suppose 7*c = -2*g + 6428, -6440 = 2*g - 4*g - c. Is g prime?
True
Is -2 - -2 - (-11923)/1 composite?
False
Suppose 5*o - 2 = 18. Suppose -h + 266 = -o*j + j, 517 = 2*h - 3*j. Is h composite?
False
Let d be (-1309)/49 + (-4)/14. Let y = 18 - d. Suppose 3*l - 372 = y. Is l a composite number?
False
Is -118*(-387)/42 - 4/14 composite?
False
Suppose 5*h = 3*h. Suppose y = -5*z + 11, h*y = -5*z - 4*y + 14. Suppose 0 = -6*j + z*j + 508. Is j a prime number?
True
Let f be -6*(4/2)/(28/21). Is f/(-6)*(2022/9 + -4) a composite number?
False
Suppose 12*r - 11*r = 0. Suppose r = 2*f - 0*a - a - 397, 4*a = -2*f + 392. Suppose -2*j + 1716 = 4*p, -f = 3*p + 4*j - 1475. Is p composite?
False
Let t be ((-12)/(-14))/(8/(-56))*1. Let m(b) = -31*b + 5*b - 2 - 5. Is m(t) a prime number?
True
Let v(k) = 7*k**2 + k - 4. Let t be v(-4). Let a(i) = i**2 - 30*i + 147. Let b be a(24). Suppose -b*d + 43 = -t. Is d a prime number?
False
Suppose -4416895 - 731137 = -128*x. Is x composite?
True
Let p(r) = -r + 149. Let d be 0/(2/(-2))*1. Is p(d) prime?
True
Let v(y) = -9*y**3 + 