Is y composite?
False
Let x(w) = -w**2 + 5*w - 4. Let n be x(3). Let b be (21/(-35))/(n/(-70)). Let v = b + 2. Is v a prime number?
True
Let k(g) = 2*g + 9. Suppose 2*h + 2*j - 22 = -0*j, -4*h + 51 = -3*j. Is k(h) prime?
False
Suppose -57 = -3*u - 3*g, 0 = 2*u - 4*u - 5*g + 41. Let d = u + 1. Is d prime?
True
Let s = -7 + 18. Suppose n = -h - 0 + 5, -2 = -2*h. Is s*n + 3/(-3) a prime number?
True
Suppose m = 37 + 30. Suppose 4*c + 2*x = 80, 2*c + 5*x = -c + m. Is c prime?
True
Suppose -5*k = 31 + 4. Let d = -1 - k. Let n(p) = 3*p**2 - 4*p + 5. Is n(d) a prime number?
True
Is (-84)/(-4)*(-141)/(-9) composite?
True
Suppose -3*b = -3*h - 2865, 4034 = 5*b + 2*h - 769. Is b a composite number?
True
Is 4/(-8)*31038/(-3) a composite number?
True
Suppose 0 = -3*k + k. Suppose k = 3*w - 2*w - 163. Is w composite?
False
Let x(l) = -87*l**3 + 2*l**2 + l. Let g be x(-1). Suppose 4*s = -0*s + g. Is s a composite number?
True
Let k(w) = -41*w + 20. Suppose -3*p - 30 = -p. Is k(p) a composite number?
True
Let t(x) = 6*x**2 + 6*x. Let g be t(-4). Let p be 2 + -40 - -1 - -2. Let v = g + p. Is v prime?
True
Let w(t) = -t**2 - 5*t - 1. Let l be w(-4). Suppose -15 = l*f - 4*f. Suppose -f = 5*h, 4*h = -2*m + 3*h + 47. Is m a prime number?
False
Suppose 0*u + 418 = 2*u. Is u composite?
True
Suppose -4*h = -0 - 8. Let r(x) = 13*x**2 + 2*x - 3. Is r(h) a composite number?
False
Let h = -2 - -5. Suppose -w - h*w = -276. Is w a prime number?
False
Suppose 10*d - 6637 = 9*d. Is d a prime number?
True
Let r = -301 + 590. Is r a prime number?
False
Let m = 358 + -214. Suppose 0 = -3*q + 3, 0 = -0*g - 3*g - 3*q + m. Is g prime?
True
Let g(t) be the third derivative of -1/24*t**4 + 0 - 2*t**2 + 3/5*t**5 + 0*t**3 + 0*t. Is g(-1) prime?
True
Suppose -3*p = 2*m - 168, 2*m + 2*m + 12 = 0. Is p a prime number?
False
Let p(v) be the first derivative of v**4/12 + 5*v**3/6 + 2*v**2 + 2*v - 2. Let r(c) be the first derivative of p(c). Is r(-5) a composite number?
True
Let s(f) be the third derivative of -f**5/60 - 7*f**4/24 - f**3/6 + 4*f**2. Let o be s(-6). Suppose -208 = -o*d - 18. Is d a composite number?
True
Let f be ((-9)/6)/(6/(-88)). Let c = 0 + f. Suppose -72 = -4*p + 4*r, 3*p - 5*r - 40 = c. Is p composite?
True
Let y = 185 - 58. Is y a composite number?
False
Let q be 4/(0 - 6/(-27)). Let o = 104 - q. Is o a composite number?
True
Let u(k) = 5*k + 5. Suppose -10 = -5*q - 0. Suppose -5*j - 3 = 4*h - 2, -q*h - 5*j - 13 = 0. Is u(h) composite?
True
Let i(b) = 3*b**2 + 8*b - 5. Suppose y + 4 + 2 = 0. Let d be i(y). Suppose -5*g - 3*a + d = a, -g = 5*a - 11. Is g a prime number?
True
Suppose -c - c + 8 = 0. Suppose c*i = 5 + 3. Suppose 4*h - 3*g = h + 66, 0 = i*g + 2. Is h prime?
False
Let j be (564/(-30))/((-1)/(-5)). Let p = 152 + j. Is p a prime number?
False
Let d(z) be the first derivative of 15*z**3 - z**2/2 + z - 3. Let l be d(1). Suppose -l = q - 4*q. Is q a prime number?
False
Is (-4 - -17)*(0 + 5) a prime number?
False
Let v = 18 - 12. Is v a prime number?
False
Let b(j) = j**2 + 8*j + 14. Is b(-8) a composite number?
True
Suppose 5*d - 3*g - 2663 = 0, 4*g - 1104 = -4*d + 1052. Is d a composite number?
True
Let h(l) = -5*l**3 + 9*l + 6. Let k(m) = 9*m**3 + m**2 - 17*m - 11. Let v be 2/(-3) + 114/(-18). Let n(r) = v*h(r) - 4*k(r). Is n(-5) a prime number?
True
Let p be 48/20 - 2/5. Suppose -4*f - 3 + 17 = p*z, 2*f = z + 9. Suppose 8 = f*u - 0. Is u a prime number?
True
Suppose 0*s - 3 = 3*p - 3*s, 0 = -3*p - 2*s + 2. Suppose p = 3*l - 6. Suppose -l*n = -u - 0 - 13, 2*n + 4*u = 38. Is n a composite number?
True
Let t = -6 - -325. Is t composite?
True
Let p(g) = -g**2 + 7*g - 5. Let n be p(4). Let r(m) = 9 - n*m - 11*m - 4. Is r(-7) composite?
False
Let o(u) = u**3 - 5*u**2 - u + 4. Let x be o(5). Let g = 3 + x. Suppose z + 3*p = -0*p + 6, 12 = g*z + 4*p. Is z composite?
True
Suppose 4*a - 1368 = -3*f + 7*f, -2*a - 5*f = -712. Suppose -4*q - 2*t + a = 0, -25 = -3*q + 4*t + 240. Is q composite?
True
Suppose -g + 214 = v, 2*g - 6*v = -v + 407. Is g a prime number?
True
Let p = 46 - 67. Let t = 9 + p. Is 3/t - 53/(-4) a composite number?
False
Suppose 6 = 3*w + 5*n, 0*n = 4*w - 5*n - 8. Suppose 2*g = -w*g + 232. Is g composite?
True
Let q(a) = -a - 1. Let c(l) = -l**2 + 7*l - 6. Let m(j) = c(j) - 3*q(j). Is m(4) composite?
True
Let c be 20/(-6)*(-12)/10. Suppose m = -u + c, -m - 5*u + 5 + 3 = 0. Is 19/((-3)/((-9)/m)) a prime number?
True
Let b be (-6)/(-21) - 2/7. Suppose -186 = -2*i - b*i. Is i prime?
False
Let j be -2 - -34 - (0 + -3). Let c be (j/(-4))/5*4. Is (c/(-4))/((-3)/(-36)) a prime number?
False
Let z be ((-6)/3 + 2)/(-1). Suppose 0*q - 5*q + 245 = z. Is q composite?
True
Let f(r) = 7*r**2 + r - 6. Let t be (2 - 3)/((-2)/10). Let y be f(t). Let l = y + -105. Is l prime?
False
Suppose -6*n + 394 = -2408. Is n composite?
False
Suppose p - 166 - 27 = 0. Let d = -136 + p. Suppose 4*c - d = 3*c. Is c composite?
True
Let c(j) = j + 1. Let p be c(4). Let n be 6 + (4 - 4) + -4. Suppose -p*u + 75 = n*g, g + 3*u = -0*g + 40. Is g a composite number?
True
Suppose 10*n - 23410 = -4760. Is n a prime number?
False
Let m be (-369)/12 - 1/4. Let l = 59 - m. Let r = -53 + l. Is r a prime number?
True
Let j = -1 - -1. Suppose j*t - t - 2 = 0. Is t/1*(-159)/6 prime?
True
Let f be 2*(6/(-4))/(-1). Suppose f*z - 2*z - 46 = 0. Suppose -3*m - 20 = 5*i - 57, 4*m - z = -5*i. Is m prime?
False
Suppose -5*j + 2169 = -81. Suppose 4*o = -3*q + 332, 5*o - 3*q - j = 2*q. Is o prime?
False
Let z(f) = 2*f**2 - 40*f - 79. Is z(33) a composite number?
True
Let d(u) = -2*u**3 - u**2 - 6*u + 7. Let c be d(5). Let i = c - -489. Is i a prime number?
True
Let d = -1 + 38. Is d prime?
True
Suppose 5*q - 4 - 1 = 0. Let u = q + 1. Suppose -4*s = -2*s - 10, 4*y + u*s = 150. Is y prime?
False
Let h(i) = 83*i - 3. Let w be h(3). Suppose -2*a + 5*a = w. Is a prime?
False
Let o(s) = s**2 - s - 1. Let x be o(4). Suppose -2*k = 5*m + 50, -2*m - x = 5*k + 9. Let f = m + 17. Is f prime?
True
Let f(u) = -2*u - 2. Let j be f(1). Is 8/j - 0 - -71 a prime number?
False
Let q(k) = 2*k**2 + 2*k + 8. Let y(c) = -c**2 + c. Let o be y(-2). Let m be q(o). Suppose -l + m = 3*j, -l + 5*l + j - 327 = 0. Is l composite?
False
Let k = 58 - 85. Let w = k + 114. Is w composite?
True
Let l = 393 - 235. Is l a composite number?
True
Suppose -15 = 5*c - 2*c. Let n = c + 8. Let i = 28 + n. Is i composite?
False
Is 2/3 - (4 - 5645/15) prime?
True
Suppose -c + 60 = p, p - 2*p - 4*c = -75. Suppose -8*r + 3*r = -p. Suppose -r = -2*m + 1. Is m a prime number?
False
Let v(y) = 78*y + 1. Let d be v(3). Suppose -a - 12 = -d. Is a prime?
True
Let q be -10*(6/(-4))/(-3). Let p be (2/4)/(q/(-210)). Suppose p = g + 5*n, g - 4 - 3 = 2*n. Is g composite?
False
Let c = 6 - 8. Is (0 + c/(-2))*33 composite?
True
Suppose -4*k + 4*x + 3917 = -419, 5*x + 2159 = 2*k. Is k a composite number?
False
Let v = -6 - -8. Suppose v = -u + 5. Suppose 68 = x + u. Is x a composite number?
True
Let u be 2 - 0/(1 + 0). Suppose 7*i = u*i + 275. Is i prime?
False
Let y(h) = -39*h - 7. Suppose -4*v + v + 15 = 0, -5*v + 1 = 3*j. Is y(j) a prime number?
False
Let r = -279 + 1414. Is r prime?
False
Suppose 0 = -10*s + 8*s + 8542. Is s composite?
False
Suppose 0 = -s - 7*s + 12344. Is s composite?
False
Let a(c) = -c**3 - 2*c**2 + 4*c - 5. Let v be a(-5). Let x = -31 + v. Is x a prime number?
True
Let z be 197/4 - (-2)/(-8). Let c(t) = -10*t + 2. Let p be c(2). Let m = p + z. Is m prime?
True
Let u(y) = -2*y**3 + 3*y + 2. Let i be u(-2). Let z(h) = h**2 - 3*h + 2. Let x be z(3). Suppose -1 - i = -3*a - 4*r, x*a - 12 = -r. Is a composite?
False
Let d(l) = l**2 - 4*l. Let f(w) = 2*w**2 - 2*w - 1. Let t be f(2). Let v be d(t). Let c = v - -10. Is c a prime number?
True
Let t be -1 + 1 - (-2 + 0). Suppose 0 = 3*j + s + t*s, 0 = -2*j + s. Suppose 0 = 2*m - j*m - 20. Is m a composite number?
True
Suppose 2*m + 0*s - s = 11, 2*s + 14 = 2*m. Suppose -370 = -6*n + m*n. Is n a composite number?
True
Suppose -17*o + 13*o = -2668. Is o composite?
True
Let p(y) = y + 17. Let r be p(-9). Let a(m) = 11*m**2. Let h be a(-1). Let k = r + h. Is k composite?
False
Let w(s) = -s**2 - 4*s - 1. Let f be w(-3). Let q = 81 - f. Is q composite?
False
Let v = 412 - 292. Let b = v + -61. Is b pr