2*u - 9. Let p(q) = -6*n(q) - 5*o(q). Let l be p(-4). Let t = -20 + l. Is t a prime number?
False
Suppose p + 0*p + 93 = 0. Let y = -56 - p. Is y composite?
False
Let p(k) = 4*k**3 + k**2 - 2*k + 1. Let j be p(1). Let a(h) = j*h**2 - 4*h - 4*h - 5 + 6*h. Is a(6) prime?
True
Let l = -235 + 456. Is l a prime number?
False
Let b be ((-456)/(-18))/((-2)/(-18)). Let z = 339 - b. Is z prime?
False
Suppose 0 = -3*u + 243 + 1950. Is u composite?
True
Suppose -i + 42 = i. Suppose -2*q + 95 = i. Is q composite?
False
Is (-2)/4*22/(-1) a composite number?
False
Let t = -159 + 444. Is 1/(-2 + 573/t) a composite number?
True
Suppose -4*l = -3*t + 661, 0 = -0*t - 3*t - 4*l + 677. Is t a prime number?
True
Is -4 + 2 + 35/(-7) + 1926 prime?
False
Suppose -j - j = 0. Let p(r) = -r + 38. Is p(j) a composite number?
True
Suppose -2*x + 5*h + 422 = x, -554 = -4*x - 2*h. Is x a prime number?
True
Let z(u) be the first derivative of -u**3/3 + 4*u**2 + 9*u + 4. Let l be z(8). Suppose 5*t - 4*v = 110, t - 4*v + l*v = 22. Is t prime?
False
Suppose -5*u = 4*x - 15, -2*x + 4*u = x - 19. Suppose 3*s - 4*s = 0. Suppose 4*p - x + 13 = s, -4*t + 634 = -3*p. Is t a composite number?
False
Let f be -2 - (0 + -8)*7. Suppose -2*y + f = -16. Is y a composite number?
True
Suppose -8 = -2*c + 4*z, 2*c = -2*c - 2*z + 36. Let p(x) = 18*x - c*x + 12*x - 5. Is p(4) composite?
False
Let i(m) = 212*m**2 - 6*m - 9. Is i(-2) a composite number?
True
Let o be 7/(-1) - 2/2. Let f be o/28 + (-88)/(-14). Suppose -f*x + 3*x + 171 = 0. Is x a composite number?
True
Let k(v) = 16*v**3 + 65*v**2 + 19*v - 25. Let t(b) = -3*b**3 - 13*b**2 - 4*b + 5. Let g(c) = -2*k(c) - 11*t(c). Is g(-6) a composite number?
False
Suppose -x - 4*z - 3 - 5 = 0, 3*x - 36 = 3*z. Is x + 0 + (-1 - -3) a prime number?
False
Let j(i) = -i**2 - 7*i + 1271. Is j(0) composite?
True
Suppose -2*i - 1 = 5. Let n(q) = -q**3 + 4*q**2 - 4. Is n(i) prime?
True
Suppose 0*x - 58 = 3*x + t, -4*x - 2*t = 78. Let m be 1*17 - -1 - -1. Let d = m - x. Is d composite?
True
Suppose 0 = -a - 4*p + 1047, 3*a + 4*p = -p + 3155. Is a a prime number?
False
Let v(c) be the second derivative of c**5/20 + 5*c**4/12 - c**3 + 7*c**2/2 - 5*c. Suppose -2*j + 0*j - 10 = 0. Is v(j) a prime number?
True
Suppose -3*v = -7*v + 20. Suppose 0 = 4*t - v*u - 31 - 30, 5*t - 2*u - 89 = 0. Is t prime?
True
Suppose 33 + 11 = 2*w. Is w prime?
False
Let q be (-6)/(2 + (-28)/12). Is q/(-12)*(-298)/3 prime?
True
Suppose 74 + 16 = 3*m. Suppose -2*a = -m - 76. Is a a prime number?
True
Let w = 868 + 385. Is w composite?
True
Let d(j) = 48*j - 43. Is d(12) composite?
True
Let r(x) = -3*x**2 - 4*x + 3. Let t be r(5). Let a = 42 + t. Let i = 241 + a. Is i a composite number?
False
Suppose -4*q + 0*q = 0. Suppose -r = -3*u - 2*r + 114, q = 2*u - 4*r - 62. Let s = -18 + u. Is s composite?
False
Suppose -4*a = -5 - 3. Suppose 0 = s, 5*n - a*s + 23 - 113 = 0. Suppose -n = 3*q - 5*q. Is q prime?
False
Suppose t - 2 = -0. Suppose f + 4*c - t + 5 = 0, -64 = -4*f + 3*c. Is f a prime number?
True
Let r be 1*(545 + (-6)/(-3)). Suppose -4*s - 5*q + r = 0, -261 = -6*s + 4*s - 5*q. Is s composite?
True
Let x = 2508 - 1147. Is x composite?
False
Suppose 7*w + 2205 - 19208 = 0. Is w a prime number?
False
Let q = 10 + -13. Is (93 + 0)*(-1)/q prime?
True
Let g be -1 + 3 + (-1)/(-1). Suppose 5*n - 1275 = 2*r, -r = -g*n - 5*r + 739. Is n prime?
False
Let o = -5 - -5. Let y = o + 0. Let x = 13 - y. Is x a prime number?
True
Suppose s + 0*s = -c + 110, -5*s = -4*c - 595. Is s prime?
False
Suppose -3*j - 1458 = -3*d + 48, -5*d + 2*j + 2522 = 0. Suppose -62 - d = -4*z - 4*i, -731 = -5*z + 2*i. Is z composite?
True
Suppose 3105 = 9*i + 486. Is i a composite number?
True
Let h(q) = 2*q**2 + 11*q - 10. Let b be h(9). Suppose r = -0*r + b. Suppose 0 = 3*m - 4*l - r, m = l - 6*l + 52. Is m a composite number?
True
Let d = -18 - -20. Is 2*(-3 + 133/d) prime?
True
Is (-2)/(-3)*(-3012)/(-8) a prime number?
True
Let i(u) = 5. Let c(p) = -3. Let d(h) = -7*c(h) - 4*i(h). Let m(z) = -12*z + 5. Let j(x) = 2*d(x) - m(x). Is j(3) composite?
True
Suppose 4779 - 761 = 14*c. Is c prime?
False
Suppose -5*o - 4*q + 2471 = -2*q, -2*o = 5*q - 1001. Is o composite?
True
Let d(i) = 2*i**2 + 7*i - i**2 - 15 + 3. Let z be d(-11). Suppose 5*c - 427 = -z. Is c a prime number?
True
Let c(j) = -8*j**3 - 12*j**2 + 3*j + 9. Is c(-5) composite?
True
Let n = 6 + 3. Is n a composite number?
True
Let h = -759 - -1297. Is h prime?
False
Suppose -114 = 3*n - 5*n. Let b = n - 14. Suppose m - 2*k + b = 2*m, k = -5*m + 188. Is m composite?
False
Suppose 0*u - 16 = -4*u. Is (u/(-3))/(4/(-42)) prime?
False
Let g be ((-1)/2 - 0)*0. Is (-1 + g)*578/(-2) a composite number?
True
Let p be 2/(1 - (0 - 0)). Suppose -4*r = -p*r. Suppose -196 = -4*d - r*d. Is d prime?
False
Suppose 196 = -2*x + 2*w + 64, -4*w = 0. Is (22/(-4))/(3/x) prime?
False
Let d be (-2)/7 + (-19)/7. Let b(y) be the second derivative of y**4/6 + y**3/3 + y**2/2 + 4*y. Is b(d) composite?
False
Let i(p) = -3 - 1 + 7*p - 3. Let q be 155/25 - 1/5. Is i(q) prime?
False
Suppose d - 3*v = 2*v + 474, -5*d + 2505 = 2*v. Is d composite?
False
Let d(k) = 97*k**3 - k. Let i be d(1). Suppose -2*m + 179 = 4*u - 7*m, 4*m - i = -2*u. Is u composite?
True
Let g be (-68)/16 - (-1)/4. Let s be g/(-10) - (-1104)/(-10). Is s/6*(-6)/2 prime?
False
Suppose 3*m + 5*u - 33 = 0, 4*m + m = 3*u + 21. Suppose 3*i = m*i - 99. Is i a composite number?
True
Is (-1)/(-4) - (-16017)/76 a composite number?
False
Suppose 6*s - 2142 = 2604. Is s a prime number?
False
Suppose -3*o - w + 2 = 0, 6*o - 2*o = -4*w. Let j(m) be the first derivative of 50*m**3/3 - m**2 + m + 1. Is j(o) composite?
True
Suppose 0 = -a - 0 - 7. Let x = a + 10. Suppose -d - 619 = -5*l + 3*d, 3*l = x*d + 369. Is l prime?
True
Suppose 0 = 5*c - 0*c + 15, -3*b + 4*c = -42. Let l = b - 7. Let x = l + 34. Is x prime?
True
Let c(g) = 30*g + 7. Suppose 2*q = x - 10, 0*q = 4*x + 2*q - 60. Suppose 11 + x = 5*k. Is c(k) prime?
True
Let t be (-10)/25 - 726/10. Let o = t + 130. Is o prime?
False
Let j(x) = -708*x**3 + 4*x + 3. Is j(-1) prime?
False
Let g(l) = 158*l - 7. Let s be g(-7). Is s/(-6) + (-2)/4 a composite number?
True
Let m(c) = c**3 - 5*c**2 + 6*c - 6. Let r be m(4). Suppose -5*t + 1120 = -3*q, -q = 2*t - r*q - 447. Is t composite?
True
Is (2/(-6))/(3/(-783)) prime?
False
Let f(n) = -19*n - 7. Is f(-4) prime?
False
Let m(r) = 7*r**2 - 3. Let v be m(-6). Suppose 0 = 2*j - 5*j + v. Is j a prime number?
True
Suppose -5*o + 4*o = -21. Is o prime?
False
Suppose -5*f + 15714 = 4449. Is f a prime number?
False
Let m be 3/(5/(-90)*-2). Let h = 12 + -24. Let f = m + h. Is f composite?
True
Suppose -5 = -h - 4*h. Let w = h - 1. Let u(f) = f**2 + 7. Is u(w) composite?
False
Is 113/5 - (-4)/10 a composite number?
False
Let a(h) = h**2 - 2*h - 10. Let w be a(12). Let l be (51/(-3))/(1/(-6)). Suppose -w = -4*g + l. Is g a composite number?
False
Suppose h + t - 1050 = -0*h, -2*h + 2085 = -3*t. Is h prime?
False
Suppose 0*t - 3308 = -3*t - 5*k, -t + 1091 = 4*k. Is t a composite number?
True
Suppose -7*v = b - 2*v + 18, v = -b - 2. Suppose b*i - 3*i - 2 = 0, 5*y - 26 = 3*i. Is (10/y)/((-4)/(-56)) a composite number?
True
Let l = 2 + 1. Let c(g) = 22*g**2 - 6*g + 5. Is c(l) a composite number?
True
Let k(q) = q**3 + 6*q**2 - 2*q + 5. Suppose -3*w + 6*x - x = -17, 5*x + 25 = 5*w. Is k(w) a composite number?
False
Is 2 - ((-26)/(-1))/(-2) composite?
True
Suppose -q = -12 - 19. Is q prime?
True
Suppose g = -3*g + i + 10970, -4*g = -3*i - 10966. Is g composite?
True
Let r = -2 + 2. Let g be (1 - 2)/(-1)*-1. Is 90*1 - (r - g) prime?
True
Let c(d) = -d + 2. Let l be c(0). Suppose -l*u = 2 - 64. Let w = u - 17. Is w prime?
False
Let r be (-32)/(-14) + 10/(-35). Is (-237)/6*-1*r a composite number?
False
Suppose -p - 267 = 5*n, -2*p + p = n + 283. Let b = p + 1602. Suppose -4*a = a - b. Is a a prime number?
True
Let a = 605 + -410. Suppose 5*i - 135 = a. Suppose s + s = -2*v + 32, 3*s - i = 3*v. Is s prime?
True
Let d(w) = 38*w + 1. Let b = 2 - 1. Is d(b) prime?
False
Let k = 5 - 1. Suppose -1 + 84 = 5*v - k*o, 0 = -2*v - 3*o + 47. Is v composite?
False
Let z = 7 - 6. Is 80*(0 + z) - -2 a composite number?
True
Let g(v) = 4*v - 4. Let j be g(3). Suppose 166 = 