 composite?
False
Suppose -143 = -6*m + 55. Is m composite?
True
Suppose 0 = i - 57 + 4. Let o(x) = -x**3 - x**2 - x - 1. Let l be o(-2). Suppose l*d - 392 - i = 0. Is d a composite number?
False
Let i(h) = -186*h + 37. Is i(-12) composite?
False
Suppose -z + 1076 = 3*i - 3007, -1361 = -i - 5*z. Is i a composite number?
False
Let m(o) be the third derivative of 31*o**5/60 - o**4/12 - o**3/3 - 5*o**2. Is m(-1) a composite number?
False
Let u(o) = -o**2 + 3. Let k be u(0). Suppose -h + 401 = k*i + 3*h, -4*i - 5*h + 533 = 0. Is i composite?
False
Let k(o) = 0 - 2*o**2 + 7*o + 2*o**2 - 5 - o**2. Let v be k(5). Suppose -v*c = -0*c - 50. Is c prime?
False
Let s(y) = -y**2 + 8*y - 6. Let l be s(7). Let z(q) = 4 + 14*q - l - 2. Is z(9) a composite number?
False
Is (-27)/(-18)*260/6 prime?
False
Let v = -11 - -15. Suppose 2*x - 4*r = 0, -r - 6 = -v*r. Suppose 81 - 5 = x*j. Is j a prime number?
True
Suppose -4*y - 5996 - 18904 = 0. Let z be (-2)/(-4) + y/(-10). Suppose z = 6*w - 3*w + 2*d, 849 = 4*w - d. Is w a prime number?
True
Let r = 6 + -1. Suppose 0*u + 4*u = -2*i + 566, -r*u = -i + 318. Is i prime?
True
Suppose i - 2*o = 14, 2*i - 3*o - 18 = 9. Is (i/18)/((-4)/(-762)) prime?
True
Let j = 15 - -16. Is j prime?
True
Let z = -16 - -35. Let b = z + 243. Suppose u + u - b = 0. Is u prime?
True
Is ((-2)/(-3))/((-4)/(-894)) composite?
False
Let c be 418/6 - 26/39. Let o = c + -4. Is o a prime number?
False
Suppose -5*g + 0*g = 0. Suppose g = -11*b + 6*b + 155. Let s = 6 + b. Is s a composite number?
False
Let d be (4/5)/(1/(-45)). Let v = -17 - d. Is v a composite number?
False
Let l = -362 + 621. Is l prime?
False
Let b = -78 - -144. Suppose b = -2*m + 4*m. Is m composite?
True
Suppose q - 2013 = 3*z, 2*q + z - 663 - 3328 = 0. Is 6/39 - q/(-26) a prime number?
False
Let q(v) = v**2 + 4*v + 16. Is q(-7) prime?
True
Let n(q) = 258*q**2 + 5*q - 4. Is n(3) a prime number?
True
Suppose -s + 4*k + 657 = 0, -1998 = -3*s + k + 2*k. Is s composite?
True
Is -1 + (-5)/(-10) + (-7555)/(-2) a composite number?
True
Let s(k) be the second derivative of 11*k**3/6 + 3*k**2/2 + k. Let f = -21 + 27. Is s(f) a composite number?
True
Let p(l) = -l**3 + 8*l**2 + 2. Let f be p(8). Is f/4 - (-392)/16 a composite number?
True
Suppose -2*j + 48 = 3*h - 5*h, 2*j - 49 = h. Let k = j + -9. Suppose -b + k = -10. Is b a prime number?
False
Suppose -u + 0*u = -339. Suppose -2*k + u = k. Is k a prime number?
True
Suppose -3*q - 1584 + 5265 = 0. Is q composite?
True
Suppose 3*m = 0, 0*n + 2*m = -2*n. Let f(o) = -o**2 - 2. Let k be f(n). Let c = k + 8. Is c prime?
False
Suppose 0 = -t - 3*v + 2 + 23, -2*t - 4*v = -48. Suppose -5*i + 48 = -t. Is i prime?
False
Suppose 3*u + 0 - 45 = 0. Let c be (-78)/u*(-5)/(-1). Let o = -16 - c. Is o a composite number?
True
Let c(n) = -22*n + 7. Is c(-4) composite?
True
Let j(z) = -448*z - 1. Is j(-3) composite?
True
Let v(n) = -n**2 - 14*n - 10. Let c be v(-6). Let x = 63 - c. Is x prime?
False
Let t = 8 - 4. Suppose 36 + 88 = t*j. Is j prime?
True
Let u(k) = -k**3 - 2*k**2 + 4*k + 2. Let f = -6 + 1. Let w be u(f). Suppose 3*n = -0*n + w. Is n a composite number?
False
Suppose -2*o - 172 = -p - 5*o, 5*o - 10 = 0. Is p a composite number?
True
Suppose -20*n = -5*n - 31425. Is n prime?
False
Let w(z) = -100*z + 21. Is w(-11) a prime number?
False
Suppose -4*p = -1927 - 1077. Is p a prime number?
True
Suppose -y - 2*k = -81, 0 = 2*y - 0*y + 5*k - 159. Is y a prime number?
False
Let g = -5 + 10. Let r(h) = 14*h - 4. Let a(v) = 21*v - 6. Let j(s) = g*a(s) - 8*r(s). Is j(-5) a prime number?
True
Let w be ((-3)/2)/((-1)/(-2)). Let i(b) = 2 + 0*b + 3*b**2 + 3*b + 3*b**2 + 3*b**2. Is i(w) a prime number?
False
Let b(s) = -11*s - 4. Let i(p) = 21*p + 7. Let u(j) = -5*b(j) - 3*i(j). Suppose -14*x + 24 = -18*x. Is u(x) a prime number?
True
Let j(k) = 2*k**2 - 3*k + 1. Let d = 2 + 0. Let x be j(d). Suppose -127 = -x*f + 74. Is f a composite number?
False
Suppose 2*l + 0*l = 676. Suppose 4*s + 2*t - l = 0, t = 2*s - 0*s - 171. Is s composite?
True
Let w(t) = t**2 + 7*t + 1. Let b be w(-11). Suppose 3*y + 2*u = -74, 5*u = y - 4 + 40. Let s = b + y. Is s a composite number?
False
Let o = 1754 - 385. Is o prime?
False
Let t be 4 + -1 - (-56 - -4). Suppose -4*f + 7*f + 18 = -m, -f + 154 = -5*m. Let j = t + m. Is j a prime number?
False
Suppose 4*k + 5 = -11. Let t be 284 - (5 + 1 + k). Suppose 5*q - t = 2*q. Is q a prime number?
False
Let t(w) = -162*w + 7. Is t(-3) a prime number?
False
Let t(k) = -9*k - 14*k + 2*k - 6*k - 1. Is t(-8) a composite number?
True
Let y = -7 + 9. Suppose x + y*x - 5*i - 61 = 0, 3*i = x - 19. Is x a prime number?
False
Suppose -6*q + 958 + 326 = 0. Is q prime?
False
Is 1/(-4) - ((-407385)/(-20))/(-9) prime?
False
Suppose s - 223 = 220. Is s a prime number?
True
Suppose 4*w - 118 = 5*n, 2*w - n = -5*n + 46. Suppose 181 = 5*d + 4*z, d + z = w + 10. Is d a composite number?
True
Suppose -3*d + 28029 = -4*b, -4*b + 9119 + 240 = d. Is d a prime number?
False
Let q be 3/(9/6) + 13. Let h be 10/4*(-18)/q. Is (-4 - -1)/(h/33) composite?
True
Let t(m) = -1212*m**3 + 3*m**2 + m - 1. Is t(-1) a composite number?
False
Suppose 5 = -5*d - i, -2*d - 3*i - 1 - 1 = 0. Let q(g) = 2*g**2 + g + 1. Is q(d) a composite number?
False
Let w = 147 + -207. Let p be w/(-14) - (-2)/(-7). Suppose p*a = -5*q + 75, -5*q = -0*a - 3*a - 110. Is q a composite number?
False
Let p = -1026 - -1537. Is p composite?
True
Suppose -2*n - 5*y = -3*n + 14, -3*n + 3*y + 18 = 0. Suppose n*b - 15 = -b. Suppose -4*s - 4*v = v - 125, s = -b*v + 40. Is s composite?
True
Let d(k) = -146*k**3 - 2*k**2 - k. Is d(-1) a composite number?
True
Suppose 6*j = -3*t + j + 15, -5*j + 15 = 4*t. Suppose 4*p - 2143 = -t*p + 3*s, 2*p + s - 1069 = 0. Is p a prime number?
False
Suppose 0 = 2*q + 3*q - 835. Is q prime?
True
Suppose -2*v + 3*v = -2*k + 539, -v - k + 543 = 0. Is v prime?
True
Let y(j) be the first derivative of 4*j**2 - 10*j - 1. Let o be y(-7). Is o/(-2) + (-4)/(-2) a prime number?
False
Let z be ((-72)/15)/4*5. Let v be (-4)/z + (-4)/(-3). Suppose -36 = -v*j + 190. Is j composite?
False
Let r be (-21)/63 - 3/((-18)/152). Let a(d) = 6*d**2 + 3*d - 1. Let s be a(-3). Let l = s - r. Is l composite?
False
Suppose 2*o + 7 = -2*o + 3*u, -5*o = -2*u + 7. Is o*-14*(-62)/(-4) a prime number?
False
Is (1 + 6/(-9))*4629 composite?
False
Let t be 14/6*(-1 - -10). Suppose -2*a = -3*h - 5 + 3, -h = -5*a - t. Let g = 1 - a. Is g a composite number?
True
Let f = -164 - -238. Let o = f + -27. Is o prime?
True
Suppose 123 = 5*m + 2*g - 4*g, 4*g + 131 = 5*m. Suppose 4*k + 12 = -p, 4*k + 13 + m = 5*p. Is k/2 + 39/3 a prime number?
True
Let g(o) = -o**3 + 2*o**2 + 1. Let v be g(2). Suppose -5*a + 2 = -2*n + 3*n, 5*a + 4*n = -7. Is v/2*326/a prime?
True
Suppose 0 = 3*o - 6*o + 201. Let v(s) = 8*s**3 + s**2 + s. Let y be v(-1). Let q = o + y. Is q a composite number?
False
Let f(j) = 3*j - 15. Let k be f(6). Suppose -k*p - p = -676. Is p a composite number?
True
Let j = -3977 + 8178. Is j a composite number?
False
Suppose -2*k + 0*k + 3*w = -180, 475 = 5*k + 5*w. Let u = k + -47. Is u composite?
True
Let g(t) = 21*t**3 + t**2 + 2*t + 1. Is g(2) prime?
False
Let g = 1105 - 756. Let n = g - 222. Is n composite?
False
Suppose z - 2 = 3*z. Is 1 + 2 + z - -36 composite?
True
Let f = -75 + 0. Let x = -40 - f. Suppose -2*y - 3*q = -2*q - 14, -3*q + x = 5*y. Is y composite?
False
Let w(t) be the third derivative of t**6/120 + t**4/24 - t**3/6 - 3*t**2. Let n be w(1). Is (n - 1 - 46)/(-1) composite?
True
Is 6/(-8) + 1389/12 a prime number?
False
Let z be (-36)/(-1) + -1 + 2. Let j = -47 + 129. Let t = j + z. Is t a prime number?
False
Suppose 477 = 4*r + 129. Is r prime?
False
Let r(u) = 2*u**2 + 7*u. Let o(c) = c**2 + 4*c - 5. Let w be o(-5). Let z be 0 - ((w - 5) + 0). Is r(z) a composite number?
True
Suppose 0 = 5*t - 502 - 503. Is t a prime number?
False
Let t(l) = l**3 + 5*l**2. Let p be t(-5). Suppose z = -p*z + 1. Is (2/((-6)/(-447)))/z composite?
False
Let w(f) = 9*f**2 - 1. Suppose -4*p + 5 = -q, 0 = q - 3*q + 6. Let g be w(p). Suppose -2*n + 3*n + 4*v - g = 0, -3*v = -9. Is n prime?
True
Suppose 5*i - u = -3*u + 12615, 4*i + 5*u - 10109 = 0. Suppose -4*k + d + i = 0, 5*d = -k - 252 + 898. Is k a prime nu