ppose 5*p - 2*q - 3519 = 2*q, 0 = -5*p - 5*q + a. Is p prime?
False
Suppose 55 + 100 = 5*l. Is l prime?
True
Let x(w) = w**3 - 7*w**2 - w + 7. Let q be x(7). Suppose q = 3*u - 193 - 62. Is u a composite number?
True
Suppose -2*q - 5*i = -111, -4*q + i = -i - 234. Is q a composite number?
True
Let b = -1728 + 3055. Is b prime?
True
Let p be 6/4 + (-6)/4. Suppose p = 5*s - 10*s + 605. Is s composite?
True
Suppose 3*v - 320 = 127. Is v prime?
True
Let o(p) = -p**2 - 7*p - 8. Let v be o(-6). Let r be (-2 - v)/(-2 - -4). Suppose r = -5*j + j + 28. Is j a prime number?
True
Suppose 0 = 3*u - 4*u + 1. Suppose -z + 7 = u. Suppose z = -m + 37. Is m prime?
True
Let b(u) = 210*u**2 + 12*u + 21. Is b(-6) prime?
False
Let k(q) = -3*q**3 + 2*q**2 + 1. Let o be k(2). Is (0 - -80) + (o - -14) prime?
True
Let g be (144/10)/((-12)/(-40)). Let a = g - 11. Is a a composite number?
False
Let f = 194 - -57. Is f prime?
True
Let b(z) = z**2 + 11*z - 48. Is b(-22) a composite number?
True
Suppose 0*r - 3*y = 5*r - 27, -5 = 5*y. Let v be ((-8)/(-12))/(2/r). Suppose 133 = v*t + k + 2*k, -4*t = -2*k - 258. Is t composite?
True
Suppose 0 = 3*m + 3 - 24. Suppose 4*n = -s + 21, -s = n - m - 17. Is s a composite number?
True
Let i be 2/(-5) - 77/(-5). Suppose 5*r = -0*r + i. Suppose 46 + 17 = r*w. Is w a prime number?
False
Suppose -6*o = -875 - 187. Is o a prime number?
False
Let y = 3123 - -1235. Is y a composite number?
True
Let p = 37 + 127. Suppose 2*n = 3*g - 5*g + p, 91 = n + 4*g. Is n a prime number?
True
Let z(x) = x. Let f(w) = -8*w + 1 - 3*w - w. Let y(s) = f(s) - 3*z(s). Is y(-2) a prime number?
True
Suppose -5*s = -2*u - 1315, -5*s - 2*u - 3*u = -1350. Is s a prime number?
False
Let v = 362 - 164. Let t = v - 90. Suppose l + 11 = t. Is l a prime number?
True
Suppose 63 = -k + 4*k. Is k composite?
True
Let o(t) = 14*t**2 - t + 4. Is o(3) a prime number?
True
Suppose -3*i = -4*i + 118. Let o = 207 - i. Is o prime?
True
Let f be 42/9 - 6/9. Suppose 0 = 3*m - 5 - f. Is m prime?
True
Is (-269 + 0 + 0)*-5 prime?
False
Is (12/(-12))/(646/647 + -1) a prime number?
True
Suppose 3*m + 1401 = 6*m. Is m a composite number?
False
Suppose t + 849 = 4*x - 1351, 4*x - 3*t - 2192 = 0. Is x composite?
True
Suppose 0 = -9*v - 0*v + 1395. Is v a composite number?
True
Let m(x) = 3*x + 8. Let s be m(-6). Let k(w) = w + 13. Let d be k(s). Suppose 2*l + d*p = 233, 2*l - l - 3*p = 130. Is l composite?
True
Let j be (-1)/(1/(-3)) + 1. Suppose -2*v - 4*m + 0*m + 44 = 0, -40 = -4*v + j*m. Is v a prime number?
False
Let k(r) = r**3 - r**2 - 1. Let c(h) = -h - 6. Let v be c(-8). Let w be k(v). Suppose 0 = 2*y - 2*b - 38, w*y - 18 = -3*b + 39. Is y prime?
True
Suppose 2*c - 651 = -5*i + 5*c, -3*i = 3*c - 381. Suppose 0 = 2*y + u - 478, 0 = -y + 5*u + i + 110. Is y composite?
False
Is 2 + 1/(1/35) composite?
False
Suppose -3*s - 8 = -4*m, 0 = m + 2*m + 2*s - 6. Suppose 19 + 25 = m*n. Is n a prime number?
False
Let p(f) = f**3 - 17*f**2 + f - 11. Let k be p(17). Suppose 6*n + 83 = 2*y + n, -2*n - k = 0. Is y composite?
True
Suppose 0 = 4*a - a + 6, 2*a + 29 = -5*f. Is (-534)/(-15)*f/(-2) a composite number?
False
Let p(b) = b**2 + 8*b + 28. Is p(19) a prime number?
True
Let v(q) = q**3 - 2*q**2 - 3*q + 1. Let c be v(3). Is (-5)/(-5)*(c + 126) a composite number?
False
Let c(u) = -u**3 - 10*u**2 + 22. Is c(-19) a composite number?
False
Let x(q) = 65*q**2 - q + 1. Let y be x(1). Suppose 5*z - 2*v + y = 0, -6*z + 11*z + 80 = -v. Let d = z + 26. Is d prime?
True
Let r be (-4)/(-14) + 16275/147. Suppose p = -2*b + 6, b = -4*p + 2*b + 15. Is r/p*(-1 + 5) prime?
False
Let i = 18 - 7. Suppose 20 = 5*t + v, -2*t + 3*v = 4*v - i. Is t a prime number?
True
Suppose 4*w - 328 - 180 = 0. Is w a composite number?
False
Let t = -6 - -11. Suppose t = -2*m + m. Let r(j) = -11*j - 6. Is r(m) composite?
True
Suppose -2*g + 2*z = -6, -g + 4*g = 4*z + 10. Let f be ((-2)/g)/((-1)/1). Is (-360)/(-4) - (0 + f) a composite number?
False
Suppose -3*i = -y - 13, -i + 2*y + 7 = -4. Suppose -8*m + 715 = -i*m. Is m a composite number?
True
Let n(f) = 5*f**2 + 9*f - 2. Let y be n(9). Suppose -y = -3*t - t. Is t composite?
True
Let j(y) = y**3 - 14*y**2. Let g be j(14). Suppose 1 = -w + 4*f, g = w - f - 0*f - 5. Is w a composite number?
False
Let k(j) = j**2 + 2*j - 3. Let n be k(-3). Let m be n - -1 - 2/1. Is m*((-2)/1 - 219) prime?
False
Let w(t) = 340*t**2 + 2*t + 1. Let s be (-1)/(-3 - 4*-1). Is w(s) prime?
False
Suppose 103 - 667 = -6*r. Is r composite?
True
Let d(w) = 4*w**3 - 5*w**2 - 10*w - 14. Is d(11) a prime number?
False
Let y = -595 + 1709. Suppose 9*z - 11*z = -y. Is z composite?
False
Suppose b - 2*p - 925 = -2*b, 1539 = 5*b - 2*p. Is b prime?
True
Let q be (-6)/21 + 39366/42. Suppose -k + 3*z + 319 = 0, -3*z - z = -3*k + q. Is k composite?
False
Let t be 1587*(-4)/(-6)*1. Suppose -5*g + t = m, 0*m + 2*m + 627 = 3*g. Is g a prime number?
True
Let g(f) = 4*f**3 - 3*f**2 + 3*f + 3. Let o(c) = -c**2 + 9*c - 10. Let t be o(7). Is g(t) composite?
False
Suppose 2*d - 3 = 3*z - 12, -5*d + 3*z = 0. Suppose -d*w = -b - 10, -5*w - b + 45 = 15. Is 2/(-4)*(w + -23) composite?
True
Let r(f) = -f**3 - 4*f**2 - f + 3. Let s be r(-4). Let y(q) = 3*q - 6. Is y(s) a composite number?
True
Suppose -h = 2 + 2. Let t = h + 3. Is (t - (-32)/(-3))*-3 a prime number?
False
Let f(m) = -m**3 + 4*m**2 + 4*m + 7. Let w be f(5). Let c be -1*w + -4 - 0. Let b(g) = -g**3 - 5*g**2 + g - 7. Is b(c) prime?
True
Let x(w) = -4*w + 3295. Is x(0) a composite number?
True
Suppose 0 = 7*i - 2*i - 15. Suppose -i*n + 0*n = 78. Let t = n + 79. Is t prime?
True
Is 1082*((-21)/(-6) + -3) a prime number?
True
Let c = 480 + -215. Is c a composite number?
True
Let x(l) = -8*l**3 - 2*l**2 + 1. Suppose 5*z = -4*c + 21 + 7, 10 = 5*c. Suppose 0 = b - z*b - 3. Is x(b) a prime number?
True
Let v(n) = -306*n**3 + n**2. Is v(-1) a prime number?
True
Let p(x) = x**2 - 2*x - 1. Let i be p(3). Suppose -i = 2*y - 10. Suppose y*a - h = -2*h + 763, 5*a - h = 956. Is a composite?
False
Suppose 2*v = -2*x + 20, -6*v + v - 4*x = -46. Suppose -5*w + 3*w = 5*o - 9, 5*w + 6 = -3*o. Is (-2)/v*o*-37 a composite number?
False
Suppose 2*i = -3*b + i + 13, 2*b - 6 = -2*i. Suppose -p + 3*m = -130, b*m - 138 = -0*p - p. Is p composite?
True
Let t(u) be the third derivative of 1/120*u**6 + 0*u + 5/6*u**3 - 1/6*u**4 + 0 + 0*u**5 + u**2. Is t(4) a prime number?
True
Suppose 0 = 5*c + 25, -17 = 3*g + 3*c + c. Is 25 - (-2 - g) - 2 a prime number?
False
Suppose 2*o - o + 101 = 3*m, -3*m - 5*o + 125 = 0. Is 14675/m + 4/(-14) a composite number?
False
Let p be 3 - 3 - (1 - 3). Suppose p*y + y - 5*l = 968, -y + 5*l + 306 = 0. Is y a prime number?
True
Let i(c) = 6*c**2 - 1. Let q be i(-1). Suppose -3*z - 5*l = -24, -q*l - 40 = -2*z - 3*z. Is (50/z)/(4/16) prime?
False
Let f(y) = 2*y**2 - y + 7. Let t be f(-5). Suppose 0 = 2*a - g + 47 - 162, 0 = 3*a + 3*g - 168. Let n = t + a. Is n prime?
False
Let h = -2 + 3. Let c(u) = 80*u - 1. Is c(h) composite?
False
Let g(p) be the third derivative of 19*p**4/24 - p**3/6 + p**2. Is g(2) a composite number?
False
Suppose -3*l = 2*x + 23, -27 = l + 3*l - x. Let u = l - -10. Is 316/u - (-10)/15 a prime number?
False
Suppose b - 9 = 79. Let k = 46 + b. Is k a composite number?
True
Is -1 + 12/18*5457 a composite number?
False
Is ((2*-1)/1)/((-50)/3925) a composite number?
False
Let g(p) = p**2 - 2*p - 77. Let m(l) = -l. Let n(q) = -g(q) + m(q). Suppose -2*s = b + 4, 4*s - 2*s = -4*b - 4. Is n(b) a composite number?
True
Let u = 2 + 1. Suppose -113 = -u*j + 280. Is j a composite number?
False
Suppose 5*j + 2*k - 20 = 0, 0 = -j + 5*j - 4*k - 16. Let y be (-1)/(-4) - (-19)/4. Suppose 5*q - y = 0, -7*m + 3*m = -j*q - 80. Is m composite?
True
Let v(n) = -n**2 + 6*n + 5. Let f be v(6). Suppose -f*b + 88 = 23. Is b a composite number?
False
Let d(q) = q - 1. Let n be d(3). Let a(r) = -r**2 + 19*r - 8. Let x be a(12). Suppose 0 = -4*i + 5*l + x, -l + 76 = 4*i + n*l. Is i composite?
False
Let m = 2593 - 1812. Is m prime?
False
Let t = -8 + 11. Is 2 + 2 + -1 + t prime?
False
Suppose -2*h - 131 = -3*h. Is h composite?
False
Let l(j) = -28*j**2 - 5*j - 4. Let k be l(-3). Let o = -92 - k. Is o a prime number?
True
Let m(f) = 11*f**2 + 6*f - 8. Let b(j) = 10*j**2 +