m/(-9))/((-8)/(-12)) a prime number?
False
Let g = 7 + -7. Suppose g = 10*s - 6*s - 140. Is s composite?
True
Let g = 4 + -3. Is 586/(g*(-4)/(-2)) composite?
False
Let u(a) be the first derivative of a**4/4 + a**3/6 - a**2/2 - 1. Let g(f) be the second derivative of u(f). Is g(1) prime?
True
Suppose 0*g + 5*g = 8285. Is g a prime number?
True
Let f be (-1)/((-3)/6*2). Let g = 36 - f. Is g composite?
True
Let w(g) = 2*g**3 - 5*g**2 - g + 3. Let i be w(4). Suppose -r = -5*v - 21, 3*r + i - 15 = -4*v. Is (v/(-3))/((-2)/(-12)) a composite number?
True
Let m(s) = -471*s - 2. Is m(-1) prime?
False
Let j be (0 - -1)/(2/80). Suppose 5*k + 143 = 2*q, 4*k - 266 = -3*q - j. Is q composite?
True
Suppose 4*w - 3538 - 1240 = 2*u, 4*u = -12. Is w a composite number?
False
Let r(o) = o**2 + 3*o + 5. Suppose 0*k + k = 4. Let y be r(k). Is (y/2)/(9/12) prime?
False
Suppose 0 = w - 4*w + 6. Suppose 4*v - w*b - 3*b = 1379, -4*v + 1355 = 3*b. Is v a composite number?
True
Let n = -121 + 3372. Is n prime?
True
Suppose -2*k - s + 1 + 3 = 0, -k + 5*s = 20. Is 0 + (149 - k - 0) composite?
False
Let s = -9 - -22. Is s composite?
False
Let y = -5 - 16. Let m = y - -33. Is (-4)/m + (-112)/(-3) a composite number?
False
Let v = 3237 + -802. Is v prime?
False
Let n(s) = -s**3 + 7*s**2 + 2*s + 5. Let d be n(6). Let f = 276 - d. Is f a composite number?
False
Let h(y) = -4*y + 29. Let r be h(8). Let b(g) = 3*g**2 + 7*g**2 - 4*g + 3*g + 4. Is b(r) composite?
False
Suppose -4*h + 924 = -2180. Suppose 0 = -0*d - 3*d - 5*f + h, -5*d + 1281 = -4*f. Is d composite?
False
Let b be (1749/11)/((-1)/(-5)). Suppose -3*q + b = 2*q. Is q a prime number?
False
Suppose 0 = -4*c + 3*p + 216, -5*c + 239 = 5*p - p. Suppose c = 2*r + 9. Is r composite?
True
Let h(k) = 3*k**2 - 20*k - 16. Is h(-9) a composite number?
True
Is (9678/24)/((-1)/(-28)) prime?
False
Let x(o) = -4*o - 4. Let p be x(-4). Suppose 0 = -5*m + 37 - p. Suppose -3*l - 2*d + 54 = -5*d, 135 = m*l + 4*d. Is l composite?
False
Suppose -2*q = -2*x - 5410, x - 10835 = -4*q - 0*x. Suppose 3*d = 4*f - f - 2031, -d = -4*f + q. Is f prime?
True
Let u(t) = t**3 + 9*t**2 + 10*t - 3. Let p be u(-7). Suppose -3*x + 5*x - 95 = 5*z, -5*z = p. Let d = 4 + x. Is d a prime number?
False
Let j = 7 + -14. Let h(a) = 3*a**2 - 7*a + 7. Is h(j) prime?
False
Let m(n) = -5 - 6*n - 7*n - 5*n + 4*n. Is m(-2) a composite number?
False
Suppose 0 = -13*j + 26847 + 38816. Is j prime?
True
Suppose -6*x + m = -2*x - 148, -5*m = 4*x - 172. Suppose -v + 8 + x = 0. Is v composite?
True
Let z(m) = -m**3 + 8*m**2 - 8*m + 9. Let y be z(7). Suppose 4*n = 3*d + d - 388, 4*d = -y*n + 418. Let s = d - 67. Is s composite?
True
Suppose -7*g = -12*g + 45455. Is g a composite number?
False
Let g(w) be the second derivative of -w**3/2 - w. Let y = -4 - -3. Is g(y) composite?
False
Let p = -39 - -155. Let y(w) = -w - 3. Let g be y(-5). Is p + (-4 - (g + -5)) a prime number?
False
Suppose -z = -3*z + 310. Suppose -5*t + 90 = -z. Is t a prime number?
False
Let o = 175 + -52. Suppose 42 = 3*a - o. Is a prime?
False
Let m be (-47)/(-4) - 3/4. Let f = 48 - m. Is f prime?
True
Is 374 + 12/4 - 4 a prime number?
True
Let u(m) be the second derivative of -m**5/20 + m**4/2 + m**3/6 - 2*m**2 - 2*m. Suppose -2*r + 30 = 3*r. Is u(r) composite?
False
Let z be (1 + 1)/(1 + -3). Let p = z - -180. Is p prime?
True
Suppose -2*r + 17 = -29. Let w = 5 - r. Let d = -11 - w. Is d composite?
False
Suppose 8*q - 5302 = 1954. Is q composite?
False
Let s = 27 - -76. Is s composite?
False
Suppose -5*w - 85 + 499 = r, -3*w - 2182 = -5*r. Suppose 13*t - 15*t = -r. Is t a composite number?
True
Let s = 2 - 5. Let w(n) = -2*n**3 - 4*n**2 + 3. Let z be w(s). Suppose -t = -0*t - z. Is t prime?
False
Let i = 36 + 43. Is i a composite number?
False
Is (-6)/10 - (-3976)/35 a composite number?
False
Let y(u) = 2*u**3 + 2*u**2 - 13*u - 7. Let b be y(6). Is b/2 + (-3)/(-2) prime?
True
Let x = -16 + 6. Let z = 14 + x. Is (-1)/2 + 310/z a composite number?
True
Suppose 0 = 4*h - 217 - 687. Is h a prime number?
False
Let j(w) = 19*w**2 - 8*w + 7. Let i be j(-11). Is 4/(-6)*i/(-12) a prime number?
False
Suppose 4*g + 393 = 7*g. Is g prime?
True
Let p(j) = 38*j**2 - j. Suppose 3*c + 3 = 6. Is p(c) prime?
True
Let x(i) = i**2 + 8*i - 12. Is x(5) a composite number?
False
Suppose -16 = 4*y + 8. Let c(t) be the first derivative of t**3/3 + 5*t**2/2 + 1. Is c(y) a composite number?
True
Suppose 5*t + 10 = -w + 2*w, 0 = -t - 4*w + 19. Let b be -1 + (t - (0 + 2)). Is (-1)/(-2) - 194/b prime?
False
Suppose 0 = -3*s - 3*b + 303 + 1782, 0 = s - b - 693. Is s prime?
False
Suppose -5*y + 4236 = -y. Is y a prime number?
False
Suppose -5*z = -6*z. Let v be (2 - (0 - z)) + -65. Is -4*1/(-2) - v a composite number?
True
Let j = 624 + -289. Is j a composite number?
True
Let a = 1062 + -283. Is a composite?
True
Suppose -4*p + f + 1514 = 0, 0 = 3*p - f - 1325 + 190. Is p a composite number?
False
Let g(a) = a**3 - 4*a**2 + a - 1. Let m = 0 - 4. Let u(s) = s**3 - 4*s**2. Let q(f) = m*u(f) + 5*g(f). Is q(6) prime?
True
Let n be -1 + 2 + 2 + 2. Suppose n*r = 204 + 431. Is r composite?
False
Let x(h) = -18*h - 5. Is x(-7) prime?
False
Let l = 441 + -188. Is l a composite number?
True
Is (-1)/((7 + -3)/(-388)) prime?
True
Let t(l) = l - 6. Let b be t(0). Let p(w) = -6*w + 6. Let o be p(b). Suppose 0*a - 3*a + o = 0. Is a a prime number?
False
Let g be (-29)/(14/(-4) + 3). Let y = -21 + g. Is y a composite number?
False
Suppose -87 - 577 = -4*p. Is 4/(16/p)*2 a composite number?
False
Suppose 0 = -4*s + 1006 - 122. Is s prime?
False
Suppose -3*b + 777 = -0*b. Is b composite?
True
Suppose -1164 = 2*r - 5362. Is r a composite number?
False
Let n = -50 - -143. Let m = -14 + n. Is m a composite number?
False
Let g = 0 - -5. Suppose -g*x + 86 = 16. Let z = x - -7. Is z a composite number?
True
Suppose 0 = 2*k - 3*s - 544, -5*k + s + 3*s = -1353. Is k prime?
True
Suppose 171 = 5*z + 41. Is z prime?
False
Let t(b) = 13*b**2 - b + 1. Is t(-3) composite?
True
Let v(s) = -s**2 + 5*s - 4. Suppose c = -c + 6. Let z be v(c). Is z/(1 - (-279)/(-285)) a prime number?
False
Let g be (-10)/4*(-24)/15. Let m(t) = 3 + 1 - 1 + g*t. Is m(8) a prime number?
False
Let o = 1 + 1. Suppose -c - 65 = -o*c. Is c composite?
True
Is ((-13)/(-39))/((-2)/(-1356)) prime?
False
Let d be 1/(5/(-2) + 2). Let w = 2 + 1. Is 7*d*w/(-2) prime?
False
Suppose 0 = 2*u + 4, 3*k - 4887 = -u - 1112. Is k composite?
False
Is 2 + -3 - (-1270 - 8) prime?
True
Let g = 563 - 217. Is g a prime number?
False
Let j(a) = 5*a + 5. Let k be j(-5). Let n = -1 - k. Is n prime?
True
Let c = -18 + 13. Let a = c - -9. Is (a/(-2))/1 + 16 composite?
True
Suppose 2*z = 7*z - 105. Is 220/6 - (-7)/z a composite number?
False
Suppose 3*v - 98 = 5*v. Let k(x) = 2*x**2 + 4*x - 2. Let a be k(-5). Let b = a - v. Is b a prime number?
False
Let q = 389 - 204. Is q a composite number?
True
Suppose -4*m - m = 0. Suppose -149 = -t - m*t. Is t a prime number?
True
Is 27777/18 - 4/24 prime?
True
Suppose 4*a - 2*o = 1010, -3*o = 2*a + o - 520. Is a a prime number?
False
Let p be -1 + 2 + 2 + -1. Let v = 49 - p. Is v prime?
True
Suppose 9*h - 4*h = 25, -2*h = -w - 221. Is (w/4)/((-1)/4) composite?
False
Let w = 771 + -550. Is w composite?
True
Suppose -4*m + 0*m + 5*u + 1859 = 0, -5*u = -5*m + 2330. Is m composite?
True
Let w(q) = 3*q**2 - 4*q + 4. Suppose 5*u - 3 - 12 = 0. Let b be (0 + u)/(3/5). Is w(b) a prime number?
True
Let u be ((-10)/(-5))/((-4)/(-6)). Suppose -u*b - 6 = -4*r - 1, 0 = 3*b + 4*r - 35. Suppose 0 = b*g - 75 - 560. Is g composite?
False
Let v(l) = 54*l**2 + 2*l - 1. Let s be v(1). Let t = 222 + -136. Let k = t - s. Is k a composite number?
False
Suppose 4*u = q + 812, 2*u - 123 - 283 = -5*q. Is u prime?
False
Let o(g) = g**3 + 89. Suppose 2*t - 2 = 4*u, -2*u = -u + t - 1. Let m be o(u). Suppose 5*b - m = -r - 0*r, 5*r - 3*b - 389 = 0. Is r composite?
False
Let h(t) = t**2 - 2*t + 2. Let v be h(2). Is v/(-5) + (-1548)/(-20) prime?
False
Suppose -2*f - 2 = -d - 9, 4*d = -f + 17. Suppose f*h + 26 = t, 4*h = -2*t - h - 8. Let w(z) = z**2 + 6*z + 7. Is w(t) composite?
False
Let v = 4 + -3. Let z(i) = -i**3 + 2*i - 1. Let a be z(v). Is (a/2 - -37) + -2 a prime number?
False
Suppose -a + 4*a = 156. S