 Is a composite?
True
Suppose 59 = 14*q + 17. Is 4084/q + 1/(-3) composite?
False
Let d = 134 + -131. Suppose 2*o = -d*i + 2537, 3*i - 3*o - 4260 = -2*i. Is i composite?
True
Let n(h) = -4*h**3 + 3*h**2 - 2*h - 2. Let b be n(2). Suppose -11*t - 366 + 410 = 0. Is (b/(-39))/(t/2466) a composite number?
True
Let n = 15 - 11. Suppose -4*y = n*m - 248, -252 = -4*m - 5*y + 2*y. Suppose -4*x + x + m = 0. Is x composite?
True
Let h be ((-12)/15)/((-3)/30). Suppose -4*c + h = -0. Suppose c*x + 84 - 23 = p, 3*x - 211 = -4*p. Is p a prime number?
False
Let b(c) be the third derivative of -c**5/60 - 7*c**4/12 - c**3/3 + c**2. Let p = -184 - -176. Is b(p) prime?
False
Let r(l) = -6*l**2 + 15*l + 2. Let h be r(2). Suppose 3*x - 24 = -4*s, x - 18 = 5*s - 3*s. Is 2450/h - (-9)/x a composite number?
False
Let p(t) = -8*t**3 - 19*t**2 - 43*t - 1. Is p(-13) prime?
True
Suppose 2*g + 3*v - 5885 = -655, v + 13041 = 5*g. Is g a composite number?
False
Let z(t) = -2*t + 0*t - 23 + t**2 + 0*t + 20. Let u be z(-2). Suppose -4*k + 4*b + 9823 = k, 2*b = u*k - 9829. Is k composite?
True
Suppose m + 2*g + 63 = 0, -3*g + 105 = -3*m + m. Is (-6)/m + (-14153)/(-19) a prime number?
False
Suppose -17*d = -36634 + 3603. Is d a prime number?
False
Suppose 31*g = 29*g + 42. Is (g/(-14))/(6/(-1336)) prime?
False
Suppose 5*w = 5, m + 2 = -w + 3. Suppose -2*n + 1284 = 5*y, m*y - 2*y = 4. Is n composite?
False
Let f(s) = s**3 + 14*s + 9. Let z be f(-8). Let y = 932 + z. Is y a composite number?
False
Let t(u) = -4*u**3 + u**2 - 4*u + 438. Let a(o) = 3*o**3 - o**2 + 3*o - 439. Let h(x) = -5*a(x) - 4*t(x). Is h(0) a composite number?
False
Let o(n) = -105*n + 2. Let w be o(-5). Let q = w - 210. Is q a composite number?
False
Suppose -4*f + 2*f - 10 = 0. Let n(i) = 1 - 7 - 1 - 6*i - i**3 - 5*i**2. Is n(f) a prime number?
True
Let h = 96 - 67. Is ((2173 - 0) + 1)/(h + -27) prime?
True
Suppose 3*j = -j + 120. Suppose -4*g = -0*q - q + 27, -5*g - j = -q. Suppose 5*m = 4*m + q. Is m composite?
True
Let w = -1 - 1. Let b = -5 - w. Let j(l) = 23*l**2 + 4. Is j(b) a prime number?
True
Let g be (-5 - -2)/(2*(-4)/8). Suppose -145 - 1478 = -g*c. Is c prime?
True
Let z be 28/(-35) - 712/10. Let i = z - -157. Is i a prime number?
False
Suppose -3*h + 55 = 5*b + 3, -h + 8 = 4*b. Let m(d) = -57*d**3 + h*d**3 - 49*d**3 - 1 - d - d. Is m(-1) a prime number?
True
Let k(g) = 6*g**3 - 7*g**2 - 439*g + 13. Is k(20) prime?
True
Let s(x) = -22*x - 37. Suppose 0 = 3*d - 7 + 37. Is s(d) a composite number?
True
Let m(u) = -79*u - 22. Let n be m(-2). Suppose -c + t = -80, 0 = -c + 4*c + 5*t - 232. Let p = n - c. Is p a composite number?
True
Let l(b) be the second derivative of 91*b**5/60 + b**4/6 + b**3/3 + 4*b**2 - 2*b. Let v(s) be the first derivative of l(s). Is v(-2) a prime number?
False
Let z(i) = -32*i**3 + 7*i**2 + 77*i - 29. Is z(-12) prime?
True
Let t(r) = 354*r**3 - 4*r**2 - 1. Is t(3) prime?
True
Suppose -2*q + 13 = -3. Let z be (-2)/q - 15/4. Is 2/z - (-646)/4 a prime number?
False
Let c = 6537 + -34. Is c composite?
True
Suppose -4*t + 7*t + 3 = 0. Let x be 1/(0 - t/481). Suppose 0 = 3*n - 536 - x. Is n a prime number?
False
Let f(o) be the third derivative of -o**6/120 + o**5/10 + 5*o**4/24 + 5*o**3/6 - o**2. Let w be (6/9)/((-2)/(-5))*3. Is f(w) a composite number?
True
Suppose -3*f - 3 = -5*g + 8, -3*f - 2 = 4*g. Is 818 + ((-18)/f)/3 a prime number?
True
Let u = 591 + -179. Suppose 5*x - u - 1483 = 0. Is x composite?
False
Suppose -92306 = -5*h - 11*b + 12*b, -b = h - 18460. Is h composite?
False
Let g(d) = -14*d - 193. Is g(-18) prime?
True
Let y(q) = 2*q**3 + 5*q**2 + 4*q + 4. Let z be y(-3). Let v = z + 20. Is 287 + (v - 0) + -1 prime?
False
Let f(q) be the second derivative of q**4/6 - q**3/3 + 15*q**2/2 - 12*q. Is f(8) prime?
True
Suppose 5*j - 2*n - 180 = -5, 0 = 3*n. Is j a composite number?
True
Let s be -1 - (-3)/(2 - 1). Suppose 0*c + 888 = 2*c + f, -c = -s*f - 439. Let n = c - 192. Is n composite?
False
Suppose -1879 = -3*a + 14924. Let i = a + -1482. Is i prime?
False
Let i = 708 + -407. Is i a prime number?
False
Let b be (12/15)/((-2)/10). Let k be 1*(b - -4)/3. Is 4 - (-76 - (k + 3)) a composite number?
False
Let n(x) be the second derivative of -x**4/12 + 29*x**3/6 + 3*x**2 - 3*x. Is n(16) a prime number?
False
Let r = 60 + -61. Is 6726/(r + 4) + 3 a composite number?
True
Let z(o) = 20*o - 47. Is z(17) a composite number?
False
Let u(g) = 690*g**2 - 17*g + 4. Is u(-5) composite?
True
Let y be (5/(-4))/(2/(8264/(-1))). Let f = y + -1082. Is f a prime number?
False
Suppose 13*o = -61011 + 19528. Let h = o + 5118. Is h a prime number?
False
Let z(m) = 10*m**2 - 11. Let c(a) = -2*a**3 - 15*a**2 + 9*a + 11. Let n be c(-8). Suppose n*o - 2*o = -2*h - 5, -3*h + 5 = -o. Is z(o) prime?
True
Is 16472 + 13 - (-7)/((-7)/4) a prime number?
True
Let j(d) = 2*d**3 + 3*d**2 + 2*d + 4. Let s be j(-2). Let n be (-61)/(-2) + (-2)/s. Suppose -n = -o + 2*c, -133 = -4*o - 2*c + c. Is o a prime number?
False
Suppose -7*o + 118 = -5*o. Is o composite?
False
Let r(p) = -2*p**3 - 4*p + 2. Let n(h) = -2*h**3 + h**2 - 4*h + 2. Let k(l) = 3*n(l) - 4*r(l). Is k(3) a prime number?
False
Let w(k) = 8*k**2 - 199*k - 43. Is w(42) a prime number?
True
Suppose -4*x + 1 = -2*l - 5, -4*x = -3*l - 1. Suppose 0 = l*o + 12741 + 6609. Let t = o - -6019. Is t prime?
False
Let a be -1 - 0*(0 + -1). Let w be (3*a)/(12/(-16)). Suppose -4*o - 168 = -w*i, -2*i + 5*o + 70 = -2. Is i a prime number?
False
Let n(w) be the first derivative of w**5/20 + 5*w**4/24 - 13*w**3/6 + w**2 - 3. Let i(r) be the second derivative of n(r). Is i(10) prime?
True
Let g(z) = 111*z**2 + 37*z - 279. Is g(8) composite?
False
Let g = -149 + 153. Let z(a) = -a**2 + a - 43. Let b be z(0). Let n = g - b. Is n a prime number?
True
Let h(k) be the second derivative of k**5/5 + 2*k**3/3 - k**2/2 - 5*k. Is h(6) composite?
False
Suppose 25*g = 32703 + 32522. Is g prime?
True
Let t = -104 - -107. Suppose -4*l = -6*l - 3*g + 7510, t*l = 2*g + 11291. Is l a prime number?
True
Let d(h) = 9*h**2 + 9*h + 14. Let y = -82 - -73. Is d(y) composite?
True
Suppose -i - 28818 = -3*i - 4*h, h = 4. Is i a composite number?
False
Let w(h) be the third derivative of -49*h**4/24 - 2*h**3 - 8*h**2. Is w(-7) prime?
True
Let f(x) = -x**2 - 9*x + 22. Let p be f(-11). Suppose p = 2*t - 1483 - 1239. Is t a composite number?
False
Suppose -y + 2*y - 2 = 0. Let v(r) = -4*r**2 - 34*r**3 - 5 + 3*r**2 - 2*r**y + 7*r**2. Is v(-3) a composite number?
True
Suppose -2*a - 244 = -3*a. Suppose 2*m + 0*h = h + 1032, 0 = -2*m + 5*h + 1040. Let r = m - a. Is r a composite number?
False
Suppose -2*s + 249 = -5*s. Let a = s - -274. Is a composite?
False
Let l(x) = -28788*x + 25. Is l(-5) a prime number?
False
Suppose 0 = -7*v + 5*v + 136. Suppose -96 = -4*n + 4*k, -2*n - 2*k + v = -0*k. Let x = 51 - n. Is x a composite number?
True
Let q(s) = 250*s + 13 - 8 - 7*s. Is q(4) a prime number?
True
Suppose 0 = -5*o + 91 + 39. Suppose 22 = s - 3*p + 8, s - o = -3*p. Is 2136/s*(-15)/(-6) composite?
True
Let i = -22110 + 39937. Is i a prime number?
True
Suppose -4*j - 24 = -4*w, 0*j = 3*w - j - 12. Suppose -w*u = 3*m - 162, 6*m + 2*u = 2*m + 210. Is m prime?
False
Suppose 2*k = -k - 2*u + 49, -2*k + u = -28. Suppose w - k = 5*t, -2*w + t + 3 = -4*w. Suppose l - 39 = -w*l. Is l composite?
True
Suppose -7*t + 3*t - 4455 = 5*k, 2*k = -t - 1785. Let g = -516 - k. Is g a composite number?
False
Suppose u - 6*u = 130. Let f be u/(-6) + (-24)/72. Is 1972/16 - 1/f a composite number?
True
Let g = -15 + 0. Let b be (g/(-18))/((-4)/(-24)). Suppose 0 = 3*z + 3*n - 78, -2*z - 3*n = -b*z + 60. Is z composite?
False
Suppose -16*w + 12*w = -3832. Is (1/2 - -1)*w/3 a composite number?
False
Suppose -4*j - 4 = 0, 4*s - 1036 - 890 = -2*j. Is s composite?
True
Let h = -5 + 12. Is 10/10*37*h a composite number?
True
Let v = -4368 - -6959. Is v prime?
True
Let j(c) = 23*c**2 + 4*c - 4. Let g be j(-9). Suppose g = -5*x - 717. Let w = 1119 + x. Is w a prime number?
False
Let g(f) = -109*f - 6. Suppose -9*s + 4 = 13. Is g(s) a prime number?
True
Let l(o) = -8*o - 63. Is l(-20) a composite number?
False
Let j(t) be the second derivative of 19*t**7/840 + t**6/120 - t**5/40 + t**4/6 + 5*t**3/3 + 8*t. Let a(g) be the second d