 36*l + 17. Let v be x(-14). Is v/(-4) - (-1)/(-2) - -495 a composite number?
True
Suppose -5*f + 4*w = -f, -4*f - 5*w - 27 = 0. Let t be 0/(f + -2 + 4). Suppose -v - 1190 = -3*m, m + 2*v - 462 + 77 = t. Is m composite?
True
Let v(w) be the second derivative of 5*w**4/2 + 14*w**3/3 - 17*w**2/2 + w - 5. Is v(8) a prime number?
False
Let t(k) = 13*k + 91. Let h(s) = 38*s + 271. Let a(f) = 4*h(f) - 11*t(f). Is a(0) a prime number?
True
Suppose -r + 6*r + 3*b = 12, r + 2 = -5*b. Suppose -m - r = 5. Is ((-2008)/(-16))/((-4)/m) prime?
True
Suppose -2884307 = -17*r + 334733 + 633177. Is r prime?
True
Suppose 10*u + g = 15*u - 90603, 2*u = g + 36246. Is u a composite number?
False
Suppose 4*w - 6*z = -4*z - 33156, 5*w + 2*z + 41463 = 0. Let p = w - -15096. Is p composite?
True
Let h(w) = 2120*w + 243. Let v be h(-13). Let j = 55686 + v. Is j composite?
True
Let l(v) = 333*v - 75. Let c(o) = 166*o - 37. Let m(b) = 5*c(b) - 3*l(b). Let u be m(-5). Let q = u + -436. Is q a composite number?
False
Let d(r) = 4*r**3 + 16*r**2 - 55*r + 1090. Is d(19) a composite number?
True
Let f = 457786 - 114857. Is f a prime number?
True
Suppose -w - 4*z = -263509, 20*z - 15*z - 1317560 = -5*w. Is w composite?
False
Suppose 0 = 3*d - 18 - 15. Suppose 3*f = d - 5. Suppose 3*i + f*s = 879, 0 = -4*i - 4*s + 475 + 693. Is i a composite number?
True
Let i be 20 + (-5*4)/4. Let l = -7 + i. Is (-5 + 9)*382/l a composite number?
False
Suppose 6*o = 2*o + 3*s - 11813, 2948 = -o - s. Let f = -1984 - o. Is f a prime number?
True
Let i = -56250 + 224659. Is i a composite number?
False
Let s(h) = 34*h + 129. Let j be s(-3). Suppose 33*d = j*d + 46506. Is d prime?
False
Let t(y) be the first derivative of 3*y**4/4 - 28*y**3/3 + 4*y**2 + 13*y - 17. Let f be t(9). Is (0 - f) + 9261/3 composite?
False
Is 97720 + (-23 - 154/(-11)) a composite number?
False
Let v(u) = -19514*u - 155. Is v(-23) composite?
False
Suppose 0 = -5*r + 3*r - u + 5, -2*r + 5*u + 35 = 0. Suppose 0 = 2*f - r*w - 17401, -f + 7047 = 5*w - 1691. Is f composite?
False
Let u = 10 + -14. Let g be 2/8 - 11/u. Suppose 0 = 5*m - y + g*y - 287, 3*m - 4*y = 193. Is m composite?
False
Suppose c - 11432 = 9*c. Let b = 2828 + c. Is b a composite number?
False
Let h = -560 + 1043. Let n be (-2)/4 + 2 + h/(-46). Is ((-6)/(-4))/(5/((-930)/n)) a prime number?
True
Suppose -2*r + 3*p = 2*r - 222, 2*r + 2*p - 118 = 0. Suppose -51*q + r*q - 27678 = 0. Is q composite?
True
Let i(d) = 129105*d + 5144. Is i(3) composite?
True
Let u(k) = -k + 9. Let t be u(7). Suppose d + 12*s - 8*s = 3120, 0 = -3*d + 5*s + 9445. Suppose -4*r - c + 2521 = 0, -7*r - 5*c = -t*r - d. Is r prime?
True
Let k be 3*(28/(-6) + 4). Let n be 3/k*530/(-15). Let c = n + 194. Is c prime?
False
Let k = 529481 + -258610. Is k composite?
True
Let n(c) = -7*c + 126. Let x be n(18). Suppose 5*l - 17648 = -4*t, x = 3*t + l - 8799 - 4448. Is t prime?
False
Let o = 166798 + 163749. Is o prime?
False
Let l(a) = a**3 + 14*a**2 + 27*a - 23. Let h be l(-11). Let o = 1992 - h. Is o composite?
False
Let u be 1804042/28 - (-1)/(-14). Suppose w - u = -2*j + 4*w, -3*j + 2*w + 96655 = 0. Is j composite?
True
Let u be (82 - 6) + 1*-3. Suppose -3*z + u = -2*g, 0*g - 4*z - 240 = 5*g. Is g/(-11)*(-5722)/(-8) a prime number?
True
Let u(x) = 8*x**3 - 50*x**2 + 5*x + 1796. Is u(31) composite?
False
Let b(c) = 23*c**2 + 5*c - 49*c**2 - 2 + 24*c**2 - 82*c**3. Let p be b(4). Is (2/(-4))/(1/p) a prime number?
False
Suppose -4*s = 3*i - 260741, 539*i = 542*i + 5*s - 260740. Is i composite?
True
Let v = -2234 + 5271. Is v composite?
False
Let q = -294 + 299. Suppose 4*b + 3 = -q, -2*p - 3*b + 7972 = 0. Is p composite?
False
Suppose -1066*i = -1227*i + 200989663. Is i composite?
False
Let w(f) = -2*f**3 - 34*f**2 - 85*f - 161. Is w(-36) a prime number?
True
Suppose -6*t + 10 = -t. Suppose l = -u + t, l - 6*l = 3*u - 4. Is (394 - 15)/(l - 2/(-1)) a composite number?
False
Let u(m) = -1901*m - 9. Let h be u(3). Let t = 4059 + h. Is (-4)/(-10) - t*(-4)/(-20) composite?
False
Let w(x) = -4*x**2 + 1484 - 1469 - 2*x - 11*x + x**3. Let t be 2*1*(-26)/(-4). Is w(t) a composite number?
False
Let c(v) = -19 - 15 - 3*v + 55. Let h be c(-8). Is ((-2)/(-6))/(1/h) a composite number?
True
Suppose -890968 = -4*q - 4*g, -21*q + 3*g = -18*q - 668268. Is q composite?
True
Suppose -5*a + 49 = 5*g - 11, 2*g - 5*a = -11. Is (g - (-65)/(-10))*15590 a composite number?
True
Suppose 77*o - 36 = 80*o. Let d(h) = -8*h**3 + 13*h**2 + 15*h + 13. Is d(o) prime?
False
Let u be 708/96 - 6/16. Suppose -3*x = -2*h + 329, -2*h + u*h = -x + 780. Is h composite?
False
Let g(c) = -c**3 - 20*c**2 + 4*c + 82. Let l be g(-20). Suppose 0 = -3*s + 7872 - 39. Suppose -s = -a + 5*o, -3*a - l*o = -4403 - 3430. Is a prime?
False
Let r(p) = 5739*p**3 - 10*p**2 + 9*p - 3. Is r(2) a composite number?
False
Let c = 16 + -64. Let u = c + 53. Suppose 42110 = 5*n - 0*z - 3*z, z + u = 0. Is n prime?
True
Is 38975 + (-77)/66*-12 a prime number?
False
Suppose 4*k - 82878 + 15022 = 0. Let h = 26419 + -18712. Let c = k - h. Is c composite?
False
Suppose 121066 - 954424 = -6*l. Is l a composite number?
False
Suppose 2*m + 4 = 0, 0 = 6*z - 2*z - 4*m - 20. Suppose -6*h - 4*g = -2*h + 4, h - z*g = -5. Is h/(-7)*-1 + (-4899)/(-21) prime?
True
Let d(l) = 18469*l**2 + 80*l - 242. Is d(3) a composite number?
False
Suppose 0 = 3*u - 2*u - 5*o - 18, -27 = u + 4*o. Let t(y) = 97*y + 17. Let z be t(u). Is 1/((-2)/z - 0) prime?
True
Let k = 15524 - 4733. Suppose 2*h - g - k = -3*h, h - 2147 = 3*g. Is h prime?
False
Let k = 3361523 + -2198242. Is k a composite number?
True
Suppose 0 = 2*v + 7880 - 106919 + 9357. Is v a composite number?
True
Suppose -113*q + 51808099 = -21736934. Is q prime?
False
Let a(o) = -o**3 + o + 38*o**2 - 39*o**2 + 1 + 1. Let k be a(-6). Suppose 4*u = k + 36. Is u a composite number?
False
Is 6 - -13144 - (-9 + -1 + 1) a prime number?
True
Let s = -330767 + 735708. Is s prime?
True
Suppose 0 = -16*u + 17*u + 4*g - 231489, 0 = -4*u - 2*g + 925970. Is u prime?
True
Suppose -96480 = -8*t + 40*t. Let p = t - -9856. Is p composite?
False
Let b = -196 + 200. Suppose -b*v + y = -3*y - 25320, 3*v - 2*y = 18986. Is v composite?
True
Let x = 89 + -78. Is (2 + 43911)*x/11 a composite number?
False
Suppose -8*b - 66*b = -563954. Is b a prime number?
True
Suppose -4*m - q = -2*q + 180, 0 = 5*q. Let y be 3/2*(-120)/m. Suppose -4*j + s = -s - 54, -y*s - 9 = j. Is j prime?
True
Let j = 94 + -69. Is (55/j - 2) + 8056/20 a composite number?
True
Let w(v) be the third derivative of -9/2*v**3 - 5/2*v**4 + 3*v**2 + 0*v + 0. Is w(-13) prime?
False
Suppose 29*i = 26*i + 6. Suppose l + 231 = -i*j + 1866, l - 4083 = -5*j. Let r = 1679 - j. Is r a composite number?
False
Suppose 0 = 2*p - 5*j - 645579, 1291249 = 4*p - 52*j + 55*j. Is p a prime number?
True
Let o(x) = -x**3 - 2*x - 1. Let n(s) = -191*s**3 + s**2 + 13*s + 15. Let m(i) = n(i) + 2*o(i). Is m(-2) a prime number?
True
Let u = 52 - 49. Let k be (-4 - (u - 7))*-1. Suppose 10*q - 2187 - 2243 = k. Is q a prime number?
True
Let y be 0 + (0 + -2)/2 - 2. Let v be (-9)/(y/(-2)*(-2)/2). Is (155 - v)*(-1)/((-1)/1) composite?
False
Let c(h) = 11*h**3 - 4*h**2 - 4*h - 13. Let s be c(5). Let r = -728 + s. Is (r/(80/(-28) - -3))/2 a composite number?
True
Let x = -270 - -417. Suppose t - 3 + x = 0. Let d = 590 + t. Is d a composite number?
True
Let n be (-1)/18*-4 + (-41145)/(-135). Suppose j = u - j - n, 1514 = 5*u + j. Is u a prime number?
False
Let t(y) = y**2 - 8*y + 9. Let k be t(7). Let a be k*3/2 - 0/3. Suppose 108 = a*p - 51. Is p a prime number?
True
Let k = 91 + -91. Let y be (1031 - (-2 - -1)) + k. Suppose 2*v - 638 = y. Is v a prime number?
False
Is ((-5)/2 - 11/(-6))*3103683/(-22) a prime number?
False
Let g(m) = -22*m**3 + 19*m**2 + 53*m + 99. Is g(-20) a composite number?
False
Let f(b) be the second derivative of b**3/2 + 91*b**2/2 + 6*b + 4. Is f(-3) composite?
True
Let g = -44126 + 121327. Is g composite?
False
Suppose -5*z - 5*u = -662040, u + 395437 = 2*z + 130606. Is z composite?
True
Suppose 3*k - 5*g = 15, 3*k = -0*k - 4*g - 12. Let q(r) = 133*r**2 - 11*r + 8. Let p be q(1). Is -1 + p + k/(-7) a composite number?
True
Let a = 250648 + -130159. Is a prime?
False
Suppose -11*a = -2*a - 108. Suppose 