f. Is w(-6) prime?
False
Let z(s) be the second derivative of 25*s**4/12 - 7*s**3/6 - s**2/2 + 3*s. Is z(3) composite?
True
Suppose -2*a = 2*a - 784. Let u = a + -113. Is u a composite number?
False
Suppose -53*h = -137*h + 2250948. Is h composite?
True
Let n(c) = 3*c**2 - 28*c + 6. Let h be n(12). Suppose -2*x = -0*x - h. Is x a composite number?
True
Let d = 994 - 663. Let m = d + -120. Is m a composite number?
False
Suppose 0 = 2*s - 14 - 2. Suppose 12*n = s*n + 1516. Is n prime?
True
Suppose 0 = 6*c - c - 70. Suppose -5*n = -1 - c. Suppose 3*i - b - 155 = 0, -2*i = n*b + 27 - 145. Is i prime?
True
Suppose 2801 = 49*c - 439130. Is c a composite number?
True
Let v = 50 - 42. Suppose -2*r + 2110 = v*r. Is r a composite number?
False
Let w(r) = r**2 + 12. Is w(23) a composite number?
False
Let w(s) = -s**3 + 4*s**2 - 3. Let a be w(4). Let q be (-52)/a*(-9)/(-2). Suppose 155 = d - 3*n, d - n - q - 69 = 0. Is d composite?
True
Let s(h) = -771*h**3 - 4*h**2 - 7*h - 3. Is s(-2) composite?
False
Suppose 0 = -m - 1 + 7. Let v(w) = w**2 - 8*w + 10. Let t be v(m). Is 565 - (2 + t + 2) composite?
False
Let c(w) = 10*w**2 - 25*w + 15. Let t(f) = -f**2 - 1. Let i(y) = c(y) + 6*t(y). Is i(10) prime?
False
Suppose 4*m = q + 1673, -7*q = m - 2*q - 413. Suppose -2*a + m = -168. Is a composite?
False
Let n(h) = -13*h**3 + 33*h**2 + 31*h - 5. Let j(d) = -6*d**3 + 16*d**2 + 15*d - 2. Let i(v) = 9*j(v) - 4*n(v). Is i(-9) a composite number?
False
Let r(v) = -9*v - 12. Let h(q) = q - 12. Let z be h(6). Let f be r(z). Let n = 35 + f. Is n a prime number?
False
Suppose 2*k = -10*s + 5*s + 11903, 0 = 5*k + 3*s - 29710. Is k a prime number?
True
Suppose -20*m = -62195 - 15945. Is m prime?
True
Let f be -7 + 8 + (-1)/1. Let j(q) = 3*q + 2611. Is j(f) a prime number?
False
Let w(k) = -64*k**2 + 7*k - 3. Let s be w(-7). Is ((s/(-3))/(-2))/((-14)/21) a prime number?
True
Let d(x) = -x**3 - 6*x**2 - 2*x - 13. Let w be d(-6). Let r be ((-63)/14)/(w/2). Let g = 12 + r. Is g prime?
False
Suppose -2*r = 8, -3*r + 4*r = 2*b + 6. Let g = b + 10. Suppose -y - 4773 = -5*n + n, 3*y - 5962 = -g*n. Is n composite?
False
Is (2633/3)/((-28)/(-168)) a prime number?
False
Is (-662)/(-2) - (-21 - -15) prime?
True
Suppose 3*d - 2*f - 11339 = 0, -21*d + 22*d + 2*f = 3777. Is d composite?
False
Let r(k) = -2*k - 4. Let b be r(-10). Let z = 18 - b. Suppose -102 = -3*j - z*q + 163, -2*q = 2*j - 178. Is j composite?
True
Let l(p) = -5*p**3 - 2*p**2 + 7*p - 3. Let n(b) = -b**2 - 20*b - 4. Let x be n(-20). Is l(x) prime?
True
Suppose 4*b = 8*b - 64. Suppose b*l = 12*l + 636. Is l a prime number?
False
Suppose 0 = -5*s + 3*s + 680. Let b(t) = -t**2 + 27*t - 6. Let y be b(12). Let v = s - y. Is v prime?
False
Let l(n) = -142*n**3 - n**2 + 3*n + 3. Is l(-1) composite?
True
Suppose 10*u - 7*u - 1629 = 0. Is u a prime number?
False
Is (8/(-6) - -2)/((-114)/(-871929)) a composite number?
False
Suppose 5*f - 89877 = 3*v + 99677, -151633 = -4*f - v. Is f composite?
True
Let i(a) = a**2 - 2*a - 13. Let w be (-2 - (0 - 13)) + 3. Is i(w) a composite number?
True
Let f(j) = 3*j**2 - 28*j + 27. Suppose 3*g = 7*g + 8. Let h(u) = -3*u**2 + 27*u - 27. Let r(i) = g*f(i) - 3*h(i). Is r(19) a prime number?
False
Let l(c) = -78*c**3 - 3. Let f be l(-3). Suppose -12*t = -9*t - f. Is t composite?
False
Let b = 21579 + -12634. Is b composite?
True
Let v = 1121 + 2306. Is v composite?
True
Let f = -36 + 79. Let s = 90 - 140. Let m = f - s. Is m prime?
False
Let i(a) = -234*a**3 + a**2 + 2*a + 1. Let g(q) = -2*q + 1. Let l be g(1). Let c be i(l). Is c + -2*3/6 composite?
False
Suppose 0 = -s + 5*z - 310, -4*s + 3*z - 1225 = -2*z. Suppose 0*o + 468 = -3*o. Let h = o - s. Is h a composite number?
False
Let f(a) = -2*a + 11. Let j be f(8). Let y be (j/(-4))/((-8)/(-32)). Suppose -y*x = -1093 + 378. Is x a composite number?
True
Let n(i) = 85*i - 9. Let v(d) = -d**3 + d**2 + 4*d - 3. Let k be v(2). Let y = k + 3. Is n(y) a prime number?
True
Suppose 0 = o - 18*o + 89403. Is o a composite number?
True
Suppose 0 = -7*u + 5*u + 12. Let h(x) = 3*x**3 - 5*x - 5. Is h(u) a prime number?
True
Suppose -4*g = -s + 146, 5*s = -2*g - 37 - 47. Let l = 22 - g. Let w = 218 - l. Is w a prime number?
False
Let y(v) = -5*v - 7. Let u be y(-2). Is (-10)/2 - (u + -3079) a prime number?
False
Suppose 3*s = 4*f + 1050, s + 3*s - 3*f - 1407 = 0. Let v = 853 - s. Is v a prime number?
True
Let k be (0/2 + 0)/1. Suppose k*v + v - 15 = 0. Let s = v + 4. Is s composite?
False
Suppose -4*m + 38 = d - 64, -5*d - 65 = -3*m. Suppose 5*b + 15 = m. Is (b/8)/((-5)/(-7940)) prime?
True
Suppose -4*i = -5*p + 7032, -2*p + i = 2*i - 2805. Suppose -w = 0, 5*b + 4*w + p - 5939 = 0. Is b composite?
False
Suppose -3*x + 21053 = 4*f, 3841 = x - f - 3179. Is x prime?
True
Let p = 32 + -29. Is (4/(-6) - 965/(-15))*p prime?
True
Let h = 2 + 0. Suppose 3*c + 0 = h*s - 12, 18 = 3*s - 4*c. Let k(y) = 2*y**2 + 5*y - 8. Is k(s) composite?
True
Let v be (-27)/(-12)*(1 + 7). Let o be -3 + (-1 - -289)/2. Let i = o - v. Is i prime?
False
Let i be 9/(-9) + 2 + 2. Is 29694/12 - i/2 prime?
True
Suppose -4*k + 2*h - 1172 = 0, -3*k - h = -2*k + 287. Let d = k - -163. Let s = -61 - d. Is s a prime number?
True
Let s = -1043 - -8164. Is s prime?
True
Let m(l) = l + 8. Let k be m(-9). Let y be 2*k - (-18 + 14). Suppose 0 = 4*d + 2*t - t - 1991, -1003 = -y*d - 3*t. Is d a composite number?
True
Let n(x) be the third derivative of 103*x**5/15 + x**3/6 + 29*x**2. Is n(1) a prime number?
False
Suppose 0 = -93*m + 94*m - 49. Is m prime?
False
Let l be (-2)/4*2 - -184. Let w = 8 - l. Let f = w - -254. Is f composite?
False
Let b(l) = -l**3 + 4*l**2 + 4. Let r be b(4). Suppose -2*t = -r - 2. Is t*1 - (-36 - -2) prime?
True
Let m be 2/(-6)*(-3514 - 2). Suppose a - 4*j - 299 = -3*j, -2*j + m = 4*a. Is a composite?
True
Is (4/(-6))/(176/(-3012504)) prime?
True
Let k = 3849 - 5595. Let l = -437 - k. Suppose 4*g = -273 + l. Is g prime?
False
Let m = 24 + -24. Suppose m = -5*g + 912 - 367. Is g a prime number?
True
Let r(o) = 104*o + 1. Is r(20) prime?
True
Let i(b) = 140*b**2 + 27*b - 17. Is i(-6) prime?
True
Is 3/(-30)*-4*-5 - -26149 prime?
False
Let g(z) = -2 - 6*z - 1 + 0*z + 7*z. Let f be g(3). Suppose f = -4*u + 380 + 384. Is u a prime number?
True
Is (((-3)/(-9))/(4/(-13812)))/(-1) a composite number?
False
Let n be ((-2)/2)/((-1)/(-2)). Let l be n*2*3620/16. Let v = l - -1536. Is v composite?
False
Let u(a) = -1545*a - 102. Is u(-3) prime?
False
Let a(b) = -3*b**3 - 2*b**2 + b. Let q be a(-2). Suppose 0 = 2*r + 3*s - 10, -4*r - 5*s + q = -2*s. Suppose -5 = r*l - 19. Is l composite?
False
Let p(y) = y**2 - 3*y + 6. Let q be p(4). Is (-7 - 72)/((-2)/q) a prime number?
False
Let s(r) be the third derivative of r**7/420 - 11*r**6/720 - r**5/15 + 7*r**4/24 + 7*r**2. Let a(j) be the second derivative of s(j). Is a(9) prime?
True
Let m(o) = -255*o**3 - 7*o**2 - 12*o - 19. Is m(-4) composite?
True
Suppose -2*o + 2*v = -12, -3*v + 11 = 3*o - 1. Suppose 2*w + 18 = o*c - 0*w, -4*c + 20 = 4*w. Is ((-409)/(-2))/(c/8) a prime number?
True
Is ((-150)/(-20) - 7)*73946 a prime number?
True
Let i be (8 + -5)*(1 + 0). Suppose 647 = 5*s - i*v, 488 = -0*s + 4*s + 5*v. Is s a prime number?
True
Let q(l) = -141*l + 8. Let z be q(-10). Suppose -2*o + z = 5*y, -4*y = -3*o + 5*o - 1422. Is o a composite number?
False
Let v be 13/6 + 2/(-12). Suppose 3*p - 526 = 2*f, -3*p + 6*f - 3*f = -528. Suppose 0 = -4*k + k + x + p, k + v*x - 65 = 0. Is k prime?
True
Let x(y) = -y**3 - 18*y**2 + y + 18. Let p be x(-18). Suppose 5*w + 4*s - 529 = 66, p = -5*w - s + 580. Is w prime?
False
Let z = 43 + -17. Let u be 11080/z + (-4)/26. Suppose -3*y + u + 105 = 0. Is y composite?
True
Let l(r) = 439*r**2 - 64*r - 31. Is l(6) prime?
False
Let w be (-1)/2 + (-5)/(-2). Suppose -2*v + 1077 = 5*o, 5*o - w*v = -7*v + 1065. Let a = o + -54. Is a a composite number?
False
Suppose -3*k + 27835 = u, -31161 + 114718 = 3*u - 4*k. Is u a prime number?
True
Let r(f) = 4*f**3 - 2*f**2 - 2*f - 2. Let c be r(-2). Let l = 87 + -10. Let i = c + l. Is i prime?
False
Let s = 691 + -400. Suppose -u = 4*c - s, -5*u - 347 = -c - 1886. Is u composite?
False
Let o(f) = 153*f - 122. Is o(15) a composite number?
True
Let w = 20 + -19. Let q(u) = 681*u**2 -