-706 = -3*z + 2*a - 0*a, 5*z - 1178 = 3*a. Suppose 0 = 5*j - z - 237. Is j composite?
True
Suppose 6*r - 3*x - 5005 = 2*r, -r + 1245 = -2*x. Is r composite?
True
Let f = 7 - 4. Suppose -638 = -f*z + 31. Is z a prime number?
True
Let g be (3/2)/1*2. Suppose 3*o + 5*w = -g, o + w + 2 = 3. Suppose -59 = o*q - 5*q. Is q prime?
True
Let t = 20 - 20. Suppose 2 = -t*x + 2*x, 0 = 4*s + 4*x - 280. Is s a composite number?
True
Let g(r) = r**2 + r - 2. Let p be g(2). Suppose p*m + 115 + 91 = 2*d, d + 4*m = 85. Is d prime?
True
Let w = 1080 - 701. Is w composite?
False
Let y be -19*(-6)/(-4)*-2. Suppose 0 = 4*l - 1249 + y. Suppose 3*x - l = x. Is x composite?
False
Let m(d) be the first derivative of d**4/4 + 8*d**3/3 + 11*d - 6. Is m(-8) prime?
True
Suppose -2*n + 4*q = -0*n - 1970, 2*q = 3*n - 2951. Is n composite?
False
Let d(z) = 47*z**3 + z**2 + z - 1. Let o be d(1). Suppose 8*p = 3*p - 55. Let n = o - p. Is n a prime number?
True
Is (-247)/(-3) - (-1 - (-3)/9) a prime number?
True
Let y(s) = s**2 - 1. Let x be y(-1). Suppose 2*o + 2*o - 356 = x. Is o a prime number?
True
Let h be (5*-1)/(1/4). Is (3 + h/6)*-633 prime?
True
Let a(r) be the first derivative of 11*r**5/10 + r**4/12 + r**3/6 + r**2 - 1. Let o(c) be the second derivative of a(c). Is o(-1) a prime number?
False
Let g = -65 - -378. Let z = -208 + g. Suppose 0 = x + 4*x - z. Is x composite?
True
Suppose -3*r = -15, l + 0*l = 3*r - 30. Let j(z) = z + 28. Is j(l) a prime number?
True
Let p = 1237 + 202. Is p a prime number?
True
Suppose -8*u = -7*u - 15. Let n be (-2)/5 + 36/u. Suppose 0*h - 374 = -n*h. Is h a prime number?
False
Let l be (330 - -1)*(8 + -5). Suppose -3*n - l = -6*n. Is n prime?
True
Suppose 4*r + 0*r + 3*c - 14 = 0, -5*r = 5*c - 20. Suppose -y + 8 = n, y + 3 = r*n - 1. Is ((-889)/28)/((-1)/n) prime?
True
Let n(t) = -5*t + 12. Is n(-10) prime?
False
Let s = 1743 + -682. Is s a prime number?
True
Let g be (9/(-27))/(2/12). Is (254/(-8))/(g/8) a prime number?
True
Let t = 1220 + -571. Is t a composite number?
True
Let s be 130/6 - (-4)/12. Is -1*s*26/(-4) composite?
True
Suppose -2*g - s + 2400 = -1823, 4*g + s - 8445 = 0. Is g a composite number?
False
Let j = 53 - 21. Let v(h) = 56*h + 3. Let m be v(4). Suppose j = -5*t + m. Is t a composite number?
True
Let k(u) = -u - 58. Let o be k(0). Let m = 189 + o. Is m prime?
True
Suppose 0 = -r - 0*r + 45. Let n = r + 8. Is n composite?
False
Let j = 3222 - 1579. Is j a prime number?
False
Suppose -2*y + 4*k + 39 + 19 = 0, -101 = -4*y + 3*k. Is y a composite number?
False
Suppose 4*u - 337 = 3*g - 0*g, 2*g - 76 = -u. Is u a composite number?
True
Suppose -2*p + 111 = -195. Let v(c) = -c**3 + 3*c**2 - c. Let j be v(2). Is j/5 - p/(-5) a composite number?
False
Is (-3)/6*(-144 - -6) prime?
False
Suppose b = 1 + 3, -c + 4*b = 16. Suppose 2*a = 3*a - 348. Suppose c*u - a = -4*u. Is u a composite number?
True
Let r(c) = -c**2 - 2*c - 1. Let s be r(-8). Let u = s + 74. Is u a composite number?
True
Let u(s) = s**3 + 11*s**2 + 5*s - 4. Is u(-7) composite?
False
Is (-5)/(-10)*-1101*12/(-9) a composite number?
True
Is (-7 - 439)*(-3)/6 prime?
True
Let r(t) = 2*t**2 - 7*t - 2. Is r(-5) prime?
True
Let x be ((-3 - -1) + 0)*-2. Suppose -9 = x*v - 193. Is v a prime number?
False
Suppose -2037 = 2*m - 5975. Is m prime?
False
Suppose -16 = -t + 25. Let k = t - -102. Is k a prime number?
False
Suppose 2*h - 1 = 3. Is (h - 10/6)*111 composite?
False
Let y be (1 - 4)*(-19 + 0). Suppose 4*s = -697 + 33. Let w = y - s. Is w a composite number?
False
Suppose 4*d + 127 = 443. Is d a composite number?
False
Suppose 2474 = 2*h - 1424. Is h prime?
True
Suppose 2*l - 2*v - 3*v - 11 = 0, -v + 1 = -2*l. Let u be (3 + l)*(-3311 - 0). Is u/(-42) + (-1)/(-6) a prime number?
True
Suppose 12 = 3*y - p - 1, -3*p = y + 9. Let g(m) = 0 + 1 - 3*m**2 + 0*m + m**y + 5*m. Is g(4) prime?
True
Let d = -522 - -974. Suppose w + n + 104 = d, 0 = 5*w - 3*n - 1780. Is w a composite number?
False
Suppose 0 = 5*y - 48 + 18. Suppose 3*h - y*d = -d + 378, 0 = -4*h - 2*d + 478. Is h a composite number?
True
Let y be (-12)/(-4)*29/(-3). Let z = y - -40. Let l = 90 - z. Is l composite?
False
Let f be 2 + (-2)/1 + 42. Suppose -2*m = 4*b - 2, m + 3*m + 51 = 3*b. Let q = m + f. Is q a composite number?
True
Suppose -23 + 8 = -3*g. Let q = g - 3. Is q a composite number?
False
Let c(v) = -32*v - 1. Suppose 0 = 5*n - 24 - 1. Let t be c(n). Let a = 2 - t. Is a a prime number?
True
Is (-6078)/(-42) + (-8)/(-28) composite?
True
Let v be -2*(0 + 0 + -2). Suppose -3*a + 4*a - v = 0. Suppose -a*f + 451 = -0*j + 5*j, 5*f = -2*j + 194. Is j composite?
True
Is (-513)/(-5) - 26/(-65) a prime number?
True
Suppose 18*d = 23*d - 665. Is d prime?
False
Let y(v) = v**2 + v + 1. Let m(g) = -6*g**2 - 2*g - 13. Let u(r) = -m(r) - 5*y(r). Is u(6) composite?
True
Let k(q) = -q - 5. Let m be k(-8). Let t(a) = 2*a - 3. Let i be t(m). Suppose 0*p + i*p = 255. Is p a prime number?
False
Let q(h) = -h**2 - 11*h - 16. Let y(b) = 6*b**2 + 56*b + 81. Let f(z) = -11*q(z) - 2*y(z). Is f(10) prime?
False
Let s(p) = -21*p**3 - 3*p**2 - p - 1. Is s(-2) a composite number?
False
Suppose 0 = -g + 34 + 38. Suppose z = -5*i + g, i = -3*i + z + 54. Is i a prime number?
False
Is 4/6 - 37820/(-60) prime?
True
Let q(f) = f - 10. Let g be q(6). Let k = 0 + g. Is 3/k - (-87)/4 composite?
True
Let u(q) = 1659*q - 2. Is u(1) a prime number?
True
Let n be 3*2/6*283. Let h = n - 192. Is h a composite number?
True
Suppose -q - 5*j = 21, 0*q - 4*j = -3*q + 13. Is 1/((-1)/(-156)) - q composite?
False
Suppose 4*n + 38 = 254. Suppose 986 + n = 5*u. Is 0 + 1 - (-2 - u) prime?
True
Let i(l) = 9*l + 4*l**2 - l**2 - 10*l + 5. Is i(7) a prime number?
False
Suppose 2*f + 4*f + 6912 = 0. Let x = -565 - f. Is x prime?
True
Is 323*1 - (3 - (2 + -1)) composite?
True
Suppose -3*o + 2*o = -5. Let k = o + -6. Is -1*(k*37)/1 a composite number?
False
Let q(i) = -i**3 + 5*i**2 - 2*i + 6. Let j be q(5). Let k = -7 + 10. Is 28/k + j/(-6) a composite number?
True
Suppose -2*h - 324 = -1154. Is h a composite number?
True
Let k(a) = -a**2 + 10*a - 7. Let m be k(9). Let s(v) = 2 - 4 + 2*v**m + 6 + v. Is s(3) composite?
True
Suppose -5*n - 3*y = -0*y + 90, -3*n - 54 = -4*y. Let k = 64 + n. Is k a prime number?
False
Suppose 0 = 5*x - t - 392, 11 = -5*t + 26. Is x a prime number?
True
Let h(x) = x**3 + 3*x**2 - 5*x - 1. Let w be h(-4). Suppose -3*f + 9 = -0*f. Suppose -2*z = -m + 11, 0*m - 78 = -f*m - w*z. Is m a composite number?
True
Suppose 58 + 7 = o. Let f = o + -42. Is f prime?
True
Suppose 0 - 7 = 4*d - r, 4*d - 3*r = 3. Is d/1 - (-3 + -19) a prime number?
True
Suppose -3*v + v + 6 = 0. Suppose g + v*g = 364. Suppose -g - 57 = -4*l. Is l a composite number?
False
Let l(p) be the third derivative of -p**6/120 - p**5/20 + p**4/4 + 3*p**3/2 - 6*p**2. Is l(-7) prime?
True
Let x(p) = 2*p + 5. Let y(u) = u**2 + 3*u + 4. Let a(o) = -3*x(o) + 4*y(o). Is a(8) composite?
True
Suppose 1359 = 3*h - 0*h. Suppose -h = -3*q + 150. Is q a composite number?
True
Suppose -3*s + 45 = l, 6*l - 3*l - 149 = -2*s. Is l a prime number?
False
Let m(b) = b. Let c be m(4). Suppose 4*y - 132 = 4*r, 1 = -c*r - 7. Is y composite?
False
Let d = -2 - -1. Is 1*(14 - d/(-1)) composite?
False
Let c = 11 - -42. Is c a prime number?
True
Suppose 4*x - 4 = 24. Let n(z) be the second derivative of z**4/6 - 5*z**3/3 + 3*z**2 + z. Is n(x) prime?
False
Let c(k) = k**2 + 4*k - 7. Let a be c(-6). Suppose r = -a*d - 39 + 136, -4*d = r - 93. Is r a composite number?
True
Let f = 51 - -226. Is f a composite number?
False
Let f be 0/(0 + 2*-1). Let r = -6 - f. Is (-63)/6*44/r a composite number?
True
Let f(k) = -k**3 - 2*k**2 - k + 6. Let y be f(-6). Suppose 68 = t - 3*s, -2*s + y = 2*t + 2*s. Is t a composite number?
True
Let o(f) = -f + 3*f + 1 + 7*f. Let w = -1 + 7. Is o(w) a composite number?
True
Let l(v) = -v + 1. Let z be l(4). Suppose -4*o = 3*m - 18, -o - 5*m + 3*m + 2 = 0. Let f = o + z. Is f composite?
False
Let d = 135 + 98. Is d a prime number?
True
Let l(o) = 5*o**3 + 12*o**2 + 19*o - 19. Let k(i) = 2*i**3 + 6*i**2 + 9*i - 9. Let t(u) = 7*k(u) - 3*l(u). Is t(5) composite?
True
Suppose -2*i + 4*v = -738, -2*i - 739 = -4*i + 3*v. Is i prime?
False
Let b = 1616 + -1149. Is b a prime numbe