Suppose -p*g - 125 = -332. Is 4 a factor of g?
False
Suppose 0*q - 3*q + 2*y = -3867, -5*q - 4*y = -6445. Is q a multiple of 10?
False
Let y be (-3 + 5)/4*20. Suppose g = -y*g + 539. Does 7 divide g?
True
Let g be (-1)/(-1*1/67). Suppose -4*n + 2*n = -m - g, 5*m - n = -380. Is 18 a factor of (-3 + 4)/((-1)/m)?
False
Let i be 24 + -20 - (-1)/((-1)/(-82)). Suppose -5*k + 4*y = -203, 2*k - 3*y - y - i = 0. Is 13 a factor of k?
True
Suppose -4770 = -1657*c + 1652*c. Is c a multiple of 53?
True
Suppose 0 = -209*d + 202*d + 2800. Is d a multiple of 20?
True
Suppose 0 = -30*o + 35*o - 11950. Is 131 a factor of o?
False
Suppose 13*w - 412 = 9*w. Let d = -48 + w. Is d a multiple of 11?
True
Let u be 2/(-17) - 56790/(-85). Does 14 divide 1/4 - u/(-16)?
True
Let b(h) = -h**3 - 7*h**2 - 2*h - 8. Let o be b(-7). Suppose -o*l + 9*l = 93. Is 4 a factor of l?
False
Let d(l) = -20*l**3 - 5 + 5 - 4*l + 4*l**2 + 6*l**3 + 2. Let q be d(2). Let b = -70 - q. Is 16 a factor of b?
True
Let q be -2 - (3 + -2) - -40. Suppose -q = y - 145. Suppose -3*v - y = -6*v. Is v a multiple of 12?
True
Is (399 + 0)/((-29)/(-87)) a multiple of 16?
False
Let o = 75 + -25. Suppose d - 3 = 1. Does 9 divide 2/(-4) + o/d?
False
Let t(u) = u + 15. Let i be t(-13). Let x(v) = 21*v**2 - v + 2. Is x(i) a multiple of 17?
False
Let f be 123/9 - (-1)/3. Is 7*(-3 + 114/f) a multiple of 12?
True
Let v(u) = u**3 + 11*u**2 - 18*u + 4. Does 19 divide v(7)?
True
Suppose -19*z = -14*z - 15. Suppose -5*y - z*n + 1238 = 0, 6*y = 3*y - 2*n + 743. Does 19 divide y?
True
Let g = -27 + 39. Suppose 6*i - 2*i = g. Suppose 0 = -8*q + 45 + i. Is q a multiple of 3?
True
Suppose -7*c + 2520 = -1764. Is 36 a factor of c?
True
Suppose 5*m - 7 = -s, -4*s + 0*m = -2*m + 60. Let b be (s/(39/(-18)))/(-1). Is 16 a factor of 20 - 7/((-21)/b)?
False
Let f = 54 + 41. Suppose -f = -5*r - 3*c, 5*r - 3*c = 121 - 26. Suppose 0 = 5*p - 2*x - 95, 2*p - p - r = -4*x. Is p a multiple of 5?
False
Let b(j) = j**3 + j**2 + 322. Let d be b(0). Let y = -190 + d. Is y a multiple of 29?
False
Suppose -3*m + 9*m - 168 = 0. Let k = -9 + m. Is 9 a factor of k?
False
Suppose z + z - 290 = 0. Suppose 12*s = 13*s + z. Is s/(-7) - 6/(-21) a multiple of 9?
False
Suppose -3*y = -j - 111, -2*j + 0*y = -2*y + 218. Let d = j + 158. Is 50 a factor of d?
True
Let r = 31 - -119. Suppose -4*w = -w + r. Let h = w - -75. Is h a multiple of 10?
False
Let h be (-10)/25 + 34/10. Suppose -h*g + 12 = 0, -5*i - 5*g = -2*g - 57. Does 9 divide i?
True
Let v = -1053 + 1553. Does 15 divide v?
False
Let d be (-4)/8*(-2 + -4). Suppose 5*j + v = 98, -3*j - 2*v = -d*v - 62. Is j a multiple of 10?
True
Let y(p) = -p**2 - 8*p + 3. Let h be y(-9). Does 19 divide 3*(0 - h) - -1?
True
Let o(b) = -b**2 + 11*b - 4. Let m = -27 - -12. Let t be 1 - 2 - (m + 4). Is 3 a factor of o(t)?
True
Suppose -2874 = -2*k + p, 2*p = 17*k - 14*k - 4313. Is 35 a factor of k?
True
Suppose 0 = 3*m - 6*m + 5*m. Does 12 divide (-142 + 24)*(m + -2 - 0)?
False
Let t = -48 - -46. Does 9 divide (15/(-6) - t) + 956/8?
False
Is ((-3)/(-4))/(6/264) - 0 a multiple of 8?
False
Suppose 90*r - 98*r + 30624 = 0. Is 87 a factor of r?
True
Let w(n) = 3*n**2 - 5*n - 4*n**2 - 1 + 0*n**2 - 3. Let i be w(-4). Let a(q) = -q + 5. Is 5 a factor of a(i)?
True
Suppose p = 366 + 222. Suppose 1 = -z + 3, 4*z = 4*y - p. Does 32 divide y?
False
Let a be (-6)/(-8)*12/9. Is 6 a factor of (18/2)/(a/2)?
True
Suppose x + 3*x = -2*s + 568, x + 578 = 2*s. Does 16 divide s?
True
Suppose -3*m + 11*m - 3016 = 0. Is m a multiple of 29?
True
Let t(k) = k**3 - 9 + 2*k**3 - 7*k**2 - 2*k - 4*k**3 + 0*k**3. Let y be t(-7). Suppose 24 = y*i - 2*i. Is 3 a factor of i?
False
Suppose 0 = -4*u + 102 - 182. Let z = u + 65. Does 9 divide z?
True
Let v = 18 + -11. Suppose -2*g + 13 = v. Suppose 4*o - 42 = -2*f + 10, -g*f + 58 = 2*o. Is f a multiple of 4?
True
Let h(g) = -g**3 + 12*g**2 + 9*g - 19. Is h(10) a multiple of 6?
False
Suppose -l = -6*l + 15. Let n(r) = 3*r - 6. Let s be n(l). Suppose -i = -4*t + 62, t = -2*t - s*i + 54. Does 4 divide t?
True
Let k = 20 - 14. Let b be (k + 8)*(-7)/(-2). Let c = -21 + b. Is 9 a factor of c?
False
Let u(n) = 2*n + 5. Let a be u(-2). Let w be (2/2 - -1) + a. Suppose 343 = 5*x - 4*y, -2*x + 5*y + 340 = w*x. Is 18 a factor of x?
False
Suppose -4123*a + 4131*a - 1512 = 0. Does 27 divide a?
True
Let r(a) = 66*a - 48. Is r(12) a multiple of 22?
False
Let s = 16 - 36. Let o(c) = c**3 + 22*c**2 + 35*c + 12. Is o(s) a multiple of 8?
True
Let h = -1742 + 3530. Is h a multiple of 29?
False
Let u be (-42)/(-4) - 5/(-10). Let k(t) = t**2 - 6*t - 12. Is 16 a factor of k(u)?
False
Let r = 23 - 3. Let y = r - 9. Let o = y + -5. Is o a multiple of 4?
False
Let r be ((-20)/(-15))/((-2)/18). Let q = r - -12. Suppose -8 = -q*p - p. Does 6 divide p?
False
Let w = -35 + 52. Suppose 882 = w*v - 10*v. Is v a multiple of 7?
True
Suppose 25*f + 2*v = 21*f + 2014, -3*v = -9. Is f a multiple of 7?
False
Let b(h) = h**2 + 13*h + 10. Let a be b(-9). Let v = -11 - a. Suppose -5*m = v, -23 = -0*s - 5*s - 4*m. Is 6 a factor of s?
False
Let z(s) = 2*s**3 - 16*s**2 + s + 20. Is 14 a factor of z(8)?
True
Let h be (-6)/2 + 97 + -24. Let r = 82 - h. Is 3 a factor of r?
True
Suppose -5*o = -6*o + 4. Does 10 divide (2506/21 - 4) + o/6?
False
Let m be (-3 + 4)*4/8*-4. Is 20 a factor of ((-6208)/20)/(-2) - m/(-10)?
False
Let s(m) = m. Let c be s(3). Let v be 0/(1 - -1 - c). Does 27 divide (v - (79 + 2))*-1?
True
Is (-340)/(-4) - (5 + 0) a multiple of 12?
False
Let b be (-4)/8*(-1460 - 8). Suppose -3*g + 10 = 2*g, 3*y + g = b. Is 17 a factor of y?
False
Let q(u) = 53*u + 15. Let h be q(-9). Is 20 a factor of 4/42 + (-27676)/h?
True
Suppose 2*p + 267 = 5*p. Suppose -q + p - 36 = 0. Suppose q = 5*a - 17. Is 7 a factor of a?
True
Let v = -582 - -876. Is v a multiple of 10?
False
Let p be ((-209)/22 + 1*3)*2. Does 9 divide 2/13 - 960/p?
False
Let y = 6 - 0. Let u = 8 + -8. Does 24 divide (1 + 11)*(y + u)?
True
Suppose 56*o + 105 = 51*o. Let f(n) = -n**2 + 5*n + 3. Let g be f(5). Let s = g - o. Is s a multiple of 24?
True
Is 1176/9 - (6/9 - 2) a multiple of 4?
True
Suppose r + 6*r = 0. Suppose -2*x + 4*x - 60 = r. Suppose 5*f - 350 = x. Is 38 a factor of f?
True
Let h = -343 + 776. Is h a multiple of 68?
False
Let y(z) = z**2 + z - 4. Let c be y(-4). Let g = -5 + c. Suppose 3*v - 5*v - 10 = 0, -g*n + 65 = -v. Is n a multiple of 10?
True
Let x = -55 - -58. Suppose 0 = 2*k - 7 + x. Does 2 divide k?
True
Let l = 2882 - 1002. Is 8 a factor of l?
True
Let s(u) = -u**2 + 3*u + 138. Let q be s(0). Suppose 5*z - 4*z = q. Let t = -94 + z. Is t a multiple of 18?
False
Suppose -9*x + 2*x = -35. Suppose -45 + x = -5*y. Is y a multiple of 2?
True
Suppose 4*l - 93 = -5*q, -q + 3*l + 4 = -7. Is -30*6/4*(15 - q) a multiple of 15?
True
Let a = -54 + 88. Let c = a - 18. Suppose 2*g + c = 4*g. Is g a multiple of 3?
False
Suppose 16*z + 15*z - 2387 = 0. Does 2 divide z?
False
Suppose 526 = y - 3*n, -20*y + 23*y - 1557 = 2*n. Is 10 a factor of y?
False
Let d(x) = 413*x**2 - x + 1. Let k be d(-1). Suppose -7*q = -12*q + k. Does 12 divide q?
False
Suppose -2*b = 15 - 29. Suppose 0 = b*o - 2*o - 210. Does 6 divide o?
True
Suppose -4*i = -3*x + 148 + 792, 0 = -4*x + 4*i + 1252. Suppose 20 = -2*d - z + 174, 4*d + 3*z = x. Is d a multiple of 12?
False
Suppose -2*o = -4*o - 12. Let j be (-3)/o - 2/(-4). Is j - (1 + -3) - -15 a multiple of 6?
True
Let v = 75 - 38. Suppose 4*r + 183 = -v. Let k = r + 100. Does 9 divide k?
True
Let o = -377 - -888. Does 23 divide o?
False
Let x be (-4 + (4 - 0))/(0 - -1). Suppose 5*r - 352 = -9*i + 5*i, i + 2 = x. Is 9 a factor of r?
True
Let u = -148 - -208. Let k = u - 11. Is 14 a factor of k?
False
Suppose 13*y + 1183 = -0*y. Suppose 230 = -5*r - 470. Let j = y - r. Is j a multiple of 24?
False
Let m be (-7)/(77/(-398)) - (-6)/(-33). Suppose 236 + m = 2*v. Is 42 a factor of v?
False
Let u(q) = 2*q**2 + 22*q + 14. Let y be u(-10). Let w(g) = -14*g - 14. Is 7 a factor of w(y)?
True
Let z be ((-145)/10)/(2/(-4)). Let m(a) = -a**3 - 6*a**2 + 4*a - 10. Let r be m(-7). Let j = z - r. Is 18 a factor of j?
True
Suppose -4*a = 3*r + 147, 0*a + a + 38 = -2*r. Does 5 divide (10/6)/((-2)/a)?
True
Suppose y + 0*b = -5*b - 53, 4*y - 5*b = -212. Let j = y