 u a composite number?
False
Let y = -1870 + 6197. Is y a prime number?
True
Suppose 3*v = -2*v - 10. Let h be -4 - (v - (-4 + 1228)). Suppose 4*q = -g + 489, 2*g = q + h - 253. Is g prime?
False
Suppose q - 3*p - 1567 = 0, -2*q - 5*p + 631 + 2547 = 0. Is q a prime number?
True
Suppose 4*c = 5*r - 786, -67 = -r + c + 90. Let k = 242 - r. Suppose -226 = -2*p + k. Is p a prime number?
False
Suppose 4*q + 5*s = 74683, -3*s - 2*s - 18652 = -q. Is q composite?
True
Let g = 27 - 20. Suppose 8*t = g*t + 1211. Is t composite?
True
Let p = -6 - -10. Let w(m) = m - 4*m**2 - m + 3*m**2 - 5 + 6*m**3 + 4*m. Is w(p) prime?
True
Let c be (102/(-18))/(1/3). Let m = 6 + c. Is m/(-22) - 589/(-2) a composite number?
True
Let j(h) = h**3 - 5*h**2 - 6*h - 3. Let q be j(6). Is -1*(-3 - (q - -677)) prime?
True
Let v(n) = -n**3 - 6*n**2 - n - 1. Let y be v(-6). Suppose -y*f + 20 = -0. Suppose 0 = -5*t, -f*j - 3*t = -4*t - 2324. Is j a prime number?
False
Suppose 72*n - 69*n - 1194 = 0. Is n prime?
False
Let x = -53274 + 161617. Is x a composite number?
False
Suppose 2*m - 5*y = 2979, -15*y + 12*y - 5923 = -4*m. Is m a prime number?
False
Let f = 208 + 202. Is ((-9)/(-15))/(2/f - 0) prime?
False
Let p(x) be the third derivative of x**5/12 + 3*x**4/4 - x**3/6 + 3*x**2. Is p(-6) a prime number?
True
Let s(p) = 49*p**2 - 4*p - 11. Let m be 4 + -6 - 1 - 3. Is s(m) composite?
False
Suppose -676 = 5*z - 4*p, p = -2*z - 229 - 44. Let f = z + 299. Is f prime?
True
Let n be (-2 - 1)/(13 - 12). Is -149*n/(-4 - -7) composite?
False
Let c = 4922 - -3240. Let p = c - 4255. Is p a prime number?
True
Let m = 8 + -6. Suppose -3*x = m*x. Suppose -7*s + 4*s + 93 = x. Is s a prime number?
True
Is (-3)/(-4) + -1 + (-711)/(-12) composite?
False
Let a = -27 - -25. Let f be 12/(-24) - 1/a. Suppose 4*s - 21 = -5, f = x - 2*s - 299. Is x prime?
True
Let c(x) = -9*x + 66. Let q be c(6). Suppose -10*w - 4666 = -q*w. Is w prime?
True
Let m(s) = s**3 + 61*s**2 - 178*s + 1. Is m(-55) composite?
False
Suppose 0*y = -3*y + 6. Suppose -y*s = -s. Suppose s = 2*c + 207 - 629. Is c prime?
True
Let y(z) be the third derivative of -465*z**4/8 + 2*z**3/3 - 44*z**2. Is y(-1) a composite number?
False
Let g(w) = -w**3 - 6*w**2 + w + 11. Let d = -154 + 139. Is g(d) a composite number?
True
Let k(i) = -i**3 + 4*i**2 + 2. Let v be k(4). Suppose -v*l + 87 = -l. Let t = l - 20. Is t a composite number?
False
Suppose 3*u = 2*u - 15. Let q = 266 + u. Is q a composite number?
False
Let v = -412 + 687. Let i = v + -112. Is i prime?
True
Let r be 57 + (-3 - -1 - -6). Suppose 0 = 2*t + j + 9, -5*j = 3*t + 2*t + 25. Let w = t + r. Is w a composite number?
True
Suppose 3*x + 20 = 4*r - 5, -3*r = -3*x - 18. Is (-177)/(-3) + 0/r prime?
True
Suppose -3*d + 3*f + 4002 = 0, 0*d + 1331 = d - 2*f. Is d composite?
True
Let z(o) = -42*o**2 + 4*o - 5. Let h(r) = -83*r**2 + 9*r - 11. Let p(l) = 4*h(l) - 9*z(l). Is p(1) composite?
False
Let a(f) = -1. Let w(k) = 14*k + 17. Let v(z) = 4*a(z) + w(z). Is v(12) a composite number?
False
Is 183125/30 + 5 + 1/(-6) composite?
True
Suppose -48 = -0*k - 4*k. Let d(h) = 4*h + 2*h - k - h. Is d(13) a composite number?
False
Suppose -5*a + 5*m + 11075 = 0, 3*a + 2*a = -m + 11063. Suppose -4*p - 8 = -2*p, -3*n - p + a = 0. Is n prime?
True
Let u(q) = -4*q**3 + 7*q**2 + 6*q + 6. Let m(f) = -f**3. Let h(p) = 6*m(p) - u(p). Is h(-10) composite?
True
Let b(l) = 219*l**3 - 2*l**2 - 4*l + 16. Is b(3) a composite number?
True
Let g(u) = u**3 + 65*u**2 - 122*u + 31. Is g(-61) prime?
False
Suppose 0 = 2*s + 2*s. Let t be (-68 + s)*(-1)/(-2). Is 2*10/(-8)*t a composite number?
True
Let b = 9 + -6. Suppose -5*k - j + 2340 = 0, b*j - 853 = -4*k + 1008. Is k a prime number?
False
Suppose -76*r - 476129 = -107*r. Is r a prime number?
True
Let h be -3 - (1 + 277 - 3). Let s = 655 + h. Is s a composite number?
True
Is 218016/(-7 + 16) + 9 composite?
True
Let k be (-24)/(-2)*(-1 + -2 + 4). Let z be (0/(0 + 1))/2. Suppose 2*p = -z*p + k. Is p prime?
False
Let m = 1174 + -225. Is m a composite number?
True
Suppose -2*w = 2*h - 18, -14 = 5*h + 3*w - 51. Suppose -3*u + h*u - 762 = 0. Is u a composite number?
True
Let c = 80 - 77. Suppose -c*m + d + 6666 = 0, -m + d = -3*d - 2233. Is m a composite number?
False
Let a = -2232 - -4841. Is a a composite number?
False
Is (200/(-40))/(2/(-5158)) a composite number?
True
Let o = 7253 - 2158. Is o a composite number?
True
Let f be (9/(36/40))/2. Suppose 40 - 94 = 4*r - 3*m, -26 = 3*r + f*m. Is r/(-16) - 6771/(-12) composite?
True
Suppose 6508 = 23*f - 22725. Is f a composite number?
True
Let q(h) = -505*h + 116. Is q(-11) a prime number?
False
Let o be -5*1*((-85)/25 - -3). Suppose 0 = -2*k + 4*m + 138, 2*k + 61 = 3*k + o*m. Is k a composite number?
True
Let a = 851 + -142. Let c = 1156 - a. Is c composite?
True
Let m = -31 + 32. Let c(g) = 84*g**3 - 3*g + 2. Is c(m) prime?
True
Let h be (-2)/4*(-32)/8. Let f(b) = 2*b**2 - b**h + 69 - b + 262. Is f(0) composite?
False
Suppose -29 = -12*m + 31. Suppose -6714 = -m*c - c. Is c a prime number?
False
Let n(a) = -367*a + 2. Let w be n(-1). Let x = w - -77. Let d = -195 + x. Is d prime?
True
Let g be (5 + 2 + -2)*(-51 + 6). Let x = 512 - g. Is x prime?
False
Let f = -3 - -6. Suppose b - 892 = -3*b - f*v, -v = -2*b + 446. Is b a composite number?
False
Let q = 41 + -45. Is (-210)/40*(q + 0) a prime number?
False
Suppose -12684 = -4*t + j + 11187, -4*t = 5*j - 23901. Is t a composite number?
True
Let r be ((-10)/3 + 2)*-717. Suppose 8*d + r = 12*d. Is d prime?
True
Let q be (-5)/(-2) + 2/(-4). Suppose 4*i + 3*t = q*t + 2168, -2*t + 2164 = 4*i. Suppose 172 = -p + i. Is p prime?
False
Let j = -1258 - -2337. Is j prime?
False
Let w be (18/(-15))/((-3)/10). Suppose -w*m + m + 8031 = 3*f, -5*f - m = -13377. Suppose 0*n = -5*n + f. Is n prime?
False
Let v(x) = 2362*x**3 + 2*x**2 - 3*x + 2. Let c(t) = -t**2 + 15*t - 43. Let w be c(11). Is v(w) a composite number?
True
Let p(h) = 30*h**2 + 3*h + 17. Let k be p(-6). Suppose -3*o = -3*v + k + 1861, -4*o + 2933 = 3*v. Is v a prime number?
False
Let p(k) = -725*k**2 + 2*k + 1. Let r be p(-1). Suppose -7*z - 1052 = 2259. Let l = z - r. Is l a composite number?
True
Let j = -22 + 32. Suppose -7*p - 1689 = -j*p. Is p a prime number?
True
Suppose -p + 862 = 2*t - 3*t, -5*t + 3*p - 4310 = 0. Is -3 + (-10 + 9)/(1/t) a composite number?
False
Let w(l) = -8*l - 10. Let m be w(-4). Suppose 0 = m*p - 24*p - 40. Is ((-2848)/p)/4*5 a prime number?
False
Suppose 231 = -2*l + 247. Suppose -l*i + 9383 = 3*i. Is i prime?
True
Let g = -305 - -634. Suppose -11*c + 12*c = g. Is c a composite number?
True
Suppose -6 + 18 = 3*b. Suppose 0 = 3*d - b*a - 305, 470 = 8*d - 3*d + a. Suppose 632 - d = 3*j. Is j a prime number?
True
Suppose -86317 = -12*j + 25451. Is j composite?
True
Let b be 2/(-4)*4*-103. Suppose 2*p = -4*g + 10, 0 = -3*g + 3*p - 23 + 8. Suppose -4*x - 2*q + 810 = g, -x + 0*x - 4*q = -b. Is x a prime number?
False
Suppose -2*c - 2*r - r + 20 = 0, 0 = r - 4. Suppose 3*s + 2*y - y - 2457 = 0, 0 = -c*s + 2*y + 3266. Is (-3)/((-3)/s*2) composite?
False
Let l = 4079 + -1637. Suppose l = 8*q - 2*q. Is q composite?
True
Let u be (-3 - (2 + 7)) + 1. Let k(n) = 14*n + 11. Let y(w) = -w. Let t(p) = -k(p) + 6*y(p). Is t(u) composite?
True
Is (24 + -17 + 64/(-10))*97765 a composite number?
True
Let w(h) be the third derivative of 1847*h**5/60 + h**4/24 - h**3/6 + 8*h**2. Is w(1) prime?
True
Let a(s) be the second derivative of s**7/840 + s**6/360 + s**5/120 + 73*s**4/8 - s**3 - 2*s. Let y(w) be the second derivative of a(w). Is y(0) composite?
True
Suppose c = 5*h - 15051, 0 + 20 = 5*c. Is h a prime number?
True
Let r(y) = -25*y**3 + 2*y**2 - y. Let w be r(1). Is ((-517)/4)/(6/w) a composite number?
True
Suppose p + 2761 = 2*k, 3*k - 5*p - 4144 = -6*p. Is k a composite number?
False
Let j(w) be the second derivative of 0 - 6*w**2 + 1/2*w**3 + 3*w + 1/6*w**4. Is j(5) composite?
False
Let x(a) = -907*a - 87. Is x(-20) a prime number?
False
Suppose -3*d + 6*d - 18 = 0. Suppose 2*b + 9 = 5*c, -4*c = -b - d - 3. Suppose 3*u + 0*u = -g + 417, 5*u = -c*g + 695. Is u prime?
True
Suppose 0*o + 21465 = 3*o - 3*u, -o + 7163 = -3*u. Is o prime?
True
Let k be 1 - (12/(-4) + -3). Let f = -7 + k. Suppose -3*c + c + 194 = f.