t b be (-4)/(12/15) + 1. Let t = 9 + b. Suppose 14 = t*o - 1. Is o a prime number?
True
Let c(r) = r**2 - 4*r. Let a be c(4). Let w be (-2)/9 - (-75)/(-27). Is w - ((2 - a) + -12) a prime number?
True
Suppose j - 30 = 3*n, 2*j - n = 2*n + 45. Suppose 3*l + 15 = 0, 0 = 2*f + 2*l - 19 - j. Is f prime?
False
Let j(k) = -k**2 + 3. Let p = 6 + -6. Is j(p) a prime number?
True
Let g(x) = x**3 + 5*x**2 - 8*x - 5. Let k be g(-6). Suppose k = 2*p - 171. Is p a composite number?
False
Suppose 2*x + 1910 = 4*o, 0*x = x - 1. Suppose 2*i = 4*m + 929 + 97, -o = -i - 5*m. Is i prime?
True
Let f = 2 + -28. Let k = 317 + f. Is k a composite number?
True
Let r = 30 + 219. Is r prime?
False
Let s(a) = -391*a + 5. Is s(-2) prime?
True
Let f = -1 - -4. Suppose -f*c = 3, -2*c + 154 = 3*k - 93. Is k composite?
False
Let n(b) = 2*b**3 - 4*b**2 + 5*b - 5. Let i = -4 - -8. Is n(i) a prime number?
True
Let q = -20 - -29. Suppose -s = 2*s - q. Suppose 138 = -u + s*u. Is u prime?
False
Is (-3)/2*(-158)/3 composite?
False
Let m be -447*(8/(-3))/2. Suppose 0 = -5*z + 10 + 5. Suppose -7*d + m = -z*d. Is d a composite number?
False
Suppose 2*g - 984 = -0*g. Suppose -2*x = 4*v - g, 2*v + 5 + 3 = 0. Is x a composite number?
True
Let i = 100 - -121. Is i prime?
False
Let a(i) = 12*i**2 + 8*i - 12. Let z be a(5). Suppose -5*b - 91 = -3*l - 503, 4*l + z = 4*b. Is b prime?
True
Suppose -7*d + 12*d - 5*j - 4430 = 0, -j = d - 888. Is d a composite number?
False
Suppose 6*s - 2*s = 4*t, -2*t + 4 = 0. Suppose -s*a + 3*a = -c + 224, 0 = 5*c + 2*a - 1117. Is c a composite number?
False
Let n = -39 + 41. Let o(a) = -11*a**3 + a**2 - 4*a + 1. Let y be o(-4). Suppose 135 = n*t + d - 159, -2*d + y = 5*t. Is t a prime number?
True
Let o(u) = 44*u + 1. Let i(d) = 2*d**3 + d**2 - d + 1. Let m be i(1). Is o(m) composite?
True
Let c = -3 - -3. Suppose -3*p + 67 = 5*j - 5*p, -j + p + 14 = c. Is j a prime number?
True
Let l(m) = m**3 + 11*m**2 + 12*m + 15. Let p be l(-10). Let x be (-114)/(-10) - (-2)/p. Is (-13*x)/(4 - 5) prime?
False
Let n(h) = -126*h**3 + 1. Suppose -5*t + 5 = -10. Let p = t + -4. Is n(p) prime?
True
Let a(j) = 4*j**3 - 4*j**2 + 2. Let c(q) = 2*q**2 + q. Let z be c(1). Let k be a(z). Is (-4)/(-8)*(k - 0) a composite number?
False
Let v be (0 - -2)/1 + 0. Let o be (0 + v - -1) + 2. Suppose -2*b = -4*r - 0*b + 92, o*b + 92 = 4*r. Is r composite?
False
Suppose -264 = -3*p - 3*t, -2*p + t + t = -188. Is p a prime number?
False
Suppose x - 191 - 1058 = 0. Is x a composite number?
False
Let z(b) = b**2 + 5*b + 5. Is z(7) prime?
True
Suppose 0*z + 2*z = 94. Is z a composite number?
False
Suppose 8*x = 7*x + 683. Is x a prime number?
True
Let b = 11 - 8. Let q(t) = 6*t**2 - t + 2. Let s be q(b). Suppose -v - 10 - 14 = -a, 2*a - s = 3*v. Is a a prime number?
True
Is (-2)/7 - (-1413)/21 a prime number?
True
Let s be 5 + -2 + (1 - 1). Suppose 0*k = s*k. Suppose 3*g + 6 = 0, -i + 4*g + 312 - 117 = k. Is i prime?
False
Suppose 3*b - 1827 = 3*f, 948 = 4*b + 4*f - 1520. Is b a prime number?
True
Is 225 - (3 + -4 + 3) prime?
True
Let j be -1 + 2 + 47 - 1. Let o = j - 21. Is o composite?
True
Suppose 0 = 4*s - 2*s. Suppose 4*k - 152 = 2*i + i, s = 3*k - 2*i - 113. Is k composite?
True
Suppose v - 5*r = -2*r - 9, -4*r = -3*v - 7. Is v a prime number?
True
Let v(u) = -u - 10. Let h be v(-12). Suppose 4*w - h*w - 254 = 0. Is w a prime number?
True
Let d = -9 + 6. Let s = -3 - d. Suppose -4*r - 2*l = -s*l - 204, -2*l = -r + 61. Is r composite?
False
Suppose 0 = -4*u - 4 - 4, -m - 2*u + 2 = 0. Let q(s) be the first derivative of -s**3/3 + 4*s**2 - 2*s + 2. Is q(m) a composite number?
True
Suppose 2*k - 6*k = -20. Suppose 0 = 4*h + x - 631, h - 2*h + k*x + 163 = 0. Is h composite?
True
Let u(g) = 7*g**2 - 2*g - 4. Suppose -33 = 5*i - 13. Let r be u(i). Suppose -r = -5*n + 149. Is n prime?
True
Is (-6)/(-21) - 1485/(-21) prime?
True
Let x = 24 + -12. Let b = x - 6. Suppose -i - 595 = -b*i. Is i prime?
False
Suppose 0 = 3*q + 6830 - 18779. Is q a prime number?
False
Let f = -9 + 14. Suppose l - f*n - 144 = 0, 0*n + n = -5*l + 798. Is l a prime number?
False
Let y(v) = 96*v**2 + v - 4. Let d be y(-4). Suppose 3*f - d = 221. Is f a composite number?
True
Let t(k) = -k**3 - 8*k**2 - 11*k - 6. Let j be 6*(-5)/(30/8). Is t(j) a composite number?
True
Let m(i) = 64*i**2 - 2*i + 1. Let d(p) = -2*p. Let o be d(1). Let c be m(o). Suppose 3*s = 3*u - c, s = 3*u + 6*s - 245. Is u composite?
True
Is 6/(-10) + 9816/60 composite?
False
Let k(g) = -33*g - 1. Is k(-2) composite?
True
Let a(q) = q**3 - 15*q**2 - 9*q - 1. Is a(20) prime?
False
Let v(b) be the first derivative of 5*b**4/24 + 2*b**3/3 + b**2 - 2. Let a(z) be the second derivative of v(z). Is a(3) composite?
False
Let r = -9 - -11. Suppose 70 = 2*k + r*n, k + 0*n - 15 = 4*n. Is k a composite number?
False
Let p(r) = -r**3 + 7*r**2 - 3. Suppose 0 = 3*a + 4 + 2. Let x = a - -8. Is p(x) prime?
False
Let g(q) = -q**2 + 7*q. Suppose -6*z + 4*z = -14. Let f be g(z). Suppose f = -8*l + 3*l + 455. Is l a prime number?
False
Suppose -15 = -4*d + 1. Suppose -d*y + 1 = -3. Let s = y - -34. Is s a prime number?
False
Let u(p) = p - 7. Let v be u(-5). Is (-2464)/v + 2/(-6) composite?
True
Let v be (-4 - -2) + (-5)/(-1). Suppose v*o = -2*w - 0*w + 8, -16 = 3*o - 4*w. Suppose o*p = -p - t + 13, 3*p - 45 = -5*t. Is p a composite number?
True
Let l = -1242 - -2359. Is l composite?
False
Suppose 3*p = 13*p - 9510. Is p a prime number?
False
Let n(r) be the first derivative of -r**4/2 - 5*r**3/3 + 7*r**2/2 + 2*r - 3. Let x be n(-6). Suppose -x = -p - 3*p. Is p prime?
True
Is 16/56 - (-5302)/14 a composite number?
False
Is 1739/5 + (-8)/60*6 a composite number?
False
Let f = 11540 + -6757. Is f prime?
True
Let f(b) = 31*b**2 + 2*b + 5. Is f(4) a prime number?
True
Let z(i) = -i**3 - 5*i**2 + 3*i + 6. Let x be z(-6). Is x - (10 - 1)/3 prime?
False
Suppose -4*t = 4*s + s - 28, -4*t = -3*s - 60. Let j = -5 + 7. Is 4*j/t*33 a composite number?
True
Suppose 262 - 1714 = 3*x. Let c = x + 686. Is c prime?
False
Let v be (-1 + 4/6)*-3. Let r be 5*v*16/10. Is 1 + 1*(r - 2) prime?
True
Let g be (230/(-4))/((-5)/10). Suppose -5*u - 15 = 5*o - g, -2*o - 4*u = -48. Suppose 140 - o = 4*c. Is c prime?
True
Let w = 27 + -14. Is w a prime number?
True
Suppose -7 = 3*d - 1. Let j(r) = r + 5. Let c be j(-5). Is (5 - (d - -3)) + c a prime number?
False
Let x(a) = a**3 - 3*a**2 - 8*a - 5. Is x(8) composite?
False
Suppose 2*y + 31 = -5*a, -4*y - 16 = a + 19. Let t = y - -8. Suppose -4*l - 115 + 711 = t. Is l a prime number?
True
Let c be (7*-1)/1*-1. Let b(h) = h**2 + 7*h + 4. Let g be b(c). Suppose -3*y + g = 3*o, 3*y = -2*y - 15. Is o composite?
False
Suppose 3*x = -4*t + 24 + 14, -18 = -3*t + 3*x. Let q be (4/(-16))/((-1)/t). Is q/(3/(477/6)) a composite number?
False
Let z = 17 - 12. Suppose 4*h + 4 = -4*m, -5*h + z - 20 = 0. Is (-1)/m*-46*1 a composite number?
False
Suppose 0 = 9*n + 7*n - 4656. Is n a composite number?
True
Suppose -8 = -5*c + 2. Suppose 410 = c*t + 3*t. Let s = t - 48. Is s a composite number?
True
Suppose -g = -107 - 51. Is g a composite number?
True
Let i = -19 + 31. Let o = -9 - i. Is (-1)/(2 + 45/o) composite?
False
Let q = 384 - -863. Is q a prime number?
False
Let r(k) = k**2 - 6*k - 5. Let u be r(7). Suppose u*b = b + 553. Is b a prime number?
False
Let u(c) = -3*c - 4. Let l = -4 - 5. Is u(l) a composite number?
False
Is -2 + 4 - 441/(-3) a prime number?
True
Let g = -5 + 0. Let a = 8 + g. Suppose -5 = 5*c, j - 5*j - a*c + 73 = 0. Is j a prime number?
True
Suppose 0 = 5*b + 52 - 2097. Is b a composite number?
False
Suppose 3*s - 285 = -2*s. Let y = 140 - s. Is y prime?
True
Let g(q) = q**2 - 16*q. Let p be g(16). Let l(d) = -d + 8. Let r be l(5). Suppose -2*i - 3*x + 8*x + 89 = p, 0 = -r*i - 5*x + 96. Is i a composite number?
False
Let z(f) = 5*f + 1. Let v = 4 + -3. Let c = 0 + v. Is z(c) composite?
True
Suppose 5*w = w - 40. Let y be w/6 - 6/(-9). Is -2 + (-74)/(-2) + y composite?
True
Let n(b) = 29*b**2 - 2*b + 2. Let x be ((-3)/(-6))/(1/2). Let f(j) = 4*j**2 - 2*j + 1. Let i be f(x). Is n(i) a composite number?
False
Is (-295)/(-2) + 18/12 prime?
True
Let z be 9 + -8 - (-31 + -1). Suppose -4*g = 3*x - 130, 3*g - 67 = -x + z. Is g composite?
True
Suppose 0 = 