 - v + 3*v - 2740. Is q prime?
False
Let l(p) = 6*p**3 - 4*p**2 + 4*p + 13. Is l(6) a composite number?
True
Suppose 692 - 59 = 3*v. Suppose 4*j = v + 137. Is j a composite number?
True
Is ((-898)/4)/(-3 - (-119)/42) composite?
True
Is (3/6)/(2 - 1)*246 composite?
True
Let r be 8/(-28) + (-19)/7. Let j = r - -5. Let l(t) = 4*t**2 + 3*t - 1. Is l(j) a composite number?
True
Suppose -3*u + 2*n + 505 = -425, 4*u - n - 1240 = 0. Suppose x + 4*x = u. Let w = x + -27. Is w a prime number?
False
Let n(i) = -3*i - 2. Is n(-13) composite?
False
Suppose 0*w + 4*w = -3*m + 14501, 4833 = m + w. Is m prime?
True
Let o(a) = a**2 - 8*a + 6. Let h be o(7). Is 220/2 - (h + -2) prime?
True
Let d(z) = -z**2 - 8*z - 5. Let n be d(-7). Suppose 4*y = -0*y - 52. Is n/4 - y/2 a composite number?
False
Let a(f) = -28*f + 5. Is a(-9) composite?
False
Let y be (-64)/(-28) + 2/(-7). Suppose -3*f + 508 = f - u, -y*f = 3*u - 254. Is f prime?
True
Let v(s) = -151*s - 1. Is v(-2) prime?
False
Suppose 5*h - 2 = 4*h. Suppose z + 4*y - 35 = 0, h*y = -5*z + y + 99. Is z a prime number?
True
Suppose 3*m = -5*t + 196, 3*t - 4*m - 124 = -9*m. Is t/(1 - -2 - 1) a composite number?
False
Suppose -4 = 3*f - 5*r, 3*f + 6*r - 14 = 2*r. Suppose 0 = -2*j - f*j + 64. Suppose -2*q + 2*o + j = -2*o, 2*q = -5*o + 7. Is q a composite number?
True
Let p(z) = z**3 - 7*z**2 + 4*z + 8. Let f be p(6). Let t(l) = -l**3 + l**2 - l - 5. Is t(f) prime?
True
Let n(t) = t**2 + 3*t + 439. Is n(0) a composite number?
False
Let n(d) = 70*d**2 - d + 2. Let z be n(2). Suppose 4*f - 4*b = 564, 2*f = 2*b - b + z. Is f composite?
False
Suppose -5*y + j + 2936 = 0, 3*y + 2*j - 6*j - 1765 = 0. Is y composite?
False
Let n(m) = 132*m - 4. Let v be n(3). Suppose v = 4*t - 24. Suppose t = 4*x - 0*x. Is x prime?
False
Let t(y) = 151*y**2 - 3*y. Let k be t(4). Let g = 4497 - k. Is g/63 - (-4)/(-18) a composite number?
True
Let c(f) = 38*f**3 - 2*f**2 + 1. Suppose 2*a - 18 = -4*b, -4*b = -6*b + 3*a - 11. Suppose -i + b = 1. Is c(i) a composite number?
False
Let s(b) = -31*b + 45. Is s(-8) a composite number?
False
Is (-7934)/(-26) - (-2)/(-13) a prime number?
False
Suppose -3*p = 4*w - 0*w - 12009, 2*w = 3*p - 12009. Is p prime?
True
Suppose 3*a = 12, -2*b - 2*a - 7968 = 2*a. Is (b/8)/(1/(-1)) prime?
True
Suppose 7 = 4*g - 3*s, g - 5*s + 8 = -3. Suppose -h + 211 = g*k, k - 2*h - 55 = -0*k. Is k prime?
True
Let f = 841 + -548. Is f prime?
True
Let v(f) = 92*f**3 + 6*f - 3. Is v(2) a prime number?
False
Let x = -52 - -387. Is x a composite number?
True
Suppose d - 80 - 33 = 0. Is d prime?
True
Let g(b) = b**2 - 7*b + 6. Let h be g(6). Suppose 19 = 4*n - 1. Suppose -n*w + h*w = -45. Is w composite?
True
Suppose 4*s - 490 - 1530 = -3*r, 3*r = -2*s + 1010. Is s a composite number?
True
Suppose 4*m + m - 5585 = 0. Is m prime?
True
Let d = -3351 - -7881. Let a be d/21 + 2/7. Suppose -j = -u - 51, a = -2*j + 6*j - u. Is j composite?
True
Let r(p) = -6*p**2 - 4*p**2 + 14*p + 0*p**2 + p**3 + 9. Is r(10) a prime number?
True
Let l be ((-1012)/(-33))/(1/3). Suppose -l - 18 = -5*n. Is n composite?
True
Let q(n) = -n**3 + 5*n - 4. Let u be q(-5). Let z = u + -47. Is z a composite number?
True
Suppose 2*q = -4*f + 12, 2*q + 0 = 2*f - 12. Let n(t) = 14*t - 54*t - 24*t - 1. Is n(q) a prime number?
True
Suppose -3*q + 11 = -5*w - 11, -5*q - 5*w = -50. Let m(l) = -l**2 + 8*l + 10. Let i be m(q). Is i - 3/(3 + -6) composite?
False
Suppose 0 = 4*t - t. Suppose t = 2*n - n. Let m(i) = i**2 + 199. Is m(n) a prime number?
True
Suppose 3*g - 623 - 2785 = 0. Suppose 5*u = g + 529. Suppose -4*p = 3*r - 6*r - u, -4*p - 4*r = -368. Is p a composite number?
True
Let q = 29 - 8. Is q a composite number?
True
Suppose n - 2 = -3*y + 3*n, -n = -2*y + 1. Suppose 3*x = 375 - 15. Is -1 - (x/(-2) - y) composite?
False
Suppose 1177 = 2*w - 325. Is w a composite number?
False
Let z(u) = -u**2 - 4*u - 1. Let x be z(-3). Let d be x*-1*1/(-2). Let v(n) = 25*n**2. Is v(d) composite?
True
Suppose -5*y = -0*v - 3*v - 29, 5*v = -y + 17. Let f = 12 + y. Is f prime?
True
Let g = 241 + -155. Is g prime?
False
Suppose 0 = -4*m + 6*m - 1598. Is m composite?
True
Suppose -17 + 5 = -4*f. Suppose -2*t = -7 + f. Suppose 4*a + 16 = 0, 2*p - 16 = -t*p - 3*a. Is p composite?
False
Let z be 8 - (2 - (1 + -2)). Suppose -2*a = 3*x - 56, -z*a + a = 4*x - 108. Is a composite?
True
Suppose -2*k + 167 = 35. Let p = k + 19. Is p a composite number?
True
Let j(x) = -x**3 - 3*x**2 - x. Let c be j(-3). Let a(n) = 10*n**2 + 3*n - 1. Let v be a(c). Suppose 0 = 4*m - v - 170. Is m composite?
False
Let t = 47 + 30. Is t a prime number?
False
Suppose o + 0*o = -3*q + 638, 3*q = -5*o + 658. Is q composite?
False
Let u(r) = 24*r - 8. Let i be u(-4). Let z = 193 + i. Is z a composite number?
False
Suppose 109 = 4*v + 5*n, 3*n - 130 = -5*v - 2*n. Let k = v - 30. Is -26*(0 - k/(-6)) a prime number?
False
Let w(m) = -m**3 + m**2 - 5. Let o be w(0). Let i = -1 - o. Is (-1660)/(-12) - i/(-6) prime?
True
Suppose -4*y + 4*p = -448, 4*y = p - 49 + 494. Is y a prime number?
False
Let l = -5 - -10. Let s = 121 + l. Suppose 4*v = s - 38. Is v composite?
True
Suppose 7 = 2*i - 3. Suppose j = i - 1. Is j/(-6)*57/(-2) a composite number?
False
Suppose 2*s - 6 = 0, -4*c + 7*c + 4*s - 123 = 0. Is c prime?
True
Let a = 192 + -115. Is a prime?
False
Suppose 125 = b + c + 16, 420 = 4*b - 4*c. Is -5 + 2 - b*-2 prime?
True
Suppose 4 - 1 = 3*p. Let r be (3 + 1)/p*4. Suppose 4*w = 60 + r. Is w a prime number?
True
Suppose -2*r - 28 = -0*r. Let u = -7 - r. Is u a prime number?
True
Let q(a) = a**3 + 12*a**2 + 8*a - 5. Let m be q(-7). Let f = -95 + m. Is f a composite number?
False
Let q(p) = 6*p**2 + 2*p**2 - 3*p - p**3 - 1 + 0. Let n = -53 + 59. Is q(n) a composite number?
False
Suppose 0 = -2*w + 68 + 18. Let c = w + 15. Is c a prime number?
False
Let m be 3/2*50/15. Suppose -3*x - m*k + 55 = x, -2*k = 5*x - 56. Is x a prime number?
False
Let m be 1 + (-3)/(-6)*2. Suppose -69 - 63 = -m*p. Let g = p - 31. Is g a prime number?
False
Let b(k) = 114*k**2 + 6*k + 5. Is b(-1) prime?
True
Suppose -18 = -2*f - 6. Suppose 0 = 3*m + f, -4*d + 5*m = -1 - 69. Is d a prime number?
False
Let s = 3 - 4. Let y(l) = -192*l**3 + 2*l + 1. Is y(s) composite?
False
Let v(t) = 557*t**3 + t**2 - t. Is v(1) a prime number?
True
Suppose 0 = 5*k - 5*s + 10, -4 = 4*k + k - 2*s. Let a(d) = d + 973. Is a(k) a composite number?
True
Suppose -4*o + 20 = 5*b, 2*b = 4*o - 26 + 6. Suppose b = c - 3*c + 74. Is c composite?
False
Let c(h) = h**2 + 7*h + 2. Let b be c(-5). Let s = -2 - b. Is (-59*s)/(10/(-5)) composite?
True
Let h(l) = -l**2 - 15*l - 6. Let m be h(-10). Is ((-15)/(-4) + -3)*m a prime number?
False
Suppose 0 = 4*l - 3*l - 2. Let p(k) = -k**3 + 2*k**2 + k + 1. Let z be p(l). Suppose -s - z*q + 16 = -17, 5*s - 165 = -5*q. Is s a prime number?
False
Let v = -30 - -28. Suppose g - 21 = 33. Is ((-3 - v) + g)/1 a composite number?
False
Let p(o) be the second derivative of o**5/20 + 5*o**4/4 + o**3 - 9*o**2/2 + 4*o. Is p(-13) composite?
False
Let r(o) = -o - 5. Let c be r(-7). Suppose 1 = -2*d + 2*u + 15, 8 = -2*u. Suppose -c*f - 79 = -d*f. Is f prime?
True
Let m(y) = y**2 + 15*y + 33. Is m(-15) composite?
True
Is (0 - 1)*-185*1 prime?
False
Let u(l) = -2*l**2 - 5*l + 4. Let o be u(-4). Let m = o - -18. Is (2/3)/(m/345) a prime number?
True
Let y be (-1)/(-3*1/18). Let p(m) = 127*m - 1. Is p(y) composite?
False
Let m(x) = -3*x**3 + 14*x**2 + 12*x + 10. Is m(-9) a composite number?
True
Let u(y) = -6*y**2 + 4*y - 9. Let x(i) = -i**2 + 1. Let w(k) = -u(k) + 4*x(k). Is w(11) a prime number?
True
Let u = 28 - 54. Let j = 61 + u. Is j a prime number?
False
Let q = -109 + 468. Let z = q + -148. Is z composite?
False
Let k(d) = 2*d + 6. Let f be k(-4). Is (2/4)/(f/(-844)) a composite number?
False
Suppose 3*x - 4 - 201 = 4*i, 4*x - 3*i = 278. Suppose -j = -x - 474. Is j a composite number?
True
Suppose f - 2 = 887. Is f prime?
False
Suppose 2*y = -2*z + 136, -4*y + 2*z - z = -267. Is y prime?
True
Let n = 730 + -12. Is n composite?
True
Is 2711 - (-9)/(54/(-24)) a prime number?
True
Let a(f) = f**3 - 7*f**2 + f - 9. Let g be a(7). Suppose -3*p - 2 = j, -3 = -3*p - 3*j + 3. Is 10 - g/2 - p composite?
False
Let u be 25/10*(-4)/(-5). Suppose -u*g + 1