 167. Suppose -g*s + y = 2*s. Is s prime?
True
Suppose 0 = 3*w - 3 + 27. Suppose -4*m - 110 = 262. Let y = w - m. Is y prime?
False
Is -1*(2 + -1) - -420 a prime number?
True
Let u be (-81)/18*(-2 + 0). Let n(p) = -2*p - 7. Let l(i) = -i - 4. Let r(m) = 5*l(m) - 3*n(m). Is r(u) a prime number?
False
Let l = -2 + 5. Suppose l*c = -c - 4*q + 204, 3*q + 153 = 3*c. Is c composite?
True
Let s(a) = -13*a**3 + a**2. Let t be 0/(3 + -1 - 0). Let p = -1 + t. Is s(p) prime?
False
Suppose j + 32 = -3*j. Let m(k) = -14*k + 15. Is m(j) prime?
True
Let m be (0*3/(-9))/(-2). Suppose -r + z + 7 = 0, m = -0*r - 3*r - z + 17. Let x = r + 109. Is x prime?
False
Let g(w) be the first derivative of w**5/60 - w**4/24 + 7*w**3/2 + 2*w**2 + 2. Let m(l) be the second derivative of g(l). Is m(0) a composite number?
True
Let h be ((-4)/(-10))/((-1)/(-155)). Suppose -y + 149 = -h. Is y a prime number?
True
Is (-11440)/(-12) + 3/(-9) prime?
True
Is 2/((-264)/134 + 2) a prime number?
True
Suppose -20 = -b + 4*k, 3*k = 5*b - k - 20. Suppose -p = 5*i - 6 - 60, b = 2*p - i - 187. Is p a composite number?
True
Let h(l) = -1 - 12*l - 10*l + l + 5*l. Suppose 2*i + 4 = -0. Is h(i) composite?
False
Let v = -3 - 1. Let g be 33/v*-1*4. Let m = g + -18. Is m a composite number?
True
Suppose -4*q + 5 + 3 = 0. Suppose -2*i = 2*z - 4, -4*i - i + 10 = q*z. Is i prime?
True
Suppose 3*z - 2*u - 4 = 0, -3*u + 7*u - 20 = -z. Suppose f + 10 = 2*d - 43, -4 = z*f. Is d prime?
False
Let o = 316 - 175. Suppose 0 = -4*c - 158 - 218. Let f = o + c. Is f composite?
False
Let a(h) = 2*h - 1. Let b be a(-1). Let q(y) = -13*y - 2. Let n(u) = 14*u + 1. Let j(z) = b*n(z) - 2*q(z). Is j(-3) prime?
False
Suppose -2*v + 1074 = -4*t, 3*v - t - 1080 = v. Is v composite?
False
Let x be (-3 - -3)/(-2) + 0. Suppose x = 2*f - 131 - 315. Is f a composite number?
False
Let w = 32 + 21. Is w composite?
False
Let v(u) be the second derivative of u**5/20 - 5*u**4/6 + 11*u**3/6 - 9*u**2/2 - 2*u. Let s be v(8). Let g = -12 - s. Is g composite?
False
Suppose 6*w = 5782 + 1046. Is w a prime number?
False
Let g = 76 + 87. Is g prime?
True
Let o be -5*(3/(-5) - 0). Let r = 8 - -12. Suppose -o*a + r = -a. Is a a prime number?
False
Let q = -12 + 7. Let o = q + 9. Suppose -d = -o*b - 22 - 33, 4*b + 125 = 3*d. Is d a composite number?
True
Let i be 254/((1*-4)/2). Let x = 204 + i. Is x prime?
False
Let c be (2 + -4)/(0 - 1). Suppose -z - 8 = -c*f - 5*z, 5*f = -2*z - 4. Is f/(-10) - 372/(-15) prime?
False
Is (-61)/(4*4/(-496)) composite?
True
Let c(n) = 8*n**2 - 11*n + 46. Is c(13) composite?
True
Suppose 7 = -5*x + 22. Is -1 + 32/6*x a composite number?
True
Let d = 3 + -6. Let q = 6 + d. Suppose 4 = -2*t - 5*o + 104, -5*t + 281 = -q*o. Is t prime?
False
Let x = 289 + -110. Is x a prime number?
True
Suppose 0 = 5*y + t - 2701, 2*t = -2*y + 1278 - 204. Is y composite?
False
Suppose 3*l = -l + 596. Is l composite?
False
Suppose 2*p = -q + 9, 3*q - 3*p - 13 = -2*p. Suppose 0 = -4*b + 2*j + j + 1477, q*b = 5*j + 1850. Is b prime?
True
Let y be (-130)/4 + (-2)/4. Let k = 151 + y. Let g = -81 + k. Is g a prime number?
True
Let f(b) be the third derivative of -b**6/60 - b**5/60 + b**4/12 - 2*b**3/3 + 3*b**2. Let x be 1/(-3) + (-8)/3. Is f(x) prime?
False
Suppose -2*p = -4*p + 4. Suppose -p*c + 815 = 3*c. Is c prime?
True
Suppose -3*k + 3 = 0, -4*i = -3*i + 3*k - 2. Let w be 9 + (-3 - (i + 1)). Is 668/8 + w/4 a prime number?
False
Suppose -2*s = -4*s + 314. Is s a prime number?
True
Let o(l) = 1 + 3*l + 8*l + l. Is o(2) a prime number?
False
Suppose 648 = 3*v + 237. Let q = v + -79. Is q a composite number?
True
Let l(k) = -k**3 + k**2 + k + 1. Let f be l(-1). Let j(z) = -3*z - z + 0 + z**2 + f. Is j(4) prime?
True
Suppose 5*h = -y + 744, 4*h - 4*y = 224 + 376. Is h prime?
True
Suppose -q - 4*q + 15 = 0. Let f(n) = -n**2 + 5*n - 3. Is f(q) a prime number?
True
Let p be (-8036)/(-36) + 4/(-18). Is p - -1 - (-7 - -8) a prime number?
True
Let o = -256 - -383. Is o a prime number?
True
Let t be (-5 + -35)/(1/10). Is t/(-18) - 4/18 composite?
True
Suppose 211 = -0*a + a. Is a a prime number?
True
Let f(b) = -b**2 - b + 4. Let q be f(0). Suppose 0 = 3*m - q*u - 163 - 73, 0 = -5*m + 4*u + 404. Let t = m + -31. Is t prime?
True
Suppose 0 = -3*z - z + 92. Is z a prime number?
True
Let l(c) = 91*c**2 + c - 1. Let t = -3 - -4. Is l(t) prime?
False
Suppose -22 = -5*m + 8. Suppose 4*p = m*p - 222. Is p prime?
False
Is ((14/(-8))/(-7))/(3/23676) composite?
False
Suppose -304 = -j - s, -j - 4*s = -2*j + 294. Let g = j + -123. Is g a prime number?
True
Suppose 2*u - 14 = 3*z, 0 = 5*z + 9 + 1. Let h(s) be the third derivative of s**5/15 + s**4/4 - 5*s**3/6 - 3*s**2. Is h(u) composite?
False
Let d be (28/3)/((-6)/(-9)). Suppose 2*x + d = 2*t, -x + 4*x = -4*t + 7. Suppose -3*k + 5*q + 45 = 0, 20 = 2*k + t*q - 10. Is k prime?
False
Let t(r) = r**2 - 3*r - 9. Let k be ((-8)/(-10))/(1/(-10)). Is t(k) a prime number?
True
Let m be -10*(-1 - (-4)/8). Is 163/((m - 3)/2) composite?
False
Suppose 4 = 5*n - 6. Suppose n*h - 265 = -5*b, 0*h - b + 285 = 2*h. Is h composite?
True
Let x(b) = 102*b - 37. Is x(12) prime?
True
Suppose 13 = f + j, -3*f + 5*j - 4 + 27 = 0. Let y = 17 - f. Let d = 7 + y. Is d composite?
False
Suppose 5*r - 3*u = 44, 3*u + 4 = -4*r + 23. Is r composite?
False
Suppose -2*c - 4*m + 1116 = 0, c - m + 2808 = 6*c. Is c composite?
True
Suppose -5*l + 7 - 12 = 0. Let k = 4 + l. Suppose k*g = 8*g - 545. Is g a prime number?
True
Let n(o) = -207*o - 41. Is n(-12) prime?
False
Let d(s) = -7*s + 3. Suppose a + 3*a = -2*l - 12, 5*l = 5*a + 30. Let p be d(l). Let w = p - -64. Is w composite?
False
Suppose p - 6*p + 25 = 0. Suppose 4*n + 708 = 5*k, -p*n - 282 = -2*k - 4*n. Suppose q + k = 5*q. Is q composite?
True
Is 4 + 8/(-4) + 303 a composite number?
True
Suppose -5*h + 756 = 51. Let a = h - 8. Is a a composite number?
True
Let r = 6 - 3. Suppose -2*v = -4*c + 16, 3*v + c = -r*c + 16. Suppose w - 53 = -v*w. Is w prime?
True
Let b(o) = 4*o**3 + 4*o**2 + 4*o + 5. Let v(r) = 9*r**3 + 7*r**2 + 7*r + 9. Let f(n) = 11*b(n) - 6*v(n). Is f(-1) prime?
True
Let a(p) = 21*p**2 - 7*p + 27. Is a(11) prime?
False
Let a = 975 - 640. Is a composite?
True
Is (-4)/2*(-1193)/2 a composite number?
False
Let u(m) = -m**3 + 1. Let i(l) = -3*l**3 + 4*l + 9. Let v(q) = -i(q) + 4*u(q). Let z be v(5). Let f = 247 + z. Is f a composite number?
False
Is 4/5 - 3783/(-15) prime?
False
Let y(k) = k**3 - 8*k**2 + 3. Let m be y(8). Suppose 0 = w - 63 - m. Suppose -2*d - d = -w. Is d a prime number?
False
Let i(j) = j**2 + 2*j - 3. Let g be i(-3). Suppose g = 3*a + 2*b - 561, 5*a + b - 928 = -0*b. Is a prime?
False
Suppose 3*d + 1 = 2*d. Let l(f) be the second derivative of -19*f**5/20 + f**4/12 + f**3/3 + f**2/2 - 2*f. Is l(d) composite?
False
Let x(t) = 5*t**2 + 3*t - 2. Let s(z) = 10*z**2 + 6*z - 5. Let q(d) = -2*s(d) + 5*x(d). Let j = -2 + 0. Is q(j) composite?
True
Let i be ((-1)/2)/((-2)/20). Suppose 0*z - 393 = -3*z - 4*k, i*z - 632 = k. Is z prime?
True
Let u(f) = 18*f**2 - 8*f - 5. Is u(-5) composite?
True
Suppose 1 = y - 0. Suppose -3 + y = -s. Is (-77)/(1 + (0 - s)) composite?
True
Let n be 1/(1/(-2)*-1). Is (-3148)/(-20) - n/5 composite?
False
Let m(d) = -98*d**3 - d**2 + d. Let g be m(1). Let s = -27 - g. Is s a composite number?
False
Let t = 35 - 80. Let v = 202 + t. Is v a composite number?
False
Let n = -3 + 7. Suppose 0 = -2*m + 6*m. Suppose m = -3*g + n*g - 14. Is g a prime number?
False
Let k(m) = 2*m. Suppose 10 = h + 2*a, -2 + 4 = 5*h - 2*a. Let w be k(h). Suppose -3*b + 61 = w*q, 2*b - q - q - 22 = 0. Is b a prime number?
False
Let a be (-18)/30 + 558/5. Let o = -74 + a. Is o prime?
True
Suppose -5*k = z - 137, -z - 371 = -4*z + 5*k. Is z prime?
True
Let q(h) = 329*h**2 - h - 1. Let f(l) = -l**3 - 4*l**2 - 1. Let y be f(-4). Is q(y) a prime number?
False
Suppose 4*j = -5*w + 2120 + 1791, -5*j - 3*w + 4892 = 0. Is j composite?
True
Suppose 0 = -5*m + 5*a + 15, -2*m + 4 = -m - 2*a. Suppose -4*h + 234 = 5*g - 329, -m*h = -2*g + 236. Is g composite?
True
Let w = 80 - 13. Is w composite?
False
Let m(t) = 4*t**2 + 3*t - 6. Let f be m(-5). Let r = f + 6. Suppose 0 = 5*j + 10, -2*z - 13 + r = -j. Is z prime?
False
Suppose -5*d + 20 = -3*d - 4*f, 2*d = 5*f + 24. Su