ber?
True
Is 2/4 - (-10 + 132315/(-30)) composite?
False
Let n(a) = -2*a + 2. Let z be n(-3). Let f be z/(-24) + (-340)/(-3). Suppose -4*h + 5*j = -f - 15, 0 = -h + 3*j + 25. Is h composite?
False
Suppose -9*y - 2540 = -10*y. Suppose 5*u + 5*u = y. Is u prime?
False
Let f = 18996 - 10685. Is f a prime number?
True
Let k = 4233 + -725. Suppose 0 = 3*i - 1691 - k. Is i composite?
False
Let w(n) = -8*n**3 + 4*n**2 - 5*n - 10. Let g(j) = -j**3 - 10*j**2 - 10*j - 13. Let q be g(-9). Is w(q) a prime number?
False
Let i = -24 - 90. Let c = -49 - i. Is c prime?
False
Suppose 138*r - 141*r + 132476 = -5*j, -r = 4*j - 44187. Is r a prime number?
False
Let y(q) = 548*q**2 - 5*q - 7. Is y(-4) a prime number?
False
Let x be 5 - (-1 + 2 + -1). Suppose -n - 2*q = -4, x*n - 9 = 4*q - 3. Suppose -23 = -3*v + 3*r + 862, -3*v - n*r + 875 = 0. Is v composite?
False
Let y(v) = -2*v - 2. Let f be y(0). Let m be f/(-6) + 2/3. Is 9 + 29 + (1 - m) prime?
False
Let k be 0 + 1 + -4 - 180. Let g = -66 - k. Suppose -i + 70 = -g. Is i prime?
False
Suppose 0 = 2*x - 5*s - 25587, -4*x - 5*s + 51166 = -7*s. Is x a composite number?
False
Suppose 3*m = -2*s - 19, 0 = m - 3*s - 1. Let z be (-13 + 1)*m/3. Suppose 4*x + z = 0, -2*w + 3*x = w - 24. Is w a composite number?
False
Suppose -52*l + 36823 = -197853. Is l a composite number?
False
Suppose -3*u - 69 = 5*y, 6*u - 3*u + 3*y = -69. Let r = -21 - u. Suppose -g - 754 = -2*q, 2*g + 738 = r*q - 3*g. Is q a prime number?
True
Suppose 8 = 4*q - 0. Let p(m) = 14*m - 2. Let t be p(q). Suppose 2*r = -t + 256. Is r prime?
False
Let i(r) = 9*r**2 + 4*r + 12. Suppose 4*s - j - 25 = 0, 15 - 35 = 4*j. Is i(s) composite?
False
Suppose 3*s = -y, 2*y - y = -2*s. Let m(l) = l + s - 10 + 19 - l**2. Is m(0) a prime number?
False
Let w(b) = b**2 - b - 94. Let m be w(0). Let c = 403 + m. Suppose v - 184 = 4*p + c, 5*v - 2465 = p. Is v a composite number?
True
Let u(h) = -h**2 - 14*h - 7. Let m(q) = -2*q**2 - 27*q - 15. Let t(r) = -4*m(r) + 7*u(r). Let g = -490 + 476. Is t(g) a prime number?
True
Let o(d) = 2*d**2 + 10*d - 59. Let x be (-1)/12*-6*-36. Is o(x) a composite number?
False
Suppose -3*h - 41985 = -3*w, -3*h - 41981 = -w + 2*w. Is 1/(3 - (-41972)/h)*5 a composite number?
False
Let z(k) = k**2 + k - 1. Let u be z(-1). Is (5/10 + 0)*(1581 - u) a prime number?
False
Is (8/20)/(5 - (-395370)/(-79075)) a composite number?
True
Let x be (-52626)/24 + ((-21)/(-12))/(-7). Let n = -722 - x. Is n a composite number?
False
Suppose h = -5*z + 37, -z + 145 = 5*h + 4*z. Suppose -h + 7 = -4*j. Suppose 3*u - 710 = -j*s, 7*s = 2*s + 5*u + 750. Is s prime?
False
Let o = 7 + 0. Suppose -x = -o*x. Let v(d) = -d**3 + d**2 - d + 127. Is v(x) prime?
True
Let h be 3*25/(-15)*(-1 - 12). Suppose 4*b - 244 = 928. Suppose 4 = -i, 4*p + h - b = 2*i. Is p composite?
True
Let y be (-8)/6*9/(-6). Suppose -y*a + 21 = -5*a. Let w(j) = -j**2 - 10*j + 1. Is w(a) composite?
True
Let q = 56528 + -36897. Is q a prime number?
False
Suppose -5*p - 5844 = -11*p. Is p a composite number?
True
Suppose -5*k + 19787 = 4*m, -19789 = -5*k - 5*m + 2*m. Is k composite?
True
Let y(p) = 70*p**2 - 2*p. Let t be y(2). Suppose t = 4*r - 2212. Is r a prime number?
False
Let p(k) = -9*k**2 + 8. Let b(u) = -2*u**3 + 3*u**2 - u. Let x be b(2). Let f be p(x). Is 2/6 - f/6 a composite number?
False
Suppose 10*t = -3*c + 8*t + 48319, 0 = 4*t - 8. Is c composite?
True
Suppose 0 = -4*w + 37 + 11. Let u be w/(-10)*(-110)/33. Suppose 4*g + 9*l - 291 = u*l, 5*g = 3*l + 410. Is g a prime number?
True
Is ((-20810)/(-1))/(-2)*(-19 + 18) prime?
False
Let n(c) = 27*c**2 + 30*c - 44. Is n(-23) a prime number?
False
Suppose 15562 = 5*f + 2*b - 11679, 2*b = -3*f + 16343. Is f a composite number?
False
Let l be 2/3 - 552/(-36). Let o(p) = -4*p + 0 - 9 + l*p**2 + p + p. Is o(7) a composite number?
False
Suppose -14*s = -13*s - 1628. Suppose 16*x - 20*x = -s. Is x composite?
True
Let n(c) = 2*c**2 - 15*c - 25. Let l be (-134)/(-10) + 16/(-40). Is n(l) a composite number?
True
Suppose -2836 = -3*u + 3*s + 608, -s = u - 1154. Is u composite?
False
Suppose -15 = -5*y, -4*w + 5*y = -9*w + 16085. Is w a composite number?
True
Suppose -16*d + 5*d = 22. Let b(w) = -546*w - 25. Is b(d) prime?
False
Is 5/5 + -1 + 3989 a prime number?
True
Let t be 47*-5 - (2 + -5). Is t/(-38) + 16/(-152) a composite number?
True
Let w(o) = 13*o**2 - o. Let h be w(1). Suppose -3*p = -7*p + h. Suppose -f - f + p*s + 160 = 0, -f - 5*s = -54. Is f composite?
True
Let n = -1089 + 756. Let f = n - -516. Suppose w - 2*d - f = -6*d, -2*w + 380 = d. Is w a composite number?
False
Suppose -5*l + 18 = 8. Let w be 14/4 - 1/l. Suppose w*n + 3*f = 792, -f = n + 2*f - 274. Is n composite?
True
Suppose 24 = c + 7*c. Is c/15 - (-2644)/5 a prime number?
False
Let c(d) = 1959*d + 145. Is c(4) a composite number?
True
Is (-9 - -936) + 0 + -5 a composite number?
True
Suppose 2*w = 3*q + 15, -2*q = 5*w - 3*w + 10. Suppose 0 = -w*r - 10*r + 2570. Is r a composite number?
False
Let g be (10/4 + -2)*-26. Let z(v) = -2*v**3 - 14*v**2 + 5*v - 8. Let r be z(g). Suppose -2*t + r = 3*t. Is t a composite number?
True
Suppose 5508 = 3*f - 3*n, 0*f - 5*f + 9200 = -n. Is f composite?
True
Let r = -35 - -36. Let q(b) be the first derivative of 83*b**3/3 - b**2/2 + b - 2. Is q(r) a composite number?
False
Suppose 0 = -4*v + 17 - 5. Is v - 1 - (1 - 492) a prime number?
False
Is (-7)/(20 - -15) + (-108686)/(-5) composite?
False
Suppose -2*s - 1237 = -3*a + 2*s, -2*a + 853 = 3*s. Is a a prime number?
True
Let b(d) be the second derivative of -1/2*d**2 + 0 + 4*d - 19/2*d**3. Is b(-2) prime?
True
Let l be ((-6)/(-8))/((-2)/(-8)). Suppose 3*q - v = 236, 86 + 170 = l*q - 5*v. Is q prime?
False
Let t be 1*(6 + 2/(-2)). Let m(k) = -34*k - 5. Let f be m(-5). Suppose -t*x - n = -292, -3*x + 4*n - 8*n + f = 0. Is x a composite number?
False
Suppose 2*y + 3*k + 2265 = 0, 4*y - k - 289 = -4826. Let r = y - -2057. Is r composite?
True
Let g(b) = 27*b - 88. Is g(21) composite?
False
Let x be 8/((-4)/10*-5). Suppose -23 + 298 = 4*o - c, -4*o = x*c - 280. Suppose -91 = -5*z + 3*m + o, 0 = z - m - 30. Is z a prime number?
False
Let j(t) = 34*t - 13. Let w(x) = -33*x + 12. Let b(n) = -n**2 + 2*n + 7. Let z be b(3). Let u(a) = z*j(a) + 5*w(a). Is u(-7) a composite number?
False
Suppose 0 = -2*i + 10, -3*j - 3*i = j - 70243. Is j a prime number?
False
Is 3/18 - (-76)/(-24) - -3112 a composite number?
False
Let t = 1258 - 812. Is t composite?
True
Suppose 4*y + 72 = 8. Let s = y + 7. Let a = 42 + s. Is a a composite number?
True
Let z(g) = -g**3 - 5*g**2 + 4*g + 5. Let r be z(-6). Let h(l) = -l**3 + 18*l**2 - 5*l + 17. Is h(r) a composite number?
True
Suppose -22*p = -21*p - 19811. Is p composite?
True
Is 55 + -63 + (-27858)/(-2) composite?
False
Suppose 4*h - 22 = -2*o + 8*h, 5*o - 3*h = 83. Let t(i) = 15*i - 28. Is t(o) a prime number?
True
Let a = 28 + -10. Suppose -23*b = -a*b - 2945. Is b a composite number?
True
Suppose -2*r = -q + 7, -3*r - 5*q + 10 = -12. Let y = -1 - r. Let u(d) = -d**3 - d**2 - d + 185. Is u(y) prime?
False
Let k(b) = -30*b**3 - 2*b**2 + 2*b - 67. Is k(-8) prime?
True
Let u = 42 - -111. Suppose -4*p = n - 769, 2*n = -3*p + 425 + u. Suppose -4*y + 468 = p. Is y a prime number?
False
Suppose 9*k - 4 = 23. Suppose -4*s + 1 = -w - 0*w, -3*w = -5*s - 4. Is 1/(k/3033*w) a prime number?
True
Suppose -m = 6*m - 6146. Is m a composite number?
True
Let r be (-3 + 3/(-9)*-11)*-18. Is 69/((r/43)/(-4)) a prime number?
False
Suppose 4*a = -5*o + 645, 0 = -2*o - 0*o - 2*a + 258. Suppose 0 = 2*c + q - 12, c + 0 = 3*q - 1. Suppose -5*z + 431 = c*j - 274, 5*j = z - o. Is z prime?
True
Let p = 79 - -295. Suppose 4*h = 6*h - p. Is h prime?
False
Suppose 0 = -5*x - c + 70712, -12*x + 5*c - 70700 = -17*x. Is x prime?
True
Let c(u) = 2531*u + 234. Is c(5) prime?
True
Let y(z) = 93*z**2 - z + 1. Let u be 3 + 3 + (-9 - -3). Suppose -3*o + 2 + 1 = u. Is y(o) prime?
False
Suppose 2*y + 4*i - 160 = i, -80 = -y - 5*i. Let x(z) = 2*z**2 - z - 1. Let j be x(2). Suppose -3*t + g + 82 = 32, 0 = j*t - g - y. Is t a composite number?
True
Suppose -3*v + 7*v + 4*f = 28, -4*f = v - 13. Suppose -v*b + 729 = -596. Let k = b + 124. Is k a prime number?
True
Suppose -4*g - 23 = 1. Let b(z) = 13*z**2 - 3*z