8)). Suppose -i - 23 = -p*i. Is i prime?
True
Let z(k) = 5 - k**3 + 0 - 4*k + 2*k**2 - 6*k**2. Is z(-8) composite?
False
Let h = 14 + -11. Suppose -h*y = -2935 + 496. Is y composite?
True
Let m be (10/(-6))/((-1)/3). Suppose -m*l + 22 = -3*l. Is l a prime number?
True
Let u(o) = -5 - 4*o - 2*o - 3*o. Let j = -4 + 0. Is u(j) composite?
False
Let j be (12/(-15))/((-6)/(-735)). Let x = 8 - j. Is x a composite number?
True
Let k(z) = 9*z**2 - 52*z - 17. Is k(-12) a composite number?
True
Suppose 20 = 3*t - 4*p, 0*t + 25 = 4*t - 5*p. Suppose t*i - 3*i + 57 = 0. Is i a composite number?
False
Let l = 187 - 40. Suppose 1533 = -16*z + 285. Let q = z + l. Is q a composite number?
True
Let t be 147 + 6/(-3) + -2. Suppose -68 = -c + t. Is c composite?
False
Suppose -4*n - 5 - 1 = 2*d, 0 = -5*d + 2*n + 21. Let l be 3*1/3*d. Suppose -i = i + 3*s - 33, -l*i + 40 = -5*s. Is i a composite number?
True
Let y be (-63)/(-14) - 1/(-2). Suppose -5*j = -60 + y. Is j composite?
False
Suppose 3*q = q + 5486. Is q prime?
False
Let a(f) = -f**2 - 10*f + 14 + 0*f - 12*f. Is a(-13) a prime number?
True
Let z be (-1 - -2)*(8 + -1). Let s(m) = -m**3 + 7*m**2 + 6*m - 7. Is s(z) a composite number?
True
Let w = 2427 + -1596. Suppose 4*m - 1473 = -5*j, 2616 = 5*m - 5*j + w. Is m composite?
True
Suppose w = 2*w - 3. Suppose 0 = 5*l + 3*y - 3919, y = -4*l + w*y + 3144. Is l a prime number?
False
Let f be (-4)/8 + 54/4. Let i(o) = 19*o + 4. Is i(f) a prime number?
True
Let j(t) be the second derivative of -4*t**3/3 - t**2 - 5*t. Is j(-6) prime?
False
Let c = -3821 - -8478. Is c a composite number?
False
Suppose 0 = 3*l + 203 - 1190. Is l prime?
False
Suppose -4*u - 119 + 43 = 0. Let z = u + -4. Let l = -16 - z. Is l composite?
False
Let p = 337 - -60. Is p a composite number?
False
Let o(t) = -126*t**3 + t**2 + t + 1. Let u be (45/20)/(1/4). Let b = u - 10. Is o(b) a composite number?
False
Let c(u) = 12*u**3 - 3*u**2 + 3*u - 1. Suppose -11 = -3*l - 5. Is c(l) a prime number?
True
Let r(n) = 3*n**2 + 7*n + 1. Let g be r(-5). Let d be (1 - (-3 + 2)) + -30. Let z = g + d. Is z composite?
False
Is (5/(-3))/((-3)/2367) a prime number?
False
Suppose 13*c = 15*c. Suppose 3*p + 213 - 774 = c. Is p composite?
True
Suppose 5*p - 20 = 5*z, 6 = -z - p - 0*p. Let f(j) = 2*j + 9. Let k(g) = -3*g - 19. Let x(s) = z*f(s) - 3*k(s). Is x(-9) a prime number?
False
Let s(d) = d**2 + 2*d - 5. Let c = -1 + -3. Let i be s(c). Suppose i*x + 4*f = 123, -2*f = -x + 3*f + 22. Is x a prime number?
True
Suppose 0 = -l + r, -l - l - 6 = -4*r. Suppose -3*s = -4*g - 1093, l*s - 5*g = 4*s - 396. Is s prime?
False
Let y = -774 - -1951. Is y a composite number?
True
Suppose -2*b = 5 + 5, -v + 96 = 5*b. Is v prime?
False
Let l(m) = -52*m**3 - m + 1. Is l(-2) a composite number?
False
Suppose 8*w = 12*w - 76. Is w a prime number?
True
Let y be -3*(-3 + 2 - 0). Suppose 32 = w + y*w + 5*t, 5*w + 4*t = 49. Is w prime?
True
Let s(i) = i**3 - i + 8. Let v be s(0). Let j be (-3333)/(-2) + (-12)/v. Suppose -3*n + 6*n - j = -3*h, -3*n + 1663 = 2*h. Is n composite?
True
Let a(m) be the first derivative of 3*m**4/4 - m**3/3 + 2*m**2 - m + 1. Is a(3) a composite number?
False
Let z = -20 - -20. Suppose 0 = -t - z*t + 122. Is t composite?
True
Let j be (-6735)/(-10) - 1/2. Let v = j + -230. Is v a composite number?
False
Let f(x) = 364*x**2. Let i be f(-1). Suppose 3*m = -3*u + 255, -4*m + i = -u - u. Is m a prime number?
True
Let n(c) = -3*c - 7. Let y be (7/3)/((-5)/15). Let j be n(y). Let i = 5 + j. Is i composite?
False
Is 11/(-88) - (-3177)/8 a prime number?
True
Let f = 3973 + -1244. Is f composite?
False
Suppose -m = 2*m - 12, m = 3*f - 122. Let a = -23 + f. Is a prime?
True
Suppose 5*n - 48 = n. Let a be ((-3)/(-6))/(1/n). Suppose i + a*d - 2*d - 46 = 0, -i + 70 = -4*d. Is i a composite number?
True
Let k(u) = 92*u**2 + 2*u + 1. Is k(2) prime?
True
Let b = -2 - -69. Let r = b + 90. Is r a prime number?
True
Is (8/12)/((-2)/(-237)) composite?
False
Let t(k) = -2*k**3 + k**2 - 4*k - 2. Let b(r) = r**3 - r**2 + r + 1. Let d(n) = -4*b(n) - t(n). Let a be -2 + 0/(1 + 1). Is d(a) a prime number?
False
Let c = 3 + 0. Let v(l) = 48*l - 3. Let p be v(c). Suppose -f + 781 = 5*r, 0*r = r + 4*f - p. Is r a composite number?
False
Let r = 12 - 7. Let w(t) = t**2 - 2*t + 2. Let f be w(2). Suppose g + 3*v + 2 = -2*v, f*g - r*v = 71. Is g a prime number?
True
Is ((-183)/9)/(3/(-63)) a composite number?
True
Let i(z) = 44*z**2 + z - 3. Is i(-4) composite?
True
Let m(z) be the first derivative of 3*z**2/2 + z - 2. Let l be m(3). Is (-2)/l + (-332)/(-10) composite?
True
Let y = -687 + 1538. Is y a composite number?
True
Let j = 9605 - 3068. Is j composite?
True
Let t(c) = 2*c**2 + 2*c + 0*c**2 + 0*c + 0*c**2 - 1 - 6*c**3. Is t(-2) a prime number?
False
Is (-1 - 0 - 330/24)*-28 composite?
True
Suppose 7*t - 3*t = 6268. Is t a prime number?
True
Suppose -72 = -h - h. Suppose 0 = 7*d - d - h. Is d a composite number?
True
Let m be 3 - (1 - 0)*0. Suppose 5*o + 127 = m*u, 0*u - o = 4*u - 131. Is u composite?
True
Let i(w) = 8*w**2 - 4*w - 3. Is i(-2) a composite number?
False
Let z = -4 + 58. Suppose s - 3*g = -2*s + z, -74 = -5*s + g. Is s a composite number?
True
Is (-10199)/(-21) + (-4)/6 a prime number?
False
Let l = 197 + 98. Is l a composite number?
True
Suppose x - 4 + 0 = 0. Suppose x*a = 5*a. Suppose -3*h + 63 = -a*h. Is h a prime number?
False
Let j be 0 - -1 - (3 + -3). Is (116/(-8))/(j/(-22)) a prime number?
False
Let p = 8 + -14. Let y(k) = 3*k**2 + 4*k - 5. Is y(p) composite?
False
Let s = 177 - 62. Is s a composite number?
True
Let y = -140 - -193. Is y prime?
True
Suppose a = x + 4*x - 11, x + 9 = 3*a. Let o = x - 25. Let c = o - -35. Is c a prime number?
True
Let y be (-3)/4 + (-2)/8. Let i(h) = 64*h**2 - h. Is i(y) prime?
False
Let c = -149 - -210. Suppose 2*x + c = 267. Is x a prime number?
True
Let r(m) = 0*m**2 + 2*m**2 - 3*m + 2 + m**2 - 1. Is r(-6) composite?
False
Let h(z) = z**3 + 5*z**2 + z + 7. Let b be h(-5). Suppose -4*k - k + 840 = -b*v, -k - v = -161. Is k a prime number?
False
Suppose -4*t + 0*t = -8. Suppose 78*u = 76*u + 114. Let f = u - t. Is f a composite number?
True
Suppose -3*q - 2*g = 427, 0*q + 2*q + 273 = g. Is (q/3)/(1/(-3)) a composite number?
False
Let f be (7 - -2)/(6/(-4)). Is (586/f*-3)/1 composite?
False
Let a(t) be the third derivative of t**5/30 + 5*t**4/12 - 7*t**3/6 + 7*t**2. Is a(-9) a composite number?
True
Suppose 3*j - 775 = -193. Is j a prime number?
False
Let f(y) be the third derivative of y**8/6720 - y**7/840 - y**6/144 - y**5/30 - y**2. Let x(n) be the third derivative of f(n). Is x(-4) a composite number?
False
Let q(j) = -281*j - 7. Is q(-6) composite?
True
Let t(w) = 5*w**2 - 6*w + 8. Let n be t(7). Is n/4 - 3/(-12) prime?
True
Let d(z) = 2*z + z - 3 + 6 + 35*z**2. Let i be d(-2). Suppose -4*r + h + i + 73 = 0, 2*r = 5*h + 96. Is r prime?
True
Suppose 0 = 2*u + 2*x - 10, 10 = 2*u + u - 2*x. Suppose 4*z = -3*k + 443, -u*k + 559 = z - 10. Is k a composite number?
True
Suppose 20*p - 9*p = 2827. Is p composite?
False
Let t be (8/10 + 0)*35. Suppose -p = -5*p + t. Is p prime?
True
Suppose -4*d = -z + 243, d - 69 - 199 = -z. Is z a prime number?
True
Let o be 2/(-3) + 57044/39. Suppose -3*m = 5*l - 2*m - o, -2*l + 5*m + 601 = 0. Is l composite?
False
Let x = 0 + 5. Suppose x*s - 425 = -5*i, -3*i + 4*i + 2*s - 87 = 0. Let l = i - 16. Is l a prime number?
True
Let i be (-6)/(-9)*3/(-2). Let r(u) be the first derivative of 8*u**3/3 + u**2/2 + 1. Is r(i) a prime number?
True
Let w(p) be the third derivative of p**6/120 - p**5/30 - p**4/8 - p**3/6 + 2*p**2. Let n be w(3). Is 174 - -6 - (-2 - n) composite?
False
Suppose 5*q + 3*m - 3 = -5, 5*m = 3*q - 26. Suppose -5*v = -4*v, q*x + 4*v = 0. Suppose 3*z - 241 - 638 = x. Is z prime?
True
Let y = -979 + 1448. Is y a composite number?
True
Is (-993)/(-12) + (-3)/(-12) composite?
False
Let r = -8 - -11. Suppose 4*g = r*l - 175, -2*l = -2*g - 35 - 81. Is l composite?
True
Let x be (-1 + -1)/(7/(-91)). Suppose -3*k + 5*k = x. Is k composite?
False
Let g = -3 - -1. Let b = 2 + g. Let n(c) = c**2 + c + 9. Is n(b) a composite number?
True
Suppose 5*p = -3*y + 445, -y + 80 + 71 = 3*p. Is y composite?
True
Let v = 612 + -410. Is v a composite nu