 prime number?
True
Let c(o) = 4*o**2 + 10*o + 20*o**3 - 4*o - 87*o**3 - o + 3. Is c(-2) prime?
False
Suppose 5*g - 52 + 17 = 0. Let s(p) = p**3 - 5*p**2 - 8*p + 15. Let b be s(6). Suppose v - g = b. Is v composite?
True
Let a = 2884 + 1313. Is a composite?
True
Let f be (-3 - 47/4) + (-1)/4. Is 3/(-2)*(13480/f)/4 prime?
True
Let d be 2/(-10)*-1 + 10644/(-20). Let u = -373 - d. Is u prime?
False
Let o(f) = f**3 + 7*f**2 - 2*f. Let u be o(-7). Let i = u + -14. Suppose 2*b - 4*h - 126 = i, 3*b - 4*h - 104 = 75. Is b a prime number?
True
Is 1769/2*2 + -7 prime?
False
Let x = -18 + 42. Let m = x - 21. Suppose 5*g - 2*k - 412 = 3*g, -5*g - m*k = -1070. Is g prime?
True
Let r = -1652 - -3721. Let u = -234 + r. Is u composite?
True
Let r(h) = 862*h - 115. Is r(7) composite?
True
Let q(o) = 227*o + 141. Is q(11) a prime number?
False
Suppose -3*a + 6236 = -1072. Let p be 40*(a/(-20) - -3). Is 2/(-2 - p/2373) prime?
False
Let j(c) = 12240*c**3 + c**2 - 2. Is j(1) composite?
False
Is (-5)/((-20)/(-8))*(-72445)/10 a composite number?
False
Let r = 148 - 103. Let i = 55 - r. Is i a prime number?
False
Let x = 2129 - 1177. Is x + (-3)/2*4/(-6) composite?
False
Suppose 3*n - 6 = 3. Suppose -2*t + 6165 = 3*s, 4*t = -n*s + 2002 + 4169. Is s a composite number?
False
Suppose i = -0*i + 1, z - 2*i = -14. Let k(p) = -44*p - 41. Is k(z) prime?
True
Let a = -15 + 14. Let v(w) = -634*w + 1. Is v(a) a composite number?
True
Let q = 30 - 26. Suppose q*k - 910 = -282. Is k composite?
False
Suppose 3*r - 106 + 272 = -2*g, 262 = -5*r + 4*g. Let w = r + 33. Is (-6)/w - (-430)/14 a prime number?
True
Suppose -32 = -4*t + 4*y, 0*t = -3*t + 5*y + 30. Is (-1007 - 0)*(4 - t) a prime number?
False
Let n = 89851 + -61518. Is n a composite number?
True
Suppose -5*a + 15 = -2*a. Suppose a*l - l = 1172. Is l composite?
False
Let f = 22 - -75. Suppose 4*t + 3*x = 719, -4*x + 137 = 2*t - 235. Let k = t - f. Is k a composite number?
False
Let y(f) = -2*f**2 - 27 + f**2 + 11 + 0*f**2 - 13*f. Let g be y(-11). Is (111/g)/((-4)/(-88)) prime?
False
Let d(q) = 1955*q - 9. Is d(26) composite?
False
Suppose -3*k = -6*r + 3*r - 6, 3*r + k = -10. Is 0/r + 94 - -3 composite?
False
Suppose 0 = 4*g - 4*w - 0*w - 8, -5*g + 2*w = -4. Suppose l - 20 = b, g*l - 5*l = -3*b - 62. Is (-439)/b + (-8)/76 a composite number?
False
Let x(r) = 630*r + 25. Is x(2) prime?
False
Let f be 231/44*16/6. Let t = f - 11. Suppose 4*g + 109 = l + 381, -g + t*l + 79 = 0. Is g a prime number?
True
Let q = 1767 - 578. Is q a composite number?
True
Let h be (-21880)/(-25) - 2/10. Let x = 1554 - h. Is x prime?
False
Suppose 3*a - 17193 = -k + 9381, 4*a = -4*k + 35440. Is a prime?
False
Suppose 9*o - 7*o = 10. Let k be o/(20/(-2))*-1412. Suppose 0 = 2*z + z - 4*a - 1094, -k = -2*z - 2*a. Is z composite?
True
Let r(j) = -j**3 - 6*j**2 + 2*j + 24. Let y be r(-6). Let m(w) = 3*w**3 - 8*w**2 - 3*w - 7. Is m(y) composite?
False
Let f(a) = 10*a - a + 6*a**2 - 8 - 2*a + 2*a. Let w(s) = -5*s**2 - 8*s + 9. Let m(l) = 4*f(l) + 3*w(l). Is m(8) a composite number?
True
Suppose -2*k = -100542 - 113596. Is k a composite number?
False
Suppose -4*w + 2*w + 30 = 4*m, 2*w = 10. Suppose -3 = m*s + 7. Let v(x) = 23*x**2 + 2*x + 1. Is v(s) a composite number?
False
Is 10/(-35)*3106341/(-18) a prime number?
True
Is (0 + -5)/(8/8) - -756 composite?
False
Suppose 2*q + 16 = -2*q. Let d be (q/5)/((-4)/(-1420)). Let i = 591 + d. Is i prime?
True
Let t be (-6)/30 + (-6)/(-5). Let h be 3*t/3 - -678. Is (3 + -1)/(-1) + h composite?
False
Let g(x) = 24*x**2 - 61*x - 34. Is g(25) a prime number?
True
Let i = 1530 + -489. Suppose -5*o = -g + i, 3*g - g + 2*o - 2082 = 0. Is g a prime number?
False
Suppose -3*w + 5961 = -4494. Suppose w = 6*h - h. Is h composite?
True
Suppose 2 = -t, 5*l - 5*t + 9927 = 38712. Suppose -4*d = -9*d + l. Is d a prime number?
True
Let m(n) = -26*n**3 - 22*n**2 - 30*n + 5. Is m(-9) a prime number?
False
Let l = 3709 + -1870. Suppose 0 = -3*g - 0*g + l. Is g prime?
True
Suppose -5*z - 1 + 6 = 0. Is (z/3 - 0)*(-5514)/(-2) a composite number?
False
Suppose -p - g - 115 = 0, 0*g = 3*p + 5*g + 345. Suppose 0 = 4*h + 3*s - 800, 0 = 5*h + 2*s - 3*s - 1000. Let y = p + h. Is y composite?
True
Suppose -295*j + 733494 = -289*j. Is j a composite number?
True
Let w(h) = 6 + 8*h**2 + 0 - 1 - h - 2. Let u be w(-5). Is u + -3 + 4 + 2 composite?
False
Let l be 2470/91 + (-1)/7. Suppose 2*i - 108 = -4*u, 4*i = -2*u + 283 - 43. Let c = i + l. Is c prime?
True
Let s(x) = -465*x**3 + 3*x**2 + 20*x + 103. Is s(-4) prime?
False
Suppose -u - 2*p = -18, -8*u + 4*u + 5*p = -20. Suppose u*f = 3*f + 11935. Suppose -f = -5*h + y, 341 = h - 0*h - 4*y. Is h prime?
False
Let k = 9 + -7. Suppose k*t - 7*t + 2225 = 0. Is t a prime number?
False
Let z = 58276 - 39465. Is z composite?
True
Let h(b) = -b**3 - 1381. Let p be h(0). Let v = -938 - p. Is v a prime number?
True
Suppose -5*w = z - 7800, 2*z - 3362 = -3*w + 1311. Is w a composite number?
True
Let p be -2 + 0 - (-188)/(-2). Let r = p - -55. Let s = r - -124. Is s a prime number?
True
Suppose 11*c - 7*c = -5*v + 55411, 3*c = -4*v + 41559. Is c a composite number?
True
Let c be (-622)/4 + -1 + (-44)/88. Let r = c - -783. Is r a prime number?
False
Suppose -13 = -5*t + 12, -4*d - 49 = -5*t. Let o be ((-3374)/(-42))/((-1)/d). Suppose 4*s = -0*s - i + 2004, 5*i - o = -s. Is s prime?
False
Suppose x = 3*f - x - 3103, 3 = 3*x. Suppose -6*h + f = -1485. Let v = 811 - h. Is v a composite number?
True
Let o be (6/(-9))/((-2)/15). Suppose -o*x + 8*x = 1407. Is x a prime number?
False
Let a(p) = -4*p**3 + 6*p**2 - 6*p - 13. Is a(-5) composite?
True
Suppose 5*b - 11816 = 6119. Is b composite?
True
Let p(y) = -y**2 - 1. Let x(l) = -13*l**2 + 5*l - 8. Let c(b) = 14*p(b) - 2*x(b). Let j(t) be the first derivative of c(t). Is j(7) composite?
True
Suppose -102 = -h + c, -5*c + 30 = 2*h - 181. Let q = h - -18. Let u = q - -346. Is u composite?
False
Suppose 8*g - 11*g + 9 = 0. Suppose -5*d + 2169 + 943 = g*b, 4*d = 3*b + 2495. Is d prime?
False
Let s be 30/(4 + 1542/(-387)). Let m = s + -832. Is m a composite number?
False
Let v be 0 - (1 + -1 + -11). Suppose 14551 + 3857 = 13*z. Suppose -v*q + 3*q + z = 0. Is q composite?
True
Let z = -27497 + 52936. Is z composite?
False
Let w be -1*18676/(-8) + (-2)/4. Suppose -3*h + 180 + w = 0. Is h prime?
False
Suppose -2*m - 2 = 0, 81*m - 71934 = -5*l + 80*m. Is l composite?
False
Let p(r) be the first derivative of 109*r**2 - 53*r - 37. Is p(9) a composite number?
True
Is 6/(-36) - (-1)/(6/1213) composite?
True
Let i = -5 - -5. Suppose -4*k = -y + 252, i = -0*k - 3*k - 3*y - 189. Let m = 230 - k. Is m prime?
True
Let k(b) = -307*b + 82. Is k(-3) a composite number?
True
Let w(r) = 42*r + 5. Let m = 30 + -22. Is w(m) a composite number?
True
Is (-58)/(-1)*(2 - (-618)/12) composite?
True
Suppose 3*y - y - k = 2515, y = -4*k + 1235. Suppose 5*a - 8*f = -4*f + y, 0 = -5*f. Is a prime?
True
Let k be (260/(-39))/((-1)/6). Suppose s - k = -4*s + 3*x, 4*s + 2*x = 10. Suppose -s*c = -c - 1172. Is c a prime number?
True
Suppose -16*v = -17*v + 64. Let j = v - -10. Is j prime?
False
Suppose 5*g - 681 = 989. Suppose 4*d - 636 = -z + 950, -4*d = -2*z - 1592. Suppose -3*j + g = 5*r, 4*j = 2*r + r + d. Is j a prime number?
True
Is (-15046)/(-4) - (-29)/(-58) composite?
False
Let u(y) = -182*y - 3. Let v be u(-14). Suppose -v = -3*w + 1841. Suppose -2*i = 2*k - 732, -2*k = 7*i - 3*i - w. Is i a prime number?
False
Let d = 132 + -48. Let n = d + 9. Is n prime?
False
Let y(h) = 2*h**2 + 6*h - 7. Suppose 2*p - 7*p = -65. Is y(p) prime?
True
Let w = 2443 - -2818. Is w a composite number?
False
Suppose -4*u - 2*p + 6 = -12, 3*u + 4*p - 6 = 0. Let q(w) = 4*w**2 - w**2 + 7 - 10*w + 5*w**2 + 4*w. Is q(u) a composite number?
True
Let r(s) = 4*s**2 - 5*s + 6. Let h be r(2). Suppose 0 = -4*u + h, -z - 2*u + 3*u + 1382 = 0. Is z a prime number?
False
Suppose -27*r = 112062 - 1422885. Is r a prime number?
False
Suppose -3*h = 2*h - 36215. Is h a composite number?
False
Suppose c = -4*c + 10. Suppose -5*p + 4*p = -5*n - 34, 115 = 3*p - c*n. Is p a composite number?
True
Let c be 924/3 - (2 + -1). Suppose -8*y - c = -9*y. Is y a composite number?
False
Let q(b) = 417*b**2 - 2*b + 2. Is q(-3) composite?
False
