*o, 2*h = 5*o + 354. Let j = -15 - o. Is j composite?
True
Suppose k = -4*k - 345. Suppose 0 = -r - 32 + 160. Let d = k + r. Is d a composite number?
False
Let c = 11 - 11. Suppose c = 3*p - 45 - 21. Is p prime?
False
Suppose 4*c - 7 = -b, 0 = -3*c - b + 2 + 2. Let v be ((-9)/(-4))/(c/8). Is 227/9 - v/27 composite?
True
Let b(l) = -l**3 - l**2 + 7*l - 1. Let r be b(-5). Suppose 2*f - r = -2*n, 2*f + 5*n - 36 = f. Is f a composite number?
False
Suppose -5*m - 3 = 27. Let x(s) = 6*s**2 + s + 1. Is x(m) a composite number?
False
Let m be 2/7 - (-38)/14. Let b be (-1)/m - 34/(-3). Let y = 17 - b. Is y a composite number?
True
Let h(u) = -4*u + 1. Let m be h(-1). Suppose 0*k - 5*p + 625 = 5*k, m*p + 10 = 0. Is k a prime number?
True
Let d(h) = -h**3 + h**2 - 11. Let y be d(0). Let v = y - -58. Is v prime?
True
Is (-9)/(-6)*(-4794)/(-9) a prime number?
False
Suppose -572 = -4*x - 3*n - n, -2*x = 5*n - 283. Let p = x - 55. Is p prime?
True
Is (22 - 0)/((-4)/(-6)) prime?
False
Let z be (0 - -2) + (-592)/(-2). Suppose 2*q = -0*q + z. Is q prime?
True
Is (-4910)/(-4)*14/35 a prime number?
True
Let q = -1677 + 2672. Is q a prime number?
False
Suppose -c + 2*c = 449. Is c a composite number?
False
Let f be 3307*(2 - (4 - 3)). Suppose 5*n - 3311 = 2*n + 4*t, -3*n + 2*t + f = 0. Is n a prime number?
False
Suppose 8 = 2*z, 3*u + 5*z - 3580 = 4681. Is u a composite number?
True
Let h(a) = a**2 - 9*a + 6. Let z be h(9). Is z/12 + 74/4 composite?
False
Suppose 0 = -q - 4*g - 4, 3*q + 50 = -q + g. Is (20/q)/(2/(-66)) a prime number?
False
Is ((-206)/6)/(4/(-12)) a prime number?
True
Let h be (90/(-21))/(2/(-14)). Suppose -28 - h = -2*m. Suppose -5*y - m = -124. Is y prime?
True
Suppose 5*p - 3 = 4*p. Suppose 0 = -3*u - p*w + 2*w + 101, 5*u - 179 = w. Is u composite?
True
Let y = 405 + -200. Is y a prime number?
False
Suppose -3 = -2*z + z. Let r(g) = -29*g**2 - 3*g - 4. Let l(y) = -57*y**2 - 7*y - 9. Let q(f) = z*l(f) - 7*r(f). Is q(-1) a composite number?
True
Let q(z) = 4*z + 5*z + 3 + 5 + z**3 + 10*z**2 + 1. Let j be q(-9). Is (-6)/j*(-477)/6 a prime number?
True
Let w = 0 + 63. Let o = -37 + w. Is o a prime number?
False
Suppose 2*c = 4*c + 18. Let l(b) = b**3 + 9*b**2 - 4*b - 6. Let q be l(c). Suppose -3 - q = -i. Is i prime?
False
Let g(s) = 8*s**2 + 10*s + 9. Is g(-7) a composite number?
False
Let q(j) = 536*j**3 - 8*j**2 + 3*j + 8. Let n(x) = -357*x**3 + 5*x**2 - 2*x - 5. Let r(d) = 8*n(d) + 5*q(d). Is r(-1) a composite number?
True
Suppose -10 = -c + g, 4 + 8 = 3*g. Is c prime?
False
Suppose 0 = 2*a + 2*p - 18, -p - 21 = -6*a + 2*a. Let z be a*(-1 - 2 - -1). Let g = z - -19. Is g composite?
False
Suppose 32*c + 3722 = 33*c. Is c a prime number?
False
Let n = -7 + 13. Let s = 23 + -22. Let t = s + n. Is t a composite number?
False
Let v = -70 - -161. Is v prime?
False
Let f(v) = 12*v**2 - 5*v + 6. Let q = -1 - 4. Is f(q) prime?
True
Suppose 0 = 2*w + 5*l - 422, w + 2*l = l + 211. Is w prime?
True
Let k(j) = -105*j - 7. Let a be k(-7). Suppose -3*b - 879 = -3*i, -3*i - 2*b + a = -151. Is i prime?
True
Let g = 917 - 330. Is g composite?
False
Suppose 2*o - 5*w + 350 = 6*o, 2*w = -o + 86. Let g = -16 + o. Is g a prime number?
False
Let b be 0/(-2 - 1/(-1)). Suppose 2*f - 356 = 3*g, b = -0*f + 4*f - 4. Let t = 37 - g. Is t composite?
True
Let f = -23 - -14. Let d(s) = 2*s**2 + 6*s + 11. Is d(f) prime?
False
Let d be 6/(-2)*2/(-3). Suppose -3*y = -d*x - 42, -y + 4 = -0. Let s = 30 + x. Is s prime?
False
Let z(y) = y**3 - 5*y**2 - 6*y + 1. Let t be z(6). Let f(c) = -2*c + 136. Let w(x) = x + 1. Let u(q) = t*f(q) + 3*w(q). Is u(0) a prime number?
True
Let r be (-8)/48 - 25/(-6). Suppose 0*v + 2140 = r*v. Is v a prime number?
False
Let y = 88 + -53. Is y a composite number?
True
Suppose 4*o = 5*q + 1381, 1710 = 5*o + q - 4*q. Suppose -172 = -2*f + 280. Let z = o - f. Is z prime?
True
Let g(d) = -d**3 - 7*d**2 + 6*d - 11. Let n be g(-8). Let s(l) = 2*l + 4. Is s(n) a prime number?
False
Suppose 20*z = 18*z + 7906. Is z composite?
True
Is 1062 - (-2)/4*-6 a prime number?
False
Suppose -l - 9 = 4*u + 98, 0 = 5*u + 4*l + 131. Let g be 6/(-2 + 3)*-2. Let j = g - u. Is j prime?
False
Let p = -77 - -1534. Is p a composite number?
True
Suppose 0 = -7*r + 4*r - 3. Is (r - 0)*1*-83 prime?
True
Suppose 3*y + 699 = 3*s, 7*y = 2*y + 10. Is s a prime number?
False
Let c(u) = 3*u**2 - u - 3. Let j = 5 + -9. Is c(j) a composite number?
True
Let t(m) = -m**3 - 10*m**2 - 10*m - 5. Let s(p) = -p**2 - p + 1. Let x(i) = 3*s(i) - t(i). Let d be x(-6). Is (21 + -2)/(d - 1) composite?
False
Let n(d) = -15*d + 14. Let u be n(-11). Let a = u - 128. Is a composite?
True
Suppose 9*v = 6*v + 879. Is v prime?
True
Let n be (-5 + -2)*(-6)/7. Suppose -30 = -y + n*y. Let a(f) = -8*f + 7. Is a(y) prime?
False
Let t = 9 + -13. Is 74/3*(-6)/t composite?
False
Let n(y) = 4*y**2 + 6*y - 1. Is n(-5) composite?
True
Suppose -3*f = 3*l + l - 6489, -3*l - 4*f + 4865 = 0. Is l prime?
False
Let p be ((-24)/20)/(2/15). Let m = 31 + p. Is m composite?
True
Is 16/(-104) - 1237/(-13) prime?
False
Suppose -6 = -2*u + 2. Suppose 5*m = i + 20, 3*m = -u*i - 2*m + 45. Suppose -3 = -3*h - 5*z - 2, -i*z = h + 13. Is h a composite number?
False
Let p(v) = 102*v**2 - 5*v - 11. Is p(-2) prime?
False
Let s(j) be the first derivative of -13*j**2 - j + 2. Is s(-6) a prime number?
False
Suppose -2*o = -3*o + 2. Suppose a = o*a - 4. Suppose -4*y + 2*v = -318, y = -a*v + 54 + 3. Is y composite?
True
Let t be 2/(-4) + 4753/14. Suppose 0 = -0*n - 3*n + t. Is n prime?
True
Is (-5)/15*9/(-3)*6 a composite number?
True
Let x = 1 + 2. Suppose -17 = 3*a - m, 3*a + 0*a - x*m = -27. Is 10*(3 + 2/a) composite?
True
Let j(i) = -i**2 + i - 13. Let a be j(0). Suppose -2*q - 2*n = 3*n + 98, -5*q = -3*n + 214. Let d = a - q. Is d a composite number?
False
Let m(w) = w. Let u be m(3). Suppose 2*o = -4*n + 134, n + 4*o = -u*n + 132. Is n a composite number?
True
Is 146 - ((-11)/(44/(-24)) + -3) a prime number?
False
Let k = 8 - 36. Let t = 87 + k. Is t a prime number?
True
Let n(x) = 2 - 3 - x**2 - 1. Let h be n(-2). Let m = 17 - h. Is m prime?
True
Let c be 4/6 - 44/(-6). Suppose 5*d - c = -2*h, -5*d = -h - h - 12. Let k(q) = -8*q**3 + q. Is k(h) a prime number?
True
Suppose -10 = -5*i - 0. Let b = 0 + i. Suppose 0 = b*a + 3*j + 11 - 115, a + 3*j - 46 = 0. Is a composite?
True
Let j(w) = -30*w + 56. Is j(-23) composite?
True
Suppose 81 = 5*b + 21. Is 31 - (-3 - b/(-4)) prime?
True
Let w(p) = -2*p**3 - 2*p**2 - p - 1. Let b(u) = -u**3. Let g(z) = -4*b(z) + w(z). Suppose t + 22 - 9 = 2*i, -4*i + 6 = 2*t. Is g(i) composite?
True
Suppose -2*d + 235 = 3*d. Let l = 86 - d. Suppose -117 = -3*j + 3*k, k = -j - 2*k + l. Is j prime?
False
Suppose b + 618 = -2*x, -5*b + b = -2*x - 598. Let f = -218 - x. Is f a prime number?
True
Suppose 0 = -5*i + 9 + 1. Let d(x) = -3 - 3*x**i + 3*x**2 - x**2 - 9*x. Is d(-7) prime?
True
Is (-12)/6 - (0 + -295) a prime number?
True
Suppose -4*k = 3*j - 486, -2*k - 3*k - 5*j + 605 = 0. Suppose -k = 4*p + 2485. Is (-6)/30 - p/10 a prime number?
False
Let o = -38 + 54. Suppose -o = -5*h - 1. Is 3 + (43 - h/(-3)) prime?
True
Suppose -3 = -6*w + 87. Suppose -19*j = -w*j - 812. Is j composite?
True
Let h be 0 + 0 + 3 + -1. Suppose 8 = -h*r - 40. Is 45/4 + 6/r composite?
False
Suppose 0 = v - 5*c - 9, 4*v - 238 = -5*c - 77. Let j = -2 - v. Let a = j + 55. Is a prime?
True
Suppose 0 = 3*g - z - 4*z - 24, -z = -5*g + 18. Suppose 7*x = g*x + 212. Is x a composite number?
False
Suppose 6*i + 464 = 3566. Is i a prime number?
False
Is 4988 + (20/(-5))/4 a composite number?
False
Let l(r) = -138*r**3 - r. Let b be l(-1). Let k(u) = -u**2 + 7*u - 3. Let x be k(6). Suppose -h = 5*p - 160, 0 = 2*p + 2*p + x*h - b. Is p prime?
True
Let k = 42 + -20. Is k composite?
True
Let z(d) = 2*d**2 - 8*d - 3. Let l be -7 - (-1)/1*1. Let a be z(l). Suppose 5*u - 73 = a. Is u a prime number?
False
Is 1/2 + 2797/2*1 prime?
True
Is 2/(-3) - 25336/(-24) a prime number?
False
Let b(x) = x**2 - 5*x - 10. Let t be b(7). Suppose 5*c - 2*j - 2440 = -7*j, 3*c - 1443 = t*j. Is c prime?
False
Let t(b) be the third derivative of -b**4/24 + 425*b**3/6 + b**2. Let s be t(0). Suppose -3*j + s = 2*j. Is j a prime number?
False
Suppose 2*d + 3*d + 10 = 0. Let o