-20348)/(-36) + 6/(-27) prime?
False
Let x be -8*(83/(-2))/1. Let m = -37 + x. Is m composite?
True
Suppose 3*d - 92 = -b, 3*b = -2*b + 3*d + 442. Suppose 0*a - a = -b. Is a composite?
False
Let k(o) = 53*o**3 - o**2 + 1. Let x be k(-1). Let h = x + 108. Is h prime?
False
Is (-1597)/(-5) - (-2)/(-5) a prime number?
False
Suppose 0 = -5*h - 4 - 6. Is 411/h*(-14)/3 prime?
False
Let c(f) = f**2 - 5*f - 7. Is c(-5) prime?
True
Let s = -52 - -471. Is s composite?
False
Suppose -h = 3*h - 20. Suppose -240 = -h*t + 35. Is t composite?
True
Suppose 0 = -11*s + 3324 - 981. Is s a composite number?
True
Let f(i) = i**3 + i - 1. Let p(g) = 6*g**3 + g**2 + 5*g - 5. Let n(m) = 5*f(m) - p(m). Let r be n(0). Suppose r = -2*d + 44 - 2. Is d composite?
True
Let k(h) = 12*h + 2. Let x(t) = -6*t - 1. Let a(d) = 6*k(d) + 11*x(d). Is a(13) prime?
True
Let h(q) = 2*q**2 - 2*q. Let m be (2/(-6))/((-6)/36). Let j be h(m). Suppose j*g + 5*p + 13 = 0, 2 + 3 = -5*g - 4*p. Is g a composite number?
False
Let a be (-1)/(3/(-144)) - -2. Suppose -3*b = -7 - a. Is b a composite number?
False
Let p be 28/10 - 3/(-15). Suppose 2*o = -2*d + 146, 5*d + 5*o = p*o + 377. Is d prime?
False
Let s(k) = -164*k + 3. Is s(-2) a composite number?
False
Suppose 4*a - 712 = 1392. Is a a composite number?
True
Suppose 5*f + 4*h - 1502 = 0, -2*f + 480 + 125 = 3*h. Is f a prime number?
False
Let o(x) = -x. Let w = -11 + 13. Let g be o(w). Is 1550/40 - g/8 a prime number?
False
Let f(i) = i**2 - 13*i - 7. Is f(-9) composite?
False
Suppose -8 = -6*r + 4*r. Let h = r - 4. Suppose 4*g - 200 = -3*a, g + 3*a - 41 = -h*g. Is g composite?
False
Let u(y) = y - 7. Let l be u(5). Is 2 + l - (1 + -192) prime?
True
Let w = -97 - -308. Is w a prime number?
True
Let c = -808 - -1541. Is c prime?
True
Suppose 293 = u - j, j - 4*j + 277 = u. Is u a composite number?
True
Suppose 9*u - 314 = 8*u. Is u composite?
True
Suppose -5*g + 9 = -16. Suppose -g*j + 0*j = -105. Is j prime?
False
Suppose c = -4*y + 1589 - 518, 795 = 3*y - 2*c. Is y prime?
False
Suppose 12 + 0 = 4*a. Is a + -4 + -2 - -36 prime?
False
Let u(c) = 39*c**3 + 4*c**2 - 4*c - 1. Is u(2) prime?
False
Let n = 123 - 56. Let i(r) = -4*r + 5. Let t be i(-7). Let d = n - t. Is d composite?
True
Suppose 0 = -o + 154 + 177. Is o composite?
False
Suppose 26 - 6 = 4*d. Suppose 0 = n - d*n - 44. Let q = 126 + n. Is q a prime number?
False
Suppose 3*z + 3 = y, y - 5*y + 12 = -5*z. Let h be 1 + 31 + (z - -1). Suppose 2*w = 2*f - 68, w - 3*w - h = -f. Is f composite?
True
Suppose p + 4832 = 3*r - 5356, -4*r = -4*p - 13576. Is r prime?
False
Let j be 1/1 - 5/(-1). Suppose 2*u = j*u - 8. Is (-1 + u + 25)/2 a composite number?
False
Suppose 0 + 4 = 2*s. Suppose -s*q + p = -71, -q - 13 = -2*q - 4*p. Is q composite?
True
Is (3/(-2))/((-30)/22180) a prime number?
True
Let r(m) = m**3 + m**2 + 6. Let n be r(0). Let q be ((-2)/n)/(3/(-585)). Suppose z - 2*z + 65 = -3*w, q = z - 2*w. Is z prime?
False
Suppose 7 + 10 = l - 4*b, -8 = -4*l - 4*b. Suppose y - 133 = -l*n, 4*n - 9 - 7 = 0. Is y prime?
True
Suppose -3*j = 4*c + 63 - 688, -3*j - 2*c + 635 = 0. Suppose -t - t - 2*w = 110, -4*t - j = -w. Let f = -32 - t. Is f a composite number?
True
Let g(o) = -o**3 + 11*o**2 - o - 10. Is g(9) a prime number?
False
Let w be (8/(-12))/(2/3). Let p(o) = -258*o**3 - o**2 + o + 1. Is p(w) a composite number?
False
Suppose -x + 126 = -492. Is x/8 + (-2)/8 composite?
True
Is 612/(-24)*(-2 - 0) prime?
False
Suppose 5*b = -3*n + 298 + 220, -5*b = -4*n + 749. Suppose 5*t = i + 13, 3*t - 5*t = -i - 1. Suppose -5*v + 3*r + 169 = i*r, 0 = 5*v + r - n. Is v composite?
False
Let q = 0 + 4. Suppose q*x - 146 = x + m, 196 = 4*x - 2*m. Let l = 3 + x. Is l a prime number?
False
Let u = 3092 - -2255. Is u prime?
True
Suppose 3*n = 144 + 21. Let a = -32 + n. Is a composite?
False
Let p be (-88)/(-20) + (-4)/10. Suppose -4*q = p*z - z + 116, 5*q - 5*z = -110. Let o = q - -73. Is o a composite number?
False
Let s be 26/10 + 2/5. Let z(c) = 11*c**3 - 5*c**2 + 4*c - 3. Let w be z(3). Suppose -w = -s*i + 12. Is i a prime number?
False
Suppose -2*s + 4 + 4 = 0. Suppose s*k + 270 = 754. Is k composite?
True
Let p = 8 - 6. Suppose 3*r - p*r - 13 = 0. Suppose -r = -h - 2. Is h a composite number?
False
Suppose 0 = 5*j, -j - 1 = r + j. Is 14 - (2 + 0 + r) a composite number?
False
Suppose 5*c = 4*c + 1103. Is c a prime number?
True
Let x(n) = 70*n - 9. Is x(4) a composite number?
False
Suppose -3*x + 531 = -3537. Suppose -5*z + 149 = -x. Is z a composite number?
True
Suppose -15 = -3*l - 57. Let u be 4/(-18) + 122/(-18). Let v = u - l. Is v prime?
True
Suppose -7*t - 3*s + 72 = -3*t, s = 3*t - 54. Let g(j) = -1391*j**3 + 4*j + 3. Let r be g(-1). Is 10/(-45) + r/t prime?
False
Let z = -4 - -5. Let i(n) = z - 2*n**3 + 5 - 7*n**2 + 0*n + 1 - 3*n. Is i(-6) a composite number?
True
Is 7 + 913 - ((2 - 2) + 1) a prime number?
True
Suppose -3*j = j - 24. Let l = 79 - j. Suppose 676 = 5*u - h + l, 8 = 4*h. Is u a composite number?
True
Let j = 1692 - -65. Suppose -3*s - 2*g = 2*g - j, 0 = 3*s - g - 1762. Is s prime?
True
Suppose 0 = 4*g - 3*s - 5, 0 = -5*s + 14 + 11. Suppose 0 = -g*v + 10 + 30. Let z(d) = d**2 - 7*d + 1. Is z(v) prime?
False
Suppose 0*r = -r. Let o(u) = -u**2 + u + 3. Let m be o(r). Suppose 0 = -m*s + s + 52. Is s composite?
True
Suppose -4*t - 4*u = -0*u - 5396, 3*u = 0. Suppose -392 = 3*a - t. Is a prime?
False
Suppose 2*u - 18 = -2*w, 0 = -4*u - 2*w - w + 31. Suppose -2*g = -k - 3*g + 298, -u*k - 2*g = -1186. Is k a prime number?
False
Let b = -4 - -8. Suppose 4*u - 24 = s, -u - 3*u - b*s + 4 = 0. Suppose 84 = 2*d - u*r, d + 3*r + 5 = 36. Is d composite?
False
Let d = 2958 - 2084. Suppose -3*m + 419 = -d. Is m a composite number?
False
Suppose 4*u + 30 = 3*f + u, -u = 1. Let x = -5 + f. Suppose -5*t + x*d + 6 = -61, 0 = -t + d + 13. Is t composite?
True
Let u = 373 - 80. Is u a composite number?
False
Let m = 195 + -113. Is m composite?
True
Let z = -53 - -93. Suppose 4*j - 228 = -c, -2*j - 2*c + z = -74. Is j prime?
False
Let t(y) = -54*y + 69. Is t(-7) a composite number?
True
Suppose 7*f = -4290 + 13124. Is f prime?
False
Let g = 129 + -73. Suppose -g = x - 5*x. Is x a composite number?
True
Suppose 3*n - 2169 = -408. Is n a composite number?
False
Suppose 2*g - 3*g = -2. Suppose 175 = -2*y - p + 936, 2*y + g*p = 764. Is y prime?
True
Suppose l + 2*l + 18 = 0. Let g = 10 + l. Suppose 0*f - g*c - 51 = -f, 3*f = 2*c + 113. Is f composite?
True
Let j(r) = -10*r**3 + 3*r + 2. Is j(-3) prime?
True
Let d = -15 - -17. Is d composite?
False
Let f(v) = -v**3 - 2*v**2 + 5*v + 4. Let j be f(-3). Let c be (412 + j)*(0 + 1). Suppose -l + 3*l - c = 0. Is l composite?
True
Let j(x) = x**3 - x**2 + x + 12. Let f be j(0). Let b = 2 - f. Is (6/b)/(1/(-5)) prime?
True
Is -10*((-1005)/20 + 2/(-8)) a prime number?
False
Suppose -3*b - s = -4, 0 = b + 2*s + s + 4. Suppose 5*d + b*x = 9 - 21, -3*d = x + 7. Let z(c) = -5*c**3 - 3*c**2 - c + 1. Is z(d) composite?
False
Let p(y) = -15*y**3 - y**2 - y - 1. Suppose -5*a = -u + 7, -3*a + 6*a = 3*u - 9. Let f be p(a). Suppose 1 = q - f. Is q a composite number?
True
Suppose -5*h + 4*b = 6*b - 1655, -2*h = -b - 653. Is h composite?
True
Let j = 3 + -6. Is 39 + 0 + j + -3 a prime number?
False
Let l(q) = 1 + q**2 + 6*q**2 + 7*q - 6*q**2 + 0*q**2. Is l(6) a prime number?
True
Let r be 5*2/(-8)*-200. Let k = r - 173. Is k a composite number?
True
Suppose 0*a + a = 5. Suppose -m = -k + 3 - 1, 2*k - m = a. Suppose -4*x + 411 = p + 2*p, -p - k*x = -132. Is p a composite number?
True
Let x be (-2)/4*(-2 + 22). Let z(u) = 5*u**2 + 12*u - 9. Is z(x) a composite number?
True
Let x be (-60)/2*(-258)/18. Let z = x + -173. Is z a composite number?
False
Let k be (3/(-5))/((-2)/10). Let t = k + -5. Is (3/3 + t)*-13 prime?
True
Suppose 4*z + 3 = z. Let d(n) = -205*n - 2. Is d(z) a prime number?
False
Suppose -3*s + 0*c + 1131 = 3*c, -4*s + c = -1508. Is s a composite number?
True
Let g(m) = 105*m - 23. Is g(8) a composite number?
True
Suppose 4*y = -3*q + 18, 3*y + 2*y = -2*q + 12. Is q prime?
False
Let b = 34 + 235. Let a = b + -108. Suppose -a + 13 = -4*s + 5*x, -3*s = x - 111. Is s a prime number?
True
Is (-17 + -1757)*10/(-4) prime?
False
Let j be -1 - 1*(-1 + -1). Is 257 + -1*(1 