16/(-184)) prime?
True
Let f = -9 - -12. Is ((-111)/((-9)/f))/1 prime?
True
Suppose 33*a - 36*a + 2103 = 0. Is a composite?
False
Suppose 125 = 3*l - 508. Is l a prime number?
True
Suppose 0 = 2*z - 7 - 37. Is z composite?
True
Let w = -2457 + 3896. Is w composite?
False
Suppose -3*g - 2194 = -5*g. Is g a prime number?
True
Suppose -2*r = r - 12. Suppose -k - r = -41. Suppose -k = -b + 42. Is b a prime number?
True
Is (-4 + 4 + -553)*-1 prime?
False
Suppose -4*c - c = -10. Suppose -6*b + 12 = -c*b. Suppose 59 = b*g - 7. Is g a prime number?
False
Let y(g) = -2*g + 1. Let z be y(5). Let r(b) = -50*b - 1. Is r(z) composite?
False
Let d = 4 - -1. Suppose -x + 4*n = -6, -d*n = -4*x + x + 11. Suppose -x = r - 25. Is r a composite number?
False
Suppose -2*v - 3 = k + 4*k, 0 = -3*k - 4*v + 1. Is (-2 - k)/((-2)/178) composite?
False
Let n = -12 - -6. Let d = 186 + -127. Let i = n + d. Is i composite?
False
Let x(k) = 2*k + 7. Let y be (-1 + 12/(-2))/(-1). Is x(y) a composite number?
True
Suppose -2*r - 146 = 3*l + l, 0 = 3*r + 3*l + 210. Let v = 102 + r. Is v composite?
True
Let q(y) = 10*y**2 - y - 17. Is q(-8) composite?
False
Let k be -1 + (0 - -2 - 0). Let m be (k + -1)*(-1 - 0). Suppose m*g + 138 = 3*g. Is g composite?
True
Let v be (-3 - -2)/(3/(-6)). Suppose -3 = v*i - 21. Let r = 24 - i. Is r a composite number?
True
Let g(n) = 17*n**2 - 26*n + 16. Is g(-11) prime?
False
Suppose -v + 23 = -9. Suppose 60 = 4*g - v. Is g prime?
True
Is ((-82)/8)/((-1)/8) a prime number?
False
Let h(b) = -b**3 - 8*b**2 - 5*b - 7. Let y be h(-5). Let v = 11 + y. Let c = -25 - v. Is c a prime number?
False
Is (81311/(-17))/(1/(-2 - -1)) composite?
False
Let a = -189 + 326. Let q = a - 72. Let r = -12 + q. Is r prime?
True
Suppose 8*k = -2*k + 36470. Is k prime?
False
Let w = 8 + -5. Suppose 0 - w = -s. Suppose -52 = -s*c - c. Is c a prime number?
True
Let y(o) = 37*o**2 + 3*o + 9. Is y(-4) a composite number?
True
Suppose 2*v = -5*i - 0*v + 3597, 0 = 5*i - v - 3594. Is i a prime number?
True
Let h = 7 - 3. Let i(p) = 152*p + p**3 + 148*p - 6 - 298*p - 4*p**2. Is i(h) a composite number?
False
Let n(i) = -i**2 + 5*i - 5. Let h be n(4). Let a(s) = -s + 4*s**2 - 36*s**3 - 3*s**2 - 1 + 0. Is a(h) composite?
False
Let o be (8*2)/(-1 - -3). Let k(a) = 7*a + 6. Is k(o) a prime number?
False
Let a = 202 + 154. Suppose -6*o = -2*o - a. Is o prime?
True
Let w(f) be the third derivative of -f**6/15 + f**5/30 + f**4/24 - 2*f**2. Let l(c) = -c. Let p be l(1). Is w(p) a prime number?
False
Suppose -g = -2*h + 20, -h + 10 = -0*g + 2*g. Suppose -d - 3*v = -0 - 4, -4*v + 24 = 4*d. Let r = h - d. Is r a prime number?
True
Let z be (-2)/3 + 88/(-12). Let d(r) = 11*r**2 + 3*r + 3. Let f(a) = -7*a**2 - 2*a - 2. Let p(u) = z*f(u) - 5*d(u). Is p(-6) a prime number?
True
Let f(b) = 47*b - 17. Is f(10) a composite number?
True
Let y(j) = j + 2. Let r be y(0). Suppose 0 = 3*l - 1 - r. Is -23*(0 + l + -2) prime?
True
Let x = -1 - 1. Let r(o) = 1 + 0 - 2 + 2*o + 23*o**2 + 2. Is r(x) a prime number?
True
Let n = 280 + -122. Suppose 5*j - 4*j = n. Is j a composite number?
True
Let p = 5 - 5. Let o = p + 5. Suppose 3*d = o*h, -3*d = -h - 2*d - 2. Is h composite?
False
Suppose -4*x - 29 = 51. Let a be x/2*(-6)/15. Suppose a*g = 232 - 92. Is g a prime number?
False
Let x = -172 - -803. Is x a prime number?
True
Let o(z) = 43*z - 29. Is o(16) a prime number?
True
Suppose 0 = -4*f - z + 316 + 1814, 4*z = 5*f - 2673. Is f composite?
True
Suppose 4*l + 0*l = 628. Is l a composite number?
False
Let r be ((-10)/4)/((-1)/2). Suppose -t = r - 15. Let h = t + -7. Is h composite?
False
Is (-1*(0 - -1))/((-20)/9780) composite?
True
Let r(v) = v**2 - v. Let n be r(4). Is (109/3)/(4/n) a prime number?
True
Let g = 3 + 21. Suppose 3*v - v = g. Is v/(-6) + (1 - -44) prime?
True
Let p(j) = -9*j**2 + 7*j - 8. Let w be p(-7). Let u = w - -829. Is u a composite number?
False
Let f = -102 - -251. Is f a prime number?
True
Let z(p) = -p**2 - 12*p + 8. Let m = -13 - -11. Let u(q) = 5*q + 3. Let f be u(m). Is z(f) a composite number?
False
Let u(d) = -32*d - 3. Let k be u(-4). Suppose m = 6*m - k. Is (1 + 1)*m/2 a prime number?
False
Suppose -m + 4 = -3*q - 2, -m + 5*q = 0. Is m a composite number?
True
Suppose -3*r + 6 = -0*r. Suppose 26 + 21 = n - 4*d, -5*n + 147 = r*d. Is n prime?
True
Let r(l) = -l**2 + 20*l + 13. Is r(14) a composite number?
False
Let l(d) = 2*d**3 - 2*d**2 + 2*d - 455. Let g(i) = i**3 - i**2 + i - 228. Let k(h) = 7*g(h) - 3*l(h). Let n be k(0). Let j = n - -466. Is j a prime number?
False
Suppose -3*o + 3 = -3. Is 0 + o + -1 + 9 composite?
True
Suppose -2*w + 5*x = -221, 3*x - 630 = -3*w - 2*w. Is w a prime number?
False
Let a(u) = -331*u - 2. Is a(-3) composite?
False
Let f(z) = 139*z**2 - 2. Is f(-3) prime?
True
Suppose -5*b + 67 = 17. Let p = b + 5. Is p a prime number?
False
Let k be ((-3)/(-3))/(1/4). Suppose -k*w - 31 = -5*g, 0 = 5*g - 3*w + 2*w - 19. Suppose g*q = -q + 12. Is q composite?
False
Suppose -t + 4*t - 15 = 0. Suppose -w + c + 228 = -0*w, t*c + 25 = 0. Is w a prime number?
True
Suppose 3*u + 55 - 772 = 0. Is u a composite number?
False
Let h(s) = 8*s**3 - 2*s**2 + 3*s + 4. Suppose 0 = -3*q - 4*d + 5, d = q + 4*d. Is h(q) a prime number?
True
Let u = 10 + -25. Is 2/5 - 309/u a prime number?
False
Suppose q = -0*q. Suppose q = 5*s - 3*s - 422. Is s composite?
False
Let w be (-78)/(-8) + 2/8. Suppose 2*i = v + 5, -i = 3*v + 25 - w. Let h = 25 - i. Is h prime?
False
Is (-40068)/(-72)*2/3*1 prime?
False
Suppose 533 = -0*g + 2*g - 5*w, -2*g + 3*w = -527. Is g a prime number?
False
Suppose 0 = -5*k - 126 - 779. Let u = -114 - k. Is u prime?
True
Suppose -246 + 912 = 2*c. Is c/(-6)*6/(-9) a prime number?
True
Suppose -5*h - 164 = -404. Let k = 5 + h. Is k a composite number?
False
Suppose -y + 0 = -2. Suppose y*u = 2*j + j - 167, j - u = 57. Is j a composite number?
False
Let i be 223 + -3*(-2)/3. Suppose -4*l + 5*l + 105 = 2*b, l = -4*b + i. Is b a composite number?
True
Suppose -s + 1856 = y, 0 = -3*y + 5 + 10. Is s composite?
True
Let q(y) = 20*y**2 - 3*y + 22. Is q(-9) composite?
False
Suppose 6*a = 9*a. Suppose 2*v - v - 59 = a. Is v a composite number?
False
Let s(m) = 390*m + 5. Is s(2) prime?
False
Suppose 34 = 2*j + 12. Suppose -d + 14 + j = 0. Is d prime?
False
Let r = -70 + 161. Is r prime?
False
Suppose 3*q = 356 - 125. Let h = 1 + -41. Let l = q + h. Is l a prime number?
True
Is 204/1 - 1*2 composite?
True
Suppose 5*t = -3*h + 796, 3*t - h - 489 = h. Is t prime?
False
Let t(d) = -d + 8*d**2 + d - 2*d + 9 + d**3. Is t(-8) prime?
False
Let a(q) = -191*q**3 - 3*q**2 - 6*q - 1. Is a(-3) a prime number?
True
Suppose 5*w - 5*n = 225, 8 = w + 5*n - 7. Suppose 2 = -2*f + w. Is f a composite number?
False
Let l be (-2 - -2)/(0 + 1). Suppose -3*i + 15 = 0, r + r - 2*i - 188 = l. Suppose -3*u - r = -6*u. Is u prime?
False
Let j(m) = -2*m + 2. Let v be j(8). Is (v/(-2))/((-1)/(-41)) a composite number?
True
Suppose -4*q + 3*q + 187 = 0. Is q a composite number?
True
Let q(v) = -v**2 - 6*v - 2. Let z be q(-5). Suppose -z*k - 15 = 0, -t + 2*k + 268 = 7*k. Is t prime?
True
Suppose 0 = -0*n + 5*n + 125. Let v = n - -84. Is v a composite number?
False
Let q be ((-8)/2)/(4/(-16)). Let j = -7 + q. Suppose 0 = -2*p + 3*a - 0 + j, 0 = 4*p + 3*a - 27. Is p a prime number?
False
Suppose -n + 2*f = -3489, -f - 7 + 8 = 0. Is n composite?
False
Let m(u) = -1271*u**3 - u**2 - u. Is m(-1) prime?
False
Let l(d) = d**2 - 7*d + 9. Let u be l(6). Let y = 8 + u. Is y a prime number?
True
Suppose -3*n + 7*n = 8. Suppose n*f - 39 - 69 = o, 4*f - 222 = 5*o. Is f a composite number?
False
Let a(v) = -v**3 + 3*v**2 - 2. Let z be a(2). Suppose 5*n - 451 = -3*y, n - 42 = -z*y + 51. Is n a prime number?
True
Let f = -162 + 262. Let z = f - 3. Is z composite?
False
Is 1/(-3) - 2218/(-3) prime?
True
Suppose -4*a - 3*l = -0*a - 16810, 5*l - 12613 = -3*a. Is a a composite number?
False
Suppose -2*h + 24 = 4*j, 4*h + 0*j - j - 3 = 0. Let m be (-1)/((-2)/(-1*h)). Is (m - 3/(-3)) + 31 composite?
False
Suppose -5*o = -12*o + 2135. Is o prime?
False
Suppose 4*a = -5*p + 35, -2*a = -2*p - 3*p + 5. Suppose a*u + v - 792 + 11 = 0, -u + 2*v = -165. Is u composite?
False
Let l(c) = 9*c - 71. Is l(24) a composite number?
Tru