5*s + 775 = -2*z. Suppose -s = -5*y + 6138. Is y a prime number?
True
Let n be (6 - 3) + 2 + 0. Suppose n*s + 18396 = 4*o, -4*s + 3*o = o + 14712. Is (-9)/(-21) + s/(-14) a composite number?
False
Suppose -3 = -5*v + 7. Suppose -5*c + 5490 = -7*d + 2*d, 0 = v*c + 4*d - 2208. Suppose 4*y - k = 2342, -5*y - 2*k + 1834 = -c. Is y composite?
True
Let a(g) = g**3 - 5*g**2 + g. Let w be a(5). Suppose -4*v = w*u - 27513, 3*u - v - 10308 = 6193. Is u a composite number?
False
Let f be (4/(-5))/(58/15 - 4). Is ((-3)/f)/((-4)/2608) a prime number?
False
Let x = 160205 - 25506. Is x composite?
False
Let t = -8 + 8. Let f(p) = 2*p**3 - 9*p**2 + 4*p + 29. Let m(h) = h**3 - 4*h**2 + 2*h + 15. Let n(k) = -6*f(k) + 13*m(k). Is n(t) prime?
False
Suppose 3*u = -37*m + 42*m - 2109211, 0 = 2*u - 16. Is m a composite number?
False
Let r(u) = 13*u - 122. Let v be r(9). Let n(q) = -2*q**3 + 4*q**2 + 3*q + 6. Is n(v) a composite number?
True
Suppose 0 = -3*w - 2*o + 78933, 4*w - 14*o - 105227 = -11*o. Is w composite?
False
Let h be 3*32/8 + 5. Suppose -h*t - 3*m = -19*t + 11221, t - 5606 = 3*m. Is t composite?
True
Let h(n) = 55279*n**2 - 671*n - 2021. Is h(-3) prime?
False
Let l = 2056 - 169. Let p = l - 670. Is p a prime number?
True
Suppose 1318 = 5*h - 367. Suppose 0*l - 5*g + 4365 = 4*l, -3*g - 5484 = -5*l. Let o = l - h. Is o composite?
True
Let z = 272 - 284. Is 13757 + (-18)/z*8/(-3) prime?
False
Let q(p) = p**3 - 2*p**2 + 2. Let g be q(2). Suppose -356 = -g*u + 308. Let n = u - 129. Is n a prime number?
False
Let d = 36 + 821. Let m = d + 1082. Is m a prime number?
False
Let i = 24487 - -770. Is i a prime number?
False
Let o(l) = -l**3 + 16*l**2 + 3*l + 5. Let j be o(7). Suppose 3*n + 5*a = 2186, 2*n + a - 1936 = -j. Let x = 1230 - n. Is x a composite number?
True
Let n(d) = 20*d**2 - 24*d + 93. Let x be n(-21). Let p = 344 + x. Is p composite?
True
Let m = 74072 - -35682. Is m composite?
True
Suppose -4*p = -a - 0*p + 15, 4*a + 3 = -5*p. Let h be (-96)/6*a*2/(-8). Is (1317/h + -5)*(5 - 1) a prime number?
True
Suppose 4*v - 5*l + 0 = -5, 0 = -4*v - 4*l + 4. Is (6510/(-30))/(v + -1) a prime number?
False
Suppose -3*k - 4520 = -23876. Let b = 11068 - 7449. Let h = k - b. Is h a prime number?
True
Let v(f) be the first derivative of -f**4/4 - 14*f**3/3 - 25*f**2/2 + 11*f - 3. Let m(k) = -19*k + 61. Let r be m(4). Is v(r) prime?
False
Let g = 31747 + -22229. Suppose 37576 = 5*q - m - 10084, -q + 3*m + g = 0. Is q prime?
True
Suppose 5296 + 6052644 = 20*q. Is q a composite number?
True
Suppose 4*k + 4 + 1 = 3*a, 0 = 3*k + 5*a - 18. Suppose -144 + 44 = -50*v. Is v + (3 + k)*8004/48 a prime number?
False
Is -4 - -2*468/8*373 a prime number?
False
Suppose -70*b + 162228 = -58*b. Suppose 2*v = 5*r - b - 10782, 14589 = 3*r + 3*v. Is r prime?
True
Suppose 7*l - 176541 = -69665. Suppose 315*r = 319*r - l. Is r prime?
False
Let v(w) be the second derivative of 192*w**5/5 - w**4/6 + 11*w**3/6 - 19*w**2/2 - 2*w - 57. Is v(2) composite?
True
Suppose n - a = 37191, -2*a - 223130 = -10*n + 4*n. Is n composite?
True
Let j(g) = -g**3 + 3*g**2 + g - 2. Let t be j(3). Let r(f) be the first derivative of 227*f**2/2 - 4*f - 1670. Is r(t) composite?
False
Suppose 27*w - 231*w = -3293172. Is w prime?
False
Let i = -58 + 58. Suppose 3*c - b + 2*b - 23911 = i, -4*c + 31890 = -3*b. Suppose 0 = -g - 2*g + c. Is g composite?
False
Suppose 2*r - 2*l - 85300 = 0, -5*r - l = -13*l - 213257. Is r a composite number?
False
Suppose 2*q + p = 495161, -10*q + 14*q - 10*p - 990286 = 0. Is q prime?
True
Suppose 3*z + 3 = -5*p, -10*z - 3*p + 3 = -7*z. Suppose z*o - 2268 = 4*g, 4*o = -5*g + 2371 - 121. Is o prime?
False
Let v = 11 - -20. Let m = v + 187. Suppose 0 = 5*r - m - 217. Is r a prime number?
False
Suppose -3*y + 2*j = -74, 2*j - 64 = -3*y + 30. Suppose -7887 = -y*h + 25*h. Is h a composite number?
True
Suppose -25*c + 16846852 = -c + 20*c. Is c a prime number?
True
Suppose -49*b = 108*b + 34*b - 91026589. Is b a prime number?
True
Let y(n) = -159*n + 1. Let x(h) = h**3 - 8*h**2 - 11*h + 12. Let z be x(9). Let l be y(z). Let o = -476 + l. Is o a composite number?
False
Let v = 134147 - 36828. Is v composite?
True
Suppose t + 38734 = 4*w, 2*t + 62747 + 14730 = 5*w. Is t/(-4)*(-102)/(-51) a composite number?
False
Let a(u) be the third derivative of u**6/120 + 3*u**5/20 + 5*u**4/24 - 8*u**3/3 - 19*u**2. Let l be a(-8). Is (-212)/6*(-1 + (-52)/l) a composite number?
True
Let d(m) = -17*m - 122. Let w be d(-7). Is (-256565)/(-46) + w/(-2) prime?
False
Suppose -5*i = -2*y - 14, i - 2 = y + 2. Let d be (2767/i - 2) + 3/(-2). Suppose 5*m + 5*p - 1505 = 0, -4*m - 167 = -5*p - d. Is m composite?
True
Suppose 4*q - 2*r = -3*r - 775, -5*q - 2*r - 971 = 0. Let j = -123 - q. Let s = 87 + j. Is s prime?
True
Let u = -3 - -1. Let w be (4*u*-1)/(-1). Is (-1230)/w + (-9)/12 + 2 a prime number?
False
Suppose -88*r + 91*r = -4*k + 2172012, 0 = 7*k + 4*r - 3801021. Is k a prime number?
False
Is (7 + 21060/8)/(13/78) composite?
True
Let s be (3 + -2)*(2 - -2). Suppose -3*i - 1491 = -s*i. Suppose -b = 2*z - i, -4*z + 10 = -2*z. Is b composite?
False
Suppose 16*a + 14 = 62. Suppose 0 = 4*o + o + a*v - 18264, -15 = -5*v. Is o a composite number?
True
Suppose 0 = -5*b + 20, j + 2*b - 10 = 10. Let l(v) = 3*v - 33. Let z be l(11). Suppose 0 = -f + 2*s + 551, -2*s + 2 - j = z. Is f prime?
True
Is 14206/(((-792)/90)/(-22)) a prime number?
False
Let h(b) = 5*b - 1. Let w(n) = 467*n + 224. Let f(x) = -6*h(x) - w(x). Is f(-7) a composite number?
True
Let g = -60 - -62. Let h = -3 - g. Is 128 + h + 3 + 1 a prime number?
True
Let r(s) = 2627*s - 44. Let j be r(9). Is (j/4)/(21/4 - 5) a composite number?
False
Suppose 18*o - 16*o + 4*v - 660990 = 0, 5*o = 4*v + 1652391. Is o a prime number?
False
Let d = 5234 + -3133. Is d a prime number?
False
Let u = 822706 - -575551. Is u composite?
True
Suppose g + 22 = -g + 4*z, 0 = -2*z. Let a(m) = -255*m + 22. Is a(g) a composite number?
True
Suppose -73469 = -4*k - 5*n, 0 = -k + 86*n - 84*n + 18377. Is k a composite number?
False
Let a be -6 - (5 - 6481)/4. Let w = 2644 - a. Is w a composite number?
False
Suppose 0 = -y + 2*o + 3167, 30*o - 26*o = 3*y - 9497. Is y composite?
False
Let x be 30*((-84)/(-18))/(-14). Let n(b) = 4*b**2 + 31 - 11 + 19*b + 21. Is n(x) composite?
False
Let g be (-39)/26*-1*28. Let b be (g/(-28))/(6/(-16)). Is (-6)/b + 1045/2 a prime number?
True
Let h = 1066056 + -441821. Is h composite?
True
Suppose -5*s - k - 80053 = -3248359, -3*s + k = -1900982. Is s a prime number?
False
Is 2/(20/(-638338))*85/34*-2 a prime number?
True
Is 4/20 + 51950976/220 a composite number?
True
Suppose -3*y + 24875 = -14431. Suppose 0 = 5*l + y - 3657. Let d = -1248 - l. Is d a prime number?
True
Suppose -3*o - 23309 = q - 6663, 0 = o + 2*q + 5542. Let m = o + 8363. Is m a composite number?
True
Is ((-56)/(-196) + 44/(-56))/(2/(-544372)) composite?
False
Let d = 29 - 29. Let m be (-3 + d + 1)*3. Is (-5)/(-1)*(5 - m) composite?
True
Suppose p - 424531 = 4*s + 1447168, 0 = -5*p + s + 9358609. Is p composite?
True
Suppose 0 = 5*i - 25115 - 87290. Let m be -6 - 36/(-6) - -6342. Suppose -m = -19*o + i. Is o a composite number?
True
Let y = 1694 + -710. Suppose 6*a - y = 3*a. Suppose 4*p - 484 = a. Is p composite?
True
Let o = -790035 + 1373148. Is o composite?
True
Let n(v) = 10*v - 170. Let b be n(-10). Is (-734166)/b + 2/(-15) composite?
False
Let l = 80 - 78. Suppose 3*c = -p + 16676, 3*c - c - 11104 = l*p. Is c composite?
False
Let i = 287964 - 172283. Is i a composite number?
True
Let s(d) = 3*d**2 + 5*d - 6. Let j be s(2). Suppose 0 = j*z - 10*z - 11586. Is z a prime number?
True
Let z(y) = 67*y**2 - 2*y + 21. Let x(f) = 8*f + 28. Let q be x(-4). Is z(q) prime?
False
Suppose -4*a - 10364 = -6*n + 2*n, 5*a + 10368 = 4*n. Suppose 0 = -0*q + 13*q - n. Is q a prime number?
True
Suppose 10*x = 40, 3*p + 5*x - 1207895 = 9*x. Is p a prime number?
False
Let x = 29841 + 5228. Is x a prime number?
True
Let w(i) = 206*i - 429. Is w(25) a composite number?
False
Let x = 19 - 47. Let y(n) = -317*n + 267. Is y(x) a composite number?
True
Suppose 23*w = 185409 + 373882. Is w composite?
False
Suppose 126349 = 3*z - m, 35*z - 210565 = 30*z + 5*m. Is z a composite number?
True
Is (((-2816502)/