 0 = 3*w - 5*n - 3271. Is w composite?
False
Let g(w) = -5*w**2 - 3*w + 6*w**2 + 0*w**2 + 2*w**2 + 10. Let z be g(7). Let r = 251 - z. Is r a composite number?
True
Is (268 + 4 + -5)/1 prime?
False
Suppose -o + 17603 - 4622 = 0. Is o composite?
True
Let f be (2/3)/(4/174). Let t = -12 + 15. Suppose 1 + f = t*q. Is q composite?
True
Let t be 110/20 + (-2)/4. Let f be 20/t - (1 + -92). Let a = 402 - f. Is a a composite number?
False
Let v(l) = -6*l**3 - 9*l**2 - l - 5. Let g be v(-6). Let f = 2034 - g. Is f a prime number?
True
Suppose 3*n - 121 = -c - n, 5*c - 653 = 4*n. Let f = 218 - c. Is f composite?
False
Suppose -2*r - 33 = -3*l, -5*r + 2*l + l - 60 = 0. Let v be 2*r/(-6) - 5. Is 21 + (0 - 0) - v a prime number?
True
Let z = 4218 - -4813. Is z prime?
False
Let q(j) = -6*j - 34. Let v be q(-8). Suppose -v*z - 33054 = -20*z. Is z composite?
True
Suppose 0 = -3*q + 5*k + 140392, -2*q + 93600 = k + k. Is q a composite number?
True
Suppose 4*x = 5*x + y + 1, -2*y = -x + 5. Let p = -1 + x. Suppose -4*d + 713 + 315 = p. Is d prime?
True
Let g(b) = 2*b + 10. Let r be g(3). Suppose r*n = -4*n + 8440. Is n composite?
True
Let o(n) = -10298*n**3 + 2*n**2 - 6*n - 7. Is o(-1) composite?
True
Let g(z) = -z + 8. Let w be g(5). Is ((-3)/(-9))/(w/1287) a prime number?
False
Let w(p) be the third derivative of -p**5/30 + p**4/8 - p**3/2 - 2*p**2. Let x be w(2). Let b(a) = -4*a + 2. Is b(x) a composite number?
True
Let n = 4 - -1. Suppose -n = 5*o - 0, 4*o + 304 = 5*w. Suppose -t = t + 5*v - 18, 0 = -4*t - 4*v + w. Is t composite?
False
Is 2*(-5 + (-22)/(-4)) - -6988 composite?
True
Let u = 6381 + 8768. Is u a composite number?
False
Is (16 - -14250)*4/8 a prime number?
False
Let w(n) = n**2 - 3*n + 6. Let k be w(4). Suppose -2*i + 6*i + k = f, 3*i = -5*f - 19. Is ((-2)/f)/(1/263) a prime number?
True
Let a be (-3)/((-6)/(-8))*(-9)/(-12). Let v(z) = -33*z - 7. Let g(b) = -16*b - 3. Let d(r) = -5*g(r) + 3*v(r). Is d(a) composite?
True
Suppose 11 = z + 2*j, -2*z - 5*j - 22 = -5*z. Suppose -z = -2*o + 33. Is (-3)/21 + 1746/o composite?
False
Let p(x) = -3*x - 32. Let m(d) = -d**2 - 3*d - 33. Let q(b) = -3*m(b) + 2*p(b). Is q(-14) prime?
False
Let f be 16/(-12)*-6*(-586)/8. Let z = f - -941. Is z a composite number?
True
Let q(t) = -108*t**2 - 2*t - 3. Let s(i) = 36*i**2 + i + 1. Let f(l) = -3*q(l) - 8*s(l). Let g = 1 + -3. Is f(g) composite?
False
Let a(q) = -52*q + 3. Let p be (-22)/6 + (-2)/6. Is a(p) a composite number?
False
Suppose 0 = 9*a - 274 + 148. Suppose 0 = -s - 2*s + 429. Let j = a + s. Is j a composite number?
False
Is ((-8)/(-264)*11)/(2/26958) composite?
False
Let r be 8/(-28) - (-2)/7. Suppose -12*f + 8*f + 8 = r. Suppose -3*k + 3*q = f*q - 627, 0 = -2*q. Is k a composite number?
True
Suppose -s = 2*y + 42, -73 - 35 = 2*s - 4*y. Let q = 38 + s. Let t(b) = 5*b**2 + 5. Is t(q) a prime number?
False
Let w(u) = -4*u - 1. Let h = -7 - -6. Let y be w(h). Suppose -y*q + 44 = -205. Is q composite?
False
Let m = 2104 + 19543. Is m a composite number?
False
Let x(i) = -i**3 - 4*i**2 - 3*i - 3. Let t be x(-3). Let m(j) be the first derivative of -j**4/4 + j**3 - j**2 - j + 5. Is m(t) a composite number?
False
Let k(y) be the second derivative of 2*y**3 + 25*y**2/2 + 9*y. Is k(10) a composite number?
True
Let y = 5136 - -1897. Is y composite?
True
Let h be 6894/45*(-5)/2. Let u = 1470 + h. Is u prime?
True
Let w = -22 + 26. Suppose 0 = w*u - u - 4431. Is u a composite number?
True
Let h(r) = r**3 - 4*r**2 - r + 3. Suppose -4*o - 5*d + 39 = -0*d, -4*o - d = -27. Is h(o) a prime number?
False
Let y(c) = -4776*c + 517. Is y(-5) a composite number?
True
Let y(l) = l**3 - 14*l**2 + 12*l + 15. Let j be y(13). Let x(s) = 2*s + 1. Let i be x(j). Suppose 277 = i*z - 78. Is z a composite number?
False
Suppose -5*s + 319 = 3*r - 321, 5*r - 630 = -5*s. Let u = 241 - s. Suppose 4*h + u = 386. Is h prime?
False
Let s(q) = -27*q + 56*q - 26*q + 2*q**3 - 7 - 7*q**2. Is s(6) a prime number?
True
Is (-44987)/(-8) - 9/24 composite?
False
Suppose -4*c + 2*i + 8 = 0, 4*c - 5*i = 2 - 6. Suppose -4*f - c*w + 28 = 0, -4*f + 6*w + 35 = 3*w. Is ((-3)/3)/(f/(-5080)) a composite number?
True
Suppose 33 - 9 = 4*t. Is 4/t + 1141/21 prime?
False
Is (-42844)/(-6)*51/34 a composite number?
False
Let l(z) = 2*z - 6 - 2*z - 2*z**3 + z - 42*z**2 + 36*z**2. Is l(-5) a composite number?
False
Let m = -5257 - -8018. Is m a composite number?
True
Let r = -1128 - -1717. Suppose 0 = 4*x - r + 113. Is x a composite number?
True
Let u = -283 + 906. Is u composite?
True
Suppose 0 = 61*z - 59*z - 10. Suppose z*v - 2840 = -j, j - v - 4288 = -1442. Is j prime?
False
Suppose 2*j - 1055 = 3*j. Let p = 1509 + j. Is p prime?
False
Let r(x) = -x + 9. Let t be r(4). Suppose -2*p = -4*h + h + 1247, 5*h - t*p - 2070 = 0. Is h a prime number?
True
Let i(g) be the second derivative of -37*g**3/6 + 3*g**2/2 - 5*g. Let j be i(-3). Let u = 259 - j. Is u composite?
True
Let p = 1257 + 4429. Is p prime?
False
Suppose -75*w = -73*w - 134. Suppose -1216 = -v - f + w, -3*v = -f - 3833. Is v a composite number?
False
Suppose 3*a = a + 10. Let c = a + 0. Suppose 78 = 3*b + c*x, -5*b + x = -3*x - 93. Is b a composite number?
True
Suppose -5*t + 408 = o, 4*t - 1079 - 101 = -3*o. Suppose 4*x + 0*x = o. Is x a composite number?
False
Suppose 2*l - 5*w - 4235 = 0, 3*l + 4*w - 6305 = 2*w. Is l composite?
True
Suppose 38*c - 241262 = 24*c. Is c a prime number?
False
Suppose -3*w + 2 = -2*w. Suppose 2*h = 756 + 354. Is h/2*w/3 composite?
True
Let n(u) be the first derivative of -9*u + 5*u**2 - 5 + 1/4*u**4 - 10/3*u**3. Is n(10) a prime number?
False
Let x(z) = z**3 + z + 3. Let u be x(2). Suppose u*a = 6*a + 3913. Is a a prime number?
False
Suppose 3*h = 2*h + 8. Suppose -w - w + h = 0. Suppose 0*i = 2*m + 2*i - 594, -w*i + 602 = 2*m. Is m composite?
False
Let c be (4/1 + -3)*0. Suppose -2*g + 3 = -c*g - 5*n, -g + 4*n = 0. Suppose g*b - 5134 = -674. Is b composite?
True
Let c(r) be the third derivative of r**4 + 7*r**3/6 + 18*r**2. Is c(3) a composite number?
False
Let s(d) = 4*d**2 - 1. Suppose 9*u + 5 = 4*u. Let c be s(u). Suppose l - 2164 = -c*l. Is l a prime number?
True
Suppose -t = -5*d + t + 905, 0 = -3*t + 15. Let m = d + -77. Suppose -m = -5*n + 4*n. Is n a composite number?
True
Let f(q) = -836*q**3 - q**2 - q. Let p be f(-1). Suppose 108 + p = 2*c + 3*w, 1868 = 4*c - 4*w. Is c composite?
True
Suppose -11*a + 0*a = 3*a. Suppose a = 6*b - 3*b + 3*d - 1224, 814 = 2*b + 4*d. Is b prime?
True
Let r(g) = 11 + 21*g + 5*g**2 + 11*g - 8*g - 2*g**2. Is r(-16) prime?
False
Let n = -13 + 21. Suppose 2*w + n = 0, 2*b - 3*w = -2*b + 648. Is b a prime number?
False
Suppose 0 = 4*g - 5*t - 16, 12 = 3*g - 0*t + 4*t. Suppose -3*s = 4*w - 1794, -3*s = -g*w + w + 1335. Is w a prime number?
False
Let r(o) = o - 3. Let m be r(7). Is 43336/28 + -5 + m/14 a prime number?
True
Suppose 108731 = 3*r - 4*j, -2*r + 42567 + 29919 = -2*j. Is r a prime number?
True
Let a be (-2)/8 + (-132)/(-16). Let b(u) = u**3 - 8*u**2 + 10*u + 5. Is b(a) composite?
True
Suppose -4*p = -3*u - 26, -p + 5*u = -6*p + 15. Suppose -4*x = p*y + 12, 3*y + y = 4*x + 12. Suppose 4*f - 2*v = 523 + 1025, y = 3*f + 2*v - 1175. Is f prime?
True
Let b(d) = 531*d + 8. Suppose -1 - 11 = -g + 3*x, -17 = -g + 4*x. Let i be b(g). Let t = 2574 + i. Is t prime?
False
Suppose -9*c - 6*c + 64770 = 0. Suppose 2150 = i + n, 2*i = 2*n + 2*n + c. Is i a prime number?
True
Suppose y - 674 = 2*z, 3*z = -4*y + 1880 + 827. Suppose 0*k + 2*k - q - y = 0, -3*k + 1019 = -4*q. Is k a composite number?
False
Let g be (-22)/33 + (-1 - (-15)/9). Suppose g = n + 8*n - 6003. Is n prime?
False
Suppose -36 = 4*o - 4. Is 66*(12/o + 2) prime?
False
Suppose -11*k = -1396 - 94425. Is k a composite number?
True
Let t = 1140 + -973. Is t a prime number?
True
Let i(c) = -11*c**2 + c + 4. Let u(d) = d**2 + d - 1. Let o(m) = -i(m) - 3*u(m). Let n(b) = b**3 - 3*b**2 - 4*b - 3. Let q be n(4). Is o(q) a composite number?
False
Let y(i) = -27*i - 22*i + 1 + 3*i - 16*i. Is y(-3) composite?
True
Let o(y) be the first derivative of 3*y**3 - 3*y**2/2 + 14*y + 7. Is o(-5) prime?
False
Suppose 0 = -n + 6*n - 3*q - 11, 4*n - 13 = q. Is 1/n + (-19404)/(-16) a composite number?
False
Let z be 0 - 6/(9/(-3)). Suppose -7*i + 