*a = 217. Is c prime?
True
Is ((-3752)/24)/(5/(-15)) prime?
False
Suppose -m - 4*w = -0*m - 6555, m - 6515 = 4*w. Is m prime?
False
Let r(m) = -m**2 - 2*m + 4. Let g be r(-3). Let n = g - 5. Is 33*3 - n/(-2) prime?
True
Let m be 3 + (-1524)/((-4)/(-1)). Let l = m - -968. Let z = -333 + l. Is z a composite number?
False
Let q(i) = -i - 11. Suppose 4*k = 3*k - 11. Let t be q(k). Suppose -4*g - 5*n + 1328 = t, 4*g = -0*g - 3*n + 1336. Is g composite?
False
Let m = 11 - -7. Let z be 33/m + (-1)/(-6). Suppose -w = -z*y + 111, -10 = -3*w + 5*w. Is y prime?
True
Suppose 19*y - 635 = 866. Is y composite?
False
Let x(n) = 16*n**2 + 2*n - 2. Let z(g) = -32*g**2 - 4*g + 4. Let j(o) = -5*x(o) - 3*z(o). Let c be j(-2). Suppose -40 - c = -2*k. Is k a prime number?
False
Let m = 28 - -194. Suppose 3*a + 47 = 4*x, 2*x + 3*x + 5*a - 50 = 0. Suppose x = -p + m. Is p prime?
True
Suppose 8*t + 158631 = 591871. Is t composite?
True
Let j = 284 - -2437. Is j a prime number?
False
Suppose -3*z + 4*p = -6*z + 3812, 3*z = -5*p + 3808. Suppose -z = 7*i - 3*i. Let g = 480 + i. Is g prime?
False
Suppose 5*p = 4*q + 41, -3*p = -0*q - 3*q - 27. Is -2 + 9841/39 + q/(-6) a composite number?
False
Let d = 24744 + -15079. Is d prime?
False
Suppose -25*h = -433312 - 410163. Is h a composite number?
False
Suppose -38 - 34 = -4*t. Let f = t + -13. Suppose -f*i + w + 143 = -3*w, -2*i + 56 = -2*w. Is i a composite number?
False
Suppose 0 = -3*h - 0*h. Is 81 - (0 - (h + 2)) composite?
False
Suppose -3*f - 22 = 2*x, 5*x + 3*f + 55 = -0*f. Let q(p) = p**2 + 3*p + 1. Is q(x) a prime number?
True
Suppose -14 = -m + 1. Let z(y) = -y + 19. Let w be z(m). Suppose -2*a - 225 = -w*t + 45, -t - a + 72 = 0. Is t prime?
False
Suppose -j = -3*v - 6*j - 1, -1 = v + 2*j. Let s(g) = -2*g**3 - 5*g**2 + 4*g + 9. Let u be s(-5). Suppose v*r + u = 351. Is r a prime number?
True
Suppose -3*n = 5*y - 40881 + 10680, y = -n + 6041. Let m = 4 + -10. Is 4/m - y/(-27) a prime number?
True
Let m = 16111 + -8899. Suppose -g - z = 4*z + 2404, 3*g + m = z. Let n = -1427 - g. Is n a composite number?
False
Let n = 16 - 12. Suppose -x = -n*m + 184, -4*x + x + 33 = m. Let s = m + -10. Is s composite?
True
Is 2927*(6 - (-7 - -11)) composite?
True
Suppose 0 - 10 = w. Is 1/2 - 135/w composite?
True
Is (1/2)/((-23514)/(-11756) - 2) prime?
True
Let b(c) = 1369*c + 3. Let a be b(1). Suppose -5*h + 3407 = 4*m, 2*h + 0*m - a = 3*m. Is h composite?
False
Suppose -13*r + 7*r - 396 = 0. Suppose 4*o = -p - 0*p - 217, 6 = 2*o. Let v = r - p. Is v a prime number?
True
Suppose 186480 = 10*u + 17770. Is u composite?
False
Let g be 9/(-3)*76/6. Is g/3*-102 - -1 a composite number?
True
Let j(r) = -1 + 15*r - 6*r**2 - 7*r**3 + 8*r**3 - 4*r**2. Is j(12) prime?
True
Is 35/(-10) - -2 - 44526/(-12) prime?
True
Let w(g) = 18*g**2 + 21*g - 86. Is w(13) composite?
False
Suppose 9*m = -3 + 21. Suppose -m*x + 104 = 10. Is x composite?
False
Suppose -6*p + 4*p + 2036 = 0. Let j = p - 23. Is j a composite number?
True
Let t = -2060 + 3817. Is t a prime number?
False
Suppose 2*c - 10 = -118. Let r be (-12)/c - (-13849)/9. Suppose -194 = 5*a - r. Is a a composite number?
False
Is 87 + -2 + (-18 - -12) a prime number?
True
Let v = 3749 - 1302. Is v prime?
True
Suppose -56060 = -9*k + 20827. Is k a prime number?
True
Suppose 2*a - 3*m = 107536, 27*m = a + 32*m - 53781. Is a a composite number?
True
Is -40316*(-1)/12 + (-10)/15 composite?
False
Suppose 3*h - 7246 = -4*w, 3*h + 0*w - 7286 = 4*w. Let v = 4071 - h. Is v a composite number?
True
Suppose z + 16 = 3*z. Let q = z + -18. Is (-2)/q - 3170/(-25) a composite number?
False
Let n(o) = 12 + 42*o**2 + 0 + 1 + 2*o. Is n(5) composite?
True
Suppose -15*v - 2*v + 2771 = 0. Is v prime?
True
Let r(j) = -j**3 - 6*j**2 - 3*j - 29. Is r(-16) prime?
True
Suppose -3*n + 18 = 6*n. Suppose -4*u + n*u + 3*c + 323 = 0, 3*c = u - 166. Is u a prime number?
True
Let u be 6/(-4)*(4 + -82). Let k = u - -10. Is k prime?
True
Suppose 144 = 3*a + 4*g, -9 = -0*g - 3*g. Let r = a + 45. Is r composite?
False
Let k(p) = p - 1. Let z(h) = -h**3 + 14*h**2 + 18. Let t(d) = 3*k(d) + z(d). Is t(14) a prime number?
False
Let j = -27 + 29. Let r(c) = 11*c**3 - 2*c**2 + c + 1. Is r(j) a composite number?
False
Suppose 0 = -4*x + 28 + 8. Is (-530)/((x + -4)*(-2)/5) a composite number?
True
Let y = -20 - -25. Suppose 242 = y*p - 203. Is p a prime number?
True
Let a(q) = 221*q**2 + 44*q + 22. Is a(9) composite?
True
Let c(q) = 486*q**2 + 5. Let o = -43 + 41. Is c(o) composite?
False
Let s(f) = 222*f**2 - 4*f + 7. Is s(2) composite?
False
Suppose 15*t = 4*t + 2761. Is t composite?
False
Suppose -16 + 20 = 4*p. Suppose -k - 25 = -p. Let h = 259 + k. Is h composite?
True
Let d be ((-16)/(-10))/((-1)/(-20)). Suppose -d = -0*f + 4*f. Let g = f - -405. Is g composite?
False
Let a(d) = -2202*d**3 - 2*d**2 - d + 1. Let y be a(-1). Let k = y + -103. Is k a composite number?
False
Let b = 187 - 96. Suppose b = r - 187. Is r prime?
False
Suppose 0 = a + 2*a - 2*g - 8, -1 = g. Suppose 4*p + 4*t + t = 106, a*p - 5*t - 38 = 0. Suppose -2*h = -4, 4*b - p = 3*h + 862. Is b a composite number?
False
Let f(u) = u**3 - 4*u**2 + 6*u - 51. Let p be f(5). Suppose 2*n - 16 + 4 = 0. Suppose 3*q - 6 = 0, 382 = p*o - q + n*q. Is o a prime number?
False
Suppose 7 = 3*d - 2*t - 3, -2*t = 2*d. Suppose -479 = -4*x - d*l + l, x = 5*l + 104. Is x a prime number?
False
Suppose -n - 3*i + 4002 = -200, -5*n - i = -20940. Is n composite?
True
Let y be ((-3)/4)/((-3)/(-192)). Let h be (y - -9)/((-2)/(-84)). Let q = -1051 - h. Is q a prime number?
True
Let t = 43 - 43. Suppose t = 5*j - 11*j + 40830. Is j a prime number?
False
Suppose -20*l + 24*l = 0. Suppose -7*c + 11*c - 19164 = l. Is c composite?
True
Suppose b - 2*g = 2283, 9*b - 5*g - 11435 = 4*b. Is b prime?
False
Let a = 55823 + -38422. Is a a composite number?
False
Suppose -1 - 4 = -5*o. Suppose -5*h = -3*b + 15, 2*h + o + 5 = -4*b. Suppose y + 3*y = -5*d + 214, -d + y + 50 = b. Is d prime?
False
Let x(s) = 5*s + 3. Let k be x(-2). Let v = k + 11. Suppose -271 = -5*r + v*g, r - 2*g = -0*r + 53. Is r a composite number?
True
Let s be (-9)/(0 + -3) + 209. Suppose -2*g - s = -6*g. Let h = 198 - g. Is h a composite number?
True
Let a(d) = 7470*d - 37. Is a(2) composite?
True
Let y = -1636 + 3327. Is y prime?
False
Suppose -3*p = -3, -20295 = -x - 2*p - 0*p. Suppose 0 = 14*b - b - x. Is b a composite number?
True
Suppose -156 = -5*g + 2*g. Suppose 0 = -s + 29 + g. Let m = -34 + s. Is m a prime number?
True
Suppose 10*m = 31 + 9. Suppose -4*v = 5*d - 2333, -m*d - v + 1903 = 30. Is d composite?
True
Suppose -23*u + 36*u = 39793. Is u composite?
False
Suppose j - 43659 = 2*c, 0*c + 43657 = j - c. Is j composite?
True
Suppose y = -0*y + 3*i + 9, i = -1. Suppose -106 = 4*o - y*o. Is o prime?
True
Let p(b) = 113*b + 9. Let f(y) = -y - 1. Let t(j) = -6*f(j) - p(j). Is t(-2) composite?
False
Let p = 7666 + -3513. Is p prime?
True
Suppose -3*b = -0*b + 4*q - 2399, 3*b - 2397 = -3*q. Is b a prime number?
True
Suppose 0*r + 2*r = 2020. Suppose 2*i + 3*i + 10 = 0, -5*i + r = 3*k. Suppose -k = -2*y + 370. Is y a composite number?
True
Suppose 0 = -0*k - k - 5*z - 23, -4*z = 5*k + 31. Let b be k + -1 + 2 + -2. Is (b/8)/(-1)*154 a prime number?
False
Let u(m) = -44*m - 25. Let r be u(11). Let k = -286 - r. Is k a composite number?
False
Suppose 5*x = -5, 3 = 5*y - 3*x - 25. Suppose 265 = 4*r + 5*f - 384, 2*f = y*r - 803. Is r a composite number?
True
Let x(k) = -370*k + 201. Is x(-14) a prime number?
True
Let d = -10 + 15. Suppose 0 = -2*s + d*s - 51. Let a = s + -4. Is a a prime number?
True
Let o = 40335 + -3302. Is o a composite number?
True
Suppose 0 = 6*d - 9*d. Suppose -4*l + 6 = -2*o, 3*l - 9 + 0 = d. Suppose -5*r + y = 3*y - 412, o*r - 5*y - 241 = 0. Is r composite?
True
Let g(s) = -s**2 + 2*s + 5. Let y be g(3). Suppose 0*h = 2*h + 6. Is (h + y)/((-3)/201) composite?
False
Let a(q) = 4*q**3 - 11*q**2 + 6*q - 3. Let z be a(7). Suppose p + z = -p. Is p/(-2) + 18/(-6) composite?
True
Suppose h + 26 = 3*u + 6*h, 5*u = h + 6. Let k be (-1)/5*-5*0*-1. Suppose k*t + 356 = u*t. Is t a composite number?
True
Let c = 21 - 16. Suppose 0 = -3*u + 2*u + 2*g + 9, 5*u + c*g = 0. Is u - (2 - 155) - -1 a prime number?
True
Suppose 982