t g(t) = 20*t - 7. Let m(a) = -7*a + 2. Let o(h) = -6*g(h) - 17*m(h). Let d be o(-4). Suppose 4*s - d = 3*s. Does 2 divide s?
True
Let w = 2270 - 359. Suppose 21*g - w = 18*g. Does 16 divide g?
False
Let h be (-12 + 301/(-14))*2. Let j = 100 + 33. Let u = j + h. Is u a multiple of 22?
True
Suppose 49*s - 44*s - 209836 = -2*z, 0 = -5*s + z + 209812. Is s a multiple of 12?
True
Is 3598 + 3 + 1*(-4 + 2) a multiple of 61?
True
Suppose 946*u = 942*u - 5*d + 80872, -u - 4*d = -20240. Is 16 a factor of u?
True
Suppose -123*z = -3*h - 124*z + 46431, 0 = 2*z. Is 75 a factor of h?
False
Let c be 19934/7 + (-10)/(-35). Suppose 192 + c = 19*i. Is 40 a factor of i?
True
Suppose -13*c - q - 17 = -17*c, -c = 5*q + 1. Suppose -2*y - 4*l = -7*y + 1237, l = -c*y + 998. Does 31 divide y?
False
Suppose -71346 = -12*o - 54*o. Does 16 divide o?
False
Let x be (0 + -1)*1*-130. Suppose -2*b - 4*k = -264, -4*k - x = -b + 20. Suppose -5*v - b = -2*j, -4*j + 2*v - 92 + 352 = 0. Does 15 divide j?
False
Suppose i - 3 = 4*s + 4*i, -4*i = 4. Suppose s = 4*j + 12, 0 = 5*t + 4*j - 3*j - 742. Is 13 a factor of t?
False
Let u = 20 + 190. Suppose 8*o = u + 878. Is o a multiple of 17?
True
Suppose 82*s - 74*s - 146080 = 0. Does 11 divide s?
True
Suppose -86 = -a - 5*r, 4*r + 175 = 4*a - 49. Suppose -5*z - 21 = -2*u - a, -3*z + 24 = -5*u. Does 10 divide 4/z*(-762)/(-3)?
False
Let s(r) = 38*r**3 + 46*r**2 - 138*r - 6. Is s(3) a multiple of 3?
True
Let x = 6336 + -5587. Is 82 a factor of x?
False
Let t = -66 + -65. Let l = t + 74. Let k = -17 - l. Does 15 divide k?
False
Let k be (19 + -14)*162/10. Let f = k + -18. Is 7 a factor of f?
True
Let i(j) = -38*j - 266. Let a be i(-45). Suppose -5*y = 4*k - a, 24*y - 4*k = 19*y + 1436. Is 24 a factor of y?
True
Suppose 59*x - 6 = 60*x. Let v(z) = z**2 - 8*z + 8. Is 12 a factor of v(x)?
False
Let x(w) = 133 - 177 + 8*w + 2*w. Is 7 a factor of x(10)?
True
Let i(b) = 6*b + 47. Let y(d) = 2*d + 23. Let a(t) = -3*i(t) + 5*y(t). Does 10 divide a(-12)?
True
Suppose 0*l = -5*a + l + 30, -2*l = 0. Suppose 9 = 3*x, x = -f - 0*x + a. Suppose 4*g = 4*m + 68, -f*g + 4*g - 2*m = 15. Does 19 divide g?
True
Let x be (60/25)/(-3*(-6)/2655). Let s = 397 - x. Is 7 a factor of s?
False
Suppose 3*t + 20 = 2*w, -w - 3*t + 6 = -22. Suppose 352 = w*o - 12*o. Is 6 a factor of o?
False
Let k = -419 + 639. Does 55 divide k?
True
Let s be (-9)/12 - (-2886)/8. Suppose -s + 155 = -5*h. Does 25 divide h?
False
Let j(n) = 22*n + 46. Let k be j(-2). Suppose 4*z - u = 3*u + 2888, -z + 716 = k*u. Does 45 divide z?
True
Let u(g) = g**2 - 12*g - 13. Let i be u(12). Let c = 53 + i. Does 8 divide c?
True
Suppose -14 = 7*l + 21. Is 7 a factor of (-34 + (-4 - l))*(0 - 3)?
False
Let t = 22 + -17. Let z(c) = -2*c**3 + 8*c**2 - 7*c + 6. Let f be z(t). Let j = f - -275. Is 28 a factor of j?
True
Let c be (-20)/(-6)*27/(-15)*-1. Suppose 3*w = -2*b + 9, 3*b - c = w + 2. Suppose 0 = b*x - x - 124. Does 11 divide x?
False
Is 4*((39247/65)/(8/(-10)))/(-1) a multiple of 3?
False
Suppose -14*m + 1500 = -16*m + 4*w, -2*w = -2*m - 1496. Let n = m + 1065. Does 18 divide n?
False
Let s be 416/104*(-38)/(-8). Let q(z) = 2*z**2 - 28*z - 85. Is q(s) a multiple of 7?
True
Let s = -3250 + 3946. Is s a multiple of 8?
True
Suppose 4*s - 4*w = -1356, 5*w - 3*w - 1016 = 3*s. Let r = s + 464. Is r a multiple of 63?
True
Let u be 2/4*((0 - 1) + 7). Suppose -5*o = 2*b - b + 580, o = -u*b - 102. Let q = o - -289. Does 17 divide q?
False
Suppose -158*y = -167*y + 94320. Is 162 a factor of y?
False
Let t be (-9036)/18 + 1 + -2. Let v = -342 - t. Is 23 a factor of v?
True
Let j = 1145 + -111. Does 94 divide j?
True
Suppose 4*u + c = -c + 332, u + 2*c - 80 = 0. Is 7 a factor of u?
True
Let l(y) = 49*y**2 + 2*y - 46. Is l(10) a multiple of 124?
False
Let y = -356 + 359. Suppose 4*m = -y*c + 1369, 3*m + 4*c - 1214 + 196 = 0. Is m a multiple of 11?
False
Suppose -3*h + 165 = 2*k, 3*k - 2*h - 359 = -105. Suppose 0 = 78*d - k*d + 1728. Is 32 a factor of d?
True
Let v be 0*(3 + -5 - -1). Suppose 0*o + 5*o = t + 65, v = -3*o + 5*t + 17. Let q = o + 19. Is q a multiple of 11?
True
Let h be 30*((-1444)/18)/(13/(-39)). Suppose 4*c + 4*s = -0*s + h, -3*s - 5427 = -3*c. Does 13 divide c?
True
Suppose x + 3*x + 98030 = 3*j, -2*j - 2*x + 65386 = 0. Is j a multiple of 132?
False
Let w = 241 - 239. Suppose h + 0*g - 26 = -g, w*h - 52 = g. Is h a multiple of 26?
True
Let b(g) be the third derivative of -g**4/3 + 9*g**3/2 + 7*g**2. Let a be -3*(28/(-21) + 3 + 1). Does 11 divide b(a)?
False
Let m be 5 - 1 - (-61 - 2). Is m/8 + (-36)/96 even?
True
Let i be (3/(-4))/(2/(-16)). Let n(w) = 10 + 3*w - 3*w**3 + w**2 - 2*w**3 + w**3 - i*w**2. Is n(-4) a multiple of 26?
False
Suppose 14*z - 16*z - 4 = 0. Let d(t) = t + 8. Let i be d(z). Is 23 a factor of ((-198)/24)/(i/(-64))?
False
Let n(t) be the first derivative of -32*t + 20*t**2 - 11*t - 11*t**2 + 8. Does 16 divide n(7)?
False
Let p(o) = 2*o - 3*o + 33 + 0*o + 31. Is p(-16) a multiple of 10?
True
Let r(q) = -q**3 + 31*q**2 + 61*q - 314. Does 21 divide r(32)?
False
Let d = -315 - -1485. Is d a multiple of 26?
True
Does 32 divide (-2)/(327855/187396 - 42/24)?
False
Let d be -119*((-1052)/15 - (-8)/60). Suppose 3*i = -14*i + d. Is 22 a factor of i?
False
Is 2 a factor of (-3)/21 + -3 + 21312/28?
True
Let h = -26408 - -32222. Is h a multiple of 4?
False
Suppose -6*o + 5*o + 2*g + 2746 = 0, -4*g + 8278 = 3*o. Is o a multiple of 51?
True
Let i(o) = -o**2 + 18*o - 44. Let g be i(14). Suppose 2*u + 4 = g. Is 41 a factor of 41/(-4 + u - -1)?
True
Suppose 3*n - 3*f + 8*f - 20 = 0, -5*f + 5 = 0. Let y = n + 0. Suppose -y*k = 85 - 240. Is 4 a factor of k?
False
Suppose -46024 = -4*r - 2*r - 5*r. Does 75 divide r?
False
Suppose 16*j = 18*j - 5*v - 1907, 4*j = -v + 3759. Let x = j - 760. Does 19 divide x?
False
Let w(u) = -4*u + 44. Let a be w(-8). Suppose 3*p - 205 = -a. Let d = 46 - p. Is d even?
False
Let o(y) = y**3 - 6*y**2 - 16*y + 2. Let n be o(8). Let z be (2440/50)/((-2)/(-20)*n). Let j = z - 94. Is j a multiple of 25?
True
Let t be 25 + (-5 + 4 + 1)/2. Suppose v - 3*z - 1228 = 0, 26*v - t*v + z = 1244. Is 31 a factor of v?
True
Let c = 12557 - -5462. Is c a multiple of 17?
False
Let q(c) = 2*c**3 + 11*c**2 + 4*c - 10. Let u be q(-8). Let b be 9/6 + u/8*2. Does 26 divide 3*1/(-3) - (b + -1)?
False
Let u(c) = c**2 + 11*c - 1. Let l be u(-11). Let y(a) = a**3 + a**2 + a + 1. Let g(v) = -12*v**2 - 9*v + 9. Let m(b) = l*g(b) + y(b). Is m(-12) a multiple of 4?
True
Suppose 4*c + 32 = 2*s, -4*c + 21*s = 22*s + 20. Let i(y) = -y**2 + y + 2. Let q be i(-2). Is q/24 + (-511)/c a multiple of 20?
False
Suppose 3*w + 16 = 2*w. Let s be ((-1)/(-2) + (-8)/w)*81. Is 10*2*s/12 a multiple of 23?
False
Let v = -15 - -17. Suppose -6*i - v*n = -3*i, n = 0. Suppose -4*k + 33 = 2*w - 23, i = -4*w + 2*k + 112. Does 7 divide w?
True
Suppose -5*j + 217 + 488 = 0. Suppose k = 2*t - 67 - 20, 3*t + 2*k = j. Does 2 divide t?
False
Let h be 0*(-6 + (-99)/(-18)). Suppose h = -2*o + l + 58 + 19, 2*o - 47 = -5*l. Is o a multiple of 12?
True
Let u(v) = v + 17. Let l be (-2)/2 - (-10 - 2). Let w be u(l). Suppose 0 = 3*y + 4 - w. Is 4 a factor of y?
True
Suppose 22*x - 23*x + 11064 = 5*s, 5*x + 5 = 0. Does 101 divide s?
False
Let l(m) = -14*m**2 + 778*m - 75. Is l(50) a multiple of 2?
False
Is 5 a factor of ((-3 - 5)*-4)/((-2)/2660*-5)?
False
Does 31 divide 7128504/16410 + ((-6)/(-10) - 0 - 1)?
True
Let a be (6 - (-76)/(-12))*(-1 + 1). Let w(b) = 13 + 52 - 18 + a*b + 6*b. Is 11 a factor of w(5)?
True
Suppose -43*c = -44*c + 3. Suppose -4*y = -9*d + 4*d + 1656, -c*d - 4*y + 1000 = 0. Is d a multiple of 10?
False
Let c(s) = 2*s**3 + s**2 - 9*s. Let v be c(11). Suppose 9*p - v = -2*p. Is p a multiple of 33?
False
Let j = -4 - -4. Let q = -95 + -283. Is 9 a factor of q/(-12)*(24/9 + j)?
False
Let l(i) = i**2 - 5*i + 3. Let v be l(5). Suppose 0 = 8*f - 3*f - 25, -4*f + 32 = v*c. Suppose -3*k - 17 = -d, -3*d + k = -c*d + 13. Is 4 a factor of d?
False
Let b be (-5)/30*4*-765. Suppose b = -g + 3*g + 4*x, g - 5*x = 248. Is g a multiple of 12?
False
Let i(y) = -2*y**2 + 5*y + 9. Let u be i(8). Let v = -24 - u. Suppose g = v + 66. Does 27 divide g?
False
Suppose 96 = 4*w - 48. Suppose 140 = -2*l + w. Is 52 a factor of 19/((-19)/