number?
False
Suppose 0 = 5*l + 3*c - 398432, 3*l - 7*c + 11*c = 239057. Is l composite?
False
Suppose -9 - 20 = -t. Suppose -4*w + 272 = 3*s - 708, 734 = 3*w + 2*s. Let h = w - t. Is h a composite number?
True
Let x(h) = 101*h**3 + 6*h**2 - 9*h - 2. Let m be x(5). Suppose -m = 5*u - 13*u. Is u composite?
True
Suppose -4*w = -4*n + 55640 + 25844, -101851 = -5*n + 3*w. Is n a prime number?
True
Let v = -516 + 1070. Suppose -v = -3*p + 115. Is p composite?
False
Let u be ((-4)/(-3))/((-3)/18). Let r = 7 + u. Is (582/12)/(r/(-2)) a composite number?
False
Let k(o) = -6*o**2 + 2 + 3 - 4 + 5*o + 10*o**3. Let c = -9 - -13. Is k(c) composite?
True
Suppose -2*y = -5*y + 3834. Suppose -3*c = -y - 1323. Is c/11 - 2/(-11) composite?
False
Suppose -d - 80 = d. Suppose 0 = -l + 53 + 38. Let s = l - d. Is s a prime number?
True
Let o(s) = -2*s**2 + 3*s + 13. Let m be o(4). Is -1*(m - -10)*(-319)/3 a composite number?
True
Let k(l) = -23*l - 8 + 19 + 17. Let a(r) = -r**2 + 15*r - 49. Let b be a(12). Is k(b) a prime number?
False
Let q be (0 + -6)*1/3. Let b = 7 + q. Suppose b*h - 138 = 107. Is h composite?
True
Let w(j) = 601*j**2 + 7*j + 11. Is w(-3) composite?
False
Let c be 4904/(-3) - (-10)/(-30). Is (-4 + 2)/(6/c) composite?
True
Suppose 3*o + 4*p - 49 = 0, -2*o - 5*p = -4*p - 36. Let m(t) = t**3 - 15*t**2 + 12*t - 23. Is m(o) a composite number?
True
Let t = -580 - -1314. Suppose -2*z = -8 - t. Is z a prime number?
False
Let k be (-1)/(-2*(-3)/(-30)). Suppose 12 = l - k*l. Is l + (3 - (-10 - 0)) composite?
True
Suppose -4*o + 13 = -3. Suppose -o*z + 6 = s - z, 4*z - 8 = s. Suppose -f - 3 = s, 3*y = 4*f - f + 660. Is y composite?
True
Let v(z) = z**3 - 24*z**2 - 23*z - 11. Suppose j + 130 = 6*j. Is v(j) composite?
False
Is (-34570)/(-3)*(-18)/(-12) composite?
True
Let m = 5 + -22. Let w = 21 + m. Suppose 2*o - 332 = -w*q, 3*q + 5*o - 247 = 3*o. Is q a prime number?
False
Suppose 2*o + o = 60. Let v(m) = 7*m + 19. Let p be v(-4). Let d = p + o. Is d composite?
False
Let d(p) = 2*p**2 - 5*p + 9. Let y be d(4). Suppose 0 = 24*o - y*o - 1113. Is o composite?
True
Let t(z) = -509*z + 16. Let x be t(-23). Is x/57 - 1*(-2)/6 a prime number?
False
Let d(m) = 40*m - 4. Let v(w) = 39*w - 4. Let h(u) = -6*d(u) + 4*v(u). Let a be h(-8). Suppose -5*z - 85 + a = 0. Is z composite?
True
Suppose -2470 = -11*a + 5703. Is a prime?
True
Let j = -26 - -19. Is ((-2)/j + (-35)/(-49))*1361 a composite number?
False
Let a = -55 + 96. Let o(m) = m**2 + 2. Let b be o(-6). Let t = b + a. Is t prime?
True
Let r(w) = -1338*w + 24. Let f be r(-3). Suppose -12*g = -6*g - f. Is g a prime number?
True
Suppose 3*b - 246 = 6*b. Let k = 22 + b. Is k/12*(-11 - 0) prime?
False
Let t be (-5)/(-15) - 3/9. Suppose -5*k + 4 + 15 = -2*d, t = d + 4*k - 23. Suppose 2*m + 0*m = 4*o + 806, 3*m - 1224 = d*o. Is m prime?
False
Let c = -17544 - -25766. Is c a prime number?
False
Let t = 1413 - 76. Is t composite?
True
Let k(i) be the third derivative of -7*i**4/24 - 11*i**3/6 + 6*i**2 - 2*i. Suppose -t + v - 4 = -v, 2*v + 26 = -2*t. Is k(t) a prime number?
True
Let y(x) = x**3 - x. Let k be y(1). Suppose 5*v + 2*n - 705 = k, v - 3*v + 291 = -n. Is v prime?
False
Let y = 4138 + 25984. Is y composite?
True
Let h(k) = 213*k**2 + 7*k + 40. Is h(-6) a prime number?
False
Let m(y) = 303*y**2 + 7*y - 12. Let h be m(4). Suppose 0 = -o + q + 1217, -7*q + h = 4*o - 10*q. Is o composite?
False
Suppose -b + 4 = -1. Suppose 0 = b*k - 2*k - 261. Is k composite?
True
Suppose 5*c - 7 = -2*f, c + 1 = 5*f - 3*c. Is (1144/4)/(2*f) a prime number?
False
Let b(v) = -v**3 + 24*v**2 - 30*v + 43. Let q be b(23). Let i = 317 + -114. Let s = q + i. Is s a composite number?
True
Let t be 272/24*(-3)/(-2). Suppose 4*h - 5*u = -t, h - 24 = -h - 4*u. Suppose 10 = h*i - 5*v, 22 = 3*i - 4*v - 7. Is i a prime number?
False
Suppose -49*h - 15*h + 818752 = 0. Is h a composite number?
True
Let o(d) = -8*d**3 - 6*d**2 - 65*d + 22. Is o(-9) a composite number?
False
Suppose -144401 - 44216 = -11*u. Is u prime?
False
Suppose 0 = -3*w + 12. Suppose w*k = 2*l - 131 - 33, k = 4*l - 300. Let o = l + -41. Is o composite?
True
Let s(t) = -t**3 - t**2 - 2*t + 4660. Let u be s(0). Suppose -u = -5*k + k. Is k prime?
False
Suppose 2*r - 2*p - 2*p = 3078, 3*r - 4597 = -4*p. Suppose 14*j = 19*j - r. Is j a prime number?
True
Let s be 4/5*13545/42. Let x = s + -97. Is x prime?
False
Suppose -305*k = -300*k - 55265. Is k a composite number?
True
Is 33*(-1947)/(-15) + (-14)/35 a composite number?
False
Suppose -4*h = -2*n + 4, -h - n = 2*h + 8. Let r(t) = 88*t**2 - t + 1. Is r(h) a composite number?
True
Suppose -25*c + 395433 + 547492 = 0. Is c a composite number?
False
Suppose 4*y + 1780 = -272. Let c = 110 + -210. Let m = c - y. Is m a composite number?
True
Let z(c) = 2*c**3 - 4*c**2 + 3*c + 4. Let t be z(3). Suppose 27*h = t*h - 3548. Is h composite?
False
Let v(a) = -a**3 - 18*a**2 + 11*a - 39. Let n be v(-21). Let z = -560 + n. Is z a composite number?
True
Let k be (18/4)/(5/10). Let z = k + -2. Is z/(-35) + 1992/10 a composite number?
False
Let v(w) = -4 - 3*w + 14*w**2 - 2*w**2 + 2*w**2. Is v(5) prime?
True
Let i = 23023 + -15140. Is i a prime number?
True
Suppose -v + 3*k = -159, 4*v - 795 = -v - 5*k. Let m = v - -44. Is m composite?
True
Let c(j) be the first derivative of -j**4/4 + 13*j**3/3 + 15*j**2/2 - 18*j + 38. Is c(13) composite?
True
Let u be -1*1*(-11 - -4). Suppose -4*h - 381 = -u*h. Is h a composite number?
False
Let t(g) = 2*g**2 + 12*g + 30. Let d be t(-8). Let b = 123 + d. Is b a composite number?
True
Suppose -w + 3*k + 145757 = 7*k, 0 = 4*w - k - 583011. Is w a prime number?
True
Suppose 0 = -9*w + 17 + 1. Suppose w*q - 2*v + 3*v = 784, 5*q - 2*v = 1969. Is q a composite number?
True
Suppose -2*n + 2*z = -15124, -6*n = -8*n + 4*z + 15126. Is n composite?
False
Let b(i) = 436*i**2 + 67*i + 1. Is b(-4) prime?
True
Let m(y) = 17*y**2 + 2*y + 4. Let h be 1*2 - (10 - 14). Suppose h = -6*s + 8*s. Is m(s) a composite number?
False
Let m(w) = 7*w - 2*w**3 - 5*w + 1 - 2 - 4*w**2. Let b be m(-5). Let d = -42 + b. Is d composite?
False
Suppose 3*f - 472 = 17. Is f prime?
True
Let a = -34 - -2133. Is a a prime number?
True
Suppose b - 2 = 3. Suppose 3*p + 2*y - 386 - 3619 = 0, 4026 = 3*p - b*y. Is p composite?
True
Suppose -13 = -2*y - 3*s + 18, 5*y - 3*s = 67. Let n be (-12)/y*(-2 - 117). Let i = 315 - n. Is i a composite number?
True
Let a(i) = 2*i - 18. Let g be a(10). Suppose 0 = m - u - g, 0*u = 2*m - 4*u - 12. Is m/(-7) - 6831/(-77) a prime number?
True
Let p be (14/(-4))/(4/8). Let v(l) = l + 1. Let i(z) = 3*z + 14. Let o(u) = i(u) - 5*v(u). Is o(p) prime?
True
Let n(v) = 739*v + 7. Let c(q) = -1477*q - 13. Let i(h) = 4*c(h) + 9*n(h). Is i(2) a prime number?
False
Is 0 + (-353721)/(-15) - (-80)/(-200) composite?
False
Suppose -2*a + a + 3*v + 227 = 0, 0 = 5*a - 3*v - 1147. Let c be a/(-25) + 4/(-5). Let x = 3 - c. Is x prime?
True
Let p = 14286 + -8069. Is p prime?
True
Suppose 8*v = -3*v + 8107. Is v prime?
False
Let a be 1 + 0 + (-2 - -1). Suppose -3*f + p = 2*p - 4, a = 4*f + 4*p + 8. Suppose 140 = f*m - 241. Is m prime?
True
Let f be -2*15/(-3) - 2. Let k be 3/(-6)*f/(-4). Is (0 - (-54)/3) + k prime?
True
Let l(k) = 2*k**2 + 6*k + 2. Let n(v) = v**2 + 7*v + 2. Let s(o) = 2*o**2 + 11*o + 3. Let j be s(-5). Let r(a) = j*l(a) + 3*n(a). Is r(5) composite?
True
Suppose 57*u = 11091 + 276132. Is u prime?
True
Suppose -3*j + 2 = -2*j. Let t(q) = -3*q**2 - q**j - 7*q**3 + 3*q + 3 + 2*q**2 - q**2. Is t(-4) composite?
True
Suppose 2*g - 2507 = -3*l, -4*g + 921 = l + 102. Is l a composite number?
False
Let r(y) = -y**2 + 14*y - 21. Let i be r(12). Is 1/4 - ((-182244)/16)/i prime?
True
Let l(a) = a**2 - 7*a + 14. Let h be l(4). Is h/(-6) - 7368/(-18) prime?
True
Suppose -3*m = -2*q + 12442, -2*q + 12450 = -22*m + 21*m. Is q a prime number?
False
Suppose 3*n = 3*f - 4977, -f + 23*n = 21*n - 1657. Is f composite?
True
Let l(i) = -2*i - 24. Let c be l(-12). Suppose 4*g + 2*w + 403 = 7*g, c = -2*g + w + 268. Is g prime?
False
Is (2 + 4)*(-150502)/(-132) composite?
False
Let h = 82 - 52. Let a = h - 59. Let v = a + 103. Is v prime?
False
Suppose -16 = 4*g, q - 2170 - 379 = 3*g. Is q a composite number?
True
Suppose -l - 1824 = -7*l. Let g =