20 = -2*a + 2*m. Suppose -l + a = -0*l. Is l a prime number?
True
Let m = 3 + -7. Let q = m + 6. Suppose 0 = -q*l + 17 + 29. Is l composite?
False
Let h be (2 + -2)*1/(-1). Suppose -2*d + 90 + 88 = h. Is d prime?
True
Let f = 6 + -4. Suppose -y + 291 = f*y. Is y prime?
True
Let o(y) = 6*y**2 + 2*y - 1. Suppose 0 = -3*w - 2*l + 5, 5*w - 4 = 3*l - 2. Is o(w) composite?
False
Suppose -3*g - 4827 - 22057 = u, 44830 = -5*g + 3*u. Let m be (-2)/(-11) - g/11. Suppose -f = 4*f - m. Is f prime?
True
Suppose -u - 29405 = -5*w + u, -2*w + 2*u + 11768 = 0. Is w prime?
True
Let j(u) be the third derivative of 3*u**6/40 + u**5/20 - u**4/24 - 2*u**3/3 - 4*u**2. Suppose 3*q = 8*q + 4*n - 35, 0 = -q - 3*n + 18. Is j(q) prime?
True
Suppose 3*g = -r + 12, 2*g - 4*r + 3 = -3. Suppose -277 = -4*k - 3*q, -3*k + 68 = -g*q - 124. Is k prime?
True
Let d(j) = -j**3 + j**2 + 451. Is d(0) composite?
True
Let r(v) = -6*v**3 + 8*v**2 + 5*v - 4. Is r(-5) a prime number?
False
Suppose -4*w + i + 872 = 171, i - 343 = -2*w. Suppose 0 = -3*g + 1494 - w. Is 4/18 - g/(-45) a prime number?
False
Let y(f) = -f**3 - 5*f**2 + 6*f + 3. Let z be y(-6). Suppose -2*t = -3*t - z. Is 1*t + 1*96 composite?
True
Let o(w) = w. Suppose 0*q - 3*q + 12 = 0. Let f(u) = -5*u + 7. Let l(x) = q*o(x) + f(x). Is l(-7) prime?
False
Is (-1449)/(-14)*(8/(-3))/(-4) a composite number?
True
Let p(r) = r**3 + r**2 + r + 1. Let q(g) = -g**3 - 3*g**2 - 1. Let h(z) = 3*p(z) + q(z). Is h(5) prime?
False
Let r(q) = -3*q + 6*q**2 + 10*q**2 - 7*q**2 + 7. Is r(-4) composite?
False
Let a(n) = -11*n - 3. Let i(f) = 12*f + 3. Let d(v) = -5*a(v) - 4*i(v). Is d(4) a composite number?
False
Suppose -2*m + 6 = -2. Let r be 0 - -2 - (m + -4). Suppose 4*u - 3 = -4*z + 149, 3*u = -r*z + 77. Is z prime?
True
Let h be ((-116)/(-6))/(3/9). Let q = 361 + h. Is q prime?
True
Let f = -44 + 164. Suppose 20 = -3*c + 2*p + f, -2*p + 138 = 4*c. Is c a composite number?
True
Suppose 0 = 3*m + 2*m - 265. Suppose m + 44 = j. Is j a composite number?
False
Suppose -3*o = 5*t - 2703, -t = -o + 3*t + 901. Is o a composite number?
True
Let s(t) = 54*t + 29. Is s(14) prime?
False
Let p(f) = 4*f**2 - 7*f + 2. Suppose 9 = -4*l + 2*r - 3*r, -l = -3*r - 14. Let i = l + 8. Is p(i) a composite number?
False
Let a = -1 - -3. Let t be 634/1 - (a + 0). Suppose l + s + 4*s = 162, -4*l + t = 4*s. Is l prime?
True
Suppose a - 2*u = -4, 0 = -3*a - u + 3 + 20. Suppose -3 - 24 = -4*q + 5*n, -3*q + a = n. Is q/(-3) - -6 - 1 a composite number?
True
Suppose 0 = -4*u - 0*u + 316. Is u a prime number?
True
Let a be -1*(0 - (-1 - 1)). Let v(r) = -26*r + 1. Is v(a) prime?
True
Suppose 140 = b + 3*f, 0 = 5*f - 1 + 16. Is b prime?
True
Suppose 0 = -2*h + 4*r + 304, -3*r - 583 = 2*h - 6*h. Is h composite?
True
Let c(y) be the second derivative of 125*y**4/6 + y**2/2 + 4*y. Is c(-1) composite?
False
Let l(z) = 15*z**2 - 5*z - 13. Is l(9) a prime number?
False
Let j(t) = 13*t**3 - 6*t**2 + t + 11. Is j(6) composite?
False
Let z(i) = -i**3 - 7*i**2 + 3. Let d be z(-6). Let f = 55 + d. Is f a prime number?
False
Let w be 1/2 - 3/6. Suppose 2*j + 5 - 19 = w. Is j a composite number?
False
Let o(j) = -j**3 - 2*j**2 - 4*j. Suppose -3*s - 4 = 5. Is o(s) a composite number?
True
Let l(r) = -2*r**3 - 2*r**2 + 5*r + 4. Let z be (-4)/(2*1/(-10)). Suppose 0 = j - 3*a - 12, a = 5*j + 2*a + z. Is l(j) prime?
False
Let m be -3*(-30)/(1 - -1). Suppose -4*o + 59 = -m. Is (-4)/2 - (1 - o) composite?
False
Let r be (-3)/(-2)*(2 + -4). Let z(q) = 2*q + 2. Let b be z(r). Let v(f) = -19*f + 3. Is v(b) a composite number?
False
Suppose 7*a - 757 = 1014. Is a a prime number?
False
Let u(f) = -6*f**3 + 4*f**2 - 5*f - 1. Is u(-4) prime?
True
Let z(n) = -59*n + 3. Let g be z(-4). Suppose 41*k - 38*k = 468. Let y = g - k. Is y composite?
False
Let o be (-4)/(-10) - (-177)/(-5). Let p = 145 + o. Suppose -3*f - p = -8*f. Is f prime?
False
Suppose -347 = -3*v - 2*o, 3*v + 116 = 4*v + o. Suppose -v - 330 = -b. Is b composite?
True
Let c(t) = -91*t + 9. Is c(-4) composite?
False
Suppose -3*i = -5*i. Suppose 259 = -i*f + f - t, -t = 5. Is f prime?
False
Let p(k) = 8*k**3 - 3*k**2 - 4*k. Is p(3) a prime number?
False
Let v(u) = 90*u - 5. Is v(3) composite?
True
Let j be 4/(-14) + 788/14. Let p(m) = m**2 - 12*m + 1. Let i be p(6). Let o = j + i. Is o prime?
False
Suppose -53 = -r - n, -r - r = -5*n - 120. Is r a composite number?
True
Let x be ((-6)/3 - -5) + 34. Let d = x - -50. Is d prime?
False
Suppose 3*f - 41 = -143. Let n = f - 124. Is (1 - n)*(-1)/(-3) a composite number?
False
Let y be (-1)/(1 - 1 - -1). Let v = y - -6. Suppose 3*j - 36 = 2*k - v*k, -2*k - 5*j = -39. Is k composite?
False
Let m(y) = 260*y**3 - 2*y**2 + 2*y - 1. Is m(1) composite?
True
Suppose 1559 = 8*u - 785. Is u a prime number?
True
Let i(b) = -7*b**2 - 6*b + 2. Let o be i(4). Suppose -14 = -5*n + 46. Is 8/n - o/6 prime?
True
Let p be 5/(-20) + (-1122)/(-8). Is (p/(-8))/(-7)*398 a prime number?
False
Suppose 3*j - 2*x = -2, 5*j - 2 = 2*x - 4. Suppose 2*w - 3*w + 119 = j. Is w a composite number?
True
Let w(q) = q + 0*q - 5 + 10*q**2 + 6 - 2*q**2 - q**3. Let x = 0 - -4. Is w(x) a composite number?
True
Let v = 8224 + -2793. Is v prime?
True
Let s = 9 + -5. Suppose 0 = -l - 2*l + 765. Suppose s*v = l - 43. Is v a prime number?
True
Let c(s) = s**2 - 6*s - 5. Let q be c(7). Suppose -m - q*m = -1281. Is m prime?
False
Let o(j) = -2*j**2 - 24*j + 13. Let m(v) = v**2 + 12*v - 6. Let p(b) = -7*m(b) - 3*o(b). Is p(-6) a composite number?
True
Let r(f) = -f**3 - 6*f**2 - 8*f + 11. Is r(-8) prime?
False
Let w = 1 - 4. Let s = 8 - w. Is s a prime number?
True
Suppose 2*v + 5*l - 17 = 0, -5*v - 4*l + 5 = l. Let x(s) be the first derivative of -s**4/4 - 4*s**3/3 + 2*s - 1. Is x(v) prime?
True
Let h be (27/(-12))/3*-4. Suppose -f + 92 = 6*k - h*k, f - 4*k = 85. Is f a prime number?
True
Let z be (-1 - -1*13) + 0. Suppose -2*r = -0*r + z. Is 1/(-6) + (-223)/r prime?
True
Let r = -31 + 50. Is r prime?
True
Suppose 2*k = 4*f, -4*f - 16 + 4 = -5*k. Suppose -293 = -5*b - g, 5*g = k*b - 0*b - 246. Is b composite?
False
Let c = -3 + 6. Let u = 2 + -1. Suppose -u + 10 = c*h. Is h prime?
True
Let r be (-180)/8 + 6/4. Let p be (r/(-6))/(1/30). Suppose 2*a - 5*a = -p. Is a prime?
False
Suppose 0 = -u + 2. Is u/(-11) + 1707/11 composite?
True
Let n(s) = s**2 - s - 1. Let q be n(4). Suppose q*p = 14*p - 1419. Is p a composite number?
True
Let w = 4 + -6. Is (-6)/(-1) + w + 3 a composite number?
False
Suppose l + 4 = -4*o - l, -3*o - 2 = l. Let y be (o/(1 - 2))/2. Suppose y*x = 3*x - 63. Is x prime?
False
Suppose -5*z + 380 = -3*z. Suppose i - z = -5*b, -i + 1022 = 4*i + b. Is i a prime number?
False
Suppose 3*z - 8 = 2*z. Let r(a) = -a**3 + 8*a**2 - a + 9. Let y be r(z). Is -1 - (y + -9)*6 prime?
True
Suppose 15 = 5*d - y, 0 = -6*y + 5*y. Let o = 27 + -27. Suppose o = d*a - 22 + 1. Is a a prime number?
True
Suppose 5*m + 97 = 6*m. Suppose 0 = n + 4 - m. Is n composite?
True
Suppose -j + 280 = -3*v, -5*j + 2*v + 875 = -2*j. Is j a prime number?
False
Let o = -3 - -5. Let n(m) = o*m + 7*m + 1 + 3*m. Is n(3) a prime number?
True
Let l be 1/5 - (-57)/15. Suppose -4*t - t = -4*n - 155, 20 = l*n. Is t prime?
False
Is ((-1642)/(-4)*-3)/((-2)/4) a prime number?
False
Let i = -982 - -1655. Is i a composite number?
False
Is 77 - (2/5 - (-18)/(-45)) composite?
True
Let s(t) = t**2 - 4*t - 1. Let v be s(4). Let x = v + 6. Suppose -152 = x*l - 397. Is l a composite number?
True
Let a(c) = 89*c**2. Let v be a(-1). Let i = v - -22. Is i composite?
True
Let r = 5 + 30. Let n = 50 + r. Is n prime?
False
Let w be 1/(0 + -1) - 142. Let r = 276 + w. Is r a prime number?
False
Suppose -2*u = u - 6. Suppose -u*r - r = -417. Is r a composite number?
False
Let x(p) = p**3 + 5*p**2 + p. Let o(a) = -a**3 - 5*a**2. Let q(f) = -7*o(f) - 6*x(f). Let c be q(-6). Suppose -2*w + 70 = -c. Is w a composite number?
True
Let h = 9 - 5. Suppose 5*n - 635 = -h*q, 0 = -2*q - 3*q. Is n composite?
False
Let h(i) = -7*i - 2. Suppose -5*p - 30 = -5. Let u = 2 + p. Is h(u) prime?
True
Is (4/(-16))/(2/(-6472)) composite?
False
Suppose 0 = -2*k + 840 + 578. Is k composite?
False
Suppose 2897 = 6*b - 9997. Is b a composite number?
True
Let m be (35/(-2))/(-5)*2. Let c = m - 7. Suppose c = -0*