s o composite?
False
Let y(p) = 19959*p - 259. Is y(2) composite?
False
Let v(l) = -4691*l + 28. Let p(f) = -1564*f + 9. Let d(j) = 7*p(j) - 2*v(j). Let q be d(1). Let m = q + 6094. Is m prime?
False
Suppose 0 = 5*t - 3*n - 4550, -2*n - 910 = -t - 6*n. Let f(d) = -9*d**2 - 38*d - 90. Let p be f(-5). Let z = t + p. Is z a composite number?
True
Suppose -2*m - 5*p = -67383, -29354 = -2*m + p + 37999. Is m prime?
True
Let h = -177 - -180. Suppose 5*s = h*d + 2319 - 676, 12 = 3*d. Is s a composite number?
False
Suppose 20*f = 3392 + 3388. Is f a composite number?
True
Let b = 1621 - 831. Suppose b - 1041 = -v. Is v composite?
False
Suppose 0 = -b + 4, -2*k + 100*b = 102*b - 324694. Is k a prime number?
True
Let k = -62046 - -147145. Is k a prime number?
False
Is (-1990)/(-16915) + ((-2222708)/(-34))/2 a prime number?
True
Let b = 221 - 217. Suppose b*f - 3*f + 3*h = 4636, 0 = -3*h + 15. Is f a composite number?
False
Suppose 0 = x + 2*x. Suppose 12*z - 7 - 77 = 0. Suppose x = z*y - 23502 - 3847. Is y a composite number?
False
Let m(i) = -465*i**2 + 5. Let j(w) = 465*w**2 + 2*w - 5. Let f(h) = -3*j(h) - 4*m(h). Is f(4) a prime number?
True
Suppose 5*n = 3*q + 24410, -3*n = -13*q + 14*q - 14660. Let r = 10719 - n. Is r a prime number?
False
Let i(p) = 7*p - 37 - 52*p + 17*p + p**2 + 12*p. Let v(q) = q**2 - 5. Let g be v(5). Is i(g) prime?
True
Let i(m) = -m**3 + 20*m**2 - 36*m + 21. Let k be i(18). Suppose -5*n = -2*s - 39, 2*s = -0*n + 3*n - k. Is 145/5*(n + 2) a prime number?
False
Let r be (-4)/18 + (-2468)/(-9). Let p be -6 + (-7 + 5/((-10)/(-16)) - -11). Suppose -p*k + 5*k = -r. Is k a composite number?
True
Let v(h) be the second derivative of h**4/4 + 28*h**3/3 + 7*h**2/2 + 4*h + 5. Is v(-30) composite?
True
Let u = -1341 - -608. Let h = u - -1282. Suppose 3*z - 5298 = h. Is z a composite number?
False
Let m(r) = -r**3 + 4*r**2 + 13*r + 4. Let b be m(6). Suppose -13*z - 6 = -b*z. Is (-4)/(-8)*z - -32 prime?
True
Is (12/(-14) - 0) + 18266775/525 a composite number?
True
Suppose 143*i = 75*i + 7681756. Is i a prime number?
True
Let d(g) = -5542*g + 2319. Is d(-7) prime?
True
Let m(q) = -90*q**3 + 20 + 31*q**2 + 41*q**3 + 48*q**3 + 36 + 11*q. Is m(31) a composite number?
False
Let o(r) = -206*r + 146117. Is o(0) a composite number?
False
Suppose -6 = 3*u - 15. Suppose -u*p = -4*p. Suppose 0 = -6*l + 2*l, -4*f + 4*l + 1228 = p. Is f a prime number?
True
Suppose -3*b + 891947 = 57014. Is b a prime number?
False
Suppose -u - w = -11, -3*u - 3*w = -6*w - 51. Let j = u + -12. Suppose 0 = -j*v + 2334 - 248. Is v a composite number?
True
Suppose -7*y + 30*y = -7*y + 7345110. Is y a prime number?
True
Suppose 0 = -8*h - 34 + 338. Let o be 1843/h - (-2)/4. Let j = o + 244. Is j prime?
True
Let y(v) = 15*v**2 + 10*v - 21. Let c(s) = 43*s**2 + 30*s - 64. Let t(w) = 6*c(w) - 17*y(w). Suppose 0 = 2*k - 18 - 2. Is t(k) a composite number?
False
Suppose 25*l = 240026 + 492849. Suppose -2*b - b + 61716 = 0. Let z = l - b. Is z a composite number?
True
Let c(m) = 4*m - 115. Let y be c(34). Suppose -13390 + 88759 = y*k. Is k composite?
True
Let u(g) = 4*g**2 - 2. Let l be u(1). Suppose 3*q + 0*q = d - 10, 16 = 3*d - l*q. Suppose 5*h - 2*h - y - 1650 = 0, 3*y = d*h - 2195. Is h composite?
True
Let d(h) = -h**2 - 13*h + 53. Let t be d(-16). Suppose -11708 + 943 = -t*p. Is p prime?
True
Suppose -4*o - 92546 = -2*k, -4*k + 5*o + 193769 = 8698. Is k a composite number?
True
Suppose 2*c + 6 = 0, n = -2*c - 2 - 1. Suppose -2*z + z + 1229 = 4*a, -n*a = z - 1225. Is z composite?
False
Let o = 40561 + -7964. Suppose -g - k = -4*k - o, -3*k = -6. Is g a composite number?
False
Let d(y) = y**2 + 3. Let p be d(3). Let o = -3736 - -3733. Is (905 + o)/((p/(-2))/(-3)) prime?
False
Let d = -237 + -13. Let i(n) = 20*n**2 - 8*n - 1. Let f be i(-6). Let y = f + d. Is y composite?
True
Let t(b) = -3*b**2 + 18*b + 4. Let m be t(6). Let s be 4 - -1*(m + -6). Suppose 2*h + s*h = 1364. Is h a prime number?
False
Is ((-1)/3)/(6/(-1585242)) a prime number?
True
Suppose 8*t - 10280 = 3*t - 5*d, -1 = d. Let i = t - -1921. Suppose 16 = -4*u, m - u = -m + i. Is m prime?
True
Let a(m) = 8*m**2 - 2. Let g be a(-2). Let l(b) = -b**2 - 26*b + 698. Let f be l(-24). Suppose 28*u - g*u = -f. Is u a prime number?
True
Let w(r) = -9503*r - 433. Suppose 130 = 80*s - 93*s. Is w(s) prime?
True
Suppose 3*f = 21*f + 108. Let r(t) = -2667*t + 55. Is r(f) a composite number?
False
Suppose -b = w - 5, 9*w = 4*w + b + 31. Let n(q) = -18 + 36*q + 7 - w. Is n(11) composite?
False
Let x(j) = -5*j - 11*j**2 + j**2 + 3*j**3 - 7*j**3 + 3*j**2 + 15. Is x(-11) a composite number?
False
Suppose -2582*w + 2591*w = 138357. Is w a prime number?
True
Suppose 46*q - 7169504 = 14*q. Is q composite?
False
Is (-2141969)/(-9) + (-8)/(-18) a prime number?
True
Let w = 1491 - 325. Let n = w - 217. Is n a composite number?
True
Let m(c) be the third derivative of 1/2*c**5 + 1/24*c**4 - 15*c**2 + 0*c + 4/3*c**3 + 0. Is m(-7) prime?
True
Suppose -91*w + 31*w + 1527678 = -42*w. Is w prime?
True
Is -5*11*(-20)/(-550) - -238993 a prime number?
True
Let o be 54 + (4/18 - (-28)/36). Let g = o + -58. Is 611 + 5 + g + 0 a prime number?
True
Let m be (-403)/124 - 2/(-8). Is (-9 - (-25936)/12) + (-2)/m a composite number?
False
Let o = -1733 + 832. Let c = o + 5300. Is c a composite number?
True
Let g = 114647 + -39610. Is g a prime number?
True
Let g(l) = -267*l - 94. Let s(c) = -133*c - 47. Let b = 72 + -75. Let x(u) = b*g(u) + 7*s(u). Is x(-12) prime?
False
Suppose -3*l + 5*j + 87389 = 0, -j = 2*l - 18080 - 40162. Is l a prime number?
True
Suppose -8*r + 8 + 64 = 0. Is (-508)/(-8)*126/r a composite number?
True
Suppose 105*y - 100*y = 4*w + 1593272, -2*w = -y + 318658. Suppose 9*d = y + 110333. Is d prime?
False
Let p(g) = 4*g + 9 + 4*g**2 - 5*g**3 + 11*g**3 - 4*g**3 - 25*g**2. Is p(14) a composite number?
True
Let y(i) = 9091*i**2 + 5*i - 5. Let t(k) = 7*k - 34. Let r be t(5). Is y(r) a prime number?
True
Let o be (2 - 2 - (3 + -2))*38. Let x = o + 41. Suppose 0 = 2*m + x*c - 1186, 4*m - 3*c = 700 + 1636. Is m a composite number?
False
Suppose -6*g - 562848 = 20*g. Let h = -12291 - g. Is h a composite number?
True
Suppose -154 + 39 = -5*m - 5*x, 5*x = -m + 27. Suppose -m*d = 5602 - 27998. Is d composite?
True
Suppose -4*q + 145 = -31. Suppose 85160 = q*t - 4*t. Is t composite?
False
Let k be (-2)/(-2)*(12/(-4) - -5). Suppose 4*j - k*j = -4. Is (483/6)/((-3)/j + -1) composite?
True
Is (-5)/20*(-11 + -284145) prime?
True
Let o(f) = 12*f**2 + 6. Let n be o(-2). Suppose -67437 = 45*t - n*t. Is t prime?
False
Let h be 2/7 + 130/35. Suppose 6*x = 3*n + 4*x - 4709, -h*n - 2*x = -6288. Is n composite?
False
Let f(v) be the first derivative of v**6/360 - 11*v**5/120 - 23*v**4/24 - 8*v**3/3 + 3. Let o(h) be the third derivative of f(h). Is o(17) a composite number?
False
Let y be 329/6 - 7/(-42). Suppose 6*p + 52 = 7*p. Suppose y*h - p*h - 2229 = 0. Is h composite?
False
Is 68245307/351 + ((-238)/(-189))/(-17) a composite number?
False
Suppose 251916 = 4*k - 2*x, -46*k + 45*k = 2*x - 62969. Is k prime?
False
Suppose 0 = -28*g - 547104 + 3295556. Is g a composite number?
True
Suppose -17 = -c - 11. Let n(k) = k + 8. Let q be n(-8). Suppose q = c*t - 5*t - 127. Is t composite?
False
Let b be -5*-2*(-1 + 1 + 1). Suppose -d = -b - 799. Is d a prime number?
True
Let a(o) = o**3 - 11*o**2 - 27*o + 18. Let g be (-1)/((-1)/3) + (-6 - -16). Let h be a(g). Let x(p) = 12*p + 19. Is x(h) a composite number?
False
Suppose -404*l + 220233684 + 536100038 - 43998094 = 0. Is l prime?
True
Suppose 21108 = 27*n - 21*n. Let u be (-8)/(-14) + 267978/42. Let f = u - n. Is f a composite number?
True
Suppose -4*y + 16 = 2*n, -22*n + 19*n + 10 = -y. Is (1063/4 + -5)*n composite?
True
Let s(p) = p**3 + 23*p**2 + p + 28. Let l be s(-23). Suppose -4*i + 9365 = -6*r + 3*r, l*i - 3*r - 11707 = 0. Is i a composite number?
True
Suppose 4*m - x - 3715 = 0, -m = x - 285 - 650. Suppose -34*t + 3*h = -38*t + 751, 5*t - m = 5*h. Is t composite?
True
Suppose 2*u - 6368 = 4*x + 10528, -3*u - 3*x = -25308. Let q = 2647 + u. Is q prime?
True
Suppose 18*o + 280163 = 47*o - 16*o. Is o a composite number?
True
Let l(g) = 50*g**3 - 10*g**2 - 6*g + 12. Let v(i) = 49*i**3 - 9*i**2 - 6*i + 