6 - -10. Suppose -4*v - j + 16 = 0. Suppose v*m = -49 + 187. Is m composite?
True
Let y(a) = -4*a**3 + 8*a**2 + 13*a + 15. Is y(-10) composite?
True
Let g = -3 - -39. Let q be 187028/g + 8/(-36). Suppose 6*t - q = t. Is t a prime number?
True
Let n(f) = f + 11. Let q be n(-11). Suppose -i + q*i = 2*a - 2, -3*i = -3*a - 15. Suppose -i*r - 2 = j - 8, 2*j + 5*r = 15. Is j a composite number?
True
Let k = 5454 - 913. Is k a composite number?
True
Let a = -17 - -44. Suppose 0 = 24*m - a*m + 2757. Is m a composite number?
False
Suppose -q - 5*d = -1457, 1606 + 5659 = 5*q + 5*d. Let g = 199 + q. Is g a composite number?
True
Let n(b) be the first derivative of b**5/60 + 3*b**4/8 - b**3/2 + 3*b**2/2 - 5. Let m(r) be the second derivative of n(r). Is m(7) a composite number?
False
Suppose 0 = 5*t - 17152 - 3983. Is t composite?
True
Suppose 4*k = 17*q - 19*q + 2126, -4*k + 4272 = 4*q. Is q prime?
False
Let p(v) = v**3 - 4*v**2 + 2*v. Let l be p(3). Let c be -1 + (l - (-2)/1). Is -61*(3 - (12 + c)) prime?
False
Suppose 0 = 3*o + 4*p - 2129, -4*o - 844 = 2*p - 3666. Let n be (4 + (-10)/4)*2. Suppose -3*t + 2*a + o = 0, t + 0*t + n*a = 249. Is t a composite number?
True
Let z(j) = 9*j - 15. Let s be z(10). Let r = s - -428. Is r a composite number?
False
Suppose -2*q + 8 - 2 = 0. Let a(g) = 0*g**3 - 2*g**2 - g - 4 + 6*g**2 - 4*g - 2*g**q. Is a(-5) a prime number?
False
Let u(f) be the second derivative of -263*f**3/2 - f**2 - 7*f. Is u(-1) composite?
False
Is -4314*(-7 + (-13)/(-2)) a prime number?
False
Suppose 3*n = -2*n + 250. Suppose -n - 207 = -r. Suppose -2*f = 3*g - 371, 3*f - 823 + r = 5*g. Is f a composite number?
True
Let i(g) = 24*g**2 - 26*g - 111. Is i(-7) prime?
False
Is (-13)/(39/(-4230)) - (-1 - 0) prime?
False
Let u be 4 + -5 + -2 - -68. Suppose 4*v + u = -v. Let y(g) = -41*g + 18. Is y(v) composite?
True
Let c be ((-888)/14)/(11/(-77)). Let w = -98 + c. Is w composite?
True
Suppose -r + 5 = -2*v + v, -3*r - 2*v = 0. Suppose -r*j = -8*j + 5322. Is j a composite number?
False
Let n(z) = z**2 - 3*z + 12. Let r be n(8). Is -1 + 4 - r*15/(-6) a composite number?
True
Suppose -3*s - s + 137 = -k, -125 = -4*s + 5*k. Let y = s + -34. Suppose -5*h + 91 = -2*m, 0 = 5*m - 11 + y. Is h a composite number?
False
Let c be 2/(-11) + (-271352)/(-22). Suppose c = 4*r + 3722. Is r prime?
True
Let g = -4960 - -7127. Is g composite?
True
Suppose 4*z - 2*z = -3*v + 3, -5 = -3*z - 4*v. Suppose 3*u = -z*q + 213, 118 = 2*q - 0*u - 4*u. Is q composite?
False
Suppose 4*z - 13*z + 18666 = 0. Suppose 4*i = -f + 1049, 0*f = -2*f + 4*i + z. Is f a composite number?
True
Is -3 + 8078 + 112/14 a composite number?
True
Let o = 11 + -12. Is (-1 - -2150)*o/(-1) a composite number?
True
Let c(j) be the first derivative of 119*j**3/6 - 2*j + 3. Let v(m) be the first derivative of c(m). Is v(1) a prime number?
False
Suppose 7 = -8*b + 63. Let c(j) = 17*j**2 + 5*j + 1. Is c(b) prime?
False
Let n(z) = z**3 - 11*z**2 + 4. Suppose -5*c + 5*x + 0*x = -60, c - 13 = 2*x. Let r be n(c). Suppose r*s + 4 = 0, 3*p - 945 + 173 = -5*s. Is p prime?
False
Let h(z) = 18*z**3 - 9*z**2 + 12*z + 10. Is h(5) composite?
True
Suppose 0*i - 4*i - 16 = -5*h, 2*h - 8 = 0. Is 1/((-27627)/(-6906) - i - 3) composite?
True
Let r be -2*(-3)/(-12) + 20/8. Suppose 7 = -r*p + 3, 0 = -4*g + 3*p + 346. Is g composite?
True
Let c(q) = 143*q + 120. Is c(5) prime?
False
Let i(n) = 23*n**2 + 3*n + 10. Let v be i(5). Let m be (6/9)/(4/v). Suppose -5*z = 4*k - 100 - 73, 2*z = 2*k - m. Is k composite?
False
Let m(s) = 4*s**2 + 60*s - 47. Is m(-19) composite?
False
Suppose 2*h = -t + 14, 2*t + 13*h = 8*h + 33. Suppose t*k + 2*k = 3786. Is k prime?
True
Let s be (-4)/(-6) - 9170/(-42). Suppose 5*m + s = 29. Is -3 + (0 + m)*-4 a composite number?
False
Suppose 0 = -453*v + 467*v - 28. Let c(a) = -2*a - 1. Let s be c(-2). Suppose s*b - v*b = 205. Is b a composite number?
True
Let r(s) = -2*s - 7. Let q be r(-6). Is 455 + (0 - 20/q) a composite number?
True
Let w be 0/2 + 25 + -23. Suppose 3*a + 988 = -w*d + 4246, 2*d = 5*a + 3226. Is d composite?
True
Is -5 - ((-4)/5)/((-36)/(-21510)) prime?
False
Let g(k) = -k**2 + 7*k + 4. Let f = -15 - -22. Let c be g(f). Suppose c*p + 13 = 289. Is p a composite number?
True
Suppose 0 = 7*j - 34 - 1. Suppose -2*x + 5*v = -818, j*x - 3*v - 2007 = -0*v. Suppose 4*s = s + x. Is s a composite number?
True
Suppose 2*y - 29530 = -0*y. Is y prime?
False
Let q be (-16)/72 + (-5353)/9. Let n = q + 858. Is n a prime number?
True
Let v(t) = 4*t**3 - 8*t**2 - 4*t + 4. Let y be v(6). Suppose 5*u - y = -4*w, 8*u - 536 = 3*u + w. Suppose 0 = p - u - 53. Is p composite?
True
Let b(l) = -207*l**3 + 6*l**2 + 14*l + 21. Is b(-4) a prime number?
True
Suppose 20*g = 41*g - 562149. Is g composite?
True
Is 7/7 - (-6108 + 0/1) composite?
True
Suppose 5*v = 4*f - 6133, -4*f - 3*v = -8*f + 6139. Is f a composite number?
True
Suppose -4*g - 5*w + 46775 = -61372, 4*g - 108157 = -3*w. Is g prime?
True
Is (2/10)/1 - (-2904)/55 composite?
False
Let h be 7/(14/(-8))*1. Let d = h + 6. Suppose -d*u + 86 = -24. Is u prime?
False
Is ((4 + -8)/4 - -381) + -3 composite?
True
Suppose 88*s = 84*s + 20. Suppose p + 1617 = 2*g + 258, 4*g - 2711 = -s*p. Is g composite?
True
Suppose 6*k + 10 = y + 3*k, -2*k = 2*y - 12. Suppose -2*q - 1 + y = 0. Suppose 2*g - 446 = q*r, 0 = -r + 3*r + 8. Is g a prime number?
False
Let x = -185 + -313. Let u be (3 + 1)*x/(-4). Suppose 273 = 3*q - u. Is q a prime number?
True
Suppose -23 = 5*r + 12. Let p be (-866)/r - (-18)/63. Let l = p + -57. Is l prime?
True
Suppose 2*l - 6*l + 10680 = 0. Let h = l - 1627. Is h composite?
True
Let u(a) = 43*a**2 - 4*a - 3. Suppose -4*m + 4 = -6*m. Let l be u(m). Suppose 0 = 4*i - i - l. Is i a composite number?
False
Suppose -15*z + 7163 = -6172. Is z a composite number?
True
Let h be 5197 + 4 + (1 - 3). Is h/7 + (0 - 6/(-21)) a prime number?
True
Let c be (-1)/3 - 496/24. Let f = c + 23. Suppose 4*u - 60 = b, u - f*b = b + 15. Is u prime?
False
Suppose 18*w + 100206 = 672840. Is w a prime number?
False
Is (28412/(-10))/(3/5 - 1) prime?
True
Let w(p) be the second derivative of 7*p**6/360 + 7*p**5/120 + p**4/24 - p**3/6 + 6*p. Let j(b) be the second derivative of w(b). Is j(-9) prime?
False
Suppose 15*r - 18589 = 64046. Is r prime?
False
Let s = -36 - -70. Let a(f) = s + 2*f + 105 + 48 + 0*f. Is a(0) a composite number?
True
Suppose 2*v - 18859 - 39415 = 0. Is v a prime number?
True
Let m = 61471 + -42720. Is m prime?
False
Let y = -6460 - -14493. Is y a composite number?
True
Let a(t) = 9967*t**2 - 18*t + 18. Is a(1) prime?
True
Suppose -4 = -l - 3. Let o be l + (1164/4)/3. Suppose -4*a + o = -2*a. Is a a composite number?
True
Let o = -3 - -546. Is o a composite number?
True
Suppose 3*y + a + 97 + 87 = 0, 0 = -2*y + 3*a - 119. Let n = 116 + y. Is n composite?
True
Suppose 2*n + c = 1545, 0 = 6*n - n - 3*c - 3879. Suppose 0 = -3*p - 3*q + n, -4*p + q + 367 = -670. Is p a prime number?
False
Let k = 18440 + -5059. Is k composite?
False
Suppose 0 = 3*l + v + 5 + 21, -5*l + v = 38. Let s be 0 + ((-8)/(-32) - 86/(-8)). Is s + l - (-256 + 0) a prime number?
False
Is 57618/16 + (-10)/80*1 prime?
False
Is ((-4875839)/717)/(-1 + (-4)/(-6)) a composite number?
True
Suppose 0 = -l + 7*l - 2994. Is (l + (-1)/1)/2 a prime number?
False
Suppose 0 = -0*t - 3*t - 498. Let i(w) = 91*w + 4. Let v be i(5). Let b = t + v. Is b a prime number?
True
Suppose -72*x - 3*m = -75*x + 54630, -3*x + m + 54632 = 0. Is x a prime number?
True
Suppose 12*z - 88095 = -9*z. Is z a composite number?
True
Suppose -12*w - 174008 = -20*w. Is w composite?
False
Suppose 518*w - 58471 = 511*w. Is w prime?
True
Let z be (-1 + 2)*6*26/6. Is (-13)/z - (-3486)/4 composite?
True
Let k(u) = u**3 - 2*u**2 - 6*u - 9. Let c be k(6). Suppose 0 = -r + 206 + c. Is r prime?
False
Suppose -40 = -3*m - 2*m. Let l = m - 0. Suppose -2*k + 592 = 7*q - 2*q, l = 4*q. Is k prime?
False
Is (1 + 22515/20)*16/4 prime?
True
Suppose -4 = -4*v - 28. Let a be (v/4 - -4)*886. Suppose -17*z = -12*z - a. Is z prime?
True
Let g(z) = -2*z - 3. Let x be g(-3). Suppose 4*y = -4*s + 1416, -5*y + x*s + 608 = -1202. Is y composite?
False
Let n = 158 + -44. Let a = -4 + n. Let l = -43 + a. Is l a composite number?
False
Suppose 5*d