osite number?
False
Let q = -25 + 28. Suppose -2*u - 39 + 221 = -p, -q*u - p + 263 = 0. Is u a prime number?
True
Let u(s) = -60*s + 2. Is u(-7) a prime number?
False
Let c = -3982 - -5897. Is c a composite number?
True
Let y be ((-4)/(-8) + -1)*202. Let i = y - -394. Is i a composite number?
False
Suppose -5*g = v - 5*v + 34, 5*v + g - 28 = 0. Suppose 4*a - v*a + 632 = 0. Suppose 0*w + 4*w - a = 0. Is w a prime number?
True
Let j be ((-8)/(-10))/(2/5). Suppose 3*q = q + h + 427, j*q - 2*h = 432. Is q prime?
True
Suppose 0 = f + 3*m - 15, -2*f = f + 2*m - 17. Suppose f*b - 881 = -2*w, -4*w - 283 = -4*b + 905. Suppose n = 6*n - b. Is n prime?
True
Let i = 0 + 8. Suppose -5*j + m + 2 = -i, -2*m + 22 = 4*j. Is 225 - (-2)/(-3)*j composite?
False
Let d(l) = -l + 1. Let s be d(3). Is (s - 0)/((-4)/94) a prime number?
True
Suppose 0 = -5*u + u + 8. Suppose -2*f = u*f - 184. Is f/8*80/4 composite?
True
Suppose 2*j = -0*j + 2*k - 192, 2*j = 5*k - 207. Let s = -54 - j. Is s a prime number?
True
Is 1119*(-5 - 17/(-3)) composite?
True
Let h(b) = 1. Let p(z) = -2*z**2 + 8*z + 13. Let r = -5 - -11. Let o(y) = r*h(y) - p(y). Is o(-5) a composite number?
False
Let n(y) = -y**3 - 7*y**2 - y - 4. Let m be n(-7). Suppose x - m*x - 8 = 0. Is (-125)/(-15) + x/(-6) composite?
True
Let k be (-5469)/18 + (-4)/24. Is (k/(-40))/(4/10) prime?
True
Let m(o) = 44*o**3 + o**2 - o - 1. Is m(2) prime?
True
Is (1 - 27)*-8 + (-66)/22 prime?
False
Let i(r) = -r**2 + 97. Let z = -1 + 1. Is i(z) a prime number?
True
Let h(b) = b**3 - b**2 + 5*b + 3. Is h(4) prime?
True
Let o = 84 + -45. Let i = o + 50. Is i composite?
False
Let p be (2 - 1) + (-49)/(-1). Let t be (p/4 + -3)*-8. Is (3/(-6))/(2/t) a composite number?
False
Let w(p) = 13*p**2 + 9*p + 35. Is w(-12) a composite number?
True
Suppose 440 = 3*l + 89. Let w = 62 + l. Is w prime?
True
Let k = -1703 - -3058. Is k a prime number?
False
Let n(z) = -8*z**2 - 7*z - 1. Suppose 0 = y + 3*y - 28. Let c(q) = -4*q**2 - 4*q - 1. Let s(r) = y*c(r) - 4*n(r). Is s(8) prime?
False
Suppose 3*f - k - 4 = -2*k, 2*k - 2 = -3*f. Suppose 4*l + f*v = -180, 3*v + 110 = -2*l + 7*v. Let p = l + 82. Is p prime?
False
Let w(k) = -k**3 + 9*k**2 - 7*k - 5. Let b be w(8). Suppose -i + 2*q + 7 = -3*q, 4*q + 10 = 3*i. Suppose 6*h - 4*h = -4*y + 366, i*h = b*y + 380. Is h prime?
False
Let k = -166 - 67. Is 1 - (k - (-2 - -1)) composite?
False
Is 3 - (3 - (5 - -1236)) a composite number?
True
Suppose 6*a - 843 - 1743 = 0. Is a a composite number?
False
Let c(q) = -q**3 - q**2 + 1. Let p(a) = 4*a**2 + 5*a - 6*a**3 + 12 - a + 4*a**3. Let i(t) = -3*c(t) + p(t). Is i(-6) composite?
True
Let u = -2 + 3. Suppose 0*x - 7 = -x - 2*q, 3*q - 9 = 0. Is 3*(1 - (x - u)) a prime number?
True
Let z(c) = 23*c**2 - 3*c + 2. Let b be z(2). Suppose 0*x - 4*x + b = 0. Is x a prime number?
False
Let o be (-1 + (-1 - -1))*-4. Let b be 0*(0 - (-2)/o). Is -1 - (-52 - (2 + b)) composite?
False
Let p(s) be the second derivative of s**5/20 + 4*s**4/3 + 17*s**3/6 - s**2/2 + 6*s. Is p(-7) a prime number?
False
Let t(b) = -b + 15. Let a be t(6). Let c = 37 + a. Is c a prime number?
False
Let w = 132 + -406. Let u = w - -395. Is u a prime number?
False
Let k be 0 + -1 - -5 - -2. Let v(s) = 5*s**2 + 2*s + 6. Let g be v(k). Suppose 0 = 5*y - 77 - g. Is y composite?
True
Let x(k) = -1900*k**3 + 9*k**2 - 7. Let g(r) = 2850*r**3 - 14*r**2 + 11. Let o(z) = 5*g(z) + 8*x(z). Is o(-1) a prime number?
False
Let s(q) = q**3 + 13*q**2 + 10*q + 5. Let z be s(-12). Let o = 86 + z. Is o a prime number?
False
Let q = 24 - -137. Is q a prime number?
False
Suppose 28 = -4*a - 4*x - 0*x, 4*a + 16 = 2*x. Let z(b) = -b - 5. Let o be z(a). Suppose -4*t = 2*j - 8, -3*t - 2*t + 4*j + 23 = o. Is t a prime number?
True
Suppose 3*l - 4*t - 8 = -2*l, -4*l = -2*t - 4. Suppose l = -w - 37 - 3. Is (-10)/(-15) - w/3 a composite number?
True
Let c(b) = -2*b - 2. Let d be c(3). Is 37*(1 + -4 - d) prime?
False
Let y(r) = -2*r - 6. Let c be y(-4). Suppose -1 = c*m - 7. Suppose -2*i - n - 63 = -193, 5*i - m*n - 325 = 0. Is i prime?
False
Let t(k) = 3*k**3 + 0 + 0*k + 0 + 2*k. Is t(3) a composite number?
True
Let s = 3456 - 1835. Is s composite?
False
Let q(v) = v**3 + 16*v**2 + 5*v - 11. Let t be (-18)/(-4)*56/(-21). Is q(t) prime?
False
Let q(k) = -26*k**3 + 3*k**2 + 3*k**3 - 2*k**2 + 3*k**3. Is q(-1) a composite number?
True
Let x = -3482 + 6733. Is x a prime number?
True
Let b(i) = -2*i**3 + 0*i - 25*i**2 - i**3 - 9*i - 31. Let x(r) = -r**3 - 12*r**2 - 4*r - 15. Let z(n) = 2*b(n) - 5*x(n). Is z(10) a prime number?
False
Suppose 8*g - 6*g = 1534. Is g a composite number?
True
Let h(a) = 40*a + 21. Is h(14) a prime number?
False
Suppose -b + 210 = 68. Is b a prime number?
False
Let p = 120 + -83. Is p composite?
False
Let s(w) = 62*w**2 + 2*w + 5. Is s(-3) composite?
False
Suppose 3*j - h = h + 13, 5*h + 25 = 5*j. Suppose 0 = 4*r - 4*c - 141 - 311, 3*c = -15. Suppose -r = -5*w - j. Is w a prime number?
False
Let o = -4291 - -6008. Is o prime?
False
Let f(u) = -298*u + 9. Let v be f(4). Let d = v - -1770. Is d composite?
False
Suppose -2*i + 4517 = 4*b - 8947, 4*i - 13468 = -4*b. Is b a prime number?
False
Is 4/8*(-6 + 3836) prime?
False
Let g be 2 - -1 - (3 + -2). Let p(f) = 5*f**2 + g*f**2 - 5*f**2 + 1 + 4*f. Is p(-5) composite?
False
Let l be (-2)/5 - 202/(-5). Let u be (-74)/(-8) + 3/(-12). Let i = u + l. Is i a composite number?
True
Suppose 2*x - 3*x + 37 = 0. Is x prime?
True
Suppose 5*s - 32 + 517 = 0. Let a = 288 + s. Is a prime?
True
Let y = -84 + 137. Is y a prime number?
True
Let c(o) = -o**2 + 7*o - 7. Let u be ((-6)/9)/(4/(-30)). Is c(u) a prime number?
True
Suppose -z + 142 = -59. Is z prime?
False
Suppose -6*d + 2*d - 2*p = 2, -5*d = p + 4. Let o = -19 - -20. Is (d - o) + 1 + 44 a prime number?
True
Let j be (4/2 - 2)/(-2). Suppose h - 246 = -5*i, 4*i + 2*h = -j*h + 198. Is i a composite number?
True
Let d(g) = 1207*g - 3. Is d(2) prime?
True
Let v = -178 - -600. Suppose 2*u = -4*n + 572, 5*n = -u + 293 + v. Is n prime?
False
Let z(t) = 5*t**2 - 2*t - 2. Let l = 47 - 19. Let o be 64/l - 4/14. Is z(o) a composite number?
True
Let s(k) = 11*k - 3. Let l be 1*2/(-2)*-2. Suppose -3*v + 2*o + 8 = 0, v + l*o - 4*o - 4 = 0. Is s(v) a composite number?
False
Let p(h) be the first derivative of h**4/4 + h**3/3 + 4*h**2 - 3*h - 1. Let r be p(5). Suppose 2*f = -5*b + r, -4*b - f = -7*b + 110. Is b prime?
True
Suppose 0 = m - 6*m. Let v be (-766)/(-6) - (-2)/(-3). Suppose m*x = -x + v. Is x composite?
False
Suppose 0 = -5*d + 4*x + 858 + 1249, 0 = 4*d - x - 1679. Is d a prime number?
True
Let v(l) = -l + 211. Is v(0) a prime number?
True
Let t = -12 - -17. Suppose 0 = t*z + 5*a - 395, -223 = -3*z + 4*a - 0*a. Is z prime?
False
Let w(j) = j**3 - j + 28. Let s be w(0). Let b = -3 - -6. Suppose 0 = c + b*c - s. Is c composite?
False
Suppose -4*z + 2*t + 85 = -69, 0 = -2*z - 2*t + 86. Let r = z + -26. Is r prime?
False
Let x be (-2)/14 + (-174)/(-42). Suppose -x*j = 27 - 487. Is j a composite number?
True
Suppose 0 = -4*u + 3*j - 32, 3*j + 28 = -u + 5. Let w = 9 - 15. Is w/(-1)*u/(-3) prime?
False
Suppose 0 = -4*n - 24 + 196. Is n a prime number?
True
Let g = -179 - -34. Let d = -87 - g. Is d composite?
True
Let f be 2/(-8) - 447/(-12). Suppose -4*g = f - 321. Is g a prime number?
True
Let d(h) = 6*h**2 + 5*h - 2. Let g be d(5). Let x = g - 106. Is x prime?
True
Suppose -s = 2*r - 7, -4*r + 3*s + 9 = -5*r. Let g = r - -27. Is g a composite number?
True
Let n = 629 + -364. Is n a composite number?
True
Let p(j) = 147*j - 29. Is p(6) a composite number?
False
Suppose y = 4*v + 299, -y + 612 = y - v. Is y prime?
True
Let b(k) = 2*k**2 - 7*k - 2. Let r(h) = h**3 + 8*h**2 + 5*h - 2. Let t be r(-7). Suppose 0 = s + 3 - t. Is b(s) prime?
True
Let s(v) = 3*v**2 - 7*v + 2. Let i be s(-10). Suppose w - 5*z = 111, -4*w + 0*z = -2*z - i. Is w a composite number?
True
Let g = -2 + 4. Suppose 5 = 3*w + g*w. Is 3/(w*(-3)/(-4)) a composite number?
True
Suppose 0 = 2*p - 6 + 16. Let n be -4 + 2 + 0 + p. Let j(i) = i**2 + 6*i + 7. Is j(n) prime?
False
Let j(a) = a - 2. Let v be j(3). Let i be v/((-3)/(-9)) + 1. Is (-8085)/(-91) - i/(-26) a composite number?
False
Let f = -2 - -3. Suppose 2*b = -5*p + f, -1 = -5*b - 5*p - 6. Is 1 - 22*b