. Is n composite?
False
Let b(s) = -92*s**2 + 4 + 3 - 13*s + 2 + 94*s**2 - 4. Let h = -14 - -2. Is b(h) prime?
True
Suppose -v + 4 = 2. Suppose 2804 = v*q + 2*q. Suppose -b = -5*n - 1 + q, -4*n + 569 = b. Is n a prime number?
False
Let a be (-6)/(-2)*(-72)/(-54). Is (1/a*-587)/(1/(-4)) prime?
True
Suppose -4*b + 5*h = 12055 - 75558, -3*h = 5*b - 79388. Is b composite?
False
Let c(f) be the first derivative of -f**4/2 - 16*f**3/3 - 11*f**2 - 7*f - 3. Is c(-10) a prime number?
True
Suppose 9*p - 14*p + 10 = 0. Let n(c) = -c**3 - 12*c**2 - 10*c + 11. Let u be n(-11). Suppose 2*i = -p*b + 272, i = 2*b - u*i - 263. Is b prime?
False
Suppose 5*k + 15768 = 4*t, 0 = -2*t + 3*t + 4*k - 3963. Is t composite?
False
Let l(w) = 9*w**2 + 13*w - 19. Let u be l(-12). Suppose -256 + 1362 = 5*o + 3*t, -2*t = -5*o + u. Is o a composite number?
False
Let o be 9/(27/892)*3. Suppose -2*u + o + 78 = 0. Is u a prime number?
False
Suppose 3*q = -4*q + 455. Let y = 226 + q. Is y prime?
False
Suppose i + 12 - 7 = 0, -5*y - 3*i = -54100. Is y a composite number?
True
Let o = 461 - -51. Let d be ((-1)/2)/((-4)/o). Suppose -3*q = -d - 113. Is q prime?
True
Let x(h) be the third derivative of -h**5/60 - h**4/6 - 5*h**3/3 + 6*h**2. Let b be x(7). Let s = b - -289. Is s composite?
True
Let n(p) be the third derivative of -p**6/30 + p**5/10 + p**4/3 + 11*p**3/6 + p**2. Is n(-6) composite?
True
Let x be (1 + 29)/((-16)/(-88)). Suppose 2*a = -5*s + 7*a + x, -5*s = 3*a - 173. Is s a prime number?
False
Suppose -100 = 2*i - 0*i. Let y = 105 + i. Is y a prime number?
False
Suppose -w - 3 = -1, -117413 = -3*j + w. Is j prime?
False
Let t = 13086 + -5477. Is t a prime number?
False
Let n = 1 - -9. Let t(k) = k**3 - 11*k**2 + 12*k - 15. Let v be t(n). Suppose -v*d = -0*d - 805. Is d composite?
True
Let v be ((-24)/(-16))/(3/8). Let m be (-135)/(-25) - v/10. Suppose z - 1535 = -4*z - m*g, 5*g = 3*z - 921. Is z composite?
False
Suppose -5*n - 5*x = -235, -2*n - n + 4*x = -127. Suppose -u + 25*u + 0*u = 0. Suppose v + 6 - n = u. Is v a prime number?
False
Let f(c) = 6*c**3 - 57*c**2 - 10*c - 30. Is f(13) prime?
True
Suppose -42 = -47*g + 53*g. Let h(q) = -7*q**2 - 12*q + 26. Let o(y) = -2*y**2 - 4*y + 9. Let d(w) = -3*h(w) + 8*o(w). Is d(g) a prime number?
True
Suppose -34*z = -44*z + 168790. Is z a prime number?
True
Let c(d) = -d - 6. Let z be c(-5). Let n be 5 - 1 - 1*z. Suppose -3*q + 541 = 4*o, -q + n*q = 3*o + 763. Is q a prime number?
False
Let m = 79 + -85. Is (-8)/((-64)/13812)*(-4)/m a prime number?
True
Let p(g) = -5*g + 1. Let z be p(-2). Let v(h) = -5 + 6*h + h**3 + 3*h - 6*h - 10*h**2. Is v(z) prime?
True
Let u = 99 - 40. Suppose -11 + u = 3*b. Let a = b - -22. Is a a prime number?
False
Let a(g) = -g**3 + 23*g**2 + 11*g - 22. Let b be a(17). Suppose b = 2*n - 5*m - 9129, 4*m + 5511 = n. Is n prime?
True
Suppose 198 = 13*a - 4*a. Suppose -21*c + a*c = 1511. Is c a prime number?
True
Suppose -29 - 1 = 5*s. Let g be (-6)/(-18) - 1426/s. Suppose -2*q + 0*q + g = 0. Is q prime?
False
Suppose 1094 = 13*f - 11*f. Suppose 3*c - f = 248. Is c a prime number?
False
Is 46953/9 - (1 + -3) a composite number?
True
Let b = 12 + -11. Is 1347 + -5*(b - 3/5) prime?
False
Let b(g) = 4*g**3 - 2*g**2 + 3*g + 149. Let m(p) = 7*p**3 - 3*p**2 + 5*p + 298. Let c(f) = -5*b(f) + 3*m(f). Let a = -1 + 1. Is c(a) a prime number?
True
Let d(f) = 3*f - 3. Let j be d(10). Let s = j + -25. Is -2*s/4*-223 prime?
True
Let v(j) = 73*j - 197. Is v(18) composite?
False
Let z(w) = 47*w**2 + 4. Let t be z(-2). Let u = t + 349. Is u prime?
True
Suppose 4*r - 6*r = 0, 0 = -3*g + 3*r + 1173. Is g composite?
True
Let g = 38 + -41. Is 28206/27*g/(-2) composite?
False
Let f = 55 - 43. Is 3141/f - 5/(-20) a prime number?
False
Let x be (-8)/44 - 9/(-33)*8. Suppose 2*d - x*s = 197 + 383, 3 = -s. Is d a composite number?
True
Let i(s) = 5*s**2 + 13*s - 1. Suppose 0 = -5*a + 5*x + 75, -3*x = -4*a - a + 65. Is i(a) prime?
False
Let y be (-26)/12 + 3/18. Is y*((-6939)/6 + 4) a composite number?
True
Let o(f) = -3*f**3 + 14*f**2 - 19*f - 1. Is o(-9) a prime number?
True
Suppose -9*m + 10*m + 7 = 0. Is 1154 + 1*2 + m/(-7) a composite number?
True
Suppose 6*v = v + 3*k - 79, v - 4*k = -26. Is 1547/v*4/(-2) a prime number?
False
Let v = 375 + -214. Suppose 2*d - v = -3*i, -5*i - 2*d + 310 = -7*d. Is i prime?
False
Let p(g) be the first derivative of -g**4/4 - g**3 - g**2 + 4*g + 6. Let r be p(-4). Is 8/r - (-5274)/14 prime?
False
Suppose -g + 11 = -0*g. Let z be ((-2)/(-5))/(g/11825). Suppose 4 = 3*s - s, -2*l = -2*s - z. Is l a prime number?
False
Suppose 3*f + 0 - 10 = j, -3*j + 3 = 2*f. Is (f/(-2))/(1/(-302)) composite?
True
Suppose -36*l = -334400 - 170644. Is l a prime number?
True
Let m(i) = i - 14. Let c be m(22). Is c + -1 + (1 - -1) a composite number?
True
Let t(r) = -2*r + 2. Let x be t(0). Let j be (-1 - x)*(-1 + 2). Is (462/j)/((-8)/4) a composite number?
True
Let p(c) = 4*c - 11. Let l(a) = -9*a + 21. Let g(m) = -6*l(m) - 13*p(m). Let d be g(-7). Suppose d*b - 348 = -b. Is b prime?
False
Suppose -5*f + 5 + 4 = -4*v, 4*v - 6 = 2*f. Let h be 5 - (v - (1 - -2)). Suppose h*n + x = 5*n - 109, -559 = -5*n - 2*x. Is n prime?
False
Let t(r) = -6*r**3 - 3*r**2 + 5*r + 7. Let u be 1/(-2) + 39/6. Let m be (-27)/u - 6/(-4). Is t(m) prime?
True
Suppose 3*h - 14*h + 22 = 0. Is 1400/16 + (-1)/h a composite number?
True
Let o = 4 + -1. Suppose -o*u - 6 - 3 = 0. Is u*(0 - (-22)/(-6)) a composite number?
False
Is 61*(-76)/(0 - 4) prime?
False
Suppose 0 = 7*o + 4*o - 23969. Is o a composite number?
False
Let u = -12 + 14. Suppose 4*o - 7 = -3*i, 5 + 9 = 2*o - u*i. Suppose 5*p = -5*b + 826 - 96, o*p = 3*b - 459. Is b composite?
False
Suppose 0 = 7*x - 170 - 229. Is (-55341)/(-57) + 6/x composite?
False
Suppose -139*q = -133*q - 84. Is q composite?
True
Let n(i) = -5*i**3 - 8*i**2 + 13*i + 6. Let d(u) = -4*u**3 - 8*u**2 + 12*u + 5. Let m(y) = 4*d(y) - 3*n(y). Let q be m(-7). Let b = q - -667. Is b composite?
False
Let f be (6 - 0)*-1*23/(-46). Suppose -256 = f*w - 1477. Is w composite?
True
Suppose -k + 6*g = 2*g - 73546, -k = g - 73531. Is k a composite number?
True
Let n = -56 - -75. Is (0 - -3) + n*32 composite?
True
Let d(a) = 979*a**3 - 2*a**2 + 2*a - 1. Let w be 2 + (-3 - (-1 - 1)). Let s be d(w). Suppose 0*o - s = -3*o. Is o a prime number?
False
Suppose 4*f + 3*x = 5, 7*f - 4*f = 4*x + 10. Suppose 2*z = f*s - 9 - 9, z = -4*s + 21. Let n(v) = 16*v - 13. Is n(s) composite?
False
Is (-1 - (-90620)/(-12))*(-15)/10 composite?
False
Suppose 2*c + 2 = -5*y, -y + 28 = 5*c - 5*y. Suppose -2*q - 5*a + 0*a = -300, 3*q + c*a - 443 = 0. Is q a prime number?
False
Let f = -15 + 15. Suppose 0 = 4*l - 3*g - 403, 82 = l - f*g + 3*g. Is l prime?
True
Let s = -11 - -26. Suppose s = n - 4. Is n a prime number?
True
Let v(u) = 6*u + 1. Let h = -23 - -30. Is v(h) prime?
True
Suppose -20669 = -26*z + 244817. Is z a composite number?
False
Let l(g) = g**3 - 10*g**2 - g + 4. Let q be l(10). Let y be (q - -1)*(-6)/15. Suppose 203 = y*f - 115. Is f a composite number?
True
Let s(f) = -f**3 - 15*f**2 + 31*f - 53. Let o be s(-17). Let w(m) be the third derivative of -371*m**4/24 - 5*m**3/6 - m**2. Is w(o) a prime number?
False
Let q = -31219 + 70512. Is q a prime number?
True
Suppose w = -0 + 34. Let m = w + -28. Is -154*((-3)/m + 0) a prime number?
False
Let w(l) = -14 + 4 + 7 + l. Let f be w(0). Is (-293)/f - 8/12 a prime number?
True
Let h = -50 + 89. Let n = -25 + h. Is ((-3)/(-6) - -1)*n a prime number?
False
Let m(w) be the first derivative of w**4/6 - w**3/6 + 3*w**2 - 5*w + 4. Let l(q) be the first derivative of m(q). Is l(7) composite?
False
Suppose 4 = h - 3*h, 0 = k - 2*h - 3449. Let l = k + -2076. Is l prime?
False
Let f be 279/(0 + (-9)/6). Is -2*(2 + f/4) a prime number?
True
Suppose 4*x + x = 25. Suppose 0*r - 3340 = -x*w - 5*r, 0 = 4*r + 20. Is w a composite number?
False
Let w(r) = -88*r - 31. Is w(-6) a composite number?
True
Suppose -6*q + 23 = 2*m - q, -q = m - 7. Suppose -t + 5*p - 31 = -5*t, 0 = -m*t - 4*p + 36. Let l(g) = -g + 37. Is l(t) prime?
True
Suppose -2*a + 48 = 2*m, m - 12 = a + 2*a. Suppose -m*k + 18*k + 5403 = 0. Is k a composite number?
False
Suppose -3*i = -3*s + 3, -2*i + 41 = -4*s - 7*i. Let g(w) = -80*w - 3. Is 