p). Suppose -f*v - 44 = -3*v. Does 11 divide v?
True
Suppose -4*v + 2 = 2*x, 0*v - 4*x = -5*v - 4. Suppose 4*o + w - 3*w - 12 = 0, -5*o - 3*w + 15 = v. Suppose o*j = 11 + 37. Does 8 divide j?
True
Let l = 83 + 229. Is 12 a factor of l?
True
Let l = 1311 + -712. Is l a multiple of 9?
False
Is 103 a factor of (-1486)/5*(-15 - (-20)/4)?
False
Let b = 93 + -184. Let l = 229 + b. Is l a multiple of 23?
True
Let t = 789 - 228. Is 15 a factor of t?
False
Let j = 308 + -147. Suppose 3*m - j + 26 = 2*y, -3*m = 4*y - 153. Is 22 a factor of m?
False
Suppose -16 = -3*w - w. Suppose -m = 0, -w*u + 4*m = -u - 6. Suppose 0 = u*r + 3*r - 100. Does 10 divide r?
True
Let m(s) be the second derivative of -19*s**5/60 - s**4/6 + s**3 - 9*s. Let n(l) be the second derivative of m(l). Does 30 divide n(-3)?
False
Let z(w) = 62*w**2 + 51*w + 150. Is z(-3) a multiple of 15?
True
Let n(v) = 179*v - 1080. Does 21 divide n(18)?
True
Suppose -2*l - f = 56, 116 = -4*l - f - 3*f. Let k = -11 - l. Is 11 a factor of k?
False
Let a(z) = -4*z**2 + 3*z**2 + 4*z - 14 - 1 - 15*z. Does 9 divide a(-6)?
False
Let v(b) = 18*b**2 + 53*b - 204. Is 22 a factor of v(6)?
False
Suppose -3*v - 5*b = 15, 3*v + v + 3*b = -9. Suppose 3*u + 1 = -4*l, -3*u - 2*l + 1 + 6 = v. Is u a multiple of 3?
False
Suppose 4 + 2 = -2*g. Suppose 4*j = -r - 7, -29 + 6 = j - 4*r. Does 18 divide 1*g + (j - -59)?
False
Let i be (-260)/(-2) + 2 + -2. Let z(n) = 11*n**3 + 3*n**2 + 4*n - 5. Let y be z(-2). Let j = i + y. Is j a multiple of 9?
False
Suppose -4*u - 4*v = -80, u + v = -2*u + 56. Let w = u - -4. Is w a multiple of 14?
False
Let f(b) = -b**3 - 10*b**2 + b + 10. Let m be f(-10). Suppose -3*x + 6*x - 12 = m. Is x a multiple of 2?
True
Let r(v) = -v**3 + 17*v**2 - 16*v + 35. Let w be 4/(-7) - 232/(-14). Does 7 divide r(w)?
True
Let y be (0 - -1) + 8/(-8). Suppose y = -s - 4*s + 285. Is s a multiple of 20?
False
Let d = 831 + -544. Let x = d - 171. Does 10 divide x?
False
Let q(i) = -i**3 - 10*i**2 + 10*i - 3. Let t be q(-11). Let z be 14/56 - (-30)/t. Suppose -3*j = -2*d - j + 236, d - z*j - 112 = 0. Is d a multiple of 26?
False
Suppose -2*a - 1852 = -4*j, -4 = -2*a - 8. Is 11 a factor of j?
True
Let i(u) = -35*u - 33. Is i(-8) a multiple of 49?
False
Let t(k) = 4*k - 2. Let b(p) be the third derivative of -p**4/8 - 5*p**3/6 - 3*p**2. Let w be b(-3). Is t(w) a multiple of 14?
True
Suppose 5*g + 3*y = 161 + 87, -3*g = y - 148. Does 5 divide g?
False
Let w = 26 - 17. Let x(h) = h**3 - 9*h**2 + 5*h - 12. Let f be x(w). Suppose a - 2 = f. Does 7 divide a?
True
Suppose -5*v = -3*r - 2454, 198*v + 4*r = 195*v + 1484. Is v a multiple of 12?
True
Suppose -2*m + 3*g + 11 = 3, 3*m - 12 = 5*g. Suppose 5*w = -2*l + 175, 3*l + m*w - w - 240 = 0. Is l a multiple of 10?
False
Suppose 4*c - h = -5*h + 1356, -5*h + 339 = c. Is c a multiple of 16?
False
Suppose -8*u + 121 = -15. Let n = u + 12. Is n a multiple of 26?
False
Suppose 424 = -t + 1099. Is t a multiple of 27?
True
Suppose -a = -3*v + 5460, 0 = -0*v + v - a - 1822. Is 14 a factor of v?
False
Let k(t) = 1 + 3 + 2 - 7. Let g(u) = -u**3 + 2*u**2 + u - 7. Let y(o) = g(o) - k(o). Does 12 divide y(-3)?
True
Suppose d = 10*r - 12*r + 275, 0 = -5*r + 10. Does 9 divide d?
False
Let u = -61 - -63. Is 4/(-14) + 394*u/14 a multiple of 14?
True
Let z(d) = 6*d + 6. Let r be z(-10). Let g = 64 + r. Is 4 a factor of g?
False
Let q be 0*(-1)/2 - 3. Does 24 divide q/4 - 1100/(-16)?
False
Does 9 divide (-1936)/(-6) - 110/165?
False
Suppose 2*b = -b + 24. Is (-1)/(-4) + 382/b a multiple of 5?
False
Let k be 864/30*(-25)/(-2). Suppose -5*h = -0*h - k. Is h a multiple of 18?
True
Let n = 31 + -61. Let v = n + 50. Suppose -32 = -a + v. Does 13 divide a?
True
Suppose 51*z - 14577 = 38922. Is 4 a factor of z?
False
Let l(k) be the first derivative of -15*k - 4 + 5/3*k**3 + 1/2*k**2. Is l(-5) a multiple of 21?
True
Let i = -307 - -467. Does 5 divide i?
True
Suppose 7*p - 48 = 3*p. Suppose -6*o - p = -10*o. Suppose 0 = 2*c + 5*r - 81, -o*r + 36 = c - 6. Is 12 a factor of c?
False
Suppose o - 18 = 4*o. Let t(k) = 5*k**3 - 6*k**2 + 3. Let c(i) = -6*i**3 + 6*i**2 - 3. Let f(p) = 6*c(p) + 7*t(p). Is 2 a factor of f(o)?
False
Let x(r) = -r - 1. Suppose -4 = -3*u + 5. Let m be (u + -10 - -1) + -1. Is 4 a factor of x(m)?
False
Let n(u) = -3*u + 9. Let c be n(0). Suppose -4*i + 69 = -3*z, -4*z + c = -11. Does 5 divide i?
False
Does 23 divide (-460)/(14/35*-1)?
True
Let r(b) = 21*b + 25. Let n be r(16). Let g = n - 201. Suppose 4*m - g = t, 0 = -5*m - 3*t + t + 187. Is 13 a factor of m?
True
Is (-1)/(-1)*(1401 - -54) a multiple of 76?
False
Let q(c) = 40*c - 5. Let i(s) = 1239*s - 154. Let v(u) = -2*i(u) + 63*q(u). Let n be v(2). Suppose w - 232 + n = -3*a, -620 = -4*w + 3*a. Is w a multiple of 36?
False
Suppose 0*y + 2*y = -384. Is (y/(-28))/((-4)/(-70)) a multiple of 20?
True
Suppose 173*j - 205*j = -66592. Is j a multiple of 24?
False
Let g(w) = w**3 + 3*w**2 - 2*w - 4. Let p be g(-3). Suppose -5*s + 2*m = -298, -3*m = -s - p + 59. Is s a multiple of 12?
True
Suppose 14*q - 41569 + 1669 = 0. Is q a multiple of 57?
True
Let m(s) be the second derivative of -17/2*s**2 + 0 - 3*s**3 - 1/12*s**4 - 4*s. Does 16 divide m(-13)?
True
Suppose 12*r - 209 - 127 = 0. Does 28 divide r?
True
Suppose 0 = 2*u + 10, 5*s - u = u + 35. Suppose s*d + l + l + 38 = 0, -d - 3*l = 18. Is 2/d - (-1666)/21 a multiple of 19?
False
Suppose 35 = -3*d - 16. Let a = d + 80. Is a a multiple of 9?
True
Let c be 53/(1/(-1)) + -2. Let x be (-5)/(-5) - (-7)/1. Let b = x - c. Is 21 a factor of b?
True
Let k = 294 - -518. Is k a multiple of 46?
False
Let y(u) = 109*u + 3. Let j be y(2). Suppose -5*d + 219 = -j. Does 22 divide d?
True
Suppose -26*m + 7*m + 7638 = 0. Is 19 a factor of m?
False
Let r(m) = 2*m - 33. Let h be r(20). Suppose -h*n - 154 = -9*n. Is n a multiple of 11?
True
Let d(r) = 410*r - 701. Is d(10) a multiple of 17?
False
Let g(z) be the third derivative of -5*z**6/24 - z**5/30 - z**4/12 + 27*z**2. Is g(-2) a multiple of 16?
False
Suppose 2*i = 4*i. Suppose i = 2*r - 34 - 110. Does 18 divide r?
True
Let i = 3740 + -2493. Is i a multiple of 96?
False
Suppose 0 = -2*v - 2*r + 40, 4*r = -0*v - 3*v + 58. Is v a multiple of 7?
False
Suppose 46 = -24*a + 25*a. Let l = a - 32. Is 3 a factor of l?
False
Let o(y) = -75*y + 1. Let v be o(1). Let k(m) = -15*m**3 + m**2 + m + 1. Let f be k(-2). Let c = v + f. Is c a multiple of 9?
False
Let k(l) = -3*l + 5. Let g be k(-3). Let d be 4/(-14) + 60/g. Suppose y + 5*s - 37 = 0, d*y - 2*s + 7*s - 73 = 0. Does 5 divide y?
False
Suppose 0*l = -4*l + 360. Suppose -5*w + l + 235 = 0. Is w a multiple of 13?
True
Suppose -15*a - 392 = -11*a. Let w = a + 167. Does 10 divide w?
False
Let v be 8 + (-20)/5 + 1. Suppose 2*d - 5*d = 9, 4*h - 109 = -v*d. Does 31 divide h?
True
Suppose m - 145 = -48. Suppose -3*z + 89 = c - 132, -5*c = z - m. Suppose -4*h + z = -h. Is h a multiple of 6?
True
Suppose 7*i = 17*i - 80. Let z(a) = 15*a - 40. Is 10 a factor of z(i)?
True
Suppose 58*s - 49*s - 3123 = 0. Is s a multiple of 79?
False
Let m = 399 - 372. Does 27 divide m?
True
Let w be (-1)/(-7) - (-58)/(-14). Let u be 273/9 - w/(-12). Suppose 3*k - 75 = -3*v, 2*v - k = k + u. Is 6 a factor of v?
False
Let s = 25 - 17. Suppose 9*i + s = 11*i. Suppose i*x - w = 51, 2*x - 7*x = 3*w - 51. Is x a multiple of 12?
True
Suppose 5*f + 15 = 0, u - 598 = -5*f + 5. Is u a multiple of 13?
False
Let a(d) be the first derivative of -d**2/2 + 25*d + 11. Is 8 a factor of a(-16)?
False
Suppose j + 4*z = 5*j - 12, -5*j - 3*z = 9. Let c be (29 - j/2) + -3. Suppose -q = q - c. Is q a multiple of 13?
True
Let q = 73 + -43. Is 28 a factor of q?
False
Let z(m) = -4*m**2 + 7*m + 14. Let y be z(-4). Let o = -62 - y. Does 8 divide o?
True
Suppose 520 = -23*o + 18*o. Let n = 178 + o. Is n a multiple of 37?
True
Suppose -7*t + t + 18 = 0. Suppose 0*p + 3*d - 75 = -t*p, 4*d + 74 = 2*p. Let n = 31 + p. Is 12 a factor of n?
True
Suppose -7*v - 858 + 3581 = 0. Is v a multiple of 60?
False
Let d = 64 - 94. Does 21 divide 208/5 + ((-102)/d - 3)?
True
Let m(k) = 4*k**2 + k + 4. Let x be m(7). Suppose 0 = 11*a - x - 68. Does 25 divide a?
True
Let w be (-4 + -5)*(-1)/3. Suppose w*g - g = 160. Is g a multiple of 12?
False
Suppose -r - 2*r = -66.