ber?
True
Let k(h) be the first derivative of -h**3/3 - 19*h**2/2 - 4*h + 27. Suppose -4*w - 36 = -3*m, -4*m = -2*w - 0*m - 18. Is k(w) composite?
True
Suppose -12 = -3*g, -20 = -o - g - 3*g. Suppose -o*m + 392 = 2*b - 606, 750 = 3*m + b. Is m composite?
False
Let l be -1 - 0 - 113*-1. Let n be (-2)/13 + l/52. Suppose 3*k = -n*f - k + 434, -2*k = -3*f + 675. Is f a composite number?
False
Let m be 2/1 + 219 + 0. Suppose 2*i = 217 + m. Is (i + -1 - -3)*1 prime?
False
Let h be 1*(9 + (-3 - 0)). Suppose -30 = -h*y + 1236. Is y a prime number?
True
Let o(y) = -386*y + 217. Is o(-15) composite?
False
Let r = -13 + 5. Is (2228/6)/((-1)/(12/r)) prime?
True
Let u(o) be the first derivative of -o**4/4 + 5*o**3/3 - 2*o**2 - o - 8. Let c be u(3). Is c - (-3 + 6) - -207 prime?
False
Suppose 0 = 5*v + 5*n + 20, 0*v - v - 12 = 3*n. Suppose 5*b - 5 - 5 = v. Suppose -24 = -b*a + 198. Is a a prime number?
False
Suppose 4*j + j = -5*z + 10, -5*j - 2*z = -4. Suppose j = -8*g + 13864 + 4800. Is g a prime number?
True
Let j(x) = 20306*x**2 - 3*x. Is j(1) a composite number?
True
Let m be (675/(-6))/(-5)*(12 + -10). Let w = 746 - m. Is w prime?
True
Let m(p) = 5*p**2 - 8*p + 2. Let d be m(7). Let r = 216 + d. Is r a composite number?
True
Let f(h) = -h**2 + 7*h - 4. Let o = 18 - 12. Let m be f(o). Suppose 2*g + q - 502 = 0, 7*g - m*g + 2*q - 1255 = 0. Is g a prime number?
True
Suppose 0*o - 10 = -5*o. Suppose 4*r + o - 10 = 0. Suppose 390 = r*n - 2*x + 126, 651 = 5*n + 4*x. Is n composite?
False
Suppose 0 = n - 2 - 2. Suppose -n*t + 203 = 3*z + t, 5*t - 5 = 0. Suppose 83 = d - z. Is d a prime number?
True
Let k = -14 + 19. Suppose 3*g + 2*q + 2396 - 9809 = 0, g = k*q + 2488. Is g composite?
False
Suppose -4*j - 2*v + 850 = 0, -3*j + 238 + 380 = -5*v. Is j composite?
False
Let v = 3 + -4. Let n = -2 + v. Is (1 - -105) + n + 6 composite?
False
Let k be (12656/10 - 1) + (-6)/(-15). Let b = k + 3018. Is b composite?
False
Suppose 0*g + 107387 = 3*g + k, 0 = -g + 4*k + 35813. Is g a prime number?
True
Let u(t) = 2*t. Let f = 9 + -7. Let r be u(f). Is (1 - -13)*2/r prime?
True
Suppose 0 = -14*b - 38*b + 3603028. Is b prime?
False
Suppose -30 = 5*g - 8*g - 3*u, 0 = -5*g + 3*u + 42. Is g a prime number?
False
Let i(q) = q - 5. Let m be i(9). Suppose m*g - 383 - 93 = 0. Is g a composite number?
True
Let l(q) = 2*q**2 - 60*q - 67. Is l(-27) prime?
True
Is ((-21)/4)/7 - (-538075)/20 a prime number?
True
Let p = 97461 + -28000. Is p a composite number?
True
Suppose 4*g - 3*g - 2 = 0. Let p be (-2)/4 + 7650/20. Suppose g*q = -0*q + p. Is q a prime number?
True
Let i(o) = -o**3 - 13*o**2 + 14*o. Let d be i(-14). Suppose d = 5*t - t - 12. Suppose -224 + 1130 = t*x. Is x a prime number?
False
Let f(h) = -5420*h**3 + 3*h**2 + h - 1. Let d be f(-1). Suppose -d = 5*q - 1416. Is 5/20 + q/(-12) prime?
True
Let b = 5144 + -2997. Is b composite?
True
Suppose -g = -11092 - 1614. Is g prime?
False
Suppose 6*a - 9 = 9. Is a/(-7) + (-2614)/(-7) a composite number?
False
Suppose 2*r - 8*r = 0. Suppose r = -d + 4*t + 982 + 873, 7384 = 4*d - 4*t. Is d composite?
True
Suppose 0*h - 3306 = -2*h + 4*j, 4*j = 3*h - 4963. Is h a composite number?
False
Let v(w) = 6*w**2 + 3*w - 7. Let o = -6 + 0. Is v(o) prime?
True
Let l = -13801 - -25756. Is l/(-60)*(-2 + 6)*-1 a prime number?
True
Suppose r = -3*q - 0*q + 1358, -5 = 5*q. Is r prime?
True
Suppose -4*h + 24 = -8. Suppose -10*b + 718 = -h*b. Let r = b + -146. Is r a prime number?
False
Is 124*(-49753)/(-264) + (-2)/(-12) a prime number?
True
Suppose -5*i - 2261 = -c, -9*c - 2289 = -10*c - 2*i. Is c prime?
True
Let y(j) = 104*j - 2. Let h be y(-9). Let s = h - -1609. Suppose 2*a = 5*p - 1101, -2*a + s = 3*p + 2*a. Is p prime?
False
Suppose -m - 5*m = 60. Let x(s) = -30*s - 35. Is x(m) a prime number?
False
Suppose 12 = 4*n - 0. Suppose -2983 - 1320 = -n*o + 2*a, a - 4 = 0. Is o a composite number?
True
Suppose 13*v - 4512 = 5*v. Suppose 3*z - 4*b = 561, z = -2*z + 3*b + v. Is z prime?
True
Let n(b) = -b**3 + 3*b**2 + b + 3. Let f = -43 + 39. Is n(f) prime?
False
Suppose -3*p = -8*p. Is (-2)/(-2) + p + 582 a composite number?
True
Suppose -3*q - 6 = -a + 8, -4*q - 23 = 3*a. Is ((-134)/(-3))/(15/9 + a) prime?
True
Suppose 9*n - 2475 = 6*n. Suppose -3*a = -n - 126. Suppose 4*h + 5*d = a, -5*h - 2*d + 421 = -4*d. Is h composite?
False
Let i(a) = 10*a**2 - 11*a + a**3 + 4*a**2 - 4 + 0*a**2 + 6. Let v be i(-14). Suppose 55 + v = j. Is j a composite number?
False
Let t = 9 + -9. Suppose -n + 0*n + 127 = t. Is n composite?
False
Is (-6)/6*5/((-20)/31268) composite?
False
Let y(a) = -a**3 + 3*a**2 + a + 2. Let m be y(3). Suppose -4*f = -0*f + n - 12, 2*n = 3*f + 2. Suppose x - 129 = -x + m*u, -f*x + 126 = -2*u. Is x prime?
False
Let d = 48 - 44. Suppose 0 = -2*y - 5*p + 2508, 0 = d*y - p - 5176 + 182. Is y a prime number?
True
Suppose 0*k - k - 5*w + 170 = 0, -2*w = 6. Let f be (108/(-63))/1*7/2. Let t = k - f. Is t composite?
False
Suppose -m - 5*p - 6 = 0, -m - 6 = -3*m - p. Let c be (18/27)/(m/(-6)). Is (c + 0)/((-4)/284) prime?
True
Suppose 5*o - 4 = 6. Suppose -o*l + 1499 = 5*i, i = -i + 3*l + 611. Is i prime?
False
Is (60559/46)/(2*(-2)/(-8)) a composite number?
False
Let b(o) = 74*o**2 - 2*o + 5. Is b(9) prime?
True
Suppose -4*u = 5*j - 12062, 45*u - 43*u - 2*j - 6022 = 0. Is u composite?
True
Let f = 655 - -802. Suppose 3*p = -2 + 17. Suppose 3*a = p*s + f, -6*s + 8 = -8*s. Is a a composite number?
False
Suppose -b + 350 = 4*b. Let h = -22 + b. Let r = 163 + h. Is r a prime number?
True
Let a(c) = -c**2 + 8*c - 3. Let u be a(7). Let w = u + -7. Is 112/3 - (-1)/w a prime number?
True
Let z(p) = 0*p**2 + 0*p**2 + p**2 + 5 - 14*p - 17. Is z(-5) prime?
True
Let u(b) = 6*b**2 + 4*b - 23. Suppose -v + 0*v + 6 = 0. Is u(v) prime?
False
Suppose -6*q - 6 = -3*q. Is (1 - q) + (-1360)/(-10) composite?
False
Suppose 5*l + s - 11430 = 2787, -s = -2. Is l composite?
False
Suppose 54 - 26 = 7*w. Let a be 4/2 + (-2)/(-2). Suppose -7*x + 2*x + 930 = 5*o, -w*o = -a*x + 565. Is x a composite number?
True
Suppose 39126 = -105*h + 111*h. Is h composite?
False
Let a = -7 + 9. Let f be (-2)/5*76 + 4/10. Is (-44330)/f + a/(-3) prime?
False
Let x(l) = -1930*l - 53. Is x(-3) a prime number?
True
Let u = -65 - -68. Suppose -5*a + 2086 = -u*a. Is a a prime number?
False
Let p(f) = -9230*f - 3. Is p(-1) prime?
True
Let t = 197 + -1347. Let w = t - -3367. Is w composite?
True
Suppose -5*d - 10 = 0, -q + 6*q - 4300 = -5*d. Is q a composite number?
True
Let x(l) = -354*l**3 - 3*l**2 - 4*l - 2. Is x(-1) a composite number?
False
Is 7/(9 - 10) - (-8467 - 1) a composite number?
False
Suppose 10*x = 17*x - 28. Suppose -5*b + 306 = x*b. Is b composite?
True
Let b(h) = -h**3 + 41*h**2 + 22*h + 15. Is b(38) composite?
True
Suppose 0 = 5*n + 5*h - 7035, 0 = -4*n + 10*h - 5*h + 5646. Is n prime?
True
Let d be (4/6)/((-7)/21). Let a be (3 - (-7)/d)*-2. Is (a/2)/((-2)/(-28)) a prime number?
True
Is (120476/(3 + -7))/(5/(-15)) prime?
False
Suppose -20 = -5*v - 2*q, -2*v + 0*q + 3*q = -27. Is (-7754)/(-4) + (21/v - 3) composite?
True
Let m(v) = -53*v - 26. Let f(u) = -52*u - 25. Let p(w) = 5*f(w) - 6*m(w). Is p(21) prime?
True
Let d(f) = 4*f + 20. Let n be d(-6). Is n/6*6822/(-12) prime?
True
Let h(y) = -y**3 - 6*y**2 - y. Suppose 0 = -3*f + 2*c - 3 - 7, c = 5*f + 26. Let s be h(f). Suppose 3*b + 381 = s*b. Is b a prime number?
True
Let c = -13401 + -3176. Let t be (-6)/(-4) + c/(-22). Let n = -436 + t. Is n prime?
False
Let c = 292 + 1645. Suppose 3*u = -3*v + u + 1159, 0 = -5*v - 2*u + c. Is v a composite number?
False
Let j be 20/(-15)*(-33)/2. Let s = 69 + j. Is s a prime number?
False
Suppose 5*z = 5*y - 21305, -5*z + 2*z - 8518 = -2*y. Is y prime?
False
Let l(f) = 53*f**2 + 8*f + 121. Is l(-8) a prime number?
True
Suppose 55 = 5*m - v + 21, 0 = -2*v + 2. Let a = -7 + m. Suppose -4*x - 198 + 1722 = a. Is x prime?
False
Let z(y) = y**3 + 5*y**2 + 5*y + 1. Let g be 0 + (1 - 0 - 5). Let b be z(g). Is 83 + 3/1 + b prime?
True
Let i = -47 + 50. Suppose i*l + 0*l = 2397. Is l composite?
True
Let q(c) = 208*c**3 - 3*c**2 + c - 2. Let w(t) = -1041*t**3 + 16*t**2 - 6*t + 11. Let b(v) = -11*q(v) - 2*w(v). Let k be ((-4)/6)/(20/30). Is b(k) prime?
False
Let o(h) = -h**2 - 5*h. Let w be o(-6). Is 