*b - 513 = 0, 5*b - 516 = n - 2*n. Is n a multiple of 43?
False
Let d be 261 - (14/5 + 2/10). Suppose -2*h + d = 2*l, 3*h - 380 = 6*l - 2*l. Is h a multiple of 13?
False
Is 13534/24 - (-7)/84 a multiple of 47?
True
Let r be 0/3 + 6 - 4. Let o = r - -23. Suppose 0 = 5*x - o, -5*t + 3*t + 156 = -2*x. Is t a multiple of 15?
False
Let m(g) = g**2 - 8*g + 2. Let o be m(8). Suppose -o*i = -0*i - 60. Suppose -3*q + 2*n = -68, -2*n = q + n - i. Is 8 a factor of q?
True
Suppose 3*t = 34 + 20. Let s = t - -32. Does 46 divide s?
False
Suppose 3*o - 2033 = 4*p, -3*p + 3397 = 5*o - p. Suppose 8*v = v + o. Is v a multiple of 8?
False
Let i(b) = 5*b**2 + b + 180. Is 5 a factor of i(0)?
True
Let w be (9 + -12)*10/6. Let r(z) = -43*z - 24. Is r(w) a multiple of 8?
False
Let g = 1 + 647. Is g a multiple of 24?
True
Let h be (-32)/(-80)*(0 - 165). Let x be ((-30)/9)/(4/h). Suppose 4*w - 77 = x. Is 11 a factor of w?
True
Let i = 191 + -77. Is i a multiple of 6?
True
Let y be 8/(-36) + (-34)/9. Let d = y + 29. Does 5 divide d?
True
Let j = -1612 - -2377. Is j a multiple of 45?
True
Is 147 a factor of (-997)/((18/30)/(-3))?
False
Suppose -2*v = 5*g - 371, 5*g - 2*v = -0*g + 379. Let b = 67 - 65. Suppose b*d = 3*t - g, 3*t + 3*d - 89 = -14. Does 11 divide t?
False
Suppose 3*b = -2*x + 233, 5*b - 2*x = -173 + 540. Is 4 a factor of b?
False
Let u = 177 + -87. Is u a multiple of 10?
True
Suppose -p + 32 = v, 4*p = -p + 5. Is 7 a factor of v?
False
Let s = 101 - -255. Does 20 divide s?
False
Let o = 72 - 33. Suppose -3*q = -5*g + o, -g = -2*q + q - 9. Let k(a) = 2*a**2 - 2*a - 3. Is k(g) a multiple of 19?
True
Let c be 155/(-50) + (-1)/(-10). Is 25 a factor of ((-2)/c)/(4 + (-287)/72)?
False
Suppose 4*v - 3*f = -495, -4*v - v = 4*f + 580. Is (-144)/(-15)*v/(-18) a multiple of 21?
False
Let b(n) = -4*n - 10. Let g be b(-5). Suppose -g - 50 = -5*v - 5*x, 0 = -2*x. Is v a multiple of 6?
True
Suppose 10*f + 553 = 5243. Is 17 a factor of f?
False
Suppose -6*v + 8 = -4. Suppose y = -o + 45, -5*y + 231 + v = -3*o. Is 4 a factor of y?
False
Let n be (-1)/(3 - (-20)/(-6)). Suppose -5*h - 10 = r, 5*h + 18 + 12 = n*r. Suppose 0*q + r*a - 45 = -4*q, -3*q + 2*a + 28 = 0. Is q a multiple of 9?
False
Let c = -83 + 527. Is 43 a factor of c?
False
Suppose t + 0 = 3. Suppose 3*s = -3*q + 18, -t*s = 3*q + s - 21. Suppose 0 = -3*n + 9, 0 = 5*i - q*n - 2*n - 55. Is i a multiple of 14?
True
Suppose -o - 4*z = -1073, -2*o = -10*z + 14*z - 2138. Is 71 a factor of o?
True
Let b = 16 - 43. Let t = b - -15. Is 3 a factor of (-255)/t - (-3)/(-12)?
True
Suppose 4*v - b = 13188, -3*v - 6780 = -2*b - 16666. Is 34 a factor of v?
True
Let u(o) = 7*o**3 + 15*o**2 - 16*o + 23. Is u(6) a multiple of 10?
False
Suppose 0*t - 375 = -5*t. Suppose -5*v = -2*v - t. Suppose w - 3*o - v - 22 = 0, -w + 26 = 4*o. Is w a multiple of 5?
False
Let b = 1597 - 1103. Is 38 a factor of b?
True
Suppose -5*r + 4*o = 20, -3*r + 2*o - 1 - 9 = 0. Suppose r*z - 3*z + 138 = 0. Does 10 divide z?
False
Let t(j) be the third derivative of 97*j**4/12 - j**3/6 + 31*j**2. Is t(1) a multiple of 11?
False
Let h be 13/(-4) + 45/(-60). Let l be 106 - h/(-1 + -1). Suppose 0 = 11*z - 9*z - l. Does 13 divide z?
True
Let r(s) be the third derivative of s**6/24 - s**5/120 + s**4/24 - 5*s**3/6 - 3*s**2. Let t(n) be the first derivative of r(n). Is t(1) a multiple of 6?
False
Let a(k) = -29 + k - 17*k**2 - 12*k**2 + 32*k**2. Is a(7) a multiple of 20?
False
Let y be -2*(-7 + 4 + 9). Let z be (8/y)/(4/78). Does 14 divide (101/(-4))/(z/52)?
False
Suppose -32*w = -30*w + h - 493, -2*h - 722 = -3*w. Is w a multiple of 17?
False
Suppose -4*y - 1827 = -13*y. Does 6 divide y?
False
Is 8 a factor of 6 + 1276*(-5)/(-10)?
False
Suppose -b - 2*b = 0. Suppose -3*k + 2*d - 31 = b, -4*k - 2*d - 12 = 48. Let w = k - -30. Is w a multiple of 17?
True
Let a(h) = 95*h - 44. Is a(9) a multiple of 41?
False
Suppose 3*c = -9 + 18. Suppose -5 = -4*v + c*l, 2*v - 4*l = v - 15. Suppose -v*i + 97 = 27. Does 7 divide i?
True
Suppose -4*b = -7*b + 1269. Suppose -b = -3*m - 4*k, -4*m + 4*k - 2*k = -542. Is m a multiple of 18?
False
Let u be (-2)/(-10) + 216/20. Let q = 15 - u. Suppose 2*p + 4 = 3*p, 4 = -l + q*p. Does 5 divide l?
False
Suppose 15 = -4*s - 6*t + 3*t, t + 5 = 2*s. Let d be -4 - -107 - (s + -1). Suppose -2*l = -2*r - 62, l - d = -3*l - r. Is l a multiple of 12?
False
Let u = 310 - 160. Does 30 divide u?
True
Let r = 123 + -95. Suppose -3*n = 2*h - 433, -2*h - r = -n + 111. Does 20 divide n?
False
Let y be (-4)/18 - 238/(-18). Suppose -636 = -y*u + 10*u. Is u a multiple of 19?
False
Let w(z) = 9*z - 20. Let p be w(7). Suppose -y = 3*o - 51, 0*y - p = -y - o. Is y a multiple of 13?
True
Let v(i) = i**2 - 6*i + 7. Let b be v(7). Let n = 19 - b. Suppose 6 = -n*p + 156. Does 10 divide p?
True
Let u(s) = 705*s**2 - 3*s + 4. Is u(1) a multiple of 8?
False
Let r be 6/3*(-2 - 3 - -3). Let a(w) = 4*w**2 + 6*w + 8. Does 25 divide a(r)?
False
Let j be 0/(-2 + -2 - -2). Let s(o) = -o**3 + 29. Let f be s(j). Suppose 28 = 2*b + 3*q, 4*b + q + f = 95. Is 12 a factor of b?
False
Suppose -8*i + 5*i + 1440 = -3*q, -5*i + 2380 = -q. Does 5 divide i?
True
Let r(f) = 2*f + 36. Let l be r(-19). Is 1/l - ((-1455)/10 - -5) a multiple of 18?
False
Let v(h) = -5*h**2 + 3*h - 5 - 4 - h**3 + 5*h. Does 33 divide v(-7)?
True
Suppose 0 = -10*v + 7*v + 270. Does 18 divide v?
True
Suppose 3 = -0*k - k + 3*t, 2*k - 4*t + 4 = 0. Suppose k = -5*o + 44 + 56. Is o a multiple of 6?
False
Let l(t) = t**3 - 7*t**2 + 7*t - 8. Let c be l(6). Is 11 a factor of (194 - (6 + c)) + -3?
True
Let j(g) = -g**2 + 16*g + 6. Let n be 20*(-2 + (-39)/(-15)). Is j(n) a multiple of 9?
True
Let r(g) = g**3 - 13*g**2 + 40*g + 5. Is r(10) a multiple of 29?
False
Suppose 0 = -5*i + 3*s + 10631, -5*s + 6532 + 4083 = 5*i. Does 25 divide i?
True
Let z(p) = 32 - 23*p - 27*p + 40*p. Is 44 a factor of z(-10)?
True
Let c be 110/7 + 6/21. Let m = c + -13. Does 13 divide 27 - (1 + 2) - m?
False
Let u(n) = -n**2 - 2*n + 11. Let a be u(-5). Is 4 a factor of 11 + (-7)/(7/a)?
False
Suppose s - 125 = -4*r, 0 = 4*r + 5*s - 10*s - 143. Let o = r + -13. Suppose -5*a = -o - 51. Is a a multiple of 8?
False
Let o be (-3)/((-15)/2*2/10). Suppose -4*m = o*m - 288. Is 24 a factor of m?
True
Is (4266/(-24)*2 + 4)*-2 a multiple of 12?
False
Let j be 1 - -2 - 6 - 3. Let y be -4 + (3 + j - -27). Does 5 divide y/(-6)*(-144)/20?
False
Let d(c) = -2 - 1 - 12*c + 0. Let j(l) = 3*l + 1. Let o(v) = -2*d(v) - 9*j(v). Does 18 divide o(-7)?
True
Suppose 0 = -2*i + 6, 2*i = -l + 4*i + 17. Is l a multiple of 23?
True
Suppose 3*a - 3 = -4*l + 2*a, 0 = -5*l - 4*a + 12. Suppose -2*v = -4*p, v - 3*p + l = -5. Is (9 - 224)*(-4)/v a multiple of 16?
False
Let a = 1278 + -391. Does 11 divide a?
False
Let v(h) = h - 1. Let a be v(13). Let d be (-3)/a - 35/4. Let c = d + 26. Is c a multiple of 14?
False
Suppose 0*o + 6*o = -144. Let z = 26 + o. Suppose -3*r = -z*v - 87, -r - 33 = -2*r + 2*v. Is 9 a factor of r?
True
Suppose -x + 0*x = -12. Suppose -173 = -5*m - l, 0 = -2*m + 5*l + x + 41. Suppose -4*f + 5*f - 4*q = m, 0 = -4*f + q + 106. Is 8 a factor of f?
False
Suppose 52*a - 57*a + 360 = 0. Does 24 divide a?
True
Suppose 0 = -75*h + 79*h + 5*o - 2380, o = -4. Does 30 divide h?
True
Suppose -x - 66 = 2*x. Let a = x + 27. Suppose -a*m + 21 = -44. Is 9 a factor of m?
False
Let t = 10 - 7. Suppose -16 = 4*s, 460 = 3*h - 4*s + 57. Suppose -2*d + 54 = 2*z, 5*d + 2*z - t*z = h. Is 14 a factor of d?
False
Let p be 1/1*(-312 - 1). Does 8 divide p/(-3) + (-3)/(-9)*-1?
True
Let g be (4 - 3754) + 0/3. Is 16 a factor of g/(-40) - (2/(-8) - 0)?
False
Let a(r) = -5*r**3 + 4*r**2 + 5*r**3 + 1 + r**3 + r. Suppose 5*j - 3*j + 4*g - 6 = 0, 4*j + 4*g = 0. Is a(j) a multiple of 5?
False
Let r be 1/(-4) - (2 - (-85)/(-20)). Suppose -5*k + 216 = -3*u, -4*k - r*u = -0*u - 186. Is 15 a factor of k?
True
Let w = -1500 - -2535. Does 31 divide w?
False
Let l(z) = 23*z**3 + 3*z**2 - z - 1. Let n be l(-1). Does 13 divide (-15)/20 + (-1055)/n?
True
Suppose -5*v = 44 - 1069. Is v a multiple of 5?
True
Does 62 divide -5 + -668*(21/28)/(-1)?
True
Let z(u) = -61*u - 208. Is 17 a factor of z(-14)?
True
Suppose 5*i + 995 = 4*t, 1 = -2*i + 3. Does 6 divide t?
False
Suppose 5*y + 3*a = 12847, y + 422