 Is f(0) prime?
False
Let o be (115/2)/(2/4). Suppose 3*u = 8*u - o. Is u a composite number?
False
Suppose 2*o - 178 = -0*q - 2*q, 3*q = -2*o + 264. Suppose 0*l = -3*l. Suppose 4*g + q - 226 = l. Is g prime?
False
Let w = 29 + 33. Is w a composite number?
True
Suppose z + 36 = 3*z. Suppose 0 = -3*k - 2*m + 54, 2*k = k + 4*m + z. Let o = 39 - k. Is o a composite number?
True
Let t(q) = -82*q + 9. Let f(a) = 41*a - 5. Let x(l) = -5*f(l) - 2*t(l). Is x(-6) composite?
True
Let l(o) = 137*o + 49. Is l(12) composite?
False
Suppose -r = -3*y + 6*y - 669, -4*y - 2*r = -890. Suppose h - 27 = y. Is h a prime number?
True
Suppose 6*c + 3374 = 13316. Is c prime?
True
Let t = 553 - 207. Is t a prime number?
False
Let k = -20 + 11. Let g = 10 - k. Is g prime?
True
Let y be -65*(-2 - (-2)/2). Suppose -y = -z - 2*h, -h = 4*z + 3*h - 264. Is z composite?
False
Suppose -o + 30 = 2*o. Let r be ((-36)/o)/(5/50). Is (3 - r/(-10))*-185 a composite number?
True
Suppose -20 = 5*p - 0*p, 3*j + 2*p = 6991. Is j prime?
True
Let k = 5 - 5. Suppose -g = -5, -2*c + k*g + 550 = 4*g. Is c a composite number?
True
Suppose 4*t = -4*r - 68, 2*r = 2*t + 2*t - 4. Let s be (-2)/r - (-89)/6. Is (-89)/3*s/(-5) a composite number?
False
Let c = 1019 - 566. Is c composite?
True
Let y(j) = -60*j + 7. Is y(-8) composite?
False
Let d be 2/5 - (-308)/5. Let m = d + -25. Is m a composite number?
False
Suppose 0 = -3*b + 4*c + 224 - 39, 0 = 3*b - c - 179. Is b a prime number?
True
Let r(u) = -4*u - 2. Let t be r(2). Is 2 + t/(-1) + -2 a composite number?
True
Suppose 23 - 2 = 3*j. Let x(u) be the first derivative of u**2 - 3. Is x(j) a prime number?
False
Let n(u) = 3*u**2 + 5*u. Let v(p) = -2*p**2 - 3*p. Let m(l) = 5*n(l) + 8*v(l). Let b be m(0). Suppose 3*w - 62 - 49 = b. Is w a prime number?
True
Suppose 11 = 4*k - 5*w - 26, k - 3*w - 11 = 0. Let j = 3 + k. Is j composite?
False
Suppose -3*k + 8 = -1. Let q be 2/k + (-8)/3. Let f(p) = -16*p - 1. Is f(q) composite?
False
Let w(c) = c**2 + 3*c - 1. Let l be w(-2). Let i be 241 - 2*l/6. Let u = i - 159. Is u prime?
True
Is 5/(2/2 + (-528)/534) a prime number?
False
Let j(v) = -v**2 + 2*v + 17. Let r be j(5). Suppose 4 = 2*n, -r*n - 266 = -2*k - 16. Is k a prime number?
True
Suppose m = 2 - 3, -2*d + 4*m = -450. Is d prime?
True
Let s(c) = 5*c**2 - 14*c - 7. Is s(-6) a composite number?
False
Let a(u) be the second derivative of u**5/20 - u**4/12 + 2*u**3/3 - 5*u**2/2 - 2*u. Is a(4) prime?
True
Suppose -14*o + 17*o - 2247 = 0. Is o prime?
False
Let m(p) = -27*p + 19. Is m(-6) prime?
True
Suppose 5*i - 4427 = -2*w, -4*w + 20 = -9*w. Is i prime?
True
Suppose 8*s - 5697 - 3239 = 0. Is s a prime number?
True
Let f be 84/22 + 4/22. Let i = -1 + f. Suppose -i*c = -2*c - 37. Is c a prime number?
True
Suppose 2*x + 0*x - 2*n = 10, 0 = 2*x + 5*n - 24. Let l = x - 8. Is 340/3 + l/3 prime?
True
Let h be 4/8*6 - 3. Suppose -3*w - y + 603 = h, y = -5*w - 268 + 1273. Is w composite?
True
Suppose -3*i + 15 + 0 = 0. Suppose 4*x + 3*n = 294, -3*x - i*n + 140 = -x. Suppose -8*z = -3*z - x. Is z a prime number?
False
Let y be 0/(8/(-1 - 3)). Suppose -4*i + i + 21 = y. Is i composite?
False
Let s(a) = -3*a. Let v be s(-5). Let t = 7 - v. Is (-220)/(-16) - 2/t composite?
True
Let j(m) = -2*m**2 + m. Let w(s) = -s**3. Let y(q) = j(q) - 5*w(q). Let n be y(1). Suppose n*g - 380 = -16. Is g a prime number?
False
Let g = -12 - -16. Is 222/3*2/g composite?
False
Let g = 29 - -5. Suppose -g = 3*r - 796. Is r a prime number?
False
Let m(n) = 6*n**2 - 5*n - 4. Let a be m(7). Suppose 3*d - 2*r - a = -2*d, -197 = -4*d + 3*r. Is d a composite number?
False
Let n = 1625 + -912. Is n composite?
True
Let z be -3 - (-3229 + -2 - 0). Is z/28 + 2/(-7) a composite number?
True
Suppose 4*v + 0*v = 148. Is v a composite number?
False
Let v be (-66)/(-10) - 2/(-5). Suppose 0 = -v*q + 6*q + 293. Is q composite?
False
Let p = -31 + 64. Is p composite?
True
Let x(d) = -9*d + 8. Is x(-5) a prime number?
True
Suppose n + 2 - 4 = 0. Suppose -n*k - k = -57. Is k a composite number?
False
Let n(r) = -r**2 - 6*r + 5. Let t be n(-6). Suppose 0 = -4*p + t*b + 174, 5*p + 4*b = 68 + 170. Is p prime?
False
Is 2/(-1)*(-52)/8*47 a prime number?
False
Let f = -23 - -32. Let v(w) = -w**3 + 9*w**2 - w - 5. Let k be v(f). Let d = -7 - k. Is d prime?
True
Let c(o) = -o**2 - 3*o + 6. Suppose 0 = 4*n + 7 + 13. Let j be c(n). Is (-1)/(2/j) - -129 a prime number?
True
Suppose 2 = -a + 4. Let r = a + 1. Suppose -4*w = r*v - 131 - 17, -4*v - 148 = -4*w. Is w prime?
True
Let t(b) = -b**2 + b + 15. Let m be t(0). Suppose 6 = -2*j - j + 2*x, -5*x + m = -4*j. Is 104/2 + 1 + j composite?
False
Suppose 3*c - 88 = 347. Is c prime?
False
Suppose -4*h - 345 = -5*x, -4*h - 138 = -x - x. Is x prime?
False
Is 103/4 - 1/(-4) a composite number?
True
Suppose -2*l + 0*l - 6 = 0, 2*t - 2*l = 12. Suppose 0 = 4*d - c - 3, -2*c = 2*d - t*d - 8. Suppose x + u - 11 = 0, -d*x - 5*u + 2*u + 27 = 0. Is x composite?
True
Suppose 10 = -k + 2*s, -3*k + s - 3*s = -2. Is 573/k*(-2)/3 prime?
True
Let m(a) = -50*a**2 - 7*a + 13. Let d(o) = -25*o**2 - 4*o + 7. Let s(z) = 11*d(z) - 6*m(z). Suppose 5*y + y + 12 = 0. Is s(y) prime?
True
Suppose -2*v = -0*p + 3*p - 289, 3*v - 481 = -5*p. Is p prime?
False
Suppose 0 = -4*q - x + 16, -3*q + 2*x + 4 - 3 = 0. Suppose 2*r = r + q. Is (r/(-3))/((-3)/327) prime?
True
Let t = -31 + 51. Let s be (-9)/12 + (-2)/8. Let h = t - s. Is h composite?
True
Let l(q) = 8*q**3 - 2*q**2 + q + 2. Let h be l(-1). Is 16/72 - 439/h prime?
False
Suppose -3*h - 759 = -2*w, w = -2*h + 635 - 252. Is w a prime number?
False
Let t = 246 + -118. Suppose -t = -z - 6. Is z prime?
False
Let r = 296 - 147. Is r a prime number?
True
Let g(x) = -x**3 + 1. Let k be g(0). Let u be (k - (-29)/2)*-2. Let s = 180 + u. Is s a composite number?
False
Let n(l) = 3*l**2 + 0*l**2 + l**2 + l + l**3. Let g be n(-3). Let f = g + -4. Is f composite?
False
Let o = 2240 - 619. Is o prime?
True
Let a = 35 + -16. Suppose -4*i = a - 3. Is 1/(6/(-9))*i prime?
False
Suppose 5*r + 4*o = 30 + 19, 5*r - 46 = -o. Let f(h) = h**3 - 14*h**2 + 14*h - 7. Let t be f(13). Let m = t + r. Is m a prime number?
False
Let j(u) = 2*u**2 - 2*u**2 + 32*u**3 - 1 + 2*u. Let t be 4 + -1 - 2/1. Is j(t) a composite number?
True
Suppose 3*g + 3*t - 11 = 4, 16 = -4*g + 5*t. Is (-4 + -190)*g/(-2) prime?
True
Let i(c) = 3*c - 1. Let t be i(1). Suppose 0 = 2*s - 5*b + 2*b - 945, 0 = 2*s + 4*b - 938. Suppose -o - 15 = 4*h - s, t*o + 105 = h. Is h a prime number?
True
Let a be -1*(-3 - -2) + 604. Suppose -4*p - a = -5*n, 2*n = -0*n + 5*p + 242. Is n a composite number?
True
Let a = 81 - 10. Is a a composite number?
False
Let w be -65 - (2/1 + 0). Let z = -55 - -19. Let h = z - w. Is h a composite number?
False
Let i = 19 - 11. Let x(w) = w**2 - w + 1959. Let p be x(0). Is p/12 - 2/i a composite number?
False
Let n be 333 + 4/(0 + 2). Suppose 3*p = -2*p + n. Is p a prime number?
True
Let g(u) = -u**2 + 277. Let m be g(0). Suppose 4*q - 3*o = m, -2*q = 2*o - 152 + 24. Is q composite?
False
Suppose 2*u + 15 = 5*u. Suppose 0 = -u*d + 47 + 18. Is d a prime number?
True
Let w = 214 + -95. Is w composite?
True
Suppose 2*k - 2*a - 456 = 0, 2*k - 5*a - 6 - 435 = 0. Is k a prime number?
True
Is 114/3 - (-6 - -5) a composite number?
True
Let r = 34 + -19. Suppose -x + r = 1. Is x composite?
True
Suppose 2*b + 18 = 4*b + 3*v, 5*v = 0. Let j = b - -1. Let w(z) = z**2 + 2*z + 7. Is w(j) prime?
True
Let p(s) = -4 + 7 - 6*s - 6*s + 4*s. Is p(-4) composite?
True
Let f(r) = -r**3 - 7*r**2 - 4*r - 4. Let h be f(-8). Suppose 0*k = -4*k - 2*j + 2, 3*k - 14 = -4*j. Is h/6 - k/(-6) a prime number?
False
Suppose -3731 + 669 = -x. Is x prime?
False
Suppose -4*k + 3 = -461. Suppose -5*z = 2*x - 160, 4*z + 0*z - k = -4*x. Is z a composite number?
True
Suppose 98 = 2*h - 164. Is h prime?
True
Suppose 5*p - 15 = 5*o, 0*p + 3*o = 4*p - 10. Let w be (-1)/2*10/(-1). Is (-162 + w)/(p*-1) prime?
True
Suppose 2*j - 4*y = 48, -5*j + 69 = -4*y - 27. Suppose -5*a + j + 11 = -u, 7 = -u + a. Is (u + 62/(-8))*-4 a composite number?
True
Suppose -2*i + 44 = 2*i. Is i prime?
True
Suppose -2*z = -3*v + 635, -2*z + 440 = 3*v - v. Is (-6)/8 + v/4 composite?
False
Let o(i) = -2*i**3 - 9*i**2 - 7*i + 5. Suppose -5*a - 32 = 