8*r - 5. Is a(4) composite?
False
Suppose 4*w = -0*c + c + 1167, -4*c - 273 = -w. Is w a prime number?
True
Let f be (1 - (4 - 1)) + -3. Let m = f - 8. Let z = 28 + m. Is z composite?
True
Let b(r) = -45*r - 4 + 9 + 1. Let g be b(4). Let a = -47 - g. Is a composite?
False
Let c(p) = -p**3 + 8*p**2 - 5*p + 8. Is c(7) prime?
False
Let x be (-34)/(-6) - 1/(-3). Let v(b) = -b**3 + 9*b**2 - 6*b + 7. Is v(x) a prime number?
True
Let j = -65 - 120. Suppose 771 = 3*a + 3*z, -2*a - 4*z + 164 = -340. Let g = j + a. Is g composite?
True
Let m(u) = u + 9. Let i be m(-3). Let l be -3*(20/(-6) - 2). Suppose -x = i - l. Is x prime?
False
Suppose -1 = -5*z + 24. Let v(o) = -14*o**3 + 4*o**2 + 2*o - 1. Let p be v(-3). Suppose -g = 2*g - l - 253, p = z*g + 2*l. Is g composite?
False
Let z = 9 - 5. Let u(c) = c**2 - 2*c - 9. Let t be u(9). Suppose 5*f - 2*q = t, 0 = z*f - 7*q + 2*q - 50. Is f composite?
True
Suppose 211 = 3*q - 7*q - 5*y, 5*q - 5*y + 275 = 0. Let k = -170 + 277. Let u = q + k. Is u a prime number?
True
Let n = -12 - 21. Let k = n + -1. Let p = k + 49. Is p a composite number?
True
Let h(q) = -5*q**3 - 3*q**2 + 9*q - 3. Is h(-4) a composite number?
False
Let k = 55 + -21. Let c(h) = 8 - 9 - h**2 + h + k. Is c(0) a composite number?
True
Let w(r) = -r**3 + 6*r**2 + r - 2. Let l be w(6). Suppose 0 = -2*m + 7*m + 4530. Is (-1)/l - m/8 a prime number?
True
Let i be (6 + 230)*(-1)/(-2). Suppose 2*r = 5*g + i, 4*g = 5*r - 53 - 55. Let l = -13 - g. Is l composite?
True
Let s(f) = 32*f**2 - 14*f + 7. Is s(3) a prime number?
False
Suppose v = 3*l + 1037, -5*v = 6*l - 4*l - 5219. Is v a prime number?
False
Is (-1 + 492/15)*5 prime?
False
Suppose -2*m + 361 = -277. Is m prime?
False
Let f = -11 + 13. Is f/5 - (-732)/20 prime?
True
Let x = 7 - 5. Suppose c + 5*m = 92, 0 = -5*c - m - x*m + 482. Is c a prime number?
True
Let u(s) = 331*s. Let y(r) = -r**3 + 7*r**2 + r - 6. Suppose -t + 4*c - 13 = -0, -3*c - 6 = -3*t. Let p be y(t). Is u(p) a prime number?
True
Let c = 1 - -2. Suppose k = 32 + c. Is k prime?
False
Let t = 197 + -94. Is t a prime number?
True
Let f be ((-4)/5)/((-2)/5). Suppose -3*q + f*o = -2*o - 20, 4*q - 6 = -5*o. Suppose -q*k = -0*k - 84. Is k a prime number?
False
Let l be (-1 + 1)*(-1)/2. Let m(s) = s + l*s + s. Is m(7) composite?
True
Let i = 14 - 10. Let l(u) = -3*u. Let a(x) = x**2 - 1. Let c(q) = a(q) + l(q). Is c(i) prime?
True
Let x(h) = 51*h - 2 - 4 + 0. Let n be x(4). Let j = n + -119. Is j composite?
False
Let y be -4*(-3)/36*477. Let w(o) = -o**3 - 3*o**2 + 4. Let t be w(-3). Suppose t*s = s + y. Is s a prime number?
True
Suppose -5*h = 435 + 1650. Let f = h + 618. Suppose 3*b - f = -0*b. Is b prime?
True
Let y(b) = b**2 - 17*b + 18. Let i be y(16). Let h be -30 - (-1 + 3)/(-2). Is (i - h)/(1/1) a prime number?
True
Is 22/(-3)*3186/(-36) composite?
True
Let b = 18 - 10. Let l = -3 + b. Suppose g = 5*w + 1, -5 = l*w - 10*w. Is g a composite number?
True
Is ((-4146)/24)/(3/(-12)) composite?
False
Let y(u) = 22*u + 1. Let n(x) = -x - 3. Let l be n(-7). Suppose -l*h - 1 = -5*h. Is y(h) prime?
True
Let a(s) = -2*s + 4. Let r be a(3). Let k be 1 - r - 1 - -34. Let y = k + -17. Is y prime?
True
Suppose -713 = 6*d - 2231. Is d prime?
False
Suppose 0 = -2*h - 3*h + 620. Is (h/10)/(2/10) prime?
False
Suppose 3*g = g. Suppose -5*r + 12 + 153 = g. Is r composite?
True
Let x(c) = c**3 - 3*c**2 - 6*c + 2. Let g be x(-5). Let j = -361 + 618. Let w = g + j. Is w composite?
False
Suppose f = 3*k - 646, f + f = 2*k - 424. Is k prime?
False
Let t(r) = r**3 + 9*r**2 + 8*r + 4. Let n be t(-8). Suppose n = 3*f + f. Is 3*1 - (-35 + f) a composite number?
False
Let a be (15/(-2))/(2/44). Let r = a + 242. Is r a prime number?
False
Is ((-276)/(-9))/((-4)/(-6)) a composite number?
True
Suppose -145 = x - 4*x - 5*z, -3*x + 130 = 2*z. Let w = x - 21. Is w prime?
True
Let l(m) = m**2 - 10*m + 12. Let q be l(9). Let x be (-8)/q*(-3)/2. Is 7/x + 1/4 composite?
False
Suppose -y + 1826 = 5*k + 345, -y - 2*k + 1493 = 0. Is y a prime number?
False
Let w(q) = 54*q + 1. Let m(k) = k. Let v(j) = -6*m(j) - w(j). Let g be v(-1). Let f = g - 40. Is f composite?
False
Let h(t) = t**3 - 2*t**2 - 2*t + 2. Suppose -x + 4*i = -23, 5*x + 1 = 2*x - 2*i. Let l be h(x). Let q(g) = 26*g - 7. Is q(l) prime?
False
Let w(n) = n - 4. Let p be w(6). Suppose p*j = j, -3*j = 4*x - 744. Let r = x - -25. Is r a prime number?
True
Suppose 0 = 5*b + 4 + 11, 0 = 5*i + b - 7. Let f be i*-2*6/(-8). Suppose -c = -5*q + 274, -q + 4*c - f = -54. Is q composite?
True
Let m be (-2 - -3) + -31 - 0. Let u be (-1 - m) + -2 + 0. Suppose -2*v = u - 69. Is v a composite number?
True
Let x(g) = 46*g - 108. Is x(29) a prime number?
False
Suppose 9 + 16 = -5*w, 5*w + 29 = 4*j. Let u(d) = 2*d**2 + d. Let r be u(j). Suppose -4*m = -r*n + 97, 0*n = 5*n - 3*m - 180. Is n a composite number?
True
Let u(n) = 2*n**2. Let s be u(-1). Suppose 0 = -t + 2 + 6. Let k = t + s. Is k composite?
True
Let t(d) = 3*d**2 - d + 4. Suppose 3*z - 6 = 4*j, -3*z + 3 = -3*j - 0. Is t(j) a composite number?
True
Let m(n) = n**3 + 6*n**2 + 6*n + 6. Let r = 2 - 7. Let i be m(r). Is 1 + i - (-2 + -63) a prime number?
True
Suppose 0 = -4*h - 3*c + 103, -71 = -6*h + 3*h + 4*c. Is h prime?
False
Is (-6915)/(-6)*(2 + (-18)/15) composite?
True
Is (-4)/26 - ((-25235)/(-13))/(-1) a composite number?
True
Suppose 5*a - 607 - 458 = 0. Is a prime?
False
Let u(b) = -10*b**3 + 8*b**2 - 4*b + 5. Let y(m) = -m**3 - m**2 + m - 1. Let q(i) = u(i) + 6*y(i). Is q(-2) prime?
True
Suppose -4*j = -8*j - l + 576, 0 = -2*l + 8. Is j a composite number?
True
Let x = -272 + 433. Is x composite?
True
Let n(g) = 3*g**2 - 2*g + 11. Is n(-10) composite?
False
Suppose 0 = -3*v + 2*v + 99. Let x = -232 + 164. Let l = x + v. Is l a composite number?
False
Let i be 2342/10 + 16/20. Suppose 0 = -6*s + 5*s + 4*l + i, -5*l = 0. Is s prime?
False
Suppose 0 = -2*d + 5*g + 10, -3*d + 5*g + 14 + 1 = 0. Suppose -d*w = -422 - 188. Is w composite?
True
Suppose 0*j - j = -127. Is j a composite number?
False
Suppose 3*k = h - 1, -2*h + 4*k + 5 = 3*h. Is (3*75 - 3) + h composite?
False
Let a(d) = -3*d**2 + 16*d - 9. Let j be a(6). Suppose -4*g - 388 = -2*s, 4*s - 6 + 14 = 0. Is g/(-3) + (-7)/j a prime number?
False
Let r(c) = -c - c + c**2 - 3 - 2*c - 5. Let h be r(6). Suppose 0 = -5*f - 4*a + 135, 4*f - h*a = -a + 139. Is f a composite number?
False
Let s = 981 - 280. Is s composite?
False
Let d(w) = w**2 + 5*w + 8. Suppose 2*n = 2, 5*n + 8 + 3 = 4*p. Suppose 0 = -3*q - 5*m - 13, p*q + 4*m + 10 = -10. Is d(q) a composite number?
True
Is (20 - 94)*(2 + 5/(-2)) composite?
False
Suppose 61 = 4*j - 2*a - 415, -621 = -5*j - 4*a. Is j a composite number?
True
Let i = 4 + -5. Is i/((-1 - 0)/22) prime?
False
Let k(c) = c**2 - 11*c - 11. Let a be k(12). Suppose 5*j = -5*w + 135, 3*j - 105 = -5*w + w. Let i = w - a. Is i a prime number?
True
Let s be (-177)/(-4) - 2/8. Suppose 3*o - s = -2*g, g + 4*o = 10 + 17. Is g composite?
False
Suppose -2*p + 105 + 361 = 0. Is p composite?
False
Let o be ((-9)/(-3) - 2)*2. Let f(z) = 1 + 9*z**o + z - 2*z + z. Is f(-1) composite?
True
Let n = -9 + 147. Let p(c) = c**3 + 4*c + 3. Let z be p(4). Let m = n - z. Is m a prime number?
False
Suppose 277 = c + 44. Is c a composite number?
False
Let d be (-2 + 5)/(3/3). Suppose -g + 3*z + 4 = 0, -2*z = -3*g + d*z + 8. Is (g*2)/(6/393) composite?
False
Suppose 5*c + 1 - 6 = -3*g, -g = c - 1. Is (111 - (-3)/1) + c a composite number?
True
Let o(u) = -79*u**3 + 4*u**2 - 1. Is o(-2) a prime number?
True
Let u(i) = -5*i**2 - 3*i**3 + 14*i**2 + 4*i**3 - 3 - i. Suppose 4*f + 22 = r - 5, 5*r - 15 = 0. Is u(f) composite?
True
Suppose 0*w = 2*w - 4. Let z be 3/2*(-16)/(-6). Is z/6*9/w composite?
False
Suppose -2*h + 7 = -2*o + 21, 2*o = -4*h + 8. Is 12/36 + 856/o a prime number?
False
Let b = -46 - -66. Let q = b - 14. Let x(h) = -h**3 + 8*h**2 - 6*h - 1. Is x(q) prime?
False
Let y(c) = 2*c**2 - 3*c. Let s be y(2). Is -962*((-3)/s + 1) composite?
True
Suppose -o - 21 = 4*o + z, 3 = -2*o + 5*z. Is 655*-4*o/80 a composite number?
False
Suppose 4*t = -2*n + 1270, -2*t - 2*n + 640 = -6*n. Suppose -4*l = -1082 + t. Is l a prime number?
True
Suppose -63 - 11 = -2*w. Is w a composite number?
False
Let t(p) be the second de