 4*s = 4*c + 2265 - 301. Is s a prime number?
True
Suppose -n + 10663 = -4*l, 4*n + 2*l + 53225 = 9*n. Is n a prime number?
False
Suppose 0*y + 2*y = 46. Let l = -33 + y. Is -105*(l/(-6))/(-5) prime?
False
Suppose 27*m - 17*m - 102230 = 0. Is m composite?
False
Suppose t + 451114 = 5*q, 0*q = q + 4*t - 90227. Is q composite?
True
Suppose 0 = 7*g + g + 160. Let y = g - -46. Is y a prime number?
False
Let g(s) = -2*s**2 + s + 6469. Is g(0) composite?
False
Let t = 6064 - -5953. Is 1/(-8) - t/(-8) prime?
False
Suppose 4*z = -3162 + 20246. Is z composite?
False
Suppose g - 3*g + m - 67 = 0, -g - 36 = -m. Let a = g + 19. Is a/(-8)*178/3 a prime number?
True
Suppose 10 = -5*w + 6*w. Let b be (3 - 4)/((-2)/w). Suppose b*x = -h + 1012, -2*x - h - 53 = -456. Is x a composite number?
True
Suppose 4*y - 56 = -16. Suppose 3*t = -2*w - 20, 5*t + 3*w = 6*t + 3. Is 2488/5 + t/y a composite number?
True
Let f be ((-5)/(-2))/((-4)/(-11*40)). Suppose -5*g + f = -1580. Is g a prime number?
False
Suppose 21 + 24 = 9*n. Suppose 3*r = -5*y + 790, 0 = 5*r - n*y + 488 - 1818. Is r composite?
True
Let g(v) = 4 - 8*v + 244*v**2 - 2 + 3*v - 10. Is g(-3) a composite number?
False
Is (-15)/(-12) - ((-1613941)/28 - -5) a composite number?
False
Suppose 3482106 = 57*b + 1082349. Is b prime?
True
Let j(u) = -u**2 - 20*u - 33. Let t be j(-18). Let h be 157/1 + (-2 - 0). Suppose -2*v - t*v = -h. Is v prime?
True
Let y(c) = 8*c - 29. Let x be y(12). Let v = x - -4. Is v prime?
True
Suppose 129*z - j = 128*z + 17289, 0 = -z + 4*j + 17283. Is z a composite number?
False
Let a(z) = 2899*z**2 + 18*z + 39. Is a(-2) a prime number?
False
Let q(r) = 8*r - 4. Let x be q(2). Is (3261/x)/((-3)/(-12)) prime?
True
Suppose 0 = -82*c + 81*c + 31. Suppose -c*d + 1262 = -29*d. Is d composite?
False
Let i be 0 - 0 - (2 - 5). Suppose -2 = -i*c - 5. Is (0 + -11)*(c - 12) a composite number?
True
Let i = 3297 + 4800. Is i prime?
False
Let l(t) = 5291*t**2 - 148*t - 148. Let j(f) = -108*f**2 + 3*f + 3. Let a(z) = -148*j(z) - 3*l(z). Is a(-1) composite?
True
Let n = -18 + 24. Let k be 52/n - (-30)/(-45). Let c = 15 - k. Is c prime?
True
Let j = 1591 + -702. Is j composite?
True
Suppose -5*y + g + 97 = 0, y + 3*g = 5*y - 82. Suppose -3*r = -2*w + y + 373, r = -w + 206. Is w a prime number?
False
Let a(s) = 389*s + 66. Is a(20) composite?
True
Let i = 40703 + -9612. Is i composite?
False
Is 1/((-5)/(-1114770)*6) + 0 composite?
False
Let n = -5203 - -8694. Is n composite?
False
Suppose -58*h - 101124 = -718070. Is h composite?
True
Suppose -3*f + 20 = 7*f. Suppose f*x - 3548 = -0*x. Is x a composite number?
True
Let g = 28 + -14. Suppose 0 = 3*p + 2*p - 2*x - 4, 0 = 4*p + 2*x - g. Suppose p*i = 3*t + 279, -4*i = 2*t + 3*t - 569. Is i a composite number?
True
Suppose r + 5 = -70. Let l = -108 - r. Let g = 24 - l. Is g a prime number?
False
Let q = 14 - 21. Let u = -5 - q. Is u/(-4)*1130/(-5) a prime number?
True
Let s(n) = 4*n - 1. Let y be s(1). Suppose 1433 = y*u - 2*i, 1788 = 4*u + 2*i - 146. Is u composite?
True
Let p = 125279 + -57940. Is p a prime number?
True
Let u(z) be the second derivative of -z**5/20 - 5*z**4/12 + 7*z**3/3 - 21*z**2/2 + z + 9. Is u(-13) a composite number?
True
Let p(l) be the second derivative of 335/2*l**2 + 1/20*l**5 + 0*l**4 + 1/6*l**3 + 4*l + 0. Is p(0) prime?
False
Let g(h) = -8*h**3 - h**2 - h - 7. Suppose 5*q + 13 = -4*p + 8*q, 2*p + 12 = -4*q. Is g(p) composite?
True
Let h = 955 - -756. Is h composite?
True
Is ((-12941)/(-2))/(42/84) prime?
True
Let o = -201 + -222. Let y(w) = -81*w**3 + w**2 + 9*w + 12. Let g be y(-2). Let j = o + g. Is j a composite number?
False
Let c(f) = -409*f + 61. Is c(-22) a composite number?
False
Let i = 8 - 6. Suppose 11*q - 12*q = 0. Suppose -i*w + 97 + 37 = q. Is w a composite number?
False
Let c be 18/(1*1/1). Let i(a) = 8*a**3 - 3*a**2 + 4*a + 3. Let m be i(2). Is (m/c)/((-2)/(-4)) composite?
False
Suppose -5*v = -4*v - 6. Suppose 0 = -v*h + 2*h + 24. Is (4 - h - -625) + 0 a prime number?
False
Let c = -9440 + 13705. Is c a prime number?
False
Suppose 0 = -2*l + 3*v - 4, -l + 24 = v + 4*v. Let n(i) = -i - 2. Let c be n(-4). Suppose -l*w = -c*q + 982, -735 = -2*q + w + 244. Is q composite?
True
Let r(u) = -u**3 + 12*u**2 + 3*u - 6. Let l(j) = j + 24. Let h be l(-13). Let o be r(h). Let g = 103 + o. Is g a composite number?
False
Let y(w) be the first derivative of 1/3*w**3 + 1/2*w**2 + 4 + w - 63/2*w**4. Is y(-1) prime?
True
Suppose 3*v = 4*n + 2577, 0 = n + n - 3*v + 1287. Let h = -354 - n. Is h a composite number?
True
Let t(q) = -170*q - 4. Let u be t(-1). Suppose z = 360 + u. Is z composite?
True
Let f be (-6685)/14 + 3/(-2). Let j be f - 2/1 - -4. Let q = -203 - j. Is q a prime number?
False
Suppose -1273 = -g + 2*a, -a - 1705 = -3*g + 2119. Let d = -466 + g. Is d composite?
False
Suppose -240 = 20*c - 25*c. Let t be c/18*(-9)/(-6). Let k = t - -35. Is k a prime number?
False
Suppose -2*d = -8*d - 90. Let y(s) = -s**3 - 14*s**2 - 19*s - 11. Is y(d) a prime number?
True
Let w(m) = 112*m + 107. Is w(3) a prime number?
True
Let i be (1/(-3))/((-9)/54). Suppose 4*g = d - 9, g + i*d = -g - 12. Is 194 + g/(-3)*-3 prime?
True
Is ((-43665)/(-30))/(2/4) a composite number?
True
Let t(i) = -i + 18. Let r be t(12). Suppose r*d = d + 415. Is d a composite number?
False
Suppose -163203 + 55668 = -15*b. Is b a composite number?
True
Suppose -12370 = -32*x + 509262. Is x prime?
True
Suppose 5*h - 34029 = -4*p, -3*p + 4*p + h - 8506 = 0. Is p a prime number?
True
Let l(b) = -62*b + 2. Let w be l(2). Let d be (-246)/24*(10 + 10). Let k = w - d. Is k a composite number?
False
Suppose 0 = -6*l + 19 + 11. Suppose -c + l*x + 54 = -120, 5*x - 721 = -4*c. Is c prime?
True
Let l = 543 - -2868. Let n = -2050 + l. Is n a prime number?
True
Let l(s) = 3*s**2 - 9*s + 17. Let j(f) = -7*f**2 - 18*f. Let o be j(-3). Is l(o) composite?
True
Suppose -4*z = 2*m - 1759 - 59, 0 = m + z - 908. Is m a prime number?
True
Let z(m) be the second derivative of 22949*m**3/6 - 901*m**2/2 - 7*m. Let r(p) = 51*p - 2. Let q(w) = -2703*r(w) + 6*z(w). Is q(-1) a prime number?
False
Is ((-22)/(-5))/(-1 + (-207)/(-205)) composite?
True
Suppose -2*p = -4*k + p + 7856, 7864 = 4*k - 5*p. Is k prime?
False
Let h(a) = a**3 + 13*a**2 - 5*a - 3. Suppose 24 = -3*n + n. Let k be h(n). Suppose 0 = -4*j + 7*j - k. Is j composite?
False
Let k be (-2)/4*-20 - 4. Suppose -2*y = -k*y + 424. Is y a composite number?
True
Let g = -174 - -176. Let k(u) = -19*u - 6. Let a be k(-4). Suppose 0*x + g*w - a = -2*x, -w = -3*x + 113. Is x prime?
True
Is (1 + 5)*((-3524)/(-8) + -2) composite?
True
Let q = -65 - -113. Suppose 0 = -4*h - 3*a + 20, -q = -3*h - 2*h + 2*a. Suppose h*p = 3*p + 15. Is p a composite number?
False
Let f(j) = j**3 + 7*j**2 - 19*j - 15. Let p be f(-9). Is -4 - (20/p)/((-14)/(-609)) a prime number?
False
Suppose -2*n + 458 = -4*w, -w = n - 2*w - 234. Suppose 4*m = n + 509. Is m a prime number?
False
Let y(o) = -2*o**2 - 4*o**2 - 133 + 7*o**2 - o + 38. Let v be y(0). Let x = v - -188. Is x a composite number?
True
Let m = -11 - -15. Suppose 2*u - 54 = 5*x, 8*u - m*u = -x - 24. Is -3 + 12*(-56)/x composite?
False
Let r(w) = 9*w - 45. Let k be r(7). Suppose 9801 = k*p - 3465. Is p a prime number?
False
Let y = 50905 + -32420. Is y a composite number?
True
Let f(q) = -91*q**2 - 20*q + 2. Let r(d) = -30*d**2 - 7*d + 1. Let v(j) = -4*f(j) + 11*r(j). Let b = -43 - -41. Is v(b) a composite number?
True
Let h = -103 - -235. Suppose -4*b + 2*l - 174 = 0, 0 = 4*b + 5*l - 2*l + 169. Let r = h + b. Is r a composite number?
False
Suppose -5*i + 5906 = -13929. Is i prime?
True
Let m be (9/(-4))/((-11)/1144). Suppose -x + m = -185. Is x a composite number?
False
Let m(k) = -5*k - 12. Let q be m(-4). Let d(a) = -a**3 + 9*a**2 + 3*a + 7. Is d(q) a composite number?
True
Let q be 8/(-6)*(2 + -8). Let p(v) = -15*v + 13. Let c(f) = -14*f + 14. Let b(s) = 6*c(s) - 7*p(s). Is b(q) a composite number?
True
Let g(k) = 3*k**3 - 14*k**2 - 2*k + 4. Let r be g(7). Let h = -236 + r. Is h prime?
True
Suppose -8 = 2*t, -2*t + 55511 = 3*v - 75446. Is v composite?
True
Is (1 - (-4)/(-2))/1*-5557 a prime number?
True
Suppose -z - z = -417710. Is z prime?
False
Suppose -1292 = -11*t + 19619. Is t a prime number?
Tr