pose g = p*b - 1925. Is b a composite number?
False
Let g = -9371 + 164440. Is g prime?
True
Suppose -4*n = -3*t - 136, 0 = -5*n - 4*t + 34 + 136. Suppose v - n = -32. Suppose -v*s = -4385 - 89. Is s a prime number?
True
Let q = -998 + 2691. Suppose 4*g = -j - 1002, g = 2*g. Let z = q + j. Is z a prime number?
True
Let x be (1 - -1 - 0)*(-115)/(-23). Let o(u) = 10*u**2 + 26*u - 61. Is o(x) prime?
False
Let t = 20146 - 11081. Let g = t - -14330. Is g a composite number?
True
Suppose 4*k = -5*g + 9748, 0*g = -2*k - 3*g + 4872. Suppose 5*y - k = -352. Suppose 0*c - 4*c + 270 = 3*p, -y = -5*p + 4*c. Is p composite?
True
Suppose 2604 = 6*m + 8*m. Suppose -179*p - 1463 = -m*p. Is p composite?
True
Let s(i) = 4*i**3 - 2*i**2 - 8*i + 9. Let o be s(1). Suppose 5*u + 8297 = 6*u. Suppose -4*z + 0 = -20, -o*l = 4*z - u. Is l composite?
True
Let k be (100/15)/5*(-6)/(-4). Suppose -k*o = 4, 2*o + 6 = -j - 0*o. Is (161/j)/((-9)/18) prime?
False
Let i = 60 - 59. Let x be (-13 - 4/i)*-15. Suppose h + 2*h - 3*u = 756, x = h - 4*u. Is h a composite number?
False
Let s = -83 - -83. Suppose s*i + 5*i - 135 = 0. Suppose i*h - 627 = 24*h. Is h composite?
True
Let q = 468 - 463. Suppose 32224 = 4*o + 3*b, 2*o - 3*o + q*b = -8033. Is o composite?
False
Let n(k) = -4136*k - 433. Is n(-34) a prime number?
True
Let b(n) = 631*n + 1459. Is b(64) composite?
False
Let v be (15/6 + -1)*2. Suppose 12*m + 1209 = p + 11*m, 0 = -v*p - 3*m + 3651. Is p a prime number?
True
Suppose -x = f - 2895, -4*f - x + 8295 + 3279 = 0. Is f composite?
True
Suppose 2402 - 600 = -3*k - 5*g, 2*k - 5*g + 1193 = 0. Let m be (-2)/(-6) - (4 - k/(-3)). Suppose -c - 35 = -m. Is c prime?
False
Let v = 398 + -303. Is (-456507)/(-57) + 10/v a composite number?
False
Let f = 2721 + -6372. Let u = 25414 + f. Is u a composite number?
True
Let g = -62846 + 295179. Is g prime?
True
Suppose -o + 4*o - 55096 = -4*u, -5*u = 4*o - 68870. Is u/20 - (-12)/40 composite?
True
Is (-2868963)/(-12) + (-44)/(5280/(-90)) prime?
True
Suppose -3*o - 801 = -3*w, -1135 = -5*w + 2*o + 197. Suppose -2*a + 0*a + w = 0. Suppose -r - a = -472. Is r composite?
True
Suppose -4*h - 6*a = -2*a - 52, 5*h - a = 53. Suppose 22*i = h*i + 204985. Is i a composite number?
True
Let z be ((-85)/35 + 1)*-14. Suppose 5*o + z = 0, 2*q + 32 - 4 = -4*o. Is (12752/24)/((-4)/q) composite?
False
Is 12*(-13)/(-468) - (1 - (-1244553)/(-9)) a prime number?
True
Let t(z) = 15*z**3 + z**2 - 3*z - 20. Let l(h) = h**3 + h**2 + h. Let k(f) = 2*l(f) - t(f). Is k(-9) prime?
True
Suppose -8*l = -92*l + 69645492. Is l a composite number?
True
Is ((-20)/(-6))/((-26)/(-2774733)) prime?
False
Let h(f) be the first derivative of 7*f**4/3 + 3*f**3/2 + 2*f**2 + 10. Let p(j) be the second derivative of h(j). Is p(7) composite?
False
Suppose -7*z - 3 = -24. Suppose a = 3*k + 667, 7*a - 4*a = z*k + 2001. Is a a composite number?
True
Let i be 1/(-6) - (-23)/138. Suppose -522*b + 531*b - 45243 = i. Is b a composite number?
True
Let g = 267 - 265. Let s(t) = t**3 - 7*t**2 + 2*t - 9. Let i be s(7). Suppose 4*r = -i*o + 1103, -g*o + 5*r + 78 = -383. Is o composite?
False
Let d(b) be the second derivative of 7*b**4 - 14*b**3/3 + 111*b**2/2 + 6*b - 19. Is d(4) prime?
False
Let s(k) = -319*k**3 + 23*k**2 + 117*k + 101. Is s(-12) a prime number?
False
Suppose 17*u - 347869 = 211584. Is u prime?
True
Let w(x) = -x**2 + 16*x + 44. Let p be w(18). Suppose -3*r + p*r = 0. Suppose 0 = -7*v - r*v + 1883. Is v composite?
False
Suppose 0 = -1260*q + 1263*q + 3855. Let v = 3006 + q. Is v a composite number?
False
Suppose -2*u + i = -190856, u - 2*i - 21452 - 73973 = 0. Is u prime?
True
Let l(g) = -15*g - 8. Let v be l(-1). Let k(r) = 3*r**3 + 2*r**2 - 6*r - 8. Is k(v) a prime number?
False
Let l = 13055 - -33014. Is l a prime number?
False
Let c(b) = -112*b**2 + 3*b - 33. Let u(f) = -f**2 + 1. Let g(s) = -c(s) + 2*u(s). Is g(8) composite?
True
Let f(p) = 140325*p - 356. Is f(3) a prime number?
False
Let b be (20644/(-10) - 2)*(-525)/14. Let l be b/(-33) - 2/(-11). Is 5/(3/(-6)*8/l) prime?
False
Is ((-419)/(-5))/(9*(-5)/(-8325)) prime?
False
Suppose -5*o - 6855 = -5*j, j + 4111 = 4*j - 4*o. Suppose -3*a + 4*a - j = 4*x, 5*x - 1337 = -a. Is a prime?
False
Suppose 0 = 11*y - 156*y + 28945045. Is y a composite number?
False
Suppose -3*s - c + 16 = 0, 24*s = 22*s + 5*c + 22. Suppose -199 = 5*d - s*d - t, -2*t = 0. Is d a prime number?
True
Let z = 1237292 + 299175. Is z composite?
False
Let f(v) = v**2 + v - 1. Let p(t) = 691*t**2 - 10*t + 8. Let m(a) = 3*f(a) + p(a). Is m(2) a composite number?
False
Let u(q) = 229*q**2 + 12*q + 31. Let g be u(-6). Suppose 0 = 7*s - 4404 - g. Is s prime?
True
Let m(c) = -287*c**3 - 6*c**2 - 36*c - 162. Is m(-5) prime?
False
Let j(b) = -41159*b**3 + 5*b**2 - b - 4. Is j(-1) composite?
False
Suppose 0 = -4*c + 23 + 17. Let w(y) be the third derivative of y**5/20 - 5*y**4/8 + 13*y**3/6 - 14*y**2 - 16*y. Is w(c) prime?
True
Let x(u) = -8*u + 6 - u - 97*u + 7*u + 4. Is x(-17) a prime number?
True
Let a = 88302 + -41395. Is a prime?
False
Let k = 30 + -28. Suppose k*i - 2*x = 16, 2 = -2*i - 2*x - 2. Is ((-2)/i - (-86)/12)*38 a composite number?
True
Suppose 868*y - 1937450 = 857*y + 1340781. Is y composite?
False
Let y(v) = v**3 - 4*v**2 - 28*v + 46. Let o be y(7). Is 899/(o + -1 + 5) a composite number?
True
Suppose 0 = -3*i + 3*d + 48, 0 = 4*i - 7*d + 4*d - 63. Is 5/3 - (1 + (-13175)/i) a composite number?
True
Let v(y) = -y**3 - 9*y**2 - 13*y - 1. Let c = 94 - 90. Suppose 0 = -c*j + 4*x - 48, x = -0*x. Is v(j) a composite number?
False
Suppose 6 = -4*z + 5*z + 3*f, 0 = 5*z - 3*f - 30. Suppose z = b + b. Suppose 0 = 2*w + w + 3*j - 27, -b*j - 77 = -5*w. Is w a composite number?
False
Let b be ((-6)/(-12))/((-2)/(-16)). Suppose -b*i + 45771 = -4*m + 9*m, 3*i - 45767 = -5*m. Is m a prime number?
True
Let y(c) be the first derivative of -11*c**2/2 + 62*c - 43. Is y(-21) a composite number?
False
Suppose 8*q - 3*q = 2*p - 38775, 4*p + 5*q - 77535 = 0. Is p composite?
True
Let m(t) = t**2 - t - 20. Let x be m(-7). Let v be -33*(-4)/(x/15). Let d = 65 - v. Is d a prime number?
False
Let n(w) = w + 37. Let j be n(-31). Let v(f) = 27*f + 209. Is v(j) composite?
True
Let a(k) = 216*k**2 - 6*k - 1. Suppose 7*g + 5 = -2. Let v be g/(8/(-60)*(-3)/2). Is a(v) a composite number?
True
Suppose 4*t - 16*t = -120. Is 563 + t/15*3 + -2 a composite number?
False
Suppose -34*g - 44728564 = 5*g - 107*g. Is g composite?
True
Suppose -3*l - 4*m = -32, -2*m = -4*l + 49 + 23. Let h(x) = 22*x**2 - 39*x + 43. Is h(l) composite?
False
Let c = -1215579 + 2182082. Is c a prime number?
False
Suppose 0 = -14*k + 15*k + 68015. Is (k/(-15))/(5/15) a composite number?
True
Let k be -1 - 5/(10/(-16)). Suppose -g + k = 4*z, z + z + 7 = 3*g. Is z/(1/4) - (-252)/12 composite?
True
Let b(d) = -77*d + 8. Let t(x) = 78*x - 7. Let z(n) = 5*b(n) + 6*t(n). Let c be z(6). Suppose 4*i - 4*s - c = 0, -5*s - 35 = -10. Is i a prime number?
False
Suppose 40943 = 2*b + 3*n, -9*b + n + 40963 = -7*b. Is b composite?
False
Suppose -3*p + 82 = 16. Suppose 7*c - 41 = p. Suppose c = -q - 2*q, 6744 = 5*l - 3*q. Is l prime?
False
Suppose 36 = -25*m + 36. Suppose -6*h + 1285 + 10049 = m. Is h composite?
False
Suppose 4*b = -3*l + 64921, 0 = 3*l + 8*b - 9*b - 64946. Is l a prime number?
True
Is 1*(-1 - 0)*(-25 + 24 + -3108) composite?
False
Let r(b) = b**3 + 42*b**2 + 92*b + 38. Let w(a) = -6*a + 105. Let q be w(23). Is r(q) a composite number?
False
Suppose -432*j = -77*j - 28506145. Is j prime?
False
Let f = -37842 - -738515. Is f prime?
True
Is 2/(-8) + (119988/16 - (22 - 16)) a prime number?
False
Let l(t) = 5 + 105*t - 4 - 3 - 4 + 34*t**2. Is l(-5) a composite number?
True
Suppose -2*z = -z - 391. Suppose -2*l = -4*t - l - 534, 3*t = -4*l - z. Let c = t - -204. Is c a prime number?
True
Let u be 2 + 1/(2*(-1)/2). Let d be u + (10/(-8))/(4/(-416)). Suppose -n + d = -282. Is n a composite number?
True
Suppose c + 0*c = -4*b + 5461, -2*c - 4*b = -10942. Let r = 7708 - c. Is r prime?
False
Let i = 2417 + -1190. Suppose 4*t = c - i, -2*t - 1251 = -c - 4*t. Is c composite?
True
Let h(g) = 33*g + 6 + 2 + 117*g - 1. Let m be 15 + ((-4)/3)/(2/3). Is h(m) a prime number?
False
Let l = 14089 + -28149. Suppose -4*n - 20 = n,