 prime?
False
Suppose x + 2*w = 8, 0 = -5*x + 3*x + 2*w - 2. Suppose -x*q = 5*v - 178, 0*q + 4*v - 356 = -4*q. Is q a prime number?
True
Suppose -r - 1872 + 12435 = -5*d, -2*r + 21144 = -d. Is r composite?
True
Let h(l) = l**2 + 2*l - 13. Let o(p) = -p**3 + 19*p**2 + 20*p - 7. Let k be o(20). Is h(k) prime?
False
Suppose 5667 = i - v, 0 = -2*i - 3*v + 2*v + 11331. Suppose -4*l - 1158 + i = 0. Suppose 23 = k - g - 352, -4*g = -3*k + l. Is k a prime number?
True
Let c(s) = 0 - 6 - 3 - 2 - 141*s. Is c(-8) a prime number?
True
Is ((-2 - -7) + -4)*4109 a prime number?
False
Let a be ((-2)/(-4))/((-7)/14). Let n be ((-30)/40)/(a/(-1412)). Let y = n + 1486. Is y a composite number?
True
Let b(z) = 238*z + 3. Let t(i) = -i**3 + 3*i**2 + 2*i - 1. Let d be t(3). Suppose 3*x = d*q - 9, 5*q = 5*x + 8 - 3. Is b(x) composite?
False
Let n = -33 - -34. Is n/2 - (-4207)/14 a prime number?
False
Let w(m) be the second derivative of m**4/6 - 7*m**3/6 + 8*m**2 + 8*m. Let x be w(12). Let s = 347 - x. Is s prime?
True
Is -8 + (70*223 - (-2 - -3)) prime?
True
Let g = 143 - 85. Let i(j) = -j**3 + j + 3. Let r be i(3). Let u = r + g. Is u prime?
True
Let k be 42/(-14) + -97*2. Let f = k + 308. Is f a prime number?
False
Let y = -3 - 9. Suppose 52 = 5*t + 5*l + 1247, 3*t = 2*l - 707. Is t*(8/y)/2 a composite number?
False
Let l(m) = 93*m - 104. Let u(y) = y**3 - 11*y**2 + 2*y - 5. Let n be u(11). Is l(n) composite?
True
Is ((1 - 4) + -8 + 10)*-3761 a composite number?
False
Let q = 1999 + 24340. Is q composite?
False
Let s(t) = 11*t + 10 - 1 + 39*t + 2*t - 18*t. Let f = 8 + -4. Is s(f) composite?
True
Is (-12)/90 + 1616485/75 composite?
True
Let k be -2 + -4 + 4 + -2. Is -3*19*(k - 155/15) prime?
False
Let j = -6 + 6. Suppose a - 21 = -a + 5*c, j = -4*a - 3*c - 23. Is 474/12*a/(-1) a prime number?
True
Suppose 2*y = 3*y - 6. Let v be -2*(-3)/y + -3. Let w(g) = 76*g**2 - 2*g - 1. Is w(v) a composite number?
False
Suppose -7*d = 5 - 19. Suppose d*i = -3 + 11. Is (i - 157)*(-1)/3 prime?
False
Is 4253386/18 - (325/45 - 7) prime?
False
Let m(z) = -42*z + 5. Let j = 33 - 47. Let d = j + 8. Is m(d) a prime number?
True
Suppose 4*t - 4 = -4. Suppose -5*f + 1751 = -4*s + 42, 5*f + s - 1704 = t. Is f a prime number?
False
Is -281*(-15 - -19 - (-18)/(-2)) a composite number?
True
Let z(y) = -8*y**2 + 27*y + 20. Let p(w) = w**2 - w + 1. Let s(l) = -5*p(l) - z(l). Is s(16) composite?
True
Is (-1)/5 - 72972/(-10) prime?
True
Suppose -5*v + 2*d - 50 = 5*d, 3*v + 30 = 2*d. Let k(q) = -q - 12. Let z be k(v). Is -2*(-2 + 85/z) a prime number?
True
Let z(r) = r**2 - 14*r + 5. Let g be z(14). Let c(y) = -2*y**2 + 7*y. Let l be c(g). Let v = 34 + l. Is v a composite number?
False
Let t = -18 + 13. Let i(k) = -k**3 - 4*k**2 + 5*k + 4. Let a be i(t). Suppose 347 + 159 = 2*u - 4*r, -1026 = -a*u + r. Is u a prime number?
True
Let j = 46 - 41. Suppose -4*c - j*w = -2099 - 729, 1414 = 2*c - 3*w. Is c composite?
True
Let y(g) = 24*g + 5935. Is y(0) prime?
False
Let q(v) = -v**3 + 13*v**2 + 4*v - 16. Suppose 34 = 4*n - 14. Let u be q(n). Let f = u - -29. Is f composite?
True
Let u = 12 - 11. Is (5 - 4)/(u/67) prime?
True
Is (-4 - 196/12)*-267 a composite number?
True
Suppose 5*w - 17499 = 3006. Suppose 4*n + q = n + w, 5*q + 4083 = 3*n. Is n a composite number?
True
Suppose -4*y + 2312 = -5*p, -5*p + 2890 = 3*y + 2*y. Let d = y - 1004. Let a = d - -1009. Is a a composite number?
True
Let a be (2 - 5)/(-3)*5. Suppose 0 = -2*w - a*v + 47, 4*w - 159 = 6*v - 3*v. Let h = w + 22. Is h composite?
True
Is 3939 + -8 + (1 - -5) prime?
False
Suppose 0 = -4*r + r - 6. Let t(m) = m**3 - 15*m**2 + 2*m + 11. Let h be t(5). Is (2/(-2) + h)/r a prime number?
False
Let s(p) = 2*p**2 - p - 15. Let f be s(-4). Is 7175/3 + 28/f prime?
True
Suppose 2*q + w = 31, -25 = -3*w - 10. Suppose q*y - 159 = 12*y. Is y prime?
False
Suppose 0 = -2*u - 12 - 10. Let i(h) be the first derivative of -3*h**2/2 - 22*h - 135. Is i(u) composite?
False
Let q(k) = -17*k - 10. Let f(i) = 1. Let d(r) = 33*r + 23. Let o(l) = -d(l) + 2*f(l). Let p(u) = 3*o(u) - 7*q(u). Is p(3) a prime number?
True
Let s be (-12)/(-24)*(19 - 1). Let f be (0 + 3)*(-276)/s. Is (-1)/(3 - f/(-30)) prime?
False
Let b be ((-56)/(-49))/8*0. Let n(g) = -2*g - 6. Let q be n(-4). Suppose -4*s + q*w = -808, 2*s + 0*s + w - 404 = b. Is s composite?
True
Suppose -4*g - 45631 = -155219. Is g a prime number?
True
Let z = -509 - -926. Let d = z - 246. Suppose a - d = 164. Is a a prime number?
False
Let n = 95 + -87. Let i(y) = 201*y - 19. Is i(n) a composite number?
True
Let k = -59 + 61. Let a(l) = 8*l**2 + 2*l - 3. Is a(k) prime?
False
Is (-5 - 0) + 43 + 293 composite?
False
Let o(i) = -37*i - 6. Suppose 116 = 3*g + 41. Suppose -5*j = -10*j - g. Is o(j) prime?
True
Suppose -3*k = -2*k - 194. Suppose 7*b + 2*y = 3*b + k, 0 = -b - y + 46. Let x = 164 - b. Is x a prime number?
True
Let z = -71 - -55. Is (z - -12) + (2157*1 - 0) composite?
False
Let q(p) = 5*p - 38. Let c be q(10). Let n(i) = 15*i**2 - 26*i - 1. Is n(c) a prime number?
True
Let v = 95432 - 20711. Is v composite?
True
Suppose -12*f - 2993 = -13*f. Is f a composite number?
True
Suppose i - 2*i = 3, -q + 5*i = -2296. Is q prime?
True
Suppose -2*t - 8 = -4*t. Suppose 2 = 2*s - t. Is s composite?
False
Suppose 4*m + 5*h = 12331, 2*m = -6*h - 0*h + 6176. Is m a composite number?
False
Let t(o) = o**2 - 11*o - 28. Let n be t(12). Is (-4)/32 + (-1426)/n a prime number?
True
Let n(p) = 5*p**3 + 31*p**2 - 43*p - 31. Let w(h) = -2*h**3 - 10*h**2 + 14*h + 10. Let f(a) = -3*n(a) - 8*w(a). Is f(14) a prime number?
False
Suppose 1253 = -3*i + 7046. Is i a prime number?
True
Let a(o) = -149*o. Suppose 0 = -3*d - 9, -4 - 9 = 4*i + 3*d. Is a(i) composite?
False
Suppose -4*g + 5145 = n - 4480, 0 = g + 4*n - 2395. Is g composite?
True
Suppose -32*r + 108695 + 60809 = 0. Is r a composite number?
False
Suppose 6*f = 2*f - 68. Suppose -2*v + 376 = -6*v. Let x = f - v. Is x a composite number?
True
Suppose 314*q = 309*q + 399335. Is q composite?
False
Let b be -3 - ((-9)/(-3) + -314). Suppose -b = 3*r - 1007. Is r composite?
False
Let g be ((-1)/(-2))/((-1)/(-540)). Suppose 6*q - g = 4*q. Suppose j = q - 56. Is j a prime number?
True
Suppose u + 4 = 8. Suppose -3*c = 5*r - r - 7210, 4*r = u*c + 7196. Is r composite?
False
Let k = -8670 + 18053. Is k a prime number?
False
Is 1471/(-2)*350/(-35) prime?
False
Let k(v) = -5*v**2 + 4*v - 10. Let j(g) = -11*g**2 + 7*g - 21. Let d(w) = 2*j(w) - 5*k(w). Let f(z) = z**3 + z**2 + z + 7. Let i be f(0). Is d(i) composite?
False
Suppose -3*z - 5*f = -20, 4*z - 5*f + 0*f - 15 = 0. Suppose z*j = 2873 + 4772. Is j composite?
True
Let k(r) = 102*r**2 + 3*r + 53. Is k(-18) prime?
False
Let v(z) = 185*z**3 + 6*z**2 + 12*z - 32. Is v(5) a composite number?
True
Suppose 6*t + 114 = 2706. Suppose 4*b + 844 = 3*z - z, -2*z + 1055 = -5*b. Let k = t + b. Is k a prime number?
False
Let t(w) be the first derivative of -7*w**4/4 + w**3/6 + w**2 - 6. Let f(u) be the second derivative of t(u). Is f(-4) a composite number?
True
Suppose 2*d - d = 4*q + 320, -3*q = 0. Suppose 5*l + 922 = 47. Let w = d + l. Is w prime?
False
Suppose 0 = p + 8*g - 13*g - 2048, 3*g - 3 = 0. Is p a composite number?
False
Suppose -3*c + 5*n - n + 1281 = 0, 4*c - n = 1695. Let k = -106 + c. Is k a prime number?
True
Let b = 26095 - 11616. Is b prime?
True
Suppose -2*a = -f - 56663, -3*f - 113341 = -4*a - 6*f. Suppose 5*s - 7*o = -3*o + a, -4*s + 4*o = -22664. Is s prime?
True
Let x = -27 - -31. Suppose -17696 = -2*f - 2*f + x*b, 0 = -f + 2*b + 4427. Is f a composite number?
False
Let h(a) = 460*a - 71. Is h(7) a composite number?
True
Suppose -965 = -2*t + 2153. Let c = -661 + t. Suppose 3*n = 4*p - 1784, -4*p = -2*p - 3*n - c. Is p a prime number?
True
Suppose -4260 = -4*z + 4*k, 3191 = 4*z - z - 5*k. Is z composite?
True
Suppose -9*w + 1206 = -1197. Let k = 2536 + -1491. Suppose w = -2*x + k. Is x a prime number?
True
Is ((-7198)/(-6))/(98/(-21) + 5) a prime number?
False
Let p be -3 + ((30*156)/4 - 2). Is p/30 + (-2)/(-12) prime?
False
Let b = 64 - 62. Suppose -2*m - 1092 = -0*q - b*q, -q = 5*m - 540. Is q prime?
False
Suppose 5*l = -4*j + 9, -3*j = 4*l - 6*j - 1. Let h be (4 + -2 + 3)*l. Suppose t + 812 = h*t. Is t a composite nu