d**2 - 8*d - 3. Is p(h) a composite number?
False
Let i be (-3549)/2*136/(-51). Let s = -3263 + i. Let h = s - -960. Is h composite?
True
Suppose -4 - 14 = 2*l + 4*z, -3*z = -3*l. Let d = -7198 - -14773. Is (-3 - d/l) + -1 composite?
False
Let y = -129 + 44. Let h = y + 75. Is (1 - 6/15) + (-5704)/h a prime number?
True
Let n(v) = -158*v + 3528. Is n(-101) prime?
False
Let x(m) = -2128*m + 115. Let o be x(-8). Suppose -8*q = -37*q + o. Is q a composite number?
True
Let k(m) = m + 166. Suppose -5*j = 167 + 238. Let a = j + 81. Is k(a) a prime number?
False
Let o(h) = h**2 + 2*h + 2. Let v be o(-2). Suppose -3*z + 0*g = -v*g + 963, z + g + 326 = 0. Let a = z + 522. Is a a composite number?
False
Let p be 63/18*8/14. Suppose 4*b - 2436 = -2*t, 9*b - 5*b = t - 1212. Suppose -t = -2*n + n - 3*y, -p*y = -4*n + 4850. Is n a prime number?
True
Let d = 11 - -54. Let s(i) = i**2 - 5*i. Let j be s(6). Suppose 0 = -j*g + 5*g + d. Is g a composite number?
True
Let p = 4101 - 2535. Let x be (-116)/(-203) + 62*1/14. Suppose 1369 + p = x*z. Is z a composite number?
False
Let y(v) = 4*v**2 + 0*v**2 + 5 + v - 3*v + 8*v. Let r = -114 + 120. Is y(r) a composite number?
True
Suppose -5*v - 2*p - 682 = -1812, -4*p + 1120 = 5*v. Let u be (517/44)/(1/v). Suppose -5*x + 2*h = -u, x - h = -0*h + 534. Is x a prime number?
False
Suppose 0 = 180*k - 153528669 - 10810971. Is k a prime number?
False
Let o(d) = d**2 + 18*d - 46. Let n be o(-20). Let h be 3/n + 2/4. Is (-10)/(-10) - (h - 11*74) prime?
False
Let a = 31 + -31. Suppose 12*g - 9216 - 42180 = a. Is g a composite number?
False
Suppose -b + 6*b = 10. Let z = 1 + b. Suppose 0 = -2*w + n + 512, 4*w - z*n = -6*n + 1004. Is w a composite number?
True
Is 126365/199*((-304)/(-10) - (2 + 1)) a composite number?
True
Let x be -2*(-10 - -9 - (-1 - -3)). Let c(w) = 19*w**2 - 4*w + 13. Is c(x) a prime number?
True
Is (-55)/(-550) - (-829409)/10 prime?
False
Suppose -5*r = 2*o - 1899, 223 + 524 = 2*r + 5*o. Let v = 1217 + r. Let a = -607 + v. Is a prime?
True
Let v(m) = -3*m - 11. Let t be v(-5). Suppose 3*a = -9, 2*w - 1 = -2*a - 7. Suppose w = 3*b + q - 1315, b + t*b - 2205 = 5*q. Is b composite?
False
Let s(q) = -55*q + 1. Let k = 20 + -20. Suppose 5*x + 2*l + 2*l + 4 = k, 3*x - 4*l + 28 = 0. Is s(x) composite?
True
Suppose 45*w + 70 = 44*w. Let d = -67 - w. Is d + -6 + 2*132 - -2 a composite number?
False
Let t(c) = -308*c + 2171. Is t(-33) a composite number?
True
Suppose 4*c + 27*h - 4264949 = 22*h, 2132470 = 2*c + 4*h. Is c prime?
False
Suppose -12*l + 412868 = -2051968. Suppose 115*z - l = 104*z. Is z prime?
False
Let b(m) = m**3 - 3*m**2 + 3*m - 1. Let z be b(1). Let x(f) = -15*f + 13*f**2 + f**3 + z*f**3 - 12 + 17. Is x(-14) a prime number?
True
Suppose -2*z + 6 = -g, -2*g = -3*z - 4*g + 23. Suppose 3*w + z*q = 30, 2*q = -0*w - 5*w + 31. Suppose 0*a = -w*a + 295. Is a composite?
False
Suppose 8 + 1 = 3*s. Suppose 15074 = s*m + 3566. Suppose 0 = -9*v + m + 4327. Is v composite?
False
Let c be (1 - 1) + (-5 - (-235750)/5). Suppose -17*q = -c - 64970. Is q prime?
False
Let j(x) = -6*x**2 + 8*x - 21. Let l(q) = -7*q + 59 + 0*q**2 + 5*q**2 - 37. Let m(s) = -3*j(s) - 2*l(s). Is m(11) a prime number?
True
Suppose -13*g = -144*g + 10294766. Is g a composite number?
True
Let y(x) = 27*x**2 + 6*x - 6. Let c be y(1). Suppose -245028 = 15*n - c*n. Is n composite?
True
Let j(x) = -35975*x - 3461. Is j(-14) a prime number?
False
Let w be (5 - 4)*-3 + 24. Suppose -w*l - 7101 = -122244. Is l a prime number?
True
Let x(d) be the first derivative of -821*d**2 - 19*d + 121. Is x(-3) a composite number?
True
Let g(y) = -14 - 1 - 4 - 4 - y. Let r be g(-22). Let k = r - -90. Is k a composite number?
False
Let m be 36570/75 + (-4)/(-10). Let n = 1803 - m. Is n a composite number?
True
Let q be 2/(-1 + (-57)/126*-2). Let t be q/(-4)*1960/15. Let m = 1735 - t. Is m prime?
True
Suppose 5*x - 497 - 673 = 0. Suppose -157 - x = -l. Is l composite?
True
Let w = -806 - -1262. Let a = 806 + -139. Let m = a - w. Is m a prime number?
True
Suppose 3*t - 2740 = -1120. Suppose -d - t = d. Is (-1)/(-5) - d/25 composite?
False
Let i be 24/(-8) + 6 + -3. Suppose -k - l + 3300 = i, -k + 12*l + 3298 = 11*l. Is k prime?
True
Suppose -7*x + 10*x + 5*f = 132056, 0 = -5*x - 2*f + 220087. Is x a composite number?
False
Let f = 25770 + 2179. Is f composite?
True
Let g = -365577 - -654335. Is g prime?
False
Let z(x) = 178555*x**2 + 1021*x - 3065. Is z(3) a composite number?
True
Suppose 2*v = 2*w + v + 196, 16 = 4*v. Let l = 5123 - w. Is l prime?
False
Suppose 0*p - 8 = 4*p. Let g(h) = -57*h**3 + 5*h + 3. Is g(p) composite?
False
Suppose 234*m = 226*m + 970376. Is m composite?
True
Let q = -48155 + 100672. Is q prime?
True
Let k(y) = y**2 - 9*y + 3. Suppose g - 16 = -5*q, -g + 57 = 4*g + 2*q. Suppose 0*l - l - g = 0. Is k(l) prime?
True
Let t = -221 + 224. Suppose 0 = 3*b - t*m - 10848, -2*b + 3*m + 7220 = 5*m. Is b prime?
True
Suppose -2*j - 41 = -49. Suppose 6832 = -2*k - j*o + 23258, 24629 = 3*k + o. Is k prime?
True
Let p be 104/(-39)*(-3438)/24. Suppose -15959 = p*k - 383*k. Is k a prime number?
True
Let p(y) = -137*y**3 + 2*y**2 - 14*y - 136. Is p(-7) a composite number?
False
Let f(q) = 6*q**2 + 41*q - 25. Let l be f(17). Suppose 8*a = 2*a + l. Is a a prime number?
True
Let i = -1020709 + 1629536. Is i prime?
False
Let h(c) be the second derivative of -c**5/20 + 5*c**4/6 - c**3/3 + 25*c**2/2 - 12*c. Let d be h(10). Is 4*625/d - -2 a composite number?
True
Let d = 32695 + 15684. Is d composite?
True
Suppose -3*o + 78774 = 2107*i - 2104*i, 0 = 5*o - 4*i - 131317. Is o a prime number?
True
Let w = -18 + 20. Suppose -368 = -3*r - 5*c + 600, -w*c - 10 = 0. Is (r/3)/(1/3) composite?
False
Suppose -4*k = -4*n - 5 + 21, -12 = -3*n. Suppose 3*j - 3*r + 9 = k, -3*j + r = -2 + 3. Is (557/3)/(7/21)*j prime?
True
Let m = 3684 + 9319. Let g be 6/12 - m/2. Is g/(-12) - (-3)/(-4) composite?
False
Let y(h) = -h**3 + 4*h**2 - 1. Let m be y(2). Let j = -3 + m. Suppose j*q - 28 = 2*q. Is q prime?
False
Let k = 10704 + -5226. Suppose -4*x + 8078 = -k. Is x a composite number?
False
Let g = -1693 - -3393. Let o = g + -363. Is o composite?
True
Suppose 44*m - 48*m + 3*a = -14642, 0 = -5*m - 3*a + 18289. Is m composite?
False
Suppose -2*k + u = -4*k - 17, 2 = -2*k + 2*u. Let x be (-6 - k) + -1 + 3. Suppose 5*q - 1653 = x*q. Is q prime?
False
Let i = 28 + -16. Suppose -9*y = -i*y + 4395. Suppose 4*v - y = 3675. Is v prime?
False
Suppose 0 = -3*w - 4*l - 0*l + 5770, 1916 = w + 5*l. Suppose -s = n + 1144, -7*s + 4*n = -3*s + 4536. Let h = w + s. Is h a composite number?
False
Suppose 11 - 3 = 4*m. Suppose 2*x - q = 13, -q = m*q + 15. Suppose 35 = x*s + 15, -5*t - 3*s + 4270 = 0. Is t prime?
False
Let o(q) = -q**2 + 18*q + 65. Let r be o(21). Suppose 2*z + 2025 = -r*g + 8755, 0 = z + 4*g - 3365. Is z a composite number?
True
Is -5042*(-1095)/30 + -2 a composite number?
False
Suppose -103*w = -37*w - 3507702. Is w prime?
True
Let c(b) = 2838*b**2 + 173*b - 3546. Is c(17) composite?
True
Suppose -l + 0*h + 7 = 5*h, 2*l - h - 14 = 0. Suppose -l*s + 4*s = -342. Suppose -4*v - 124 = -4*r, -2*v - s = -r - 3*r. Is r a composite number?
True
Is (((-2)/7)/(1065/(-2485)))/((-2)/(-480927)) composite?
False
Let j = 297095 - 170736. Is j prime?
True
Let z = -407 + 412. Suppose 0 = -z*y - 25, -5*w + 2*w = -y - 6752. Is w composite?
True
Let k(b) = -b**3 + 6*b**2 - 9*b + 4. Let p be k(4). Let n = p - -3. Suppose 2190 = -n*r + 9*r. Is r a composite number?
True
Let u(k) = k**3 + 7*k**2 - k - 4. Let n be u(-7). Is (-2 + n)*460/4 composite?
True
Suppose 2*t = 10*t. Suppose 2*h + 2*c = 2 - 6, 2*h - 5*c - 24 = t. Suppose 4857 = 5*k + r, -r + h*r + 4853 = 5*k. Is k a composite number?
False
Suppose -7 - 33 = -5*y. Let u = 42192 - 60427. Is u/10*y/(-4) a prime number?
False
Suppose -b + 68372 = -o, -7*b = -4*b + 5*o - 205156. Is b a composite number?
True
Let l be 197/(0 - 1) - (6 + -5). Let y = 496 + l. Is y prime?
False
Let m(d) = d**3 - d**2 - 7*d + 5. Let u be m(3). Suppose 4*r - 5*r + g + 4495 = 0, u*r = -g + 8984. Is r a prime number?
True
Suppose 5*j = -4*g - 36, -g + 0*j = -5*j - 16. Let n = g - 6. Is -58*(n/4 - 4) prime?
False
Let a(z) = -19*z**3 - 4*z**2 + z + 11. Let m(s) = 8*s**2 - 2 - 2*s -