 + 4*s - 31, -4*a - 4*s + 4 = 0. Is -4 + 0 - (-944 + (a - -2)) prime?
True
Let g = 893 + -202. Is g a composite number?
False
Let i be -1 + 0 + -6 + (-22566)/(-6). Suppose 11*a - 4023 = i. Is a prime?
False
Let y(u) = 2*u + 7. Let d be y(-7). Let x(v) = -3*v**3 + 4*v - 7. Let m be x(d). Is (14/4)/(7/m) prime?
False
Suppose 0 = 5*q + v + 2993, 5*q - q + 2400 = 2*v. Let w = 2776 + q. Suppose w + 88 = 3*h. Is h a prime number?
False
Let l(a) = -2211*a - 4. Is l(-3) a prime number?
False
Let y = -87970 + 128849. Is y composite?
False
Let o(m) = -m + 1. Let x(c) = c**2 - 2*c - 10. Let i(z) = -5*o(z) - x(z). Let b be (6/10)/(2/30) + -3. Is i(b) a prime number?
True
Let d(w) = 1 - 51*w + 329*w + 375*w + 19*w. Is d(1) a composite number?
False
Is 35314*(-4 + (-18)/(-4)) prime?
True
Let z(k) = -11*k**3 + 7*k**2 + k + 7. Let a be z(-3). Suppose -4*n + a = 4*b, -2*b + 263 = b - 2*n. Is b a prime number?
True
Let t(b) = 16*b**3 - 3*b**2 + b + 2. Let s be t(2). Suppose 3*w - s = -9. Is w a prime number?
True
Suppose -m - 4*v = -0*v - 12789, 5*m - 64025 = -4*v. Is m a prime number?
True
Let y = 10011 + 5220. Is y composite?
True
Suppose 5 = -p + 7. Suppose -3*b = -4*x - p*b + 747, -2*b = 4*x - 750. Is x a composite number?
True
Let y(c) = c - 4. Let z be y(7). Suppose 0 = 2*b - 5*u - 11, 3*b + b - 9 = -z*u. Suppose 2*x - b*x + 29 = -4*t, -5*t = 5*x - 170. Is x a prime number?
False
Let u = 8350 + -2063. Is u composite?
False
Let o(w) = w**3 - 19*w**2 + 10*w + 21. Is o(19) a prime number?
True
Let a(j) = -2*j**2 + 5*j + 2479. Is a(0) a composite number?
True
Suppose 0 = a + 11 - 8. Let c(s) = -84*s + 5. Is c(a) composite?
False
Is (5/(-20))/(-6 - (-1781706)/296952) a prime number?
True
Let c be (-18)/12*(-6 - -2). Suppose 6*b = 4*b + c. Is 2*b/(-3) - -333 composite?
False
Let r be (-9)/27 + (-356)/3. Let i be 2/(-3) - r/21. Suppose -2*t - 2*t - 4*u + 320 = 0, -i*t - 2*u = -397. Is t prime?
True
Suppose -72*z + 75*z = 33546. Is z composite?
True
Suppose -8*d = -3*d + k - 126507, 4*k - 126513 = -5*d. Is d prime?
True
Suppose -3*x + 3*a = -4920, 5*x - 8176 = 3*a - 6*a. Is x prime?
True
Let k(u) = 50*u**2 - 3. Let m(t) = 51*t**2 - 4. Let c(v) = 3*k(v) - 2*m(v). Is c(2) a prime number?
True
Let c(b) = 11 - 15 + 452*b - 3. Is c(6) a prime number?
False
Suppose 3*r + 3*k = 8*r - 3189, -3*k - 633 = -r. Let h = 261 - r. Let v = h - -535. Is v a composite number?
False
Let o be (0/1)/((-2)/2). Suppose -2*q + 4*q - 2 = o. Is (q/(-1))/(6/(-564)) composite?
True
Suppose 5*m = b - 1041, b + b = -8. Let r = m - -1051. Is r a composite number?
True
Let x(h) = 23*h + 24. Let r(y) = 50*y - 12*y + 9*y + 47 + 2. Let f(d) = 3*r(d) - 7*x(d). Is f(-17) a prime number?
False
Let v = 92 - 89. Suppose 0 = v*z - x - 253, 3*z + z + 4*x - 348 = 0. Is z composite?
True
Suppose 5*o = -2*c + 2, o = -0*o - 4*c + 4. Suppose 0 = -2*t + w + 418, 0 = 4*t - o*w - 5*w - 824. Is t prime?
True
Suppose u - 3*u = 4356. Is (3 + -7)/(3/u) - 1 a composite number?
False
Suppose 8*w = 4*w. Suppose 2 = q - w*q. Suppose -q*u + r + 30 = 0, -75 = -5*u - 0*r + 3*r. Is u a prime number?
False
Suppose 4614 = -60*q + 66*q. Is q a prime number?
True
Let w = -22 + 24. Suppose 12 = -w*m + 4, -3*d = -4*m - 451. Is d a composite number?
True
Let x be (5/(-10))/(2/12). Let n = 80 + x. Is n a prime number?
False
Let u be 48/(-18)*(-2)/((-4)/(-447)). Suppose 6*l - u - 4774 = 0. Is l a composite number?
True
Let l(h) = h**2 - 13*h + 27. Let s be l(11). Suppose s*r - 2629 = 441. Is r a prime number?
False
Suppose 4 = -4*f + 6*c - 2*c, 2*c = 4. Let i(h) = -751*h + 2. Let v(o) = -751*o + 2. Let p(l) = 5*i(l) - 6*v(l). Is p(f) a composite number?
True
Suppose 3*q + 165 = 9834. Is q a composite number?
True
Suppose -6*z = -z + 15, -z = 5*v - 67. Let k be 2/(-2)*(-7 + 4). Suppose -y + k*s + v = -2, 5*y + 3*s = 98. Is y composite?
False
Suppose -11 = -h - 3*p - 0*p, -4*p + 20 = 2*h. Let m(z) = -z**3 + z**2 - z + 8. Let u be m(2). Suppose u + h = l. Is l composite?
True
Let y = 848 - -669. Is y a composite number?
True
Let f be (5356/6)/(-8 + (-1935)/(-243)). Is f/(-65) - (-1)/5 a composite number?
True
Suppose 17*n = 4*n + 11583. Suppose 3*o + n = 2*t + 4*o, -o + 1334 = 3*t. Is t composite?
False
Let v(f) = -200*f - 9. Let r(x) = -400*x - 17. Let g(j) = 6*r(j) - 11*v(j). Is g(-2) a prime number?
True
Suppose -3*y = 6*y - 98163. Is y a composite number?
True
Let f(w) = -8082*w**3 - 3*w**2 - 13*w - 11. Is f(-1) a composite number?
False
Suppose 34*g = 38*g - 5752. Is g composite?
True
Is ((0 - -3) + 7975)*(-2)/(-4) a prime number?
True
Let w be -3*7*6/18. Let s(k) = -2*k**3 + 9*k**2 - 2*k + 10. Is s(w) prime?
True
Suppose -5*f = 154716 - 424471. Is f composite?
False
Let v be (-3)/30*4*-5. Suppose v*o = -2*m + 910, 4*o + 2*m - 1361 = o. Is o prime?
False
Is (-533358)/(-170) - (-4)/(-10) a prime number?
True
Suppose 3*y = -9 - 0. Let l be 5/(-10)*(y - -3). Suppose l = -4*f + 7*f - 669. Is f a composite number?
False
Let d(j) = -5 - 6*j + 3 + 6. Let n be d(7). Let k = n - -123. Is k prime?
False
Let d = 15 - 12. Suppose d*x - 447 = 513. Suppose x = n - 267. Is n composite?
False
Let p be (24/28)/(4/28). Is (p + -2)*(-2265)/(-12) a composite number?
True
Let b(p) = p - 3. Let r be b(6). Suppose 2*j = -5*k + 3979, 1603 = -2*k + 4*k - r*j. Is k composite?
False
Suppose -122*b = -155*b + 570603. Is b a composite number?
False
Let f(t) = t**3 - 2*t**2 - 4*t + 2. Let q be f(3). Let s be 8/2 - (q - 433). Suppose 3*l = c + s, -2*l = -6*l + 5*c + 595. Is l a composite number?
True
Suppose -5*a - 5 = -5*u, -2*u + 3 = 4*a + u. Let f be a/(5 - 3) - -3. Suppose -5*n = 4*r - 824, 2*r = -f*r + n + 1059. Is r a prime number?
True
Let r be (0 - 0)/(-7 - -6). Let d(p) = 1 + 0 - 206*p**3 + r - p - 2 - p**2. Is d(-1) prime?
False
Suppose -6*v + 114717 + 66729 = 0. Is v a composite number?
False
Let h = -3117 - -4396. Is h composite?
False
Suppose -7 = v + 13. Let m = -32 - v. Let i = m - -22. Is i a composite number?
True
Let v(g) = g**2 + 5*g - 4491. Let f be v(0). Is (1 + (-12)/9)/(3/f) a composite number?
False
Let c = 241972 + -163193. Is c prime?
True
Is (-3 - -7 - -9933) + -1*2 a prime number?
False
Suppose 5*x - 136 = -4*a, 2*a - 6*a + 24 = x. Suppose 0 = 5*c - c - x. Suppose 9*f = c*f + 74. Is f prime?
True
Let g(z) = -z**3 - 31*z**2 - 60*z - 45. Is g(-32) a composite number?
True
Suppose 188 + 226 = 6*o. Is o a prime number?
False
Let n(z) = -833*z + 23. Let t be n(-2). Let i = t + -928. Is i composite?
False
Let n = 1519 - 1073. Is n prime?
False
Let k(v) = 57*v - 41. Let m = 85 - 66. Is k(m) a prime number?
False
Let a(n) = 2151*n + 3. Let v be a(1). Suppose 0*p - v = -6*p. Is p a prime number?
True
Let d(y) = 2*y - 8. Suppose z + 13 = -2*k + 6*z, 4*k + 2*z = 34. Let n be d(k). Suppose -n*g = -284 - 56. Is g prime?
False
Let k(i) = 141*i - 13. Let z be 12/(-3) - (-6 - -10). Let p(r) = 422*r - 39. Let s(x) = z*k(x) + 3*p(x). Is s(5) a composite number?
False
Let r = 166 - -875. Is r composite?
True
Let a(w) = w**3 - 16*w**2 - 8*w - 5. Let r be a(16). Is 9 - r - (-2)/2 composite?
True
Suppose -10*j = -2*l - 8*j + 4114, -l = j - 2049. Is l a prime number?
True
Let m(i) = -i - 1. Let r be m(0). Is r/3 - 106/(-3) composite?
True
Let r = -23 - -7. Let f = r + 58. Let a = -20 + f. Is a prime?
False
Is (-9458*1/2)/(-1) a prime number?
True
Suppose 2*a - 2*y - 952 = 0, -645 = -4*a - 5*y + 1286. Is a prime?
True
Suppose -65*g + 262216 = -115369. Is g composite?
True
Let j = -2 - 2. Let f be -4064 + j + 3 + 3. Is (3 + 0)*f/(-18) a prime number?
True
Let m = -5281 + 12751. Is 12/(-28) + m/35 a composite number?
True
Let p(c) = 6*c - 8. Let x be p(-6). Is (-18405)/(-11) + 8/x a prime number?
False
Suppose -3675 = 5*c - 5*d, 3*c + 3630 = -2*c - 4*d. Let v = -1126 - c. Let p = v + 587. Is p a composite number?
False
Let w(p) = -1215*p + 10. Let k be w(-11). Is -3 - (-36)/16 - k/(-4) composite?
False
Let u be 3243/9 + 1/(-3). Suppose 4*v = -2*k + 348, 0*k - u = -2*k + 2*v. Let y = -65 + k. Is y prime?
True
Let h = 15 - 11. Suppose v + 6 = 2*j + 3*j, 4*j + 4 = 3*v. Suppose y = -h*i - i + 36, 27 = y + j*i. Is y a prime number?
False
Let k be 1 + 3 - 40 - 4. Let j = -193 + 348. Let n = k + j. Is n a prime number?
False
Let r = 67 + 463. Suppose 0 = -13*i 