t m(f) = -f**3 - 12*f**2 - 10*f + 2. Suppose -u + 6*u = 5, -h + 2*u = 13. Let p be m(h). Let t = 4 - p. Is t a prime number?
True
Let t be (-3 - -21)/(1 - 2). Let s be 87/27 + 4/t. Suppose s*c - 178 - 76 = -2*z, -z = 4*c - 127. Is z composite?
False
Let a(v) = 408*v + 5. Is a(11) prime?
True
Let w = 12 - 10. Suppose -4*n - 238 = -6*l + l, n + 94 = w*l. Is l composite?
True
Suppose -3*o = 2*o - 15. Suppose -2*y + 522 = -4*g, -g - 7 + o = 0. Is y prime?
False
Suppose -33 = 2*g + 4*p - 199, -9 = 3*p. Is g/((0 - -1)*1) a composite number?
False
Let l(a) = -2*a**2 - 12*a + 10. Let o be l(-9). Let m = o + 81. Is m prime?
True
Let v(b) = -14*b - 8. Let p be v(6). Let f = 41 - p. Is f a prime number?
False
Suppose 64 = 5*i + 4. Suppose -5*v + i - 100 = -2*r, 0 = 4*r - 4*v - 188. Is r a composite number?
True
Let a be (-2 - (-1 + -1))*-1. Suppose a = 5*y - 0*y - 100. Is (-2)/(-8) - (-375)/y a prime number?
True
Let x = 4 + -1. Is x/1 - 2 - -36 a composite number?
False
Suppose 5*j + 8 = -2*v, 5*j = 4*v + 16 - 0. Suppose c = -4*z - 12, -z - 3 = 5*c - j*z. Suppose c*w = 5*w - 35. Is w prime?
True
Let h(b) be the third derivative of -b**4/6 + 11*b**3/6 + b**2. Is h(-9) a prime number?
True
Let o be (-6)/(-33) - (-35)/(-11). Is 200 + (o/3 - 0) a prime number?
True
Let l(w) = -4*w**2 + 6*w - 12. Let j be l(-10). Let o = j - -675. Is o a composite number?
True
Let d(n) = -2*n - 3. Let o be d(-5). Let g(f) = f**2 + 7*f - 9. Is g(o) a composite number?
False
Suppose -4866 = 11*u - 17*u. Is u prime?
True
Let j(i) = i**2 - 2*i - 5. Let y be j(4). Suppose 4*x - 6*x = -240. Is (-4 - -1) + x/y composite?
False
Let r(s) = 6*s**2 - 2*s + 1. Let j be r(1). Suppose 0 = -3*z - 2*z + 4*l + 797, 5*z - 800 = j*l. Is z composite?
False
Let y = -945 - -1526. Is y a composite number?
True
Let j = -78 - -205. Is j prime?
True
Suppose n + 2*s + 8 = 2*n, -n + s = -6. Suppose 4*d + n*i - 40 = 0, -2*i + 6*i = 2*d - 20. Is d composite?
True
Suppose -5*i - 25 = 0, z - 23 = 4*i - 0*i. Suppose 4*x = 0, -2*h - z*x + 0*x + 22 = 0. Is h a composite number?
False
Suppose -3*p - 200 = -2*z, z - 32 = p + 67. Let v = z + -20. Is v composite?
True
Suppose 4*w - 452 = c, 3*w - 303 = -4*c + 36. Is w a prime number?
True
Let c(a) = a**3 - 7*a**2 + 7*a + 8. Let k(x) = -x**2 - 9*x + 6. Suppose 0 = -t - 3 - 6. Let j be k(t). Is c(j) a composite number?
True
Let f be 2 - 1/(0 - 1). Suppose b + 173 = m + 2*b, 491 = f*m - 4*b. Is m a prime number?
False
Suppose -2*n = -86 - 12. Is n prime?
False
Let q(s) = 294*s + 77. Is q(19) a composite number?
True
Suppose 4*s = 6*s - 8. Suppose -2*f = 3*o - f - 1546, -3*o + s*f = -1541. Is o a composite number?
True
Suppose 0 = -4*i + i - 282. Is (0 + i/4)*-2 prime?
True
Suppose -7*a = -6*a - 74. Is a a composite number?
True
Let h(c) = -9*c + 8. Is h(-6) composite?
True
Suppose -3*x - 10 = -8*x. Let r(l) = 50*l**2 + 2*l - 1. Is r(x) a composite number?
True
Is ((-10514)/(-10) - 2/5) + -2 a composite number?
False
Suppose -5*i + 4*s = -12, -s + 10 = i + 4. Suppose -d + 5 = i*d. Suppose -f = -4 + d. Is f a composite number?
False
Suppose 557 = z + 4*k, -3*z + 2*z - 3*k = -561. Suppose -c = -4*c + z. Is c a prime number?
True
Let l(g) = -3*g + 5383. Is l(0) prime?
False
Let l(x) = -63*x - 3. Is l(-2) prime?
False
Suppose 156 = 2*j - 22. Is j prime?
True
Let j = -3544 - -5167. Is j a composite number?
True
Let g = 289 - -106. Is g composite?
True
Let i(d) = -72*d + 7. Is i(-3) prime?
True
Suppose -4*u + 2 = -6. Suppose m - u - 3 = 0. Is (-131)/(-4) + m/20 a prime number?
False
Let f = 5 - 15. Let s = -6 - f. Suppose 8*w = 3*w + s*h + 171, 0 = -w - 2*h + 23. Is w composite?
False
Let r(w) = w**3 + 7*w**2 - 6*w + 37. Is r(11) prime?
False
Let v = 2737 + -128. Is v a prime number?
True
Let a be 254 + 4 + 1 + -1. Suppose 3*l = 5*v + a, 5*l - 2*v + 116 - 546 = 0. Is l/6 + 3/(-9) prime?
False
Let j(y) = 2*y**3 + 3*y**2 - 3*y - 1. Is j(4) prime?
True
Suppose 0 = 5*l - q - 2*q + 12760, 3*l = 5*q - 7640. Let m(o) = o**3 + 6*o**2 + 6*o + 4. Let k be m(-5). Is k/4 - l/28 a prime number?
False
Let v(l) = -177*l**2 - 1. Let w be v(-1). Let b be (-3)/(-12) - w/(-8). Let h = -12 - b. Is h a prime number?
False
Suppose -4*m + 5 = -2*l - 7*m, -m + 1 = 2*l. Suppose -l*x - x = -339. Is x a prime number?
True
Suppose -3*l + 18 - 438 = 0. Let i = -85 - l. Is i prime?
False
Let t be 1/(-2)*(-40)/10. Suppose t*u = 60 + 84. Suppose 2*s = -3*x + 441, -x + u = -s - 70. Is x a composite number?
True
Let v = 7 - 0. Suppose v*d - 2*d - 630 = 0. Is (2 - 1) + (d - -6) prime?
False
Let j = 60 + -109. Let s = j - -102. Is s prime?
True
Let d be ((-2)/3)/(6/(-171)). Let n = d - -2. Is n a prime number?
False
Let n = 1 - 393. Let j = n + 555. Is j a composite number?
False
Is ((-105)/(-6))/((-2)/(-4)) composite?
True
Suppose 3191 = 3*b + 2*j + 482, -3*j + 9 = 0. Is b a prime number?
False
Let o(t) = -3*t**3 - 6*t**2 - 7*t - 4. Let y be o(-4). Let w = y - 53. Is w a composite number?
False
Let m(f) = 440*f**2 + 2*f + 5. Is m(-2) prime?
False
Let o(f) = f**2 + 2*f - 5. Suppose 5*k - 5*v = -4*v + 11, 4*k + 5*v = 3. Suppose n - p = 6, 0 = 3*n - 2*n - k*p - 8. Is o(n) composite?
False
Suppose 2*r - 10 = 26. Let u = r + 226. Suppose -5*t + u = -41. Is t a prime number?
False
Let h(v) = 32*v + 3. Let i be h(1). Let p = -14 + i. Is p prime?
False
Suppose -t - 3*a = -5*t + 15161, -11374 = -3*t - a. Is t prime?
False
Let a(n) = -4*n + 6. Let y(x) = -4*x + 6. Let k(m) = 3*a(m) - 4*y(m). Suppose -3 = -4*u - r + 9, -3*r - 28 = -4*u. Is k(u) prime?
False
Suppose 55 = 5*z + 5*t, z - 4 = 5*t + 1. Suppose -3*x = z - 541. Is x composite?
True
Let c be (100 + 2 - 1) + 0. Let s = -30 + -18. Let u = s + c. Is u a composite number?
False
Suppose -4*k - 3*c = -6, 0 = 4*k - c - 3*c - 20. Let a be (-2)/k*(-3 - 3). Suppose -16 = 4*i, -3*l - 2*i + 35 = -a*i. Is l a composite number?
True
Suppose 4*n - 856 = -4*y + n, 4*n = -2*y + 438. Is y composite?
False
Suppose g = 26 + 50. Let w be 4/10 + g/10. Let c = 61 - w. Is c composite?
False
Is (1465/4)/(3 - (-22)/(-8)) a composite number?
True
Suppose 0*z + 5*u = -3*z + 376, -4*u - 258 = -2*z. Is z a prime number?
True
Suppose 0*p + p - 3 = 0. Suppose 17 = p*l - 7. Is ((-46)/l)/((-3)/12) composite?
False
Let m(n) = -n**2 + 6*n. Let j be m(5). Suppose j*f - 935 = -0*f. Is f a composite number?
True
Let b(d) = 42*d**2 - 6*d - 34. Is b(-6) composite?
True
Suppose a + 3*a - 8 = 0. Suppose 4*m - a*m - 32 = 0. Suppose 4*d = -2*r + m, 10 = 3*r - 2*r + 3*d. Is r composite?
True
Let h = 6 - 1. Suppose -2*d - 5*f + 139 + 14 = 0, h*d - 4*f - 465 = 0. Is d a composite number?
False
Let n(o) = -o - 5. Let c(l) = 3*l + 14. Let k(x) = -2*c(x) - 7*n(x). Let b(v) = v**3 + 4*v**2 - 6*v - 5. Let w be b(-5). Is k(w) a composite number?
False
Is ((-2)/(-4) + -1)/((-1)/1878) composite?
True
Let n = 696 - 401. Is n prime?
False
Suppose 2*p + 0*p - 33884 = -2*z, p = 3*z - 50830. Is z a composite number?
False
Is ((-2)/(-4))/(6/8628) a composite number?
False
Let b(t) = -t**3 + 5*t**2 - t - 3. Let x(d) = -d**2 - d - 1. Let c(j) = b(j) - 4*x(j). Suppose -5*m - 2*o + 22 + 26 = 0, -4*o = 2*m - 32. Is c(m) prime?
True
Suppose -6*y - 3*s = -y - 14, y - 4*s = 12. Let d = 9 - y. Suppose -4*f + d*f - 91 = 0. Is f a prime number?
False
Let u = 5 + -4. Let s = u + 5. Is s composite?
True
Suppose 3 - 7 = -2*x. Suppose -x*f = 3*f + 20. Is -1*(-26)/f*-6 prime?
False
Suppose 4*c = 5*v - 293, -76 = -v - 0*v - 5*c. Let r = v + -22. Let n = r + 26. Is n a prime number?
False
Suppose -195 + 1337 = 2*v. Suppose 5*a - 857 - 602 = -2*r, 2*a + 5*r - v = 0. Is a a prime number?
True
Suppose -879 = -10*z + 2231. Is z composite?
False
Suppose 31 = -3*d + i, -5*d + 0*i = i + 49. Let o = 4 + d. Let x(u) = -u**3 - 3*u**2 - u + 7. Is x(o) prime?
False
Suppose -3*t - 17 = -2*u, -4*u + 12 = -3*t - 13. Let h be (-2)/u*(4 - 268). Suppose -3*q = q - h. Is q composite?
True
Let l(i) = i**3 + i + 505. Is l(0) a prime number?
False
Let g(f) = 437*f**3 - f**2 + 1. Is g(1) composite?
True
Suppose 0 = 3*f - 5*f + 6. Let w be -2 + (12 - f - -1). Suppose 3*h - h - w = 0, -h - 443 = -3*j. Is j composite?
False
Let m(n) = -17*n + 2. Let u(f) = 9*f - 1. Let c(o) = -4*m(o) - 7*u(o). Let w = 5 + 2. Is c(w) a prime number?
False
Suppose 3*o - 5*v + 