= -60. Suppose -11*k + 6*k = -m. Is 3 a factor of k?
True
Suppose 2*i - 3 = -1. Suppose 0 = 2*g - i - 7. Suppose -g*x + 0*f = -2*f - 32, 11 = 3*x + 5*f. Is 5 a factor of x?
False
Let m = -394 + 730. Is m a multiple of 13?
False
Let w be (754 - 6/(-3))/(0 - -1). Suppose 348 = 12*p - w. Does 46 divide p?
True
Suppose 0 = 3*h - 4*h + 3. Suppose -5*x + h = -4*x. Suppose 0 = 2*w + x*w - 40. Is w a multiple of 4?
True
Suppose 11*c = 4436 - 487. Is c a multiple of 14?
False
Let z(c) = c**3 + 13*c**2 - 16*c - 3. Let h be 6/9*-3 + -12. Is z(h) a multiple of 20?
False
Let o(y) = -y**2 - 7*y + 5. Let c(n) = n - 1. Let f(i) = c(i) + o(i). Let s be f(-6). Suppose 414 = 2*h + s*h. Is 25 a factor of h?
False
Suppose -5*v + 100 = 20. Is (8 + v)*3/6 a multiple of 3?
True
Let d be (-552)/18*3/(-2). Let u = 12 + d. Does 12 divide u?
False
Suppose -4*v + 4*d - 4 = 0, 0 = 4*v + 3*d + 34 + 5. Let o be ((-1122)/(-9))/(v/(-9)). Let k = -112 + o. Is 25 a factor of k?
True
Let r be 1 - 0 - (20 - 22). Let d(i) = 32*i + 16. Is 7 a factor of d(r)?
True
Suppose i + 50 = 6*i. Let k(x) = -x + 54. Is k(i) a multiple of 13?
False
Let z(b) = -b**3 + 4*b**2 - b - 7. Let d be z(4). Let f(x) = x**3 + 10*x**2 - 10*x + 10. Let n be f(d). Is n/(-3) - 320/(-12) a multiple of 9?
True
Suppose 4*i + 317 = m, -4*m + 1208 = 11*i - 12*i. Does 7 divide m?
True
Suppose 2*a + 29 - 7 = 3*x, -x + 3*a = -5. Does 15 divide ((-2)/x*-2)/((-2)/(-540))?
True
Let i = 528 + -348. Is i a multiple of 12?
True
Let c = 17 - 11. Suppose 2*p + 0*p = 104. Is (p/c)/((-6)/(-9)) a multiple of 5?
False
Let p be 2*6/(-4)*-1. Suppose -4*r + p*q - 8 = 2*q, 5*r - q = -9. Is ((-19)/4)/(r/4) a multiple of 5?
False
Suppose 264*q - 2952 = 256*q. Is q a multiple of 9?
True
Suppose 15*q = 13*q + 192. Does 48 divide (6/14 + (-3)/(-42))*q?
True
Let v(l) = -5*l**2 - l**3 + 4*l + 5 - 3*l + 2*l**2 + 2*l**2. Let w be v(0). Suppose 0 = -2*i + w*i - 117. Is 13 a factor of i?
True
Does 16 divide -3 - (227/(-3) + 64/(-48))?
False
Let q(v) = v**3 + 7*v**2 + 10*v + 20. Let n be q(-5). Let a(l) = -2*l + 47. Is 7 a factor of a(n)?
True
Suppose h + 3*h - 8 = 0. Let m = -416 - -427. Suppose h*t = -q + 3*q + 10, q - m = -t. Does 8 divide t?
True
Let i(f) = -f**3 + 26*f**2 - 9*f - 21. Let b be i(25). Suppose 4*s = 2*x + s - 262, -3*x + s = -b. Is x a multiple of 8?
False
Does 6 divide (-22)/(-4)*180/33?
True
Suppose -12*w + 2599 = -725. Is w even?
False
Let k(x) = -x**3 - 4*x**2 + 6*x - 4. Suppose 0 = -u - 21 + 6. Let l be ((-18)/(-8))/(u/40). Is 16 a factor of k(l)?
True
Let m be (-2 + 1/2)*10/5. Is 4 a factor of (192/9)/((-2)/m)?
True
Is 7 a factor of (73 - (-6)/(-2))*5/10?
True
Let f be (-100)/(-15)*-4*3/(-10). Is 975/10*f/10 a multiple of 13?
True
Suppose -5*i = -3*c + 14 + 6, -3*c - 2*i = 8. Suppose k + c*k = -12. Is 4 a factor of 0 - (-3)/((-9)/k)?
True
Let w be ((48/(-20))/6)/(2/(-10)). Suppose w*a = -8, -4*v - 2*a = -89 + 21. Does 3 divide v?
False
Let y be ((-6)/(-4))/(14/8 + -1). Let i be (-15)/(3/(-1)) - 2. Suppose -70 = -3*h + r, y*h + i*h - 3*r = 114. Is h a multiple of 9?
False
Let s(r) = 2437*r**2 - 63*r + 64. Is s(1) a multiple of 106?
True
Let w(s) = -s**2 - 8*s - 3. Let t be w(-7). Suppose t*r - 7*r + 15 = 0. Suppose 145 = r*z - g, 3*z - 105 = -0*z - 3*g. Is 25 a factor of z?
False
Let p(u) = -8 + 17 - 6 - 4*u + 9*u**2 - 6. Does 9 divide p(-3)?
True
Suppose v + i + 45 = 0, v + 54 = i + i. Let n = 72 + v. Is 3 a factor of n?
True
Suppose -107 = -14*d - 9. Suppose 4*w = d*w - 477. Does 12 divide w?
False
Suppose -h = 5*o - 2012, -1395 = 4*h - 5*o - 9343. Is 29 a factor of h?
False
Let i(l) = 106*l**2 - 6*l + 10. Is 57 a factor of i(2)?
False
Suppose 225 - 27 = 3*n. Let c = n - 40. Does 6 divide c?
False
Let a be 2/((-2)/(-12) + 0). Let w be 3/(-9)*-1*a. Suppose s - 8 = w. Does 3 divide s?
True
Let v(p) = 6*p + 2. Let b be v(2). Let t be (-10)/35 + 30/7. Suppose -b = -l - t. Is l a multiple of 10?
True
Let x be ((-28)/10)/(19/(-570)). Suppose 5*q - 93 = -g, -3*q = q - 4*g - x. Is 4 a factor of q?
False
Let k(r) = 15*r**2 + 7*r - 20. Let y be k(-7). Suppose m + 149 = 2*c - 295, -3*c + y = 3*m. Is 34 a factor of c?
False
Let m = 1 + 3. Let q(x) = 36*x - 5. Is 30 a factor of q(m)?
False
Let w(y) = 11*y**2 + 3*y + 16. Is w(13) a multiple of 58?
True
Suppose -4*q - 22 = -5*n, 7*q - 38 = -5*n + 3*q. Is n/(5/(-135)*-3) a multiple of 9?
True
Is 22 a factor of 84/(-3)*24*7/(-98)?
False
Let w(j) = 25*j + 5. Let c be w(2). Let i be (-16742)/c - (-6)/(-10). Is 25 a factor of -3*i/15 + 3?
False
Let i(q) = 14*q**2 - 18*q - 52. Does 69 divide i(18)?
False
Suppose 4 = 2*z - 16. Is 19 a factor of -5*((-88)/z - 2)?
False
Let j = -3 - 5. Let s(g) = -g**2 - 10*g - 7. Let q be s(j). Let p = q + -3. Is 2 a factor of p?
True
Suppose 0 = 10*q - 6*q + 164. Let p = 51 + q. Does 5 divide p?
True
Let h(y) = 21*y**2 + 47*y + 2. Is 93 a factor of h(-11)?
False
Let d(r) = -r**3 + r**2 + 1. Let h(q) = -4*q**3 + 12*q**2 - 6*q + 7. Let w(z) = 5*d(z) - h(z). Let v be w(-8). Let a = -2 + v. Is a a multiple of 3?
True
Suppose 3*h - 4*y - 5 = -0*y, h + 5*y = 27. Let w = h - 1. Suppose -w = -5*z + 14. Is z a multiple of 4?
True
Let o = -233 + 365. Suppose -6*a + o = 24. Is a a multiple of 5?
False
Suppose -39*w + 62490 + 21828 = 0. Is w a multiple of 44?
False
Let l = -13 - -19. Suppose 166 = l*k - 38. Does 18 divide k?
False
Let a be 2/(-4)*(-14)/7. Let y be a/3 - 835/(-15). Let p = y + -37. Does 3 divide p?
False
Let a = -111 + 60. Does 2 divide 1088/a*6/(-4)?
True
Let a be (-149 - (-4 - -4))*-1. Suppose -3*w + 79 = -a. Is 19 a factor of w?
True
Suppose -5*f - 168 = -2*a + 95, 375 = 3*a - f. Suppose -2*z + a = -k, z - 37 = 3*k + 35. Is z a multiple of 15?
True
Let c(v) = v**2 + 20*v + 19. Let z be c(-13). Let q be (z/(-14))/(-2)*-14. Suppose 3*j = j + q. Is 8 a factor of j?
False
Suppose 5*b + 1102 = 4*w, 2*w = -25*b + 21*b + 538. Is 9 a factor of w?
False
Let n(v) = v**3 + v**2 + v + 103. Let y be n(0). Let k = 151 - y. Does 16 divide k?
True
Let m = -824 + 1480. Suppose -8*l = m - 1928. Does 8 divide l?
False
Let p = 582 - 420. Is p a multiple of 18?
True
Suppose 0 = 3*h + h. Suppose 6*t - 270 = -h*t. Let k = -18 + t. Is 9 a factor of k?
True
Suppose 5 = j + 3, -343 = -d + 4*j. Suppose -5*g + 184 + d = 0. Is g a multiple of 16?
False
Let m(w) = 6*w**3 - 2*w**3 + 5*w + 2 - 4*w**3 + 4*w**3 + 2*w**2. Is 30 a factor of m(3)?
False
Let a(p) = 20*p + 12. Let q be a(5). Let i be (q - 3)*(0 - -1). Let k = -61 + i. Is 24 a factor of k?
True
Let o(k) = -k + 1. Let b(z) = -10*z + 8. Let a(l) = -b(l) + o(l). Does 5 divide a(5)?
False
Does 2 divide -16*((-1 - -3) + (-10)/4)?
True
Is 55 a factor of -1329*2/((-4)/(-8)*-6)?
False
Let f(q) = q**3 + 4*q**2 - 7*q - 6. Let x be f(-5). Suppose 9 = x*d + 69. Let b = 35 + d. Does 10 divide b?
True
Let j(n) = -n**3 - 6*n**2 + 3. Let b be j(-6). Does 19 divide (-2 - 109)*(-4 + b)?
False
Let d(m) = 3*m**2 - 3*m - 3. Suppose 3*b + 9 = 5*x - 22, 3*x = 15. Is 5 a factor of d(b)?
True
Let d(n) = -47*n - 54. Is 26 a factor of d(-10)?
True
Suppose -2*a + 12742 = 4*w, 4*a - 22126 = -5*w - 6194. Does 49 divide w?
False
Suppose 5*z + z = 750. Let t = -58 + z. Is t a multiple of 8?
False
Suppose -3*w - 13 = -4*x, -6*x = -5*x + 4*w - 27. Let f(b) = 5*b - 17. Is 9 a factor of f(x)?
True
Let u = 82 - 268. Let l = -85 - u. Suppose 4*d + 3*i = -27 + 122, 0 = -4*d - i + l. Is d a multiple of 14?
False
Let r(t) = -t**3 + 18*t**2 - 24*t + 28. Is r(11) a multiple of 41?
False
Let n = 283 - 127. Let o = -16 + n. Does 5 divide o?
True
Suppose -39*n - 19*n + 36192 = 0. Is n a multiple of 13?
True
Let x(g) = -g + 2. Let l be x(-2). Let h be 2 - l - (2 - 5). Does 16 divide h*(2 + -3) - -65?
True
Let a(f) = -2*f + 24 + 13*f - 26. Let h be a(1). Let u(d) = d**2 - 7*d + 6. Is 12 a factor of u(h)?
True
Suppose 237*p - 241*p + 784 = 0. Suppose -k - 5*u = -p, -51 = -k + 4*u + 109. Is 16 a factor of k?
True
Suppose 0 = -4*v + 84 - 0. Let n = -65 - -20. Is 12 a factor of (v/(-9) - -2)*n?
False
Let p(t) = t**3 - 18*t**2 + 4*t + 11. Let w be p(18). Let r = w + -50. Is r a multiple of 5?
False
Suppose 1052*r = 1041*r + 35475. Is r a multiple of 47?
False
Suppose d - 3349 = -5*b, -2*d + 668 = -16*b + 17*b. Is b a multiple of 6?
False
Let t(y) = y**3 - 7*y**2 + 12*y -