**3 - 3*k**2 + k. Let v be c(5). Let t = v + r. Is t prime?
False
Suppose -5*q = -2*j - 554, -4*j - 10 = -22. Let r = 1 + -1. Suppose 3*z - g = -r*g + q, -5*z + 181 = 4*g. Is z a prime number?
True
Suppose 1338 = 4*v - 2*r, -r + 1 = -0. Is v a composite number?
True
Suppose w - 2*w = -4*s + 5, -s + 2 = -w. Is (s - 32)/(2/(-4)) composite?
True
Let z = 1021 - 284. Is z composite?
True
Let o = 0 + 5. Suppose 5*j = o*p - 25, -j = -2*p - 6*j - 25. Let y = p + 6. Is y prime?
False
Let h = -3 + -13. Let q = 41 + h. Suppose -4*a = q - 221. Is a a composite number?
True
Let n = 669 - -220. Is n a prime number?
False
Suppose -z + 111 = c - 4*c, 0 = 4*z - 3*c - 444. Is z a prime number?
False
Suppose -4*v + 16 = -0*v. Suppose 4 = v*r - 0. Is 21/(1 + (1 - r)) a composite number?
True
Suppose 5*l + 755 = 4640. Let p = -537 + l. Suppose 2*z = -4*s + 794, -4*z - 162 = -2*s + p. Is s composite?
False
Let j = -61 - -1. Is (-4 + j/(-8))*4 prime?
False
Suppose -31 = 3*r - 700. Is r prime?
True
Let s be (3 - 2) + (1 - 2). Suppose -f - 113 + 370 = s. Is f prime?
True
Suppose 0*i + 7 = -i. Is 2/i - (-1334)/14 a prime number?
False
Let q(p) be the first derivative of p**6/360 + p**5/24 + 3*p**4/8 + p**3/3 + 3. Let m(y) be the third derivative of q(y). Is m(8) a prime number?
True
Suppose -14 = -2*n + a - 2*a, -3*a + 2 = -2*n. Let v be n + -3 - (-421 - -1). Suppose 2*u + 255 - 888 = -3*x, -v = -2*x - 3*u. Is x a prime number?
True
Suppose 2*n = -3*n + 395. Is n composite?
False
Let x(k) = 45*k - 8. Is x(11) a prime number?
True
Let u(c) = 29*c - 5. Let p(v) = -59*v + 11. Let l(z) = 4*p(z) + 9*u(z). Is l(6) a prime number?
True
Suppose -o + 2*o - 2*q = 63, -238 = -4*o + q. Is o a composite number?
False
Let u(z) = 1 + 4*z - 5 + 1. Let c be u(2). Suppose -2*t + 49 - c = 0. Is t composite?
True
Suppose 226 = t + 35. Is t prime?
True
Let f(n) = n**3 - 1. Let t(y) = 2*y**3 - 6*y**2 + y + 4. Let i(z) = f(z) - t(z). Suppose 2*g + 2 = -0*d - 2*d, -g - 25 = -5*d. Is i(d) prime?
True
Suppose -5*q + 6388 = k, 2*q = 4*q + k - 2557. Is q prime?
True
Is 9/(-36) - 1181/(-4) a prime number?
False
Let g(l) = -9*l - 4. Let r(z) = 4*z + 2. Let u(i) = -6*g(i) - 14*r(i). Let t be u(-3). Is (-383)/(-5) + t/5 a composite number?
True
Suppose -3*c + 27 = 2*c + 4*i, -3 = c - 2*i. Suppose c*y - 28 = -y. Is y a composite number?
False
Is (-5)/(-20) + 523/4 a prime number?
True
Suppose 0*b + 4*b + 5*r - 1036 = 0, 4*r + 1036 = 4*b. Is b composite?
True
Let j = 1120 + -491. Is j prime?
False
Is ((-1)/(3/(-4861)))/((-3)/(-9)) prime?
True
Let o = -17 + 17. Is 702/6 - (2 + o) composite?
True
Suppose -b - 120 = -5*b. Suppose 0 = -4*s + b + 54. Suppose 5 = 2*q - s. Is q a prime number?
True
Let c(o) = -268*o - 3. Is c(-1) a prime number?
False
Suppose 2*a + 40 = 3*l - 261, -a - 101 = -l. Suppose 0*q + 3*q = l. Is q a composite number?
True
Suppose -5*o - 20 = 10. Let i = o - -3. Is (-101)/i - (-4)/(-6) prime?
False
Let l(w) = 3*w**2 - 4*w + 3. Let n be 12 + -4 + (3 - 1). Suppose 0 = -2*c + 7*c - n. Is l(c) composite?
False
Suppose 2*u = -0*u. Suppose u = -s - s + 4. Let b = 0 + s. Is b a prime number?
True
Let y(i) = i**2 - 5*i + 4. Let w(l) = -l**2 + 10*l - 9. Let b(z) = 3*w(z) + 5*y(z). Let u = 16 - 22. Is b(u) a composite number?
True
Suppose -3*v - 3*v - 408 = 0. Let a = 271 + v. Is a prime?
False
Let g(k) = -29*k - 18. Is g(-16) prime?
False
Let f(q) = -q + 12. Let v be f(9). Let i(p) = 2*p - v*p + 2*p. Is i(6) a composite number?
True
Let y = -1403 - -2376. Is y a composite number?
True
Suppose 5*h = 2*h + 447. Is h a prime number?
True
Let n(c) = 6*c**2 - c - 1. Let s be n(-1). Let f = s - 4. Suppose -f*w + 159 = w. Is w a prime number?
True
Suppose -3*q + 6*q = 0. Suppose q*m + 3*m = 105. Is m a prime number?
False
Let b(c) = c**3 + 25*c**2 + 24*c - 41. Is b(-18) a composite number?
True
Suppose 5*g - 1301 = -3*l + 147, 0 = -2*l - 5*g + 957. Is l a prime number?
True
Suppose -31 = -2*i + 23. Let u be i/(-3 - (-12)/3). Suppose -2*j = -19 - u. Is j a prime number?
True
Let n = -109 - -132. Is n prime?
True
Suppose 6 = -5*s + 21. Suppose s*m + 2*k - 265 = 0, -4*k - k = 3*m - 271. Is m prime?
False
Let s = -302 + 493. Is s composite?
False
Suppose 0 = -0*m + 2*m - 148. Let p = m - 36. Suppose p = 4*d - 2*d - 4*y, -5*d = 2*y - 71. Is d a composite number?
True
Suppose 2*b - 32 = -2*b. Let w = b - 22. Let r = w - -33. Is r a prime number?
True
Suppose 0 = 5*l - 11 - 4. Suppose l*v + 3*y - 5 = -y, 3*v - 2*y = -7. Let s(g) = -54*g**3 - 2*g - 1. Is s(v) a composite number?
True
Let c = 1133 + -14. Is c composite?
True
Let h(r) = -r**3 - 9*r**2 - 9*r - 6. Let b be h(-10). Suppose -5*d - 762 = -3*a, 3*a = -5*d + 608 + b. Is a a composite number?
True
Suppose -3*r + 411 = -5*a, -a + 553 = 4*r - 6*a. Suppose -3*m + 171 = -4*u, -4*m - 4*u = -225 - 3. Let l = r - m. Is l prime?
False
Suppose -a + 8 = 3. Suppose -275 = -0*b - a*b. Is b a composite number?
True
Let l be 0 + -1 + 2 + 1. Let o(b) = 0*b**2 - 7 + b**3 + b**l + 5*b**2 - 10*b. Is o(-7) prime?
False
Suppose 0 = -b + 11 - 45. Let p = b + 59. Is p a composite number?
True
Let p(v) = -5 - 8*v + 4*v + 2 + 10*v**2. Let q be p(4). Suppose -30 + q = 3*n. Is n a prime number?
True
Let k(a) = 6 + 10*a - 3 - 5 + 1. Is k(9) prime?
True
Let y(z) = 7*z. Let w be y(1). Suppose w*g - 100 = 3*g. Is g a composite number?
True
Suppose -14*a = -8457 - 10597. Is a prime?
True
Suppose 0 = -0*u + 3*u - 12. Suppose 4*b = -5*c - b + 435, -5*c = u*b - 433. Is c a prime number?
False
Let k be 4 + 1*(2 + -1). Suppose -s - 197 = -3*g + s, 323 = k*g - 2*s. Suppose -7 = 2*v - 5*o - 43, -5*v + g = o. Is v a prime number?
True
Let y = 1931 - 814. Is y prime?
True
Is (2 + 0 - 1) + 50 prime?
False
Let d(q) = 79*q - 2. Let j(o) = 1. Let c(u) = -d(u) - 3*j(u). Is c(-2) a prime number?
True
Let q(y) be the second derivative of y**5/10 - 3*y**4/4 + y**3/2 + y**2/2 - 5*y. Is q(6) composite?
False
Suppose -10 = -5*o, -2*x + 62 = -0*o - 3*o. Let w = x - 19. Is w a composite number?
True
Let s = 72 + -42. Suppose -2 = -3*n + 58. Let b = s - n. Is b a composite number?
True
Let b(x) = x**2 - 7*x + 5. Let n be b(7). Let o(z) = 3*z**3 - 2*z**2 - 5*z - 7. Is o(n) a prime number?
True
Is 10708/20 - 6/15 prime?
False
Let f(v) = v**2 + 5*v - 1. Let d be f(-6). Suppose 0*o - 2*o = d*w - 9, -5*w = 5*o. Let z = 6 - w. Is z a prime number?
True
Let v(k) = 2*k**2 - 12*k - 3. Is v(7) a composite number?
False
Let n(t) = -t**3 + 15*t**2 + 20*t - 5. Is n(14) a prime number?
False
Is ((-6)/18)/(2/(-36)) a prime number?
False
Let o(h) = 5*h**2 - 4*h + 2. Is o(2) prime?
False
Suppose -54 = 4*d - 2*v, 4*d - 2*v = 3*d - 18. Let h = d + 6. Let o(r) = 3*r**2 - 9*r - 5. Is o(h) a composite number?
False
Suppose 0 = 2*q - 4*q - 4. Is 7*25 + (0 - q) prime?
False
Suppose 1399 = w - 0*w. Is w a prime number?
True
Is 3 + (-28)/4 + 687 composite?
False
Suppose d = 2*d. Suppose -3*n + a = 4*a, -5*n - 2*a = d. Suppose n*x = 2*x - 174. Is x composite?
True
Let f = -324 - -625. Is f a composite number?
True
Suppose 4*w - 11 = -4*z - 3, 0 = -5*z + w + 10. Is 197/z - 9/6 prime?
True
Let o = -16 - -8. Is (-106)/o - (-2)/(-8) a composite number?
False
Let x = 2 + -4. Let i(d) = -39*d + 2. Let v be i(x). Suppose -2*w + v = -114. Is w a prime number?
True
Let w(p) = 24*p**3 + 3*p**2 - 2*p + 1. Let g be 2/(-4)*1*-20. Suppose m - g = -4*m. Is w(m) composite?
True
Let k(x) be the third derivative of -x**6/120 + x**4/4 - 7*x**3/6 - x**2. Let c be k(-5). Suppose -3*h - 2*w + 37 = 0, 5*h + w = -17 + c. Is h prime?
False
Let y(n) = n + 4. Let p be y(0). Suppose 3*m - 115 = -p. Is m prime?
True
Let x(z) = 5*z**2 + 4*z + 7. Is x(6) a prime number?
True
Suppose 5*y - y - b - 763 = 0, -4*b - 760 = -4*y. Is y prime?
True
Let g be -1*((-3 - 1) + -1). Suppose 0*h + g*h - 18 = -i, -h = 3*i + 2. Is -3 - (-3 - 0) - i a composite number?
False
Suppose -4*q + 253 + 23 = 0. Is q/15*(5 + 0) a composite number?
False
Let p = -4 + 8. Suppose 2*j = -0*j - p. Is (-1)/j + 210/4 a composite number?
False
Let l(c) = c**3 - 11*c**2 + 11*c - 9. Let h be l(10). Suppose g - 3*s = h, -g = -s + 2 - 7. Let p = g + 15. Is p composite?
True
Let g = 5 - 3. Suppose 0*i = -2*i + g*r + 172, -r = i - 96. Is i a composite number?
True
Suppose 10 = -n + 3*n. Suppose -