be the first derivative of 3*l**3 + l**2 - 4*l + 1. Let a be -10*(10/4)/5. Is t(a) prime?
True
Suppose 0 = -2*k - 3*b - 2*b + 59, -2*b = -2. Let j = k + 52. Is j a composite number?
False
Suppose -4*j + 2988 = 5*w - 8681, -3*w = 9. Is j composite?
True
Suppose -6*i + 3582 = 642. Is i + (-6)/((-30)/(-25)) composite?
True
Suppose -199*b = -191*b - 17896. Let r(o) = 5*o**3 - 6*o**2 + 7*o + 8. Let s be r(-6). Let n = b + s. Is n a prime number?
True
Let l = -1 + 8. Suppose 5504 + 33 = l*d. Is d a prime number?
False
Suppose -3*w + 7*w = -5*i + 5, 3*w - 4*i + 4 = 0. Suppose -3*k = -w*k - 12. Suppose n - 1749 = -k*t - 116, 5*n = 3*t - 1242. Is t a composite number?
False
Suppose -4*i + 2*i + 4 = 0. Let t be (5350/(-15))/(i/(-3)). Let w = t + -302. Is w a prime number?
True
Let y be (3/2)/(21/98). Let i(f) = -21*f**3 + f**2 + 6*f + 2. Let v(z) = -10*z**3 + z**2 + 3*z + 1. Let d(h) = y*v(h) - 3*i(h). Is d(-2) prime?
True
Suppose 5*y - 2*y = 9. Let w(k) = 72*k**3 - 3*k**2 - 4*k + 2. Is w(y) prime?
True
Let s = -11928 - -20057. Is s composite?
True
Let f = -688 - -1487. Is f a prime number?
False
Let v = 11 - 13. Let k be -1 + -21*(-3 - v). Let d = k + -10. Is d a prime number?
False
Let i = 93 + -89. Suppose -i*r + 6*r - 314 = 0. Is r a composite number?
False
Let z(c) = -c**3 + 8*c**2 - 13*c - 11. Is z(-8) composite?
False
Let n(g) = 3*g**2 + 9*g + 11. Let u be 5/10*-21 + 1/2. Is n(u) a composite number?
True
Suppose 0 = -5*t + 5*g + 4470, 0*t + 3571 = 4*t - 3*g. Is t composite?
True
Let l = -5339 - -15376. Is l composite?
False
Let l(b) = b**2 - 18*b - 39. Is l(46) a composite number?
False
Let c = 22 + -1. Let y be 10281/c - (-3)/7. Suppose 0 = -2*h - 2*j + 472, -7*j + 3*j - y = -2*h. Is h a prime number?
True
Let m(r) be the third derivative of r**6/120 + r**5/20 - r**4/8 + r**3/6 - 8*r**2. Is m(3) prime?
False
Suppose 0 = 2*g + 6, 2*o + 5*g = 4*o - 15. Suppose -18*k + 15*k + 159 = o. Is k a composite number?
False
Let t be 13/4*-10*-28. Let r be 6/(1 + t/(-916)). Let h = r - 499. Is h composite?
True
Suppose 0 = -8*w - 19*w + 188919. Is w a prime number?
True
Suppose 66462 = 21*n - 117897. Is n a prime number?
True
Suppose 0 = -a + 6*a + 3*s + 5, -2*a = -2*s + 18. Is ((-38)/(-57))/(a/(-582)) prime?
True
Is (-25070)/(-3) - 4/(-4 - 8) a composite number?
True
Suppose 4*u - 688 = -r - r, u = -2*r + 685. Suppose -15 = -3*x, -g + 5*x = 20 - r. Is g a prime number?
True
Let t(z) = -12*z**3 + 12*z**2 - 5*z + 12. Is t(-7) a prime number?
True
Suppose -2*l + 4 = -2*k - 12, -5 = -l. Is (-2386)/(4/k*9/6) composite?
False
Suppose 0 = 6*f - 8*f + 7226. Is f prime?
True
Is 408 - (14/21)/((-4)/30) a composite number?
True
Suppose -k - 3 + 4 = 0. Let h(a) be the first derivative of 195*a**4/2 - 3*a**2/2 + 2*a + 38. Is h(k) a composite number?
False
Suppose -42018 = -14*n + 13856. Suppose -5*t = -n - 2964. Is t prime?
False
Suppose h = -34*h + 281715. Is h a composite number?
True
Let f = -5906 - -14409. Is f a composite number?
True
Suppose 19*b + 34*b = 928189. Is b a prime number?
False
Let y(b) = b**3 - 9*b**2 + 10*b + 4. Let v(l) = l**2 - 10*l - 9. Let u be v(11). Suppose 0 = 3*n + 2*n - d - 46, 2*n - u*d - 20 = 0. Is y(n) a composite number?
True
Let p(t) = 2*t - 18. Let f be p(8). Is f + -1 + -7 + 1265 prime?
False
Let z = 1343 + 1679. Is z prime?
False
Let r = -23131 + 37752. Is r a composite number?
False
Let q = 5 - -2. Suppose -2*t - 15 = 2*a + q, -5*a - 58 = 2*t. Is (-3163)/(-3) - 8/a prime?
False
Let k be (18/10)/((-3)/(-10)). Let x = k - 4. Suppose -x*m = -3*w + m + 243, 5*m + 168 = 2*w. Is w composite?
False
Let m(h) = h**3 + 7*h**2 + 7*h + 4. Let t be m(-6). Let y be -1*(-3 - t)*4. Suppose 0*k - 1304 = -y*k. Is k a prime number?
False
Suppose -k - 5*c + 20 = -2*k, 3*c - 12 = 0. Suppose 5*x + 5*z - 3130 = k, 28 - 3 = -5*z. Is x a composite number?
False
Let s be (-8)/4 + -2 + 9. Suppose -s*v - g = 9 - 39, 4*v - 25 = -g. Suppose 0 = v*f - r - 0*r - 167, -2*f - 2*r + 62 = 0. Is f composite?
True
Suppose 9*d = 11670 + 34023. Is d prime?
True
Let d = 296 - 130. Is (d/3)/((-8)/(-60)) composite?
True
Suppose -2*o + 294 = -l, 2*l + 4*o = -3*l - 1470. Let x = 508 + l. Is x composite?
True
Suppose 5*y + 9 + 3 = -c, -9 = -2*c + y. Suppose -3 = -3*t + c. Suppose -t*m - 3*b + 190 = 0, 5*m - b = 388 + 53. Is m a prime number?
True
Let i(g) = 7*g**2 + 22*g + 1. Let z be i(-9). Let b = z - 209. Is b prime?
False
Let d(c) = 2875*c + 694. Is d(13) a composite number?
False
Suppose 93*x - 105*x + 59628 = 0. Is x prime?
True
Suppose 4*q - 46259 = 3*f, 5*f = -13*q + 9*q + 46283. Is q prime?
False
Let n(a) = -a**2 - 13*a - 6. Let p be n(-10). Suppose 0 = -8*d + 5*d + p. Let c = 31 - d. Is c composite?
False
Suppose t - o - 760 = -3*t, -4*o + 190 = t. Suppose -t = -3*a - 25. Is a a composite number?
True
Let j(k) = k**2 - 5. Let t(o) = o**2 + 14*o - 18. Let a be t(-15). Let p be j(a). Suppose 0 = -2*v - 4*x + 1046, -1539 = -3*v - 0*v + p*x. Is v composite?
True
Let p(u) = 2*u**2 + 4*u. Suppose o + 0*o = 5. Suppose 2 = -2*y - 2*f, o*y - 2*y + f + 7 = 0. Is p(y) composite?
True
Suppose 0 = 7*h - 8 + 1. Let n(c) = 654*c - 5. Is n(h) prime?
False
Let a(n) be the first derivative of -13*n**5/60 + 7*n**4/24 - 4*n**3/3 - 5. Let v(d) be the third derivative of a(d). Is v(-12) a composite number?
True
Let r(p) = 539*p**2 - 5*p - 3. Is r(-1) prime?
True
Let u(c) be the second derivative of c**4/12 + c**3/6 + 4*c**2 + c. Suppose -51 = -y - 62. Is u(y) composite?
True
Let f be 1/(-3) - -1 - 112/(-48). Suppose 4*t = -3*o + 627, f*o + 3*t - 538 - 92 = 0. Is o a composite number?
True
Suppose -6*k = 15020 - 50366. Is k a prime number?
False
Let u(w) = -622*w - 10. Let a be u(-4). Suppose -8*n + a = -2*n. Is n prime?
False
Let u(x) = -31*x + 16. Suppose 27*o = 23*o - 28. Is u(o) composite?
False
Suppose -4*i - 3*n - 11703 = 0, 5*i + 3*n + 10396 = -4229. Let y = i + 4486. Suppose -5*s + s + y = 0. Is s a composite number?
True
Let p(f) = -f**3 + 2*f**2 + 3*f - 4. Let o be p(2). Suppose -v - k - 316 = -o*v, -4*k + 321 = v. Is v prime?
True
Let f be -3 + (1657/4 - (-2)/(-8)). Suppose 3*d = 2*x + f, 4*d - 9*d = x - 698. Is d prime?
True
Let c = 46099 + -23276. Is c composite?
True
Suppose -4*s + 206 = -386. Let f be (s/(-16))/((-2)/32). Suppose f = -0*m + 4*m. Is m prime?
True
Let y = 140 - 21. Suppose y = -o + 610. Is o prime?
True
Suppose 2*r + 3*k = -2*k + 9630, -3*k - 6 = 0. Suppose 0 = -3*p + 8785 + r. Is p a prime number?
False
Suppose 4*h = 5*i - 0*h + 21458, -i - h - 4288 = 0. Let a = -2935 - i. Is a composite?
True
Let l(k) = -203*k - 30. Let g(z) = -102*z - 15. Let y(t) = 9*g(t) - 4*l(t). Is y(-14) composite?
True
Let m = 54 + -46. Is 745 + 2 - (-5)/((-20)/m) a prime number?
False
Suppose 5*a = -3181 + 17246. Is a prime?
False
Suppose 0 = y + 1, 5*j - 4*y = 3 - 9. Is 5 + j - (1 + 0 + -1845) a prime number?
True
Let c(m) = 6 + 5 + 3 + 56*m - 3. Is c(4) a composite number?
True
Let z = 84 + -56. Let o = z + -24. Suppose -o*q = -r + 199, 5*r - 1014 = -q + 2*q. Is r prime?
False
Let c = 141490 - 27257. Is c a composite number?
True
Let i be 60/(-50)*(-5456920)/6. Is (4/18 - i/(-126)) + -3 a composite number?
True
Let c be 2422/(-28) - (-2)/4. Let m = 173 - c. Is m a prime number?
False
Let j be (4 + 72/(-16))*(0 + 0). Let r(q) = 83*q**2 - 4*q - 3. Let s be r(-2). Suppose 4*m - 5*m + s = j. Is m composite?
False
Let t(d) = 3*d**2 + 2*d + 4637. Is t(0) prime?
True
Let p = 27722 - 12855. Is p prime?
True
Suppose -u = 4*t - 874, 886 = 2*t + 2*t - 5*u. Is t a prime number?
False
Suppose -4*l - 223070 = -2*n, 0 = 4*n + 2*l - 473017 + 26877. Is n a composite number?
True
Let d(b) be the third derivative of b**6/120 - b**5/10 - b**4/8 + 7*b**3/6 + b**2. Let i be d(6). Let f = 25 + i. Is f a composite number?
True
Let a = 65 + 399. Suppose 317 + 414 = p. Let c = p - a. Is c a composite number?
True
Suppose 15*o - 44006 = 6559. Is o a prime number?
True
Is (-4 - 68186/(-30)) + (-2)/(-15) prime?
True
Let t be ((-7)/28)/(1/(-4)). Is 85 + (t - (0 - -4)) a prime number?
False
Let x(w) = -w + 6. Let c be x(6). Is (c + 1)/(3/1437) composite?
False
Let h(k) = k + 13. Let i be h(-11). Let q(t) = t - 8. Let z be q(8). Suppose -3*x + 328 = -i*m - 0*m, 2*x + 2*m - 202 = z. Is x a composite number?
Tr