 number?
True
Suppose 16*t - 1712 = 11904. Is t prime?
False
Let c(b) = 58*b + 7. Suppose -24 = 3*j - 9*j. Let k(d) = 5*d - 5. Let s be k(j). Is c(s) a prime number?
True
Let r be 287/(-35) - 2/(-10). Let o be 48/21 + r/28. Suppose 2*i - 4*b - 518 = 0, o*i + 2*b - 7*b - 519 = 0. Is i prime?
True
Let o(d) = 2*d**2 - d + 30. Let m(c) = -c**3 + 9*c**2 - 12*c + 19. Let b be m(8). Is o(b) composite?
True
Suppose 3*i - 5*u = 254, -4*i = 2*u - 0*u - 304. Suppose -4*c + 5*b = -488, -2*c - 3*b + 322 = i. Let r = c - 69. Is r a prime number?
True
Suppose -3*x + 1101 = 4*r, 0 = 3*x - 0*x + 3. Suppose 3*p + p - r = 4*t, 0 = -3*p + 2*t + 212. Is p a prime number?
False
Suppose 1856 = 5*n - 0*n + 4*z, -5*z + 388 = n. Suppose i + 2*v = 5*i - 752, n = 2*i + 3*v. Is i prime?
False
Suppose 2*y = 4*s, 3*y + 4*s + 5 = -15. Let w(b) = 7*b**2 - 3*b + 4. Let n be w(y). Suppose n = t - 109. Is t a prime number?
False
Suppose -2*s + 2*z - 251 = -781, -4*z - 534 = -2*s. Is s a prime number?
True
Let c be ((-6)/9)/(2/(-9)). Is (-1164)/24*(1/1 - c) prime?
True
Let i(m) be the third derivative of 3*m**4/8 - 5*m**3/3 - m**2. Suppose -12*d = 2*d - 70. Is i(d) prime?
False
Let b(a) = -663*a + 47. Is b(-30) prime?
True
Let t(v) = -168*v - 3. Let c(n) = 4*n + 21. Let u(f) = f. Let q(p) = -c(p) + 5*u(p). Let a be q(17). Is t(a) a prime number?
False
Let m(v) = 1815*v + 11. Let k(y) = 2723*y + 16. Let b(o) = -5*k(o) + 7*m(o). Is b(-1) prime?
True
Suppose 9051 = 15*t - 19914. Is t a composite number?
False
Suppose 5*m - 2*c = 4206 + 5485, -2*m - 5*c = -3888. Is m prime?
False
Let w(u) = u**2 + 139*u + 7997. Is w(0) a prime number?
False
Let s = -2452 - -4965. Is s a prime number?
False
Let r(v) be the second derivative of 3/2*v**2 + 2*v + 0 - 26/3*v**3. Is r(-8) prime?
True
Suppose 11 = 5*l - 19. Is (3/l)/((-2)/(-1076)) a prime number?
True
Let p(n) = n**3 - 2*n**2 + 9*n + 11. Is p(6) a composite number?
True
Let h be (-1)/(-4) - (-15)/(-60). Suppose 4*u + 710 + 710 = h. Let v = -48 - u. Is v prime?
True
Suppose -15 = 4*b + 9. Is (-59636)/(-12) - b/(-9) composite?
False
Let p(m) = -102*m + 7. Let b = 13 + -23. Is p(b) a composite number?
True
Let o(q) = -q**2 - 12*q - 21. Let v be o(-9). Is 5474/v + (-6)/(-9) a composite number?
True
Let j(k) = 3*k + 9*k**2 - 5*k**3 + 3*k**3 + 4*k**3 - k**3 + 6. Let o be j(-9). Let u = -15 - o. Is u a prime number?
False
Suppose 3*c - 4*d - 21 = 0, -4*c - 2*d + 6 = -0*d. Suppose -c*m + 10161 = 2*j, 5*m - 2*j + 3742 = 20677. Is m prime?
False
Suppose 2*y - 421 = 35. Let x = y - 83. Is x composite?
True
Let z be -1018*(13/(-2) + 4). Suppose 6*i - z = i. Is i a composite number?
False
Let n(c) = -c**3 - 2*c - 3. Let o be n(-2). Let f(b) = 47*b + 14. Is f(o) prime?
False
Let u = -9 + 13. Suppose -w = -39 + u. Is w composite?
True
Let t(j) = j**2 + 5*j - 7. Let q be t(-5). Let f = 11 + q. Is f*-181*(-7)/14 a composite number?
True
Is -1 + 3 + -2 + -6 + 61 a composite number?
True
Is (-48)/(-8)*-1 - (-30245 + -2) a prime number?
True
Suppose p - 4*p + 1938 = -j, 7737 = -4*j - 3*p. Let c = j - -3938. Is c a prime number?
True
Let l(m) = -4 + 0 + 3 + 79*m - 52*m. Suppose -7*i + 9*i - 4 = 0. Is l(i) composite?
False
Suppose -36*l + 34*l - 2857 = -v, -2852 = -v + 3*l. Is v a composite number?
True
Let p(q) = q**3 + 12*q**2 - 12*q + 18. Let f be p(-13). Suppose -3*u = u + f*b - 107, -u = -b - 20. Let i = 14 + u. Is i a composite number?
False
Let a(b) be the second derivative of -187*b**3 - 5*b**2/2 + 11*b. Is a(-1) a prime number?
True
Suppose 296 = 3*h - 406. Let n = -10 + h. Suppose -n = 5*i - 859. Is i prime?
True
Let q(s) = s**3 + 14*s**2 - 24*s - 18. Let c be q(-12). Let h = c + 1001. Is h a composite number?
False
Suppose 0 = -n - n + 10. Suppose 30 = 2*q - k, -5*k = -3*q + 40 - 2. Suppose 3*g = -n*u + 395, 174 - q = 2*u + g. Is u a composite number?
False
Suppose -6*r + 1 = -17. Suppose d + r*p + 10 = 0, 4*d + 6 = 3*d - 2*p. Suppose 0 = -5*u - 2*c + 723, 0 = -0*u + 2*u + d*c - 294. Is u a prime number?
False
Let c = -140 + -44. Let r = c - -701. Is r composite?
True
Let y = 394 - 187. Let u be y/45 - 2/(-5). Suppose -u*a + 747 + 698 = 0. Is a composite?
True
Let w = 6091 - 1710. Is w a composite number?
True
Let b(p) = 35*p - 164. Is b(23) a composite number?
False
Suppose -16*k = -23*k + 308063. Is k prime?
False
Let u = -1378 + 5195. Is u a composite number?
True
Suppose 2 = m + 4*l, -2*m - 2*m = 4*l + 4. Is (-532)/24*-230 - m/3 a prime number?
True
Let t(n) = n**3 - 34*n**2 + 43*n - 67. Let r be 66/(-4)*(8/(-4) - 0). Is t(r) prime?
True
Suppose -2*p = 5*c - 21033, 0 = -5*p - 5*c + 58771 - 6151. Is p a prime number?
True
Let d be ((-156)/(-91))/(2/21). Is (-14)/63 + 12946/d composite?
False
Let o(x) = x**2 - x - 3. Let v be o(-2). Let u(p) = -8*p + v - 4 - 2*p + 4*p + 12*p**2. Is u(3) composite?
False
Let v = -22 - -11. Let z = v + -45. Let d = 71 - z. Is d prime?
True
Let c = -525 - -1676. Is c a prime number?
True
Suppose -32 = -4*h - 24. Suppose -4*g - 601 - 502 = -d, -4*d + 4340 = h*g. Is d a composite number?
False
Let i be 240/(-90)*((-906)/4 + 0). Let r = 1239 - i. Is r a prime number?
False
Let q(b) = -b + 21. Let v be q(16). Suppose v*r + 2*r - 4711 = 0. Is r composite?
False
Let h(v) = 3*v**2 - 13*v - 7. Let d be h(5). Suppose d*n - 2553 = -396. Is n a prime number?
True
Suppose 708 + 1330 = b. Suppose b - 12755 = -7*r. Is r prime?
True
Let b be -3 - ((-10748 - (-4 - 0)) + -4). Suppose 10*h - 3*h - b = 0. Is h a prime number?
False
Let o be 1 - ((-4)/(-6)*-3 - -3). Suppose o = x + 5*m - 45 - 44, -2*x - 2*m = -162. Is x prime?
True
Let j(l) = l + 6. Let z be j(-3). Suppose 16 = -z*w - w. Let o(b) = -6*b**3 - 5*b**2 + 4*b + 5. Is o(w) prime?
True
Suppose 26*v = 23*v - 1254. Let p = 1652 + v. Is p a prime number?
False
Suppose 2*y - 20 = -2*o, 2*o - 5*y = -4*y + 11. Let s(r) = 0*r**2 + 3*r**2 + r**2 + o - 2*r**2 + 10*r. Is s(10) a composite number?
False
Let b(t) be the third derivative of 19*t**4/8 - 7*t**3/6 - 33*t**2. Is b(6) prime?
False
Suppose -16*f + 19*f = -s + 28177, -18794 = -2*f - 3*s. Is f composite?
False
Let v(r) = r**2 - 3*r. Let x be v(4). Suppose 0*k + 8209 = x*z - k, -3*z + 2*k = -6163. Is z a prime number?
False
Let q(i) = -i**2 + 2*i + 9. Let k be q(5). Is ((-662)/3)/(k/27) a prime number?
False
Let c(x) = x**3 + 12*x**2 - x - 23. Let d be (-7)/3 + 1/3 - 9. Is c(d) a composite number?
False
Let p(m) = -m**2 + 2*m - 1. Suppose 2*i + 11 = -5*z, 0 = 4*i - 3*z - 0 - 17. Let c be p(i). Is -326*(-2)/(-4)*c composite?
False
Suppose -4 + 14 = 2*l. Suppose -2804 - 731 = -l*r. Is r composite?
True
Suppose -5*t - 8615 = -5*m, 4*t - 8*t = 8. Is m a composite number?
False
Let f(a) = -543*a + 322*a + 626*a + 645*a - 7. Is f(1) a prime number?
False
Let h = 33629 + -22470. Is h composite?
False
Suppose s = 2*p + 48, 0 = -4*p - 4*s - 0*s - 72. Is 2 + 41526/66 + 4/p a prime number?
True
Suppose 3*u - 1 = -4. Let c be u/(-3)*(8 - -16). Let l(n) = n**3 - 5*n**2 - 7*n - 9. Is l(c) a prime number?
True
Suppose -c = 49 + 20. Let d = c - -116. Suppose -5*z + 3 = -5*s - d, 4*s = 0. Is z composite?
True
Let i be (-1)/5 + (-546)/(-105). Suppose 0 = -h - 5*c - 2 + 3, 23 = 3*h - 5*c. Is i - h - (-211 + -1) composite?
False
Suppose -2*v = j - 5*j + 15678, -4*v = -3*j + 11771. Let i = 8404 - j. Is i a composite number?
True
Let i(l) = 4*l**3 - 20 + 10*l**3 - 15*l**3 - l**2 - 12*l + 15*l**2. Is i(11) a prime number?
True
Suppose -3*j - 1460 = 3*m - 24392, -15282 = -2*m - 4*j. Is m composite?
True
Let m = 0 + 2. Suppose -h - 10 = -3*h, 35 = 3*k - m*h. Let l = 25 - k. Is l composite?
True
Suppose 96*w - 74404 = 46460. Is w a composite number?
False
Let m(s) = -2*s - 3. Let t be m(-3). Suppose -4*z - 2 = -t*q + 30, -2*z + 2 = 3*q. Let n = q - -49. Is n a prime number?
True
Suppose -4*d + 3*d = -21. Let l = d + -21. Suppose l = u - 0*u - 427. Is u composite?
True
Let n be 18/(2 + 289/(-145)). Is n/8 - 5/20 composite?
True
Suppose -4*j - 4*h = -121352, -4452 - 56236 = -2*j + 2*h. Is j prime?
True
Let d(o) be the first derivative of -o**2 - 11*o - 1. Let j be d(-9). Suppose -v = 2*b - j*b + 77, -6 = 3*v. Is b a composite number?
True
Let m be 3/(3/(-2 + 5)). Let o(i) = -10*i - 27. Let w be o(-20). Suppose 5*u = w - m. Is u prime?
False
Let d(m) = -112