ber?
False
Let w(n) = n**3 + 7*n**2 - 7*n + 1. Is w(4) a prime number?
True
Let z = 14 - 8. Is (-4)/(-8) - (-1161)/z prime?
False
Let g = 391 + -264. Is g a prime number?
True
Suppose -5*t - 826 = -4*k, 428 = -2*k + 4*k + 5*t. Is k prime?
False
Let h = -7 + 9. Suppose 3*g + 324 = 5*g + h*t, 2*g = t + 309. Is g composite?
False
Let f(m) = m**2 - 17*m - 9. Let a(p) = 3*p**2 - 33*p - 18. Suppose -4 = 4*v - 2*v. Let x(b) = v*a(b) + 5*f(b). Is x(-8) prime?
True
Let u be (4/6)/1*-3. Suppose 5*q + 185 = -10. Let o = u - q. Is o composite?
False
Let g be 48/28 - (-2)/7. Suppose 2*i = 0, -g*z = z - i - 18. Is z a composite number?
True
Let t be 487/4 - 15/20. Suppose -4*f - 3*q + 493 = 2*q, f = -2*q + t. Is f prime?
True
Suppose 3*b - 5*v + 8 = 0, v + 2*v = 3*b. Suppose 0 = b*s + s - 455. Is s a composite number?
True
Suppose 0 = 4*p - 4, 7*y - 2*p = 2*y + 4913. Is y prime?
True
Suppose 46 = -l + 529. Suppose 0*i + l = 3*i. Is i composite?
True
Suppose 0 = z + 2*z - 27. Suppose -v = -58 + z. Is v prime?
False
Suppose -3*i = 4*c - 731, 0 = -5*i + 3*c - 0*c + 1257. Is i a prime number?
False
Let f(i) = 20*i - 8. Let h be f(8). Let z = h - -179. Is z a composite number?
False
Let q(b) = -b**2 - 3*b + 6. Let l be q(-4). Suppose 0*p - l*p + 463 = -5*x, -5*p + 4*x = -1183. Is p composite?
False
Suppose 5*k = 395 + 50. Is k prime?
True
Let m = -3 + 7. Suppose -2*o - 4*k = -42, m*o - 5*k = -k + 108. Is o prime?
False
Suppose 3*o + o + v = 8, -2*o - 3*v + 14 = 0. Is o/(-1*1/(-355)) prime?
False
Let r(z) = z**3 + 10*z**2 + 10*z + 6. Suppose a = -0 + 5. Suppose -5*x + 3*n - 47 = 0, 4 = 3*x - a*n + 45. Is r(x) composite?
False
Let h(l) = 7*l + 5 - 14*l - 5*l. Is h(-4) a prime number?
True
Let i(b) be the first derivative of b**3/3 - 7*b**2/2 + 6*b - 3. Is i(8) a composite number?
True
Suppose 5*o - 3*o + 1384 = 0. Let x = 1165 + o. Is x prime?
False
Suppose -4*w = -21 - 39. Suppose -3*i - 61 = -4*r, w + 10 = 5*i. Is r a composite number?
False
Let s = -457 + 702. Let a = -30 + s. Suppose -4*d - 5 - 11 = 0, -4*d = 3*z - a. Is z composite?
True
Suppose 2*q + a = 155, -5*q + 0*q = 4*a - 392. Let z = -39 + q. Is z composite?
False
Let u(r) = r**3 + 22. Let a be 4/(-6) + 4/6. Is u(a) composite?
True
Let w(v) = v**2 - 8*v + 10. Let f be w(7). Let c(a) = -a**2 + 5*a - 3. Let s be c(f). Suppose -j - 2*i = -85, -j - s*i = -3*j + 184. Is j a prime number?
True
Let r(l) = -11*l + 9. Let n(p) = 44*p - 36. Let w(o) = 2*n(o) + 9*r(o). Is w(-4) prime?
True
Suppose 0 = -w + 6*w - 100. Suppose 6*r + w = r. Is 682/14 - r/14 a prime number?
False
Suppose -3*w = -1 - 5. Suppose -w*b = -265 + 95. Is b a prime number?
False
Let t(n) = 117*n - 4. Is t(5) a prime number?
False
Let t(n) = -n**3 - 9*n**2 - 8*n + 5. Let p be t(-8). Suppose p*l = 4*d - 60, -5*d + 3*l + l = -66. Is 780/25 - 2/d a prime number?
True
Suppose 6*j + 148 = 10*j. Is j a prime number?
True
Let m be (-2)/5 - (-2)/5. Let o(l) = -l - 4. Let f be o(m). Let c = f - -8. Is c composite?
True
Suppose -a + w = -115, 5*w + 401 = -5*a + 996. Suppose -g = -2*h + 66, -3*h + 4*g + a = 18. Is h a prime number?
False
Let s = 284 - 73. Is s a composite number?
False
Let h(q) = -q**3 - 3*q**2 + 3*q - 5. Let r be h(-4). Is 1/(r/(-5)) - 2 a prime number?
True
Is (-640)/(-4) + (-2)/(-2) a prime number?
False
Let n be (1 - 1)*(-4)/(-8). Suppose l + n - 4 = 0. Suppose -l*g + 9*g + 2*v = 14, -5*g + 5 = 5*v. Is g prime?
False
Let m be (-2 - -1)/((-2)/12). Let k(o) = -10*o + 0 - m*o + 1. Is k(-4) a prime number?
False
Suppose -3*d - 18 = 4*m, d + m + 2 = -3. Let r be 58 - (4 + d)/(-1). Let b = 97 - r. Is b composite?
False
Suppose -5*y + v + 51 = 0, 4*y - 27 = y - 3*v. Let a(d) = -11 + 16*d - d**3 + 9*d**2 + d**3 - d**3. Is a(y) prime?
False
Is 1356/44 - 6/(-33) prime?
True
Is (-23286)/(-54) + (-2)/9 prime?
True
Let d = -1625 + 2532. Is d prime?
True
Let n = -165 + 638. Is n composite?
True
Is (2/(-6))/(4/(-3012)) a prime number?
True
Let g(l) be the first derivative of 4*l**3/3 + 2*l**2 - 4*l + 1. Let o be g(-4). Suppose 3*a = o - 5. Is a composite?
False
Let q(c) = c**2 + 2*c - 2. Let a(j) = -j**2 - 7*j - 3. Let u be a(-5). Suppose -u*l = -2*l - 10. Is q(l) a prime number?
False
Suppose -5*n + 6802 = -3*k, -2*n + 2*k = -0*n - 2720. Is n composite?
False
Let l = 14 + -11. Suppose r + 4*s + 0*s + 18 = 0, 2*s = 2*r - 14. Suppose -l*u = -r*u - 149. Is u a prime number?
True
Suppose -3*a + 5 = 2*a. Let p(b) be the third derivative of 109*b**5/60 - b**4/24 + b**3/6 + 2*b**2 + 6. Is p(a) a prime number?
True
Let q(p) be the first derivative of 5*p**4/4 + 2*p**3/3 - 3*p**2/2 - p - 1. Let a be q(4). Suppose 2*h + h = a. Is h a prime number?
True
Let f = -33 + 98. Suppose 0 = -4*y + f + 23. Suppose -2*z = -140 + y. Is z prime?
True
Suppose 0 = -5*v + 5, -v + 1 - 5 = -5*r. Let m(g) = 336*g**2 + g. Is m(r) a composite number?
False
Suppose s + 8*f - 4*f = 1835, -s + 1835 = 2*f. Suppose -7*z = -2*z - s. Is z prime?
True
Suppose 5*t = b + 6*t - 536, -2*b + 1068 = 4*t. Is b a composite number?
True
Let q(k) = 37*k - 18. Is q(25) a prime number?
True
Suppose 0 = -2*h - 4*v + 2010, -4*h - 4*v + 5057 - 1033 = 0. Is h a composite number?
True
Let b(k) = 21*k**2 + 3*k - 3. Let z be b(4). Let o be z/(-7) + (-4)/(-14). Let w = 98 + o. Is w a prime number?
False
Let l(a) = 262*a**3 + a. Is l(1) composite?
False
Let m(b) = b - 7. Let o be m(8). Is -2*(327/(-6))/o prime?
True
Suppose -5*o + 23 = 2*n, -5*n = -n + 4*o - 28. Let y be 871/n + (-2)/(-8). Suppose y - 71 = 3*j. Is j composite?
True
Let w be ((-40)/(-12))/((-2)/(-3)). Suppose -2*d - 4 = 0, w*d = 2*j - 4*j. Suppose -4*p + j*x + 48 = -25, 5*p - 107 = x. Is p a composite number?
True
Suppose 5*t + 1 + 34 = 0. Let z(o) = -23*o + 2. Is z(t) prime?
True
Let k = 11 + -9. Let j be k + 1 + -1 + 1290. Suppose 5*t + q - j = 0, -t + 2*q = 2*t - 783. Is t a composite number?
True
Suppose -q + 237 = -6*g + 4*g, -3*g = -q + 232. Is q a composite number?
True
Suppose 774 = i + 224. Suppose f - 6*f = -i. Suppose 4*g = -5*d + 59, -g = 4*g - d - f. Is g a composite number?
True
Let z = 326 - 158. Suppose -r = -3*j + z, -j + 102 = j - 4*r. Suppose 0*v = v - j. Is v a composite number?
True
Let j = 3 - -5. Let w = 1 + j. Is -1 + -57*(-6)/w a composite number?
False
Let v(w) = -w - 7. Let j be v(-10). Suppose 925 = j*x + 2*x. Is x a prime number?
False
Is 137088/273 - 4/26 a prime number?
False
Is (11 + -10)*(1 + 1342) composite?
True
Is 98/((-4)/(-4)) + -1 a composite number?
False
Let z(h) = h**3 + h**2 + h + 6. Let b be z(0). Suppose -2*a - 276 = -b*a. Is a composite?
True
Let z = -9 + 13. Suppose y = z*y - 483. Is y prime?
False
Suppose -6*c = -c + 790. Is 0 - c/(-1 + 3) prime?
True
Suppose -401 = -5*q - 5*f + 234, 5*f + 508 = 4*q. Is q prime?
True
Let t(c) = 6*c**2 + 8*c + 1. Is t(-6) composite?
True
Let f be -4 - 3*(-1)/(-3). Let w(l) = -6*l + 6. Let s be w(f). Is 1 + s + 3 + -3 prime?
True
Let t(r) be the first derivative of r**2/2 + 2*r - 2. Let m be t(4). Suppose -4*z = -m*z + 74. Is z a prime number?
True
Suppose -7*q = -q - 78. Is q a composite number?
False
Let j be 9/(-2)*(-10)/15. Let a be (-5)/3 - (-2)/3. Is a/j - (-158)/6 prime?
False
Suppose 5*l - 9 = 6. Let i be (-2 + l)/(1/2). Is (1/(-3))/(i/(-1338)) a composite number?
False
Let o = -5 - -5. Suppose 2*v + 4*n - 242 = o, 5*v + 2*n = 7*n + 545. Is v prime?
True
Let r = -10 + 4. Let u = r - -8. Suppose -b = u*b - 63. Is b composite?
True
Suppose -3*t = -3*s + 555, -3*s + t = 6*t - 571. Is s a composite number?
True
Suppose -3*n = 2*n - 25, -w = -2*n + 1. Suppose -5*y + w = -11. Is 111/6 + 2/y a composite number?
False
Suppose -2*q + 155 - 37 = 0. Is q a composite number?
False
Suppose -5*b + 293 = 3*l - 4*b, 0 = -5*l - 4*b + 493. Is l a prime number?
True
Let c = -4 + 7. Suppose 2*s + c*s = -20. Let j(h) = 7*h**2 + 5*h - 3. Is j(s) a prime number?
True
Let r = 2148 + 297. Suppose 3*w = 4*b - 302 + r, 4*w - 2*b = 2864. Is w a prime number?
False
Let i be (-944)/(-10) - 2/5. Suppose -z = r - 4*z - 43, -3*r + i = -2*z. Suppose 3*o + o - r = 0. Is o prime?
True
Let a(p) = 14*p**2 - 1. Suppose 0 = -3*t + 2*t + 1. Is a(t) a prime number?
True
Let d be (-3)/(3/6 + -2). Suppose -6*m = -d*m. Suppose 0*g + 3*g - 237 = m. Is g prime?
True
Suppose -c + 1 = 5. Let j(w