*2 - 5*g - 2. Let o be l(d). Suppose 3*s - 50 = -0*t + t, 0 = -4*t + o. Does 12 divide s?
False
Suppose 17 = v - 13. Let j = v + -27. Suppose 2*s = 4, 7*s - 154 = -j*t + 2*s. Does 16 divide t?
True
Does 30 divide (-170)/(-765) - (-53726)/18?
False
Let d(n) = n + 11. Let w be d(-8). Suppose -i + 20 = w*i - 4*q, -i = 3*q + 3. Suppose 3*a - 9 = i, 2*a - 59 = -3*s. Does 14 divide s?
False
Let d = 14 + -14. Suppose -v + 2*v = d. Suppose v*l - 108 = -4*l. Is 27 a factor of l?
True
Let k = -4 - -6. Suppose -2*g = -0*g - k. Is 1 - -13 - (-5 + g) a multiple of 9?
True
Let l(d) = -d**3 - 9*d**2 + 17*d - 27. Is l(-11) a multiple of 4?
True
Let r be (11 + 1)*((-2)/(-4))/1. Suppose -r*u + 274 = -692. Is 19 a factor of u?
False
Suppose 14*i + 8*i = 1254. Does 6 divide i?
False
Let j be 189/(-6) - 2/(-4). Let l = 1 - j. Does 8 divide l?
True
Suppose -4*p = -1904 - 576. Is 20 a factor of p?
True
Let i(k) = 5*k**2 - 5*k + 138. Does 3 divide i(10)?
True
Suppose 0 = -136*f + 140*f - 576. Is f a multiple of 18?
True
Suppose 0 = k + 4*k + 25, -m + 466 = 2*k. Does 25 divide m?
False
Let v(b) = -b**2 + 20*b + 47. Let z be v(22). Suppose -z*q + 3 = 0, 3*h - 42 = 5*q + 103. Is h a multiple of 5?
True
Let v(h) = -h**2 + h - 1. Suppose 5*o - 2*o = 0. Let k be v(o). Is 13 a factor of ((-4)/10)/(k/105)?
False
Does 23 divide 45*(23 - (-12 - -12))?
True
Let f(r) = r**3 + r. Let j = -2 + 5. Is 6 a factor of f(j)?
True
Let x(j) = -j**3 - 7*j**2 + 8*j. Let v be x(-8). Let y = -109 + 113. Suppose -2*a + v*a - 255 = -5*k, 204 = y*k + 2*a. Is k a multiple of 17?
True
Suppose 78*g = 79*g - 101. Let z = g - 84. Is z a multiple of 12?
False
Suppose 9*l = 14*l - 1240. Let o = l - 140. Does 16 divide o?
False
Suppose 6*t = 4*o + 2*t - 20, -4*t = 4*o - 4. Let h(v) = 21*v - 7. Does 8 divide h(o)?
True
Suppose 174*d = 163*d + 20405. Is 53 a factor of d?
True
Suppose -6*p = -0*p - 24. Suppose p*z - 5*z = 0. Suppose z = 3*f + 5*n - 82, -5*f - 4*n + 140 = -1. Is 18 a factor of f?
False
Let o = 1 + 376. Does 12 divide o?
False
Suppose -6*r + 15*r - 1593 = 0. Let g = 306 - r. Is 25 a factor of g?
False
Let k be 1 - 15/(6/(-2)). Suppose 30 = -c + k*c. Does 2 divide c?
True
Let n(o) = o**3 + 3*o**2 - 23*o - 1. Is 38 a factor of n(5)?
False
Let w be (4/(-8))/((-1)/2). Suppose -5*j - 2*a = -7, -5*j - 2 = 4*a - w. Suppose -3*u - 27 = -j*x, 2*u - 42 = -4*x - 0*u. Does 5 divide x?
True
Does 4 divide 5 - ((-10 - -5) + -362)?
True
Let m be (2 - 4/3)*21. Let w be 21/m*14/3. Let o = 34 - w. Is 9 a factor of o?
True
Suppose -17 = -4*d + 3*x, 1 = -x - 2. Let a be ((-3)/2)/(1/(-58)). Suppose 0 = 5*o - 2*m - a, -m - d + 1 = 0. Is o a multiple of 13?
False
Let f(b) = -b**3 + 8*b**2 - 6*b + 2. Does 3 divide f(4)?
True
Suppose 4*a + a - 10 = 0. Suppose a*n - 66 = -4*n. Is 12/(-66) - (-101)/n a multiple of 4?
False
Is 55 a factor of 6 - (-1715 - (-27)/(-3))?
False
Suppose 33 = -5*k + u, -4*u - u = 10. Let d(q) = -3*q + 9. Let o be d(k). Suppose -2*y + 12 = s - 6*s, 0 = -5*y - 2*s + o. Is y a multiple of 3?
True
Suppose -15*x = -11*x. Suppose 4*l - 3*l - 29 = x. Does 29 divide l?
True
Let w be (4/(-5))/(4/70). Let a(k) = k**3 - k**2 + k + 108. Let l be a(0). Does 12 divide (l/w)/((-3)/14)?
True
Let p(x) = 13*x**2 + 8*x - 18. Let h be p(2). Let o be 1*(0 + -25) + 1. Let u = o + h. Does 9 divide u?
False
Is 77 a factor of 677568/400 + (-2)/(-25)?
True
Let l be (-68)/16 - (-3)/12. Is 23 a factor of (1 - -10)/(l/(-36))?
False
Let c = -113 + 224. Suppose 0 = z - c - 71. Is 10 a factor of z?
False
Let m be (-3)/9 - (-92)/6. Let o be -2*m/(-12)*6. Is 8/(-6) + 380/o a multiple of 9?
False
Let f(s) = -4*s - 12. Let d be f(-3). Let k(i) = 2*i**3 + i**2 - 1. Let r be k(1). Suppose d*b - r*b = -20. Does 5 divide b?
True
Let x(i) = -i - 3. Let a be x(-5). Let o = a - -16. Let s = 31 + o. Is s a multiple of 13?
False
Let q = 193 - 88. Is q a multiple of 7?
True
Let h be -18*(-3 - 8/(-3)). Suppose -7 = -h*l + 797. Is l a multiple of 13?
False
Let r = 689 + -66. Let x = r - 351. Is x a multiple of 35?
False
Let t be 3/((-2)/(12/(-9))). Let p(q) = q + 1. Let v be p(2). Suppose -95 = -t*d - v*d. Is d a multiple of 11?
False
Let s(l) = 4*l**2 - 4*l + 1. Let i be s(3). Suppose -5*z + 4*z + 26 = 0. Suppose 0 = q - z - i. Is q a multiple of 18?
False
Let a be (5/(-15))/((-3)/36). Suppose -4*d - r + 202 = -6*r, -2*r = -a*d + 196. Is d a multiple of 24?
True
Suppose 0 = 4*z - 3*z - 3. Suppose -514 = -4*w + 5*y - z*y, 511 = 4*w - 3*y. Is 13 a factor of w?
True
Let h(b) = 35*b + 185. Is h(57) a multiple of 20?
True
Suppose 3*m + m = 2*v + 728, 910 = 5*m - 5*v. Is m a multiple of 69?
False
Let r(x) = x**2 + 2*x - 5. Let l be r(2). Let b = 66 + l. Does 7 divide b?
False
Let m be (-7)/42 - 326/(-12). Suppose 0 = 8*o - m - 197. Is 28 a factor of o?
True
Let h = 1725 + -1196. Is 23 a factor of h?
True
Let s = -459 - -1520. Does 50 divide s?
False
Let d(o) = o**3 - 3*o**2 - 3*o - 2. Let j be d(4). Suppose j = 9*h - 8*h. Let l(s) = 6*s - 5. Is l(h) even?
False
Let d(m) = 2*m - 16. Let h be d(7). Let y be 665/14 - (-3)/h. Let z = y - -14. Is 20 a factor of z?
True
Let w(o) = 44*o - 724. Is 41 a factor of w(57)?
False
Does 17 divide (34918/(-52))/((-1)/6)?
True
Let c(i) = -8*i**2 + 4*i + 10. Let j(y) = 7*y**2 - 3*y - 9. Let k(a) = 6*c(a) + 7*j(a). Let b be k(4). Let l = 72 - b. Does 9 divide l?
False
Let h(b) = 66*b**2 - 31*b + 7. Is h(-4) a multiple of 45?
False
Let b(j) = -3*j - 8 - 42*j**3 - 6*j + 43*j**3 + 7*j**2. Let w be b(-8). Suppose 0 = -u - w + 18. Does 16 divide u?
False
Suppose 31*p = 34*p - 105. Suppose -7*m = -2*y - 2*m + p, 0 = -y - 4*m + 24. Does 4 divide y?
True
Suppose -3 = -l + 1. Suppose -5 - 3 = -l*s. Is 5 a factor of (9 - (-3 + 2))/s?
True
Let g = -38 - -296. Is 43 a factor of g?
True
Suppose 5*o + u = 8, -3*o + 10 = -4*u + 2*u. Suppose -o*w - 2*w = 120. Is ((-16)/3)/(4/w) a multiple of 8?
True
Let y = -165 + 187. Is 4 a factor of y?
False
Let d be 73 + 3 + (-12)/(-3). Suppose -3*m - 25 = 2*m, -4*l + 4*m = d. Does 17 divide (3/(-15) + -1)*l?
False
Let o(m) = m + 4. Let q be o(0). Suppose -129 = -q*d - r, 3*r + 114 = 3*d - 2*r. Does 5 divide d?
False
Let s = 54 + -51. Suppose s*d - 34 = 71. Does 7 divide d?
True
Suppose u + 6 = 2*a, -2*a - 5*u + 35 = a. Suppose -5*j = -13 + 3, -5*d + 50 = -a*j. Is d a multiple of 5?
False
Suppose 2*l - 36 = 2. Let k(y) = 1 + y**2 + 9 - l*y + 6*y + 0. Is k(14) a multiple of 5?
False
Suppose -5*t - 64 = -74. Let g be -1*2 + 7 + -2. Suppose 22 = t*q - 2*x, -4 - 26 = -g*q + 2*x. Does 4 divide q?
True
Let f(g) = 3*g + 1. Let y be f(6). Suppose y*l = 16*l. Suppose w + 5*t = 24, 2*w + 0*t + t - 30 = l. Is 5 a factor of w?
False
Let g(y) = y**3 + 10*y**2 + 11*y - 4. Let d be g(-8). Let o = d + -30. Suppose o*n = n + 135. Is 22 a factor of n?
False
Let a = 7 - 6. Suppose 21 = y - 5*w, -5*w - 23 = 5*y - 68. Suppose -x = -a, -f + x = f - y. Does 3 divide f?
True
Suppose -17*z = -13*z - 596. Let o = 492 - z. Is 49 a factor of o?
True
Suppose -4*d - 58 = -4626. Is d a multiple of 74?
False
Suppose -14*d = 293 - 797. Is d a multiple of 36?
True
Suppose -2*q = -0*i - 4*i - 1638, 0 = i + 3. Is q a multiple of 98?
False
Suppose 0 = 14*u - 19*u + 945. Let s = -135 + u. Is 25 a factor of s?
False
Suppose -4*k = -3*r + 4*r - 12, -5*k + 48 = 4*r. Let b be (-8)/r*(2 - 8). Suppose -5*u = -4*q + 217, b*q - 3*u - u = 220. Is 17 a factor of q?
False
Let u(w) = -5*w**3 - 15*w**2 - 35*w + 40. Does 38 divide u(-6)?
False
Suppose 14*t + 2*o + 109 = 15*t, 4*t - 452 = 4*o. Is 6 a factor of t?
False
Let o(f) = 52*f - 27. Let n(k) = k**2 + k - 27. Let h be n(5). Is o(h) a multiple of 10?
False
Suppose -3*b + 4 + 5 = 0, 0 = -i + 5*b + 173. Is i a multiple of 9?
False
Suppose 3*v - 6563 = -5*w, w - 6*v = -5*v + 1311. Is w a multiple of 12?
False
Suppose -364 = -2*c - 2*p, -4*p = -5*c + 453 + 502. Let u = 359 - c. Is 29 a factor of u?
False
Let o be 1/(3 - (-8)/(-3)). Suppose 0*b = -o*b. Suppose b = -2*f + 4*f - 172. Is f a multiple of 22?
False
Let o = 19 + -17. Suppose -o*t = 2*d - 14, 5*t - t - 25 = -5*d. Is 2 a factor of t?
True
Suppose 4*q + 4 = 4*t, -5*t - q - q = 2. Does 18 divide (72/2)/(-2)*(t - 2)?
True
Let f = -367 + 530. Let y = f - 100. Is (8*1)/(14/y) a multiple of 9?
True
Let m be (-28)/(-7) - (-8)/(-2). Supp