 5*q + 2*c - 232. Is q a prime number?
False
Let w(q) be the second derivative of q**5/20 + 5*q**4/6 - 3*q**3/2 + 2*q**2 - 2*q. Let b be w(-9). Suppose -5*g - l = -4*g - b, -2*g + 311 = -5*l. Is g prime?
True
Let t = -1688 - -2434. Is t prime?
False
Let j(v) = 2*v - 11. Let a = 1 - -8. Is j(a) a composite number?
False
Let x = -151 + 278. Is x composite?
False
Suppose -g = 3, 5*b + g = -43 - 0. Let k(v) = 3*v**2 + 2*v + 9. Is k(b) a composite number?
True
Suppose -2*g - j = 3*j + 20, 5*j = -25. Suppose 4*n + 27 - 115 = g. Is n a composite number?
True
Let y = 12 + -3. Let k(c) = 3*c - 3 + 0 - c. Is k(y) a composite number?
True
Let s(i) = -33*i - 40. Is s(-7) prime?
True
Let p(f) = 7*f - 5. Let v be p(6). Let g = -22 + v. Is g prime?
False
Let n = -5261 + 7478. Is n composite?
True
Let q be (119 - -3) + 2/(-2). Suppose -37 = -4*j - q. Is 457/7 + 6/j composite?
True
Let w(l) = 123*l + 1. Let s be w(-3). Let u = -257 - s. Suppose -u = -y - 0*y. Is y a composite number?
True
Let v(c) = c**2 + 10*c + 18. Let h be v(-8). Suppose -h*m - m = -2037. Is m prime?
False
Suppose 12*r - 9*r = 3597. Is r a composite number?
True
Suppose -3*u + 5*u - 42 = 0. Is u prime?
False
Let r = -11 - -14. Suppose 0*u + r*u - 258 = 0. Is u prime?
False
Suppose 6*g - 10*g = g. Suppose 5*z - 19 = -c, -2*z = c + 4*c - 3. Suppose g = u + 4*u - z*r - 373, 0 = 3*u - r - 228. Is u composite?
True
Let v = 315 - 151. Is v*(75/12)/5 prime?
False
Let n be (-1)/(33/12 - 3). Suppose -n*p = -2*p - 110. Let o = 68 + p. Is o prime?
False
Let t(r) = -r + 0 + 4 + 0*r. Suppose -2*l = 3*l + 15. Is t(l) a composite number?
False
Suppose -3*y + 134 = -3*z + 650, -4*z + 689 = -5*y. Suppose -3*t = -0*t - z. Is t prime?
False
Let g(x) = 25*x**2 + x - 1. Is g(-2) a composite number?
False
Let c = 5 - 7. Is 63/2 - c/(-4) a composite number?
False
Is 8106/4 + (-10)/(-20) prime?
True
Let g = 4 - 7. Let n(k) = -k**2 - 3*k + 2. Let p be n(g). Let x = p - -23. Is x a prime number?
False
Is (-24)/16 - 22503/(-6) prime?
False
Let b be 2/9 - (-7072)/9. Suppose 0 = -5*k - m + b, -3 = -4*m + 1. Is k a prime number?
True
Let r(y) be the second derivative of y**6/120 + y**5/120 - y**4/24 - y**3/3 - 2*y. Let f(u) be the second derivative of r(u). Is f(2) a composite number?
False
Let g = 1184 + -838. Is g a composite number?
True
Let l = -2 - 6. Is 2/(-8) + (-762)/l a prime number?
False
Let r(t) = -t**2 + 30*t - 12. Is r(9) composite?
True
Suppose -5*g - 763 = -2*y + 290, 3*g = 3*y - 1566. Is y composite?
True
Let o(x) = 33*x**2 + 43*x - 3. Is o(8) composite?
True
Let a(h) = -1 - 8*h + 8 + 0*h + 5*h. Let d(l) = -l**2 - 3*l + 2. Let r be d(2). Is a(r) a composite number?
False
Suppose w + 6*g = g - 16, -4*w + 2*g = -24. Suppose -n + w*n - 441 = 4*b, 4*n = 3*b + 581. Is n composite?
True
Suppose -d + 776 = 257. Is d a prime number?
False
Is (-4)/14 - (-22920)/56 prime?
True
Let t(u) = 2*u**2 + u - 33. Is t(-10) a prime number?
True
Suppose -q - 8 = -1. Let d(j) = -j**2 - 9*j. Is d(q) composite?
True
Suppose 0 = y + y. Suppose y = -5*d + 10*d - 115. Is d prime?
True
Let h be 157 + (2 - (-1 + 4)). Suppose 597 = 3*v - h. Is v a prime number?
True
Let s = -94 + 1851. Is s a composite number?
True
Let w = -4 - -1. Let t = w + 6. Suppose -2*s + t*s - 7 = 0. Is s composite?
False
Let d(k) = 6*k**2 + 4*k + 3. Let g be d(6). Suppose -3*r + 308 = 2*o, 4*r + 5*o = 177 + g. Is (3/(-6))/((-2)/r) a composite number?
True
Let r = 2 + -1. Let f(u) = 42*u**3 + u**2 - u. Let a be f(r). Suppose 2*s = -s + a. Is s prime?
False
Let b(g) = -25*g - 14. Is b(-9) prime?
True
Let q(r) = r**3 + 8*r**2 - 2*r - 12. Let v be q(-8). Suppose h - v*h = -21. Is h prime?
True
Suppose -4*r - 2*b + 16 = b, 0 = -4*b. Suppose -v - 2*n + 69 = -n, -2*n + 272 = r*v. Is v prime?
True
Suppose -5*p + 12 + 33 = 0. Let i(o) = 46*o + 5. Is i(p) prime?
True
Let n(g) = -177*g - 1. Is n(-2) a composite number?
False
Is 712/2*(-26)/(-8)*1 prime?
False
Suppose 549 + 858 = 3*w. Is w a prime number?
False
Let l(r) = -6*r + 6. Let d be l(-5). Let f = d + -17. Is f a prime number?
True
Let f(t) = -t**2 - t + 18. Let o be f(0). Suppose -5*g + 5*k = 0, g + 14 = 6*g + 2*k. Suppose 5*z = g*q + 2*q + 75, 3*z - o = -3*q. Is z prime?
True
Let p(a) = a**3 + 2*a**2 - 4*a + 3. Suppose 0 = -2*b - 5*q + 6, 4*b - 11 - 1 = -4*q. Suppose 3*l + i - 4 = -b*i, 3*l - 2 = -5*i. Is p(l) prime?
True
Suppose 0 = 2*g + 3*g + 15. Let s be 17 - (0 + g/3). Let n = 53 - s. Is n prime?
False
Let m(w) = -34*w - 1. Let v be (2 - (1 - -1))/2. Let k = v + -2. Is m(k) composite?
False
Let t(v) = 2*v**2 + 11*v + 58. Is t(-23) prime?
True
Let d = 192 + -44. Let u = -107 + 224. Suppose 0 = 5*y - d - u. Is y a composite number?
False
Let l(j) = 144*j - 19. Is l(4) composite?
False
Let j(x) = -x**3 + 7*x**2 - 6*x + 5. Let u be j(6). Let t = -9 + u. Is (2/t)/(1/(-74)) composite?
False
Let c(t) be the first derivative of 11*t**6/360 - t**5/40 - t**4/24 - t**3/3 + 1. Let w(f) be the third derivative of c(f). Is w(-4) prime?
False
Suppose 0*c + c = -4*g + 3676, 2*g - c - 1838 = 0. Is g composite?
False
Suppose -5*a = 4*p - 1186, p + 3*a - 5*a = 290. Suppose 2*h + 4 = p. Is h a composite number?
True
Is (149/2)/((45/(-70))/(-9)) prime?
False
Let g(s) = -20*s - 9. Is g(-4) composite?
False
Suppose 0 = -2*t - 16 - 44. Let u = t - -67. Is u prime?
True
Suppose -2*y + 29 = -5*a, 2*a = 5*y - 3*y - 14. Suppose 169 = 5*k + y*x, 2*k - 58 = -4*x - 0*x. Is k a composite number?
True
Let r(b) = -22*b**3 + 4*b**2 + b + 4. Is r(-3) composite?
False
Let i = -51 - -78. Let g = i - -10. Is g a prime number?
True
Suppose 8*h = 6*h. Suppose 4*d - 228 = 3*j - j, 0 = 3*d - 4*j - 161. Suppose h = 5*i + d - 169. Is i composite?
True
Let i(q) = -q**2 - 18*q. Let x be i(-13). Suppose 0*r = -3*r. Suppose r = -2*l + x - 3. Is l prime?
True
Let n(j) = 56*j**3 + j**2 - 3*j + 4. Let u(d) = -56*d**3 - 2*d**2 + 4*d - 5. Let z(a) = 4*n(a) + 3*u(a). Is z(1) composite?
True
Is -2 + 0 - (5*-81 + -6) composite?
False
Suppose -13*p = -9*p - 2364. Is p prime?
False
Suppose 0 = h + h. Let b be 396/20 - 4/(-20). Suppose -r + 5 = h, -22 = -s + r + b. Is s a composite number?
False
Suppose 0 = -3*j + 15, -a - 5*j + 14 = -13. Suppose 73 = -4*m - a*n + 429, -5*n + 253 = 3*m. Is m a composite number?
True
Suppose 3 = -3*t - 3*r, -5*t + r + 21 = -t. Suppose t*v = 151 - 47. Let h = 41 - v. Is h composite?
True
Let p(d) = 15*d**2 - 1. Is p(2) prime?
True
Suppose -q = 2*q + 21. Is (-53)/(-2)*(q - -9) composite?
False
Let f = -47 + -22. Let x be (-4)/14 - f/21. Is (19/x)/(1/3) composite?
False
Let d = -2416 - -3815. Is d a prime number?
True
Let s(m) = 19*m**2 - 2*m - 1. Let k(o) = -2*o**3 + o**2. Let h be k(1). Let t = -3 - h. Is s(t) a prime number?
True
Let p(a) = 27*a**2 + 8*a + 9. Is p(-4) composite?
False
Suppose -1096 = -196*n + 192*n. Is n a composite number?
True
Let g(y) = -4*y**3 - 3*y**2 - 17*y + 13. Is g(-8) a prime number?
False
Let p be 2/(2 + (-90)/44). Is (p/16)/(1/(-4)) a prime number?
True
Let o be (-600)/(-42) - (-2)/(-7). Let i(t) = t**3 - 15*t**2 + 16*t - 9. Is i(o) a composite number?
False
Let h(z) be the second derivative of 73*z**5/20 + z**2/2 - z. Is h(1) prime?
False
Let v(d) be the first derivative of d**4/4 - 4*d**2 + 4*d + 2. Is v(5) a prime number?
True
Suppose -2*d + 1567 - 395 = 0. Is d a prime number?
False
Let q(o) = 39*o**2 - 4*o - 5. Is q(-2) a prime number?
False
Is (-34)/((-70)/22 + 3) a composite number?
True
Suppose -724 = 2*t + 1020. Let p = t - -1465. Is p a prime number?
True
Suppose -21 = -2*u + k + 2*k, -5*u + 25 = -2*k. Let h be (-1)/u - 28/(-12). Suppose 5*g + 53 = 3*t, -h*g + 5*g = 2*t - 36. Is t composite?
True
Suppose 383 + 169 = 4*a. Let t = 253 - a. Is t prime?
False
Suppose -6 = -5*n + 4. Let k(u) = 4*u + 1. Let w be k(n). Suppose i + 4*x - w = 0, 3*i - 5*x - 71 - 24 = 0. Is i composite?
True
Let a(h) = -5 - 2 - 114*h - 19*h. Is a(-2) a prime number?
False
Let x = 7 + -4. Suppose -4*q + 8 = 3*y, 3*y + 6 = 4*y + x*q. Suppose 4*i + 3*w = -y*w + 308, 3*w + 358 = 5*i. Is i a composite number?
True
Is (-1 - -2) + 335 + -1 composite?
True
Let d(p) = -p**2 + 0*p**2 + 2*p**2 - p + 5. Let o(t) = t**3 - 2*t**2 + 2*t + 2. Let g be o(2). Is d(g) composite?
True
Let r = 23 + 188. Is r a prime number?
True
Let m(