. Is h composite?
True
Let f(k) = 2*k**3 - 8*k**2 + 4*k + 1. Let z be f(3). Let y(s) = -36*s + 23. Is y(z) prime?
False
Let d be (-91)/(-35) + 2/5. Let m be ((-1169)/(-1) - d) + 1. Suppose -j = 5*c - 1097, -j - 30 = -5*c - m. Is j composite?
False
Let k be (-2 - 1) + 9/3. Suppose 3*y + 2*o - 4 = 0, -y - 3 = -k*o + 5*o. Suppose j = -s + 117, y*s = -4*j + 173 + 53. Is s a prime number?
False
Let m = 548 - 359. Let c = 680 - m. Is c prime?
True
Let p(q) = 3 - 1 - 72*q - 3. Is p(-9) prime?
True
Suppose 2*k - 4*t - 12254 = 0, -24508 = -13*k + 9*k - 2*t. Is k a composite number?
True
Let f = 3119 + -5420. Suppose 2*y + 2 = 3*k - 17, -y + 5*k = 6. Is (-10)/55 + f/y a prime number?
False
Suppose -v + 585 = -820. Suppose v - 371 = 2*x. Is x composite?
True
Is 4 + 2040 + 1 + -4 a prime number?
False
Suppose -m = -3 + 2. Suppose -3*x = v + m + 2, -5*x - 2*v = 4. Is 3/x - (-100)/8 composite?
False
Let u(o) = -4*o**3 + o. Let r be u(-1). Let l be ((-3)/6 - -1)*-2 - -1. Suppose g + r*g - 196 = l. Is g a prime number?
False
Let j(b) = 5*b**2 - 7*b + 16. Let y(u) = u**2 + 8*u - 15. Let s be y(-10). Is j(s) a composite number?
True
Let y(m) = -27*m - 5. Let j(c) = 109*c + 19. Let a(o) = -2*j(o) - 9*y(o). Is a(2) a composite number?
True
Is 2/4*(-4 - 10)*-173 a composite number?
True
Let b be (-282)/(-1 - (-1)/4). Let a = b - 213. Is a a composite number?
False
Is (12/(-9) - -1)/(17/(-100623)) a prime number?
True
Suppose 5*n - 25*c = -28*c + 47050, -2*c = -3*n + 28249. Is n a prime number?
True
Let k be -3092*((-9)/2 + 4). Suppose -4*d + k - 478 = 0. Is d a prime number?
False
Let t = 15 - -96. Let s = t - -16. Is s a composite number?
False
Let y be 465/75 - 2/10. Is (-12)/18 - (-478)/y prime?
True
Suppose -14 = 6*o - 2. Let w be ((-2 + 4)*1)/o. Is (0 + w)*(10 + -593) composite?
True
Is 40332/8 - ((-3)/6 - -1) composite?
True
Let q be (-2)/(-6)*3*5. Suppose -q*m = -957 + 242. Is m prime?
False
Let s(v) be the first derivative of -v**4/4 - v**3/3 + v**2 + v - 1. Let a be s(-2). Is (-45221)/(-66) - a/6 composite?
True
Suppose -4 = l - 3*l. Suppose b = -4*k - 2*b + 368, l*b = -4*k + 372. Is k composite?
True
Suppose 28 = 9*j - 5*j. Suppose -3*r - j = -10. Is -1 + 1/(r/680) a prime number?
False
Let l(x) = 2*x + 14. Let c be l(-7). Suppose 4*d = -c*d + 212. Is d a prime number?
True
Suppose -4*c + 8567 + 21075 = 2*x, 4*x + 22237 = 3*c. Is c a composite number?
False
Let g be 150/42 + 6/14. Suppose -r - 8 = -j, 0 = -g*j - j + 2*r + 40. Is j - 5 - (-75 - 1) a composite number?
False
Suppose 3568 = -4*z + 8*z. Is 2/8*z*1 composite?
False
Let l = 596 + -322. Is 11*l/2 - -4 a composite number?
False
Suppose 2*w = -3*q + 5*w + 180030, 5*w - 300060 = -5*q. Is q composite?
True
Is (-1 + 347)/((-11)/(110/(-4))) composite?
True
Let r(p) = -5*p + 11. Suppose -16 + 8 = g. Let t be (2 + -2)/(-4) + g. Is r(t) prime?
False
Let o(y) = -22*y + 25. Let b be o(-11). Let u = 319 + b. Is u composite?
True
Suppose -222 - 638 = -4*l. Is l + 0 + -8 + 32/8 a composite number?
False
Suppose -n = 3*n + 11780. Let u = n - -4206. Is u a composite number?
True
Suppose 3*x - 20303 = -x - 5*i, 2*x - 5*i - 10159 = 0. Is x a composite number?
False
Suppose -4*j + 3493 = 5*q, -3*q + 2137 = 2*j + 392. Is j prime?
True
Suppose 3*v = -6*v + 9. Suppose -f + v = 0, -4*d + 46 = 4*f - 106. Is d a composite number?
False
Let b = 55041 + -35179. Is b a composite number?
True
Suppose -3*s + 13*s = 240. Suppose 3873 = s*r - 21*r. Is r prime?
True
Let y = 1392 - -523. Is y a prime number?
False
Let m(c) = -2*c**3 - c - 1. Let y be m(-1). Let s(h) = 0 + 6*h**y - h**3 + 6*h + 2 + 3*h - 3. Is s(6) composite?
False
Let n be (-3 - -2)/((-1)/3). Let v(o) = 4*o**2 + 3 + n*o**2 - 4*o - 5*o**2. Is v(4) a prime number?
True
Let c be 3/(-1) + 14 + -1. Let g be c/(-4)*(-60)/25. Is -2*4/((-16)/g) a prime number?
True
Let m(l) = 2 - 1 + 0*l - 10*l**3 - 3*l + 2*l - 3*l**2. Suppose 2*a + 2 = a. Is m(a) composite?
False
Let a = 1222 + -425. Is a composite?
False
Suppose -8*a = -5*a - 5262. Is 9/(6 - 3) + a composite?
True
Suppose 5*w + 5155 = w + 5*f, -6454 = 5*w + 4*f. Let o be ((-16)/(-6))/((-20)/w). Suppose -4*d = -o - 0. Is d a composite number?
False
Let o = -3718 - -6015. Suppose n - 7156 + o = 0. Is n prime?
False
Suppose 8*p + 5*p - 20020 = 0. Let f = p - 479. Is f composite?
False
Let m be 740/6*12/5. Let k = 353 + m. Is k a composite number?
True
Is (-1 - 0)/((-12)/(1619760/20)) a prime number?
False
Let v(x) = -3*x - 9. Let z be v(-6). Let g = 13 - z. Suppose g*s = 2*b + 2*b + 352, -97 = -s + 4*b. Is s composite?
True
Let h = 101863 - 70314. Is h a prime number?
False
Suppose -6*g + 7*g = -9. Let d be (g + 11)*(0 - -2). Suppose -i = -z + 69, d*z + 5*i - 57 = 3*z. Is z prime?
True
Suppose -2*s - 74 = -5*m, 3*m - 57 = -0*s - 3*s. Let b(j) = 9*j**2 - 24*j + 14. Is b(m) a prime number?
False
Let y be (-5 - (0 - -2))*-1. Suppose -5*x = 22 - y. Let l(v) = v**2 - 3*v + 4. Is l(x) a prime number?
False
Suppose -18065 - 50307 = -2*z + 3*n, 2*n = -4. Is z prime?
True
Let c = -10 + 10. Let b(g) = -2*g + 1457. Is b(c) a prime number?
False
Let q = -3138 - -11045. Is q composite?
False
Let x be (-1 + 0 - -25)*2/(-4). Is -1 + (-2942)/(-8) - x/48 a prime number?
True
Let k(m) be the first derivative of 197*m**2/2 - 12*m + 6. Is k(2) composite?
True
Let f(u) = -u**3 + 6*u**2 - 3*u - 6. Let s be f(5). Suppose -4*z = 3*g + 2*g - 66, 0 = -s*z + 2*g + 80. Is z a prime number?
True
Let x = -11 + 5. Let u(i) = 3*i + 21. Let z be u(x). Is (267 - (1 + z))*1 a prime number?
True
Suppose -2*x - 6*t = -3*t - 283, 2*x = 5*t + 323. Is x prime?
True
Let l be (3/(-2))/((-6)/728). Suppose -u + s + l = -29, 0 = 2*s. Is u a prime number?
True
Suppose -d - 510 = 682. Let v = d - -3617. Suppose -q - 4*q = -v. Is q composite?
True
Suppose i = -r + 23, -2*i - 5*r + 52 = -r. Let m be 0 - (-1 + 1 + 1). Let t = m + i. Is t prime?
True
Suppose -12*c + 46036 = -8*c. Suppose 2*k - 11469 = 5*h, c = 3*k - k + 3*h. Is k prime?
False
Let a = 29 + -19. Let r be 4/a - 3549/(-65). Let v = 106 - r. Is v a composite number?
True
Let s(k) = -5*k**3 - 7*k**2 - 2*k + 3. Let f be s(4). Is (5 - 5) + (-3 - -3 - f) prime?
False
Is (3 - 13917/6)*-2 composite?
True
Suppose 2*h + b = 12, 0 = h - 3*b + 2 - 1. Suppose -4*v = 3*x - 187, x + 183 = -v + 5*v. Suppose -3*m = -h*j + 93, v + 30 = 4*j - 2*m. Is j a prime number?
False
Suppose v + 4*n - 3*n = 2316, -4*v + 2*n + 9294 = 0. Is v a prime number?
False
Suppose -5*w - 6 = -7*w. Let u(a) = 2*a**3 - 3*a**2 + 5*a - 4. Let r be u(w). Is (-260)/(-10)*r/4 a composite number?
True
Let h be (-190)/(-4)*(-96)/(-60). Suppose s - h - 277 = 0. Is s a composite number?
False
Suppose -19243 = 166*m - 173*m. Is m a composite number?
False
Suppose -5*d - 5*o + 29 = -o, 4*d + 5*o - 25 = 0. Let a(x) = 2*x**3 + 7*x**2 - x - 1. Is a(d) a composite number?
False
Is (2/4)/((-11)/(-66726)*9) a prime number?
True
Let z(j) = 454*j - 8. Let p be z(2). Let o(f) = 75*f**3 + f**2 - 2*f + 1. Let d be o(2). Let b = p - d. Is b prime?
False
Let x = 2549 + -1728. Is x a prime number?
True
Let g = 165 - 240. Is -1 + (-938)/(-10) - 15/g composite?
True
Let h(n) = n**2 - n - 1. Let v(i) = -7*i**2 - 3*i + 11. Let q(k) = 6*h(k) + v(k). Let g be q(-7). Let u = 0 + g. Is u composite?
False
Suppose 31*b = 24*b + 35987. Is b a composite number?
True
Suppose 7*f - 152346 - 30641 = 0. Is f a composite number?
False
Suppose l + 16258 = 2*x, -2*x - 4*x - 4*l + 48802 = 0. Is x a composite number?
True
Is ((-346638)/(-21))/((-1)/(-13 + 6)) a composite number?
True
Let b(y) = -y**2 - y. Let c(i) = i + 18. Let r be c(-19). Let m be b(r). Suppose -5*w + 2*q + 940 + 155 = m, 5*q + 219 = w. Is w a prime number?
False
Suppose -3*i = -3, -5*i + 10*i + 11 = 2*j. Suppose 0 = 4*h + 5*q - 18, -h - 2*q + j = q. Suppose -3*y + 4435 = h*y. Is y a composite number?
False
Let t be 4/6 - 70/(-21). Let y(w) be the second derivative of 11*w**4/6 - 5*w**3/6 + 3*w**2/2 - 8*w. Is y(t) prime?
False
Let w be ((1 - 2) + -10)/(-1). Suppose 271 = -w*u + 1250. Is u composite?
False
Let b be -2 - 1867/(-2) - 3/(-6). Suppose 0 = 4*t + b - 4792. Is t prime?
False
Is 9/12*(-927312)/(-36) a prime number?
True
Let j(c) = 2*c**2 - 9*c + 20. Let y be ((-1)/((-3)/(-12)))/(-2). Suppose 0 = 4*b + y*b - 66. 