s = u*m - 27. Is m a prime number?
False
Let s(g) = -g**2 - 4*g + 3. Let n be s(-4). Let r(y) = 3*y**3 - y**2 - 5*y + 2. Is r(n) a composite number?
False
Suppose 0 = -0*s + s. Suppose v + 3 - 93 = s. Suppose 5*n - v = 15. Is n a composite number?
True
Let u = 27 - 9. Is (-1428)/u*9/(-6) prime?
False
Suppose h + 60 = 3*h. Let w = -17 + h. Is w composite?
False
Suppose -8 = 5*b + 2. Let d be (-2 - 0)*9/b. Suppose 5*z + 140 = d*z. Is z prime?
False
Let b = 2 - 0. Suppose 4*d = b*f + 90, f = -3*d - d + 81. Is d composite?
True
Suppose 0*a = -a + 1043. Is a a composite number?
True
Let f = 13 + -11. Suppose f*x - 291 = n, -2*n - 727 = -5*x - 0*n. Is x a prime number?
False
Let w = 11 + -5. Suppose 2*m + 4*o - 780 = w*m, -m = -3*o + 191. Let d = 360 + m. Is d a prime number?
True
Suppose 0 = -2*u + 23 - 53. Let h(v) = 6*v. Let k be h(-5). Let r = u - k. Is r a composite number?
True
Is 5 + -5 - (-3916)/4 a prime number?
False
Suppose 5*j = 6*j - 99. Suppose 2*r - 705 + j = 0. Is r prime?
False
Let p = -5 - -8. Let n = 8 + p. Is n composite?
False
Let h = 8 + -5. Suppose -s = -h*s + 20. Is s a prime number?
False
Let y be 1/(-4) - 10665/(-20). Let f = y - 372. Is f a prime number?
False
Suppose d - 2*p - 18 = -0*d, 2*p = -d - 2. Let t(n) = -7*n**2 + 13*n - 2. Let o(w) = -15*w**2 + 27*w - 4. Let b(j) = 6*o(j) - 13*t(j). Is b(d) composite?
True
Let s(d) = 16*d**2 + 2*d - 2. Suppose 2*y - 2*r = 4, -2*y + 2*r + 3*r = -16. Let i be s(y). Suppose a = -z - 4*a - 4, 0 = 5*z - a - i. Is z composite?
False
Suppose 4*k - 3*i - 6355 = 2*i, -4*k + 6325 = 5*i. Is k a composite number?
True
Let x = 427 - 266. Is x a composite number?
True
Is (-24054)/(-4)*28/42 composite?
True
Let x(q) = q**2 - 2*q + 4. Let d be x(-5). Suppose d = 5*k - 26. Is k prime?
True
Suppose 699 = 2*p - p - 2*r, 3*p - 4*r = 2103. Suppose 0*x + 3*x - p = 0. Is x composite?
True
Let q = 11 + -15. Is 2/q*-37*6 a composite number?
True
Let x = 1157 + -787. Is (-2)/8 - x/(-8) a prime number?
False
Suppose -2*c = -8 - 30. Is c a composite number?
False
Is (15/(-6))/((-1)/14) composite?
True
Let r = -5 - -3. Is 3*(r - (-20)/3) a prime number?
False
Let m = 1109 - 772. Is m prime?
True
Let k(j) = 63*j**2 + 2*j + 3. Is k(-2) composite?
False
Suppose -322 = -5*v + 3*v. Suppose -4*a + v = -135. Suppose -3*c - 27 - a = -2*h, 0 = 4*h + 3*c - 193. Is h a prime number?
False
Suppose 0*q + 2*s = -q + 29, -10 = -5*s. Let m = -6 + q. Is m a prime number?
True
Suppose -4*x + 2 = -2. Let d = x + 1. Suppose 6 = d*u - 0*u. Is u a prime number?
True
Let l(v) be the second derivative of 65*v**3/6 + 7*v**2/2 - v. Is l(6) composite?
False
Let a(i) = i + 8. Let k be a(-5). Suppose 0 = -k*z - 18. Let f(d) = d**3 + 7*d**2 + d - 5. Is f(z) a composite number?
True
Suppose -3662 = -10*v + 5*v + 3*k, 4*v - 2935 = -3*k. Is v prime?
True
Is (-93)/6*-2*1 prime?
True
Let t(r) = 53*r**3 - r**2. Let z be t(1). Suppose -4*y = 2*l - z, 5*y - 7 + 107 = 5*l. Is (l/6)/(2/30) a composite number?
True
Suppose -4*p + 13 = -5*r + 2*r, -4*p + 2*r + 10 = 0. Is (-3)/(4 - p) - -54 prime?
True
Let a(p) = -6*p + 7*p + 61*p - 7. Is a(3) composite?
False
Let u = -1 + -4. Let p = -2 - u. Suppose -4*q + h + p + 52 = 0, 4*h = 4. Is q a prime number?
False
Let p be (-3)/(3/(-4)) + -4. Let b(j) = -j**2 - 2*j + 57. Is b(p) a prime number?
False
Let i(b) = 4*b + 1. Let q be i(1). Let p(v) = v**2 + 6*v + 5. Let d be p(-5). Suppose g - 3*c - 28 = d, -3*g = g - q*c - 77. Is g composite?
False
Let n = 296 + -85. Is n a composite number?
False
Let l = -1261 + 1848. Is l a prime number?
True
Suppose 6*s - 2039 + 701 = 0. Is s a prime number?
True
Let k(f) = 4*f**2 + 1 + 0*f + 3*f**3 - 2*f**3 - f. Let b be k(-4). Suppose 4*a = b + 7. Is a prime?
True
Let u be 130/4 + 2/(-4). Suppose 5*i = -4*d + 61, -d - u = -4*d - i. Is d composite?
True
Is (8 - 9)/(1/(-347)) prime?
True
Suppose 0*j + j - 5 = 0. Suppose -j*l + 211 = 4*k, 2*l + 40 = 3*l + 3*k. Is l prime?
True
Suppose -9 = -r - 4. Suppose l + 3*p + 252 = 4*l, r*l = 3*p + 422. Is l prime?
False
Let f(v) be the third derivative of v**5/3 + v**3/6 + v**2. Is f(1) prime?
False
Suppose -5*r + 28 = v, 3*v + 2*r - 18 = 14. Let h(z) = 9*z - z**2 - z + 7*z - 9. Is h(v) a prime number?
True
Let h = -1133 + 2532. Is h a composite number?
False
Suppose 4*t = -6 + 2. Is t/(-4) - 182/(-8) prime?
True
Let f = 982 + -675. Is f a composite number?
False
Let p be -141 + (-1 - (2 + -5)). Let y = 530 + p. Is y prime?
False
Let a = -23 - -37. Is (a - 0)/(10/55) a composite number?
True
Let k = 1118 - 709. Is k a composite number?
False
Let a be (-6)/(-3) - 4 - -12. Is a/25 + 803/5 prime?
False
Let p(a) = 264*a**2 - 4*a + 1. Is p(2) composite?
False
Suppose f = -3*f - 256. Let m = -5 - -3. Is f/(-2) - m/2 a composite number?
True
Let t = 305 - 178. Is t prime?
True
Let t = 19 - 30. Let z(o) = -o**3 - 10*o**2 - 11*o + 9. Is z(t) prime?
True
Let y be (18/(-15))/((-3)/(-15)). Let s(q) = -15*q + 7. Let i be s(y). Suppose x - 37 = -3*t, -3*x + 6*t = t - i. Is x composite?
True
Let k = 2 - 5. Let b be (1/3)/((-1)/(-15)). Is (b + k)*14/4 prime?
True
Let j = 720 + 475. Is j a composite number?
True
Suppose 3*o + 8 = -13. Let h be (-345)/o + (-2)/7. Let d = h - -48. Is d prime?
True
Let i(z) = 14*z - 2. Is i(6) composite?
True
Let q be (-176)/(-28) + 6/(-21). Suppose 110 = q*o - o. Is o composite?
True
Suppose 0 = 3*h + 4*c - c - 864, -2*h + 606 = -4*c. Suppose -4*q = -2*y - 2*q + 406, 0 = y - 3*q - 201. Let d = h - y. Is d a composite number?
False
Let g = -60 - -139. Suppose -2*u - 4*a + 114 = 0, -2*u + 5*a + 26 = -g. Is u composite?
True
Suppose 3*i - 68 - 13 = 0. Let n = i - 2. Is n prime?
False
Suppose 0 = -4*z - 4, -41 = -3*f + 2*z + 21. Is (21/2)/(15/f) prime?
False
Let c(l) = -2287*l**3 - 2*l**2 + l - 2. Let z(v) = 9149*v**3 + 8*v**2 - 4*v + 9. Let j(o) = -9*c(o) - 2*z(o). Let m be j(1). Is (-12)/42 + m/14 prime?
True
Suppose -4*y + 2*j + 14 = 0, 0*j = 5*y - 5*j - 20. Let r be (1*(-3)/y)/(-1). Let x(t) = 126*t**3 + 2*t**2 - 2*t + 1. Is x(r) a composite number?
False
Let h = 269 + 71. Let s = h - 179. Is s a prime number?
False
Let c(t) = 2*t**3 - 14*t**2 + 5*t + 4. Is c(9) composite?
False
Let u(j) = -5*j**2 - 2. Let n be u(-2). Let r = n - -77. Is r a composite number?
True
Let l = -7 - -16. Suppose -4*m + m = 3*t - l, -m - 15 = -5*t. Is t a prime number?
True
Let p(u) = -2*u**3 + 3*u**2 - 5*u + 1. Let x be p(7). Let i be x/(-21) - (-8)/(-28). Suppose -s = -i - 26. Is s composite?
False
Let i be 45/6 - 2/4. Let b be 58/i - 2/7. Suppose 3*k + k = b. Is k composite?
False
Let t be 39/4 + (-4)/(-16). Suppose 3*l + t = 5*o, 2*l - 3*l = o + 6. Is 19*1 - (1 + o) a prime number?
True
Suppose 4*q = -5*c + 312, -126 = 3*c - 5*c - q. Let b = c - -75. Is b a composite number?
False
Let j = -386 + 687. Is j a composite number?
True
Let v(t) = -t**3 + 8*t**2 + t - 5. Let f be v(8). Suppose -749 = f*l - 5*a, -l - a - 112 = 151. Let k = l + 361. Is k prime?
True
Suppose 2*a - 4*p = -40, 0*a - 4*p - 50 = a. Suppose -4*j + 128 = -68. Let y = j + a. Is y composite?
False
Let x be (-8)/12*(-18)/4. Let u be 3/9 - (-17)/x. Is (-76)/(-8)*1*u a prime number?
False
Let r = 191 - -290. Is r a composite number?
True
Let m be (-3 + (-1 - -7))/1. Suppose 0 = m*h + 2*g - 599, -2*h - g + 399 = -0*h. Is h a prime number?
True
Let o(t) = 10*t**2 + 9*t - 14. Is o(9) composite?
False
Suppose 5*h - 20 = 0, 0 = 2*w - 2*h - h + 14. Is 23/(w + (-9)/(-6)) composite?
True
Let k(m) = m**2 - 4*m + 3. Let x be k(4). Suppose 2*q + x*q = 10. Is q/(-5) + 172/5 prime?
False
Let j(c) = 7*c + 7. Let u(d) be the second derivative of d**5/20 + d**4/4 - d**3 - d**2 - 2*d. Let i be u(-4). Is j(i) composite?
True
Let f(s) = 20*s**2 + 12*s - 1. Let q be f(-11). Suppose -3*k - 5*t + q = 0, 3*t = -k - 0*t + 761. Suppose 3*m = 7*m - k. Is m a prime number?
True
Let i = -8 + 15. Is i prime?
True
Let k = -601 + 1001. Suppose -k = 5*t - 1005. Is t a prime number?
False
Let b(o) = 42*o - 1. Let k be b(2). Suppose -5*m = -4*m - k. Is m composite?
False
Suppose -4*h - 1156 = -4*v, -6*h + h - 584 = -2*v. Is v a prime number?
False
Is (-1 - 30)*(-9 - 4) a composite number?
True
Let b = 427 + -20. Suppose -3*v - b = -p - 0*p, -5*p = 5*v - 1955. Is p prime?
False
Let q(f) = 19*f + 3. Is q(4)