 4*p = 4*t - 40. Let q(a) be the third derivative of a**5/20 + a**4/4 + 5*a**3/2 - 2*a**2. Is q(p) prime?
False
Let u(s) = 64*s**2 + 2*s. Let a be u(3). Suppose -3*r = -r. Suppose 5*f + 20 = 0, -3*k + k - f + a = r. Is k a prime number?
True
Is (-254242)/(-10) + (-528)/440 a prime number?
True
Suppose -480 + 55 = -5*q. Suppose -2*y + 33 = -q. Is y composite?
False
Suppose -5*k = 5, 0*y - 2*y - 2*k + 138936 = 0. Is y a prime number?
False
Suppose 0*h = h - 913. Let o = -681 + 1301. Let n = h - o. Is n composite?
False
Is (5 - 2)/((-1130230)/(-141278) - 8) a prime number?
True
Let s = 745 - -132. Is s a prime number?
True
Let m(n) = -372*n - 29. Is m(-24) prime?
False
Let r(q) = -q**3 - 13*q**2 + 14*q + 6. Let x be r(-14). Let i be (-1 + 0)*(-564)/x. Is (i/4)/(2/4) a composite number?
False
Let j = 135 + 13. Let r = j + 217. Is r composite?
True
Let h(c) = 8*c**3 + 7*c**2 - 6*c + 4. Let i be h(4). Suppose -i = -4*b + 1084. Is b a prime number?
False
Let q be (-1 + 0)*-2 + 469. Suppose q = 2*r + r. Is r a prime number?
True
Suppose 5*m - 141 = 4014. Is m a prime number?
False
Let g = 4864 - 2306. Let i = g + -1821. Is i a prime number?
False
Let s = 16 - 22. Let d = -10 - s. Is 12019/63 - d/18 prime?
True
Suppose -40*o + 110595 = -71245. Is o composite?
True
Suppose 3*u - 12 = 0, 2*j - u + 24193 = 5*j. Is j prime?
False
Let a(k) = -24*k**2 + k. Let y be a(-1). Let h be ((-10)/y)/((-2)/(-40)). Is (958/8)/(h/32) composite?
False
Let r(c) = 6*c**2 - 9*c + 2. Let g(m) = m**3 - 9*m**2 + 16*m - 5. Let d be g(7). Is r(d) prime?
False
Suppose 4*k = -5*o + 8787, -7*o + 4*o = k - 5275. Is o composite?
False
Let m = -480 + 11323. Is m a prime number?
False
Let u = -929 - -1552. Is u a composite number?
True
Is (0 - -7) + 0 - -5072 composite?
True
Suppose 3*v - 2*p = 17023, -2*v = -0*v - 2*p - 11352. Is v a composite number?
True
Let o be (-9)/27 - (-28)/3. Let w(t) = -1 + t**2 - 6*t - o + 7. Is w(10) a composite number?
False
Let t(b) = -36*b**2 + 26*b - 5. Let k(r) = -7*r**2 + 5*r - 1. Let m = -17 - -19. Let n(u) = m*t(u) - 11*k(u). Is n(2) prime?
False
Let s(l) = 261*l**2 + 14*l - 2. Is s(-7) a prime number?
True
Let c(t) = t**3 + 12*t**2 - 17*t + 27. Is c(-11) prime?
False
Let m = -63 - -47. Let t(a) = -a**2 - 20*a - 27. Is t(m) a composite number?
False
Let z be (-2 + -1)*(5 - 6). Suppose l + 471 = 2*c + 4*l, 4*c = z*l + 951. Is c a prime number?
False
Let t(v) = -4*v - 4. Let u be t(2). Let g = 13 - u. Suppose 4*j = -0*j - 4*s + 432, g = -5*s. Is j composite?
False
Let t(a) = -9637*a**3 - 6*a**2 - 8*a - 2. Is t(-1) composite?
True
Suppose r - 12 = -3*r. Let i = 7 - r. Is (-11325)/(-9) + i/6 prime?
True
Let f = 9863 - 3300. Is f prime?
True
Let d(l) = 6*l**2 - 13*l + 3. Let g(t) = -t**2 + 2*t + 4. Let o be g(5). Let h be d(o). Suppose 4*n - h = -228. Is n a prime number?
False
Suppose 5*w - 10273 = -63. Suppose -4*p + 2*l + 6198 = -2*p, -16 = -4*l. Let u = p - w. Is u composite?
False
Let y(c) be the second derivative of -c**5/20 + 7*c**4/12 - c**3/3 - 3*c**2/2 + 12*c. Is y(5) prime?
True
Let r(l) be the second derivative of 0 - 1/12*l**4 - 6*l - 9/2*l**2 + 13/6*l**3. Is r(10) a prime number?
False
Let a(s) = 1032*s**3 + 2*s**2 - 4*s + 13. Is a(2) prime?
True
Suppose -7 - 3 = -2*z. Suppose 5*k + 20 = 0, z*s - 5*k - 330 = 245. Is s composite?
True
Suppose 23 - 35 = -r. Is (-3 - (-32)/r)/((-2)/8826) a composite number?
False
Let p be (-42)/(-8) + (-3)/12. Suppose 0 = p*z - 23 + 3. Is 3/(-12) + 285/z a prime number?
True
Let q(d) = d**2 + d + 1. Let f be q(1). Suppose -a + 2*a = 2*j - 673, -2*j = -f*a - 679. Is j a composite number?
True
Let j(s) = -20 - 11 + 18*s + s**2 + 5*s - 6. Is j(16) prime?
True
Is (1/(-4))/((-19)/607468) a composite number?
False
Let i = 7329 + -3964. Is i composite?
True
Is 8 - (6 + -3) - -2898 a composite number?
False
Suppose -5*y + 19483 - 7528 = -5*g, -y + 3*g + 2401 = 0. Is y a prime number?
False
Let o(i) = -602*i - 217. Is o(-57) a composite number?
True
Let k = -5972 - -23309. Is k a prime number?
False
Suppose o + 2*d = 17764, o - 3*d = 28118 - 10354. Suppose -9*c = -5*c - o. Is c prime?
True
Suppose -2*k = -37 - 15. Suppose 0*y = 3*s - 4*y + 14, -4*y = -5*s - k. Let d = 17 + s. Is d composite?
False
Let a(p) = -p**2 - 4*p - 4. Let k(w) = -6*w**2 - 21*w - 20. Let g(y) = 11*a(y) - 2*k(y). Let o be g(4). Suppose -475 = -o*d + 33. Is d a composite number?
False
Is ((-1440224)/64)/((-3)/6) composite?
False
Suppose -267 - 41 = h. Let y = h + 5743. Is y prime?
False
Suppose 24*f - 118732 = 20*f. Is f prime?
True
Let l(c) be the second derivative of 5*c**4/12 + 5*c**3/6 + 7*c**2/2 - 11*c. Is l(-3) a composite number?
False
Let k be 16/7 - 18/63. Let u be (-10 - -131)/(k/4). Suppose -4*f - f = 3*w - u, 8 = 2*f. Is w prime?
False
Let i be (-8046)/(-24) + 1/(-4). Let g(y) = -y**3 + 10*y**2 + 14*y + 8. Let u be g(12). Let w = i + u. Is w composite?
False
Let s = -4436 + 8039. Is s composite?
True
Let n = 25 + -23. Suppose -n*u - 2*u + 2172 = 0. Let o = u - -166. Is o a prime number?
True
Suppose 0 = -2*u + 3*n - 8, 0 = 2*u + 3*n + 5 - 21. Suppose -s = k - 0*k - 8, u*k + 4*s = 22. Suppose -6*w = c - w - 167, -k*c + 939 = -w. Is c composite?
True
Let m(f) = -60*f**2 + 17*f + 16. Let u be m(-14). Is u*(-10)/105 + 2/(-14) prime?
False
Suppose a - 5*x = -261, 5*a + 4*x = -1172 - 220. Let i = a + 467. Is i a prime number?
True
Let s = 4247 - 2128. Is s prime?
False
Let f(a) = 250*a**2 + 3*a + 4. Let n be f(-3). Suppose -8*b + 13*b = n. Is b a prime number?
True
Suppose 0*k + 2*k - 8 = 0, 5*b + k = 104. Suppose -4*q + 5*l = -3208, -2*l + b = -7*l. Is q a composite number?
False
Let l be (-4 - 6/(-3))/(-2). Let r be 20 + (-2 - (l + -3)). Let w = 135 - r. Is w a composite number?
True
Let a(h) = h**3 - 27*h + 7. Is a(7) a prime number?
False
Let n(x) = x**3 - 5*x**2 - 6*x + 14. Let z be n(10). Suppose -3*j + 686 = -4*k, -2*j = -k - k - z. Let s = j - 89. Is s a prime number?
False
Let m(r) = -111*r**2 - 5*r - 5. Let t be m(-2). Let n = 674 + t. Is n a prime number?
False
Suppose g = 14 + 19. Let s = g - 19. Is s composite?
True
Let a(o) = -1 + 4 - 10*o + 13*o - o + 6 + 6*o**2. Suppose 0 = -4*g - 0*t + 2*t - 18, 2*g = -4*t - 14. Is a(g) prime?
True
Suppose -5*s = -10*s + 15. Suppose 4*k - 5*g = -5 - 7, -s*k + g = 20. Is (-8 - k) + 1*407 prime?
False
Let q be (0 - -2 - 0)*-1. Suppose 2*c - 177 = -5*v + 37, v - 3*c - 53 = 0. Is (30/(-20))/(q/v) a composite number?
True
Let j(r) = 281*r**2 - 70*r - 25. Is j(-12) a composite number?
True
Let b(g) = -1055*g + 59. Is b(-6) a prime number?
True
Suppose m - 14 - 2 = 3*f, 0 = -2*m + 2*f + 16. Suppose -5*u = -m*d - 2646, 3*u - 4*u + 4*d = -542. Is u prime?
False
Suppose 0 = -z - 6*l + 4*l + 673, 4*z + 5*l - 2707 = 0. Let b = -390 + z. Is b a composite number?
False
Suppose i - 2*w = -21, -2*w - 112 = 5*i + 5. Let d = i + 21. Let j(q) = -13*q**3 - 4*q - 3. Is j(d) prime?
True
Suppose 0 = -2*i, -2*m + m = 5*i + 6. Is 148764/52 - (m/39 - 0) composite?
False
Suppose -7*k - 1842 = -8*k. Suppose -k = 2*o - 8*o. Is o a composite number?
False
Let q be ((-12)/18)/((-2)/42). Suppose -10*w = -q*w + 8. Suppose 0*y - 298 = -w*y. Is y prime?
True
Let r = -129 - -133. Suppose -i - 5919 = -r*i. Is i prime?
True
Let n be (-1659)/15 - 8/20. Let j = n + 191. Let u = j - -3. Is u prime?
True
Let s(b) = 2*b**3 - 73*b**2 - 112*b - 77. Is s(48) a prime number?
False
Let a(c) = c**2 + 6*c - 11. Let o be a(-8). Let r = 8 - 5. Suppose 0 = r*v - 3 - 0, -5*v + 35 = o*w. Is w a composite number?
True
Suppose -2*i + 148 = 4*f, 2*i = -f + 37 - 0. Suppose -3*j + 4*l + 35 = 0, -5*j + 14 = -3*l - f. Suppose -j*w = -11*w + 46. Is w a composite number?
False
Is (-4)/6*(76923/(-14) - 12) prime?
True
Let h = -12144 - -21635. Is h prime?
True
Suppose 0 = 53*x + 283638 - 5722975. Is x composite?
True
Let j be 114/3*2/4. Suppose -3*u + 14 = -i + 2*i, -j = -5*i + 2*u. Suppose -2*p + 31 = i. Is p composite?
False
Let x(v) = v - 24. Let z be x(16). Let c(p) = p**3 + 8*p**2 + 3. Let r be c(z). Suppose r*l - 384 = -3*q, 5*q + 6*l - 2*l = 639. Is q composite?
False
Is -38 + 37 - (-23980)/1 a prime number?
False
Suppose 21*h - 20*h - 3*t - 14666 = 0, -h = 2*t - 14671. Is h prime?
True
Suppose -4*t - 3*c + 50 = -4*c, -2*t + 34 = -5*c. Suppose 0