b a composite number?
False
Let p(f) be the first derivative of -1 + 1/3*f**3 + 27*f**4 + 1/2*f**2 - f. Is p(1) a composite number?
False
Suppose -2*v = 5*n + 3*v + 1275, -2*v - 766 = 3*n. Let l = n - -473. Is l prime?
False
Let h be 3/(-4 + ((-378)/15)/(-6)). Is (-2)/(((-8)/7266)/(10/h)) prime?
False
Suppose 3*k - 39 = 3*r, -3*k - 4*r + 0*r + 74 = 0. Let x = k - 16. Suppose -5*o + 7*i = x*i - 60, 0 = o + 2*i - 6. Is o prime?
False
Suppose 93*a - 729200 = -15983. Is a a prime number?
True
Let m(s) = s**2 + 8*s + 5. Suppose 3*l - 3*j + 45 = 0, -2*l - 5*j - 7 = 2. Let f be m(l). Let g = f - -134. Is g prime?
False
Suppose p = 3*p - 12. Let a(i) = -4*i - 5 - 5*i - 4*i - p. Is a(-10) a prime number?
False
Let o(c) = -c**3 + 15*c**2 - 12*c + 10. Let f be o(12). Is f*2*(1 + 21/(-28)) prime?
True
Suppose 0 = -5*d - 1055 - 630. Let y = -48 - d. Is y a composite number?
True
Let g be 10/15*(-99)/(-6). Suppose -g*u = -14*u + 2427. Is u prime?
True
Suppose 0 = -564*y + 547*y + 1026001. Is y a composite number?
False
Suppose 0 = -262*u + 266*u - 21044. Is u prime?
True
Let c(q) = 140*q + 153. Is c(19) a prime number?
False
Let n = -444 - -8197. Is n prime?
True
Suppose -5*o + 4*a + 109385 = 0, 2*a + 103694 = 5*o - 5691. Is o a composite number?
True
Let r be 60/8*6/9. Suppose -r*m + 144 = -31. Is -1 + (m - (4 - 3)) prime?
False
Let a = -339 - -736. Suppose 3*z - a = -0*z - 4*v, -4*v = -16. Is z a prime number?
True
Let p(c) = 12*c**2 - 10*c - 15. Let r(q) = -q**3 + 7*q**2 - 4*q - 4. Let k be r(6). Is p(k) prime?
True
Suppose 0 = -5*s - x + 7 + 5, 0 = 4*s + 3*x - 3. Suppose 1024 = n - 5*p, s*n + 5*p = 6*n - 3122. Is n a prime number?
True
Let v(a) = 70*a**3 + 15*a**2 + 31*a - 9. Let c(q) = 14*q**3 + 3*q**2 + 6*q - 2. Let u(t) = 11*c(t) - 2*v(t). Is u(3) prime?
False
Let y = -967 - -1221. Is y a prime number?
False
Suppose -2*r + 4 = -4. Suppose 5*h = -3*l + 804 + 695, r*l = 4*h - 1180. Let s = -79 + h. Is s a prime number?
False
Is 14/63*24834*9/6 composite?
True
Let h = -460 + 4067. Is h a prime number?
True
Let h(x) = 6*x**2 - 9*x - 7. Let w be h(-6). Suppose 0 = r + 85 - w. Is r composite?
True
Let a(h) be the second derivative of h**3 - 13*h**2/2 + 6*h. Suppose 5*z - 16 = 3*z. Is a(z) a prime number?
False
Let b = -45 + 42. Is (8 - 364)*b/4 a composite number?
True
Suppose -2*l = -l - 1731. Suppose -l = -4*c + 2185. Is c a composite number?
True
Let b(c) be the second derivative of 5/12*c**4 - 3/2*c**3 + 0 + 1/2*c**2 + 2*c. Is b(6) prime?
True
Let d(t) = -5*t**2 + 2*t**3 - t**3 - 2 + 13*t**2 + 6 + 7*t. Is d(-6) prime?
False
Let s = -487 + 490. Let f(r) be the third derivative of 13*r**4/6 + 7*r**3/6 + r**2. Is f(s) prime?
True
Let i be (-5)/10*(-24)/4. Suppose 2*z + i*z - 3715 = 0. Is z a composite number?
False
Suppose 719 = -s + 2*w, -744 = s - w + 4*w. Let o = s + 1022. Is o prime?
True
Suppose 0 = -3*m - 9, -a = -3*m - 15823 - 519. Is a a prime number?
True
Suppose -2*t + 0*t - 3*a + 15 = 0, -3 = -5*t + 4*a. Let d = t + -5. Let k(p) = -4*p**3 + 3*p**2 + 2*p - 1. Is k(d) a composite number?
True
Let p(t) = t**3 - 6*t**2 + 2*t + 1. Let q be p(5). Let n = -13 - q. Is -614*n*1/(-2) a composite number?
False
Suppose -n - 4*b + 8 = -5*n, 0 = -3*n + 5*b - 10. Suppose n*f = 5*f. Suppose -2*r + 0*g + 104 = -2*g, 3*r + 3*g - 162 = f. Is r a prime number?
True
Suppose -60*q - 1659 = -67*q. Is q prime?
False
Suppose d = 5*n - 50 - 2451, 3*d - 1997 = -4*n. Is 2 + -3 + 4 + n composite?
False
Suppose 123915 = 11*h + 4*h. Is h prime?
False
Suppose -14 = -f - 11. Suppose f*z - 563 = 454. Is z a prime number?
False
Let z be (-4 - (2 + -4))*-3. Let f = 85 - z. Is f prime?
True
Let a(z) = -55*z + 2. Suppose w + 3*w + 48 = 0. Is a(w) a composite number?
True
Suppose u = -10*s + 6*s + 56853, -3*s = 2*u - 113716. Is u a prime number?
False
Let m be (2 + 15/(-6))*0. Let q be m + 3 + -3 + 42. Suppose q = 2*y - 3*d, -d - 8 - 71 = -5*y. Is y a composite number?
True
Let v = -23 - -17. Let f be (v/21)/(1/(-7)). Suppose -5*u + 5*j = -275, 0 = 3*u - f*j - 97 - 64. Is u prime?
False
Let p(n) = -n**3 - 4*n**2 - 5*n - 2. Let m be p(-3). Suppose 0*q + 494 = 2*q + 4*s, 8 = -m*s. Is q composite?
False
Suppose -3*c = 2*i - 16, -5*c - 75 + 13 = -3*i. Let h(t) = 2 + 40*t + 3 + 0. Is h(i) a composite number?
True
Suppose 0 = -v - 4*j + 2367, -3*v + 1972 + 5095 = -5*j. Is v a prime number?
False
Suppose -4*m = -8, -3*c - 7*m + 4*m + 21 = 0. Let j be 4/(-4)*1*-2. Suppose 0 = b - 1 + c, -2*p + j*b + 38 = 0. Is p composite?
True
Let d = 2541 + -2288. Is d composite?
True
Suppose -255 = 2*r - 5*r. Let f = 490 - 334. Let d = f - r. Is d a composite number?
False
Let j be (372/(-8))/((-2)/44). Let d = j + 100. Is d prime?
True
Suppose 2*c = -0*c + 248. Let a be c/6*21/(-2). Let q = a - -518. Is q a composite number?
True
Let l be 127 + (-8 - (1 + -5)). Suppose 108 = 3*w - l. Is w prime?
False
Suppose 0 = 6*x - 2*x - 12. Suppose 0*z = x*z - 6. Suppose -z*d - 223 = -3*d. Is d a composite number?
False
Let u(s) = s**2 + 9*s + 3. Let i be u(-9). Suppose -3*b = -b + i*q - 1922, 12 = 3*q. Is b a composite number?
True
Let k be 5 - (-2 - (4 + -8)). Let f(n) = 0*n**3 + 58 - 2*n**3 + 31 + k*n**3. Is f(0) prime?
True
Let l(o) = -o**3 - 10*o**2 - 9*o - 12. Let w be l(-9). Let s be (-50)/w + (-3)/18. Suppose -5*i + s*y = -34, 0*y = 3*i + 3*y - 15. Is i a composite number?
True
Suppose -2*q + 3*q = 0. Suppose 4*g + 56 - 164 = q. Suppose -198 = -3*b - g. Is b a composite number?
True
Let f = -440 - -1309. Is f a prime number?
False
Suppose 0*l - 5*l - 15 = 0. Let a(f) = -421*f - 1. Let u be a(l). Is u/4 + (-18)/(-12) composite?
False
Suppose -3*q - 5*z + 2567 = 0, 3*q = -0*z + 5*z + 2527. Let l = -406 + q. Is l a composite number?
False
Suppose 2*k = v + 30, 3*k + 0*k + 5*v - 32 = 0. Suppose 102 = 16*d - k*d. Is d prime?
False
Let u(r) = -5*r - 4. Let w be u(-1). Is 2230*(-2 + w)*(-1)/2 composite?
True
Let a(h) = -21 + 153*h + 7 + 3. Let t be a(8). Is (-10)/40 - t/(-4) a composite number?
True
Suppose -59*a + 1334419 = 22908. Is a a prime number?
True
Suppose 3*z - z - 4*b = 3154, 2*z + 4*b = 3162. Is z composite?
False
Let s = -3 - -5. Suppose 5*i = -4*a + 11, s*a + 2*i - 3 = -a. Is (-1)/a*(5 - -122) prime?
True
Suppose 3*d = 4*k + 1111, -3*d = -d - 2*k - 744. Let v = d - 110. Is v a composite number?
True
Let f = -15400 + 7447. Let u = 11612 + f. Is u prime?
True
Is (8/(-8))/(7/(-2863)) a composite number?
False
Let k = 339 - 196. Is k a composite number?
True
Let n be 3/(12/(-4))*-38. Suppose 0 = 4*v - n - 6. Let l(p) = 27*p + 6. Is l(v) a prime number?
False
Suppose 0 = -3*y + 7*y - 2056. Let l = -263 + y. Is l composite?
False
Let z = -68 - -62. Let n be 1/4 - 606/24. Is (-2440)/n - z/(-10) composite?
False
Is (-19314)/(-27)*(-6)/(-4) a composite number?
True
Suppose -3*l = -2*l + 334. Let p = l + 496. Let i = -35 + p. Is i a composite number?
False
Let g = 6193 + -1696. Is g a composite number?
True
Suppose 0*s = 4*r - 2*s - 24, -18 = -3*r - 3*s. Suppose -r*c + c + 485 = 0. Is c composite?
False
Let p(d) = d**2 - 8*d + 6. Let h be p(8). Let m = 13 + h. Is m a composite number?
False
Suppose 3*c = g - 17786, 5*g - 9*g - 2*c = -71102. Is g composite?
True
Suppose 4*w - 7*u = -11*u + 13540, w - 3409 = 5*u. Is w a prime number?
True
Let k = 1409 - -1830. Is k composite?
True
Let n = -9720 + 15133. Is n a composite number?
False
Let g(f) = 40*f**2 - 18*f + 49. Is g(9) a prime number?
False
Let f(q) = 3*q**3 + q**2 - q - 5. Suppose 2*b - 1268 = -5*r, -4*r + 3*b + 996 = -0*b. Let g be r/66 - (-6)/33. Is f(g) composite?
False
Let d(r) = r - 9. Let t be d(4). Let k(w) = -w**3 + 3*w**2 + 6*w + 1. Let h be k(t). Suppose -823 + h = -4*i. Is i composite?
False
Let g = 88 + -246. Let c = g + 345. Is c prime?
False
Suppose -q + 466 = -t, -914 = 2*t - 4*q + 8*q. Let d = t + 948. Suppose -190 = 5*c - d. Is c composite?
False
Let a(b) = 4316*b**2 - 7*b + 8. Is a(1) a composite number?
True
Is 8972 + (4/32 - (-78)/16) composite?
True
Let y(n) = -n - 1. Let i be y(-5). Suppose i*q = 8*q + 40. Let r = 43 + q. Is r prime?
False
Let g be (-4 + 5)*868 - -3. Suppose -5*a = o - 1124, g = -5*o - 4*a + 6386. Is o composite?
True
Let u = 37 + -36. Is 0 + u - (-3 + -849) a composite number?
False
Let c = -2559 - -5966. Is c a 