h) = h**3 - 4*h**2 + 2*h + 2. Let q be n(2). Is 553 - (q + (1 - -1)) composite?
True
Let g(s) = s**2 - 6*s + 5. Let a be g(6). Suppose a*r = -3*z + 4*z - 33, 0 = z + 2*r - 33. Is z a composite number?
True
Let p(j) = -j**2 - 22*j - 5. Is p(-10) a composite number?
True
Let d(n) = 5*n + 3*n**2 + 1 - 5*n. Let l be d(-1). Suppose 0*q = 3*j - l*q - 51, -68 = -5*j + q. Is j composite?
False
Let k(g) = g**3 + 4*g**2 - 2*g - 6. Let b be k(-4). Suppose 457 = 3*h + b*v, 0*v - 3*v - 581 = -4*h. Is h prime?
True
Suppose -s + 318 + 847 = 0. Is s composite?
True
Suppose 0 = -2*v - 3*v + 6245. Is v a prime number?
True
Suppose 2*t - 3*t + 4082 = 3*h, 3*h - 2*t - 4085 = 0. Is h a composite number?
False
Let s = 15 - 8. Suppose 0 = -p + a - 3*a + 9, 0 = -5*p + 3*a - s. Is p*93/(-6)*-2 prime?
True
Suppose 0 = -h + 2*w - 442 + 2171, -3*w + 3430 = 2*h. Is h composite?
False
Let h be (-1)/(-4) - (-18)/(-8). Is 11*(-24 + -2)/h composite?
True
Let t = -1844 - -2631. Is t a prime number?
True
Let l(t) = -2*t + 17. Let b be l(7). Suppose 2*j + 1006 = 4*v, -b*j - 7 = 8. Is v prime?
False
Suppose -5*m + 309 + 1268 = -2*o, -5*m = 5*o - 1605. Is m composite?
False
Let m(x) be the first derivative of x**4/4 - 8*x**3/3 - 13*x**2/2 + 15*x - 2. Is m(10) prime?
False
Let m = 30 - 21. Is ((-564)/m)/(6/(-9)) composite?
True
Let n be ((-1)/(-2))/((-3)/30). Is ((-155)/2)/n*2 prime?
True
Let m(v) = 2*v**2 + 7*v - 6. Suppose 0 = 4*w + w - 25. Is m(w) composite?
False
Let d(w) = -6*w**3 + 6*w**2 + 11*w + 13. Is d(-6) prime?
True
Let c = 1 - -1. Let n be c/4*0 - -3. Suppose 0 = n*q - q - 106. Is q composite?
False
Let l = -90 + 239. Is l a composite number?
False
Suppose q - 31 = 40. Is q prime?
True
Suppose c + 3*c - 72 = 0. Let g be (-4)/c + 230/(-18). Let s = -3 - g. Is s a prime number?
False
Suppose -3*s + 1188 + 1173 = 0. Is s prime?
True
Suppose 0 = -3*d - 12 + 3. Is 0 + d/((-3)/223) a composite number?
False
Let f(w) = -w + 4*w - 6*w + 2*w**2 - 4. Is f(5) prime?
True
Let p be (9/(-6))/(3/(-4)). Is p/(-3) + (-2540)/(-12) a composite number?
False
Suppose 2*r + 4*y - 2 = 0, y + 0 = -2*r - 4. Is r - (-6)/2 - -167 a composite number?
False
Let f be ((-1)/3)/(4/(-12)). Let o be (f/(-2))/(3/(-66)). Is 6/(-2) + 2 + o a prime number?
False
Suppose f = -f + 8. Is (-9)/(-1 + f) - -80 prime?
False
Let r = 8 + -5. Is r composite?
False
Suppose x + 1 = 5*u - 2, 0 = -4*x + 4*u + 4. Suppose -x*s + 86 = 4*r, -s + 8 + 43 = 4*r. Is s prime?
False
Is (11260/60)/((-1)/(-3)) a prime number?
True
Let x = -7 + 68. Let r = 126 - x. Is r composite?
True
Let o = 114 + -45. Is o prime?
False
Suppose 5*g = k + k + 9, -2*g = -6. Suppose 2*j + 3*j = -3*o + 59, 5*j = k*o + 71. Is j a prime number?
True
Let q(v) be the first derivative of 1/4*v**4 - 5/2*v**2 + 1 - 3*v + 2*v**3. Is q(-4) prime?
False
Suppose -10*k + 88 = -6*k. Is k prime?
False
Is (-1298)/(-8)*20/5 composite?
True
Let q be (-4)/(-12) + (-16)/(-6). Let o be 2/(-11) - 750/(-11). Suppose -q*m - 59 = -5*l - 5*m, 0 = 5*l - m - o. Is l a prime number?
True
Suppose 3*j - 101 - 10 = 0. Let a = j + -63. Is 1*3/(-6)*a a prime number?
True
Suppose -1 = -3*v + 5. Let q = 6 - v. Suppose q*f = -3*a + 4*a + 197, -f = 4*a - 45. Is f a composite number?
True
Let i = 103 + -57. Let c = i + -25. Is c composite?
True
Suppose -2*m - 378 = -3*m. Let b = 793 - m. Suppose -2*x - r = -4*x + b, -2*x - 4*r + 390 = 0. Is x composite?
True
Let q(s) = -104*s - 47. Is q(-15) a prime number?
False
Let s(d) be the first derivative of -5*d**2/2 - d + 1. Is s(-4) a composite number?
False
Let k = 0 + -18. Let f be 446/(-18) + 4/k. Let z = f - -48. Is z a prime number?
True
Suppose 4*m + 3 - 7 = 0. Suppose n = -h - 3*h + 11, -3*n + 5*h - 52 = 0. Is (6/n + m)*237 prime?
True
Let u(k) = k + 2. Let q be u(-5). Let b = -60 + -140. Is b/q - 3/(-9) prime?
True
Let o = 2261 - 1582. Is o composite?
True
Suppose -11 = -3*h - u, -2*h - 2*u = -1 - 5. Let j = h - 4. Suppose -5*v - 4*c + 63 = j, 4*v - 5 = 3*c + 64. Is v prime?
False
Let i(j) = -5 + j**3 + 2*j**2 - 3*j + 0*j**2 + j**2. Is i(4) a prime number?
False
Let l(k) = k**2 + 2*k - 3. Let g be l(2). Suppose -q = 2*j - 299, j - 1462 = -g*q + 2*j. Is q a composite number?
False
Let k(t) = t**3 + 9*t**2 + 4*t + 7. Let h = -4 + -2. Is k(h) composite?
True
Is 4010/25*(-5)/(-2) a composite number?
False
Let d(s) = -5*s**3 - 5*s**2 + 1 - 3*s + 3*s**3 - 7*s**3 - s**3. Let b be d(-3). Let h = b - 126. Is h prime?
True
Suppose p - 1 - 7 = 3*z, -2*p + 9 = z. Suppose p*k + r - 447 = 2*r, -5*r = -k + 99. Is k a composite number?
False
Let k(m) = m**2 + 3. Let a be k(7). Let r be (-4)/(8/3)*-2. Suppose r*t - a = 14. Is t a prime number?
False
Let u = -522 + 878. Suppose 0*b = -4*b + u. Is b prime?
True
Let m(v) = 59*v. Let q be m(-3). Let y = 19 - 65. Let r = y - q. Is r a composite number?
False
Suppose 5*u = o + 952, -2*o + 200 = u - 7*o. Is u - 9/(-12)*-4 prime?
False
Let c(f) be the first derivative of f**2/2 + 6*f - 1. Let t be c(-3). Suppose v - 524 = -t*v. Is v a prime number?
True
Is 10/(-45) + (-1289)/(-9) a prime number?
False
Let n(r) = r**2 - 9*r - 8. Let g be n(10). Suppose 0 = -4*m + 5*u + 119 - 31, 2*m - g*u = 44. Is m a composite number?
True
Suppose 4*o + 9 + 3 = 0. Let j be 0 - 0/(-1) - o. Suppose -n - 42 = -j*n. Is n composite?
True
Let c(r) be the second derivative of -5*r**3/3 + r**2/2 + 3*r. Let t = -4 - -2. Is c(t) prime?
False
Let h(f) = 7*f**2 + 12*f - 8. Is h(7) prime?
True
Let w = 6126 - 4027. Is w a prime number?
True
Is (-1)/((-6)/(-4))*3933/(-6) a composite number?
True
Let g(z) = -85*z + 13. Is g(-4) prime?
True
Suppose -4*v = -v + 6. Let r(s) be the third derivative of 3*s**5/20 + s**4/24 - s**3/6 - 6*s**2. Is r(v) composite?
True
Suppose -7*f + 1895 = -6162. Is f composite?
False
Suppose -3*p = -789 + 36. Is p composite?
False
Suppose -2*c + 6*j = 2*j, -4*c = -4*j - 20. Suppose -y = y - c. Suppose -5*k + 63 = -3*z, 5*k + y*z = 134 - 39. Is k prime?
False
Is 2/5 + 0 + (-31077)/(-45) a composite number?
False
Let z = 12 - 8. Suppose -z*y - 5*l = 0, 2*l - 14 = 4*y + 14. Is 2 + y - (-41 + 1) a prime number?
True
Let d be (4/3 - (-3)/(-3))*6. Let l be -6*68 - (-2 - -1). Is (-3)/6 - l/d a prime number?
False
Suppose 3*d + 15 = -2*d. Let o(k) = -17*k + 4. Is o(d) a prime number?
False
Is (-28854)/(-54) - 4/3 prime?
False
Suppose 276 = -2*a - 5*z, 0 = a - 2*z + 5*z + 136. Is 30/(-12)*a/10 a composite number?
False
Suppose 2*f + 3 = 13. Suppose -f*l + 0*l + 745 = 0. Is l prime?
True
Suppose -3*t - 27 = -6*t. Suppose -t*g = -4*g. Suppose 0 = -4*r - g*r + 136. Is r prime?
False
Let k(y) = y**3 - 5*y**2 - 5*y + 3. Let g be k(6). Let j be (-1)/3 + 3/g. Suppose a + 5*t - 17 = j, 5*a - 13 = 4*a - 3*t. Is a prime?
True
Let j(a) = -a**3 + 4*a**2. Let z be j(2). Suppose y = 11 - z. Suppose 3*w = y*p + 201, 3*w - 2*w - 57 = -p. Is w a composite number?
True
Suppose m + x = -7, 4*m - 6*x + 2*x + 36 = 0. Is m/32 - 85/(-4) a prime number?
False
Let x = 106 - 47. Is 3/(3 - 0)*x composite?
False
Suppose 9 = 3*r - 6. Suppose -2*a + 149 = -r*k, 304 = 2*a + 2*a - 4*k. Is a composite?
True
Let d = -1372 - -3501. Is d composite?
False
Let t(v) = -18*v + 1. Suppose 5*d = -4*z - 0*z - 39, -z + 4*d - 15 = 0. Let w = z + 6. Is t(w) a prime number?
False
Suppose 3*u + 2*s = -0*u - 17, -5*u + s = 11. Let q be 106/3 + 1/u. Suppose 2*f + q = 7*f. Is f prime?
True
Let c(q) = 10*q - 1. Is c(5) prime?
False
Is (2 + (-237)/2)/((-3)/18) prime?
False
Suppose 3*t + 3*p = -2*p + 643, 418 = 2*t - 2*p. Is t a composite number?
False
Suppose -1020 = -3*y + i, -2*y + i + 716 = 37. Suppose -311 = -2*c - s, 4*c - 5*s = 2*c + y. Is c a prime number?
False
Suppose 0 = -3*i + 2*i + 516. Let h = -263 + i. Is h a composite number?
True
Let q(r) be the first derivative of 19*r**2/2 + 16*r - 3. Is q(7) prime?
True
Suppose -3*f - 77 = -2*p, -3*p - f + 116 = -5*f. Let z = 40 - 26. Let n = p - z. Is n a prime number?
False
Is (4/2)/(3/((-11604)/(-8))) composite?
False
Suppose -3*u = m - 4*m + 693, -9 = 3*u. Let y = m + -159. Is y a composite number?
True
Let v(n) = -6 - 8 + 4 - n + 5. Let s be v(-4). Let d(r) = -77*r. Is d(s) composite?
True
Let o(j) be the second derivative of j**4/12 - j**3/6 + j**2/2 + 4*j. Is o(6) composite?
False
Let p(v) = -v**2 + 9*v - 10. Let l 