 = 3*i - b - j + 3278. Is i composite?
True
Let w(r) = 4*r**2 + 99*r + 23. Let o be w(29). Suppose -o = 48*y - 54*y. Is y composite?
True
Let v(t) = t**2 - 23*t + 28. Let c be v(22). Suppose -9*z + 27015 = c*z. Is z prime?
True
Is (5085/(-60))/((-6)/16304)*(-10)/(-20) a prime number?
False
Let x(s) = -3*s + 7. Let t be (-2 - (-27)/6)*(-24)/30. Let m be x(t). Is (m/(-2))/(16/(-6752)) prime?
False
Suppose 0 = 58*z - 63*z. Suppose z = -18*h + 1510 - 88. Is h a composite number?
False
Is (-4)/(-12) - (1 + 4870172/(-12)) prime?
False
Let b(l) = 115*l - 1906. Is b(103) a composite number?
True
Suppose -2*o = -2*z + 3*z - 1198, 0 = 2*z + o - 2411. Suppose -5*h + 2*s = -4889, -z = -h - 2*s - 223. Is h composite?
True
Let m(j) = 3*j**3 - j**2 + 7*j - 1. Let l be m(-3). Let y = 118 + l. Suppose -y*s + s = -3*t - 380, 2*s - 178 = -4*t. Is s a composite number?
False
Let v(h) be the first derivative of -121*h**3 - 3*h**2/2 + 15*h + 14. Let q(b) = -b**2 - b. Let s(d) = 6*q(d) - v(d). Is s(-3) prime?
False
Suppose -5*u - 44 = -39, -2*v + 2125621 = u. Is v a composite number?
True
Suppose 3*c = -11*c + 267470. Suppose 0 = -5*l - 4470 + c. Is l prime?
True
Suppose -p + 30 = -2. Suppose -q + p = 7*q. Suppose -q*b - b + 311 = 2*w, 15 = 3*b. Is w a prime number?
False
Suppose 19*q - 14*q = 25. Suppose q*v + 5 = -0*v. Is (-1 - -1*415) + v a prime number?
False
Let g be (-8 + 0)*1/(16/(-6)). Suppose -g*i = 15, 4*i + 7742 + 12975 = 3*x. Is x a prime number?
True
Let u = -498 - -497. Let k = 0 - -3. Is 2088/27 + u/k a composite number?
True
Let a = 2469 - 1415. Suppose 5*b = a + 211. Is b prime?
False
Suppose 0 = 153*g - 155*g - 3*r + 3029461, 2*r = 5*g - 7573624. Is g composite?
True
Let a(l) = 798*l**2 + 5*l + 1. Suppose -8*o = 10 - 26. Is a(o) prime?
True
Let b = -552436 - -971782. Suppose 12*a + b = 30*a. Is a a prime number?
True
Let s be 1*-1 - (-20 - -5). Suppose d + 8 = -4*o, 5*d + s = 2*d - 2*o. Is d/(-6) + 991/3 composite?
False
Suppose -9194127 + 1062696 = -77*v. Is v a prime number?
False
Is 0 - (11351958/(-34) + (-150)/(-1275)) composite?
True
Suppose 8*w - 6*w + 4*j = 743620, 0 = 5*w - 5*j - 1859125. Suppose -19*g - g = -w. Is g a prime number?
False
Suppose -3*c + 164 + 304 = 0. Let y(x) = 3*x - 23. Let m be y(12). Let z = c - m. Is z a prime number?
False
Let c = 265711 + -117050. Is c a composite number?
True
Let u(a) = -a**2 - 19*a - 76. Let c be u(-8). Suppose 15*h - 2163 = c*h. Is h composite?
True
Let r = 330104 - 92773. Is r a prime number?
True
Suppose 8*j + 14*j = 66. Suppose -3*u = j*f + u - 4091, -6799 = -5*f + 3*u. Is f a prime number?
True
Let d be (-26564)/(-18) + 1 + (-49)/63. Let x be (d + 2)*(-3)/(-6). Suppose 0 = 5*c + i - 3*i - x, -4*i + 459 = 3*c. Is c composite?
False
Let d(z) = 2*z**3 - 3*z**2 + 5. Let l be d(2). Let p be ((-21)/l)/((-3)/63). Is -2 + (-4542)/(-21) + (-14)/p a prime number?
False
Let u = 10 - 25. Is 1585 + 0 + 8 + u + 7 composite?
True
Let n = -18 - -14. Let r = 0 - n. Suppose r*m - 3*m = v + 957, -4*v = -3*m + 2869. Is m composite?
True
Suppose -3*h = -u + 16, -12 = 5*u + 2*h - 109. Suppose -u*g = -16*g - 5079. Is g a composite number?
False
Let h = -38 + 45. Suppose 4*l = 2*m - 10, 5*l = h*m - 2*m - 25. Suppose -c - z + 99 = -28, -c - 2*z + 127 = l. Is c prime?
True
Let o(b) = -6*b - 35. Let k be o(9). Let q = -83 - k. Suppose 0 = 2*v - q, -5*c - 4*v + 1888 + 359 = 0. Is c composite?
True
Let u(r) = 2154*r**2 - 8*r - 9. Let q be -2*3/(-12)*-2. Is u(q) prime?
True
Is 1/((-98)/(-1274) - 294656/3830866) prime?
True
Let f = -882180 + 1260307. Is f a prime number?
True
Suppose 6*q = 8*q + 4, 5*g + 3*q = -1641. Let d = 826 + g. Is d a prime number?
True
Suppose 163*z = 88764566 + 58006176. Is z prime?
False
Let z be 40/3*(-138)/(-115). Is (-4)/((-192)/18) + 490/z composite?
False
Let d = 252482 - 28915. Is d a prime number?
False
Let x(d) = -218*d**2 + 9*d + 28. Let m be x(-6). Let p = 16957 + m. Is p a prime number?
False
Suppose -5*d = -3*g + 120627, 0 = -3*g + 16*d - 15*d + 120651. Is g prime?
False
Let o = 121 - 116. Suppose 0 = w - 0*w, -2*w - 10 = -o*s. Is (-6 - -569)*s/2 a composite number?
False
Is ((-13)/(-39))/(-2 + -21616934*3/(-32425398)) a composite number?
False
Let w be 63/(-4) + 6/96*-4. Let x(i) = 2*i**2 - 61*i + 75. Is x(w) prime?
False
Suppose -a + 106 = 4*r, 338 = 4*a - a + 2*r. Let w = -105 + a. Suppose -4852 = -w*b + 5*b. Is b composite?
False
Is 6/(-1)*(-396162)/1404 composite?
False
Is ((-138384)/(-3) - (4 + (6 - 10))) + 5 a prime number?
True
Let m be (160/90)/(-8) + 308444/(-18). Let r = 27173 + m. Is r prime?
True
Let s = 284853 + -168614. Is s a prime number?
True
Suppose -5*c - 4 = 1, -3*c - 1 = -2*g. Let o be (579 - 11) + (g - 4). Is o + -7 - (2 - 0/2) prime?
False
Suppose -2*a = 3*g - 11, -g + 6*g - 3*a = 12. Is 15556/10*(1/(-2) + g) a composite number?
False
Let g = 98 + -84. Suppose -g*u + 5*u = -54. Suppose -u*n + 2*n = -4*z + 216, -4*z - n + 221 = 0. Is z a prime number?
False
Let u be 165795/49 - (-9)/21. Suppose 5*q - f - u = 0, 0 = 4*q - 6*q + 3*f + 1351. Is q a prime number?
True
Let q(o) = 676*o**2 - 6*o - 4. Let s be q(-2). Suppose -8*g + s + 18432 = 0. Is g a composite number?
True
Let l(f) = 930*f**2 - 28*f - 21. Is l(-4) prime?
False
Let s(j) = 12551*j**2 + 81*j - 369. Is s(4) prime?
True
Suppose -84451 = 3*y - 44*u + 40*u, 0 = 2*y - 3*u + 56301. Let k = y + 40588. Is k a prime number?
False
Let z = 1354 + 3531. Is z prime?
False
Let d(h) = 2*h**2 - 62*h - 138. Let m be d(33). Let z(a) = -18*a - 9. Let g(p) = -91*p - 45. Let u(v) = -2*g(v) + 11*z(v). Is u(m) prime?
False
Let l(c) = 123*c + 7. Let g be l(-5). Suppose -v - 199 - 122 = 0. Let i = v - g. Is i composite?
True
Let j(x) be the second derivative of -x**3/2 + 11*x**2/2 + 2*x - 1. Suppose 6*o - 2*o = -4*a - 16, a = o + 4. Is j(o) a prime number?
True
Let w be 2/(-7 - -13 - 5). Is (w - -5 - 7) + 529 a prime number?
False
Let c(u) = 7*u**3 - u**2 - 24*u + 47. Let r be c(2). Suppose 56*n - 19295 = r*n. Is n a prime number?
False
Suppose 3*u = -5*z + 189, -21*u = z - 18*u - 45. Is (20 - -1)*156/z prime?
False
Suppose 65*o - 16*o = -501368. Let m = o - -15359. Is m a composite number?
True
Let o(c) = 3*c**2 - 19*c + 8. Let q be o(20). Suppose 6*s - q = -66. Is s prime?
True
Let f(l) = 1134*l + 37. Let d be f(-27). Let k = d - -56418. Is k prime?
False
Let p(l) = l**3 + 46*l**2 + 22*l + 24. Is p(-45) a composite number?
True
Suppose 0 = -1156*p + 1219*p - 7254513. Is p a prime number?
True
Is ((-6687889)/(-13))/1*1 a prime number?
True
Let p be (-1281040)/(-35) - (1 - 12/14). Let u = p + -25134. Is u a composite number?
False
Suppose 1247 = f + 4*d, 0*f + 2503 = 2*f + 5*d. Is f composite?
False
Suppose 0 = -4*i + d + 166, 0 = 2*i + d + 2*d - 90. Is 104010/i + -4*3/(-21) a composite number?
False
Let u = 63711 + 445708. Is u prime?
False
Let d(k) = -k**3 + 4*k**2 + 56*k + 179. Is d(-24) composite?
True
Suppose -4*k + 70842 = -2*c + 3504, 0 = -k - c + 16833. Suppose -2*p - 5*g = -k - 14635, 0 = p - 4*g - 15715. Is p a prime number?
True
Let w(s) = 2785*s**2 + 56*s - 96. Is w(-13) a composite number?
False
Let f = -590 + 685. Is f/57 - 98156/(-6) a composite number?
False
Let g(a) = 11879*a + 5007. Is g(104) prime?
True
Suppose -130*x + 244*x + 297003 = 135*x. Is x a prime number?
True
Let g = -501410 - -773023. Is g composite?
True
Is -52 - -52 - (0 + 2 + -354530 + -1) composite?
True
Suppose -115*l = -131*l + 1947664. Is l composite?
True
Let g be -60*(4 + -7)/9. Suppose -z - 5*t - 8 = 0, -4*t - g = -5*z + t. Let i = 203 - z. Is i a prime number?
False
Suppose -240 + 79 = -7*w. Suppose 9*i - w*i + 4130 = 0. Is i prime?
False
Let o be (49 + 1)*(-252)/(-140). Suppose -o*k = -85*k - 20525. Is k prime?
False
Let y be 5/(-210)*-222 - (-4)/(-14). Suppose 5*w - 3310 = 3*w. Suppose -3011 = -4*n + y*p + w, 0 = 5*n - 2*p - 5841. Is n a prime number?
False
Suppose 2*u + 2*u = -2*t - 128, -2*u = 2*t + 130. Let c = t + 64. Is 2320 + (c - -1)/(-1) prime?
False
Suppose 154 = -n + 12*n. Suppose 10 = n*t - 19*t. Is 4/t*(-1099)/14 a composite number?
False
Suppose -88*j + 87*j = 2*s - 100286, 5*s - 3*j = 250748. Is s a composite number?
True
Let b(u) = 548*u**3 + u**2 - 1. Let g be b(1). Let o = g - -575. Is o a prime number?
True
Let y(