 = -3*m + 341. Is m a composite number?
True
Suppose -262*q - 416124 = -7623482. Is q a prime number?
True
Let r(w) = -4949*w + 2582. Is r(-13) a prime number?
True
Is 2*1 - (-20)/4 - 509550/(-5) composite?
False
Suppose 2*p = 2*m - 46, -p + 2*p = 3*m - 77. Suppose k + 4 + 3 = 2*v, -2*v + 5*k = -m. Suppose 4*r + 2*x - 3144 = 0, -7 - v = -4*x. Is r a prime number?
False
Let r(v) = v**2 + 5*v - 4. Let n be r(-4). Let o(l) = -3*l. Let h(g) = 257*g - 3. Let x(j) = -h(j) - 6*o(j). Is x(n) prime?
False
Let q(w) = -87*w**2 + 6*w + 7. Let y be q(4). Let n = 2356 + y. Is n a prime number?
False
Let l = -1 + 0. Suppose -2*y = -6*h + 2, -3*y = -8 + 2. Is 778/((0 - l) + h) a prime number?
True
Let i(n) = 595*n + 44. Let y be i(5). Suppose -3*h - q = 3*q - y, -2*h - 2*q + 2014 = 0. Is h a prime number?
True
Let t be (-75)/50 - (-6)/4. Suppose t = -5*m + 10, -11 + 3 = d - 4*m. Suppose d = 5*p - 4*k - 5490, -3*p + 2*p = -3*k - 1109. Is p composite?
True
Let t be (-17)/(-2) - 13/26 - 1. Is 24303 - (t + -7 + -2) composite?
True
Suppose -26*i + 54 = -17*i. Suppose 1 = -b, q - 4*b + 391 = i*q. Is q a composite number?
False
Let i(l) = 1086*l**2 - 22*l - 147. Is i(-10) a composite number?
True
Let l = -63 + 66. Let b be (-3)/(26/(-20) + l/(-15)). Suppose 3*y = -b*y + 3745. Is y a composite number?
True
Suppose -315 = 6*p - 873. Let l = p - 89. Suppose -3*g = -2*f + l*f - 2865, -4*f + 955 = g. Is g a prime number?
False
Let a = 33 - 25. Suppose a*n - 9*n = 28. Is (-40904)/n + (-1)/(-7) a prime number?
False
Let i be 6*((-11)/3 + 2). Is (-6702)/i*(-80)/(-48) composite?
False
Suppose w - 26 = -5*g, w - 4*g + 22 = 2*w. Let k(u) = 11*u**3 + 3*u**2 + u + 31. Is k(w) prime?
True
Let f = 172 + -302. Let r = f - -351. Is r a composite number?
True
Let v be ((-9)/(-18))/((-1)/8243)*-2. Is v + 1*(5 + 1) composite?
True
Is 57/(-12) - ((-228)/(-16))/(-19) - -130175 prime?
True
Let r = -125 - -132. Let b(o) = 81*o + 20. Is b(r) a prime number?
True
Suppose -v + 21 = -4*d + 3, -2*v = 4*d + 24. Let p be ((-3)/v)/((-72)/(-240)). Suppose p*b - 2885 = -330. Is b a composite number?
True
Suppose -2*o = -5*n - 46879, 3*n - 2*o + 3606 = -24523. Let u = 20658 + n. Is u a prime number?
False
Suppose 0 = 12*x + 405181 - 1564657. Is x a composite number?
True
Suppose -2*l + 0*l = l. Suppose 2*p - 4 = l, -3*w + 31525 = 2*p - 750. Is w composite?
True
Let v(f) be the third derivative of f**5/30 - 19*f**4/24 - f**3 + 9*f**2. Let w be v(10). Suppose 1738 = -3*s + 8*s + w*d, -4*s + 3*d + 1378 = 0. Is s prime?
False
Let n(o) be the third derivative of 0 + 0*o - 1/6*o**3 + 1/30*o**6 + 1/24*o**4 + 9*o**2 + 7/60*o**5. Is n(5) a prime number?
False
Let b = 181 + -181. Suppose -8*j + 5*j + 19155 = b. Is j prime?
False
Let u = -51178 - -177761. Is u prime?
True
Let c(g) = 17*g**2 + 2*g + 1. Let j be c(-1). Suppose 2*t - 2*t = -5*t - 9550. Is 4/j*-6*t/3 prime?
False
Suppose 4*q + 0*m + m = 18, m - 2 = 0. Suppose q*w + 14 + 106 = 0. Is (-766)/(-14) - w/105 prime?
False
Let p = 26125 - -5832. Is p a prime number?
True
Suppose 0 = -4*r - 53*r - 1334240 + 40574921. Is r prime?
True
Let w = 44 + -41. Suppose j - w = 3*s, 0 = j + 2*s + 10 + 2. Is 260 + j/(-3) - 3 a prime number?
False
Let n = -2722 + 8459. Is n a prime number?
True
Suppose -u - 162110 = -3*d, -27*d + 54033 = -26*d - 4*u. Is d composite?
False
Let h be 2 + (-89337)/(-15) - 27/(-135). Let w = h - -709. Is w a composite number?
True
Suppose -83 - 153 = -4*h. Suppose 12086 = -h*u + 61*u. Is u a prime number?
True
Suppose 5 = 7*w - 6*w. Suppose 3*z + 16 = -2*p + 2*z, -2*p - 16 = -w*z. Let a(h) = -105*h - 25. Is a(p) composite?
True
Let l be -17*10/(-4) + (-9)/6. Let q = -37 + l. Is (-1 + 6/q)*(173 - -33) composite?
False
Is ((-33)/55 - 0)/(3/(-1413565)) composite?
False
Suppose -8*c - 18 - 222 = 0. Is c/20 - 6077/(-2) composite?
False
Let y(w) = 146596*w - 323. Is y(1) prime?
True
Suppose 3*l - 53 = -5*d, -3*d + 28 = 2*l - 8. Suppose 20*x + 551 = l*x. Is x a prime number?
False
Is (-4977210)/(-140) + 1*(-3)/(7 + -1) prime?
False
Suppose -5*t + 2*m = -355789, -25247 = t - 5*m - 96414. Is t a composite number?
True
Let x(j) be the first derivative of -83*j**2/2 + 5*j + 18. Let u be x(6). Let b = u - -704. Is b prime?
True
Suppose -24 = 10*i - 16*i. Suppose -i*d + 4*z + 4 = 0, 3*d = 5*z - 5 + 2. Suppose d*k + 6469 = 4*c + k, -4*k = -5*c + 8085. Is c prime?
True
Let d(f) = -603*f**3 + 2*f**2 + 2*f - 31. Let p be (30/(-4) - -7)/((-1)/(-8)). Is d(p) a composite number?
True
Let w(l) = l**2 + 1. Let c(g) = 41*g**2 + 2*g - 10. Let p(t) = c(t) + 2*w(t). Is p(-9) prime?
True
Let z = 132136 - 60734. Suppose z = 3*h - v, -6*v = -4*h - 9*v + 95181. Is h a prime number?
False
Suppose -2*s + 3261 = -5*b, 306 = s + 3*b - 1297. Is s a composite number?
True
Let n(w) = -283*w + 25. Let h(u) = -1413*u + 123. Let x(l) = 2*h(l) - 11*n(l). Is x(14) a composite number?
False
Let w(i) = -i**3 + 5*i**2 - 41*i + 150. Let b be w(4). Let o(p) = -24*p**3 - p**2 + p - 2. Let g be o(-2). Suppose -g = -b*k + 54. Is k a prime number?
False
Let i = 47973 - 29979. Is (i/9)/((-6)/(-9)) a composite number?
False
Suppose -64 = -8*j - 8. Let x(i) = 244*i**2 + 14*i - 83. Is x(j) a composite number?
False
Let i(y) = 4*y**3 - 3*y**2 + 12*y - 66. Let o be 92/(-230) + 87/5. Is i(o) prime?
False
Let h(q) = -q**3 - q**2 - 5. Let n be h(0). Let k be (-52)/(-65) - ((-9802)/n)/(-2). Suppose k = 9*j - 360. Is j prime?
True
Suppose 4*w = 2*r + 17388, -3*w + 22146 = -4*r + 9105. Let f = -579 - 469. Let i = w + f. Is i composite?
False
Let c(h) = h**3 + h**2 - 21*h + 6. Suppose -4*y + 5*t = 6*t - 147, -2*t = -3*y + 102. Suppose 62 - y = 2*g. Is c(g) a composite number?
False
Suppose -1512 = -3*o + 402. Suppose -5*g + 3*u = -6039, 8*g - 3*g - 6047 = -u. Let p = g - o. Is p a composite number?
False
Suppose 9*x + 10076018 = 44*x + 51*x. Is x a prime number?
True
Let r be -4*(22/8 - 1) - (-7 - 115). Let y(d) = 162*d + 2. Let o be y(3). Let q = o - r. Is q a composite number?
False
Let n(d) = 2*d**2 - 5*d - 2. Let i be n(-2). Suppose -12*z + i*z = 144. Suppose -38*t + 134 = -z*t. Is t a prime number?
True
Suppose r + 3*f = -2*r + 57, 5*r + 3*f = 105. Suppose -69 + 23 = -4*d + 3*t, -2*d + r = -2*t. Is ((-34)/(-4))/(d/460) a prime number?
False
Suppose -3 = 3*d - i, -5*d - 3 = 7*i - 8*i. Suppose d*u - 2*f = -2*u + 13550, -f = 4*u - 27090. Is u a prime number?
False
Let w = -28 + 47. Suppose w = 2*o + 25. Is (0 - 831)/(o + 2) prime?
False
Suppose 781510 = 139*k - 77*k. Is k prime?
False
Let s(n) = -4254*n + 373. Is s(-5) composite?
True
Suppose -5*i + 221 = -2*m - m, 2*i + 338 = -4*m. Let h be (-4 - -6) + (m - 2). Let c = h + 223. Is c composite?
True
Suppose 29*q - 11*q - 131256 = 0. Suppose 36*j - q = 32*j. Is j a composite number?
False
Suppose -12*w = 7*w - 124374. Suppose 0 = -y + 5*v + 3257, 76*y - 78*y = -2*v - w. Is y a prime number?
False
Suppose 6*q + 3250213 = -0*q + 23*q. Is q a composite number?
False
Let v be (-15)/10 - ((-16858)/(-4) - 1). Let w = -2416 - v. Is w composite?
True
Suppose 60203 + 86667 + 106033 = 3*t. Is t a prime number?
False
Let d(k) = 368*k - 3081. Is d(63) prime?
False
Suppose -3110048 = -1651*p + 1619*p. Is p a composite number?
True
Is (-6 + 7)*(-226146)/((-48)/8) composite?
False
Suppose -16*t + 21*t - 35 = 0. Suppose 6*j - t*j = -2833. Is j a composite number?
False
Let z = -168 - 246. Let p = z + 273. Is (p/9)/((-3)/27) composite?
True
Let s = 26030 + -14511. Is s composite?
False
Let x(g) = 12*g**2 + 6*g - 31. Let l be x(-14). Is (-2)/(-4)*(l - -9) a prime number?
True
Suppose v - 18 - 40 = 4*n, -76 = -2*v - 2*n. Let c = v - 42. Let g = 141 + c. Is g composite?
True
Let k(x) = 599*x**3 + 9*x**2 + 21*x - 41. Is k(8) a composite number?
True
Let u(m) = 11662*m + 117. Let k be u(3). Let j = k - 24824. Is j a composite number?
True
Let j(d) = 8*d**2 + 12*d - 79. Suppose 5*z - 43 = 37. Is j(z) prime?
True
Suppose -5*g + 5*l = -35, 3*g + g + 5*l = -8. Suppose g*i - 382 - 263 = 0. Suppose -2*h = i - 717. Is h prime?
True
Let q(l) = 209*l**2 - 41*l + 304. Is q(15) a composite number?
True
Let r(p) = p**3 - 29*p**2 + 81*p + 170. Is r(71) prime?
True
Let i be 14/6 + (-44)/(-12) + -2. Suppose -19037 = -2*h - q, 12689 + 6333 = 2*h - i*q. Is h a prime number?
False
Let r 