 + 3*b = g. Does 3 divide b?
True
Let i(a) = -3*a. Let o be i(0). Suppose v = -4*h + 2*h + 13, 3*h + 2*v - 21 = o. Is h a multiple of 5?
True
Let p = 5 - 6. Let q(j) = 67*j**2 + 1. Is q(p) a multiple of 17?
True
Let q(u) = -88*u - 166. Does 3 divide q(-4)?
True
Suppose -5*u + 45 = 4*h - 2*u, -u + 35 = 3*h. Let s = -13 + h. Let g = s + 5. Is 2 a factor of g?
True
Let z(m) = m**3 + 5*m**2 - 11*m + 16. Let n be z(-6). Suppose -3*l + 2*w = 2*l - 230, 0 = -l - 2*w + n. Is l a multiple of 23?
True
Does 76 divide (456/(-32))/((-2)/((-128)/(-6)))?
True
Suppose 3*z = 2*l - 22, -2*z = -5*z - 5*l + 13. Let w be 12 + z + 2*-1. Let q = w - -3. Is 3 a factor of q?
True
Let o(a) = 670*a**3 - 4*a**2 + 6*a - 3. Is o(1) a multiple of 84?
False
Let y(u) = -143*u**3 + u**2 + 14*u + 14. Does 9 divide y(-1)?
True
Let c(v) = 2*v**3 + v**2 + v - 6. Let n = 8 + -5. Is c(n) a multiple of 12?
True
Let u = 1529 + -848. Is u a multiple of 35?
False
Let d(t) be the second derivative of t**4/12 - 3*t**3/2 + 5*t**2/2 + 5*t. Let a be d(9). Suppose a*c - 40 = -0*c. Is c a multiple of 6?
False
Suppose 2*t + 394 + 52 = 0. Let j = -159 - t. Is 11 a factor of j?
False
Suppose 0 = -3*g + 4 - 16. Let t be (2/6)/(g/(-12)). Is -2 - (-29 + -1 + t) a multiple of 9?
True
Let m(l) = l + 9. Let s be m(-10). Is s/((-362)/90 + 4) a multiple of 9?
True
Let n be ((-66)/(-7))/((-12)/84). Let s = -56 - n. Is 2 a factor of s?
True
Suppose 0 = -z + k + k + 1, -17 = -5*z + 4*k. Let p(d) = 16*d + 14. Is p(z) a multiple of 16?
False
Suppose 5*k = 23 - 13. Suppose 3*a - 9 = 0, -60 = -5*h + k*a + 39. Is (3 + -3 - 3) + h a multiple of 3?
True
Let f(q) be the third derivative of -q**5/60 - 11*q**4/24 + 2*q**3/3 - 4*q**2. Let a be f(-6). Let c = -4 + a. Does 15 divide c?
True
Let x = -48 + 53. Suppose -k + x*d - 29 = -2*k, 3*d = -5*k + 57. Is k a multiple of 4?
False
Let l = 26 - 19. Does 10 divide (l - 3) + (-35)/(-1)?
False
Let k(w) = -3 + 0*w + w**3 + w + 5 + 7*w**2 + 2. Is 12 a factor of k(-4)?
True
Suppose 4*i - 50 = 5*q - i, -8 = -4*i. Let s be 2*2 - (-4 - q). Suppose 6*h - h - 15 = s. Is h a multiple of 3?
True
Let p(g) = 4*g**2 + 28*g - 11. Does 7 divide p(10)?
False
Let v be (-3)/(-4)*(-6 - -30). Let r be (v/4 + -2)*2. Suppose 0 = -r*j - 13 + 123. Is j a multiple of 11?
True
Let m(a) = -a - 4. Suppose -5*x = 3*n - 0*x + 8, -5*n = 3*x + 24. Let p be m(n). Suppose -p*i = -11 - 17. Does 14 divide i?
True
Let a(o) = 9*o - 3. Let v be a(4). Let m = 2445 + -1461. Does 10 divide (-6)/(-33) + m/v?
True
Let c(p) = p**2 - 19*p + 20. Does 13 divide c(0)?
False
Let k = 435 + -219. Is k a multiple of 18?
True
Let z(w) = w**2 - 11*w + 8. Let x be z(10). Let q(j) = -61*j + 1. Let t be q(x). Suppose 4*i - 164 = 5*u, i - t = -2*i - 3*u. Is i a multiple of 10?
False
Let f(g) = 3 - 4 - 12 + 1 - 2*g. Let o be f(-5). Let n(d) = 14*d**2 - 2*d + 1. Is n(o) a multiple of 15?
False
Suppose -5*a = s + 1, 3*a = 3*s - 25 - 44. Let h = 11 - 3. Let b = s - h. Is 5 a factor of b?
False
Let j(m) = 2*m**3 + 3*m**2 - 16*m + 9. Let i be j(4). Let d = 285 - i. Does 11 divide d?
False
Let g = -754 - -1075. Does 4 divide g?
False
Let d(r) = 8*r**2 + 10. Let z be (-4)/(-7) - (-138)/(-21). Is 13 a factor of d(z)?
False
Let q(u) = u**3 + 18*u**2 - 5*u + 14. Is q(-10) a multiple of 96?
True
Let n be (-1)/((2 - 1)/(-5)). Suppose 121 = -n*m + 636. Let a = m + -26. Is a a multiple of 20?
False
Let j(c) = -c**2 + 3*c - 3. Let h be j(2). Let d be (2 + h)/1*-43. Let u = 91 + d. Is 16 a factor of u?
True
Let m be ((-1 - -1)/3)/2. Suppose 5*c + m = 4*l - 8, -l = -4*c - 2. Suppose 0 = -b + l*u + 52, -3*u + 59 = 2*b + 2*u. Is b a multiple of 14?
True
Suppose 2*u = 5*a - 6122, u + 2*u + 1227 = a. Is a a multiple of 24?
True
Suppose -1339 = -2*j - 7*s + 6*s, s + 5 = 0. Is j a multiple of 7?
True
Let x be 13/(-65) + (-112)/(-10). Suppose 0 = x*w - 10*w - 30. Is w a multiple of 3?
True
Let h be 807/(-9) + (-6)/(-9). Let n = -21 - h. Is n a multiple of 38?
False
Suppose -j + 3 = -2, -140 = -5*o + 4*j. Does 7 divide ((-90)/(-8))/(8/o)?
False
Suppose 0 = 3*y - 4*t - 28, 4*t - 7 = 1. Let r = y - 10. Does 13 divide (17 + -4)/(r + -1)?
True
Suppose q + 9 = -3*a, -4*a + 32 = 4*q - 9*a. Suppose -138 = -q*p - 2*f, -p = f - 22 - 25. Is 2 a factor of p?
True
Let l = -1098 - -1878. Does 11 divide l?
False
Does 30 divide (23 + -2 + 3)*90/8?
True
Let z(d) = d**3 - 2*d + 55. Let h = 37 - 37. Is 10 a factor of z(h)?
False
Suppose 3976 = -49*u + 59787. Is 14 a factor of u?
False
Let k(u) be the second derivative of u**4/12 + u**3/6 - 7*u**2/2 - 6*u. Let y be k(-8). Suppose -5*b = -244 + y. Is b a multiple of 13?
True
Suppose -3*c = 5*y - 109, 5*y - 6*c + 4*c = 94. Let g be y/50 + (-1576)/(-10). Let d = g + -77. Is d a multiple of 29?
False
Let y = -21 + 18. Is -156*(0 - y/(-6)) a multiple of 13?
True
Suppose -b - 5*a = -1709, 4*b - 3*a + 1845 = 8612. Does 11 divide b?
True
Let p be (-4 + (-32)/(-4))*-3. Let k be -3*(-28)/p*-7. Suppose 4*x - 3*x = k. Is x a multiple of 7?
True
Suppose -2*p = -i - 1365, -2*p + 4*i + 1132 = -236. Does 15 divide p?
False
Suppose 3*q + 4*s = 31, 13 = 6*q - q - 3*s. Suppose -39 = q*d - 249. Does 21 divide d?
True
Let h = 864 + -2. Does 15 divide h?
False
Let z(x) = -x - 3. Let u be z(-5). Suppose -u*g + 7 + 7 = 0. Let y = 2 + g. Is 3 a factor of y?
True
Let r(l) = -14*l + 26. Let h(v) = -12*v + 25. Let m(b) = 6*h(b) - 5*r(b). Is m(-10) a multiple of 9?
False
Suppose 0 = -p + 3*x - 1 - 3, 4*x - 4 = 2*p. Suppose -h - 546 = 2*l + p*l, 3*l - h + 406 = 0. Let y = l + 212. Is y a multiple of 19?
True
Suppose 44 = -5*w - 101. Is 5 a factor of -1 + -3 + (0 - w)?
True
Let a = -1312 + 3243. Does 27 divide a?
False
Let k = -2358 - -2982. Does 18 divide k?
False
Let k(n) = n**2 - 3*n - 2. Let o(u) = -3*u - 2. Let h be o(-4). Let r = h - 4. Does 6 divide k(r)?
False
Let n(b) = -b**3 + 7*b**2 - 5*b + 17. Let j be n(7). Let q = -15 - j. Suppose -q*k + 232 = 64. Does 20 divide k?
False
Let x(z) = -52*z + 6. Is 74 a factor of x(-7)?
True
Suppose 616 = t + 3*t. Let n be (-23)/3*(-3 + 15). Let j = t + n. Does 18 divide j?
False
Let x(q) = 53*q + 307. Is x(15) a multiple of 30?
False
Suppose -f = -2*f + 3. Suppose -236*i - 13 = -237*i. Suppose 4*p - f*p = i. Is p a multiple of 4?
False
Suppose x - z + 12 + 34 = 0, -4*z = -x - 49. Let a = -22 - x. Does 14 divide a?
False
Suppose 0 = u + 4*x + 2, 10*x = 5*x + 5. Does 16 divide (u - (-230)/6) + (-2)/6?
True
Suppose -79*j = -84*j + 770. Does 64 divide j?
False
Let v(i) = i + 5. Suppose w - 2*w - 1 = g, -3*w - 5*g + 1 = 0. Let a be v(w). Is (23 - (a - 2)) + -3 a multiple of 20?
True
Let s(l) = 9*l - 15. Let a be s(7). Suppose -3*j - 5*k + 52 = -a, 5*k = -20. Is j a multiple of 16?
False
Let l = 11 - 2. Let c = -44 + l. Is 16 a factor of (-6)/21 - 2740/c?
False
Suppose 0*g - z = 2*g - 8, 4*g - 2*z = 32. Suppose g*y + 0*y - 240 = 0. Is y a multiple of 8?
True
Suppose -26*i + 5883 + 13045 = 0. Does 7 divide i?
True
Let c be 216/3*(-28)/(-6). Suppose 0 = -2*x - 140 + c. Is x a multiple of 11?
False
Let y = 6 - 2. Suppose -5*q + 234 = y*z, -3*z - 2 - 179 = -4*q. Is q a multiple of 46?
True
Suppose a + 3*i - 11 - 6 = 0, -2*a + 14 = i. Let k = 282 - 262. Is 1/a + 276/k a multiple of 7?
True
Suppose 0 = 5*m + 4*t - 1 + 3, 0 = 2*m + 5*t + 11. Suppose 2*c + 4*v = 12, -v - 3*v + 20 = -m*c. Is 9 a factor of ((-1)/c)/((-7)/(-196))?
False
Suppose -17*q - 5485 = -26973. Is 26 a factor of q?
False
Suppose -33755 = 27*u - 32*u + 5*g, 0 = 2*u + 4*g - 13502. Does 13 divide u?
False
Suppose 0 = -v + 3, 12*h - 8*h - 4307 = -v. Is 35 a factor of h?
False
Suppose 3*o - 9 = -3*q + o, -5*q - 3*o + 15 = 0. Suppose 0*r - q*r = 18. Let f(h) = -6*h - 14. Does 11 divide f(r)?
True
Let l(s) = -s**3 - 2*s**2 - 2*s. Let k(f) = 11*f - 1. Let m be k(3). Suppose 3*b = -0*x - 5*x - m, -2*b = -5*x - 12. Is 8 a factor of l(b)?
True
Let d = 3 - 0. Suppose 5*k = -d*l + 181, 4*l + 0*l - 5*k = 253. Let n = l - 22. Is n a multiple of 12?
False
Suppose -12869 = -35*a + 13906. Is a a multiple of 15?
True
Suppose -10*z = -8*z - 4. Suppose z*n - 90 = 7*n. Is 1*20*n/(-8) a multiple of 6?
False
Suppose -m = -2*o + 2 + 6, 4*o - 12 = m. Suppose -12 = -p + 4*f - 0*f, 3*p - 36 = -o*f. Does 2 divide p?
True
Let g be 390/9*24/20. Let y = -29 + g. Suppose -2*i + 71 