17*g + 8. Suppose 0 = 5*a - 2*b - 17, 0 = -3*a - 5*b + 2*b + 6. Is w(a) a prime number?
True
Let g(d) = 7*d**2 + 20*d + 67. Is g(-26) a composite number?
True
Suppose 0 = 415*l - 413*l - 16514. Is l composite?
True
Let w(n) = 5*n + 0*n + 4 - 3 - 5 + 110*n**2. Is w(2) prime?
False
Let r be (-9)/(1/7*-1). Let x = 57 - 26. Is 2/(r/x + -2) a composite number?
True
Suppose -14*r - 4*n - 14744 = -18*r, -5*r - 3*n = -18470. Is r composite?
False
Let r(l) = -27372*l - 73. Is r(-1) a prime number?
True
Let x = 438 - 351. Is x prime?
False
Let d(t) be the second derivative of -3/2*t**2 - 1/20*t**5 + 2/3*t**4 + 0 - 4*t + 7/6*t**3. Is d(8) a prime number?
True
Let d(p) = 7*p**3 + 9*p**2 - 20*p - 7. Is d(6) a composite number?
False
Suppose 1456 + 748 = 2*i. Suppose -5*b = -3*y + 821, 0*b + i = 4*y - 3*b. Is y a composite number?
False
Let p = -57 - -480. Suppose 5*d = 4*r + r + 420, 2*r = 5*d - p. Is d a prime number?
False
Let w be 1/((-3230)/(-1614) + -2). Suppose -2*s - d = -538, -3*s - w = -6*s + d. Is s composite?
False
Is 39394/3*(-132)/(-88) a composite number?
False
Let r(o) = -35*o**2 - o + 8. Let a(f) = -f. Let u(v) = a(v) - r(v). Is u(-3) a prime number?
True
Let z = 847 - 720. Is z a prime number?
True
Let p = 10021 - 5904. Is p a composite number?
True
Suppose 0 = z - r - 4, 7*z - 2*z - 3*r = 22. Suppose -2*v - 1 = -9, 0 = -z*s - 5*v + 4275. Is s a composite number?
True
Suppose 0 = -2*m - 3*q + 18, -4*m - q + 13 + 3 = 0. Is (6/m)/((-10)/(-5015)) a composite number?
True
Suppose -56*x + 15999 = -53*x. Is x a composite number?
False
Let o = 84611 + -396. Is o a prime number?
False
Let t(h) be the second derivative of h**5/5 + h**4/2 + h**3/3 - 5*h**2/2 + 5*h. Is t(6) prime?
True
Let d = -656 + 1092. Suppose k = d + 222. Suppose -q - q = -k. Is q a prime number?
False
Suppose -2*o = -5*o + 303. Suppose -o = 4*u + 51. Let l = u - -93. Is l a prime number?
False
Is (154582/(-14))/(50/(-350)) a composite number?
False
Suppose -39*u = -35*u - 5*z - 91629, 2*z = -10. Is u a prime number?
True
Let p = -57 - -41. Is ((-436)/(-16))/((-4)/p) a composite number?
False
Suppose 19*u - 2720 = 3341. Is u a prime number?
False
Suppose -12 + 37 = 5*c. Suppose -3*j = -4*a - 159, -c*j - 3*a + 138 = -2*j. Suppose s = 4*v - 72 - j, v = 3*s + 22. Is v prime?
True
Let k be (-4)/3*(-6)/4. Is k/11 - (-124296)/264 a composite number?
True
Let b be ((6 - 4)/(-2))/((-1)/8). Suppose b*w - 3*w = 1685. Is w prime?
True
Let s(x) = -x**3 - 6*x**2 - 5*x - 3. Let j be s(-6). Let a(t) = -4*t + 31. Let v be a(7). Is 1/v + 52614/j a composite number?
False
Let q(w) be the first derivative of w**3/3 - 2*w**2 - 5*w + 3. Let v be q(5). Suppose v*s + 5*s - 2705 = 0. Is s composite?
False
Suppose -3*h - 20 = -7*h. Suppose -h*m + 1254 + 641 = 0. Is m prime?
True
Suppose -3*x = 27 + 9. Let v(z) = z**2 + 13*z + 16. Let b be v(x). Suppose -5*n - y - 12 = -73, -b*n + 3*y + 64 = 0. Is n a composite number?
False
Let y(q) = -4*q + 2. Let i be y(2). Let h be 8/i*(3 + -6). Is -138*(h/8 - 1) composite?
True
Suppose 60*f - 996753 = 880107. Is f a prime number?
False
Let p be ((-1 - 0)*1)/(99/297). Let i(u) = -89*u**2 - u - 20. Let y(g) = -22*g**2 - 5. Let s(v) = 2*i(v) - 9*y(v). Is s(p) composite?
False
Suppose 1795 = 2*j - 1659. Is j prime?
False
Let o = -1 - -1. Suppose o = u - 4*u - 33. Let g(q) = -q**3 - 9*q**2 - 6*q - 15. Is g(u) a composite number?
False
Let q be -4 + (6 - 3/1). Is (-14 + 265)/((-1)/q) a composite number?
False
Let c(y) be the second derivative of 1/6*y**3 + 3*y + 0 + 161/2*y**2. Is c(0) a prime number?
False
Suppose -3*r - 29 = 106. Let v be 18/r*(-14 + -1). Is (3/v)/(3/534) a prime number?
True
Suppose 2*b + 43 = 3*l, b - l - 23 = 3*b. Let k = 13 + b. Is -149*1*(k + 0) composite?
False
Suppose -27*j = -25*j - 514. Is j prime?
True
Suppose 3*u - 5 = -4*z, 0 = -3*z - 2*u + 4 + 1. Suppose z*p - 3059 = f + 271, 3355 = 5*p + 4*f. Is p a prime number?
False
Suppose -2*z = 5*k - 16, 5*k + 5*z - 10 - 15 = 0. Let r be k/4 + (-10)/(-4). Suppose r*m - 74 = 2*m. Is m a prime number?
False
Suppose -2423 = -9*y + 2194. Let q = y + -34. Is q prime?
True
Suppose 0 = a - 5*c - 16, -2*a + 2*c + 13 = -a. Let i be (0 + 1)*(66 - a). Let n = i + 12. Is n a prime number?
True
Let h(i) = i**3 + 7*i**2 - i + 3. Let r be h(-7). Let f be (12/r)/((-9)/(-30)). Suppose o - f*o = -159. Is o a prime number?
True
Let f(b) = b**2 - 49*b - 46. Is f(-55) a prime number?
False
Suppose -2*i + 4*m = -166, -4*m + 269 + 76 = 5*i. Suppose 5*j - 1117 = i. Suppose 2*z - 4*z = -j. Is z a prime number?
False
Let o = 36511 - -5728. Is o a composite number?
False
Suppose -2*q + 6570 = 502. Let g = q + -1277. Is g a prime number?
False
Is 1094/(2/(-4)*(-24)/42) composite?
True
Suppose -10*m + 5*m + 5 = 0. Is (-10*72)/(-5) + m a prime number?
False
Suppose 42 = 8*m - m. Is 167/(-1)*(-11 + m) composite?
True
Is 6 - ((-4162)/4)/((-5)/(-130)) a prime number?
True
Let h = 522 + 34745. Is h composite?
False
Let c = 45 + -8. Let m be (20/(-16))/((-1)/12). Let o = c - m. Is o prime?
False
Let q(r) = -r**3 - 10*r**2 + 23*r - 2. Let l be q(-16). Let t = l - 664. Suppose 4*d - 4 = 0, 3*d - t = -z - 0*z. Is z prime?
True
Let i = -44715 - -65854. Is i a composite number?
False
Let m = 50704 + -23406. Is m composite?
True
Suppose -3*v + 3*k - 75 = 0, -3*v + 4*k - 40 = 34. Let c = 288 - v. Suppose -r = r - c. Is r a prime number?
True
Let d = -101 - -13596. Is d composite?
True
Suppose -270*a + 907 = -269*a. Is a a composite number?
False
Let n = 12 - 11. Suppose n = -5*y + 6. Is 187 - ((1 - y) + 0) a composite number?
True
Let r(l) = 74*l + 5 + 12*l - 11*l + 29*l. Is r(3) a prime number?
True
Let c be -1 + -1*(-5338 + 5). Let f = -3690 + c. Is f a composite number?
True
Suppose -28886 = -3*q - 17*x + 21*x, 0 = 2*q + 4*x - 19284. Is q a prime number?
False
Let m = 446 + 2261. Is m composite?
False
Let g(k) = -2*k**2 + 3*k - 1. Let b be g(1). Suppose -5*q + 3206 = 2*h - 3*h, 5*q + 4*h - 3201 = b. Is q prime?
True
Suppose 3*l + 14 = -5*v, -v = 2*l - 3*l + 6. Is (0 + -2)*(0 - (-762)/v) a prime number?
False
Let b(u) = u**3 + 6*u**2 - u + 5. Let g be b(-4). Let w(o) = 3*o**3 - o**2 + 4*o + 3. Let f be w(4). Suppose -2*h = -f + g. Is h a composite number?
True
Suppose -25 - 1 = -r. Let h be (-135832)/52 + 4/r. Let w = -1761 - h. Is w composite?
True
Let t be (4/5)/((-18)/(-45)). Suppose -3*a - 2737 = -2*v, -t*a = v + 4*v - 6795. Is v composite?
False
Let w = 36 - 19. Suppose -3*y + 5*t = -w, 2*t + 8 = y - 2*t. Suppose -3*r = -x + 194, -2*x + y*r = -4*x + 358. Is x a composite number?
True
Let x be (-1)/(-2) - 18/(-4). Let n = -69 - -74. Suppose x*o - 450 = n*j, -j - 358 = -4*o + j. Is o composite?
False
Suppose 5*x = 11710 + 935. Suppose 4*h = 8269 - x. Suppose r + z = 359, h = r + 3*r + 3*z. Is r composite?
True
Let j = 100 + -98. Suppose u - 2263 = j*r, 3*u + 5*r = 8*u - 11325. Is u a composite number?
False
Let h(t) = -t**2 + 5*t + 2. Let y be h(5). Suppose 4 + 2 = -2*p, 126 = y*f + 2*p. Let a = f + -19. Is a a composite number?
False
Is (-10)/45 + 142820/36 composite?
False
Let c = -17 - -11. Let w = 9 + c. Suppose -2*r + 0*j + w*j + 400 = 0, 3*r + 3*j = 615. Is r prime?
False
Suppose 5*v + 0*v + 1320 = 5*u, -5*u - 5*v = -1330. Is u composite?
True
Let x(w) = 24*w**2 - 14*w - 4. Let z(s) = 24*s**2 - 14*s - 4. Let r(m) = -6*x(m) + 5*z(m). Let y(k) be the first derivative of r(k). Is y(-5) a prime number?
False
Suppose 5*u - 22179 = -4*q, -11*q + 9*q = -2*u + 8886. Is u composite?
True
Let x(j) = 78*j**2 + 10*j + 9. Is x(-7) composite?
False
Suppose 25 = 2*m + 3*m, 2*m = 5*r. Let h be 8/44 - 48/22. Is (2 - -49) + h + r a composite number?
True
Suppose 2*p - i = 7*p - 10, 30 = 5*p + 5*i. Let d be 356/(3/(p - -2)). Let v = -213 + d. Is v composite?
True
Suppose 3*g + 3*p - 4944 = 0, 0 = 5*g - 0*g + p - 8244. Is g prime?
False
Let u = 4 - -3. Let x = u + -5. Suppose z = -x*z + 4*r + 275, 0 = 5*z + 5*r - 435. Is z a composite number?
False
Suppose -3*a + 0*p = 3*p - 72, 2*p - 102 = -4*a. Suppose 2*k - 11 = a. Is k prime?
True
Let s(q) = q - 3. Let z be s(5). Suppose 4*r - 5*p - 1624 = 0, -1249 = -3*r + z*p - 6*p. Let n = 742 - r. Is n a prime number?
True
Let v(o) = -79*o**3 - 12*o**2 - 17*o - 19. Is v(-5) prime?
False
Let y(u) = -97*u 