93*h**2/2 + 20*h. Is z(0) composite?
True
Suppose 0*a - 495 = 5*a. Let z = -39 + a. Let o = 169 - z. Is o a composite number?
False
Let n be 27657/39 + (-6)/39. Let l = n - 330. Is l composite?
False
Let v(p) = 5*p**2 - 6*p - 44. Let b(f) = f**2 + f + 1. Let h(o) = 6*b(o) + v(o). Is h(11) a composite number?
True
Suppose -120 = -2*r + 14. Is r prime?
True
Suppose -g - 5 = 4*w - 3, 3*g = -3*w - 6. Suppose 4*c - c - 21 = w. Suppose 0 = d - 15 - c. Is d composite?
True
Suppose -9*o + 10*o = 4. Suppose -m = -4*l + 5 + 9, 4*m + 20 = o*l. Suppose 18 - 135 = -l*f. Is f prime?
False
Suppose 0 = 2*f + 8650 - 35168. Is f prime?
True
Let r(a) = -a**3 - 4*a**2 + 12*a - 14. Is r(-15) a composite number?
False
Let n be (2/(-5))/(13/(-1170)). Let g = 454 + n. Let d = 255 + g. Is d a prime number?
False
Let p be (24/(-15))/(2/10). Let y(z) = -20*z + 9. Is y(p) composite?
True
Let w(i) = 211*i. Let n be w(8). Let y = -62 + 62. Suppose -2*v - 2*v + 4*s = -n, -v - 3*s + 442 = y. Is v a prime number?
False
Suppose -2530 = 3*t - 4*x, -5*t = -t - 4*x + 3372. Let m = t + 1255. Is m composite?
True
Suppose 4*c - 4*l - 3356 = l, 0 = 4*c - 2*l - 3356. Is c composite?
False
Let d(b) = -b**2 - 9*b - 6. Let g(s) be the second derivative of -s**2/2 - 4*s. Let o(h) = -d(h) + 5*g(h). Is o(7) a composite number?
False
Suppose 60*x = 62*x - 28226. Is x composite?
True
Let x = -5 + 10. Let p = 863 + -476. Suppose -4*o = 2*w - p - 115, x*w = -4*o + 517. Is o prime?
False
Is (9 - 7) + 0 + (41121 - 4) a prime number?
False
Suppose j + 12 = 6*w - 2*w, 0 = -3*w + 4*j + 9. Suppose -h = -w*h. Suppose 4*p = -4*q + 312, h = 3*q - 4*p - 12 - 257. Is q composite?
False
Suppose 5 = 5*w + 2*t + 3, -2*w = 3*t + 8. Suppose 4*s - o - 1882 = 0, -3*s + w*o + 1409 = -0*o. Is s a prime number?
False
Suppose 3*m - m - 959 = -h, 0 = -4*h + 2*m + 3866. Is h composite?
True
Let u = -48 - -48. Suppose 2*h + 5*z - 1276 = u, -4*h + 3*h + 5*z = -623. Is h composite?
True
Let c be -2*3/36 + 16093/42. Suppose 5*n = 2*n + 4*o + 221, 0 = 5*n - 3*o - c. Is n composite?
False
Suppose a + 3*k = 901, -10*a + 3574 = -6*a - 3*k. Is a a composite number?
True
Let b(c) = -13*c - 28. Let p(a) = 1. Let m(y) = -b(y) - 5*p(y). Is m(8) prime?
True
Let c(d) be the third derivative of -d**7/840 - d**6/360 + d**5/120 - d**4/4 + d**3/2 - 5*d**2. Let g(n) be the first derivative of c(n). Is g(-5) prime?
True
Suppose -5*j = -1651 + 36. Suppose 4*x = -2*s + 654, s - x - j = -5*x. Is s a prime number?
True
Is 560144/28 - ((-45)/(-21) + -2) a prime number?
False
Let o(q) = 2 - 3*q - 4 - 11*q**2 - 2*q**3 + 11*q**2. Is o(-5) a prime number?
True
Suppose -347 - 2789 = -t - 2*r, -3*t + 9410 = 5*r. Suppose -a + t = 4*a. Is (a/(-12))/(2/(-6)) a prime number?
True
Let g be (1228/6)/(20/30). Let w = g + 86. Suppose -v + w = 2*v. Is v prime?
True
Suppose -3*v + 1290 = -3*f - 222, 2*v - f = 1003. Is v a composite number?
False
Let v(f) = 340*f**2 + 14*f + 23. Is v(-3) composite?
False
Let b be (-7)/28 - ((-46)/(-8) - 2). Is ((-39)/2)/(b/96) + -2 a composite number?
True
Let s = 3363 - 5891. Let b = s - -3597. Is b composite?
False
Is (1 - 0)*(9699 + -3 - 7) a prime number?
True
Let h(f) = -127*f - 11. Let g(u) = -63*u - 5. Let n(b) = 13*g(b) - 6*h(b). Suppose -p - z - 3*z = 1, 5*p - 3*z + 5 = 0. Is n(p) prime?
False
Let n(w) = -9459*w**3 + 3*w**2 - 3*w - 4. Is n(-1) a prime number?
True
Let v = -14 - -6. Let x(f) = -f**3 - 5*f**2 - 11*f - 17. Is x(v) prime?
True
Let h(i) = 33*i**2 + 22*i - 54. Is h(-19) a prime number?
False
Let l(j) = -7168*j**3 + 3*j**2 - j - 2. Let o be l(-1). Suppose 2*d + g = -3*g + o, -3*d - g + 10775 = 0. Is d a composite number?
False
Let s = 4 + 5. Let r(p) = -4*p**2 + 10*p + 6. Let a be r(s). Let q = 785 + a. Is q prime?
True
Let y(x) = -39 + 15*x + 0*x**2 + 2 + x**2 - 4*x. Is y(-17) prime?
False
Let c = -285 - 17. Let w = c + 855. Is w a prime number?
False
Let y(w) = 59*w - 4. Let q(k) = 60*k - 4. Let b(t) = -5*q(t) + 6*y(t). Let d be b(-4). Let l = 457 + d. Is l a composite number?
True
Is ((-64049)/38)/((-2)/4) a composite number?
False
Is (-87768)/48*1/3*-2 a composite number?
True
Let r = -3895 + 10442. Is r composite?
False
Let g be (2 + -8)*100/(-6). Let s = 184 - g. Suppose 2*f + 2*x = 11 + 63, -s = -2*f + 3*x. Is f composite?
True
Suppose 4*f - 703 = 1345. Let u = f - 253. Is u a composite number?
True
Let j be (-4 - -3) + -3 + 27638. Is j/18 - (-7)/((-252)/8) prime?
False
Suppose 37416 = -n - 2*y + 155511, -5*y = -5*n + 590490. Is n prime?
False
Let y(h) be the third derivative of h**5/20 + 5*h**4/24 - h**3/6 - 6*h**2. Let b(z) = -z**3 - 4*z**2 + 3. Let w be b(-3). Is y(w) a prime number?
False
Suppose 753597 + 476192 = 11*z. Is z a prime number?
True
Let c = -14 - -18. Suppose -1 = p - c. Suppose -4*v + p*i + 1298 = 0, -5*i + 317 = v - 2*i. Is v prime?
False
Suppose 5*s - 666 = c, -s + 83 = 3*c - 47. Is s a prime number?
False
Let c(w) = -w**2 - 17*w + 4. Let p be c(-17). Suppose 2*u - p*u = 1108. Let b = -285 - u. Is b a prime number?
True
Let x be ((-2)/(-3))/((-10)/(-75)). Suppose x*u + 2 + 13 = 0. Is u/1 - (-1 - 45) composite?
False
Let j(o) = -189*o - 1. Suppose 0 = 3*t + k - 12, t + 3*t = -2*k + 18. Let m be j(t). Is ((-4)/8)/(4/m) composite?
False
Suppose -6*b + 8*b = -h + 9880, h - 4941 = -b. Is b a composite number?
True
Let l(n) = 74*n - 34. Let b be l(26). Let z = b - 1301. Is z composite?
True
Is ((-465996)/18)/(51/(-9) + 5) composite?
False
Let x(v) = -6 - 2 - 20 - 131*v. Is x(-7) composite?
True
Let g = -35 - -40. Suppose n = -g*n + 1590. Is n a composite number?
True
Let j = 3 - -2. Let o(q) = 16*q + 21. Let y(m) = -8*m - 11. Let s(c) = j*y(c) + 2*o(c). Is s(-9) prime?
True
Let q = 3033 + -1672. Is q a prime number?
True
Suppose 4*m - 93 = -y + 2*y, -3*y - 2*m - 265 = 0. Let v = y + 183. Is v prime?
False
Let q = 31 + -43. Let d = -8 - q. Suppose 0 = -u + n + 714, -5*u - d*n + 1552 + 2063 = 0. Is u a prime number?
True
Let g be 56/(-16)*(-2 - 0). Suppose -146 - 1247 = -g*s. Is s a composite number?
False
Suppose -3*n = -0*p + 3*p - 3, 0 = -5*p + 4*n + 5. Suppose -j + 5 = p. Suppose 5*u - 361 = j*d, 5*u + 4*d + 122 = 451. Is u a prime number?
False
Suppose 12325 = 11*r + 1204. Is r a prime number?
False
Let p(f) = -f**3 - 11*f**2 + 26*f + 5. Let a be p(-15). Suppose 966 = 2*z - 2*k, -5*k - 938 - a = -3*z. Is z a composite number?
True
Let p be (39 + -21)*(1 - -1). Suppose j + 17 = p. Is j a composite number?
False
Suppose -y - 35308 = -29*y. Is y a composite number?
True
Let i = 876 - -211. Is i prime?
True
Let f = 308362 - 213000. Is f composite?
True
Let i(v) be the first derivative of 85*v**2/2 - 2*v - 1. Let h = 19 - 16. Is i(h) a composite number?
True
Let g(o) = 6 + 1 + 1 - 5 + 16*o. Let t be g(-2). Let w = t - -364. Is w a composite number?
True
Let u(a) = a**3 - 17*a**2 - 9*a - 17. Suppose -5*y = -2*b - 0*y + 41, -2*b + 34 = 2*y. Is u(b) composite?
True
Suppose 0 = 2*q + 13 - 1. Is (1228/6)/((-4)/q) prime?
True
Let j(m) = -8*m**2 - 4*m**2 + 4*m**3 - 4*m**2 - 5*m**3 - 14*m + 9. Let s be j(-15). Is s/(-33) - (-16380)/55 a prime number?
False
Let z = -31 + 31. Suppose 0 = 4*j - z*f - 4*f - 1068, 532 = 2*j - f. Is j a composite number?
True
Let d(y) = -y**3 + 6*y**2 - 5*y - 5. Let x be d(5). Let g(r) = -12*r**3 - 2*r**2 - 2*r + 1. Let b be g(x). Suppose 523 = -2*t + b. Is t prime?
False
Let p(v) be the second derivative of v**4/6 + 11*v**3/6 - 23*v**2/2 + 6*v. Suppose g = 5 + 7. Is p(g) composite?
False
Is 303179/21 + 18/(-189) a composite number?
False
Suppose -2*p = -2*u + 17 + 1, 11 = 3*u + 5*p. Suppose u*z - 6*z - 673 = 0. Is z composite?
False
Is 503610/(-4)*(-86)/129 a composite number?
True
Let j(s) = -35*s**3 - 4*s**2 + 23*s - 17. Is j(-7) a composite number?
True
Let k be -7 + 7 - (-2 - -1). Let d(b) = 260*b - 1. Is d(k) composite?
True
Suppose 6*s - 17*s + 4488 = 0. Let d = 853 - s. Is d composite?
True
Suppose 24*j - 50*j + 190606 = 0. Is j composite?
False
Let o = -12 + 17. Suppose -o*q + 21 + 34 = 0. Let t = 48 - q. Is t prime?
True
Let r be 1 + -3 + (5 - 0). Let k(d) = -65*d + 2. Let m(g) = 22*g - 1. Let s(t) = r*k(t) + 8*m(t). Is s(-3) a prime number?
False
Let u(y) = 6 + 3 + 313*y + 6. Let m be u(10). Suppose 2*w = 7*w - m. Is w a composite number?
True
Let f be (