= -562. Is a prime?
True
Let t(s) = -s**3 - 3*s**2 + 24*s + 19. Is t(-10) a composite number?
False
Suppose -3*a + 24 = -2*a + 5*i, -4*i = -3*a - 23. Let m(x) be the second derivative of -109*x**3/3 - x**2/2 - x. Is m(a) a prime number?
False
Let q(o) = 10821*o + 19. Is q(2) a composite number?
False
Let a be 4/(-9 + 8 + (-2602)/(-2598)). Let r = a + -1600. Is r a prime number?
False
Let m(u) = -u**3 + 14*u**2 - 14*u + 12. Let c be m(13). Is c + -1 - 1*(2 - 41) prime?
True
Let s = 664 - 443. Is s prime?
False
Let r = -246 + 476. Suppose 223 = l + b - r, 2*l + 4*b = 910. Suppose l = 5*o + 4*u, 3*o + 3*u = -o + 361. Is o a prime number?
False
Suppose -99 = -4*s - 87. Suppose 0 = s*v - 4551 - 11130. Is v composite?
False
Suppose 52 + 11 = -7*z. Is (-1200)/z + (-2)/6 a composite number?
True
Let a(y) = y**3 + 6*y**2 - 1. Let z be a(-6). Let v = z + 0. Is (v + -93)/(-1) - 0 a prime number?
False
Let y(l) = 7 + 70*l + 4 - 4 + 14. Is y(5) composite?
True
Let c = -17 + 13. Let j be ((-144)/2)/(c/50). Suppose j = 4*z - 320. Is z a prime number?
False
Let u(s) = 3*s + 0*s - 4*s. Let y be u(-2). Suppose 0*a = y*a - 70. Is a composite?
True
Is (14000 - 109)/(-1 + 1 + 1) prime?
False
Suppose 2*x = -6, 4*i = 2*x + 2*x + 316. Suppose 4*t - f - 49 - 103 = 0, -3*t + 114 = 2*f. Let b = i - t. Is b a composite number?
True
Let z = 2 - -70. Let m be (1/(-1))/(8/z). Is m/6*-2 + 50 a composite number?
False
Let u(y) = y**2 + 19. Let q be 18/6*(-2)/(-3). Suppose -m = q*m. Is u(m) a prime number?
True
Let m be 3/(-15) + (-6)/(-5). Let a(l) = -l. Let c be a(m). Is -2 + 98 + (0 - c) a prime number?
True
Let j be (4 + -3)/1 - -1. Suppose -4*z + j*z = -1456. Let g = z - 171. Is g a prime number?
True
Let u = 35059 + -22026. Is u composite?
False
Let k = -31380 - -50219. Is k prime?
True
Suppose 2*j + 94 = 1908. Is j a composite number?
False
Let j be (-25)/(-6) - 2/12. Suppose r + 15 = j*l, -l - 16 = -6*l + 4*r. Suppose -4*v = l*d - 220, -2*v + v + 63 = -d. Is v a prime number?
True
Let y = -12776 - -22419. Is y composite?
False
Suppose -16*f = -15311 + 799. Is f a prime number?
True
Suppose 0 = 4*l + 5*w - 82699, -6*l + 62018 = -3*l + 5*w. Is l prime?
True
Suppose 12*j = 2*j + 27190. Suppose 2*c + 3*n - j = 0, -c = 3*c - n - 5445. Is c composite?
False
Let p(g) = 1703*g - 15. Is p(2) a prime number?
True
Let z(u) = -u**3 - 18*u**2 + 59*u - 21. Is z(-25) composite?
False
Suppose 0 = -0*q - 2*q + 23044. Is (-3)/15 + q/35 a composite number?
True
Let a = -6 + 10. Suppose 0 = 4*z - 5*z - 2*q + 267, 0 = 5*z + a*q - 1311. Suppose 0*y - 5*u = y - 65, -3*y + u + z = 0. Is y composite?
True
Let n = 8352 + -4559. Is n prime?
True
Let b be (2 + -3)/((-4)/32). Let h(s) be the first derivative of -s**4/4 + 13*s**3/3 - 2*s**2 + 7*s - 1. Is h(b) composite?
True
Suppose 2*x = n + 5910 + 1262, 0 = -5*x - 5*n + 17945. Is x a composite number?
True
Let p(y) = -y**2 - 7*y - 5. Let t be p(-5). Suppose 4*j = 4, -t*m + 55 = 4*j + j. Let s(q) = q**3 - 11*q**2 + 13*q + 7. Is s(m) composite?
False
Let a = 77252 - -4179. Is a composite?
True
Let l = 9846 + -4339. Is l a prime number?
True
Suppose 4*c = -n + 4488 - 1339, -15817 = -5*n + 4*c. Is n prime?
False
Is 11/(-7) - -1 - 917643/(-133) composite?
False
Let m = 8303 - 3051. Let u = m - 2603. Is u composite?
True
Let a = 3 + 1. Suppose m + 215 = -3*s + 1010, -3*s = -5*m - 795. Suppose 0 = -2*u - 10, a*u + s + 48 = b. Is b a prime number?
True
Suppose -1 = 4*x + 159. Let o = 24 - 143. Let q = x - o. Is q a composite number?
False
Let a(t) = 21*t**3 - 21*t**2 - 11*t + 15. Is a(10) a prime number?
False
Let k(h) = 38*h + 53. Let l be k(10). Suppose 3*n - 3*j - 5958 = 0, 0 = -n + 4*j + 1550 + l. Is n prime?
True
Suppose -4*a = 8, 4*y - 4*a = -a + 274. Let s = 146 - y. Is s composite?
False
Let s(y) = -370*y**3 + 2*y**2 - y - 32. Is s(-3) prime?
False
Is ((-4)/(-14) - (-442)/119) + 759 a composite number?
True
Let y(c) = -3*c - 10. Let k be y(-4). Suppose 0 = -k*r + r - 2, f + 2*r - 675 = 0. Is f composite?
True
Let f(o) = -o**3 + 19*o**2 + 32*o - 21. Is f(17) a composite number?
True
Let a(c) = -c**3 - 26*c**2 - 8*c - 12. Is a(-29) a composite number?
True
Suppose 3*f - 74 - 31 = 0. Suppose -d - 49 = f. Let j = d - -146. Is j prime?
False
Suppose 0 = 5*s - z - 1117 + 240, 0 = 3*s + 5*z - 515. Let i = s + -66. Is i prime?
True
Let j(q) = 76*q + 10. Let o be j(6). Suppose 821 + 988 = 4*s + w, -s - 3*w + o = 0. Is s a prime number?
False
Suppose 0 = -l + 2768 + 6231. Is l a prime number?
True
Let q(j) = -483*j + 3. Let m be q(-1). Let v = m - 275. Is v a prime number?
True
Suppose 3*a - 39 = -3*c, 5*c = 3*a + 13 + 76. Let g be (0*4/c)/2. Suppose 2*u = -3*k - g*k + 294, 0 = -3*u + 3*k + 411. Is u prime?
False
Let x(j) = -2*j**3 - 3*j**2 + 6*j - 1. Let i be x(5). Let k = i + 927. Is k a prime number?
True
Let p(i) = -4*i + 25. Let f be p(10). Let n be (-14 - f)/((-2)/1032). Let y = -305 - n. Is y prime?
True
Let n(y) = -y**2 + y + 3. Let w be n(0). Let q be 4/(-7) - w/7. Is (3 + q)*(-771)/(-6) composite?
False
Suppose 2*d - 11 = -3*b, 0*d + 6 = -3*d. Suppose -24836 = b*p - 19*p. Is p composite?
True
Suppose -3*t = -4*y - 30763, 0 = 5*t + 5*y - 58521 + 7296. Is t a prime number?
False
Let p(z) = 34*z - 23. Is p(10) a composite number?
False
Suppose 20*m - 252 = -m. Let i be (-62)/(-3) + 2/(-3). Is 207/m*i/3 a composite number?
True
Suppose 2*b = 4540 + 1770. Is b prime?
False
Is -6607*(9 + -8 + 1*-2) composite?
False
Let s(r) = 5*r**3 + 5 - r - 11*r**3 - 4*r**2 + 2*r - 1. Is s(-3) composite?
False
Let v be -2 + (14 - (-4 - -1)). Let u = v - 12. Suppose -134 = -u*x - 17. Is x prime?
False
Let h = 43 + 101. Let a = h - -1338. Suppose -2*t - a + 479 = -3*y, -4*t = -2*y + 682. Is y composite?
False
Suppose 29 = 3*r + 8. Let o(v) = -v**3 + 10*v**2 - v + 9. Is o(r) a prime number?
True
Suppose -7*y + 1793 = -4*y - 2*h, 5*y + 4*h = 3003. Is 2 - (-5 + 2)*y a prime number?
False
Suppose 0 = 54*f - 105*f + 3891045. Is f prime?
False
Suppose 72*s - 234510 = 62*s. Is s a composite number?
True
Suppose 9*b - 4*b - 3*j - 16 = 0, 0 = -4*b + 2*j + 12. Is (-1)/(-1 + b)*-19 composite?
False
Let m be (-156)/(-27) - (-4)/18. Suppose m*v - 10*v = -676. Is v prime?
False
Let j be ((-24)/(-9) + 1)*1401. Let h = -1932 + j. Is h prime?
False
Let m(b) = 4*b**2 - 4*b + 2. Let a be m(-6). Suppose -2*c + 2 + 2 = 0. Suppose -c*g + 0 + a = 0. Is g a prime number?
False
Is (6/9)/(18/45495) a composite number?
True
Let q(s) = 382*s**2 + 15*s - 41. Is q(4) a prime number?
True
Let i(m) = m + 4. Let p be i(-9). Let t(j) = j + 7. Let s be t(p). Is (-70)/(s/3*-3) a prime number?
False
Is ((-2)/(-12))/(1/48318) composite?
False
Let c(b) = 0 + 8*b**2 - 15*b + 6*b**3 + 11 - 6*b**3 + 2*b**3. Is c(6) prime?
True
Let k(t) = t + 7. Let a = -9 + 5. Let y be k(a). Suppose 0*u + y*u - 201 = 0. Is u composite?
False
Let b(o) = 88*o**2 + 12*o - 3. Is b(-3) a composite number?
True
Is (-4 - 43615/10)*-2 a composite number?
False
Let t = -185438 - -313389. Is t prime?
True
Suppose 0 = -2*f + 5*v + 3873, -f + 2*f = 5*v + 1924. Is f prime?
True
Let o(k) = -2*k**3 - 8*k**2 + 11*k + 6. Suppose 5*q - q = -5*d - 55, 0 = 5*d + q + 40. Is o(d) a composite number?
False
Suppose d + 5 = -a, -11 = 4*a - 2*d + 3*d. Is 0 - 85*(1 + a) prime?
False
Let d(c) be the first derivative of 3 + 7*c + 3 + 3*c**2 + 0 + 64*c**2. Is d(3) prime?
True
Let o(r) = -r + 20. Let j be o(16). Suppose -4*c = j*y - 436, 4*c = 5*y - 40 - 523. Is y composite?
True
Suppose 761 = 5*k - 1694. Suppose -4*y - k = -3*j, -4*j + 0*j = -2*y - 638. Is j prime?
True
Let a be 2/(4 - 2)*4. Suppose 5*v + 4*f = -3822, v + a*f + 1524 = -v. Is (0 - 1)*v/2 a prime number?
True
Let d = -100 - -311. Is d composite?
False
Let l(m) be the third derivative of m**5/10 + m**4/12 - m**3/6 - 5*m**2. Let f be l(1). Suppose -f*u = -2*u - 635. Is u a composite number?
False
Let u(x) = x**3 - 9*x**2 + 14*x + 6. Let o be u(7). Let s(t) = 76*t**2 - 6*t - 17. Is s(o) a composite number?
False
Let f(q) = -4*q - 27. Let g be f(-13). Suppose 4*u - a + 153 = 0, u - 3*a + 5 + g = 0. Let x = u + 65. Is x a composite number?
True
Suppose 6*g - 3*g = 4434. Let k = 2133 - g. Let n = 1640 - k. Is n prime?
False
Suppose 31*j + 45 = 26*j. Is (-2)/(-6) + 0 + (-50604)/j a prime numbe