w = -12 - -16. Suppose 5*r - w*r = 0. Suppose -2*d = -4*d - i + 263, -d + i + 124 = r. Is d a composite number?
True
Let l = 30878 + 3245. Is l a composite number?
False
Suppose -3*v + 48276 = 2*n - v, v + 96577 = 4*n. Is n a prime number?
False
Let q(u) = -6*u**3 - u**2 + 6*u - 7. Is q(-6) a composite number?
False
Let h(c) = -c**3 + c**2 - 3*c + 9598. Is h(0) prime?
False
Let m(o) = o**2 - 14*o + 43. Let n be m(9). Is ((-47)/n)/(2/148) composite?
True
Is 13782 + (-23 - -25)*1/(-2) composite?
False
Let i = -803 + 803. Let f = -9 + 14. Suppose i = -f*q + 5704 + 9381. Is q a composite number?
True
Let b(s) = s + 2355. Let r be b(0). Let c = 641 - 639. Suppose k - r = -c*k. Is k composite?
True
Is ((-1)/(2/8467))/((-5)/10) a composite number?
False
Let x = -6935 - -9911. Suppose 2*v = x - 1018. Is v composite?
True
Suppose 0 = -l + 5*l + 280. Let f = -35 - l. Is f prime?
False
Is 8861/(4 - (-3 - -6)) a prime number?
True
Let q = 15569 - 7956. Is q a composite number?
True
Let v(a) = 2*a**3 - a**3 + 12*a + 4*a**2 - 4*a - 6. Let o = -129 - -134. Is v(o) a composite number?
True
Let i be (-9 - -10)*(-2 - 2). Is i - -8 - 465/(-1) composite?
True
Let q = 79 + -429. Let m = 499 + q. Is m a prime number?
True
Suppose 6611 = d - 4*s, -s = -4*s + 6. Is d prime?
True
Suppose 4 = -4*q, q - 20045 = -4*m + 6*q. Let d be 2/7 - m/(-7). Suppose d = 3*j - 817. Is j prime?
False
Let u = -9 + 10. Is (u/(-1))/(7/(-5579)) a composite number?
False
Is 40820/28*5 - (-4)/(-14) prime?
False
Let p(b) = 97*b**3 - 10*b**2 - b - 9. Is p(5) a prime number?
False
Suppose -2*x - 8 - 2 = 3*q, 0 = 3*q - 5*x + 17. Let u be (-28)/(11/q + 3). Let o = u + 267. Is o prime?
False
Let b(x) = 374*x**3 - 2*x**2 + 2*x - 1. Let a be b(1). Suppose 6*j = 248 + 208. Let r = j + a. Is r a composite number?
False
Suppose 8659*d = 8666*d - 496055. Is d a composite number?
True
Let x = 11186 + -7573. Is x prime?
True
Let a(x) = -x**3 + 6*x**2 - 6*x - 3. Suppose 0 = -7*b + 12*b - 15. Is a(b) a composite number?
True
Let i = -61 + 64. Suppose -2*w = i*k - 502, -5*w - 2*k + 3*k = -1255. Is w composite?
False
Is ((-70000)/(-32) + 5)*(-212)/(-10) composite?
True
Let s = -5336 - -7663. Is s composite?
True
Let k be (-12)/54 + 114/27 - -6. Is (-6)/k - 7228/(-130) prime?
False
Let v be (-4)/10*10/(-4). Suppose 3 + v = k. Suppose k*c - 4 = -0*c, -967 = -5*q + 3*c. Is q prime?
False
Let u(s) = 25*s**2 + s + 3. Let z be u(8). Suppose -z - 1075 = -2*i. Is i prime?
False
Suppose 503 = -3*x + 104. Let b = 78 - x. Is b composite?
False
Let s(j) be the second derivative of -j**5/20 + 5*j**4/3 - 2*j**3/3 + j**2/2 + 14*j. Is s(14) a composite number?
True
Let t(c) = c**3 - c**2 - 10*c + 4. Let l be t(-6). Let h = l - -1095. Is h a prime number?
True
Suppose 377 = 5*v - 1143. Let z = v + 33. Is z a prime number?
True
Suppose -2*z + i + 7956 = 0, -3*z + i = -6*z + 11929. Is z composite?
True
Let f = 36724 + -21661. Is f composite?
True
Let u = -86 - -71. Let p(t) = t**3 + 21*t**2 + 12*t - 19. Is p(u) prime?
True
Let o(n) = 2*n + 4. Let w be o(0). Suppose w*j + j = 0. Suppose j = -3*g - g + 56. Is g composite?
True
Let q = 13 - 12. Is (0/(-1) + q)*21 composite?
True
Let l = -3 - -7. Suppose l*j - 2861 - 375 = 0. Is j composite?
False
Let a = 18 + -9. Let j(h) = h**3 - 7*h**2 - 3*h - 8. Is j(a) a composite number?
False
Is (3 - 790/4)/(40/(-3760)) a composite number?
True
Let q(t) = -163*t**3 + t**2 - 4*t + 5. Let f(c) = 162*c**3 - c**2 + 4*c - 4. Let i(r) = 6*f(r) + 5*q(r). Is i(2) a prime number?
False
Let y(p) = 3*p**3 - 114*p**2 + 41*p + 67. Is y(42) a composite number?
True
Let l(d) = 130*d**3 - 3*d**2 - d + 3. Let p(r) = -r + 521*r**3 - 3*r - 13*r**2 + 1 + 12. Let v(x) = 9*l(x) - 2*p(x). Is v(1) a prime number?
True
Suppose -92*i + 1390883 = -368433. Is i composite?
True
Let h = 808 - 1414. Is 2/6 - h/18 a prime number?
False
Suppose -8 = 4*b, -z - 10*b = -9*b - 11819. Is z a prime number?
True
Let p(g) be the second derivative of -56*g**3/3 + 3*g**2/2 + 8*g. Let t be p(-1). Suppose -4*o = -2*y - 446, -o = -2*o + 4*y + t. Is o a prime number?
False
Let c be 8/24 + 2/(-6). Suppose -s + g + 5897 = 3*s, c = 4*s - 5*g - 5901. Is -3 + 4/8*s a prime number?
False
Let j(w) = -9*w**2 - 56*w - 22. Let a(z) = 5*z**2 + 28*z + 11. Let b(n) = -7*a(n) - 4*j(n). Is b(12) prime?
True
Suppose 27*u = 37*u - 430. Suppose 5*k - k - 16 = 0, -2*k + 60 = -2*w. Let o = u - w. Is o a prime number?
False
Let y(j) = -j**2 - j + 9. Let t be y(-6). Let i be (-2 + -2)*t/2. Is ((-1)/(-3))/(2/i) composite?
False
Suppose -5*z = 5*v - 40, -3*v = 2*v - 15. Suppose -z*l + 696 = -t, -3*l + 418 = -0*l - t. Is l a prime number?
True
Let z = 52 + -22. Suppose -5*y - 10 = -z. Suppose -2*r = -5*b - 628, r + 1284 = 5*r + y*b. Is r composite?
True
Let p = 230 + -372. Let x = 0 - p. Suppose -3*f + 391 = -2*l, -f = -l - 2*l - x. Is f a prime number?
True
Suppose 0 = 2*w + 2*c - 14886, 17474 = 2*w - 2*c + 2580. Is w prime?
False
Suppose -7 = -v + 5*v + 5*g, -v = -2*g - 8. Suppose -x + 2317 = j, -2*x = -v*j - 1820 - 2802. Let z = x - 1527. Is z composite?
False
Suppose -a - 4*a - 6473 = 3*u, 2*u - 5*a + 4357 = 0. Let d = -1169 - u. Is d a prime number?
True
Is (-2 + -2)*(-455818)/88 a prime number?
True
Let v(x) = 3*x**2 - x - 45. Is v(8) a prime number?
True
Let y(z) be the first derivative of 37*z**2/2 - 9. Is y(2) prime?
False
Let z(a) = 2*a - 2. Let h be z(3). Suppose 4*j + 1812 = -3*t - t, h*t + 1364 = -3*j. Let l = 801 + j. Is l prime?
True
Let i(d) = 2*d - 1434. Let k be i(0). Is k/(1 + 0 - 1 - 2) composite?
True
Let i = 13 - 9. Let z = i - 0. Suppose 5*q = -z*y - y + 520, 5*q + y = 528. Is q composite?
True
Suppose 5*r = -2*m + 81, 2*r = m + 4*m + 15. Suppose 4*k - r = k. Suppose -4*s = k*v - v + 4, -4*s - 20 = -4*v. Is v prime?
True
Suppose 9*o = 10*o + 10511. Let m = o - -15294. Is m a composite number?
False
Let w = 1002 + -1829. Let o = 1944 + w. Is o a prime number?
True
Suppose 12*c - 6 = 9*c. Suppose c*b + 22122 = -4*b. Is 6/21 + b/(-7) a composite number?
True
Suppose 275 = -0*g + 5*g. Suppose -g = 3*b + 212. Let x = b + 418. Is x a composite number?
True
Let q = 1435 + 1380. Is q a composite number?
True
Let v = 104 + -39. Let s be 1/1*(-13 + 15). Suppose z - 45 = -5*o + v, s*o = z - 117. Is z a prime number?
False
Let y(j) = -j**3 + 2*j**2 + 3*j. Let k be y(3). Suppose p = -3*v - 0*p + 776, k = 3*p - 15. Is v prime?
True
Suppose 0 = -2*r + s + 4 + 7, -5*r + 4*s + 35 = 0. Suppose 3 + 42 = r*t. Is 2212/2 + t/(-5) a composite number?
False
Let y be 18/(-30) - 4/10. Let a(b) = b**2 + b. Let x be a(y). Suppose x = 3*g + 21 - 63. Is g a prime number?
False
Let u be (-7577)/(-5) - 12/30. Suppose -3*z + 5301 = u. Is z composite?
True
Suppose 3745*c + 282814 = 3747*c. Is c a composite number?
True
Let t(s) = 6*s**2 - 12*s + 29. Is t(-10) prime?
False
Let k be (815/20)/(1/(-4)). Let h = k + 230. Is h a composite number?
False
Suppose 2*c = s + c + 8, 3*c = s + 10. Let x(q) be the third derivative of q**5/60 + q**4/4 + 4*q**3/3 - 24*q**2. Is x(s) composite?
True
Suppose -24*a - 3*m = -27*a + 2310, 5*a - m - 3846 = 0. Is a composite?
False
Suppose 10 = 3*c + 1. Suppose 2*a = a + c. Is (1192/(-12))/((-2)/a) composite?
False
Let n be (-3)/6 + (-7)/(-14). Suppose -4*s - h + 2453 = n, 0 = -s + 4*h + 298 + 328. Is s composite?
True
Let o be (-21)/(-14)*24/9. Suppose -o*w - i = -7*w + 4502, -5*w + i + 7500 = 0. Is w a composite number?
False
Let r be (-333)/63 - (-4)/14. Is 2*(r + (-13585)/(-10)) a prime number?
True
Let q be (-1751)/(-5) + 60/75. Suppose q*v = 353*v - 404. Is v prime?
False
Suppose d + 9312 = 3*s, 2*s - 4*d = -155 + 6373. Is s prime?
False
Let b(m) = -38*m**3 + 2*m**2 - 5*m + 5. Is b(-6) composite?
True
Suppose 646 - 36 = -5*t. Let r = -222 - t. Let q = 735 + r. Is q a prime number?
False
Suppose 5*w = 4*a - 16 - 18, 3*w = -5*a + 61. Let s(v) = -18*v + 6*v + 0 + a. Is s(-9) composite?
True
Suppose 4*y = -w + 71, 2*y - 5*w = 15 + 4. Suppose 0 = y*i - 18*i + 641. Is i a prime number?
True
Suppose 0 = -28*l + 10794 + 83594. Is l prime?
True
Let y(r) = -32 + 61 - 32 - 32*r. Is y(-12) a composite number?
True
Let u(k) = 37*k**3 - 4*k**2 + 4*k - 11. Let r be u(5). Suppose 4*p - r = 3942. Let i = p + -590. Is i composite?
True
Let d(l) = 5*l**