s z composite?
False
Let d = 6 - -96. Let y = d - 33. Is y composite?
True
Let q(t) = -6*t + 1171. Is q(0) prime?
True
Let n(m) be the first derivative of -13*m**4/4 + 2*m**3/3 - 5*m**2/2 - 5*m - 9. Is n(-3) a prime number?
True
Let f(j) = j**2 + 4*j + 2. Is f(-11) prime?
True
Let w = -69 + 280. Let g = w - 146. Is g a prime number?
False
Let y(n) = 6*n**2 + 4*n + 2. Let l = 8 + -11. Let z be y(l). Suppose -4*x = -z + 16. Is x a prime number?
True
Let t(s) = 3*s + 3. Let v be t(-5). Let c be (16/v)/((-2)/3). Suppose c*a - 3*a + 77 = 0. Is a prime?
False
Let f = 7 + 84. Let d = 9 - 4. Suppose 2*y + 2*y = d*k - 98, -4*k - y = -f. Is k a prime number?
False
Let s(t) = t. Let z be s(4). Suppose -5*p = -4*k + 32, 0 = 6*k - z*k - 2*p - 14. Suppose 4*u - 53 = -k*b, 4*u + 88 - 36 = 4*b. Is b prime?
False
Let z = 1300 - -97. Is z a composite number?
True
Let x = 837 - 578. Is x a composite number?
True
Suppose 0*b = -5*a + 3*b - 1, 3*b = 3*a - 3. Is ((-109)/2)/(a/4) a prime number?
True
Let s be (-2)/(-3*(-2)/(-3)). Let m be 1 - -2*(s + 7). Let x = m - -8. Is x a prime number?
False
Suppose 166 = d + 621. Let f = -825 - d. Let r = -251 - f. Is r prime?
False
Suppose -j - 1 = u - 6, -5*u = 4*j - 22. Suppose 3*t - 7*t + 29 = -5*o, -5*t - 29 = o. Is ((-372)/o)/(u/3) a composite number?
True
Let g be 6/9*3 + 12. Let q be 38/g + (-6)/(-21). Suppose 163 = 3*j + 2*d - 4*d, -q*j + d + 161 = 0. Is j prime?
True
Let f = 620 + -273. Is f a prime number?
True
Suppose -2*b + 0 = 5*r + 17, 0 = -5*b - r + 15. Suppose -7*c = -3*c - 20, 15 = v - b*c. Is v a prime number?
False
Let x = 10601 + -5514. Is x a prime number?
True
Let g(b) = 264*b**2 - 2*b - 15. Is g(4) a prime number?
True
Let y(z) = -39*z - 10. Is y(-7) a composite number?
False
Let p(s) = -36*s + 7. Is p(-6) prime?
True
Suppose 0 = -3*c + 2*k + 29, 3*k + 1 = 2*k. Suppose l = 3*v - 64, -29 - c = -v - 3*l. Is v prime?
True
Let x be (-6 + 4)*74/(-4). Let t = 62 - x. Is t prime?
False
Let s(x) = -22*x**3 + x**2 + 3*x + 3. Is s(-2) a composite number?
True
Let q(c) = 4*c**2 + 11*c + 43. Is q(13) prime?
False
Let z(r) = r**2 + 5*r - 2. Let i be z(-6). Let p be i - (3/1 + -1). Suppose p*m + 1 = 2*d - 27, 0 = -2*m + 10. Is d composite?
False
Let d(f) be the first derivative of -f**4/4 - f**2 - 2*f + 2. Is d(-3) a composite number?
False
Suppose -a - 2*y + 343 = 0, 4*a + 0*a + 5*y - 1375 = 0. Is (a/(-20))/(6/(-16)) prime?
False
Is (-12)/(-15) + (-2482)/(-10) a composite number?
True
Let y = 8 + -13. Let v = y - -5. Let g = v + 11. Is g composite?
False
Let n = -543 - -877. Is n composite?
True
Let f be -1*(2 - 1)*-5. Suppose -f*x - 11 = -2*t, 9 = -5*t - 4*x + 53. Suppose 5*l - 238 + t = 0. Is l a prime number?
False
Let v(x) = 100*x + 1. Let b(i) = i**3 + 4*i**2 + 2*i - 4. Let f be b(-3). Let p be v(f). Let j = 186 + p. Is j a prime number?
False
Let b(q) = q**2 - 9*q - 1 - 7 + 1. Let j be b(10). Let m(n) = 16*n + 1. Is m(j) prime?
False
Suppose 0 = 4*r - 14 - 2. Suppose 5*a = 3*y - r*y + 110, 2*y - 52 = -2*a. Is a prime?
False
Suppose 7*k - 1285 = 2*k. Is k prime?
True
Let n = 2858 - 1995. Is n prime?
True
Let o be ((-40)/(-16))/(10/8). Let p(q) = 29*q**3 - 4*q**2 + 3*q + 1. Is p(o) a composite number?
False
Suppose 4*z = -b + 6*b - 8423, -3*b - 2*z + 5067 = 0. Is b prime?
False
Suppose -4*k + 22 = -34. Suppose 6 + k = 4*j. Suppose -69 = -2*u + j. Is u composite?
False
Let a = -6 - -32. Suppose -2 = -5*h + 3, 5*z + h = a. Suppose -r = -q + 3*q - 30, -z*q = -2*r - 66. Is q prime?
False
Let m(d) = -230*d**3 - 2*d - 1. Let b be m(-1). Let l = 424 - b. Is l + (-1 - -2)*-2 prime?
True
Let t(r) = -26*r - 1. Is t(-16) prime?
False
Let a = 10 + -26. Let t = a - -39. Let u = t + -13. Is u composite?
True
Suppose 0 = 5*p - 55 + 20. Suppose -338 = p*y - 9*y. Is y composite?
True
Let c be 4/(-7) + (-3228)/(-14). Let i = c - 109. Is i composite?
True
Is 2 + -1 + 346 + 6 composite?
False
Is 3 - 1 - (-1 - 220) composite?
False
Is 1675/2 - 6/(-12) a composite number?
True
Suppose -z - 4*z = -4*q + 500, 2*z + 207 = 3*q. Let u = z - -173. Is u a prime number?
False
Suppose -40 = -n - n. Suppose 0 = 6*j - 5*j - n. Let k = 105 - j. Is k prime?
False
Let q(d) = -d**3 + 9*d**2 - 2*d - 1. Let a be q(6). Suppose 4*n = -n + a. Is n composite?
False
Let l(x) = -x**3 + x + 55. Is l(0) prime?
False
Let o(j) be the third derivative of j**5/15 + j**4/8 - 5*j**3/6 + 2*j**2. Is o(-4) prime?
True
Suppose -5*l = -0*l - 3505. Is l a prime number?
True
Suppose 479 = k - 0*k. Is k a prime number?
True
Let o = -119 + 313. Is o composite?
True
Let z be (1 - 3)/2 + 4. Let c be (-69)/((9/(-2))/z). Suppose c = d + d. Is d a composite number?
False
Suppose 413 = 5*m - 3*v - v, -3*m - 3*v = -264. Suppose -m = -3*a + 74. Is a prime?
True
Is -4 + (3 + -72)/(-1) prime?
False
Let l = -102 + 38. Let a = l - -131. Is a a composite number?
False
Suppose -2*m - 3*y = -8, 2*m + m + 4*y - 10 = 0. Is m/(-8) + 13208/32 composite?
True
Let r(q) = 3*q**3 - q**2 + 1. Let b be r(1). Let h(i) = 41*i**3 + 28*i**3 + 2*i**2 + 51*i**b - i**2. Is h(1) prime?
False
Let y(g) = -g**2 - g + 1. Let b(q) = 4*q**2 + 2*q + 1. Let c(z) = b(z) + 3*y(z). Let t be c(-3). Is t + 1 + -2 + 0 composite?
True
Is (1 - 1690)*(-10)/30 a prime number?
True
Let i = -82 - -129. Let h = 66 - i. Is h prime?
True
Let a(s) = -s**3 + 11*s**2 - 4*s + 3. Is a(6) composite?
True
Is (185/10)/(4/24) composite?
True
Let i = 193 - 110. Is i a prime number?
True
Let f(n) = 3 + 2*n - 6*n**2 - 4*n + 2*n**3 + 4. Is f(6) a composite number?
False
Suppose -y + 0*y = -4. Suppose 0 = 3*b + 2*b - 20. Suppose -b*n = -v + 35, 3*n + 225 = y*v + 85. Is v a composite number?
True
Let t(w) = 2*w**3 - 7*w**2 + 10*w - 15. Is t(8) a prime number?
True
Let f(p) = -p**3 - 35*p**2 - 19*p + 8. Is f(-35) a prime number?
True
Suppose -b = 4*c - 17, b - 11 = -0*b - 2*c. Let q = -2 + b. Suppose n + 4*m + 69 = 2*n, q*m - 41 = -n. Is n composite?
False
Suppose 0 = -4*n + 2*n + 184. Suppose 19 = 3*f - 3*s - 2, 2*f - 11 = s. Suppose f*g + 4*q - n = 0, -g + 7 + 18 = 2*q. Is g a prime number?
False
Let z = -203 - -430. Let a = z - 136. Is a prime?
False
Suppose -3*p = -r - 170 - 84, -r + 86 = p. Is (0 - 0/2) + p a prime number?
False
Let y = 172 - -3. Suppose y = 6*g - g. Is g a prime number?
False
Let g(x) = x**3 - 7*x**2 + 7*x + 7. Is g(8) composite?
False
Is (-6)/(-2) + (-1614)/(-3) a prime number?
True
Let o(h) = 1 - 2*h + 0*h + 3*h**3 - 4*h**3 + 4*h**2. Let d be o(3). Suppose 155 = d*q - 41. Is q prime?
False
Let q(r) = -r**3 - 3*r**2 + 2*r + 5. Let v be q(-6). Suppose -v = -4*j + 47. Is j a prime number?
True
Suppose 3*s - 1647 = -3*k, -2*k - 4*s = -7*s - 1088. Is k a prime number?
True
Is (14/(-4))/(2/(-316)) prime?
False
Let w = -2636 - -3745. Is w composite?
False
Is (-674)/(-6) + (-12)/(-18) a composite number?
False
Suppose -2*i + 609 = i. Is i composite?
True
Let x(z) = 5*z - 4. Suppose -3*t - 2*p + 7*p - 16 = 0, 3*t + 23 = -2*p. Let g(u) = 16*u - 12. Let n(s) = t*x(s) + 2*g(s). Is n(-3) a prime number?
True
Let d(u) = u**3 - 8*u**2 - 3*u + 2. Let i be d(10). Let j = 85 + i. Is j a prime number?
True
Let x(c) = 2*c - 9. Let n = 0 + 7. Let k be x(n). Suppose -2*f - 187 = -k*s, s - 5*f + 1 = 43. Is s composite?
False
Let h(l) = -2*l - 3. Let i be -2*((-55)/(-2))/5. Is h(i) composite?
False
Let n be 1 + -1 - 15 - 2. Let v = -11 - n. Is v a composite number?
True
Suppose -2*r + 12 = 3*d - d, 3*r - 20 = -2*d. Let x(m) = 3*m**2 - 10*m + 1. Is x(r) a prime number?
True
Suppose 0 = -z - 3*q + 4*q + 2157, q = -4. Is z a prime number?
True
Let x = 12 - -34. Suppose 0 = -l + 41 + x. Is l a composite number?
True
Let b(u) = 2*u**2 + 7*u - 5. Let t be b(-8). Suppose 5*i = p - 19, 5*p - i - 28 = t. Is p composite?
False
Suppose -5*j + 2 = -3*o + 7*o, -5*j - 5*o = -5. Let x be (-984)/15 - j/(-5). Is (-10)/(-6)*x/(-2) a prime number?
False
Let y = 1283 - 730. Is y composite?
True
Let k(m) = 12*m**2 + 5*m - 2. Let r be k(-5). Let t be (r + -5)/(1*-1). Is (2/(-4))/(2/t) prime?
True
Suppose 0 = -q + 4 - 2. Suppose 0*o = q*o + 5*f - 51, 3 = -3*f. Is o - -3 - -1 - 1 prime?
True
Is 7/((-70)/(-1056)) + (-10)/(-25) a prime number?
False
Let u(v) = 80*v**2 + 7*v + 13. Is u(-2) composite?
True
Let y be ((-3)/(-9))/(1/6). Suppose y*o = -2*o + 8. Suppose