33512 = -11*d + 2*s, 0 = -5*d + s + a. Is d a composite number?
True
Let d = 337 - 333. Is (133922/87)/(d/6) composite?
False
Suppose -269094 = 41*q - 905291. Is q prime?
False
Suppose -32 = 37*f - 41*f. Is (-9 + (-105)/(-45))*(-44106)/f composite?
True
Let k(j) = 125889*j**2 - 3*j + 2. Let b be k(1). Suppose 5*p + 3*p = b. Suppose -5*d + 339 = -p. Is d a prime number?
False
Let u(t) = -t - 7. Let m be u(3). Let k be (-1)/2 - 2275/m. Let c = -40 + k. Is c a composite number?
True
Let x(h) = h**3 + 26*h**2 - 30*h - 2. Let p = 258 + -280. Is x(p) a prime number?
False
Let q(c) = 192*c**2 - 9*c - 20. Let h(i) = -128*i**2 + 6*i + 13. Let p(x) = -8*h(x) - 5*q(x). Let l(k) = -k - 11. Let w be l(-14). Is p(w) a prime number?
True
Let o be (1 - -2 - 4) + -2 - -736. Suppose 3*l = 2*k - 1380, -3318 + 1253 = -3*k + 2*l. Suppose 4*g - o = k. Is g a prime number?
False
Suppose -979853 = -5*b - 2*i, -5*i + 195953 = b - 9*i. Is b a prime number?
False
Let u(b) = -2*b**2 - 13*b - 12. Let q = -2 + 32. Let r be (51/9 + -5)/((-4)/q). Is u(r) prime?
True
Is (-806808)/(-6) + (-17)/(187/(-33)) a composite number?
False
Is (-8)/(-12)*(-22640571)/(-186) prime?
False
Suppose w - 6*w = -s - 780035, 0 = -s + 2*s. Is w a prime number?
True
Let n be (4/(-24))/(4/12)*0. Suppose 15*c + 0*c - 31380 = n. Let w = c + -1401. Is w a composite number?
False
Let s be 33274/(-10) + (-1)/((-20)/8). Let w = -1966 - s. Is w a prime number?
True
Suppose -2018777 = -53*y - 14*y. Is y prime?
False
Let o = 77 - 76. Suppose 0*p + 1 = 5*d - 3*p, o = -d + p. Suppose 3*n = -3*s + 3462, 0 = 3*n + d*s + 2*s - 3465. Is n composite?
False
Suppose 9 = -3*v + w, 0 = 4*v - 3*w + 18 - 11. Is (1/v)/((-3)/12)*8059 a prime number?
True
Let m = 250 + -124. Let y = -118 + m. Let r(p) = p**3 - 7*p**2 + 3*p + 5. Is r(y) prime?
False
Suppose 4*y + 3 = -j, 4*j - 12 - 4 = -2*y. Let g be (-1)/y - (-130)/4 - 3. Let k = -21 + g. Is k a composite number?
True
Let m(d) be the third derivative of 9*d**4/8 + 35*d**3/6 + d**2 + 21*d. Let v(h) = h**3 + 10*h**2 + 9*h + 8. Let p be v(-9). Is m(p) prime?
True
Suppose 0 = -3*r + 5*a + 382427, 4*r + 0*a - 509872 = -a. Is r a prime number?
False
Let g(v) = -2*v**2 + 4*v + 94. Let p be g(0). Suppose 91*t + 5235 = p*t. Is t composite?
True
Suppose 0 = -2*x - 94 - 14. Let r = 155 + x. Suppose -r = -4*b + 495. Is b a composite number?
False
Let l = -303 + 76. Suppose 1475 = 3*a - m, 3198 = 5*a - 2*m + 740. Let u = a - l. Is u a composite number?
False
Suppose 38*l - 11 = 179. Suppose l*b + 32893 = 12*b. Is b prime?
False
Let d be 5 - ((-18)/(-12 - -6) - -1). Is (d + -22803)/(-36 - -34) a prime number?
False
Let j = 452 + 723. Suppose -559 = -2*r + j. Suppose 4*h - r = 5*g, -426 = -2*h + 2*g + 2*g. Is h a prime number?
True
Suppose 19*s - 108 = -13. Suppose -5 = -5*v + 20, -2*b + s*v = -5467. Is b prime?
False
Is 1735846/21*1 - 25/(-15) a composite number?
True
Is (-7)/(-63) - (9055543/(-126) + 1/2) a prime number?
False
Let x be ((-12)/10)/((-8)/(-80)). Let b = 10 + x. Is -503*((b - -3) + -2) prime?
True
Let m(r) = 5*r**3 + r**2 + 9*r + 1273. Let w(b) = -14*b**3 - 3*b**2 - 26*b - 3818. Let y(p) = -17*m(p) - 6*w(p). Is y(0) prime?
False
Let u(s) be the first derivative of -s**2/2 - s + 10. Let g be u(-1). Is ((-6)/(-4) + g)/(6/328) composite?
True
Suppose -24 - 24 = -4*a. Suppose -a = 18*d - 20*d. Suppose 0 = -d*i - 0*i + 1266. Is i composite?
False
Let f be ((-5)/((-25)/(-2)))/((-5)/(-150)). Let c = 16 + f. Suppose -4*x = -3*t - 7733, c*x - 7*x + 4*t + 5805 = 0. Is x prime?
True
Let a = -2307 - -3169. Is a a prime number?
False
Let v be -24 + 28 + (-1 - 0/(-1)). Let r be (v/6 + 0)*8. Suppose z - 3*a - 334 = 0, -r*z - 4*a + 1271 = -3*a. Is z a prime number?
False
Suppose -10*h + 907402 = -25798. Suppose -2*r = -22*r + h. Is r a composite number?
True
Let i = -126 + 124. Is (-1)/i - (-11)/(-88)*-7492 a prime number?
True
Let i(c) = -8*c**3 + 371*c**2 + 104*c + 41. Is i(44) a prime number?
False
Let g be (5115/9)/(6/(-9) + 1). Let i = g - 772. Is i a composite number?
True
Suppose 0 = 2*f - 3*d - 24983, -4*f = -d - 20828 - 29153. Suppose -11614 = -10*q + f. Is q a composite number?
False
Suppose 2*w + 34519 = -2*s + 100963, w - 5*s - 33246 = 0. Is (w/148)/((-2)/(-4)) prime?
True
Suppose -356*b - 4485156 = -35211872. Is b a composite number?
False
Let u(j) = 44*j - 21*j - 23*j + 921 + j**3 + 2*j**2. Let z(m) = m + 16. Let v be z(-16). Is u(v) a composite number?
True
Let f be (-10)/4*(-108)/(-270). Is (-5 + 23844/(-16))*(f - 3) a composite number?
False
Suppose -4748467 = -36*j + 52709. Is j prime?
False
Let g(j) = 8714*j**2 - 312*j + 3899. Is g(12) a composite number?
False
Let n(r) = -8*r + 39. Let j be n(20). Let f = j + 124. Suppose -f*i + 2*h + 3*h = -1143, 4*i - 1541 = h. Is i a prime number?
False
Let q = -96330 - -290977. Is q a prime number?
True
Let j(r) = 18*r + 102. Let z be j(-5). Is ((-2)/z*2)/((-1)/5919) a composite number?
False
Suppose 2*t + 51564 = l + 3*l, 0 = 2*l + 2. Is -2*1*(0 - t/(-16)) prime?
False
Let b(n) be the first derivative of n**4/4 + 8*n**3 + 20*n**2 - 26*n + 14. Is b(-15) a prime number?
True
Let l = -481168 - -1852809. Is l a prime number?
True
Let l(w) = -15016*w - 6045. Is l(-26) a composite number?
True
Suppose -54*f + 2896721 = -35*f. Is f a prime number?
True
Is (225/100)/(63/10247412) composite?
True
Let u be 0*(-1)/(-3) - 51711/(-11). Suppose -16*z = -13*z - u. Is z prime?
True
Let w = 7 - 2. Suppose 2 = w*c - 8. Suppose 4*u - 10906 = -5*k, -c*u + 0*k + 5448 = 5*k. Is u prime?
True
Suppose -4*a + 9 = 5*s, 5*a - 4*s = s + 45. Suppose -3*g - y = -13787, -3*y = -0 - a. Is g composite?
True
Suppose -2301*x - 10544 = -2317*x. Is x prime?
True
Let g(q) = 18*q**3 - 2*q**2 - 2*q - 4. Let a be g(-5). Let u = -7393 - -2708. Let s = a - u. Is s a composite number?
True
Suppose 19869 = 3*o + 2*t, 3*t + 0*t - 33115 = -5*o. Let b = o + 770. Is b a prime number?
True
Let t = 15211 + 38970. Is t a composite number?
False
Let k be (-254)/(-8) - (-23)/92. Suppose -k + 23 = -3*r. Suppose -r*s = -5*y + 1312, s = 2*y - 4*s - 521. Is y prime?
True
Let g be 50/((-1300)/78) - 1*-166. Let v be 2/(-1) + 579 - -1. Let l = v - g. Is l a composite number?
True
Is 25/35 + (-37938576)/(-112) + -7 a prime number?
True
Suppose 3*a - 42 = -5*v + 8, 3*v = 3. Suppose a*f - 11232 = 11*f. Is f/3 - (-2 + 8)/2 composite?
True
Suppose -4*f - y + 198655 = 24424, -2*f - 2*y = -87114. Suppose 42*x - 52748 = f. Is x prime?
True
Let f(p) be the first derivative of 221*p**4/4 + p**3/3 - 5*p**2/2 + 8*p + 167. Is f(3) composite?
True
Suppose 0 = -24*n + 9634850 + 18128374. Is n a prime number?
True
Let u = 363241 - 78398. Is u a prime number?
False
Let d(h) = 148776*h + 145. Is d(1) composite?
False
Suppose 4*t + 2*r - 37839 = -6867, -2*r = 2*t - 15484. Let c = -3633 + t. Is c composite?
False
Let w be ((-503151)/(-132))/((-2)/(-32)). Suppose 4*t - 48782 = -2*z, -5*t + z + w = -0*z. Is t composite?
False
Let q(o) = -4693*o**3 - 2*o**2 + 7*o + 21. Is q(-7) composite?
True
Suppose -2231 = -7*m + 2060. Suppose 0 = -125*a + 124*a + m. Is a composite?
False
Let o be 5/(-3) + (-4)/12. Is (o*4/(-12))/(18/183519) composite?
True
Suppose 0 = 58*m - 8160583 + 1766489. Is m a composite number?
True
Let l be (-58)/261 - 2*1/(-9). Suppose l = 8*k + 5953 - 55529. Is k prime?
True
Let g(f) = -212931*f + 125. Is g(-4) prime?
False
Let g(w) = 7*w - 32. Let h be g(8). Suppose -4*u - 18 = 3*f, h = -3*f + 4*u + 6. Let v(z) = 14*z**2 + z + 13. Is v(f) prime?
False
Suppose 4*s - 3*c = 178481, -7*s + 2*c - 223061 = -12*s. Is s composite?
True
Suppose 24 = 3*i - w - 2*w, i - 5*w - 8 = 0. Suppose -i*f = f - 27. Suppose -4*t - 4*c + 539 = -177, f*c - 179 = -t. Is t composite?
False
Let p = -49229 - 126109. Is p/(-10) + 24/(-30) composite?
True
Let d(v) = 11*v**2 + 1. Let n be d(-3). Suppose 0 = -8*p - 2*p + n. Suppose p*o - 9475 = 5*o. Is o a composite number?
True
Let u(x) = -104791*x + 152. Is u(-1) prime?
False
Let j(g) = g + 2490. Let v be j(0). Suppose -16*w = -17*w + v. Suppose -389 = k - w. Is k a composite number?
True
Is 8 + -1 + (114/6 - -51633) a composite number?
False
Let x(y) = -5*y + 93. Let k be x(18). Is 1/k + (-10)/3 + 890 composite?
False
Let v(x) be the third derivative of x**4/12 - 29*x**3