osite number?
True
Let p(q) = -76*q - 7. Suppose 2*a = 8 - 28. Is p(a) a prime number?
False
Let j = -157 + 1994. Let s = j + -1002. Is s a composite number?
True
Suppose 4*f - 25169 = -5*j, -3*j - 2*j = 15. Suppose 3*o = -o + f. Is o a prime number?
False
Let v = 12090 + 5717. Is v a composite number?
False
Let o(t) = 5*t**2 + 89*t - 47. Is o(-71) a prime number?
True
Suppose -42795 = -a - 37*g + 35*g, 4*a = 3*g + 171169. Is a a composite number?
False
Let v(b) = -15*b**2 + 54*b - 634. Let q be v(11). Suppose 15570 = 5*h + 2*k, 0*k + k - 12453 = -4*h. Let i = h + q. Is i prime?
False
Let m = 6029 - 4186. Let a = m - 50. Is a a prime number?
False
Suppose 0 = 5*t + 4*y - 34023, 34017 = 5*t + 22*y - 21*y. Is t composite?
False
Let s be 410/14 - (-2)/(-7). Let w(f) = -1 + s*f + 7*f - 5 + 14*f. Is w(4) a prime number?
False
Let g(k) = k**3 + 11*k**2 - 2*k + 6. Let p be g(-11). Is p*(3 - -14) - -3 prime?
True
Let j be 130/39*(-12)/(-10). Suppose j*v - 8*v + 2*m + 434 = 0, -3*v - 2*m + 343 = 0. Is v a composite number?
True
Let o be 4/1 - (8 + -1417). Suppose 0 = -5*j + 1372 + o. Is j prime?
True
Suppose 0 = 8*j - 8 - 8. Suppose 5*b + 301 = 6*b. Suppose -4*t = w - 526 - 699, -t - j*w + b = 0. Is t composite?
False
Suppose 6 = -2*z - 4*g, 0 = -4*z + 2*g + g + 43. Suppose z*l = -717 + 3916. Is l a composite number?
False
Is ((-18862)/(-4))/((18/(-3))/(-12)) a composite number?
False
Let t be (-16)/(-24) - 62/(-6). Let z(j) = -11*j - 36*j + j + t. Is z(-8) a composite number?
False
Suppose -509213 = -20*z - 115353. Is z prime?
False
Suppose 85*j + 67826 - 454321 = 0. Is j composite?
False
Let a be 1/6*-4*-3. Suppose 3*z = a*j + 1891, 2*z + 3*j = 2*j + 1263. Is z a prime number?
True
Suppose -3*l = -l + 5*r + 820, -4*l - 5*r = 1650. Let d = l + 702. Is d a composite number?
True
Let z = 31 + -13. Let p(o) = o**3 - 16*o**2 - 19*o + 25. Is p(z) a composite number?
False
Suppose 3*g - x - 280 = 0, -3*x = -3*g - 0*x + 282. Suppose 0 = -4*q + 20, g = 3*z - 0*q - 3*q. Suppose -f + 33 = -z. Is f composite?
True
Suppose -5*p = -2741 - 4944. Is p prime?
False
Suppose -4*x - m = 16, -4*m = 2*x + 18 + 4. Let v(w) = 3*w**3 + 2*w**2 - 1. Let c(t) = t. Let i(a) = 3*c(a) - v(a). Is i(x) composite?
True
Suppose s - 5*q - 15255 = 0, 4 = -14*q + 12*q. Is s a prime number?
False
Let o = -3935 + 6256. Is o composite?
True
Suppose 0 = -0*q + 4*q - 52. Suppose -16*p + q*p + 651 = 0. Is p a prime number?
False
Suppose 4*d - 20 = -5*i + i, -5*i = 3*d - 21. Suppose 0 = -0*w + 3*w - 3*p - 105, -4*p - 103 = -i*w. Is w prime?
True
Suppose -33 + 20 = n. Is n + 683 + (1 - 4) a composite number?
True
Let o = 2 + 2. Let h(w) = w**2 - 6*w - 2. Let y(s) = 5*s + 3. Let q(x) = 2*h(x) + 3*y(x). Is q(o) composite?
True
Suppose -12*v = -3417 - 34779. Is v a composite number?
True
Suppose 11*w = 5415 + 15936. Is (-4 - -6 - 4) + w a composite number?
True
Let q(r) = 294*r - 17. Let l be q(12). Suppose 4943 = 6*w - l. Is w a prime number?
True
Let v = 61 - 57. Suppose v*t = 5*o + 3331, 0 = -4*t + o - 1910 + 5261. Is t a prime number?
True
Let d = 1504 - 803. Let p = 1469 - d. Let f = p + -45. Is f prime?
False
Suppose -5*s = -28 - 17. Suppose s = 4*v - 11. Suppose 1881 = v*z + 406. Is z a composite number?
True
Is (-11)/3 + 2 - (-1146112)/132 prime?
True
Suppose 3*m = 4*o + 25, 2*m + 6 = -5*o - 8. Suppose 6 + 27 = -m*c. Let p(z) = 2*z**2 - 11*z + 8. Is p(c) composite?
True
Suppose -5*x - l = -27352, 3*x - 5*l = -6*l + 16410. Is x composite?
False
Suppose 14*y - 9*y - 151525 = -5*h, 0 = -2*y - 4. Is h a composite number?
False
Is 8/(-48)*-58791*2 a prime number?
True
Suppose -4*b = 2*b - 24. Is (0 - (b + 1163))*-1 a composite number?
True
Is 7/21*-1 - (-3334)/3 a prime number?
False
Let g = -294 - -425. Is g composite?
False
Let d = -47 - -72. Is -2 + 65/d + (-6852)/(-5) a composite number?
True
Let w = -81 + 83. Is -2 + 1437 + w + 7 + -3 a prime number?
False
Suppose 5*f = -0*f + d - 195, -4*d = 0. Suppose 0 = -3*s - 32 + 71. Is 1 - s/(f/1134) prime?
True
Let f = 6 - 6. Let j be (-3)/3*(-1 + f). Is j/3 - (-10016)/12 a prime number?
False
Suppose 22*g - 20538 = 40336. Is g a prime number?
True
Let c(t) = 2778*t**2 + 2*t + 1. Let k(g) = -g**3 - g**2 + 20*g - 1. Let u be k(-5). Is c(u) a composite number?
False
Is ((-4)/6)/(4*3/(-20934)) a composite number?
False
Let s(o) be the second derivative of -o**7/2520 - o**6/30 - 13*o**5/120 + 3*o**4/4 + 2*o. Let i(c) be the third derivative of s(c). Is i(-12) composite?
False
Suppose 9 = -5*t + 14. Let q(a) = 11*a**2 - 11*a**2 - 1 + 2 - 2*a + 432*a**3. Is q(t) a composite number?
False
Is (-17429536)/(-864) + (-4)/54 composite?
False
Let n(s) = 36*s + 23. Let o be n(11). Suppose -k - 5*f = -o, -k - 838 = -3*k - f. Is k composite?
False
Let w(f) = -156*f**3 - f**2 - f - 1. Let x be (2/4)/(13/(-26)). Is w(x) prime?
False
Let r = 4420 + -2639. Is r a prime number?
False
Let h = 1976 + 10845. Is h prime?
True
Suppose 4*a - 3*u - 5953 - 8287 = 0, 2*u = -5*a + 17777. Is a composite?
False
Let p(d) = d**3 + 10*d**2 - 9*d + 11. Let y(g) = -g**3 + 3*g**2 - 3*g + 3. Let a be y(3). Let u be 23/(-3) - (-2)/a. Is p(u) a prime number?
True
Let c = -9368 - -13347. Is c a composite number?
True
Is (-72)/96*(-48220)/15 a prime number?
True
Suppose 4*y - 3*g - 3343 = 0, -3*y + 2365 = -5*g - 134. Let a = y + -452. Is a prime?
False
Let q(x) = -x**2 - 7*x + 10. Let m be q(-8). Suppose -m*t + 411 = -217. Is t a prime number?
False
Let n(u) = 31*u - 5. Let m be 2*(-28)/8*-2. Let q be ((-4)/m)/(14/(-196)). Is n(q) a composite number?
True
Suppose 0 = -4*w - 8, -b - 3*b - 1994 = 3*w. Let q = b + 798. Is q a composite number?
True
Let u(o) = -2264*o - 11. Let l(a) = -755*a - 3. Let b(c) = 8*l(c) - 3*u(c). Is b(4) prime?
False
Suppose 0 = 8*t - 15537 - 10087. Is t composite?
False
Suppose 4*h = -3*t + 98855, -19*t - 98849 = -4*h - 16*t. Is h composite?
True
Is 31522/6*(28 + -25) a prime number?
True
Let z(d) = d**3 + 19*d**2 - 27*d + 16. Let y be z(-20). Suppose -4*x = -y - 28. Is x prime?
False
Let r be 40/14 + (-15)/(-105). Let i(u) = -r - 11*u + 4 - 262*u - 375*u. Is i(-1) prime?
False
Is (-7 - (-165823)/(-14))*4/(-6) prime?
True
Let x(c) = c**2 + 5*c + 7. Let q be x(5). Suppose 5*v - 5*g = -7*g + 420, -5*g = -v + q. Let l = v + -44. Is l a composite number?
True
Let l(m) = 10*m. Let o be l(-8). Let j = 42 + -67. Let b = j - o. Is b prime?
False
Let h(s) be the second derivative of 3*s**5/20 - 7*s**4/12 + s**2/2 + s. Is h(5) a composite number?
True
Let w = -173 - 187. Let t = 779 + w. Is t a prime number?
True
Suppose 269*m = 284*m - 16215. Is m prime?
False
Let c(r) = -2259*r + 86. Is c(-3) composite?
False
Suppose -3*p + 70 = 4852. Let d = p + 2481. Is d prime?
True
Suppose -7*b + 22 = -4*y - 2*b, y - 4*b = -11. Is y - ((-7776)/15 + (-8)/(-20)) a composite number?
True
Let w(f) = -f**3 + 11*f**2 - 4*f - 4. Let q be w(10). Is 1/4 - (-12138)/q a composite number?
True
Let f(z) = 1520*z - 4. Let w be f(8). Is w/9 + 1/3 a prime number?
False
Suppose 0 = z + 5*z - 4572. Suppose 0 = 10*g - z - 1728. Is g composite?
True
Let q be 6/(-57) + (-126)/(-114). Is -2 + (1599 - q)/2 a composite number?
False
Let o = -22 - -18. Let v be 2 + (-16)/o + -1. Suppose -v*u = 4*c - 1186, 0 = 2*c + 2*c - 4*u - 1204. Is c a composite number?
True
Suppose 0 = 4*s - 5*h - 2008, -3*s = -h - 226 - 1280. Is s composite?
True
Let s be -1 - ((-2 - 45) + 2). Suppose -33 = 4*g - 5*i - 8, g = 4*i - 9. Let z = g + s. Is z prime?
False
Let g(j) = -62*j - 37. Let i(w) = w**3 + 6*w**2 - w - 13. Let x be i(-6). Is g(x) composite?
False
Suppose -9*y = -2*y - 17066. Suppose -4*k + y = -4166. Is k composite?
True
Suppose -12694 - 25925 = -9*j. Is j composite?
True
Is ((-6)/5)/((-174)/480530) a prime number?
False
Suppose 0*n = 2*n + 14. Is (-2)/n*(2430 + -1) composite?
True
Suppose -20999 = -9*o + 12472. Is o a composite number?
False
Let l(r) = -10*r - 18. Let a be l(-2). Suppose 0 = -a*v + 4*n + 1766, 6*n + 4400 = 5*v + n. Is v a composite number?
False
Let r(m) = -m**3 - 16*m**2 - 17*m + 17. Let z be r(-15). Suppose -42*w + z*w = 26525. Is w a composite number?
True
Let z = -8 - -8. Suppose 1148 = d - z*d - 3*h, 0 = 4*d + 5*h - 4609. Is d a prime number?
True
Suppose 3*h - 11*h = -16. Suppose h*b = -6, -2*z