02 - (1 - s)/(-1). Suppose -4*w + w + d = 0. Is w a multiple of 9?
False
Suppose -4*r + 26 = -2*i, -4*r + 9*r - 30 = 3*i. Suppose 4*b - 24 = 28. Suppose b*m = r*m + 80. Is 14 a factor of m?
False
Suppose 0 = -12*b + 13*b. Suppose 2*w + 3*l - 486 = b, 0*w - 4*w - l = -982. Is 57 a factor of w?
False
Suppose 0 = -2*y, 89 - 713 = -3*u + 4*y. Is 16 a factor of u?
True
Let i(l) = l**3 - 13*l**2 - 4*l - 11. Let j be i(14). Let f = -90 + j. Does 20 divide f?
False
Let c(u) = u**2 + 13*u + 5. Let i be c(-8). Let v = -33 - i. Suppose v*r - 3*r + 114 = 0. Is r a multiple of 35?
False
Suppose 14*b = 17*b. Suppose b = -11*g + 9*g + 44. Is g a multiple of 3?
False
Is (-23)/(((-75)/130)/15) a multiple of 13?
True
Let g = 118 + 502. Is g a multiple of 6?
False
Suppose 4*a - 1872 = -4*x, -4*x + x + 460 = a. Does 53 divide a?
False
Does 7 divide 3 + 844/1*(0 + 1)?
True
Let f = -37 - -41. Is 400/14 - f/7 a multiple of 14?
True
Let h be -1 + 39 + (-4)/(-2). Let a be (h/12)/(4/6). Is (-1135)/(-25) - 2/a a multiple of 15?
True
Let z(u) = -39*u**3 + 5*u + 7. Let o(v) = -78*v**3 + 11*v + 15. Let w(a) = 6*o(a) - 13*z(a). Let r be w(1). Let g = 67 - r. Does 14 divide g?
True
Let p be 12/30 + (-233)/5*-1. Let q = 8 - 3. Suppose q*t - 8 - p = 0. Is t a multiple of 11?
True
Let i(j) = -j + 3*j - 2 + 0 - 6*j. Is i(-15) a multiple of 29?
True
Is 11 a factor of 27 + 0 - -5*1?
False
Let x = 480 + -682. Let j = 0 - x. Suppose 3*s - 5*z = 169, j = 4*s - 0*z - 2*z. Is 24 a factor of s?
True
Let g(b) = -24*b**3 + 2*b**2 + b + 25*b**3 + 1 - 2*b**2. Let d(k) = -7*k**3 + 4*k**2 + 2*k - 3. Let w(z) = d(z) + 6*g(z). Is 5 a factor of w(5)?
False
Suppose 0*p + 2*p - 4*v = 2862, v = -4*p + 5715. Is 13 a factor of p?
False
Suppose 3*s = 12*s + 1026. Let x = 238 + s. Does 36 divide x?
False
Let b be -1*((-64)/2 - 1). Let n(j) = -4*j**3 - j**2 - j - 1. Let f be n(-1). Suppose f*z + b = 6*z. Is 3 a factor of z?
False
Let h(y) = 6*y + 1. Let i(q) = -q + 1. Let z(u) = h(u) - 2*i(u). Let a be z(-1). Let o = 1 - a. Does 5 divide o?
True
Suppose -g = l - 171, -g - 657 = -5*g + 5*l. Suppose -10*o = 2*o - g. Is o a multiple of 2?
True
Let x(u) = u**2 + 3*u + 4. Let y be x(-5). Let k = y + -2. Is 12 a factor of k?
True
Let y(o) = o**3 + 3*o**2 - 5*o + 1. Suppose 2*w + 0*w = -8. Let t be y(w). Let u(s) = -s**3 + 7*s**2 - 7*s - 1. Is 11 a factor of u(t)?
False
Let m(b) = 12*b - 160. Is 16 a factor of m(19)?
False
Let x = 279 + -87. Suppose -x = -a - a. Does 12 divide a?
True
Let y be 383 + (-2 - (0 - -1)). Let l be (y/(-50))/(1/(-5)). Suppose 5*r + 4*d - l = 82, -d = 5*r - 135. Does 14 divide r?
True
Suppose -4*d = -3*d - 4. Let k(r) = 6*r**2 + 2*r - 1. Let b be k(-2). Suppose -x + 0*x = 5*m - b, -m = d*x - 38. Is x a multiple of 9?
True
Is 37 a factor of (78/2 - 0) + 100/(-50)?
True
Suppose -3 = f - 30. Suppose -t = -2 - f. Suppose t + 19 = y. Is y a multiple of 24?
True
Is 3/(-15) + (-2016)/(-30) + 3 a multiple of 10?
True
Let b = 14 + -14. Let o be -1 - -4 - b/3. Suppose -225 = o*p - 8*p. Does 9 divide p?
True
Let m = 23 + -105. Let y = -42 - m. Let j = y + 23. Is j a multiple of 21?
True
Suppose -7027 = -10*r + 12193. Is 28 a factor of r?
False
Suppose -12*v + 4365 = -5427. Is v a multiple of 48?
True
Suppose -7*u + 3*q - 2388 = -9*u, -3*q + 3588 = 3*u. Does 22 divide u?
False
Suppose 0 = 3*c + 23 + 43. Let i = 83 + c. Is 13 a factor of i?
False
Suppose -787 = 30*p - 3307. Is 6 a factor of p?
True
Let j be ((-180)/40)/(3/(-4)). Let v(x) = -x**3 + 8*x**2 - 10*x - 8. Let d be v(j). Suppose d*c + 5*h = 3*c + 41, -3*c = 4*h - 79. Is c a multiple of 21?
True
Suppose 4*x - 95 = 577. Does 24 divide x?
True
Let u = 1105 - 762. Let s = u + -190. Does 14 divide s?
False
Suppose -g = 4*f - 15, 0 = 3*g + 3*f + f - 5. Let r be ((-30)/g)/((-6)/4). Is (-2912)/(-49) - r/7 a multiple of 15?
True
Suppose 2*l + 312 = 6*l. Is l a multiple of 39?
True
Let f(r) = 175*r**2 + 13*r + 3. Is 16 a factor of f(-2)?
False
Is (8808/(-40))/((-5)/25) a multiple of 72?
False
Let w = -1534 + 2270. Is w a multiple of 32?
True
Let t be (-4)/(-22) - 0 - 1932/(-506). Is 15*((-22)/(-6) - t)*-15 a multiple of 20?
False
Let n be ((-14)/(-4))/(-1*(-3)/(-6)). Let w(p) = p**3 + 10*p**2 + p + 6. Does 14 divide w(n)?
False
Suppose -139 = -3*b + 170. Suppose -3*h - 37 + b = 0. Suppose -2*i + 5*i - y - 53 = 0, 0 = -i - 4*y + h. Is i a multiple of 18?
True
Let s(q) = 2*q**3 - 20*q**2 - 52*q - 15. Is 13 a factor of s(18)?
False
Let z = -13 - -19. Suppose -5*k + k + z = -f, -k - 5*f + 12 = 0. Suppose p = 2*w - k*p - 44, -51 = -3*w - 3*p. Is 3 a factor of w?
False
Suppose i - 12*i + 3333 = 0. Is 6 a factor of i?
False
Let u(a) = -2*a + 0 + 1 - 5. Let h be u(-4). Suppose h*p = 5*z + 229, 4*p - 2*p - z - 119 = 0. Is p a multiple of 19?
False
Let i(x) = 60*x**2 + 5*x - 33*x**2 + 4 + 2*x**3 - 31*x**2. Does 22 divide i(4)?
True
Let h be (-2)/((-7)/(189/6)). Let j = 49 + h. Is j a multiple of 20?
False
Suppose 116*d - 3000 = 101*d. Is d a multiple of 6?
False
Is (2/(-3))/((-4)/(-6912)*-3) a multiple of 32?
True
Let u(c) = c**3 - 15*c**2 + 19*c - 21. Let x = -21 + 35. Is u(x) a multiple of 5?
False
Suppose 0 = -4*r + 2*z - 46, -3*z - 9 + 0 = 0. Let x(h) = -3*h + 7. Let v be x(r). Is 12 a factor of (v/(-2))/(2 - 3)?
False
Let a(t) = 46*t + 13. Let d be (-34)/(-17) + 0/1. Is 7 a factor of a(d)?
True
Suppose v = 4*i - i + 59, 4*i = -3*v - 70. Let r = 26 + i. Let a = r - -8. Is 15 a factor of a?
True
Let c(w) = 5*w**2 + 6*w + 13. Suppose 4*k + 10 = -2. Is 8 a factor of c(k)?
True
Let b = -13 + 18. Suppose -3*a = 4*r - 3*r - 10, -b*a = -5*r - 50. Let j(x) = 2*x**2 + 6*x - 4. Does 5 divide j(r)?
False
Let n(b) = 78*b**3 + b**2 - 5*b + 3. Let x be n(-3). Does 11 divide x/(-36) - 6/8?
False
Does 43 divide ((-136)/(-102))/((-1)/(-483))?
False
Let k = 179 - 101. Suppose b + b = k. Let s = -19 + b. Does 5 divide s?
True
Let m(r) = 9*r**2 - 86*r + 16. Is m(15) a multiple of 16?
False
Let c(s) = 11*s**3 + 17*s**2 - 23*s + 13. Let j(z) = 5*z**3 + 8*z**2 - 11*z + 6. Let b(x) = 6*c(x) - 13*j(x). Does 10 divide b(4)?
False
Let z(g) = 24*g**3 - g**2 + g - 2. Let n be z(2). Suppose -4*a + n + 436 = 0. Is a a multiple of 39?
True
Suppose 2*x + x = 186. Let n = 191 - x. Does 9 divide n?
False
Let u(s) = 2*s**2 + 47*s - 32. Is 11 a factor of u(-28)?
True
Does 40 divide -1282*(7 - 60/8)?
False
Suppose -16*x = -13*x - 5064. Is 97 a factor of x?
False
Suppose 3*a = -0*a + 15. Suppose -3*p = 0, -8*l + 4*l + 8 = -a*p. Suppose -195 = -f - l*f. Does 13 divide f?
True
Let p(w) = w**2 + 3*w + 18. Let u(s) = 2*s**2 + 11*s - 9. Let o be u(-7). Is p(o) a multiple of 18?
True
Let g be 6/3*-1 + 6. Suppose -5*c + 32 = 7*v - 4*v, -g*c + 20 = v. Suppose c*u = -0*y - 2*y + 72, 3*u + 2*y = 56. Is 8 a factor of u?
True
Suppose -1 + 945 = -8*d. Let n = d + 151. Is n a multiple of 2?
False
Suppose 0 = -6*b + 1779 + 2175. Is b a multiple of 17?
False
Let a(u) = -29*u - 2. Let q be a(1). Let z = q + 19. Let o = 19 + z. Is o a multiple of 7?
True
Suppose -12 = 5*i - 102. Let k = i - 14. Suppose 74 = 3*o - k*u, -u + 64 = 2*o + o. Is 7 a factor of o?
False
Suppose -3*x = -a - 1514, -3*a - 2022 = -72*x + 68*x. Does 42 divide x?
True
Let m(q) = q**3 - 9*q**2 - q + 13. Let a be m(9). Let d(u) = 3 + 2*u - 7*u - a*u. Does 21 divide d(-2)?
True
Suppose -26*y + 104205 = 26985. Is y a multiple of 33?
True
Let k(d) = d**2 - 13*d + 16. Let l be k(12). Suppose -264 = l*p - 76. Let w = p + 89. Is w a multiple of 14?
True
Suppose 0 = -k + 5, 12*k - 8*k - 1876 = -4*l. Does 13 divide l?
False
Let n be -1*2 - (-1 - 4). Let f = 4 + n. Let z = 21 - f. Is z a multiple of 12?
False
Let r(u) = -u**3 - 2*u**2 + u + 4. Let z be (16/(1 + -5))/2. Let o be r(z). Suppose 0 = -4*a + o*h + 58, -5*a + 60 = -a - 4*h. Does 9 divide a?
False
Let o(g) = 11 + 31*g - 15*g - 4 - 21*g. Does 12 divide o(-4)?
False
Is 20 a factor of (-1)/(-2*6/2724)?
False
Let m be 1939/49 + (-8)/14. Let g = -33 - -111. Is (-52)/m*g/(-4) a multiple of 26?
True
Suppose -2*k + 8 = 3*v - 18, 10 = 3*v - 2*k. Let w = v + 0. Let g = w - 0. Is 6 a factor of g?
True
Suppose -34 + 110 = 2*j. Suppose 4*y - 8 = -4*q, 4*y + y - j = 2*q. Let h = y - -45. Does 17 divide h?
True
Suppose -994 = -x + 4*g, x + 92 = 2*g + 1076. Does 43 divide x?
False
Suppose u - 9 = -4. S