prime?
True
Let k = 1 - -1. Let j = -341 - -346. Suppose 3*d + j*t = 8915 - 3653, 0 = -k*d - 5*t + 3503. Is d a composite number?
False
Suppose -5*p + p - m + 99055 = 0, 74277 = 3*p - 4*m. Is p composite?
False
Let m(v) = 16*v**2 + 5*v - 6. Let n(b) = 2*b - 31 + 58 - 34. Let c be n(6). Is m(c) a prime number?
True
Suppose 567122 + 73646 = 32*c. Let b = c + -4365. Is b a prime number?
False
Suppose -1235949 = -536*u + 485*u + 1551048. Is u a composite number?
False
Let s(y) = 5*y + 39. Let h be s(-7). Suppose -134 + 569 = h*w - i, -4*w - 3*i = -439. Is w composite?
False
Suppose 0 = 2*w + 623 - 1645. Let h = -774 + w. Is (h/4)/(2/(-24)) a composite number?
True
Suppose 27 + 13 = 20*d. Suppose -3*v + d*x + 2535 = 0, -v + 49*x = 44*x - 858. Is v a composite number?
True
Let o(b) = b**2 + 177*b - 17 - 77*b - 84*b. Let h be o(-17). Suppose h = -3*p - 5*p + 34824. Is p a prime number?
False
Suppose 0 = 8*q + q - 2226141. Suppose 5*c - q = p - 91919, -3*c - 2*p + 93271 = 0. Is c a composite number?
True
Suppose l - 10 = -3*k, -k + l + 1 = -1. Suppose 0*g = g + 5, 0 = 3*s - k*g + 3282. Is (s + 2)*(0 - 1) prime?
True
Suppose -4*h + 2*h + 3426 = 4*a, 5*a + 3*h = 4285. Suppose w = -3*t + 308, w + 5*t + a = 4*w. Is w a composite number?
False
Suppose 49 = -57*a + 58*a. Suppose 0 = -a*s + 54*s - 63835. Is s prime?
False
Let f(g) = 12391*g**3 + 3*g**2 - 4*g + 1. Let r = -203 + 204. Is f(r) prime?
True
Let l be 12*(-3)/8*(-68)/51. Suppose -l*u = -12*u + 18906. Is u composite?
True
Let y be 6 + 10 + 120/(-6) + -1. Let x(t) = t + 1. Let z(f) = 39*f + 12. Let a(d) = -x(d) - z(d). Is a(y) composite?
True
Let b be ((-3)/4)/((-30)/20)*-4. Is b/4 + 7/(14/9939) prime?
True
Let w(f) = 51*f**2 - 5*f + 39. Let u be w(5). Let a be (0 + (-6)/(-15))*10. Suppose a*c - u = 483. Is c composite?
False
Let g(s) be the third derivative of s**5/60 + 3*s**4/8 - 7*s**3/2 + 12*s**2. Let h be g(-10). Let k(r) = -10*r - 4. Is k(h) a composite number?
True
Suppose -4*r - 12 = -d + 5, -3*r = -5*d + 34. Let o(m) = 187*m**2 - 6*m - 10. Is o(r) prime?
False
Is (-406172)/(-8) - ((-5)/2 - -3) a composite number?
True
Let a be (60/(-5))/(4/(-14)). Let g = a - -97. Suppose -11*d + g = -708. Is d a composite number?
True
Suppose 2*c - 2*s - 140 = 0, 3 = -17*s + 16*s. Is c prime?
True
Suppose -6*s + 5*c = -s - 130, 5*s + 4*c - 94 = 0. Suppose 0 = -11*w - s*w + 572187. Is w a composite number?
True
Suppose 1254551 = -12418*m + 12437*m. Is m a composite number?
False
Let b be ((-8)/(-10))/(1/5). Suppose -b*t - 16 = -2*c, 0*c + 3*t + 19 = 5*c. Suppose c*i = -3*l + 7469, -3*l = 2*i - 4*i - 7477. Is l composite?
True
Is 15*42967*(114/234 + (-16)/104) a composite number?
True
Let y = 155938 + -108005. Is y composite?
False
Let v(u) = -6566*u**3 - u**2 + 45*u + 161. Is v(-3) prime?
False
Suppose 0 = -3*h - 3*l + 1144851, -811372 = -4*h - 2*l + 715084. Is h composite?
True
Is 1/(1/4 + -52878*25/5287960) a composite number?
False
Suppose -7107664 = -45*i + 4381421. Is i prime?
True
Let t = 11 - 15. Is (486/(-8) + -2)*t prime?
True
Let j = -304 - -607. Let l(r) = -j*r - 12 - 12*r + 1 + 6. Is l(-20) a prime number?
False
Is ((-298)/1043)/(3*2/(-4638039)) prime?
True
Suppose 0 = -2*s - 5*v + 68, -4*v = -3*s + v + 52. Suppose 0 = 9*f - s - 489. Suppose -4*b + f = -2083. Is b a composite number?
True
Suppose m = 4*u + 5 + 3, 0 = 2*u - 6. Let b be ((-235)/m)/(3 - 410/136). Let q = b + -426. Is q prime?
True
Let n(v) = 301*v**2 + 215*v + 2831. Is n(-14) a composite number?
True
Suppose 0 = -o + 5, o + 34192 - 188062 = -5*s. Is s prime?
True
Suppose -4*d + 16 = 12*d. Let h(c) = 2352*c**2 - 2*c + 3. Is h(d) composite?
True
Let f = -2625 - -1619. Let k(w) = -823*w + 1. Let s be k(-2). Let i = f + s. Is i prime?
True
Suppose 103779 = 29*d - 22052. Is d prime?
True
Suppose -602774 = -2*q - 492*t + 495*t, 5*q = -2*t + 1506897. Is q composite?
False
Let c(s) = s**3 - 43*s**2 + 125*s - 436. Is c(73) a composite number?
False
Suppose 11*x + 384341 = r, 33*x = -r + 32*x + 384293. Is r composite?
True
Let s be (-112)/308*(-22)/4. Suppose 12*p = s*p + 22910. Is p a composite number?
True
Suppose -122922906 = -307*q + 114437521. Is q a composite number?
True
Suppose -2*i = 2*n - 672, 0*i + 1343 = 4*i + 3*n. Let o = 1812 + i. Is o composite?
True
Is (-345)/(8 - -7) + 573070 prime?
True
Suppose -3*j + 359445 = 3*a, 258538 = 3*a - j - 100883. Is a a prime number?
True
Suppose 7*p - 540 = -2*p. Let d be (50/(-4) - -2)*p/(-35). Is ((-116)/(-12))/(2/d) a prime number?
False
Let y = -73 - -124. Is (170/y)/((-4)/(-5034)) prime?
False
Let v(x) = 2*x - 5173. Let d be v(0). Let k = d + 7292. Is k a prime number?
False
Let z be (3 - 0) + (-7 - 14). Is (((-24)/z)/4)/((-2)/(-5370)) a composite number?
True
Let f be 3 + (4 - 6*1/2). Suppose f*m - 4*d - 4812 - 180 = 0, -5*d = -3*m + 3746. Suppose 5*b = -3*n + 8170, -2*b - 2*n + 4519 - m = 0. Is b a composite number?
True
Let y be (-6)/10 + (2 - (-9)/15). Is 613*(-3 - -12) + y a prime number?
True
Let m(u) = 17*u**2 + 10*u + 2. Suppose 3*r = 2*r + 3*q - 14, r = -4*q - 7. Is m(r) composite?
False
Let w = 26298 - -253799. Is w composite?
False
Let j(a) be the third derivative of -11*a**4/24 - 6*a**3 + 27*a**2. Suppose -95 - 20 = 5*b. Is j(b) a composite number?
True
Suppose 1123 = 7*w - 242. Suppose 926 = u + w. Is u a composite number?
True
Let p(j) = j - 11. Let u be p(13). Let w be -5*(3 + 57/(-15)). Suppose u*d + 4*i - 5*i - 3189 = 0, 6408 = 4*d + w*i. Is d a prime number?
True
Suppose 193335 = 5*c + 2*h, -17011 - 99016 = -3*c + 4*h. Is c prime?
True
Let d(z) = -19*z - 91. Let r be d(-5). Suppose -n = -r*n + 4395. Is n a composite number?
True
Let c = -14 - -28. Let s(h) = -8*h**2 - h + 5. Let d(a) = 7*a**2 - 5. Let j(x) = 4*d(x) + 3*s(x). Is j(c) a composite number?
True
Let t = 0 + 4. Let x(w) = w**2 - 10*w + 16. Let l be x(8). Suppose -3*u + 488 = -l*u - n, -t*n + 785 = 5*u. Is u prime?
False
Let x be (-4)/32 - (-33)/8. Let v be x + -9 + 239*57. Suppose 0 = 4*b + 3*k - 7805, -5*k - v + 3888 = -5*b. Is b a composite number?
False
Let w(l) = 177*l + 2. Suppose 0 = 2*v + 3*y - 2, -2*v + 20 = -5*y - 14. Is w(v) a prime number?
False
Let l(y) = 5*y**2 - 8*y - 8. Let k be l(-7). Let i = k - -1462. Let w = -1234 + i. Is w prime?
True
Let x = -109892 - -198457. Is x prime?
False
Suppose 0 = 2*f - 3*u - 85810, -u - 113341 = 5*f - 327832. Is f composite?
False
Let m(u) = u**2 - u - 8. Suppose 4*a = -0 + 24. Let z be m(a). Let h = z + 105. Is h a composite number?
False
Let r(y) = y**2 + y + 6. Let c be r(0). Is 479636/36 + 4 - c/27 a composite number?
False
Let n(q) be the second derivative of 203*q**4/12 - q**3/2 + 23*q**2/2 + 41*q. Is n(-6) prime?
True
Is (45 + -20 - -28053) + -2 + (6 - 1) prime?
True
Suppose -58*z + 57*z = -3*n + 91521, -12 = 2*z. Is n a composite number?
True
Let d(s) = -3*s - 15. Let z be d(-6). Suppose -33 = -z*y - 27. Is 212 - (y + 0)/2 composite?
False
Suppose 13465*l - 13480*l = -511845. Is l a composite number?
False
Let u be 2*(-236262)/13*1/(-4). Let b = u - 3383. Suppose 0 = 3*t - 1031 - b. Is t composite?
True
Let s(n) = 5*n**2 - 18*n - 53. Let t be s(-31). Suppose u = -5*p + 9195, 2*p + 1632 = -5*u + t. Is p composite?
True
Suppose -4*y = -u - 551159, -275587 = -2*y - 16*u + 15*u. Is y composite?
False
Let n = 58 + -138. Is 2586/(10/8 - 60/n) a composite number?
True
Suppose 38186701 = 135*n - 50221694. Is n a composite number?
False
Let s(v) = 62*v**3 - v**2 + 3*v - 1. Suppose 3*t = -11 - 49. Let l = t + 22. Is s(l) a composite number?
True
Let b = -160 - -166. Is 5 + (876 - b) + 2 prime?
True
Suppose -679*c + 21238 = -681*c. Is (c + -22)*(0 - 1) a composite number?
True
Let i = -128689 + 188256. Is i a prime number?
True
Suppose 5*o = -3*q + 35 + 6, 0 = -3*o - 3*q + 27. Suppose -27498 = -o*m + m. Is m a composite number?
False
Let y = 273844 + -183905. Is y composite?
False
Let l = 67264 + -26423. Is l prime?
True
Let r(g) = 132*g**3 - 2*g**2 + 10*g + 3. Let z be r(3). Let s = z - 1958. Is s a composite number?
False
Let w(b) = b**3 - 5*b**2 + 5*b - 25. Let q be w(5). Suppose q = 5*k - 3*i + 19093 - 59425, k + i - 8068 = 0. Is k a composite number?
True
Let b = 32879 + -18360. Is b a prime number?
True
Suppose 4*s + 280664 = -4*z + 2833340, 1914517 = 3*z -