 Is i prime?
False
Let o = 1 - -10. Is o a prime number?
True
Let l = -16 + 43. Let z = 38 - l. Is z composite?
False
Suppose -2*j + 41 + 25 = 0. Is j a composite number?
True
Suppose -2*x + 3*x - 40 = 5*a, -3*x + a = -50. Is 5510/6 + 10/x composite?
False
Let a(x) = -2*x - 19. Let q be a(-11). Suppose 1230 = q*z - 177. Is z composite?
True
Let d be (0 + 2)*(1 + 0). Let h be d/1*-2 + -2. Is (315/h)/5*-2 composite?
True
Suppose 5*n - 3*h - 2129 = 0, -h + 2*h - 429 = -n. Is n prime?
False
Let j(w) = w**3 - 27*w**2 + 23*w - 37. Is j(30) composite?
True
Let d(m) = -59*m**3 + m**2 - 6. Let t(p) = -1. Let k(o) = -d(o) + 5*t(o). Is k(1) composite?
False
Let g be (24/20)/(3/10). Is 76/16*g*1 prime?
True
Suppose -293 = d + x, 0*d + 2*d + 5*x + 574 = 0. Let k = d + 588. Is k prime?
False
Is -1*9/((-18)/52) composite?
True
Let r(k) = -k**2 + 8*k - 12. Let u be r(8). Is 3 + 128 + u/3 a prime number?
True
Suppose 0 = 2*w - 329 - 505. Is w a prime number?
False
Is (-7311)/9*1*-3 a composite number?
False
Suppose -3*g + 1164 = g. Is g composite?
True
Is ((-388)/8)/(2/(-20)) composite?
True
Let r(q) = 18 + 5*q**2 + 1 + q**3 - 4*q**2. Let y(i) = i - 3. Let p be y(3). Is r(p) a prime number?
True
Let c be 2/6 - 58/(-6). Let o be 24/5 - (-2)/c. Suppose 173 + 82 = o*z. Is z composite?
True
Let r(p) = p**3 + 10*p**2 + p + 5. Let v be r(-5). Is v - (-2 - (-1 - -1)) a composite number?
False
Let c(l) = -699*l - 6. Let j(z) = -1049*z - 9. Let f(m) = -7*c(m) + 5*j(m). Is f(-2) prime?
True
Suppose 5*m - 5 = 10. Let n(r) = 11*r**2 + 2*r**3 - 5*r**3 + 2*r**m + r. Is n(11) composite?
False
Suppose 4*d = -d + 30. Is -3*1*(-374)/d prime?
False
Let z(y) = 2*y**3 - 7*y**2 + 15*y + 5. Is z(5) prime?
False
Suppose 5*o + 0*o - 1740 = 0. Let c = -548 + o. Let d = c - -297. Is d a prime number?
True
Let a = 1 + 992. Is a composite?
True
Let b be ((-9)/(-6))/(6/4). Is (765/(-27))/(b/(-3)) a prime number?
False
Suppose 0 = 3*c - 7*c + 132. Suppose 0 = -g + 86 + c. Is g composite?
True
Suppose 0 = v - 4*v + 54. Suppose -2*z + 60 = v. Is z composite?
True
Let c(m) = m**3 + m**2 - m + 2. Let h be c(0). Is (h - 3)*3 - -18 a composite number?
True
Let z(c) = 251*c + 2. Let x be z(2). Suppose 0 = 2*o + 2 + 8, -5*q - 5*o = 0. Suppose x = q*k + 119. Is k composite?
True
Let z(b) = -b**3 + 13*b**2 + 1. Let x be z(13). Is x/2 - 1519/(-14) a prime number?
True
Let s be (-10 - 1)/(1/16). Let m be ((-9)/(-6))/((-6)/s). Suppose -2*f = 2*f - m. Is f composite?
False
Let l be -2 - (8/2)/(-2). Suppose -5*b = 15, l*b + 1318 = 5*n - b. Is n a prime number?
True
Let u = 4 + 5. Let r(b) = b**2 + 5*b + 7. Is r(u) a prime number?
False
Let z(f) = f - 2. Let x be z(3). Is -4*(-30)/4 + x a prime number?
True
Suppose 4*n - 9 = 11, 0 = 2*r - n - 31. Suppose -w - r = -0*u - u, 2*w = u - 22. Is u a prime number?
False
Suppose -13*a + 381 = -12*a. Is a a composite number?
True
Let x(b) = -b**2 - 5*b + 3. Let z be x(-5). Suppose -z*p + 20 = -2*y, 7 + 8 = 2*p - y. Is p prime?
False
Let k(p) = 9*p + 3. Let m = -6 - -9. Let j be k(m). Suppose -j = -3*l - 2*l. Is l prime?
False
Suppose 2*c - 4*u = 5*c - 112, -130 = -3*c + 5*u. Suppose c = 3*g - 26. Is g a composite number?
True
Let k(x) = 341*x**2 - x - 1. Is k(2) prime?
True
Let d(a) = a**2 - a - 8. Suppose 4*o - s = -38, 0 = -o - 2*s - 2 - 3. Is d(o) composite?
True
Suppose -601 = -2*a - 159. Let m = a + -138. Is m a prime number?
True
Suppose -h = -2*h. Is (-3 + h)/(15/(-130)) a prime number?
False
Let b = -1 + 6. Suppose -b*i = -0*i - 785. Let h = i - 14. Is h prime?
False
Suppose 4*m - 42 = 6. Suppose 3*v = 255 + m. Is v a prime number?
True
Let x(b) = 294*b**2 - 2*b + 1. Is x(1) composite?
False
Let v(j) be the third derivative of j**5/15 - 7*j**4/24 - 5*j**2. Is v(5) a prime number?
False
Let o be 4/1 + -3 + 3. Suppose -h - 198 = 2*p, 3*p + 383 - 108 = o*h. Let b = 136 + p. Is b prime?
False
Let a(q) = q**3 - 6*q**2 + 8*q - 6. Let z be (-4)/(-4) + 1*4. Is a(z) a prime number?
False
Suppose 6*g + l = g + 612, 4*l = -4*g + 480. Suppose -2*f = -f + g. Let o = -86 - f. Is o prime?
True
Let b = -15 - -13. Let k(o) = -5*o**2 + 3*o + 4. Let j(c) = 16*c**2 - 8*c - 11. Let s(x) = 3*j(x) + 8*k(x). Is s(b) a prime number?
True
Let m(g) = -14*g**3 + g**2 - g + 1. Let u be m(1). Let d = u - -9. Is d/6 - (-208)/6 prime?
False
Let g(s) = 4*s**2 - s. Let r be g(-1). Suppose r*m - 2*y - 375 = 3*y, -4*y = -m + 63. Is m composite?
False
Is 620/(-6)*15/(-10) a composite number?
True
Let d = -2 - 0. Let a(u) = -2*u**3 - 3*u**2 - 2*u - 3. Let t be a(d). Suppose -t*r + 70 = -5*n, 2 = -2*n - 4. Is r prime?
True
Let a(v) = -5*v**2 + 10*v + 7 - 3*v**2 + 9*v**2. Is a(-13) a composite number?
True
Let m = -1 + 1. Suppose 0 = q - 3*q. Is 50 + q - (1 - m) composite?
True
Suppose 3*d - 825 = -0*o + o, 2*o + 6 = 0. Is d a prime number?
False
Let x be 4/5*(2 + 3). Let b be -3 - 130*-2 - 2. Suppose -q = x*q - b. Is q a composite number?
True
Let b be 10/((9/(-6))/(-3)). Suppose -p - 4*p + b = 0. Suppose 0 = p*r - 3*s - 519 - 358, -2*r + 419 = 5*s. Is r prime?
False
Let f(u) = 34*u + 11. Is f(9) prime?
True
Is 12/(-8) - (-10852)/8 prime?
False
Let t = -29 - -88. Let c = t + -40. Is c a prime number?
True
Let r be 1 - (0 + -1 - 2). Suppose -n = 2*f - 241, -2*n - 6*f + 476 = -r*f. Is n prime?
False
Let u = -5308 + 7641. Is u composite?
False
Let r be (9/(-6))/(3/(-56)). Let j = r + -5. Is j a prime number?
True
Let n = -73 - -126. Is n composite?
False
Suppose -q - 3 = -4. Is ((-293)/5)/(q/(-5)) prime?
True
Let a(r) = 46*r**2 + 16*r + 1. Is a(-4) composite?
False
Suppose -132 + 26 = 2*k. Is 1*(-2 - 0)*k composite?
True
Suppose -3 = -i - 2*i. Let l be (-11 + 3)*i/(-2). Suppose 32 + 24 = l*n. Is n composite?
True
Let z(d) = 47*d. Is z(19) composite?
True
Let k(q) be the second derivative of -5*q**4/12 - q**3/3 + q**2 - q. Let n be k(4). Let p = -37 - n. Is p composite?
True
Suppose 4*l - 362 = 2*l + c, -4*l - 2*c + 732 = 0. Suppose -3*a + u + l = 0, 2*a + 2*u + 187 = 5*a. Is a composite?
False
Let b(q) = q**3 + 5*q**2 - 7*q - 4. Let r be b(-6). Suppose 38 + 63 = 2*s + 5*y, -2*y - r = 0. Is s prime?
True
Let u(o) = 5*o - 16. Is u(10) prime?
False
Let w(r) = -r**3 + 4*r + 6. Let z be w(-4). Suppose -4*f + 4*d = -d - 82, -5*f + 2*d = -111. Let j = z + f. Is j a composite number?
True
Let j(d) = 36*d - 8*d + 2 + 1 - 4. Is j(3) a composite number?
False
Let m = -13 - -30. Suppose 0 = 4*a - 0*a + f - m, a - 2*f + 7 = 0. Suppose 0 = 5*g - g + v - 304, -3*g - a*v = -219. Is g composite?
True
Let g(a) = 3*a**3 + 3*a + 2. Let h be g(-2). Let i = h - -41. Is i a composite number?
False
Suppose 0 = -5*o - m + 1169 - 119, 638 = 3*o - m. Is o a prime number?
True
Let b be ((-2)/6)/((-1)/411). Suppose 69 = -v + 15. Let j = b + v. Is j a prime number?
True
Let v(b) = -b + 9. Let m be v(5). Is (70/15)/(m/18) composite?
True
Let p(d) = d**3 - 6*d**2 - 9*d - 1. Let t be p(9). Let f = t - 270. Let k = -54 - f. Is k composite?
True
Suppose -3*r - 5*h + 16 = 0, 4*r - 5*h + 5 = 3. Suppose 5*s - s - 16 = 0, -3*p + r*s = 8. Suppose g - 1 - 5 = p. Is g prime?
False
Let n be 6/(-2) - (-35 - 4). Suppose -6 = -5*g - n. Is ((-381)/9)/(2/g) a prime number?
True
Let n(w) = -w**3 - 6*w**2 - 15*w - 9. Is n(-10) a prime number?
True
Suppose 5*z + 5*t - t - 1915 = 0, 3*t = z - 364. Is z composite?
False
Let n(t) = -80*t + 9. Is n(-5) prime?
True
Let v = -205 + 546. Suppose 5*o - v = 74. Is o composite?
False
Suppose -2*r - 5*z + 955 = -0*r, 5*z - 1430 = -3*r. Suppose 3*d + 2*d = 10. Suppose -3*x + r = d*x. Is x a composite number?
True
Let v = 6 - 42. Let r = -20 - v. Is 411/12 - 4/r prime?
False
Suppose -4*g = -x - x + 68, 2*g = 2*x - 66. Let p be -1 - -3 - 168/(-2). Suppose -4*h - 4*m + p = h, -2*h + x = m. Is h a composite number?
True
Suppose -3*i + t = 1, i = -i + t. Is i/2 - 126/(-4) prime?
True
Let t = 747 + -358. Is t composite?
False
Suppose b - 238 = -81. Is b a prime number?
True
Let b(n) = -n**3 - 8*n**2 - 3*n - 6. Let u be b(-6). Let r = -11 - u. Is r a composite number?
True
Let w be ((-129)/6)/((-2)/4). Let v = -22 + w. Is v composite?
True
Suppose 0 = 4*q + 2*v - 1698, 4*v + 33 + 369 = q. Is q a prime number?
False
Let l(p) = p**3 - 7*p**2 - 2*p + 12. Let y be l(8). Suppose 4*w - 7 = 2*b + 1, 2*b - 19 = -5*w. Sup