 o a composite number?
True
Suppose -3*c - 2*c = 0. Suppose c = -2*i - 2*i + 20. Suppose 212 = -4*a + 4*h + 676, 491 = 4*a + i*h. Is a a composite number?
True
Let g = -69 + 34. Let z = 20 + g. Is (6/z)/(7/(-4585)) composite?
True
Let f(j) = j**3 + 33*j**2 - 37*j - 46. Is f(-29) composite?
False
Let a(q) = -q**3 + 27*q**2 - 18*q + 15. Is a(26) a prime number?
True
Suppose 81421 = 34*o - 223321. Is o a composite number?
False
Suppose -3*z = -4554 - 1860. Is z composite?
True
Let o(q) = 258*q**2 - 1. Let c(p) = 2*p - 5. Let b be c(3). Let f be b/(-4) + (-35)/(-28). Is o(f) a prime number?
True
Suppose -4*v - 4*g + 0*g = -16, 4 = 4*g. Suppose -v*q - 868 = -m, -2*m = -0*m - q - 1751. Is m a composite number?
False
Suppose v + 163 = 2*y, 6 = -4*y - 2. Let l = v - -241. Is l a composite number?
True
Let k(f) be the second derivative of -f**3/6 + f**2/2 + 2*f. Let q be k(-3). Suppose -2*v + 0*v = 2*r - 440, 5*v = -q*r + 885. Is r a prime number?
False
Is 1*2*(-423681)/(-114) a composite number?
False
Suppose 2*p - 1658 = -2*g, 6*p - 7*p - 4*g + 823 = 0. Suppose 2*x = 6*x + 4*l - 1656, 5*l - p = -2*x. Is x prime?
False
Suppose -4*n - 23 - 97 = 0. Let a be (-4)/n - (-232)/60. Suppose 4 = a*w, -4*w = 3*j + 2*j - 2919. Is j a composite number?
True
Suppose 5*y = 4*v - 31, 3*y + 2*y + 35 = 5*v. Is v/10 + ((-2093091)/35)/(-11) a composite number?
False
Let v(t) = -t - 2. Let l be v(-5). Suppose 396 = 3*m - 5*j, -2*m - 7*j + l*j + 242 = 0. Is m a prime number?
True
Let o be (-2)/(-3) + (-30)/45. Suppose o = -4*n + 3 + 13. Suppose -5*l - 2*k + 117 = 0, -k - 65 = -n*l + 39. Is l prime?
False
Let n = -77 + 80. Is 389/n*(6 - 3) a composite number?
False
Suppose 5*j - 4122 - 1033 = 0. Let o be ((-6)/(-3) + -5)/(-1). Suppose o*y + 38 = j. Is y a prime number?
True
Suppose 4*b = -3*b. Let c(o) = o**3. Let d be c(b). Suppose d = 8*f - 832 - 1560. Is f a composite number?
True
Suppose -4*v - 3925 = 3*r - 12600, 2*r + 2*v = 5786. Is r prime?
True
Let x = -2419 + 896. Let q = x - -2260. Is q composite?
True
Let y(o) = -o**2 + o + 1. Let r(g) = -5*g**2 + 17*g + 10. Let z(k) = r(k) - 6*y(k). Let s be z(-10). Is ((-21)/14)/(s/124) composite?
False
Suppose -10 = -4*f + 2*w, -w = -3*f - 3*w + 4. Let k(a) = a**2. Let h(l) = -30*l**2 - 4*l + 3. Let v(p) = -h(p) + 5*k(p). Is v(f) a prime number?
False
Let s(w) = -132*w**2 + 5*w - 6. Let k(d) = 132*d**2 - 4*d + 5. Let u(q) = 6*k(q) + 5*s(q). Let i be (-1)/(-4) - 12/(-16). Is u(i) composite?
True
Suppose 3451 + 2504 = 5*s + 5*o, 0 = 4*s - 2*o - 4740. Is s prime?
True
Let g = 5291 - -1138. Is g a composite number?
True
Suppose 2*g - 3*g = -4. Let b(v) = 19*v + 9. Is b(g) composite?
True
Let r(j) = 50317*j**3 - 2*j**2 + 67*j - 65. Is r(1) a prime number?
False
Let b(q) = -17*q - 3*q**2 + 5*q + 8*q**2 + 7*q**2 + 22. Is b(6) composite?
True
Let l(d) be the third derivative of 367*d**6/360 + d**5/30 - 5*d**4/24 - 3*d**3/2 + 10*d**2. Let p(k) be the first derivative of l(k). Is p(2) prime?
True
Let x = -34098 - -58449. Is x a prime number?
False
Let h be ((-26)/4)/(6/12). Let d be (-6 - -2)*h*1. Suppose -y - y + d = 0. Is y composite?
True
Is (6 - 10/(-5)) + 11769 a composite number?
False
Let x(m) = m**3 - 5*m**2 + 9*m - 1. Let s be x(6). Suppose -2705 = -94*p + s*p. Is p a composite number?
False
Is (-3 + 4)*2 + 2177 a composite number?
False
Suppose -11*q - 36825 = -36*q. Is q prime?
False
Let w = -159 + 167. Let l(b) = -1 + b + 3*b + b**3 + 2*b**2 - 3*b**2. Is l(w) a composite number?
False
Let s(x) = -27723*x + 10. Is s(-1) composite?
False
Let p(t) = -t - 2. Let h(g) = 2*g + 1. Let l(m) = -7*h(m) - 6*p(m). Let w be l(-7). Let o = w - -438. Is o a prime number?
True
Suppose 24*x + 369305 - 1053473 = 0. Is x a prime number?
False
Let o(m) = 4*m**3 - 5*m**2 - m + 3. Let q(i) = -7*i**3 + 11*i**2 + 2*i - 7. Let s(t) = -9*o(t) - 4*q(t). Is s(-3) composite?
False
Suppose 5*i + 4 + 31 = -2*m, -4*m = -i - 29. Let u(f) = -44*f + 17. Is u(i) prime?
False
Suppose 2*b = -b + 5*z - 10, 2*b = 3*z - 5. Suppose -3*n + 452 = -b*f - 1608, -3*f = 3*n - 2052. Is n composite?
True
Suppose 3*n = 3*l + 6, -4*n + 20 + 12 = 4*l. Suppose -2*h - 3*p = -8857, h = -h + l*p + 8827. Is h composite?
False
Let f = -6 + 0. Is (f + -27)*(-1 - 0) prime?
False
Let m(h) = h - 1. Let z(f) = -9*f + 18. Let q(o) = 2*m(o) + z(o). Let a be q(11). Let r = 158 + a. Is r a prime number?
True
Let m = 74 - 69. Suppose 7*v = m*v + 3002. Is v a composite number?
True
Let u(p) = -52*p - 2. Let y be u(-5). Suppose 5*x - y + 803 = 0. Let a = 188 + x. Is a composite?
False
Let j = 52 - 44. Suppose -2101 = -j*s + 1347. Is s composite?
False
Let d(x) = 1058*x - 5. Let m be d(4). Suppose 14*o = 11*o + m. Suppose -3*a + 4*s + 1711 = 0, 2*a + 265 - o = s. Is a composite?
True
Suppose 2*r + 5186 = -4*h + 19774, -3*h = 3*r - 10941. Is h a prime number?
False
Suppose -f + 7*m + 12 = 2*m, 2*f = -3*m - 15. Let i be 4 + (1 + f)/(-2). Suppose 180 = 5*h + i*t, 3 = -0*t - t. Is h prime?
False
Let j = -5175 + 8018. Is j a composite number?
False
Suppose -9*c + 5325 + 93612 = 0. Is c a prime number?
True
Is ((-58840)/(-100))/(12/150) a composite number?
True
Let h = -100 + 659. Let t = h - -262. Is t a composite number?
False
Let n = 43478 - -873. Is n a prime number?
True
Let h(n) = -n**2 - 6*n + 9. Let z be h(-7). Suppose -703 = -w + z*l, 2*l + 2483 = 5*w - 1016. Is w a prime number?
False
Let r(m) = 123*m**3 + 2*m**2 + 4*m + 54. Is r(5) composite?
True
Suppose -3*z + 18 = -6. Suppose 3*u - 3171 = -3*a, -3*a + 3*u = -z*a + 5293. Is a composite?
False
Suppose 14*r - 19*r + 182165 = 0. Is r a composite number?
False
Let l be (-244)/(-11) + (-10)/55. Suppose -4*g = -3*v + 1, 0 = v + v + 3*g + l. Let q = v - -24. Is q a composite number?
False
Is ((-5 - 12534) + 8)*1/(-3) a prime number?
True
Suppose 28*k - 12782 = 14*k. Is k a prime number?
False
Let l(g) = -g - 2. Let w be l(-2). Is 4 - -708 - (-2 - -5 - w) composite?
False
Let q(w) = 1547*w**3 - w + 1. Let u be q(1). Suppose 3*s = -3*x + 909, -5*s = x - 4*x - u. Is s a composite number?
False
Let p = 79 - 76. Suppose r = -2*r + 3357. Suppose 0*t - p*t = -r. Is t a composite number?
False
Suppose 0 = -5*j - 4*l + 4955, 0*l - l = 3*j - 2973. Is j prime?
True
Let y be 1 - (-1)/(-1)*25. Let g = y + 18. Is ((-3)/g)/(2/388) composite?
False
Suppose 20*x - 33*x + 17381 = 0. Is x a composite number?
True
Let m be (-56)/(-14)*1*40. Suppose -131 = -3*j + m. Is j prime?
True
Suppose -2*g - 63 = g. Let q = -18 - g. Suppose q*j = -51 + 216. Is j composite?
True
Let n = 2871 - -2908. Is n composite?
False
Let j(o) = 13*o**2 - 4*o - 2. Suppose -3*c = 1 - 7. Suppose -24 = 4*l + 3*t, -c*t = -6*l + 3*l - 1. Is j(l) a prime number?
True
Suppose 2*s = -2*s + 12, -4*x - s + 19 = 0. Suppose -x*t + 2*n = 5*n - 7204, -3*t - 2*n = -5403. Is t prime?
True
Let i = -564 - 1957. Let z = 4622 + i. Is z prime?
False
Suppose -12*o = -33339 + 12375. Suppose -q + o = 588. Is q a prime number?
False
Let a(w) = 5*w**3 + w. Let i be a(1). Let c be (i + (4 - 7))*1. Suppose r = -c*r + 12, -5*r - 301 = -4*z. Is z a prime number?
True
Let z be (-11473)/11*1*-1. Suppose 2*c - z = -363. Is (1 - c/(-16))*4 a prime number?
True
Is (-8)/20 + 0 - 34182/(-30) prime?
False
Let x(k) = -144*k + 65. Suppose 4*q + 16 = -12. Is x(q) a prime number?
False
Let j = -24 - -7. Let x = -17 - j. Suppose -y + 4*z = -5*y + 312, 2*y - 3*z - 176 = x. Is y prime?
False
Is (-3566013)/99*(-9)/3 prime?
True
Is -5623*16/(64/(-12)) prime?
False
Suppose 0 = -6*d + 15*d - 2691. Is d prime?
False
Let i(o) = 7*o + 727*o**2 + 9 - 9*o + 6*o. Is i(4) a composite number?
False
Let x(b) = b**3 - 14*b**2 - 6*b - 6. Suppose -3*t + 78 = 5*l - 9, 4 = t. Is x(l) a composite number?
True
Let n be 200/(-8) + 0 + -1. Let t = 643 + n. Suppose 4*r - 257 - t = -2*v, 4*r + 461 = v. Is v composite?
True
Let d(w) = -2*w**2 + 7*w - 1. Let u be d(3). Suppose -2140 = -3*s - u*s. Suppose 3*q + 3*m = 472 + s, 3*m + 906 = 3*q. Is q composite?
True
Let p(o) = -4118*o - 121. Is p(-7) a composite number?
True
Let b = 61 - 61. Suppose b*r = -5*r + 1885. Is r prime?
False
Let q = 4142 - 1421. Is q composite?
True
Is 993/(-3)*(210/(-7) + 1) prime?
False
Let l(h) = 40*h - 3. Let f be l(5). Suppose f = n - 171. Suppose -a = -5*v - 113, 4*a - 4*v -