-3 = 4*f - 3*f, f - 273 = -4*w. Suppose 5*u + 0*g + 3*g - 81 = 0, 3*u - w = 5*g. Does 6 divide u?
True
Let h = 140 + -74. Let o = 222 - h. Is 18 a factor of o?
False
Suppose -4*c = -2*g + 24, -3*g + c + 19 = -2. Suppose -2*v + q - 4*q + g = 0, 4 = -q. Let b = 95 - v. Is 24 a factor of b?
False
Is 6 a factor of ((-1296)/(-60))/(2 + 116/(-60))?
True
Suppose 0 = 5*h + 25, -2*h = 2*x + x - 686. Does 45 divide x?
False
Let z(n) = 9*n + 30. Let b be z(5). Let r = -39 + b. Is r a multiple of 9?
True
Suppose 0 = -3*x - 2*k - 2*k + 1465, -4*x + 3*k = -1995. Is x a multiple of 15?
True
Let i(c) be the first derivative of -c**4/2 - c**3/3 - 3*c**2/2 + c + 2. Suppose -5*b + 5*n = 7*n + 23, -2*b - 26 = 5*n. Is i(b) a multiple of 20?
False
Suppose 0*h - 5*h + 2*s = -2845, 3414 = 6*h + 3*s. Is 21 a factor of h?
False
Let g(u) = -u**3 - 3*u**2 + 24*u - 18. Let j = -63 - -54. Does 14 divide g(j)?
True
Let d(i) = -18*i + 2. Let s be 4/(-5)*(-10)/4. Suppose 2 = -k - s. Is 19 a factor of d(k)?
False
Suppose 15*i = 17*i - 3*s - 3043, 0 = 2*i + s - 3055. Is 7 a factor of i?
True
Let s(w) = -3*w + 50. Let k be s(14). Let x(q) = 25*q - 23. Is x(k) a multiple of 11?
False
Let i be ((-6)/(-3))/4*0. Is (i + 4)*(-375)/(-60) a multiple of 25?
True
Let c = 348 - 20. Does 4 divide c?
True
Let j(l) = 8*l - 29. Let d be j(11). Suppose 5*v - 749 + d = 0. Is v a multiple of 23?
True
Let k(t) = t**3 + 11*t**2 - 13*t - 3. Suppose -4*d = -5*d - 12. Let a be k(d). Let f = 23 - a. Is 7 a factor of f?
True
Let r(b) = -b**2 + 5*b - 2. Let f be r(4). Suppose y - f*y = -2*a + 174, 2*y = -3*a + 247. Let p = a - 12. Is 20 a factor of p?
False
Let a(m) = m**2 - 7*m - 33. Let x be a(12). Let n = 108 - x. Does 39 divide n?
False
Suppose -5*y - 14*y = -20900. Is 7 a factor of y?
False
Suppose 3*f = -c - 2, 22 = 2*c + c - 5*f. Suppose c*s - k - 477 - 56 = 0, 5*s - 676 = -2*k. Is s a multiple of 24?
False
Is 8 a factor of (80/(-25))/(3/(585/(-2)))?
True
Let h(t) = -t + 1. Let b be ((-4)/2 + 1)*3. Let n be h(b). Suppose 77 = 2*c - 5*x, -n*c + 54 + 75 = -5*x. Is 13 a factor of c?
True
Let j(n) = -2*n**3 - 2*n**2 - 4*n - 4. Let v = -18 + 15. Is 5 a factor of j(v)?
False
Let w = -208 - -326. Does 13 divide w?
False
Let q(c) be the second derivative of -5*c**3/6 - 27*c**2/2 + 10*c. Is 13 a factor of q(-8)?
True
Suppose 2*l + 1 = k, l = -2*k - 2*k + 4. Suppose -25 = -5*x - 5*g, 3*g - k = -2*x + 6. Is 4 a factor of x?
True
Suppose 5*a + 222 = 2*s, 3*a + 4*s + 128 = -0*s. Let x = 75 + a. Is 3 a factor of x?
False
Let r(z) = z**2 + 4*z - 12. Let c be r(-6). Suppose -3*y = h + 196, -5*y + c*h - 324 = -h. Let o = y + 181. Is o a multiple of 33?
False
Let j(c) = 40*c - 4. Let d be j(-1). Let w = -27 - d. Is 17 a factor of w?
True
Let m(h) = -95*h + 2. Let g be m(2). Let p = g - -522. Does 18 divide p?
False
Let s(j) = -j**2 + 5*j - 2. Let b be s(4). Suppose 0 = -4*i - 4*u - 72, i = b*u - 22 + 4. Let d = 50 + i. Is 27 a factor of d?
False
Suppose -97 = 2*c + f, 2*c - c - 4*f + 35 = 0. Let h = 89 - c. Is h a multiple of 17?
True
Let o be (-6)/27 - (-136)/(-36). Is (-53)/(-2) + 2/o a multiple of 13?
True
Let y(t) = t**3 - t**2 + t - 4. Let m be y(2). Does 2 divide (-1 - m)/((-1)/5)?
False
Suppose 6*z + 277 = -17. Let r = z - -34. Is 8 a factor of 74/10 + (-9)/r?
True
Let v be (1/(-3))/(2/(-1410)). Let p be 3/4 - 42/(-8). Suppose s - p*s = -v. Does 7 divide s?
False
Suppose q - 5*o + 17 = 0, o = 3*q - 2*o + 3. Let u be (q/2)/((-7)/(-14)). Suppose 4*t + 242 = 5*h + 3*t, -h - u*t = -42. Is 12 a factor of h?
True
Suppose -3*f - 18 = -2*x, 11 = 5*x + 4*f - 3*f. Does 9 divide 114/x - (2 - 5)?
False
Suppose -11 = -b + 2*v, b - 21 = -2*b + 3*v. Suppose -34 = -2*m - 0*u + 4*u, b*m - 35 = 2*u. Suppose -m*k = -6*k - 249. Is k a multiple of 28?
False
Let w(r) = r**3 - 10*r**2 + 9*r + 3. Let v be w(9). Is 3 a factor of ((-5)/(-3) + 8/(-12))*v?
True
Suppose -26*a + 4431 = -8309. Does 5 divide a?
True
Let s be -8*(-1)/(-2)*-1. Suppose -s*d + 134 = 3*j, 2*d - 48 = j - 2*j. Does 15 divide j?
False
Let h(s) = 3*s - 4. Let a(o) be the third derivative of -o**4/24 + o**3/6 + 4*o**2. Let y(u) = -2*a(u) + h(u). Is y(7) a multiple of 8?
False
Suppose -2*o + 665 + 67 = 0. Does 29 divide o?
False
Suppose 3*i + 39 = 363. Does 12 divide i?
True
Suppose -217 = -10*y + 443. Is y a multiple of 6?
True
Suppose 2*s - 100 = 3*s. Let l = s - -119. Is l a multiple of 2?
False
Let b be 10/3*(-9 - 3). Let i = 34 + -60. Let x = i - b. Does 7 divide x?
True
Let n = 38 - 38. Suppose 109 = 3*k + 5*i - 270, n = 4*k + 5*i - 507. Is k a multiple of 16?
True
Suppose 0 = -0*f - 3*f + 225. Let q = f + -51. Suppose u = 4*u - q. Is u a multiple of 8?
True
Let q = 29 - 25. Let c(y) = 3*y**2 - 7*y + 10. Is 10 a factor of c(q)?
True
Suppose -3*u - 2*q + 609 = 0, -4*u - 8*q = -3*q - 812. Let l = u + -137. Is l a multiple of 11?
True
Let o(f) = 49*f**3 - 5*f**2 + 5*f + 1. Does 9 divide o(1)?
False
Let w(h) = -537*h + 15. Is w(-5) a multiple of 54?
True
Let a be (1*-1)/(8/56). Let j(f) = -4*f**3 + 4*f**2 + 15*f + 10. Let h(s) = -5*s**3 + 3*s**2 + 16*s + 11. Let w(c) = -5*h(c) + 6*j(c). Is w(a) a multiple of 8?
False
Suppose 3*q + q + 3*x - 25 = 0, -2*x = -5*q + 14. Let c(i) = -5*i + q*i**2 + 3*i**2 - 3 + 8*i. Does 6 divide c(2)?
False
Suppose -4*j + 5*j - 5*o = 117, 5*o + 625 = 5*j. Is 7 a factor of j?
False
Suppose 3*w = 4*w - 59. Suppose 275 - w = 3*m. Suppose -2*g + 36 = -m. Does 18 divide g?
True
Suppose -4*q - 2*g + 6*g + 32 = 0, -g - 20 = -4*q. Suppose 13 = d - 2*t - 2, q*t + 13 = d. Does 3 divide 6/12*(d - -3)?
False
Let d(f) = f**3 + 6*f**2 + 4. Let b be d(-6). Suppose -b*w = w. Let s = 7 + w. Does 7 divide s?
True
Does 16 divide (-36)/99 - 3051/(-11)?
False
Is 14 a factor of 14/8*28272/114?
True
Let w(h) = 4*h**3 + h**2 - 4*h + 1450. Does 58 divide w(0)?
True
Let u(l) = 27*l - 257. Does 10 divide u(11)?
True
Suppose w - 5*w + 10089 = -3*j, -w - 5*j + 2505 = 0. Is 14 a factor of w?
True
Suppose 2 = -3*g + 14. Is 28 a factor of (2 - -78) + (g - 0)?
True
Let x = -66 + 154. Is x a multiple of 8?
True
Let y(t) = -2*t + 13. Let u(c) = 2*c - 4. Let a be u(5). Let l be (264/55)/(a/(-20)). Is 11 a factor of y(l)?
False
Let t(k) = 3212*k**3 - k**2 + 34*k - 33. Is t(1) a multiple of 28?
False
Suppose -12150 = 90*z - 93*z. Is 90 a factor of z?
True
Let r = -8 + -11. Let x(g) = -g**3 + 17*g**2 + 18*g + 1. Let q be x(18). Let i = q - r. Is i a multiple of 14?
False
Let a(s) = 7*s - 43. Let w be a(11). Let k = w + -1. Does 5 divide k?
False
Suppose 2332 = 18*l + 26*l. Is l a multiple of 8?
False
Let b(x) = -x + 64. Let j be b(0). Suppose -11 = q - 14. Suppose j = q*i - i. Is 9 a factor of i?
False
Let f = 653 - 51. Is 8 a factor of f?
False
Let i(g) = -g**2 + 13*g - 12. Let a be i(9). Suppose -4*q + 2*s + 110 = 0, -a = -5*q - 3*s + 97. Does 3 divide q?
False
Suppose -s + 12 = 3*s. Suppose s*f + k = 184, 3*k - 56 = -3*f + 136. Is f a multiple of 20?
True
Suppose 5*u - m = 11774, 2*u = 4*m - 5*m + 4711. Does 10 divide u?
False
Suppose 7*y = 3 + 11. Suppose -y*q = q - 81. Does 9 divide q?
True
Let k = -14 + 9. Let t(q) = q**3 + 6*q**2 - q - 3. Let h be t(k). Suppose -33 = -4*b + h. Does 10 divide b?
False
Let q(o) = 123*o**2 + 2*o - 24. Is q(4) a multiple of 8?
True
Suppose 4*s - 5*b = -2*b - 17, -12 = -4*b. Does 13 divide (4 - 2)/2 + (-128)/s?
True
Let j = -2424 - -3030. Is 13 a factor of j?
False
Suppose -4*c - 20 = 0, 3*s - 51 = 4*s + 2*c. Let n(q) = -10*q**3 - q + 3. Let r be n(-2). Let v = r + s. Is 22 a factor of v?
True
Let f be (-50)/(-8) - 3/12. Suppose -3*t + f = 0, -2*x + 2*t = t - 368. Suppose -305 = -4*b - 5*m, 5*m + 0*m = 3*b - x. Is b a multiple of 35?
True
Let o(s) = s**2 - 6*s - 19. Let q be o(7). Is 5 a factor of 16/q*15/(-2)?
True
Suppose -7 = -8*u + 17. Suppose u*b - 7*b = -36. Is 2 a factor of b?
False
Let o(w) be the second derivative of w**4/6 - w**2/2 - w. Let f be o(-3). Let s = 50 - f. Is s a multiple of 17?
False
Let c be (-664)/(-10) - 14/35. Is c + (-3 + -1 - -3) a multiple of 26?
False
Is 8 a factor of (30/8)/(-5 + 5212/1040)?
False
Is 51 a factor of (-1672)/(-4) - -1*(-5)/(-1)?
False
Suppose 2192 = 4*j - k, -4*k + 288 = j - 260. Is j a multiple of 11?
False
Let j = -21 + 23. Suppose 2*g = -0*o - 3*o + 219, -2*g + 216 = j*o. Is 21 a fact