False
Is 2 - (5/(5/2) - 1361) prime?
True
Let v(c) = -3*c**2 + 10. Let b be v(-7). Let z = b - -255. Is z prime?
False
Let k = 352 - -7. Is k a prime number?
True
Suppose 2*v - 3068 - 1854 = -a, -5*v - 3*a + 12307 = 0. Is v composite?
False
Suppose 2*a - 13597 = -5*c, 0*c + 2*c - 5438 = -a. Is c composite?
True
Is (0 - -514)*(13/2 - 3) a composite number?
True
Suppose 2*u + 907 = 6*t - 5*t, -907 = -t - 4*u. Is t prime?
True
Let s(l) = 462*l**2 + 2*l - 1. Let q be s(1). Suppose -2*d - 2*w = -3*w - 184, -5*d + 4*w = -q. Is d prime?
False
Let d be ((-6)/(-5))/((-3)/15). Let m = d + 8. Is (-3 + m - -157) + 1 a composite number?
False
Let o = 465 + -295. Let a = -111 + o. Is a prime?
True
Let k be 2/7 - 8/28. Suppose 0 = 4*w - k*w - 2228. Is w composite?
False
Let j(y) = 699*y**2 - 2*y + 1. Let p be j(1). Suppose n - 17 = -t + 157, 4*n - p = -3*t. Let i = 333 - n. Is i a prime number?
True
Let c(t) = 7*t - 12. Let r be c(-11). Is (r/(-4))/(1/4) a composite number?
False
Suppose 0 = 4*h + 20, 3*u + 3*h = h + 5. Suppose u*a - 12 = a. Suppose -5*j + 1060 = a*b, -j + 632 = 2*j + b. Is j composite?
True
Let r = 11 - 22. Let g = 7 + r. Let a(c) = -34*c - 5. Is a(g) a composite number?
False
Let l(m) = -109*m + 18. Is l(-7) a composite number?
True
Is 1*(-4)/4 - -23 a prime number?
False
Let w = -31 - -66. Let d be 2/(-6) + (-40)/6. Is 2685/w - 2/d a composite number?
True
Let w(t) be the second derivative of 5*t**4/4 + t**3/6 + 2*t**2 - t. Let a be w(3). Suppose -4*h + a - 18 = 0. Is h a composite number?
False
Let c(s) = s**3 - 12*s**2 + 6*s + 10. Let o be c(9). Let n = 264 + o. Is n a composite number?
True
Let l be (2/5)/((-2)/(-20)). Let a(u) = -u**3 + 3*u**2 + 6*u - 4. Is a(l) prime?
False
Let v = 11 + -20. Let h be 4*(2/8 - 1). Is h*12/v - 1 a composite number?
False
Let x = -8 + 117. Is x a composite number?
False
Let u(n) = -n**3 + 9*n**2 - 7*n + 10. Suppose -2*i - 7 = 3*k, 2*i = -4*k + 2 - 10. Let s be 7/i*(0 - 2). Is u(s) prime?
True
Let l = -42 - -25. Let y = l + 39. Is y a prime number?
False
Let a be (-9)/(-2) + (-1)/(-2). Suppose 0*r + 4*r = a*c + 377, 0 = r - 4*c - 97. Is r a composite number?
True
Suppose 7*u - 3*u - 5*s = 5046, -s - 2 = 0. Is u composite?
False
Suppose 0 = -4*x + 21*x - 2465. Is x prime?
False
Let z = -5 - -5. Suppose 3*d = -z*d + 27. Is d prime?
False
Let c(a) be the third derivative of 0*a - 2*a**2 + 1/12*a**4 - 1/6*a**3 + 1/15*a**5 + 0. Is c(-2) a composite number?
False
Let a(q) = q + 22. Let n be a(0). Is 1/(((-2)/(-1))/n) a composite number?
False
Let d(x) be the second derivative of -x**5/2 + x**4/4 + x**3/3 - 3*x**2/2 - 8*x. Is d(-4) prime?
True
Let o(x) = x**2 - 7*x - 32. Let m be o(10). Suppose -3*r = r - 1072. Is (r/8)/(m/(-4)) a prime number?
True
Let h be (18/(-12))/((-6)/80). Let y = h - 9. Is y a composite number?
False
Let c(k) = 17*k**2 - k + 13. Is c(7) a composite number?
False
Suppose 5*j - 4*h + 2491 = -h, -2*j - 3*h = 988. Let o = j - -748. Is o prime?
True
Suppose 172 = 3*y - 197. Is y prime?
False
Let q = 2173 - 260. Is q prime?
True
Let k be (-3 + (-39)/15)*5. Let l = k + 81. Is l prime?
True
Let a(y) = 7*y**2 + 8*y - 4. Is a(5) a composite number?
False
Suppose 2*j - 11 = x, 4*j - x = 2*x + 21. Suppose 3*d + 429 = j*d. Is d composite?
True
Let k be (-4)/(-8) + 22/4. Suppose 0 = h - 4*h - k. Is (h/(-6))/((-2)/(-138)) composite?
False
Suppose -4*w = 0, -5*p + 3*w = 65 - 0. Let v be p/(-4) + 1/(-4). Is 110/v - (-6)/18 prime?
True
Let m(n) = 5*n**3 - 3*n**2 - n. Let y be m(-2). Let d = y - -87. Is d a composite number?
False
Is 2*1/4*(2 - -7268) a composite number?
True
Let k = 2 - -7. Let r = k + -6. Suppose r*d = 3 + 30. Is d a prime number?
True
Suppose -3*k = -2*j + 277, 5*k + 271 = 2*j - 0*j. Suppose 0 = -4*y + j - 47. Suppose -b + 7 + y = 0. Is b prime?
True
Let j = 990 + -313. Is j a prime number?
True
Let y = 4 - 8. Let s be (-5)/(3/(1 + y)). Suppose -s*m - 4 = -114. Is m a composite number?
True
Suppose 3*z - 9 - 3 = -3*x, 0 = -x - 5*z + 8. Let f be 0/(-2)*x/(-3). Suppose 4*b + 2*n = b + 39, f = -5*b + 2*n + 49. Is b composite?
False
Let r = 37 + -26. Is r + 0 - (-2)/1 prime?
True
Let z = 4127 - 2146. Is z a composite number?
True
Suppose -2 = -l, 4*c - 5*l - 291 = 235. Is c prime?
False
Let w be 50/4*(-3 - -5). Suppose 4*d - w = 51. Is d prime?
True
Suppose 4*a = 2*a, 0 = 4*v - 3*a - 560. Suppose 4*s + o = v, s + 4*o + 0*o - 35 = 0. Is s composite?
True
Let o = -160 - 0. Let w = o + 371. Is w composite?
False
Suppose 2*k - 3*r - 20 - 154 = 0, 255 = 3*k - 3*r. Let b(a) = 8*a - 2. Let o be b(5). Let w = k + o. Is w prime?
False
Suppose -4*w = -4*g - 0*w + 16, -5*w - 20 = 5*g. Suppose 7*x - 4*x = g. Let v(t) = t**3 + t**2 - t + 26. Is v(x) a prime number?
False
Let c = -961 - -1428. Is c composite?
False
Let q be (-1639)/22 - (-2)/4. Is q*(0 - 21/6) a composite number?
True
Suppose 0 = -2*t + 5 + 11. Suppose -5*k + 198 - t = 5*f, 5*k = -f + 210. Is k a composite number?
False
Suppose -6*y + 580 = -y. Let d be (-271)/(-4) - (-6)/(-8). Let a = y - d. Is a prime?
False
Let t(q) = -12*q**3 + q**2 + 2*q + 2. Let p(w) = -25*w**3 + 2*w**2 + 4*w + 4. Let u(l) = 2*p(l) - 5*t(l). Is u(3) a prime number?
False
Let x(j) = j. Let h be x(0). Let q be 2/(-3) - 28/(-6). Suppose f + h*f - 11 = q*p, 0 = -p + 5. Is f a composite number?
False
Let i = -1 + 3. Let l be (i*3)/((-3)/(-3)). Suppose l*g - 30 = -5*p + 3*g, -g = -5*p + 50. Is p prime?
False
Let s(h) = -33*h - 2. Suppose 0 = -3*u - 0 - 3. Is s(u) a prime number?
True
Let t(a) = -8*a. Let z be t(4). Let s = 71 + z. Is s a prime number?
False
Let d(u) = -u**3 - 9*u**2 + 9*u + 13. Suppose 3*z + s + 18 = -11, 4*z + 3*s + 37 = 0. Is d(z) prime?
True
Let t(l) = 69*l + 8. Is t(13) a composite number?
True
Let d(h) = 10*h + 1. Let m be d(-1). Let j be ((-60)/(-9))/((-3)/m). Is j - (-1)/((-1)/(-3)) a prime number?
True
Suppose 0 = 15*i - 9413 - 6682. Is i composite?
True
Let b(y) = 163*y**3 + 5*y - 1. Is b(2) composite?
True
Let q(p) = -13*p + 13. Let t be q(10). Let z be 294/((-2)/4 - -2). Let f = z + t. Is f prime?
True
Let o = -9 + 5. Let v = -5 - o. Is v/(9/(-57))*3 composite?
False
Suppose -4*n + 0*n + 68 = 0. Let q(o) = -36*o. Let s be q(-1). Let f = s - n. Is f composite?
False
Suppose -z = 2*z - 90. Let c = 109 - z. Is c composite?
False
Let l(w) = w**3 - 5*w**2 - 6*w + 4. Let f be l(6). Let h(j) = 22*j + 1. Is h(f) composite?
False
Let s(h) = h**2 - h + 3. Let b be (2/(-1))/2 - -1. Let a be (1 - (b - -3)) + 6. Is s(a) composite?
True
Let k(w) be the third derivative of w**5/5 + 11*w**4/24 - 13*w**3/6 + w**2. Is k(12) prime?
True
Let g(w) = -w**3 + w**2 + 9*w + 2. Is g(-7) a prime number?
True
Let w(h) = 4 - 5*h - 3 + 4*h + 6. Is w(-6) a composite number?
False
Suppose 2*m + v + 598 = 4*m, 0 = 4*m - 3*v - 1192. Is m a composite number?
True
Let g = 239 - 124. Let d = -66 + g. Is d a prime number?
False
Let b = 118 - 62. Let q = -31 + b. Is q composite?
True
Let q(l) = 8*l**2 - l + 1. Let z be q(1). Suppose -w - z = -4*h, 2*w + w = 3*h + 3. Suppose -h = -x + 7. Is x composite?
True
Let z = -114 + 168. Suppose 7 - 22 = -5*a, -3*b = -a - z. Is b composite?
False
Let h be -2 - 6/4*-4. Suppose 6 = -5*m - h. Let j = 0 - m. Is j a composite number?
False
Is (-2)/4 - 13482/(-12) prime?
True
Let f = 947 + 92. Is f composite?
False
Suppose 0 = 4*t - 8. Suppose -70 = -4*j + 2*c, 4*j + 3*c - 67 = t*c. Let z = j - 3. Is z composite?
True
Let f(z) = 4*z**3 + z**2 - 2*z + 3. Let o be f(2). Let b = o - 22. Is b a prime number?
True
Let q be 5/(-2)*(-8)/5. Is (-4)/(-1)*7/q prime?
True
Suppose 0 = -6*u + 2*u + 20, -26 = -j - 2*u. Suppose 2*c - 50 - j = 4*f, -f = -c + 36. Is c prime?
False
Suppose 0 = -4*o - 0*o + 3*a + 221, a = 3*o - 162. Is o prime?
True
Suppose 2*l = 855 - 37. Is l a composite number?
False
Is 5 - (-1944 - (4 + -4)) a prime number?
True
Let b(h) = h + 13. Suppose -59 = 4*o - 15. Let s be b(o). Suppose 0 = u + u + s, -137 = -2*n + 3*u. Is n a composite number?
False
Suppose -4031 = -3*m + 5*n, 3*m + n - 4015 = 2*n. Is m prime?
False
Suppose -2*p + o - 8 = -3*p, 0 = 2*p - 3*o - 31. Is p a prime number?
True
Suppose -38 = c + p + p, c + 58 = 2*p. Let m = c - -107. Is m prime?
True
Let k be 534 - 4/(4/(-3)). Suppose c + 6*j = 3*j + 538, 0 = -c - 4*j + 