 2*i - c, 4*i + c = 14. Suppose -4*b + 1572 = -l + 335, i*b - 5*l = 1241. Suppose r = -j + b - 52, 3*r - 263 = -j. Is j a composite number?
True
Suppose 7*y - 3*y - l - 825 = 0, l = -5. Let q = y + -62. Is q prime?
False
Suppose -3*u + 3*s + 21 = 0, 5*u + 4*s - 15 = 5*s. Suppose 3*l + 2*j = -37, -3*l - 9 - 8 = -u*j. Let i(t) = -50*t - 7. Is i(l) a prime number?
True
Let r(n) = -505*n - 1. Let m be r(1). Let l be (1 - (-6)/3)*279. Let h = l + m. Is h a prime number?
True
Let k(t) be the first derivative of t**4 - 11*t**3/3 + t**2 - 9*t + 7. Is k(6) a composite number?
True
Let y = 2416 + 4449. Is y prime?
False
Suppose 0 = 4*s - s. Suppose -9*p + 14*p - 605 = s. Is p a composite number?
True
Suppose -2*l + 2423 + 15390 = -3*t, 3*l - 26717 = 4*t. Is l a composite number?
True
Let a(m) = -m - 5. Suppose 8*g = 3*g - 40. Let y be a(g). Is (1/(-3))/(y/(-54)) prime?
False
Suppose -12*r = -5*r - 20965. Let p = r - 842. Is p a composite number?
False
Suppose 3*p - n - 6064 = 0, 2*p - 3*p + 2019 = 2*n. Is p a prime number?
False
Let w be 1*(3 + -2 + -2). Let o be (-2 + w - 1) + 7. Is 3 + 339 + -4 - o composite?
True
Let p be ((-1)/2)/(1/12). Let a be p*(-3 + (-10)/(-3)). Is (-4)/(16/118)*a composite?
False
Let i(q) = -q**3 - q + 2. Let j be i(0). Suppose j*x - 215 - 1175 = 0. Is x prime?
False
Suppose 15*j - 22 = 188. Is j composite?
True
Suppose 0 = -w + 3*w. Let l be (1/(-3)*w)/(-2). Is l + 0 + -3 - -34 prime?
True
Let a(j) = -21*j**2 - 6*j - 5. Let o be a(-5). Let d = 721 + o. Is d a composite number?
True
Let g = 21139 - 9768. Is g a composite number?
True
Suppose 2*d = 0, 0 = -3*m - 7*d + 3*d + 3579. Is m a composite number?
False
Let w(v) = 52*v - 9. Let n be ((-2)/(-3))/(2*(-4)/(-96)). Is w(n) prime?
False
Let d(c) = c**3 + 19*c**2 + 11*c - 5. Let i = -13 + -3. Is d(i) a prime number?
True
Suppose -2 + 17 = 3*c. Suppose -c*x - 5*b - 76 = -701, -2*b = 3*x - 372. Is x composite?
True
Suppose 9*j + 31 = 10*j. Let p = j + 868. Is p a composite number?
True
Let g(f) = -2581*f - 7. Is g(-5) composite?
True
Let n(w) = w + 9. Let q be n(-5). Suppose -q*v = 3*k - 2741, -k = -2*k - 5*v + 932. Is k a prime number?
True
Let q be 24/20 + 1/(-5). Suppose -l + q + 3 = 0. Suppose 144 = l*t - 60. Is t a prime number?
False
Let s(o) = 59*o**3 + 5*o**2 - 5*o + 9. Is s(8) a composite number?
False
Suppose 6306 + 1836 = 3*m - 5*s, 0 = 4*m - 4*s - 10864. Is m a prime number?
True
Suppose 6*z = 16504 + 206. Is z prime?
False
Let a = -2969 + 4408. Is a a composite number?
False
Let d(h) be the first derivative of 37*h**4/12 + 11*h**3/6 - h**2/2 + 7. Let n(k) be the second derivative of d(k). Is n(4) a prime number?
True
Suppose -28*v + 244079 = -17*v. Is v prime?
True
Let u(y) = -3*y - 9. Let d be u(-5). Is ((-4)/d)/(4 - 109936/27480) prime?
False
Let z = 2566 - -1941. Is z a composite number?
False
Suppose -a + 7929 = 5*u, u - 6*u = -4*a + 31616. Is a a prime number?
False
Suppose -2*a + 2*w = 1551 + 1535, -2*w = -5*a - 7718. Let s = a + 2245. Is s prime?
True
Let s be (-44 - -1) + -3*1. Let o = -125 - s. Let q = o - -150. Is q prime?
True
Is 2*(1/(-4))/(23/(-1267852)) a composite number?
True
Let z be (1 + -10)*(-6 + 5). Let q(v) = v**3 - 3*v**2 - 3*v + 12. Is q(z) composite?
True
Let m(f) be the first derivative of 31*f**4/12 + 5*f**3/6 + 9*f**2/2 + 2*f - 11. Let j(p) be the first derivative of m(p). Is j(-4) prime?
False
Let i = 311 - 130. Let h be (-526)/(-6) - (-1)/3. Let k = i - h. Is k prime?
False
Let l = 50 - 49. Is (-2497 - l)/(19 + -21) composite?
False
Let w be (-4 + (-36)/(-8))*-6. Let g(s) = -82*s**3 + 2*s**2 - 1. Is g(w) prime?
False
Let u be (-1772)/(-12) + 2/(-3). Let t = -43 + 43. Suppose c + 3*i - 107 - u = t, -1024 = -4*c - 4*i. Is c a prime number?
True
Let j(m) = m**2 - 22*m + 35. Let n be j(21). Is (-27)/(-63) - ((-58052)/n + 2) a composite number?
True
Let m(c) = 307*c + 9. Let v be m(10). Suppose -5*q = 2*l - v, 0*q + 3*q + 4650 = 3*l. Suppose 4*f = -5*x + l, -1567 = f - 5*f - x. Is f composite?
True
Suppose -4*l = -3*g - l + 216768, 5*l = -5*g + 361230. Is g composite?
False
Let w(j) = 18501*j**2 - 14*j + 16. Is w(1) a composite number?
False
Let n = 62 - 58. Suppose 2*h + 5*r = n*r + 2814, 1425 = h + 5*r. Is h a prime number?
False
Let l be 16/24 + 6348/9. Suppose -3*i - 222 - 267 = -2*j, -3*j = i - l. Is j prime?
False
Suppose 990 + 90 = 3*n. Suppose 295 + n = v. Is v a composite number?
True
Suppose 3*p + 2*p = -5*d - 50, 0 = -2*p - 8. Let w = -2 - d. Suppose -w*l + 65 = 2*r - l, 0 = 4*r + 5*l - 129. Is r a prime number?
True
Suppose -4*t = 12, -3*g = g - t - 9223. Suppose 15*s = 5470 - g. Is s a composite number?
False
Let n be (2 - 4) + (9 - 3). Suppose -293 = -n*j + 47. Is j prime?
False
Suppose -4*x = -j - 618, 2*x + j - 180 = 132. Suppose -2*n - 3*m + 121 = 5, -5*m - x = -3*n. Is n a prime number?
False
Let n(m) = 2*m**3 - 35*m**2 + 66*m - 29. Is n(22) a prime number?
True
Let h be 459/(-6)*(-8)/6. Suppose 2*i - h - 1672 = 0. Is i a prime number?
True
Suppose -13 + 4 = -3*j. Suppose 2*b - j*t + 6 = 0, 4*b = t - 0*t - 2. Suppose -a - 2*a + 1143 = b. Is a a composite number?
True
Suppose -33165 = -4*w + 5*l, 3*w = 2*w - 2*l + 8275. Is w a composite number?
True
Let h = 6903 - -3264. Is h a prime number?
False
Let w(v) = v**2 - 5*v - 10. Let f be w(8). Suppose 4*d - 14 = 5*p + f, -d - 2*p = 6. Suppose -d*z + 115 = 3*z. Is z prime?
True
Suppose 9*w - 211 + 49 = 0. Is 188 + ((-6)/w - (-2)/(-3)) a prime number?
False
Let b(h) = -h**3 - 11*h**2 - 3*h - 23. Let m be b(-11). Let r(u) = 2*u**3 - 10*u**2 - 14*u + 17. Is r(m) prime?
True
Let a = 12 - 10. Suppose -3*b = -a*b. Let g = 37 + b. Is g a prime number?
True
Let i = -6421 + 13200. Is i prime?
True
Suppose -3*s - 13 = v, 4*v - s = 6*v + 1. Is (-2234)/4*(0 - v) composite?
False
Let v be (1 - 168 - 0)/(-1). Suppose v = -s - 45. Is 5 - 4 - (s - -2) composite?
False
Suppose -6*a + 2*a - 2*h + 24 = 0, 2*h = 8. Suppose 3*p + 4*n - 1449 = 0, -5*n + 2410 = a*p + p. Is p prime?
True
Suppose -k + 0*k = -16. Let w be (-4)/k - (-102)/(-8). Let q(o) = o**3 + 14*o**2 - o - 3. Is q(w) a composite number?
False
Is (-3)/24 - (-66020)/32 prime?
True
Let g be (4/2)/((-2)/(-4)). Let r be 831/33 - (-10)/(-55). Suppose r = g*l - 571. Is l prime?
True
Is (-111704)/2*(266/28 - 10) prime?
False
Let h(o) = 15*o**3 - 2*o**2 - 2*o + 2. Let p be h(2). Suppose 0 = 5*n - 5*y + p, -8 = -2*n - 2*y - 60. Is 18/n - 446/(-8) a prime number?
False
Let n(s) = s - 4. Suppose 0 = -5*o + o + 16. Let h be n(o). Let p(c) = -c + 163. Is p(h) a prime number?
True
Suppose 0 = 4*i + 3*p - 9826, 20*p - 16*p = 2*i - 4902. Is i prime?
False
Let p = -11349 + 22288. Is p a composite number?
False
Let d(s) = 114*s**2 + 135*s - 10. Is d(7) a prime number?
True
Let h be ((-3)/4)/((-2 - 0)/8). Suppose 5*r - h*r = 838. Is r a composite number?
False
Suppose -2 = -2*f + 2, -5*f + 30 = -5*v. Let y(m) = -6*m**3 + 2*m**2 - 2*m - 5. Is y(v) composite?
False
Suppose 0*c = -c + 3648. Suppose -w - 3*w = a - c, 2*w - 3*a = 1810. Suppose -8 = 2*u, 5*q - 2*u + 3*u - w = 0. Is q a composite number?
True
Let f = 128 + -187. Let k = -26 - f. Is k a prime number?
False
Let b(i) = 3*i + 2813. Is b(0) a prime number?
False
Suppose 3*v + 5989 = 4*d - 2*v, 0 = v - 3. Suppose -m = 3*h - 956 + 53, -d = -5*h - 3*m. Is h a prime number?
False
Suppose 2*j - 5*i = 3142, 0*j + 4713 = 3*j + i. Let v = -958 + j. Is v a prime number?
True
Suppose 2*s + 2 = -2. Is (-1)/s - (-10052)/8 a composite number?
True
Suppose -4*u = -4*o + 17196, -o + 3*o = -u + 8607. Suppose o = 2*w + d, 0 = w + 2*d + 424 - 2581. Is w composite?
True
Is ((-36956)/8)/(2/(-4)) a prime number?
True
Suppose 54*r = 30*r + 264648. Is r a composite number?
False
Suppose -2*a = -2*d, 3*d = -2*a + 7 + 3. Suppose -5*j - a + 12 = 0. Suppose 0*f = -r + f + 20, -j*f + 23 = r. Is r prime?
False
Let p = 62 + -66. Is 2359/1 - (p + 4) a prime number?
False
Suppose -5*k + 40 = -k. Let q = -8 + k. Let c(g) = 13*g**3 - 2*g**2 + 1. Is c(q) a prime number?
True
Let z be 128 + 3*(-8)/(-12). Let a = z - 47. Suppose -5*l + 82 + a = 0. Is l composite?
True
Suppose 3*s - 1423 = 140. Is s a composite number?
False
Let s = -13693 - -47070. Is s a prime number?
True
Suppose 4*f = -3*g - 19044, -f + 12696 = -2*g - 5*f. Let l =