k = 3527 + 5322. Suppose i - k = -3*b, -2*b - 11834 - 5896 = -2*i. Is i composite?
False
Suppose -m - 13 + 70 = v, 2*v + 278 = 5*m. Let i = -51 + m. Suppose -f + 119 = i*w - 343, 0 = 3*f - w - 1466. Is f a composite number?
False
Let n(l) = 83*l**2 - 25*l - 65. Let p = -626 + 623. Is n(p) a prime number?
True
Is -211*(7 + 288/(-40))*7355 composite?
True
Suppose 66 + 25 = 7*w. Suppose -w + 1 = 3*r, s - 2641 = 2*r. Is s a prime number?
True
Let n(b) = b**3 - 42*b**2 - 120*b + 189. Is n(50) a composite number?
True
Suppose -5*o = 2*i + 49286, 9*i - 6*i - 2*o + 73910 = 0. Is (21/(-14))/3 + i/(-4) prime?
False
Is ((-783)/81)/(-29)*(-1 - -49867) a prime number?
False
Let c(d) = d**3 - 15*d**2 - 15*d - 16. Let b be c(16). Suppose 67*j - 3863594 - 153123 = b. Is j prime?
True
Let n = -28158 + 52601. Is n prime?
True
Let v(n) = 5*n**2 + 2*n - 3. Let g be v(3). Let m = g - 40. Let t(w) = 80*w - 9. Is t(m) a prime number?
True
Let n = 15 + -9. Let b = n + 34. Let h = b - -414. Is h composite?
True
Suppose 4*y + 8 = 5*y. Suppose -2*b - 5262 = -y*b. Is b a prime number?
True
Let d be (892/3)/(85/15 + -6). Let k = 367 - d. Suppose -5*i + 276 = -k. Is i a composite number?
False
Let k = -10688 + 20789. Let f = -5130 + k. Is f composite?
True
Let a(z) = -z**3 + 18*z**2 + 42*z - 40. Let r be a(20). Suppose r = i + i - 15634. Is i composite?
False
Suppose 262*t = 83*t + 117777883. Is t a composite number?
True
Is (-19*33/(-627))/(1/35081) a prime number?
True
Suppose 147*n - 42604 = 143*n. Let w = n - 1346. Is w a prime number?
False
Let z(t) = 19439*t**2 + 5*t + 5. Suppose 75*k - 32*k + 43 = 0. Is z(k) a composite number?
True
Let t = 163 - 158. Suppose 16*w = t*o + 20*w - 10911, -5*w = 3*o - 6557. Is o a prime number?
True
Suppose u + 5*v = 534, 3*v = 3*u - 694 - 980. Let g = 3087 - u. Is g composite?
True
Let s(d) = -4006*d + 1733. Is s(-36) prime?
True
Let v(t) = 8711*t**2 - 2*t + 196. Is v(-21) a composite number?
True
Let l(w) = -223*w**3 - 16*w**2 - 29*w - 15. Is l(-13) a prime number?
True
Let j(k) = 13*k**3 + 2*k**2 + k - 2. Let g be j(1). Let y be 2/g + (-3770)/(-70). Suppose -2*d + y = -56. Is d composite?
True
Let v = 61 + -42. Suppose 16*q - v*q = -5763. Is q a composite number?
True
Let h(w) be the third derivative of -w**6/120 - 7*w**5/60 + 13*w**4/12 + 11*w**3/6 - 24*w**2. Is h(-12) a composite number?
False
Let m be 30/18*(-120)/(-25). Suppose m*u - 3419 = 10989. Is u composite?
False
Suppose 3*y - 10 = 8*y. Let u be 108/(-45)*5/y. Suppose -586 = u*h - 6532. Is h prime?
True
Suppose -4*a + 3595 = -3*u, 6*u = 5*u - 3*a - 1220. Let k = 5766 + -3608. Let t = u + k. Is t a composite number?
False
Let c be 10*(2 + -3 - 0). Let h be -1*c/15*-6. Is (h/6)/(4/(-3846)) prime?
True
Let c be (-87)/18 + 1/(-6). Let z(s) = 2*s**2 + 4*s - 4. Let f be z(c). Suppose -76 - f = -3*l. Is l composite?
True
Let m = -163 + 165. Is (0 + 4373/m)*(1 + 1) composite?
False
Let t be 969/(-12) + 1/(-4). Suppose 0 = -2*v - 2*r - 230, -35*v + 40*v - 3*r + 567 = 0. Let l = t - v. Is l prime?
False
Let h be (-1 - (-36744)/7) + 13/(-91). Let n = h - 965. Is n a composite number?
False
Suppose -6*s + 13618 + 30489 = -39299. Is s prime?
True
Let v(h) = -2*h**3 - 13*h**2 - h - 26. Let q be v(-12). Let d = q + -32. Is d prime?
False
Suppose -4597372 = -41*q + 37*q - 48*q. Is q composite?
False
Suppose -3*x + 2*h - 10 = -x, 23 = -4*x + 5*h. Let r(s) = -110*s**3 - 3 - 172*s - 172*s + s**2 + 345*s. Is r(x) prime?
False
Let g(c) = -9*c**3 + 14*c**2 + 3*c - 5. Let x be g(5). Let o = -943 + 575. Let m = o - x. Is m a composite number?
False
Suppose 3*v - 6*k - 1005839 = 955216, -v - 2*k = -653689. Is v a prime number?
True
Let c(j) = -7004*j + 5623. Is c(-36) prime?
False
Let r(y) be the first derivative of y**3/3 - 7*y**2/2 + 13*y + 22. Let b be r(5). Suppose j + 0*c - c - 747 = 0, b*j - 2213 = -4*c. Is j a composite number?
False
Let n = 685 + 2337. Let m = 6989 - n. Is m a composite number?
False
Let c be (3 - 1)*(1/(-2))/(-1). Is c*(-6)/(-9)*2199/2 composite?
False
Is -7 - (10902 - 7)*-12 composite?
True
Suppose -2*x + 8 = 0, 3*q - 7 - 19 = x. Suppose 2*u - 20 = -5*j + 3*u, 0 = 5*j + u - q. Suppose -2*l + 997 + 1744 = j*m, -2*l = 5*m - 4563. Is m a prime number?
True
Suppose -5*q - 7 = -2*v, -5*v + 2*q = -4*v - 4. Suppose v*c = 2*c - 24. Is ((-54)/(-36))/(c/(-40)) a composite number?
True
Is (-4)/(-5) + ((-132860460)/(-675) - 2/18) a composite number?
False
Is (-3672 + (5 - 4))*5/((-40)/88) a composite number?
True
Suppose -2*t = -5*l + l + 24, -2*l = 3*t - 4. Suppose -3 = -2*u - 5*h, 0 = 4*u + l*h + 16 - 47. Suppose u*m = 12*m + 3602. Is m a prime number?
True
Suppose 0 = -27*n + 148 - 13. Suppose -2017 = -2*a - 5*r + 21800, n*a - 2*r = 59499. Is a a composite number?
True
Let f = -71 + 65. Is 2 - f/((-18)/(-12939)) composite?
True
Suppose 0 = -2*p - 0*k - 5*k - 143, 0 = 2*p + 3*k + 137. Let v be p*3/(-18) - 2/(-6). Suppose v*x + 265 = 12*x. Is x prime?
False
Let p = 49273 + 12378. Is p a prime number?
True
Let q = -386388 + 594156. Suppose 5*b = -19*b + q. Is b a composite number?
True
Suppose -2*p + 217 + 257 = 0. Suppose -q - p = -2238. Is (q - -3) + (0 - (-1 - -2)) a composite number?
False
Let q be (-1)/((-30)/(-192)) + (-4)/(-10). Is -1 + q + 6 + 1040 a prime number?
True
Let r = -61 - -520. Let l = 898 - r. Is l a prime number?
True
Let m be (1*15/(-50))/(4/(-40)). Suppose 0 = -z + 2*o + 1055, z = -3*z - m*o + 4187. Is z prime?
True
Let a = -672 + 1231. Suppose 5*j + 94 = a. Suppose -v = 3*l - 31, -3*v + l = -0*v - j. Is v a composite number?
False
Let g(i) = 6715*i**2 + 29*i + 29. Let n be g(-11). Suppose -44*t + n = -54971. Is t a prime number?
True
Suppose 0 = -58*c - 33668 - 9252. Let j be (-2 + 0)*1593/(-2). Let l = j + c. Is l a prime number?
True
Let j be ((-414)/(-115))/((-6)/80). Is j/60 - (4 - 12027/15) prime?
True
Let p(n) = n**2. Let x be p(-1). Let l(c) = 1133*c**3 + c - 2. Let w be l(x). Is 4/18 - w/(-36)*13 composite?
False
Let k = 50918 + 80931. Is k a prime number?
True
Let u be 4/(-5) - -1 - 88/(-10). Suppose 0 = 15*h - 9*h - 72. Suppose -1905 = u*x - h*x. Is x prime?
False
Suppose 695*p - 39662087 = -765022. Is p composite?
False
Let l = -879 - -883. Let x = -2904 + 4615. Suppose -x = -l*v + 3261. Is v a composite number?
True
Suppose -3*t + 2*h = -535, -3*t = h - 521 + 1. Let p = 82 + t. Is p composite?
False
Let l(a) = 574*a**2 - 321*a + 401. Is l(-36) a composite number?
False
Suppose -16*o + 108 + 148 = 0. Let v(n) = n**3 - 2*n**2 + 25*n - 37. Is v(o) composite?
False
Suppose -4*u = -0*u - 52. Let z(b) = 2*b**3 - 15*b**2 - b - 8. Let i be z(u). Suppose i = 7*q - 5*q. Is q prime?
True
Let v(g) = 17*g**3 + 26*g**2 + 3*g - 35. Is v(21) prime?
False
Let y be 1/2*(-34985 + 21). Let p = y + 24859. Is p a composite number?
True
Suppose u + 77 = 3*j, -3*j - 5*u = -6*j + 73. Suppose -4*m + j = 10, -2*m = -2*t. Let k(i) = 5*i**2 + 7*i + 3. Is k(t) a prime number?
False
Suppose -2*y - 2*r + 1097651 = -659917, r = 3*y - 2636332. Is y composite?
True
Suppose -5*v + 3*v = -4*b - 173240, -5*v - 3*b = -433139. Is v composite?
True
Is 146128 + 15*9/(-27) a composite number?
True
Suppose 2*x - 2537622 = -52*x. Is x a composite number?
False
Suppose -2*n + 2*h + 28950 = 0, h = 4*h + 3. Is n a prime number?
False
Suppose 3*h - p - 833133 = 0, -47*h + 51*h - 4*p - 1110860 = 0. Is h composite?
True
Suppose 7*k - 2*k - 440 = 0. Let x be ((-1)/(-2) + -1)/((-2)/k). Suppose -x - 867 = -7*i. Is i prime?
True
Is (8/(-7))/(-2) + 290626572/1988 composite?
False
Let s(p) = -p + 7. Let x be s(3). Suppose -4*u - x + 4 = 0. Suppose u*h + h = -l + 293, -879 = -3*l - 2*h. Is l a composite number?
False
Let w(b) = 18*b**2 - 14*b + 128. Let c be w(37). Let g = -13070 + c. Is g composite?
True
Let f be (5/3 + 0)*(-153)/(-85). Suppose 3*i + 2*w = 4923, f*i - 3289 = i + w. Is i prime?
False
Let g(a) = 2*a**2 - 10*a - 63. Let c be g(16). Suppose c*i = 297*i - 55960. Is i composite?
True
Let i be 7492/(-1) - (4 + 10 - 11). Is -3*i/3 - 2 composite?
True
Suppose -4*o - 8 = 0, 3*h + 19*o - 14*o + 28 = 0. Is 4 + -5 - 2660/h*9 a prime number?
True
Let z = 143 - 141. Suppose 0 = 2*a - a, z*a = -2*q + 7694. Is q composite?
False
Let x(l) = -49*l**2 + 2*l. Let u(m) = -195*m**2 + 7*m - 1. Let q(c) = 