a. Is u(-1) a prime number?
True
Let s(p) = -p**2 - 3*p - 1. Let h be s(-7). Let n = h + 132. Is n prime?
True
Let w be (8/(-6))/(6/(-1377)). Let i = w - 215. Is i prime?
False
Let x = -1201 + 2194. Is x a composite number?
True
Let a = 2 - 2. Suppose -h = 5*b - 48, a = 3*b + 2*b + 3*h - 44. Suppose -5*o = -5*y + b, -2*y + o = 3*y - 14. Is y a composite number?
False
Let t be 0*3/(-12)*-2. Suppose t*d - 3 = d. Let q = 1 - d. Is q prime?
False
Suppose -8*r = -10*r + 278. Is r a composite number?
False
Let x(s) = -808*s - 22. Is x(-2) composite?
True
Let i = 343 + -9. Is i prime?
False
Suppose 9*k - 2461 = 1220. Is k a prime number?
True
Suppose 0 = -3*v + 1280 + 622. Suppose 0*h = 2*h - v. Suppose -135 = -4*x + h. Is x composite?
False
Suppose 3*x - 788 = 5*m, -4*x + 861 + 233 = 2*m. Is x composite?
False
Let o(x) = 3*x**2 + 4*x - 9. Let p be (-6)/15 - (-7)/5. Suppose 3*n - 17 = p. Is o(n) a prime number?
False
Is 8/(-2) + (1012 - -1) a composite number?
False
Is (6 - 2) + 273/3 a prime number?
False
Let c = -205 + 828. Is c a prime number?
False
Let q be ((-9)/6 + 2)*-36. Is 3501/81 - (-4)/q composite?
False
Let r(f) = f**2 + 3*f + 1. Suppose 4 = 4*c - 16. Let q be r(c). Let n = q - 22. Is n a prime number?
True
Let z be 0/(((-3)/(-1))/(-3)). Suppose z = -3*f + 2*f + 19. Is f a prime number?
True
Is 1*-1*(-12*11 - -3) prime?
False
Let u = 613 - 402. Is u a composite number?
False
Let g(v) = -v**2 + 6*v + 8. Let k be g(6). Let j(a) be the third derivative of -a**6/120 + a**5/5 + 5*a**4/24 + 3*a**3/2 + 10*a**2. Is j(k) prime?
False
Let o = 164 + -37. Is o composite?
False
Let u(j) be the third derivative of 0 - 1/8*j**4 + 1/6*j**3 + 0*j - j**2 + 1/20*j**5. Is u(4) prime?
True
Suppose -2*m + 4459 + 475 = 0. Is m a composite number?
False
Let r(o) = -o**3 + 2*o**2 + o. Let k be r(2). Suppose l = 2*i - 102, 5*l - k*l - 110 = -2*i. Suppose -2*c - i = -6*c. Is c composite?
False
Let o(p) = 10*p**2 + p + 6. Is o(-5) composite?
False
Suppose -4*s + 11776 = 5*f, s - 2*f - 1240 = 1691. Is s a composite number?
False
Let s(k) = -254*k - 7. Is s(-4) composite?
False
Let f = 408 - 259. Is f prime?
True
Let m = 196 + 5. Suppose 0 = -3*g + 144 + m. Is g prime?
False
Let d be -3 + -32*2 - 3. Let k = d + 34. Let s = -3 - k. Is s prime?
False
Let d(o) = -o**3 - 3*o**2 + 3*o - 4. Let b be d(-4). Suppose 4*g = -b*g - 308. Is -1*(2 + (g - 2)) prime?
False
Suppose 2*h - 5*h + 177 = 3*z, -5*z = -3*h + 145. Suppose -2*x + 3*x = h. Is x a composite number?
True
Suppose -4*z = 4*w - 3*w - 1174, w = 2. Is z composite?
False
Let r(t) = -1 + t - 1 + 0*t. Let w be r(7). Let d(f) = f**2. Is d(w) composite?
True
Let f(h) = 930*h - 13. Is f(2) a prime number?
True
Let y(k) be the third derivative of k**4/24 + 13*k**3/6 - 2*k**2. Is y(0) prime?
True
Let g = -21 + 12. Is 6/(-27) - 497/g composite?
True
Suppose 0 = -h + 860 + 437. Is h composite?
False
Let q(d) be the first derivative of -4*d**4 - 2*d**3/3 + d**2/2 - 3. Is q(-2) a composite number?
True
Let x(l) = l - 1. Let j(r) = -r**2 + 5*r - 9. Let c(n) = -j(n) - 4*x(n). Is c(9) composite?
False
Let f = 4 - 6. Suppose 2*q + 2*k = -0*k + 1460, q - 3*k = 738. Is f/4 + q/8 composite?
True
Let d = 607 + -14. Is d prime?
True
Let x = 26574 + -12330. Is x/180 - 2/15 composite?
False
Suppose -12 = -3*d, -2*z - d = d - 272. Suppose 3*t + t - z = 0. Is t prime?
False
Let c = -22 + 24. Suppose -4*j + 106 = -c*j. Is j a prime number?
True
Let m(y) = -18*y + 13. Is m(-7) a composite number?
False
Let a be (0 + 25*-1)*-1. Let v be (-4 - -1)/((-1)/a). Let l = -38 + v. Is l composite?
False
Suppose 3*x = p - 2*x - 22, 0 = -2*x - 6. Let z(d) = d**2 - 6*d - 2. Let i be z(p). Suppose -i*w - 45 = -0*r - 5*r, -17 = -r + 5*w. Is r a prime number?
True
Let m = 12 + -13. Is (6 - m) + (-3)/(-1) a composite number?
True
Let s = 26 - 41. Is (-6)/15 + (-141)/s composite?
True
Let d = -1 + 3. Suppose 0 = 3*w - s - 229, 300 = 4*w + d*s - 6*s. Is w prime?
False
Let s(p) = 3*p**2 + p + 5. Let a be s(7). Suppose 0 = n + 2*n - a. Is n prime?
True
Suppose -3*l + 4 = -5. Let p be (-4)/6 - 10/l. Let w(m) = m**2 + m + 3. Is w(p) a composite number?
True
Let s = 4 + -1. Suppose 2*h - 68 = s*h. Let k = h - -106. Is k a prime number?
False
Let s(r) = -r**2 + 3*r + 3. Let u be s(3). Let p = -1 + u. Is ((-19)/p)/((-3)/6) a prime number?
True
Let m be 33 + (-8)/(-4 + 0). Let c = -13 + m. Is c prime?
False
Suppose 24*f - 14*f - 3290 = 0. Is f composite?
True
Let t(u) = 227*u - 54. Is t(19) composite?
False
Suppose -2*k = -6*k + 8. Suppose 2*q - k*a = -0*q + 12, -2*q - 8 = 2*a. Suppose -q = -g + 10. Is g prime?
True
Let j be 40/6 + (-3)/(-9). Is (j/(-4))/(2/(-56)) composite?
True
Let g(j) = 7*j - 6. Let b be g(-4). Let w = -125 + 184. Let s = b + w. Is s prime?
False
Suppose 0 = 2*s - 2, 3*v = -5*s + 1478. Is v prime?
True
Let t = 0 + -1. Is t/((-4)/212*1) a composite number?
False
Suppose -317 - 39 = -4*c. Is c a composite number?
False
Let t be ((-17)/(-4))/((-1)/(-4)). Suppose -y = 4*k - t, 1 - 14 = -4*y - 5*k. Is 203*3*y/(-9) a prime number?
False
Suppose -4*m = 0, -3*k + 5*k - 4*m = 2570. Is k composite?
True
Let o(z) = -17*z - 2. Let f be (-32)/(-6)*(-6)/4. Let x be 2/f + (-114)/24. Is o(x) a prime number?
True
Let o = 5 + 1. Suppose 2 = 2*b - o. Suppose 0*n + 184 = 2*n + b*f, 4*n - 303 = 5*f. Is n composite?
True
Let x be ((-1)/2)/((-1)/50). Let g = 56 - x. Is g a prime number?
True
Is -3*(2 + 11165/(-75))*5 composite?
False
Let l be 6/(-4 - -1)*-1. Is -2*l/(4/(-22)) prime?
False
Is (-4)/(-8) - 594/(-4) a prime number?
True
Suppose 5*t - 2*d - 14 = 0, 4*t + d = 2 + 4. Is t/(-3)*10155/(-10) composite?
False
Suppose 6*b - 2*b + 1528 = 0. Let s = -167 - b. Is s a composite number?
True
Let k = 2861 - 1504. Is k composite?
True
Let n = 4040 - 338. Is n/15 + 6/30 composite?
True
Suppose -3*d + 3*b = -138, -5*d + 3*b - 29 + 253 = 0. Is d composite?
False
Is 143/(-4)*(-36)/9 a prime number?
False
Let d = 11 - 7. Let k(s) = 33*s - 3 + 4 - 2. Is k(d) a composite number?
False
Suppose r = -u + 7, -4*u - 3*r + 19 = -2*r. Is u/(-2)*(-55)/10 a composite number?
False
Let j = -8 + 12. Suppose 4*q - 5*h - 779 = 0, q + j*h - 78 = 143. Is q a prime number?
False
Suppose x = 3*x - 530. Suppose -x = -2*l + 17. Is l composite?
True
Suppose 9*c = 8*c + 85. Is c a composite number?
True
Is (199 + 0)/((-21)/(-21)) prime?
True
Let g be (1 + 1)*(-1 + 3). Suppose -2*x = -p - 10, -16 = -3*x + p + p. Suppose x*a - 55 = 3*z - 2*z, g*a = 4*z + 64. Is a composite?
False
Suppose 0 = 3*m + p - 795, -724 + 194 = -2*m - 3*p. Is m prime?
False
Suppose -4*j + 3 + 5 = 0. Suppose 2*a = 2*b - j*a - 114, 3*a - 77 = -b. Is b prime?
False
Let a be -15 - -1 - 0/(-3). Suppose 53 + 10 = 3*i. Let w = i - a. Is w prime?
False
Is 4*((-540)/(-16) + -4) a composite number?
True
Suppose -62 + 14 = -2*q. Suppose -2*y = -q - 46. Is y a composite number?
True
Let r be (-2)/(-4) - 24/(-16). Let a = 41 + r. Is a a composite number?
False
Let y(v) = -20*v - 19. Is y(-10) prime?
True
Is ((-2836)/(-20))/((-3)/(-15)*1) prime?
True
Let v be (-1144)/(-6) - 8/(-24). Let w = 59 - 93. Let p = w + v. Is p composite?
False
Let z = 1 + 1. Is 1/(z*(-3)/(-222)) composite?
False
Let z(i) = -666*i - 21. Is z(-5) a composite number?
True
Let n(j) = -12*j. Let m be n(1). Suppose 4*o + 20 = -a, 4*a + 15 = -3*o - a. Let u = o - m. Is u a composite number?
False
Let r(m) = -m**2 + m + 2. Let x be -3 - -5 - (1 + 1). Let p be r(x). Suppose 0 = -p*t + 10 + 52. Is t composite?
False
Is (4548/30)/((-4)/(-10)) composite?
False
Suppose 0 = -5*a + 2*t - 0*t + 3, 3*a - 4*t = -1. Let y be 24*(a/(-1))/(-1). Is y + 3/9*3 composite?
True
Let x = 21 + -22. Let t(y) = -5*y - 1 - 3*y - 6*y. Is t(x) composite?
False
Let q(b) = 109*b + 17. Is q(8) a prime number?
False
Let l(o) = 9*o**3 - 4*o + 4. Is l(3) prime?
False
Let t = -34 + 107. Suppose t = 4*m - 3. Is m composite?
False
Let j = 835 - -118. Is j prime?
True
Suppose -3*k = -10 - 26. Let i(v) = 4*v**2 - 17*v + 7. Is i(k) a prime number?
True
Suppose 8*j - 1636 = 4*j. Is j prime?
True
Suppose -4*v + 0*v + r = -177, -28 = -v - 3*r. Suppose g + 3*f - v - 42 = 0, g - 93 = -f. Is g a prime number?
True
Suppose -13*v + 18*v - 3335 = 0. Is v composite?
True
Let x(t) = -t - 4. Let b be x(-3). Let y(r) = 