. Suppose 3*a - 199 = 2*y, 8*a - f*y - v = 3*a. Is a a composite number?
True
Let k(m) = 20*m**3 + m**2 - 1. Let s be k(1). Suppose -s = 4*w, 1207 = 5*i + 3*w - 1023. Is i prime?
True
Suppose 5*g - 3*g + 22 = 0. Let z = g + 14. Suppose 0*u - z*u + 159 = 0. Is u composite?
False
Let f be 5/(165/6) - 3248/(-44). Suppose 0 = q + 1, -8 + 3 = -2*b - 3*q. Suppose 0 = -5*u + b*u + f. Is u a prime number?
False
Let o(v) = 2*v**2 - 3*v**2 + 13*v - 14*v + 5033. Is o(0) prime?
False
Let s(m) be the third derivative of 191*m**4/24 + 41*m**3/6 - m**2 - 9. Is s(12) prime?
True
Suppose -2*g = 4*y + 2362, -y - 5*g = -0*y + 568. Let t = y + 1134. Is t a composite number?
False
Let j = -4229 - -7308. Is j a prime number?
True
Suppose h + 27 = 2*h. Is (198/h)/(2/87) a composite number?
True
Suppose -5*c + 18 = -2. Suppose -3*t + 219 = -5*f + 59, 5*f = c*t - 215. Is t a composite number?
True
Suppose 116703 = 67*n - 14014. Is n composite?
False
Suppose -3*b + 2*b = 40. Is (1314/(-12))/(12/b) composite?
True
Suppose -34*o - 1210 + 8316 = 0. Is o composite?
True
Let u(p) = -19*p - 17. Let z be u(-7). Suppose 10*r - 11*r = -z. Let l = r - 63. Is l composite?
False
Let z(h) = h**2 + 5*h + 8. Let y be z(-2). Suppose y*w = 14*w - 13512. Is w a composite number?
True
Suppose -3 = -i + 3*x + 4, i = 2*x + 6. Suppose 3*v = -15, -4*l = -i*v - 2303 - 841. Is l prime?
False
Suppose h + 270 = 30. Let w = h - -467. Is -2 + w - (-2 + 1) a prime number?
False
Let q = -21 - -148. Let x = -40 + q. Is (4 - 5)/((-1)/x) a composite number?
True
Suppose 0 = -6*i + 2*i - 1276. Let b = i - -656. Is b a composite number?
False
Let u = -6 + 6. Suppose u = -y + 3*c + 241, 4*c - 565 - 463 = -4*y. Is y composite?
True
Is 44356 - (7 - 16 - -8) a prime number?
True
Let d(u) = 871*u + 15 + 50 - 874*u. Is d(0) a prime number?
False
Let o = 2904 + 343. Is o a prime number?
False
Suppose -7*a - 3051 = -24170. Is a composite?
True
Let p = -27 - -26. Let f be 2 + 15/(3/p). Is (f + 2)/(6/(-402)) composite?
False
Suppose 28 = 4*j + 4. Let q(h) = 3*h**3 - 8*h**2 + 2*h + 7. Is q(j) composite?
False
Let k = -1302 - -3481. Is k composite?
False
Let x = 14796 - 9554. Is x a prime number?
False
Let o = 12 - 27. Is ((-19)/2)/(o/330) a composite number?
True
Is (-12034)/(-12) - 11/(-66) a prime number?
False
Let h be (-1)/(3/6 - 1). Suppose 12 = -2*i + 20. Suppose 0 = h*x - i*x + 422. Is x a prime number?
True
Suppose 43*k = 49*k - 6906. Is k prime?
True
Let u be 16/(-10)*15/(-6). Suppose u*m - 7*m - 18 = 0. Is (4/6)/(m/(-639)) a prime number?
True
Let i be (-1287)/15 - 2/10. Let b be (-16880)/112 - (-2)/(-7). Let f = i - b. Is f a composite number?
True
Suppose 694 = 4*d + d + 2*w, -4*d - 4*w = -560. Suppose j = -j + d. Is j composite?
True
Suppose 3*u + 27 = 6*w - w, 4*w + 4*u + 4 = 0. Suppose -7*q + 1159 = -4*q - 4*r, 3*r = -w*q + 1131. Is q composite?
True
Suppose 0 = -u + 5*u - 20. Suppose 2*j = -j - 2*v + 2963, -2*j + u*v = -1950. Is j a prime number?
False
Let l = -8 + 6. Let k(s) be the first derivative of 25*s**3 - s**2/2 - s + 8. Is k(l) composite?
True
Let x = -54 + 58. Is 382/x*(-1 + -2 + 5) a composite number?
False
Let g(n) = n**2 + 4*n + 391. Let v be g(0). Suppose -2*z = 6*r - 5*r + 188, 0 = 2*r - 3*z + 348. Let c = v + r. Is c a composite number?
False
Suppose -6*i + 3*i = -1977. Suppose -4*k = i - 4599. Is k prime?
False
Suppose 4*r - 2726 = -2*d, -5*d - 3*r + 4086 = -2*d. Is d prime?
True
Let b be ((-1268)/(-14))/((-14)/(-98)). Suppose 5*l = 3*l + b. Is l a composite number?
False
Suppose -9 = 28*a - 29*a. Suppose -7*v + a*v = 3890. Is v composite?
True
Let o be (-2)/(((-5)/(-10))/(2/(-4))). Suppose 4*m + 4*h - 10076 = 0, 2*h = h - o. Is m prime?
True
Suppose 3*h - 5109 = 1527. Let x = -1169 + h. Is x prime?
False
Let q = -4847 + 7058. Let p = q + -1454. Is p a prime number?
True
Suppose 2*t - x = 8220, 9*t - 3*x - 16438 = 5*t. Is t a prime number?
True
Let o(q) = -8000*q + 30. Let a be o(-4). Suppose 0 = -19*g + 9*g + a. Is g a composite number?
False
Suppose -27778 = 5*b + 2*o - 120873, 3*o - 15 = 0. Is b a composite number?
False
Let y = 24 - 24. Suppose 3*b - 5 - 1 = y. Suppose -b*q + 742 = 7*u - 3*u, 2*q - 181 = -u. Is u a prime number?
False
Is (-16916)/(-22) - 17/(-187) a composite number?
False
Let v(f) = 2432*f + 26. Is v(9) composite?
True
Suppose 2*x + x + 37 = -5*j, 0 = -2*j + 5*x + 10. Let w = j - -9. Suppose 3*f + v - 627 = 0, -f + 5*f - w*v = 836. Is f a prime number?
False
Let a be (-387)/(-72) + 12/(-32). Suppose 2*o = -2*n - 4, 18 = o - 5*n + n. Suppose -a*j + 2*m + 76 - 6 = 0, 2*j = o*m + 28. Is j prime?
False
Let q(l) = 13*l - 60*l + 14*l - 7. Suppose 5*v + 6 + 24 = 0. Is q(v) prime?
True
Is 4/(19/(4486603/44)) composite?
False
Let l be (10 - 2)*3/(-6). Let a be 310 - (-4 - -3 - l). Let j = 518 - a. Is j composite?
False
Let v = 3275 + -222. Is v a composite number?
True
Let r(d) = 259*d**2 - 26*d - 51. Is r(-2) prime?
False
Let t = -50 - -54. Suppose t*d - 753 = s, 3*d + 97 - 678 = 4*s. Is d prime?
False
Suppose -5*j - 14178 = -3*p, j = 6*j + 15. Is p composite?
False
Let w be (-4 + 2 - -1) + -2. Let i be ((-43)/2)/(w/(-42)). Let m = i + 888. Is m composite?
False
Let c be (-55616)/(-33) - (-2)/(-6). Suppose 3*v + 248 - c = 0. Is v a composite number?
False
Let q(d) = -561*d - 619. Is q(-52) a prime number?
False
Let c(j) = 1028*j**2 - 19*j - 119. Is c(10) prime?
False
Suppose -778*n = -794*n + 1069296. Is n prime?
False
Suppose -2*l - 5 = -3*l. Let c(i) = -7 - 2*i + 0*i + 32*i**2 - i - 5*i**2. Is c(l) a prime number?
True
Let r be (-12)/(2/(-5 - -1)). Suppose t - 63 = r. Is t a composite number?
True
Suppose n = 3*n. Suppose n = -2*r + 4*r - 268. Suppose 6*f + 4*s - r = f, -5*s = -5. Is f prime?
False
Let b be 16 + (-3 - -6) + -2. Let o = b + -12. Let n(j) = 12*j**2 + 7*j. Is n(o) prime?
False
Is 7/((-42)/(-15272)) - (-9)/(-27) a composite number?
True
Let n(q) = q**2 + q + 23. Let b be n(8). Is 2 + 4 + b*7 + -4 a prime number?
False
Suppose -4*t + 173 = 2*f - 7*f, -3*f = -4*t + 107. Is (-7)/((-96)/f - (6 + -3)) a prime number?
False
Suppose 12*m - 2617 = 11435. Is m composite?
False
Let v be 34/10 - (-2)/(30/9). Is 160 - ((-2)/v)/((-4)/(-8)) prime?
False
Suppose -3*s - 51155 = -4*l, 0 = -l + 8*s - 3*s + 12776. Is l a prime number?
True
Let r(s) = 5402*s + 329. Is r(7) a prime number?
False
Suppose 4*a + 2*i = 22678, -38*a + 39*a - 3*i = 5666. Is a a composite number?
False
Let m be 1/(2/(-30)*-3). Suppose 2*r - m*r - 36 = 0. Is ((-3)/r)/((-4)/(-4688)) a composite number?
False
Let b = -56 - -115. Let v = 828 - b. Is v a prime number?
True
Let l = 35 + -32. Suppose -9*x + 12 = -l*x. Suppose 0 = -n + x*v + 77, 2*v - 132 - 217 = -5*n. Is n composite?
False
Let m(c) be the third derivative of -125*c**4/24 - 7*c**3/6 - 36*c**2. Is m(-1) a composite number?
True
Let k = 17835 - 7336. Is k prime?
True
Suppose -v - 4 = 6. Let r = v + 69. Suppose -59 - r = -2*w. Is w composite?
False
Is (-1735)/(-1)*4*(-5)/(-50) a prime number?
False
Suppose r + 180 = 4*s - 3*r, 0 = 3*s + 4*r - 149. Is (s/(-2))/((-2)/12) a prime number?
False
Let n = 131 + 348. Is n a prime number?
True
Let o(g) = 140*g**2 - 32*g - 137. Is o(-4) prime?
False
Let p be 4/(-5 + 1) + 3. Suppose -5*q = -p*u - 25785, 5*q - u = 36744 - 10964. Is q prime?
False
Let u be 1/(((-9)/12)/3). Is (-8 - u) + -2 + 499 a composite number?
True
Suppose 0 = -4*d + 2*d - 6, -5*v = 4*d - 15703. Is v composite?
True
Let u(o) = 12*o**3 + o**2 + o - 1. Let d be u(1). Suppose 0 = d*w - 10*w - 879. Is w a prime number?
True
Let v(u) = 1483*u - 6. Let x be v(3). Suppose -22*a - x = -25*a. Is a a prime number?
True
Suppose -3*o + 5 = -1. Suppose o*v = 5*v - 12. Suppose -v*j + 58 = 2*q, 0*j + 60 = 2*q + 2*j. Is q prime?
True
Suppose 2*s - s - 14 = -3*u, -4*u + 32 = 4*s. Suppose 15 + 60 = s*t. Is (5/t)/((-2)/(-5262)) composite?
False
Let t be 2504/(4/8*4). Let y = -501 + 861. Suppose 4*x - t = -y. Is x composite?
False
Let w = -44 - -28. Let d(z) = z**3 + 17*z**2 - z - 15. Is d(w) a composite number?
False
Let m = 1 - 1. Suppose m = k + k - 1124. Is k a composite number?
True
Suppose 0 = -m + 368 + 571. Is m a composite number?
True
Let m(w) = -w**2 + 10*w + 2. Let l be m(8). Let b be l/(-4)*4/(-3). Suppose -b*n + n = -325. Is n a prime