s a + -4 + 1 + 131 a composite number?
False
Let y = 277 + -56. Let m = y - 144. Is m prime?
False
Suppose 661 = 4*r + k, -2*k = -5*r - 3*k + 826. Suppose 2*d + d = r. Is d a prime number?
False
Let t = -5 - -3. Let o(l) = 11*l**2 - 3*l - 3. Is o(t) composite?
False
Let p(b) = 2*b**2 - 1. Let y be p(2). Let w be y/2 + 2/(-4). Suppose -w*f + 603 - 166 = 4*g, -2*f - 349 = -3*g. Is g a composite number?
False
Let n(f) = 85*f**2 + f - 4. Is n(-2) prime?
False
Suppose 4*c + 153 = -n + 4*n, -n - 2*c = -41. Is n prime?
True
Suppose -3*g = -2*g - 1590. Is g/4*(-2)/(-3) prime?
False
Suppose 3*f = -12, -3*z + 0*z + 4*f = -16. Suppose z = x - 3. Suppose -3*q - x*u = -45, -2*q - 2*q = -3*u - 46. Is q a composite number?
False
Suppose y = 3*i - 951, 93 = i - 3*y - 224. Is i prime?
True
Let k(f) = -5*f - f + 2 + 2*f + 2*f**2 + 3*f**2. Let o be k(3). Suppose 1 - o = -t. Is t composite?
True
Suppose 0*j = -t - 3*j + 115, -4*j = 4*t - 468. Is t prime?
False
Let b(a) = -4 + 4 - 14*a - 1 - 3. Is b(-3) a composite number?
True
Suppose 58 = a - 7. Is a a prime number?
False
Let l(w) = -w**3 - 2*w**2 + 2. Let y be l(-2). Suppose -y*a + 31 = -a. Is a a composite number?
False
Suppose 4347 = 3*t + 3*i, t + 3*i - 1441 = -2*i. Is t composite?
False
Let z(d) = 2*d**2 + 7*d + 6. Suppose 2*t + 7 = -4*b - 21, -3*t + 8 = -4*b. Is z(b) prime?
False
Let b = 13 - 9. Is b/(-10) - 224/(-10) a composite number?
True
Suppose -2*y = -193 - 69. Is y a prime number?
True
Let u(p) = -p + 1. Let z(t) = 3*t**3 - 8*t + 11. Let h(r) = 6*u(r) - z(r). Is h(-4) prime?
True
Let y = -347 + 724. Suppose -j + 3*d + 41 = -92, 3*j + 2*d - y = 0. Is j a prime number?
True
Let c = -19 + 17. Suppose 0 = -0*b + b - 3*p - 11, -3*p - 8 = -4*b. Is c/(-2)*(66 + b) a prime number?
False
Let v(p) = -2*p - 3. Let l be v(-3). Suppose l*a - 7*a + 4*x = -1436, 0 = -a - 5*x + 347. Let o = a - 146. Is o composite?
False
Let v(q) be the second derivative of 0 + 5/2*q**2 - q + 1/4*q**4 + q**3. Is v(6) prime?
True
Is 15/25 + (-1732)/(-5) prime?
True
Let k be (-48)/(-28) - (-4)/14. Suppose -146 = k*j - 1120. Is j a composite number?
False
Let p = -15 - -250. Is p a prime number?
False
Let b(w) = w**3 + 6*w**2. Let t be b(-6). Suppose -3*l + 22 = -2*j, t = -4*j + 2*l - 24 - 12. Let y(d) = -8*d - 5. Is y(j) a composite number?
False
Is (447/9)/(2/18) prime?
False
Is ((-4984)/(-20) - 4)*5/2 composite?
False
Let r = 36 - -49. Is r composite?
True
Let s(b) = 2*b**3 + 2*b**2 + 6*b - 5. Is s(3) prime?
False
Let n(h) = 4*h + 1. Let a be n(-6). Let u = 44 + a. Is u a prime number?
False
Let d = 91 + -5. Is d a composite number?
True
Suppose -3*i - 2*c - 21 = -5*c, -3*i = 2*c + 11. Let d be (-4 - i)/((-2)/(-6)). Suppose d*b + 5*a = 210, -b - a + 0*a + 68 = 0. Is b prime?
False
Let y = -653 - -951. Is y prime?
False
Suppose 4*t - 28 = -o, 0*o = -t + 2*o - 2. Suppose t*s - 15 = s. Suppose -42 = -s*u + 117. Is u composite?
False
Let a(f) be the second derivative of -f**4/12 - 3*f**3/2 - f**2 - 3*f. Let m = 16 - 24. Is a(m) a composite number?
True
Let a(n) = 2*n**2 + 7. Is a(4) prime?
False
Suppose -4*v + 4*r = -10 + 2, -r = -2. Suppose 208 = v*l - 4*b, l - 3*b = -5*b + 61. Is l a composite number?
True
Let l(b) = 176*b**2 + 2. Is l(1) a composite number?
True
Suppose -5*w - 3*l + 1787 = 0, -l + 1789 = -w + 6*w. Is w a prime number?
False
Let b(s) = 5*s**2 - s**3 + 11*s - 2*s - 3*s**2 + 5*s**2 - 1. Is b(8) a composite number?
False
Let d = -5 + 1628. Is d a prime number?
False
Let q(t) = -t - 6*t - 4*t**2 + 7 + 4*t**2 + 3*t**2. Is q(5) a composite number?
False
Let h(d) = 7*d**2 - 10*d + 5. Is h(-8) composite?
True
Let x be 1/(-6) - (-5)/30. Let y(i) = i + 251. Is y(x) composite?
False
Suppose 3*b + 2*g - 12 = 0, 2*b + 2*b = -2*g + 16. Suppose 0*c - 2*c + 4 = b*s, 19 = -3*s + 4*c. Is 34 - 0/(s - -4) composite?
True
Let q = -2 - -6. Let j be (-3)/q - 133/(-28). Suppose 3*v + g - 67 = 0, j*v - 110 = -3*g - 19. Is v prime?
False
Suppose -5*w = -x - w + 459, -4*x - 2*w = -1926. Is x a composite number?
False
Let r(x) = x**2 + x + 16. Let w be r(0). Let f = 7 + w. Suppose -s - 4 = -f. Is s a composite number?
False
Let a(p) = 47*p - 4. Let i(s) = -142*s + 12. Let u(f) = 7*a(f) + 2*i(f). Is u(5) a composite number?
True
Suppose 4*p + 1248 = 7*p. Suppose 4*o + 108 = p. Is o composite?
True
Let p(c) = -3*c + 3. Let f be p(3). Let a = 15 - f. Is a a composite number?
True
Let t(m) = -8*m - 3. Suppose 2*l + 75 = 3*o + 5, -2*l + 50 = 3*o. Let q be 3 + -2 - o/2. Is t(q) a composite number?
True
Let t(b) = 11*b - b**2 + b**2 - 4 - b**2. Let c be -2 + 14 + (0 - 3). Is t(c) a prime number?
False
Let q = -107 + 172. Is q composite?
True
Let h = -3 + 5. Suppose c - 2*q = 4 + 5, -h*c = 5*q. Suppose 2*l = c*l - 93. Is l prime?
True
Let f(u) = -u - 5. Let p be f(-4). Is 0/(-6) - 79/p prime?
True
Suppose -3*q + 867 = -0*q. Is q prime?
False
Suppose 5*o = o + 8, q - 3*o + 1 = 0. Suppose -5*j - m - 53 = 0, -q*m - 34 = -2*j + 6*j. Let c(g) = -g + 8. Is c(j) composite?
False
Suppose -a + 4*a - 1893 = 0. Is a a prime number?
True
Let j(d) = 2*d**3 - 5*d**2 + 5. Let c be j(5). Let f = 429 - c. Is f composite?
True
Let k = -662 - -1125. Let d = k + -165. Is d a prime number?
False
Let x be ((-145 + -2)/(-3))/1. Let l be 2/8 + (-423)/12. Let z = x + l. Is z a prime number?
False
Is 30/(-60) - -1997*(-1)/(-2) a prime number?
False
Let v(d) = d**2 - 3*d - 4. Is v(6) prime?
False
Let t be -3 + 70/2 + 0. Let q be (2/2)/(1/57). Let c = q - t. Is c composite?
True
Let n be (-1 - 5)*3/2. Let f(s) = -s**2 - s. Let k(g) = -9*g**2 - 19*g - 1. Let r(b) = 6*f(b) - k(b). Is r(n) composite?
False
Is 16308/20 + ((-8)/(-10))/(-2) prime?
False
Is 1*(-102)/(-3) - -1 a composite number?
True
Let x = -4 - -4. Suppose 0*s - s = x. Is (s + (-15)/(-6))*14 prime?
False
Let n(b) = -10*b - 5. Suppose -5 = 5*h - 15. Suppose a + h = -2*u, 2*a + 6 = -5*u + 3*u. Is n(a) prime?
False
Suppose 2*j = -p - 8, -4*p + 2*j - 12 = -30. Suppose 35 = -3*q - 0*w - p*w, 5*q + 100 = 5*w. Let x = 34 - q. Is x composite?
True
Let w(v) be the first derivative of -v**4/4 + v**3/3 - v**2/2 - 3*v + 1. Let n be w(0). Is (2/n)/(6/(-207)) composite?
False
Let o(l) = 17*l - 6. Suppose -c + 9 = r, -5*r + 4*r = -4*c + 11. Is o(r) prime?
True
Suppose 2*q - 356 - 66 = 0. Is q prime?
True
Let g = 1 + -1. Let h = 2 + g. Suppose -2*d - 5*q = -h*q - 35, 2*q + 35 = d. Is d a composite number?
True
Let h(u) = -659*u + 9. Is h(-2) a prime number?
True
Suppose -q = -0*q - 2*m - 6, -m = q. Let g be ((-10)/4)/(q/(-4)). Suppose g*u - 3*u = 62. Is u prime?
True
Let m be 40/(-1) + (-2 - -2). Let c = -21 - m. Is c composite?
False
Suppose -3*c + 3*w = -3, 5*c + 0*c - w = 9. Suppose -5*i = -c*i + 24. Let f(n) = n**2 + 4*n + 6. Is f(i) prime?
False
Let x be (-538)/4 - (-6)/(-4). Let m = -67 - x. Is m a composite number?
True
Suppose -4*m - c + 3794 = 0, 3*c = -5*m - 2*c + 4735. Is m composite?
True
Let p(t) = t**3 + 4*t**2 - 6*t. Suppose 0*a - a - 5 = 0. Let s be p(a). Suppose 0 = s*b + 2*d - 239, 4*b - 196 = d - 5*d. Is b prime?
True
Suppose 5*q = 41 - 6. Suppose -13 = -4*o + q. Suppose 45 = o*i - 10. Is i a composite number?
False
Is 3084/24 + (-6)/4 a composite number?
False
Let m = 253 + -40. Suppose -4*a + 65 = 5*q + 513, q + 5*a = -77. Let c = m + q. Is c composite?
True
Let h(m) = -m**2 - 4*m - m**3 + 4 - 5 - 2*m**3. Let l be (-3 + (-27)/(-12))*4. Is h(l) a prime number?
True
Suppose 4*c = 5*n + 1940, 5*n = -c - c - 1940. Let a = -153 - n. Is a a prime number?
False
Let x = 1289 + -578. Is (2/3)/(6/x) composite?
False
Let r(n) = -781*n + 1. Is r(-2) prime?
False
Let a be (3/9 - 1)*-3. Suppose -2*d + d + 2*t = -2, 12 = 4*d - 4*t. Suppose -j = -0*j - d*k - 75, -a*j + 161 = 3*k. Is j a prime number?
True
Suppose -2*x = -6*x + 1484. Is x composite?
True
Is 2/((24/(-1028))/(-3)) composite?
False
Suppose -q + 1481 = 3*v, -982 = -2*v + 3*q - q. Is v a prime number?
False
Suppose 2*i + 8 = -2*i. Is 0 + (1 - i) - -56 composite?
False
Let t(u) = u**3 - u**2 - u + 24. Let k be t(0). Suppose r + 18 = 4*a, -5*a + 14 = -2*r + 5*r. Suppose 0*n - 3*f = n - k, 0 = -a*n + 5*f + 45. Is n prime?
False
Suppose -62 = -2*a + 48. Is a a composite number?
True
Let z be 208/20 - (-4)/(-10). Let j = 25 - z. Is j a composite number?
True
Let u be