(-1) - (-7)/7 composite?
True
Let j(m) = m - 9. Let t be j(10). Suppose 0 = -4*i + 3 + t. Is -2 - -1 - (-127 - i) composite?
False
Suppose 5*b - 8 = -3*v, 0 = 5*v + b - 4 - 24. Is 88 + (2 - v)/(-4) a composite number?
False
Let n(p) be the first derivative of 8*p**3/3 - 2*p**2 + 2*p - 1. Let c be n(-4). Suppose -3*a + 13 = -c. Is a a composite number?
False
Suppose 4*a + 0*i = -5*i + 121, -2*a - i + 59 = 0. Let b = a + -15. Is b a prime number?
False
Let w(m) = -13*m - 2. Let n = 2 + -7. Let o(b) = -b - 8. Let z be o(n). Is w(z) prime?
True
Let w = -7 + 11. Suppose 1647 = -r + w*r. Suppose -2*b = -r + 151. Is b prime?
True
Let r(v) = v**2 - 5*v + 2. Let m be r(6). Suppose a = 5*n + 2, 2*a + 2*a - 5*n = m. Suppose a*p - 16 = -2*p. Is p a prime number?
False
Let q(f) be the first derivative of -71*f**2/2 - f + 1. Suppose 8*w + 10 = 3*w. Is q(w) a prime number?
False
Suppose -3*d - 603 = -6*d. Suppose 2*r + r - d = 0. Is r prime?
True
Let x = 16 - 16. Suppose x*k - 47 = -k. Is k a prime number?
True
Suppose -763 = -5*x + 487. Suppose 2*n + 3*n = -5*f + x, -206 = -4*n - 2*f. Is n composite?
False
Let c(j) = 25*j**2 - 3*j + 9. Let q be c(-7). Suppose 0 = 3*h + 202 - q. Suppose -5*l - n = 3*n - h, 3*l - 217 = -4*n. Is l a prime number?
True
Let i(g) be the third derivative of g**5/30 + g**4/24 + g**3/6 - 4*g**2. Suppose 0*p - 2 = 5*w - 4*p, -3*p = -w - 7. Is i(w) composite?
False
Suppose 3*g = 4*c + 31, -g + 3*c = 2 - 19. Suppose 0*q + 581 = 5*q + 2*a, -g*q + 4*a = -563. Is q prime?
False
Suppose -3*u + 2546 - 515 = 0. Is u a prime number?
True
Let n = 14 + -10. Suppose -2*l = n*g + 2*l - 12, 4*g + 3*l = 9. Suppose g = 4*r - 2*r - 18. Is r a composite number?
True
Suppose -14*a + 15*a - 62 = 0. Is a a prime number?
False
Suppose 3*z - 5*w + 70 = 0, 20 = -0*z - z + w. Let q = z - -28. Is q prime?
True
Let w(l) = -19*l**3 - 1. Let x be w(-1). Is 418/x - (-4)/(-18) a prime number?
True
Let q be 2/((-2)/(-3) + 0). Suppose -q*t - t = -40. Suppose 5*c - 100 = t. Is c a prime number?
False
Suppose 3*b - 24 = 5*b. Let a(n) = n**3 + 2*n**2 + 4*n + 3. Let u be a(-4). Let w = b - u. Is w a prime number?
False
Let u(n) = -n**3 - n**2 + 7*n + 6. Let p = -15 - -10. Is u(p) composite?
False
Suppose -5*o = -1540 - 3505. Is o composite?
False
Let g(r) = 10*r + 1 + 7*r**2 - r - 2*r. Is g(5) composite?
False
Suppose 5*p = -4*v + 5*v + 777, 3*v = 9. Let g = p - -223. Is g a composite number?
False
Let h(z) = 2*z**2 - 8*z - 5. Is h(10) composite?
True
Suppose 0 = k + 4*b - 283, -b = 3*k - 816 - 66. Let g = 144 + k. Is g a prime number?
True
Suppose d = 2*f + 283, 0 = 3*d + d - f - 1111. Is d a prime number?
True
Let a(f) = -f**2 + 4*f. Let v(k) = 4*k**2 - 12*k. Let o(w) = -7*a(w) - 2*v(w). Let h be o(-3). Suppose 4*z - 2*i - 8 = 34, h*z = i + 34. Is z prime?
True
Let o = 140 - 53. Is o prime?
False
Suppose 5*a = -5*h, 2*a - 2*h + 3*h = -5. Is 1/a - 972/(-10) a composite number?
False
Let n(h) = 7*h**2 + 3*h + 3. Is n(-6) composite?
True
Let t = -10 + 15. Let k(p) = p**3 + 4 - 4 - 2 + t*p**2 + 2*p. Is k(-3) composite?
True
Let k(f) = -f**2 + 13*f - 16. Let n be k(11). Suppose -3*o = -n*o + 393. Is o a prime number?
True
Is (-5)/(-2) + -2 + 10030/20 prime?
False
Let v be 12/16 + (-1378)/(-8). Suppose -f - v = -3*q + 3*f, -4*q = 4*f - 212. Is q prime?
False
Let t = -7 - -4. Is -4 + 452/(-12)*t a prime number?
True
Let g(y) = 14*y**3 + 3*y**2 + 4*y - 2. Is g(4) a composite number?
True
Suppose -4*p = p - 870. Let j be (-10)/4*(-6)/5. Suppose -j*k = -k - p. Is k prime?
False
Suppose 0 = 4*b - 5*b + 485. Is b a prime number?
False
Let u(j) = -22*j**3 - 2*j**2 + 5*j + 2. Is u(-3) composite?
False
Let b(o) = -21*o - 48*o + 2 - 4*o + 12*o. Is b(-3) a prime number?
False
Let r(o) = -o**3 + 3*o**2 + 4*o + 2. Let z(s) = 2*s - 2. Let q be z(3). Is r(q) composite?
False
Suppose -2 = 4*u - 38. Let g(q) = -14*q - 4*q**3 + 13 - 7*q**2 + 5*q**3 + 0*q**3. Is g(u) a prime number?
False
Let z(u) = 2*u - 11. Let n be z(7). Is n/(-24) - 6102/(-48) prime?
True
Let u = -10 - -24. Suppose -3*c - 5*d - u = -c, 5*c - d - 19 = 0. Suppose 28 = -c*k + 5*k. Is k a composite number?
True
Suppose -2*w - 1301 - 5280 = -5*g, 5*w - 3930 = -3*g. Is g prime?
False
Let j be 2*(225/6 - 1). Suppose y = -0*k + 2*k - j, -5*k + 189 = 4*y. Is k a composite number?
False
Let v be (-12)/30 - 147/(-5). Suppose 586 - v = s. Is s prime?
True
Let l(p) be the third derivative of -p**5/60 - p**4/24 + 35*p**3/6 + 6*p**2. Is l(0) a composite number?
True
Is (0 - -1 - -1)*(-2715)/(-30) a composite number?
False
Let s be (20/(-6))/(4/(-24)). Suppose 30 = -3*q - 4*j, j = -2*q - 2*j - s. Is (-2)/(-10) + (-2588)/q a composite number?
True
Let y(h) = -h**3 + 7*h**2 + 2*h + 3. Let v be y(7). Let z = 11 - v. Let l(b) = -2*b**3 - 10*b**2 - 7*b - 1. Is l(z) a composite number?
False
Let s = 9 - 15. Is (-352)/s + 12/(-18) composite?
True
Let h = -2 - -5. Suppose 20 = -h*b - b, 1862 = -2*q - 4*b. Is (q/(-12) + -3)*4 composite?
True
Let f(q) = q**3 + 2*q**2 + 2*q + 3. Let p be f(-2). Let m(w) = 3*w**2 + 2*w + 1. Let x be m(p). Suppose l + a = 2*l - 10, -64 = -4*l - x*a. Is l composite?
True
Let k(c) = c + 1. Let q be (3/2)/((-5)/(-10)). Let m be (q/4)/((-1)/(-8)). Is k(m) composite?
False
Let u(o) = o - 1. Let m be u(1). Suppose m = -3*v - 2*v + 445. Is v prime?
True
Suppose -3*d + 0*d + 1401 = 0. Is d a composite number?
False
Let d(x) = -x**3 + 14*x**2 + 11*x - 27. Is d(14) a prime number?
True
Let g be -11 - -12 - (-1 + -2). Suppose 0 = g*n - 184 + 44. Is n a composite number?
True
Suppose 0*b = b. Suppose b = 3*g - h - 282, 3*h = -2*g + 53 + 124. Let p = g + -42. Is p a prime number?
False
Let i = 803 + -472. Is i prime?
True
Let i be 182 - (0 - -3 - 4). Let t = 262 - i. Is t a composite number?
False
Suppose -3*k = -k. Suppose k = -0*m + m - 6. Let v(q) = 10*q + 5. Is v(m) composite?
True
Let b(s) = 18*s + 50. Let m(h) = -7*h - 20. Let c(f) = 5*b(f) + 12*m(f). Let n(u) = 7*u + 10. Let d(t) = 2*c(t) - 3*n(t). Is d(-7) a prime number?
True
Let u = -40 - -106. Suppose 0 = n + 2*n - u. Is n prime?
False
Let p be (-1020)/(-4) - 9/3. Suppose 863 + p = 5*t. Is t composite?
False
Is ((-14)/(-10))/(1/85) prime?
False
Suppose 6*y = -2*y + 3736. Is y a composite number?
False
Suppose -36 = -l + 443. Is l a composite number?
False
Let b(t) be the first derivative of -t**4/2 - t**3 + t**2 + 6. Suppose -4*d = -4*r, 18 = -r - r - 4*d. Is b(r) composite?
True
Let i(k) = -12*k**2 + 4*k - 2. Let v(a) = -a**2 - a + 1. Let b(c) = -i(c) + 3*v(c). Let f(r) = r**3 - r**2 - r + 2. Let o be f(2). Is b(o) a prime number?
False
Let m = 3185 - 352. Is m prime?
True
Let b(q) = -q**3 - 4*q**2 - 4*q + 4. Let t be b(-4). Suppose -t = -r - 2*j, -2*j - j - 25 = -r. Is r a prime number?
False
Suppose 0*w + 3115 = 7*w. Is w composite?
True
Let v(p) = p**3 + 8*p**2 - 10*p - 4. Let l be v(-9). Is (-10)/l + (-2397)/(-3) composite?
False
Suppose -5*p - 22 = 2*j, 4*p + 0*p + 18 = -2*j. Let t be 7360/(-25) - p/10. Let f = 443 + t. Is f prime?
True
Let y be 1/(2 + 5/(-3)). Suppose 4*z - 5*g - 2 = 0, 4 = -y*z + g - 0*g. Let x = 39 + z. Is x composite?
False
Suppose 5*f + 6 = 16. Is (109/f)/(1/2) prime?
True
Let i(q) be the third derivative of q**5/12 - q**3/6 + q**2. Let b be i(-1). Suppose -5*j + 447 = -b*n, -2*n - 134 + 47 = -j. Is j prime?
False
Let r(i) = -2*i**2 + i + 1. Let t be r(-1). Is 51 - t/(0 - -1) composite?
False
Let c(j) be the second derivative of j**5/20 + j**4/12 - j**2/2 - 2*j. Is c(4) a composite number?
False
Is -2 + (3 - (-1060 - 0)) a prime number?
True
Let r be 0*(-1)/(0 + 1). Suppose 0*m - 5*m + 45 = r. Suppose -2*o - m = -47. Is o composite?
False
Let n be (16/(-6))/(5/45). Let g be (1 + n)/((-1)/2). Suppose -16 = -2*z + g. Is z a composite number?
False
Let g(x) = -x**2 + 1300. Let z be g(0). Let o be -3*(z/(-6))/5. Suppose 5*i + o = 3*q, 0 = -q - 4*q - 3*i + 160. Is q composite?
True
Suppose f - 1258 = -3*d, -2*f + 0*d + 2510 = 4*d. Is f prime?
True
Suppose v + 12 = 4*v. Is v/(-6) - (-113)/3 prime?
True
Suppose -42 = -i - i. Let r be i/12 + (-3)/(-12). Suppose 5*u + r*q - 129 = 0, 5*q + 54 + 36 = 4*u. Is u composite?
True
Let a be (3 - 2)/(2/8). Let i be (-103)/(-7) + a/14. Suppose 2*p = -2*j - 2, -p = -0*p - 3*j - i. Is p a prime number?
True