 number?
False
Let i = 78 - -54. Suppose 0 = -5*u + 133 + i. Is u a prime number?
True
Let o = 13 - 6. Suppose -o*j = -3*j - 268. Is j prime?
True
Let c(o) = 2*o**2 + 29*o + 4. Is c(-17) composite?
False
Suppose 0*k = -2*k + 3070. Suppose 6*p = p + k. Is p composite?
False
Suppose 4*r - 20 = -5*l, -l + 0*r - 15 = -3*r. Suppose -5*v + 376 + 259 = l. Is v a prime number?
True
Let g(w) = 19*w**2 - 4*w + 4. Is g(-3) a composite number?
True
Let a = 1321 + -900. Let y = a - 272. Is y a composite number?
False
Let v be (1 - -2)*(-111)/(-9). Suppose -5*o = d - 47, 2*o = 7*o - 4*d - v. Suppose -3*x = -o - 9. Is x composite?
True
Let u(i) = -30*i + 7. Is u(-10) prime?
True
Suppose -3*t + 187 = 2*j, -4*j + 21 = 1. Is t a prime number?
True
Let v = 1850 - 451. Is v a composite number?
False
Suppose -4*g = 0, g + 0*g = -4*z + 812. Is z a composite number?
True
Suppose b - 1770 = -4*b. Suppose -2*i = 338 + b. Is 4/(-18) - i/18 prime?
True
Let l be 1*4/8*0. Let r(z) = z + 223. Is r(l) prime?
True
Let i be (-1)/(362/(-182) - -2). Let p = 59 + i. Let n = -10 - p. Is n a composite number?
True
Suppose -6*p = -4*p. Suppose 0 = j, 75 = -p*g + 5*g + 5*j. Is g a composite number?
True
Suppose -3*k + 5*k = 4*v - 946, v = 3*k + 224. Is v a composite number?
False
Suppose -3*s + 2103 = -1314. Is s a prime number?
False
Let s(h) be the second derivative of h**3/6 + 73*h**2 - 2*h. Let y be s(0). Is y + (-2)/4*-6 composite?
False
Let o be 1/(394/196 + -2). Let f = o + -61. Is f a composite number?
False
Let d = 1545 + -1077. Suppose -d = -3*g - 3*s, g + 55 - 208 = 2*s. Suppose -799 = -4*x - g. Is x a composite number?
True
Let y = -12 - -26. Is y composite?
True
Let k(u) be the third derivative of -2*u**2 + 1/120*u**6 + 0*u + 0 - 5/24*u**4 + 1/3*u**3 + 1/60*u**5. Is k(3) prime?
True
Is (-1416)/(-18) - (-1)/3 a prime number?
True
Let f be (2 + -2)/(-1 - 0). Let l = 5 - f. Suppose 2*v - 29 = v - 2*j, -l*v + 205 = -5*j. Is v a composite number?
False
Suppose 12*y - 7780 = 8*y. Is y prime?
False
Suppose 129 - 41 = -2*z. Let o = z - -78. Is o prime?
False
Let b(v) = -v**2 - 5*v + 6. Let s be b(-6). Suppose s = -4*c + 3 - 7. Is (-14)/7 + (c - -22) composite?
False
Let o(t) = 3*t**3 - 3*t**2 + 4*t + 9. Is o(6) composite?
True
Suppose -3*x - 3*i = -42, -x + 5*i + 28 = -4. Let g = 9 + 13. Let j = x + g. Is j composite?
True
Suppose -3*w + 4*c = 7, 4*w - 4*c + 6 = -2*c. Is (-12)/(-3) + (w - -7) a composite number?
True
Suppose -4*k + 1074 + 1458 = 0. Is k composite?
True
Let q(z) = z**3 - 4*z**2 + 3*z - 3. Suppose i - 5*i - 12 = -4*k, 3 = 4*k + 5*i. Suppose -k*h + 17 = 5*b, -5*b = 4*h - 12 + 3. Is q(b) composite?
False
Let f(w) = 115*w**2 + w - 1. Is f(-1) a composite number?
False
Suppose -4*q = -5*q + 12. Let u be (q/16)/((-2)/(-256)). Let y = u - 53. Is y composite?
False
Let s(d) = 11*d**2 - 18*d - 3. Is s(8) composite?
False
Let c = -13 - -9. Is ((-65)/(-10))/((-2)/c) prime?
True
Let j be (-4)/8*(4 - 4). Suppose j = 2*n - 2*b - 288, 14 = -2*n + 4*b + 292. Is n composite?
False
Suppose 5*o = c + 158 + 899, -4*c = -3*o + 641. Is o a composite number?
False
Let v = 20 + -1. Is v prime?
True
Let p = 9 - 12. Is 51 + 2/(-3)*p a composite number?
False
Let v = 379 + -162. Is v composite?
True
Suppose -7*i + 9*i = 4. Let y(o) = -2*o + 5. Let m(p) = -p + 2. Let c(j) = -14*m(j) + 6*y(j). Is c(i) prime?
False
Suppose 2*o + 9 = -o. Is 69/(-2)*2/o composite?
False
Suppose 0 = -3*l - 2*b - 0*b - 5686, -b + 9455 = -5*l. Let d = 2941 + l. Is d composite?
False
Suppose 0 = -2*p - 84 + 2038. Is p a composite number?
False
Let z = -115 + 210. Is z composite?
True
Let b be (-33)/(-15) + 2/(-10). Suppose -225 = -q - b*q. Suppose -95 = -2*v + 3*p, 2*p = 5*v - 146 - q. Is v a composite number?
False
Suppose 1069 = 2*x + 255. Is x a prime number?
False
Suppose 2*p - 1 = 7. Suppose -78 = -2*v + p*i, 8*i - 3*i = -20. Suppose -v = -2*a + 85. Is a composite?
True
Is 1256/2 + 4/(12/9) a prime number?
True
Suppose -17*y = -16*y - 35. Let w = 403 + -205. Suppose -y = g - w. Is g prime?
True
Is (-5 - (-28316)/10) + (-2)/(-5) a prime number?
False
Let m be (0 - 163)/(-1*1). Suppose -2*b - m = 5*v, -2*b + 103 - 35 = -2*v. Let k = v - -70. Is k a prime number?
True
Suppose 0 = r - 2*s + 8, -12 = r + 2*s - 5*s. Let y(k) = k + 223. Is y(r) prime?
True
Let t be 1/4*2*8. Suppose -5*d + 5 = 0, -10 = 2*x - 5*x + 2*d. Suppose c + 0*r = -t*r + 33, -4*c = x*r - 144. Is c prime?
True
Suppose 3*v - 1 - 5 = 0. Let d = -3 + v. Is d*(-3 + 5) - -40 a prime number?
False
Suppose 30 = 3*l + 2*l. Suppose 8 = -l*t + 2*t. Is 51 + 5/((-5)/t) prime?
True
Let x be 106/(-10)*(-7 - -2). Let w = 148 - x. Is w a prime number?
False
Suppose 8*v + 2393 - 14865 = 0. Is v a prime number?
True
Suppose 3*c + 163 - 610 = 0. Is c prime?
True
Let l(x) = -4 - 3*x + 16 - 10 + 2*x**2. Let y be l(2). Suppose y*s - 74 = 2*s. Is s prime?
True
Let x be 3 - -5 - 0/(-2). Suppose 4*y - 445 = -y. Suppose x = j - y. Is j composite?
False
Let q = -3 - -3. Suppose q = -y - 2 + 4. Suppose 2*m = -3*i + 142, -m - y*m + 235 = -i. Is m a composite number?
True
Let s(b) = -b**3 + 9*b**2 - 8*b + 1. Let r be s(8). Let v be ((-20)/(-5))/(3 - r). Suppose 3*u + 2*k - 579 = 4*k, 0 = 5*u + v*k - 949. Is u a prime number?
True
Let h = 9 + -6. Is (-1)/h + 498/9 a composite number?
True
Let g(x) = 36*x - 26. Let h(t) = -12*t + 9. Let n(l) = 3*g(l) + 8*h(l). Let a be n(4). Suppose d = -2*d + a. Is d a composite number?
True
Let b(p) = 5*p**2 - 2*p + 1. Suppose -4 = -y - 3*y. Let n be b(y). Suppose r - 62 = -4*c, 2*c + 4*r = n*c - 22. Is c composite?
True
Let o(n) = -n**2 - 9*n + 11. Is o(-5) a composite number?
False
Let v(n) = 54*n**2 - n. Let t be -2*2*1/(-4). Is v(t) a composite number?
False
Is 2 + (-2)/2 + 156 a prime number?
True
Let s = -278 - -571. Is s prime?
True
Let u = -15 + 18. Suppose u*k = 73 + 68. Is k prime?
True
Suppose -3*n - 3 = 0, -3*p + 0 - 96 = 3*n. Let q(b) = -97*b - 1. Let k be q(-1). Let o = p + k. Is o a prime number?
False
Let x(c) = c**3 + 5*c**2 + 3*c - 1. Let i be x(-4). Suppose -32 = -2*t + i*v, -3*v - 22 = -t - 0*t. Is t a prime number?
False
Let m be 886/(-2)*(-1 - 0). Let h = m + -314. Is h a composite number?
True
Suppose x = -123 + 1540. Is x a prime number?
False
Let y = 16 + -91. Let i = 110 + y. Is i composite?
True
Let i be (-1)/2*(-2 + 4). Let r be (-4 + 7)*106/6. Is i*(-2)/(2/r) prime?
True
Let j = 3 - -2. Let t = 92 - j. Is t composite?
True
Let n be ((-18)/(-21))/((-9)/(-42)). Is (-1479)/(-7) + n/(-14) composite?
False
Let j(p) = 54*p**2 + 4*p + 3. Is j(-2) a prime number?
True
Suppose 2*h + 2*h - 16 = 0. Suppose 0 = -0*q - q + h. Suppose 0 = q*i - 0*i - 52. Is i a composite number?
False
Let q = 4 + -2. Let m = q - -5. Is m a prime number?
True
Let a be 6/((-24)/(-220)) + 3. Let k = a + 9. Is k composite?
False
Suppose -520 = -4*u - 4*u. Suppose 2*c = 5*q + c + 174, c = 4. Let k = q + u. Is k a prime number?
True
Is (-52)/(-2)*(-39)/(-6) a composite number?
True
Let c(f) be the second derivative of f**4/6 - f**3/6 + f**2/2 - 2*f. Let u(a) = a + 5. Let k be u(-3). Is c(k) composite?
False
Suppose -k - 338 = -l, 5*l - 2*k - 341 - 1340 = 0. Is l a prime number?
False
Let q = -17 + 33. Is ((-44)/q)/((-2)/8) a prime number?
True
Is 1878/4 - (-8)/(-16) composite?
True
Let v(j) = 25*j + 2. Let r(h) = -37*h - 3. Let x(p) = -5*r(p) - 7*v(p). Is x(2) a prime number?
False
Let y = 17 + 41. Is y a composite number?
True
Is 720/9 - (2 - -1) composite?
True
Let t = 9 - 130. Let r = 236 + t. Is r prime?
False
Suppose 5*n + 1 = -4. Let o be n/((-1)/59) + 1. Suppose -4*z + 16 + o = 0. Is z a prime number?
True
Suppose -4344 - 3333 = -3*r. Is r composite?
True
Suppose 5*i - 2*k - 2536 = -41, 0 = 5*i - k - 2490. Is i a composite number?
True
Let v(b) = 13*b**2 + 7*b + 31. Is v(-4) a prime number?
True
Let b(q) = -4*q + q**3 + 22 + 1 + 5*q. Is b(0) composite?
False
Is 11730/54 - 2/9 a composite number?
True
Let y(p) = p**3 + 10*p**2 - 2*p - 15. Let k be y(-10). Let o = 5 - 3. Suppose o*g - 39 + 3 = -2*s, k*s + 81 = 4*g. Is g a composite number?
False
Let v = 770 - 1634. Let p(z) = -30*z + 5. Let h be p(20). Let k = h - v. Is k a composite number?
False
Let r be 3/(((-4)/(-3))/4). Suppose -20 = -3*h - 4*d, 4*d - 5 = 3. Suppose -j = -h*j + r. Is 