7*q**2 + 5*q + 2. Is g(-3) a prime number?
True
Is 7670/25 + (-2)/(-10) a composite number?
False
Let a(d) = -4*d**3 + 12*d**2 + 30*d - 11. Is a(-10) composite?
False
Suppose 4*i - 7*i + 2067 = 0. Is i prime?
False
Let q = 0 + 12. Suppose -2*h - 4*y - q = 0, -3*h - 2*y - 2*y = 10. Let l = h + 19. Is l a composite number?
True
Let r(i) be the first derivative of -2*i**4 - i**3/3 - i**2 + 2*i - 2. Let z be r(-3). Suppose -z = -6*o + o. Is o prime?
True
Let g(a) = 148*a**3 + a. Let q be g(1). Suppose -q = 2*v - 3*v. Is v a prime number?
True
Let r(c) be the third derivative of -c**4/4 + c**3/3 - 6*c**2. Is r(-4) a prime number?
False
Is (-6)/2 + (2639 - 3) prime?
True
Let d = -56 - -201. Let u = d + -87. Is u prime?
False
Let a be 1/(-4) + 9/4. Suppose -2*c + 816 = -2*i, 0 = 2*i + 6 - 0. Suppose 5*h - 5*s = -s + c, -3*s + 139 = a*h. Is h a prime number?
False
Let a(w) = -13*w + 5. Let b be a(4). Let g = -24 - b. Suppose 0*q - g = -q. Is q a composite number?
False
Let r = -125 - -348. Is r prime?
True
Suppose -p - w = -5*w - 2, 0 = 3*p + 2*w - 20. Let g(d) be the second derivative of d**5/10 + d**4/3 - 2*d**3/3 - 7*d**2/2 - 7*d. Is g(p) prime?
False
Let v(w) be the second derivative of 3*w**4/4 - w**3/6 + w**2/2 - 3*w. Is v(-4) prime?
True
Let d be 48/(-9) - (-4)/(-6). Let n(f) = -f**3 + 8*f**2 + 6*f - 1. Is n(d) prime?
True
Suppose 6*g = g - 1295. Let l = -162 - g. Is l composite?
False
Suppose 0 = -g - 3*g + 24. Is (632/g)/((-4)/(-6)) composite?
True
Let k(u) = -u**2 + 22*u + 19. Is k(12) composite?
False
Is (-511)/2*(-4)/2 prime?
False
Let n(z) = 9*z**2 + 3*z + 1. Let o be ((-4)/(-6))/(6/(-45)). Is n(o) a composite number?
False
Let n(z) = -4*z - 3*z**2 + 8*z**2 + 0*z + 2. Suppose -4*p = 5*u - 22, 5*p - 2 - 13 = 0. Is n(u) prime?
False
Suppose -5*i - 3*y - 37 = 0, 5*i + y - 3 = -32. Is (-7096)/(-20) - 1/i a composite number?
True
Let n(c) = -c**2 - 7*c - 3. Let s(f) = f**2 + 8*f + 3. Let p(x) = -5*n(x) - 4*s(x). Is p(-5) a prime number?
True
Suppose -4*p = g - 66, -4*g - p = -4*p - 226. Suppose -m + g + 28 = 0. Is m a prime number?
False
Is 4/6 + (-1784)/(-6) prime?
False
Let o be ((-5)/(-3) + -2)*0. Suppose -3*a + 290 + 184 = o. Is a a prime number?
False
Let d be ((-5)/10)/((-1)/(-8)). Let g be 3/6 - (-2)/d. Suppose -6*o + 8*o - 794 = g. Is o a prime number?
True
Let i(x) = 5*x - 2. Let t be i(-4). Let m = t + 519. Is m prime?
False
Is (-1)/4 + (-557)/(-4) a prime number?
True
Suppose j - 2*j = -2. Suppose 4*a = -4*h + 756, -269 = -j*a + 3*h + 119. Is a composite?
False
Suppose 2*i = -4*s + 1500, 5*i - 2*i - 3*s = 2286. Is i a prime number?
False
Let r(u) = -4*u**3 + u**2 + 2*u + 1. Suppose -5*k - 13 = -3, -12 = 2*w + 5*k. Let t be r(w). Suppose t*b = -0*b + 812. Is b a composite number?
True
Let z be 1/(-4) + 1/4. Let c(d) = -7 - 5*d**2 + 10 + d**3 + 0 + 4*d**2. Is c(z) a prime number?
True
Suppose n = 5*c + 12, 4*n = -6 - 6. Is (c/9)/((-2)/186) prime?
True
Let t(d) = -18*d**3 + d**2 + 2*d - 7. Let u be t(-3). Suppose -3*a = -h - 542, -5*a + 2*h + u = -423. Is a prime?
True
Suppose 0 = -3*q + 5*q - 122. Is (2 + q/(-4))*-4 prime?
True
Is (-5)/(15/6) - -25 a composite number?
False
Let i(f) = f**3 - 8*f**2 - 4*f - 4. Let h be i(7). Let p be (-48)/15*170/(-4). Let a = p + h. Is a a composite number?
True
Suppose -2*j + 2*g + 4 = -2, -3*j + 5*g = -9. Suppose 3*t + 5 = w, 2*t - j = 4*w + 7. Is 65/5 + w/(-2) a composite number?
True
Suppose 4*g - 4 = 2*a, 5*a - 22 + 6 = -3*g. Let o = -4 - -3. Is (13/a)/(o/(-10)) composite?
True
Let v = 426 + -190. Let q = v - 157. Is q composite?
False
Let x(r) = 11*r**2 - 7*r + 4. Let y be x(9). Suppose 197 - y = -5*h. Is h a prime number?
True
Let o(v) = -v - 3. Let i be o(-6). Suppose 4*h + i = -9. Let j = h - -24. Is j a prime number?
False
Let g(p) = p**3 - 10*p**2 + 14*p - 12. Let f be g(9). Suppose -2*i - i - 3*l + f = 0, -3*l = 2*i - 19. Is i a prime number?
False
Let k be 1/(1 + (-4)/6). Suppose 0 = -s - k*s. Suppose d - 4*u + 95 = 4*d, -3*u - 12 = s. Is d a prime number?
True
Suppose k = -4*g + 13, -k - 3*k + 91 = 3*g. Let m = 46 - k. Is m composite?
True
Let g be (1 - -1) + 2 + -2. Let t be (-3)/(-1) - g/2. Suppose 5*c - 2*q - 165 = 3*q, t*q = c - 29. Is c composite?
False
Suppose 0 = 2*i - 10*i + 13816. Is i prime?
False
Let q = 5 + -3. Suppose 4*j = -0*v + q*v - 98, 3*v = -3*j + 138. Is v a prime number?
True
Suppose t - 4*k = -0*t - 88, -t - 3*k = 53. Let o = t - -145. Is o prime?
False
Let l = 152 - 37. Is l prime?
False
Is 892 + 4 + 3 + -4 prime?
False
Is 19 - -815 - 3/1 composite?
True
Suppose 4*p = 2*g - 4, 3*g = 3*p + 2*p + 6. Suppose p*v = 3*v - 117. Is v composite?
True
Let y(z) = z**2 - 8*z - 3. Let d be y(7). Let s(u) = -u - 1. Let i(r) = 3*r + 5. Let h(a) = -i(a) - 2*s(a). Is h(d) prime?
True
Suppose 0*t = -3*t - j + 10939, -2*j = -3*t + 10945. Is t a composite number?
True
Let p(n) = -n + 1932. Let l be p(0). Is (2/(-3))/((-8)/l) composite?
True
Let r(u) = -2*u**3 + 2*u**2 + 4*u + 5. Is r(-4) a composite number?
False
Is ((-6)/(-9))/((-2)/(-2721)) prime?
True
Let c = -1 + 76. Suppose j + a + 133 = -4*j, 0 = -j - 3*a - 35. Let f = j + c. Is f composite?
True
Let n be (-1*11)/((-3)/204). Suppose 5*j - n = j. Is j composite?
True
Let c(y) = -y + 0*y - 12 + 0*y. Let t be c(-12). Is 0 - (t - (3 + 142)) composite?
True
Suppose 3*j - 1632 = -d + 98, 2*j = 4*d - 6934. Is d a prime number?
True
Let s = 1022 + -554. Let d = 691 - s. Is d a composite number?
False
Let j(y) = -11*y - 7 + 0*y**2 + 0*y**3 + 19*y**3 - 2*y**2. Let t(i) = -9*i**3 + i**2 + 6*i + 4. Let p(v) = -3*j(v) - 5*t(v). Is p(-2) a prime number?
False
Suppose -142 = 5*i + 548. Let k = i - -251. Is k a prime number?
True
Let j = 179 + -52. Is j composite?
False
Let w(k) = k**3 + 6*k**2 + 6*k + 3. Let h be w(-5). Is (33 - 10)/(h/(-22)) composite?
True
Let g(x) = x**3 + x + 5. Let r be g(0). Suppose -28*t + 23*t = -715. Suppose 2*a = -3*i + t, -2*i - 2*i = -r*a + 415. Is a composite?
False
Suppose 186 = 6*n - 3*n. Is n composite?
True
Suppose -406 + 1571 = 5*p. Is p a composite number?
False
Suppose -z - 631 = -3524. Is z a prime number?
False
Suppose 3*u - 1503 = 93. Suppose -a = 3*a - u. Is a a prime number?
False
Let m(c) = -4*c + 1. Let w be m(-1). Suppose 0 = x + 5*a + 1 - 20, w*x + 17 = 3*a. Is 0 + 2 + x - -24 prime?
False
Suppose -19 - 51 = -2*b. Is b prime?
False
Suppose 3*d + 117 = 174. Is d prime?
True
Let i(q) = q**3 - 6*q**2 - 10*q - 11. Let n be i(12). Suppose 2*u = n + 149. Suppose 0 = -5*a + 724 + u. Is a a composite number?
False
Is (-15)/6*(-16)/(-20) - -27 a prime number?
False
Suppose -2*j + 5*j - 4083 = 0. Is j prime?
True
Let s(l) be the first derivative of 13*l**2/2 + l + 1. Let d = 14 + -8. Is s(d) a prime number?
True
Suppose 11*j = j + 1450. Is j a composite number?
True
Let k = -36 - -73. Is k a composite number?
False
Let j = -8 - -13. Suppose j*l + 6 = 461. Is l composite?
True
Suppose -2 + 4 = 2*k. Let v be 3/(k - 2) - 65. Is 27/(-6)*v/6 a composite number?
True
Is 53 + (-2)/2 - -3 prime?
False
Let o = 12 - 1. Let w be (-2)/o + (-35)/(-11). Suppose 0*p - w*p + 273 = 0. Is p a prime number?
False
Let t = 47 + 67. Let s = -23 + t. Is s a prime number?
False
Let s be 60/9*852/10. Suppose 3*w = 7*w - s. Is w prime?
False
Let q(f) = -f**3 + 18*f**2 + 14*f + 38. Is q(17) prime?
False
Suppose 4 = -4*q + 16. Let x be 634/(-4) + (-1)/2. Is x*(4/q)/(-4) a prime number?
True
Suppose 3*w = 0, 2*o + 3*o = -2*w + 45. Suppose -2*f = -2, -5*s = -3*s + f - o. Suppose 4*k - 512 = 2*h, -s*h = -h + 6. Is k a composite number?
False
Let t = -353 + 684. Is t a prime number?
True
Is 2 + (-1)/(1/(-329)) a prime number?
True
Let j(l) = l**3 + l. Let r be j(1). Suppose r*i + i - 3*o = 63, 5*o - 33 = -i. Suppose 118 = 5*h + i. Is h a composite number?
False
Let c(w) = w**3 + 3*w - 1. Let i(b) = -2*b. Let f(s) = 3*c(s) + 5*i(s). Is f(4) a prime number?
False
Is (2/(-1))/(10/(-9005)) composite?
False
Let k be ((-4)/6)/(2/(-705)). Suppose -b = -4*g + k, 47 = 4*g + b - 182. Is g a composite number?
True
Let a be 6 + 1/1*2. Let m = -11 + a. Let n = m + 14. Is n a composite number?
False
Let r(k) = k**3 - 5*k**2 + 6*k - 10. Let z be r(8). Suppose -n = -3*n + z. Is n prime?
False
Let n(l) = 3*l**2 - 3*l + 4. Let z(t) = -4*t**2 + 3*t - 5