20 + p**4/2 - 5*p**3/6 + 7*p**2/2 - 9*p. Is q(5) a prime number?
True
Suppose 7 = -2*j - 9. Let x = -5 - j. Suppose -2*d - 2*q + 77 = -233, -x*d - 2*q = -467. Is d a prime number?
True
Suppose 3*k + 971 = -0*p + 4*p, -4*k + 1237 = 5*p. Suppose -4*z - 3*g = 2*g - p, z + 2*g = 59. Is z a composite number?
True
Suppose 6 = 5*w - 64. Suppose w + 180 = 2*d. Is d a composite number?
False
Let y = -2 + 8. Suppose -y*h = -3*h - 21. Let q = h + 7. Is q a composite number?
True
Let p = 1 - -1. Let b be (-1 + 1)*1 + p. Suppose -2*f + b*q + 26 = 0, 5*q = 3*f - 2*f - 5. Is f a composite number?
True
Let c(r) = r**3 + 7*r**2 - 3*r - 8. Is c(-6) a composite number?
True
Let z(r) = 3*r - 2*r**2 + 19 + 3*r**2 - 3*r + r. Is z(0) prime?
True
Let b = -1145 + 1888. Is b a composite number?
False
Let r be -4 + 3*57/9. Suppose -6 = 3*l + 3, 4*b - l = -13. Let w = r - b. Is w a prime number?
True
Suppose 2*q = -3*q + 20. Suppose 0 = -q*a + 3*a + 113. Suppose -4*b + 4*k + a = 17, 3*k + 34 = b. Is b composite?
False
Let v(o) = 9*o**2 - 5*o + 4. Let c be v(3). Let q = c - 33. Suppose 2*n - q = n. Is n prime?
True
Let q be (8/(-6))/((-1)/18). Let c = -17 + q. Let p(x) = 3*x**2 + x - 5. Is p(c) composite?
False
Let f = -1 - -2. Let d(j) = -j**2 + j - 1. Let n(w) = 29*w**2 + 5*w - 4. Let i(m) = -5*d(m) + n(m). Is i(f) composite?
True
Let f = -40 + 111. Suppose 0 = -i + 8 + f. Is i prime?
True
Let g(d) = 31*d - 6. Suppose -4*j + 10 = -10. Is g(j) prime?
True
Let h(w) = -14*w - 21. Let m be h(-11). Let o(u) = 6*u**2 - 7*u + 1. Let j be o(-5). Let a = j - m. Is a a composite number?
False
Let g(i) = -i**3 - 12*i**2 - 9*i - 12. Let o be g(-10). Let x = o + 209. Is x prime?
False
Let b be -1 + -1 + -1 + 51. Suppose 0 = f + 2*f - b. Let d = 23 - f. Is d composite?
False
Let r(s) = 18*s**2 + 4*s - 2. Is r(-6) composite?
True
Is 47/(((-12)/(-22))/6) a prime number?
False
Let z(o) = 21*o + 1. Let g be -3 + 3 - (1 - 3). Suppose 5*x - p - 13 = 0, 5*x - 3*p = g*p + 25. Is z(x) a composite number?
False
Let d(l) = 3*l - 1. Let j be (4/6)/((-4)/(-6)). Let h be d(j). Suppose -3*t + h*t = -23. Is t a prime number?
True
Let k(n) = 15*n**3 - 4*n**2 + 6*n + 1. Let b be k(-8). Is b/(-6)*(-2)/(-3) a prime number?
True
Suppose -9*s + 38048 = -5701. Is s prime?
True
Let p(t) = -t**2 - t + 1. Let u(b) = 31*b**2 - 2 + 27*b**2 + 4*b - 4*b**2. Let k(a) = 3*p(a) + u(a). Is k(-1) composite?
True
Suppose 2*u - 4*u - 5*v - 4 = 0, -4*u = 4*v - 16. Is (-9168)/12*(-2)/u prime?
True
Suppose 5 = p - 1. Suppose 0 = -p*b + 3*b + 795. Is b a prime number?
False
Let l = -241 - -362. Let r = -72 + l. Is r a composite number?
True
Let u = 0 - 0. Let v(b) = -b**3 - b**2 + 5. Let c be v(u). Let d(g) = 2*g - 3. Is d(c) a composite number?
False
Let v(s) = 2*s**2 - 4*s + 3. Let j be v(2). Suppose -2*c - f = -38, 0*c = -c + j*f + 19. Is c a prime number?
True
Let x be (-4)/(-12)*(0 + 6). Let g be (-6 - -1) + x + -1. Is ((-294)/(-9))/(g/(-6)) composite?
True
Suppose -4*w = 16 - 176. Let u = -21 + w. Is u prime?
True
Suppose -4*x = 3*t + 19, x + 10 = -5*t + 1. Let z = t + 4. Suppose k = -5*w - 0*w + 34, z*k - 54 = w. Is k composite?
False
Let q = 4319 + -1048. Is q composite?
False
Let x(q) be the third derivative of q**6/120 - q**5/20 - q**4/12 - q**3/2 - 4*q**2. Is x(5) composite?
False
Let z(i) = i**3 + 10*i**2 - i + 7. Is z(-7) a composite number?
True
Suppose -3*z + 89 + 700 = 0. Suppose 128 = -g + 2*g + f, -2*g + z = -5*f. Suppose -29 - g = -2*t. Is t a prime number?
True
Let q = -748 - -1077. Is q composite?
True
Let j be 0 + -1 + -354 + 0. Suppose 22*z + 708 = 23*z. Let t = z + j. Is t a prime number?
True
Suppose -3*r + 14 = b, 0*b = -3*r + b + 4. Suppose -5*u = 2*n - r*u + 12, -5*u = -5*n. Let q(a) = -9*a**3 + 3*a**2 + 2*a - 1. Is q(n) a composite number?
False
Let g = 11 - 9. Suppose -506 + 80 = -g*o. Is o a prime number?
False
Suppose 3*a + 32 + 4 = 0. Let i = 55 - a. Let d = i + -33. Is d composite?
True
Let c = 13 + -10. Is (c + -4 - 3) + 101 a composite number?
False
Let z = 7 + 12. Is z a composite number?
False
Suppose -5*l = -b + 81, 0 = -5*b + 3*l - 198 + 559. Is b a composite number?
False
Suppose 0 = 4*f - 81 - 403. Is f composite?
True
Is (-4)/14 + 17966/14 prime?
True
Let m(z) = -525*z - 16. Is m(-3) a composite number?
False
Suppose 0 = -5*m + w + 29285, 0 = w + 2*w. Is m a composite number?
False
Suppose -2*f - 1 = -3. Let c be 0/((-2)/(f + 1)). Suppose -40 = -c*b - 4*b. Is b a composite number?
True
Suppose 6 + 6 = -4*h. Let r = 10 - h. Is r prime?
True
Let g be -2 + 4 - 0/2. Suppose -3*l = 5*p - l - 7, 0 = 4*p + g*l - 4. Suppose -181 - 98 = -3*r + p*d, d - 2 = 0. Is r prime?
False
Suppose -1577 = -5*b - 582. Is b a composite number?
False
Let y be -5*8/(-4) + -1. Is 2/y + 7799/99 composite?
False
Let t(w) = -w + 5. Let y be (-4)/(-18) + (-148)/18. Let u be -1 - (1 - y/2). Is t(u) a composite number?
False
Let r(j) = 36*j - 3. Let x be r(2). Let m(b) = 8*b - 6. Let k be m(5). Let t = x - k. Is t prime?
False
Let y(a) = 19 - 2*a**3 + 0*a**3 - 5*a**2 - 18 - 7*a. Is y(-5) a prime number?
False
Suppose n + 3 = 7. Let r be 2/n - 146/(-4). Let c = 59 - r. Is c a composite number?
True
Let m be -4 + 2 + 15/1. Let y = m - -6. Is y a prime number?
True
Suppose 3*f = -f + 7028. Is f composite?
True
Suppose -942 + 50 = -4*l. Is l prime?
True
Suppose 0 = y - 5*r + 6, 7*y - 3*r = 2*y + 14. Let h(x) = -3*x**3 + 5*x**2 - 3*x. Let m be h(y). Is m/(-6) + 3/9 prime?
False
Suppose 7*o = 5*i + 2*o - 2720, 3*o = -4*i + 2155. Is i composite?
False
Let o(x) = -x - 8. Let i be o(-11). Is (3 - 6) + i - -34 prime?
False
Let k = 611 + -346. Is k a composite number?
True
Let a(x) = 29*x**2 - 9*x - 37. Is a(-6) prime?
True
Let t(c) = 5*c**2 + 9*c - 21. Is t(5) prime?
True
Let k(g) = -g**3 - 7*g**2 + g + 4. Suppose r + 3 = 2*s, -s = -5*r - 6*s - 45. Let d be k(r). Is (-703)/d - 8/(-12) a prime number?
False
Let h = 188 + -102. Suppose -2*p = -144 - h. Suppose 2*g = 49 + p. Is g a prime number?
False
Let a be 1*4*(-5)/(-2). Is ((-316)/(-5))/(4/a) composite?
True
Let v be 30/(-45)*(-9)/(-2). Is 41/2*(v + 9) composite?
True
Is 1/(-3 - -2) - -192 composite?
False
Suppose -8*y + 4*y = 5*x - 448, -448 = -4*y + 4*x. Suppose 4*i + 4*v - y = 0, 5*i - 167 = v + 3*v. Is i a prime number?
True
Suppose 2*s = 6*s - 5444. Is s composite?
False
Suppose 3*p - 389 = 280. Is p a composite number?
False
Let a(f) = -3 + 13*f**2 - 2*f + 4*f + 6*f**2. Let x be 4/(-5)*45/(-18). Is a(x) a composite number?
True
Suppose 9*v - v - 32440 = 0. Is v prime?
False
Let j = 1 - 1. Suppose 0 = 3*m - v - 469, -v + 1 + 1 = j. Is m a composite number?
False
Let p(x) = 10*x**2 + 5*x + 14. Is p(-5) a prime number?
True
Suppose -p + 0*p = -2395. Is p composite?
True
Suppose -y - 4*y - 75 = 0. Is y/(-20) - (-233)/4 a composite number?
False
Suppose 0 = -5*h + 3*y - 5, 3*y = -2*y + 25. Suppose 2*p = -h*p + 136. Is p prime?
False
Suppose 3*w + 5*b = 212, 5*w + 0*b - b - 372 = 0. Suppose 0 = -v + c + w, -2*v + 7*c = 4*c - 153. Is v a composite number?
True
Let l(j) = -98*j - 25. Is l(-19) a prime number?
False
Suppose -k - 108 - 28 = 0. Let t = k - -245. Is t a composite number?
False
Let n(j) be the second derivative of j**5/20 + 7*j**4/12 - 7*j**3/6 + 9*j**2/2 - 2*j. Let g be n(-8). Suppose a - g = 3, 2*c - 3*a = 62. Is c prime?
True
Let a(l) = l**3 + 3*l**2 + 4*l + 3. Let c be a(-3). Is 2/c + (-5609)/(-9) composite?
True
Let m = 0 - -3. Suppose 5*c - 22 = -m*v, 3*c + 16 = c + 5*v. Suppose -y - 263 = -5*n + 2*y, -94 = -c*n + 4*y. Is n prime?
False
Let l(m) = 2*m**2 - 2*m - 2. Suppose n + 0*n + 2 = 0. Is l(n) prime?
False
Suppose 9*g = 5*g + 5540. Is g composite?
True
Let a be (16/2)/(2 - 0). Let l = 29 + a. Is l composite?
True
Suppose -5*j - 3*c = -19 - 4, -2*j + 5*c = -34. Let d = j + 7. Is d prime?
False
Suppose -3*w = -2*n - w, 3*n - 12 = -3*w. Let a = 2 - n. Suppose -3*p + 96 + 105 = a. Is p a prime number?
True
Let a(b) = 3 + 7*b**2 - 4 + 0*b + b. Is a(-2) a composite number?
True
Suppose -4*t + 174 = -y, 5*t + 4*y - 205 = -y. Is t composite?
False
Let l(u) = 3*u**3 + 6*u**2 + 4*u - 2. Let m be 2/(-4*1/10). Let p be l(m). Let r = -14 - p. Is r prime?
True
Let r(h) be the third derivative of 0 + 2*h**2 + 0*h**3 + 0*h**4 + 0*h + 91/60*h**5. Is r(-1) a compos