Let a = b + 1947. Is a composite?
True
Suppose -109 = -2*j + 3*r, -4*r - 12 + 0 = 0. Let b = 55 - j. Suppose -28 - b = -3*k. Is k composite?
False
Let r be 4*(270/8)/3. Let u = -2837 + 2891. Suppose -u - r = -9*l. Is l a prime number?
True
Let c = 135178 + -20951. Is c a composite number?
True
Suppose 3*m = -4*f + 34287, 5*m - 7*m = -5*f - 22858. Is m a prime number?
False
Let v = 7750 + -5026. Suppose -412 = 4*h - v. Let q = 967 - h. Is q a composite number?
False
Let k = 244245 - 83743. Is k a composite number?
True
Let g be (-50)/575 - (-830)/23. Suppose -2*y - q + g = -2*q, -24 = -2*y - 2*q. Suppose -y*l + 2226 = -10*l. Is l a composite number?
True
Let x = 79 - 105. Let o = -24 - x. Suppose -o*n = 2*v - 4102, -9*v + 14*v - 4*n = 10273. Is v composite?
False
Let f(k) = -3*k + 5. Let j be f(3). Let t(h) = -1 + 1 - 2 - 139*h - 1. Is t(j) composite?
True
Let p = -112 + 117. Let g(s) = 21*s**3 + s**2 - 5*s - 14. Is g(p) a prime number?
False
Let s(v) = 106*v - 13. Let w be s(-8). Let k = 1495 + w. Let r = -408 + k. Is r prime?
False
Let b(x) = -164*x**2 - 27*x + 6. Let y(g) = 109*g**2 + 18*g - 4. Let k(w) = 5*b(w) + 8*y(w). Is k(-5) a prime number?
False
Let y(m) = -2192*m + 171. Is y(-8) composite?
False
Suppose -13*h + 21783 - 6664 = 0. Let v = h + 806. Is v prime?
False
Is 195861 + -4*(-21 - -16) a composite number?
True
Let n(h) = 2*h**2 - 9. Suppose 0 = 5*t - 2*t + 15. Let v be n(t). Is (-28)/(-1)*v/4 a composite number?
True
Let v(k) = 668*k + 10. Let m be v(7). Let i = m - 3143. Is i a composite number?
False
Let r(d) = -431*d**3 + 4*d**2 + 23*d + 3. Let t(w) = -432*w**3 + 3*w**2 + 24*w + 4. Let s(l) = 5*r(l) - 4*t(l). Is s(-2) a prime number?
False
Let x = -38 - -348. Suppose -4*i + x = -3*v - 3126, 5*i + v - 4314 = 0. Is i composite?
True
Suppose 5*f = 4*t - 2, 4*f + 2 = 5*f. Suppose 8020 = t*i + 1717. Is i composite?
True
Let v = 116063 + -59026. Is v composite?
False
Let f(d) be the first derivative of d**4/4 - 22*d**3/3 - 10*d**2 - 32*d + 421. Suppose 3*b - 31 = 38. Is f(b) prime?
True
Suppose -775 = 24*b - 29*b. Suppose 0 = -158*k + b*k + 3561. Is k composite?
False
Let l be 3*1*18/(9 + 0). Is 1 + (-1254)/(l/(-6)) a prime number?
False
Suppose 22652755 = 67*m + 2922126. Is m prime?
False
Is ((-196)/154)/14*-29309863 a prime number?
True
Let u(q) = -114*q - 6. Let w(g) = 114*g + 6. Let x(l) = -5*u(l) - 4*w(l). Let c be x(3). Suppose -5*p + 182 = o - c, 4*p = -5*o + 2587. Is o a prime number?
False
Suppose -14*j + a - 51050 = -11*j, 0 = -j + 3*a - 17022. Is ((-2)/(-3))/((-16)/j)*11 a prime number?
False
Let o be 17*(-9)/(-9) + -5. Suppose 3*j = -o, s - 3*j - 2165 = -204. Is s a prime number?
True
Suppose 3842*o = 3841*o + 339629. Is o composite?
True
Let d(m) = 1 - m + m + m - 142*m**3 + m**2. Let j be 702/(-390) + 1/(-5). Is d(j) prime?
False
Suppose -5*y - 5*i = -0*y, 4*y + 2 = -5*i. Let q be (10 - 7)*(-4)/(-6)*y. Suppose -379 = -q*h + 249. Is h a prime number?
True
Let i = 450 + -455. Is i - (-109230)/99*18/5 prime?
True
Let v(l) = l**2 + 35*l + 36. Let a be v(-34). Suppose -a*g = -5*r + 28205, -25 = 6*g - g. Is r composite?
False
Let r(n) = -2. Let p(g) = 1536*g + 131. Let i(b) = -p(b) - 5*r(b). Is i(-4) prime?
False
Suppose -4*l + r = -3*l - 5, 5 = 2*l + 3*r. Let a be (((-10)/(-4))/(-1))/((-32)/64). Suppose 0 = a*o + x - 170, 13 = -2*o + 3*o - l*x. Is o a composite number?
True
Suppose 0 = 54*m - 15*m - 1486173. Is m composite?
True
Suppose -169*k = -173*k + 4*d - 108, 2*d = -8*k - 246. Suppose -z + 3 - 5 = 0. Is (z/12 + 10/k)*-4058 prime?
True
Let p be (-3 + 0)*(-1445)/51. Is 11402 - ((-4)/10 + 289/p) composite?
False
Suppose -14*z - 234 = -4*j - 15*z, 0 = -2*z + 4. Suppose j*w - 21776 = 50*w. Is w composite?
True
Let l = 13 - 147. Let h = 147 + l. Is h a composite number?
False
Suppose -45*x + 7917776 + 8995916 = -1570193. Is x prime?
False
Let h be (2 - -2) + (0 - 1432). Let u(z) = 358*z - 3. Let v be u(-7). Let w = h - v. Is w prime?
False
Let a be (3/15)/(-1) - (-63)/15. Suppose 0 = -b - a*h - 8, 3*b + 5*h = 2 + 2. Is 2/b - ((-63900)/(-16))/(-5) prime?
False
Suppose -459710 + 4045647 = 29*b. Is b prime?
True
Let k be (28/(-84))/(2/(0 + 18)). Is (-11 - -13)*(36457/2 - k) composite?
True
Let o be (-6*8/3)/(7 + -5). Let h(g) = 58*g**2 + 11*g - 17. Is h(o) a composite number?
False
Let v(r) = -18*r**3 + 10*r**2 + 143*r + 72. Is v(-19) a prime number?
True
Suppose 2*m + 5*p + 4 = 0, -2*m + 3*p - 4 = -p. Let k be -3 - m*6/4. Suppose k = 2*w + w - 573. Is w composite?
False
Let r be (-76641)/(-15) - 6 - 6/(-10). Suppose 954 = 13*w - r. Is w prime?
False
Suppose 0 = -2*k - 10*a + 5*a + 9, 4*a = -3*k + 10. Suppose 0 = -2*s - k*d + 2804, s = -47*d + 43*d + 1411. Is s composite?
False
Let v = -28669 - -131862. Is v prime?
False
Let k(b) = -15*b**3 - 11*b**2 - 25*b + 48. Is k(-13) composite?
False
Let a = 118435 - 78395. Let w = a + -28441. Is w a composite number?
True
Let a(w) = -242*w**3 + 4*w**2 + 5*w - 4. Suppose 4*i + 15 = -i. Let o be a(i). Suppose 11*y - 10620 = o. Is y a prime number?
False
Suppose -55*p + 74*p = 37*p - 14889294. Is p a composite number?
True
Suppose -34*z = -23*z - 231. Suppose -o - 32992 = -5*r, 17*r + 26390 = z*r - 2*o. Is r a composite number?
False
Let a = -185908 + 263294. Is a a prime number?
False
Suppose 5*t + 5*x - 46689 - 163156 = 0, -209845 = -5*t + 3*x. Is t a composite number?
False
Let o(c) = 2*c**3 + 6*c**2 - 7*c - 4. Let d(y) = 4*y**3 + 11*y**2 - 14*y - 8. Let b(w) = 6*d(w) - 11*o(w). Let u be 4/6 - (1 + (-66)/9). Is b(u) composite?
True
Suppose r = -t - 3*r + 15, 3*r = 2*t + 3. Suppose -t*w = -5*q + 8116, q + 4*w - 193 = 1444. Let m = 1260 + q. Is m composite?
True
Suppose 0 = -4*j + 4*s + 4, 5*s = 4*s + 4. Suppose -4*k - j*n + 36488 = 0, -2*k + 7*k - 45623 = -3*n. Is k composite?
False
Let l(i) = 93*i**2 - 38*i + 745. Is l(24) composite?
False
Suppose 5*s - 1 = -6. Let d be (26/(-91))/(s/7). Let p(g) = 18*g**3 - g**2 + 2*g + 1. Is p(d) prime?
False
Suppose -4*m = -z + 10, 0 = -m - 4*m - 10. Suppose -5050 = -2*c - z*b, -2*b = -2*c + 7*c - 12637. Suppose 489 = p - 4*y, y + c = 5*p + 2*y. Is p prime?
False
Let l(u) = 17*u**3 - 6*u**2 - u. Let c be l(-4). Let a = c + 7343. Is a a prime number?
True
Let c(m) = -168*m**3 - 18*m**2 - 119*m - 6. Is c(-5) a composite number?
False
Let h be (36/2)/((-2)/(-8)). Let c = h - -4. Let m = c + 51. Is m prime?
True
Suppose -11*a - 10279866 = -28*a. Suppose -28*q + 519754 = -a. Is q prime?
False
Let q be (14/2 - 2)*(33 - 29). Suppose 0 = 16*l - q*l + 4792. Is l composite?
True
Let y(b) = -4*b - 23. Let l be 11/11 + 2*-4. Let j be y(l). Suppose 1660 = 5*z + 5*s, -2*z - j*s - 350 = -3*z. Is z composite?
True
Let y(z) = -z**3 - 7*z**2 - 6*z + 2. Let t be y(-8). Suppose -m = -2*v + 133, -2*v + 3*m + 106 + 21 = 0. Suppose -2*w + t + v = 0. Is w a composite number?
True
Let d(n) = -6*n - 31. Let h be d(-6). Suppose -3*z + 11780 = h*i - 3352, 4*i - 3*z - 12111 = 0. Is i prime?
False
Let y(q) = 13*q**3 - 15*q**2 + 28*q - 141. Is y(12) a prime number?
False
Suppose 0 = -3*k - 3, -8 + 22 = 4*t + 2*k. Suppose -5392 = 3*w + p - 15755, 0 = -t*w + 2*p + 13804. Is w a composite number?
True
Let y(z) be the first derivative of -z**4/2 + 23*z**3/3 - 7*z**2 + 7*z - 13. Let b be y(10). Suppose -3*v = -1294 - b. Is v a prime number?
True
Let l be (-40)/140 - 1513*6/(-21). Let t = 4875 - l. Is t a composite number?
True
Let n = -23205 - -35648. Is n a composite number?
True
Let a(j) = 42880*j + 97. Is a(1) composite?
True
Let h = -52 + 52. Is (h + 4/(-5))/((-124)/2170) a prime number?
False
Suppose 0 = -2*c - 3*c + 140. Suppose -2*b + 0*h = -h - c, 4*b - 68 = -4*h. Is 39*(9/b - (-52)/30) a composite number?
True
Let r be 3/2 - (-9 + 4)/10. Suppose 4*k - r*w = 1152, 5*k = 3*w + 787 + 655. Let n = k - -300. Is n a prime number?
False
Suppose -4*x = n - 49, 4*n = -5*x + 2*x + 27. Let v be -2*(x/2 + -3). Is ((-98)/(-63))/v - 60790/(-18) prime?
False
Let y be (-1)/(-2)*392/(-7). Let p = -18 - y. Let a = p + 363. Is a a prime number?
True
Suppose 5*k + 23 = 2*v, 5*k - v - 10 = -34. Is 2/10 + ((-20554)/k)/1 composite?
False
Is (12/(-260) + (67/(-13) - -5))*-848755 a prime number?
True
Let x = -10029 + 169808. Is x a composite number?
False
Let a(x) = 28687*x**3 + 6*x**2 + 453*x - 