5, -12*w + 2311 = x - 11*w. Is x composite?
True
Let l(c) = 6*c - 120. Let f be l(20). Suppose p + 5051 = 4*q + 6*p, q + 4*p - 1271 = f. Is q prime?
True
Let m = -51341 - -86520. Is m composite?
True
Let j(a) = -1645*a**3 - 9*a**2 + 3*a + 4. Is j(-3) a prime number?
False
Let j(z) = 2*z**3 - 51*z**2 + 26*z - 34. Let r be j(25). Let w(l) = l**2 + 5*l - 52. Let o be w(r). Let q(f) = -2*f**3 - 19*f**2 + 9*f + 15. Is q(o) prime?
False
Suppose 5*w = -112 - 18. Let d = -21 - w. Suppose -d*v + 4*c = -0*c - 4585, 2*v - 4*c - 1822 = 0. Is v composite?
True
Suppose 8 = 4*w - 0. Suppose 0 = -0*z - z + w. Suppose -5*q + z*q = 15, -l + 5*q = -1112. Is l a prime number?
True
Let y = 1417079 + -617290. Is y a composite number?
False
Let z(u) = 1152*u**2 + 10*u + 24. Let r be z(-4). Suppose r = 13*p + 3*p. Is p composite?
False
Suppose -5*x + 4*x + 8 = 3*g, 4*x + 16 = 0. Let s = -207 + 207. Suppose -4*w - g*d + 760 = 0, 3*d = 5*w - s*d - 910. Is w composite?
True
Suppose -9*p + 10275 = -24*p. Let g = p + 1320. Is g a composite number?
True
Let p(j) = -2*j**2 - 11*j - 10. Let c be p(-4). Suppose h + c*f = 175, 0 = -4*h - 4*f + 6*f + 720. Let w = h - 57. Is w prime?
False
Suppose -97*g = 2*g - 101803 - 2459228. Is g composite?
True
Suppose 5*f + 4*z = 22637, 3*z - 4523 = -3*f + 2*f. Suppose -s = -f - 3012. Is s composite?
False
Let g(n) = n**3 - 8*n**2 - 5*n + 34. Let t be g(8). Let x be 20/t*(-15)/10. Suppose -b + 387 = 2*h, b - x*h = -48 + 407. Is b a composite number?
False
Let x = 234284 + -138665. Is x a prime number?
False
Let s(g) = 1134*g**2 + 3*g - 9. Let k be s(2). Suppose 2*d + d - k = 0. Is d composite?
False
Suppose 5*z - 93*z - z = -15383383. Is z composite?
True
Let u be (-2)/(-10)*-1347 - (-2)/5. Let f = 908 + u. Suppose 5*h = -2*k + f, h + 4*k + 141 = 2*h. Is h a composite number?
True
Suppose -j + 5*d = -49893, 0*d - 3*d = -5*d. Is j a prime number?
False
Let c = -7 + 10. Suppose c*f + 0 - 9 = 0. Suppose f*v + 4*u = -v + 600, 3*u + 426 = 3*v. Is v a composite number?
True
Is (14*1965/1050)/((-1)/(-27955)) composite?
True
Let q(t) = 11530 + 21*t - 11674 + 68*t + 564*t. Is q(11) composite?
False
Suppose m = -9*m. Suppose -6*c + 2 - 14 = m. Is (c - -2) + 37 + 1 a prime number?
False
Let g = 44189 - 24538. Is g a prime number?
False
Let k = -3226 + 1226. Let x = 3361 + k. Is x a prime number?
True
Let b(h) = -264*h**3 - 4*h**2 - 55*h - 31. Is b(-10) a prime number?
False
Suppose 43*p - 82*p = -1422915. Is p a prime number?
False
Let t(j) = j**2 + 7*j - 14. Let c be (-2 - -3)*-3 - 45. Let d be c/(-28)*(-7 + 0). Is t(d) composite?
True
Suppose 36*l + 5*k + 94225 = 40*l, k + 94221 = 4*l. Let a = l - -29058. Is a prime?
False
Let x = -113789 + 314127. Is x prime?
False
Suppose 4*p - 146131 = -5*x + 14258, -4*p = x - 160369. Is p a composite number?
True
Suppose 16543 = 5*y + 2293. Let z = -5271 + 3424. Let f = z + y. Is f a composite number?
True
Let y(n) = -42155*n + 2394. Is y(-5) composite?
True
Let m(i) = 2875*i**2 + 116*i + 1391. Is m(-10) a prime number?
True
Let r(k) = 6*k**2 - k + 22*k**2 - k - 7 + 4*k. Let f = 30 - 33. Is r(f) composite?
False
Suppose -3714 = -4*t + 3606. Suppose 7*w + 325 - t = 0. Let v = w + -136. Is v prime?
True
Suppose -g + 4*b = -425, 0 = -2*g - 4*b - 0*b + 790. Suppose 3*x + g = 4*y, 5 = -2*x + 3*x. Let p = 554 - y. Is p a prime number?
True
Suppose 11419*l - 11435*l + 126704 = 0. Is l a prime number?
True
Let w(l) = 3*l**2 + 15*l - 13. Let g be w(-6). Is 3/g - 8902/(-5) a composite number?
True
Let d(w) = -9*w + 41. Let m be d(2). Suppose -m*n + 12*n = -2233. Is n composite?
True
Let w(r) = 7*r - 4. Let z be 5/10 - 2/(-4). Let x be w(z). Is 1*127*(x - 2) composite?
False
Suppose 4*z - 5*a - 3665764 = -0*a, -2*a = 5*z - 4582205. Is z a prime number?
True
Let b(m) = -m**2 - 9*m**2 - 5*m**2 + 14*m**2 + 5779. Is b(0) a composite number?
False
Suppose 0 = 19*q - 18*q - 5. Suppose q*n = -5*r + 16145, 2*r - 5*n = 1128 + 5309. Is r composite?
True
Suppose 4*b - 49813 = -a + 9708, -4*a = -4*b - 238024. Is a a prime number?
True
Suppose 400944 + 178898 = -3*w + 22*w. Is w a composite number?
True
Let r(b) = 16*b**2 - 11*b + 22. Suppose 2*i + 6*i = 24. Suppose -2*m - 5*q - 10 = 0, 4*m = m + i*q + 27. Is r(m) prime?
True
Let t(y) = y**3 + y**2 - 19*y - 7. Let b(r) = 2*r**3 - 2*r**2 - 1. Let a(z) = b(z) - t(z). Let v be 0 - (-7)/1 - -1. Is a(v) prime?
False
Suppose 5756444 = 5*d - 3*x, -7 = -10*x - 37. Is d prime?
True
Is (6635027/(-14))/(38/(-76)) prime?
True
Suppose 5*n - 5*s - 2508 + 58 = 0, -5*n + 3*s = -2456. Is n a composite number?
True
Let u = 1526 + 11419. Suppose -26*v + u = -23*v. Is v composite?
True
Suppose -39593 = -15*s - 2*s. Is s a composite number?
True
Let z = -17362 - -331521. Is z a composite number?
False
Let u be -8*(-8)/(-96) - 2/(-3). Is (-2 - -3)/(u + (-2)/(-2078)) composite?
False
Let n = -64 - -93. Suppose -n*d = -40*d + 30217. Is d a prime number?
False
Let s(k) = -77*k - 12. Suppose 3*u = -2*u + 70. Let n be (-4)/u - 1/((-42)/(-282)). Is s(n) a composite number?
True
Let a(z) = 748*z**2 - 223*z - 1753. Is a(-8) prime?
True
Let k = -251 - -242. Is 211182/4 - k/18*-1 prime?
False
Suppose -2*t - 7629 = -3*n, -7632 = -3*n + 4*t - t. Let k = -964 + n. Is k a composite number?
True
Let x(f) = 89*f**2 + 6*f - 2. Let w be x(-4). Let d be ((-70)/(-42))/(2/w). Suppose -l + d + 888 = 0. Is l a prime number?
True
Suppose 0 = -1320*w + 1348*w - 16683604. Is w prime?
True
Let m(y) be the first derivative of y**3/3 + 45*y**2/2 - 119*y + 85. Is m(40) composite?
True
Let s = 11433 - 4950. Let c = s - 4100. Is c prime?
True
Let q(c) = 359*c**2 + 18*c - 126. Is q(11) a composite number?
True
Is 5*1*78/130*(-559701)/(-27) a composite number?
False
Suppose 0 = 64*q - 13195200 - 3387008. Is q a composite number?
True
Suppose -1665212 = -4*g + 2*v, 5*g + 37377 - 2118892 = -4*v. Is g a composite number?
True
Let z(d) = 22*d**2 + 176*d - 4951. Is z(-118) a prime number?
False
Suppose -12 = 4*q - q. Let z be q/(-6)*(-30)/(-4). Suppose 1050 = 2*h + 4*f, -1579 = -z*h + 2*h - 4*f. Is h a composite number?
True
Let d be -6*(-2)/(-66) - 1962/(-22). Let f(u) = 3*u - 5*u - d*u**2 - 6 + 104*u**2 - 3. Is f(4) composite?
False
Let c(i) = -47*i + 64. Let r(q) = 142*q - 192. Let h(u) = 17*c(u) + 6*r(u). Is h(7) prime?
True
Let m = -44 - -50. Suppose 5*k - m = 4. Suppose v + 2*z = 146 - 9, -k*v = 2*z - 264. Is v a composite number?
False
Suppose 2*o + 2*w + 35 = 7*o, 4*o + 2*w - 10 = 0. Suppose -o*m = 2*m + 2961. Let h = -156 - m. Is h a composite number?
True
Let r(n) = -12734*n**3 - 8*n**2 - 29*n - 105. Is r(-4) composite?
False
Is (39/312)/(3 - (-4054940)/(-1351648)) composite?
False
Let w = -1469 + 2081. Suppose 5*g - i = -562, -2*g + 8*i - 12*i - 238 = 0. Let k = g + w. Is k a composite number?
False
Suppose w - 2 = -6*g + 4*g, -w + 5*g + 2 = 0. Suppose 2255 = s - 0*b + w*b, 2230 = s - 3*b. Is s a composite number?
True
Let c(x) = 210228*x**3 - x**2 + 9*x - 7. Is c(1) a composite number?
False
Is 34/(680/755620)*(1 + 0)*1 a composite number?
False
Is (10 - 0) + 1*25128 a composite number?
True
Let r be (-1 - 0)/(3/36). Let q be ((-433)/2)/(r/72). Is q/9 - 8/(-12) prime?
False
Suppose 2*i - 4*s + 24372 = -0*s, i + 12196 = 4*s. Let r = 21158 + i. Is (-6)/10 - r/(-45) composite?
False
Suppose 0 = -l + 5*d + 17, -l - 4*d = -d + 15. Let c be (10/l)/((-7)/(-21)). Let q(u) = u**2 - 8*u + 11. Is q(c) prime?
True
Let t(z) = z**2 - 1. Let m = -20 - -26. Let r(j) = -12*j**2 - 8*j - 1. Let c(i) = m*t(i) - r(i). Is c(-4) composite?
False
Let v = 237 + -483. Suppose 2*z - 3*z - 67 = 3*g, -4*g - 2*z - 88 = 0. Let q = g - v. Is q a composite number?
False
Let q(n) = 132 - 2*n - 280 + 140 + 14*n**2 + n**3. Is q(-11) prime?
False
Suppose 19*o = 799461 - 255244. Is o composite?
False
Let v be 15/(-2)*(91/13 + -4733). Let n = -17798 + v. Is n a composite number?
True
Is 13/(260/(-1943020))*((-6)/(-2))/(-3) a prime number?
True
Let u(v) = v + 299. Let q = -59 - -59. Is u(q) prime?
False
Suppose 10360 = -0*o + o - 16989. Is o a prime number?
False
Let s(f) = -7 - 25*f + 3*f**2 - 905*f**3 + 29*f + 0*f**2. Is s(-3) a prime number?
True
Suppose -2*k - 4*x = -5*k + 12, -3*k - 3*x + 33 = 0. Suppose -5166 - 8042 = -k*d. Is d a prime number?
False
Let m(x) =