, -2*i + 59881 = 3*b. Is b a prime number?
True
Let o(a) = -2*a**2 + 4*a - 6. Let i be o(-5). Suppose -4*c = -u + 647, c - 16*u + 20*u + 149 = 0. Let r = i - c. Is r composite?
True
Let b(o) = -32*o**3 + 14*o + 7. Is b(-3) composite?
False
Let k be 6/(-10) - 67/5. Let m = k - -14. Is 11*(3 + m + 2) prime?
False
Suppose -5*n + 37 + 43 = 0. Suppose 14 = -0*g - 2*g - 3*k, -4*k = n. Is (-127)/(0 - g - 2) a prime number?
True
Let f = -11 - -14. Suppose s - w - 756 = 0, f*s - 2263 = w + w. Is s prime?
True
Let h = 38713 + -19908. Is h a composite number?
True
Suppose 3*p = -4*o + 90, -5*p + 14 = 5*o - 131. Let k be (-17)/15 + 6/45. Let q = k + p. Is q a composite number?
True
Let z(q) = 35*q**2 - 2*q + 5. Let g be 16/(-24) - 28/(-6). Is z(g) composite?
False
Suppose -5*p + 4*d + 4 = -22, p + 2*d + 6 = 0. Let o = 0 + 2. Suppose o = p*c - 152. Is c a prime number?
False
Is (-3)/(-1) - (-31)/((-31)/(-17540)) composite?
True
Let d(v) = 2643*v**2 + 4*v - 5. Is d(-2) composite?
False
Is 5/10*-1*-65266 a prime number?
True
Let b = -24 + 25. Let t(n) = 1527*n - 14. Is t(b) composite?
True
Suppose -2*m - 5*n = -2 + 11, 3*n = -2*m - 3. Let a(p) = 2*p - 2. Let v be a(5). Suppose -v*s + 335 = -m*s. Is s prime?
True
Suppose 20*h - 5*h = 2235. Is h prime?
True
Suppose -3*g - 3188 = -23099. Is g a prime number?
True
Let x(r) = -r**2 + 5 + 8*r - 2 + 0*r**2 - 5*r**2 - r**3. Let v be x(-7). Is v/10 - 1537/(-5) prime?
True
Suppose 0 = 2*u - 8867 - 1699. Suppose -38*g - u = -47*g. Is g composite?
False
Let p(j) = -2*j**3 - 3*j**2 - 4*j - 3. Let d be p(-2). Suppose 0 = 3*a - 3 - d. Is 4*(2 + 137/a) a composite number?
True
Suppose -8*o - 60 = -20*o. Suppose -o*n = -706 + 71. Is n a composite number?
False
Let w = -5 - -2. Is w*(-2)/(-6) - -252 a prime number?
True
Suppose 7*d + 18*d - 15875 = 0. Is d a composite number?
True
Suppose 40*n - 148914 = 239846. Is n a prime number?
True
Let a(o) = o**3 + 12*o**2 - o - 2. Let c = -8 + 56. Suppose -t - 3*t = c. Is a(t) a composite number?
True
Let p(h) = 0*h + 8*h + h**2 + 2 + 0*h. Let t(v) = -v**3 - 17*v**2 + 21*v + 43. Let j be t(-18). Is p(j) prime?
False
Let z(q) = 120*q - 9 + 4 - 8 - 195*q. Is z(-10) a prime number?
False
Let t(y) be the second derivative of -17*y**3/2 - y**2/2 - 32*y. Let s be (-1)/(-3) - (-75)/(-9). Is t(s) prime?
False
Let s(i) = -i**3 - 14*i**2 - 15*i + 5. Let n = 56 - 39. Suppose k + 2*j + n = 0, -3*k + 4*j - 15 = 16. Is s(k) prime?
True
Let y(b) = 5*b**2 - 29*b - 9. Is y(-7) a composite number?
False
Let k be ((-3)/2)/((-21)/43736). Suppose 4*j - k = -5*h, 0 = -3*j - 4*h - 0*h + 2344. Suppose 2*a - 6*a + j = 0. Is a a composite number?
True
Let v(u) = 1929*u + 275. Is v(16) a composite number?
False
Let s(i) be the third derivative of -11*i**4/6 - 13*i**3/6 - i**2. Is s(-4) a composite number?
False
Let l be 1/(544/542 - 1). Let y = l - 189. Is y prime?
False
Suppose -5*n + 4*n + 5*r + 3678 = 0, -3*n - 4*r + 11053 = 0. Is n a prime number?
False
Let u(j) = -4*j**3 - 2*j**2 - j + 2. Let b be u(1). Is (1 + b/4)*-1172 a composite number?
False
Suppose -4*h = -3*n - 3, 2*n - 1 = 4*h + 3*n. Suppose z + z - 8 = h. Suppose z*f - 3*f - 37 = 0. Is f prime?
True
Let i be 1/(-3) + 7/3. Suppose -3489 = -p - i*p. Is p composite?
False
Let z(w) = 7*w**3 - 5*w**2 + 4*w + 7. Is z(4) prime?
False
Let s = 4 - 10. Let w = s - -7. Is -5*46/(-10)*w composite?
False
Suppose a = -4*p - a + 22, -a = 4*p - 17. Let y(r) = -224*r - 4. Let x(c) = -224*c - 3. Let q(t) = p*x(t) - 2*y(t). Is q(-1) composite?
False
Suppose -6*k + 3437 = 857. Let d = 827 - k. Suppose 3*w - d + 16 = 0. Is w a prime number?
True
Suppose 13945 = -19*f + 162468. Is f composite?
False
Suppose -2*d + 4*p + 8 = -16, -20 = -3*d + 2*p. Let u = -4 - -7. Suppose 0 = d*s + u*s - 1141. Is s composite?
False
Let s = 3052 - -1761. Is s composite?
False
Let t = 950 + -627. Is t a composite number?
True
Suppose -4*j + 24 + 0 = 0. Let f be 14*34*j/12. Suppose n = -n + f. Is n prime?
False
Suppose -5*p + 4714 = 7*r - 4*r, 0 = -4*p + 3*r + 3755. Is p a composite number?
False
Let i(x) = -8*x + 8457. Let s be i(0). Suppose -6*j + j = 2*c - 8469, 0 = 5*j - 4*c - s. Is j composite?
False
Let d(t) = -t**3 + 18*t**2 + 33*t + 147. Is d(-23) a composite number?
True
Suppose -2*w + 0*w - 2*u = 2, -5*u - 11 = 2*w. Let b be w*((-1780)/(-8))/5. Suppose -2*i + 245 = 3*h, -i + b = h - 4*i. Is h composite?
False
Let j(m) be the third derivative of -11*m**4/8 - 5*m**3/6 + 11*m**2. Let y be j(-3). Suppose -4*r - y = -1178. Is r prime?
True
Let h(s) = 150*s + 477. Is h(5) composite?
True
Let k(z) = -z**3 - 3*z**2 + z + 5. Let n be k(-3). Suppose r + n*r = 273. Is r a prime number?
False
Let d(l) = -l**2 - 15*l - 3. Let h = 1 + 15. Suppose n + n + h = 0. Is d(n) composite?
False
Suppose -2*t = -2*k + 1494, 5*t = -4*k + 679 + 2327. Is k a composite number?
True
Let z(k) = 2*k**3 - 5*k**2 + k + 2. Let n = -16 + 18. Suppose -5*i - 6 + 5 = -2*r, 0 = n*r - 2*i - 4. Is z(r) prime?
False
Let o = 4654 + -3131. Is o composite?
False
Let y(q) = 88*q - 51. Let c be y(17). Let z = 2134 - c. Is z composite?
True
Suppose -2*r + q + 0*q = -170, -3*q = -4*r + 344. Is r a composite number?
False
Suppose 0 = -5*y + 15, -g - 207 + 1753 = y. Is g prime?
True
Suppose k - 3121 + 796 = 0. Let t = 71 - 65. Suppose -k = t*n - 7047. Is n prime?
True
Let k(z) = z**2 + 4*z - 12. Let a be k(-6). Suppose a = g - 6. Is g/(-8) - 34335/(-36) prime?
True
Let z = 106852 + -46841. Is z prime?
False
Suppose -14 = 2*q - q - 2*m, -3*q - 47 = -m. Let h = q - -27. Suppose -40 = -2*s - 4*v + 3*v, s = -5*v + h. Is s a prime number?
False
Suppose 4*p - 3 = 5. Let j be ((-4)/4)/(p/4). Is (j - (-12)/4) + 30 a prime number?
True
Let j = 20 + -15. Suppose 0 = 5*x + i - 15, 0*x + 2*x - 33 = j*i. Suppose -2*p + 2*t + 214 = 0, 0 = -x*p - 2*t + 617 - 195. Is p a composite number?
True
Let y be 1*(2 - 2)/(9 - 10). Suppose y = -p + 7*p - 2586. Is p a composite number?
False
Let t = 202 + -96. Suppose 0 = -0*w - 2*w + t. Is w a prime number?
True
Let w = 786 + 9791. Is w prime?
False
Is (-3)/(-8 + 5) - (-1139 - 1) a composite number?
True
Let v = 1296 - 876. Let o be v/6 + -2 + 6. Let k = 148 - o. Is k composite?
True
Is (((-40)/15)/4)/(2/(-34791)) a prime number?
True
Suppose 61*d = 57*d + 13544. Is d a prime number?
False
Let n = 7336 + -4573. Suppose 4*q = 1345 + n. Is q prime?
False
Let m be 94/(80/15 + -6). Let u(b) = -b**2 - 8*b - 6. Let l be u(-8). Is m/6*l - 2 composite?
False
Let q(d) = 2*d**3 + 125*d**2 + 41*d + 191. Is q(-60) a composite number?
False
Let w be 1 - (-8)/(-2) - -5. Suppose -w*u - 191 = -3*a, -2*a + 9 = -2*u - 115. Is a a composite number?
False
Let i be (-2388)/(-21) - (-8)/28. Let o be 220/(-8)*(-2)/(-1). Let s = i + o. Is s a prime number?
True
Let f = 804 - 570. Let s = f + -621. Is (-1)/(390/s - -1) a prime number?
False
Is (-13884 - -1)*(0 - (6 - 5)) prime?
True
Let c = 50 + -45. Suppose 0 = 3*x - c*g - 1118, 4*g = -2*x + 2*g + 740. Is x prime?
False
Suppose -15 = -5*l + 5. Suppose -3*p - 25 = -l*p. Suppose -w + 102 = -p. Is w prime?
True
Let z(s) = -42*s + 6. Let j be z(-2). Suppose 5*c + k = j, -3*c = -6*c - 4*k + 37. Is c a prime number?
True
Suppose -2*q = -3*h - 15, -5*h = -5*q - h + 27. Suppose 0 + 6 = q*j. Suppose 139 = n - j*t, -175 - 218 = -3*n - 2*t. Is n composite?
True
Let j(i) = 28*i**3 + 3*i**2 - 5*i - 1. Let h(x) = 28*x**3 + 3*x**2 - 5*x. Let p(m) = 4*h(m) - 3*j(m). Is p(4) a prime number?
True
Let n = -34 - -39. Suppose 698 = c + n*l, -5 - 7 = -4*l. Is c a prime number?
True
Let d(y) = y**3 - 2*y**2 + y - 8. Let i be d(3). Is (-10)/4*(i - 18) composite?
True
Let b be -6 - -2 - 2597/(-1). Let k = b + -1380. Is k a composite number?
False
Let j = 9858 - 3532. Is j a composite number?
True
Is ((-5238)/324)/((-1)/1038) a prime number?
False
Let o(a) = 1462*a + 23. Is o(3) prime?
True
Let i = -1774 + 7121. Is i a prime number?
True
Let s(l) = -2*l. Let x be s(-2). Suppose 980 = x*j - 1368. Is j a prime number?
True
Let a = 257 - 62. Suppose a = -10*r + 11*r. Suppose 5*k = 3*h - 583, 0*h - r = -h + 2*k. Is h a prime number?
True
Is (38738/56)/(5/4 - 1) composite?
False
Let h be 7/(14/(-6))*-15. Let n = h + 496. Is n prime?
True
Let k(r) = 46*r + 17. Let j be k(-8). Let z = j + 602. Is z prime?
