number?
False
Suppose -980 = -30*j + 28*j. Let b be ((-6)/7)/((-7)/(j/15)). Suppose -5*v = -4*x - 2*v + 1394, 1380 = b*x + 4*v. Is x a prime number?
True
Let v = 2991 + -688. Suppose -9177 - v = -7*c. Suppose c + 916 = 2*s + d, 4*d = 8. Is s prime?
True
Suppose -g + 2*y + 2*y + 8 = 0, 4*g - 3*y - 6 = 0. Suppose 2*r - 704 - 848 = g. Suppose 3*z = 4*h - r, -5*h + z + z = -970. Is h prime?
False
Suppose 5*h = -4*l - 1696, -13*h - 4*l = -12*h + 336. Let k = h - -1229. Is k a composite number?
True
Suppose 0*t + 9*t - 248676 = -1563. Is t composite?
False
Suppose -37661284 = -110*x - 212*x - 82*x. Is x prime?
False
Let z = -1248 + 40829. Is z prime?
True
Is (4228172/1105)/((-4)/(-10)) a composite number?
True
Let b = -1303538 - -2191707. Is b a prime number?
False
Suppose d = -2*z + 4, 0*z + 10 = 4*z + d. Is -3*((-2801)/z - 6) a composite number?
False
Suppose 586*y + 1068 = 582*y. Let c = y - -478. Is c a composite number?
False
Let u be (3/(-9))/((-2)/12). Suppose 2*c = -u*o + 112, 2*o + 2*o = 2*c + 254. Let n = 318 + o. Is n a prime number?
True
Suppose 6974877 + 4673354 = 47*w + 2*w. Is w prime?
False
Let c = 47 - 44. Suppose -c*l = -0*l + 456. Is 3 - 16/(4/l*4) a composite number?
True
Let r = 1106 + -657. Suppose -5*s - r = -3009. Suppose -4*a + 1684 = s. Is a prime?
True
Let t(o) = o**3 + 9*o**2 - 23*o + 9. Let w be t(-11). Suppose -4458 = 22*p - w*p. Let f = -1474 - p. Is f a composite number?
True
Suppose 57883592 = 94*g + 54*g + 13542348. Is g a prime number?
True
Let u be -5 + (((-239000)/(-1))/5 - 2). Suppose -u = -14*n + 68645. Is n a composite number?
False
Suppose 5*c - 6 = 4. Let a(o) = 150*o + 14854. Let s be a(-99). Suppose 6311 = 5*f - 3*x + c*x, 0 = -f - s*x + 1258. Is f a prime number?
False
Suppose -2182 = -k + 2922. Suppose 125 + k = 9*s. Is s a composite number?
True
Suppose 3 - 14 = -2*i + 5*m, 0 = -5*i - 3*m + 12. Let f = -1 + i. Suppose 0 = -3*y + 2*y - 4*w + 1155, -2*w + f = 0. Is y a composite number?
False
Let s(n) = -n**3 + 5*n**2 + 6*n - 2. Let d be s(5). Let p = -15 + d. Suppose -12*j = -p*j + 409. Is j a prime number?
True
Let c(l) be the third derivative of l**6/20 + l**5/30 - 5*l**4/12 + 5*l**3/6 + l**2 + 56*l. Is c(4) a prime number?
False
Let x be 166/((-6)/240*-5). Let k = x - 249. Is k a prime number?
False
Suppose 0 = -7*k + 35 + 14. Suppose 2*y + 5*x + 20 = -2*y, -5*y = -4*x - 16. Suppose y = k*v - 1740 - 1963. Is v composite?
True
Suppose 2*j + 48 = -3*p, 5*p + 96 = j + j. Let r be (-266)/p + 6/27. Is 10/r + 1741/3 a prime number?
False
Suppose -44*g + 3827163 = 7*g + 90*g. Is g a composite number?
False
Let v = -8497 - -9159. Is v a prime number?
False
Let l = 11783 - 5846. Suppose -3*j - 2*j + 5935 = 4*k, 0 = 4*k + 3*j - l. Suppose 2*x = -2*d + d + k, d = 2*x - 1495. Is x a composite number?
True
Let u(d) be the third derivative of -10*d**4 - 53*d**3/6 - 2*d**2 + 2. Is u(-4) prime?
True
Let h(g) = 5*g**2 - 22*g - 22. Let k be h(-14). Suppose 4*n - k = -p, 4*p + 11 - 3 = 0. Is n prime?
True
Suppose -15*x + 2113 = -2597. Let r = 1587 + x. Is r prime?
True
Let k(y) = -40*y**3 - 6*y**2 - 5*y - 10. Let r(u) = 3*u - 59. Let f be r(23). Let q(l) = l - 13. Let h be q(f). Is k(h) composite?
False
Let i(a) = 8*a**2 - a - 16. Let d be i(-4). Suppose -5*p - d = -2*r, 3*p - r = -3*r - 76. Let j = p + 317. Is j a composite number?
False
Let z(f) = 14*f**2 + 13*f + 19. Let u(n) = n**3 - n**2 - 7. Let k be u(3). Let x be z(k). Suppose -x = -6*o + 10462. Is o a composite number?
False
Let w(u) = 2*u**2 - 16*u + 9. Let q be w(19). Let j = q - 224. Suppose -5*m + 6*m = j. Is m prime?
False
Let g = 25190 + 54251. Is g a prime number?
False
Let c(j) = j**3 - 6*j**2 - 9*j + 15. Let w be c(7). Suppose w - 6 = -5*s. Is ((2/(-1))/s - 2) + 475 a composite number?
True
Suppose 15*k - 10*k + 5*z = -36190, -5*z - 15 = 0. Let t = -2268 - k. Is t a composite number?
False
Suppose -591 = 5*s - 71. Let v = s - -253. Is v prime?
True
Let q be (-2)/10 + 39/(-5). Let s(i) be the third derivative of i**5/4 - 7*i**4/24 - 25*i**3/6 + 84*i**2 - 4*i. Is s(q) a prime number?
True
Suppose -35*c = -88*c + 1131815. Is c a prime number?
False
Suppose -91*c - 3 = -88*c. Let k(s) = s**3 - 4*s - 1. Let j be k(-3). Is (26968/j)/(c/2) prime?
True
Let y = 7018 - 4521. Is y prime?
False
Suppose 0 = 5*s + 2*w - 3 - 67, -2*s - w = -28. Suppose s*r = -r + 10395. Let y = -280 + r. Is y a composite number?
True
Suppose -5*k - 1573 = 837. Let m = k - 205. Is (m + 5 + -3)*-1 prime?
False
Let n = -188 + 190. Suppose z + n*k - 167 = 34, -3*z + 2*k = -643. Is z a prime number?
True
Suppose -2 = 7*u - 5*u. Is (u + -2)*16071/18*-2 a composite number?
True
Let d(k) = 5*k**2 + k + 14. Let j be d(-3). Suppose 4*q + 2*h = -3*h - j, q + 2*h + 17 = 0. Is -3*(807/q + 2) composite?
False
Suppose -12766 = -4*l - 4578. Let i = l + -60. Is i composite?
False
Suppose -29*r + 30*r = -v + 147088, -3*r - v = -441254. Is r prime?
True
Let s(o) = o**3 - o**2 + 16*o + 18. Let w be s(28). Let u = w + -14595. Is u prime?
True
Let r(c) be the third derivative of -c**6/120 + 4*c**5/15 + c**4/12 + 8*c**3/3 + 6*c**2. Let q be (-24)/(-2) + (12 - 9). Is r(q) composite?
False
Let z(a) = 8264*a - 185. Is z(23) a prime number?
True
Let w = 338 + -93. Suppose 2*x - 41 = w. Is x a prime number?
False
Let v = 212 - 211. Is (9/(-18))/(v - 318/316) a composite number?
False
Suppose -2*f - 5*a = 190, 4*f = -3*a - 68 - 284. Let y = 75 + f. Let k(c) = c**3 + 12*c**2 + 6*c + 29. Is k(y) a prime number?
False
Is 15/45*((-8)/(-2) - -93737) composite?
False
Suppose -22320 = -27*m + 24309. Suppose -m = 15*d - 16*d + 4*i, 4*i + 6932 = 4*d. Is d prime?
False
Let o(n) be the third derivative of 101*n**5/60 + 5*n**4/24 + n**3/2 + 65*n**2. Is o(1) a composite number?
False
Let u = -2956 - -1877. Let k = u - -2790. Suppose f + 7896 = 3*v, -5*f + 937 = v - k. Is v prime?
True
Suppose 6951640 = -3*h + 12*h + 31*h. Is h composite?
True
Let y = -2388 - -5851. Is y composite?
False
Suppose -35*y - 2*w = -37*y + 1375184, 0 = 3*y + 3*w - 2062782. Is y a prime number?
True
Let g be 24/(-28)*14/(-4). Suppose k = g*b + 1033, 6*k = 8*k - 2*b - 2078. Is k composite?
True
Suppose 1984 = 5*r + 2*u - 17163, 0 = -2*r - 5*u + 7642. Let a = r - -2918. Is a a composite number?
True
Let r(d) = 1180*d**2 - 3. Let j = -36 + 33. Is r(j) composite?
True
Let l(f) = -f. Let t(n) = -60*n + 28. Let v(y) = l(y) + t(y). Let r(i) = i + 1. Let k(j) = -4*r(j) + v(j). Is k(-7) a prime number?
True
Suppose -17*n + 12044157 = 8*n + 982232. Is n a composite number?
True
Let n = 5064 + -1219. Let c = 2 + 1. Suppose 2*z = -c*z + n. Is z a composite number?
False
Let k(p) = -p**3 - 6*p**2 + 9*p + 10. Let x be k(-7). Suppose 2*w - 1 = -c, 0 = -4*c - 2*w + 8 + 8. Is ((-166)/x)/(c/110) a composite number?
True
Let l = 160282 + -61311. Is l a composite number?
True
Let r = -680 - -1202. Suppose -13*v + 1192 = -4*t - 9*v, 3*v + 302 = -t. Let w = r + t. Is w composite?
False
Suppose -k + 0*k + 2 = r, -5*k = 5. Let u be 2/(-2*(-4)/3532) + r. Suppose -u = -5*h + 759. Is h composite?
True
Let y(x) = -1658*x**3 + 5*x**2 - 8. Is y(-5) composite?
False
Let z(o) = -o**2 + 17*o + 10. Let l be z(-5). Is l/60 + (-10544)/(-3) a prime number?
False
Suppose -55*u + 245 = -1405. Suppose 13*t + 157369 = u*t. Is t composite?
False
Let x(c) = 9*c**2 + 2*c - 1. Let l be x(-1). Suppose 1657 = b - 4*h, 4*b = l*b + 5*h - 3288. Is b a composite number?
True
Let u(i) = 243*i + 63*i**2 + 249*i + 1 - 737*i + 247*i. Let x(y) = 2*y**3 + 2*y**2 + 2*y + 1. Let w be x(-1). Is u(w) prime?
False
Suppose 320*l - 80118407 = 33332153. Is l prime?
True
Let n = -140 + 210. Let c be 190/(-7)*n/(-2)*1. Let z = -232 + c. Is z a prime number?
False
Let j(r) = 9*r**2 + 25*r + 89. Let k be j(-17). Suppose b + 3*s = 2429, 0 = -4*b + 4*s + k + 7451. Is b a prime number?
False
Suppose -2*h - 4*h - 209799 = -15*h. Is h composite?
False
Suppose -4*m - 2*c - 3*c + 12 = 0, -6 = -2*m + c. Let l be 4/m*(-3 + (-54)/12). Is l*((10 - 11) + 209/(-2)) prime?
False
Let i be 9/(-15) + (-63565)/(-25). Let m = i - 1031. Is m prime?
True
Suppose 7*t - 5 = 6*t. Let q(m) = 131*m - 27. Let h be q(t). Is (h - -5)*3/9 a prime number?
True
Let x(j) = 2*j**2 - 22*j - 24. Let r be x(12). Suppose r*o = o - 0*o. Suppose -g - 