t i = 628 + -321. Is i composite?
False
Suppose 0*h = -4*h + 16. Let q = -21 - h. Is (-6)/(-10) - 160/q a prime number?
True
Suppose -2*m - 1968 = -4*y, -4*m - 1964 = 6*y - 10*y. Is y a prime number?
False
Suppose -3*t - 13 = 4*p, t = 3*p + p + 1. Let c be 4 + -3 - 4*p. Let f = c + 18. Is f a composite number?
False
Let l = -8 - -11. Let n(m) = -8*m**2 - 2*m + 2. Let i be n(l). Is i/(-6)*(-3)/(-2) a composite number?
False
Let m = -16 - -24. Is (-3130)/(-14) - m/14 a composite number?
False
Let n(y) = -y**2 + 2*y + 2. Let z be n(5). Is (-2)/z - (-3365)/13 a prime number?
False
Suppose 0 = 5*r - 133 - 722. Let z = r - 101. Let m = z + -35. Is m a prime number?
False
Let r(c) = -c**3 + 5*c**2 - 2*c - 5. Suppose 10 = -7*s + 2*s. Let l(a) = a**3 - 6*a**2 + 3*a + 6. Let y(i) = s*l(i) - 3*r(i). Is y(5) a prime number?
True
Let v = 9 - 4. Suppose 0 = 3*g + 4*o - v*o - 4, g + 5*o = -4. Let i(w) = 66*w**3 + 2*w**2 - 2*w + 1. Is i(g) a prime number?
True
Let x = 10 + -6. Let d be 200/2 - (3 - x). Suppose 2*m - d = 29. Is m composite?
True
Let q(n) = 5*n**2 - 1. Let r be q(2). Suppose -5*x + 6 = -r. Is (-1*1)/(x/(-385)) a prime number?
False
Suppose 3*m - 4*m + 56 = 0. Let g = m + -17. Is g a prime number?
False
Let y = 4 + -3. Suppose 5*d + 149 = 3*g, -2*g + d + 96 = -y. Let r = -17 + g. Is r a prime number?
True
Let p = -269 + 441. Suppose 4*x = p + 12. Is x composite?
True
Let r(p) = p**2 + 7*p + 2. Let q be r(-7). Suppose -2*s + 2*j + 8 = 0, q*j + 12 = s - j. Suppose -2*f + 18 + 96 = s. Is f prime?
False
Let m(z) be the second derivative of z**5/30 - z**4/4 - 5*z**3/6 - 2*z**2 + 3*z. Let x(g) be the first derivative of m(g). Is x(-4) prime?
False
Suppose -5*i - 15 = 0, 4*d + 2*i - 114 = 152. Suppose -2*w + d = -3*u - 108, 2*u - 5*w = -110. Let k = -41 - u. Is k a composite number?
False
Let o(c) = -226*c - 23. Is o(-11) a prime number?
False
Let w = 166 - -4. Suppose -2*p = -3*x + x - w, 3*p - 5*x - 259 = 0. Is p prime?
True
Suppose b = 4*k + 6*b - 270, 3*b = 2*k - 124. Is k a prime number?
False
Let j(i) = -i + 8. Let v be j(0). Let g = -38 - -93. Suppose -3*m - g = -v*m. Is m prime?
True
Let j = 421 + -158. Is j a composite number?
False
Let k be (1*4)/2 - 26. Let l = 18 + 28. Let a = l + k. Is a a composite number?
True
Suppose -13 = 2*f - i, 8 = -5*f - 2*i - 2. Is (163/(-2))/(f/8) prime?
True
Is ((-2)/(-4) + (-681)/6)*-1 prime?
True
Let r(a) = 98*a - 4. Let y be r(3). Suppose 2*s = 7*s - y. Suppose 2*g - 81 = -3*d + s, -2*g + 90 = 2*d. Is d a prime number?
False
Let j(u) = u**2 - u + 9. Is j(-10) a composite number?
True
Suppose -2*q - 2*f + 44 = f, -4*f + 92 = 4*q. Suppose -p + 30 = -3*d, -p + 3*d + q = -d. Let k = p - 8. Is k a prime number?
True
Suppose -u + 3 = -2*u + 4*k, -k + 30 = 3*u. Suppose 4*f - 2*n - 267 - 187 = 0, 3*n - u = 0. Is f a prime number?
False
Suppose 0 = -5*b + 5. Let m(c) = b - c + c**2 - 1 + 2. Is m(5) composite?
True
Suppose 9*m = 4*n + 4*m - 351, 2*m = 3*n - 265. Is n a prime number?
True
Suppose 0 = 3*b - 15, -5*c + 6*c = -4*b + 6369. Is c composite?
True
Let x be 444*-1 + 0 - 0. Is ((-9)/6)/(9/x) a composite number?
True
Suppose 4*g = 9*g - 55. Is g prime?
True
Let v(s) = -5*s + 3*s - s**2 + 4*s - 6 - 4*s. Let h be v(-4). Is 4/h - (-447)/21 composite?
True
Suppose 2*k = 3*o - 355, 3*o + 4*k + 0*k = 325. Is o a composite number?
True
Suppose 5*w - w = -3*b - 436, -208 = 2*w + 4*b. Let g = -57 - w. Is g a composite number?
True
Let m(w) = -w**2 + 8. Let k be 2/10 + (-1)/5. Let z be m(k). Is 554/10 + z/(-20) composite?
True
Let s(m) = 10*m - 7. Suppose 3*d - 3*c + 3 - 15 = 0, 5*d - 38 = -4*c. Is s(d) composite?
False
Suppose -5*k + 1534 = -3*l, 10*l + 914 = 3*k + 5*l. Suppose 0*o + k = 2*o. Suppose -2*h + o = -0*h. Is h prime?
False
Suppose -3*r + 3*m + 18 = 0, 0 = -r + 5*m + 7 - 1. Let t(b) = -6*b + 3. Let l(d) = -11*d + 6. Let w(y) = -4*l(y) + 7*t(y). Is w(r) prime?
False
Suppose -5*r + 4*g = -11017, 2*r - 4390 = -5*g + g. Is r a composite number?
True
Let x(s) = -s. Let b(u) = -4*u**3 - u**2 - 7*u - 1. Let q(j) = b(j) - 6*x(j). Suppose -y + 13 = -2*y - 3*a, 4*a = 4*y - 12. Is q(y) a composite number?
False
Suppose 3*m + 173 = 2*c, 5*m + 22 + 3 = 0. Is c a composite number?
False
Suppose g + 275 + 38 = -4*m, -2*m + g = 155. Let o = 127 + m. Is o composite?
True
Let q(u) = -2*u - 10. Let s be q(-5). Suppose -5*j + s*f + 1075 = -4*f, 4*j + f - 839 = 0. Is j a composite number?
False
Let b be (-2)/(-6) + 10/15. Let f be b*4 - (1 - -2). Is ((-310)/10)/(-2 + f) a prime number?
True
Let n(o) = -5 + 34*o - 1 + 3. Let c be ((-3)/6)/((-2)/16). Is n(c) composite?
True
Let n = -79 + 656. Let s = -310 + n. Is s a prime number?
False
Let j = 266 + 148. Let q = -79 + j. Is q a prime number?
False
Suppose 9 = -f + 4*l - 54, -l = -3*f - 156. Is f*3/6*-2 a prime number?
False
Let t = -3 + 49. Is t a prime number?
False
Let r = 2 - 3. Is 0*(2 + r) + 10 composite?
True
Suppose 25 = 5*u, -2044 = -4*a + 4*u - 280. Is a a composite number?
True
Let k be 5/2*(-4)/(-5). Suppose -6 = k*a + 4, 3*x - 5*a - 1 = 0. Let z = x + 22. Is z a prime number?
False
Let l(f) = 4*f**3 - 3*f**2 - 6*f + 3. Let h(g) = -g**3 + 9*g**2 + g - 5. Let a be h(9). Is l(a) composite?
True
Let g(a) = 6*a**2 + a - 1. Let y be g(1). Suppose 0 = y*q - 2*q - m - 620, 3*q - 460 = 2*m. Suppose q = -0*t + 4*t. Is t a composite number?
True
Let c(l) = -l**3 - l**2 - l + 119. Let s = -7 - -7. Is c(s) prime?
False
Let t(l) = 10*l**2 - 16*l + 25. Is t(10) a prime number?
False
Suppose q = -3*j + 5*j + 1769, 2*q - 3*j - 3542 = 0. Is q composite?
False
Suppose 16 = -0*t + t. Is t/20*55/2 a composite number?
True
Let j(y) = -y**2 + 340. Let a be j(0). Suppose 0 = 4*v - 0*v - a. Is v a composite number?
True
Let d be (-1)/(-1) + -2 - -3. Suppose -3*t = 5*u + 23 - 102, d*u - 3*t = 19. Is u a prime number?
False
Let b = 55 + -32. Is b a composite number?
False
Let d = 2 + 1. Suppose 0 = -d*s + 105 + 438. Is s a composite number?
False
Let q = 3 + 2. Suppose -11 = -q*v + 54. Is v prime?
True
Is 90582/18 + 6/9 composite?
True
Let j be 13/(-3) + (-1)/(-3). Suppose r - 4*u - 25 + 3 = 0, -2*u - 76 = -3*r. Let a = j + r. Is a a composite number?
True
Let x = 559 + 188. Suppose -l + x - 28 = 0. Is l composite?
False
Let n be 2*1/((-2)/(-5)). Suppose -n*w - 3*t + 38 = 0, 2*w + 4*t = 5*w - 17. Is w composite?
False
Is ((-30)/25 + 1)*-20245 composite?
False
Suppose -p + 412 = -236. Is p/21 + 1/7 a prime number?
True
Is (955/(-2))/((-4)/8) a composite number?
True
Suppose -4*f - 56 = -0*l - 3*l, 0 = l. Let j be (-2526)/(-4) + 7/f. Suppose -4*q = -3*p - 225 - 255, -j = -5*q - 4*p. Is q prime?
False
Let t be (2/(-6))/((-2)/36). Is t/24 + (-1782)/(-8) a composite number?
False
Is ((-24394)/(-6))/(28/84) composite?
False
Let m = 6 + -2. Suppose -5 - 3 = -m*d. Is d a prime number?
True
Let t = 7 - 3. Suppose v + 3*v = 5*l - 2, t*l + 23 = -5*v. Is (-2 - -1)*l - -81 a composite number?
False
Is ((-127)/(-2))/((-9)/(-90)) prime?
False
Let t = 12 + -8. Suppose -4*v - 128 = -t*b, b + 4*v = -4*b + 178. Is b a prime number?
False
Suppose b + 4*b + 4*z - 33 = 0, -6 = -3*z. Suppose -2*g + g - 28 = -b*f, -2*f + 148 = -4*g. Is (g/(-3))/(4/6) a prime number?
True
Let r = 13 + -7. Let h(b) = -b**2 + 6*b + 4. Let d be h(r). Is 58*(-1)/(d/(-6)) prime?
False
Let w = -4 - -2. Is 28/(-6)*3/w a composite number?
False
Let r be -2*11*(-1)/(-2). Is (-2)/(2*1/r) composite?
False
Let f(c) = c**3 + 8*c**2 - 9*c + 3. Let h be f(-9). Suppose h*a - 15 = 6*k - 3*k, -k = 4*a + 5. Suppose a*r - 2*r = -18. Is r a composite number?
True
Is (40/(-12))/((-2)/33) a composite number?
True
Let a(j) = j**3 - 3*j**2 - 4*j + 7. Is a(5) a composite number?
False
Let n be (-3 - 1)*2/(-4). Suppose n*f + 2 = 0, 5*l - 89 = -0*l - f. Let w = l - 7. Is w a composite number?
False
Suppose -4*g - 2*a - 3*a = 9, -2*a = g + 6. Is g prime?
False
Suppose j - 98 = 2*o - 5*o, 2*j = -8. Is o a composite number?
True
Let l(s) = -2*s - 5. Let m be l(-9). Let z(n) = -2 - 13*n - m*n + 9*n. Is z(-3) a composite number?
True
Suppose -5*z + 24 = j, -2*j + 4*z - 11 = 11. Let p be 22 + 2*j/(-2). Let x = p - 16. Is x a composite number?
False
Let n(s) = s**3 + 3*s**2 + 2*s. Let c be n(-2). Suppose c = -6*o + 2*o + 12. Suppose o*a + 28 = 5*a. Is a prime?
False
Le