 4/2)*w prime?
False
Suppose 11*o - 44484 = -o. Is o prime?
False
Let f(l) = -56*l**3 - 4*l**2 - 4*l - 3. Let c be (-1)/(-5)*-2*5. Is f(c) prime?
False
Is (148/(-6))/((-1)/3) prime?
False
Let d be (2 - -1) + 6 + -16. Let x(l) = -2*l**3 - 8*l**2 + 5*l - 10. Is x(d) composite?
True
Let i(g) = 2*g - 13. Let k be i(6). Is k/(-3)*(3 + 15) a composite number?
True
Suppose 3*v + 169 = 802. Suppose -v = -6*s + 5*s. Is s a composite number?
False
Let s = -6 + 3. Let l be s/((-30)/(-4))*-5. Is l/(-3) - 466/(-6) a prime number?
False
Let h be (3/(-2))/((-24)/1888). Let c be 3 - (2*h)/(-2). Suppose -v + 5*a + c = 0, 2*v + 5*a - 92 = 180. Is v a prime number?
True
Let p be 24/4 + (0 - 1). Suppose -2*o + p*w = -4*o + 21, -o + 8 = 2*w. Is 91 + -6 + (-4)/o composite?
True
Let m = -12 + 14. Suppose 0 = -c - m + 25. Is c a prime number?
True
Let x(b) = -b**3 + 11*b**2 + 14*b - 18. Let c be x(12). Suppose c = 5*k - 6*k. Is ((-6)/(-2))/k*-310 a prime number?
False
Suppose 0*s = 5*s + 20, 5*c - s = 7329. Is c prime?
False
Suppose -4*m = -12 - 8. Suppose 4*y + m = 29. Let f(w) = w + 1. Is f(y) prime?
True
Suppose 3*r - 45 - 240 = 0. Is r composite?
True
Suppose 5*q - 52 + 2 = 0. Let j = q + 67. Is j composite?
True
Let r = 1 - 23. Let s = r + 171. Is s prime?
True
Suppose -3*v - 365 = 5*c, 2*v + v = 0. Let x = c - -145. Suppose 0 = 4*h + x - 668. Is h a composite number?
False
Let k(c) be the first derivative of 7*c**3/3 + 7*c**2/2 + c - 2. Is k(5) a prime number?
True
Let v(t) be the second derivative of t**5/20 + 7*t**4/12 - 4*t**3/3 + t**2 - 2*t. Let i be v(-8). Is (11 + 3)*53/i prime?
False
Suppose 4*c - 20 = -2*n + 62, -3*c = -5*n + 166. Is n prime?
False
Suppose -5*v + 4 = a, -5*v + 12 = 4*a - 4. Suppose 3*d + c = -617 + 1741, -5*d + 4*c + 1845 = v. Is d a composite number?
False
Suppose 3*k + 0*f - 4*f = 8755, -4*k + 11694 = 5*f. Is k composite?
True
Suppose 3*y = 7*y. Suppose 2*g + 9 - 29 = y. Is (-2)/5 - (-114)/g prime?
True
Let x(j) = 31*j + 2. Let l be x(-2). Let k = 102 + l. Let b = k - 23. Is b a composite number?
False
Let i = 3 + -1. Let x(o) = -2*o - 4 + 10 - 7 + 13*o**i. Is x(-4) composite?
True
Let l(q) = q**2 - 10*q + 9. Let z be l(9). Let d(f) = -2*f**3 - 4*f**2 + 2*f - 3. Let g be d(-4). Suppose z*v = v - g. Is v a composite number?
False
Suppose 14 = 3*m - 13. Suppose 0 = -m*s + 14*s - 230. Is s a composite number?
True
Let g(d) = 5 - 6*d**2 + 36*d**2 + 0 - 6*d. Is g(6) a composite number?
False
Let o be (11 - 250)*(1 - 0). Let w = 370 + o. Is w prime?
True
Let p = 434 + 405. Is p a composite number?
False
Let p = -340 - -486. Suppose 0 = 5*r - 7*r + p. Let n = r - -38. Is n a composite number?
True
Let i = 3775 + 1014. Is i a composite number?
False
Let a = -18 + 30. Suppose -3*o + a = 0, -c - 4*o + 20 = 2. Suppose 0 = 6*y - y - 5*r - 235, 5*y + c*r = 249. Is y a composite number?
True
Suppose -4*c = -6874 - 2530. Is c a prime number?
True
Suppose 119 + 235 = 4*v + r, 3*v - 3*r = 258. Suppose v = 3*b - 5. Is 1*(1 + 0)*b a composite number?
False
Let x(m) be the third derivative of -83*m**4/24 + 3*m**2. Is x(-1) prime?
True
Suppose 28 = 4*n - 5*n. Is (n - 1)*(-4 - 1) prime?
False
Let o be (40/(-6))/((-3)/(-9)). Let z = o + 71. Is z a composite number?
True
Let l = 21 - 41. Let a = 36 + l. Let k = -3 + a. Is k prime?
True
Suppose -187*h = -185*h - 1178. Is h prime?
False
Suppose -3*o + 36 = -165. Is o a prime number?
True
Let n = 9 - 21. Let i be ((-21)/n)/(1/(-12)). Is (-6)/i - (-1947)/21 a composite number?
True
Let y be ((-2)/(-4))/((-3)/12). Is (-3)/y*2082/9 a composite number?
False
Let f = -6 - -8. Suppose 0 = -g + 3*g + 38. Is (g/3)/(f/(-6)) prime?
True
Let z = -35 - 104. Let o = 186 + -176. Is z*2*(-5)/o a composite number?
False
Suppose 293 = v - 30. Is v a composite number?
True
Let i(x) = -x**2 + 3*x + 4. Let d be i(4). Suppose 4*b - 164 + 40 = d. Is b a composite number?
False
Suppose -4*c + 6 = 2. Let u be 4/6 + (-40)/6. Is (u/(-2))/(0 + c) a composite number?
False
Let s(n) = 4*n + 18. Let w(m) = m + 6. Let b(i) = -2*s(i) + 7*w(i). Let k be b(3). Is (-188)/(-6) + k/(-9) composite?
False
Let g = -192 + 289. Let r = g + -50. Suppose -189 = -4*k + r. Is k a prime number?
True
Let b(s) = 3*s**2 - s - 7. Let d(n) = n**3 + 4*n**2 - 6*n + 2. Let m be d(-5). Is b(m) composite?
True
Is 1 + -8 + 4 + 40 prime?
True
Suppose -5*b = -4*b + 2. Is 392 - b - (-11 + 10) a composite number?
True
Is 4022/8 + 3/(-72)*-6 a composite number?
False
Let b(d) = 3*d**2 - 4*d + 1. Let z be b(3). Let v be z/6*9/6. Suppose -2*k + 3*a = 2*k - 328, v*a = k - 95. Is k a composite number?
False
Let o(q) be the first derivative of -q**4/4 + q**3/3 - q**2/2 + 5*q + 3. Let r be o(0). Suppose -261 = -r*c + 2*c. Is c a prime number?
False
Suppose 0 = -4*d - 3*s, 2*d = d + 4*s + 19. Suppose 3*q = 2*q + 2*c + 48, 2*q - 93 = d*c. Suppose 0*z + q = 2*z. Is z a composite number?
True
Let w = 150 - -317. Is w prime?
True
Suppose -346 + 1041 = 5*i. Is i a prime number?
True
Suppose 13*v = 11*v + 106. Is v a composite number?
False
Let i = -101 + 122. Is i a composite number?
True
Let j(i) be the second derivative of 2*i**3/3 - 5*i**2/2 - i. Is j(5) prime?
False
Suppose 29*f - 33*f = -776. Is f composite?
True
Let b(d) = 47*d**3 - d**2 + d - 1. Let n(p) = -189*p**3 + 4*p**2 - 4*p + 5. Let t(w) = -9*b(w) - 2*n(w). Suppose 5*x + 7 = 2. Is t(x) a composite number?
True
Suppose y = 3*p + 4*y - 21, -p - 3*y = -17. Suppose -p*t = 402 + 26. Let q = t - -305. Is q a prime number?
False
Let y(g) = 31*g**2 - 3*g + 5. Let j be 24/56 - (-25)/7. Is y(j) a composite number?
True
Let z = 5 + 0. Suppose -z*q + 4 = -3*q. Is (26/4)/(q/28) composite?
True
Suppose 0 = 2*n - 3*n + 7. Let k be n/(-1*2/(-68)). Suppose -3*y + 861 - k = 5*g, -2*y - 8 = 0. Is g composite?
False
Let q = 52 - -28. Let t = 163 - q. Is t a composite number?
False
Let o be ((-2)/(-1))/(1/206). Suppose 4*f - 3*b = o, 5*b + 9 - 89 = -f. Let g = -53 + f. Is g composite?
False
Suppose 0*a = 4*a. Suppose 4*z + z = a. Suppose 4*d - 6*d + 22 = z. Is d prime?
True
Suppose 4*x + 0*x - 388 = 0. Is x prime?
True
Suppose 2*o - 76 = 142. Is o prime?
True
Let k = -2 - -7. Suppose -k*a = 0, 2*v + 3*v - a = 665. Suppose 698 = 5*t + v. Is t a prime number?
True
Let m be (9/(-15))/((-3)/15). Suppose m*u = -u + 356. Is u a prime number?
True
Is 1/(-5) - 2984/(-20) composite?
False
Suppose 54 - 14 = 5*w. Let m = -6 + w. Suppose m*i = -l + 181, l + 0*l + 3*i = 176. Is l a composite number?
False
Let w(r) be the third derivative of r**5/30 + r**4/24 - 3*r**3/2 - 3*r**2. Is w(8) prime?
True
Let j(m) = -m**3 + 8*m**2 - 4*m + 5. Is j(6) prime?
True
Suppose 3*l = -2*l. Suppose 2*f - 2*x - 259 - 851 = 0, l = 4*f + 2*x - 2208. Is f prime?
False
Suppose -426 = 2*x - 0*x + 2*l, l = 1. Let u = 93 - x. Is u prime?
True
Let k(b) = -b + 254. Is k(0) a composite number?
True
Let q(i) = -1 + 3 - i + 5*i + 2*i**2. Let r be q(-2). Suppose -61 = u - 4*u + r*g, -3*g = -u + 11. Is u composite?
False
Let r be (-12)/10*(-5)/2. Suppose q = -r*p - 19, -4*q + p - 4*p = 112. Let l = 68 + q. Is l a composite number?
False
Suppose w - 149 = 295. Suppose 0 = -3*o + 10 + 5. Suppose k + w = 3*p - 0*p, o*p + 5*k - 760 = 0. Is p a prime number?
True
Suppose -f + 0 = 5. Let n be (1 + 14)*f/(-15). Is (-4)/(-10) + 53/n composite?
False
Let c(t) = t**2 - 5*t. Let k be c(5). Is (2 - k - -1) + 74 prime?
False
Suppose -2 - 1 = -b. Suppose 4*c - 26 = b*c. Is c a prime number?
False
Let r(c) = c + 1. Suppose f + 2 + 3 = 4*g, 4*f - 5*g = 2. Let o be r(f). Suppose -345 = -o*z - 37. Is z a prime number?
False
Let s(w) be the first derivative of -2 + 5 - 2*w**2 - 5 + w. Is s(-5) prime?
False
Suppose -g = g - 4. Suppose 4*o = g*o + 518. Is o prime?
False
Let b be ((-16)/10)/((-14)/5285). Suppose -b = -4*g + 300. Is g a composite number?
True
Is (-20)/70 - 1255/(-7) composite?
False
Suppose -2*j = 2*j + 36. Let k be 362/j - (-8)/36. Let h = k + 77. Is h a composite number?
False
Suppose 3*l = 5 + 1. Suppose l*s = s. Suppose s = -2*x + 4*x - 52. Is x a composite number?
True
Let v(q) = 6*q - 5. Let i(a) = a**3 - 9*a**2 - a + 13. Let j be i(9). Suppose j = m - 3. Is v(m) prime?
True
Let i(h) = 39*h**2 + h + 1. Suppose -p + 7 = 1. Let y = p + -8. Is i(y) composite?
True
Let r = 466 + -147.