e -s + 5*j + 1068 = 0, -4*s + 5*j + 4187 = 2*j. Is s prime?
False
Let l be 9/(-7) - (-4)/14. Let u(t) = -2*t. Let x be u(l). Suppose -3*f - 283 = -5*f + 3*m, -4*f = -x*m - 586. Is f prime?
True
Let n be 4/(-2) - (-2 - 570). Suppose 6 = -5*s + 3*w + n, -s - 2*w + 105 = 0. Is s composite?
True
Let b(h) = h**2 + 3*h + 5. Is b(-6) prime?
True
Let j(y) = 4*y - 2. Let w be j(-4). Let c be 38*-3*3/w. Let u = 50 + c. Is u composite?
True
Let d be (-2)/(-5) + 126/(-15). Let p(u) = -u - 6. Let l be p(d). Is 12/l - (-1 + 1) composite?
True
Suppose -5*i + 7*i - 2*m - 1332 = 0, -2*i + 1326 = -4*m. Is i prime?
False
Let a(z) = z**2 - 3*z - 4. Let t be a(4). Suppose t = -5*x - 23 + 3. Is (-555)/10*x/6 prime?
True
Suppose 0 = 3*b, -s = 2*s + b - 153. Let y = 166 - s. Is y a prime number?
False
Let l(r) = r**2 + 8*r + 1. Suppose -6*x = -2*x + 32. Let t be l(x). Is t/(-3) - (-464)/6 a prime number?
False
Let j = 10 - 8. Is j*-1 - (-12 - -3) composite?
False
Let s be (-36)/(-3)*1/(-2). Let j(g) = -g**3 - 4*g**2 - 4*g - 6. Let x be j(s). Let z = x - 35. Is z prime?
False
Suppose 5*h - 2140 + 245 = 0. Is h a prime number?
True
Let v(d) = d**2 + 2*d + 9. Is v(-16) a composite number?
False
Let y = 192 + -79. Is y a composite number?
False
Let x(o) = 3*o**2 - 3*o + 4. Let l(d) = -7*d**2 + 7*d - 8. Let q(a) = a**3 + 5. Let y be q(0). Let s(j) = y*x(j) + 2*l(j). Is s(3) composite?
True
Suppose f = -2*f + 1065. Is f composite?
True
Let l be (-2)/(-4) + (-27)/(-6). Suppose l*g - 25 = -3*q, g - 10 = -g. Suppose q = 3*d - 23 - 88. Is d prime?
True
Let d = 75 + -16. Is d prime?
True
Let i(q) = -3*q - 2. Let d be i(-2). Is d/2 + 1110/6 prime?
False
Suppose 24 = 3*c - 6. Suppose -c = 2*z + 56. Let w = z - -80. Is w prime?
True
Let i(q) = q**3 + q**2 - 6*q - 19. Is i(11) a prime number?
True
Suppose -33*j + 30919 = -26*j. Is j a prime number?
False
Suppose -x = -3*x + 424. Suppose 5*l - x = l. Is l composite?
False
Let r(g) = -g**2 - 11*g + 2. Is r(-8) a composite number?
True
Suppose -3 = -h - 0*h, 0 = i + 3*h - 12. Suppose 4*s + i*y = 481, 0*s + 3*y = -3*s + 360. Suppose 187 = 4*x - s. Is x a composite number?
True
Suppose 0*b = -b - 2. Is 31/(b/(-2) - 0) prime?
True
Let k(r) = 6*r**2 - 9*r - 7. Let z(j) = -13*j**2 + 19*j + 15. Let i(o) = 9*k(o) + 4*z(o). Is i(-4) composite?
True
Suppose 0*u - 2*u + 12 = 0. Suppose 3*v - 3 + u = 0. Is (1*54 + v)*1 composite?
False
Let r(z) = z. Let n be r(5). Suppose n*d = 5*m - 0*d - 1590, 5*m = -3*d + 1550. Let c = -186 + m. Is c prime?
True
Let i(g) = g**3 - 8*g**2 - 4. Let p be i(8). Is (-873)/(-18) + 6/p a prime number?
True
Let w(r) = -2*r**3 - r + 7. Let p be w(-5). Is p/3*36/24 a composite number?
False
Suppose 5*q - 4*q = -t + 2, -5*t + 46 = -4*q. Suppose 2*r - t = -0*s + s, 5*s - r - 6 = 0. Suppose 13 = i - 4*c - 22, 0 = s*i + 3*c - 114. Is i composite?
True
Let w be 116/(-14) - 2/(-7). Let c = w - -18. Is c prime?
False
Let d(y) = -y**2 - 8*y - 4. Let a be d(-7). Suppose a*q + 74 = 5*q. Is q a prime number?
True
Let b = -40 + 69. Suppose b = 3*j - 16. Is j prime?
False
Suppose -2*y + 25 - 105 = 0. Let l = y + 153. Is l prime?
True
Let w(l) = -l**3 - 3*l**2 + 4*l + 4. Let n be w(-4). Suppose -n*u + u = -15. Suppose u*a + 109 = 279. Is a composite?
True
Suppose 251 = g - 2*v - 56, -966 = -3*g - 3*v. Is g prime?
True
Suppose -2*t - 20 = -178. Suppose -269 = -5*v - t. Is v a prime number?
False
Let o be 2/11 + 11392/22. Suppose 17 = 3*p - 3*f - 4, 3 = 3*p + 3*f. Suppose p*y - o = 2*y. Is y a composite number?
True
Let m(l) = l**3 + 4*l**2 - 3*l + 1. Let h(c) = -c. Let a be h(-4). Suppose -5*q + 35 = -5*t, a*t + 16 = -5*q + 3*q. Is m(q) prime?
True
Suppose 29 = f - 4*v, 3*f - 2*v + 0*v = 77. Let i(d) = d**2 - 21*d + 52. Let h be i(16). Let s = f - h. Is s a composite number?
False
Let z = -67 + 62. Let a(b) be the second derivative of -b**5/20 - 5*b**4/12 - 2*b**3/3 + 5*b**2/2 + b. Is a(z) a composite number?
True
Suppose 2*n - 21*u - 12672 = -19*u, -4*u = 5*n - 31725. Is n a prime number?
False
Suppose 4*n = -x + 6, 2 = -3*x + 5*n + 3. Is -2 + x + -1 - -20 a prime number?
True
Suppose 0 = 2*y - 3*s - 4933, -5*s - 13 - 12 = 0. Is y a composite number?
False
Is 1006/4 + (-3)/6 a prime number?
True
Let j(h) = 2*h**3 + 10*h**2 + 10*h + 9. Let n be j(-6). Let s = n - -334. Is s composite?
False
Suppose 4*a = 6 + 6. Suppose 0 = 3*w - 8*w - 5*t + 95, 4*w - 76 = 4*t. Suppose w = 5*v - 4*k, -a*k + 20 = v + 1. Is v prime?
True
Let i(y) = -5 + 2 - 2 + 3*y. Let x(o) = o**3 - 2*o + 2. Let h be x(2). Is i(h) prime?
True
Let g(z) = 6*z**2 + 14*z - 59. Is g(-16) a composite number?
True
Suppose 3*t - 4*t + 129 = -2*c, 5*t = 4*c + 639. Is t prime?
True
Suppose -q + 5*q - 228 = 0. Let b = -27 + q. Suppose b = -u + 88. Is u a prime number?
False
Let y = 7 - 6. Let v be (108/21)/(y/91). Suppose -5*a = -k - 435, -5*k - v + 33 = -5*a. Is a a composite number?
True
Let b be (3 - 4) + (-3)/(-1). Suppose -v = -b*v + 35. Is v a composite number?
True
Suppose -h = -z + 16, 4 = 7*z - 6*z - 5*h. Is z a composite number?
False
Let g = 13 - 13. Is 79 + (1 + -3 - g) prime?
False
Suppose -99 - 449 = -2*k. Is k a prime number?
False
Let w(l) = -l**3 + 13*l**2 + 5*l + 8. Let p be w(10). Let g = -147 + p. Is g a composite number?
False
Let d(u) = -2*u**3 - 5*u**2 - 11*u + 3. Let p be d(-8). Suppose -p = l - 6*l. Suppose 4*s - 113 = -3*m - s, -5*m - s + l = 0. Is m composite?
False
Let l be 6/(-4) - 310/4. Let q = l + 132. Is q composite?
False
Let g be 2 - 1 - (-1 - -240). Is g*((-1)/2 - 0) a composite number?
True
Suppose 42 = 3*m + t, t + 3*t - 48 = -4*m. Let y = 29 - m. Is y composite?
True
Suppose -3*r - 2*r - 308 = -w, -4*r + 281 = w. Is w a prime number?
True
Let i(m) = m**2 - 7*m + 5. Suppose -2*r - r = 27. Is i(r) a prime number?
True
Let a(g) = -12*g + 1. Let l be (-2)/(-6) - (-10)/6. Suppose 0*w + l*w = -14. Is a(w) a prime number?
False
Let a(m) = 51*m**2. Let x be a(-1). Let y = -7 + x. Let v = 67 - y. Is v a composite number?
False
Let g = -132 - -278. Is g a prime number?
False
Is (-3 + (-5825)/10)*-1*2 composite?
False
Suppose 2*r - 3966 = -3*g + 7*r, -1314 = -g - r. Is g composite?
True
Let g(u) = -4*u - 6. Let r(q) = 5*q + 6. Let a(m) = -4*g(m) - 3*r(m). Is a(5) a composite number?
False
Suppose 3*r - 15 = 24. Let f be (-2)/r - (-320)/52. Is 80/f + 6/9 a prime number?
False
Suppose 2*g - 76 = -5*r + 196, 5*g - 649 = 3*r. Is g composite?
False
Suppose -4*b = -18 + 6. Suppose -b = g - o - 53, 0 = -2*o - 2. Is g composite?
True
Let y(u) = 2*u**3 - 6*u**2 - 10*u + 7. Let x be 48/9 - (-4)/6. Is y(x) prime?
True
Let o(f) = -76*f - 9. Is o(-4) composite?
True
Let t(b) = 16*b**3 - 6*b**2 - b - 6. Is t(5) composite?
True
Let c = -2 + 6. Let d be 60/(-14) + c/14. Is (d + 3)*(-2 - 19) composite?
True
Suppose -91 + 501 = 5*n. Is n composite?
True
Suppose 2*a - 2*f = 5394, 2*a + 2*f - 13499 = -3*a. Is a a prime number?
True
Suppose -24 = -0*z + 4*z. Is 1 - (z/3 - 74) a composite number?
True
Suppose -5*m - z = -99 - 681, 5*z = m - 182. Is m a composite number?
False
Suppose 2*j = 2*v - 264, 5*v = -3*j - j + 615. Is v prime?
True
Let r = 195 - 92. Is r prime?
True
Let i = -4 + 8. Let y be (2 - 4)*(-6)/i. Suppose 4*h - 21 - 7 = y*s, -3*h + 21 = s. Is h a composite number?
False
Suppose 2*k - 6*k = 56. Let w be (-4)/k + 204/21. Let r(x) = 2*x**2 - 12*x - 3. Is r(w) prime?
False
Let g = -1 - -2. Let o be 2*(117/6 - g). Let f = 90 - o. Is f composite?
False
Suppose 4*s + s = 160. Suppose p + s = 5*p - 2*m, 2*m - 31 = -3*p. Is ((-12)/p)/((-4)/30) prime?
False
Suppose -2*d + 272 = 4*x, 5*x + 227 = 2*d - 0*x. Suppose -d - 1230 = -4*o. Is o a composite number?
True
Let c(v) be the first derivative of 5*v**4/6 + v**3/3 - v**2/2 + 2*v + 2. Let l(t) be the first derivative of c(t). Is l(-2) a prime number?
False
Suppose -5 = 5*w - 0, -w = -y + 2. Let s = -3 - y. Is (76 - -3) + (s - -2) a composite number?
True
Let w be 26/4 - 12/(-8). Suppose 3*j - w = 4. Is (1 - -133)/(j - 2) a composite number?
False
Let i = -445 - -1142. Is i a prime number?
False
Let g = 2467 - 1716. Is g a composite number?
False
Suppose 0*f + 3*f = 633. Is f composite?
False
Let w(j) = j**2 + 3*j + 3. Let o be w(-3). Suppose -p - o*p + 1636 = 0. Is p a composite number?
False
Let q be 3*((-5)/(-3) -