95 + 398 = m. Is f prime?
True
Let b = 225 + 94. Is b prime?
False
Let w(z) = -114*z - 13. Is w(-5) composite?
False
Let x be (-4)/(-14) + 95/35. Let m = 9 - x. Suppose -4*u + 10 = -b, 5*b - m*u - 18 = -3*u. Is b prime?
False
Suppose 0 = -c + 9*c - 4584. Is c a prime number?
False
Let u = 36 + -8. Is (u/12)/(3/99) prime?
False
Suppose 0 = -4*w + 2*w - 14. Let d(k) = 2*k**2. Let q be d(-1). Is 471/7 + q/w a prime number?
True
Let z = -7 + 12. Suppose -170 = -z*g + 225. Is g a composite number?
False
Let x(g) = 8*g**2 - 6*g + 1. Let n be x(4). Suppose z + n = 6*z. Is z a composite number?
True
Suppose 0 = -4*f - q + 1387, -2*f - 5*q + 727 - 38 = 0. Is f a prime number?
True
Let y = 1407 - -3890. Is y a composite number?
False
Let i = -334 - -567. Suppose -4*x - 5*o = -5*x + 531, -5*o = -5*x + 2655. Suppose -4*m + x = -i. Is m composite?
False
Suppose v - 3 = -1. Suppose 1 - 13 = -3*c. Suppose l - 2*z - 3*z = -19, l - v*z + c = 0. Is l a composite number?
True
Let h = 3 + -10. Let b(l) = l**3. Let p(c) = 2*c**3 - 8*c**2 - 6*c + 1. Let u(r) = 3*b(r) - p(r). Is u(h) prime?
False
Is (0/(-6) + 21)*(-113)/(-3) a prime number?
False
Let f be 0 - 7*(-1)/(-1). Let d(l) be the third derivative of l**5/60 - l**4/6 - 5*l**3/3 + 10*l**2. Is d(f) a composite number?
False
Let p be 4/(-2) - (3 - -6). Let m = p + 19. Let t = m + 47. Is t prime?
False
Let z be (-397 - -2)*(3 + -2). Let r = -252 - z. Suppose f + 34 = r. Is f composite?
False
Suppose 0 = -d + 4*d - 45. Suppose -5*h - 3*t = 269, -4*t = -5*h + 98 - 346. Let o = d - h. Is o a composite number?
False
Let d be (-14)/(-8) - (-1)/4. Suppose 4*a = 2*g - 438, d*g - 1080 = -3*g - 5*a. Is g a prime number?
False
Suppose 4*y = -p + 39, -4*p + 4*y = 3*y - 122. Is p a composite number?
False
Suppose 2*g - 47 = -5*z, 5 - 3 = 2*z. Suppose 7 = -y + 2*m + 1, 2*y + 3*m = 9. Let a = y + g. Is a composite?
True
Let a be (30/8)/(7/(-84)). Let x = 92 + a. Is x prime?
True
Suppose 0 = -2*l + 3*u + 29 - 10, 2*l + 2 = -4*u. Suppose s = -0*s + l. Suppose 0 = 6*r - s*r - 25. Is r a prime number?
False
Let t(h) be the third derivative of h**6/720 + 43*h**5/120 + h**4/24 + 3*h**2. Let w(y) be the second derivative of t(y). Is w(0) a prime number?
True
Let w = -47 - -26. Let c(k) = 10*k - 4. Let i be c(4). Let t = w + i. Is t a prime number?
False
Suppose 5*n - n + 5228 = 0. Let t = -724 - n. Is t a composite number?
True
Let z(l) = 63*l**2 + l - 2. Let y be z(-2). Suppose 4*k = -0*k - y. Let v = k + 113. Is v a prime number?
False
Suppose 0 = 2*p + 2, -4*s - 6*p = -p - 11. Suppose 2*x - 100 = 3*r, -2*x + s*r = 2*x - 208. Suppose -a = 3*a - x. Is a prime?
False
Let w(p) = p**3 + 7*p**2 + 5*p - 4. Let u be w(-6). Suppose u*f - f - i = -3, -2*i = -4*f - 10. Is 0 - (4/f - 7) composite?
True
Let w be 9/(-3) + 1 + 0. Let c(p) = p**3 + 4*p**2 - 6*p - 1. Let q be c(-5). Is 378/q - (-1)/w composite?
True
Suppose y = 4*t + 213, 0*y + 906 = 4*y + 2*t. Let k = 476 - y. Is k a prime number?
True
Suppose -4*u = t + 11 - 31, -5*t + 8 = -3*u. Is (-2)/t*-6 + 94 composite?
False
Suppose 5*k + 0*r - 5*r = 20, 5*r = 0. Let s = 4 + 1. Suppose -27 - 65 = -4*b + 4*p, -k*p = -s*b + 111. Is b a composite number?
False
Let p = -18 - -18. Suppose 1025 = 5*g - p*g. Is g composite?
True
Let z(v) = v**3 - 5*v**2 - 5. Let j be z(5). Let c = -2 - j. Suppose 4*k + 3*n - 56 = -13, 0 = 4*k - c*n - 61. Is k a composite number?
False
Let f(w) = w + 5. Let x be f(-5). Suppose x = -4*g - 0*g. Suppose g = h - 3, 2*h + 1 = b - 2. Is b a prime number?
False
Suppose -k = -2 - 0. Suppose -38 = -3*s + k*s. Let a = 112 - s. Is a prime?
False
Let x = -5 + 7. Let a = -23 + 26. Suppose j + 167 = a*l, 4*j = -x*l + 62 + 68. Is l a prime number?
False
Let p = 85 + -63. Is p a composite number?
True
Let t(v) = -11*v**2 - 32*v - 15. Let p(i) = -4*i**2 - 11*i - 5. Let y(q) = -8*p(q) + 3*t(q). Is y(-6) composite?
False
Let c(d) = -d**3 - 4*d**2 - 12*d - 8. Is c(-11) a prime number?
True
Let n = 313 - -678. Is n a prime number?
True
Suppose -c + 17 = 3*r, 4*c - 2*r + 17 = 3*r. Suppose c*d - 207 = -29. Is d a prime number?
True
Let z = 3 + -1. Let w(q) be the third derivative of 17*q**5/60 - q**4/24 + q**3/6 - 11*q**2. Is w(z) a prime number?
True
Let i(q) = q + 6. Let r be i(0). Suppose -h - 4 = 0, 3*v + 5*h - 1 = -r. Let u(m) = 10*m - 1. Is u(v) a composite number?
True
Is (-3)/(-2)*(-2)/(-3) - -3180 a composite number?
False
Is (-25)/(-20) - 1811/(-4) a prime number?
False
Let z = 32 - 32. Let c be (-2)/(-1*(-4)/(-66)). Suppose l = -z*l + c. Is l composite?
True
Let b = 1063 - 560. Is b prime?
True
Let u = -53 - -75. Let w = u + -11. Suppose -o = -x + 18, 2*x + 0*x + 3*o = w. Is x prime?
True
Is (-270179)/(-28) - (-2)/(-8) composite?
False
Suppose 0*f + 6*f = 1758. Is f composite?
False
Let c be 3 - 2 - (-28 - 3). Suppose 0 = -5*q + 42 + 3. Is c + (-4 - q/(-3)) a composite number?
False
Let g = -1605 + 4064. Is g a composite number?
False
Suppose -4*y - 1950 = -2*k, 5*k - 3756 = -y + 1130. Is k a composite number?
False
Let k(v) be the second derivative of v**5/20 + 2*v**4/3 - v**3/2 - 2*v**2 - v. Is k(-6) prime?
False
Suppose 0 = 3*k + 2*k - 40. Let y = 12 - k. Suppose -7*x = -2*x - 5*r - 55, y*x + 2*r = 20. Is x a prime number?
True
Let s = -4 + 6. Suppose -5*l = -2*l - 423. Suppose -z + l = s*z. Is z composite?
False
Suppose -1199 - 2085 = -4*r. Is r composite?
False
Let i = -14 - -18. Let a(n) = -n**3 + 4*n**2 + n + 3. Is a(i) prime?
True
Is ((-4102)/4)/((-14)/4 - -3) a composite number?
True
Suppose 4*n = -w + 79 + 294, 0 = -3*w - 3*n + 1074. Is w a composite number?
False
Let r(g) = 24*g**2 - 7*g - 32. Is r(-7) prime?
True
Suppose 11*k = 4*k + 259. Is k composite?
False
Let x = 10 + -8. Suppose 4*l = x*l + 334. Is l composite?
False
Is (5/(-2))/(2/(-212)) prime?
False
Let d(k) = 9*k**2 - 4. Let a(b) = 10*b**2 - 5. Let j(g) = -5*a(g) + 6*d(g). Is j(3) composite?
False
Let o be 2/3*(-18)/(-4). Let s(x) = -x**3 + 4*x**2 - x - 3. Let t be s(o). Suppose 6*h = t*h + 333. Is h a prime number?
False
Let t(o) = 26*o**2 + 9*o + 1. Is t(4) composite?
True
Let r(f) = -3*f - 1. Let u be r(-1). Suppose -3*d - 28 = -g + u*d, -2*d - 123 = -3*g. Is g a prime number?
True
Suppose -5*l + 1531 + 424 = 0. Is l composite?
True
Let b = 701 + -378. Is b a prime number?
False
Let m be ((-8)/4)/(1/(-2)). Suppose 3*p + 4*d - 109 = 0, 187 = m*p - d - 2*d. Is p a prime number?
True
Suppose 0 = -6*z + 2*z. Suppose -2*f - 4 = z, 4*s = 3*f - f + 344. Is s composite?
True
Let k(j) = -7*j - 17. Let i(u) = 6*u + 18. Let s(c) = -6*i(c) - 5*k(c). Let f be s(-11). Is (-2)/((f/(-237))/(-2)) a composite number?
False
Suppose -v - 79 = 212. Let s = 476 + v. Is s a prime number?
False
Let k = 56 + -37. Is k composite?
False
Suppose -4*d + 1617 = 381. Suppose -4*o + 1289 - d = 0. Is 0 + 0 + o/7 composite?
True
Suppose 5*r - 12 = 3. Let u(g) = 20*g - 2. Let j be u(2). Suppose -5*z + j = -r*z. Is z a composite number?
False
Suppose 0 = 4*a + 3*v - 0*v - 2339, -4*v + 575 = a. Is a a composite number?
False
Is 1/(-2) - 1054/(-4) prime?
True
Suppose 263 = 5*x - 3*a, -4*x + 265 = x - 5*a. Suppose -f + x = 3*f. Is 2*f*(-10)/(-4) prime?
False
Let a be 642/8 - 1/4. Let i = 407 + -221. Let y = i - a. Is y prime?
False
Let c(b) = -b**3 - 2*b**2 - 3*b - 4. Let d(q) = q**2 - 6*q + 3. Let s be d(6). Suppose 4 = -s*n - 5. Is c(n) composite?
True
Let w(z) be the first derivative of -z**3/3 - 7*z**2/2 + 2. Let q be w(7). Is 9/(-3) - q/1 composite?
True
Let o(n) = -n**3 + n - 1. Let s be (12/(-15))/((-4)/(-10)). Let d be o(s). Suppose 67 = d*z + 2. Is z a composite number?
False
Suppose -4*j - 3*h = -1789, 0 = 2*j - 3*h + h - 884. Is j a prime number?
False
Let j be (-1 - 3)/(-4) + 3. Suppose -3*v + 327 = 3*y, 651 = j*v - 2*y + 215. Is v a composite number?
False
Suppose 4*z = 2085 + 6927. Is z a prime number?
False
Suppose -2*o - 1260 = 4*w, 642 = -2*w + 4*o + o. Is (3 - (-17)/(-4))*w prime?
False
Suppose -2*c + 51 = 5*z, -2*z + 6*c - 2*c + 6 = 0. Suppose -4*a + z*a - 815 = 0. Is a composite?
False
Let j be -5 - -3 - (1 + -5). Suppose -12 = -6*r + j*r. Suppose r*z + 2*z = 5*m - 260, 5*z + 158 = 3*m. Is m a composite number?
True
Suppose 2*o + x - 19 = -2*o, -2*x - 34 = -4*o. Suppose c + 170 = o*c. Is c a composite number?
True
L