*s. Is u composite?
True
Let z be (-2 - (-2 - 1))*-78. Let j = 131 + z. Is j a prime number?
True
Let r = 239 - -743. Is r prime?
False
Let w(v) = -47*v + 3. Is w(-8) prime?
True
Let w(l) be the second derivative of -3*l**3/2 - l**2/2 + 2*l. Is w(-6) prime?
True
Suppose 0 = 3*t - 5*t + 8. Suppose -t = v + 5*m + 2, 2*v = m - 12. Is (0 - -2)*(-165)/v a prime number?
False
Let d = 148 + -84. Suppose -33 - d = -s. Is s composite?
False
Let s = 0 + 5. Suppose 3 = -3*w, -s*g - w - 2*w + 12 = 0. Is g composite?
False
Let q = 76 + -40. Suppose 3*n - 2*r - 4 = -0, -5*r + q = 4*n. Suppose n*u = u + 93. Is u a composite number?
False
Let c be 1/1 - 0 - -119. Suppose -2*l + o = -201, -4*o - c - 66 = -2*l. Let t = l + -54. Is t a composite number?
True
Suppose 0 = 4*h, 3*g - 3*h - 22 = -7. Suppose -g*k = -3*k - 222. Suppose -2*j - j + k = 0. Is j a prime number?
True
Let v = -30 - -326. Suppose -2*d = -0*j - 4*j - 150, 0 = -4*d + 4*j + v. Let h = d + -50. Is h a prime number?
True
Let y(b) = -b**3 + 6*b**2 + b - 1. Let f be y(6). Let x = 336 - 224. Suppose -f*i + x = -c + 5*c, -4*i = -16. Is c a composite number?
False
Let g(a) = -384*a**2 + 2*a - 2. Let w be g(-3). Is w/(-16) - 1/(-2) prime?
False
Suppose -2*o + 24 + 242 = 0. Is o prime?
False
Let w(l) be the second derivative of 0 + 1/6*l**3 + 2*l - 1/6*l**4 + 0*l**2 + 4*l**5. Is w(1) prime?
True
Let z = -5 + 7. Let l = 37 + -91. Is ((-3)/3 - l) + z a prime number?
False
Is 6/(-2) - (-474 + (-16)/8) composite?
True
Let s = 6503 - 3234. Is s prime?
False
Suppose 125 = 9*h - 8*h - o, -2*h + 246 = -4*o. Is h prime?
True
Suppose 6*q - q = -5. Let j(u) = -148*u + 1. Is j(q) a prime number?
True
Suppose 3*f - 432 = -3*s, 0 = -s + 5*f - 16 + 190. Is s a composite number?
False
Let c = 227 + -100. Is c composite?
False
Suppose 2*t + t + 72 = 0. Let i = 51 + t. Suppose i = -2*q + 169. Is q composite?
False
Let b be ((-2)/(-4))/(2/8). Let f(g) = -g**3 + 4 - 4*g + 3*g + b. Is f(0) a prime number?
False
Let g = -14 - -29. Suppose 39 = -2*v - 5. Is (v - -1)*(-10)/g a composite number?
True
Let s be ((-2)/(-4))/((-1)/(-4)). Let k be s - (-1 + 1) - -60. Suppose 0 = 5*y - 63 - k. Is y a composite number?
True
Let a = -144 - -779. Is a prime?
False
Let i(k) = -2*k + 2. Let m be i(-3). Let u(a) = m*a - 4 - 2 + 5. Is u(3) composite?
False
Let n(t) = 4*t**2 - 1. Let z be n(-1). Let y = 11 - 7. Suppose -m - z = 0, y*h + 6*m = 3*m + 19. Is h composite?
False
Suppose -4*h + 3*i = 4, 3*h + 3*i = -2*h + 22. Suppose k - 101 = 3*u - u, h*k - 196 = u. Is k a composite number?
False
Let p = 59 - -154. Let w = -130 + p. Is w a composite number?
False
Suppose -970 = -2*x + 7*x. Let b = x + 271. Suppose -2*o + b = 2*t + o, -5*t + 145 = -2*o. Is t a prime number?
True
Is (1 - (-3 - -1)) + 748 a composite number?
False
Let h(s) = -s**3 + 2*s**2 - s + 1. Let o be h(1). Is (1/o)/(19/11077) composite?
True
Suppose -u = -4*d + 4*u + 353, -4 = 4*u. Suppose -c + r = -d - 135, -2*r + 671 = 3*c. Is c a prime number?
True
Let q(h) be the third derivative of h**6/90 - h**5/40 - h**4/24 - h**2. Let j(t) be the second derivative of q(t). Is j(2) prime?
True
Let h be 6*(-2)/6*-3. Let y(r) = r**2 + 3*r - 8. Is y(h) a composite number?
True
Suppose -40 = 4*m - 0*m + 2*y, 4*m = -5*y - 34. Let z = m + 60. Is z prime?
False
Suppose 3*w - 4*w = -4. Suppose 2*j + j = -w*n - 24, 5*n = -15. Let s(a) = -a**3 + 2*a**2 - 5*a - 5. Is s(j) prime?
False
Suppose -5*t = 25, -4*t = -0*v + 3*v - 685. Is v prime?
False
Suppose -27*h + 293 = -26*h. Is h composite?
False
Let f(a) = a + 12. Let l be f(-10). Suppose -135 = -l*b - b. Is b/(-6)*(-2)/1 a prime number?
False
Let n(t) = -17*t - 21. Is n(-16) a prime number?
True
Let j = 544 - 129. Is j a prime number?
False
Suppose -s + 4*j = -9, 4*s + 4*j + 44 = -0*s. Is (-831)/s + 6/21 a prime number?
False
Let j = -4 - -11. Suppose 10*g = j*g + 357. Is g composite?
True
Suppose 3*i = 2*z - 954 - 1606, -6383 = -5*z - i. Is z prime?
True
Let u(q) = -53*q - 3. Let m be u(-2). Let w = 258 - m. Suppose -3*s = 50 - w. Is s a prime number?
False
Suppose 25*r = 33*r - 12088. Is r a prime number?
True
Let w(p) be the third derivative of -p**4/24 - p**3/3 + 3*p**2. Let l be w(-5). Suppose -l*k - 1 = -274. Is k a prime number?
False
Let f be (0 - -815)*9/15. Is f*4/36*3 prime?
True
Let z(p) = 10*p**2 + 8*p + 9. Is z(-5) a composite number?
True
Let x(t) = t**3 - 7*t**2 - 7*t - 2. Let j be x(8). Suppose -1520 = n - j*n. Is n/14 - (-4)/14 a prime number?
False
Let a(u) = 458*u + 1. Let y be 2/(-5) - 9/15. Let x be a(y). Let w = -120 - x. Is w a composite number?
False
Suppose -3*h - a + 21 = 2*a, 0 = h + 4*a - 16. Suppose -h*g = -g - 69. Is g a composite number?
False
Let d be ((-9)/6)/(1/(-14)). Let m(u) = 127*u**2 - u + 1. Let q be m(1). Suppose -4*b + d = -q. Is b prime?
True
Let d = 24 - 13. Let u be 4266/d + 8/44. Suppose l - 5*l + u = 0. Is l composite?
False
Let g(m) = -2*m**3 - 13*m**2 + 12*m + 25. Is g(-12) a composite number?
True
Let w(l) = -l**2 + l - 8. Let v(q) = q + 1. Let o(z) = -6*v(z) - w(z). Let n be o(7). Suppose -2*s - 283 = -3*r - s, 380 = 4*r - n*s. Is r prime?
False
Let c = -8 - -105. Suppose 7*n = 3*q + 3*n - c, 5*q + 3*n = 152. Is q a composite number?
False
Let x = -9 + 23. Let k = 81 + x. Is k prime?
False
Let t = -1849 - -5403. Is t prime?
False
Let u = 0 + 301. Is u prime?
False
Let r(p) = 3*p**2 + 3*p - 2. Let h(f) = -2*f**2 - 3*f + 2. Let v(m) = 3*h(m) + 4*r(m). Is v(-5) prime?
False
Let z be (-2 - (-1 - 0))*7. Let x = z - -11. Is 10/(-15)*(-42)/x a composite number?
False
Let m(d) = -d**3 - 5*d**2 + 4*d - 8. Let s be m(-6). Suppose 0 = 4*p - s, 3*j - 5*p - 7 = -0*p. Suppose j*v - 59 = 3*a, -1 - 4 = 5*a. Is v composite?
True
Is (-4)/(-6)*(-1743)/(-14) prime?
True
Let s be (3 - (-4)/(-2))*0. Let m be (s/(-3))/3 + 461. Let h = m + -306. Is h composite?
True
Let h = 1 + 0. Let g be (-492)/9 - 4/(-6). Is h/(-2) + g/(-4) a prime number?
True
Let s(j) = -j**3 - 7*j**2 - 2*j - 1. Let z be s(-7). Let k = 10 + 22. Let o = k - z. Is o prime?
True
Suppose -1520 = 3*u + 2*u. Let q be u/(-14) + 2/7. Suppose 0 = 4*d - q - 30. Is d a composite number?
False
Is -681*27/(-33) - 4/22 a composite number?
False
Let i(a) = 8*a**2 - 4*a + 5. Let j be (-1)/(-1) - (-2 - 3). Is i(j) a prime number?
True
Let o(m) = 2*m + m + 3*m - 7. Is o(10) composite?
False
Let f = 237 - 168. Is f a composite number?
True
Let z(d) = 3*d - 9. Let x be z(7). Suppose -3*q - x = -45. Is q a prime number?
True
Let t = 3 - 2. Is ((-21)/9)/(t/(-3)) a prime number?
True
Suppose 5*z = 5115 + 5380. Is z a prime number?
True
Let w = 7 + -10. Let j be -4*w/6 - 1. Suppose j = -n + 24. Is n a composite number?
False
Let h be -2 + -2 + 3 + 0. Is h - -125 - 3/(-1) a prime number?
True
Let b(j) = 7*j**3 - j**2 - 2. Let a be b(2). Suppose -3*i - a = -8*i. Suppose 4*z - 306 = i. Is z a composite number?
False
Let w = 858 + -227. Is w prime?
True
Suppose -t - 1614 = -3*t. Is t composite?
True
Let h = -6 - -46. Let u = h - 9. Is u prime?
True
Let w(s) = -15*s**2 + 5*s + 1. Let x(a) be the first derivative of 44*a**3/3 - 7*a**2 - 3*a + 1. Let m(o) = 17*w(o) + 6*x(o). Is m(-2) a prime number?
False
Suppose -8*n - 3639 = -11*n. Is n composite?
False
Suppose 3*i + 15 = 3*z, 2*z - 3*i - 5 = 2. Let w be ((-52)/z)/(2/(-156)). Is w/9*6/2 a composite number?
True
Is 853 - 0 - (-6 + 4) - 2 prime?
True
Let l be (8/(-3))/((-10)/15). Suppose -l*o + 9*o = 20, 0 = -4*f - 2*o + 52. Is f composite?
False
Suppose 3*r + 6*f - f + 64 = 0, -4*r - 47 = -f. Let b(x) = x**2 + 5*x - 13. Is b(r) a composite number?
True
Let j(c) = -11*c**3 - 4*c**2 + c - 3. Let o(s) = 10*s**3 + 4*s**2 + 3. Let a(h) = -4*j(h) - 5*o(h). Is a(-2) a composite number?
False
Let i = 19 - 67. Let z = i + 175. Is z prime?
True
Suppose -2*r = -10 - 10. Is r a prime number?
False
Let a = 288 + -160. Is (6/2 + a)*1 a prime number?
True
Suppose -j + 8 = -5*t, -6 = 5*t - 2*t - j. Let v(m) = -200*m**3 - 2*m**2 - m. Is v(t) prime?
True
Let s(q) = -23*q - 3. Let g = -13 - -22. Let w = g + -13. Is s(w) composite?
False
Let u(t) = -t**3 - 13*t**2 - t - 11. Let w be u(-13). Is (w/(-3))/((-10)/3165) prime?
True
Suppose 416 = 2*c - 470. Is c composite?
False
Suppose -6*r + 2*r = -8. Suppose 3*w + 3*d - 48 = 219, -r*w - d + 17