f a prime number?
True
Suppose i + 7*i = 0. Suppose i = 11*p - 5*p - 9942. Is p a prime number?
True
Let m = 303 + 202. Is 2/((-8)/(-6))*(m - 3) prime?
False
Let i be 16/(-56) + 6824/7*-2. Let n = i + 3607. Is n a composite number?
False
Let x = 571 + -124. Is x composite?
True
Let k = 52 - 32. Let t be (-8)/k + (-602)/(-5). Suppose 5*y - t = -5*x, -5*x - y + 128 = -0*x. Is x prime?
False
Let a(l) = 10694*l - 107. Is a(6) prime?
False
Let k be 2966/4*(0 + 2). Suppose -k = 6*s + 407. Let y = -188 - s. Is y composite?
False
Let s(k) = k**2 - 12*k + 7. Let b be s(11). Let y be (-6)/(-9) - (-6)/18. Is (-246)/(-8) - y/b composite?
False
Let q(r) = 154*r + 19. Let m be q(-11). Let w = -1008 - m. Is w prime?
False
Suppose -p + 1 = -5*n, p - 2*n = -1 + 5. Suppose -8*q + p*q = 112. Let f = q + 135. Is f prime?
True
Suppose -19*n + 21*n = 2*u - 68564, -n + 137133 = 4*u. Is u prime?
True
Suppose 0 = 3*g - 7*g. Let r(h) = h**3 - h**2 + 2*h - 17. Let c be r(g). Is 5*29 + 17 + c prime?
False
Let a be 3/4 + 4548/(-48). Let h = a + 153. Is h a prime number?
True
Suppose -2*u - 7*s = -8*s - 21562, 53905 = 5*u + 3*s. Is u a composite number?
False
Suppose 4*o + 15227 = 3*w, w + 0*o - 5075 = 2*o. Is w a composite number?
False
Let d be 24/15 - (-6)/(-10). Let z be d - 206*2/(-4). Suppose -8*l - 157 = -3*p - 3*l, -2*p + 3*l = -z. Is p composite?
True
Suppose -2*d + 7016 = 6*d. Is d a prime number?
True
Suppose 3*l = -l + 56. Suppose l*f = 12*f + 1574. Is f composite?
False
Suppose u = 3*u - 4*g + 24, g = -u + 3. Let p be 2/u + (10 - -123). Suppose 0 = 4*q + 2*q - p. Is q composite?
True
Let i(j) be the third derivative of 1/60*j**5 - 1/2*j**4 + 0 + 0*j - j**3 - 2*j**2. Is i(14) a composite number?
True
Let n = -22639 - -40698. Is n prime?
True
Suppose -59*y + 178788 - 34061 = 0. Is y composite?
True
Let p = 34 - 31. Is (17940/p + 1)*(4 + -3) composite?
False
Let n = -13 - -3. Let d be (5/n)/(1/(-10)). Suppose -119 = -d*b + 6. Is b a prime number?
False
Suppose 3*x - 4941 = 837. Let o = 23 + x. Is o prime?
True
Suppose -3*n + 62 = 11. Let q = n + -69. Let r = 13 - q. Is r a composite number?
True
Let k(n) = n**3 - 24*n**2 + 11*n - 25. Is k(27) prime?
True
Suppose -5*g = -2*k + 3*k - 45146, k + 18057 = 2*g. Is g prime?
True
Let v be (-238)/(-85) - (-1)/5. Suppose j = -5*d + 1376, -v*j + 3817 = 5*d - 281. Is j a prime number?
True
Suppose r + 4 = 0, -r + 2*r - 50 = -2*w. Let u = w + -23. Suppose 2*k = u*h - 2*k - 4664, -k + 3494 = 3*h. Is h composite?
True
Is (5 - 255256/(-16))/((-6)/(-4)) composite?
False
Let x(p) = 6*p**2 - 5*p - 1. Let n be (-3)/(4/32*-6). Suppose 0 = n*v - 4*y - 44, -3*v - 2*v + 4*y = -50. Is x(v) composite?
True
Let g(u) = 424*u**2 + u - 1. Is g(-1) composite?
True
Let m(q) = 122*q**3 + 2*q**2 - 5. Is m(4) composite?
True
Let l = 15 + -15. Suppose z + 5*b - 3595 = -3*z, 3*z + 3*b - 2694 = l. Is z composite?
True
Let f(y) = y**3 + 5*y**2 - 2*y + 3. Let w be f(-5). Let r = w + -28. Let k = 50 + r. Is k a prime number?
False
Suppose u + 252 = 5*x + 2348, -8400 = -4*u + 4*x. Is u a prime number?
False
Let y(k) = -k**2 + 14*k + 33. Let s be y(17). Is (9/12*s - -4)*-38 a composite number?
True
Let w(b) = 59*b**2 - 4*b - 3. Let h be w(-3). Let j = h + 47. Is j composite?
False
Let r(z) = -9*z**2 + 14*z + 99. Let g(l) = -4*l**2 + 6*l + 50. Let p(j) = 7*g(j) - 3*r(j). Suppose 2*v = 4*v. Is p(v) a prime number?
True
Let k(w) = -2*w**2 + 6*w - 4. Let y(f) = 3*f**2 - 7*f + 4. Let b(l) = -4*k(l) - 3*y(l). Let g be b(-5). Is -35*(-1 + g/(-10)) prime?
False
Let h be 7 - 9/3*1. Is -2*h/(-8) - -2 a composite number?
False
Suppose -959 = -4*b + 1397. Suppose p - 2*t - 148 = 0, -3*t + 12 = -4*p + b. Let s = 227 - p. Is s prime?
False
Suppose s - 14 = -4*b, b - 3*s + 1 = -s. Suppose 10 = -2*h, b*y - 3*h - 2255 = h. Is y a prime number?
False
Let d be (-9)/(-24) + (-65322)/(-16). Suppose -13*v + 10*v = -d. Is v composite?
False
Let g = -446 + 637. Is g prime?
True
Let r(c) = -c. Let p be r(-6). Suppose 4*y + p = y. Is ((-157)/y)/((-3)/(-6)) composite?
False
Suppose -4*t + 3 = -3*t. Suppose 0 = t*o + 479 - 1337. Suppose 63 = -c + o. Is c a prime number?
True
Suppose 5*d + 2633 = -2*h, 0*d = 4*h - 4*d + 5280. Let i = 2596 + h. Is i prime?
True
Let f(p) = 1209*p**2 + 13*p + 55. Is f(-4) composite?
True
Let n(d) = 3 + 54*d**2 - 4 + d - 1 - 2. Is n(3) a composite number?
True
Suppose 5*g = 2*t - 471, 5*t - 481 = 3*t + 3*g. Let v be ((-7)/(-4))/((-2)/t). Let b = 34 - v. Is b prime?
True
Let f(v) = v**2 - 3*v - 7. Let w be f(5). Let l be (w - (-143)/3)*-3. Let s = l - -237. Is s composite?
True
Let b(q) = q**3 - q**2 + 2*q - 1. Suppose 0*s - 23 = -s + 4*m, 4*s = 5*m + 37. Suppose s*j - 11 = 1. Is b(j) a composite number?
True
Let j(r) = 10447*r**2 + 4*r + 2. Is j(-1) a prime number?
False
Let c(j) = 150*j**2 - 6*j - 1. Let q be c(2). Suppose 2*v - o - q = 0, -934 = -4*v - 4*o + 234. Is v a composite number?
False
Let k = 179 + -2. Let n = k + 734. Is n a prime number?
True
Suppose 30 = -2*n + 5*n. Let x be 4/n + (-44)/10. Let p(h) = -h**2 - 10*h - 3. Is p(x) prime?
False
Let w = -596 - -1341. Is w composite?
True
Let t(q) = 0 - 25*q + 3 - 7. Let w be t(-8). Suppose -l + 4*l - 2*j = 211, 3*l = -j + w. Is l composite?
False
Let q(b) = b**2 + 12*b + 16. Let v be q(-11). Suppose -6*i + v*i = 1. Is 454/7 - i/7 a composite number?
True
Suppose -l + 5 = 2. Suppose 2 - 14 = l*i. Is (-6)/4 + (-242)/i composite?
False
Let j = 46167 - 20830. Is j a composite number?
True
Let m(g) = -608*g - 55. Is m(-7) a composite number?
False
Suppose p + 738 = 4*y, 5*y - 914 = p - 4*p. Let j = y + 195. Is j prime?
True
Let a = 8 - 6. Suppose 0 = y - 6*y + a*o + 12355, 0 = -5*o + 25. Is y a prime number?
True
Suppose 2*l - 8 = -2*l. Suppose p - 1890 = x, l*p + 2*p = -x + 7575. Is p a prime number?
False
Suppose 5*v + 2*h - 74872 = 0, -9*h - 29943 = -2*v - 4*h. Is v a prime number?
False
Let q(v) = -4*v + 0*v + 11 + 2*v. Is q(-6) prime?
True
Let n(c) = 36*c + 18. Let k be n(-6). Let z = -41 - k. Is z composite?
False
Suppose 0 = 3*f - 9, -5*z - 3*f - 2 = -1. Is 752 - (-2 + z - -5) composite?
False
Suppose -43*p - 3 = -44*p, -d - 5*p + 18854 = 0. Is d prime?
True
Suppose -5*k - 2*g + 37545 = 0, -3*k + k - 3*g = -15029. Is k a composite number?
False
Let g(l) = 9*l**3 - 22*l**2 - 21*l - 21. Let i(u) = -4*u**3 + 11*u**2 + 11*u + 11. Let a(o) = 3*g(o) + 7*i(o). Is a(12) a composite number?
True
Suppose 5*t - 4*w - 32615 = 0, 5*t + 6*w = 2*w + 32655. Is t composite?
True
Let u = 550 - -1219. Is u prime?
False
Suppose 16*m = 21*m + 5. Is (-4 - -2) + -1 + (675 - m) composite?
False
Let i = -16 + 14. Let s be i - 1/(2/(-766)). Suppose 6*g = 3*g + s. Is g a composite number?
False
Suppose 5*p + 860 = 3*c, 2*c - 12*p - 556 = -13*p. Suppose 0 = -l + 4*q + q + 408, -3*l = -4*q - 1191. Let w = l - c. Is w prime?
True
Let u(z) = 22*z + 3305 + 18*z - 36*z. Is u(0) a composite number?
True
Let m(t) = 47*t + 19. Let f be m(13). Suppose -f = -u - 4*u. Suppose 1796 = 2*p + u. Is p prime?
False
Let x(p) = 2*p**2 - 3*p + 1. Let q be x(2). Let s(v) = 3*v**2 + 8*v**3 - 7 + 4*v + 16*v**q - 8*v**3 + 3. Is s(3) a prime number?
True
Suppose 16*p - 23002 - 42774 = 0. Is p composite?
False
Suppose -343 = -4*q - 2*o - 13, -337 = -4*q + 5*o. Suppose -2*l + 3*l = -q. Let f = 174 + l. Is f composite?
True
Let t(y) = -y + 15. Let o be t(0). Let h = o + -7. Suppose 2*s - h*l - 394 = -4*l, -3*s - 4*l + 631 = 0. Is s composite?
True
Suppose 2*g - 13 = 1. Suppose 4*a + x - g = 0, 2*a - 2*x - x = 21. Suppose -d - 183 = -a*p, 3*p + p + 2*d - 254 = 0. Is p a prime number?
False
Let r(c) = 17*c**2 - 13*c - 16. Let h be r(10). Suppose -2*u - 5*t + 1269 = -1836, h = u + t. Is u a prime number?
False
Is 298823/42 - 3*4/(-72) prime?
False
Let b be (-12)/30 + 17/5. Let n(t) = 9 + 30*t + b - 20. Is n(9) a composite number?
True
Let f be 7 - 3 - (-342)/(-6). Let y be (4 + -7 + -4)*f. Let z = 814 - y. Is z composite?
False
Let c(l) = -65*l**3 - 6*l**2 - 4*l - 2. Let i(m) = -64*m**3 - 5*m**2 - 3*m - 1. Let y(p) = -2*c(p) + 3*i(p). Is y(-2) a composite number?
False
Let s(n) = n**3 + 12*n**2 - 2*n - 1 + 3*n + 9 + 3. Let u be s(-12). Let g(m) = -32*m**3 + 1. Is g(u) a composite number?
True
Let w = -5183 - -10182. Is w prime?
True
Let k be ((-3)