 o a prime number?
False
Let f = 5 - 5. Suppose 4*i - 248 = -f*i. Is i composite?
True
Let k(s) = 3*s + 1. Let r be k(1). Let u(c) = 2*c**2 + 7*c + 4. Let f be u(-8). Suppose r*q - f = -0*q. Is q prime?
True
Is 3/(-2)*(-762)/9 a composite number?
False
Suppose -7 = -2*r - 1. Suppose -9 = -2*m - r. Suppose 6 = -3*j, m*z + 5*j - 10 = 1. Is z a prime number?
True
Let o = -8 + 38. Is -2 + 3*(1 + o) prime?
False
Is (180/54)/(((-4)/1437)/(-2)) a composite number?
True
Is (4*32 - -3)*1 a composite number?
False
Is (0 - 2)*123/(-2) a prime number?
False
Let y(l) = -8*l - 8. Let v(b) = -b + 1. Let q(o) = -3*v(o) - y(o). Is q(6) a composite number?
False
Let f be (-2)/(-1) - 537/(-3). Let i = 10 + -5. Suppose 4*y = -i*j + 449, -3*y = j + j - f. Is j a composite number?
False
Suppose -g + 0*o - 3*o + 235 = 0, -4*o + 478 = 2*g. Is g a prime number?
False
Suppose -2*m = -0*m + 20. Let r be ((-5)/m)/((-1)/8). Is (-2)/4 - 270/r prime?
True
Suppose 0 = -0*m + 2*m - 12. Let k = 7 - 11. Is k/(-6) - (-314)/m prime?
True
Let b be (20/35)/(4/14). Suppose -b*f + 41 = -117. Is f composite?
False
Let k(n) = -n**3 + 3*n**2 + 2*n - 3. Let c be k(3). Suppose 2*i + 2 = c*j, -4*j + i + 12 = 3*i. Let z(o) = 25*o**3 + 2*o**2 + 1. Is z(j) composite?
True
Suppose -h - 4*n + 334 = 0, h - 161 = -3*n + 176. Is h composite?
True
Let v(l) = -l + 1. Suppose 2*u = 2*p + 1 + 3, u + 10 = -3*p. Let k be v(p). Let s(q) = 5*q + 2. Is s(k) a prime number?
False
Let x = -22 - -16. Is (-1300)/x + 5/15 a prime number?
False
Let w(a) = 6*a + 2. Let h be w(-4). Suppose 2*k + 236 = 6*k. Let f = h + k. Is f a composite number?
False
Let m(x) = -28*x - 2. Let u be m(-4). Let w = u + -57. Is w composite?
False
Suppose w = -3*y + 19, -2*w - 3*y = -3*w - 11. Suppose 0 = -w*t + 2 + 2. Is -1 + (0 - (t + -99)) a prime number?
True
Let o be 4 + -25 - 0/1. Let b = o + 219. Suppose -b + 3 = -5*d. Is d a composite number?
True
Let u(c) = 3*c**3 + 2*c + 1. Let n be u(-1). Let s(q) = 20*q + 6. Let t be s(n). Is ((-1)/(-2))/((-1)/t) a composite number?
False
Suppose -2*w - 3 = -3*k, 5*w + 0*k - 2*k = -2. Suppose 2*i - 127 - 39 = w. Is 2*(i/2 + 3) composite?
False
Suppose 0*m = -2*m. Let h be (2/6 - m)*6. Is -22*h/(-16)*12 a prime number?
False
Let m(z) = z**3 - z**2 + z + 1. Let o(y) = 416*y**3 - 2*y - 1. Let w(q) = -2*m(q) - o(q). Is w(-1) a composite number?
False
Let z(v) be the first derivative of -v**3/3 - 4*v**2 - 9*v - 2. Let k be z(-6). Suppose -6*d = -d - k*q - 107, 5*q = d - 17. Is d a prime number?
False
Suppose -270 = -0*y - 5*y. Let w = 5 + -1. Suppose b - 107 = -w*d + y, 0 = 4*b - 2*d - 590. Is b composite?
False
Let x = -649 + 338. Suppose -12 = -4*k, 4*o + 3*k = -0*o + 2145. Let d = o + x. Is d prime?
True
Let c = -5666 + 8705. Is c composite?
True
Suppose y + 4*y = -15. Let o be (49/y)/((-1)/18). Is o/(-4)*6/(-9) prime?
False
Let a(t) = 144*t + 1. Is a(2) prime?
False
Let v(f) = -58*f**2 + f - 5. Let p(i) = 1. Let s(j) = -3*p(j) - v(j). Is s(3) a prime number?
True
Let p be (4*-3 - -2)/(-2). Suppose 0*f - 185 = -p*f. Is f prime?
True
Let k(d) = 2*d**2 + 10 - d**2 - 1 - 2 + 3*d. Is k(-6) a composite number?
True
Suppose 5*j - 173 = -4*s + 455, 4*s + j - 628 = 0. Suppose n = -3*w - 101, 5*w + 137 = -2*n - 64. Let v = n + s. Is v a composite number?
False
Let l be 1*-3*-3*1. Let y(u) = -u**3 - 5*u**2 - u - 5. Let d be y(-5). Suppose 5*m + 15 = d, 0 = -4*c + 5*m + 244 - l. Is c a composite number?
True
Suppose 3*v - 55 = 2*v. Suppose -3*p + 3*n + 264 = 0, 0 = -p + 3*n + v + 35. Is p a prime number?
False
Suppose 0 = -3*a, -a = -0*q + 3*q - 12. Suppose 4*k = 4*v - 734 - 1486, -q*v = 2*k - 2232. Is v a composite number?
False
Let l be (0 - 0)*(-2)/(-2). Suppose v + l*c - 88 = -3*c, 0 = 5*v - c - 488. Is v a composite number?
False
Let y(i) = i**3 + 4*i**2 + 4*i + 2. Let j be y(-2). Let g(r) = 2 - 3*r**2 + 6*r**2 - 3*r**2 + 3*r**j. Is g(7) a prime number?
True
Suppose 5*s - 8 = 7. Is s a composite number?
False
Suppose 0 = 4*m - 6 - 2, 0 = 3*a + 3*m + 30. Is (171/a + -2)*-4 composite?
True
Let m = 8 - -3. Suppose w + 3 = m. Let c(y) = -y**3 + 8*y**2 + 11*y - 11. Is c(w) a composite number?
True
Let p(a) = a**2 - a - 5. Is p(5) composite?
True
Let i = -5 - -9. Is 595/(-21)*(1 - i) a composite number?
True
Suppose 7 = 2*i - 1. Is 38 - (3 - i)/(-1) a prime number?
True
Let s = 10 - 19. Let h = s + 19. Is (14/(-3))/(h/(-15)) a prime number?
True
Let j = -5 - -8. Suppose j*b - 11 = -2. Suppose 0*v = 5*v - 4*t - 253, b*t - 239 = -5*v. Is v a composite number?
True
Let k(j) = -j**2 + 11*j + 1. Suppose -2*i + 3*p + 13 = -0*i, -2*i = -4*p - 12. Is k(i) prime?
False
Let f(u) = u**3 - 18*u**2 + 4*u + 17. Is f(18) a prime number?
True
Let p(b) = -b + 2 + 0 - 1 + 0*b. Let q(d) = 17*d + 5. Let c(j) = -2*p(j) - q(j). Is c(-6) a composite number?
False
Let h(b) = -b**3 - 10*b**2 - 14*b - 12. Let g(f) = f**2 + f - 9. Let z be g(0). Is h(z) a composite number?
True
Let i(w) = -29*w - 16. Is i(-5) prime?
False
Let m = -4 - -2. Is (-4 - m)/((-4)/370) a prime number?
False
Suppose 0 = 9*y + 13718 - 56045. Is y prime?
True
Let p be ((-4)/(-5))/(6/11790). Is 3/2*p/18 composite?
False
Let p(f) = 2*f**2 + 12*f + 5. Suppose 2*a = s + 5*a - 10, 5*s - 5*a = -10. Let i be (s + 7/(-3))*6. Is p(i) a prime number?
True
Let j = 921 - 652. Is j composite?
False
Is (-20)/5 + 0 + 997 prime?
False
Let m = -21 - -44. Suppose 0 = -3*z - m + 380. Is z a prime number?
False
Let c(o) be the third derivative of -o**6/120 + o**5/20 + 7*o**4/24 - o**3/2 - 3*o**2. Let d be c(5). Is (-194)/d + (-2)/(-9) prime?
True
Suppose 0 = -4*y + 720 - 68. Is y composite?
False
Let x = 165 - 54. Is x composite?
True
Let h(b) = 85*b + 57. Is h(26) a composite number?
False
Suppose -4*a = 2*m - 0*m, 5*m = 5*a + 15. Is 94 + 3/(-1) - m a composite number?
False
Suppose 0*j - 704 = -4*j. Suppose 3*l + j = 4*o + 6*l, 200 = 4*o - 3*l. Is o a prime number?
True
Let d = 177 - 34. Suppose d = 3*i - 82. Is -1*i/(-6)*2 prime?
False
Suppose a + 389 = 29. Let j = a - -517. Is j composite?
False
Let o = -1064 + 562. Let c be o/8 + (-4)/16. Let g = c + 190. Is g composite?
False
Let y(n) = 9*n**2 + 6*n + 4. Let l(s) = s**3 - 4*s**2 + s + 5. Let u be l(4). Is y(u) composite?
False
Let u(k) = k**2 - 7*k**2 - 2 + 10*k - k**3 + 6. Is u(-9) a composite number?
False
Let h = 3233 + -1768. Is h prime?
False
Suppose 0 = 4*z + z. Suppose z = t + 2 - 4. Is t + 116 - 1/(-1) a prime number?
False
Let u(d) = -32*d - 7. Suppose -5*z = -2*z + 21. Is u(z) composite?
True
Let w be 0/(-1*(-2 - -3)). Let f = w - -6. Is f prime?
False
Suppose 3*s + 2*s = 1055. Suppose -4*l = -277 - s. Is l composite?
True
Is 0 - -2*(-37)/(-2) a composite number?
False
Suppose -2*f + 20 = 3*f. Suppose -169 = -4*o - 2*y + 277, -5*o + 559 = f*y. Is o prime?
False
Let w(z) = -3*z**3 + 2*z**2 - 1. Let a be w(-1). Suppose 18 - 6 = a*h. Suppose -h*d - d + 3*b + 51 = 0, 5*d + b = 78. Is d composite?
True
Let o(l) = 124*l - 17. Is o(12) prime?
True
Is ((-3)/(36/8))/((-6)/8559) composite?
True
Is (-3012)/(-9) + (-5)/(-15) a prime number?
False
Let b be -1 + (69 - 2)/1. Let q = b + -44. Is q prime?
False
Suppose -3*r - 5*y = -3034, 0*y - 8 = -4*y. Suppose -q + 316 = -5*v, -3*v = -q - 2*q + r. Is q a composite number?
True
Suppose -4*s + 445 = 3*j, 2*s - 138 = -5*j + 95. Is s a composite number?
False
Suppose 5*l = -5*y + 1240, 0 = -0*y - y - 4*l + 239. Is y composite?
False
Let f be ((0 - 1)*178)/(-2). Let o be 7403/(-44) - 1/(-4). Let y = f - o. Is y a composite number?
False
Suppose 3*f + 4 = 7. Let d(x) = 54*x**2 + x. Is d(f) a prime number?
False
Let j(z) = z**3 + z**2 + 683. Is j(0) a prime number?
True
Suppose 3*s = 5*a, 2*a - 6*a = -4*s. Suppose -d + 5 = -0*d. Suppose -u + d + 2 = s. Is u a composite number?
False
Is (-3 + 130)*(-3 + 4) a prime number?
True
Let l(y) be the second derivative of y**3/6 - 3*y. Let r be l(5). Suppose r*v - 44 = v. Is v composite?
False
Let o(v) = 42*v**2 + 5*v + 1. Is o(-4) a prime number?
True
Suppose 3*o = 12, 0*o = 2*k + 5*o - 14. Let x(r) = -38*r + 1. Is x(k) prime?
False
Let c = -84 - -194. Let x = 228 + 15. Let n = x - c. Is n composite?
True
Let y(a) = -a**2 + 6*a + 2. Let x = 10 - 7. Is y(x) a composite number?
False
Let d(n) = 2*n**2 + 2*n + 7. Let t be d(5). Let r = t -