 a composite number?
True
Let p(c) = c**2 + 4*c - 8. Let v(k) = k**2 + 5*k - 2. Let w be v(-4). Let r be p(w). Suppose 4*f = m - 8, -r*f = 2*m - 1 - 3. Is m composite?
True
Suppose -2*c = -85 - 175. Suppose 4*a = -c + 1910. Is a a composite number?
True
Let b be 0/(-1) - 23/(-1). Suppose -b = 2*a + 13. Is (-4)/a + (-260)/(-45) composite?
True
Suppose -3*j + 0*j - a - 302 = 0, j + 110 = -5*a. Let v = -44 - j. Let d = 63 + v. Is d composite?
True
Suppose 1087 = b + 4*r, 2*b + 3*b + 4*r - 5403 = 0. Is b a composite number?
True
Let u = -6 - -9. Suppose 6 = u*s - 3. Suppose -s*q + q + 92 = 0. Is q a prime number?
False
Let p(d) = -d**2 - 5*d. Let k be p(-6). Is ((-98)/k)/((-2)/(-6)) composite?
True
Suppose 0 = -4*f - 5*t + 25, -4*f - 5*t + 30 = f. Suppose 158 = f*h - 52. Suppose -2*b = -4*i + 146, i - h = 2*b - 7*b. Is i a prime number?
True
Let j(b) = -11*b**3 - 2*b**2 - b. Let a be j(-1). Suppose c - 3*c = -a. Suppose -2*s = -i - 17, c*s - 15 = -5*i + 5. Is s a composite number?
False
Is (-7)/(-21) - (-236)/3 a prime number?
True
Let x(d) = d**3 + 5*d**2 + 4*d - 5. Let h be x(-4). Is ((-2)/h)/((-2)/(-230)) composite?
True
Is 2 - -53 - (-9 - -6) composite?
True
Let h(k) be the first derivative of -34*k**2 - 9*k + 2. Is h(-8) composite?
True
Let h(t) = -t**2 - 2*t + 1. Let x = -3 + 0. Let a be h(x). Let c(j) = 10*j**2 + 2*j + 1. Is c(a) composite?
False
Let y = 17 + 6. Is y prime?
True
Let k(m) = 13*m**2 + m + 3. Let b(i) = 1 + i**2 + 6*i**2 - i**2 + i. Let t(a) = 9*b(a) - 4*k(a). Is t(-5) composite?
True
Let p(f) = -3*f**3 - 15*f**2 - 3*f + 13. Is p(-10) a prime number?
True
Let r(d) = 10*d**2 + 26*d + 17. Is r(-12) a prime number?
False
Suppose 0 = 5*m - 5*j - 1138 + 218, 3*m - 2*j = 547. Is m a composite number?
False
Let z = -86 + 262. Let l = z - 92. Is l + 3*(-2)/(-2) a composite number?
True
Let p = 35 + 320. Is p prime?
False
Is (-3)/(12/(-1064)) - (-6)/(-2) prime?
True
Let j = -157 - -98. Let h = 39 + j. Let x = 1 - h. Is x prime?
False
Let f be 11/9 + (-4)/18. Let c(a) = 398*a - 1. Is c(f) a prime number?
True
Suppose -4*b = -3*b - 614. Is b a composite number?
True
Let b(l) = 110*l - 4. Let h be b(-3). Let a = h + 492. Is a a prime number?
False
Suppose -12722 = -5*q - p, 2*q - 2*p + 12719 = 7*q. Is q prime?
False
Let s = -11 - -24. Is s a composite number?
False
Let o(k) be the third derivative of -2*k**4/3 - 5*k**3/6 + 9*k**2. Let q(x) = -x**2 + x - 6. Let h be q(0). Is o(h) a prime number?
False
Let t = 8 + -6. Suppose -3*c + 149 = 3*o - t*o, 4*c - 8 = 0. Is o a prime number?
False
Let f(w) = -4*w**3 + 2*w - 1. Let i be f(1). Is (i - -2)/((-2)/326) prime?
True
Is 15/18 - 1 - (-16401)/18 prime?
True
Suppose -2*r - 8 = p + 3*p, 0 = -4*r - 3*p - 11. Let q be -4 - (0 + r) - 20. Is 4/q + 1399/11 composite?
False
Is (-1948)/(-6)*(-9)/(-6) composite?
False
Let x(c) = -c**2 - c + 3. Suppose 5*m = -0*m - 3*d - 12, 5*m + 2*d = -8. Let a be x(m). Suppose -a*q + 16 = 3*h - 38, 0 = q + 5*h - 14. Is q prime?
True
Let m(z) = -z**3 - 8*z**2 - z + 1. Let g be m(-8). Let n = g + -8. Is 339 + (2 + -3 - n) composite?
False
Let v = 31 - 37. Let b(r) = -r**3 + 1 + 6*r**2 + 2*r**3 - r + 0. Is b(v) composite?
False
Let j(k) be the third derivative of k**5/20 + k**4/12 + k**2. Let y = -5 + 8. Is j(y) composite?
True
Let a(f) = f**2 - 6*f + 4. Let p be a(3). Let m be 2/5 + 347/p. Let n = -36 - m. Is n a prime number?
False
Let f be (18/8)/((-2)/(-8)). Suppose f*v - 166 = 7*v. Is v a composite number?
False
Let k(v) = -113*v + 8. Is k(-5) composite?
True
Let z be -3 + 1 - -2*71. Let v(s) = -s**3 - 3*s**2 - 3*s - 2. Let g be v(-2). Suppose g = 2*h - 14 - z. Is h prime?
False
Let h = -4 - -6. Suppose -4*f = 3*l - 94, -46 = -2*f + l - h*l. Is f composite?
True
Let h be 6*(1 - (-6)/(-3)). Let y = h + 45. Is y prime?
False
Let h(b) = 639*b**2 - 2*b + 8. Is h(3) prime?
False
Let h(v) be the second derivative of 1/3*v**4 + 3/2*v**2 + 0 + 2*v + 1/2*v**3. Is h(4) composite?
False
Let f(t) = -9*t + 7*t**2 - 2*t**3 + 3*t**3 + 2 + t. Is f(-7) a prime number?
False
Let j = -108 + 214. Suppose p = -0*p + j. Is p a prime number?
False
Suppose 1676 = 5*p - 929. Is p prime?
True
Suppose 278 = 4*q + 2*y, 0*y = q - 5*y - 97. Let t = q + 25. Is t prime?
True
Let a(k) be the third derivative of k**6/120 + k**5/6 + 3*k**4/8 + 11*k**3/6 + k**2. Is a(-9) prime?
True
Is ((-1)/1)/(4/(-1004)) a prime number?
True
Let r be -337 + (-4 + 5)/1. Let j = r + 537. Is j a prime number?
False
Suppose 714 + 396 = 6*i. Is i a composite number?
True
Let h(v) = 16*v**2 + 15*v + 1. Let a be h(12). Suppose z - a = -4*z. Is z a prime number?
False
Let z(n) = 68*n - 19. Is z(7) composite?
False
Let j be (-1*(3 + -3))/(-1). Suppose 0 = -4*s + 3*r + 277, j*s = -s + 4*r + 79. Is s a composite number?
False
Let c = -5720 - -8766. Is c composite?
True
Is (-1106)/(-4)*8/14 a prime number?
False
Let c(v) = -v**2 + 10*v. Let x be c(8). Suppose -i - 2*b + x = -b, -4*i + 40 = -4*b. Let r = i - -10. Is r a prime number?
True
Is 40 - (1 - (7 + -3)) a prime number?
True
Let c(z) = 185*z**2 + 5*z - 7. Is c(2) composite?
False
Suppose 2*z - 3*l = 8 + 7, z - 18 = 5*l. Let x be z/(3/2)*2. Suppose 0 = -x*p + 1 + 27. Is p a composite number?
False
Let w = -1 + -5. Let y(r) = -r**3 - 4*r**2 + 4*r - 1. Is y(w) prime?
True
Let f = -2 - -9. Suppose g = -4*n + 129, 0 = g - f*n + 3*n - 121. Suppose -65 = -2*t + g. Is t prime?
False
Suppose -5*s + 2*s - 10253 = -5*w, 0 = 2*w + 2*s - 4114. Is w a composite number?
False
Suppose -4*z + 60 - 180 = 0. Let r be ((-2)/(-3))/((-4)/z). Suppose j - 2*v = -0*j + 21, -j - r*v = -56. Is j a composite number?
False
Let r = 135 - -66. Is r a composite number?
True
Let c = -875 + 454. Let o = -198 - c. Is o a prime number?
True
Is 14/(-4)*12/(-3) composite?
True
Suppose -4*b = 2*b - 1974. Is b composite?
True
Let c be (1 + 0)*-2 - -4. Suppose c*d + 193 = 3*q, 5*q + 2*d = d + 326. Is q a composite number?
True
Suppose 13*u - 1627 - 1740 = 0. Is u prime?
False
Let m be 32/(-12)*(-6)/4. Suppose -3*o - 6 = 4*v - m, 6 = -5*v - 2*o. Is 55/(-2)*(-4 - v) prime?
False
Suppose 4*d - 6*d = -28. Suppose q - d = 2*q. Let l = q + 23. Is l composite?
True
Is 1/(-6) - (-21801)/18 a composite number?
True
Suppose -b = -2*b + 4. Is -15*b/(-12)*19 a composite number?
True
Let v(i) = 2*i**3 + 8*i**2 + i - 21. Is v(8) composite?
False
Suppose 5*m - 58 = -3*p - p, -p - 38 = -4*m. Suppose -3*t - m + 32 = h, 5*h = 4*t + 53. Is h a composite number?
False
Suppose -5*g - 37 - 65 = m, 3*m + g = -362. Let s be (m/8)/((-7)/(-28)). Let t = s + 108. Is t prime?
True
Let i = 15959 + -10576. Is i prime?
False
Suppose 0 = 2*a - 2, -3*o + 4*a + 8500 = 5*a. Is o composite?
False
Suppose 2*m = -4*m - 24. Is -118*(2/m - 0) prime?
True
Suppose 4*w - w + 4*o - 229 = 0, -5*w = 2*o - 363. Let i = 123 + -73. Let r = w - i. Is r prime?
False
Let q be 3*2/12*-10. Let y(u) = -63*u. Let g be y(q). Suppose -5*f - 114 = -2*i, 7*i - g = 2*i + 5*f. Is i composite?
False
Let l = 467 - 1228. Is l/(-6) - (-2)/12 composite?
False
Let u = 18 + -24. Let t(d) = 11*d**3 + 9*d**2 + 21*d - 1. Let x(o) = -5*o**3 - 4*o**2 - 10*o + 1. Let n(q) = 4*t(q) + 9*x(q). Is n(u) prime?
True
Let t = 2 - 2. Suppose -5*z + 0*z - 155 = t. Let k = 57 + z. Is k a composite number?
True
Suppose -8*v = -5*k - 7*v + 5435, 2*k - 2*v = 2174. Is k a prime number?
True
Suppose 0 = -2*d + 3*i - 0*i + 167, d - 82 = i. Is d a prime number?
True
Let n = -74 + 253. Is n prime?
True
Let d(r) = -r**3 - 7*r**2 - 9*r - 5. Let a be d(-6). Let y = a - -15. Suppose 0 = -4*m - 0*c + c + y, 3*m - 21 = -5*c. Is m a prime number?
True
Let c = 0 - 0. Suppose -2*f + c*q - 4*q = -250, 5*q + 5 = 0. Is f prime?
True
Let r(u) = -u - 146*u**3 - 5*u**2 - 16*u**3 + 3*u**2. Let n(m) = m**2 + 9*m - 1. Let q be n(-9). Is r(q) a prime number?
False
Let y be 6*1*11/3. Suppose -m - 3*n = -34, 0 = 5*m + 3*n - y - 160. Is m a prime number?
True
Suppose 0 - 8 = -2*w. Let p(u) = -u + 1. Let d(r) = -5*r**2 - 3*r - 3. Let l(q) = -d(q) + 2*p(q). Is l(w) prime?
True
Let m be (3/(-6))/(2/(-24)). Let p = m - -3. Is p*((-80)/(-6) + -3) a prime number?
False
Let i be 1*7 + 5 + -6. Let v be 215/15 + (-2)/i. Let b = 33 - v. Is b a prime number?
True
Let y(l) = -l**3 + 9*l**2 + 11*l - 10. Let o be y(10). Suppose o = -