2*f + 5*k. Is f a prime number?
True
Let f(m) = m**2 - 7*m + 22. Let p be f(15). Let t = -117 + 190. Suppose -z + t = -p. Is z prime?
False
Let u(w) = -170*w - 11. Let k be (-10)/(-55) - 272/44. Is u(k) prime?
True
Suppose g = 5*g. Suppose -2*n - 5*x - 16 = g, -5*x - 40 = 5*n - 0*n. Is (-2)/(n/828) + 4 a composite number?
False
Let c(y) = -y**3 - 14*y**2 - 14*y - 18. Let w be c(-13). Is (-2)/((-20)/(-2)) - 1066/w a composite number?
True
Suppose 4*g - 56 - 18 = 2*s, -5*s = -3*g + 73. Let n = 20 - g. Suppose -h = 4*u - 135, -3*u = n*h - 752 + 225. Is h a prime number?
True
Let y = 35 + -38. Is (2/y)/((-2)/1461) composite?
False
Let m(q) = q**3 - 8*q**2 + 5*q + 9. Let f be m(7). Let s = 464 - f. Is s prime?
False
Let x(b) = -b**2 - b - 479. Let f be x(0). Let w = 738 + f. Is w a prime number?
False
Suppose 0 = -3*x + 3221 - 596. Let t = -624 + x. Is t a composite number?
False
Let z(r) = -r**3 + r**2 + r - 1. Let c be z(1). Suppose 0*n - 4*i + 24 = -n, c = 3*n - 2*i + 22. Is (-3)/(-6) + (-282)/n composite?
False
Suppose -2*v + 21310 = 3*v + 5*o, 4*v + o - 17054 = 0. Suppose -5*k = -5*r + 4*r - v, 854 = k + r. Is k a prime number?
True
Let d = -16 - 49. Let z = d - -167. Let f = -49 + z. Is f composite?
False
Let w(i) = 5*i**3 - 9*i**2 + 23*i + 105. Is w(20) a prime number?
False
Let p(w) = -w + 22. Let n be p(16). Let q(b) = 20*b - 6. Let g be q(n). Suppose 0 = -4*j + 326 - g. Is j a prime number?
True
Let r = 927 - 96. Let f(w) = 3*w**2 + 5*w - 7. Let z be f(16). Suppose -3*b - v + r = -z, -4*b + 2232 = 4*v. Is b a composite number?
False
Is (-1 - 279/12)/(9/(-180)) a composite number?
True
Suppose 0 = 2*h + 5*n - 25, 2*n - 4 = -h + 6. Suppose -5*o = 3*u - h*u + 13, 0 = 2*u - 4*o + 38. Let r(k) = 3*k**2 + 15*k + 13. Is r(u) a composite number?
False
Suppose -t = -2*t + 3. Suppose 5*o - 622 = t*o. Is o a composite number?
False
Let q = 967 - -852. Is q composite?
True
Let j(d) = d**3 - 26*d**2 - 23*d + 11. Is j(36) a composite number?
False
Suppose -4*h = 8, 3*n + 2*h + 1018 = 4257. Let s = n - 452. Is s a prime number?
False
Let j = 283 - 1392. Suppose 4*n = -1559 - 553. Let p = n - j. Is p a composite number?
True
Is (-3780)/(-10) - (0 + -1) a prime number?
True
Suppose 0 = 5*x + 15, -3*k = 4*x - 131 - 7. Is ((-2110)/k)/((-1)/5) prime?
True
Let v = 24 + -18. Is (v + -4)/((-2)/(-641)) prime?
True
Let y = -97 - -99. Suppose 5*m - 4*w = 3435, 0 = -4*m - 0*m - y*w + 2774. Is m a prime number?
True
Let a(q) = q**2 + 7*q + 6. Let m be a(-5). Let w = m - -4. Is (w - 1)/(1/(-887)) prime?
True
Let q be 2/7 - 2530/(-161). Suppose 0 = 14*i - q*i + 3022. Is i composite?
False
Let g = 12 - 26. Let x = 13 + g. Is -319*(x - 3 - -3) prime?
False
Let g be 24560/(-45) + 4/(-18). Let s be 1/(-3)*(379 + 2). Let b = s - g. Is b composite?
False
Let t = 2904 - 995. Is t prime?
False
Let x be (-4)/8 - (-1)/(-2). Suppose -14 = 5*m + 4*l, -2*l + l - 1 = 0. Is x/m*-4 + 85 prime?
True
Let l = 9060 + -4073. Is l composite?
False
Is (5920/(-120))/(8/(-3054)) a composite number?
True
Let k(y) = -137*y + 29. Is k(-12) a prime number?
False
Suppose -3*m = -4*n + 10180, 5*n - 2555 - 10170 = -3*m. Is n composite?
True
Suppose -t = 192 + 20. Let o = -126 - t. Is o a composite number?
True
Let g = -26 + 32. Suppose 0 = -g*v + 3*v + 12. Suppose -5*u = 5*l - 1425, -v*l = -l - u - 863. Is l prime?
False
Let p(x) = 584*x - 247. Is p(15) prime?
True
Let z(q) = -2*q**3 + 5*q**2 + 18*q + 1. Let k be ((-24)/10)/((-26)/(-20) + -1). Is z(k) prime?
True
Suppose -4*j - 21 = -5*s, -s + 7 = j + j. Suppose -3*g = -s*v - 7*g + 2255, 0 = 3*v + 4*g - 1353. Suppose 3*y - 26 = v. Is y composite?
True
Suppose 2*x + 2*m = 148, 14*x - 9*x - m = 388. Is x a prime number?
False
Let y = -10 + 14. Suppose y*o = -1386 + 5606. Is o composite?
True
Suppose -m - 80 = -6*m. Suppose 6*d - m = -2*d. Suppose -3*v = d*j - 119, -2*j = -5*j - v + 168. Is j a composite number?
True
Let j(x) = -131*x**3 - 8*x - 9. Is j(-4) a prime number?
False
Let o(l) = -l**3 + 8*l**2 - 3*l - 16. Let q be o(7). Let x = 18 - q. Is (x - 5)/(2/1502) a prime number?
True
Suppose t - 10 = o + o, 2*t = -o. Suppose p - f - f - 117 = 0, -458 = -4*p - t*f. Is p composite?
True
Let l(v) = -v**3 - v**2 + v + 4. Let h be l(0). Suppose 11 = h*p + 3. Suppose p*c - f + 11 = 3*c, 2*f - 28 = -3*c. Is c prime?
False
Let z(i) = 946*i + 71. Is z(11) a composite number?
False
Suppose 5*p - 14 + 4 = 0. Suppose 0 = -p*y + 134 + 52. Let w = y + 158. Is w a composite number?
False
Suppose -279 = -w - 59. Suppose 0 = -u + r + 44, -5*u = -0*u + 5*r - w. Suppose -b - 3*b = -u. Is b a prime number?
True
Let w be (-5)/(-2)*28/35. Let l(s) = 351*s - 1. Is l(w) a prime number?
True
Suppose 9 + 6 = 3*j. Suppose -j*d + 642 = 77. Is d a composite number?
False
Is -1*(6/3 - 16425) composite?
True
Is (-15)/(-10)*(-596662)/(-33) a composite number?
True
Let n be 9/12*(4 - 0). Suppose -403 = -n*z - 19. Suppose 4*k - 114 = -5*b, 0*k - z = -5*k + b. Is k composite?
True
Let m = 28 - 23. Suppose 2*l = 5*h + 237, 8 = m*h - 17. Is l composite?
False
Suppose -4*i - 780 = -5*x, -3*x + 2*i + 436 = 6*i. Suppose 0 = 3*f - f + x. Is 11/(-3)*(f + -11) prime?
False
Let k(v) = -v**2 + 19*v - 4. Suppose -g + 5 + 4 = 0. Is k(g) prime?
False
Let u = 3 - -9. Let x be (6/4)/(6/u). Suppose -x*p = 4*h - 5*p - 108, -70 = -2*h + 5*p. Is h a prime number?
False
Suppose 16517 = 3*q + 4*z, 0 = q + 3*z - 1543 - 3961. Is q a prime number?
True
Suppose 11959 = g + p, 12*g + 2*p + 23918 = 14*g. Is g a prime number?
True
Let z = -42 + 41. Is z*(-69)/(-3)*-3 a prime number?
False
Is (-3 + 13)*(-1337)/(-70) composite?
False
Let y(z) be the third derivative of -421*z**4/12 + 7*z**3/2 - 16*z**2. Is y(-4) prime?
True
Suppose 0 = 2*v - 2 - 4. Let g(b) = 2*b**2 + 54*b. Let j be g(-27). Suppose -v*h - 2*h + 1055 = j. Is h composite?
False
Let i be 17662/8 + (3 - 66/24). Let o = i + -1107. Is o composite?
True
Suppose 10*z - 7*z = 12. Is z/(-10) - 5/(50/(-5534)) composite?
True
Let n(k) = -30*k**3 + 6*k**2 - 8*k - 5. Let a be n(4). Let s = -1304 - a. Is s prime?
True
Is (-819)/234 + 249562/4 prime?
False
Suppose -10 = 2*z, 12371 = 2*w - 0*w - 3*z. Is w a prime number?
False
Let x be (-1782)/(-15) + 3/15. Let t = 14 + x. Suppose -3*v - t = -4*v. Is v a prime number?
False
Let i be ((-291)/2)/(3/(-12)). Suppose 403 = -s + f + 2*f, -407 = s - 5*f. Let b = i + s. Is b prime?
False
Suppose 4*k = 19 + 1. Let x(h) = -h**3 - 7*h**2 + 7*h - 5. Let n be x(k). Is n/(-8) - 1/(-4) a composite number?
True
Let o be 6/(-10)*(2 + -7). Suppose 4*z = o*c - 0*z - 189, -5*z = 2*c - 103. Is c prime?
True
Let v(w) = 43*w**2 + 5*w + 2. Let g be v(-3). Suppose 4*r - 4*x - 154 = g, 5*x = -5*r + 610. Is r a composite number?
False
Let v = 495 - 76. Let k be (-2)/(-11) - 9828/(-33). Let f = v - k. Is f a prime number?
False
Suppose 32 = 7*f + f. Let c(n) = -4*n - 3. Let h be c(f). Let k = 72 + h. Is k prime?
True
Suppose 6*n - 2*n + 4*w - 11416 = 0, -n + 2874 = -3*w. Is n a prime number?
False
Suppose 49570 = w + 9603. Is w composite?
True
Let d = 36 + -32. Suppose -z = d*z. Suppose -5*i + i - 2*n + 328 = z, -5*i - n = -410. Is i a prime number?
False
Suppose 617 = 17*l - 4840. Is l prime?
False
Let q(i) be the second derivative of 1/2*i**2 + 0 + i + 6*i**3. Is q(3) prime?
True
Let m(c) = 18*c - 14. Suppose v + a + 0 = 1, 0 = 2*v - 5*a - 16. Suppose 0 = 2*q - 5 - v. Is m(q) a composite number?
True
Let a(t) = -t**3 - 4*t**2 + 4*t - 5. Let w be a(-5). Suppose w = 4*j - 1926 - 654. Suppose 0 = -3*s, 0 = -y - 4*y + 3*s + j. Is y prime?
False
Let l(g) = -214*g - 14. Let i be l(-3). Let j = 327 - 143. Suppose -i = -4*x + j. Is x prime?
False
Let t(q) = -2*q**3 - q**2 - 11*q - 14. Let s be t(-10). Suppose -d = 5*i - 1164, 4*d = 5*i - s + 6702. Is d prime?
False
Let c be -1 + 1 - (0 - 3). Let d be (c/2)/((-6)/(-12)). Is 4/(-6) - (-635)/d prime?
True
Let d = -664 - -12. Let b = -161 - d. Is b prime?
True
Suppose 3*x - 2*x = -2, -c - 3*x = 279. Let v = c - -1684. Is v prime?
False
Is 872*2 + (-11 - -8) composite?
False
Let d(f) be the third derivative of -f**4/4 + 25*f**3/6 + 4*f**2. Is d(-20) prime?
False
Let a be (-34 - -34) + 5 + 0. Let m = 5 - 0. Suppose 2*b - 671 = -5*l, -a*b + 714 - 34 = m*l. Is l a prime number?
False
Let p be (-70)/