uppose -3*h = -0 - f. Suppose 20*i = h*i - 192. Does 12 divide i?
True
Let o = 1707 - 1011. Suppose -f + 1179 = 5*u + 2*f, -o = -3*u + 2*f. Is u a multiple of 15?
False
Let r = 951 + 722. Is r a multiple of 20?
False
Let a(w) be the third derivative of 3*w**6/8 - w**5/20 - 5*w**4/12 + 2*w**3 - w**2 - 23*w. Is a(1) a multiple of 3?
False
Suppose 0 = 68*x - 57*x - 2959. Suppose u + 126 = 4*z + 396, -u + 3*z = -x. Is 12 a factor of u?
False
Let f(l) = 6*l + 132. Let b be f(-21). Suppose -b*s - 4160 = -22*s. Is 13 a factor of s?
True
Let k = 29413 + 8219. Is 15 a factor of k?
False
Let c(m) = 7495*m**2 - 9*m. Does 112 divide c(-1)?
True
Suppose 2*h - 4944 = 1220. Does 67 divide h?
True
Let r be 4*((-138)/(-48))/(1/4). Suppose -r*v - 217 = -5*m - 47*v, -m - 2*v = -47. Is 2 a factor of m?
False
Let x be 1 + (-3 - 25/(-5)). Suppose 4*a + x*p + 2142 = -a, 3*p + 1290 = -3*a. Is (1/(-4) - (-3)/(-36))*a a multiple of 18?
False
Let b = 137 - -79. Suppose l - b = 282. Is 58 a factor of l?
False
Suppose -19*z + 22*z = 48. Suppose -3*u + 79 = 2*r, 4*u + z = 3*r - 128. Is r a multiple of 4?
True
Let x(z) = 44*z + 8. Let r be x(-5). Let g = 338 - r. Is g a multiple of 25?
True
Suppose -5066*i = -5009*i - 80997. Is i even?
False
Let w = -107 - -57. Does 13 divide 3170/(-25)*w/20?
False
Let v = -76 - -86. Suppose 25*i - 2065 = -v*i. Does 26 divide i?
False
Let q = -10 + -16. Let i = q - -24. Does 30 divide i/(-14) + (-2 - (-860)/7)?
False
Let f(y) = 3277*y + 153. Is f(3) a multiple of 32?
True
Is 1/(-8) + (134793/136 - -3) a multiple of 3?
False
Suppose 62505 - 194136 = -17*g. Is 16 a factor of g?
False
Suppose -125 = -5*u - 7*j + 4*j, -u + 2*j = -38. Let r be 2 + 1 - (-1 - -4). Suppose h - 22 - u = r. Is h a multiple of 31?
False
Let p(u) = -8*u**2 - 239*u + 31. Let z be p(-33). Is -2 + -3 + 9 - (z - 0) a multiple of 51?
False
Suppose -2*d + 41832 = 21*d + 60*d. Is d a multiple of 8?
True
Let q(g) = -1 - 2 - 5*g - 2 - 5. Let f(m) = -6*m + 59. Let k be f(11). Is 5 a factor of q(k)?
True
Let x be (-3 - (-38)/14)*-7. Suppose -3*h = 2*w - 6, -x*h + 3*w + 0 = -17. Suppose 4*v + v - 3*d - 54 = 0, -12 = h*d. Is v even?
False
Is 11 a factor of 12983 + (1/2)/(-15 - (-1513)/102)?
True
Is 19 a factor of (6308256/(-23))/(-12) - (1 - (-4)/(-2))?
True
Let y be 5*(-5)/5*15. Let c = 121 - y. Let l = c - 135. Is 9 a factor of l?
False
Suppose -4*b - 526 = -586. Is (10/b)/(6/630) a multiple of 6?
False
Let f(i) = 7*i + 1. Let a(n) = -1040*n - 156. Let z(w) = -2*a(w) - 312*f(w). Let q = 0 + -1. Is z(q) a multiple of 13?
True
Let s(w) = w**3 + 46*w**2 + 21*w - 544. Does 17 divide s(-45)?
False
Let h(q) = -q**3 - 5*q**2 + 3*q + 18. Let f be h(-3). Let v be (-8 + 11)*(-312)/f. Is 11 a factor of v/20*(-15)/(-6)?
False
Let p = -1181 - -655. Let m = 648 + p. Does 61 divide m?
True
Let b(x) = -x**3 - 59*x**2 - 80*x + 268. Is 86 a factor of b(-59)?
True
Let o = -121 - -120. Does 8 divide (2 - o - 3) + 18 + -2?
True
Suppose 9*q - 59076 = -3*q. Is q a multiple of 50?
False
Suppose -6*t = q - 9*t - 740, 0 = -3*t - 12. Is q a multiple of 16?
False
Let n(s) = 2*s + 45 + s**2 - 60 - 40. Is n(13) a multiple of 10?
True
Suppose -3*q = -468 - 6507. Is q a multiple of 25?
True
Suppose -4*c + 9*h + 35726 = 0, 39*c + 35678 = 43*c - h. Does 49 divide c?
True
Suppose 3*c - c = 184. Let n(v) = 4*v**2 - 4*v + 4. Let t be n(4). Let b = c - t. Is b a multiple of 8?
True
Let m(r) = -4*r**3 + 9*r**2 + 3*r + 31. Is 6 a factor of m(-7)?
False
Let b = 7267 + -4074. Does 23 divide b?
False
Let a(m) = -m**3 + m**2 - 20*m - 26. Let x(y) = y**3 + 7*y + 8. Let r(p) = -2*a(p) - 7*x(p). Does 10 divide r(-2)?
False
Is 24 a factor of 75736/12 + (22/6 - 3)?
True
Let o(u) = u**3 - 36*u**2 - 515*u - 69. Let x be o(47). Let r be 37/(-2) + (-2)/(-4). Let n = r + x. Is n a multiple of 7?
True
Let b(l) = 40*l + 26. Let x be b(-6). Let u = -142 - x. Suppose -u = -2*d + 34. Does 11 divide d?
False
Is 5 a factor of (-19)/2*(212 - 2454)?
False
Let y(i) = 6*i**2 - 7*i + 10. Let t be y(9). Suppose -4*u + t = 21. Is u a multiple of 19?
False
Let r = 132332 - 80500. Does 124 divide r?
True
Is (1860/16)/((57/72)/19) a multiple of 5?
True
Let x = 250 - 246. Suppose x*z - 3616 = -0*z. Is 53 a factor of z?
False
Let x be (59 + 1)*300/24. Let f = -497 + x. Is 11 a factor of f?
True
Let u(m) = 33*m + 175. Let d be u(-26). Let a = -505 - d. Does 8 divide a?
False
Let b = -22 + 26. Suppose -b*x = 5 + 3. Is 32 a factor of (48/9)/((-3)/27)*x?
True
Suppose 1226 = m - 3*j, -5*m + 0*j + 6102 = -j. Let z = m + -183. Does 17 divide z?
True
Suppose -36*r = 59*r - 376752 - 1538068. Is 32 a factor of r?
False
Suppose -2*u - 19 = -5*v, -25 = -5*v - 2*u + 6. Suppose 3*i = 2*i - v. Let j = 16 - i. Does 7 divide j?
True
Let p = 19 - 16. Suppose -p = -5*t + 12. Suppose 2*w + 33 = t*w. Is 13 a factor of w?
False
Suppose 0 = -11*g - 5*r + 68817, 0*r + 2*r = -5*g + 31281. Is g a multiple of 4?
False
Let m = 14980 + 2288. Is m a multiple of 138?
False
Let b(s) = 24*s**2 - 49*s + 14. Let j be b(-7). Let a = -1077 + j. Is a a multiple of 38?
True
Let o = -374 + 376. Suppose -2*d - o = 0, 3*l - d - 298 = -3*d. Is l a multiple of 2?
True
Let y(j) = 91*j**3 - 13*j**2 - 28*j - 23. Is 7 a factor of y(4)?
True
Suppose -232*k + 225*k = -14. Suppose 2*l - k*i = 710, 2*i + 1418 = -24*l + 28*l. Is l a multiple of 29?
False
Let m = 58 + -40. Let w be ((-1)/1)/(m/(-72)) + -6. Let v(g) = -8*g**3 + 2*g**2 + 6*g + 3. Is 23 a factor of v(w)?
False
Let u = 253 - 343. Is (-39 - u)*(-3)/(18/(-68)) a multiple of 17?
True
Let b = -12119 + 15468. Does 5 divide b?
False
Let d(s) = s**2 + 19*s + 69. Let a be d(-10). Is 14 a factor of ((a/4)/7)/(3/(-56))?
True
Let r(f) = f**2 + 30*f + 384. Does 11 divide r(36)?
False
Let p(h) = -7*h**3 + 19*h**2 - 91*h - 56. Let y(v) = -6*v**3 + 21*v**2 - 92*v - 55. Let b(j) = 5*p(j) - 6*y(j). Does 9 divide b(28)?
True
Let z(u) = -u + 6. Let a be z(6). Let p(q) = -6 + 3 + q + a + 3*q. Does 12 divide p(17)?
False
Suppose m - 5*m + 34 = 2*p, 4*p + 36 = 5*m. Let s(d) = -4 + m*d - 2 - 17. Is s(12) a multiple of 30?
False
Let y(t) = -7140*t - 6209. Does 7 divide y(-3)?
True
Suppose -3*s = 5*p - 10206, 4*p - 563 = s + 7595. Does 68 divide p?
True
Suppose 75 = 2*g + 3*z, -2*g + 5*z = -g - 18. Let f(y) = -y + 23. Let o be f(20). Suppose 2*l - 4*j + j - 22 = 0, o*l = -j + g. Is 10 a factor of l?
False
Is 7 a factor of ((-45)/(-6))/(-5)*(8701/(-21) - 1)?
True
Let h(m) = -m**3 + 4*m**2 - 3*m - 4. Let n be h(3). Let p be -3 - (2344/2)/n. Let k = p + -192. Is 14 a factor of k?
True
Suppose a + 5*m = 8035, -44*m - 48326 = -6*a - 45*m. Is 9 a factor of a?
True
Suppose -33*l - 113 = 2098. Let d = 134 + l. Does 10 divide d?
False
Let s(g) = -7*g**2 + 91*g - 10. Let o(z) = 4*z**2 - 61*z + 7. Let c(y) = -7*o(y) - 5*s(y). Is 86 a factor of c(17)?
True
Let c be 946/86 + 0/(-2). Suppose c*q = -1065 + 5454. Is 19 a factor of q?
True
Suppose 0 = t + 3*k - 7*k - 1336, -t = 5*k - 1354. Does 37 divide t?
False
Let y(x) = 1200*x + 768. Does 78 divide y(3)?
True
Let b(g) = -40*g - 68. Let w(s) = -s + 1. Let v(h) = -b(h) + 2*w(h). Is 4 a factor of v(5)?
True
Is 153 a factor of 10047/2*(33 + -36)*(-2 + 0)?
True
Suppose 6*f - 8*f + 298 = 0. Suppose -2128 = -7*n - 0*n. Suppose f = 3*w - n. Is 24 a factor of w?
False
Let m(q) be the first derivative of -q**4/4 - 17*q**3/3 - 4*q**2 - 51*q + 20. Let p(o) = -o**2 - 2*o + 7. Let l be p(-6). Is m(l) a multiple of 4?
False
Let i(n) = -n**3 + 6*n**2 + 591*n + 45. Does 59 divide i(21)?
True
Let a = -25 + 29. Let q(m) = m**2 + m + 61. Let k(x) = x**2 + x + 62. Let c(t) = a*q(t) - 3*k(t). Is c(0) a multiple of 14?
False
Let b(w) = -10*w + 76. Let x = 190 + -185. Is b(x) a multiple of 3?
False
Suppose 0 = g + 17*g - 10116. Let f = g - 379. Is 13 a factor of f?
False
Is ((-9)/5)/((-91508)/(-4160) + -22) a multiple of 10?
False
Let j = -448 + 452. Suppose j*g - 151 = 969. Is 9 a factor of g?
False
Let q(s) = -4*s - 5. Let u be q(-2). Suppose 0 = -2*y - u - 3. Does 15 divide y - (72/54)/(4/(-138))?
False
Let w(n) = 9*n**3 - 8*n**2 + 70*n + 114. Is 37 a factor of w(13)?
False
Let y be 3/(-4) - ((-193158)/24)/(-21). Is 3 a factor of (y/30)/(-4)*1*25?
False
Suppose 8*v - 16*v + 384 = 0. Suppose -2*s = v + 26. Let p = s + 64. Is 3 a factor of p?
Tru