417, -3*b - 2020 = -5*x. Is x a composite number?
True
Let z be (-81)/3 - (-12)/3. Let t = z + 274. Is t a composite number?
False
Let g(p) = -21*p + 79. Is g(-12) a prime number?
True
Let p = 13 + -18. Is p/(-30) + ((-24925)/6)/(-5) a prime number?
False
Let q be -1 + 0/2 + 6. Let u(f) = 2*f**3 + f**2 + f + 1. Let y(b) = -8*b**3 - 10*b**2 - b - 7. Let i(j) = -3*u(j) - y(j). Is i(q) composite?
False
Suppose 5*x - 1167 - 1523 = 0. Let w be (0 - (-9)/15)/((-12)/(-40)). Suppose -w*c = 3*n - 563, -5 = -3*n + 3*c + x. Is n prime?
False
Let k = 1079 + -466. Let q = k + -56. Is q a composite number?
False
Let z(g) = 2*g**2 - 5*g + 5. Suppose 5*w + 22 = -p, -4*w - 31 = w - 2*p. Let i = w + 15. Is z(i) a composite number?
True
Suppose 5*y - 24016 = -4*i, -4*i + 5*y - 2*y + 24048 = 0. Is i prime?
False
Suppose 29 = -4*h - 35. Let b(z) = -95*z - 23. Is b(h) a prime number?
False
Let s(b) = 1314*b**2 - b + 3. Is s(2) a composite number?
True
Is (-699519)/(-45) - ((-274)/30 - -9) prime?
False
Suppose -5*x + 85640 = -a, 2*x - 4*a - 13520 - 20718 = 0. Is x a prime number?
False
Let k(n) = -786*n - 121. Is k(-12) prime?
True
Suppose 0 = 363*k - 370*k + 305627. Is k prime?
True
Suppose 5*m - 1636 - 9286 = -3*o, 3*o - 4*m = 10913. Is o a prime number?
False
Let y = -1113 - -105. Let k = 2057 + y. Is k a prime number?
True
Let s = -56 - -952. Suppose -s + 268 = -4*b. Is b a prime number?
True
Suppose f - i - 4 = -3, 3*f - 15 = -i. Suppose -2*l + m + 15 = 0, -l - 25 = -2*l + f*m. Suppose -4*h = -l*p - 812, -p + 812 = 4*h + p. Is h a prime number?
False
Let j be 3098*(1 + 2 + -4 - -2). Suppose 1250 + j = 4*k. Is k a prime number?
True
Let o(m) = -m**2 + 8*m - 7. Let x be o(6). Suppose 0 = -x*r + 255 + 1240. Is r + (-12)/3 + 0 prime?
False
Suppose 3*f = -4*s - 1, 0*f = 3*f + 9. Let a be (-3 + s)*(-1850)/2. Suppose w + 4*w = a. Is w composite?
True
Is (3537/54)/((-2)/(-116)) - 6 a composite number?
False
Let m(a) = a**3 + 4*a**2 - 3. Let v be m(-4). Let y be v + 1 + 18/2. Let b(j) = -j**3 + 9*j**2 - 8*j - 9. Is b(y) a prime number?
False
Let s be -1 + 3 - 40/(-10). Suppose -11*f = -s*f. Let d(b) = -b**3 + b**2 + 157. Is d(f) a prime number?
True
Suppose 5*m + 11 = 2*q - 12, q = 5*m + 19. Suppose q*x - 3*x = -4*b + 5137, 5*x + 3824 = 3*b. Is b composite?
False
Let i(q) = -q + 17. Suppose -7*j - 82 = 9. Let m be i(j). Suppose -m = -4*o + 110. Is o a composite number?
True
Let f = -16 - -25. Suppose -f*z = -20*z + 5269. Is z a prime number?
True
Let k = -4 - -28. Let n(j) = -j**2 + 10*j - 1. Let z be n(7). Let h = k - z. Is h a prime number?
False
Suppose -2*m + 5*m - 15 = 0. Suppose -5*b + 32 - 7 = -m*w, -3*b + w = -19. Suppose -b*f + f = -2238. Is f a composite number?
False
Suppose 5*l = -2*t + 3978 + 1031, 4*t + l = 9991. Is t composite?
True
Let f(x) be the first derivative of 79*x**4/4 - 5. Let k be f(2). Let v = -345 + k. Is v a prime number?
False
Suppose 0 = -6*w - 7*w + 91. Let f(k) = 8*k - 2 + 13*k - 2. Is f(w) a composite number?
True
Suppose 2*f - b = 4*b + 47346, b - 47322 = -2*f. Is f composite?
False
Let z = 22 - -3. Is 49/2 - z/10 a prime number?
False
Suppose -4*v - 751400 = -5*x - 80205, -3*v - 402714 = -3*x. Is x a prime number?
True
Let z(l) = 21*l - 46*l + 7 + 19*l**2 + 21*l. Is z(-5) a prime number?
False
Suppose 41*w + 4696 = 139463. Is w a composite number?
True
Let p(d) = 3*d + 13. Let k be p(-9). Suppose 5*u - 20 = 6*u. Let s = k - u. Is s prime?
False
Suppose 0 = 19*h - 0*h - 546269. Is h composite?
False
Suppose 4*t + 4*m = 12, 3*m - 4 = 2*t + 10. Let i be t + (-1 + 0 - -5). Suppose -4*a - i*w = -207 + 4, -5*w = -2*a + 121. Is a prime?
True
Suppose 2*k + 2*d - 12 = 0, 4*d - 28 = -5*k - 2. Suppose 0 = -2*f + 6*o - 2*o + 3138, 0 = 5*f - k*o - 7821. Is f a prime number?
False
Let i = -90 - -94. Suppose -i*m + 2*p + 4 = -308, -5*m - 2*p + 381 = 0. Is m composite?
True
Let q(b) = 23*b**2 - 27*b - 37. Is q(-32) a composite number?
False
Let r(s) = -853*s - 212. Is r(-9) a composite number?
True
Suppose 3*k = 2*l + 5, 6 = -3*l - k + 5*k. Let z = -2 - -1. Is (34*(-11)/z)/l composite?
True
Suppose 3 = g - 2. Suppose -g*u + 1157 = -1063. Suppose -v = -5*v - 3*t + u, 0 = -2*t. Is v prime?
False
Let t(b) = -b**3 + 5*b**2 + 3*b + 6. Let n be t(6). Let h be (-934)/n - (-6)/36. Suppose 4*k - 404 = -4*y, -h = -2*k + 4*y + 154. Is k a prime number?
False
Suppose -14 - 11 = -s. Let m be (-2)/(-4) + s/(-10). Is (-44)/((-8)/m)*-1 composite?
False
Let m(w) = 7*w - 22. Let a be m(4). Suppose 3*z + 3*s - a*s = 13164, -5*z - s + 21958 = 0. Is z a composite number?
False
Is 12/(-30) - 504342/(-30) a composite number?
False
Suppose 0 = -2*q + 216 + 80. Let w = q + 487. Is -3*(w/(-3) + 0) a prime number?
False
Let q(f) = -f**2 - 12*f + 11. Let k be q(-13). Let h be 5/k*48/(-30). Suppose -l + h*l - 355 = -o, 10 = -5*o. Is l composite?
True
Is (-6)/(-39) - (-14)/(1092/35010) a prime number?
True
Suppose 2*d + 40 = -4*k, -k - 30 = 2*d + k. Let i = 10 + d. Suppose -n + 2*c + 43 = i, -5*c + 6*c + 151 = 4*n. Is n prime?
True
Let k(j) = j**3 - 5*j**2 + 5*j - 3. Let w be k(3). Is (-9770)/(-25)*(-15)/w a composite number?
False
Suppose n + 4*n - 20 = 0. Suppose 1077 = n*k - k. Suppose 2*p - k = 23. Is p a composite number?
False
Let c = -675 + 2042. Is c a composite number?
False
Let w(z) = -1780*z - 261. Is w(-2) a prime number?
True
Let d = -94 - -94. Suppose d*i - 2*i = -628. Is i a prime number?
False
Suppose -4*y + 11 = 23, -4*y - 52657 = -5*j. Is j composite?
False
Suppose -7*d = -2*d - 10. Let q be 6/d + -2 - -2. Suppose 2*w + 297 - 38 = 3*b, q*b + 4*w = 229. Is b prime?
True
Let c(d) = 37*d**2 - d - 3. Let u be c(2). Suppose z - 968 = u. Is z a prime number?
False
Let y(d) = d**2 + 33. Is y(34) prime?
False
Let b(x) = 155*x**3 - 2*x**2 + 4. Is b(3) a composite number?
True
Let l(g) = g**3 + 13*g**2 + g + 16. Let u be l(-13). Let c(p) = 5*p - 4*p + 4*p**2 + 1 + u. Is c(-3) a composite number?
False
Suppose 4*x - 15498 = -2*n + 4242, 2*n = 3*x - 14819. Is x a prime number?
True
Let b = 8043 - 5582. Is b a prime number?
False
Let k(b) = -459*b. Let h be k(-4). Suppose -2*o = -4*r - h, 6*r - 2*r - 2734 = -3*o. Is o prime?
False
Is -130 + 134 + (0/(-1) - -7993) prime?
False
Let m = 6796 - 339. Is m composite?
True
Suppose 2799 = i - 5*s, -s + 5642 = 2*i - 0*i. Is i prime?
True
Let a(b) = -b**3 - 5*b**2 + 15*b. Let d be a(-8). Suppose 2*z = 5*w - 2*z - 921, -2*w = -z - 369. Suppose -l + d = -w. Is l prime?
True
Let y = 1895 - 1152. Suppose -2*j = l - y, -2*j = -4*l - 0*l + 2952. Suppose 726 = 5*n - l. Is n prime?
True
Let r(c) = 78*c - 53. Is r(33) a composite number?
False
Let x be 3*(115/60 - (-3)/(-12)). Suppose x*f - 3*k = 1300, 2*f - 5*k - 9 = 492. Is f composite?
False
Let c be 2/(-6)*1*-9. Let v be 28/3 + 22/(-66). Is 2/c - (-2091)/v a composite number?
False
Suppose -p + 4*h + 4110 = 0, -p + 4105 = -42*h + 43*h. Is p prime?
False
Suppose 2*p - 2*s - 23 - 7 = 0, 21 = 3*p + 5*s. Let t(l) = l**3 - 12*l**2 + 13*l - 25. Is t(p) composite?
False
Suppose 0 = l - 19 + 4. Suppose 2*v + 70 = 5*w + 11, -3*v = 2*w + 98. Let a = l - v. Is a prime?
True
Let i(w) = -11*w - 1. Suppose -3*s + 6 = -6. Let y be (1 + -9)/4 - s. Is i(y) composite?
True
Suppose 5*m - 3*w - 48 = 708, -4*w = 3*m - 471. Suppose 3*u - 8 - 4 = 0. Suppose 2*l - 3*n - m = -44, u*l - 207 = -5*n. Is l a composite number?
False
Suppose 0 = 2*r + p - 3 + 4, 0 = -3*r - 5*p + 9. Suppose 2*x = -3*x + 830. Is x + (-1)/(r/6) composite?
True
Suppose 2*k = -3*r - 147, -6*r + 8*r + 146 = -2*k. Let a = k - -249. Is a composite?
True
Let t(c) = -c - 2. Suppose -3*o = -4*a - 7, -2 = -5*o - 2*a - a. Let k be t(o). Is (-2 - 3/k)*-499 a prime number?
True
Let c = -6457 - -12858. Is c composite?
True
Let f(h) = -101*h**2 - 4*h + 1. Let j be f(3). Let z = j + 1611. Is z prime?
True
Suppose 5*y - 5*a = -75, a + 0*a - 2 = 0. Is 7350/8 - y/52 a composite number?
False
Is (4/(-40)*-5)/((-4)/(-25768)) a prime number?
True
Let l(z) be the first derivative of 3/2*z**2 - 1 - 2*z. Is l(5) prime?
True
Suppose -2*s = -2*i + 1108, -2*s + 0*s = -i + 557. Is i prime?
False
Let b = -2862 + 4259. Is b prime?
False
Suppose 4*l - 19 = -n, -2*l + 5*n - n + 14 = 0. Suppose 1473 = l*c - 17. Is c prime?
False
Let a(k) = k**3 + 26*k**2 - 50*k - 1. 