20 = 0, 0 = -4*l + 5*s - 7*s + 15782. Is l prime?
True
Let n = 0 - -3. Let f(i) = -i + 2 - 1 + n*i. Is f(9) prime?
True
Let i(t) = -17*t**3 - 2*t - 3. Let u be i(-2). Suppose 3*n - 283 = -n - 5*l, 0 = -2*n - l + u. Is n a composite number?
False
Let x(y) = 2*y**2 + 7*y - 12. Is x(11) prime?
True
Let g be 22/6 - (-4)/(-6). Suppose y + 3*r = 80, 0 = y + g*r - 4*r - 76. Is y a composite number?
True
Let l = -310 - -497. Suppose -2*s + 145 = -l. Is s composite?
True
Let v = 919 + -470. Is v composite?
False
Let b = 4 + -7. Let z be 126 + 2 + 0 + b. Let n = z + -58. Is n composite?
False
Let b = -7 - -73. Suppose -4*k = 2*d - 164, d + b = 2*k - 2*d. Let h = -13 + k. Is h a prime number?
False
Let k(i) = -i**2. Let v(r) = 5*r**2 + 12*r - 3. Let b(p) = -6*k(p) - v(p). Is b(14) prime?
True
Let i(m) = m**2 + 2*m + 1. Let p be i(-1). Is (-127)/1*(-1 + p) a prime number?
True
Let a = 12 + -8. Suppose -a*m + 102 = -n, m + n + 0*n - 28 = 0. Is m prime?
False
Let f = 13 - 10. Is f prime?
True
Is (-3)/(-9) - (-5464)/6 a composite number?
False
Let a = -3 - -3. Let b = a + 1. Let u(i) = 10*i**3 - i**2 + i. Is u(b) a composite number?
True
Let p be ((-44)/(-33))/((-1)/(-3)). Suppose -7*g + p*g + 3639 = 0. Is g composite?
False
Is (-128 + -6)*1/(-2) a composite number?
False
Let j(v) = 633*v**3 + v**2 - 1. Is j(1) a prime number?
False
Is -38*(10/(-4) + -1) a composite number?
True
Let x(h) = 23*h - 3. Let z(y) = -y + 1. Let k(t) = -3*x(t) - 6*z(t). Is k(-6) a composite number?
True
Let s be (0 + 1)/((-3)/(-6)). Is (-1*s)/(6/(-69)) a composite number?
False
Suppose 70 = 6*b - 4*b. Is b a composite number?
True
Suppose -8*h = q - 13*h - 10226, -5*h = -2*q + 20437. Is q a composite number?
False
Is 2/13 - (2 - 11815/13) prime?
True
Let i = 2 + 1. Suppose -2 = i*m + 1. Is -2*-145*m/(-2) composite?
True
Suppose -2*a = 2*a, 0 = -z + 5*a + 5. Let w = 10 - z. Is w/30 + (-226)/(-12) prime?
True
Let n(t) = t**3 + 8*t**2 + 5. Let c be n(-8). Suppose 250 = 2*o - c*i, 5*o + 4*i - 3*i - 571 = 0. Is o a prime number?
False
Suppose 0 = 2*p - 2*s - 56, p + 2*s - 130 = -3*p. Is p a composite number?
False
Let s = -135 - -64. Let d = s - -106. Is d a prime number?
False
Let q(c) = 52*c**2 - c - 1. Let r be q(-1). Suppose -o = i + 13, -113 + 37 = 4*o - 2*i. Let a = o + r. Is a a prime number?
False
Let k(y) = 76*y - 3. Let n be k(6). Let h = n + -262. Is h a prime number?
True
Let t(p) = 199*p. Let j be t(2). Suppose -3*a + j = 17. Is a a prime number?
True
Suppose 2*c + 2*o = 16, -5*c + 4 = 3*o - 30. Suppose 3*k + 253 = 5*a, 0 = -c*a + k - 5*k + 281. Is a composite?
False
Let i = 57 + 154. Is i composite?
False
Let o = -92 - -186. Suppose -6*q + 6 = -3*q. Suppose -q*y = -0*y - o. Is y a composite number?
False
Let u = -1655 + 3306. Is u prime?
False
Let w(n) = -n**2 + 10*n - 12. Let v be (-10)/(-3) - 4/(-6). Let d(u) = u - 1. Let h(o) = v*d(o) - w(o). Is h(9) a prime number?
False
Let k = -12 - -10. Is 144 + 1/((-1)/k) composite?
True
Is -3*(-16)/(-12) - -203 a prime number?
True
Suppose 0 = -5*j + 36 + 9. Suppose j = -4*y + 349. Is y a composite number?
True
Let a(h) = -164*h - 2. Let o be a(-3). Let r = o + -286. Suppose 5*m - r - 121 = 0. Is m a prime number?
False
Suppose 4*b = 12, 6*g - 3*g - 6 = -2*b. Suppose t + g*u = -3*u + 206, -181 = -t + 2*u. Is t composite?
False
Let r(c) be the third derivative of -c**6/24 + c**4/12 + c**3/6 - 2*c**2. Is r(-2) a prime number?
True
Suppose 3*v + 0*h = -2*h + 8371, 0 = 5*v + 4*h - 13953. Is v a composite number?
False
Let x = 171 - 50. Is x prime?
False
Suppose 0 = -132*d + 133*d - 1735. Is d a composite number?
True
Let x = -478 + 851. Is x a composite number?
False
Let o(w) = -3*w**3 - 5*w**2 - 4*w - 1. Suppose 2*m = 3*j - 7 - 6, 3*m + 15 = 3*j. Suppose 0 = -c - 3, 2*c - 8 = -j*p - 26. Is o(p) composite?
False
Let b(i) = 50*i**3 + i + 1. Let q be ((-6)/(-9))/(2/(-3)). Let l be b(q). Is (l + 2)/(-2) - -1 composite?
True
Suppose -14 - 1 = -5*u. Is (4/u)/((-8)/(-156)) a prime number?
False
Suppose 0 = 57*t - 56*t - 563. Is t a prime number?
True
Suppose o - 20 = -4*o. Suppose o*v = 39 + 1. Is 13/2*v + 2 a prime number?
True
Let p(l) = -47*l. Is p(-1) a composite number?
False
Let u(a) = -31*a**2 + 5*a - 3. Let y be u(-5). Let b = y - -1504. Is b a prime number?
True
Let o(w) = w**3 + w**2 + 6*w + 7. Is o(5) a composite number?
True
Let p(l) = -3*l + 1. Let t(q) = -q**2 + 4*q - 1. Let h(c) = -4*p(c) - 5*t(c). Is h(6) composite?
True
Let y = 2 + -1. Let n = -1 + y. Suppose n = j - l - 57, 4*j + 3*l - 129 = 71. Is j a prime number?
True
Let f = 4 + -1. Suppose -f*a + 135 = 1161. Let c = -215 - a. Is c a composite number?
False
Is 36932/21 - (-3)/9 composite?
False
Let v(b) = -2*b**3 - 7*b**2 + 3*b - 5. Is v(-7) a composite number?
False
Suppose -n - 4 - 17 = 0. Let k = 47 + n. Let b = k - -89. Is b a prime number?
False
Let y = 20 - 11. Is y a prime number?
False
Suppose -1985 = -0*j - 5*j. Is j a prime number?
True
Let x = -2 + 5. Suppose -5*j - 5*g = 325, -x*j + 8*j = 3*g - 301. Is j/(-6) + 1/(-3) prime?
False
Let m(w) = 4*w**2 - 5*w + 4. Let f be (-6)/9*-1*3. Suppose 17 = 3*y + f*y + 4*a, 5*y + a = 23. Is m(y) a composite number?
False
Let y = 2 - -3. Let u(s) = 4*s - 1. Is u(y) prime?
True
Let k be (2/4)/(1/(-4)). Is (-4)/(-6)*(-39)/k a composite number?
False
Suppose -345 - 3025 = -2*i. Is i a prime number?
False
Let y be (3/2)/((-6)/(-1648)). Suppose 265 = -2*u - 177. Let h = u + y. Is h composite?
False
Let v = -14 - -45. Is v prime?
True
Suppose -2*a + 100 = -0*a. Let d be (-3)/12 - a/(-8). Suppose -2*r - 140 = -4*y, d = -6*r + 3*r. Is y prime?
False
Suppose 0*o + 5 = o, -5*o = -3*b + 92. Is b a prime number?
False
Is 2/((-1660)/(-4908) - (-1)/(-3)) composite?
False
Let b be (-1)/(-3) + (-280)/30. Is 3 - 3/(b/894) composite?
True
Let r = 9 + -6. Suppose r*v - 7*v + 52 = 0. Is v composite?
False
Suppose -2*d + 3*y = -102, 2*d + 6*y - 116 = 2*y. Suppose 337 + d = 5*g - w, g - 3*w = 67. Is g a composite number?
False
Suppose 4*q - 6 + 33 = 3*m, 3*q + 5*m + 13 = 0. Is 346/18 + q/27 a composite number?
False
Let l(n) = -1. Let h(k) = -k + 2. Let d(x) = -6*h(x) - 7*l(x). Let p = 2 - -3. Is d(p) composite?
True
Suppose -20 = -3*u + 2*z, u - 2*z - 2*z - 10 = 0. Is (46/(-5))/(u/(-30)) a prime number?
False
Let j = -54 - -257. Is j composite?
True
Let l be 8/24 - (-5)/3. Let j be 2/4 + 7/l. Suppose 805 = o + j*o. Is o prime?
False
Let t(d) = 73*d - 3. Let n(w) = -37*w + 2. Let o(u) = -11*n(u) - 6*t(u). Is o(-3) composite?
False
Let v(n) = n**2 - 1. Let g(b) = -b**2 - 4*b + 3. Let c be g(-4). Let y be (c/6)/((-1)/8). Is v(y) composite?
True
Is ((-5042)/20)/((-1)/(-2))*-5 composite?
False
Let x(c) = c**3 + c - 5. Let m be x(0). Let j = m + 3. Let z = 35 + j. Is z prime?
False
Suppose 2*z - 6128 = -2*x, 1606 = -2*x - 4*z + 7740. Is x composite?
False
Suppose 0*n + 6 = -3*n. Let r(i) = -i + 2. Let b be r(n). Let z = 3 + b. Is z prime?
True
Let q be (-1 - -10) + 1 + 0. Let t(i) be the second derivative of i**4/12 - 7*i**3/6 + 13*i**2/2 - 7*i. Is t(q) composite?
False
Suppose -3*n + 253 = 931. Let t = n + 477. Is t composite?
False
Suppose 0 = -5*c + 4*z + 57, -4*c + 0*c + 56 = 2*z. Is c a composite number?
False
Suppose 0 = 2*n + 2 - 6. Let a(d) be the third derivative of 11*d**5/30 - d**4/12 - d**3/6 - 2*d**2. Is a(n) a composite number?
False
Suppose 0 = -2*q + 10 - 52. Let i = -15 - q. Suppose k = i*k - 185. Is k composite?
False
Suppose 0 = -14*f + 7*f + 11809. Is f a composite number?
True
Suppose 489 = 2*z + 109. Let n = -104 + z. Is n prime?
False
Let r = -1643 - -2520. Is r a composite number?
False
Is (-2 + 1)/((-3)/699) prime?
True
Let y(q) = -q**2 + 141. Is y(0) a prime number?
False
Let t(y) = y + 1. Let k(w) = -13*w - 7. Let d(l) = k(l) + 6*t(l). Is d(-1) prime?
False
Suppose -c - 3*c = 152. Let k = c - -75. Is k a composite number?
False
Let r = 31 - 57. Let o = r - -81. Suppose 7*j = 2*j + o. Is j a composite number?
False
Let x(j) = j + 7. Let l(f) = -f**2 + 5*f + 1. Let g be l(6). Let p be x(g). Suppose -y - 2*i = -93, p*y - 2*i = -2*y + 362. Is y a composite number?
True
Let r(f) = 5*f**2 + 4*f - 4. Let y be r(3). Is y/(2/2) - 0 a composite number?
False
Let k(l) = -13*l + 1. Let x be 4/22 - (-26)/(-22). Is k(x) prime?
Fal