t j be u(-3). Let o(p) = 22*p - 13. Let k(v) = 7*v - 4. Let y(m) = j*k(m) + 2*o(m). Is y(-7) composite?
False
Is (3/((-6)/(-5)))/(3/678) a prime number?
False
Let m = 175 - 261. Let z = -33 - m. Is z composite?
False
Let n = 2455 + 3214. Is n a composite number?
False
Is (2 + 2)*1*9796/16 prime?
False
Suppose 2*r = c + 4*r + 6, -4*c = 2*r + 12. Let m = 4 + c. Is (-111)/(-1)*m/6 a prime number?
True
Suppose -2*t - 3*p = -251, 4*p - 6*p + 369 = 3*t. Is t a composite number?
True
Suppose -13 = 2*b - 3*b. Let i = b - 2. Is i a prime number?
True
Let n(q) = 9*q**3 + q**2 - q. Let c be n(1). Let z = c - 5. Is (-4)/(-16) + 59/z composite?
True
Suppose -3*h - 12 = -0*o + 2*o, 2*h = -3*o - 18. Let b be o + 5/((-5)/2). Let r = 77 + b. Is r a prime number?
False
Let z be ((-7)/3)/((-1)/15). Suppose 0 = 4*v - 8. Let c = z + v. Is c a composite number?
False
Let k = -4 - -8. Is k/14 + (-7356)/(-28) a prime number?
True
Suppose -2*x + k - 2 = -k, -4*x = -5*k + 7. Suppose -i + 2*c - 39 = -x*i, -4*c = 3*i - 111. Is i prime?
False
Let c be (-21 - 0)*(0 + 1). Suppose -4*w - 69 = -229. Let u = w + c. Is u a composite number?
False
Let u(t) = 3*t**2 + 8*t. Let b be u(-7). Let s = b - 54. Is s composite?
False
Let w = 24 - -117. Let x = 298 + w. Is x a composite number?
False
Suppose 85 = -5*i - 4*j + 13, -i = j + 15. Is (11 + -1)/(i/(-18)) a prime number?
False
Suppose -2015 = -4*u + 17837. Suppose 0 = -2*t + 2, -2*t + u = 4*r + 1093. Is r prime?
True
Let l = 2 - 3. Let k(y) = 158*y**2 - 1. Is k(l) a prime number?
True
Suppose 5*r - 22 - 13 = 0. Let s(j) = 4*j**2 - 3*j + 6. Let z be s(r). Suppose -4*y + 5*o + 179 = -0*o, -4*y + z = -3*o. Is y a prime number?
False
Suppose -2*m + 7 = 3*b, 3*b + 0*b = 5*m + 14. Is b/6 + (-532)/(-8) composite?
False
Let f(w) be the first derivative of w**2/2 + 3*w + 1. Let x be f(0). Is 19/x + 10/15 a prime number?
True
Suppose 0*n = 2*n + 40. Is (-628)/n - 4/10 a prime number?
True
Let b(n) = 48*n + 5. Let x be b(4). Suppose -67 + x = 2*y. Is y a prime number?
False
Suppose 5*w = w + 4. Let q be ((-2)/w)/(6/21). Let n(y) = -y**3 - 5*y**2 + 6*y - 9. Is n(q) a prime number?
True
Let n(r) = 40*r**2 + 2*r - 3. Let i be n(5). Suppose 3*w + 0*w + m = i, 0 = -3*w - 3*m + 1011. Is w a prime number?
False
Let d(r) be the first derivative of r**4 + 4*r**3/3 + 7*r**2/2 - r - 1. Let z be d(5). Is z/8 - 2/8 composite?
False
Let h be 4/16 - 38/(-8). Suppose h*u = -o + 45, 0 = o + 2*u - 7*u - 25. Is o a prime number?
False
Let g = -5 - -13. Is g/(-12) - 1185/(-9) a composite number?
False
Suppose 2*a = 4*a - 6. Suppose a*v - u = 15, 5*v - 10 = v - 2*u. Is (-1)/v - (-1047)/12 composite?
True
Let y = -3014 + 4257. Is y prime?
False
Suppose 2*h + 105 = 5*h. Is h prime?
False
Suppose -4*q = -0*q - 20. Suppose -1100 = -q*t - 45. Is t prime?
True
Suppose m - 3*r + 7 = 2*m, 0 = 3*m + r - 5. Let a(j) = -m - 7*j - 4*j**2 + 4 + 3*j**2. Is a(-6) composite?
True
Suppose 5*t - 2 - 3 = 0. Let w(n) = 126*n - 1. Let k be w(t). Suppose z = 1, 3*x + x + z = k. Is x a composite number?
False
Suppose 3*k + 3 + 6 = 0. Let r be k/6*2 + 3. Suppose -3*a - 3*p = 2*a - 98, 3*p - 41 = -r*a. Is a prime?
True
Suppose -2*x + 6*x = 12. Let l be x/(0 + (-2)/(-4)). Let f = l + 91. Is f composite?
False
Let v(m) = -m + 307. Let n be v(0). Suppose 0 = r - 4*c - n, 3*r = 2*r - 2*c + 277. Is r composite?
True
Let i = -81 - -302. Is i prime?
False
Let d be 4473 - 3/((-6)/4). Suppose 5*m + 0*m = d. Is m prime?
False
Suppose 5*c = -4*u + 16833, 0 = -u - 3*u - 3*c + 16831. Is u prime?
False
Suppose -u = 4*i - 21, 3 = 4*u - 1. Let f(x) = x**3 - 9*x**2 - x + 10. Let q(t) = -2*t**3 + 17*t**2 + t - 19. Let o(w) = -7*f(w) - 4*q(w). Is o(i) composite?
True
Let d(y) = -y**3 + 9*y**2 - 8*y + 10. Let r be d(8). Is (-190)/(-4) - 5/r prime?
True
Suppose 0 = -3*f - f + 8. Suppose 0 = -6*c + f*c + 44. Suppose c + 51 = 2*d. Is d a composite number?
False
Suppose 5*t - 52 = -4*j, j - 6 = 5*t - 18. Is (-2)/j - 372/(-16) prime?
True
Let k(w) = w**3 + 5*w**2 - 3*w - 6. Let c be k(-5). Let j(a) = 3*a**2 - 10*a - 10. Is j(c) composite?
True
Suppose 0*j = -4*j + 368. Let p = 10 + 22. Suppose -p = 4*h - j. Is h prime?
False
Suppose -3*y = -6*y + 9. Suppose b + 6*c - c - 107 = 0, 188 = 2*b - y*c. Is b a composite number?
False
Suppose -5*x + 3*x = -524. Is x prime?
False
Let b(c) = 60*c**2 - c + 1. Let l be b(1). Suppose -u - 3*u + l = 0. Is u a prime number?
False
Let n(c) = 7*c - 89. Let g(y) = -2*y - 2*y + 44 + 0*y. Let w(f) = -5*g(f) - 3*n(f). Is w(0) composite?
False
Is ((-4)/(-4) + 0)*2293 composite?
False
Is (-36)/9*298/(-8) prime?
True
Suppose -4*l + 3 = -49. Let t(y) = -y**2 + 18*y - 12. Is t(l) a composite number?
False
Let x be (-6)/6*-3*1. Suppose w = -x*w + 260. Is w a composite number?
True
Suppose -4*r = -6*r + 6. Is r - -3*(-220)/(-3) prime?
True
Suppose -2*k + 4755 = 5*c, 2*c + 5*k = -0*c + 1881. Suppose -z - 958 = -4*l + l, -3*l - 4*z = -c. Is l a prime number?
False
Let v(r) be the first derivative of -12*r**4 + 2*r**3/3 - r + 4. Is v(-1) composite?
True
Let w = 697 - 300. Is w composite?
False
Let x = -56 - -109. Is x prime?
True
Suppose -19 + 67 = 4*c. Suppose 4*s - 3*n = -0*s + 293, 4*n = -c. Let p = s - 36. Is p a composite number?
True
Let s(j) = 83*j - 2. Let r(v) = -v**2 + 1. Let k be r(-2). Let z = k + 6. Is s(z) a composite number?
True
Suppose -4*n + y = -930, 3*n = 4*y - y + 693. Let f = n + -54. Is f a composite number?
False
Let o(a) = a**3 - a - 4. Let u be o(0). Let b(v) = -40*v + 5. Let h be b(u). Let n = h + -24. Is n prime?
False
Let j(b) = -6*b**2 - 3*b - 2. Let f be j(-8). Is 0 - (3 + f) - 0 a prime number?
True
Suppose 7 = -4*z + 19. Suppose 0 = z*x + 4*u - 753, -3*u - 320 = -x - 82. Is x composite?
True
Let q(o) = 3 - 6 + 3*o - 1. Suppose 3 = -f + 4*m, f + 3*m + 19 = 6*f. Is q(f) composite?
False
Suppose 3*u + 3*s + s = 4721, -2*s - 7825 = -5*u. Is u a composite number?
False
Let h be (-2 + -5 - 0)*-1. Let j = -5 + h. Is j prime?
True
Is (-1082)/2*(-2 - -1) prime?
True
Let m be -2 + (0 + 1 - -97). Suppose 3*q - 9 = 0, -2*q - m = 3*j - 5*j. Is j a prime number?
False
Let y(q) = 4*q**2 - 2*q - 5. Suppose 2*g - 9 = 3. Is y(g) a composite number?
False
Let j = 9 - 0. Is j a composite number?
True
Let m(k) = k**2 + 2*k + 3. Let u be m(-2). Suppose -h + 5*t = -u*h - 86, 5*t = h + 58. Let w = h - -97. Is w a composite number?
True
Suppose -j + 492 = j + 5*x, j - 2*x - 255 = 0. Is j composite?
False
Let m be (4 - 3 - 0) + 2/(-2). Let w = -358 - -1023. Is w/14*(2 - m) prime?
False
Let h(o) = 6 - 3 - 3 + 5 + 33*o**2 + 3*o. Is h(-5) prime?
False
Suppose -5*d - 1939 + 7184 = 0. Is d a prime number?
True
Let y(f) = f + 1. Let d(n) = 7*n + 207. Let z(s) = d(s) - 6*y(s). Let u be z(0). Let i = u - 58. Is i composite?
True
Let b = -22 - -16. Let g = b + 8. Suppose 652 = g*q + 2*q. Is q composite?
False
Let a be (4/6)/((-4)/492). Let c = a + 165. Is c a prime number?
True
Let v be ((-10)/(-4))/((-3)/(-6)). Suppose 0 = -v*h + h + 12. Is h prime?
True
Suppose -z - 7*j + 23 = -2*j, -4*z - 4*j + 28 = 0. Suppose 0*g - z*g + 207 = 0. Is g a composite number?
True
Let r = 9 - 19. Let n = r + 15. Suppose -n*m = -2*o + 131, -5*o + m + 240 + 30 = 0. Is o composite?
False
Is 1016/12*1/4*6 prime?
True
Let h(n) be the third derivative of -n**7/840 - n**6/45 + n**5/15 + n**4/2 + n**3/6 - 3*n**2. Let m(p) be the first derivative of h(p). Is m(-9) prime?
False
Let d = -44 - 24. Let y = -118 - d. Let x = -36 - y. Is x composite?
True
Is (-9)/(-15) - (40056/(-15) - -2) composite?
True
Suppose s - 429 = 4*i, -3*s + 3*i + 87 = -1164. Is s prime?
False
Let r(o) be the first derivative of -o**2/2 + 25*o - 2. Let d(j) = -j**2 + 1. Let n be d(-1). Is r(n) prime?
False
Is (1 + 1249)/5 + 3 a composite number?
True
Suppose 0 = 4*x + a - 7, -x + 7 + 16 = -4*a. Let h(m) = 25*m - 2. Let u(q) = 12*q - 1. Let l(j) = x*h(j) - 7*u(j). Is l(-4) a composite number?
False
Let h be 9/6 + (-387)/2. Let f = h + 443. Is f a prime number?
True
Suppose 2*w + 440 = 7*w. Let z = 123 + w. Is z composite?
False
Let s(t) = 119*t**2 - 21*t + 3. Is s(4) a prime number?
True
Suppose w - 183 = -5*f, -3*f - 2*f - 306 = -2*w. Is w a composite number?
False
Suppose 5*w = 0, 2*w = -g + w + 613. Is g composite?
False
Let x = 8 - -57. Su