). Let k = o + -100. Is k a prime number?
True
Is (-2)/(1 + -5)*266 prime?
False
Let h = 680 - 471. Suppose t - 110 = -2*v + 5*t, -4*v - 3*t = -h. Is v a composite number?
False
Suppose 3*b - 3*i - 318 = 0, -2*b - 5*i = -0*b - 247. Is b a prime number?
False
Let d(r) = r**3 - r**2 - 3*r - 5. Let x = -7 - -11. Is d(x) composite?
False
Let y = -223 - -424. Is y a composite number?
True
Let x(t) = t**3 + t - 12. Let c be x(0). Let y be (-10)/(-4)*c/(-10). Suppose -y*b + 16 + 26 = 0. Is b composite?
True
Suppose 0 = v - 1086 - 737. Is v a composite number?
False
Suppose -4*v + 4*y = 109 - 37, -2*v = -3*y + 31. Suppose 32 = -2*g + 2*h, -7*h + 2*h = g + 4. Let j = g - v. Is j prime?
False
Is 12/18*129/2 a prime number?
True
Let c be 75 + (-4 - (2 - 3)). Suppose 3*g - 5*b = 226, b - c - 258 = -5*g. Is g composite?
False
Let m(w) be the first derivative of 25*w**3/3 + 5*w + 4. Let r be m(-5). Suppose 425 + r = 5*x. Is x prime?
True
Suppose -4*k = -299 - 349. Let z be (42/(-9))/(3/k). Let i = z - -455. Is i a prime number?
False
Let x = -1 - -3. Suppose m + x*k - 234 = 0, -m + 3*k - 473 = -3*m. Suppose 2*j = 2*q - m, 7*q = 4*q - 4*j + 359. Is q a composite number?
True
Suppose -6 = 3*s - 3*f, 2*f = -3*s + 7*f - 14. Suppose j = -s*j - 4*u + 12, 12 = 3*j + u. Suppose -3*r = -j*l - 113, -3*r + 2*r + 41 = -2*l. Is r prime?
True
Suppose 6*o = 7*o - 391. Is o prime?
False
Let p(r) = -13*r**3 - r**2 - 3*r + 9. Let j(v) = 13*v**3 + v**2 + 2*v - 8. Let x = -7 + 1. Let n(k) = x*j(k) - 5*p(k). Is n(-2) a prime number?
True
Suppose -5*p - 1 = 14. Is (-44)/8*(p - -1) a prime number?
True
Let n(b) = -b - 1. Let q be n(-5). Is ((-23)/(-2))/(2/q) a composite number?
False
Suppose 5*l - 61 - 195 = -3*p, 5*l + 2*p = 254. Suppose -5*h + 4*h = -3*q + 22, -5*q = h - l. Suppose v + 3*d - q = -2, 3*v - 27 = -3*d. Is v a prime number?
False
Let i(a) = -4*a - 6. Suppose 2 = -3*n - 10. Is i(n) composite?
True
Let q(b) = -7*b + 5. Let c(p) = 20*p - 14. Let m(f) = -6*c(f) - 17*q(f). Let z be m(-6). Let d = z - -30. Is d prime?
False
Suppose -2*h = 3*h - 1655. Is h a prime number?
True
Let x be (-17 - -2)/(-3)*1. Let r(u) = -u**2 + 9*u + 3. Is r(x) composite?
False
Suppose -5*k + 24 = -1. Suppose 0 = -8*x + k*x + 471. Is x a composite number?
False
Suppose 0 = o + 4*o. Is 59*(o - -2)/2 prime?
True
Let j be (5/(-10))/(1/(-4)). Is (-3 - (-7)/j)*230 prime?
False
Is (6 + 1)/((-9)/(-2007)) a composite number?
True
Let g = 527 + -145. Let t be (-4)/18 - g/(-18). Is 519/t + 4/14 composite?
True
Let o(t) be the third derivative of 11*t**7/1680 - t**6/144 + t**5/60 - 3*t**2. Let a(b) be the third derivative of o(b). Is a(4) composite?
False
Let i(w) = 4*w + 4. Suppose b = -0*b - 6. Let h be i(b). Is (-2)/(-8) + (-2415)/h a composite number?
True
Let a(q) = q**3 + 6*q**2 - q - 2. Let x be a(-6). Suppose -4*g = k - x, -2*k - g + 2 = -6. Suppose k*u + 48 = 196. Is u a composite number?
False
Let h be 1/((-8)/(-6) + -1). Let y(f) = 5*f**3 - 3*f**2 + 8*f - 4. Let o(v) = -4*v**3 + 3*v**2 - 7*v + 3. Let q(s) = 6*o(s) + 5*y(s). Is q(h) a prime number?
False
Let t(z) be the second derivative of -z**4/12 - 5*z**3/6 - z**2 + 2*z. Let y be t(-4). Suppose -v = y*v - 93. Is v composite?
False
Let u(x) = -x - 4. Let f be u(-8). Suppose -2*z = z + 5*q - 476, 2*z = -f*q + 318. Suppose -n = -0*n - z. Is n a prime number?
True
Let z = 276 + -11. Is z a prime number?
False
Suppose 7*d - 3*d = 20. Let w(q) = -q**3 + 6*q**2 - 4*q - 2. Let o be w(d). Suppose 0 = -i - i + 2*u + 270, -u = o*i - 389. Is i prime?
True
Let a(m) = 2*m - 28. Let x be a(12). Suppose 0*u = -u + 2. Is (x + u)/((-6)/9) prime?
True
Let o(p) = 5*p**2 + 5*p - 9. Is o(10) a prime number?
True
Suppose -3*i + 455 = -5*d, 0 = i + 4*d - 159 - 4. Let l = i + -12. Is l prime?
False
Let f = 8 + -6. Suppose -1228 = -2*x - f*x. Is x composite?
False
Suppose 2*v + 328 = 6*v. Is v prime?
False
Let u(l) = -l**2 - l + 1543. Is u(0) a prime number?
True
Let c(k) be the third derivative of k**6/120 - k**5/12 + 5*k**4/24 - k**3/3 - 7*k**2. Suppose 5*o = 2*y - 30, -8*o + 4*o - 11 = y. Is c(y) a prime number?
True
Is (-115)/(-1)*18/90 composite?
False
Let d = 135 - -116. Is d a prime number?
True
Let c be (428/4*-2)/(-2). Suppose -2*w - 29 = -c. Is w a composite number?
True
Suppose -4*l - 78 = -2*k, 3*k - 4*k = 4*l - 69. Is k prime?
False
Let t = 6 - 3. Suppose c - 2*y = 2*y - 5, -4*c + t*y = 59. Is 2 - 0/2 - c a prime number?
True
Let x(t) = -27*t**2 - 1. Let p be x(-1). Suppose -3*k = 137 + 22. Let m = p - k. Is m composite?
True
Let i(t) = -711 + t - 3*t + 3*t. Let m be i(0). Is 2/4 - m/6 a composite number?
True
Let f(g) = 407*g**2 - g + 1. Let w be 3 - 2/2 - 1. Is f(w) a composite number?
True
Is ((-3)/4)/((-1)/892) prime?
False
Suppose 0 = -m + 2*m + 4. Suppose -t = 4*p - 18, -t - t - 4*p = -20. Is (t - 0)*(-6)/m prime?
True
Let l(b) = b**2 - 4*b - 5. Let p be l(5). Suppose -16 = -2*n + 2*f, p = -n - 2*f + f + 12. Is (-485)/(-25) + (-4)/n prime?
True
Let o = -418 + 797. Is o prime?
True
Let q(x) = -x + 337. Is q(0) prime?
True
Suppose -11*v = -2*v - 4302. Is v a prime number?
False
Let s = -4 - -6. Suppose -3*m + 0*z - 4*z - 126 = 0, 0 = m + s*z + 42. Let u = m - -79. Is u prime?
True
Let k(n) = 23*n - 1. Suppose 0 = 5*c + 5*p - 5, -c - 3*c = 2*p - 6. Suppose -l = c - 6. Is k(l) a prime number?
False
Let h = 376 - 188. Suppose 2*g - 4*g = -h. Is g a composite number?
True
Let s(h) = -8*h**3 - 2*h**2 - 3*h - 2. Let y be s(-2). Let x be 309/3 + (-4)/2. Suppose a - x - y = 0. Is a a prime number?
False
Let j = 354 - 151. Is j composite?
True
Let h be ((-72)/(-20) - 4)*-5. Let l(u) = -14*u. Let s be l(-7). Suppose 0*w - s = -h*w. Is w prime?
False
Let s = 0 - -267. Let g = -104 + s. Is g a composite number?
False
Suppose -3*x - 16 = -t, 0*x = 2*t + 4*x - 72. Let o = t - -23. Is o prime?
False
Let b(z) be the first derivative of 55*z**2/2 - 1. Is b(1) a composite number?
True
Let y = -9768 + 25211. Is y a prime number?
True
Let g = -48 - -11. Suppose 4*h - 16 = 8*h, u + 4*h = 58. Let z = g + u. Is z a prime number?
True
Suppose 0 = 5*t + 3*x - 5808, 198 + 2129 = 2*t + 5*x. Suppose -180 = v + 2*p, 5*v + t - 256 = -5*p. Let b = -103 - v. Is b composite?
False
Suppose 0 = -l + 2 + 1. Let w be (-14)/(-3) + l/9. Suppose -g = -w*x + g + 263, g = -4. Is x a prime number?
False
Let y(s) be the third derivative of s**5/60 + s**4/4 + s**2. Is y(-7) composite?
False
Suppose 0 = h + 2*g - 211, -4*h - 673 = -7*h + 2*g. Is h a prime number?
False
Let i(p) = 165*p + 2. Is i(3) prime?
False
Suppose -3*u + 3426 = v, -5*u - 2*v = -1659 - 4052. Is u a prime number?
False
Let s(g) = 1. Let n(u) = -2*u + 11. Let t(o) = n(o) - 6*s(o). Let f be t(4). Is 0 + ((-230)/(-1) - f) a prime number?
True
Let u(p) be the third derivative of p**5/30 - p**4/4 - 7*p**3/6 + 2*p**2. Is u(5) composite?
False
Let b(o) = o - 8. Let t be b(10). Suppose t*n + 12 = 4*n. Let x = 13 + n. Is x composite?
False
Let h(t) = -t**2 + 27*t + 3. Is h(13) a prime number?
False
Let b be (94/(-6))/(1/3). Let h = 26 - b. Suppose -59 = -4*p + h. Is p a prime number?
False
Let v(i) = 1. Let k(t) = t**2 + 5*t - 11. Let h(o) = k(o) + 4*v(o). Let z be h(-8). Suppose 4*l - 23 = z. Is l composite?
True
Suppose -6*i + 4*i + 6 = 0. Let f = 0 + 7. Suppose i*z = f*z - 332. Is z prime?
True
Let y(l) = -l**2 - 6*l - 4. Let f be y(-4). Suppose 3*a = f*o - 3*o - 58, 4*a = 5*o - 257. Is o a prime number?
False
Is (-7 - 4)/((-4)/52) a composite number?
True
Suppose 465 = 5*i - 5*y, 2*i - i = -5*y + 105. Suppose 2*s + u - i = 0, 0 = s - u - 25 - 27. Is s composite?
True
Let r = 5 + -7. Let z = 3 + r. Suppose 7 + z = -2*s, k + s = 33. Is k a prime number?
True
Let k = 440 + 29. Is k a composite number?
True
Let l = 1106 + -337. Is l prime?
True
Suppose -2*b + 8 = -16. Let m = 17 - b. Suppose -m*r - 2*z + 418 = 2*z, -2*r = -2*z - 178. Is r composite?
True
Suppose 5*t + s - 13 = -0*t, -3*t + 21 = 5*s. Suppose 0 = 2*n - a - 3*a - 54, -5*n + t*a + 167 = 0. Is n prime?
False
Suppose 4*w = -w - 30. Let z(l) = l**3 + 7*l**2 + 6*l. Let r be z(w). Suppose r = -4*n + 85 + 39. Is n prime?
True
Suppose 0 = n + 3*n - 24. Suppose -3*u = z - n*z + 227, -91 = -2*z + u. Is z a composite number?
True
Let u = 3 + 1. Suppose -u*d = d. Suppose d = j 