 - 7*w + 16. Let u(d) = d. Let m be u(f). Is -11*((2 - 3) + m) a multiple of 33?
True
Suppose -21 = 4*u - 237. Suppose 0*z - u = -3*z. Is 4 a factor of (-3)/z - (-151)/6?
False
Let h = -75 + 76. Does 11 divide (64/(-10))/(10/(-25)) - h?
False
Let n(y) = 19*y**2 - 3*y + 3. Let w be n(4). Let p = -207 + w. Does 22 divide p?
True
Suppose 0 = 3*a - 2*k + 3 - 18, -2*a + 2*k = -12. Let l = 6 - a. Suppose -7*n + l*n + 52 = 0. Does 13 divide n?
True
Let i(t) = 4*t**2 - 8*t - 7. Suppose 3*a - 20 = 4*s + 26, a - 2*s = 18. Let v(p) = -p**3 + 10*p**2 + 2*p - 15. Let h be v(a). Is i(h) a multiple of 11?
False
Let g(f) = -37*f**3 + 5*f**2 + 3*f - 10. Is g(-2) a multiple of 25?
True
Let g(c) = 10*c**3 + 2*c**2 + 5*c - 8. Is 3 a factor of g(2)?
True
Let u(f) = 2*f**2 + 18*f + 21. Let w(t) = 2*t**2 + 18*t + 21. Let i(r) = -2*u(r) + 3*w(r). Does 10 divide i(-9)?
False
Let m be (0 - -7)*10/35. Suppose -4*a = -5*l - 266, 0 = 5*a - 0*l + m*l - 316. Is 32 a factor of a?
True
Suppose 11*l - 6000 + 423 = 0. Does 13 divide l?
True
Suppose -112 = -4*c + 3*c. Let k = c - 63. Is 13 a factor of k?
False
Let w be 24/(-6)*30/(-8). Let l = -9 + w. Let s = 17 - l. Does 10 divide s?
False
Let w be (4/6)/2*6. Suppose -4*m - w = -6. Is 64 + (2 - (m - -2)) a multiple of 21?
True
Suppose 12 = -3*i + 4*i. Let b(u) = 19*u - 32. Does 28 divide b(i)?
True
Let b(c) = 58*c**3 - 2*c**2 + 10*c - 17. Is 19 a factor of b(2)?
False
Let b(z) = -78*z + 2. Let k(a) = 39*a - 1. Let p(g) = -6*b(g) - 11*k(g). Does 16 divide p(3)?
False
Let k = 311 + -103. Does 13 divide k?
True
Suppose 0 = -5*d - 3*g + 9078, 3*g = 2*d - 3216 - 432. Is d a multiple of 10?
False
Suppose 2*d - y - 19 = -2*d, 2*d + y = 11. Suppose 0*u + 4*u - 213 = -3*x, -355 = -d*x - 3*u. Is 39 a factor of x?
False
Suppose 7*b - 322 - 28 = 0. Is ((-140)/b)/(1/(-50)*2) a multiple of 10?
True
Let a be ((-1)/2)/((-4)/(-3640)). Is 13 a factor of 4*3/((-60)/a)?
True
Suppose -6 - 252 = -3*z. Is z a multiple of 19?
False
Is (-62)/93 + 29*37/3 a multiple of 20?
False
Is 30 a factor of ((-144)/5)/(-4)*475?
True
Let b(m) = -211*m - 70. Does 11 divide b(-3)?
False
Let j be (255/10)/(1/68*2). Suppose -j = -5*o + 178. Does 17 divide o?
False
Let u = -17 + 32. Suppose u*j = 19*j - 496. Is 31 a factor of j?
True
Let h be (1 + -2)/(3/(-417)). Let f = h - 107. Does 8 divide f?
True
Let q(l) = l + 13. Let m be q(-4). Suppose 1080 = f + m*f. Does 36 divide f?
True
Let d(k) = -k**3 + 6*k**2 + k - 8. Let r be 24/21*28/8. Is d(r) a multiple of 28?
True
Let j = -14 + 11. Let d be 188/4 - (j - -1). Suppose -i + 3*y + 35 = 0, y - 39 = -4*i + d. Does 5 divide i?
False
Is 1107/6*(-3)/(27/(-6)) a multiple of 41?
True
Suppose -5*a = 5*v - 3*a - 21, -2*a + 6 = 0. Let q(r) = -7 + 2 - 10*r + v + 6. Does 16 divide q(-6)?
True
Let m = -818 - -827. Let b(j) = -14*j**3 + j. Let k be b(1). Let d = m - k. Is d a multiple of 11?
True
Let f(l) = -2*l**3 - 3*l**2 + 2*l + 6. Let o be f(-6). Let p = -222 + o. Is p a multiple of 16?
True
Suppose 0 = 3*n + y - 1813, -10*n = -13*n - 5*y + 1829. Does 55 divide n?
False
Let a be 296/56 + (-2)/7. Suppose -86 = -7*c + a*c. Is 12 a factor of c?
False
Suppose 2*s - 3*s + 2*q = 2, -5*q = -3*s - 5. Suppose -3*b + z + 208 = s, z - 132 = -2*b + 3*z. Does 13 divide b?
False
Let k = -269 + 112. Let t = -91 - k. Does 22 divide t?
True
Let x(a) = a**2 + 19*a + 3. Suppose l - 4*l = 63. Is 27 a factor of x(l)?
False
Let h be (2 + -4)*1/(-1). Suppose h = -4*y + 10. Is 7 a factor of -6*(33/(-6) + y)?
True
Let h be 7 + -3 + 2/2. Suppose -h*l + 395 = v, -4*l - 5*v - 10 + 305 = 0. Is l a multiple of 20?
True
Let o(g) = -g**3 - 4*g**2 + 8*g + 17. Let j be o(-5). Is 29 a factor of ((-696)/(-30))/(j/5)?
True
Let r(v) = 15*v + 1 - 8 + 2 - 10. Is r(6) a multiple of 25?
True
Let l(p) = 4*p - 24. Let j be l(7). Let h = 82 + -37. Suppose 0 = -5*b - j*g + h, -2 = b + g + 2*g. Is b a multiple of 6?
False
Let b(x) = 5*x**3 + 26*x**2 + 5*x + 3. Let n be b(-5). Suppose -5*j = -36 - 9. Is (32/n)/(3/j) a multiple of 16?
True
Let q(z) = -z**3 - 32*z**2 - 54*z - 285. Is 12 a factor of q(-32)?
False
Let g be (2/2)/1*71. Let i be -3*(2 - (-32)/(-12)). Suppose 2*f - 6 = 5*p + g, 5*f - 245 = i*p. Is 17 a factor of f?
True
Suppose -2*d + n = -50, 3*d + 2*n = 6*d - 75. Suppose -1 + d = 6*j. Suppose 5*r - m - m - 257 = 0, 206 = j*r - 2*m. Is 17 a factor of r?
True
Suppose 0 = -5*g + p + 1239, 0*p = -2*g + p + 498. Is 9 a factor of g?
False
Let d = 12 - -26. Is 11 a factor of d/(-4)*-6 + 1?
False
Let j(r) = r**2 + 6*r + 21. Let s be j(-11). Suppose s*i - 1800 = 70*i. Does 50 divide i?
True
Suppose 5*g = 3*u + 50 + 2, 2*u = 3*g - 31. Suppose x = 9 + g. Suppose 4*h - x - 16 = 0. Does 3 divide h?
True
Suppose 3*u - b = 9733, 12306 = 4*u + 3*b - 693. Is u a multiple of 12?
False
Let k(b) = 55*b**2 + 6*b + 7. Is 28 a factor of k(-1)?
True
Suppose -3*d - 184 = -361. Is 4 a factor of d?
False
Let q = -1616 + 2161. Does 5 divide q?
True
Let j = -2651 + 1515. Let t = -5 - -4. Does 19 divide (t/2)/(8/j)?
False
Let z(j) be the first derivative of j**6/360 - j**5/120 - 3*j**3 + 3. Let p(k) be the third derivative of z(k). Is 6 a factor of p(3)?
True
Let j = -603 - -721. Is j a multiple of 18?
False
Suppose w + 11*f - 187 = 14*f, 2*f = 0. Is w a multiple of 38?
False
Let r(o) = -2*o + 26. Let x be r(-5). Suppose x*m - 38*m + 74 = 0. Does 9 divide m?
False
Suppose 0*c - 9 = -c + 4*g, 3*g - 9 = -c. Suppose 4*z - u = c, -2 = -5*z + 3*u + 11. Suppose 0 = 5*a + z*m - 4 - 86, 2*a + 4*m - 36 = 0. Does 11 divide a?
False
Let z = -85 - -1. Suppose -2*f - 2*y - 22 = 86, -4*y + 208 = -4*f. Let g = f - z. Is 13 a factor of g?
False
Suppose 700 = 5*o - 0*o. Suppose 0 = -5*c + 5*p - 10, -3*c + 0*c - 5*p + 10 = 0. Suppose o = 4*k + u, 4*k - 140 = -5*u - c*u. Does 10 divide k?
False
Suppose -20*q = -4055 - 1565. Is 59 a factor of q?
False
Let r = 26 - -26. Let s = 286 - r. Suppose 2*p + p = s. Is p a multiple of 27?
False
Suppose 263 = -4*z - 0*f + f, -4*f + 207 = -3*z. Let q = z - -103. Does 19 divide q?
True
Is (2 - 0/(-1) - 5) + 227 a multiple of 28?
True
Let z(n) = -4*n**3 - n**2. Let d be z(-1). Suppose -6*t = -d*t - 165. Does 5 divide t?
True
Let r = 888 + -176. Does 16 divide r?
False
Let g(t) = 2 - 5*t**2 - 1 - 3*t - 2*t**3 + t. Let s(i) = i**2 - 12*i + 29. Let v be s(8). Is 8 a factor of g(v)?
True
Suppose 35464 = -5*z + 57*z. Is 9 a factor of z?
False
Is 36 a factor of ((-426)/12 + 0)*12/(-3)?
False
Let l be (-2)/(-5) - (-88)/5. Suppose 22 = -2*c + 4*o, 2*c - 4*o + o = -l. Let m(a) = -3*a + 3. Is 6 a factor of m(c)?
True
Let g = 7 + -4. Let f(c) = 17*c**2 + c - 10. Is 15 a factor of f(g)?
False
Is ((-48)/48)/(4957/2479 + -2) a multiple of 114?
False
Let x(r) = -r**2 - 52*r + 286. Is x(-51) a multiple of 12?
False
Let l be 139 - 5/((-15)/(-12)). Let i = l - 89. Is 12 a factor of i?
False
Let g(r) = r + 3. Let c be g(0). Suppose -46 = -3*h - n, -48 = -c*h - h + 2*n. Is h a multiple of 7?
True
Let o be (-5)/((110/28)/(-11)). Suppose -c + 4*d = -o, -c - c + 76 = 4*d. Does 30 divide c?
True
Suppose 4*h - 5*c = 22, -2*h + 0*c = -4*c - 8. Let l be (-194)/(-4) - (-12)/h. Let y = 76 - l. Is y a multiple of 21?
False
Suppose -3*h + 97920 = 77*h. Does 34 divide h?
True
Let n(p) = -p**3 - 7*p**2 - 5*p + 5. Does 4 divide n(-8)?
False
Let s be -1 - ((1 - 4) + 6). Is 25 a factor of s/(-8)*77*2?
False
Let h(p) = p**2 + 10*p - 16. Let n be h(11). Suppose 3*m - 4 - n = 0. Is m a multiple of 9?
False
Suppose -g = -4*g + 5*m + 845, 0 = -3*g + m + 841. Suppose 0 = -4*n + g. Suppose -3*d = -d + 5*o - n, 5*o = 5*d - 140. Is 15 a factor of d?
True
Is (2/(-4))/(-6 - 6985/(-1166)) a multiple of 18?
False
Suppose -18*h + 14*h = 16. Is h/(-14) - (-1309)/49 a multiple of 27?
True
Is (2/(-6))/(6/(-504)) a multiple of 14?
True
Suppose 11*t - 9*t - 1794 = 0. Is t a multiple of 81?
False
Suppose 3*q - 3*j - 3333 = 0, -45*q + 42*q - 2*j = -3343. Is q a multiple of 53?
True
Let a(z) = 7*z - 28. Is a(10) a multiple of 2?
True
Suppose 2*f - 64 + 36 = 0. Is 14 a factor of f?
True
Let q be 20 + 1 + (1 - 2). Suppose q - 68 = -4*w. Is (w/20)/(1/25) a multiple of 5?
True
Let s = -305 - -395. Is s a multiple of 15?
True
Let w(k) = 9*k**3 + 12 + 2*k**2 - 8*k**3 - 3*k**2 - 18*k - 9*k**2. Is w(12) a multiple of 21?
True
Let t(w) = -