- 11*u**2 - 2*u - 10. Let a be t(10). Let b = 461 + a. Is b a prime number?
True
Let o(y) = -30*y**2 + y + 1. Let v = 24 + -28. Let j be o(v). Let h = j - -905. Is h a composite number?
True
Let x = 177 - -410. Is x prime?
True
Let p = 237 + 45. Suppose 569 = d - p. Is d composite?
True
Suppose b = -9*b + 150. Let l(m) = m**3 - 3*m**2 - 5*m - 1. Let z be l(5). Let x = z + b. Is x prime?
False
Suppose -2525 = -6*f + 3*f - m, 0 = 3*m - 6. Is f a prime number?
False
Let w(p) be the second derivative of 0 - 5*p - 3/2*p**2 - 445/6*p**3. Is w(-2) prime?
True
Suppose 5*p - 33 = -4*b, -2*b = -6*b + 3*p - 7. Suppose 2*i = 5*c - b*i - 19699, -4*i + 11845 = 3*c. Is c prime?
True
Let q(d) = -d**3 - 10*d**2 + 11*d + 4. Let v be q(-11). Let m = v + 0. Suppose 70 = m*c - 6. Is c composite?
False
Let i be 10/35 + 11476/14. Suppose 6*b + i = 2*b. Let f = b - -524. Is f prime?
False
Suppose 26572 - 93969 = -x - 3*c, -3*x - 2*c + 202205 = 0. Is x prime?
False
Let s(x) = -x**3 - 7*x**2 + 5*x - 4. Let b be s(-6). Let m be (-13)/78 + b/12. Is m/4*(-4722)/9 a prime number?
True
Let h = 5287 + -714. Is h a composite number?
True
Is (10694/5)/(-8 - (-252)/30) a composite number?
False
Let p(r) = 11*r**2 - 7*r - 6. Let m(i) = -i**2 - 1. Let x(o) = -4*m(o) + p(o). Let g(t) be the first derivative of x(t). Is g(5) prime?
False
Let z(l) = 22*l**2 + 4*l - 1. Let k be 1/2 + (-2)/4. Suppose k = 5*p + 10 + 5. Is z(p) prime?
False
Let w = 2 + -2. Suppose w = 4*a + 4*z - 12, 4*a + 2*z = 6*a - 26. Let p = a - -29. Is p composite?
False
Suppose -44*i - 12 = -48*i. Suppose 0 = i*u - 5*u + 5*w + 2382, -3*w - 5917 = -5*u. Is u a prime number?
True
Suppose -d + 77146 = -5*m, -d + m = -103636 + 26494. Is d prime?
True
Let g = -521 + 241. Let p = g + 863. Is p composite?
True
Let i = -25814 + 69909. Is i composite?
True
Suppose 0 = -l + 9*l - 16. Suppose -392 = -l*a + 190. Is a prime?
False
Let c be 2/4*(3 + 3). Suppose 0 = -c*o - 3*r + 30, -2*r + 14 = o - 0*o. Let z(j) = 8*j - 2. Is z(o) prime?
False
Let t be (1 - -1) + -38 + 0 + 2. Let r = t - -67. Is r prime?
False
Let v(n) = 8*n**3 - 4*n - 1. Let h be v(3). Let w = h - 76. Is w a prime number?
True
Let s be ((-9)/12)/(5/(-60)). Suppose -s*d - 8 = -7*d. Is 5265/21 + d/(-14) a prime number?
True
Let h = -311 + 465. Let n = -27 + h. Is n composite?
False
Let t(z) = z - 5. Let q be t(-10). Is (0 - (-6)/10)/((-1)/q) composite?
True
Let x(l) = -l**2 + l - 10. Let v be x(-4). Is (13052/(-3))/(-4) - (-20)/v a composite number?
False
Suppose d = 4 - 0, c + d - 7 = 0. Suppose 1944 = 2*b - h, 7*b - c*h = 10*b - 2907. Is b composite?
False
Suppose -4*j - 209 + 1041 = 0. Suppose -68 = -4*q + j. Let c = 8 + q. Is c a prime number?
False
Suppose 0 = -4*h + 606 - 34. Is h prime?
False
Is (-2220 + -1)*511/(-73) prime?
False
Let a = -5 + 9. Suppose 0 = -3*b + 12, -a*b = -5*u + 274. Suppose -3*t + u = -101. Is t a composite number?
False
Let g(p) = 217*p**2 + p + 1. Suppose -7*r - 4 = 10. Let l be g(r). Let i = -514 + l. Is i a composite number?
False
Is (5 + (0 - 4))*31091 a prime number?
True
Let m(k) = 66*k**2 + 67*k - 13. Is m(-6) a composite number?
True
Suppose 4*i - 5 = -x, i + 3*x = -0*x + 4. Is i*(261 + 8/(-2)) composite?
False
Let x(n) = -19*n**2 + 14. Let h be x(-6). Let m = -149 - h. Is m prime?
True
Let n = -32 - -36. Suppose 0*q = -3*c - n*q + 2053, 0 = c + 5*q - 699. Is c prime?
False
Let z(a) be the second derivative of 7*a**6/360 + a**5/120 - a**4/24 - a**3/6 + a. Let b(f) be the second derivative of z(f). Is b(4) a prime number?
False
Suppose 3 = -4*s - 3*x + 5, -4*x = 8. Suppose -s*d + 761 = -341. Is d a prime number?
False
Let h(p) = -p**3 - 2*p**2 + 28*p + 114. Is h(-11) composite?
True
Let r(p) = -p**3 - 6*p**2 + p - 1. Let m(n) = -n**2 + n + 1. Let i(q) = m(q) - r(q). Let o be i(-5). Suppose o*c - 100 - 90 = 0. Is c a composite number?
True
Suppose -2*n + 10 = s, -3*s - 2*n + 0*n + 18 = 0. Suppose s*j + 4*y - 3621 = j, 0 = 4*j + y - 4828. Is j a composite number?
True
Let c = 52 + -46. Suppose -n - n = -294. Suppose 2*m = -d + c*m + n, -m + 630 = 5*d. Is d composite?
False
Suppose 27*k + 3*x = 32*k - 23197, 5*k - 23201 = 4*x. Is k a composite number?
False
Let s = -2713 - -19487. Is s prime?
False
Is 8 - (-202275)/(10 + -1) composite?
False
Let v(j) = 2*j - 18. Let u be v(7). Let y be (3/u)/((-7)/(-28)). Let o(w) = -11*w**3 - 2*w**2 + 5*w + 5. Is o(y) prime?
True
Let m(t) = 58*t - 419. Is m(40) prime?
True
Let v = -44 + 22. Is (-57)/(-1)*v/(-6) a prime number?
False
Let b = -46 - -46. Suppose -3*k + 8*k - 1115 = b. Is k composite?
False
Let l(a) = 66*a**3 + 2*a**2 + 6*a + 3. Is l(4) prime?
True
Let k(r) = -r**3 - 6*r**2 - 4*r + 1. Let l be k(-6). Let c be (3/(-5))/((-1)/l). Let y(i) = 7*i + 18. Is y(c) composite?
True
Let x be (-6)/(-10) + (-204)/(-10). Suppose 1 - x = -4*f. Is 99*f - (0 + -4) a composite number?
False
Let t = 2386 - 1025. Is t a prime number?
True
Suppose -6*p = -1488 - 1398. Is p composite?
True
Suppose -2*r + j = -7*r + 18, -2*r - 2 = 5*j. Suppose -r*x + 179 = -3*x. Suppose -13 = c - x. Is c composite?
True
Suppose 11785 = 124*r - 119*r. Let o = 3348 - r. Is o a prime number?
True
Let m be (-6)/(-24) + 14/8. Suppose 6*w - m*w = -20. Is (-653)/w - (-10)/25 composite?
False
Suppose 3*x - 32 - 8 = -5*g, 0 = 5*x. Suppose -a = -g*a + 18949. Is a a prime number?
True
Let n = -96 + 161. Let f(z) = -z**2 - 13*z - 4. Let a be f(-6). Let k = n + a. Is k a prime number?
True
Suppose 702187 = 50*w + 184337. Is w composite?
False
Suppose -15*u - 12 = -13*u. Is 14/6 - u/9 prime?
True
Let f(x) = 106*x - 35*x - 3 - 12*x. Is f(10) a prime number?
True
Let p(q) = 8*q**3 - 3*q**2 + 3*q. Suppose 16 = 8*n - 4*n, 5*r - 3*n + 2 = 0. Is p(r) a composite number?
True
Let q be (-2845)/(-20) + 2/(-8). Let o be (-5 - -3) + 2/6*633. Let m = o - q. Is m prime?
True
Let x = 29 - 31. Let p be (-15)/12*66*x. Suppose 0 = -3*t - 2*t + p. Is t prime?
False
Let d(b) = -5*b**2 - b - 3. Suppose 5*q + 18 + 5 = j, j - q - 3 = 0. Let n(u) = -u**3 + 20*u**2 + 3*u + 13. Let z(l) = j*n(l) - 9*d(l). Is z(4) a prime number?
False
Let x(t) = -t**2 + 2. Let g be x(2). Is (g/(-3))/(40/16020) a prime number?
False
Let h(c) = -4*c**3 - 9*c**2 + 5*c + 19. Is h(-9) prime?
True
Suppose -6*b + 13*b = 2765. Is b a composite number?
True
Let g = -63 + 109. Suppose 4*h + 4*k - 584 = 0, -g - 96 = -h + 3*k. Suppose 3*x - h = -34. Is x prime?
True
Let d = -6094 - -13509. Is d a composite number?
True
Suppose 5*q + 4*s = 5, 4*q - s - 45 = 4*s. Suppose 5*r - 3*l = 446, -185 = 3*r - q*r - l. Is r a prime number?
False
Suppose -14656 + 41851 = 5*p. Let g = -3497 + p. Is g composite?
True
Let s be 20/12*-3 + 4. Let u(g) = 1489*g**2 - 2*g - 1. Let k be u(s). Let c = k - 805. Is c prime?
False
Suppose -112*r + 114*r = 4718. Is r prime?
False
Is -1*1/3*(-10 - 46691) a composite number?
True
Suppose -5*i - y + 45 = -169, -4*i = -2*y - 174. Suppose 125 = j + i. Is j a prime number?
False
Let g(d) = 5140*d + 39. Is g(1) prime?
True
Let j be (-13*948)/((-2)/2). Suppose j = 6*r - 5*r. Is r/143 + (-4)/22 a composite number?
True
Let m(t) = -t + 3. Let k be m(7). Let c be 96/42 - k/(-14). Is 79/6 + c/(-12) prime?
True
Let q(y) = 14*y**2 + 31*y + 49. Is q(-12) prime?
True
Let j = -17 + 17. Suppose 5*l - 2*k - k - 2479 = j, l = 2*k + 493. Is l composite?
True
Suppose 2*u - 75 = -271. Suppose -a + 3657 = 2*a - r, -5*a + 5*r + 6095 = 0. Let m = u + a. Is m a prime number?
False
Suppose 3*r - 104 - 466 = 0. Let j = 472 + r. Is j composite?
True
Is 3/(-9)*6*4348/(-8) a prime number?
True
Is (-1 - 1489)/(-2)*(-2641)/(-95) composite?
True
Suppose 0 = -14*a + 29*a - 232905. Is a composite?
False
Let n = -688 + 316. Let v = n - -216. Is (v/(-24))/((-2)/(-212)) composite?
True
Is (6*(-5)/10)/(9/(-5262)) a prime number?
False
Let i(x) = x**3 - 18*x**2 - x + 25. Let c be i(18). Let s(y) = y. Let w be s(c). Let j(t) = 91*t - 6. Is j(w) prime?
True
Let m be 0 - (-2)/3*9. Suppose m = l + l. Suppose 2*j = l*z + j - 63, 5*j + 51 = 3*z. Is z a composite number?
True
Let s(k) = 72*k - 19. Let b(m) = -m**2 + 9*m + 3. Let x be b(7). Is s(x) a prime number?
False
Suppose 64*w - 629805 = 263827. Is w a prime number?
True
Is 8*576 + 2/(2/1) composite?
True
Is (3/(-3) + -334)*334/(-10) prime?
False
Suppo