t t = 59 + b. Is t a multiple of 20?
True
Let x = 17515 + -12700. Is 45 a factor of x?
True
Let x(q) = 2*q - 30. Suppose -8*u = -5*u + 9, 0 = -y + 3*u + 39. Let n = y - 11. Is x(n) even?
True
Suppose s - 2 - 1 = 0, 0 = 2*h + 3*s - 5193. Suppose 34*c - 25*c = h. Does 32 divide c?
True
Let r(v) = 527*v - 9726. Is r(42) a multiple of 66?
True
Suppose -r = -4*t - 115 - 26, -122 = 3*t - 4*r. Let y = t - -134. Is 31 a factor of y?
False
Let c = -308 + 331. Suppose 2*l = 3*g + 28 + c, -2*l - g = -71. Is 10 a factor of l?
False
Suppose -7*z = -4*z - 48. Suppose 3*j + 5 = -4*c + 10, 4*c + z = 0. Suppose -3*x + j*x = 160. Is 4 a factor of x?
True
Let u = -2 - -16. Suppose p - 1 = -2*k - 6, 4*p + u = -5*k. Is 11 a factor of (-1)/(p/45 + 0)?
False
Let t = 15 + -11. Suppose 5*c + t*c = 1152. Suppose -5*k + 3*k = -c. Is k a multiple of 32?
True
Let k(p) = 4*p - 11. Let h be k(3). Suppose -1 - h = -q. Is 1 + 10*(q - (1 + -4)) a multiple of 4?
False
Let g(c) = 3*c**2 + 3*c - 22. Let o be g(5). Suppose -o = -3*v + 385. Suppose 409 = 10*x - v. Is x a multiple of 14?
True
Suppose -44393 = -90*g + 360067. Does 14 divide g?
True
Let m(o) = -o**3 + 14*o**2 - 2*o + 9. Let i be 279/(-99) + (-2)/11. Let d(q) = q**3 + 4*q**2 + 4. Let y be d(i). Does 38 divide m(y)?
True
Let u(k) = -4811*k + 7517. Is u(-3) a multiple of 25?
True
Let p = -34 + 41. Let t(k) = 35*k - 33 + 27*k - 41*k. Is t(p) a multiple of 15?
False
Let x(s) = s**3 + 12*s**2 - 14*s + 11. Suppose -6*m + 11 - 41 = 0. Does 40 divide x(m)?
False
Suppose -3*x = 5*a - 7, -2*x + 3*a - 3 = 5. Let k be (0 - (x + 4)) + 19. Suppose -220 = -4*g - 4*i - k, 3*g = -5*i + 147. Is g a multiple of 6?
True
Suppose -7*o + 13*o = -3*o + 23265. Is o a multiple of 11?
True
Let i(n) = -n**3 + 10*n**2 + 3*n - 11. Let h be i(10). Let z = 19 - h. Suppose z = 28*t - 23*t - 180. Is 9 a factor of t?
True
Let n(m) = m**3 - m - 1. Let o be (-5)/(-25)*-7 + 4/10. Let y(p) = -p**3 - 9*p**2 - p - 35. Let l(t) = o*y(t) - 2*n(t). Is 8 a factor of l(9)?
True
Let y(d) = 193*d - 47. Let b be y(7). Suppose -4*w = z - 2400 + 652, -3*w + z + b = 0. Is w a multiple of 19?
False
Suppose -z - 2*q = 3*q - 19, -2*q + 22 = -2*z. Let l = -1 - z. Suppose -l*t + c = -527, 5*t + c - 130 = 403. Is t a multiple of 13?
False
Let q = -320 + 585. Suppose -5*j = -3*l - 883, -3*j - 5*l + q = -258. Is 11 a factor of j?
True
Let s = 18717 - 18445. Is 16 a factor of s?
True
Let h(v) = 4*v**2 + v + 6. Let r(p) = -12*p**2 - 4*p - 18. Let l(b) = -8*h(b) - 3*r(b). Let f be l(-4). Suppose -186 = -4*k + f. Does 10 divide k?
True
Suppose s + 3*r + 79339 = 6*s, s = -2*r + 15860. Does 14 divide s?
False
Let d(o) be the third derivative of -o**5/60 - o**4/6 - o**3/6 + 41*o**2. Let r be d(-5). Is 10 a factor of 0 + r + 2 + 54?
True
Let c be 42/(-24) + 3/4 + 0. Let q(j) = j. Let w(h) = -72*h**2. Let n(b) = -q(b) - w(b). Is n(c) a multiple of 14?
False
Suppose -t - 3*a + 4233 = 0, -3*t + 3211 = -3*a - 9524. Is 91 a factor of t?
False
Let b be (0/1*24/(-48))/1. Is 30 a factor of 27728/40 + (-3)/15 + b?
False
Let u(p) = -p**3 - 30*p**2 - 38*p - 37. Does 8 divide u(-29)?
True
Let f be (-119)/(6 - 232/40). Let p = f - -1135. Is p a multiple of 30?
True
Let g(n) = 1469*n**2 + 49*n - 7. Does 12 divide g(2)?
False
Suppose -5*u - 2*b = -82400, 3*u + 28*b - 49429 = 29*b. Does 22 divide u?
True
Let y = 32 + -39. Let d = 10 + y. Suppose 3*o + 3*h - 93 = 0, -14 = -d*o + 4*h + 58. Is o a multiple of 4?
True
Is 103 a factor of ((3 - 6) + -615)*(-19 - -31 - 84)?
True
Let s = 159 + 327. Suppose -5*v + 4*q = 2*q - 810, 3*v - 3*q = s. Is v a multiple of 23?
False
Suppose 0 = -112*w - 309*w + 1527809. Does 87 divide w?
False
Suppose o - 17 = -2*x - 3*x, 2*x + 1 = -3*o. Let z be -4 - (-1 + (x - 4)). Does 5 divide ((-6)/(-5))/(z/(-100))?
True
Suppose 17*t - 38080 = -3*t. Suppose -4 = -v - 2, 2*v = -5*j + t. Is 20 a factor of j?
True
Let t = 1189 + -1178. Let j = 52 - -10. Suppose -t*z = -13*z + j. Does 13 divide z?
False
Suppose -3*a = -4*s - 9, 5*s = 5*a - 7 - 8. Suppose -6*m - a - 15 = 0. Is 1*m/3*-47 a multiple of 21?
False
Let f(l) = -9*l**3 + 3*l**2 - 2*l + 28. Let b be f(6). Let g = 2592 + b. Does 39 divide g?
False
Suppose -4437 = 6347*c - 6356*c. Is 6 a factor of c?
False
Let k = -110 - -77. Let f be (-319)/k - 2/3. Let p = 99 - f. Is p a multiple of 15?
True
Suppose 0 = 5*y + 2*j - 12, 5*j + 24 - 4 = 0. Let q be (20 - 0)*1/(-8)*-20. Is 25 a factor of q/y*26/13?
True
Let w(z) = -1829*z - 1944. Does 22 divide w(-10)?
True
Does 10 divide ((-244)/(-732))/(1/126120)?
True
Let a(l) = 4185*l - 7004. Is a(7) a multiple of 14?
False
Let z be ((-3)/(-6))/((-4)/(-16)). Let u be (1/z)/(6/(-24)). Is u/(-1) + 2 + 92 a multiple of 32?
True
Let x(p) = p**3 - 20*p**2 + 4*p - 20. Let u be x(20). Let g = u - 39. Is 11 a factor of (-77)/(-2)*(-36)/g*-1?
True
Suppose 0 = 4*u + 3*h - 3471, -581 = 4*u - 3*h - 4094. Is 2 a factor of u?
False
Suppose -h + n - 9 = -2*n, 4*h - 2*n = 4. Let g = 273 - 113. Suppose 5*v + 8*r = 3*r + g, -h*v - 5*r + 92 = 0. Is 14 a factor of v?
False
Suppose 0 = -2*d - w + 225, -2*d - 5*w + 325 = 80. Let v = d + -102. Suppose 3*n - 5*f + 1070 = v*n, -3*f = -3*n + 624. Is 9 a factor of n?
False
Suppose -2*c = -5*c - 15, -5*p + c + 45 = 0. Let m be (-4 - -1) + (-1 + 2)*p. Suppose 0*o - m*y = o - 138, 4*y = o - 165. Is 9 a factor of o?
True
Suppose 0 = -4*i + 3*t + 20, -3*t + 5*t + 2 = -3*i. Suppose -5*w - j - i*j = -2561, -6 = -3*j. Is 73 a factor of w?
True
Let s(q) = 6*q**2 - 1077*q - 13. Does 174 divide s(-9)?
False
Let o = 227 + -132. Let t = -1672 + 1600. Let l = o + t. Does 2 divide l?
False
Let j = 15227 + -851. Does 12 divide j?
True
Let g(d) = d**3 - 11*d**2 + 19*d + 8. Let w be g(9). Let q(m) = -5 + 3*m**2 + 9 - m**2 - w*m + 8. Does 9 divide q(9)?
False
Let h be 10 + -10 + (1 - -1). Suppose i - 155 = -4*k, -5*k = -3*k - h*i - 70. Suppose 3*z - 492 = -3*a, 5*a = 2*z + 886 - k. Is a a multiple of 28?
True
Let j(v) = -6*v - 2. Let s be j(6). Let k = s - -36. Is k - (-68)/28 - 92/(-14) even?
False
Let m = 19 - 14. Suppose 3*n - 10 = -3*o + 8, m*o = 3*n - 26. Let x(t) = 3*t**2 + 2*t - 1. Is 40 a factor of x(n)?
True
Let y = -12749 + 17765. Does 132 divide y?
True
Let x(v) = 9*v**3 - 3*v + 11. Let y = 14 + -12. Is x(y) a multiple of 7?
True
Suppose -62 = -8*v + 354. Suppose -v*d + 55*d = 459. Does 11 divide d?
False
Let l = -495 + 824. Suppose -7*n + l = -14. Is 2 a factor of n?
False
Suppose -100 = -3*z - 2*z. Suppose -20*f = 582 - 2. Let y = z - f. Does 7 divide y?
True
Let c(k) = k**3 + 17*k**2 + 23*k + 25. Let g(u) = u**2 - 10*u + 4. Let a be g(8). Is 14 a factor of c(a)?
False
Suppose 10*x = 4*h + 6*x - 30184, 0 = 4*h + 3*x - 30226. Is 128 a factor of h?
True
Suppose -4*f - 4*i - 20 = -0*i, -20 = 4*i. Suppose f = -6*s + 103 - 25. Suppose s*l - 4*l - 504 = 0. Does 28 divide l?
True
Suppose 3*t = 13*t + 34*t - 48136. Is t a multiple of 2?
True
Suppose r - 339 - 32 = 0. Suppose r = 4*g - 41. Does 2 divide g?
False
Suppose 0 = p - 4*j - 16, 0 = 2*j - 4*j - 6. Suppose -1368 = -4*u - p*a, 0 = -u - 0*u + 2*a + 333. Is 40 a factor of u?
False
Suppose 0 = -2*p + 23*p - 24129. Does 10 divide p - -4*5/20?
True
Is 27 a factor of -7 - (528/(-352) + (-6349)/2)?
False
Let v be (-1 - 3)*(-9)/4. Suppose 5*p + 5*q = 60, -6 = -2*p - 5*q + v. Does 3 divide p?
True
Suppose -15*s - 727 = -5332. Suppose -s - 134 = -9*g. Is 49 a factor of g?
True
Let z(p) = 11*p**2 + 63*p + 11. Let q(a) = 4*a**2 + 21*a + 4. Let w(v) = -17*q(v) + 6*z(v). Does 16 divide w(2)?
True
Let t = 98 - 98. Suppose -468*l + 466*l + 658 = t. Is 47 a factor of l?
True
Suppose -9*l - 60*l = -17*l - 192660. Is 65 a factor of l?
True
Suppose -572*y + 270*y = -4615768. Is 115 a factor of y?
False
Suppose 3*c + 8 = i, 3*c = -4*i + 4 - 2. Let z be 0*(4/40 - i/(-5)). Suppose -7*r - 2*r + 1071 = z. Is 27 a factor of r?
False
Let z(c) = -100*c**2 - 43*c + 17. Let j(d) = 100*d**2 + 35*d - 14. Let t(f) = 5*j(f) + 4*z(f). Let x = 1 + 0. Does 12 divide t(x)?
False
Is 8 a factor of (-252961)/(-655) + 12/15?
False
Let k(h) = -3 + 1 - 4 + 8*h - 7*h. Let s be k(3). Is 26*(s + 4/1) a multiple of 10?
False
Suppose 0 = -37*f + 28*f + 94 + 2417. Does 31 divide f?
True
Let s = 2592 - 96. Suppose s + 7808 = 46*m. Is 14 a factor of m?
True
Suppose 0 = -7*s