number?
True
Is (-22 + 5301614/(-6))/((-2)/(-6)*-1) a prime number?
True
Let d = -111 - -108. Let b(k) = k**3 + k**2 + k + 5. Let y be b(d). Is 3 + ((-2180)/(-26) - y/104) composite?
True
Let v be (-3*1)/(1/(-1)) - -24185. Is 1/(v/(-4838) + 5) composite?
True
Let f = -42253 - -233974. Is f composite?
True
Let y(k) = -257*k**2 + 16*k. Let v be y(6). Let n be ((-3)/(18/8))/(8/v). Let g = 2199 - n. Is g a prime number?
True
Let r(u) = -u**3 - 17*u**2 + 53*u - 41. Let n be r(-23). Let v = n - 1169. Is v prime?
False
Let m = -7384 - -10513. Is m - ((4 - 2) + 0/(-8)) a composite number?
True
Suppose 55*c + 33101 = -100*c + 112771. Is c a composite number?
True
Suppose 35*u = -102338 + 928303. Is u composite?
False
Suppose 40*v - 164*v - 154*v + 216741866 = 0. Is v prime?
False
Suppose 406*p + 61125847 = 559*p + 440*p. Is p composite?
False
Let p(z) = -z**3 - 13*z**2 - 23*z - 6. Let t be p(-11). Suppose -5*s + t*f + 9133 = f, -2*f = -s + 1823. Is s prime?
False
Let r(q) be the first derivative of q**5/20 - 7*q**4/12 - q**3 + 11*q**2/2 - 4*q + 20. Let z(x) be the first derivative of r(x). Is z(9) prime?
False
Let g be ((-705)/(-6))/5*86. Suppose -4*l = 5*b + 2039, -4*l - b = -8*l - g. Let n = 885 + l. Is n a prime number?
True
Let g = 35 - 30. Suppose -4*l + 1638 = -5*f + 369, -2*l + 657 = g*f. Suppose 5*h - l = 3*j - 2103, 592 = j - h. Is j composite?
True
Let f(p) = -159*p - 86*p + 201 + 19*p. Is f(-32) a prime number?
True
Let u(d) = 2*d**2 + 12*d + 13. Let z be u(-6). Let r = 47 + z. Suppose r = p - 67. Is p prime?
True
Is ((-21)/(-42))/((-801353)/267118 - -2 - -1) prime?
True
Let g(c) = 13*c**2 - 8*c - 27. Let k be 36/(28/70 + (-22)/(-20)). Let f be k/10*(-300)/90. Is g(f) a prime number?
False
Let n(l) = l**3 + 3*l**2 + 9*l + 30. Let t be n(-3). Suppose -9 + 24 = -t*m, -2*o = m - 5857. Is o prime?
False
Let g(k) = -8989*k**3 - 5*k**2 - 15*k - 34. Is g(-3) prime?
False
Let q = -55 - -62. Suppose -1677 = -q*r + 10*r. Let x = r - -890. Is x prime?
True
Let z(n) = 253*n**3 + 14*n**2 - 9*n. Let l be z(6). Suppose -212*f + 218*f = l. Is f prime?
False
Suppose -t - 1385 = -2*n, -3*n - 1088 + 3170 = -3*t. Let c = n - 1732. Let a = c + 2050. Is a prime?
True
Let r = 3 + -3. Suppose 0 = -3*z - 3*t + 5*t + 20, 4*z + 4 = -5*t. Suppose -i = z, -5*k + r*i = 2*i - 3197. Is k a composite number?
False
Let l = 122500 - 77291. Is l a prime number?
False
Let r = 15258 - -27691. Is r a composite number?
True
Is ((-48)/(-10) + 1)/(75/436125) a composite number?
True
Let h = 348093 - 138844. Is h a prime number?
True
Suppose 11*w + 3 = 36. Suppose -2*k - 7*p = -w*p - 10050, 4*p = -16. Let t = k - 2938. Is t prime?
False
Let j(f) = f**2 - 4*f - 10. Let l be (11 - 8) + (-1 + 2)*4. Let p be j(l). Let d(w) = w**2 + 3*w - 5. Is d(p) a prime number?
True
Suppose -38 = 5*r + 3*a, 2*a + 22 = -3*r + a. Let o be r/(-7) - (2 + -1). Suppose 4*f - 4*h - 13448 = -7*h, -f - 3*h + 3371 = o. Is f composite?
False
Suppose -73*s = -21*s - 8271484. Is s a composite number?
True
Let c = -56 - -48. Let f(y) = -150*y + 59. Is f(c) a prime number?
True
Let h(n) = -2*n + 9. Let r be h(-3). Suppose 5*b + 3*p - 7*p = 22, -3*p - r = -3*b. Suppose 333 = 3*x - 0*m + 3*m, 246 = b*x - 4*m. Is x a prime number?
False
Let m(y) = 9*y + 83. Let h be m(-9). Suppose 3*n - 5*c = 4096, h*c = 3*n + 6*c - 4105. Is n prime?
True
Let i = 14 + -20. Let t be 5 + 1 + 4 + i. Suppose -7*m + 3*m - 6751 = -3*r, 0 = 4*r + t*m - 8992. Is r composite?
True
Let y(p) = 65*p**2 - 16*p - 1. Let u be y(6). Suppose -u - 47239 = -18*i. Is i a prime number?
True
Suppose -42 = 2*c + 4*g, 2*c - 18 = 4*c - 4*g. Let t = 27 + c. Suppose -3*i + i = 4*j - 1318, -3*j = t. Is i a composite number?
True
Let j(r) = -1314*r + 31. Is j(-24) a prime number?
True
Let f(b) = 13*b**3 + 4*b**2 - 10*b + 19. Let v be f(7). Suppose 0 = -172*d + 168*d + v. Is d a composite number?
False
Suppose 351*s - 19816528 = 9383513. Is s prime?
False
Let x = 96219 - 56242. Is x a prime number?
False
Suppose 76725 + 10860 = 5*q. Suppose 5*x = q - 3352. Is x a prime number?
True
Suppose 4843853 + 2191556 + 5864533 = 22*h. Is h prime?
True
Let k(g) be the second derivative of 233*g**3/6 + 91*g**2 - 2*g - 6. Is k(25) a prime number?
True
Let f be (2 + (-22)/4)*-28. Suppose -2*k - 12 = 5*t - 2, -t + 5*k = -25. Suppose u + v - f = -t*v, -v - 387 = -4*u. Is u a prime number?
True
Suppose v - 5*w = -7*w - 7, 0 = -3*v + w + 14. Suppose 14184 - 182016 = -8*h. Suppose 5*z = 2*i + h, 7*z - 12600 = 4*z - v*i. Is z composite?
True
Let n(h) be the first derivative of h**4/4 - h**3/3 + 2*h**2 - 20*h + 37. Let j be n(6). Let f = 233 + j. Is f a composite number?
True
Suppose 69*l = 73*l - 32, -3*l + 1570810 = 2*h. Is h composite?
True
Let m = 1394 + -639. Let b = m + 166. Is b a composite number?
True
Let c = 28 - -12. Is 16075 - ((-9)/(-15))/((-4)/c) composite?
True
Let q = 9 + -56. Let m = 50 + q. Is ((-2)/m)/(6*5/(-3915)) prime?
False
Suppose 88*r - 25287613 - 12325204 = -9*r. Is r prime?
False
Let h = 5 + 26. Let s = 67 - h. Let l = 41 + s. Is l composite?
True
Let k(p) = -p**2 - 6*p - 1. Let c be k(-4). Suppose 0 = -c*d + 915 + 1388. Is d composite?
True
Let h(s) = 370*s**3 + 5*s**2 - 2*s - 7. Let t be h(3). Let i = t + -2160. Let v = i + -747. Is v a composite number?
True
Is 5/(-11 + 815442/74131)*(0 + 1) a prime number?
False
Suppose -4*k = 209 + 23. Is (1/(-3)*1082)/(k/435) a prime number?
False
Let u = 951 - 949. Suppose 0 = 4*m - 6*g + 3*g - 73, -3*m + 63 = -5*g. Is (m/6 - 3)/(u/(-39282)) composite?
False
Let n(h) = -8 - h + 3 - 36*h**3 + 3*h - 2*h**2. Let c be n(-3). Let l = -596 + c. Is l a composite number?
False
Let w(h) = -70*h**3 + 14*h**2 + 166*h + 47. Is w(-11) a composite number?
True
Let r(o) = 2*o**2 - 12*o + 20. Let m be r(2). Suppose -2*a + 1372 = m*j - 5144, -4*a + 3*j + 13010 = 0. Let p = a - -653. Is p composite?
False
Suppose n - t - 73 = -0*n, -4*n + 2*t + 286 = 0. Is n/(-28)*(-1)/(15/26046) composite?
True
Suppose r = -2*j + 4285 + 93, -4*j - r = -8752. Suppose d - 2184 = -4*x, 5*d - 6*d = 3*x - j. Let l = d + -1099. Is l composite?
False
Let g(x) = 5*x**3 - 2*x + 3. Let b be g(1). Suppose 10*m - 12 = b*m. Is (-633)/m*(-3 + 2) a prime number?
True
Let n(c) = -2747*c + 17. Let m(k) = k**3 + 2*k**2 + 2*k - 2. Let j be m(0). Let h be n(j). Suppose -1177 = 2*g - h. Is g prime?
False
Let q = 683 - -4224. Is q prime?
False
Suppose 3*u - 9*u = 0. Suppose -2686 = -4*b - 3*i, u*b - 2*b + 3*i + 1352 = 0. Is b a composite number?
False
Suppose 0 = -94*a - 167 - 679. Let c(x) = 3*x + 6*x**2 - 17 + x**3 + 13*x**2 + 8*x. Is c(a) a composite number?
True
Let h = 201 + -205. Is (267708/18)/(h/(-6)) a prime number?
False
Let j(v) = 18900*v + 127. Is j(10) prime?
True
Let z = 21685 + 111674. Is z prime?
False
Suppose 9*m - 30*m = -84. Suppose m*b = u + 493, 3*b - 2*b - 3*u = 137. Is b a prime number?
False
Let k = 8618 + -3510. Let z be 9/24 - (82809/24 + 1). Let w = z + k. Is w a prime number?
True
Let j be 18/(-81) - 25/9. Is 1 + (-7500)/j + (8 - 12) prime?
False
Let g = 3322 + -838. Suppose 11*c - 23681 = -g. Is c a prime number?
False
Let r(b) = b**2 - b + 919. Suppose -5*y + 2*h - 29 = 291, y = 5*h - 41. Let i = y + 66. Is r(i) prime?
True
Suppose 188*w - 189*w + 7780 = 0. Suppose 0 = i - 5*r + 9, -5*i + r = -11 - 16. Suppose i*y - w = 2*y. Is y a composite number?
True
Let q(k) = 624*k**3 - 7*k**2 + 22*k - 113. Is q(4) a prime number?
True
Let w(o) = 267*o**2 + 2*o + 3. Let i be 4/(-20)*0 + 2*-1. Is w(i) composite?
True
Let h(g) = -113*g**3 - 5*g**2 + 7*g - 6. Let m be h(5). Let z = -1982 - m. Is z a composite number?
False
Suppose -22*r = -20*r, -2*r = -3*k + 146541. Is k prime?
True
Let g be (13737/(-57))/(0 + 2/14). Let l = g - 2026. Let c = 5350 + l. Is c a prime number?
True
Let r = 2046 + -2044. Suppose -2*s - 59 - 523 = 0. Is ((1 - r)*s - -2) + 2 a composite number?
True
Suppose 9 + 0 = -m. Let b be (-2)/m - (-2)/((-54)/(-75)). Suppose 4*q + 144 = c - 79, b*q = 3*c - 642. Is c prime?
True
Let p be (-2 - -1)/(-1) - (-5 - -3). Suppose p = -5*u + 23. Suppose -3*z = s - 601, -u*s = s + 10. Is z a composite number?
True
Let y = -141111 + 202252. Is y prime?
True
Let u be 2 + (-3 - 89)*-1. Let d = -15 - 30. Let m = u + d. Is m composite?
True
Let g(w) =