Is s(8) composite?
False
Let r be ((-22)/(-55))/((-2)/120). Let j = r + 22. Is (-4*(-89)/j)/(-2) prime?
True
Let b(f) = 11894*f - 11. Is b(3) composite?
False
Let w(u) = -4*u**2 - u**2 + 2*u**2 + 2*u**2 + 6*u - 7. Let c be w(5). Is (-1)/c + 819/14 a composite number?
False
Suppose 29530 = -17*u + 22*u. Is u a prime number?
False
Suppose 11 = 5*s + 1. Let p(d) = 35*d**2 + 5*d - 5. Is p(s) prime?
False
Let s be (-7)/(21/(-1)) - (-17)/3. Suppose -5*p - 1259 = -s*p. Is p composite?
False
Let g = 74653 + -36936. Is g prime?
True
Suppose 6*j - 5424 - 3210 = 0. Is j prime?
True
Is (-1)/5 - (-103168)/40 prime?
True
Let l(w) = 7933*w + 3. Is l(2) a composite number?
True
Let w(x) = 3*x**2 - 5*x. Let m be w(4). Suppose 6*n = 2*n + m. Suppose 0 = r - 208 + n. Is r a composite number?
True
Let c = 25 + -23. Suppose -l + 161 = -c*a, -3*l + 7*l = 5*a + 638. Is l composite?
False
Is 41687/2 + (75/(-6))/5 composite?
True
Let b be (-1)/3 + (-39)/(-9). Let m = -53 - -56. Suppose b*x - 469 = m*x. Is x prime?
False
Suppose -x + 4*q = 6, -3*x = q + q - 10. Suppose b = -0*b - 5*n - 79, -5*b - x*n = 464. Is -3 + b*(-3 - 1) composite?
False
Suppose 67 + 133 = 4*c. Let n be 36/10 + 20/c. Suppose f - 977 = -2*t, -1448 = -3*t - f - n*f. Is t a composite number?
False
Let o = 18256 + -6435. Is o composite?
False
Suppose 3*l = -0*l + 3*n + 663, -884 = -4*l - n. Let f = l - 30. Is (0 - f)*(2 - 3) prime?
True
Let f(k) = -k**2 + 35*k + 31. Is f(15) composite?
False
Let g(t) = t**2 + 18*t + 2. Let n be g(-17). Let j = n + 29. Suppose p + 5*s = s + j, 3*s = -2*p + 18. Is p a prime number?
False
Let w = 6838 + -2895. Is w prime?
True
Let h(j) = -114*j - 49. Is h(-3) a composite number?
False
Let v = -2751 + 6259. Suppose 11*w = 7*w + v. Is w a prime number?
True
Let n = 12075 + -7328. Is n prime?
False
Let g = 17887 + 30760. Is g composite?
False
Let b = 826 + -440. Suppose -2*l = a - 1943, a - 2328 = -3*l - b. Is a a prime number?
False
Let n(j) = -4*j**3 + 126*j**2 - 24*j - 45. Is n(29) prime?
True
Let w = -6312 - -9241. Let h(i) = 3*i - 22. Let n be h(9). Suppose n*s + 644 - w = 0. Is s prime?
True
Suppose -4*h - 11 = 3*y, -5*h = 27 - 2. Suppose 0 = -y*s - 3*s + 474. Is s prime?
True
Suppose -o = -3*c - 593 + 3182, 0 = 2*c - 2*o - 1730. Is c a composite number?
True
Let h(b) = 0 - 10*b - 3 - 2*b. Let q(i) = -i**3 - 5*i**2 + i + 2. Let v be q(-5). Is h(v) composite?
True
Let d(f) = f**2 - 9*f + 7. Let t = 24 + -27. Let j be ((-4)/6)/(t/63). Is d(j) composite?
True
Suppose 5*w = 17*w + 60. Is 1295/(-21)*(w + 2/1) a prime number?
False
Let b = -8061 - -11783. Is b composite?
True
Let l be 13*16*(301 + (0 - 3)). Is (-3)/5 + l/65 composite?
False
Suppose -c + 10 + 1 = 0. Suppose c*v - 28342 = -413. Is v a composite number?
False
Let d(q) = 10313*q - 24. Is d(1) a composite number?
False
Suppose 7*p - 1146 = 226. Suppose 0 = 5*u + 68 + 367. Let q = u + p. Is q a prime number?
True
Let f be 2/(-12) - (0 - (-2900)/24). Let c = f + 452. Is c prime?
True
Let w(b) = 163*b**2 - 25*b + 1. Is w(-3) composite?
False
Suppose 1105 = a + 4*a. Is a composite?
True
Let s = -209 + 276. Is s a prime number?
True
Let n(j) = -j**3 + 9*j**2 + 1. Let a(f) = -3*f**3 + 19*f**2 - f + 2. Let k(w) = 2*a(w) - 5*n(w). Let x be -7*(6/(-2) - -4). Is k(x) a composite number?
False
Suppose 0 = 21*d - 65136 + 13623. Is d a composite number?
True
Let u(f) = 11328*f**3 - f**2 + 4*f - 3. Let o be u(1). Suppose -o + 1269 = -7*z. Is z a prime number?
False
Let i(m) = 20*m - 9. Let p be i(10). Suppose 0 = a - 4*a - 3*q - 186, 5*q - 32 = a. Let s = a + p. Is s a composite number?
True
Suppose -3*m + 2*i + 21 = 4, -i - 26 = -5*m. Suppose -5 = x + m. Let h(g) = -39*g + 1. Is h(x) composite?
True
Suppose -8*m - 2*g = -4*m - 11044, -3*g = -3*m + 8283. Is m a composite number?
True
Suppose 3*i + 2*j - 1 = -3, -4*j = -3*i + 22. Suppose i*k + 12 = 82. Is k a prime number?
False
Let v be (-12)/(-21)*49/14. Suppose -5*x = -4*l - 125, 2*x - v*l - 52 = -0*x. Suppose 19*w - x*w + 154 = 0. Is w a prime number?
False
Let l(k) = -21*k**3 + 2 + 7*k**2 - 8 - 17 + 19*k**3 - 5*k. Is l(-6) a prime number?
True
Let v(q) = q**3 + 7*q**2 - 9*q - 3. Let f be v(-8). Suppose f*x - 3088 + 858 = 0. Is x a prime number?
False
Suppose s - 3383 = -2*r, -2*r + 114*s = 113*s - 3373. Is r a prime number?
False
Suppose -3*b = -4*b, -30 = -3*n - 5*b. Suppose -n*d + 14657 + 30273 = 0. Is d composite?
False
Let k(d) = d**2 - d. Let c be k(0). Suppose c = 4*q - 246 + 94. Suppose 0*v - q = -v. Is v a composite number?
True
Let b(d) = 67*d**2 + 29*d + 119. Is b(-15) composite?
False
Let p(x) = x**3 + 2*x**2 - 35*x - 7. Let d be 5*(255/(-45))/((-10)/6). Is p(d) a prime number?
True
Let g(o) be the first derivative of o**2/2 - 4*o - 1. Let h be g(4). Suppose h = s + s - 106. Is s prime?
True
Let x(d) be the third derivative of 6*d**2 + 1/24*d**4 + 0*d + 0 + 113/6*d**3. Is x(0) a composite number?
False
Let l = 60 + 409. Is l a composite number?
True
Suppose 2*n + 3 = -1, 5*k + 4*n + 733 = 0. Let g = k + 287. Let j = 697 + g. Is j prime?
True
Let i = -820 + 1277. Suppose 4*x = -2*c + 920, -i = -c + x - 4*x. Is c composite?
True
Suppose 2*p - 1 - 1 = 0. Suppose -1255 = -5*y - 5*f, 3 = -f + p. Is y a composite number?
True
Let o be (-12)/8*-2*1. Let z(f) = 11*f**2 + 4 + 56*f**2 - 5 + 7*f. Is z(o) composite?
True
Let c = 9443 - 5632. Is c composite?
True
Suppose -4*h + 8 = 0, -3*q + h + 40 = -0*q. Let g = -33 + q. Let m = g + 33. Is m a composite number?
True
Let d(a) = -42*a**3 + 3*a**2 - 29*a - 7. Let u(s) = -21*s**3 + 2*s**2 - 15*s - 4. Let o(i) = -3*d(i) + 5*u(i). Is o(4) prime?
True
Let j be 220/(-1) + 10 + -13. Let u = j - -716. Is u a composite number?
True
Let q(r) = -21*r + r**2 - 6 + 22 + 30 + 1. Is q(-27) a prime number?
False
Let u(z) = -165*z - 36. Is u(-29) a prime number?
False
Let z(q) = 4*q**3 - 21*q**2 - 7*q - 49. Is z(15) prime?
False
Let s = -13 + 19. Is s/(-30) + (-532)/(-10) a composite number?
False
Suppose w - 6*c + 2*c + 9 = 0, 5*c = -2*w + 21. Suppose -w*x + 2*i = 28, -5*x - 4*i + 14 = 90. Is (-6)/(-36) - 658/x composite?
True
Suppose -109*y + 84784 = -93*y. Is y a composite number?
True
Suppose 0 = -2*o - 3*q - 576, 3*q - 4*q = o + 289. Let w be 4/12 + 1235/3. Let z = o + w. Is z prime?
False
Let j(z) = z**3 - 16*z**2 + 13*z + 30. Let h be j(15). Is (h - (-2 + 0)) + 539 a composite number?
False
Let o = 92 - 92. Is o + 1*(3 + 706) composite?
False
Let f = 35752 + -8499. Is f a composite number?
False
Suppose -283*u = -279*u - 2804. Is u composite?
False
Let j(g) = -2*g**3 - 4*g**2 - 4*g - 3. Let q be j(-2). Suppose q*i - 3497 = -2*v, -948 = -i + 5*v - 227. Is i a prime number?
True
Let m be ((-3)/(-9))/(3/36). Is 2*(2/m + 4 + 205) a prime number?
True
Suppose 5*m - x - 9 = 0, m = -2*m + x + 5. Is m*((-250)/(-4) + 3) a prime number?
True
Let m = -13 - -15. Suppose -3*l + 5*i + 57 = -2*l, -m*l + 3*i + 93 = 0. Suppose 5*o + l - 237 = 0. Is o composite?
True
Suppose 4*d - 3*d = -12. Let r = d + 8. Is 1/(0 + r/(-988)) a composite number?
True
Suppose 4*u = -0*u + 8. Suppose -178 = -4*m + u*m. Is m a prime number?
True
Suppose -2*h = -2*s + 2, 0 = 3*h - 2*s + 7*s - 21. Suppose -247 = -3*z - 2*p, p = -h - 2. Is z a composite number?
True
Let y be (10/(-5))/((-6)/3). Let q = -5 - y. Is (-6)/36 - 967/q composite?
True
Suppose 5*b = 7*b - 68. Suppose 4*j = -2*t - 2 + b, 4*t = -5*j + 55. Suppose -5*y - t = -45. Is y composite?
False
Let k = 4195 - 2965. Suppose -3*w + k = 5*u, u - 1242 = -3*w - 0*w. Is w composite?
True
Suppose 28 - 58 = 6*q. Let u(o) be the second derivative of -19*o**3/6 - 2*o**2 - o. Is u(q) a composite number?
True
Let i = 162 - 579. Let v = -26 - i. Is v composite?
True
Let l(c) be the second derivative of c**4/12 - c**3/3 + 361*c**2/2 + 38*c. Is l(0) prime?
False
Suppose 5*j - 143 = 3*r, 4*r + 46 = 3*j - j. Suppose -j - 1645 = -4*l. Is l composite?
False
Let n be 1*8*(-15)/(-10). Suppose -n = 3*s, -q - s = -117 - 993. Is q a composite number?
True
Let a = 5171 - 3282. Is a a prime number?
True
Let o(z) be the third derivative of z**6/120 - 17*z**5/60 + z**4/24 + z**3/3 - 2*z**2. Is o(17) a prime number?
True
Suppose -43851 = -10*y - 5761. Is y a prime number?
False
Let i(d) = 19 - 11 - 5 + 64*d**2 + 4*d. Is i(-2) a compos