+ 7 - 14*m + 4 - 3. Is a(-7) a composite number?
True
Let v(z) = -3*z. Let t be v(-1). Suppose g - o = 102, -t*g - 2*o + 339 - 18 = 0. Suppose -5*d + 2*d = -g. Is d prime?
False
Let o(t) = 5*t**2 + 4*t - 3. Let a(f) = f**3 - 2*f + 1. Let p be a(2). Suppose -4*b + 0*b = -p*i - 33, 4*i + 12 = -4*b. Is o(b) composite?
True
Suppose -11*l - 12295 = -16*l. Is l prime?
True
Let h = 532 + -312. Suppose 2*o - h = -2*o. Is o prime?
False
Let d be -1 + 1 + 0/(-2). Is (0 - d - 2) + 11 a composite number?
True
Suppose 3*f - 1156 = 374. Is (2/(-3))/((-4)/f) prime?
False
Let j(n) = 58*n**2 + 7. Is j(-6) composite?
True
Let c(n) = -29*n + 18. Let a be c(8). Let t = 375 + a. Is t a prime number?
False
Suppose 0 = -22*n + 21*n + 1177. Is n prime?
False
Let u(k) = k**3 - 3*k**2 - k + 1. Let i be 6/(-2) + 0 + 9. Is u(i) a composite number?
False
Let m(h) = 41*h**2 - 5*h. Let l(p) = -p - 1. Let b(n) = -3*l(n) + m(n). Is b(2) prime?
True
Suppose -6*k + 3*k - 4*s + 177 = 0, s - 58 = -k. Is k a composite number?
True
Let d(p) = 2*p**2 - p - 10. Is d(11) prime?
False
Let w = -4 - -6. Suppose 2*t + 2*q = 0, -4*t + w*q = -3*t. Suppose -2*s + 4*s - 298 = t. Is s prime?
True
Let v(x) = -20*x**3 + 6*x**2 - 23*x + 32. Let s(l) = 7*l**3 - 2*l**2 + 8*l - 11. Let b(d) = -17*s(d) - 6*v(d). Is b(4) prime?
False
Suppose -4*b - 3655 = -6*n + 3*n, 4894 = 4*n + 5*b. Suppose -5*y + n - 211 = -3*a, 3*a = 3*y - 600. Is y a prime number?
False
Let t(i) be the second derivative of -20*i**3/3 - 3*i**2/2 - 3*i. Is t(-2) prime?
False
Let w = 5 + -1. Let a(p) = p**3 - 6*p**2 + 6*p. Let r be a(5). Suppose 391 = 3*u + w*x, 2*u + x - 259 - r = 0. Is u a prime number?
False
Let n = 4 + -2. Suppose -5*l = 4*w - 7, -3*w + n*l = -2*l - 44. Let j = 17 - w. Is j a composite number?
True
Suppose 2*f - 121 - 325 = 0. Is f prime?
True
Let h be (3 - -7)*5/(-2). Let j = h + 58. Suppose j = p - 36. Is p a composite number?
True
Suppose -3*z + 2*k + 4140 = z, 4*z = 5*k + 4140. Suppose 5*n = -2*x + 23, x - 11 - 6 = 3*n. Is (-4)/x - z/(-21) prime?
False
Let c = 19 - -2. Suppose 95 - 655 = -4*h - 4*x, 0 = h - 4*x - 135. Suppose 2*l + c = h. Is l prime?
True
Suppose -4*l + 1260 = -4*i, 0 = -3*l - 5*i + 961 - 0. Is l composite?
False
Let j(g) = g**2 - 3*g + 7. Let h(z) = z - 2. Let q be h(-3). Is j(q) a prime number?
True
Let n be (11 - 8)*(-68)/6. Let j = 120 + n. Is j a prime number?
False
Let u = 8 - 3. Suppose -5*q + 0*f + 154 = f, u*f + 67 = 2*q. Suppose -199 = -2*w + q. Is w composite?
True
Suppose i = 6 - 3. Suppose 28 = i*l + l. Is l composite?
False
Is 4 + -3 + 1256/2 a composite number?
True
Let i = 3985 + -2602. Is i prime?
False
Let o(s) be the first derivative of s**4/4 - 2*s**3/3 - 4*s**2 + 11*s - 1. Is o(8) a prime number?
True
Let s = 46 - -81. Is s a composite number?
False
Let x(t) = -84*t - 91*t - 1 + 17*t. Is x(-1) a composite number?
False
Let i(b) = -b + 5. Let a(c) = -c**3 + 8*c**2 - 5*c - 8. Let r be a(7). Let h be i(r). Is -3 + (56 - h) + -3 composite?
True
Let z be 2946/15 - 4/10. Is 2/(z/188 + -1) composite?
False
Suppose 0 = 2*l + 6*l - 2224. Is l a prime number?
False
Let n be 10/(-4)*30/(-25). Suppose -y = -n*y + 330. Suppose -2*b + 7*b = y. Is b prime?
False
Suppose 0*k + 515 = 2*s - k, 2*k = 2*s - 516. Suppose 3*p = 4*g + s, 4*g - 2*g - 411 = -5*p. Let r = 136 - p. Is r prime?
True
Let h be (8/12)/(4/(-534)). Let o = 148 + h. Is o prime?
True
Let o = -63 + 148. Is o composite?
True
Let n(i) = 15*i**2 + 5*i - 5. Is n(5) composite?
True
Let l = 33 + 218. Is l prime?
True
Let p(z) = -31*z - 1. Let a(k) = -15*k - 1. Let m(f) = -5*a(f) + 2*p(f). Let j be m(6). Let d = j - 14. Is d a composite number?
False
Let o = -1 - -3. Suppose 5*z + 0 = 5*j + 5, -4*j = 2*z - o. Suppose j = i - 6*i + 175. Is i a composite number?
True
Let y(v) = 2*v**2 + 7*v - 14. Is y(9) a prime number?
True
Is (-2)/((-24)/4038) + (-3)/2 a prime number?
False
Is 222 + (-4 + -3 - -4) a composite number?
True
Suppose -y + 577 = 3*j + 172, -j + 4*y = -122. Is j prime?
False
Suppose -i = 4*i - 255. Is i a composite number?
True
Is (-15)/10 + 0 + (-1577)/(-2) prime?
True
Let o(p) = 14*p - 5. Suppose 0 + 3 = t. Is o(t) a prime number?
True
Is (-32 - 4)/(-9) + (1834 - -1) a prime number?
False
Let h(q) = q + 4. Let o be h(-2). Suppose o*p - 3*p = 0. Let k = 7 + p. Is k composite?
False
Suppose -4*u - 5*w = -w + 12, 3*u + 5 = -4*w. Let s(v) = v**3 + 9*v**2 - v - 8. Is s(u) a prime number?
True
Let a = -8 - -5. Is (-6)/18 - 70/a a composite number?
False
Let s = 114 - 74. Suppose 0 = -3*x + 53 + s. Let u = 66 - x. Is u a prime number?
False
Let n(z) = -z + 12. Let b(t) = -1. Let c(h) = 5*b(h) + n(h). Let k be c(5). Suppose 4*r - r = i + 244, 0 = -2*r + k*i + 156. Is r a prime number?
True
Let x(z) = -z**3 + 6*z**2 - 8*z + 4. Let q be x(3). Let f(m) be the third derivative of -m**5/60 + 3*m**4/8 - 7*m**3/6 - m**2. Is f(q) prime?
True
Suppose 2 = -2*k - 16. Let v = 91 + k. Is v a composite number?
True
Suppose -4 = -4*z - 5*v + 35, 0 = -4*z - 4*v + 36. Suppose z*p + 438 - 4548 = 0. Is p composite?
True
Let m = -5 + -2. Let a = 14 - m. Is 2/(1 - a/23) a composite number?
False
Let k = 325 + 97. Is k a composite number?
True
Suppose -2*q + 0*q + 194 = 0. Is q a prime number?
True
Let q(z) = -2*z**3 + 6*z**2 - 8*z - 5. Is q(-6) prime?
True
Let r(u) = u**2 + 8*u - 12. Is r(5) prime?
True
Suppose 12 = -5*a + 2. Let y = -20 + 32. Is y - (-1 - (2 + a)) a composite number?
False
Let q(v) = 4*v**2 + 5*v + 4. Let p(g) = g**2 + g. Let a(l) = 5*p(l) - q(l). Is a(5) a prime number?
False
Let n = 76 + -39. Is n composite?
False
Suppose -h + 218 = 4*q + h, 0 = 3*q - 5*h - 144. Let s = q - 34. Is s prime?
True
Let b be (30/18)/(2/72). Suppose 7*h + b = 4*h. Is 1306/10 - 8/h a composite number?
False
Suppose -5*f = 0, 5*w - 4*f = 3*w + 142. Is w prime?
True
Suppose 0 = 4*h - 17 + 1. Let n(w) be the third derivative of w**4/3 + w**3/3 - 21*w**2. Is n(h) a prime number?
False
Is 56/(-42)*33/(-2) prime?
False
Let m be -3 - (6/(-2))/1. Let u = 0 - m. Suppose 0*l + 2*l - 534 = u. Is l a composite number?
True
Suppose f - 2*f + 862 = -2*u, 2622 = 3*f + 3*u. Suppose 0 = -w - 4*c + 484 + 377, w = 5*c + f. Is w a prime number?
False
Let c = 14 - 9. Let o(d) = -8*d + 4 - 4 + 1 - c*d. Is o(-6) a prime number?
True
Suppose 4*p - 5 - 3 = 0. Suppose -p*b = -5*b. Suppose 0*l - 3*l + 21 = b. Is l prime?
True
Suppose 71 = f + 2*o - 40, -4*f + 3*o + 433 = 0. Is f a prime number?
True
Let x(f) = -f - 2. Let c be x(-7). Suppose -5*o = 4*y - 203, -4*y + 173 = -0*y - c*o. Is y composite?
False
Let y be 2 + (2 - (2 + 2)). Suppose 4*s + 1 + 3 = y. Is (3/s)/(5/(-55)) a prime number?
False
Let p(s) = 756*s**2 + 5*s + 14. Is p(-3) composite?
False
Suppose 4*a + 0*g - 3*g = 630, -169 = -a - 5*g. Is a a composite number?
True
Let j(g) = -3*g. Let c be j(-1). Suppose -c = 2*r - r. Is (2/r)/(4/(-18)) a prime number?
True
Let f(z) = -7*z + 9. Is f(-8) composite?
True
Let b = 6 + -10. Is 1/b - (-221)/4 a composite number?
True
Let k(j) = -j**2 - 13*j - 9. Let q be k(-10). Let b(u) = -101*u - 1. Let v be b(4). Is 6/(-21) - v/q composite?
False
Let y be 3*(-1 - (-4 + 2)). Suppose -4 = -y*z + 2. Suppose -f + 6 = -5*u + z*u, 4*f + u - 11 = 0. Is f composite?
False
Let x be 4/(-18) - 235/(-45). Is (-2 + x + -166)*-1 a composite number?
False
Let g be -15*(2 - 1)/(-3). Suppose -h - 74 = g. Let t = h - -114. Is t prime?
False
Let h(y) = -y**2 + 3*y - 2. Let k(n) = -n**2 + 2*n - 1. Let p(g) = -3*h(g) + 4*k(g). Let m be p(2). Let i(z) = -2*z**3 - 4*z**2 - 5. Is i(m) a prime number?
True
Suppose 0 = -7*o + 946 + 1147. Is o a composite number?
True
Suppose -6*r + 211 = -5*r. Is r a composite number?
False
Let i(n) = -n**3 - 6*n**2 + n + 3. Let u be i(-6). Let v(o) = 2*o**2 + 2*o + 4. Let d be v(u). Let q = 71 - d. Is q composite?
True
Suppose 3*f - 37 = -3*w + 8*w, 2*w = f - 14. Let k(q) = q**3 - 3*q - 5. Is k(f) a composite number?
False
Suppose -4*g + 4*h = 20, -3*g - 2*h - 8 = g. Let j = g + 56. Is j composite?
False
Let x(u) = u**2 + 30*u + 46. Let j(a) = 6*a + 9. Let q(t) = -11*j(t) + 2*x(t). Suppose 0 = -4*z + y + 33, 3*y + 39 = 2*z - 2*y. Is q(z) a composite number?
True
Suppose -2*x - 6*r + 6778 = -4*r, 0 = 4*x + r - 13550. Is x a composite number?
True
Let m(u) = -u**3 - 