2*t = 3*v - 0*v - 3. Suppose -2*f + 1511 = -3*x, t = -2*x - 0*x - 6. Is f prime?
True
Suppose -257 + 903 = 19*u. Let m be 30 + (-2)/2*-1. Let o = m + u. Is o composite?
True
Is -2 + 3260 + -8 + 1 prime?
True
Suppose -141511 - 68027 = -18*m. Is m composite?
True
Let d = -140808 + 197669. Is d composite?
True
Suppose -34891 = -37*n - 4*n. Is n composite?
True
Let h be (3/(-9))/((-9104)/(-3036) - 3). Is -1 + (h - 1) + (10 - 8) composite?
True
Let a be (40/(-14))/5*(-14)/4. Suppose 7 + 13 = 5*k. Suppose k*i - 158 = a*i. Is i prime?
True
Let n = -14 - -18. Suppose n*y = -5*f + 16 + 21, 4 = 3*y - f. Suppose l + 3*s - 56 = 0, y*l = -2*l + 5*s + 380. Is l a composite number?
False
Is ((-306)/(-27))/((-2)/(-213)) prime?
False
Suppose -2784 = 5*y - 4*b, 1132 = -y - y - 3*b. Let n = 4520 - y. Is n/16 + 3/2 a prime number?
False
Suppose -38 = -x + 2*b, -3*x - b + 2*b + 94 = 0. Is 8/(-10) + 138114/x + 6 a prime number?
False
Suppose -6*q + 6742 + 1640 = 0. Is q a prime number?
False
Let p be 2/(1*3/3159). Let c = -5924 - -8983. Let v = c - p. Is v prime?
True
Suppose 0 = -2*j - 2*h + 5110, -4*j - 2*h + 10208 = -h. Is j prime?
True
Is (-10229)/(-13) - 18/(-117) a prime number?
True
Is (-5)/(-4) - 1/4 - -2740 a prime number?
True
Let b = 32248 - 19828. Suppose 5*i - b = 625. Is i a composite number?
False
Suppose 5*m - 979 - 991 = 0. Suppose m + 86 = 4*a. Suppose 3*f - 975 = a. Is f prime?
False
Suppose -35*k + 37*k - 33922 = 0. Is k a prime number?
False
Let c(h) = -3*h**2 + 24*h - 12. Let d be c(8). Let y(q) = -q**2 - 14*q + 19. Is y(d) a composite number?
False
Let u be (6/1 - 0) + -4. Is 6/((-60)/3715)*-1*u a composite number?
False
Suppose -148*k + 536351 = 3*y - 152*k, -y = 2*k - 178777. Is y a prime number?
True
Suppose y + 5 = 7. Suppose 0 = -2*v + o + 307 + 244, y*v = 5*o + 563. Is v a composite number?
True
Let q be -8*((-4)/(-6))/((-4)/3). Let t(i) = 3*i**3 + 2*i**2 - i + 6. Is t(q) prime?
False
Suppose 7682 = y + y. Suppose g + 2*f - y = 0, g + 3853 = 2*g - 2*f. Is g a composite number?
False
Let y = -38 - -430. Let l = y - 277. Suppose 9 - l = -2*w. Is w composite?
False
Let j = 1902 - 3297. Let y = 3556 + j. Is y a composite number?
False
Let d(u) = u**2 + 35*u + 1003. Is d(0) prime?
False
Suppose 5*z - 98786 = -5*l + 41324, -4*z + 112128 = -4*l. Is z a prime number?
True
Suppose 0 = -5*h + 25, 5852 = 20*p - 18*p + 2*h. Is p prime?
False
Let l(y) = y**2 + 31. Suppose -i = -3*i. Suppose 0 = k + s + 1, 5*k - 1 + i = s. Is l(k) a prime number?
True
Suppose -4*g - 10*i = -13*i - 7135, 0 = 2*g + 5*i - 3561. Is g a prime number?
True
Let a(v) = -3*v + 4. Let f be a(4). Let o(s) = -s**3 - 3*s**2 + 2*s + 3. Is o(f) a prime number?
True
Let l(w) = w**2 + w. Let d be l(1). Suppose -20 = -5*c, 6*a - d*c - 4261 = 3*a. Is a composite?
False
Suppose -4*y + 3*y = 8. Is (-3)/1 - (-96 - y) a prime number?
False
Let t be -1*1 - 27/(-9) - -6. Is ((-1432)/32)/((-2)/t) a composite number?
False
Is -5 + (12/(-10))/((-21)/880215) composite?
True
Let b(k) = -k**3 - k**2 - k + 23. Let h be b(0). Let d = h + -21. Suppose -d*r + 3*r = 223. Is r a composite number?
False
Suppose -4*x + 3994 = 2*v, -3*x - 5*v - 4970 = -8*x. Is x a prime number?
True
Suppose 2*u + 2 = 0, -3976 = -2*j + 5*u + 4307. Is j a prime number?
True
Let m(o) = -5*o**2 - 12. Let v(t) = 14*t**2 + t + 36. Let s(x) = -17*m(x) - 6*v(x). Let i be s(7). Is (-6333)/i - 8/(-20) a prime number?
False
Let g(m) = 45*m**3 - m**2 + m. Suppose -3 = -p - 2. Let l be g(p). Is (-4658)/(-18) + 10/l composite?
True
Let u = 1 - -1. Let n(t) = t**3 + t**2 + t - 1. Let y(r) = 10*r**3 + 4*r**2 + 3*r - 3. Let i(x) = -12*n(x) + 3*y(x). Is i(u) a prime number?
False
Let w be (-8)/(-1 + 3) + 2. Is (248 - 1) + w + 6 a composite number?
False
Suppose 3*h = p + 7, 4*p - 3*h = -h + 12. Suppose 0*j + 4*j - 436 = -p*o, -o + 545 = 5*j. Let i = j + 49. Is i a composite number?
True
Suppose 8*x - 6 = 18. Let y = -6 - -8. Is (6 - x)/(y/698) prime?
False
Let k = -14 + 18. Suppose -k*w = -2226 - 66. Is w a prime number?
False
Let h(w) = -6*w - 30*w + 7 - 18*w. Let k = -1144 - -1138. Is h(k) composite?
False
Let r(s) = 2055*s**2 + 4 + 101*s**2 - 3 + 454*s**2. Is r(-1) prime?
False
Is (3 - 550/3)/((-1)/33) prime?
False
Let f = 3 + -2. Suppose f = -t - q + 10, 5*q - 25 = 0. Suppose 0 = 2*z - t*n - 68, -n = -z + 15 + 19. Is z a prime number?
False
Let q = 5 - 2. Let m = 47 - 45. Is ((-23)/q)/(m/(-30)) composite?
True
Suppose 3*b + 5*k = -26, -2*b + 2*k = -k - 8. Let h be b - -4 - (2 + 1). Is 1 + 1*-78*h prime?
True
Let g be 144/63 - 5/(70/4). Suppose 2*i - 1270 = -g*p, -2*p + 6 + 2 = 0. Is i a prime number?
True
Suppose 3*u - 139 = -2*n, -u = -6*u - 4*n + 235. Let t = -31 + u. Suppose -28 = -4*k + t. Is k a composite number?
True
Let d(h) = 262*h**2 + 29. Is d(-6) a composite number?
False
Let d(w) = 718*w**2 - 14*w - 77. Is d(-4) composite?
False
Let a(d) = -83*d - 10. Let j be a(-8). Suppose 2*x + 307 = 5*w - 798, -3*x = -3*w + j. Is w a composite number?
False
Let q be ((-4298)/(-35))/(2/5). Let r = -116 + q. Is r composite?
False
Suppose -2*v = -285 - 317. Let f = v - 174. Is f prime?
True
Let r = -3404 + 1539. Let j = r - -3336. Is j a composite number?
False
Suppose 9*o = -7*o + 586864. Is o a prime number?
False
Suppose 86 = 3*k - 1081. Is k prime?
True
Let z = 4280 - 2334. Let f = -1087 + z. Is f composite?
False
Suppose 4*t + 156 + 39 = 3*n, -259 = -4*n + 5*t. Suppose -4*j - 97 = -5*b, 3*b - 2*j = -j + n. Is b a prime number?
False
Let a(m) = -1469*m - 17. Is a(-2) prime?
False
Let v = 1 + 1. Suppose 0 = n - 0*n - v. Is (7/n)/((-3)/(-186)) composite?
True
Is 4/10*-5 + 4753 a composite number?
False
Let n(m) = -m**3 - 2*m**2 - 2*m + 4829. Is n(0) a composite number?
True
Let a be (1 - 1)/((-4)/4). Suppose -5*l = -a*l - 2205. Suppose 5*f - 149 - l = 0. Is f composite?
True
Suppose -2*u - 14 = -l + 13, -u - l - 6 = 0. Let c(j) = j**3 + 13*j**2 + 11*j + 10. Is c(u) prime?
True
Let c be (-15)/(-9) - (-2)/(-3). Let q(x) = c + 3 + 10*x - 3*x. Is q(5) a prime number?
False
Suppose 44*g = 50*g - 43518. Is g a prime number?
True
Let d(a) = -14*a - 21. Let h(b) = 4. Let z(o) = 3. Let j(l) = 2*h(l) - 3*z(l). Let u(g) = d(g) - 2*j(g). Is u(-13) prime?
True
Let i be (-4)/(-22) + (-9576)/154. Let z be 2/4*(-8 - i). Let m = -8 + z. Is m composite?
False
Suppose 4*x + 2412 = -5*x. Let j = x - -389. Is j composite?
True
Let c = 4974 + -2707. Is c a prime number?
True
Let l = 14 + -14. Let r be l/(-8)*(-1)/(-2). Suppose 0*m = -4*m + 20, r = -3*v - m + 1124. Is v prime?
True
Suppose 3*w + 7*j - 4*j = 0, -w - 8 = 3*j. Suppose 3*t = f + 578, 0 = -w*t - 6*f + 3*f + 749. Is t composite?
False
Suppose -3*i = -f + 625, 2698 = 5*f + 3*i - 463. Is f prime?
True
Suppose 0 = -4*i + 2472 + 32. Is 5 + i - 4/2 composite?
True
Let k(r) = -4507*r + 176. Is k(-9) a prime number?
True
Let q(i) = -i**3 + 10*i - 5. Let s be q(-8). Let d = 1196 - s. Is d a composite number?
False
Suppose 2*g + g = -o - 2, -24 = -4*g + 4*o. Suppose -3*y + 2 + g = 0. Suppose -y = -2*n + 3. Is n composite?
False
Suppose 665 = 2*i - 333. Is i a prime number?
True
Let p be ((-18)/4)/((-11)/814). Suppose p = 2*b - 245. Is b a composite number?
True
Suppose -5*r + 4526 = 2*y - 1413, r = -4*y + 1177. Is r a prime number?
False
Let i(u) = 2*u + 25. Let l be i(-12). Let m be (0 + l)*(-11 + 13). Suppose m*k - 108 = 2*r + 412, -4*k + 3*r = -1043. Is k prime?
True
Is -10*(-9)/45*(-270939)/(-6) composite?
False
Let y = -32602 - -56495. Is y composite?
False
Let r be (-6 - (0 - 2)) + -3. Let t(q) be the second derivative of q**5/20 + 3*q**4/4 + 3*q**3/2 + 2*q**2 - q. Is t(r) prime?
False
Let a be (-81)/(-12) + (-6)/(-24). Let w(o) = 30*o**2 + 13*o - 24. Is w(a) a prime number?
False
Is -8 + (48/(-8) + 10508 - -5) a composite number?
False
Suppose 4*r + 20 = -3*w, 3*r = 8*r - 4*w + 56. Is (4614/(-24))/(2/r) composite?
False
Suppose -1196*z - 18965 = -1201*z. Is z prime?
True
Let b = -372 + 1166. Is b a prime number?
False
Let w = -544 + 851. Suppose 4*q - w = 1857. Is q composite?
False
Suppose 4*p + 14 = 258. Suppose -750 = 11*r + 14*r. Let o = p + r. Is o a prime number?
True
Let v(h) = -13*h - 10. Let r be v(-7). Suppose -r = d - 34. Let o = d - -68. Is o a prime number?
False
Let k(i) = 129*i + 10