 a prime number?
True
Let c(t) = -13*t**3 - 3*t**2 - 3*t - 4. Let s(a) = -2*a - 16. Let j(v) = -3*v - 24. Let b(n) = -5*j(n) + 7*s(n). Let i be b(-11). Is c(i) a composite number?
True
Let o = -451 - -972. Is o composite?
False
Let h(r) = 8*r**2 + 9*r + 2. Let i be h(-6). Suppose 7*k = 11*k - i. Is k prime?
True
Is (15 - (-504)/(-32))/(3/(-98492)) composite?
False
Suppose p + 4*b - 7 = 133, 0 = -4*p - 5*b + 593. Let x(t) = 10*t + 57. Let f be x(-16). Let m = f + p. Is m prime?
False
Suppose 0*s + 70 = 7*s. Let m = s + -5. Is 294/4 - m/(-10) prime?
False
Suppose -2*q = -5*a - 19, 5*q = 8*q + 5*a + 9. Suppose -4*m = 0, -q*l - 4*m = -0*m - 2098. Is l a prime number?
True
Let k be (-4)/(-6) - 5576/(-24). Suppose -w = -70 - k. Is w a prime number?
False
Suppose 2*x - 4*b = -0*b + 11906, -2*x = -2*b - 11916. Is x prime?
False
Let k = 3500 + -1813. Let a be 140*(-1 - 33/5). Let u = a + k. Is u composite?
True
Let p = -6735 + 141908. Is p prime?
True
Let t(z) = -13*z + 0 - 4 - 19*z - 1. Is t(-20) a composite number?
True
Let z(h) = 10*h - 9*h + 11*h + 2*h**2 - 14 + 2*h**2. Is z(-6) prime?
False
Let n be (-10 - -11)/(-2*(-1)/6898). Suppose 2*z - 5*w + 631 - n = 0, 2*z - 2818 = -w. Is z composite?
False
Let z(u) = -u**2 - 7*u. Let w be z(-7). Suppose 0 = p + 5, w = -b - 5*p + 39 + 21. Is b a prime number?
False
Let m(w) be the third derivative of 5*w**5/24 - 3*w**4/8 + w**3/6 + 6*w**2. Let z(v) be the first derivative of m(v). Is z(12) prime?
False
Suppose 2*c - 3*a = -16 + 1, 3*c - 4*a + 23 = 0. Let n = 13 + c. Suppose 4*f - 2*u - 1042 = -n*u, -4*f - 4*u = -1036. Is f a composite number?
True
Let r = 7844 + -4301. Is r a composite number?
True
Suppose 2*v - 2*j - 26537 = -v, -3*v - 5*j + 26572 = 0. Is v a prime number?
True
Let x(m) = -m**3 - 8*m**2 - 14*m - 9. Let w be x(-6). Suppose -4*n = 4*q - 125 - 215, 2*q + w*n = 166. Is q composite?
False
Suppose 0 = 3*p - 2*p + 134. Let r = 165 - p. Is r a prime number?
False
Suppose 0 = -2*q + 4*q - 6, -5*g = 2*q - 21931. Is g a composite number?
True
Let s = 3 + -1. Suppose 2*o - 8 = -2*m, 4*o - s*o = -m + 8. Suppose p = -m*p + 118. Is p prime?
False
Let b(f) = 53*f - 3. Let m be b(5). Suppose -3*g - m = -664. Is g composite?
True
Let i be (-280)/(-15)*87/2. Suppose -i = -w - 5*y, y + 2*y - 3197 = -4*w. Is w composite?
False
Suppose 213*u - 2717216 = 181*u. Is u a composite number?
False
Suppose 5*f - z - 11 = 0, -f + 5*z - 1 = 16. Suppose -3*v + 5*y = -1696, 4*y - 2223 = -4*v + f*y. Is v prime?
True
Let n = -17 + 19. Suppose -8*o - 4*g + 1575 = -3*o, 0 = n*o - g - 617. Let j = -200 + o. Is j a composite number?
True
Suppose x - 4*x + 4*i = -19359, -x = 2*i - 6453. Let f = -1668 + x. Suppose 4770 = 4*t + t + m, -5*t = 4*m - f. Is t a prime number?
True
Suppose z = -1 - 2, -2*g = 5*z + 3. Is 46186/35 + g/20*-2 prime?
True
Suppose 5*w - 4*h = 193, -4*h = -0*w + 2*w - 66. Let f = 66 - w. Let k = f + -16. Is k prime?
True
Let b(p) = 2*p**2 - 16*p - 15. Let o be b(9). Suppose -q - o*t = -1066, 5*t - 1044 + 4200 = 3*q. Is q composite?
True
Suppose 0 = -28*o + 20*o + 16024. Is o a prime number?
True
Let j = -5 + 8. Let n(y) = -3 - j*y - 2 + 10*y + 3. Is n(7) a composite number?
False
Let w(a) be the first derivative of -3*a**4/4 - a**2/2 + 4. Let o be w(-1). Suppose 0 = o*c - 1053 - 911. Is c a composite number?
False
Let g = 371 - -894. Suppose 6*l - g - 379 = 0. Suppose 0 = -2*c + 4*v + 142, 3*c + 71 = v + l. Is c prime?
True
Suppose -5*s - 5 = 5*n - 15, 5*n - 19 = -2*s. Let k(j) = j**2 + 3*j - 7 + 7*j**2 - 3*j**2. Is k(n) prime?
False
Suppose 0 = -79*f + 353416 + 4143343. Is f a prime number?
True
Suppose -3*d + 4 = -2*d. Is 97*(11 + (0 - d)) composite?
True
Let h(p) = 7*p**2 + 8*p**2 - 8*p**2 - p**3 + p - 3. Suppose -33 = -5*c - n, 5*c + 6*n - 45 = n. Is h(c) a prime number?
False
Let j be (8 - (3 + 0)) + -2. Let l be (-903)/j*(4 - 3). Let g = -204 - l. Is g a composite number?
False
Is (-2)/(-6) - ((-31350)/9)/5 composite?
True
Suppose -2*q + 99 = -481. Suppose 1412 = -2*m - q. Let i = 1408 + m. Is i composite?
False
Let q(j) = -23*j**3 - 7*j**2 - 6*j + 3. Let w be (5 - 9/6)*-2. Is q(w) a composite number?
False
Let x = 0 - -7. Suppose -x*l - 2831 = -8*l. Is l prime?
False
Let c = -61 + 66. Suppose -c*q + 1388 + 1682 = 0. Is q composite?
True
Let c(b) = b**3 - 14*b + 31. Is c(6) composite?
False
Let k be (92/8 - 4)*282. Suppose -711 = -i - t - 7, 3*i + 4*t - k = 0. Is i a prime number?
True
Suppose 23 = 3*n + 5*h, 0 = 4*n - 0*n + h - 59. Suppose -s = -2*x - 0 - 11, -s + 3*x = -n. Is (s*-1)/((-2)/28) composite?
True
Let f = 30 - 20. Let y(w) = 491*w + 53. Is y(f) a prime number?
False
Suppose -2*a + 2*p = -42478, 6*p = 11*p - 10. Is a a composite number?
True
Let z(r) = -82*r**3 - r**2 + 6*r - 1. Is z(-4) a composite number?
True
Let u(t) = -2*t - 12. Let b be u(-8). Suppose -4*g - 34 = -5*r, 0*r = 2*g + 4*r + b. Is ((-19)/2)/(1/g) a composite number?
True
Suppose 3 = -2*y + 3*y. Suppose y*u - 873 = u + 5*k, -5*u - k + 2250 = 0. Suppose -5*a + 4*d = -u, d + 2*d = -3. Is a prime?
True
Let m = 7257 - 4964. Is m prime?
True
Suppose 57*h = 59*h - 1106. Is h a prime number?
False
Let l = -13114 + 21145. Is l a composite number?
True
Let t(b) = 0*b + 10 + 7*b - b**2 - 2*b. Let x be t(7). Let i(p) = -130*p + 1. Is i(x) a composite number?
False
Suppose -4*w + 0 - 4 = 0. Let k(o) = 0*o - 2*o - 1 + 161*o**2 + o. Is k(w) prime?
False
Suppose 2*j + p = 146220, -23577 + 242900 = 3*j - 2*p. Is j a prime number?
False
Suppose r = -2*r + 4*q - 2083, 0 = 5*r + 4*q + 3429. Let v = r + 8748. Is v prime?
True
Let z be ((-4)/(-3))/(40/1020). Suppose 2 = 6*i - z. Is -3 + i + (-35)/(-1) a composite number?
True
Let a be ((-1)/2)/((-3)/(-336)). Let j be 4/10 - a/35. Suppose 3*z + j*k - 364 = 131, -2*z - 5*k + 341 = 0. Is z a composite number?
False
Let a(q) = -10714*q - 7. Is a(-5) composite?
True
Let q be 8*2 - (-10 + 14). Suppose f - q + 5 = 0. Is f a composite number?
False
Let q(c) = c + 20. Let f be q(-15). Suppose -2*p - o + 1709 = 0, 2*o + 2051 = f*p - 2208. Is p prime?
True
Suppose 0 = -3*x + 3, 2*x - 36224 = -57*c + 55*c. Is c prime?
False
Let v = 13 + -8. Suppose 8103 = v*s - 11497. Suppose 0 = 5*d + 5*u - s, -3*d - u = 529 - 2883. Is d prime?
False
Let h(u) be the third derivative of -u**5/60 + 5*u**4/8 - 2*u**3 + 2*u**2. Let t be h(14). Suppose -i + t*o + 227 = 14, 0 = -2*i - o + 406. Is i a prime number?
False
Let h(r) = 26*r**2 + 9*r - 1. Let d(n) = -6*n**2 + 4*n - 3. Let q(s) = -5*s**2 + 3*s - 2. Let c(g) = -4*d(g) + 5*q(g). Let y be c(-3). Is h(y) composite?
False
Suppose 0 = 6*m - 8*m - 4. Is (m/(-6))/(8/1776) prime?
False
Let j = -8009 + 19528. Is j a composite number?
False
Let d be -3 - (0 - -33)/(-3). Let g(k) = 0*k + d + k - k - 3*k. Is g(-6) composite?
True
Let q(f) = f**3 - 15*f**2 - 19*f - 2. Let n(l) = l**3 - 15*l**2 - 20*l - 2. Let v(c) = 2*n(c) - 3*q(c). Is v(9) composite?
False
Is (-5792 + -1)*(-33)/99 composite?
False
Is -2*(6/1 + (-2 - 435)) a prime number?
False
Let t be (0 - (-15)/12)*-4. Let o be 4 + 12/(-4) + t. Is (2/6)/(o/(-5172)) a composite number?
False
Let o = 8923 + -3969. Let m = o + -2456. Is m a prime number?
False
Suppose 3*m - 328 = -2*t, 0 = -3*m - t + 292 + 37. Is 20/m + (-12910)/(-22) prime?
True
Suppose -2*i = -3*m + 152, 7 + 46 = m - 3*i. Suppose -h - 2*h - m = -2*c, -85 = -3*c + 2*h. Is c a composite number?
False
Let t be (4 + 891 + -2)/1. Suppose -5*g = -5*r + 332 - 3517, 0 = 5*g + 3*r - 3177. Let s = t - g. Is s prime?
True
Let l(h) = -37*h + 6. Let i be l(-5). Suppose -39 = 2*x + 4*c - i, -c - 193 = -3*x. Suppose -a = a - x. Is a a composite number?
True
Suppose -84233 - 241592 = -25*b. Is b a prime number?
True
Let h(c) = 128*c + 9. Is h(31) a composite number?
True
Suppose h = -2*h + 18. Suppose -5*o = -m + 287, -m = -h*m + 5*o + 1515. Is m prime?
True
Let k(w) = w**2 - 1. Let d(o) = -1 + 2 - 20*o**3 + 243*o**3 - o**2. Let y(q) = -d(q) - 2*k(q). Is y(-1) composite?
False
Suppose 0*d + 3*d - 6 = 0. Let i be ((-2156)/33)/(d/(-21)). Suppose 5*n = 4031 - i. Is n composite?
True
Suppose -6*t = -3 + 9. Is (-1013)/t + -14 + 10 composite?
False
Suppose -36 = -2*v - 42. Is 61782/49 - v/21*1 a prime number?
False
Let o(g) = -362*g - 11. Suppose -2*c - 2 = 0, u - 5*c = -0*c. Is o(u