4*g + 16. Is v a composite number?
False
Let y(w) = 170*w**2 - 8*w - 5. Let l be y(-4). Suppose -l = -6*h + 2575. Is h a composite number?
False
Is (6/9)/(16/118488) a prime number?
True
Let x(t) = -63*t + 2. Suppose 4*g + 5 + 7 = -4*f, -5*g - 15 = f. Is x(g) prime?
True
Let h(g) = g**2 + 3*g - 7. Let j be h(-5). Suppose -2*t = -j*m - 2, -3*m = -3*t - 1 - 2. Is -2 + (-161 - 3)/m a prime number?
False
Suppose 0 = -87*y + 99*y - 46788. Is y a prime number?
False
Suppose -h + 12385 = 4*j, 5*h = 2*j - 5*j + 9276. Is j a prime number?
False
Let c be (-6)/((-6)/1 + (6 - 2)). Suppose -5*z + 4 + 1 = 0, 0 = -c*n - z + 3283. Is n a composite number?
True
Let j = -32 + 29. Let s(d) = -6*d - 13. Let r(n) = 5*n + 13. Let h(a) = j*s(a) - 4*r(a). Is h(-17) a composite number?
True
Suppose -n + p - 1254 = -2*n, 0 = -3*n + 4*p + 3797. Is n a prime number?
True
Suppose 0 = -5*u + s - 567, -5*u - s + 3*s - 564 = 0. Let q = 44 - u. Is q a composite number?
True
Let o(d) = -d**2 - 15*d - 49. Let q be o(-7). Let p(s) = 29*s - 5. Let h be p(5). Let v = h - q. Is v prime?
False
Let s(f) be the first derivative of 32*f**3/3 - 7*f**2/2 - 14*f + 42. Is s(5) prime?
True
Let z = -25 - -22. Let u be (-8)/z + (-2)/(-6). Is u/4*3516/3 prime?
False
Suppose -66 + 21 = 5*i. Is -6 - i - (-62 + 0) composite?
True
Let f(j) = -j**3 + 5*j**2 + 5*j - 1. Let v be f(6). Let r(t) = 1 - 1 + 4*t - 2 + 9*t**2. Is r(v) a composite number?
True
Let d(p) = 93*p. Let m be d(-2). Suppose -3 = -i, -2*k + 12 = 4*i - 6. Is k + 0 - m/3 composite?
True
Suppose 4*o - 6*o + z = -23359, 2*o + 3*z - 23339 = 0. Is o a prime number?
True
Let d be (0 + 3)*(1 - (-140)/6). Let f = 142 - d. Is f composite?
True
Let z = -12 + 14. Suppose -z*u - 394 = -3*k, 3*k + 3*u = u + 410. Suppose -2*d + 0*d + 3*p = -134, 0 = 2*d - p - k. Is d a composite number?
False
Suppose -14 = -9*q + 4. Suppose q*v = -r + 4008, -2*v - 3*r = 796 - 4800. Is v a prime number?
False
Suppose -5*f - 10 = -0*f. Is (-97)/(3/(-1) - f) prime?
True
Suppose 0 = -2*y - 0 + 2. Suppose -x - y = -2, -v = 2*x - 6. Is (-1434)/(-10) + v/(-10) a composite number?
True
Let m = -174 - -475. Is m a composite number?
True
Let w(x) be the first derivative of 4*x**3/3 + x**2 + x + 4. Let m be w(-1). Suppose 2*y + 518 = 4*s, -65 + 207 = s - m*y. Is s composite?
False
Suppose 26*j - 182291 = 9*j. Is j prime?
True
Let a = 107 - 230. Let u = 1036 + a. Let l = -408 + u. Is l a prime number?
False
Let k(z) = 78*z**2 - 22*z + 67. Is k(6) prime?
False
Suppose -t = -5*z + 21, -4*t = 3*z - 0*z - 8. Suppose 0*x = -z*x + 172. Let n = x - -28. Is n a composite number?
False
Suppose -7*t + 5207 + 1716 = 0. Suppose -4*v + 5*v - t = 0. Is v composite?
True
Is ((-129175)/(-10) + 0)*(-10 - -12) a prime number?
False
Let w be 9 + 4/(-3 - -2). Suppose -v + 352 = 3*i + 4*v, w*v + 481 = 4*i. Is i composite?
True
Is -7 + (-296)/(-40) - (-106833)/5 composite?
True
Let n(s) = -s**3 + 5*s**2 + 2. Let c be n(5). Suppose -8 = -6*t + c*t. Suppose 0 = -t*p + 469 - 99. Is p composite?
True
Suppose -5*s + 22 = 4*z - 10*s, -3*z - 4*s = -1. Suppose -f - 777 = -3*f - 5*l, 0 = -3*l - z. Is f a prime number?
False
Let q(h) = 152*h - 163. Is q(18) prime?
False
Let r(v) = -v**3 + 5*v**2 + 8*v - 9. Let x be r(6). Suppose x*f = -5*q - 0*f - 2, 14 = -q - 4*f. Suppose -3*t - d = -1441, 6 - q = d. Is t a composite number?
False
Let v be 6 + -5 - (-3)/1. Suppose -c + 0*l = -l, v*c + 21 = -3*l. Let f(u) = -5*u + 6. Is f(c) composite?
True
Let l(h) = 6991*h - 819. Is l(6) a composite number?
True
Let w = 25 - 22. Is 4 + 1 + 388*w prime?
False
Is -25 + 32 + (241 - (3 + -6)) prime?
True
Suppose -9 = -6*l + 3*l. Is (-29)/((9/l)/(-39)) composite?
True
Let d = -58 + 108. Suppose -125 = -5*z - d. Let x = 82 - z. Is x a composite number?
False
Suppose 6*v + 7824 = 3*v. Is v/(-6) + 11/33 - -2 a prime number?
False
Let k = 145 + -249. Let d = -175 - k. Let q = d + 158. Is q prime?
False
Let h(d) be the third derivative of d**6/120 + d**5/6 + d**4/6 + d**3/3 + 3*d**2. Let q be h(-8). Suppose 0*z = -2*z + q. Is z prime?
False
Let t be (-1 - (-15)/10)*(-1 - 133). Let o = 51 - t. Is o prime?
False
Suppose 0 = -5*f + 5*x + 11011 + 8874, -2*f = -x - 7954. Is f a prime number?
False
Let x(m) be the first derivative of 7*m - 4*m + 2 - 3*m - m**2 + m. Is x(-4) composite?
True
Suppose 0*d - 5*h - 903 = 4*d, -5*d - 1107 = -h. Let b = -73 - d. Is b prime?
True
Suppose -4*d = 5*f - 6532 - 1073, -4*d = -20. Is f a composite number?
True
Let c = -10 + 17. Suppose -5*x - 13 = -4*z + c, 0 = -z + 4*x - 6. Is (37/2)/(5/z) composite?
False
Suppose 6*p = 7*p - 6708. Is p/16 + (-1)/4 prime?
True
Suppose 5*a - 55281 = 3*w - 2*w, -2*a = 4*w - 22130. Is a a prime number?
True
Let h be (1/2)/((-1)/(-7 - 3)). Suppose -9*q = -h*q - 1156. Is q a prime number?
False
Suppose 0 = 5*p + 5*x, p - 4*x - 18 - 2 = 0. Suppose -2*d + 5*d = p*t - 1555, -2*t = 4*d - 794. Is t prime?
False
Suppose -5*f + 24 = -51. Is 5 + f/(-5)*-147 composite?
True
Let u be 2/(-4) - 15/(-6). Suppose -4*d + 2782 = -2*b, u*d = 3*d + 3*b - 692. Is d a composite number?
True
Let n(y) = -y**2 + 6*y + 21. Let a be n(8). Suppose -3*s + 34 = j - 71, -a*j + 551 = 2*s. Is j prime?
False
Let s = 2 - 0. Suppose 0 = s*i - 3*n - n - 1402, 2*i = -n + 1377. Is i prime?
True
Let j(q) = -q + 213. Let a be (1/3*0)/(-1). Let l be j(a). Let i = -64 + l. Is i a composite number?
False
Let q(d) = -3 - 10*d**2 - 2*d + 5*d + 1 + 4*d - 2*d**3. Is q(-7) composite?
True
Let g(p) = p**3 + 57*p**2 - p - 10. Is g(11) a prime number?
False
Let q(u) = 26*u**2 - 2*u - 15. Let b be q(9). Suppose -5*r + 4*n + 2155 = 84, -5*r + b = -2*n. Is r composite?
True
Suppose -1769 = -2*r + 989. Is r prime?
False
Is (-221)/39 + 6 - 109796/(-3) a prime number?
True
Let t(l) = 497*l - 3. Suppose 7*m - 4 = 5*m. Is t(m) a prime number?
True
Suppose 0 = -r + 16 - 7. Let q be (-2 - -1)/(r/(-45)). Suppose -660 = -q*n - 5*o, -2*o + 3*o + 122 = n. Is n prime?
True
Suppose 0 = -t + 9 - 6. Suppose 2*n + 3133 - 1030 = 3*o, -n = -t*o + 2103. Is o a prime number?
True
Let v(y) be the first derivative of y**3 - 7*y**2/2 + 10*y - 10. Let t be v(-12). Suppose -2*a + t = 3*s - 7*a, 3*a - 319 = -2*s. Is s prime?
True
Let z be (-1)/(-1 + 3/6). Suppose -4*f - 646 = -z*y, -2*f + 5*f - 12 = 0. Is y composite?
False
Suppose 4*h - 18 = 7*h. Let j be 34/8*(-792)/h. Suppose -14*k + j = -11*k. Is k prime?
False
Let p be (25975/45 - 0) + 4/(-18). Let r = -14 + p. Is r prime?
True
Suppose 8 = -4*z - 4*r, z - 3*z - 16 = -r. Let h(x) = -17*x - 3. Let y(l) = -9*l - 1. Let s(p) = 4*h(p) - 7*y(p). Is s(z) a prime number?
False
Let j(a) be the second derivative of a**3/3 + 69*a**2/2 + 10*a - 9. Let q = 0 + 0. Is j(q) composite?
True
Let q = -27 - -33. Suppose -11*x + 275 = -q*x. Is x prime?
False
Let u be 21/(4 + -1) - 1. Suppose u*n - n + 25 = 0. Let v(b) = -11*b. Is v(n) composite?
True
Suppose 5*s = -f + 1272, -1220 = -f + 4*s + 61. Is f a composite number?
False
Suppose 0 = 6*d - d - 610. Let i = 59 - d. Is 2*(i/(-2) + 2) a composite number?
False
Suppose -4680 = 4*d - 9*d. Let q = d - 215. Is q prime?
False
Is 5*((-7614)/(-30) - -3) - 1 a prime number?
True
Let v(q) = 4*q - 18. Let b be v(5). Suppose b*n = 5*n + 4*z - 2997, -2*z = -6. Is n a prime number?
False
Suppose 0*p + 5*n = 5*p + 45, -3*n = -9. Let u be p*4/(-8)*1. Suppose -4*m + 3*s + 391 = 0, -5*s + 114 + 172 = u*m. Is m a composite number?
False
Let f(q) = -1232*q + 673. Is f(-8) a prime number?
True
Let p(b) = -3*b + 18. Let k be p(8). Is 8/k*3/(-2) + 555 a composite number?
False
Let o(c) = -385*c + 48. Suppose 2*n = -10*n - 60. Is o(n) prime?
True
Suppose 18*j - 21*j + 12 = 0, 2*z + 4*j = 12822. Is z a composite number?
True
Let v be (-6 - -1)*(-7 - 109). Suppose -2 + 4 = p. Suppose 0 = p*x + 2*x - v. Is x prime?
False
Let f(t) = -24*t - 5 - 5*t + t. Suppose -2*v - 2 = 0, 2*p + 4*v + 22 = -p. Is f(p) a composite number?
False
Let d(p) = -p**3 + 23*p**2 - 8*p - 127. Is d(17) a prime number?
True
Suppose -3*m = -6*t - 21579, 11*m = 12*m - 5*t - 7190. Is m a prime number?
False
Let p be 36/10*76740/18. Is (-2)/(-10) + 11/(110/p) a prime number?
False
Let s(n) = -2*n + 11. Let v be s(3). Suppose -b - v*o - 375 = -988, -4*o = 16. Is b a prime number?
False
Suppose -615*t - 4673 = -616*