 = 0, 10 = 5*s. Is w prime?
False
Let i = 437 + -189. Let w = -121 + i. Is w composite?
False
Let w = -5 - -8. Suppose 0 = -5*t - 3*o + 811, -o - w*o + 491 = 3*t. Is t a prime number?
False
Let j(z) = 18*z + 1. Is j(2) prime?
True
Suppose 2*s = 3*z - 13, -5 = 3*s + 1. Is (z - -11)*11/2 a composite number?
True
Let l(w) be the second derivative of 2/3*w**3 + 1/12*w**4 + 5*w**2 + 0 - w. Is l(-7) prime?
True
Suppose 4*z + 2*x - 5*x = 19, -4*z - 4*x = -12. Suppose z*s - 728 + 244 = 0. Is s a prime number?
False
Let c = 39 + 29. Suppose -c = -4*h - u + 46, 2*u - 144 = -5*h. Is (h/10)/(2/10) a prime number?
False
Let a(z) = -5*z**3 - 9*z**2 - 2*z + 9. Is a(-3) a prime number?
False
Suppose 5*s = i + s - 3739, -4*i - 5*s = -14851. Is i a prime number?
True
Let m be (-119)/(-2) + (-6)/(-12). Let p = m + -5. Is p a composite number?
True
Suppose -3*w = -0*w + 5*q + 721, q + 737 = -3*w. Let r = w - -432. Is r composite?
True
Suppose 4*w - 299 = 705. Is w a composite number?
False
Let f(u) = 5*u**2 + 2*u - 7. Let x(y) = -y**3 + 9*y**2 + 5. Let h be x(9). Let c be f(h). Let r = c + -85. Is r composite?
False
Let b be (-8)/(-10)*(-5)/(-2). Suppose 2 + 3 = 5*i, 0 = -c - b*i + 1470. Suppose -3*z - 1462 = -5*s, -5*s + c = -2*z + 5*z. Is s composite?
False
Suppose a - 3*a = 6, a = 4*c + 17. Let w(t) = t**3 + t**2 - 1. Let o(v) = -4*v**3 - 8*v**2 + 5*v + 7. Let x(j) = -o(j) - 3*w(j). Is x(c) a composite number?
True
Suppose 717 = 2*v + v. Let a = v + -142. Is a a composite number?
False
Let l(a) = -9*a**3 + 3*a**2 + 3*a + 6. Let x be l(-3). Let u = x + -140. Is u composite?
False
Let d(g) = 4*g**3 + g**2 + 3*g - 3. Is d(2) composite?
True
Suppose 0*a = -4*a - 8. Let q(d) = 6*d**3 + d + 5. Let y(b) = -3*b**3 - b - 3. Let u(o) = -4*q(o) - 7*y(o). Is u(a) composite?
False
Let z(a) = 53*a**3 - a**2 + 2*a - 1. Let j(o) = 15*o**3 - o**2 + o + 1. Let h be j(-1). Let y be (-20)/h - 1/4. Is z(y) a prime number?
True
Suppose 4*n - 5*q - 125 = 0, 4*n + 4*q = 52 + 64. Is (24/n)/((-4)/(-170)) a prime number?
False
Suppose -5*n = -0*n - 690. Let h = -69 + n. Suppose 0 = -2*c - c - 5*m + 106, -5*m + h = 2*c. Is c composite?
False
Suppose -t = -3*o + 4*t - 2, -5*t = 4*o - 44. Let d be (-2 + 4)/((-4)/o). Is 2 + -2 + (-195)/d a composite number?
True
Suppose -3*w + 5*v + 4438 = -1370, v - 3859 = -2*w. Is w a composite number?
False
Is 11/2 - 24/(-16) composite?
False
Let p(b) be the second derivative of -16*b**3/3 + b**2/2 + b. Suppose -4*q - 6 + 2 = 0. Is p(q) prime?
False
Let a = -678 + 1175. Is a a composite number?
True
Suppose 0 = -3*r - s - s + 168, -3*r - 5*s + 177 = 0. Suppose 2*n - 124 = r. Is n a composite number?
False
Suppose 4*s = 2*s. Let r be 2*((-22)/(-4) - s). Let b = 26 + r. Is b a composite number?
False
Let s = 179 - 120. Is s prime?
True
Let m(a) = -127*a**3. Let x be 1/((-1)/2*2). Is m(x) a composite number?
False
Let h = -75 + 109. Let f = h - 21. Is f a prime number?
True
Suppose -16 = q - 5*q. Suppose -z + g + 16 = -37, -q*z - 5*g + 230 = 0. Is z composite?
True
Let j(x) = 40*x**2 - 5*x - 22. Is j(-7) composite?
False
Let g be (0 - (-3 + 4)) + 3. Suppose g*n - 339 = -n. Is n composite?
False
Suppose -5*w + u = -635, -254 = -2*w - u - 0*u. Is w composite?
False
Suppose 0 = -4*p + 70 + 18. Is p composite?
True
Suppose -2*u + 3*u = 757. Suppose -40 = i - u. Is i composite?
True
Let h(a) = -a**2 + 5*a - 7*a + 1 + 3*a**2. Let j(i) = -2*i**2 - 2*i - 2. Let o be j(-2). Is h(o) prime?
False
Suppose 2*y - u = -6, -4 + 2 = 2*y + u. Is y + 2 + 170/2 composite?
True
Let g(o) = 49*o**2 + 3*o + 1. Is g(-2) prime?
True
Let n(p) = -37*p - 1. Suppose -3*b - 22 - 14 = 0. Is n(b) composite?
False
Let r(w) = 2*w**3 - w**2 - 3*w + 1. Is r(5) prime?
True
Suppose 0 = 87*g - 83*g - 1076. Is g a composite number?
False
Let v be (-2 + 0)/(7 + -5). Is (29 - -4)*v/(-3) a prime number?
True
Suppose 2*f + 2*f = 16. Suppose 0 = 2*x - f*v - 98, 0*x + v + 51 = x. Is x a prime number?
True
Let a(z) = z. Let r be a(4). Suppose 2*y = -8, 0*l + 320 = r*l + 3*y. Is l composite?
False
Let l be (2/3)/((-4)/(-642)). Let i = l - 49. Is i prime?
False
Suppose -2*t + 0 - 52 = 0. Suppose -5*h + 15 = -p, 2*h = -2*p + 6 + 12. Let o = p - t. Is o composite?
False
Suppose -7*h = -3*h. Suppose 4*k - 136 = -h*k. Is k a composite number?
True
Let d(x) = x**2 - x + 1. Let u(f) = 64*f**2. Let k(z) = d(z) + u(z). Is k(1) prime?
False
Suppose 4*b = b + 3. Let t be (-2 + b)/(5 - 4). Is 84 + -5 - (t + 1) a composite number?
False
Suppose -37*i - 369 = -40*i. Is i prime?
False
Is (1 - (3 + 71)*-1) + -1 prime?
False
Let a(c) = -23*c + 8. Is a(-3) a prime number?
False
Is 18993/91 - 2/(-7) prime?
False
Suppose -5*s + 4523 = -4*b, 4*s - 3*b = -8*b + 3643. Is s a prime number?
True
Let b(f) = 171*f - 5. Let t(y) = 43*y - 1. Let i(q) = -2*b(q) + 9*t(q). Is i(2) composite?
True
Is (-8)/44 - (-11079)/11 composite?
True
Let h(m) = -4*m**3 - 2*m**2 + 11*m + 14. Is h(-5) composite?
False
Let q(b) = -35*b + 5. Let t(m) = 9*m - 1. Let f(s) = -8*s - 1. Let w be f(-2). Let l(i) = w*t(i) + 4*q(i). Is l(-6) prime?
False
Let j = -7 - -7. Let k = -23 - j. Let w = k - -46. Is w composite?
False
Let l be ((165 - 2) + 2)/1. Suppose 0 = -4*z + 47 + l. Is z a composite number?
False
Let f(s) be the first derivative of 40*s**3/3 - s**2 + s + 4. Is f(2) composite?
False
Let o(j) = 52*j. Let z be o(1). Suppose -8 = -w + t, t - 2*t = 4*w - 17. Suppose 2 - z = -w*l. Is l a composite number?
True
Is (8/12)/(2/1266) composite?
True
Let d(g) be the first derivative of -g**2/2 - 4*g - 2. Let w be d(6). Is (-1329)/(-15) - 4/w prime?
True
Let x(s) be the first derivative of -s**4/2 - 2*s**3 - s**2/2 + s + 2. Is x(-4) composite?
False
Is (3261/30*-2)/((-5)/25) a composite number?
False
Let h be (-2)/6 + 49973/33. Suppose 4*i + 2*v = -3*v + h, v = 3*i - 1145. Is i composite?
True
Suppose -c + 3*c - 238 = 0. Is c a composite number?
True
Is (-8)/(-6)*3195/30 composite?
True
Suppose -12 = -v - 3*v. Suppose -v*p - 11 = -77. Is p composite?
True
Let b(u) = 27*u**2 - 3*u + 3. Let x be b(2). Let q be (-6)/((-4)/(312/9)). Let c = x + q. Is c prime?
True
Let x = 0 + 0. Suppose b + 0*b - 14 = x. Let a = 37 - b. Is a prime?
True
Let o = -325 + 576. Is o composite?
False
Let l(b) be the second derivative of b**5/20 + b**4/4 + b**3/6 - b**2 - b. Let c be l(-2). Let s = c - -22. Is s composite?
True
Let s(b) = b**2 + 3*b - 5. Let v be s(-5). Suppose j = v - 1. Is (2/j)/((-4)/(-112)) a composite number?
True
Suppose -2*i - 784 + 6306 = 0. Is i prime?
False
Let q(t) be the first derivative of -t**4/4 - t**3/3 + 6*t - 1. Let s be q(0). Let d(f) = 12*f + 2. Is d(s) a composite number?
True
Let r(m) = 277*m**3 + m**2. Let b be r(1). Suppose 4*t = b + 318. Is t composite?
False
Suppose b - 6*b + 5495 = 0. Let m = b - 770. Is m a prime number?
False
Let t(m) = 2*m - 11. Let h(w) = 4*w - 21. Let l(c) = 4*h(c) - 7*t(c). Let n be l(6). Suppose -a + 54 = -z + 6*z, 20 = 4*z - n*a. Is z composite?
True
Is (745/25)/((-1)/(-5)) composite?
False
Let w = 5 - 1. Let t(g) = -g**3 + 5*g**2 + g - 5. Is t(w) a prime number?
False
Let b(w) = -w**2 - 4*w - 3. Let i be b(-2). Suppose 4*c - 5 = -i. Is c*(3 + -6) + 29 a composite number?
True
Let z(a) = 7*a**3 - 5*a**2 - a + 12. Is z(5) prime?
True
Let l = 673 - -36. Is l a prime number?
True
Is -8 + (-432)/(-3) - (3 - 0) composite?
True
Suppose 5 = 4*r - 3*r. Suppose 0 = -3*v + 2*q + 53, 0*v = r*v + q - 71. Is v prime?
False
Suppose 0 = 2*n - 0*n. Let a(l) = -l**2. Let g be a(n). Suppose g*m + 3*m = -3*t + 51, -5*m + 77 = t. Is m a composite number?
True
Let u be 3370/(-12) + (-4)/24. Let y = u - -472. Is y a composite number?
False
Let w = 2 + 1. Suppose 0 = -2*u, 0 = 2*a - w*u - 43 - 23. Is a composite?
True
Suppose 0 = -4*z + 5*i - 0*i + 5571, -5606 = -4*z - 2*i. Is z a composite number?
False
Let h(n) = -n**2 - 7*n - 3. Let z be h(-6). Suppose -z*j = -2*j - 4*w, 4*j - 5*w = 0. Suppose j = -7*o + 3*o + 1492. Is o a composite number?
False
Suppose -3*f + 381 = 120. Is f a prime number?
False
Let t(l) = 44*l - 7. Is t(6) prime?
True
Let x(v) = -v**3 + 16*v**2 - 28*v + 12. Is x(13) prime?
False
Suppose 0*n = -3*n + 30. Suppose 1343 = -n*i + 5*i + 2*h, i = -4*h - 251. Is (i/(-6))/(1/2) a composite number?
False
Let n(i) = 2*i**2 - 