 -7*u = -3*y - 2*u - 4, 3*y + 3*u = 12. Suppose y*h = -3*h. Suppose 4*t - 673 - 787 = h. Is t composite?
True
Let j(f) = 2*f**2 + 13*f + 7. Is j(-8) prime?
True
Suppose -4*g + 0*c = -c - 5, -g = -4*c - 20. Suppose g*o + 2*o = 74. Is o a composite number?
False
Suppose -29 + 5 = -2*x. Is (x/18)/(2/111) a prime number?
True
Let d = -3 - -4. Let i(c) = 36*c + 1 + 5*c + 7*c. Is i(d) prime?
False
Let b be (-653)/(-7) + 2/(-7). Let p = b + -180. Let u = 184 + p. Is u prime?
True
Let q(x) be the third derivative of -x**6/60 - x**5/15 - x**4/6 - x**3/2 + 3*x**2. Is q(-4) a prime number?
False
Let v(a) = a**2 - 3*a + 9. Let s be v(7). Suppose h + 0*o - s = -5*o, 0 = -5*o. Is h composite?
False
Suppose 0*r + 155 = -5*r. Suppose -c + n + 12 = 0, -4*c + 30 = -2*n - 26. Let x = c - r. Is x prime?
True
Suppose -4*h - 60 = -0*h - 2*i, -h - 15 = -2*i. Let f = 0 - h. Is ((-12)/9)/((-2)/f) composite?
True
Suppose 167 = 2*b - 231. Is b composite?
False
Let s(v) = -5*v + 2. Suppose -2*w + 3*w = 4*z + 18, -3*w + 5*z = -19. Let q be s(w). Suppose -3*p + 9 = -q. Is p prime?
True
Let m be 6/(-9)*255/(-2). Suppose -3*x + 4*j = -m, -4*x + 2*j + 0*j + 110 = 0. Suppose -13 + 42 = 5*g + f, -5*g - 3*f + x = 0. Is g a prime number?
False
Let q(a) = 12*a**2 - 5. Suppose -4*r + 3*r - 4 = 0. Is q(r) a composite number?
True
Suppose -5*a = -2*g + 135, -12*g + 7*g = 3*a - 322. Is g a composite number?
True
Suppose -4*j = -5*i + 265, -78 - 88 = -3*i + j. Is i a composite number?
True
Suppose -3*z + 2*z + 493 = 0. Is z a prime number?
False
Let o(u) = u**2 - 6. Let y be (1 - -1) + -2 + -13. Let v = -18 - y. Is o(v) prime?
True
Let g(r) = -5*r**2 - 9*r + 4. Let l(d) = -14*d**2 - 26*d + 12. Let t(k) = -11*g(k) + 4*l(k). Let o be t(-6). Let y = 33 + o. Is y prime?
True
Suppose -169 = -5*z - 3*x, -2*x = 4*z + 3*x - 130. Suppose -5 + z = n. Suppose w - n = -w. Is w a composite number?
True
Suppose 0 = 2*h - 3*h + 211. Is h a prime number?
True
Suppose -4*c + 3*v - 23 = -2*c, 3*c + 45 = v. Let k be 6/c*2*-4. Suppose 5*g + 4*y - 2*y - 235 = 0, 141 = k*g - 5*y. Is g composite?
False
Let j(r) be the first derivative of r**6/18 + r**5/40 - r**4/24 - r**3/3 - 2. Let h(b) be the third derivative of j(b). Is h(2) a prime number?
False
Suppose 0 = v - 16 - 30. Is v a composite number?
True
Suppose 0 = f - 3*f + 10. Let m = f - 8. Is m/9 + (-40)/(-3) a composite number?
False
Suppose -3*d - 5 = 2*r - 25, -3*r - 14 = -d. Suppose d + 2 = 2*f. Let x(p) = p**2 + p + 7. Is x(f) prime?
True
Let z(k) = 5*k**2 + 10*k - 36. Is z(11) composite?
True
Let g(s) = s**2 - 2*s - 4. Let x be g(4). Suppose 0 = x*i - 0*i - 476. Is i prime?
False
Let g be 13/(-26) - 13/(-2). Let n(h) = -h - 6. Let p(o) = -o - 13. Let q(b) = -5*n(b) + 2*p(b). Is q(g) prime?
False
Suppose -5*s + 18 = -272. Is s composite?
True
Let d = -188 + 419. Let j = d + -112. Is j a prime number?
False
Suppose -2*o = 5*m - 185, 0*m = -m - 3*o + 50. Suppose -5*n + m = z, 5*z + 5*n - 95 = -0*z. Is z composite?
True
Let v(k) = k**3 - k**2 + k + 3. Let s be v(0). Suppose s*y = -76 - 71. Let b = -18 - y. Is b prime?
True
Let u(d) = -d**2 - d. Let g be u(-2). Let k be (-2)/(-1) + g + -2. Is (k - (-15)/9)*-33 a composite number?
False
Suppose 0 = 3*g - 4*z - 63, 0 = -3*g - z + 4*z + 60. Suppose -3*m + 4 + g = 0. Let y = 46 - m. Is y a prime number?
False
Suppose 0 = 20*b - 15*b - 2395. Is b prime?
True
Is 776/3 - ((-88)/12 - -7) prime?
False
Let u(o) = -20*o + 3. Is u(-4) composite?
False
Suppose 3*y - 1589 = -3*c + 1387, -2*c + 1987 = 5*y. Is c composite?
False
Let q be ((-2)/(-4))/((-4)/(-32)). Let z(o) = 18*o**2 + o - 5. Is z(q) a prime number?
False
Let a(i) = i**3 - i**2 + 1. Let n(q) = 6*q**3 - 9*q**2 - 6*q. Let t(p) = -5*a(p) + n(p). Let h be ((-9)/4)/((-6)/16). Is t(h) composite?
False
Let o = 8 - 9. Let g be (1 - o)/(1/23). Suppose g = k - 7. Is k a composite number?
False
Suppose 0 = 5*d - 4*n - 19, 2*n = 4*n + 2. Suppose -2*h - 15 + d = -5*q, -3*h = 2*q - 1. Suppose -w + 54 = 5*l, q*w - 2*l - 96 = -0*l. Is w composite?
True
Let k be (-6)/27 + 2/9. Let d be 2 + (k - 3) + -9. Let l = 16 + d. Is l a prime number?
False
Let a(v) = v**3 + 4*v**2 - 3. Let p be a(-3). Suppose 0 = -2*z - 0 + p. Suppose 0 = 5*r - z*g - 376, r + 3*g - 4*g - 74 = 0. Is r a composite number?
True
Let w be (2 - (-1 + 5)) + -1. Let l(h) = -5*h**2 - 2*h + 2. Let v(f) = 20*f**2 + 7*f - 9. Let t(u) = -9*l(u) - 2*v(u). Is t(w) composite?
True
Let b be (-2)/4 + 17/(-2). Let w be 1/(-2 - 21/b). Is (-154)/(-3) - w/9 prime?
False
Let z be 6/(-5)*(-20)/8. Suppose -2*a + 198 = 4*f, -80 = -z*f - 3*a + 73. Let p = 365 - f. Is p a prime number?
True
Let v = 465 + 4. Is v prime?
False
Suppose h - 1 = -3*p + 14, 15 = 3*p + 3*h. Suppose -l + 5*v = -401, p*v + 1152 = 2*l + 370. Suppose -4*b = -b - l. Is b prime?
True
Let u = 232 - 53. Suppose 2*m - 94 = 3*h, -3*m - 6*h + h + u = 0. Is m a prime number?
True
Suppose v + 2*f = 2*v, f = -v - 3. Let c be 54 + 1 + v + 0. Let g = c + -30. Is g composite?
False
Let j(r) = r + 5. Let p be j(-5). Suppose -n + p*n = -6. Let i(b) = 19*b + 1. Is i(n) prime?
False
Let u(q) = -6*q**2 + 24*q - 34. Let v(z) = -z**2 + 5*z - 7. Let j(t) = -2*u(t) + 11*v(t). Is j(-11) a composite number?
True
Let u(s) = s**3 - 6*s**2 + 3*s + 5. Let g be u(4). Let d be ((-12)/g)/((-2)/(-60)). Suppose d = -j + 113. Is j composite?
False
Let h(v) = v**3 + 4*v**2 - 4*v + 5. Let p be h(-5). Suppose -60 = -10*b - 2*b. Suppose p = b*a - a - 228. Is a a prime number?
False
Suppose 0*x + 8 = 5*x + 2*z, 4*x = 2*z + 10. Suppose 0 = -x*k - 0*k + 236. Suppose -4*m - 26 = -k. Is m a prime number?
True
Let a be 2/(-8) + (-1230)/8. Let z = -97 - a. Is z composite?
True
Suppose 0 = -f - v + 8, 0 = -3*f + 4*v - 11. Let a = 242 - -420. Suppose -4*r = 2*q - 4*q - a, r - f*q = 178. Is r a prime number?
True
Let o be 0/(-2*2/(-4)). Let i = -10 - -48. Suppose o = -n + i + 27. Is n a composite number?
True
Let t = 13 - 9. Let z = t - -17. Is z a prime number?
False
Suppose -15 = -0*a + 5*a. Let w be (-4)/12 - 907/a. Let r = -205 + w. Is r composite?
False
Let b be (12/(-16))/(2/(-8)). Suppose 4*n = -b - 1. Is 2 + 2 + -1 - n a prime number?
False
Suppose -4*m = 5*z, -5*z + 0*z - 5 = 3*m. Is (m/(-10))/(1/(-262)) a prime number?
True
Let m = 281 - -12. Is m composite?
False
Suppose 5*d - 2*d = -9. Let g be 4/6 - 4/d. Is 15 + g/1 - 2 composite?
True
Let p(j) = -j**2 - 7*j - 6. Let z be p(-6). Suppose 16 = -z*o + 4*o. Suppose -o*l = 2*g - 140 - 30, -3*l - 149 = -2*g. Is g composite?
False
Let w be (-25)/(-6) + (-1)/6. Suppose r = -r - w*q - 16, r - 3*q - 12 = 0. Let n(i) = i + 53. Is n(r) composite?
False
Is -3 - (-3 - (-1076)/(-4)) a prime number?
True
Let x = 2 - -1. Suppose -x*z + 4*a + 225 = 0, z + 4*z = 2*a + 389. Is z composite?
False
Let f(k) = 674*k**3 - 4*k**2 + 2*k + 1. Is f(2) a prime number?
True
Suppose 0 = 8*i - i - 7343. Is i a composite number?
False
Let v(c) = 5*c**3 - 6*c**2 + 4*c + 7. Let o be 5/(-3)*(-9)/3. Is v(o) a prime number?
False
Let w(z) = -24*z + 4. Let d be w(-3). Suppose -3*y + d = -y. Is y prime?
False
Let f = 6 + -16. Is ((-296)/f)/((-12)/(-30)) prime?
False
Is (1252 - -7)*(-1 + 2 + 0) a composite number?
False
Let c be 214/(-1) + (-1 - 1). Suppose -5*i + 1959 + 176 = 0. Let t = i + c. Is t prime?
True
Suppose 4*t - 188 = 824. Is t a composite number?
True
Let t(l) = l**3 + 5*l**2 + 3*l. Let z be t(-2). Let i(c) = 5*c + 3. Is i(z) a composite number?
True
Suppose -2*r = 3*d - 37, 3*r - 38 = -2*d + d. Let z be -3 + 2/2 + 12. Let m = z + r. Is m a prime number?
False
Suppose -174 = -3*a + 435. Is a composite?
True
Let o(w) = 38*w**2 - 2*w + 1. Suppose 3*c = 5*p + 10, -3*p + 5*p = -10. Let s be (-4)/(-14) - c/7. Is o(s) prime?
True
Let s = 18 + -80. Is 10/4*s/(-5) composite?
False
Let l(q) = 2*q + 5. Let z be l(-6). Let k = z + 10. Suppose 0 = -t - k*t + 196. Is t a prime number?
False
Let f(i) = i**2 - 5*i + 17. Is f(10) a prime number?
True
Suppose 301 = -3*y - 47. Let c = 81 - 130. Let v = c - y. Is v a prime number?
True
Let n(s) = 328*s + 49. Is n(6) prime?
True
Suppose 4*x = -x + 15. Suppose 3*q - 5*l = 10, 4*l + x + 1 = 2*q. Is q composite?
True
Suppose 3*s + 5*j - 1186 = 0, -2*j + j - 1986 = -5*s. Is s a composite number?
False
Let g = 0 + 1. Let o(l) = 6*l. L