2*l + 97, -d - f = -4*d - 2*l. Is d a composite number?
True
Let c = 7 - 46. Let m = -8 - c. Is m prime?
True
Is (-4811)/(-1)*(-3 + 4) composite?
True
Suppose 3*i - c - 2107 = 0, 3*c = -2*i - 0*c + 1412. Is i composite?
True
Let p be (-2)/7 - (-18)/14. Let o(s) = 12*s**2 + s - 1. Let w be o(p). Suppose 0 = -2*n + w. Is n prime?
False
Suppose 0 = 5*t - 3*y - 1816, 4*y = 5 + 7. Is t a composite number?
True
Is 436 - (-4 + 4 + -3) prime?
True
Let o(p) = p - 1. Let h be o(6). Suppose 2*k + h = -3*k. Is (130/(-8))/(k/4) composite?
True
Suppose 3*y = 3*t + 6, 0 = 3*y + 5*t - 5 + 31. Let l = 4 - 2. Is 4/y - (-95 - l) composite?
True
Let q(l) = -5*l**3 - l**2 - 7*l - 73. Let m(s) = -14*s**3 - 3*s**2 - 20*s - 220. Let h(c) = -6*m(c) + 17*q(c). Is h(0) a composite number?
False
Let o(w) = 94*w**3 + 2*w - 1. Is o(1) composite?
True
Let d = -17 + 24. Suppose 0 = -d*b + 3*b + 844. Is b a prime number?
True
Let y(t) = t**2 + t + 487. Is y(0) composite?
False
Let n(z) = -z**3 + 9*z**2 + 2. Is n(4) a composite number?
True
Suppose 2*c - 6 = -2. Suppose -6*i - c = -4*i - 3*b, 0 = -5*i - 4*b + 18. Suppose -268 = i*q - 4*q + 2*d, 561 = 4*q + d. Is q a composite number?
False
Let x = 63 - -29. Suppose l + 3*l - x = 0. Is l a composite number?
False
Let l be -4 + 1 - -1 - -2. Suppose -4*x = 4*g - 116, l = -5*x - 2*g + 102 + 49. Is x composite?
False
Suppose 19*r - 13*r - 2274 = 0. Is r composite?
False
Let p = 15 + -1. Let d = p + -10. Suppose -l - 1 + d = 0. Is l composite?
False
Suppose 3*m = m + 5*b - 11, -2*b - 64 = 3*m. Suppose -2*q = -q + 28. Let f = m - q. Is f composite?
True
Let a = 2 + 0. Suppose -12 = -a*t - t. Let x(q) = q**3 - 4*q**2 + 2*q + 5. Is x(t) prime?
True
Suppose 0 = -h - 3*g + 3828, 0 = -g - 1. Is h prime?
False
Let u(q) = q - 2. Let f be u(3). Let j = 15 - f. Is j a prime number?
False
Suppose u + 8180 = 5*u. Is u composite?
True
Suppose -4*o = 12, 0 = -2*i + 3*i - 4*o - 105. Is i prime?
False
Let q(j) = -j**3 + 4*j**2 + 4. Is q(-3) a composite number?
False
Suppose 2*a + 0 - 12 = 0. Let q be 3/(a*(-2)/(-1264)). Suppose 4*s + 0*s - q = 0. Is s prime?
True
Let v be 2/7 + (-11610)/(-35). Is 1/8*2*v composite?
False
Let l(j) = -3 - 3 + 5 + 34*j**2. Is l(1) composite?
True
Suppose 2*h = 4*h - 404. Suppose 5*u - 73 = h. Is u composite?
True
Let u(g) = -g + 8. Let n be u(4). Let k(y) = y**2 + y + 1. Is k(n) prime?
False
Let t be 3759*3/(-18)*-2. Suppose -1172 = -5*j + t. Suppose j = 4*w - h - 1008, -2*w + 744 = 2*h. Is w a composite number?
False
Suppose 3*x - 122 = -2*u + 7*x, -5*u + 318 = 3*x. Suppose -4*f + u = -3*f - 2*k, 2*k + 10 = 0. Is f prime?
True
Let t(m) = 103*m - 5. Is t(2) a prime number?
False
Is (1021 + 22)/(-1 - -2) composite?
True
Suppose 5*z = z + 8, -3*z - 3063 = 3*q. Let s = q + 1466. Is s prime?
True
Let d(g) = -g**2 - 8*g - 9. Let r be d(-6). Let a(k) = -k**3 - 14*k**2 + 15*k + 2. Let l be a(-15). Suppose r*x + l*x = 165. Is x composite?
True
Let z(p) = p**2 - 18*p + 24. Is z(-31) a prime number?
True
Let i be (1149/(-9) - 0)*-3. Suppose 32 = 5*d - i. Is d composite?
False
Is (-18 + 22)*(-3586)/(-8) a composite number?
True
Let d be ((-15)/(-20))/(2/(-16)). Let z be d/8 - (-54)/8. Let v = z + 1. Is v composite?
False
Let g be 6/15 + 2112/(-5). Let v = g + 203. Is (-1)/(-4) - v/4 a composite number?
True
Suppose 5*o + 4*r - 1731 = 0, -2*o + 4*r = -668 - 30. Is o prime?
True
Let p(b) = -b**3 + 20*b**2 - 39*b - 13. Is p(17) a prime number?
True
Let o(c) be the third derivative of -c**6/120 + 2*c**5/15 + c**4/24 - c**3 + 2*c**2. Let i be o(6). Let l = i - 51. Is l composite?
True
Let y = 5 - 0. Suppose -5*v + v + 4 = 0, -4*w - 4*v = -16. Suppose w*a + y*l = 191, -2*a = 7*l - 4*l - 128. Is a prime?
True
Let o(z) = 35*z**3 - z**2 + z. Suppose -5*g + 25 = -0*g, -g + 3 = -2*m. Is o(m) a prime number?
False
Suppose -979 = -4*z - 5*q, 2*z - 471 = 3*q + 46. Is z a composite number?
False
Let a(y) = y**3 - 6*y**2 + 5*y - 1. Let o be a(5). Let t = o + 3. Suppose v + 0*l - 117 = -t*l, -3*v + l + 358 = 0. Is v prime?
False
Let q(i) = -3*i + 40*i - 1 + 33*i + 10*i. Is q(4) a composite number?
True
Let o = 277 - 98. Is o composite?
False
Let t(x) = -320*x - 19. Is t(-9) a prime number?
True
Let f(h) = -62*h**3 - 3*h**2 - 4*h - 2. Let i be f(-2). Suppose 0 = l - 3*l + i. Suppose 0*u - 4*u - l = -3*o, 4*o - u - 318 = 0. Is o a prime number?
True
Let u = -344 - -493. Is u composite?
False
Suppose 0 = 2*d - 1171 - 3. Let u = d - 120. Is u prime?
True
Suppose 2*x - 2*o = -o - 37, 88 = -5*x + 4*o. Is (-11*2)/(8/x) a prime number?
False
Suppose -2*o = 7 - 15. Let q = 0 - -3. Suppose q*l = o + 11, 0 = 3*z + 2*l - 112. Is z composite?
True
Suppose -b = -0*b + 2*c - 5, 3*c = -3. Let v = b - 4. Is v prime?
True
Let o be (1*3)/(5 + -4). Let b be (15/(-3))/(o + -4). Suppose 0 = -b*c - 0*c + 1255. Is c prime?
True
Suppose 0 = 3*v - 1594 - 1262. Suppose 5*q - v = -237. Is q prime?
False
Let c(w) be the third derivative of -13*w**6/360 + w**5/24 + w**4/12 - w**2. Let v(b) be the second derivative of c(b). Is v(-4) a composite number?
False
Let q(g) = -10*g - 5. Is q(-3) composite?
True
Let h(j) = 6*j**3 - 2*j**2 + 3*j - 1. Let b be h(2). Suppose l + 5 + 21 = 0. Let k = b + l. Is k a prime number?
True
Let y(a) = 9*a - 2. Let j be y(6). Let g be (j/(-3))/(2/6). Let l = g - -75. Is l composite?
False
Let a = 980 - 663. Is a prime?
True
Suppose -5946 = 29*z - 35*z. Is z composite?
False
Suppose -1340 = -13*m + 363. Is m composite?
False
Suppose 4*n - 149 = 3*n. Is n a composite number?
False
Let k(d) = -18*d - 15. Let i be -2 + (-10)/(4 + -2). Is k(i) a prime number?
False
Let t(z) = 25*z - 4. Let h be t(3). Suppose 74 = -3*j - 2*p - h, -3*p = 6. Is ((-1)/(-1))/((-1)/j) composite?
False
Is (-2 - (-241 - -2))/(4/4) a composite number?
True
Suppose -5*q + 3486 = 2*s + 345, s + 2*q = 1569. Is s prime?
False
Suppose 3*t - t = 2*l - 1344, -4 = -4*t. Is l a prime number?
True
Let h be 501/9*1*-3. Let v = 333 - h. Suppose -5*g + 80 = -5*k + v, -k - g = -94. Is k prime?
True
Suppose 245 = 5*v + 5*a, -2*v + 223 = 2*v - 5*a. Let d = 87 - v. Is d a prime number?
False
Suppose -4*h + h = 4*p - 104, 3*p + 3*h - 81 = 0. Let d(l) = l**2 - 7*l + 2. Let n be d(4). Let f = n + p. Is f a composite number?
False
Let z = 10 - -64. Suppose -5*m - z + 24 = 0. Is (-2)/5 - 154/m a composite number?
True
Let j(p) = 275*p**2 + p - 1. Let w be j(1). Suppose g + 4*g = w. Suppose 0*d - g = -5*d. Is d prime?
True
Suppose 0 = -v + 20 - 6. Is v/63 + 842/18 a prime number?
True
Let h(b) = -9*b**2 - 6 - 8*b**2 - 7*b**3 + 2*b**2 + 33*b - 27. Let w(x) = -3*x**3 - 8*x**2 + 16*x - 16. Let t(c) = 2*h(c) - 5*w(c). Is t(-11) prime?
True
Suppose 0 = 6*g - 72 - 282. Is g composite?
False
Let u(z) = -3*z - 8. Let x be u(-6). Suppose -3*n - x = -43. Is n composite?
False
Let z = -18 + 25. Is z a composite number?
False
Let o = -201 + 323. Is o composite?
True
Let n = -16 - -15. Is 6/10*n*-65 composite?
True
Let o(q) = q**2 + q - 4. Let n be o(-3). Suppose -185 = n*z - 7*z. Is z a prime number?
True
Suppose 0 = -3*v + 4*v. Suppose -4*c - 72 = -5*a - v*c, 0 = -3*c + 6. Let g = 15 + a. Is g prime?
True
Let v(p) = p**2 - 3*p - 7. Let q be v(5). Is (1/q)/(5/1035) a composite number?
True
Suppose -4*c = 3*h - 105, -c = h + 3*h - 140. Is h a prime number?
False
Suppose v - 2*i = 7 + 1, -i + 18 = 5*v. Suppose v = h + h. Suppose h*w + 0*w - 26 = 0. Is w a composite number?
False
Let n(x) = -165*x**2 - 44*x. Let w(a) = 11*a**2 + 3*a. Let m(z) = -3*n(z) - 44*w(z). Suppose -5*j + 3*l = 8, -4*j + 3*l + 0*l = 7. Is m(j) composite?
False
Is (-1905)/(-2)*(11/3 + -3) a composite number?
True
Let x be 1664/6 - (-4)/6. Let o = -151 + x. Is o a prime number?
True
Let v = -1 + 4. Suppose 0*h + 2*r = -5*h + 228, -v*h = -r - 128. Let n = h + -31. Is n prime?
True
Let y(q) be the first derivative of 4*q**2 + 11*q + 1. Let d be y(8). Suppose 0 = z + 2*z - d. Is z a composite number?
True
Let w be 4 + -2 - (3 - 0). Let g(i) = -497*i + 2. Is g(w) prime?
True
Suppose 0 = -2*x + 2*b + 12, 0*x - 2*x - 12 = 4*b. Suppose -x*w = -5*g - 282, -5*w - 2*g = -g - 651. Is w composite?
False
Suppose 19 = -3*i - 5*t, 2*t + 6 = 5*i - 14. Suppose 0 = -3*x + 3*y + 681, -i*x + 79 = y - 363. Is x prime?
True
Suppose -2 = 2*n - 10, 5*n = 3*l - 91