, -3*i + 4*o + 17 = 2*i. Suppose 0*d + i*d - 120 = 0. Is 6 a factor of d?
True
Suppose 5*v = -l + 1, -l = 2*v - v - 17. Is l a multiple of 3?
True
Suppose 0*g + 2*g - 3*b = -4, 5*b = 3*g + 7. Is 21 a factor of (1/(-6)*-4)/(g/63)?
True
Suppose 25*w + 4989 = 22539. Is 39 a factor of w?
True
Is -1 + 14 + (-8 - -6) even?
False
Let y = -4127 + 5923. Is y a multiple of 33?
False
Is -3*20/6*(-1122)/85 a multiple of 11?
True
Does 42 divide (-50)/12 + 3/18 - -1691?
False
Let s(d) = 4*d**2 + 2*d - 2. Let g be s(-4). Let l(z) = -2*z + 14. Let u be l(-8). Suppose -2*i = -q - g + 19, -3*q = 3*i - u. Is i a multiple of 5?
True
Let u = -254 + 381. Let b(d) = d + 4. Let k be b(-1). Suppose k*m - u = 44. Is 19 a factor of m?
True
Let l = -44 - -36. Is (6/l)/((-13)/780) a multiple of 15?
True
Suppose 5*a = -3*c + 11601, -3*c = -14 + 23. Is a a multiple of 54?
True
Let d(q) be the first derivative of -q**2 - 5*q + 1. Let y(m) = -14*m + 34. Let i be y(3). Is d(i) a multiple of 11?
True
Let s(d) = 28*d**2 + 93*d + 12. Does 23 divide s(-8)?
False
Let q be 4 - (-4 - (0 + -3)). Suppose -o = -2*o - q. Let i(n) = -8*n + 16. Is i(o) a multiple of 16?
False
Let o be (-34)/153 + 11/9. Let q = o + -6. Is q*((-48)/15 + 1) a multiple of 3?
False
Let x = -266 - -638. Is 12 a factor of x?
True
Suppose 4*g + 8 = 0, 2*y = -7*g + 12*g + 572. Is 3 a factor of y?
False
Suppose 5*s - 7*s - 722 = -4*m, -s - 904 = -5*m. Is m a multiple of 10?
False
Suppose 2*f - 56 = -2*d, f - 115 = -4*d - 4*f. Suppose -2*j = 3*r + d, -r - 3*j = 3 + 3. Is 63*3/r*-3 a multiple of 16?
False
Suppose 25 = 5*r - 5*h, 2*h = -2*h - 12. Let n = 2 + r. Suppose 0 = 2*w - n*w + 14. Is 7 a factor of w?
True
Let q(v) = 39*v + 244. Does 22 divide q(0)?
False
Suppose b + 3*o - 61 - 6 = 0, 2*b - 126 = 2*o. Suppose -4*c - 3*t = -b, -4*c + 7*t - 2*t + 64 = 0. Does 11 divide c?
False
Suppose -7*r + 4*w = -10*r + 1312, 3*r - 1318 = -w. Is 10 a factor of r?
True
Suppose 32*b = -v + 28*b + 166, -845 = -5*v - 5*b. Is v a multiple of 34?
True
Let l(k) = -k**3 - 7*k**2 - 9*k + 8. Let r = 27 + -33. Does 16 divide l(r)?
False
Let h = -42 - -42. Suppose 5*d + o - 1006 - 495 = h, 4*d - 3*o - 1197 = 0. Is 50 a factor of d?
True
Let b be ((-308)/8)/(2/(-4)). Let c be b/14 + 2/(-4). Suppose 0 = -2*q + c*q - 72. Does 8 divide q?
True
Let h = 188 - 128. Is h a multiple of 5?
True
Suppose 15*q = 6*q + 414. Is q a multiple of 46?
True
Let h = 697 - 203. Does 19 divide h?
True
Is (-59*(-2)/3)/((-3)/(-99)) a multiple of 59?
True
Let r be -2 + 4/((-4)/3 + 2). Suppose -r*a + 9*a - 360 = 0. Does 18 divide a?
True
Suppose 0 = -3*v - 27*m + 31*m + 2397, 3*v - m - 2397 = 0. Does 17 divide v?
True
Let u = 33 - 9. Is (u/(-7))/(-4 - 492/(-126)) a multiple of 34?
False
Let k(o) = 58*o + 3850. Is k(0) a multiple of 13?
False
Let q be ((-1)/3)/(6/162). Let o be 264 + 3 + q/3. Let m = o + -176. Does 22 divide m?
True
Let j(c) = -c**2 + 9*c - 5. Let z = 14 - 7. Let x be j(z). Suppose 2*k + 0*k = 5*u + 51, -k = 3*u - x. Does 10 divide k?
False
Is (-4)/(-48) - (-4)/96*7054 a multiple of 14?
True
Let x be 0/1 - (-20)/2. Suppose 241 + 39 = x*t. Does 11 divide t?
False
Suppose -8*l - 204 = -11*l. Does 17 divide l?
True
Let q(h) = 3*h**3 - 3*h**2 - 16*h + 37. Is q(4) a multiple of 76?
False
Let k(r) = -r**2 + 3*r + 6. Let h be k(-2). Let j(q) = 6*q**2 + 12*q + 8. Does 7 divide j(h)?
True
Suppose 835 = 3*d - 182. Does 41 divide d?
False
Suppose -2*i - 32 = -4*w + 4, -2*w + 14 = -3*i. Let y be w/25*(1 + -11). Let a(p) = -p**3 - 2*p**2 + 6*p + 5. Is a(y) a multiple of 13?
True
Suppose -558 = -i + 5*c, -2*i + 14*c - 9*c + 1111 = 0. Is 23 a factor of i?
False
Let r(j) = -188*j**3 + 2*j**2 + 2*j + 1. Suppose 5*u + 5*f - 10 = 0, 1 - 11 = u - 3*f. Is r(u) a multiple of 27?
True
Let z(l) = 2*l**2 + 5*l - 17. Let r be z(-4). Let s(y) = 18*y + 10. Let w(n) = 19*n + 10. Let f(x) = -4*s(x) + 3*w(x). Is 18 a factor of f(r)?
False
Suppose -7 = -2*h + 1. Suppose -3*v + h*y + 413 = -0*v, 2*y = 8. Is 14 a factor of v?
False
Suppose 5*k = -3*g + 50, 4*k = -2*g - 2*g + 40. Is (6/k)/(6/20) a multiple of 2?
True
Let l(x) = -22*x**2 + 2*x - 4. Let v be l(5). Let k = 300 + v. Is (-20)/(-8)*k/(-10) a multiple of 13?
False
Let b be (-3)/(-6) + (-25)/(-10). Suppose -3 = -b*f - 3*r, 0*f - f - 5*r = 11. Is 4 a factor of f?
True
Let x(h) = 7*h - 10*h - 20*h**2 - 3 + 1. Let m be x(-1). Let b = m + 49. Is b a multiple of 6?
True
Let d = 1854 + -1294. Is d a multiple of 14?
True
Let p(q) = -q + 13. Let m(o) = o**3 + o + 5. Let u be m(0). Is p(u) a multiple of 4?
True
Let t = -501 - -288. Let o = 411 + t. Is o a multiple of 33?
True
Let x(y) = -149*y + 288. Is 13 a factor of x(-6)?
False
Suppose -54*c + 33619 = 9643. Does 3 divide c?
True
Suppose d = -5*o + 1720, -27*o = 4*d - 32*o - 6830. Is d a multiple of 19?
True
Suppose 3*r - 324 = 18. Is 19 a factor of r?
True
Let j = 248 + -166. Does 2 divide j?
True
Let d be -2 + 1 + 1 + 159. Let a = -645 - -647. Suppose -d = -3*q - 6*h + a*h, q - h - 60 = 0. Does 13 divide q?
False
Suppose 3*c - 12 = 36. Let b = 20 - c. Let k(z) = 8*z - 8. Is k(b) a multiple of 24?
True
Suppose -427 + 7555 = 11*u. Does 2 divide u?
True
Suppose 14*n - 2421 = -69. Does 7 divide n?
True
Let j(s) = 4*s**3 + 8*s**2 + 7*s - 4. Let l be j(-4). Is 20*(0 + l/(-25)) a multiple of 8?
True
Suppose 9*k + 26 = -1. Does 14 divide (-5030)/(-45) + k/54*-4?
True
Let f(s) = -13*s + 22. Let l be f(-18). Suppose 0 = -5*a + y + 133 + l, 4*a - y = 311. Does 26 divide a?
True
Let i be 12/6 + 57*6. Let l = 118 - i. Let b = -132 - l. Is b a multiple of 24?
False
Let p(o) = 11*o**2 - 4*o + 8. Is 22 a factor of p(-5)?
False
Suppose 445 = 2*t + 5*s, 240 = 4*t + 3*s - 643. Let y = t - 150. Is y a multiple of 22?
False
Suppose 2*o - 60 = 14. Let n(m) = -m + 5. Let s be n(3). Suppose o = s*p - 47. Is 13 a factor of p?
False
Suppose -8*r = -3*r - 565. Let t = r + -65. Does 16 divide t?
True
Suppose -2*v - 1905 = -7*v. Suppose 0 = 3*h - 5*b - 251, 0 = -0*h - 5*h - b + v. Is h a multiple of 9?
False
Let q(v) = -2*v**3 - 2*v**2 + v + 3. Let b be q(3). Is 23 a factor of 64/(-24)*b/4?
False
Suppose 4*y + 4*y - 3744 = 0. Does 4 divide y?
True
Suppose -43 = -4*j - 3*l, 38 = j + 3*l + 16. Let f be 30/7 + (-2)/j. Is ((-6)/f)/((-3)/118) a multiple of 18?
False
Let v be 570/(-12) - 3/(-2). Let u = v + 54. Is 4 a factor of u?
True
Suppose 6*q = 11*q - 115. Is q/7 + 32/(-112) even?
False
Suppose -b - 2*s + 274 = 0, b - s - 269 = -4*s. Does 20 divide b?
False
Suppose 5*q - o = -5*o - 119, -q - 11 = 4*o. Is 11 a factor of ((-5)/(-2) - 1)*(-396)/q?
True
Suppose b + 5 + 3 = 0. Let h = b - -8. Suppose h = 2*f + 3*a - 26, 4*f - 2*a - 20 = -0*a. Is f a multiple of 3?
False
Suppose 12*c - 5150 = 18610. Is 48 a factor of c?
False
Let n(g) = g**3 + 17*g**2 + 18*g - 8. Is n(-8) a multiple of 23?
False
Suppose -2*m + 4 + 6 = 0. Let z = 41 + m. Does 6 divide z?
False
Let c be (-4)/(-18) - 372/(-27). Let m = c + -31. Let l = m - -81. Is 16 a factor of l?
True
Suppose -4 = 2*k + t + 12, 0 = 5*k + 5*t + 35. Let o = 7 + k. Is ((-240)/50)/(o/10) a multiple of 8?
True
Let h = 129 - 222. Let n = h - -172. Is 16 a factor of n?
False
Let k(q) be the first derivative of -q**4/4 - 14*q**3/3 + 31*q**2/2 + 6*q - 24. Does 6 divide k(-16)?
False
Let c(l) = l. Let q(t) = -t**2 + 2*t - 6. Let j(h) = 6*c(h) + q(h). Is 4 a factor of j(6)?
False
Suppose -107 = -5*f + 158. Is f a multiple of 6?
False
Let q = -571 - -971. Does 16 divide q?
True
Let q = 13 + -20. Is 15 a factor of q/(((-7)/15)/7)?
True
Let m be 2*2/4*(-6)/(-2). Suppose -2*p - p - 21 = -m*y, y - 11 = -p. Is 9 a factor of y?
True
Suppose 2*b - 6*b = 4*c - 1616, -5*b + 5*c = -1990. Is 3 a factor of b?
False
Suppose 3*b + 10 + 5 = -4*r, -5*b - 25 = -2*r. Suppose r = -u + 18 - 3. Does 3 divide u?
True
Is 13 a factor of 8/16 + 6707/2?
True
Let z = -12 - -21. Let c(d) = 10*d - d**2 + 2*d + 1 - z. Is c(6) a multiple of 28?
True
Let x(g) = g**2 + 2*g - 3. Suppose -q = -2*y + 7, 5*y - 3*q - q = 19. Does 12 divide x(y)?
True
Let f(q) = 2 + 2*q + 0*q**2 + q**2 + 4 + q**2. Does 25 divide f(-4)?
False
Let a = 658 - 427. Is 21 a factor of a?
True
Let l = 4 + -2. Let y(h) = 4*h + 2. Let b be y(l). Suppose 12*k - 11*k - b = 0. Is k a multiple of 10?
True
Let s = 101 + 184. Is 16 a factor of 