, 5273 = 2*v - 3*c. Is (-9)/15 + v/20 prime?
True
Let d = 6 + -4. Suppose -2*b - 3*b = -5*n + 5, d*b = -4*n + 4. Is (9/(-1))/(n/(-1)) composite?
True
Let f be (-1)/4 + 6/(-8). Let j be -3*(f/(-3) - 0). Let z = j - -4. Is z a composite number?
False
Suppose 4*l = 9*l + 2*o - 2632, 0 = -2*l + 3*o + 1049. Is l composite?
True
Let p be (-5)/(-2) + (-1)/2. Let l(u) = 2*u - 8. Let s(a) = 2*a - 7. Let h(t) = -6*l(t) + 7*s(t). Is h(p) a composite number?
False
Suppose 4*v = 5*v - 58. Let o = v + 4. Is o a composite number?
True
Let w(d) = -12*d - 4. Let u(i) = -i**3 - i**2 - 3*i - 3. Let g be u(-2). Let t be w(g). Let p = t - -147. Is p composite?
False
Let n(z) = z**3 - 10*z**2 + 4*z - 16. Is n(11) a composite number?
False
Let z = 763 + -432. Is z a composite number?
False
Suppose 0 = d - 2, -180 = -4*s - 4*d + 28. Let j be -2*(s/4)/(-5). Suppose j*i = -4*m + 863, 0*i = -3*m + 5*i + 656. Is m prime?
False
Suppose -4*i - 1151 = -5*i. Is i prime?
True
Let b(r) be the first derivative of -27*r**2/2 + 14*r - 5. Is b(-7) a prime number?
False
Suppose -3*y + c + 368 = 0, -2*c + 580 = 5*y + 3*c. Is y prime?
False
Let i(a) = 7*a**2 - 4*a + 2. Suppose -2 = -3*q + 5*r, -4*q + 4*r + r + 6 = 0. Suppose 0 = 9*b - q*b - 25. Is i(b) a composite number?
False
Suppose 4*c + c = 3115. Is c composite?
True
Suppose -112 = -t + 3*l + 402, 0 = 4*t - l - 2023. Is t a composite number?
True
Suppose -3*v + 4*f = -5580, -6*f = 4*v - 3*f - 7440. Suppose 0*y - 5*y + 5*m + v = 0, -1890 = -5*y - m. Is y composite?
True
Suppose 24252 = 19*n + 4207. Is n prime?
False
Suppose 0 = -3*a - 3*s - 63, -2*a - 47 = -0*s + 3*s. Let j = 8 + a. Is 894/(-4)*j/12 prime?
True
Is (10 - -456) + 2 + -1 composite?
False
Suppose -20 = -i + 6*i. Let l be (6/i)/((-2)/(-24)). Let c = l + 39. Is c prime?
False
Is (-256 - 1)/((-4)/4) composite?
False
Let q be (-2)/(-7) - (-64)/(-28). Let d = 4 + q. Suppose -v + d + 17 = 0. Is v composite?
False
Let o(i) = 233*i - 89. Is o(12) a prime number?
True
Let z = -18 - -34. Suppose 0 = 5*k + 12 + 18. Let s = k + z. Is s composite?
True
Let a be (4/6)/(4/36). Suppose -a*i + 4 = -4*i. Is ((-265)/15)/(i/(-6)) composite?
False
Let i(c) = -c**3 + 14*c**2 - 12*c - 19. Let j be i(13). Let m(v) = 13*v**2 + 1. Is m(j) a composite number?
True
Suppose 2*o = -2*a - 290, 6*a + 165 = -o + a. Let k be ((-27)/15 + 1)*o. Let f = k + -59. Is f a composite number?
False
Suppose 588 + 255 = p. Let k = p + -536. Is k a prime number?
True
Suppose -6*j - 2*j + 28216 = 0. Is j prime?
True
Let a = 13 - 12. Let c(y) = 203*y**2 - y + 1. Is c(a) prime?
False
Let d = 3 + -1. Suppose -f = -a + 25 + 20, -4*f = d*a - 96. Is a composite?
True
Let b(t) = -t**3 - t**2 - 12*t + 1. Is b(-5) a composite number?
True
Suppose 5*p - 4*q = 15, -2*q + 9 = -2*p + 5*p. Suppose 2*g = 3*m - 32, -5*m + p*g + 54 = 2. Suppose 2*a + m = -0, 2*t - 22 = -a. Is t prime?
True
Let k = -115 - -324. Suppose -k - 172 = -3*m. Is m composite?
False
Suppose -2*b - 40 = -4*v - 6, v + 4*b + 14 = 0. Let x be (2/3)/(4/v). Is x*(-158 + -1)/(-3) composite?
False
Let g = 3 + -5. Let j(o) = -5*o + 1. Is j(g) prime?
True
Let j(x) = x**3 + 2*x**2 + 2*x + 7. Is j(6) a prime number?
True
Is 5/(-15)*1*-879 composite?
False
Suppose 38649 = 18*g - 5*g. Is g composite?
True
Suppose n = 5*n + 4*d - 1212, 0 = -2*n - 5*d + 594. Is n composite?
False
Suppose -5119 - 4859 = -6*n. Is n prime?
True
Let l = 8 - 4. Suppose 4*k = -3*a - 20, 4*a - 3*k = -a - 43. Is (-53)/2*a/l a composite number?
False
Suppose -r - 4*r = 0. Let u be (-39*(2 - 3))/1. Suppose -5*h - 3*x + r + u = 0, 3*x - 3 = h. Is h a composite number?
True
Suppose -5*a + z = -33, -4*a - 4*z = -6*z - 30. Suppose a*d = -75 + 549. Is d a composite number?
False
Let n(v) = 1. Let l(p) = 13*p + 1. Let y(j) = l(j) - 2*n(j). Is y(2) a prime number?
False
Let u = -54 - -183. Suppose 5*q - v - 2*v - 658 = 0, q - u = -2*v. Is q a prime number?
True
Let g(n) = -5*n - 1. Let x(z) = -11*z - 2. Let r(f) = -13*g(f) + 6*x(f). Let t be r(-3). Suppose t*s + h = 40, -2*s + 42 = h - 6*h. Is s a composite number?
False
Is (16 - -567) + 1/(2/8) a prime number?
True
Suppose 4*x - 4*c - 100 = 0, 8*x + 2*c = 3*x + 97. Is 337/3 - (-14)/x a composite number?
False
Suppose -8390 = -2*x - 8*x. Is x a composite number?
False
Let q = -4 + 3. Let l = -3 - -6. Is 1 - (-50 + q + l) a prime number?
False
Is (-1851)/(-2) - 1 - (-6)/(-4) a composite number?
True
Let m(t) be the third derivative of t**5/60 - t**4/4 - 2*t**3/3 - t**2. Is m(-7) prime?
False
Let g be 1*((-831)/(-1) - 0). Let l = g + -450. Is l a prime number?
False
Let q = 130 + -413. Let y = 4 - q. Is y a composite number?
True
Suppose -37 = 5*p - 12. Let b = -14 - p. Is (6/b)/((-2)/21) a prime number?
True
Let r(g) be the third derivative of -5*g**4/6 + g**3/3 + 4*g**2. Is r(-4) a composite number?
True
Let k = 176 - 492. Is ((-5)/10)/(2/k) composite?
False
Let r(t) be the first derivative of -38*t**2 + t - 3. Let s be r(1). Let h = -54 - s. Is h a prime number?
False
Let f(j) = 65*j - 6. Let w be (24/(-9) + 3)*39. Is f(w) prime?
True
Let m(j) = 34*j + 2. Let r(w) = w. Let i(a) = -m(a) + 5*r(a). Is i(-3) a composite number?
True
Is 6/18 + 5766/9 a prime number?
True
Suppose 4*x - 319 = 13. Is x prime?
True
Let s(b) = 2*b - 1. Let a(m) = -m + 1. Let w(u) = -4*a(u) - 5*s(u). Let y be (-19)/3 + 2/6. Is w(y) composite?
False
Let h = 24 + 35. Suppose -5*k + 199 = h. Let v = k + 9. Is v a composite number?
False
Let g be ((-1 - 1) + 2)/(-1). Suppose -2*p - 2*o - 2*o - 12 = 0, g = 2*p - 3*o + 12. Let w(q) = q**2 + q + 7. Is w(p) a prime number?
True
Let n = -875 + 2188. Is n a composite number?
True
Let a(z) = 40*z - 1. Is a(18) composite?
False
Suppose 3*k - 7 = 4*g, 3*k + 5*g = 6*k - 5. Suppose -194 = -k*v - 944. Is v/9*3/(-2) a composite number?
True
Is (-2 + 2 + -21)*-1 composite?
True
Let x be (-70)/2 - (-2 + 1). Let d = 17 - x. Is d a prime number?
False
Suppose a - 2 = -0. Suppose a*q = 74 + 44. Is q prime?
True
Suppose -5*r = 31 - 216. Is r composite?
False
Let w be (-2)/4 - 2/(-4). Suppose w = -l - 0 + 2. Suppose -3*c - 2*q - l + 109 = 0, -20 = -5*q. Is c a prime number?
False
Is (15/(-10))/(6/(-56)) composite?
True
Let t be (-17)/(-4) - 3/12. Suppose t*x = 160 + 652. Is x a prime number?
False
Let n be 57 - -1*-1*1. Let o be 2/(-4)*6/(0 - -3). Let c = o + n. Is c a prime number?
False
Let h(u) = 3*u**3 - 6*u**2 - 11*u - 3. Is h(7) a prime number?
False
Let b(i) = -i**3 + 5*i**2 + 6*i - 3. Let m be b(6). Let n(v) = 5*v**2 + 3*v + v**3 + 2 - 4*v**2 + 4*v**2. Is n(m) a composite number?
False
Suppose x = -5*q - 116, 3*q = 3*x + x + 533. Let r = x + 198. Is r prime?
True
Suppose 21*n = 26*n - 4535. Is n composite?
False
Suppose l - 148 - 11 = 0. Is l a prime number?
False
Let r(f) = -f**2 + 10*f - 5. Let w(h) = 4*h**2 - 40*h + 20. Let b(k) = 9*r(k) + 2*w(k). Let z be b(6). Suppose -4*x = -3*x - z. Is x prime?
True
Suppose 5*s - 4*w = 2, -2*s = 2*s - w - 6. Is (s/4)/((-5)/(-130)) prime?
True
Let w be 13*(-50)/4*-6. Suppose 0 = -3*h - 4*o + w, -4*h + o + o + 1278 = 0. Suppose c = l + 112, 3*c + l + l = h. Is c a composite number?
False
Let c = -1 - -7. Suppose -2*j + j = c. Is 4/6 + (-38)/j prime?
True
Let k = 1 + 1. Suppose -304 + 50 = -k*j. Is j composite?
False
Suppose 330 = -w + 4*w. Suppose -14*m = -12*m - w. Is m prime?
False
Suppose -a + 176 = a. Let q = 147 - a. Is q prime?
True
Suppose -5*n - 167 = -1462. Is n a prime number?
False
Suppose -4*z - z + 20 = 0, 2*d - 390 = 3*z. Suppose -c + 4*c - d = 0. Is c prime?
True
Let p be (1772/(-2))/(12 - 10). Let v = p - -307. Let d = v - -231. Is d composite?
True
Let b(s) = s**3 - 4*s**2 + 5. Let m be b(4). Suppose -w + 1 = -p, 0 = -m*p + 6*w - 2*w - 8. Is p/(-2)*(14 - 3) composite?
True
Let v(k) = 131*k - 4. Is v(1) a prime number?
True
Let q = -48 + 92. Let t(h) = h - 4. Let a be t(4). Suppose a = v - q + 9. Is v prime?
False
Let j = 68 - 31. Let n = j - 22. Is n a composite number?
True
Let w = 422 + -231. Is w a prime number?
True
Let r(n) = 135*n + 2. Let s = -1 - -3. Let i be r(s). Suppose -3*u - 67 = -p - i, -136 = -2*u + p. Is u a prime number?
False
Let j(g) = g + 12. Let a be j(-9). Suppose -11 = -5*x + 2*b, -b + 7 = a*x - 2*b. Suppose t + x = 22. Is t prime?
True
Let s = 0 - -6. Let k(f) = -