et y be (-1 - -1)/(-4 - -2). Suppose -2*f = 4*r + 34, y*f + 10 = -2*f. Let q(o) = o**2 + 2*o - 1. Is q(r) composite?
False
Let f(y) = 3*y - 3. Let i be f(5). Let s = 21 - i. Is s a prime number?
False
Let f(t) = 3*t**2 + 2. Let a be f(3). Suppose -3*q - a = -230. Let k = -36 + q. Is k a prime number?
True
Is 2469/7 + 4/14 a composite number?
False
Suppose 0 = -5*i - 0*i - 5. Suppose 2*z - 4 + 2 = 0, -4*z = 5*a + 26. Is 26*((-9)/a - i) prime?
False
Suppose 2*q + 4 = q + 2*r, -q - 5*r = -3. Let o be (-1)/q*(3 - -9). Suppose w = o*w - 185. Is w prime?
True
Let s(y) = -y**2 - 3*y + 301. Let w(h) = -h. Let n(x) = s(x) - 3*w(x). Is n(0) prime?
False
Suppose -i - 15 = -4*n, -n + 2*i = -2*n - 3. Suppose v = -n*v. Suppose 5*x + 0*x - 65 = v. Is x a composite number?
False
Suppose 9 = -2*m + 5*m. Suppose -m*b - 46 = -b. Let o = 60 + b. Is o composite?
False
Let c = 811 + -324. Is c prime?
True
Let p = 134 + -91. Is p prime?
True
Suppose 5*r - 73 = 2. Let k be 1/4 - r/(-4). Is 36 - 1/((-2)/k) composite?
True
Suppose -40 = -7*a + 3*a + n, 0 = 2*a - 2*n - 20. Let v be ((-8)/(-6))/((-1)/(-3)). Suppose -o + 86 = v*w, o = 6*o + a. Is w a composite number?
True
Let l(s) = s**2 + 6*s + 5. Let n be l(-6). Let q(x) = x**3 + 4*x**2 - 4*x + 5. Let a be q(-5). Suppose a = 2*c + 4*w - 50, c = -2*c + n*w + 42. Is c prime?
True
Let b(t) = -t**3 - 3*t**2 + 9*t - 8. Is b(-9) composite?
False
Let j(f) be the second derivative of f**3/6 + 147*f**2/2 + 3*f. Let o be j(0). Suppose o = 4*g + 11. Is g a prime number?
False
Let p = -5 - -9. Is p/(-2) - (-2 - 3) composite?
False
Suppose -2*o = -5*o + n - 17, 3*o - 5*n + 37 = 0. Let y = 6 + o. Suppose -140 = -2*s - y*s. Is s a composite number?
True
Suppose -4*m - 20 = 0, -m = -3*d - 3*m - 10. Suppose -5*j = 3*g - 1 - 1, 4 = 5*j + g. Is j/(1/19 + d) a prime number?
True
Let l = 7 - 4. Let v be l*((-344)/6 - 0). Let u = v - -246. Is u prime?
False
Let h(b) = -12*b - 5. Let g be 4*(-3)/30*85. Let t be 3/2 + g/4. Is h(t) a prime number?
True
Let u(c) = -10*c**3 - 7*c**2 - 5*c - 3. Suppose -4 - 12 = 4*p + 2*h, -5*p - 20 = 2*h. Is u(p) a prime number?
False
Let r(d) be the first derivative of -d**2/2 - 5*d - 1. Let q be r(-9). Suppose q*b = 9*b - 65. Is b prime?
True
Suppose -96 = 2*a - 0*a. Let x = a + 67. Is x composite?
False
Is -3*(4 - (-331)/(-3)) a composite number?
True
Let y(q) = -q**2 - 7*q. Let r be y(-7). Let j(d) = -d**2 + d - 22. Let g be j(r). Is 4/22 + (-678)/g prime?
True
Let f(q) = -q**3 - 5*q**2 - 7*q - 3. Let u be f(-6). Let n(w) = 23*w - 1. Let p be n(1). Let r = u - p. Is r a prime number?
True
Suppose -5*l + 1352 = -663. Suppose l = f + 116. Suppose o - 93 = -2*p, -3*o + 4*p + f = 6*p. Is o a composite number?
False
Let b(i) = -i + 1. Let o(n) = n - 1. Let a(f) = 5*b(f) + 6*o(f). Is a(11) prime?
False
Let l(n) = 443*n + 17. Is l(3) composite?
True
Let i(x) = -x**3 - 10*x**2 + 2*x + 18. Is i(-13) a prime number?
True
Let n(d) = -d**2 - 16*d - 13. Let v be n(-17). Is (-13)/(v/(-33) - 1) a prime number?
False
Let b(c) = c**2 + 2*c. Let u be b(2). Let a(g) = -g**2 + g + 3. Let f(n) = -n. Let x(z) = -a(z) - 3*f(z). Is x(u) a composite number?
True
Suppose -2*x - 2*q = -432, 2*q - 16 = -6. Is x a prime number?
True
Let i = -584 - -1747. Is i a composite number?
False
Let p(r) = r**3 + 8*r**2 + 8*r + 3. Let x be p(-7). Is -58*(66/x)/3 composite?
True
Suppose -x - 4*x - 2*b + 8 = 0, x - 3*b = -12. Suppose -4*m - m + 10 = x. Suppose i = m*h - 2*i - 70, -4*h - 5*i + 140 = 0. Is h composite?
True
Let v(m) = -18*m. Let s be v(1). Is -36*s/4 - 3 a composite number?
True
Let d(s) = s - 1. Let m be d(4). Suppose -m*c + 11 + 4 = 0. Suppose n - 5 = 0, 2*n - 395 = -c*o - 0*o. Is o a composite number?
True
Is -8*(-1)/(-2)*254/(-8) prime?
True
Let x be 1/1 + (1 - -3). Suppose 0 = -4*a + u + 82, -x*a + 5*u = -2*a - 53. Is a composite?
True
Let s(b) = 6*b**3 - 46*b**2 + 20*b + 35. Let l(h) = -h**3 + 9*h**2 - 4*h - 7. Let z(g) = -11*l(g) - 2*s(g). Is z(-8) a prime number?
False
Let n = 499 - 322. Suppose n = 3*t - 54. Suppose -4*x = -135 - t. Is x composite?
False
Suppose 0 = 5*j - 3*j + 12. Let d be (-74)/j - 2/(-3). Let g = 8 + d. Is g prime?
False
Let a be 8/12*18/4. Suppose 2*j + c = 136, -2*j + 327 = a*j - 4*c. Is j composite?
False
Suppose -4*t - 3*k + 6*k + 6 = 0, -k = -5*t + 13. Let u = t - 1. Suppose 3*n - 5*s - 62 = 0, -3*n = -u*s + 13 - 72. Is n a prime number?
True
Suppose -m = -4*p + 201, -4*p - 4*m + 50 + 126 = 0. Is p prime?
False
Suppose 5*v - 14463 = 2542. Is v a prime number?
False
Let x(q) = -3*q**2 + 6*q**2 + 2*q + 2 - 2*q**2. Suppose 5*y + 13 = 3*c + 4*y, 26 = 4*c + 3*y. Is x(c) a prime number?
True
Let g(k) = -k**2 + 10*k - 9. Let n be g(6). Suppose -276 = -3*y + n. Is y a prime number?
True
Let a be (-3)/3*3 - -1118. Suppose -y = 4*y - a. Is y prime?
True
Let k be (-6)/27 - 94/(-18). Let g be 2/8 - (-1509)/12. Suppose -3*x - 78 = -i, k*x = -2*i + x + g. Is i composite?
True
Suppose -c - 1273 = -2*c. Let u = -800 + c. Suppose 0 = 4*l + q - u, 4*l - q - 122 = 3*l. Is l prime?
False
Suppose 0 = 2*a - 5*a + 18. Is (1 - 419)/(a/(-3)) prime?
False
Suppose 3*a + 2*w - 5565 = 0, 5*w - 7413 = -0*a - 4*a. Is a a prime number?
False
Let w(b) = -3*b**3 - b**2 + 1. Let d be w(-1). Suppose j = -4*z - 1, -j + 4*j + d = -4*z. Is -1 + (2 - (-6 - j)) prime?
False
Let k(u) = -7*u**3 - 5*u**2 + u - 1. Let c be k(-4). Suppose -4*p = -5*r - c, -5*r - 120 + 48 = -p. Is p prime?
True
Let j(h) = -h + 3. Let v be j(3). Let r = 6 + -4. Suppose r*x + 3*x - 20 = v. Is x a composite number?
True
Let v(b) = -b**3 - 3*b**2 + 1. Let g be v(-4). Let i = -10 + g. Is i composite?
False
Suppose 3*n - 2*n + 1 = 0. Let l(u) = 24*u**2 + 2*u + 1. Is l(n) prime?
True
Let g be (-1)/((-1)/4*2). Let f = 21 - g. Is f prime?
True
Let z(q) = 19 - 2*q**3 + q - q + q**3. Is z(0) a prime number?
True
Let b(k) = 42*k**2 + 29*k + 10. Is b(-9) a composite number?
True
Let o(x) = 19*x**2 + 4*x - 14. Is o(-7) prime?
False
Let w(u) = -u + 7. Let z be w(5). Suppose -6*y - 8 = -z*c - 3*y, -2*y + 25 = 3*c. Is c a composite number?
False
Let h = 13 - 3. Let o = 5 + h. Is o a prime number?
False
Is 2*((-143)/2)/(-1) composite?
True
Suppose -5*d - 2*g = -0*g - 34, 0 = 4*d + 5*g - 34. Is d a composite number?
True
Let y = -337 - -1056. Is y a composite number?
False
Suppose 0 = -2*d - 6, 0*g - 9 = -g + 2*d. Suppose g*w - w = -1186. Let p = w - -856. Is p composite?
False
Let z = -19 - -66. Suppose -6*v + z = -5*v. Is v composite?
False
Let r = -6848 + 10737. Is r a prime number?
True
Let d = 369 - 158. Is d a composite number?
False
Suppose -4*v + v = -546. Suppose 0*p = -2*p + v. Is p composite?
True
Let q = -809 + 1302. Is q a prime number?
False
Is (0 + 1778)*4/8 composite?
True
Let j(s) = -s**2 + 4*s + 6. Let r be j(5). Suppose g + r - 5 = 0. Suppose 3*k + g*h = 81, 0 = 5*k - 0*h - 5*h - 170. Is k a prime number?
True
Suppose -3*h + 628 = u, -3*u + 624 = 3*h - 6*u. Suppose -3*c + 22 = -h. Is c prime?
False
Let f(v) = -v**3 + v**2 + 8*v + 1. Let x be f(7). Let d = 201 - x. Suppose -5*j = -4*n + 864, 2*n = j + 3*j + d. Is n a composite number?
False
Let i(w) = -4*w**3 + w. Let u be i(1). Let j = 6 + u. Suppose 2*x + c - 270 = -j*x, 0 = -x + 5*c + 28. Is x prime?
True
Let b(v) = 3*v**2 + v - 1. Let s be b(1). Suppose 97 = s*m - 2. Is m a prime number?
False
Let s(x) = -x - 15. Let i(l) = l + 16. Let q(n) = 4*i(n) + 3*s(n). Let t be 4/(-6) + 4/6. Is q(t) a composite number?
False
Suppose 621 = 2*y + 5*l, -3*y + l + l = -979. Is y a composite number?
True
Let b = 4 + -2. Suppose 0*u - u - b*j = 1, -19 = 5*u - 4*j. Let s(f) = 2*f**2 + f - 4. Is s(u) a prime number?
True
Suppose -13 = -5*a + 2. Suppose -2*l + 2*b = -8 - 10, -24 = -4*l + b. Suppose -a*r = l*j - 88, r - 67 = -r + 5*j. Is r prime?
True
Let i(w) = -3*w - 5. Let n = 9 + -13. Is i(n) a composite number?
False
Suppose -3*t = -8*t - 75. Let k = t - -36. Is k prime?
False
Is -13*10/2*-1 prime?
False
Let j(q) = q - 3. Let f be j(3). Is f + (0 - -1) - -122 prime?
False
Suppose 5*c - 628 = -73. Is c a prime number?
False
Suppose -2*b - 18 = b. Let j be -2*(-1)/(b/(-15)). Is (2 + 0)*j + 0 composite?
True
Let v(u) = u**2 + u + 2473. Is v(0) a composite number?
False
Let o = -6 - -9. Suppose -o*i = -46 - 113. Is i a compo