 -4 + 5 + 5*1. Suppose -o = -l + 2. Suppose -24 = -2*d - o. Is d prime?
False
Let o = -2148 + 3103. Suppose -2*k = -5*x + k + 1573, o = 3*x + k. Is x prime?
True
Let h = -24 + 26. Suppose -3*r + h*i = -277, r - 2*i = -4*i + 103. Is r a composite number?
True
Let m = 18 - 8. Is 848/m + (-2)/(-10) a composite number?
True
Let r(k) = -15*k + 7. Is r(-4) a composite number?
False
Let t(b) = 6*b**3 - 5*b**2 + 5*b - 2. Let i be t(3). Let r = i - 75. Suppose -p - 4 = -r. Is p composite?
True
Suppose 4*j = -20 + 4. Let w(u) = -u**2 - 3*u + 4. Let l be w(j). Suppose l = 2*r - r - 10. Is r prime?
False
Let a(q) = -4*q. Let w be a(1). Is (-213)/(-4) + 1/w a composite number?
False
Let o(j) = 5*j**2 + 5*j + 13. Let m(u) = -u**2 - u - 1. Let h(x) = 4*m(x) + o(x). Is h(7) a prime number?
False
Let m(z) = -z**3 + 15*z**2 - 14*z - 1. Is m(8) a composite number?
True
Let k be ((-85)/34)/((-10)/8). Suppose 0 = k*d - 5*d + 159. Is d a prime number?
True
Let z(c) = -c - 2. Let f be z(-6). Let q = 7 - f. Suppose -y - 226 = -q*y. Is y composite?
False
Suppose 0 = y - 4*y + 9. Let u = 108 + y. Is u a prime number?
False
Let m(w) = -2*w**3 - 5*w**2 + 5*w - 2. Let x be m(5). Let d = 511 + x. Suppose b = -z - z + d, -2*b + 10 = 0. Is z a prime number?
False
Let a(b) = 4*b**2 + 10*b - 19. Is a(-9) composite?
True
Suppose -4*v + 2*z = -13442, 0 = v + 5*z - 2398 - 946. Is v a composite number?
False
Let r(u) be the second derivative of 41*u**3/3 - 3*u**2/2 - 5*u. Is r(2) composite?
True
Let o = -5 - -12. Suppose -4*k + o = 31. Let x(i) = 2*i**2 + 4*i + 5. Is x(k) a composite number?
False
Let o(d) = -2*d + 4. Let v be o(3). Let k(n) = -8*n - 2. Let q be k(v). Let r = -5 + q. Is r a prime number?
False
Let s be (-7 + 7)*1/1. Suppose s = -12*j + 8*j + 424. Is j a composite number?
True
Suppose 0 = -5*y + 2*o - 75, 5*y - 4*o + 75 = -o. Is 1 - 3 - 0 - y a composite number?
False
Let v be -3*(-1)/((-3)/(-14)). Suppose 0*d - 212 = -4*d. Let q = v + d. Is q a composite number?
False
Suppose -4*l = -5*l + 690. Suppose -3*f = -l - 834. Suppose f = j + 3*j. Is j composite?
False
Suppose -3*l + 4*i + 1231 = 0, l - 5*i = 464 - 50. Is l prime?
True
Let k(i) = 3*i. Let j be k(1). Suppose 2*b + 1 = j*c + 45, 5*c = -10. Is b a composite number?
False
Let g be ((-3)/3)/(1/(-341)). Suppose -143 = -4*z + g. Is z a composite number?
True
Suppose 0*g + g - 679 = 0. Is g composite?
True
Suppose 6*v - 8 = 2*v - 2*o, 4*o = -3*v + 1. Suppose -v*y = y - 20. Suppose -y*r - 20 = 0, -2*h + r + r = -30. Is h a prime number?
True
Is 4 - -495 - (0 + -2) a composite number?
True
Let k = -11 + 11. Suppose -4*c + k*i + 153 = -i, 0 = 4*c + 4*i - 168. Is c a composite number?
True
Suppose 2*d + 131 = -609. Let u be (2 + -1)*2 - 0. Is (d/8)/(u/(-8)) prime?
False
Suppose 0 = -2*b + 102 + 72. Is b a composite number?
True
Let v = -106 - -37. Let h = v - -192. Is h prime?
False
Let i(k) = -k**3 - k**2. Let m be i(-2). Suppose 3*q = b - 217, m*q - 2*q - 1051 = -5*b. Is b a prime number?
True
Suppose 5*h = 54 + 6. Suppose -46 = 5*l + 94. Is (75/h)/(-5)*l a prime number?
False
Suppose 11*v - 15*v + 596 = 0. Is v prime?
True
Suppose -5*a + 3 = -3*u, 3*a = -3*u - 2*u - 5. Suppose 4*o = 0, a*o - 3*o = -2*i + 106. Is i a composite number?
False
Let d = -19 + 45. Is (-28)/(-1)*d/8 prime?
False
Let j(q) = -91*q**3 + 2*q**2 - 2*q - 3. Is j(-2) prime?
False
Let f(m) = -9*m**2 - 1. Let h be f(1). Let c be 543/(-15) + (-2)/h. Let x = c - -59. Is x composite?
False
Is (-355)/(-6) - (23/(-6) + 4) a prime number?
True
Let h = -3 + 6. Suppose 0 = 3*n + 6, -3*z - h*n = -135. Is z a composite number?
False
Suppose 2*w + 4 = -0. Is w + 2 + 0 + 293 prime?
True
Suppose 3*n = -w + 2, -3*w - 2*w - 16 = 2*n. Let q = n + -1. Suppose 0 = -5*i + 2*b + 314, b + q = -1. Is i composite?
True
Let l(s) be the second derivative of s**4/12 - 2*s**3/3 - 7*s**2/2 + 4*s. Is l(7) a prime number?
False
Suppose 0 = 14*j - 16*j + 12. Is j prime?
False
Suppose v + 1488 = 3*i, 3*i - 4*i - 5*v + 512 = 0. Is i a prime number?
False
Let o(v) = -v**3 - 4*v**2 - 5*v - 6. Let i be o(-7). Suppose -2*s + 7*s - 50 = 0. Is i/20 + 2/s prime?
False
Let n(v) = -32*v + 5. Suppose -3*h - 20 = 2*h. Is n(h) a prime number?
False
Let h(v) = 34*v - 2. Let m(r) = -51*r + 3. Let p(x) = -7*h(x) - 5*m(x). Is p(2) a prime number?
False
Let v(x) = -2*x**2 + x - 3. Let c be v(-5). Suppose h - 23 = b + 5, -4*h = 4*b + 72. Let k = b - c. Is k prime?
False
Suppose -1934 = -3*v + 97. Is v a prime number?
True
Let m = 14 - 10. Suppose -43 = -m*x + 169. Is x a composite number?
False
Let o be (-436)/(-7) - (-4)/(-14). Let y = -32 + o. Is y + 1 + (-10)/(-5) a composite number?
True
Let t = 28 + 3463. Is t a composite number?
False
Let x(c) = -c + 2. Let r be x(0). Suppose r*h - 4*h = 0. Suppose -3*o + 2*z + 101 = -h*o, -4 = 4*z. Is o composite?
True
Let v(q) be the first derivative of -q**3/3 + 5*q**2 + 8*q - 2. Let j be v(8). Let u = j - -29. Is u a prime number?
True
Suppose -4*v - 4*q = 124, -32 = -5*v - 3*q - 181. Let a = 91 - v. Is a a composite number?
True
Let t be (-10)/5 - -34*4. Suppose 0 = -r - r + t. Is r composite?
False
Suppose 25 = -a + 6*a. Suppose a*z - 387 = 388. Is z a prime number?
False
Let b(t) = -t - 6. Let k be b(-11). Let j(d) = -d**3 + 7*d**2 - 5*d + 6. Is j(k) a composite number?
False
Suppose 3*w - 630 = 2*q + 293, 2*q - 919 = -3*w. Is w composite?
False
Let o(h) = -53*h - 11. Is o(-8) a prime number?
False
Let n(y) = 9*y - 2*y + 7*y + 1. Is n(6) a composite number?
True
Suppose -3*o = o - 1228. Let h = o + -14. Is h a composite number?
False
Suppose 4 + 0 = n. Suppose -n*u + 233 = -347. Suppose 3*v + 34 = u. Is v composite?
False
Let i = -89 - -293. Let z = i - 115. Is z composite?
False
Let l(k) = k**2 - 6*k + 6. Let i be l(6). Let h(t) = t**3 - 5*t**2 + 6*t + 7. Is h(i) a composite number?
False
Suppose 12*m = 17*m - 30. Is m a composite number?
True
Let s be (0 + -1)*(-3 - -3). Suppose s*b - 5*b = 10. Is b/(-8) - 174/(-8) a prime number?
False
Let g(b) = 571*b**2 + b + 3. Is g(-2) a composite number?
True
Let t(i) = i**3 - 3*i**2 + 2*i - 1. Suppose -m = m - 14. Is t(m) composite?
True
Let o = -11 + 5. Let q be ((-3)/(-2))/(o/(-16)). Suppose q*n - b = 135, 3*n = b - 3*b + 115. Is n prime?
False
Let a(u) = 3*u - 6. Let p be a(7). Let r be (-1)/(-2)*(-2)/1. Let g = p + r. Is g a prime number?
False
Let x = 4 - 6. Let k be (-2 + 2 - 1)*x. Suppose -2*z = 4 + 4, -k*o = 2*z - 20. Is o composite?
True
Let h(k) = 31*k - 3. Suppose u - 2 = -0. Is h(u) composite?
False
Let a = 192 + 253. Is a composite?
True
Suppose 0*o = 4*o - 204. Is o a composite number?
True
Is (41/(-3))/((-6)/414) composite?
True
Suppose p - 2796 = -3*p. Let q = p + -436. Is q prime?
True
Suppose p - 525 - 745 = c, p = -3*c - 3826. Is 2*c/(-4) + 4 a composite number?
False
Let n(v) = 5 + 2*v**2 - 2 - 2 + 5*v. Let g = -2 + -2. Is n(g) composite?
False
Let n be -5*(2 - (3 - 2)). Let j = 8 + n. Suppose 2*r + j*p = 42, 5*p = -r - 4*r + 105. Is r composite?
True
Let b(g) = 2*g**2 - 8*g - 3. Is b(6) composite?
True
Let u(t) = -1 + 9*t**2 + 2 + 194*t**2. Let k be u(-1). Is ((-4)/8)/((-2)/k) a prime number?
False
Suppose -4*s = -s - 4*g - 3831, 0 = -2*s - 4*g + 2554. Is s composite?
False
Suppose -273 - 241 = -4*b + 2*y, -b + 3*y = -136. Is b a prime number?
True
Let v = -4156 + 7095. Is v composite?
False
Let l = 3 + 5. Is (-2 + 54/l)*4 composite?
False
Suppose -575 = 4*i - 9*i. Suppose y = -2*y + 192. Let z = i - y. Is z a prime number?
False
Suppose -2*p + 55 + 23 = 0. Is p a prime number?
False
Suppose 0 = 2*d - 2*t + 7*t - 92, 0 = -t - 4. Let a = 93 - d. Is a prime?
True
Let r = 1945 - 1388. Suppose r = 7*o - 6*o. Is o prime?
True
Suppose 0*o = 5*o - 20. Let n = o - 4. Suppose 3*c - 115 = 4*w, n*w - w = 4. Is c a composite number?
True
Suppose -4*v = 4*o - 684, 5*v + 893 = 5*o + 48. Suppose -2*w = 36 - o. Is w prime?
True
Suppose 0 = v - 0*v. Let r(j) = -3*j**3 - 7*j**2 + 5*j - 107. Let l(t) = -4*t**3 - 10*t**2 + 7*t - 160. Let p(c) = -5*l(c) + 7*r(c). Is p(v) prime?
False
Let l(s) = -s**3 - 3*s**2 + 6*s + 5. Let m be 4/10 - 224/35. Is l(m) a prime number?
False
Let k(w) = -6*w**2 + 2*w - 3. Let q(n) = n. Let m(a) = -k(a) + 4*q(a). Is m(-4) a prime number?
False
Let j be (3/(-2) - -1)*-94. Sup