- 134. Is 6 a factor of (j*(-3)/24)/(13/(-13676))?
False
Suppose -30 = -3*t - j, -4*t = -5*j - 76 + 17. Suppose t*l = -0*l. Is (-3 - -2)*l + 5 + 151 a multiple of 13?
True
Suppose 0 = 4*x - 304 - 992. Suppose 14*b - 10*b - x = 0. Is 27 a factor of b?
True
Suppose -2*g + 70 + 16 = -5*a, 5*g = 5*a + 185. Let i(b) = 3 - 4 - 12*b + g*b. Is 20 a factor of i(1)?
True
Suppose -4*y + 5*h = -32118, 1721*y - 3*h = 1718*y + 24093. Does 120 divide y?
False
Suppose 8*v - 5*v = 15. Suppose 13*q = v*q + 1096. Let b = 210 - q. Is b a multiple of 7?
False
Suppose a = 4*p + 1665, -5*p = a - 3*p - 1683. Suppose 2*q + 5*u - 667 = 0, -13*q + a = -8*q + 3*u. Does 24 divide q?
True
Let d = -304 - -1656. Is d a multiple of 52?
True
Let h(r) = r**3 + 3*r**2 - 4*r + 2. Let b be h(-4). Suppose -12*i + 19 = -401. Suppose b*t - i = 245. Does 9 divide t?
False
Let r be 21/(-1*(1 + -2)). Let k be 267*(-10)/(-9)*r/14. Suppose k + 115 = 5*x. Is x a multiple of 8?
True
Let i(m) = m - 225. Let t be i(-40). Let l = t + 363. Is 7 a factor of l?
True
Let d(k) = -k - 16. Let o be d(-3). Let c(p) = -20*p - 51. Let y be c(o). Suppose -3*q = 2*i - 189, 2*i - 2*q = -25 + y. Is 26 a factor of i?
False
Let g = -322 + 325. Suppose 5*l + k - 760 = g*l, -2*l = -5*k - 736. Does 21 divide l?
True
Let v(t) = 155*t**2 - 4*t + 1. Let i be v(-3). Suppose 29*x = 24*x - 2*m + 4, 4*m - 8 = -x. Suppose s - 12*s + i = x. Does 15 divide s?
False
Let r be 2*(-4 - (-1 + 3/(-6))). Let d(g) be the first derivative of g**4/4 + 8*g**3/3 + 5*g**2/2 + 13*g + 25. Is 7 a factor of d(r)?
True
Suppose 4*q - 8*q = 2*b - 12, 2*b - 30 = 5*q. Suppose 18598 = 24*t + b*t. Is t a multiple of 32?
False
Let l(o) = 149*o + 1130. Is 14 a factor of l(49)?
False
Let i be (-170)/((-108)/26 - -4). Suppose -i = -21*m + 9059. Does 22 divide m?
True
Let y be (-2)/(-6) - (-168)/63. Suppose -2*v = 5*l - l - 186, l - y*v - 36 = 0. Does 5 divide l?
True
Suppose 0 = -4*c - 1 + 13, 33971 = 5*g - 3*c. Is 18 a factor of g?
False
Let b(z) = z**2 - 7*z - 36. Let p be b(11). Let a = 13 - p. Does 14 divide (a - -1)*245/10?
False
Let k be -14 + (8 - (-12)/(-3)). Let v(c) = c**3 + 10*c**2 - 2. Let a be v(k). Is 17 a factor of 4 + 106*a/(-4)?
False
Suppose -3*q + 13 = -2. Suppose -4*y = -2*l + 3*l - 7, -4*y - 59 = -q*l. Suppose -3*m + l*m = 1512. Does 27 divide m?
True
Let p(m) = -11*m**3 + 5*m**2 - 2*m + 1. Let s(w) = -23*w**3 + 9*w**2 - 3*w + 2. Let t(h) = -11*p(h) + 6*s(h). Suppose -717 + 711 = 3*z. Does 13 divide t(z)?
False
Suppose -17 = -t - 5*x, -3*t = 4*x - 6*x. Suppose 1024 = 4*n + 4*j, -5*n + 5*j + 1304 = t*j. Is n a multiple of 7?
True
Suppose -u = 3*l - 6863, -14*l - 4*u + 3*u = -32042. Is 357 a factor of l?
False
Let t = 530 + -488. Does 7 divide 39976/84 + ((-80)/t - -2)?
True
Let j be (-148)/(-5) + (5 - (-196)/(-35)). Let s = j - -27. Is (s/14)/((-8)/(-22)) a multiple of 11?
True
Let h(l) = 30*l**2 - 5*l + 10. Suppose a + 1 = 3*n - a, -2*n + 14 = 2*a. Suppose n*w = 5*w + 5*k + 21, 0 = -5*w - 5*k - 15. Does 12 divide h(w)?
True
Suppose 93*j + 204536 = 265378 + 409552. Is 50 a factor of j?
False
Suppose 0 = 6*v + 2*v + 6*v. Suppose -l - f + 922 = v, 0*l - 5*f = 4*l - 3683. Is 16 a factor of l?
False
Let f(h) = 2*h**2 - 9*h + 169. Let r be f(15). Let k = r + -304. Does 3 divide k?
True
Let b be -3 + -4 + -1*(2 - 3). Let d be (8/b)/(4/(-6)). Suppose -6 = -u + d*i + 3*i, -12 = -2*u + 3*i. Is u a multiple of 4?
False
Let g = -747 + 2851. Let i = g + -1158. Does 44 divide i?
False
Suppose -211 = -3*a - 2*k + 74, 0 = 2*k - 6. Let w = -301 + 425. Suppose 0 = -4*d - 3*q + a, -5*d + q = -3*q - w. Is 24 a factor of d?
True
Suppose 31*o - 38*o = -42. Let c be (-1)/6 - (-6757)/o. Suppose -8*f + c = -170. Is 27 a factor of f?
True
Let a(p) = -p**2 - 8*p + 21. Let m be a(12). Let z = m - -253. Is z a multiple of 3?
False
Let t be (-9)/(-6)*(-5 + 248/24). Suppose -t*s - 44*s + 4472 = 0. Does 2 divide s?
True
Suppose 3*h + 1586 = -i + 8833, h = -5*i + 36249. Is 39 a factor of i?
False
Let q = 335 - 559. Let o = q - -392. Is o a multiple of 21?
True
Suppose -2*z = z - 2067. Let t = z + -350. Let d = t - 194. Is 32 a factor of d?
False
Let c be (2/4)/(7/2170). Let n = -130 + c. Is 4 a factor of n?
False
Let i(n) = -67*n - 1761. Does 9 divide i(-42)?
True
Does 10 divide 14/140 - (-5 + 71547/(-30))?
True
Let m(z) = 12*z**2 + 71*z - 469. Is 44 a factor of m(7)?
True
Suppose k - 269 = -n, 2*n - 3*k + 542 = 4*n. Let d = n - 223. Does 6 divide d?
True
Let w be (2/(-5)*-6)/((-57)/190). Does 10 divide w + 1 + 4 - -65?
False
Let x = 16480 - -7124. Is 12 a factor of x?
True
Let a(g) = 771*g - 2555. Is 2 a factor of a(7)?
True
Let i(c) = c**2 + 131*c + 288. Is i(0) a multiple of 70?
False
Let p be (175/(-15))/((-3)/(-54)). Let q = p - -346. Is 5 a factor of q?
False
Suppose -287 = -i - 3*c + 42, -1681 = -5*i - 3*c. Let w = -142 + i. Does 14 divide w?
True
Let q(a) = 2*a + 4. Let n be q(-2). Let v be (0 + n + 1)*3. Let u(m) = 45*m - 5. Does 22 divide u(v)?
False
Suppose 120*r - 119*r = 4. Is r/(5 - 4)*(-70)/(-1) a multiple of 20?
True
Let y = 5 + -10. Let n be ((-354)/(-236))/((-3)/8). Is 19 a factor of (-94 + -1)*((n - -8) + y)?
True
Let p be (5/(-6))/(((-4)/(-24))/(-1)). Suppose -3*t = p*j - 850, 10 = 4*t - 2*j - 1132. Is 19 a factor of t?
True
Let b(p) be the first derivative of 2 - 35/2*p**2 + 7*p - 5/3*p**3. Is b(-7) a multiple of 4?
False
Let s(z) = -401*z - 1381. Is s(-41) a multiple of 207?
False
Let y be (-3)/18 + (-1690)/(-60). Let w = 160 - y. Is 22 a factor of w?
True
Let y(v) = 2*v**2 - 9*v - 6. Let s be y(6). Does 12 divide (-15)/(-90) + 9382/s?
False
Let s(f) = f**3 - 48*f**2 + 60*f + 42. Is 17 a factor of s(58)?
True
Let u = 1734 - 1630. Is u a multiple of 4?
True
Let t(u) = 17*u - 179 - 79 - 35 + 10. Does 13 divide t(22)?
True
Let k = -11 + 14. Suppose k*q = 3*m - 24, -3*m + 7*m + 85 = -5*q. Let a = q - -64. Does 6 divide a?
False
Let l(i) = i**3 - 11*i**2 - 12*i + 8. Let s be l(12). Suppose 15*w = s*w + 2275. Does 65 divide w?
True
Suppose -5*p = -v - 30001, 5754 = -4*p - 3*v + 29751. Does 80 divide p?
True
Suppose -30*b = -22473 - 20307. Does 13 divide b?
False
Let y(p) be the first derivative of -p**3/3 - 4*p**2 - 8*p - 26. Let x be y(-6). Suppose 5*c + 235 = 5*f, -3*f - x*c + 140 = -6*c. Is f a multiple of 12?
False
Let w be (-2*(-261)/(-6))/(4/(-20)). Suppose -9*v - w = -6*v. Let g = v - -262. Is g a multiple of 15?
False
Suppose s = -x + 1690, 4*s - 2*s + 4*x - 3388 = 0. Suppose 5*t - 3*d = 2094, 4*t + d = -2*d + s. Does 9 divide t?
False
Suppose 5*l = 3864 + 3356. Suppose -5*v = 2*q - l, 5*q + 1430 = 3*v + 2*v. Is 4 a factor of v?
True
Let z be 6/15 - 369/(-15). Is (-42)/(-35) + 3370/z a multiple of 32?
False
Let y(t) = 8*t**2 + 64*t + 5. Let k be y(-8). Suppose -b - k = 0, 3*h = -h - 2*b + 1370. Does 17 divide h?
False
Let y(u) = -6*u**3 - 4*u**2 - 21*u - 10. Let h be y(-5). Suppose -v + 4*m + 23 = -h, -5*m + 3840 = 5*v. Is v a multiple of 16?
True
Suppose -4*n - f = -69, 5*f + 11 = 2*n + 4. Suppose -n*d - 232 = -i - 20*d, 0 = 3*i + d - 707. Is 2 a factor of i?
True
Let w(x) = x**3 + x**2 - 9*x + 13. Let j be w(8). Let u = j + -84. Does 15 divide u?
False
Let w(i) = i**3 - i + 8. Let m be w(5). Suppose 4*z = 0, 4*o - z - m = -5*z. Suppose -2*f + 3*j = -2 - o, j - 82 = -4*f. Is 10 a factor of f?
True
Let a(l) = l - 1. Let r(h) = -21*h + 20. Let i(p) = -2*a(p) - r(p). Let v be i(11). Suppose n - 561 = -2*n + 3*o, n + 3*o = v. Is n a multiple of 13?
False
Let d(h) be the third derivative of 0 + 8*h**2 + 0*h - 11/12*h**4 - 1/2*h**3. Is d(-4) a multiple of 17?
True
Suppose 0*u - 40 = -5*u. Suppose u*j - 671 - 97 = 0. Is 12 a factor of j?
True
Let i(g) = 39*g**2 + 45*g + 10. Let o be i(-3). Suppose -2 + 0 = 5*w + 2*s, -4*w = 4*s + 4. Suppose 2*q - o - 30 = w. Does 32 divide q?
True
Let i be (-1)/(12/3824)*15/(-10). Suppose -4*x = -2*j - 0*j - i, -460 = -4*x - 4*j. Is x a multiple of 14?
False
Let h(f) = -2726*f - 4065. Does 55 divide h(-8)?
False
Let c = 18447 - -453. Is 20 a factor of c?
True
Suppose -549 = 5*d - 3554. Suppose -3*u = -5*k - d - 174, -u - k + 253 = 0. Is u a multiple of 32?
False
Suppose -46508 = -w + 43*s - 41*s, 2*s = 5*w - 232492. Is w a multiple of 74?
False
Let g(u) be the first derivative of -2*u**2 + 112*u + 31. Is 