10)/(-2) - u - -2. Suppose f = w, -5*f - 513 = -3*x + x. Is x a prime number?
True
Suppose 2*k + 5 = -k - 4*u, 0 = -2*k + 5*u - 11. Let a be 0/((-9)/k + -1). Let g(l) = 2*l**2 + l + 205. Is g(a) prime?
False
Suppose g + 2*j = 321, -g - 3*j = -0*g - 326. Let n = 528 - g. Is n composite?
True
Suppose -4179 = -4*q + 5*g, -2*q + 3*g + 5214 = 3*q. Suppose 0 = 3*t - q - 720. Is t a prime number?
True
Let d be -9*(-244)/(-12)*-3. Suppose -4*a + 7*a = d. Is a a composite number?
True
Is (-20)/8 + (1 - (-19933)/2) prime?
False
Suppose 5*m + 5 = -0, 3*m = 5*w - 36178. Is w composite?
True
Let u(z) = 0 - 709*z - 206*z - 1. Is u(-2) composite?
True
Let k be (1 + 168)/(1/2). Let o = k - 21. Is o a composite number?
False
Let y = -63 + 91. Let a be 10/3*24/10. Is a/y + (-75)/(-7) prime?
True
Let k = -112 - -115. Suppose -4*a - k*f = -1192, -2*a - a - 3*f + 891 = 0. Is a a composite number?
True
Let g be (-22)/5 - (-2)/5. Let o be (-328)/2*(g + 3). Suppose 0 = s + 2*c - 5*c - o, -5*s + 2*c = -885. Is s a prime number?
True
Let c(l) = -23 + 16*l - 21 + 39. Is c(4) composite?
False
Suppose -7*x + 9 = -4*x, x - 62877 = -2*b. Suppose 4*i = b + 13895. Is i prime?
False
Let q(j) = 4780*j**3 - 2*j**2 + 2*j + 1. Is q(1) composite?
True
Let h(a) = a + 9. Let b be h(-11). Let c = -33 + b. Is (28/c)/(4/(-2110)) prime?
False
Suppose -3*k - 63 + 66 = 0. Suppose -3*f - k = -2*f, 3*b - 5*f = 23510. Is b composite?
True
Suppose z + 3*n - 2816 = 0, 5*n + 7666 - 2045 = 2*z. Is z composite?
True
Let g(u) = -3*u - 9. Let j be g(12). Let z be (236/(-6))/((-6)/j). Let x = -2 - z. Is x prime?
True
Let b be 12/(-78) + 45/39. Let v(t) = 1194*t**3 - 2*t**2 + t. Is v(b) a prime number?
True
Let v = 2346 + 763. Is v a composite number?
False
Let o = 983 + -668. Suppose 2*p = 6, z + 3*p = -z - o. Is 0 - (1 + 3 + z) a composite number?
True
Let i be (-2 - -2)/3 - 419. Let t(q) = 22*q**3 + q**2 + 5*q + 4. Let g be t(-3). Let n = i - g. Is n a composite number?
True
Let j = 13486 - 9207. Is j a prime number?
False
Suppose -29 + 49 = 4*n. Suppose 427 = 3*s + y - 3*y, -n*s - y = -729. Is s prime?
False
Suppose -5*n - f = -4*f - 74, 2*n + 5*f = 11. Suppose -10*j = -n*j + 3351. Is j a prime number?
True
Suppose 0 = 56*g - 53*g - 3453. Is g composite?
False
Suppose a - m + 3603 = 10712, -2*a + 3*m = -14213. Suppose k - 2*o - 1775 = o, 4*k - a = 5*o. Is k a prime number?
False
Let t = -19041 - -39830. Is t a composite number?
False
Let t(x) = -8*x**3 - 2. Let w be t(-2). Suppose -w = -6*v + 4*v. Is v prime?
True
Suppose -2*v - 3*v = 2*z + 5453, -3*z = 5*v + 5457. Let s be 32/(-56) - v/7. Suppose -k = -p + s, -2*p = k - 6*k - 298. Is p composite?
True
Let n = -364 + 212. Let x = n + 273. Is x composite?
True
Suppose 91 - 515 = -53*q. Let v(z) = -11*z**2 - 2*z + 7. Let d(u) = 32*u**2 + 5*u - 20. Let h(o) = 6*d(o) + 17*v(o). Is h(q) a prime number?
False
Let r be (2637/(-36))/(1/(-20)). Let q = 9452 + r. Suppose -15*n + q = -6*n. Is n a composite number?
False
Let r(u) = -u**3 - 7*u**2 - 8*u - 7. Let j be r(-6). Let z(v) = 6*v - 2*v + 3 + j*v + 4*v**2. Is z(-8) composite?
True
Suppose 292*d = 302*d - 9170. Is d prime?
False
Let p(u) = -283*u - 60. Is p(-5) a composite number?
True
Is (-165)/10*-34 - (1 - -3) composite?
False
Let v be 38/14 - 10/(-35). Let t be -4*v/(-18)*12. Is -382*-2*2/t a composite number?
False
Suppose 10*k = 11*k - 95. Is k composite?
True
Let c = -108172 - -156929. Is c prime?
True
Let c = -18 + -6. Let r be (42/c)/(2/(-632)). Suppose 0 = n - 402 - r. Is n prime?
False
Let p(f) = -838*f - 7. Is p(-3) prime?
False
Is (-45)/9 + 4 - -2*562 a composite number?
False
Suppose u - 5*x + 7 = 0, -16 = -3*u - x - 5. Let g = u - 9. Is -1 - (g - (0 + 2)) prime?
True
Suppose -u + 4*v + 1105 = 0, 4*u + v = -u + 5462. Suppose 5*r + 203 = u. Is r composite?
True
Let a be 0 + (80 - (2 - 0)). Suppose 3*p + 2*n - 611 = 6*n, 206 = p + n. Let u = p - a. Is u prime?
True
Let w = -29314 + 80147. Is w a prime number?
True
Suppose -113655 = -5*s + 122950. Is s prime?
False
Is (-142224)/12*(-8)/32 prime?
True
Suppose 19842 = 3*d + 93. Is d composite?
True
Suppose 0 = -5*w + 5*g + 31566 + 23989, 0 = -4*g + 8. Is w composite?
False
Is (-1)/(-2)*(-1488110)/(-65) a composite number?
False
Suppose 124*s - 336861 = 1269559. Is s a prime number?
False
Let s(w) = 79*w + 17. Let b be s(-5). Let i = 568 + b. Let c = i + -61. Is c a prime number?
False
Let q = 9 - 5. Suppose q*t - 3*t = -69. Let v = t + 156. Is v a prime number?
False
Suppose 18234 - 69602 = -8*v. Is v prime?
True
Suppose -16 = -r - 4. Suppose k = -4*f + 2 + r, 5*k + 6 = -f. Is (-99)/6*k/3 a composite number?
False
Let d(i) be the first derivative of -i**3/3 - 3*i**2 - 6. Let f be d(-5). Suppose -4*p = -f*s - 17 - 62, -3*s + 24 = p. Is p composite?
True
Let l(y) = -y**2 - y + 224. Let j be l(0). Suppose -5*a + 5*q + j + 2501 = 0, 2168 = 4*a - q. Is a a prime number?
True
Let y = 559 + 178. Is y a composite number?
True
Let w = -13 - -22. Suppose g = -3, 0*m + w = -2*m - 3*g. Suppose -4*b - b + 265 = m. Is b a prime number?
True
Suppose c + 5*m - 14 = 4*m, 4*c + 5*m - 59 = 0. Suppose b = -3*f + c - 5, -3*f = -5*b - 6. Suppose f*q - 105 = -q. Is q a composite number?
True
Let t(c) = 48*c**2 - 11*c - 3. Let s(g) = -24*g**2 + 6*g + 1. Let l(f) = 5*s(f) + 3*t(f). Is l(7) a composite number?
False
Let n = -21 - -26. Suppose 296 = n*b + 21. Is b composite?
True
Suppose 0 = -2*j - 8, -4*c - 4*j + 68 = -j. Let r be (-5)/2*(-1688)/c. Suppose -2*o + 7*v - 2*v + 422 = 0, o - r = v. Is o composite?
False
Suppose -4*h + 0*i - i + 23 = 0, 3*i - 9 = 0. Is h + (8192/4)/1 prime?
True
Let d = 299 + 110. Is d a prime number?
True
Let l be (-13 - 0)*(-4)/(-4). Let k be (13 + l)/(0 + 1). Suppose 2*y + 490 = 2*q - k*y, -2*q = -3*y - 488. Is q a composite number?
True
Suppose -214040 = 13*z - 21*z. Is z a prime number?
False
Suppose 0 = g - 4*u - 1637 - 966, -4*u + 2579 = g. Is g a prime number?
True
Suppose 0 = 8*f - 42767 - 103865. Is f a composite number?
False
Let w be (3*1016)/2 + -2. Suppose -4*y + 10166 = w. Is y composite?
False
Is (-22)/(-33)*73869/2 a composite number?
False
Suppose -5*j + 38135 = 5*w, j = -5*w + 52817 - 14682. Is w prime?
False
Let s = -3 - -7. Suppose -83 = -4*d + 3*m + 40, 146 = 5*d + s*m. Is 3 + d + (2 - 0) prime?
False
Is 2405 - -1 - (-10)/2 a composite number?
False
Let y be 4 + -6 - 4/((-12)/21). Suppose y*t - 2*t + 2756 = a, 5*t = 3*a - 8288. Is a prime?
False
Is (-12064)/(-10) - (76/(-10) + 7) a composite number?
True
Let z(c) = 59*c - 19. Is z(4) prime?
False
Suppose 41451 = 5*d - 4*i, -5*i - 15927 - 25528 = -5*d. Is d a prime number?
True
Let j(l) = -l**3 + 2*l + 1. Let h be j(-1). Suppose -2*q + 6 + 0 = 0. Suppose a - q*a + 74 = h. Is a a composite number?
False
Let w = -418 - -432. Is w a composite number?
True
Suppose -55*z + 1876611 + 500104 = 0. Is z a composite number?
True
Suppose -3*z - 12 = -2*i + 1, 12 = 2*i - 2*z. Suppose -258 = 2*a - i*a. Suppose 5*t - 1769 = a. Is t composite?
True
Let w(c) = -83*c**3 + 4*c**2 + 6*c + 3. Suppose -13*v + 9*v - 8 = 0. Is w(v) prime?
False
Suppose 0 = 2*g + 3*x + 15, -28 = 5*g - 2*x - 0*x. Let y(t) be the third derivative of t**5/60 + t**4/6 - t**3 - 2*t**2 - 49. Is y(g) a prime number?
False
Let o(t) = 56*t**3 - t - 1. Let x = -5 - -7. Let u be o(x). Suppose 6*b - u = b. Is b a composite number?
False
Let i = 721 - -10. Suppose -3*n + 4130 = i. Is n a prime number?
False
Let l = -554 - -1880. Suppose 0 = z + 2*z + l. Let o = 861 + z. Is o a prime number?
True
Is -6 - ((-15046563)/70 + (-2)/20) a prime number?
False
Let i(v) be the third derivative of v**6/120 + v**5/5 + v**4/6 + 5*v**3/2 - 3*v**2. Let b be i(-11). Suppose 4*p = -0*p + b. Is p a prime number?
True
Let o be 3889/4 + 12/16. Suppose -x + o = 3*c, -4*x + 6*x - 4*c - 1946 = 0. Is x composite?
True
Let j = 1381 - 705. Suppose 3*l - 5*l + j = 0. Suppose 9*z + l = 11*z. Is z prime?
False
Let c(r) = 14*r**2 + 3*r - 2. Let n be c(-3). Let y = 1 - -21. Let g = n - y. Is g composite?
True
Let s(n) be the third derivative of -7*n**6/60 + n**5/30 - n**4/12 - n**3/3 + n**2. Let x = -262 + 260. Is s(x) a prime number?
False
Let m = 28 + -26. Suppose -2*x + 2*y + 780 = m*x, -x = 3*y - 188. Is x a prime number?
False
Let u(y) = 4*y**2