False
Suppose 59*r + 584094 = 80*r. Is r prime?
False
Suppose 3*p + 2*n + 805 + 1495 = 0, -4*n = 4*p + 3072. Let a = p - -1321. Is a composite?
False
Let q be 0 + (0 - -6)/3. Suppose q*w = -w + 189. Let t = 182 - w. Is t a composite number?
True
Suppose -m - 6*n = -2*n - 4177, 4*m = -5*n + 16708. Is m prime?
True
Suppose 1608*g - 173682 = 1590*g. Is g prime?
True
Suppose 0 = -2*x - u + 1351, -3*u + 2711 = 4*x - 4*u. Is x a composite number?
False
Let k = -23881 - -45438. Is k prime?
True
Let b be (-1)/(5658/1887 + -3). Is b/3 - (-28)/21 a composite number?
False
Suppose 1185*c - 1187*c = -23806. Is c a composite number?
False
Suppose 6*m = m + 35. Let d be (-1)/(1/3*-1). Suppose i = -d*y + 82, 0 = -4*i + 23 - m. Is y a composite number?
True
Suppose -3234 = -2*u + 2*n, -8*u - 4*n - 4847 = -11*u. Is u a composite number?
False
Let d(l) = -829*l + 6. Is d(-8) a prime number?
False
Let h(l) = -968*l + 885. Is h(-14) a composite number?
False
Let j be 12072/14 + (2 - (-32)/(-14)). Let x = j - -665. Is x a composite number?
True
Suppose -3*r + 174 = 189, -63314 = -2*k - 4*r. Is k a prime number?
True
Suppose -b = -5*b + 1120. Suppose 0 = -3*c + 8*c + b. Is (94/(-8))/(2/c) composite?
True
Is 14 + -8 + 3*40814/6 prime?
False
Let m be ((-44)/18*-3)/((-2)/(-1011)). Let d = m - 2236. Is d composite?
False
Let g(p) = -20857*p + 1207. Is g(-6) a prime number?
True
Let j(y) = -9*y**3 - 19*y**2 - 31*y + 7. Let u(t) = -4*t**3 - 9*t**2 - 15*t + 3. Let p(c) = -2*j(c) + 5*u(c). Is p(-6) composite?
True
Suppose 23 = c - 5*t - 81, -2*t - 351 = -3*c. Let r = c + 72. Is r a prime number?
True
Suppose w + 3*w + 340 = 0. Suppose 111 = -2*b - 233. Let y = w - b. Is y prime?
False
Suppose 7*u - 1015 = -161. Let c = 171 + u. Is c a composite number?
False
Let a = -44700 + 65407. Is a composite?
False
Suppose b - 7*b = -22026. Suppose -4*d + 15 = -5, -2*u + b = -3*d. Is u prime?
False
Let f = 1112 + -754. Is f a composite number?
True
Suppose h = 2*h - 259. Let m = 468 - 467. Is (h - 2) + m + -1 a prime number?
True
Let l(q) = 3*q**2 - 8*q - 13. Let s(o) = 2*o**2 - 6*o + 7. Let m be s(4). Is l(m) prime?
False
Let v = -43 - -50. Let x(c) = 8*c**2 + 2*c - 9. Is x(v) a prime number?
True
Let v(z) be the third derivative of -z**6/24 - z**5/30 + z**3/2 - 3*z**2. Is v(-2) composite?
True
Suppose 0 = 3*a - 12, a + a + 12 = 4*b. Let f = 10 - b. Suppose -4*i = -f*s - 743, 0 = -2*i + 3*i + s - 188. Is i a prime number?
False
Let l(a) = 5*a**3 - 45*a**2 - 31*a - 12. Is l(13) composite?
True
Let w(s) be the third derivative of s**5/60 - s**4/24 + s**3/2 + s**2. Let u be w(2). Suppose -2*a + 85 = u*y, -111 = -5*a + 2*a - 2*y. Is a a composite number?
True
Suppose 0 = -5*u + 23383 + 7877. Is 56/21*u/16 composite?
True
Suppose 153175 = 34*q - 9*q. Is q a prime number?
False
Suppose j - 3*o = -8*o + 8841, 2*j - 2*o - 17730 = 0. Is j composite?
False
Suppose -7*l = -12*l - 1390. Let u(z) = -4*z**3 - 3*z**2 + 6*z + 2. Let b be u(-5). Let h = l + b. Is h prime?
False
Suppose 5*j + 2*y - 6*y = -38, 12 = -3*j - 3*y. Is 4 + j - (-822)/2 composite?
False
Suppose 0 + 18 = 2*q. Let m(t) = 0 - 10 - t**3 + 14*t + q*t**2 + 1. Is m(10) prime?
True
Let x = 75 - 70. Suppose x*o - 14572 = o. Is o a composite number?
False
Suppose 0 = -6*r + 447 + 135. Is r a composite number?
False
Suppose -19176 = 5*h + 39. Let a = 5998 + h. Is a a prime number?
False
Let u(v) be the second derivative of -v**5/10 - 7*v**4/12 + 2*v**3/3 + 3*v**2 - 3*v. Let y be u(-6). Suppose m - y - 47 = 0. Is m a composite number?
True
Let q(b) = -b**2 + b. Let g be q(3). Let k be 3 - 6 - g - -84. Let c = k - 50. Is c composite?
False
Let o(s) = s**3 + 3*s**2 + 5. Suppose -3*u = 5*k - 1, 0 = -2*u - 3*k + 2*k - 4. Let y be o(u). Suppose -y*m - n = -2480, 4*n - 3 = -23. Is m a composite number?
True
Let a(y) = 22*y - 52*y + 10 - 133*y. Is a(-7) composite?
False
Let f(u) = -u**3 - u**2. Let q(w) = w**2 + 7*w - 1. Let s be q(-7). Let y be f(s). Suppose -40 = -3*m - y*m + i, 25 = m + 2*i. Is m a prime number?
False
Suppose 7*x - 26*x = -65227. Is x prime?
True
Is -6 + 240/42 + 211129/7 a prime number?
True
Suppose 0 = h - 3*p - 6595, 2*h - 7*h - 3*p + 32993 = 0. Is h composite?
True
Suppose -3*g + 53 + 10 = 3*c, 3*g = 15. Let w be -1*16*16/(-32). Is 694/w - (-4)/c prime?
False
Let g be 5 + -2 + (2 - 2). Suppose g*q = 2*q + 3*w + 123, 0 = -4*q + 4*w + 468. Let d = q + 7. Is d composite?
True
Let z(s) = s**2 + 9*s + 2. Let o be ((-8)/(-3))/(2/(-9)). Let f be z(o). Suppose 37 = k + 4*b, 3*b - f + 223 = 5*k. Is k a prime number?
True
Suppose -17*m = -8225 + 694. Is m prime?
True
Let p(s) = 155*s**2 - 26*s - 5. Is p(-4) a prime number?
True
Let g(s) = 33*s**2 + 2*s - 2. Let k(v) = -17*v**2 - v + 1. Suppose -3*w + 7 = -2*w. Let q(l) = w*k(l) + 4*g(l). Is q(4) a prime number?
True
Let h(r) = -r**3 - 6*r**2 + 5. Let x be h(-6). Suppose -2*w + x*w = 9. Is -2 + w + (-14)/(-1) prime?
False
Let h(s) = 5*s - 40. Let r be h(8). Suppose 2*d = -2*d + 16. Suppose -64 = -2*w - k, 2*w - 2*k - 62 + d = r. Is w a composite number?
False
Let o be ((-3)/9)/((-15)/225). Let y = 1 + 2. Suppose o*f - 3*j - 1465 = 0, -f + j + 293 = y*j. Is f prime?
True
Suppose -3*b - 16 = s, 0 = -3*s + b - 49 + 21. Let l be 9 + s + (-1 - 2). Is ((-8115)/(-20))/((-3)/l) a prime number?
True
Let p = 13 - 12. Is (918/1 - p)*1 a composite number?
True
Let n(a) = -a**3 - 11*a**2 - 5. Let f be n(-11). Is (-32)/40 - 19/f composite?
False
Is -3 + 35704/8*2 composite?
False
Let p(y) = y**3 - 2*y**2 - 4*y. Let s be 6/15 + 2/(-5). Suppose s = -3*m + 1 + 14. Is p(m) a composite number?
True
Let y = -9 + 1306. Let o = y + -854. Is o a composite number?
False
Suppose -602*q + 606*q = 61012. Is q composite?
True
Let h = 115 + 154. Is h a prime number?
True
Let p(f) be the third derivative of f**4/24 + f**3/3 - 4*f**2. Is p(8) a composite number?
True
Suppose -4*g - 17 + 2 = -5*j, -g = 5*j + 10. Let h be (g/(-10))/((-1)/(-886)). Suppose -c + 4*x + h = 2*c, -4*x - 153 = -c. Is c prime?
False
Suppose -18 = -3*t + 3*o, 0 = -3*t + 2*o - 5*o. Suppose -6034 + 1623 = -t*j - 4*a, 3*a = j - 1453. Is j prime?
False
Is (756832/(-56))/(-4) + 4/14 prime?
False
Suppose -148763 = -21*o + 90406. Is o prime?
False
Let q(u) = 982*u**2 + 9*u - 3. Is q(2) composite?
False
Let u(s) = -17*s + 4. Let g be ((-19)/57)/((-1)/54). Suppose -3*b + h = g, -4*h + 7 = -2*b - 15. Is u(b) prime?
True
Is 18*(-8)/(-12) - -172141 a prime number?
True
Let y(x) = -115*x**3 - x**2 - 8*x - 31. Is y(-6) a composite number?
False
Let f = -6151 - -9107. Suppose 0*h - f = -4*h. Is h a composite number?
False
Let m(i) be the first derivative of -i**3/3 - 23*i**2/2 - 15*i - 16. Is m(-9) composite?
True
Is ((-474910)/(-25))/((-28)/(-70)) composite?
False
Suppose 134 = -5*m + 6*m. Suppose -f + 2*y + 284 = -5*f, 2*f + 5*y + m = 0. Let u = f + 215. Is u a prime number?
False
Let p(b) = -812*b + 6. Let j(k) = -1624*k + 13. Let w(a) = 3*j(a) - 7*p(a). Is w(2) prime?
True
Let c be 1571/3 + 2/(-3). Let o = 321 - c. Let g = -133 - o. Is g composite?
True
Is -6 + 290/40 + 117549/12 a prime number?
False
Suppose -2933 = -d - 3*a, -3*d - a + 4923 + 3892 = 0. Is d composite?
False
Let p(q) = 166*q - 382. Is p(6) a composite number?
True
Let j be -9*(1 + 31)/(-4). Let c = j - 23. Is c a composite number?
True
Suppose -4 = -4*p, 3*b - 100693 = p + 319. Is b prime?
False
Let u(d) be the first derivative of -11*d**5/20 + 7*d**4/24 + 4*d**3/3 - 5. Let n(x) be the third derivative of u(x). Is n(-7) a composite number?
True
Let t = 10558 + -6797. Is t a composite number?
False
Let w(f) = 105*f**2 - 2*f - 1. Let c(p) = -p - 10. Let n be c(-9). Let u be w(n). Suppose 0 = -2*t - 0*t + u. Is t prime?
True
Let y be (-338)/(-8) - (-2)/(-8). Let i(r) = r**2 + 5*r. Let v be i(-6). Is v/10 - y/(-5) a composite number?
True
Suppose 7*q + 12 = 33. Suppose 0 = -3*c - 4*n + 401, q*n = 2*c + 7*n - 274. Is (12 - 11)/(1/c) prime?
True
Let n(q) be the first derivative of 14*q**3 + 3*q**2 + 3*q + 3. Is n(-2) a composite number?
True
Let d(v) = -203*v. Let x(z) = 202*z - 1. Let f(g) = 3*d(g) + 2*x(g). Is f(-1) a prime number?
False
Suppose x - 35880 = z, 5*x - 3*z - 159937 = 19473. Is x prime?
False
Is 3 + 9 + -2 - -105517 composite?
False
Suppose -25 - 25 = -5*h. Suppose h*a