0. Let r = 3208 + p. Is r prime?
True
Suppose 5*q = 2*j - 27 + 7, -2*j - 20 = 5*q. Suppose 5*c + c - 510 = j. Is c prime?
False
Suppose 24*q - j = 28*q - 27937, q - 6988 = -j. Is q a prime number?
True
Let c = -57327 + 91558. Is c composite?
False
Suppose 4*x + 2*j - 15 - 5 = 0, -5*x + 35 = 5*j. Let c(y) = -x*y + 7 + 0*y + 55*y**2 - 14*y**2. Is c(3) composite?
False
Suppose 0 = -6*o + 4*o + 1680. Suppose -3*c + 1288 = 2*n - 3*n, 0 = -2*c - 4*n + o. Suppose 3120 = 4*h - c. Is h a prime number?
True
Let f = 5281 - 10979. Let v = -2111 - f. Is v prime?
False
Suppose -467730 = -10*o - 8*o. Is o a prime number?
False
Let c = 11898 - -30139. Is c a composite number?
True
Suppose 3*d = f + 2307, 769 = -d + 2*d - f. Is d prime?
True
Is (-163)/(1 + 3 - (3 + 2)) composite?
False
Suppose -2*u + 4452 = -0*u. Suppose -4*o - u = -o. Is ((-6)/4)/(21/o) composite?
False
Let j(g) = 107*g + 11. Let u be j(8). Let q be 329 + -1 + (0 - -2). Let r = u - q. Is r a composite number?
True
Let d(p) = -1 + 2*p**2 - 6 + 4 - p**2 + 12*p. Is d(8) a prime number?
True
Suppose -k + 5 = -1. Suppose -4*d + 5 = 29. Is 2/d + 716/k prime?
False
Suppose 0 = -4*l + 62708 + 21240. Is l composite?
True
Let j(u) = -7*u + 12*u - 1 + 4*u**2 + 2*u**2 - 5*u**2. Is j(-19) composite?
True
Suppose -2*g + 7*g = -880. Let n = -48 - g. Let a = n + -1. Is a a prime number?
True
Let s(z) = -3*z**2 - 39*z + 7. Is s(-10) a prime number?
True
Let x(s) = 70*s**2 + 2*s - 7. Let g be x(4). Suppose 0 = -8*a + 3207 + g. Is a a composite number?
False
Suppose 5*k = 5*j - 40, k - 9 = -j + 5. Let p(o) = -o**3 + 12*o**2 - 9*o - 15. Let d be p(j). Suppose 9*a - d*a = 398. Is a a prime number?
True
Let s(p) = -53*p**2 + 11*p + 10. Let w(o) = 26*o**2 - 5*o - 5. Let g(a) = -6*s(a) - 13*w(a). Let n be g(8). Let k = n - -1894. Is k prime?
False
Is (-5 + 14910 - (-1 - -4)) + 1 prime?
False
Suppose -44*y = -49*y - 10, -y - 66388 = -2*t. Is t a prime number?
False
Suppose 3*k - 86433 = -5*r + 5*k, -34569 = -2*r + 5*k. Is r composite?
True
Let u(b) be the first derivative of -b**4/2 - 8*b**3/3 - 5*b**2/2 + 5*b + 20. Is u(-8) composite?
False
Let y(n) = 2180*n + 39. Is y(10) a prime number?
True
Let l = 4 + -4. Suppose -5*p + 10 = -l*p. Suppose 2*v - 58 = -p*v - 2*n, -5*n - 11 = -2*v. Is v composite?
False
Suppose 4*r + 61250 = 14*t - 12*t, 3*r + 12 = 0. Is t a composite number?
True
Suppose 0 = -0*b - b + 6. Let h(u) = 2 - b - 5 + 13*u. Is h(6) composite?
True
Suppose -146*y = -138*y - 9544. Is y prime?
True
Let r be ((-6)/(-6))/((-1)/(-11)). Let x be r/(198/195 + -1). Suppose -3*c = 2*c - x. Is c a composite number?
True
Suppose 2*f = 4*h - 0*h - 20, -3*f - 2*h + 10 = 0. Let c(t) = -t**3 + 4*t**2 + 5*t + 5. Let i be c(6). Let a = f - i. Is a a composite number?
False
Let c be (2/(-4) + -1)*(-4)/2. Suppose -4*d + 4 + 16 = n, 148 = 5*n - 4*d. Suppose -38 = -c*f + n. Is f prime?
False
Let a be 52 - ((-6)/(-2) - 5). Suppose 2*u = -u + a. Let r = 233 + u. Is r composite?
False
Let a = 24112 - 13065. Is a composite?
False
Let n(x) = 172*x**3 + 2*x**2 + 3*x + 9. Let a be n(3). Let j = 8965 - a. Is j a composite number?
True
Suppose -285940 + 1715 = -25*q. Is q a composite number?
False
Is ((-4)/(16/(-6)))/((-2)/(-1916)) prime?
False
Let r(m) = 558*m + 188. Is r(21) prime?
False
Let c(k) = -k**3 - 23*k**2 + k + 25. Let f be c(-23). Is -2*((-75)/f + -2) a composite number?
False
Let j(v) = 1741*v**2 + 14*v - 52. Is j(3) a prime number?
False
Let t = -63 + 25. Let r be 2/(-6)*4*(-18)/4. Is 6/r - 8*t a prime number?
False
Suppose 0 = 5*i - i - 7328. Suppose -4*q - 3*c = -9*q + i, 736 = 2*q - 2*c. Suppose -4*m = -2*g + q + 242, -5*g = -4*m - 1485. Is g composite?
False
Suppose -5 = 5*o, 4*o + 46285 + 60227 = 4*t. Is t a composite number?
False
Let x(h) = -5*h**2 - 2*h - 6. Let q(z) be the third derivative of -z**4/24 + z**3/6 - 6*z**2. Let f(a) = -4*q(a) - x(a). Is f(-5) prime?
True
Let k(q) = q - 14. Let n be k(19). Suppose 10*a - n*a = 3845. Is a composite?
False
Let x = -5927 - -11326. Is x composite?
False
Let o(d) = -175*d**3 + 39*d**2 - 9*d - 42. Is o(-5) a prime number?
True
Is 4 + (119 - 2) + 6 composite?
False
Let q(j) = -2406*j + 199. Is q(-5) a prime number?
False
Suppose 0 + 7 = a. Suppose -a*l + 12*l = 3715. Is l composite?
False
Suppose 37 - 102 = -5*f. Suppose 0 = -f*a + 15775 + 12214. Is a composite?
False
Suppose 0 = 5*m + s - 20, 3*s - 15 = -5*m + 15. Suppose -2*k + 845 = m*k. Is k prime?
False
Suppose w = -6*w - 197862. Is (128/(-224))/(3/(w/4)) a composite number?
True
Suppose 20*o - 100626 = 14*o. Is o a composite number?
True
Let p be 13893/(-18) - 3/18. Let u = p + 1394. Suppose 0 = -o + u - 125. Is o composite?
True
Let y be 14/35 + 14/(-10). Let a be -1 + y*(-2)/1. Is ((-3)/6)/(a/(-110)) a composite number?
True
Let i be 2*-4*3/(-12). Suppose -5*l - i*c = -27, 8 = -4*l - 2*c + 28. Suppose -3*d + 2 = -l. Is d composite?
False
Let t(u) = -90*u - 8. Let x be t(-8). Suppose -3*d = d - x. Suppose -m - d = -3*m. Is m prime?
True
Let u(s) = -3*s**3 - 4*s**2 + 3*s - 1. Let c be u(-12). Suppose 0 = -4*o - l + 18249, -o + 2*l - c = -2*o. Is o composite?
False
Let z(n) = 243*n - 89. Is z(6) a prime number?
False
Is (-18329)/((-3)/12*4) prime?
True
Suppose 46*z = 731697 + 1434857. Is z a composite number?
True
Suppose 5*j = 2*q - 1164, -1893 = -3*q - 4*j - 124. Is q composite?
False
Suppose -167 = -5*p + 2018. Is p a prime number?
False
Suppose -w = -2*d - 2*w + 7, 4*d = w + 11. Suppose 3*f - f - 145 = d*a, -5*a = f - 66. Is f composite?
False
Suppose 0 = -2*l - 14 - 0. Is l/(56/(-780))*(-2)/(-3) a prime number?
False
Let n(v) be the second derivative of 2*v**4/3 + v**3/6 - 11*v**2/2 - 31*v. Is n(4) prime?
False
Let k be ((-39)/26)/((-2)/(-12)). Is 12/54 - 6019/k prime?
False
Suppose 5286 = 3*q - 31143. Is q composite?
False
Let d be -2 + 1 + -13 + 6. Let n = 11 + d. Suppose 0*y + 4*x + 227 = y, y = -n*x + 206. Is y a composite number?
True
Let p(r) = -2*r**3 + 6*r**2 + 2*r + 3. Let n(h) = -h**3 - h**2. Let c(j) = -3*n(j) - p(j). Is c(5) a prime number?
False
Let f be (-3 - (-2 + -3)) + (4 - 2). Suppose -3*b = -f*y + 5033, 4*y - 5228 = 5*b - 197. Is y composite?
False
Let n(q) = q**2 + 8*q + 10. Let v be n(-6). Let b be 3*(-678)/9*v. Suppose b = 4*m - 0*m. Is m a prime number?
True
Let m(d) = d**2 - 5*d - 3. Let f be m(6). Suppose 8 = f*u - 4*u. Is (u/(-6))/(2/51) a prime number?
False
Let d(r) = r**3 + 3*r**2 - r + 2. Suppose -1 = m + 2. Let h be d(m). Suppose 0 = h*z - 25, 4*u - 86 = 2*z - 4*z. Is u a prime number?
True
Let n(y) = y**2 + 8*y - 7. Let o be n(-9). Let s(l) = 0*l**3 + o - 4*l**2 + l**3 + 4*l**2 - l**2 + 5*l. Is s(5) a prime number?
True
Suppose -5*d + 420 = -4*d. Suppose -6*w = 66 - d. Is w a prime number?
True
Let y(o) = -848*o + 61. Is y(-15) prime?
True
Let j = -35 - -39. Suppose -654 = -3*a + 2*r, 1444 = 5*a - j*r + 354. Is a prime?
False
Is (-2)/(-4)*970158/21 prime?
True
Suppose 5*w + 0*w - 60549 = 2*t, 0 = -3*t - 4*w - 90789. Let r be 1 - 0 - t/9. Suppose -l - 2*f + f + 674 = 0, 0 = -5*l + f + r. Is l a composite number?
False
Let m(r) = -r**3 + 13*r**2 - 12*r - 3. Let v be m(12). Let d(s) = -32*s**3 + 3*s**2 - 3*s - 5. Is d(v) a prime number?
False
Let c be 56/(-70) + 524/5. Suppose -44 = 4*r + c. Is (-2 - (1 - 2))*r a composite number?
False
Let q = 48 - 46. Suppose -3*l = -8*l - q*g + 3243, l = 3*g + 652. Is l prime?
False
Suppose -2*l - 2 = -0. Let z(y) = 3*y + 2. Let j be z(l). Is 257/2 - j/2 prime?
False
Suppose 5*h + 50 = -t + 6*t, 4*h - 5*t = -45. Let b(x) = -3*x**2 + 2*x - 5. Let g be b(h). Is (-493)/(-9) - 20/g prime?
False
Let i(k) be the second derivative of k**5/20 + k**4/3 + k**3/2 + 3*k**2 + k. Let b be i(-4). Is 1/2 + (-1275)/b composite?
True
Suppose 5*h + 5*m = 3*m + 29495, -4*m = -h + 5877. Is h a prime number?
True
Suppose 0 = -2*z - f, 0*z + 2*f = 2*z. Suppose z = 17*q - 10*q - 13615. Is q a composite number?
True
Suppose 1949 = -i - 4*w, -2*i + 2*w - 4*w - 3886 = 0. Let v = i - -4194. Is v prime?
False
Suppose -24*i + 151821 = 3*i. Is i composite?
False
Let v = 3426 - -995. Is v composite?
False
Let d(b) = 6*b**2 + 38*b - 83*b - b**3 + 39*b - 3. Let y be d(4). Suppose -w = y*w - 2022. Is w composite?
False
Let h = -3195 - -7986. Let b(q) = -3*q - 1. Let c be b(-1). 