g composite?
True
Suppose 1250 = 5*m - 795. Is m composite?
False
Let h be (2 - 1)*(2013 + 0). Suppose -3*y = -2670 - h. Is y a prime number?
False
Suppose 0 = 2*j - d - 11136, -5*d = -5*j - 8*d + 27829. Is j composite?
True
Let n(g) = -g**2 - 3*g - 589. Let v(w) = -5*w**2 - 16*w - 2946. Let f(p) = -11*n(p) + 2*v(p). Is f(0) a prime number?
True
Let n(f) = 9*f**2 - 11*f - 15. Let g(r) = -r**2 + r. Suppose 4*x - 24 = -0*x. Let w(b) = x*g(b) + n(b). Is w(-7) composite?
False
Let o(t) = 157*t**2 - 31*t - 9. Is o(5) composite?
False
Suppose -3*j = -8*j - 7820. Is (j/(-16))/((-6)/(-24)) prime?
False
Suppose -4*b - 2*b + 18 = 0. Suppose -2*j = -b*l + 5641, l = -0*l - 5*j + 1903. Is l prime?
False
Let z(c) = 7*c**2 - 29*c - 75. Is z(49) a prime number?
False
Let q be (-1 - -1)*(-17 - -16). Is (1 - q)/((-6)/(-4254)) a prime number?
True
Suppose 33383 = 3*k + u, -u - 11133 = -10*k + 9*k. Is k a prime number?
False
Suppose 2*n - 10 = -0*n. Suppose 0 = -n*c + 6*c + 6. Is 51/c*(2 - 16) a prime number?
False
Suppose 71*y = 72*y - 9793. Suppose -10*s = -3*s - y. Is s a prime number?
True
Suppose 5*r - 23952 - 8045 = -2*m, 3*r = -5*m + 19183. Suppose -9*z = -6784 - r. Is z a composite number?
True
Let n(y) = y**3 + 15*y**2 - 21*y - 14. Let k(g) = 2*g**3 + 14*g**2 - 22*g - 13. Let t(u) = -2*k(u) + 3*n(u). Is t(15) prime?
True
Let l(k) = 97*k**2 - 3*k + 3. Suppose -5*g + 3*s + 14 = 0, 5*g = g + 3*s + 13. Is l(g) composite?
False
Let c = -82 + 78. Is c/(-6)*127485/30 prime?
True
Let l = 4 - -28. Let h = 101 - l. Is h a prime number?
False
Let z be 1 + -1 - (-6 - 4). Let m(h) = -h**3 + 10*h**2 + h - 7. Let s be m(z). Suppose 15 = -s*n, -2*n - 3*n + 49 = 2*l. Is l composite?
False
Suppose 7*t = 3*t + 5*f + 36, 0 = t + f. Is 1*392 - (t - (2 + -1)) a prime number?
True
Suppose -5*j + 404572 = 3*q, -j + q = 31944 - 112860. Is j prime?
False
Let c = -36 + 50. Let g be 6/14 + 8/c. Is g/(-3) + (-1456)/(-12) prime?
False
Let c(l) = 878*l + 49. Let v be c(-6). Let d = -3120 - v. Is d prime?
True
Let y(p) be the second derivative of p**4/12 - p**3/3 + 7*p**2 - 17*p. Is y(12) prime?
False
Is (-8)/32*(-45932)/1 composite?
False
Let x = -8 + 4. Let t be (-2)/x + 18/12. Suppose -z + 103 = 5*f + z, t*f - 50 = -3*z. Is f a composite number?
False
Let w be (-76)/(-6) - 4 - 2/3. Suppose 0 = -w*k - 4*k + 11028. Is k a prime number?
True
Is (-44)/(-572) + 0 + 10320/26 a prime number?
True
Let f(b) = 28*b**2 + 27*b + 13*b - 46 - 35*b. Is f(7) a composite number?
False
Suppose 58*d + 306812 = 1037786. Is d composite?
True
Let t = 199 - 96. Suppose 5*n = 3*c + 12 + t, 2*c - 69 = -3*n. Let g = n - -8. Is g composite?
False
Let l(u) = -2*u**3 + 117*u**2 - 58*u - 65. Is l(50) composite?
True
Let n = -2751 - -48422. Is n a prime number?
False
Let n(q) be the first derivative of 3*q**2/2 - 12*q + 11. Let p be n(4). Suppose -5*h - 4*y + y + 2236 = p, -h + y = -452. Is h prime?
True
Suppose -6*i + 30 = -3*i. Let z = i + -9. Is z*-1 + 3 + 653 a composite number?
True
Let q be (1*1213)/((1/2)/(-1)). Is (q/10)/(1/(-5)) prime?
True
Let w = -2 + 5. Suppose 2*q = w*q. Suppose q = 5*l - 2*i - 957, -4*l = l - 5*i - 960. Is l a prime number?
True
Let v(p) = p**2 + p. Let f be v(-2). Let o(z) = 18*z**3 - z**2 + z - 2. Let c be o(f). Suppose -257 - c = -q. Is q a composite number?
False
Let s be (1 + 1*830)*2. Let h(w) = 5*w**2 - 3*w + 3. Let u be h(1). Suppose u*b + s = 5647. Is b composite?
False
Suppose -3*n + 590 = -5*n. Is (-3*(-317)/5)/((-59)/n) a composite number?
True
Suppose -2585 = -5*q + 7640. Suppose -q = -12*h + 7*h. Is h composite?
False
Let c(r) = -r**3 + 12*r**2 + r - 8. Let n be c(12). Suppose -5*j + 2*j + 8461 = -n*i, 3*j - 8456 = -i. Is j a composite number?
False
Let q(i) = 3*i - 6. Suppose -3*u = -2*k - 2*k + 34, 2*u + 25 = 3*k. Let a be q(k). Let z = 25 - a. Is z composite?
True
Let t(z) = 1560*z + 21. Is t(4) a composite number?
True
Suppose -p - 2*y + 18003 = 4*p, 4*y - 3597 = -p. Is p composite?
True
Suppose 5*f - 9*v = -4*v + 69275, f - 13845 = -4*v. Is f a composite number?
True
Let v be 6/8 + (-19773)/(-36). Suppose -v = 4*t + t. Let h = 169 + t. Is h a prime number?
True
Let m be -2 + 1 + 159 + -3. Suppose 833 = 2*r + m. Is 1/(2 + (-675)/r) a prime number?
True
Is 192/(-144) + (-2683)/(-3) a composite number?
True
Is (2 - 5) + (5450 - 0) a composite number?
True
Let t be -3 - 31259*(4/2)/(-2). Let m = t - 20829. Is m composite?
False
Suppose -94808 = 122*u - 130*u. Is u prime?
False
Suppose 206532 = 50*p - 14*p. Is p prime?
True
Let n = 9912 - 757. Is n prime?
False
Let g = -13 - -14. Let x be 1/g - (-1 + 106). Let b = x + 223. Is b a composite number?
True
Suppose -5*j - i = -60 - 5, -3*j + 39 = -i. Suppose j = -3*b + 4, -2*v = 4*b - 6394. Is v a prime number?
True
Let m be 5/(35/(-2)) + (-25484)/(-14). Suppose -v - m = -3*v + 3*s, 5*s + 10 = 0. Is v prime?
True
Let c = 657 + -140. Suppose -3*n - 2*w = -159 - c, 5*n + 2*w = 1132. Suppose 3*r = n - 51. Is r composite?
False
Suppose 25 = 4*d - 23. Let i = d - 8. Suppose 54 = o - i*j, 0 = -o + 3*o + 2*j - 58. Is o composite?
True
Is ((-4 - -3) + -4 - -13358) + 0 composite?
True
Suppose -5*g + 8*g + 48 = 0. Let l(j) = 3*j**2 + 8*j + 14. Let z be l(-5). Let p = g + z. Is p a prime number?
False
Let i(n) = -n**3 - 6*n**2 - 5*n + 1. Let r be i(-4). Is (-383)/r - (60/(-55))/6 a composite number?
True
Let n = -6 + 10. Suppose 0 = n*r + r - 25. Suppose -r*j + f = -2995, -2*f = f. Is j composite?
False
Let t(a) be the third derivative of -a**6/120 + a**5/10 - a**3/3 + 4*a**2. Let f be t(6). Is (-744)/(-22) + f/(-11) prime?
False
Let k be ((-808)/(-12))/((-3)/(-9)). Is (-1 - -4) + k - 4 a prime number?
False
Suppose 5*j = -0*j + 230. Suppose 5*s = 2*r + j, s + 5*r = 3*s - 31. Suppose 3*n - s*n + 185 = 0. Is n prime?
True
Suppose 210*q + 8481 = 213*q. Is q a prime number?
False
Let n be 19/(1 - (-59)/(-58)). Let q be ((-204)/17)/(4/n). Suppose -6*p + 0*p = -q. Is p composite?
True
Suppose 40*f - 29*f - 56573 = 0. Is f prime?
False
Suppose -2*b + 16 - 4 = 2*d, 2*d + 4*b = 20. Suppose 5*i - 1350 - 1810 = 0. Suppose 0 = -d*f + 2, u - f = -2*u + i. Is u prime?
True
Suppose -7 - 13 = -4*w. Suppose -2506 = -w*i + 999. Is i composite?
False
Suppose 5*d = -b - 143 + 1514, -6799 = -5*b + 3*d. Is b a composite number?
False
Suppose -38*h = 21*h - 3668561. Is h composite?
True
Suppose -h = -48 + 12. Suppose h = 3*a + a. Is (a/27)/((-2)/(-714)) composite?
True
Let l = -7 - -12. Let m(u) = 3 - l*u - 7*u**2 + u - u**3 + 2*u**2. Is m(-5) a prime number?
True
Suppose -5 = -m + 2*p, 6*m + 3*p = 3*m + 24. Suppose 2*z = m*z - 10. Suppose -z*w - w + 148 = -2*h, 26 = w + 4*h. Is w prime?
False
Let r(f) = -2*f**2 + f + 7. Let d be r(3). Let h(n) = 7*n - 1. Let l be h(d). Let q = l + 119. Is q prime?
False
Let p = 18 + -2. Is (p + -347)/((-1)/7) composite?
True
Suppose 29 = 8*f - 3. Suppose 0 = 4*i + f*i - 20344. Is i a composite number?
False
Is ((-370)/(-8))/((-325)/(-520)) composite?
True
Let u = 1694 - -3383. Is u composite?
False
Let d be 25 + (-1)/(-2)*-2. Let l be (11 + 2)/(6/d). Let o = l + -15. Is o prime?
True
Suppose 3*z - 64 = 2. Let t(y) = y**3 + 6*y**2 - 4*y - 21. Let r be t(-6). Suppose 0 = -5*c - 3*j + 341, -c + r*j + 39 = -z. Is c prime?
True
Let a = 20386 - 12533. Is a a composite number?
False
Suppose 3*j + 2*j = 1735. Let s = j + -125. Let k = s - 59. Is k a prime number?
True
Suppose -87066 = -5*a + 4*c, a - 2*a + 3*c = -17411. Is a/(-2)*((-2 - 4) + 5) prime?
True
Suppose -7*w + w - 546 = 0. Let l = w + 894. Is l a prime number?
False
Let m(x) be the second derivative of -x**4/12 - x**3/3 + 199*x**2/2 + 30*x. Suppose -4 + 5 = t, 1 = -5*g + t. Is m(g) a prime number?
True
Suppose -7*d - 4 = -9*d. Suppose -1431 = -d*h - 133. Is h composite?
True
Suppose -i + 35 = 30. Suppose y = 0, 2*y + 1055 = i*w - y. Is w a composite number?
False
Let v = -4065 - -6118. Is v a prime number?
True
Suppose 0 = 5*w - 3*s - 40648, -3*w + 3*s = -s - 24391. Is w a composite number?
True
Suppose 2*z = -6, -3*y + 27 + 3 = 2*z. Suppose 9*h = y*h - 9. Suppose 5*c - 3*b - 3245 = -b, -h*b = 0. Is c composite?
True
Let s be ((-2 - 0) + 1)*-1. Let n = s - -7. Is 9/36 + 1766/n a composite number?
True
Is (19562/(-4))/(6 - (-65)/(-10)) a prime number?
True
Let u(l)