 Suppose f*x - 47 = 5*x. Is x a prime number?
True
Suppose 0 = -5*r + 5*k - 490, -k + 116 = -2*r - 77. Is -2*(r + -2 + 0) a prime number?
False
Let p(o) be the second derivative of -o**5/20 - 13*o**4/6 - 8*o**3/3 + 3*o**2/2 - 3*o. Is p(-26) prime?
True
Let a be 8*(0 - 16)*-2. Let m = a - -453. Is m prime?
True
Let x(a) = a - 4. Let u be x(6). Is (3 - (-1040 - (-3 - -7))) + u composite?
False
Suppose -7*d = -10*d + 6225. Suppose -5*x + d = -0*x. Let q = x + -150. Is q a prime number?
False
Is (-3 + 5)/(-2) + (-1194)/(-1) a prime number?
True
Suppose -7 = y + r - 3, -2*y + 4*r = -16. Suppose y = -2*i - 2*c + 2546, 0*i + 5*c - 5088 = -4*i. Is i composite?
False
Let l = -193 - -705. Suppose -5*n = -3*b + l, 0*b + 5*b - 885 = 2*n. Suppose b + 43 = 6*y. Is y a prime number?
True
Let h = 121 + -123. Is (-879)/(-6)*h/4*-4 composite?
False
Suppose 0 = 2*a - 47 - 963. Suppose y - 1984 = -4*i, i = -2*y + 4*y + a. Is i prime?
False
Let r(d) be the second derivative of -d**4/6 - 3*d**3/2 - d**2 - d. Let j be r(-7). Let z = 74 + j. Is z a composite number?
False
Let l be 8/12 + -7*(-2)/6. Suppose 0 = -2*g - l*g + 2095. Is g composite?
False
Let n = 32 + -32. Let w(d) = -2*d + 587. Is w(n) prime?
True
Let y(j) = j - 13. Let k be y(7). Let n = 6 + k. Is 11*(10 + n - 3) a composite number?
True
Suppose -5*m - 3*i = -0*m - 15, -3*m - 5*i = -9. Let r(l) = 197*l**2 + 3*l - 5. Let k be r(m). Let v = k + -1266. Is v a prime number?
False
Let u = -31 - -33. Suppose 2*m - 2*c = 2*c + 174, -u*m = -c - 168. Is m a composite number?
False
Let p be (1 + 0)*(1 - -64). Let a = p + 9. Is a prime?
False
Let x(l) = -19*l + 47 - 89 + 0*l. Is x(-5) composite?
False
Is 227095/11 - -17 - (-2 + 1) a composite number?
False
Let m(f) = 112*f**2 + f - 12. Let w be m(-5). Let z = -1146 + w. Is z a prime number?
True
Is (-316309)/(-28) - 19 - (-2)/8 a prime number?
False
Suppose -2*l + 2 = -8. Let a(z) = -z**3 - 3*z**2 + 8*z + 3. Let u(j) = -4*j**3 - 13*j**2 + 33*j + 13. Let c(k) = -9*a(k) + 2*u(k). Is c(l) a composite number?
True
Let r = -27 - -29. Suppose r*y + 436 = 4*k, -4*y - 5 - 11 = 0. Let b = k - -186. Is b prime?
True
Let y = 436 + -277. Is (0 - -2)*y/6 composite?
False
Let h be (-58)/15 + (-12)/90. Let s = h - -8. Suppose -5*f + 1287 = -s*b, 8*f - 4*f = 2*b + 1032. Is f prime?
False
Suppose -2*z - 2019 = -4*n + 693, -4*n + 2700 = 4*z. Is n a composite number?
False
Is (-3)/(-2)*(-12488)/(-12) prime?
False
Let l = 172 + -163. Suppose 27579 = l*s + 7968. Is s prime?
True
Suppose 0 = -f + 2. Suppose f*h + 3 = 3*s + 1, 6 = 3*s. Is -3 + h + 6*8 prime?
True
Let z be 1/(-6) - (-52)/24. Suppose 0 = -z*g + 152 + 30. Suppose 0 = -4*b + 49 + g. Is b a prime number?
False
Let w(v) = 96*v**2 + v + 3. Suppose -x = -c + 4*c + 4, 0 = -5*c - 4*x - 16. Suppose -b - 4 + 6 = c. Is w(b) composite?
False
Suppose -16*h - 12 = -19*h. Is (-2)/8 + 1205/h a prime number?
False
Let s(r) = 3*r + 1. Let d be 1*-3 - (-10)/2. Let x be s(d). Let u(b) = 11*b - 8. Is u(x) prime?
False
Suppose 4*w + 0*w - 10292 = 0. Suppose -3*r + w = -5*x, r = -0*r - x + 847. Is r a composite number?
True
Suppose 10*p = 2*s + 13*p - 30190, 45291 = 3*s + 3*p. Is s a prime number?
True
Suppose 0 = 3*q + 3*q + 60. Let p be q/45 + (-1388)/(-9). Let s = p + -67. Is s prime?
False
Suppose -5*i - 5*u - 20 = 0, -3*u = -5*i - u + 1. Let d be 2 + (i/1 - 1). Suppose -5*n + y = -876 + 170, d = -3*n + 3*y + 414. Is n prime?
False
Let h be (-4)/6 - (-3)/((-36)/(-11660)). Let x = h - 384. Is x composite?
False
Let f = 13642 + -7661. Is f a prime number?
True
Let s(d) be the third derivative of d**6/120 - 3*d**5/20 - d**4/24 + 2*d**3 + d**2. Let y be s(9). Is 3/(-6)*(y + -2725) a composite number?
False
Is 1/((-6)/(-18)) + 5846 prime?
True
Let w(j) = -10*j**3 - 15*j**2 + 2*j - 29. Is w(-8) a composite number?
True
Let i = -690 - -2197. Is i a composite number?
True
Suppose h - v = 2*v + 16, -2*h + 4*v = -24. Suppose 0 = -f + h*i + 235 + 338, -f = 4*i - 613. Is f a composite number?
False
Let a be (-2258)/(-10) + 2/10. Suppose 2*j - a = 708. Is j a prime number?
True
Let a(j) = -96*j - 4. Let p be a(-3). Suppose -4*s - 3 + 15 = 2*k, 0 = s + 5*k - 12. Suppose -2*n - 4*g + 170 = -120, -2*n + p = -s*g. Is n a prime number?
False
Suppose -3*i + 9 = 0, 5*u + 4*i - 3*i = 19838. Is u a composite number?
False
Suppose 0*a + a = 18. Let l be 1/((-57)/a - -3). Is ((-424)/12)/(4/l) prime?
True
Suppose 3*o = -4 - 8. Let g be (-2 - 2/o)*-4. Suppose x = -v + 16, -x - g = -3. Is v prime?
True
Suppose 0 = 25*i - 10*i - 111165. Is i a prime number?
True
Let f(s) = 2*s**3 - 10*s**2 + 11*s - 10. Suppose 2*j - j = -3*w + 4, 36 = 5*j - w. Is f(j) a prime number?
True
Let z(g) = 8*g**3 + g**2 - 9*g + 5. Let x be z(4). Suppose r - x = -6*r. Is r a composite number?
False
Suppose 3*p + 72 - 69 = 0. Let c(b) = -1512*b**3 - 6*b**2 - 5*b. Is c(p) a composite number?
False
Is (15161/4)/((-12)/(-48)) a prime number?
True
Let h(f) = f**3 + 82*f**2 + 66*f + 130. Is h(-81) composite?
True
Suppose -3*x + 0*x = 3*z - 2283, 3*z - 3040 = -4*x. Suppose -3*t - 6 = 0, 0 = 2*s + 5*t - 75 - x. Let y = -234 + s. Is y a prime number?
False
Let b(r) = 773*r**2 - 6*r + 18. Is b(-5) a prime number?
True
Let u = -4415 - -17588. Is u a prime number?
False
Suppose 14*f - 795096 = 292438. Is f a prime number?
True
Let t be (-7239)/(-21) - 6/(-21). Let v = t - -26. Is v a prime number?
False
Let a = -8 + 8. Let w be (a - (-10)/(-4))*-2. Suppose -462 = -2*o + 3*u + 118, w*o = -3*u + 1429. Is o a composite number?
True
Suppose o + 3*p + 4639 = 56916, -5*o - 3*p = -261337. Is o prime?
False
Suppose 0 = -5*g + 25, 0*n - 2*g = n - 15. Suppose 4*q - 3*s - 14 = -s, -3*q + 14 = -n*s. Is (-184)/(-5) - q/(-15) a composite number?
False
Is 13397/(-3 - (-16)/5) composite?
True
Let a(g) = 5*g - 23. Let i be a(4). Let c(q) = 202*q**2 - 7*q + 2. Is c(i) a composite number?
True
Let s = -5 - -11. Suppose 0*w + 2088 = s*w. Let r = w + -185. Is r composite?
False
Let b(f) = -2*f**3 - 10*f**2 + 9*f + 15. Let x be b(-8). Suppose 4*m - x = -h, 3*h - 2*m - 1347 = -352. Is h prime?
True
Is ((-1258)/(-37))/(2 - 0)*1087 a composite number?
True
Let j = 1187 - -660. Is j composite?
False
Is (12804/18)/((-2)/(-3)) a prime number?
False
Is (147246/(-99))/((-2)/3) prime?
False
Let g be (6/9)/(4/(-30)). Let i(b) = -b**3 - 6*b**2 - 7*b - 7. Let a be i(g). Suppose -2*r - 286 = -4*l, 4*l + a*r - 261 = -0*l. Is l composite?
True
Let c(y) be the third derivative of y**5/15 - 25*y**4/24 - 4*y**3 - 7*y**2. Is c(13) a prime number?
False
Suppose -5*y + 5*w + 33526 = -3*y, 0 = 4*y - 5*w - 67032. Is y a prime number?
False
Let t(q) = -q - 4. Let u be t(-7). Suppose -u*o + 5*v + 600 = 66, 726 = 4*o - 2*v. Suppose o = -4*p + 5*p. Is p a prime number?
False
Let u(v) = v**2 + 7*v + 31. Is u(-3) a prime number?
True
Suppose 0 = -5*o + 5*p + 14615, -2*o + 6*p + 5836 = 9*p. Is o a prime number?
False
Let b = -13 + 23. Suppose -65 = -w - b. Is w a composite number?
True
Let b(r) = -15*r**3 + r**2 + 7*r + 4. Let l be b(-2). Suppose 4723 + l = 7*p. Is p composite?
False
Is (-4 + 6)*68117/14 composite?
True
Suppose -24078 = -15*g - 5883. Is g prime?
True
Suppose -3774 = 4*t + 1090. Let u = -504 - t. Suppose 2*c + u = 6*c. Is c prime?
False
Suppose 21*s + 7662 = 24*s. Is s composite?
True
Let d(s) = 9866*s + 33. Is d(1) composite?
True
Let o(b) be the second derivative of -3*b**5/20 - 2*b**4/3 - 3*b**2 + 4*b. Is o(-7) composite?
False
Suppose 4*k = 5970 - 2462. Is k prime?
True
Suppose 0 = 2*z - 4*z + 4*o + 82654, -4*o - 123987 = -3*z. Is z composite?
False
Suppose 4*c = 1402 + 1022. Suppose 0*p + 5*m = -p + c, 5*p - 3180 = 5*m. Is p composite?
False
Let g = 618 - 401. Is g a prime number?
False
Suppose -5*y - 2715 = -64900. Is y a composite number?
False
Suppose 7*f = 6*f - 2. Let a be -1*(-6*1 - f). Suppose -a*o + 5*o - 287 = 0. Is o prime?
False
Suppose -118*k + 22178 = -116*k. Is k prime?
False
Let y be 4 - 3/3*-2806. Is (y/(-8))/((-3)/12 - 0) a prime number?
False
Suppose -7 = 2*k - 3, 4*m - 5*k = 8622. Is m composite?
False
Suppose 4*w - 9 = 315. Let c(x) = x**3 + 3*x**2 + x - 1. Let m be c(3). Let p = w - m. Is p a composite number?
True
Let n(a) = -a**2 + 57*a - 61. Is n(43) a composite number?
False
Let c = 75 - 72. Suppose 1586 