m*w = -45. Suppose 0*b - b + t = r, 0 = 4*r - 2*b - 46. Is r composite?
False
Let h(b) = 83*b**2 + b - 1. Let v be h(2). Suppose 0 = 3*w - 4*w + 118. Suppose -4*s + 101 = f, 0 = 5*f + 2*s - w - v. Is f composite?
False
Let w(x) = -9*x**2 - 2*x - 1. Suppose -r = -4*r - 21. Let i(v) = -10*v**2 - v - 2. Let f(z) = r*w(z) + 6*i(z). Is f(8) composite?
False
Suppose -t + 813 = 3*o - 2*t, 0 = -o - 3*t + 271. Is o prime?
True
Suppose 2*t - q - 440 = q, -1099 = -5*t + 4*q. Let k = -124 + t. Is k prime?
False
Let s = 2 - 2. Suppose 0 = r - 4*d + 68, -2*r + 3*d - 127 - 24 = 0. Is (-1 + s)/1 - r a prime number?
True
Suppose 3*l - 5*i = -3*i - 4, -2*l + 19 = 3*i. Suppose 4*z = 12, -r + l*z + 22 = -129. Is r a prime number?
True
Let x(s) = -29*s. Let d be x(1). Suppose 0 = -0*c + c + 48. Let j = d - c. Is j prime?
True
Let f(i) = -17*i**3 - 8*i**2 - 6*i - 2. Is f(-4) a composite number?
True
Suppose -8 = o - 3*o. Suppose -o = g - 29. Is g a prime number?
False
Suppose -y = z - 6, 0*z = 5*z + 4*y - 25. Let g = z - 1. Suppose r + d - 2*d - 77 = g, 2*d = 0. Is r a prime number?
False
Let d be ((-3)/4)/((-5)/20). Suppose t - 5*s + 1 = -d*t, -4*t + s = 13. Is t/(-18) - (-313)/9 prime?
False
Suppose 4*a + 3 = -3*x, 3*a - 19 = 4*x - 2*x. Suppose 2*v = -a*h - 2*v + 455, 0 = -4*v + 8. Is h a composite number?
False
Let q be 534/(-8) - 2/8. Let s = -36 - q. Is s a composite number?
False
Suppose -3*q = -5*q + 1730. Is q a composite number?
True
Let w = -3 - -3. Suppose -5*n - 15 = w, 2*k - 5*n = 16 + 37. Is k composite?
False
Suppose 0 = q + 2, 2*r - 2*q = r + 4. Let h be (r - 2)*-1 - -1. Is 1 + (3*18)/h prime?
True
Let q(g) = 116*g + 1. Let h be q(1). Suppose h = r + 20. Suppose -4*x + 3*x + r = 0. Is x prime?
True
Suppose i + 15 = 5*u - i, 0 = 2*u - i - 5. Suppose -3*s = -2*a + 295, -u*s - 36 - 122 = -a. Let t = 222 - a. Is t prime?
True
Let s = 5 + 64. Is s prime?
False
Let m(a) = -a**2 + 4*a - 3. Let d be m(3). Suppose 3*v = 5*s + 6, -s - 2*v + 4 + d = 0. Suppose s = 4*f + f - 175. Is f a prime number?
False
Let a(g) be the third derivative of g**5/60 - 5*g**4/24 + g**3/6 - g**2. Let l(w) be the first derivative of a(w). Is l(7) composite?
True
Suppose -u + 26 = -412. Let l = u + -137. Is l a prime number?
False
Let c be 1/(-2*(-3)/(-348)). Let s = c + 199. Is s prime?
False
Let i be (-2 + 3/3)*-47. Suppose o + i = 418. Is o composite?
True
Suppose -16 = r + 62. Is (-4)/6*r/4 a prime number?
True
Let n = -16 - -20. Suppose -n*q + 42 = -106. Is q a prime number?
True
Let q = 4 - 6. Let f be (-3 - -1)*(q + 0). Let h(m) = -m**3 + 4*m**2 + 2*m + 3. Is h(f) prime?
True
Let v = 29 + -17. Let o be 2*3/(v/(-22)). Let a = o - -36. Is a composite?
True
Let y = 28 - -11. Suppose y = 5*v - 36. Is v a composite number?
True
Let s be 2/(-8) + (-1935)/36. Let w = 4 - s. Is w composite?
True
Suppose 3 = -u - 12. Let k be 4/10 + (-24)/u. Suppose -3*t + 2*g - 23 = -4*t, -k*t + 34 = g. Is t a composite number?
True
Let t(c) = c**3 + 5*c**2 + 2*c + 4. Let z be t(-4). Let b be 56/z - (-4)/(-6). Suppose b*w = 234 + 218. Is w composite?
False
Let u(w) = w**3 - 5*w**2 - 5*w - 7. Let z be u(6). Is (z/2)/((-13)/12454) prime?
True
Let g be ((-15)/(-2))/(9/306). Suppose 4*s = -3*m - 2*m + 255, -g = -5*m + 2*s. Is m a composite number?
True
Let p be (-3)/2 + 3/2. Let s = p + -1. Is (0 - (-5)/s)*-3 composite?
True
Suppose 0 = 3*r - 848 - 844. Let m = -297 + r. Let y = m + 20. Is y composite?
True
Let w be (-1 - 1)*(-70)/(-4). Let v = -13 - -71. Let t = v + w. Is t composite?
False
Suppose n = 2*w + 4, 0 = -4*n + 3*n - 5*w + 25. Let z(t) be the first derivative of t**4/4 - 10*t**3/3 + t**2/2 + t - 4. Is z(n) a prime number?
True
Is 7*(-2)/(-7) - (-48 + -1) a composite number?
True
Let c = 0 + -1. Let f(t) = t**3 + 7*t**2 + 7*t + 3. Let k be f(-6). Is c/k - 110/(-3) a composite number?
False
Suppose 2*l - 510 = -2*v, 2*v + 340 = -5*l + 1603. Is l composite?
False
Let h(n) be the second derivative of n**4/2 + n**3 + 3*n**2/2 + 3*n. Is h(5) a composite number?
True
Suppose k - 64 = 101. Let q = -112 + k. Is q composite?
False
Suppose -g + 4*f = -17 - 28, -5*f + 54 = g. Is g a prime number?
False
Let n(x) = x**2 - x - 16. Let j be n(0). Let h be (35 - -1)/2 - 1. Let v = h - j. Is v a composite number?
True
Is ((-7)/(-2) + -2)/((-30)/(-19480)) a composite number?
True
Suppose 0 = 3*h - 27 - 606. Is h a composite number?
False
Let y be 0/(-3 - -2) - 0. Suppose y*p + p + 10 = 0. Is -2*(2 + p) - 1 composite?
True
Suppose t + 1156 = 2817. Is t prime?
False
Suppose -y + 2*j + 2076 = 3*y, -5*y - j + 2609 = 0. Is y prime?
True
Suppose -i - 4*h - 8 = 0, -i = -2*h + 1 - 5. Suppose g + g - 12 = i. Is g composite?
True
Let x(j) = -3*j + 4*j + 1 + j. Is x(10) prime?
False
Suppose 5*k + 2384 = -x, -2*k - 707 = 4*x + 243. Let f = k - -908. Is f a prime number?
True
Suppose -s + 4*i = 3*i - 226, -4*s + 886 = 2*i. Is s a prime number?
True
Let j be 1/(-4) + 10/8. Let t be -3 - -1 - (-38)/j. Suppose -3*x + t = -111. Is x a composite number?
True
Suppose 0 = u - 0*u - 163. Is u a prime number?
True
Let l = -347 + 1934. Is l/4 + (-1)/(-4) composite?
False
Let i(w) = 2*w**2 - 28*w + 79. Is i(23) a composite number?
True
Is 3 + 1 + 4 + (-4 - -73) prime?
False
Let b be (-174)/(-8)*2*2. Let w = b - 50. Is w a prime number?
True
Let w be -3 + (4 - (-1 - 1)). Suppose -3*f + 3 = q, -w*q = 2*f + 5 - 0. Suppose f*i + 191 = 3*i. Is i prime?
True
Let r = 8 + 12. Let x be (-50)/(-8) - (-3)/(-12). Suppose -4*t - r = -x*t. Is t prime?
False
Let y(l) = 0*l**2 + l**2 + 0*l**2 + 5 + 3*l. Is y(-4) composite?
True
Let r(z) = 259*z + 37. Is r(4) composite?
True
Let f(l) = l**2 - 6*l - 9. Suppose -u - 3 = -11. Is f(u) prime?
True
Suppose 2*m - 3 = -m. Let t(w) = -1. Let u(i) = -204*i - 7. Let x(p) = m*u(p) - 6*t(p). Is x(-1) a prime number?
False
Let l(p) = 4*p**2 + 8*p - 7. Is l(-8) a prime number?
False
Let g be (356/12)/((-1)/6). Is 6/(-4)*g/3 a prime number?
True
Let x(s) = 3*s**2 + 4*s - 9. Is x(10) prime?
True
Suppose -5*d = -2*d - 15. Suppose d*g - 405 = 2*w, 203 - 65 = 2*g + 4*w. Is g prime?
True
Let f(k) = 2*k - 1. Let i be f(3). Let b = 17 - 8. Let u = b + i. Is u a prime number?
False
Let n = 0 - 0. Suppose n = m + 3*h - 12, 0*h + 16 = 2*m + 2*h. Let i(l) = 3*l**2 - 5*l - 4. Is i(m) a composite number?
True
Let s = -5 - -8. Suppose 5*f - s*c = 377, 3*f + 5*c = 268 - 69. Is f/2 + (-5)/(-10) prime?
True
Let x = 619 - 234. Let a = x - 228. Is a composite?
False
Is (22/(-4 + 2))/(-1) prime?
True
Let t(g) = 9*g**3 + g**2 - 7*g + 12. Let m be t(5). Suppose 248 = -3*k + m. Is k a composite number?
False
Let y be (-12)/(-4) + 1 + -2. Suppose 3*u + 0*u = -y*c + 263, -65 = -u + 5*c. Is u composite?
True
Suppose 2*i + 2*i = 40. Suppose -15 = 5*s + i. Is s/(1 - 12/9) composite?
True
Suppose 6 = -2*a + 5*f - 3, 9 = 5*a - 2*f. Suppose -3*j = l - 17, -a*l = -l - 10. Is 2/j*1*518 prime?
False
Suppose 1825 = 5*j - 5*p, 5*j + 0*p - 2*p = 1831. Is j a prime number?
True
Suppose 0 = -3*x + 5*x + 22. Let i = 35 - x. Is i composite?
True
Suppose -4*a + o - 11 = -0*o, 25 = -5*o. Is -2*-1*(-94)/a composite?
False
Suppose -n = -2*a + 298, 2*a = -2*a - 2*n + 612. Suppose 5*p - 20 = 0, 8*d - 3*d - p - a = 0. Is d a prime number?
True
Let i = 75 + -18. Suppose 0 = -4*t + 5*v - 26, -12 = t - 2*v - 2*v. Let p = i + t. Is p composite?
False
Suppose -3071 - 5323 = -6*s. Is s prime?
True
Let v(f) = -3*f + 1 + f + f**2 + 3*f**3 + f**2. Is v(3) composite?
True
Let s(f) = -f - 3. Let v be s(-5). Suppose -3*c = 2*i - 1271, 0 = v*c - 5*i + 3*i - 854. Suppose 2*h + 3*r = 197, 5*h - c - 55 = -5*r. Is h a composite number?
True
Suppose -8*o - 210 = -3*o. Let l = -23 - o. Is l a prime number?
True
Let r(t) = -t**2 - 1. Let q(k) = -k**3 + 4*k**2 + k + 71. Let i(a) = q(a) + 5*r(a). Let g be i(0). Suppose -m + g = -31. Is m a prime number?
True
Let q(u) be the second derivative of -10*u**3/3 + u**2/2 + 3*u. Suppose 5*m + 4 = -1. Is q(m) a prime number?
False
Let f(w) = w**3 - 4*w**2 + 4*w + 3. Suppose -2*h = 2*h - 24. Let r be f(h). Let y = -68 + r. Is y composite?
False
Suppose 0 = 2*u + 276 + 118. Let t be ((-4)/4)/(1/u). Let s = 282 - t. Is s prime?
False
Suppose -y + 28 = -16. Let v = 63 - y. Is v a composite number?
False
Is (-202)/2*-3 - (38 + -42) a prime num