e 8*w - 3*w - d = 0. Is w composite?
True
Let i(s) = 2*s**2 - 8*s + 4. Let b be (-23)/(-5) + (-8)/(-20). Let n be i(b). Is (4 + -1)*n/2 prime?
False
Suppose 0 = 10*w - 5*w - 1445. Is w prime?
False
Let y = 2558 + -1234. Suppose 5*l + y = 9*l. Is l composite?
False
Let c = 22 - 0. Is c a composite number?
True
Let s = -215 + 550. Is s a composite number?
True
Let n = 7 + -5. Let y be (2/4)/(n/480). Let h = 173 - y. Is h a prime number?
True
Let n(i) = 3*i. Let z be n(1). Suppose 0 = z*d + 6, g + 6*d = d + 109. Is g a prime number?
False
Let r(x) = 2*x - x**3 + 7*x**3 - 4*x**3 - 5*x**2 + 4 - x**3. Is r(5) a prime number?
False
Let l(o) = 9*o + 1. Let s be -2 + (7 - 1) - -2. Is l(s) prime?
False
Suppose 3*a - 5*s = 95, 0*a - 3*s + 38 = 2*a. Suppose 4*v = a + 179. Let d = v - 29. Is d a composite number?
True
Suppose 0*y - y + 8 = 0. Let p = 14 - y. Is (-746)/(-14) + p/(-21) prime?
True
Suppose -7*y + 650 = 27. Is y composite?
False
Suppose -3*o - 30 = -6*o. Let q = 3 + o. Is q a composite number?
False
Let g(x) = -68*x + 27. Is g(-10) prime?
False
Let z = 8 + -6. Suppose 0*d = z*d - 10, -5*d - 150 = -5*u. Suppose -s + 2*s = u. Is s composite?
True
Suppose 6*p + 629 = 7*p. Is p a composite number?
True
Let v = 394 + -744. Let z = -235 - v. Is z a prime number?
False
Let u(k) = 8*k**2 - 6*k + 5. Is u(6) composite?
False
Suppose 7 - 17 = -5*n. Suppose -n*a - 508 = -g - 4*g, 0 = -a + 1. Is g/3*10/4 a composite number?
True
Suppose 0 = -4*u - 4*v - 964, 2*u - 3*v + 6*v + 479 = 0. Suppose 2*o - l - 782 = 0, -1 = 2*l - 9. Let z = o + u. Is z prime?
True
Suppose 0 = a - 0 - 2. Let l(f) = 2*f**3 + f**2 + 4*f - 3. Is l(a) a prime number?
False
Let l be 1 + 5/((-10)/(-4)). Suppose -l*w = -0*w + 96. Let o = 45 + w. Is o a prime number?
True
Suppose 5*v - 2*v + 6 = 0. Is -4 + v + 3 + 1064 prime?
True
Let q = 12 + -11. Let h(g) = 467*g. Is h(q) a prime number?
True
Let r = -1 - 6. Let n be 0 - -3 - -19*1. Let s = n + r. Is s a composite number?
True
Let r = -58 - -19. Let s = -109 - -185. Let v = s + r. Is v composite?
False
Is 22/4*(13 - -1) prime?
False
Let v be ((-20)/25)/((-4)/310). Let c = v + -9. Is c prime?
True
Suppose 0 = -3*k - 6, -3511 = -3*r + 3*k - k. Is r a prime number?
False
Let d be (-2)/11 + 57/11. Suppose -4*m - d*j = -222, -3*m - j + 186 - 14 = 0. Is m a composite number?
True
Let w = -209 + 1192. Is w prime?
True
Suppose 2771 + 3247 = 6*h. Is h composite?
True
Suppose h - 2*q - 8 = -3*h, 12 = -h + 4*q. Suppose 5*x - 4*j = 663 + 816, h*j = -4. Is x a prime number?
False
Let o = 10 + -5. Suppose 0 = 2*u + 8, 0 = -5*m - u + 19 - 8. Suppose p - o*p = 2*r - 58, 2*p = -m*r + 103. Is r a prime number?
True
Is -3 + (-6 + 4 - -751) a composite number?
True
Suppose 3 = -5*o - 2. Let h(i) = -6*i**3 - 8*i**2 + i - 6. Let d(y) = -y**2 - 1. Let z(c) = o*h(c) + 6*d(c). Is z(1) composite?
False
Let z = 1 - -4. Suppose 4*f + z*j - 66 = 0, -2*j - 98 = -4*f - 18. Is f a composite number?
False
Let h = -161 - -300. Is h prime?
True
Let t = 45 + -25. Suppose -2*u - 3*i + 9 + 10 = 0, -4*u + 47 = -3*i. Let v = t + u. Is v a prime number?
True
Suppose -170 = -g - 4*g. Let m = g - -10. Is 1 - (-1)/(2/m) prime?
True
Let q be (-301)/(-3) - (-14)/21. Let r = q - 66. Is r composite?
True
Suppose -37 + 2 = -u. Suppose -5*r - 3*n + 19 = 0, 0*n = -2*r + 3*n - 5. Suppose -67 = -4*m - 3*q, 4*m + q = r*m + u. Is m composite?
False
Let i be (0 + 4)/((-12)/18). Let s = -4 - i. Suppose -4*w - 10 = -o, -40 = o - 4*o + s*w. Is o prime?
False
Let p = 293 - 200. Suppose p = 4*z + 1. Is z prime?
True
Let j(i) be the first derivative of i**2/2 + 8*i - 3. Is j(-6) composite?
False
Let a = -436 - -911. Suppose -3*s + 5*y = -298, 0*s + 4*y = 5*s - a. Is s prime?
False
Suppose 22*w - 191 = 21*w. Is w composite?
False
Let r = 16 + -9. Suppose p + z = 128, 2*z - 146 = -p + r*z. Is p prime?
True
Suppose -5*o + 4*s = -685, 3*o - s + 4*s = 438. Is o prime?
False
Let o(b) = b**3 - 6*b**2 + b - 5. Let k be o(6). Let j = 4 + -2. Suppose j*z - 15 = -k. Is z composite?
False
Let y(g) = -g**2 + 10*g + 13. Let f be y(11). Suppose 6 = -3*m + 2*m + 4*b, 0 = -f*m - b + 15. Is (106/(-6))/((-2)/m) prime?
True
Suppose 8 + 0 = 2*h. Let l be 397/h - 3/12. Suppose 5*n - 1 - 4 = 0, 2*v = -5*n + l. Is v prime?
True
Let x = -3 + 8. Suppose -m = -h + 3, -x*m + 2 = -2*h + 8. Suppose -h*t = a - 181, -228 = -3*t - t + 2*a. Is t a composite number?
False
Suppose -4*k = 100 - 312. Suppose -3*f + 4*l = -0*l - k, -2*l + 59 = 3*f. Is f a composite number?
False
Let m(a) = -3*a**3 - 7*a**2 + 7. Is m(-6) composite?
True
Let o(h) = -h**3 + 11*h**2 + 15*h - 16. Let w be o(12). Suppose 0*x - 4*x + w = 0. Suppose -2*s + 64 = x*y - 2*y, -4*y = 4*s - 136. Is s a composite number?
True
Suppose 13 = 4*q + 229. Let d = -1 - q. Is d a composite number?
False
Let x be (-16)/32*(0 + -74). Let o = x - 18. Is o prime?
True
Suppose c = -3*c + 1028. Is c composite?
False
Let s = -591 - -1128. Suppose 52 = -b + s. Is b a composite number?
True
Let l be (1*-1)/(5/(-30)). Is ((-2)/l)/((-3)/20853) composite?
True
Suppose 10*j - 12 = 12*j. Is 1932/(-18)*9/j a composite number?
True
Suppose 2*m = -10 + 24. Suppose 2*t - m - 19 = 0. Is t a composite number?
False
Suppose 2*q - 5*q - 21 = 0. Is 3/q + (-2004)/(-21) a composite number?
True
Is ((-39)/(-4))/(3/20) prime?
False
Let k(s) = -7*s + 26. Is k(-15) a prime number?
True
Let x(l) be the third derivative of l**5/15 - l**4/8 + l**3/6 + 5*l**2. Let y = -5 - -9. Is x(y) composite?
False
Let m(w) = -2*w. Let a = -7 - 4. Let s(g) = g**2 + 11*g - 7. Let j be s(a). Is m(j) prime?
False
Let t = -1 + 1. Let n be 143*(t - 2)/(-2). Suppose -5*b = -2*o + n, 209 = 4*o + b - 110. Is o prime?
True
Let q = -5 + 4. Suppose -264 = w - 40. Is w/(-6) + q/3 a prime number?
True
Let q(m) be the second derivative of 5*m**5/4 + m**4/2 - 4*m**3/3 + m**2 + 6*m. Is q(3) a prime number?
False
Let d = -500 - -919. Is d a composite number?
False
Let q(i) = i**3 + 3*i**2 - i + 2. Let w be q(-3). Suppose x = -w*c - 7, -14 = -0*x - 4*x + c. Suppose -x = -s - f + 17, -16 = -s + 3*f. Is s a composite number?
False
Is 4272/(-8)*2/(-4) a composite number?
True
Suppose -2*f = -0*f. Suppose f = 4*m + 6 + 2. Is m/(-4)*(3 + 49) a prime number?
False
Suppose 25 = 5*u - 5*l - 0, -u + 15 = -3*l. Let v(s) = 7*s + 55. Let w(b) = -4*b - 28. Let f(r) = 3*v(r) + 5*w(r). Is f(u) a prime number?
False
Suppose 11*z = 5*z + 11418. Is z composite?
True
Suppose 3*t - 556 = -t. Is t a composite number?
False
Suppose -7*w + 3*w + 16 = 0. Let c = -88 - -91. Suppose -5*a + 86 = w*y - 3*a, 110 = 5*y + c*a. Is y a prime number?
True
Is 41 - (70/21 - (-2)/3) a prime number?
True
Let j(z) = z + 1. Let w be j(-1). Let k(p) = 0*p - 3 - 3*p - 7 + w*p. Is k(-7) prime?
True
Let h(w) = 34*w**3 + 6*w**2 - 2*w + 1. Is h(5) composite?
False
Let z be 40/24 + (-4)/6. Let v(f) = 317*f. Let k be v(z). Suppose -l - 3*m + 220 = 0, -3*m - k = 5*l - 1381. Is l prime?
True
Suppose 4*f - 170 = 4*x - 46, 2*f - 67 = x. Suppose 5*r - f = -11. Suppose -r*j + q + 130 + 140 = 0, -192 = -4*j - 4*q. Is j composite?
False
Suppose 3*s + 2*n - 133 = 0, 4*n - n + 153 = 3*s. Let v = s - -6. Is v composite?
False
Suppose -4077 = -2*q - q + 3*w, 3*w - 1367 = -q. Is q a composite number?
False
Let k(u) = 27*u**3 + 3*u**2 - 3*u + 2. Is k(3) a prime number?
False
Suppose 4*z - 6 = 14. Suppose -z*d + 35 = -30. Is d prime?
True
Suppose -4*b + 16 = -4*k, -3*b - 3 = 2*k - 0. Let p(r) = 10*r - b - 1 + 4. Is p(2) a prime number?
False
Is 415 - 2*(-2 - -3) composite?
True
Suppose -5*m = -20, 4*h - 3*m = -4*m + 24. Suppose 3 - 448 = -h*n. Is n a composite number?
False
Let w(d) = -d**3 - 2*d**2 + 7*d + 9. Let p be w(-6). Suppose -p = -5*u + 1144. Is u composite?
False
Let l = 4 + -1. Let c be l - 0 - 0/(-2). Is (-11)/(2 - c)*1 a prime number?
True
Let v(s) = -s**3 + s**2 - 10 - 9*s**2 - 10*s + 0*s**2. Let x be v(-7). Suppose -2*h - 3*f + x = -14, 4*h - 43 = f. Is h prime?
True
Let c be (-3)/(-3) + 2 + 2. Suppose c*t - 44 = 131. Is t composite?
True
Suppose -632 = -v + 125. Is v a prime number?
True
Suppose 4*r - 3*r = 4. Suppose 47 = r*m - 229. Is m a prime number?
False
Let v = 114 - -5. Is v a prime number?
False
Let f = 2 + 0. Let s(a) = 5 - 2 - f - 12*a + 0. Is s(-12) composite?
True
Sup