= 2*z, -2*c + 10 = -4*c + z. Is 88/(-4)*1191/c a composite number?
True
Let v(z) = z**2 + 1. Let x(k) = k**3 + 8*k**2 - k + 1. Let h(p) = -2*v(p) + x(p). Let a be h(-6). Suppose -a*c = 2*n - n - 7, 3*c + 31 = n. Is n composite?
True
Let j(s) = -2170*s - 127. Is j(-6) a prime number?
True
Suppose -d = -3*p + 435, -5*d = 158*p - 155*p - 435. Is p composite?
True
Suppose 4*m + 3*i = 36, -5*m + 6 + 40 = 4*i. Let d(a) = -3*a**2 + 9*a - 11. Let s be d(m). Let p = s + 120. Is p composite?
True
Suppose 2*y = -2*u - 2*u + 24, -4*u = -2*y - 16. Is (-6)/y*2434/(-6) composite?
False
Let w(h) = 4*h - 21. Let l be w(6). Suppose -l*j + q + 4538 = 0, -q = -5*j - 5*q + 7535. Is j prime?
True
Let q(y) = -12284*y + 5. Is q(-1) a prime number?
True
Let m be -1 - -40*((-1092)/(-5) - 2). Is 2 + (m/3 - (4 - 2)) composite?
True
Let t(w) = -28*w - 13. Let u = 2 + -12. Let k be t(u). Suppose 5*d - b - 2*b = 1318, d = 4*b + k. Is d prime?
True
Let x be ((-27)/4)/((-2)/(-8)). Let z(b) = 7*b**2 + 4*b - 3. Let c be z(-3). Let u = c + x. Is u a composite number?
True
Let s = 260948 - 182737. Is s a composite number?
True
Suppose -4*d + 405 = -5*q, 2*q = -2*d + 209 - 29. Is d prime?
False
Let w be 16/3*27/6. Suppose -k - k + w = 0. Suppose -2*q = -k - 242. Is q a prime number?
True
Suppose -46 = -5*d - 4*k, -7 = -2*d - 5*k + 25. Suppose -1790 = d*s - 8*s. Is s a composite number?
True
Let w(l) be the third derivative of 131*l**5/60 - l**4/8 + l**3/2 + l**2. Let n be w(2). Let p = -298 + n. Is p a composite number?
False
Let i be (-8)/(-12) + 2/6. Suppose 2*a + 5 = -i. Is 4/(-6) + (-287)/a a prime number?
False
Let t = 96 + 66. Suppose 0 = -5*j + 5073 + t. Is j a prime number?
False
Suppose 0 = 5*g - 753 - 108082. Is g composite?
False
Is 512553/(-12)*1*112/(-28) composite?
False
Let h(w) be the third derivative of 13*w**7/2520 + w**6/240 - 11*w**5/120 - 5*w**4/24 + 11*w**2. Let b(c) be the second derivative of h(c). Is b(7) prime?
True
Let b = -675 - 73. Let y = -327 - b. Suppose -3*c = -380 - y. Is c a composite number?
True
Let q(w) = 1943*w - 72. Is q(5) a composite number?
False
Let s be 3 + -1 + -27 + 25. Suppose s = -4*c + 760 + 16. Is c composite?
True
Let g(m) = -3*m**2 + 4*m**3 + m - 5*m**3 + 0*m - 8. Let y be g(-4). Suppose y*u + 4*f = -u + 1063, -2*u = f - 424. Is u prime?
True
Suppose 4*j = 13 - 1. Suppose j*l + 0*l = 699. Is l prime?
True
Let z(t) = 561*t - 35. Let q(d) = -281*d + 18. Let n(w) = -7*q(w) - 3*z(w). Is n(10) composite?
False
Suppose 7*c - 34 = -6. Is 508/12*(c + 17) a composite number?
True
Let i be 10/(0 - (-4)/62). Let y be 36/(75/(-10) + 6). Let q = i + y. Is q a composite number?
False
Let b = 11 + 5. Let i(q) = 3*q**2 + 7*q + 7. Is i(b) a composite number?
False
Suppose 2*r + 2*t + t = 0, -r = -t - 5. Suppose 6*n - r*n - 1761 = 0. Is n prime?
True
Is (-15)/(-3) + 23/(253/262372) a composite number?
False
Let f(o) be the third derivative of o**5/60 - o**4/12 + o**3/3 - 5*o**2. Let b be f(3). Suppose 892 = b*m - m. Is m composite?
False
Suppose 0 = -4*g + 4*c + 1360, -22 - 322 = -g - 3*c. Suppose -41 = -u + g. Is u a prime number?
False
Let z(q) = -q**3 + 11*q**2 + 4*q - 5. Suppose 12*i - 15*i = -6. Suppose 6 = v + u, 0 = 3*v - i*v + 5*u - 6. Is z(v) prime?
True
Is ((-22)/(-77) + (-15)/(-21))*7063 a composite number?
True
Let m(i) = 89*i + 132. Is m(9) prime?
False
Let f = -628 + 2109. Is f a composite number?
False
Let p be (-2 + 3)/((-5)/(-25)). Suppose 4*b - 2*s - 1186 = 0, 62 = 4*b - p*s - 1109. Is b a prime number?
False
Suppose 3*b + 0*b = 6. Let f be 2/((-8)/90)*b. Let v = f + 132. Is v prime?
False
Let u(t) = 52*t**2 - 18*t + 11. Is u(-13) prime?
False
Suppose -19*o + 5103 = -10876. Is o composite?
True
Let o = 15077 - 4978. Is o composite?
False
Let g = -3 - -5. Let m be g + 0*(-4)/(-8). Suppose -y + 41 = -m. Is y a prime number?
True
Suppose 3*a + 14465 = 2*n + 41126, -3*n = -5*a + 44435. Is a a prime number?
True
Suppose -79513 = 922*x - 929*x. Is x a composite number?
True
Suppose 0 = -5*d + 772 + 7788. Suppose 12*o - 4*o - d = 0. Is o a composite number?
True
Let b = -89 - -94. Suppose 35 = x - 4*v - 47, -b*v - 25 = 0. Is x prime?
False
Let k = -8 - -12. Suppose -k*c = 6 - 58. Let q(d) = 4*d + 13. Is q(c) composite?
True
Is 5577/2 - -2*1/4 a composite number?
False
Let u(a) be the third derivative of -a**6/60 - 2*a**5/15 + a**4/8 + a**3/6 + 21*a**2. Is u(-6) a composite number?
False
Let a(b) = b**2 - 5*b - 3. Let y be a(6). Suppose y*x + 263 + 625 = 0. Let n = x - -423. Is n prime?
True
Let m be 4/(-32)*2*0. Suppose -1 = -p + 4. Suppose m = -3*b - 3*a + 780, 2*a - 1305 = -p*b - 2*a. Is b a prime number?
False
Suppose 0*j - 30*j = -126030. Is j composite?
False
Suppose b - 45125 = -5*z, -2*b - 13 = -3. Is z a prime number?
False
Suppose -g + 12 = 2*g. Let h = g + -4. Suppose -2*n - 1783 = -4*m + n, 4*m - 2*n - 1782 = h. Is m composite?
True
Suppose 3219 = 19*f + 10*f. Is f composite?
True
Let h be ((-2)/(-3))/(2/18*3). Is (-4 + h)*1*-29 prime?
False
Is ((-2119773)/(-228))/(1/4) prime?
True
Let m be -6 + 3 + 2 - -4. Suppose -3*y + v = -v, 0 = m*y + 5*v. Let b(t) = t**3 - t**2 + 145. Is b(y) a prime number?
False
Let t = -5 - -7. Suppose 0 = 3*z - 4 - t. Suppose z*f + 308 = 6*f. Is f a prime number?
False
Let p = 677 + 302. Is p prime?
False
Is 3688/2 - (-2 + -2 + 1) prime?
True
Let v be (-14)/(-119) + (-98)/(-34). Let a(m) be the second derivative of 15*m**3 - 7*m**2/2 + m. Is a(v) a composite number?
False
Is (-404908)/10*(-45)/18 a prime number?
False
Let c(p) = 2*p**3 + 8*p**2 - 6*p - 29. Is c(17) composite?
False
Suppose -4*h - 33303 = -87819. Let k(s) = 3*s + 10. Let p be k(-4). Is h/35 - p/(-5) a composite number?
False
Suppose -z = -3*z + 4. Let k(f) = -6*f**2 - 3*f**2 - 15 - 2*f - 7*f**z + 18*f**2. Is k(-19) a prime number?
False
Suppose 7*c = 21, 0*c - 4*c = -4*i + 68872. Is i prime?
False
Suppose -x + 551 = 3*h, x = -4*h - 2*x + 743. Let z(a) = 455*a**2 + 2*a - 2. Let j be z(1). Suppose w = -w + m + h, -5*w = -m - j. Is w composite?
True
Let d(p) = -57*p**3 + 5*p**2 + 31*p + 231. Is d(-8) a prime number?
False
Let k be -2*(-72246)/(-4) + (31 - 32). Is 6/4*k/(-33) composite?
True
Is (30702/(-4) + 1)*(2 + -4) composite?
False
Let f(i) = 15*i**2 + 13 - 6*i**2 + 5*i + 0. Let v be 972/(-90) - (-4)/5. Is f(v) prime?
True
Let b = 18 - 15. Let z be (1 + b)/(10/45). Is 7330/z + (-6)/27 prime?
False
Let g = 28 - 10. Suppose 5*f + 5 - 15 = 5*j, -2*j - g = 5*f. Is f + 0 - (-64 + -5) a composite number?
False
Let j be (-24)/156 - (-162)/39. Let w be (-10)/(-3) + 1/(-3). Suppose 0 = j*p + w*u - 1568, u + 403 = p - u. Is p a prime number?
False
Let d = -42 - -43. Suppose p = d, 621 = 2*u + p - 42. Is u prime?
True
Let j(g) = 221*g**3 - 4*g**2 + 14*g - 6. Let y be j(3). Let s = y + -3604. Is s composite?
True
Suppose -443*r + 12244 = -439*r. Is r a composite number?
False
Let f(b) = b**3 + 9*b**2 - 10*b. Let k be f(-10). Suppose k = 7*y - 2*y - 725. Is y a prime number?
False
Suppose 7*g - 96 = -5*g. Let u(p) = 4*p - 4. Let j be u(3). Is (-2)/g - (-114)/j prime?
False
Let p be (-1002)/(-5) + 2/(-5) + 1. Suppose 14*m - 11*m - p = 0. Is m composite?
False
Suppose 4*s - 2*y = -5*y + 5, 0 = 5*s - y - 11. Suppose -s*w = 2*w - 192. Suppose 0 = 4*o - 4*j - 216, 5*j - w = -4*o + 3*o. Is o a prime number?
True
Let i(q) = q + 8. Let a be i(-8). Suppose -w - 2331 = -5*j + w, a = 5*j + 2*w - 2339. Is j composite?
False
Let s(z) = -69*z**3 + 2*z**2 + 7*z + 29. Is s(-6) composite?
True
Let r be (-12)/(-30) + 26684/(-10). Let u = r - -10953. Is u composite?
True
Suppose 5*b = -4*f + 451, f + 2*b = 3*f - 248. Let d = f - 22. Let p = d + 90. Is p composite?
True
Suppose 5*p + 43475 = -2*u, -5*p + 20109 + 88666 = -5*u. Let b = -11959 - u. Is b composite?
False
Let q be 28 + -5 - (4 - (-2 + 4)). Is 1518/4 - q/(-14) a prime number?
False
Is -6 + 0 + (-5 - -30432) prime?
False
Suppose -1 = -t + 2, 2*t + 19 = 5*g. Suppose 5*p + 2*s + s - 3 = 0, -2*p = -2*s + 2. Suppose -2*i + 1675 = -c, -i - g*c + 4*c + 842 = p. Is i composite?
False
Let p be (-1)/(7/2) + (-377130)/(-91). Suppose p = 3*m - 533. Is m prime?
True
Let u = -10595 - -23902. Is u a composite number?
True
Suppose 47*g - 48*g = -300. Let a = 887 - g. Is a a prime number?
True
Let o(s) = -s**2 - 3*