2 - 2*c + 13. Is n(6) prime?
False
Suppose 0 = 4*m + m. Suppose m = -3*i + 3*p + 324, 2*p + 2*p + 323 = 3*i. Let r = i - 72. Is r prime?
True
Let u = 823 + -149. Is u a prime number?
False
Let q(c) = c**2 - 3*c - 2. Let v be q(2). Let w be (-326)/(-10) - v/10. Suppose 0 = -o + g + w + 1, 4*o - 139 = 3*g. Is o composite?
False
Suppose 4*u - 594 = 2*m + 276, -m + 441 = 2*u. Is u a prime number?
False
Let h(a) = 39*a + 10. Is h(17) a prime number?
True
Suppose 0 = -2*w - 3*k + 279, -2*w + 566 = 2*w - 2*k. Is w a prime number?
False
Let c = 1 + 7. Suppose 3*d - c = 1. Suppose 4*z + 4*o - 12 = 2*z, z + d*o = 6. Is z a composite number?
True
Suppose 120 = -3*r - 246. Let i be -202 + 1 - 0/(-1). Let l = r - i. Is l a composite number?
False
Let o be 6*((-21)/6 + 3). Let f(k) = -2*k - 4. Let i be f(o). Suppose 86 = i*z + 3*l, -z + 45 = -3*l + 5*l. Is z composite?
False
Let c be -3 + 2 + (-1 - -10). Let l(y) = 16*y - 1. Is l(c) a composite number?
False
Suppose 4*i + 938 = 5*o - 543, 3*o - 891 = 3*i. Is o prime?
True
Suppose -5*j + 1871 = 4*i, -1491 + 81 = -3*i + 3*j. Is i a composite number?
True
Suppose -4*y - 248 = 2*n + 380, 5*y = n - 785. Let q = y - -246. Is q a prime number?
True
Let m = 77 - 73. Let w = 11 + -6. Suppose 4*i - 176 = -x + m*x, w*i = -2*x + 243. Is i prime?
True
Let s = -24 - -51. Let h = s + 70. Is h prime?
True
Let d(l) = 11*l + 26. Is d(7) a prime number?
True
Let w = 15 - -175. Suppose 4*r + 2*s = 3*r + 275, -3*s = 3*r - 825. Let t = r - w. Is t a composite number?
True
Let c(k) = 57*k**3 - k**2 - k - 3. Is c(2) prime?
False
Let o be 12*1/(6/75). Suppose 5*f - 4 - 12 = 3*b, -f - b = -8. Suppose -r - o = -f*x, -x + 6 = -2*r - 3*r. Is x a composite number?
False
Suppose 5*h - 9*h + 1096 = 0. Is h composite?
True
Suppose 6*w - 5*w - 168 = 0. Let n be (-4 + -53)/(1/(-1)). Suppose -n = 3*x - w. Is x prime?
True
Suppose -2631 = -3*j - 0*j. Is j prime?
True
Suppose 5*q - 638 = 3*x, -4*x = 5*q + x - 630. Is q a prime number?
True
Is 3 - (-892 - (-2 - (1 + -6))) a prime number?
False
Let q be (-1174)/6 + 3/(-9). Is 1/2 + q/(-8) composite?
True
Let z = -1 - -3. Is -1 + -2 + z - -38 composite?
False
Let w(q) = 65*q**2 - 19*q + 5. Is w(-6) prime?
True
Let x = -19 + 22. Suppose u + x*z - 95 - 14 = 0, 3*z + 97 = u. Is u a composite number?
False
Let q(j) = -j**2 - 8*j + 10. Suppose l - 5 = 0, c + 4*l - 5 = 6. Let b be q(c). Let r(z) = 9*z**3 + z. Is r(b) a prime number?
False
Suppose -3*j - 4*d + 258 = 0, 2*d - 7*d = 5*j - 435. Let b = 177 - j. Is b composite?
True
Suppose -12 = -5*v + 2*v. Is 37/(v/8*1) prime?
False
Suppose 3*g - 5 - 1 = 0. Is 446*(g - (-12)/(-8)) prime?
True
Let y be 2/8 + 5121/12. Suppose 0 = -3*t + 5*j + y, -2*t - 6*j + 314 = -2*j. Is t a prime number?
True
Let m = -628 + 1575. Is m a composite number?
False
Suppose -4*r + 322 = 2*u, -5*r + 122 = -u - 270. Is r a composite number?
False
Let d(l) = 11*l + 17. Is d(6) composite?
False
Suppose 0 = -2*r - b - 74 + 402, 324 = 2*r + 2*b. Suppose -r = -3*p + 68. Suppose 3*u = u + p. Is u a composite number?
True
Suppose -l - j = -4*l + 188, -2*j + 112 = 2*l. Let t = -30 + l. Is t a composite number?
False
Suppose -3*m - 2*x = -181, -5*x = -2*m + 6*m - 253. Let l = m - 37. Suppose -5 = j - l. Is j prime?
False
Let t = -1 - -2. Let d(o) = 0 - t - 2 - 3*o. Is d(-6) a composite number?
True
Suppose 13*l + 147 = 16*l. Is l composite?
True
Suppose 5*w + 1 - 4 = 3*o, -4*o = -5*w - 1. Suppose i - 2*i = -o. Let b(h) = -h**3 + 4*h**2 + 2*h - 5. Is b(i) a composite number?
False
Let q(v) be the second derivative of -2*v**2 - 31/6*v**3 + 0 - 3*v. Is q(-3) composite?
False
Let u = -254 - -564. Suppose 0 = -8*v + 3*v + 30. Suppose u = v*d - d. Is d composite?
True
Suppose 2*a - a = 25. Suppose -5*r - 5 = a. Is (-58)/r - 2/(-6) prime?
False
Suppose -85 + 28 = o. Let p = 128 + o. Suppose -5*t - p = -816. Is t a prime number?
True
Let r(h) = h - 7. Let p be r(7). Let q = 3 - p. Is (-1 - 0)/((-1)/q) a prime number?
True
Suppose 1529 = 4*f - 4*k - k, 4*f + 4*k - 1520 = 0. Suppose -4*q - 2*x + 316 = -4*x, x = -5*q + f. Is q a composite number?
True
Is 38/95 - ((-2936)/10 - -1) composite?
False
Let x be (-40437)/(-15) - (-5)/25. Is x/12*(-6)/(-4) prime?
True
Let t(x) = x**2 - 2*x - 11. Let p = 9 + -1. Is t(p) composite?
False
Suppose 0*u = -4*u + 8. Suppose -8*d = -7*d - 65. Suppose -5*s = -5*q + d + 325, 155 = u*q - s. Is q a composite number?
True
Suppose -8*w = -4*w - 356. Is w a prime number?
True
Let b(q) = 2*q**2 - 8*q + 3. Let f be b(5). Suppose -f = j - 66. Is j composite?
False
Let v(k) = 2*k**2 + k + 4. Is v(13) prime?
False
Suppose -3*g - 2*g - 5 = 0. Let q be 1 + g + -2 + 2. Suppose q = 5*a - 134 - 251. Is a a composite number?
True
Let u(d) = 51*d - 8. Suppose f - 8 = -3. Is u(f) a composite number?
True
Let r = 5 - 7. Is r/2 + (-804)/(-6) prime?
False
Let m = -184 - -115. Is (m/(-6))/((-2)/(-28)) a prime number?
False
Suppose 0 = 3*h - 15, -u + 3*h = -4*u - 183. Is (-20 - -1)/(6/u) a composite number?
True
Is -2 + 358 + (-4)/4 a composite number?
True
Let j(z) = 30*z**2 + 11*z - 11. Is j(-10) a composite number?
False
Let o(d) = 6*d + 4. Let f be o(11). Is (f/4 - -1)*2 composite?
False
Let k = 8 + -2. Is 0 + 3 - k/(-2) a prime number?
False
Let t = 2 + -4. Suppose -3*k + 6 = q + 3*q, 0 = -4*q + 3*k + 18. Is 16 - (4/t + q) prime?
False
Let s be (-5)/(30/16)*9. Let j = -9 - s. Is j prime?
False
Is (-1 - (-10860)/27) + 4/(-18) a prime number?
True
Let y(h) = -222*h + 8. Is y(-3) composite?
True
Let m(k) = -31*k + 4. Let p = -4 + 0. Let y be m(p). Suppose 62 = 2*h - y. Is h a composite number?
True
Let v(u) = -79*u + 21. Let k(i) = 118*i - 31. Let b(p) = -5*k(p) - 8*v(p). Is b(9) a prime number?
False
Suppose -f - 25 = -6*f. Suppose -2*t - 12 = -f*t. Suppose -q + 295 = t*q. Is q prime?
True
Let f be (-4769)/(-2) + (-1)/(-2). Suppose -4*t + 2279 = -f. Is t/14 - (-4)/(-14) a composite number?
False
Let n(g) = g + 10. Let t be n(-6). Suppose 0 = -t*a + 323 + 33. Is a prime?
True
Suppose 10*x - 690 = 5*x. Let v = -79 + x. Suppose -5*u + v = -51. Is u prime?
False
Let x be 0*2/6*1. Suppose x = -3*q - 0*q. Suppose y = -q*y + 65. Is y a composite number?
True
Suppose 2445 = 8*b + 7*b. Is b prime?
True
Let k = -110 + 265. Is k composite?
True
Let n(j) = 7*j**3 - 3*j**2 - 4*j - 5. Is n(4) composite?
False
Suppose 0 = 3*s + 4*p - 863, 1445 = 5*s + 3*p + 2*p. Is s a prime number?
True
Let l(h) = -54*h + 3. Let j(m) = -m. Let g(q) = -4*j(q) - l(q). Let p be g(2). Suppose 2*k = -i + 39, -5*i - 2*k = -p - 74. Is i a composite number?
False
Let l = 3 + -3. Suppose 5*z = 3*w - 0*z - 252, -2*w - z + 155 = l. Is w a composite number?
False
Let o = -97 - -276. Is o a composite number?
False
Let o(c) = c**3 + 10*c**2 - 6*c - 2. Is o(7) prime?
False
Let d(n) = -n - 2. Let v be d(-8). Suppose -u + 249 = 2*m, -4*u + m = v*m - 999. Suppose -t = 3*t + 4*p - 172, 5*t = 4*p + u. Is t a composite number?
False
Suppose -8*n = -4*n - 364. Is n prime?
False
Let d = 1021 - 728. Is d prime?
True
Suppose -7*j = -3*j + 60. Let v = j + 9. Let q(p) = p**3 + 6*p**2 - 4*p - 1. Is q(v) composite?
False
Let g be 158 + (3 - 7) + 3. Is (g/(-4))/((-3)/12) prime?
True
Let x(j) = 11*j**2 - 6*j + 2. Is x(-3) prime?
False
Suppose -12*g = -7*g. Suppose 3*v - v - 942 = g. Is v prime?
False
Let y(w) = -w**2 + 5*w + 3. Let j be y(6). Let p(q) = -52*q + 3. Let v be p(j). Suppose -x - v = -4*x. Is x composite?
False
Let j(b) = 5*b**2 - 3*b - 9. Is j(4) a prime number?
True
Suppose 5*d - 3*t = 1454 + 368, -4*t = -5*d + 1826. Is d prime?
False
Suppose 0 = -3*j + 2*j + 2. Suppose j*i + 11 = 3. Is i + 4 - 7*-1 a composite number?
False
Let d = -2347 - -3978. Is d a composite number?
True
Suppose 0 = -8*h + 5*h + 885. Is h composite?
True
Suppose 3*s = -3*l + 8*s + 44, 94 = 5*l + 2*s. Suppose -b + 3*y = -l, -3*y - 90 = -6*b + b. Suppose -5*m = 2*h - 8, 4*h - 54 = 4*m + b. Is h a composite number?
True
Suppose 0 = -3*s + 9*s - 2922. Is s a composite number?
False
Let j be 0 + (3/3 - 42). Let b = 112 + j. Is b composite?
False
Let d be 6 - (0 + 6/2). Suppose 1052 = -d*g + 4*g - 2*w, 0 = g + 2*w - 1044. Let l = -741 + g. Is l composite?
False
Let x be (1 + 1 + -1)*-8. Let d(q) = q**3 + 10*q**2 + 8*q + 3. Is d(x) a composite number?
False
Let b