 -2*m = -3*w + w + o, -1682 = -2*w - 3*m. Suppose -5*b = -b - w. Is b prime?
True
Suppose 0 = -3*i + 11*t - 9*t + 98127, 5*t = 2*i - 65429. Is i composite?
False
Let l be 143*(-3)/9*-15. Suppose 4*d - 391 = -2*r + l, -2*r = d - 1115. Is r composite?
True
Let f(k) = -2*k**2 + 4*k - 1. Let a be f(4). Let w = a + 16. Is ((-37)/2)/(w/4) a prime number?
False
Let g(d) = 485*d**2 - 20*d - 94. Is g(-5) composite?
True
Is (((-11460)/(-6))/(-5))/(4/(-358)) a composite number?
True
Let x = 291 - 81. Suppose -u + 2*u - x = 0. Suppose 6*c + u = 1188. Is c composite?
False
Let b(d) = d**2 + 6*d - 3. Let w be b(-6). Let q(g) = -2*g - 4*g**3 - 138*g**2 + 71*g**2 + 70*g**2 - 1 - 3*g**3. Is q(w) a prime number?
False
Let b(v) be the third derivative of 11*v**5/60 + 5*v**4/24 - 5*v**3/6 - v**2. Suppose 97*s - 61*s - 144 = 0. Is b(s) a prime number?
True
Let b = 16 + -20. Is b/(-18) + (-1177)/(-9) a prime number?
True
Let m(z) = -4*z + 3. Let y be m(2). Let k(l) = -l**2. Let i(b) = -2*b**2 - 7*b - 7. Let w(o) = -i(o) - k(o). Is w(y) a prime number?
True
Suppose 0 = i - 8 - 543. Suppose 7*d - i - 996 = 0. Is d a composite number?
True
Suppose -5*q + 4*j + 5876 = -q, -5*q - 4*j + 7300 = 0. Suppose -3*r - q = -6*r. Suppose -5*y + 257 = -r. Is y a prime number?
True
Let h be 124/(-12) - (-2)/(-3). Let j = 11 + h. Suppose j*z = -3*z + 777. Is z composite?
True
Let k(v) = -v**2 + 7*v - 8. Let n be k(3). Suppose 4*q - 4*f = 19136, -n*f = q - 3204 - 1575. Is q prime?
True
Let d(f) = -f**3 - 27 + 17*f**2 + 16*f + 3*f**3 + 9 + 0*f**3. Let o(s) = s**3 + 8*s**2 + 8*s - 9. Let k(x) = -2*d(x) + 5*o(x). Is k(6) composite?
True
Suppose -6082 = 21*n - 23*n. Is n prime?
True
Suppose -71*s - 25*s = -528096. Is s prime?
True
Suppose 5*l + 3*p - 9 = 0, -5*p - 9 - 1 = 0. Suppose -10 = 5*f, -f + 2191 = l*m - 630. Is m a composite number?
False
Suppose 4*y = 4*v + 27 + 17, -y = 2*v + 19. Is 1396 + ((-6)/v)/(5/25) a prime number?
True
Suppose 3*y + 0*s = 3*s + 29625, 4*s - 29597 = -3*y. Is y a composite number?
False
Let s be -3 + (7 - 2 - -1). Let y be (-1)/(-2 + s)*0. Suppose y = 5*b - 6*b + 93. Is b prime?
False
Let a = 5 + -3. Let w = a - 1. Is -359*(-1 - w)/2 a composite number?
False
Let t(m) = 82*m - 155. Is t(27) prime?
False
Let q be (1 - -207)/((-1)/(-5)). Suppose 2*x - 2*v - q = 0, -2*x + 5*v = 8*v - 1025. Is x prime?
False
Let w(n) = 2*n**3 + 7*n**2 + 2*n - 12. Let r be w(-5). Let i = -50 - r. Is i a prime number?
True
Suppose -175*u = -183*u + 80. Let b = 39 + -27. Let h = b + u. Is h a prime number?
False
Let d be -4 + 1 - (-869 - -16). Suppose -6*v + d = -4*v. Let y = 728 - v. Is y composite?
True
Suppose 26*u - 25*u - 41991 = 0. Is u composite?
True
Let b(p) = -p**3 - 67*p**2 - 81*p + 260. Is b(-69) prime?
False
Let l(m) = m**3 - 5*m**2 + 5*m - 2. Let s be l(3). Let v(f) = f**3 + 7*f**2 + 4*f + 6. Let c be v(s). Let x = c + -25. Is x a composite number?
False
Let t be (-1040)/(-25) - (-4)/10. Suppose w + 70 = -t. Let s = 251 + w. Is s a composite number?
False
Let m(j) = 46*j**2 - 33*j - 50. Is m(-7) prime?
False
Let g(p) = -8*p**2 + 2*p + 2. Let u be g(-1). Is (0 - -26) + (u - -5) composite?
False
Let m(h) = -56*h**3 - 124*h**3 + 3*h**2 + 1 - 5*h**2. Is m(-1) prime?
True
Suppose -5*g - 3*i + i = -11217, -11211 = -5*g + 4*i. Suppose g = 3*j - 520. Suppose 4*p - p = j. Is p prime?
True
Suppose -7*p + 2534 = -51695. Is p composite?
True
Suppose 3*z - 10586 = -4*g, -3*z + g + 10572 = -2*g. Let d be z/7 - (-16)/56. Suppose 0 = -2*i + 4*i + p - 247, 4*i - d = -4*p. Is i a prime number?
False
Is 84368/24*(-18)/(-12) a composite number?
False
Let i be ((-12)/15)/((-1)/5). Suppose -i*c + 4*b - 1675 + 7115 = 0, -4*c - 3*b = -5447. Is c composite?
False
Let x(z) = 48*z + 4. Let j be x(6). Let l = 2718 + -1545. Suppose v = p + 2*v - j, 4*p + 5*v - l = 0. Is p a prime number?
False
Let s = 119617 + -25752. Is s composite?
True
Is ((-5414)/(-6))/(1/3) a prime number?
True
Suppose 5*h + 109670 = -2*g + 7*g, -4*g + 87696 = 4*h. Is g prime?
True
Let k(d) = 6 - 7 + 11*d + 0*d. Is k(6) a composite number?
True
Let y(u) = u**2 - 2*u + 2. Let t be y(1). Let g be (6/(-4))/(t/(-2)). Suppose 3725 = i + 4*i - 5*a, -g*a = 6. Is i prime?
True
Let b be 3*(-6)/99 + (-105)/(-33). Is 393200/64 - b/4 composite?
False
Let j = -4119 + 13022. Is j a prime number?
False
Let l = 4124 - 2763. Is l composite?
False
Let c(l) = 54*l**2 + 34*l + 189. Is c(-17) a prime number?
True
Let o(q) = 95*q - 34. Let g(k) = -k. Let i(u) = -2*g(u) + o(u). Is i(13) a composite number?
True
Let v = 207 + 694. Suppose 2*y - x = y + v, 4*y - 5*x - 3606 = 0. Suppose 696 = 5*b - y. Is b composite?
True
Let k(l) = 2*l - 4. Suppose 5*t = u + 13, -2*u = -2 - 2. Let w be k(t). Suppose 86 = w*a - 44. Is a a composite number?
True
Let m be 1662 + (-2)/((-6)/9). Suppose 8*o + o = m. Is o composite?
True
Let z be (-10)/(-2)*4/5. Suppose 0 = -16*i + 27*i - 42471. Suppose 0*h - i = -5*b - 2*h, -3096 = -z*b - 4*h. Is b prime?
False
Suppose 4*l - 22690 = -3*o, 2*l = -0*l + o + 11350. Is l prime?
False
Let s be (1/(-2))/(12/(-96)). Is -4*s/40*-565 prime?
False
Suppose 4 = -2*t + 16. Is 2/t*1797 + (1 - 1) a prime number?
True
Suppose 0 = -2*j + 5*x + 2312, j = -2*j + 5*x + 3463. Is j a prime number?
True
Let f(a) = -5*a + 3. Let q be f(2). Is (-2316)/(-28) + 5/q + 1 a composite number?
False
Suppose -5 = 5*b + 25. Let i be (-2)/(-8)*(b - -14). Suppose i*g - x + 2*x = 394, -5*g + 4*x + 1011 = 0. Is g prime?
True
Let l be 3/(((-6)/(-75560))/(4/8)). Suppose 0 = 14*v - l - 11616. Is v a prime number?
True
Let b = -35 - -87. Suppose -19 = 2*x - s, -2*s = -2*x - 0*s - 24. Let w = b - x. Is w a composite number?
False
Let v be (274/(-6))/(-2 + (-332)/(-168)). Suppose -v = -5*l + 6*t - 2*t, 4*t = -8. Is l prime?
False
Let w(z) = z**3 - 4*z**2 + 3*z. Let o be w(4). Is 3/(-1)*(-1364)/o a composite number?
True
Suppose -34*h = -27*h - 2513. Is h a composite number?
False
Let f = 22408 + 4083. Is f prime?
False
Let q be 5/(5/4 - (-2)/(-8)). Suppose 3*z + q*h + 1481 = 5*z, 5*z - 3*h - 3750 = 0. Is z a composite number?
True
Let t(x) = -x**3 + x - 1. Let a(h) = -2*h + 4. Let p be a(3). Let f be t(p). Is 57 - (0 - (f + -3)) a prime number?
True
Let v be (11 - 14)/(170/(-82) - -2). Suppose n = 30 + v. Is n composite?
False
Let w = -4 - -11. Let g(q) = 4*q**2 + 6*q + 13. Is g(w) a composite number?
False
Let p(m) = -24*m**3 - 18*m**2 - 6*m + 11. Is p(-7) a prime number?
False
Let i be ((-310)/(-50))/((-1)/(-5)). Let o = 33 - i. Is 46680/100 - o/(-10) composite?
False
Suppose 3*m - 1513 = 2*m - 2*y, -3*m = -4*y - 4529. Is m composite?
False
Let r be 22 + (-5 - (-6 + 3)). Let b be (8/r)/(1/35). Is 8*b + (0 - 1) composite?
True
Suppose 4*q - 9583 = 5*b - 10*b, b + 5*q = 1925. Is b a composite number?
True
Suppose 10 = -0*t + 5*t. Suppose 1464 = -q + t*q. Suppose q = 3*f + 453. Is f composite?
False
Suppose -1 = -3*v + 32. Let m(b) = -b**3 - 5*b**2 + 15*b + 7. Let l be m(-7). Let q = v - l. Is q a composite number?
False
Suppose 13*k - 30779 = 10*k + 4*r, -3*r = 4*k - 41072. Is k prime?
False
Suppose 3*n + 130 = i, -12*n + 13*n = 3*i - 382. Is i prime?
True
Suppose -3*w + w + 20 = 0. Suppose 0*h - z = 3*h + 5, -2*z = 4*h + w. Suppose h = -5*c + 1499 + 456. Is c composite?
True
Let i(b) = -647*b + 16. Is i(-5) a prime number?
True
Suppose -62246 + 10235 = -3*t. Is t composite?
True
Let y(k) = 26*k**2 + 11*k + 19. Is y(4) a composite number?
False
Suppose 15 = 4*r + 4*p + 1615, p - 5 = 0. Let l = -86 - -180. Let y = l - r. Is y composite?
False
Let d(q) = 57*q**2 - 7*q - 19. Let m(f) = 19*f**2 - 2*f - 6. Let a(x) = 3*d(x) - 8*m(x). Is a(-3) a composite number?
True
Suppose 0 = 3*i - 2*u - 133131, 42*i - u + 133131 = 45*i. Is i a composite number?
True
Suppose y = -774 + 13810. Suppose -2*s = -3406 - y. Is s a prime number?
True
Let p(v) = -245*v + 2. Let j be p(-3). Let i be ((-6)/8)/((-1)/(1168/(-2))). Let c = i + j. Is c composite?
True
Let v(c) = c**3 - 2*c**2 - 5. Let t be v(3). Suppose 6 = -2*p, 0 = -0*d + 3*d - t*p - 1215. Is d composite?
False
Let p = -2 + 22. Suppose 24 = r + 4*d + 4, 4*d = 5*r + p. Is r + (84 - (-4 - -5)) a prime number?
True
Let q = -123 + 127. Suppose q*s - 3905 = 3123. Is s prime?
False
Let c(q) = 41*q**3 + 11*q**2 - 12*q - 9. Let 