rime number?
False
Let n = 6 - 17. Let o = n + 13. Suppose 662 = o*x - 0*x. Is x composite?
False
Suppose -5*y + 5*c = -260445, -8*y + 9*y - 3*c = 52085. Is y a composite number?
True
Let q = -78 + 86. Let w(i) = 1 - 2*i + 6 + 0*i**3 + 11*i**2 - 7*i - i**3. Is w(q) prime?
True
Let q be ((-39)/26)/((-1322)/(-1328) - 1). Suppose -a - a = -3*t - q, 5*a - 4*t - 823 = 0. Is a prime?
True
Let l(z) = -5*z - 2. Let t be l(-1). Let m = 19 - 15. Is 13/(m*t/228) a composite number?
True
Suppose 0*g = -g. Suppose 12*j + 1062 = 21*j. Suppose g*c + j = c. Is c composite?
True
Let a = 84 - -3918. Let f = -2441 + a. Is f a prime number?
False
Suppose 0 = j - 5*k + 3*k - 13475, -j + 13499 = 4*k. Is j a prime number?
False
Suppose -43*q = -47*q - 8. Is (2 - 0)*(0 + (-427)/q) prime?
False
Let y be 2/3 - (-5529)/9. Suppose 5*f = -0*f - y. Let u = f + 172. Is u composite?
True
Suppose -11324 - 5451 = -5*p. Suppose -3*h + 443 = o + p, 4*h - 5*o + 3870 = 0. Let b = -597 - h. Is b prime?
True
Let k(s) be the third derivative of -15*s**4/4 - 16*s**3/3 - 10*s**2. Is k(-9) a prime number?
False
Let d = -956 + 2233. Is d prime?
True
Suppose -15 = -5*b, -11 = -5*s - b + 7. Suppose -2*w - 2*c = -9846, 2*w + s*w + c = 24599. Is w composite?
False
Let y = 39 - 20. Let p = y - 8. Suppose p = 2*r - 1163. Is r prime?
True
Suppose -5*y + o - 2*o = 3, 2*y - 5*o = 15. Suppose -2*i - q + 113 = -y*i, -2*i - 5*q + 93 = 0. Is i composite?
False
Is (98 - -13)*(-2 - -273) - 2 prime?
False
Let c = 69913 + -26951. Is c a prime number?
False
Is (-4)/((-16)/203933) - (-14)/(-56) prime?
False
Is 860/30*((-3018)/(-4))/1 prime?
False
Let k be (0/(-5))/(4/2). Suppose k*m = -14*m + 17598. Is m a prime number?
False
Suppose -7*d - 29 = -8. Let h(x) = -3*x. Let y(i) = -40*i - 2. Let o(w) = d*y(w) - 21*h(w). Is o(5) composite?
True
Let a = -38 - -31. Let h(w) = w**2 - 4*w + 2. Is h(a) composite?
False
Let n(d) = -46*d. Suppose 3*l = 9 - 3. Suppose l = x + 3. Is n(x) prime?
False
Let u(g) = -74*g**3 + 2*g**2 + 1. Is u(-5) composite?
True
Let f(c) = 3*c**3 + 4*c**2 - 10*c - 8. Let b(g) = g**3 - 10*g**2 + 10*g - 2. Let j be b(9). Is f(j) prime?
False
Let x = 835 - -2728. Is x a prime number?
False
Let t(f) = -1782*f - 4. Let i(u) = u**3 - 3*u**2 + u + 1. Let j be i(2). Let l be t(j). Suppose -z = 4*y - 1147, -4*z + 4*y = -l - 2830. Is z prime?
True
Suppose -87*u + 89*u - 34294 = 0. Is u composite?
True
Let l = -3113 + 9010. Is l a composite number?
False
Let f = 0 - -2. Let s(z) = 18 - 26*z + 20*z + 127*z - 13. Is s(f) a prime number?
False
Let j(k) = 2*k**3 + 7*k**2 + 2*k + 3. Let v(c) = -3*c**3 - 8*c**2 - 3*c - 3. Suppose -3*i = i - 16. Let u(p) = i*v(p) + 5*j(p). Is u(-4) a prime number?
False
Let h(i) = 40*i - 1. Suppose -3*c - 1 = -7. Suppose 5*l - 13 = -c*x - 2, -l = -1. Is h(x) a prime number?
False
Let l be ((-5)/(-3))/((-55)/(-99)). Suppose k + b - 485 = 0, 0 = -0*k + 5*k + l*b - 2417. Is k a composite number?
True
Let w be 1 - 7 - (3 - 3). Let h(f) = -6*f**2 - 14*f + 4. Let r(v) = 2*v**2 + 5*v - 1. Let x(i) = -6*h(i) - 17*r(i). Is x(w) a composite number?
False
Is -96325*9/(-39) - (-6)/39 a composite number?
False
Suppose -2*a - 3*a + 25 = 0, 0 = -b - 3*a - 2164. Let g = b + 5322. Is g a composite number?
True
Suppose 6*r = 3*r. Suppose a = -r*a + 6. Suppose a*i - 4*i - 290 = 0. Is i prime?
False
Let j be 4/(-2)*(-14 - -13). Suppose 2*m = j*i + 3*i + 2851, -4*i - 4 = 0. Is m a prime number?
True
Let j be (-1 - 1 - 1) + 5. Is ((-3873)/(-3) + 3)/j prime?
True
Suppose 0 = -8*t + 11*t - 17259. Is t a composite number?
True
Let j = 34 - -483. Let t = -1737 + j. Is -2*(t/8 + 3) a composite number?
True
Is (-420)/(-40)*(-4)/6 + 5646 composite?
False
Let c = -14 + 19. Suppose -c*l = -0*l - 495. Let r = 182 - l. Is r a composite number?
False
Let s = -66 + 70. Suppose -s*n - 4*n + 2696 = 0. Is n composite?
False
Suppose 2*f = 5*j - 40, 32 = 4*j - 0*f - 3*f. Is ((-591)/(-2))/(4/j) a composite number?
True
Suppose 55*c = 52*c + 13899. Is c a composite number?
True
Suppose 0 = k + v - 17649, k - 4*k + 52955 = v. Is k composite?
True
Let b(l) be the third derivative of -l**6/120 + l**5/20 + l**4/12 - l**3/3 - l**2. Let y be b(3). Is (318/y)/1*2 prime?
False
Let m(w) = -87*w + 10. Let o be (-26)/4 + 3/(-6). Let t be m(o). Suppose 5*i - 3381 = -4*v, -t = -i + 2*v + 60. Is i prime?
True
Let u(d) = -d**3 + 21*d**2 - d + 7. Let o be u(20). Suppose -o = -h + 520. Is h prime?
True
Suppose -4*j = -9*u + 5*u + 58072, -4*j + 58080 = 4*u. Is u a composite number?
False
Suppose 15*b = 35937 + 11328. Is b a composite number?
True
Let w(c) = 6*c**2 - 4*c + 1. Suppose 49 = 2*i - 0*i + 5*m, i = 2*m + 2. Let g(l) = l**3 - 13*l**2 + 11*l + 8. Let n be g(i). Is w(n) prime?
True
Let w(n) = -2*n**2 + 9*n - 5. Let o be w(3). Is (-12)/4 + o - -292 a composite number?
False
Suppose 80*v - 78*v = 8. Suppose v*y - 1872 = 892. Is y a prime number?
True
Suppose -2*i = 11*g - 12*g + 5183, -3*i = 6. Is g prime?
True
Let z(b) be the third derivative of b**5/60 - b**4/24 + 3*b**3/2 + 2*b**2. Suppose -3*u = 5*n - 6, -n - 10 = -0*u - u. Is z(u) prime?
False
Suppose -4*y + i = 693, -5*i = -2*y - 0*i - 351. Let v = 436 + y. Is v a prime number?
True
Suppose 3*k + 4472 + 4084 = -3*r, 0 = -4*k - 16. Let m = r - -5082. Is m a prime number?
False
Suppose 0 = 2*i - 10, 0 = j - 2*i - i + 13. Suppose -4*h + 1508 - 250 = j*l, 0 = -2*h - 2. Is l a prime number?
True
Suppose -q - 7 + 32 = 0. Suppose 3*x - q = -2*x. Suppose 2*u - 5*m - 421 = 0, -x*m + 4 = -1. Is u prime?
False
Let k(r) = 5*r**2 + 11*r + 47. Is k(27) a prime number?
True
Suppose 0 = -2*k - 4*n - 6, 4*k - 2*k + 34 = 3*n. Let i(b) = b**2 + 8*b + 18. Is i(k) composite?
True
Suppose 0 = c, -y = y - c. Suppose -4*n = 2*m + 72, y*n = m + n + 40. Let d = m + 163. Is d composite?
True
Is -4 - (-12)/12*923/1 a composite number?
False
Let j be (12 + (-2)/(-1))*4. Suppose j*n - 58*n + 6086 = 0. Is n a prime number?
False
Suppose -f + 2848 = -2*x + f, -2*x - 4*f = 2818. Let q = -658 - x. Is q a composite number?
False
Is 503 - 497 - (0 + -4076 + -1) prime?
False
Let n(s) = s**3 + s**2 + s + 161. Let q(z) = -z**3 - 2*z**2 + 3*z. Let t be q(-3). Let p be (-4 - (-4 + t))/1. Is n(p) a prime number?
False
Suppose 5*n = -4*p - p - 15, 2*p + 22 = 2*n. Let y(d) = -d**3 - 4*d**2 + 15*d - 5. Is y(p) a prime number?
True
Is 448505/45 + -6 - 8/(-36) prime?
False
Let k(u) = u**2 - 3*u - 8. Let p(o) = -2*o**2 + 7*o + 17. Let x(w) = -5*k(w) - 3*p(w). Is x(16) composite?
False
Let n = 16 - 13. Suppose -n*b + 54 = -6. Suppose -51 + b = -t. Is t a composite number?
False
Let d(v) be the third derivative of 43*v**5/60 + 3*v**4/8 - 5*v**3/6 + 27*v**2. Is d(4) prime?
True
Let i(b) = -b**3 + 11*b**2 - 12*b - 11. Let d be i(9). Suppose 3*s - 3*m - 36 = 0, -5*s + 3*m + 17 = -d. Is (-3)/s + (-411)/(-12) a prime number?
False
Is (-26)/30 + 1 - 61406/(-30) prime?
False
Suppose -b + 1281 = -998. Is b a composite number?
True
Suppose 0 = 297*q - 301*q + 10552. Is q composite?
True
Let c(j) = -260*j**3 - j**2 - 6*j - 7. Is c(-3) composite?
True
Let x(i) = -11*i**2 - 4*i - 3. Let l be x(-1). Let k = l - -15. Suppose -5*v - k*h = -50, 4*v - 2*h - 58 = -0*h. Is v a prime number?
True
Let d(p) = p**3 - 2*p**2 + 3*p. Let i be d(0). Suppose -5*k - 2*k + 1337 = i. Is k composite?
False
Let c(d) be the third derivative of -d**4/2 + 5*d**3/6 - d**2. Suppose 8 + 77 = -17*m. Is c(m) composite?
True
Suppose -2*b + 4762 = -4*j, -6*j + 10*j - 11835 = -5*b. Is b prime?
True
Suppose 8975 = 14*t - 9*t. Is t composite?
True
Suppose -25*z + 11280312 = 47*z. Is z composite?
False
Let b(j) = j**2 - j + 5. Let k be b(5). Suppose 17 = q + 4*g, -4*g = -5*q - 9*g + k. Is (-312)/(-16) + q/(-2) a prime number?
True
Let b = 8590 + -5099. Is b a composite number?
False
Let d(y) = -2*y + 2. Let j be d(2). Is (-113 + -4 + 1)/j a composite number?
True
Let r be (-6)/(-4)*-1*(-16)/6. Suppose 0*k - 628 = -r*j - 2*k, 785 = 5*j - 3*k. Is j a composite number?
False
Suppose 0 = 40*w - 2*w - 102790. Is w composite?
True
Suppose 4*l + 0*l = -48. Let k = l - -71. Is k composite?
False
Let l = -159 + 3082. Is l a composite number?
True
Let u(w) = -w**3 - 3*w**2 + 11*w + 7. Let n be u(-5). Suppose -2*s + 5 - 31 = n*y, 2*y + 25 = -s. Is y/24 - (-1174)/4 a prime n