*x - 2*n = -1478, 6*x - 2*x + n - f = 0. Suppose 3*j - x = -5*i, -j = -4*i + 29 - 140. Is j prime?
False
Let w(z) = 5*z - 3. Let k be w(1). Suppose -5*m - k*c + 2178 = -3163, -3*c + 1063 = m. Is m a composite number?
False
Let z(c) be the first derivative of 23*c**4/4 + 2*c**3/3 - 3*c**2/2 + c - 8. Is z(2) prime?
False
Suppose 0 = 7*z - 2*z - z. Suppose -4*c = -x + 2*x - 637, z = -c - 3. Is x a prime number?
False
Suppose 0 = 3*q - 9 + 3. Suppose 0 = 2*o + q*d - 430, -2*o - 4*d + 430 = -7*d. Is o a prime number?
False
Let j = -25 - -323. Is j prime?
False
Let j be 24/14*21/6. Is j/(-27) + 403815/135 composite?
True
Let n = -5801 + 18610. Is n a prime number?
True
Let k(o) = -70371*o - 16. Is k(-1) prime?
False
Suppose -4*s + 0*s - 48 = 0. Let r(t) = 6*t**2 - 11*t - 49. Is r(s) a composite number?
False
Let z(n) = -38*n - 4. Let a(v) = v. Let g(b) = 8*a(b) + z(b). Let y be g(-3). Is (20 - 19)*y*1 a prime number?
False
Suppose -96*t + 92*t + 29324 = 0. Is t a prime number?
True
Suppose -w = 3*w - 4088. Suppose 2*b = -0*b + w. Is b composite?
True
Suppose 0 = 10*w - 32473 - 34197. Is w a composite number?
True
Let z(r) be the first derivative of 85*r**2/2 - 5. Let s be z(-1). Let k = s - -134. Is k composite?
True
Let l be (-8628)/9*9/(-6). Suppose 28*s - 30*s = -l. Is s a prime number?
True
Suppose -n - 6 = n, -4*n - 6110 = -2*c. Is c prime?
True
Let m = -41 + 19. Let l = 579 + m. Is l a composite number?
False
Suppose 0 = -f - 4*u + 346, 2*u + u = 5*f - 1638. Let b = 547 - f. Is b prime?
False
Suppose g - 9 = -x, -4*g - g + 5*x + 15 = 0. Is g/9*(-4572)/(-8) prime?
False
Suppose 4*p = -p - 5. Let b be 422/(-4) - (-23)/(-46). Is b*3*p/6 a prime number?
True
Is -4318*((-15)/5)/6 a prime number?
False
Let f(x) be the third derivative of 7*x**5/60 - 7*x**4/24 - 7*x**3/6 + 12*x**2. Is f(-6) composite?
True
Suppose -5*i = 5*s - 35, 3*i + 0*s = -4*s + 26. Suppose -2*w - 5*k = 28, i*k = 2*w - 0*w. Let a = 15 + w. Is a prime?
True
Let u(t) = 2*t - 19. Let w be u(13). Suppose 402 = w*b - b. Is b a prime number?
True
Suppose 0 = -5*x - 20 + 50. Is x/21 - (-4080)/28 a composite number?
True
Let n(a) = a + 2. Let f be n(-13). Let i = 17 + f. Let s(l) = 8*l - 1. Is s(i) a composite number?
False
Suppose 0 = g - 2*t - 5 - 8, -3*g = t - 4. Suppose 0 = g*c - c - 8. Suppose c*u - 147 = u. Is u prime?
False
Suppose 4*u - 100362 = -7*q + 5*q, 0 = -2*u + 4. Is q a prime number?
True
Suppose 1904 = 4*n + 3*i, 0 = -3*n - 4*i + 1472 - 37. Is n prime?
False
Let k(n) = n**2 + 187. Suppose 19 + 17 = 4*q. Let g = -9 + q. Is k(g) a composite number?
True
Suppose 93643 = -4*v + 15*v. Is v a prime number?
True
Let z(d) = -15*d - 20. Let b be z(6). Let r = 47 - b. Is r composite?
False
Let g(y) = -7*y - 4. Let u be g(-1). Is (-13065)/10*((-2)/u - 0) a composite number?
True
Let z = -10 + 20. Let c(k) = k**2 - 13*k - 8. Let u be c(z). Is u/((-3)/3 + -1) a composite number?
False
Let b(q) = 4*q**3 - 4*q**2 + 9*q - 7. Let a be b(6). Let z = 32 + a. Is z a composite number?
True
Suppose -l + 5*h - 26 + 8 = 0, h = -4*l + 33. Suppose -3*d - 8 = -l*d. Let i(f) = 398*f**2 - 6*f + 3. Is i(d) a composite number?
False
Suppose -5*j = -4*j - 16. Let k = j - 13. Suppose -2*g + 176 = k*q - 705, -5*q = g - 1473. Is q prime?
False
Let j(y) = y**3 - 16*y**2 + 17*y + 12. Let a be j(15). Suppose -40*u - 2518 = -a*u. Is u a prime number?
True
Let c = 112147 - 54744. Is c a composite number?
True
Suppose -5*b - 19163 = -4*z, 0 = 3*z - 5*b + 2683 - 17059. Suppose -4*r = -0*l - 3*l - z, -3*r = 3*l - 3564. Is r a prime number?
True
Suppose m = 3*j - 8, 3*j - 5*m = -j + 29. Is (44/12)/(j/51) a prime number?
False
Let w(n) = 0 + 2 + 6*n**2 - n + 0 + 2*n. Is w(5) prime?
True
Let x = 4 - 0. Let s be 0 + 0 + -4 + 4. Suppose s*t - 1234 = -4*o + 3*t, x*o + 2*t - 1224 = 0. Is o a composite number?
False
Suppose -30 = 2*y - 7*y. Suppose 2*w + 736 = y*w. Suppose -3*v - 4*k = -557, v - k - w = -2*k. Is v composite?
False
Let w = 10 + -1. Let n(r) = 873*r + 58. Is n(w) prime?
False
Suppose 9*a + 5*a = 51954. Is a prime?
False
Let k(z) = z**2 + 7*z + 12. Let n be k(-7). Let m be n*(7 - -4) + 0. Let x = m - 43. Is x prime?
True
Is ((-134)/4)/(3*4/(-24)) a composite number?
False
Let m(a) be the second derivative of -a**6/12 - a**5/12 - 5*a**4/24 + a**3/6 + a**2 + a. Let l(n) be the first derivative of m(n). Is l(-4) composite?
True
Let d be (1 - 0)/(2/10). Let u be (0 - 3) + (143 - d). Let m = u + 88. Is m a composite number?
False
Suppose 0*u = 5*u. Suppose -5*a = -u*a - 790. Suppose b - 91 = a. Is b a prime number?
False
Let z(c) = -3*c - 5*c + 12*c + c**2 + 4. Let s be z(-4). Suppose m = -s + 35. Is m prime?
True
Let x(i) = -281*i + 97. Let z(b) = -70*b + 24. Let o(r) = -2*x(r) + 9*z(r). Is o(-5) a composite number?
True
Let d(l) = 2*l**2 - 6*l + 19. Suppose 2*z - 20 = a, -5*z + 0 = a - 50. Is d(z) prime?
False
Suppose 3*m = -3*g - 288, -291 = 3*m + 5*g - g. Let c = -19 - m. Is c a prime number?
False
Let t(c) = -7*c + 3007. Is t(0) composite?
True
Suppose 0*u - 66 = -2*u. Suppose 6 = 2*r - 4, -4*y = -4*r + 4. Let b = y + u. Is b composite?
False
Let y(u) = 3257*u**2 - 2*u + 1. Let t be y(1). Suppose 4*z - t = 6052. Is z composite?
True
Let g = 7648 + -5315. Is g composite?
False
Suppose 4*g - 4*u = -128, -5*g - 3*u + 7*u - 164 = 0. Let o = g - -116. Suppose 0 = 4*h - 44 - o. Is h prime?
True
Suppose -16*d + 18*d - 694 = 0. Is d prime?
True
Let g = 66 + -63. Is 998*(1 + g/(-6)) a prime number?
True
Suppose 499*d + 11601 = 502*d. Is d a composite number?
True
Suppose -20 = s - 22. Suppose 30 = -s*m + 538. Is m a composite number?
True
Let s = -43055 - -79606. Is s prime?
True
Suppose 287*f = 292*f - 7970. Is f a prime number?
False
Let y(x) = -x**3 + 37*x**2 + 14*x + 19. Is y(21) prime?
True
Let j = 11797 - -2640. Is j prime?
True
Suppose 4*k = 6 + 10. Suppose 0 = -4*i - 0*i - k. Let q(a) = -121*a**3. Is q(i) a prime number?
False
Let b(j) = 244*j**2 + 2 + 9 + 7*j - 238*j**2 - 3*j**3 + 4. Let n(o) = 2*o**3 - 3*o**2 - 3*o - 8. Let k(s) = -3*b(s) - 5*n(s). Is k(-6) prime?
True
Suppose -5*q + 352 = -0*c + 2*c, -4*c + 690 = 3*q. Let m = 54 + c. Let o = m - 80. Is o a prime number?
False
Let k(w) = -3732*w**3 + w**2 + 2*w + 2. Let b be k(-1). Suppose b = 5*f + 2*z, 5*f - z - 741 = 4*f. Is f a prime number?
False
Suppose -98*l = 5*l - 650239. Is l prime?
False
Is (46422/12 + 2)*2 a composite number?
False
Suppose b = 5*n - 484, -2*n + 4 = -0. Let o = -223 - b. Is o prime?
True
Let m(l) be the second derivative of -l**3/6 + 1137*l**2/2 - 6*l. Is m(0) composite?
True
Let n(m) = m**2 - 10*m + 12. Let x be n(8). Let k be 1 - (x + (-3 - -5)). Is k/4 - (-1864)/32 a composite number?
False
Let r be (-1 + 0)/((-9)/36). Suppose 5*q = 5*j - 815, 2*j = -2*j - r*q + 692. Suppose -4*x = 2*l - 562, x - 5*l = -0*l + j. Is x a composite number?
True
Suppose 0 = 2*h + 2*z - 15424, -h + 7697 = -5*z + 9*z. Is h prime?
True
Let d(j) = -j**3 + 6*j**2 + 4*j - 9. Let v be d(6). Let r(w) = 1 - w**2 + v*w - 5 - 2. Is r(11) a composite number?
True
Let x = -11 + 16. Suppose -t + 39 = 3*h - 78, -617 = -x*t + h. Is t a prime number?
False
Suppose 2*q + 2*s - 6 = -2*q, -3*s = 2*q + 7. Suppose q*f + 173 = -8*m + 3*m, -m - 43 = -2*f. Let p = 356 + m. Is p prime?
False
Let o(y) be the first derivative of 3*y**2/2 + 4*y + 2. Suppose p + 2*r + 2*r = 23, 4*p - 5*r = 29. Is o(p) a prime number?
True
Suppose 19 = -4*f - 5*z, f = -4*f - z - 29. Let i be (-3542)/(-4) + (-3)/f. Suppose s = -3*s + 12, -4*n = -2*s - i. Is n a prime number?
True
Let y be (-1)/(-2) + (-99)/(-6). Suppose -o = 4*g - y, -5*o + 5*g = -1 + 16. Is o/(((-6)/(-94))/3) prime?
True
Let a(w) = 32 - 11 - 334*w - 20. Let s = -3 - -2. Is a(s) a composite number?
True
Suppose q - 5793 = -3*z + 4*q, z - 1931 = 3*q. Is z a composite number?
False
Let k(a) = -2023*a - 171. Is k(-10) composite?
True
Suppose 6*n = 3*n - 705. Is (-21 - 1)/(n/(-35) - 7) a prime number?
False
Suppose -20*r + 11124 + 27496 = 0. Is r prime?
True
Suppose 21*v = -19227 + 237732. Is v a composite number?
True
Suppose -3*j = 2*s - 22217, -2*j = 2*j - 4*s - 29636. Suppose 4*k - 5*q = 15, q + 11 = 4*k - 8. Suppose -z - 2*a + 2960 = z, k*z - j = 2*a. Is z prime?
True
Let a = -7 - -7. Suppose a*f + 1137 = 3*f. Is f compos