 4430/(-15)) composite?
True
Let d = 211 - 144. Is d composite?
False
Let p be (1006/8)/(((-66)/(-24))/11). Let j = -745 - -1451. Let b = j - p. Is b a composite number?
True
Let w = 2 + -2. Is 0 + (-2 - w) - -85 prime?
True
Let m(t) = -17*t**2 - 27*t**3 + 3 + 2 - 2 - 2*t. Let v(x) = 9*x**3 + 6*x**2 + x - 1. Let w(p) = -3*m(p) - 8*v(p). Is w(2) a prime number?
True
Suppose -3*i + 2 = -o + 26, 8 = 2*i. Suppose -b + o = b. Suppose 0 = 4*k - 74 - b. Is k a composite number?
False
Let j(r) = 60*r - 1. Suppose 2 = -f + 3. Is j(f) a prime number?
True
Let g(v) = 63*v**2 - v + 1. Is g(-1) prime?
False
Suppose 0 = 5*u + 181 - 2531. Suppose -6*c = -4*c - u. Is c composite?
True
Suppose -30 = -b - 4*b - 5*n, -5*b - 3*n = -26. Let p be (0 + 6/b)*-2. Is 1*(33 + (p - -1)) a composite number?
False
Let o = 0 + 0. Suppose -2*k - 2*y + 158 = o, 3*k + y - 202 = 5*y. Is k composite?
True
Suppose 0 = -5*g - 84 + 2239. Is g a prime number?
True
Suppose -p + 79 = 3*h, -5*h + 0*p = 5*p - 125. Let d(q) = -q**3 + 6*q**2 - 2*q + 1. Let a be d(5). Let n = h - a. Is n prime?
True
Let y(n) = n**3 + n**2 + 2*n + 46. Is y(0) a composite number?
True
Suppose 0*t = t - 5. Is t*1*78/15 prime?
False
Let p(l) = -l**3 + l**2 - 4*l + 7. Let o be p(-5). Let j = -94 + o. Is j a prime number?
True
Let g = 5 - -3. Suppose 3*s = g - 2. Suppose 0 = s*i - 4*j - 42, -j - 47 - 72 = -4*i. Is i a composite number?
False
Suppose 12 = 2*q - 4*t, 0 = -0*t + 4*t + 8. Is q/7 - 1653/(-21) a composite number?
False
Suppose 2*p - 819 = 1999. Is p a composite number?
False
Let n(r) = -r - 2. Let o be n(-5). Let z(x) = 7*x**3 - 4*x**2 - 4. Is z(o) composite?
False
Let q be 3 + -3 + 3/3. Let b(w) = 89*w. Is b(q) a composite number?
False
Let s = -1107 - -2242. Is s prime?
False
Let q(w) = -7*w - 4. Is q(-5) a composite number?
False
Let h(c) = 0*c**2 - 3 + 2 - 5*c + 2*c**2. Suppose -32*z + 27*z - 20 = 0. Is h(z) composite?
True
Suppose 0*l = -l + 38. Suppose -4*o + 6 + l = 0. Is o a composite number?
False
Let z be 6/(-4)*(-20)/15. Suppose o - 12 = -z. Is o prime?
False
Suppose 3*v - 3*p + 89 = -4*p, v + 53 = -5*p. Is (-2)/7 + (-4572)/v a composite number?
False
Suppose 0 = -2*q + 9 + 1. Suppose 3165 = q*a + 1130. Is a a prime number?
False
Suppose b + 4 = 0, -4*q = 5*b - 0*b - 320. Is q composite?
True
Let b(i) = -255*i. Let a be b(-1). Suppose -290 = -5*t + a. Is t a prime number?
True
Suppose 3*i - 1455 = -2*i. Suppose 194 = -2*d - 4*v, 5*v - i - 162 = 4*d. Let r = 196 + d. Is r a prime number?
True
Let f be (227/(-2))/(3/(-6)). Let q be (132/(-55))/((-6)/40). Suppose h - f = -q. Is h a prime number?
True
Let r = -2308 - -3263. Is r a prime number?
False
Let d = 134 + -6. Let w = -22 + d. Is w prime?
False
Let k(j) = -790*j - 11. Is k(-3) a composite number?
True
Suppose 2*k = -2 + 10. Suppose -60 = -3*h + 543. Suppose k*r = 139 + h. Is r prime?
False
Let f = 111 + 140. Is f a prime number?
True
Let t = 27 + -18. Let d be 3/(-3*(-3)/t). Is d/2*186/9 composite?
False
Suppose 0 = 4*n - 194 - 146. Suppose n = -0*f + f. Is f a composite number?
True
Let p(v) = v**2 + 7*v + 4. Let j be p(-5). Let f(t) be the third derivative of t**5/30 + t**4/6 + t**3/6 + 5*t**2. Is f(j) a prime number?
False
Let g = -16 + 16. Suppose 2*j - 1042 = -g*j. Is j composite?
False
Let z = 3322 - 2255. Is z a prime number?
False
Suppose 0 = -3*p - 0*p + 33. Is p composite?
False
Let o be (-15)/(-10) - (-1)/2. Let z be 4/2 - (-2)/o. Suppose -z*n = -0*n - 237. Is n composite?
False
Let p(c) = 14*c + 1. Let f be p(-5). Let a = -12 - f. Is a prime?
False
Suppose -2*n + 30 = 4*n. Suppose -2*o = 0, 0*s = -s + n*o + 221. Is s prime?
False
Is 2/(((-18)/(-93))/3) a composite number?
False
Let s = 27 - 9. Suppose 19 = m - s. Is m composite?
False
Let d(z) = 2*z + 1205. Is d(0) a prime number?
False
Let n be 0/1 + 1 + -10. Let v(b) be the third derivative of -b**4/8 - 13*b**3/6 - 3*b**2. Is v(n) prime?
False
Let o(z) = -z**3 - 7*z**2 - 9*z + 7. Suppose -q - 2*q - 21 = 0. Let j be o(q). Suppose -4*p + 2*p + j = 0. Is p a composite number?
True
Suppose -a + 8 = -329. Is a a prime number?
True
Let r be 2 + (-2 + 5 - 1). Suppose 4*w + 157 = -5*i, 2*w + r*i + 119 = -w. Let n = w - -86. Is n composite?
False
Suppose 0*x + 6*x - 10446 = 0. Is x prime?
True
Suppose r = 3*j - 1223, 3*j + r - 1215 = 4*r. Is j a composite number?
False
Suppose 3*q + 60 + 22 = 4*w, -4*w - 2*q = -72. Suppose 2*j - 59 = w. Is j a prime number?
False
Let w = -142 - -216. Is w a prime number?
False
Suppose 4 = -c + 6. Is 2 + (c - (-62 + 1)) a composite number?
True
Let q(d) = d**3 + 4*d**2 + 4*d + 2. Let u be q(-2). Suppose f - u*f = -j + 5, 3*f - 2*j + 12 = 0. Is 52 - 1/2*f a composite number?
False
Let t(g) = -14*g - 5. Is t(-9) a composite number?
True
Let f = -28 - -19. Let b = 44 - f. Is b prime?
True
Suppose 0 = -q - 0 + 3. Let j = -168 + 360. Suppose 51 = -q*s + j. Is s a prime number?
True
Let h(p) = 4*p**2 - 3*p + 2. Let n be h(-5). Suppose 3*j - 3*g - n = 0, -4*j - 4*g + 3*g + 176 = 0. Suppose 6 = -o + j. Is o composite?
False
Let u(l) = -3*l**3 + 4*l + 3. Let w = 3 + 0. Suppose -5*z + 13 = -5*h - 2*z, -w*h + z - 7 = 0. Is u(h) composite?
False
Let f be 2/13 + (-7465)/(-65). Let r be 8/6*(-93)/2. Let j = r + f. Is j a composite number?
False
Let x(a) = 4*a**3 - 4*a**2 + a - 7. Is x(6) prime?
True
Let j = -9 - -9. Suppose j = 2*z - d - 4*d + 374, d = -5*z - 881. Let v = z + 266. Is v a composite number?
False
Suppose 5*n - 20 = -2*c, -c - n - n = -10. Let w = -5 + c. Suppose -w*j + 379 = 3*i, 0 = 2*j - 0*i + 5*i - 144. Is j a composite number?
True
Suppose 3*i = -o, -i - 1 = o + i. Let r(u) = -u**2 - 4*u - 1. Let w be r(o). Suppose -m + 5*m - 82 = -2*a, -m + w = 0. Is a composite?
False
Let w = 5 + -3. Let d be (-30)/(-8) - w/(-8). Suppose 2*s - n + 1 - 26 = 0, -2*s - d*n = -50. Is s prime?
False
Let k be (-36)/(-10) + (-4)/(-10). Suppose k*l - 994 + 231 = i, -i = 5*l - 956. Is l a prime number?
True
Let t be 10/(-25) + (-103)/5. Let c = t + 40. Is c composite?
False
Let b(x) = -x**3 - 4*x**2 - 4*x - 2. Let v be b(-3). Is 318/(-18)*v*-3 composite?
False
Let s be (-7 - -8) + 3*1. Suppose -4*n + 3*x - 376 = -5*n, -s*n + 2*x + 1490 = 0. Is n prime?
True
Suppose -4*x + 595 = 4*t + x, 0 = 3*t - x - 451. Let f = -65 + t. Is f a composite number?
True
Suppose 7*d - 4425 = 5760. Suppose -3*z = -8*z + d. Is z prime?
False
Let a = -8 + 13. Suppose 4*c - 24 + 0 = 5*h, a*c - h = 51. Is c prime?
True
Suppose -6*j + j = -370. Is j prime?
False
Let g be 6/9 + 14/(-3). Let c = -12 + g. Is 3/(-4) - 428/c composite?
True
Let t be (-2)/(-4) - (-10)/(-20). Suppose -3*g - 2*g + 885 = t. Is g a composite number?
True
Suppose 3*v - 9 = z - v, 5*z - 2*v - 9 = 0. Suppose 0 = g + i - 332, 0 = -z*g + 4*i + 998 - 9. Is g a composite number?
False
Suppose 250 = -4*p - 2*y, -2*p - p + 5*y - 207 = 0. Let m = 117 + p. Is m a composite number?
False
Let u(p) = -2*p - 6. Let b be u(-5). Let c(r) = 3 - 5 + 4 - 3 + 24*r. Is c(b) a prime number?
False
Suppose -2*o = -2*x + 3718, -2*o + 5579 = 3*x - 4*o. Is x prime?
True
Let u be (-4)/6 + (-34)/(-6). Suppose u*b + 534 = -2*g - g, 0 = -5*b. Let j = 284 + g. Is j composite?
True
Suppose p = -p. Suppose -c + 71 = 2*n, -n - 3*c + 23 = -p*n. Is n prime?
False
Suppose 4*b - b = 24. Let w(y) = -31*y + 11. Let u be w(b). Let v = u + 446. Is v prime?
False
Let n(g) = 3*g**2 - 9*g - 5. Is n(9) a composite number?
False
Let n be 1/(1/(-23)*-1). Suppose -5*z + 4*z + 33 = -3*x, 0 = 2*x + 3*z + 33. Let y = n + x. Is y a composite number?
False
Let k(g) be the third derivative of 31*g**5/60 + g**4/24 - g**3/6 - 2*g**2. Is k(1) a composite number?
False
Let v(w) = -19*w + 14. Is v(-11) composite?
False
Suppose -s - 3*r + 14 = r, -3*r = 2*s - 53. Is s a composite number?
True
Let r = -7 + 11. Suppose -w + r*s + 67 = 0, -2*w - s - 60 + 194 = 0. Is w a composite number?
False
Let t(f) = 2*f**2 - 3*f + 1. Let j be t(4). Let z be -6*(-2 + -1*j). Is z/4 + (-5)/(-10) composite?
True
Let h = 8 + -6. Suppose -3*y = -0*m + 5*m + 9, 6 = -h*m. Is 2/4*(2 + y) a prime number?
True
Let q = -6 - -8. Is (-295)/(-15) + q/(-3) a prime number?
True
Let a(x) = x + 5. Let u be a(-6). Let r be 2/(u*(-4)/214). Suppose -3*g = 2*d - 119, -2*d + r = 3*g - 3*d. Is g a composite number?
