l*w + 68 + 2081. Is w a prime number?
True
Let a = 3124 - 1097. Is a composite?
False
Let o be (1 + (-34)/(-6))*3657/46. Suppose c = o + 909. Is c prime?
True
Suppose 9*a = -3*a + 92028. Is a a composite number?
False
Let d be (13/(-2))/((-8)/16). Suppose 2*r - d = -7. Is -3 + r + 1 - -21 a prime number?
False
Suppose 2*m - 3*y - 23 = 0, -y - 6 = m - 5. Let q be m + -6389*(4 + -5). Is (-6)/33 + q/11 a composite number?
True
Let c(p) = -p**3 + 15*p**2 + 2*p - 16. Let h be c(18). Let g = 1919 + h. Is g a composite number?
False
Suppose 37 = 3*b + 13. Let s be b - 11 - -20*22. Suppose s = a + 4*y, 3*a - 1778 + 467 = 4*y. Is a a composite number?
True
Suppose 31*q - 30*q = 4619. Suppose -4*a + h + 2*h + q = 0, -2*h - 10 = 0. Is a a prime number?
True
Suppose -y + 847 = x, 6*x - 4259 = x + 3*y. Is (-5 - -8) + x/1 a composite number?
False
Let p(h) = 287*h**3 - 20*h**2 - 5*h - 1. Is p(5) a composite number?
True
Let h(m) = -43*m**3 - 5*m**2 - 7*m - 12. Is h(-5) composite?
False
Suppose c + 4*c - 5*q = 16685, 6674 = 2*c - 5*q. Is c a prime number?
False
Let m(x) = x**3 + 5*x**2 - 8*x - 8. Let h be m(-6). Let l = h + -4. Suppose -5*b + 2*n + 275 = 0, 5*n + 78 = -l*b + b. Is b a composite number?
False
Let w(t) = -166*t - 303. Is w(-11) a prime number?
True
Suppose -5*p + 3159 = 4*y, 2064 + 1860 = 5*y - 2*p. Let r = y + -297. Is r prime?
False
Let c = -79 - -73. Let l(d) = 95*d**2 - 7*d - 5. Is l(c) composite?
False
Is 3215/90*717 + (-4)/(-24) a prime number?
False
Let k(r) = -640*r + 22. Let t be k(-7). Is t/(-4)*(24/(-3) + 6) a composite number?
False
Let z = -2590 - -4259. Is z composite?
False
Let k(u) = -42*u + 1. Let d(c) = c - 1. Let o be d(0). Is k(o) a composite number?
False
Let g = 9710 + -6529. Is g a composite number?
False
Let x(h) be the second derivative of 33*h**3/2 - 2*h**2 - 18*h. Let u be 11/11 - (0 + -2). Is x(u) prime?
True
Let p = 99663 - 57886. Is p prime?
True
Is 7/56*4516*26 a prime number?
False
Let u be 2*2 - 132*-6. Suppose 3*t = -t + u. Is t composite?
False
Let y(x) = x**2 - 15*x - 4. Let q be y(10). Let z = -27 - q. Suppose z = 5*u - 83. Is u a composite number?
True
Suppose -230191 = 78*u - 91*u. Is u composite?
False
Suppose 4*t - 2*i + 0*i + 38 = 0, 0 = -4*t - 4*i - 20. Is -6*(516/t + 1) prime?
False
Let j = -10 + 11. Let g be 1/j + (-1 - -2). Suppose -w - g*p + 0*p + 327 = 0, w = 3*p + 347. Is w a composite number?
True
Let u(r) be the second derivative of 5*r**6/72 - r**5/120 - r**3/2 + 4*r. Let h(t) be the second derivative of u(t). Is h(-1) prime?
False
Suppose 101*a - 113*a = -55140. Is a a prime number?
False
Suppose 3*h + 7 = -2*d - 4, 5*h - 12 = d. Let y be (16/12)/(2/(-6)). Is (y - d) + -3 + 251 a prime number?
True
Is (-3)/((-48)/(-108616)*(-3)/6) a prime number?
True
Let s be (-3 + 15/4)*4. Suppose 5*r + s*r = 13384. Is r a prime number?
False
Let k = 100 - 35. Let x = k - -48. Is x a composite number?
False
Suppose 4*s = -3*b - 8742 + 28910, 25229 = 5*s - b. Is s prime?
False
Let l = -1 + 6. Suppose l*v + 60 = d, 60 = d + v + 2*v. Suppose -65 = -w + 4*k, 5*k = w - 0*k - d. Is w a composite number?
True
Let b(k) = -k**3 + 9*k**2 - 16*k + 6. Let j be b(7). Let x(v) = -4*v**3 - v - 11. Is x(j) a composite number?
True
Let u(z) = -z**3 - 6*z**2 + z - 5. Let d = -15 + 21. Suppose d*r + 5 + 43 = 0. Is u(r) composite?
True
Let p(b) be the second derivative of b**3/6 + 6*b**2 + 4*b. Let o be p(-7). Suppose -2*q - o*f + 75 = 0, -5*q + 4*f + 59 = -112. Is q a prime number?
False
Suppose 3*z = 2*o - 577, 18*o + 4*z - 1477 = 13*o. Is o a prime number?
True
Let r(s) = -13*s + 4 + 17 + 17*s**2 + 9*s. Is r(-14) prime?
False
Let r be 5/(-2)*12/(-10). Suppose -2*j - 1076 = -4*y, -y - r*j = -2*j - 275. Suppose 4*p - 1156 = 2*u, y = p + u + 3*u. Is p a prime number?
False
Let f(l) = l + 1. Let c(u) = -10*u - 2845. Let j(i) = -c(i) - 6*f(i). Is j(0) composite?
True
Suppose -8380 = -4*s - 2*c - 2*c, 2*s - 4186 = -3*c. Is s a composite number?
False
Let r be (91/(-3) - 1/(-3))*-3. Let q = 2347 + r. Is q a composite number?
False
Let y be (-1 - 2)*(3 - (-22)/(-6)). Suppose 445 = 3*d + y*d. Is d a prime number?
True
Suppose 4*o - 4*k - 16 = 0, 5*k = -4*o + k. Suppose f = o*v - v - 39, -5*f = 5*v + 155. Let h = f - -70. Is h prime?
False
Suppose 3*b = 2*v - 2805, 3720 = -2*b - 2*b - 4*v. Let z be (1 - b/9)*192. Is z/80 + (-2)/10 a composite number?
False
Let m(w) = 50*w**3 - 4*w**2 - 5*w + 15. Is m(2) a composite number?
False
Let o = -56844 - -82775. Is o composite?
False
Let r be 18/(-63) - (-12478)/14. Suppose b + 892 = v, b + r = v - b. Is v a composite number?
True
Let l(i) = 7*i**2 + 21*i + 8. Let o be l(-8). Suppose 4*c = u + 5*c - o, -5*u + 5*c = -1490. Is u prime?
True
Suppose 70*h - 76*h = -117402. Is h a composite number?
True
Let p(r) = -65*r**3 + r**2 - 1. Suppose 5*l = 35 - 15. Suppose -l*w + 0 = 4. Is p(w) prime?
False
Suppose 4*y + 3 = 5*y. Let g(q) be the first derivative of 11*q**2/2 + q + 2. Is g(y) a composite number?
True
Suppose -o - 18 = -3*o - 4*y, o = 5*y - 12. Suppose o*j + 528 = 2001. Suppose n - 2*n = -j. Is n a prime number?
True
Let h(a) = -a**2 - 2*a + 573. Let u(q) = q**3 - 4*q**2 + 3*q. Let b be u(3). Let i be h(b). Suppose 4*o - o = i. Is o composite?
False
Is ((-4)/12)/(12/(-193716)) composite?
False
Let q = -5 + 9. Suppose 3*y = q*y - 3. Suppose -4*j - 5*c + y*c + 186 = 0, 3*j = -5*c + 136. Is j composite?
False
Let f(j) = -3713*j - 848. Is f(-5) composite?
True
Is 1035460/140 + (-6)/(-7) prime?
False
Let s = 42 + -28. Let y be s/(3/(-3)*-2). Suppose 126 = k + y. Is k composite?
True
Suppose -3*h = -5*h + 84. Suppose 508 = h*f - 38*f. Is f prime?
True
Let i = 1 + -3. Let r be i + 3 + (-9 - -2). Is 4/r + 1599/9 prime?
False
Suppose 9*z - 4*z = 5*j + 178785, 5*z = -4*j + 178803. Is z composite?
False
Suppose -2*n = -f + 1, -4*f = -3*f + 3*n - 21. Suppose -3*o + 9 = -f. Let s = o - 2. Is s a composite number?
True
Let y = 646 + -235. Suppose n - 1469 = -5*g - y, 0 = -g + 5*n + 196. Is g a prime number?
True
Is (-1)/(44556/(-22276) - -2) a composite number?
False
Let q(g) = -3*g**3 + 24*g**2 + 26*g - 10. Let x(u) = -4*u**3 + 23*u**2 + 25*u - 10. Let b(r) = -5*q(r) + 4*x(r). Is b(-27) a prime number?
False
Suppose 1704 = 3*g - 2*i - i, g - 2*i - 568 = 0. Let q be (-3)/(3 + (-1698)/g). Is (-3 + 0)*q/12 composite?
False
Is (4413 - 22)/(-1 - -2) prime?
True
Let l = -1 + -5. Let v = 54 - 44. Is l/10 + 536/v a composite number?
False
Let q(t) = -12702*t**3 - 5*t - 4. Is q(-1) a composite number?
False
Let d(m) = 758*m - 3. Let q(t) = 4*t + 26. Let n be q(-6). Is d(n) a prime number?
False
Let a(w) = -27*w**2 + 10*w + 11. Let d(p) = p**2 + p + 1. Let v(x) = -2*a(x) + 18*d(x). Let r be v(-6). Is r/16 + 2/4 composite?
False
Suppose 3*y - 15069 = -3012. Is (y + 1)/5 + 3 a composite number?
True
Let y be -1 - -3 - ((-10)/(-2) - 1756). Let t = 5300 - y. Is t a composite number?
False
Let x(s) be the second derivative of s**6/120 + 7*s**5/60 - s**4/6 + 11*s**3/6 - 7*s**2/2 - 3*s. Let p(k) be the first derivative of x(k). Is p(-6) prime?
True
Suppose -5*m = -14*m + 5517. Suppose 33*u - 34*u + m = 0. Is u composite?
False
Let r = 15680 - 9507. Is r prime?
True
Suppose -4*f + 208 = 2*c, 0 = -5*f - c + 119 + 144. Is f a prime number?
True
Let k = -9595 + 18494. Is k prime?
False
Suppose -l = 2*l - 18. Let h(k) = 6*k**3 + 12*k**2 - 14*k - 1. Is h(l) prime?
False
Let n be 8/(-3)*(-9)/(-3). Let q be 2/(-3) - n/(-6). Is q/(-5) + (-168)/(-5) a composite number?
True
Let p be 7*((-32)/(-14) - 2). Suppose -3*z + 4475 = p*z. Is z composite?
True
Let s = 259 + -71. Is s + (-5)/(15/9) a composite number?
True
Suppose 2*p + 10325 = 115771. Is p composite?
True
Let h(t) be the first derivative of 29*t**3/3 - 6*t**2 - t - 2. Is h(8) composite?
False
Let n(p) be the first derivative of -p**2 - 2*p + 7. Let f be n(-9). Is f/(-32) - (-262)/4 prime?
False
Let k(b) = b**2 + 9*b - 13. Let z be k(-10). Let x be (2/(-4))/(z/(-6)). Is (2/1 - -162) + x a composite number?
False
Suppose 0 = -4*q - 3*i + 16711, 0 = -q + 4*i + 6102 - 1929. Is q prime?
True
Let c be (18/7)/(2/14). Suppose -13*s - 25 = -c*s. Suppose y + 3*d + 0*d = 25, s*y - d - 61 = 0. Is y a composite number?
False
Suppose 3*w + 0*s - 18 = -3*s, 0 = -5*s + 5. Let j(x) =