9 = 4*j + b. Is j a composite number?
False
Suppose 14*y - 264618 = 7*y + 210325. Is y composite?
True
Suppose 7*p - 8*p = -9. Let t = -22 + p. Let w(m) = m**3 + 14*m**2 + 6*m - 14. Is w(t) prime?
False
Suppose 9*m = 13*m + 416. Let s be (45/20)/((-2)/m). Is (-2)/(-13) - (-66087)/s prime?
False
Let m be (-2 + 2)/(4 - (0 + 2)). Suppose m = -47*i + 52*i - 10. Let o(k) = 317*k - 3. Is o(i) a composite number?
False
Suppose -5*p - 4*c = -40, 3*c = -4*p + 14 + 17. Is (1114/p)/(3 + (-339)/114) composite?
True
Suppose 0 = 3*l + 17 - 23. Let c(r) = -43 + 21*r + 14*r + l*r + 9*r. Is c(12) a composite number?
False
Let i be ((-524)/(-6))/(16/1128). Suppose -2*n + 1069 + i = 0. Is n a composite number?
False
Let m = 80823 - -131234. Is m composite?
False
Is (-580)/(-435) + 43769/3 prime?
True
Let s(t) = -2*t + 16. Let c be s(11). Let d(w) = -191*w - 23. Is d(c) prime?
True
Suppose 17*j = 27*j + 1130. Let a be (-144)/(-3) - (-2 + 0). Let y = a - j. Is y a composite number?
False
Let r(z) = 95*z**2 - 177*z**2 + 15*z + 91*z**2 - 1. Is r(10) a composite number?
False
Let j be (-2544)/(-10) + (-4)/10. Suppose 2646 = 229*z - 215*z. Let d = j + z. Is d a prime number?
True
Suppose -2*v + 2 + 6 = 0. Suppose 2*c - v*c - 2*k = 1506, 2*k + 2264 = -3*c. Let p = c - -1635. Is p a prime number?
True
Let j be (-2)/7 - 231/49. Let k be ((-8)/(-4))/(j - -4). Is (-111)/k*(-156)/(-18) composite?
True
Let j = -104745 + 152986. Is j prime?
False
Let q = -16 - -23. Suppose 0 = 2*y + i - 2322, -5*y - q*i + 5795 = -2*i. Let t = -622 + y. Is t a prime number?
True
Let a(b) = 2*b**3 + 6*b**2 - 21*b - 18. Let v be a(-6). Is (-36)/v + (2 - (-25226)/3) prime?
False
Let x be (-3)/12 + (-9)/(-12)*23. Suppose 0 = 5*r - 22 + x. Let k(m) = 953*m + 2. Is k(r) a prime number?
False
Let s be (66/11)/(1/(-3)). Suppose -3*h - m = -301, 0*m - 199 = -2*h + m. Let b = s + h. Is b prime?
False
Let c = 12332 - 8583. Is c a prime number?
False
Suppose -4*s + 4*j + 0*j - 12 = 0, 4*s = -3*j - 40. Let y(v) = 3*v**2 + 4*v - 9. Let r be y(s). Suppose -8*f + r = -3*f. Is f a composite number?
True
Let b(w) = 56*w**2 - w. Let j be b(-1). Suppose x - j = -5*q + 5, q = -x + 82. Is x composite?
True
Let o = 295 - -222. Suppose -2*j = -1455 + o. Is j a composite number?
True
Let i = 127 + -125. Let l(v) = -3 + 3*v**3 - 5*v + 5*v - 2*v**3 - 20*v**i - 4*v. Is l(22) prime?
True
Is -1*((-1)/2 - 158740/8) composite?
False
Suppose -r + 5 = 2. Suppose -11*z - 868 = r*z. Is (-46)/8*2*z a prime number?
False
Let i(k) be the second derivative of 21*k**5/20 - k**4/3 + k**3 - 5*k**2/2 - 7*k. Let y be i(3). Suppose 4*q - 241 = -3*u + 335, 4*q - y = 5*u. Is q composite?
True
Suppose -447 = 9*a - 51. Let c be (-8)/12 + a/(-12). Is 83*(-5)/c*-3 a composite number?
True
Let g = -68670 + 38487. Is (6*g/(-9))/2 a composite number?
False
Let f(w) = -71*w**3 - w**2 - 13*w - 3. Let c be (-5 + 4 + -5)/(6/4). Is f(c) prime?
False
Let u(h) = -h**2 + 1698 - 1695 + 0*h**2 - 15*h. Let o = -18 - -7. Is u(o) a prime number?
True
Let k = 29 + -16. Let v be 9*393 - (15 - k). Suppose -4*t - t + v = 0. Is t composite?
True
Let o be (((-94)/3)/(-1))/(5/(-90)). Let f = 326 + o. Let i = 811 - f. Is i a composite number?
False
Is (1 + 1)*-1*(-36071525)/350 prime?
True
Is (-9 + -11 - 902)/(4/(-22)) prime?
False
Suppose 417137 = 28*u - 2083798 - 915037. Is u prime?
False
Suppose 0*i - 5*i - 4830 = 0. Let m = 4603 + -5050. Let x = m - i. Is x a composite number?
True
Let v(x) = 13816*x**3 + x**2 - 39*x + 39. Is v(1) a composite number?
True
Suppose -11*u + 14*u = 6. Let o be 1206*(-3)/u*-4. Suppose -d = -5*d + 5*v + o, 3*d + 5*v = 5462. Is d composite?
True
Suppose -10*l + 5*l + 25 = 0. Suppose 2 = l*s - 13. Suppose -576 = -s*b + 1947. Is b a composite number?
True
Suppose 193*t - 191*t = 59834. Is t a composite number?
False
Let s(b) = 246*b + 210. Let c be s(18). Suppose 0 = -8*g + 4298 + c. Is g a prime number?
True
Let p be (-8)/(-10)*(-2 - -7). Suppose 0 = p*b - b + 180. Is (1 - -1)*5*(-1542)/b composite?
False
Let y(d) be the second derivative of -37*d**3/2 - 24*d**2 - 95*d. Is y(-27) prime?
False
Let h(l) be the first derivative of 22*l**3 - 17*l**2/2 + 3*l + 64. Is h(8) a composite number?
False
Suppose 4695 - 37435 = 4*m. Let v = m + 3982. Let h = -2510 - v. Is h a prime number?
True
Let v be ((-4)/6)/(4/(-16596)). Let i be (-1)/((-5 + 7)/3778). Let t = i + v. Is t composite?
False
Let l be (806/(-8) - 2)/(42/(-560)). Suppose -5*v = -4*v - 3*s - l, -2*s - 1367 = -v. Is v a composite number?
False
Suppose 9*l = -9*l - 468. Let j(t) = -178*t + 155. Is j(l) a prime number?
True
Let z(x) be the second derivative of -11*x - 3*x**2 + 7/6*x**3 + 0 + 2/3*x**4. Is z(-5) composite?
True
Let l be (-20)/70 - (-60)/14. Let j(m) be the first derivative of 85*m**2/2 + 7*m - 7. Is j(l) composite?
False
Let t(a) = 1 + 49*a - 4*a**2 - 2*a**2 - 42*a + a**3. Let v be t(4). Is 8832/6 + 0 + 0 + v a composite number?
True
Is 123146*(8 - 225/30) composite?
True
Suppose -95 = -5*w + 5*s, 2*s = 4 - 14. Suppose 2*q + w*q - 86992 = 0. Is q a composite number?
False
Let o be (2 - -2)/4*13. Let z(p) = -p**3 + 13*p**2 + 5. Let s be z(o). Suppose s*x = 4203 + 482. Is x composite?
False
Suppose -2*k = 3*l - 3*k - 32, -5*l + 48 = -3*k. Suppose -l = 5*x - 8*x. Suppose -4*d - 5052 = -4*a, 4*d + 12 = -x. Is a a composite number?
False
Let j(a) = a**2 - 8*a + 8. Let b be j(7). Let h be 3/1*1/b. Suppose 5*l + 2011 = 4*c, -h*c + 3*l + 310 + 1196 = 0. Is c composite?
False
Let y = -279 - -291. Suppose z = y*z - 21769. Is z prime?
True
Is -2 - (-188849)/7 - (-4)/7 composite?
True
Let m = 98 + -113. Let f be ((-72954)/m)/(-7)*-45. Suppose -7825 = -d + 4*r, -4*d + f = 2*r - r. Is d a prime number?
True
Let i = 52863 + -30920. Is i prime?
True
Let c be 694*(-4)/(-8)*(1 - -2). Let m = -548 + c. Is m prime?
False
Let y be ((-1)/4)/(-4 - (-186)/48). Suppose s = -y*d + 7643, -6*s = 3*d - 2*s - 11467. Is d composite?
False
Let z = 66383 + 359778. Is z a prime number?
True
Is (15693472/48 - 23) + 4/(-3) composite?
False
Let z(h) = 84*h + 12. Let u be z(3). Let d = 175 - u. Let g = 9622 + d. Is g prime?
True
Let b = 188577 + -54886. Is b prime?
True
Let s = -650 + 360. Let j = -112 - s. Suppose 0 = -z, -2*t + 6*z + j = 3*z. Is t a prime number?
True
Let a = 1767723 - 598816. Is a prime?
False
Let z be (120/(-5))/(21/14). Let m = z + 31. Is m a prime number?
False
Let g = 1928 + -1293. Let u be g/20*2*-24. Let d = 4291 + u. Is d composite?
False
Suppose 31058 = g - 5*i, -5*g - 4*i + 175748 - 20545 = 0. Is g a prime number?
False
Let c be 1*(7 - -1) - -705. Suppose -c*n + 5757 = -710*n. Is n prime?
False
Let o(c) = -2*c**2 + 17*c - 40. Let x be o(3). Is (15012 - 0 - 6) + x prime?
False
Let b(p) = p**2 - 13*p + 17. Let r be b(12). Suppose 3*g + 3*t = 27, 2*g + r*t - 33 = -0*t. Suppose g*j - 13676 = -2800. Is j prime?
True
Suppose 2*v = 3*y + 176989, -7*v + 265476 = -4*v + 3*y. Is v a composite number?
False
Let g(i) = i**3 + 5*i**2 + i - 7. Let x be g(-4). Suppose 0 = 4*j - m - 16806, x*m = 1 - 11. Is j composite?
False
Let k(n) = -n**2 + 28*n - 217. Let p be k(14). Is (2/(-4))/(p/550158) composite?
False
Suppose -13833048 + 2960912 = -92*q + 10005148. Is q composite?
True
Let b be 28676/10 - 20/(-50). Let u = -1351 + b. Is u a composite number?
True
Let h be 3/(-6) + (-3)/(-2) - 767. Let t = h + 1159. Suppose -4*b = -251 - t. Is b a composite number?
True
Let a(b) = -14*b + 3. Let w(c) = 12*c - 1. Let g(m) = -2*a(m) - 3*w(m). Let k = -9 - -2. Is g(k) composite?
False
Let w = 206 + -204. Let a(y) = 98*y - 3. Let t(h) = -33*h + 1. Let x(z) = 6*a(z) + 17*t(z). Is x(w) composite?
False
Let o = 275 - 1. Is o a prime number?
False
Let j be ((-53)/(-159))/(1/(-30297)). Let c = j - -23078. Is c prime?
True
Let c be (8/(-3))/(6/9). Let q be 6/2 + -4 - c. Suppose 5*i = -q*l + 4955, 2*l + 4*i = -0*l + 3302. Is l composite?
True
Suppose 0 = 47*f - 42*f - 50. Suppose -f*t = -32 + 2. Is -37*-3*5/t prime?
False
Let a(q) = 25149*q - 856. Is a(21) composite?
False
Suppose 14*w - 485914 = 3242748. Is w a composite number?
False
Let a = -4620 - -2086. Let x = -1760 - a. Suppose -m + 395 = 2*p, -x = -2*m + 2*p - 2. Is m a prime number?
True
Is ((-378315)/(-28) - -5) + (-54)/(-72) composite?
True
Suppose 11*v