f a prime number?
True
Let x = -6 - -13. Suppose -x = c - 30. Is c composite?
False
Suppose 0 = 11*p - 15*p + 5036. Is p composite?
False
Suppose 5*j = 4*f + 35, -j + 0*f - 2*f = 7. Suppose 344 = 3*r + r - x, -3*x - 249 = -j*r. Is r a prime number?
False
Suppose 3*n - 3 = 9. Is n a composite number?
True
Let q be (0 + 4)/(-2 + 4). Suppose 4*o - q = 10. Suppose 39 = 6*n - o*n. Is n prime?
True
Let a be 24 - (6/3 - 1). Suppose -3*d - 17 = -2*v, 0*d + d + a = 5*v. Suppose 5*i - 39 = -v*m, 2*m + 4*i = 3*i + 15. Is m prime?
False
Let y(n) = -9*n**2 - 2*n - 8. Let k be y(-6). Let u = 691 + k. Is u prime?
False
Let s(z) be the second derivative of -9*z**3 - z**2 + z. Let q be s(-6). Suppose -5*y = -x - 75 - q, 0 = -5*y + 4*x + 403. Is y composite?
False
Let d = 3 - -1. Suppose 0 = 5*b - m - 579, 2*m + 480 = d*b - 3*m. Is b a composite number?
True
Suppose 5*h = -17 - 28. Is (-4 - h)*31/1 a prime number?
False
Let t(r) be the first derivative of 2*r**3/3 + r**2 + r + 2. Suppose 4 + 6 = 5*p. Is t(p) composite?
False
Suppose 4790 = 5*t + 805. Is t a composite number?
False
Suppose -3*d = -2 - 10. Suppose -4*i + d = -4. Is ((2 - i) + -1)*-3 prime?
True
Suppose -2*h = -0*r - 2*r + 142, 5*h - 149 = -2*r. Suppose 4*n - 15 = 5. Suppose 5*u + n*i - r = 63, 4*u + 3*i = 112. Is u prime?
True
Let q(h) = h**3 - 7*h**2 - 12*h + 1. Is q(9) a prime number?
False
Let v(i) = -102*i - 2. Let t be v(-3). Let z = t - -67. Is z prime?
False
Let l(z) = -z**2 - 5*z + 4. Let n be l(-5). Is -138*n/(3 - 11) a prime number?
False
Let a(i) = 1597*i + 1. Let v be a(1). Suppose -170 = 3*n - v. Suppose 3*w = -w + n. Is w composite?
True
Let q(v) = -10*v**3 + 2*v**2 + 2*v + 1. Suppose -n = 3*n + 12. Let r be (1 + 2/n)*-3. Is q(r) prime?
True
Let s(b) be the first derivative of -b**3/3 + 5*b**2 + b + 2. Is s(7) prime?
False
Suppose 8 = 3*t + 2*g, -5*t + 2*t = g - 7. Suppose t*h = -3*h + 1055. Is h composite?
False
Is (-4 + 3)/((-3)/4677) a prime number?
True
Suppose -3826 = -5*q + 9. Is q a composite number?
True
Suppose -3*d + 7310 = -m, -5*d - 2*m + 14324 = 2137. Is d composite?
False
Suppose 0 = -3*u + 2*c + 14 - 39, 0 = u + 2*c + 11. Let r = u + 6. Let o = 7 + r. Is o a composite number?
True
Let t(c) = -c**3 + 3*c**2 - c + 1. Let v be t(2). Suppose -v*d + q + 1 = -3, -3 = -4*d - q. Let x(p) = 68*p**3 - p**2 - p + 1. Is x(d) a composite number?
False
Suppose -13*l + 4*l + 37809 = 0. Is l prime?
True
Let n = -15 + 74. Let m = n + -1. Is m prime?
False
Let a be (-26)/4*(3 - 9). Let d = a + -19. Let s = d - -26. Is s a composite number?
True
Let f = -7 - -9. Suppose -f*j - 73 = -1115. Is j prime?
True
Let i(b) = 2*b - 9. Let t = 39 - 28. Is i(t) composite?
False
Suppose 0 = 2*j - 2*n - 10, j = 2*j - 2*n - 2. Suppose 3*w - j*w + 435 = 0. Let y = 134 - w. Is y prime?
True
Suppose 3*r = 3*n + 267 - 3702, -5*n + r = -5709. Is n prime?
False
Let b(d) be the third derivative of -5*d**4/12 - d**3/6 - 8*d**2. Is b(-1) a composite number?
True
Let m(z) be the second derivative of -19*z**5/5 + z**4/6 + z**3/3 + z**2/2 + z. Is m(-1) composite?
True
Suppose 4*h - 187 = -71. Suppose h = l - 10. Is l a composite number?
True
Let g(n) = n**2 - n + 1. Let b be g(5). Suppose -3*d + 0 = -b. Is d composite?
False
Let t(v) = 84*v**2 + 4*v + 6. Is t(-2) prime?
False
Let u(z) = z + 16. Let i be u(-10). Let q be 0/1*(-2)/i. Suppose -5*d - 15 = q, 2*d + 9 + 10 = a. Is a prime?
True
Is 84/12 - 1*-3 composite?
True
Suppose -v + 0*v = 4*b - 18, 0 = 2*b - 6. Let k be 344/v - 1/3. Let x = 2 + k. Is x a composite number?
False
Let c(o) = 0*o**2 + 4*o**2 + 2 + 1 - 3*o**2 + 4*o. Is c(4) composite?
True
Let x be (-632)/(-12) + (-2)/(-6). Suppose x - 3 = 5*c. Is c a composite number?
True
Let q = -659 - -1578. Is q prime?
True
Let g(l) = -485*l**3. Is g(-1) composite?
True
Is 1/(1 + (-498)/499) prime?
True
Suppose 0 = x - 0*t - 2*t - 45, 0 = x + t - 36. Let q = -2 + x. Is q a composite number?
False
Let h = 379 - 168. Is h composite?
False
Let y(b) = 7*b**3 + 12*b**2 + 6. Let d(f) = 13*f**3 + 23*f**2 + f + 12. Let q(z) = 6*d(z) - 11*y(z). Is q(-4) composite?
True
Let j(w) = 89*w**2 + 3*w - 3. Is j(-2) prime?
True
Let l(n) = n**3 + 17*n**2 + 4*n - 3. Is l(-8) prime?
True
Let b(v) = 4*v**3 - v + 3*v**3 + 4 + v**3 + v**2 + 3*v**3. Is b(3) a prime number?
True
Suppose 7446 = 3*y + 3*y. Is y composite?
True
Let l(v) = -2*v**2 - v + 2. Let k be l(-2). Is -34*k/(24/15) prime?
False
Suppose -4*x = 2*j - 134, -2*j + x + 4*x + 143 = 0. Is j a prime number?
False
Suppose 0 = -5*g + 2*v + 12, 2*v + 4 = 2. Is -1 + 82 - 4/g a prime number?
True
Suppose 0 = -4*d - 0*d + x - 611, -2*x = -4*d - 606. Let r = -87 - d. Is r a composite number?
False
Suppose 0 = 4*o + 2 - 22. Suppose -3*t + 20 = -2*w, -2*w + 50 = -7*w - o*t. Is 339/15 - 4/w a composite number?
False
Suppose -3*k - 4*t = -1831, -3*k - 460 + 2282 = -5*t. Suppose 2*v + v = k. Is v composite?
True
Suppose g + 0*g = -5*s + 457, -2239 = -5*g - 2*s. Is g composite?
True
Let m be (1 - -60) + (-3 - -2). Let q be 59/5 + 2/10. Suppose -4*s + m = 2*l, 5*s - l - 49 = q. Is s a composite number?
False
Suppose -2*t = 2*m, 5*m = 5*t - 2*t - 32. Suppose t*l = 2*w - 232 - 36, 3*l + 5*w = -227. Let f = 14 - l. Is f a composite number?
False
Let s be -9*(3/(-18))/((-1)/(-26)). Let n(q) = q**2 - 4*q + 4. Let k be n(3). Suppose -2*z = -s + k. Is z composite?
False
Suppose -3*l + n + 2 = -1, 5*l - 5 = 5*n. Let y be 11 - (-3 + 1 + l). Suppose 2*x = 5*f + 13, -f = -5*x + y + 9. Is x a composite number?
True
Suppose -3*y = -4*c + 157, 7*c - 4*c = 5*y + 126. Is c composite?
False
Let g = 787 + -536. Is g a prime number?
True
Suppose 5*f - 2928 = -4*i - 777, -3*f + i = -1277. Is f composite?
True
Let s be 4/18 - (-32)/18. Suppose -o = s*o + 24. Let p = 29 + o. Is p a composite number?
True
Suppose -3*b + 6466 = -845. Is b a composite number?
False
Let q be ((-4)/1)/((-3)/3). Suppose i - 1285 = -q*i. Is i prime?
True
Suppose 0 = 4*m - 3117 - 295. Is m a prime number?
True
Let t = 482 - 961. Let p = 742 + t. Suppose -93 = 2*s - p. Is s a composite number?
True
Let s(h) = -3*h - 2. Let j be s(-4). Suppose 6 = 2*g - j. Suppose -3*l = -13 - g. Is l prime?
True
Let s(u) = 138*u - 53. Is s(7) a composite number?
True
Suppose 3*q - 15 = -0*q. Suppose f + 3*v = 37, 111 = -2*f + q*f - v. Suppose 3*s - g - 4*g = f, -4 = -g. Is s prime?
True
Let n = 6408 + -809. Is n a prime number?
False
Let y(z) = z**3 + z - 5. Let n be y(0). Is 20/(3 + n)*-1 composite?
True
Let c be -1*(4/1)/1. Is c/10 - (-336)/15 a composite number?
True
Suppose 3 = -2*l + 3*l. Let f be (-4)/6 - (-212)/3. Suppose -l*s = -s - f. Is s composite?
True
Let n(a) = a**3 + 7*a**2 + 4*a - 4. Let t be n(-6). Suppose -s = 3*s + t. Let r = 6 + s. Is r composite?
True
Suppose -268 = -3*y + 338. Let z = y - 15. Is z a prime number?
False
Let j(n) = -8*n**3 - n**2 + 5*n + 6. Is j(-4) a composite number?
True
Let h(d) = -d**2 - 5*d - 4. Let f be h(-5). Let r be (-108)/16 + 1/f. Is (5 - 2)*r/(-3) prime?
True
Let y(k) = k + 1. Let z be y(5). Let m be 21 + 1 + z/(-6). Let i = m + 16. Is i prime?
True
Suppose -b = -3*i - 14, -2*b + 4*i = -5 - 15. Suppose 91 = 5*l - f - 73, b*f - 2 = 0. Is l composite?
True
Suppose -x + 24 = -5*x. Let k = 61 - x. Is k prime?
True
Suppose -3*i + 186 = -0*i. Let u be (-6)/8 + 10*(-92)/(-32). Let n = i - u. Is n a composite number?
True
Let k = 8570 - 5081. Is k a prime number?
False
Let y = 462 - 1084. Let z = 93 - y. Is (-3)/4 + z/20 a composite number?
True
Let y = -199 + 546. Is y a prime number?
True
Let u = 11 - 9. Let p(k) = 3*k**2 - 3*k + 1. Let i(s) = 4*s**2 - 3*s + 2. Let b(j) = 2*i(j) - 3*p(j). Is b(u) prime?
True
Let a = 120 + 11. Is a prime?
True
Let f = 34 + 113. Let x = 224 - f. Is x composite?
True
Is 0*(-1)/(-4)*1 - -2935 a composite number?
True
Suppose 4*c - 10 + 2 = 0. Suppose -3*w = c*w - 30. Is w composite?
True
Suppose -1639 = -4*j + 3*r, 2*r = -2*j + 896 - 80. Suppose h + 2 = -y, -4*y - 2*h + 0 = -2. Suppose -5*s + 5*p + 491 = -j, 560 = y*s + p. Is s composite?
True
Let y be (-6)/(-4)*(-40)/(-15). Suppose 9*g = y*g + 30. Suppose g*n - 3*n - 213 = 0. Is n composite?
False
Suppose 0*q - 3*q = -12. Suppose -2*z = b - 11, 2*b = 5*b - q*z - 53. Is b a prime number?
False
Suppose 4*m + m - 5*c - 18200 = 0