3*m = 17332. Is f prime?
False
Let k be (5/(-1))/((-3)/3). Suppose 4*q = 3*q + k. Suppose -690 = -2*l + q*g, -3*l = -2*l - 3*g - 343. Is l a composite number?
True
Let z = 520 + -362. Is z prime?
False
Suppose 0*p + 2*p + 6560 = 4*q, -4913 = -3*q + 5*p. Is q a composite number?
True
Suppose 0 = 13*a - 2*a - 5159. Is a a composite number?
True
Let m = 1001 + -708. Is m a composite number?
False
Let z(i) = i. Let j(b) = -b**2 - 6*b + 2. Let m(o) = -j(o) - 2*z(o). Is m(9) prime?
False
Let b be 6/33 + (-4)/22. Suppose b*v + 265 = 5*v. Is v a composite number?
False
Let a(o) be the second derivative of o**4/4 + o**2/2 - 2*o. Let i be a(-1). Is (-75 - -1)/(i/(-2)) a prime number?
True
Let a(q) = q**3 + 11*q**2 - 8*q + 2. Let o be a(-6). Suppose -o = -3*k + 25. Is k a composite number?
True
Let z(d) = 7*d**2 + d - 5. Is z(6) a composite number?
True
Let d = -4286 + 6969. Is d a prime number?
True
Let l be (16/(-6))/(18/(-27)). Suppose 4*h + 0*h + l = -3*s, 5*h + s - 6 = 0. Suppose 2*r + 4*p = 10, h*r = -2*p + 3 + 9. Is r a prime number?
True
Let n = 4 - 3. Suppose -10 = -o + 6*o. Is -1*(o + n + -2) composite?
False
Let t be -6*1/(0 + -2). Suppose -4*f - 324 = -1460. Is (-1)/(-3) + f/t a prime number?
False
Suppose 0 = -2*n - 7 - 1. Let l be (-105)/6 + (-2)/n. Let m = l + 36. Is m prime?
True
Suppose 163*l = 159*l + 8884. Is l prime?
True
Is 3 + ((-699)/(-2))/(6/8) composite?
True
Suppose -3*z - 2*z + 5 = -2*g, 4*g + 4*z - 32 = 0. Suppose 4 = 4*q, 0*q = 4*l + 3*q - 311. Suppose -g*i + 4*i = -l. Is i composite?
True
Let b(d) be the second derivative of -29*d**3/6 - 9*d**2/2 - 2*d. Let n(r) = -14*r - 4. Let j(x) = -3*b(x) + 7*n(x). Is j(-2) a prime number?
False
Let y = 59 + -33. Is y prime?
False
Let z(i) = -i**2 - i + 530. Let n be z(0). Suppose g = -g + n. Is g a prime number?
False
Let t = 13 + -9. Suppose -172 = -t*i - 0*i. Is i prime?
True
Is (934/4)/((-2)/(-12)) a composite number?
True
Suppose -4 = -3*g + 2*g. Suppose g*h - h = 45. Is h a composite number?
True
Suppose 0 = 2*x - x - 2. Suppose -x*c = c - 255. Is c prime?
False
Let l(f) = -17*f**3 - 9*f**2 + 2*f - 2. Let b(n) = 8*n**3 + 4*n**2 - n + 1. Let r(o) = 5*b(o) + 2*l(o). Is r(2) prime?
False
Let i(v) = 4*v**2 + 2 - 5*v**2 + 5*v**3 - v - 4*v**3. Let u be i(-2). Let g = u - -27. Is g a prime number?
True
Let z(j) = j - 4. Let x be z(6). Let m(t) = t**2 + 5 + x*t - 3*t + 0*t. Is m(-8) composite?
True
Let y(a) = a**3 - a**2 + a. Let d(x) = x**3 - 4*x**2 - 3*x - 3. Let g(s) = d(s) - 2*y(s). Is g(-4) composite?
True
Let l = 356 - 213. Is l a composite number?
True
Let n(i) = 4*i**3 + i**2 - 2*i - 1. Is n(2) prime?
True
Suppose -f - 4 = f. Let y(i) be the second derivative of -7*i**3/6 - i**2/2 + 8*i. Is y(f) a prime number?
True
Let g be (5 - (-1 - -2)) + 59. Let m be 4/(-10) - (-436)/(-10). Let o = m + g. Is o prime?
True
Let t = -712 + 1277. Suppose 6*w - t = w. Is w a composite number?
False
Suppose -4*c = -451 - 1437. Suppose 5*o = c + 1063. Is o a prime number?
True
Let s(c) = 67*c + 2. Is s(5) composite?
False
Let r(f) = -101*f - 6. Is r(-7) composite?
False
Let y(n) = 6*n**2 - 10*n - 3. Is y(7) a prime number?
False
Let p(n) = -n**2 + 8*n - 3. Let m be p(7). Let q = 93 - 30. Suppose -g = -m*g + q. Is g a composite number?
True
Suppose 0*c - 4*w - 7 = -3*c, 5*w = -3*c - 2. Is c*(3 - -86)*5 composite?
True
Suppose 3*o - 601 = 872. Is o a composite number?
False
Suppose 5*d - 11 = 2*k, 4*d = k + 5 + 5. Suppose -2 - 2 = -g. Let o = g + k. Is o prime?
False
Suppose 0*z - 4*z = -8. Suppose 0*r = 2*r + 3*j - 310, 0 = -z*j. Is r a prime number?
False
Let q be 1*(-4 + 2) - 0. Let o be (-15)/6 + (-3)/2. Is (5 + 249)/(o/q) prime?
True
Suppose 0 = 4*i + 2*i - 18. Let k(j) = 8*j**2 + 3*j + 2. Is k(i) a composite number?
False
Suppose -a + 2*g - 90 = 0, 315 = -5*a + 2*a - 3*g. Let l = a + 177. Is l a composite number?
True
Let z = -313 + 812. Is z a prime number?
True
Suppose 14 = 4*t - 2. Suppose t*u = 4*b - 3*b - 147, -4*u - 8 = 0. Is b prime?
True
Suppose 0*k + 5*c = 5*k - 30, -5*c = -k - 10. Suppose -3*d - 4*j = d + 20, -3*d = 2*j + k. Suppose w - 6 - 13 = d. Is w a composite number?
False
Suppose 4*r = -134 - 766. Let a = r - -554. Is a a prime number?
False
Let b(q) be the first derivative of -q**3/3 + 397*q + 4. Is b(0) a composite number?
False
Suppose 0 = -10*b + 6*b + 184. Is b a prime number?
False
Suppose -3*q - 8 = 1. Let a be (-57)/(-2)*(-2)/q. Suppose -p + a + 4 = 0. Is p prime?
True
Suppose 2*j + 25 = 7*j. Suppose j*v = 3*v + 962. Let n = -232 + v. Is n prime?
False
Let r = -5 - -9. Suppose -2*x = 5*i - 0*x - 1641, -5*i - r*x + 1637 = 0. Is i a composite number?
True
Let v be -1 + -3 + -3 + 66. Let p = v - -8. Is p composite?
False
Suppose -f - 8 = -3*f. Suppose 2*t - 1522 = f*y, 3*t - 2433 + 130 = y. Suppose 246 = 2*n - 2*o, 4*n + o + 297 - t = 0. Is n a composite number?
True
Let s = 42 - 21. Let w = 70 + s. Is w composite?
True
Let m(u) = 6*u**2 + 4*u + 1. Let q(h) = -h + 3. Let x be q(6). Is m(x) a prime number?
True
Let a be (5 - (-2 - -1))*1. Suppose -2*s + 1 = -s. Is ((-3)/a)/(s/(-170)) composite?
True
Suppose 0 = 5*z - t - 0*t - 8362, 0 = -5*z - 4*t + 8377. Is z a prime number?
False
Let u(t) = 163*t**2 + 3*t - 3. Is u(1) composite?
False
Let m = 1 - 6. Let n(s) = 15*s + 3. Let f be n(m). Let g = f - -109. Is g a composite number?
False
Let k(n) = n - 11. Let l = -8 - -13. Let h be k(l). Is (248/(-24))/(2/h) a composite number?
False
Suppose 6*k + 232 - 2020 = 0. Is k a composite number?
True
Let f be 1881/2 - (-9)/(-18). Suppose 4*r = -0*r + f. Is r a composite number?
True
Let x be 2/(-6) + (-76)/(-12). Suppose -2*y + c + 11 = 0, -3*y + c - 2*c = -4. Suppose x*i = 2*i - y*j + 248, -2*i + 110 = -2*j. Is i composite?
False
Suppose 9*h - 1345 = 8*h. Is h a composite number?
True
Suppose u - 6571 = -4*z, -u = 2*z - 2497 - 788. Is z a prime number?
False
Let p(u) = -242*u**3 - u**2. Let j be p(1). Let c = -152 - j. Is c a prime number?
False
Suppose 3*d = 6*d - 369. Is d composite?
True
Let w(g) = -18*g + 7. Is w(-4) composite?
False
Suppose 0 = -8*l + 3*l - 790. Is (l - (-3 - 0))*-1 a prime number?
False
Let s = 143 + 5. Suppose -2*u = 4*v - s, u - 204 = -2*u + 3*v. Suppose -g = g - u. Is g a prime number?
False
Let l be 4 + (-1 + -2 - -2). Suppose 14 = l*f - 763. Is f composite?
True
Let g = -2 + 5. Suppose 2 = -2*m - 5*k, 7 = m - g*k - 3. Is 112/(-12)*(-6)/m prime?
False
Suppose -2*x - 2*x - 3*p + 27 = 0, 4*p + 30 = 2*x. Suppose -y = -2*k - 0 + 2, -k - x = -3*y. Is k prime?
True
Let u(r) = 10*r**3 + r**2 - 3*r - 5. Is u(5) prime?
False
Let t(v) = v**2 + 2*v - 1. Suppose m - 3*r = -5, 0 = 2*m + 3*r - 0*r + 19. Is t(m) a composite number?
False
Suppose -3 = 2*q + q, -t = -2*q - 208. Is t a prime number?
False
Suppose 6*h - 7*h = -49. Is h a prime number?
False
Suppose -3*p + 6 = -k, -5*k - 2*p = -10 - 11. Suppose -2*h = -5*u + 1513, -k*h + 0*h + 891 = 3*u. Is u prime?
False
Suppose 38*w + 6244 = 42*w. Is w a prime number?
False
Let u = -1 + 4. Suppose 2*l = 5*n - 9, -2*l - l + u*n = 0. Suppose 5*t + 15 = 0, l*d - d - 4*t = 118. Is d a composite number?
False
Suppose 3*y - 979 = 2147. Is y a prime number?
False
Suppose 3*h - 9 = -5*a, -a = -0*a. Suppose h*d - 715 = 35. Suppose -g + 54 = -0*g + 2*z, 5*z = -5*g + d. Is g a prime number?
False
Let i = 1 + -4. Is 0 + (-57)/(i - 0) prime?
True
Let y(p) = 3*p**2 + 4*p + 5. Let h(b) = 5*b**2 + 8*b + 10. Let a(d) = 4*h(d) - 7*y(d). Let n be a(5). Suppose n = -6*q + 3*q + 33. Is q a prime number?
True
Suppose 0 = -31*u + 34*u - 777. Is u composite?
True
Let c = -8 - -23. Let s = c - -4. Is s composite?
False
Suppose -3*a + 15 - 3 = 0. Suppose 5*z - 71 = -2*t, -2*z = -a*t + 103 + 75. Is t a prime number?
True
Suppose -439 = -5*u + 4*x, 0 = -x + 4 - 0. Is u a composite number?
True
Let y(v) be the first derivative of -v**3/3 + 15*v**2/2 - 17*v - 8. Is y(12) a composite number?
False
Suppose 0 = 2*j + 3*w - 8 - 25, 0 = 4*j + 3*w - 51. Let q(r) = -r**2 - 1 - j*r - 3*r**3 + 9*r. Is q(-2) a composite number?
False
Let b(z) = 91*z - 19. Let w be b(7). Suppose 5*m = -4*g + 1531, 3*m = 5*m - 4*g - w. Is m a composite number?
False
Suppose -t = 4*t - 3*r + 207, 0 = -r - 1. Let z be (-3168)/t - (-6)/(-14). Suppose a - 4*d - z = 0, -a + 2*d + 90