46. Is r prime?
True
Let p(u) = u**2 - 11. Is p(8) prime?
True
Let b(r) = -r + 12. Let t be b(10). Suppose 1 = -t*w - 3. Is 53/(0 + 1) - w prime?
False
Let l(n) = -2*n - 9. Let c be l(-6). Let d be (-732)/(-8) + c/(-6). Suppose 0 = g - 3*w - 73, -g - d = -3*g - 5*w. Is g composite?
True
Is -31*3101/(-28) - (-2)/(-8) a prime number?
True
Let z(i) = 3*i - 1. Let g be z(1). Suppose -b - 4*b - 4*r = -459, 179 = g*b - 3*r. Is b a composite number?
True
Suppose 5*j = -2*h + 23, -23 = -4*j + 3*j - 5*h. Suppose 0 = -c + j*m + 405, 2*c - 814 = 4*m - 0*m. Is c a composite number?
True
Let r(v) = -v + 12. Let m be 1*(2 + -1) - 0. Let j be (-2 - (-2 - 5))/m. Is r(j) prime?
True
Let v(g) = g**2 + 6. Is v(-11) prime?
True
Let h(o) = o**2 + 49. Is h(0) a prime number?
False
Let o = 1 - -8. Let p be ((-24)/(-9))/(3/o). Is (4/(p/66))/1 prime?
False
Suppose -3*v = -1438 - 449. Is v composite?
True
Let t(k) = -345*k - 4. Let a(q) = 690*q + 9. Let v(c) = -2*a(c) - 5*t(c). Is v(1) a composite number?
False
Suppose 3*a - a - 2 = 2*n, -2*n - 14 = -5*a. Suppose 9 = -a*k - 11. Is 1/(((-15)/99)/k) a prime number?
False
Let w = 13 + -16. Is (-173)/w - (-8)/24 a composite number?
True
Let o = 2348 - 789. Is o composite?
False
Let j(f) be the first derivative of 5*f**4/2 - f**3 + 2*f**2 - 2*f + 4. Is j(2) composite?
True
Suppose -3*l + 44 + 85 = 0. Is l a prime number?
True
Let b = 10 + -17. Let x = b + 5. Is 38/(-4)*(x - 0) prime?
True
Suppose -51*s + 56*s - 4665 = 0. Is s a prime number?
False
Let a(f) = 66*f + 13. Is a(8) a composite number?
False
Let w(l) = 2*l**2 + 30*l + 39. Is w(-22) a composite number?
False
Let q be (-8)/20 + (-2)/(-5). Suppose -g + 4*g - 12 = q. Let h(b) = 24*b + 1. Is h(g) a prime number?
True
Suppose 3*s - 2*y - 743 = 0, 2*s + s = -3*y + 768. Is s a prime number?
True
Suppose -3*t - 2 = -8. Suppose -x + 4*o = -342, 5*x - o - t*o = 1676. Is (-1 - 9/(-6))*x a composite number?
False
Let d = 3 + 5. Suppose z - d = -3*z. Is 17 + 0 + 1*z a composite number?
False
Suppose -4*l + 4*s + 6008 = 0, 2*s + 2*s = -12. Is l composite?
False
Suppose 0 = 5*i + 3*v - 12347, -4*v + 12339 = 5*i - 3*v. Is i composite?
False
Suppose -2*s - 16 = -94. Is s a prime number?
False
Suppose 2*z + 0*z - 568 = 0. Suppose 8 = 4*g - 4. Suppose -m = g*m - z. Is m a composite number?
False
Let h be 2/(0 - -2) - 1. Let w = h - -20. Let k = 55 - w. Is k a prime number?
False
Let k = -37 - -228. Is k a prime number?
True
Suppose -2*t = 1 - 3. Let c be t*(-2)/((-1)/(-1)). Let j = c + 4. Is j a prime number?
True
Let k be (-1)/(0 + -2 + 3). Is 67 - k*0/3 a prime number?
True
Suppose -c - 4*x = -220, 0 = -3*c - 2*c - 4*x + 1148. Suppose 3*n = -n + c. Let y = n + -39. Is y a composite number?
False
Let g(a) = a**2 + 2*a + 4. Suppose -2*z + 4 = 10. Let l be g(z). Suppose -8*n + 31 = -l*n. Is n composite?
False
Let y be 14*(10 + -2) + 0. Let g = y - 59. Is g prime?
True
Suppose 0 = i - 4*n + 3*n - 276, 2*i = -n + 546. Is i a prime number?
False
Suppose 104 + 51 = 3*b - 4*d, 0 = 2*b + 4*d - 110. Is b a composite number?
False
Let m(k) be the first derivative of 35/2*k**2 - 2 - 3*k. Is m(2) prime?
True
Is (-602)/(-3) + (-7)/(-21) composite?
True
Let s(z) = z**3 + 6*z**2 + 4*z - 5. Let m be s(-5). Let r = 5 - m. Suppose -30 = -n + r*h, -3*n = n - 2*h - 48. Is n a composite number?
True
Let h = 3 - 4. Is h*(79/(-1))/1 a prime number?
True
Let x = 1 - -1. Let t be 9/x*(-10)/(-15). Suppose -t*b = -6*b + 63. Is b composite?
True
Let x(c) = -c**2 - 3*c + 4. Let s be x(-4). Suppose 0 = -3*a + 6*a + 2*n - 3, 3*a - 2*n - 3 = s. Is a/4 + 675/20 composite?
True
Let h be 23*6 - (-2 + 0). Let c = h - 42. Suppose 3 - c = -5*d. Is d a prime number?
True
Suppose 0 = 5*f - 11 - 4. Suppose -5*b = -f*q + 713, -3*q - 2*q - 3*b = -1143. Suppose 2*c + q = 5*c. Is c a composite number?
True
Let v be -3 + 1/(4/1036). Suppose v + 218 = 4*g + 2*o, 5*g = o + 596. Is g composite?
True
Let u(f) = f**2 + 2*f + 8. Let v be u(6). Let o = 125 - v. Is o prime?
False
Suppose 0 = 2*c, l - 4*c + 1700 = 5*l. Suppose 0 = 2*w + 3*w - l. Is w composite?
True
Let z be 2/8 + (-7)/28. Let l(i) = i**3 + i**2 + i + 149. Is l(z) a prime number?
True
Let a(v) = 2*v**3 - 2*v**2 - v + 1. Let m be a(2). Let f = 40 - m. Is f prime?
False
Let y(a) = 3*a**3 - 6*a**2 - 5*a + 20. Is y(6) a prime number?
False
Suppose 13*d - 20*d + 20545 = 0. Is d a composite number?
True
Let p = 950 - 541. Is p a composite number?
False
Let m(h) = h**3 - h**2 + 5. Is m(4) prime?
True
Let j(z) = -z**3 - 4*z**2 + z + 7. Let f be j(-5). Let h = f + 50. Is h a composite number?
True
Let x be 3/(-3) + (-5 - -1). Let r = x - -9. Suppose 0 = -l - y + 20 + 1, r*l - y = 74. Is l a composite number?
False
Let a(i) = 23*i + 46. Is a(27) composite?
True
Is (-188)/(-6)*(51/2 - 0) a composite number?
True
Suppose 0 = -2*a + 4*r + 45 - 15, -5*a = -4*r - 75. Is a prime?
False
Suppose i - 244 = -7. Is i a prime number?
False
Suppose 0*y - y - 1 = 0. Let d(p) = -p**2 - p. Let h(x) = -35*x**3 + 3*x**2 + 2*x - 1. Let a(o) = 3*d(o) + h(o). Is a(y) prime?
False
Let u be (6/5)/((-8)/(-20)). Suppose -u*i + 43 + 296 = 3*b, 0 = -5*b - 15. Suppose 4*z - i = 336. Is z prime?
True
Is (317/(-3))/(4/(-12)) composite?
False
Let l = 236 - -531. Is l a composite number?
True
Let f(u) = -21*u + 5. Let o be f(-4). Suppose -o = -4*b - 13. Suppose -b = 3*a - 124. Is a prime?
False
Let l(k) = -k**2 + 4. Let o be l(0). Suppose 0 = 3*a + o*p - 16, 2*p + 8 = a + 6*p. Suppose -u - z = 3*u - 60, a*z - 44 = -2*u. Is u a prime number?
False
Let a be 1*(2 + 4/(-2)). Suppose a*n = -n + 57. Suppose 2*u = -3*y + 89, -106 = -4*u - 3*y + n. Is u prime?
True
Let g be 89 - (0/(-4) - -3). Suppose -s = s - g. Is s a prime number?
True
Suppose 28*q - 26*q = 432. Suppose -3*k - 87 = -q. Is k a composite number?
False
Let p(v) = 2*v**2 + 6*v - 1. Suppose 0 = -4*h - 5 - 31. Let i(z) = -z**2 - 7*z + 12. Let s be i(h). Is p(s) prime?
False
Let g(h) = 2*h**2 + 8*h + 10. Let x be g(-9). Suppose -x = -3*w + 116. Let l = w - 25. Is l a composite number?
False
Let q = -2 - 1. Let j(m) be the third derivative of -13*m**4/24 - m**3/3 + 4*m**2. Is j(q) composite?
False
Suppose -4*g + 4*h + 28 = 0, 18 = 4*g + h - 0. Let a(i) = 7*i - 3*i - g + 2*i. Is a(6) a composite number?
False
Suppose -4*w + 10042 = -5*l, 6*l - 5*l - 2515 = -w. Is w a composite number?
True
Let x be (-1 + 2)*(-1)/1. Is 396 + (-2 + 3)*x composite?
True
Suppose -112 = -4*a + 276. Is a a composite number?
False
Let z(g) = 6*g**2. Let v be z(1). Let s be 81*((-10)/v)/(-1). Suppose 3*b = -5*o + 1076, 3*o + b + s = 783. Is o a prime number?
False
Suppose 0*j - 2*j + 2680 = 0. Is j/6 - (-5)/(-15) a composite number?
False
Let f(k) = -k**3 + 11*k**2 - 6*k - 11. Is f(8) composite?
True
Let m = -11 - -15. Suppose -26 = -m*r - o, 0 = 3*o - 2 - 4. Is (r - 5)*19*1 a prime number?
True
Is 93958/22 - 6*(-7)/231 composite?
False
Let k = -28 - -74. Suppose -19 - k = -5*p. Is p a composite number?
False
Suppose 4*o + 4 = 0, 2*u - 2*o + 3 = 13. Let r(i) = i**2 - 3*i. Is r(u) a composite number?
True
Suppose -4*u - 2957 + 7993 = 0. Is u a composite number?
False
Suppose 0 = -u - 2*u + 18. Suppose 5*l - 2*l = 9. Suppose 0 = -l*h + 5*h - u. Is h composite?
False
Suppose -4*o + 26 = -30. Is o a composite number?
True
Suppose -4*g - 2*g + 1410 = 0. Is g prime?
False
Suppose -2*x + 714 = 202. Let y = -71 + x. Is y composite?
True
Suppose 20 = 2*o + 3*o, 0 = 2*t + 2*o - 2286. Is t a prime number?
False
Let x(r) be the third derivative of r**6/120 - r**5/20 + r**4/24 + 2*r**3/3 + 2*r**2. Is x(5) composite?
False
Let l = -125 + 388. Is l a composite number?
False
Let c = -2 + 5. Let t be c + 1 + (-2)/(-1). Let h(a) = 14*a - 1. Is h(t) composite?
False
Suppose m - 5*g + 148 = 964, 5*g = -5*m + 4170. Is m composite?
True
Suppose 45 = 5*t - z + 7, t + 2*z - 1 = 0. Suppose t*b - 195 = 2*b. Suppose f - 7 - b = 0. Is f prime?
False
Let u(a) be the third derivative of a**5/20 - a**4/24 + 2*a**3/3 + 2*a**2. Let p be u(5). Suppose -p = -4*z + 2*z. Is z composite?
False
Let k = -64 - -161. Is k a prime number?
True
Suppose -c = 128 - 29. Let z = 184 + c. Is z a prime number?
False
Suppose -11*n = -10*n. Suppose n = -4*r + 720 + 164. Is r prime?
False
Let x(z) = z**3 - 9*z**2 - 13*z - 8. Sup