 (-3)/6 composite?
False
Suppose 5*c = 4853 + 1252. Let q = c + -728. Is q composite?
True
Suppose -2*f + 7*f + 25 = 0, 0 = -3*x - f + 19. Let r = x - 5. Suppose -2*s + 0*c + 128 = -2*c, -r*s - 4*c + 157 = 0. Is s composite?
False
Suppose 0 = 5*o - x - 945390, -5*o - 10*x + 5*x + 945420 = 0. Is o a composite number?
True
Suppose 4 - 22 = -9*g. Suppose 3*q + 4*b - 7*b = 2178, 3*b = -g*q + 1427. Is q a prime number?
False
Let b be -6*(514/6 - 0). Let f = -95 - b. Is f a composite number?
False
Suppose 4*j = 5*x - 862, 0*x - 337 = -2*x - j. Suppose 7*q - 2063 = x. Is q composite?
True
Is 1*(12839 - (0 - 8)) a prime number?
False
Let f = 25 + -21. Suppose 4*j + 62 = -3*i + 4*i, 0 = -f*j + 12. Is i a prime number?
False
Suppose -3 = 2*a - 2*z + 7, 5*a + 7 = -4*z. Is 2/a*(-6)/8*314 a composite number?
False
Suppose 4*o - 3696 = -2*v + 4454, -5*v = -o + 2065. Suppose 4*t - o = 916. Is t composite?
False
Let y(b) = 8 + 7*b - 5 + 4*b**2 + 0. Let z be y(5). Suppose 4*q + z = 2*m, 3*m + q + 70 = 4*m. Is m composite?
False
Let n = 0 + 27. Suppose -4*l = -l + n. Is l/72 + (-1746)/(-16) a composite number?
False
Suppose 2*m - 208396 = -62490. Is m a composite number?
False
Suppose 4*x - 17714 = 5*g + 12208, 6 = 3*g. Is x composite?
True
Let b(q) = -3*q + 80. Is b(9) prime?
True
Suppose 7*x - 417 = -3*s + 10*x, 0 = x - 3. Suppose -c + 4*y - 5 = 0, 2*c + 5*y = -0*y - 10. Is s*c/(30/(-21)) prime?
False
Suppose w - 3*w + 7 = 3*a, 5*w + 5*a = 15. Suppose 0*v - 3*v = -2*o - 1065, 0 = -w*v + 4*o + 718. Is v prime?
True
Let d(g) = 19 - g - 6*g + 12*g - 3*g. Let o = 9 + 0. Is d(o) a prime number?
True
Let f be ((-16)/(-2))/(-3*(-4)/(-12)). Is 16/f*(-1727)/2 a prime number?
False
Let s(c) = 9*c**2 - 19*c + 15. Let o(h) = 6 + 4*h**2 - 10*h + 6 - 4. Let x(q) = -7*o(q) + 3*s(q). Is x(10) composite?
False
Suppose 0 = -3*a + 2*v + 13909, 3*a + 2*v - 6*v - 13907 = 0. Is a composite?
False
Let i(g) = 731*g**3 + 2*g**2 - 17. Is i(2) a composite number?
False
Let s(u) = -11*u + 11. Let k = 63 + -69. Is s(k) composite?
True
Let t(x) be the second derivative of -5*x**3/3 + x**2/2 + 3*x. Let n be t(2). Let p = n - -33. Is p a prime number?
False
Let m(t) = 881*t - 324. Is m(41) composite?
False
Let b(w) = 153*w - 13. Let q be b(11). Let t be (-2)/(-8) - q/(-8). Suppose r - 50 = t. Is r a composite number?
True
Suppose -t = 2*t + 690. Let m = 3 - t. Is m prime?
True
Is 36 + 0 + -31 + 32 a composite number?
False
Let t(a) = 2 + 15 + 2 - 5*a + 3*a. Is t(-6) composite?
False
Let r(m) = 13*m**2 + 15*m + 221. Is r(36) a composite number?
False
Let m = 10023 - -566. Is m a composite number?
False
Suppose 12586 = 7*r - 13587. Is r composite?
False
Suppose 10*u + 4*t - 5464 = 6*u, -4133 = -3*u + 4*t. Is u prime?
False
Is (-1793982)/(-14) - (4 + 360/(-105)) prime?
False
Suppose -5*x + 4*y = -28, -4*y + 3*y + 14 = 4*x. Suppose 6 = -x*w + 14. Suppose 0*h + h + 4*g - 277 = 0, w*h - 509 = g. Is h a prime number?
True
Suppose -3*n = 5*x - 221764, -3*x + 177503 - 44459 = -3*n. Is x a prime number?
True
Suppose -193*v = -152*v - 588309. Is v prime?
False
Suppose 3*y - 100 = -2*y. Suppose -25 + 789 = -4*o. Let n = y - o. Is n a composite number?
False
Let h(n) = 7*n - 19 - 4 - n. Is h(10) composite?
False
Let w(h) = -3*h**3 + 3*h**2 - 2*h + 3. Suppose 18 + 2 = -5*t. Is w(t) a prime number?
True
Let q = 755 + -390. Is q a composite number?
True
Let t = -18 + 15. Let w be 2/2 - (-342)/t. Let d = w + 232. Is d a composite number?
True
Let t(c) = c + 12. Let y be t(-6). Suppose -y*k + 3*k + 15 = 0. Suppose 0 = -4*h + h + 5*o + 203, 0 = 4*h + k*o - 294. Is h a prime number?
True
Let o(l) = 108*l - 1. Let c be o(5). Suppose 0 = -2*i + c - 23. Let m = -155 + i. Is m a prime number?
True
Let l(r) = 4*r - 7. Let k be l(3). Suppose -k*j = -5*x + 435, -8*j - 257 = -3*x - 3*j. Is x composite?
False
Suppose 20974 = 5*a - 2*m, -3*a + 8*a - 20966 = -2*m. Let p be a/27 + (-4)/(-6). Let o = p + 1603. Is o a composite number?
False
Suppose -5*l - 30 = 5*o, 4*o - 2*o + 6 = 0. Is (-6)/(-1 - l) + 2 + 22 a composite number?
True
Suppose 3*t + 84 + 69 = 0. Let m = t - -17. Let h = m - -121. Is h a composite number?
True
Let m(v) be the first derivative of 11*v**6/360 + v**5/15 + 5*v**4/8 - 8*v**3/3 + 6. Let f(j) be the third derivative of m(j). Is f(-8) composite?
True
Suppose 0 = -30*v + 33*v - 27. Suppose -4*g = 3*r - 159, 3*g - 122 = 4*r - v. Is g prime?
False
Let u be 5*((-27)/(-15) + 0). Suppose k - u = -2*h, 4*k - 43 = -h - 0*h. Suppose -k*i + 745 = -6*i. Is i composite?
False
Let r(l) = 97*l - 44. Let a(y) = y + 15. Let t be a(0). Is r(t) prime?
False
Let s = -1605 - -3142. Is s composite?
True
Suppose 4 = 4*r - j, 3*r + 2*j + 0*j = 14. Is ((-3117)/6)/(r/(-4)) a composite number?
False
Let w(z) be the third derivative of 479*z**4/24 + 10*z**3/3 - 33*z**2. Is w(3) prime?
False
Let v = 967 - -726. Is v a composite number?
False
Let z(u) = u**3 - u + 2. Let g be z(1). Suppose 0*h = g*h - 2*t + 12, -4*h - 4*t + 16 = 0. Is 226/(-4 - -2)*h a prime number?
True
Let y(u) be the second derivative of 157*u**3/2 + 11*u**2/2 - 27*u. Is y(1) a prime number?
False
Suppose 0 = 5*u + 2*t - 31, -u - 2*t = 2*u - 17. Suppose -3*p - 123 = 3*i, -3*p - 2*i - 48 - 76 = 0. Is (-3)/u + (-5856)/p composite?
False
Let w be -1 + 228/(-9)*-9. Suppose -3*k - 37 = -p, 5*p + k = 2*k + w. Let s = 77 - p. Is s a prime number?
True
Suppose 0 = -4*i + i + 408. Let c = i - 85. Is c composite?
True
Suppose 3*p - 2 = 13. Let l(x) = p + 34*x + 0 - 6. Is l(12) a composite number?
True
Suppose -5*k + 1206 = -k - 2*w, 2*k = -5*w + 585. Let x be -2 - 1/((-4)/k). Suppose 0 = 2*c - 5*j - x, 2*j = -0*c + 3*c - 137. Is c prime?
False
Let x be -13*15/25*-5. Suppose -x*d = -34*d - 1165. Is d a prime number?
True
Suppose 0 = h + 2 - 3. Is (4353 - -18) + 2/h prime?
True
Let w(g) = -g**2 - 7*g - 10. Let x be w(-6). Is (-517)/(-2) + x/(-8) a prime number?
False
Suppose 5104 = x + 6*h - 11*h, -2*x - 3*h = -10169. Is x a prime number?
False
Let o be 2/10 + (-2)/(14 - 4). Suppose 3*m - 2*m = 1164. Suppose 5*s + 4*y - 1491 = -o*s, -4*s = -4*y - m. Is s a prime number?
False
Let w = 139 - -208. Is w prime?
True
Let p(n) = -n**3 + 9*n**2 - 3*n - 11. Suppose 3*j - 17 = 4*h + 1, 0 = j + 2*h - 6. Is p(j) composite?
False
Let l(h) = 5. Let q(m) = m**2 - m + 1. Let k(u) = -l(u) + q(u). Let g be k(-2). Suppose g*r - 5132 = -2*r. Is r prime?
True
Let h be 5/3 + 1/3. Let f(w) = w**2 + 1 - 11*w - w**2 + w**h + 73*w**3 + 10*w. Is f(1) composite?
True
Suppose 0 = -18*p - 24*p + 762006. Is p prime?
True
Suppose -3405 + 770 = -3*p + y, 0 = -5*p + 5*y + 4405. Is p a prime number?
True
Suppose -558 = 18*t - 15*t. Let l = -127 - t. Is l composite?
False
Suppose -7*g - g + 94904 = 0. Is g a composite number?
False
Let d(b) = b**3 - 6*b**2 + 2*b - 2. Let a be d(6). Suppose -5*w = -a*w + 95. Is w composite?
False
Let w be 1*((-2)/(-8) - 535/(-20)). Is (-1)/(6/w + (-41946)/188514) a composite number?
False
Suppose 3*n + 8*n - 2321 = 0. Is n a prime number?
True
Is 4 + (13516 - (-16 + 7)) prime?
False
Let h = 24114 + -2299. Is h prime?
False
Let i = 4482 + 8343. Suppose 4*m - 835 - i = 0. Is m composite?
True
Suppose n - 1178 = 4*j + 2*n, 3*n = 6. Let i be j - (-12 + 0)/(-4). Let x = i - -593. Is x prime?
False
Let j(q) = q - 5. Let v be j(7). Let c be (-32)/(4 - 0) - v. Is (1045/c - 4)*-2 composite?
True
Suppose 1 + 26 = 3*v. Suppose 0 = -6*c + v*c - 255. Is c composite?
True
Suppose 0 = 100*w - 96*w - 40828. Is w composite?
True
Let p = 2068 + -3036. Let c = -465 - p. Is c prime?
True
Suppose 4*n - 233 = -m, 0 = -4*m + 9*n - 6*n + 875. Is m a prime number?
False
Suppose -4*l = -5*t + 2, 4*l + 0 = -3*t + 14. Suppose -5*o = -l*o. Suppose 5*g - 230 = -o*g. Is g a composite number?
True
Suppose -10*y = 5*y - 33045. Is y a prime number?
True
Let t = -14657 + 21042. Is t a composite number?
True
Let h = 19 + 6. Suppose t + 4 = 0, 5*t - 2 = 3*w - h. Is w/(-1) - (-4 + -34) a composite number?
False
Suppose -l = 2*l - 6. Let m be 13 - 16 - (-1 - 536). Suppose l*i - m = -4*i. Is i a composite number?
False
Suppose 2*x - 3*r - 12435 - 620 = 0, 3*x + 5*r = 19554. Is x prime?
False
Let n(f) = 42*f + 5. Let r(x) = -x - 1. Let a(i) = n(i) + 4*r(i). Is a(5) composite?
False
Suppose -2*n + 2*l + 64 = 