er?
True
Suppose 2*r + 40 = -5*k - 2*r, -4*r = 0. Let p be (-12)/k*(-38)/3. Let l(i) = i**2 - 4*i + 6. Is l(p) prime?
True
Suppose 150*m = 81*m + 6641733. Is m composite?
True
Let i be 10/(-5 - -7) + -12. Is (-2361)/6*(i - -1) a composite number?
True
Let c be 36430/15 - (-1)/3. Suppose 0 = 3*a - 4*g + 2, -2*a - g = g - 8. Suppose c = a*t + 463. Is t a prime number?
True
Suppose -29*m + 117 = -16*m. Is 1/((-9)/(-25689))*m a composite number?
True
Suppose -16 = -3*c - 7. Suppose 4*n + 9 = 4*j - 3, -5*n - 11 = -c*j. Is (-32)/(-160) - ((-17338)/10 - n) prime?
True
Let b(p) = -25*p - 4. Let w be ((-8)/(-12) + 10/(-6))*6. Let k be b(w). Suppose 0 = -q + 3, -4*h - 5*q = -3*q - k. Is h prime?
False
Is 543544/(-12 - -20) - (3 - -1) prime?
True
Suppose m + 4*o = -2*m + 1524, 5*o - 2545 = -5*m. Let n = m + -171. Suppose 5*b = 4*a - 0*a - n, 0 = 5*a + b - 390. Is a a prime number?
True
Let k be (21/6)/(24/205104). Let a = k - 17154. Is a a composite number?
False
Let x be -4 - ((-56)/(-70))/((-2)/10870). Let h = 7733 - x. Is h composite?
False
Let i(j) = 2*j**2 + 2*j - 4. Let m be i(3). Let b be (12/m*96)/((-9)/(-30)). Suppose -b = -2*q + 6326. Is q composite?
False
Let x = 26 + -21. Suppose -4*c - 2*d + 30 = 0, -x*d = 5*c - 4*d - 42. Is (-6)/c*1266/(-4)*1 prime?
True
Suppose -2*j + 4 = -2*o, 4*o + 5*j - 18 = 19. Suppose 4*t = o*t + 5. Suppose 0 = t*x - 2*x - 1095. Is x a composite number?
True
Let i be 3 - 130/1*-1. Let v = i - 121. Suppose y = v*y - 16753. Is y a prime number?
True
Let w(f) = 2*f**3 - 48*f**2 - 72*f - 33. Is w(57) composite?
True
Let o(w) = 125444*w**2 + 35*w - 2. Is o(-1) composite?
False
Let p = -9 - -11. Suppose -2*v + 0*v = p*v. Suppose v = 2*d - 3610 - 696. Is d a prime number?
True
Let a be (-204)/(-153) + 1/(-3). Is 31734/21 - a/7 composite?
False
Let g = -8144 + 16698. Let u = -6033 + g. Is u prime?
True
Suppose 2*p - 3*x - 20 = 0, 0 = -5*p - 2*x + x + 16. Suppose 17*v - p*v = 61243. Is v composite?
True
Let k(l) = -17*l + 44*l + 4 - 9*l**2 - 25*l. Let z be k(3). Let m = 126 + z. Is m a composite number?
True
Suppose 29*j + 74061 = 56*j. Is j a prime number?
False
Suppose -5*t + 9*t = 7488. Let o = t - 3049. Is (-33)/(-44) + o/(-4) a composite number?
True
Is (-40)/(-32) + (-563901)/(-12) prime?
True
Suppose 3267294 = 3*k - 3*g, k = -27*g + 24*g + 1089070. Is k composite?
False
Let p = -39615 + 27279. Let s be 4/6*(-3 - p). Suppose 3*l - l = s. Is l a composite number?
False
Suppose -30 = -5*b - 5*b. Suppose b*d - 7820 = d. Let x = d - 2201. Is x prime?
True
Suppose 0*o - 3*o + 5*j = -64, 2*o + 3*j = 68. Let t(u) = -386 + 385 + o*u - u. Is t(2) prime?
True
Let a = 43587 - -8624. Is a a prime number?
False
Suppose 4*i - 4*f = 945868, -15*f + 18*f - 709425 = -3*i. Is i a prime number?
True
Is ((-3)/(-6))/(95/33970670) prime?
True
Let n(a) = -16*a**3 + 233*a**2 - 20*a + 10. Is n(9) a prime number?
True
Suppose 0 = 25*q - 128017 - 134758. Is q a composite number?
True
Let s be 12 + 5 + -6 - 2. Let c be -12 + s - ((264 - -1) + -1). Let g = c - -769. Is g a composite number?
True
Let o be -43 + 46 + -9*23/(-1). Suppose 2*m = 592 - o. Is m prime?
True
Let b(l) = -32*l + 51. Let p(g) = 32*g - 52. Let m(t) = -3*b(t) - 2*p(t). Suppose 18*x = -26 + 242. Is m(x) a composite number?
True
Let w = 1 - -3. Suppose 0 = -w*l - 177 + 469. Suppose 77*n = l*n + 508. Is n a composite number?
False
Suppose 3*v - 6*z - 20316 = -9*z, 33867 = 5*v - 2*z. Is v a composite number?
True
Let k = -1310 + 12053. Suppose -5*p - 64 = f - 380, -5*p + 12*f = -303. Suppose -6*v + k = -p. Is v prime?
True
Suppose -2*d = -5*l - 83594, 5*l - 32 = -12. Is d composite?
True
Let y(c) = -62*c**2 - 1 - 5*c + 73*c**2 - 8*c. Let h(u) = -12*u**2 + 15*u. Let k(g) = 3*h(g) + 4*y(g). Is k(14) composite?
True
Suppose 6*m - 4*n = 645838, n - 416448 + 93523 = -3*m. Is m a composite number?
False
Let u(a) = -2*a - 1. Let i be u(-4). Let v(g) = -41*g**3 - 4*g**2 - i*g**2 - 2*g + 10*g**2 - 1 + 4*g. Is v(-2) prime?
False
Let l = 28013 + -51189. Let y = 62315 + l. Is y composite?
False
Let l = -975 - -224. Let b = -508 - l. Suppose -2*v = v - r - 704, -b = -v + 2*r. Is v a composite number?
False
Suppose -23*a - 510 = -6*a. Suppose j - 4*j = -3. Is a/(-225) - ((-54898)/15 - j) a composite number?
True
Let z = 50149 - 35297. Suppose -6563 = -5*a + z. Is a a composite number?
False
Let g(l) = 1917*l**2 + 313*l - 7757. Is g(22) a prime number?
True
Suppose -21 = -3*a - 6. Let d be 2/a - 23/(-5). Suppose d*k = 1002 + 1193. Is k a composite number?
False
Let u be -1*4*(-5)/((-40)/(-28)). Let j(x) = -2*x + 32. Let a be j(u). Is -986*(-1)/2*(-3 + a) a prime number?
False
Suppose -4*i + 8771 = -5*y, -4*i = -4*y - 3672 - 3348. Let o = y - -611. Let g = -779 - o. Is g prime?
False
Let i be 5 - 0 - 2 - -2. Suppose 2*h + i*x - 3018 = 0, 3*h - 4*x - 4527 = x. Is h composite?
True
Let u be (6/4)/((-1)/(8/6)). Is 0/(6 + u) - -1139 a prime number?
False
Let y(p) = 74*p**3 + 36*p**2 + p - 22. Is y(5) a prime number?
True
Suppose -3*b = -3*v + 96213, 22*b - 21*b = 4*v - 128284. Is v prime?
False
Let x(u) = 27*u**2 + 3*u + 3. Let b be ((357/(-14))/(-17))/(6/8). Suppose 11*s + b = 46. Is x(s) prime?
False
Suppose 860894 = -6*b + 3073460. Is b prime?
False
Let u(l) = -23*l + 21. Suppose -5*q = -0*q + 20, -3*q + 3 = 5*x. Let a(h) = 12*h - 11. Let s(w) = x*u(w) + 5*a(w). Is s(-7) composite?
False
Let g = 57307 - 19850. Is g prime?
False
Suppose 4*p = -106338 + 2624982. Is p composite?
True
Let l = 32210 - 30711. Is l prime?
True
Let t(c) = 12*c + 10*c**2 + 4 - 13 - c. Let m = -14033 - -14041. Is t(m) prime?
True
Let b(d) = 2*d**2 + 2*d - 21. Let c be b(-5). Suppose w - 16 = -4*m + m, -4*m + c = -w. Suppose m*n + 0*n = 1025. Is n prime?
False
Let h(w) = -2*w + 42. Let u be h(13). Suppose 30 = 4*f + 2*i, 1 - u = 5*i. Suppose 3*z + 2*r - 1003 = 7046, -f = -3*r. Is z a composite number?
True
Let s(d) = -4*d**3 - 2*d**2 + 3*d - 1. Let i be s(1). Let p = 9 + i. Suppose 4*r - p*n = r + 12775, 4249 = r - 4*n. Is r composite?
True
Let n(s) be the third derivative of -s**5/30 - s**4/12 + s**3/3 - 7*s**2. Let q be n(-2). Is 485/q*(-12)/30 a composite number?
False
Let i = 10363 + -5510. Is i composite?
True
Let q = -20186 - -36747. Is q a composite number?
False
Suppose -2*o - 611 = -h + 1010, -2*o = -4*h + 1618. Let s = 2396 + o. Is s a composite number?
True
Suppose 4*s + 1679 - 10599 = 0. Suppose 3*h = 8*h + 5*y - 2775, s = 4*h - y. Is h prime?
True
Suppose 13*z = -2*r + 8*z - 4954, -9878 = 4*r - 5*z. Let o = 2851 - r. Is o composite?
False
Suppose 203*a - 209522 = 192*a + 122249. Is a a prime number?
True
Let f = 122285 + 1422. Suppose -17*b = -f - 9420. Is b a prime number?
False
Let v(z) be the third derivative of 983*z**5/30 + 7*z**4/24 + z**3/3 + 10*z**2. Let p be v(3). Is (-14)/105 - p/(-15) prime?
True
Is (264/(-198))/((-4)/392307) a prime number?
True
Suppose -x = o - 109398, -2*x + 14*o - 9*o + 218747 = 0. Is x a composite number?
False
Suppose 43*x + 15 = 46*x. Suppose -1608 + 343 = -x*t. Is t a composite number?
True
Suppose 45*o - 4021141 = 18*o + 3238106. Is o a prime number?
True
Suppose -71*b + 25*b + 31*b + 131295 = 0. Is b a prime number?
True
Is (-126509)/(-16) - 585/(-3120) composite?
False
Suppose -5*k = -625*j + 629*j - 992523, 0 = -k - 5. Is j a composite number?
False
Let v(s) be the first derivative of 4*s**4 + 7*s**3/3 + s**2/2 - 27*s + 39. Is v(8) composite?
True
Let k = 3133 - -2861. Let v = -4228 + k. Is v a composite number?
True
Suppose -31 - 4 = -7*p. Suppose 0*w - 3646 = -i + p*w, w + 7301 = 2*i. Is i composite?
True
Let o = -47 + 17. Let p(y) = -y**3 - 3*y**2 + 14*y - 23. Is p(o) composite?
False
Let b = 133395 + -71834. Is b a composite number?
False
Suppose 3*i = -4*x + 20, 0 = 2*i + 2*x + 9 - 21. Suppose -2*t + 2*o = -651 - 1105, 0 = -4*o + i. Is t prime?
False
Let f = -907 - -10690. Let o = 3134 - 3121. Suppose o*r - 4*r = f. Is r a prime number?
True
Let i(j) = 4459*j + 23. Let v = -363 + 365. Is i(v) a prime number?
True
Let r(s) = 124*s**3 - 2*s**2 - 322*s + 87. Is r(20) composite?
False
Let q = -145 + 148. Is 6 - (2 + 2) - (q - 5504) a prime number?
True
Let n(m) = -4*m - 52. Let z be n(-14). Let t(s) = 5*s - 5 + z - 605*s**3 + 4*s**2 + 614*s**3. Is t(5) composite?
False
