5/30)*30/9. Is 4 a factor of t(f)?
True
Let t = 7 - -10. Let d = -13 + t. Suppose -3*c + 327 = 5*o, -141 = d*c + o - 594. Does 38 divide c?
True
Let c = -7043 - -8128. Is c a multiple of 35?
True
Let g(a) = 4*a**2 + 78*a - 126 - 16*a - 28*a. Is g(4) a multiple of 4?
False
Suppose 0 = 2*j + 2*j - 8. Let q be (-2052)/(-28) - j/7. Suppose q = 3*b - 80. Is 13 a factor of b?
False
Suppose -4*q = 3*x - 2948, 4*q - 2203 - 745 = -5*x. Does 5 divide q?
False
Let f = 94 - 55. Suppose 0 = -c + 321 - f. Suppose 5*v - 3*y + 7*y - c = 0, 286 = 5*v + 2*y. Is 22 a factor of v?
False
Suppose 0 = 2*y + 5*y + y. Suppose y = 3*h - 79 + 13. Is h a multiple of 2?
True
Suppose 2*m - 9*m = -231. Suppose -36 - m = -3*a. Suppose 17*n + 138 = a*n. Is 11 a factor of n?
False
Does 3 divide (-512)/(-18 + 320/18)?
True
Let j(q) = q**3 - 75*q**2 - 220*q + 104. Does 28 divide j(80)?
True
Let q(g) = -g**2 + 2*g + 22. Let s be q(9). Let m = s + 41. Does 3 divide (1/(-3) - m)/((-21)/2835)?
True
Suppose -4*q + 7150 = 2*z, -2*z = -3*q - 2615 - 4535. Does 55 divide z?
True
Let m be 531/2 - 0 - 89/178. Suppose 1190 = m*r - 260*r. Is r a multiple of 34?
True
Suppose 7070*d - 7052*d = 5040. Is d a multiple of 4?
True
Let h(y) = -19*y + 2057. Is h(-62) a multiple of 37?
False
Suppose 186768 = -31*t + 47*t. Suppose -t = -53*l + 2743. Is 4 a factor of l?
True
Suppose -15 = -3*h + 3*w, -18 = 7*h - 10*h + 4*w. Suppose -2*s - l = -333, 4*l - h*l + 510 = 3*s. Is 9 a factor of s?
False
Let j(c) = 3*c**2 + 5*c - 48. Let v be j(6). Let o = 235 + v. Is 13 a factor of o?
True
Suppose -2*k - 3*f + 3 = 4, -4*k - f = -23. Let j(u) = 7*u**2 - 27*u + 14. Is j(k) a multiple of 42?
True
Let j(t) = -139*t**3 + t**2 - 16*t + 33. Does 29 divide j(-6)?
True
Let z = -14827 - -14831. Let v = 452 + -161. Suppose 2*x - v = -5*u, -4*x = -z*u - 296 - 216. Is 51 a factor of x?
False
Suppose 59*i + 101400 = 5*u + 55*i, 0 = 9*u - 5*i - 182520. Is u a multiple of 40?
True
Suppose 0 = 3*g - 9, 8*l - 3*l = 2*g + 49. Suppose -3*d - l = 22. Is (84/22 - 4)*d even?
True
Let y(v) = 1 + 8*v**2 - 9 - v + 13 - v**3 + 8. Let b be y(8). Suppose -297 = -b*x + 3*s, 3*x - 5*s = 72 + 103. Does 12 divide x?
True
Suppose 3*h = -w + 422 + 573, 4*w = 2*h - 640. Suppose -7*o = -27 - h. Suppose -u + o = i - 66, -5*u - 2*i = -594. Does 18 divide u?
False
Let v be 1/(-4)*-5*(-396)/(-99). Let n be -146*12/(-16)*2. Suppose o + 975 = 6*a - a, -v*o - n = -a. Is a a multiple of 12?
False
Let k(w) = -w**2 - 41*w + 100. Does 36 divide k(-37)?
False
Suppose 22 = 5*a + 4*d, -3*d + 4*d = 4*a - 5. Suppose -3*h = 2*x - 22, 0 = -2*x + 2*h - 2 + 4. Suppose 5*z = 15, -a*z = f - x*f + 386. Does 21 divide f?
False
Let a be -6*(-8)/48*2. Suppose a*o = 5*u - 940, 7*o + 185 = u + 6*o. Is 4 a factor of u?
False
Let f(g) = 3*g**3 + 21*g**2 + g + 10. Let u be f(-7). Suppose -3*a + 8*a = u*o - 1253, 4*o - 4*a - 1668 = 0. Does 16 divide o?
True
Let c = -292 + 310. Let x = c - 13. Does 5 divide x?
True
Suppose -5*q - 3*r = 39 - 4332, 0 = -3*q - r + 2575. Does 11 divide q?
True
Let v(p) = -14*p**3 + 21*p**2 - 30*p + 19. Is v(-11) a multiple of 10?
False
Let i = -1315 - -5631. Is 52 a factor of i?
True
Let i(x) be the first derivative of -53*x**2/2 + 28*x + 148. Is i(-7) a multiple of 7?
True
Let s(c) = -18*c + 62. Let v be (1/2)/((-2)/40). Is 11 a factor of s(v)?
True
Suppose 7*n - 10639 = -1770. Let g = n + -819. Does 68 divide g?
False
Let l = 57 - 32. Let s(g) = g**2 - 17*g - 46. Does 14 divide s(l)?
True
Does 10 divide (-7 - (5931 - -3))*(7 + -8)?
False
Is 26 a factor of (-1 + -21057)/(-10*(-17)/(-170))?
False
Let x be (20/(-3))/((-34)/51). Let u = x - -1238. Does 52 divide u?
True
Suppose -2*z + 30760 = 2*w, 4*z = 3*w - 52941 + 6857. Is w a multiple of 7?
True
Let m(j) = j**3 + 6*j**2 - 8*j - 3. Let l be m(-8). Let o = 108 + l. Is o a multiple of 41?
True
Let v(h) be the first derivative of -h**4/4 + 13*h**3/3 - 7*h**2/2 - 21*h - 24. Let k be v(9). Suppose -2*b + k = -0*b. Is 30 a factor of b?
True
Is 30 a factor of 380/((-36)/(-108) + (-10)/34)?
True
Let g(m) be the first derivative of -2*m**3/3 - 23*m**2/2 + 17*m + 14. Let f be g(-12). Does 8 divide 130/f + -3 + 1?
True
Suppose -5*s - 2*f - f + 27 = 0, 0 = s - f - 7. Suppose 0 = -z - 4, -4*y - 3*z - s = 6. Does 4 divide (-1 - (y - 2)) + 3?
True
Suppose 2*h - 11908 = -2*h + 2*l, 2*h = -4*l + 5964. Suppose -24*v = -3406 - h. Is v a multiple of 23?
False
Suppose 4*m - 5*m = -5*m, -1950 = -2*f + 4*m. Does 39 divide f?
True
Let z = 44 - 39. Suppose 2*b = -z + 5. Suppose l = -3*a + 2*a + 117, 5*a + 15 = b. Does 24 divide l?
True
Is (7/((-98)/(-660)))/((-662)/(-32438)) a multiple of 3?
True
Let v(s) = s + 2. Let o be v(0). Suppose -4*y = 6*w - o*w - 12, -4*y - w + 24 = 0. Suppose g = 0, -3*g + 315 = 5*i - y*g. Is i a multiple of 9?
True
Let j(u) = u**2 - 16*u - 5. Suppose -30*x - 90 = -20*x. Let b be j(x). Suppose -80 = -2*c + 2*n, 0*c = -5*c - 5*n + b. Is c a multiple of 3?
True
Suppose 0 = 2*y - 3*p - 9, y - 4*p - 11 = 1. Suppose -4*k + 18 = -k. Suppose y = k*n + 164 - 488. Is 9 a factor of n?
True
Suppose -3*r = -11*r - 280. Is 29 a factor of (-812)/r*5/(-3)*-6?
True
Suppose -4*m - t = -100, -4*m = 5*t - 60 - 56. Suppose m*z - 3508 = 4604. Is z a multiple of 26?
True
Let v(p) = 3*p + 84. Let t be v(-17). Suppose 0 = 4*r + 37 + 75. Let f = r + t. Is f even?
False
Let j = 9 - 15. Suppose -168*o + 4*q - 862 = -167*o, q = o + 853. Is 12 a factor of o/(-35) - 0 - j/(-21)?
True
Let w(x) = 1031*x - 920. Is 9 a factor of w(4)?
True
Let a(c) = 20*c + 19. Let z be 119/11 + 26/143. Let x be a(z). Suppose -5*n + 46 + x = 0. Is n a multiple of 19?
True
Let r be 8/16*-118*1. Let x = r + 209. Let z = x - -126. Is 46 a factor of z?
True
Suppose 12*w + 0*w = 2964. Suppose 156 = d - 3*b, -2*b + w = 3*d - 166. Is 28 a factor of d?
False
Let i = 3266 - 1896. Is 6 a factor of i?
False
Let w(a) = a**2 - 3*a - 2638. Is w(-98) a multiple of 33?
True
Let y(o) = -o**3 + o + 3*o**2 - 13 + 3*o + 10*o**2. Suppose 4*d - 5*k - 37 = -10*k, 3*d - 4*k = 51. Is 8 a factor of y(d)?
False
Is 25 a factor of (-104)/(-72) - 1 - (-917274)/54?
False
Suppose o + 8*z = 4*z + 63, -2*z - 216 = -4*o. Is 68 a factor of (-32)/(-12)*(-5 + o + 1)?
True
Let w be ((-1)/(-6)*2)/(44/(-660)). Let t be (w/3)/((-1)/3). Suppose -t*c + 223 = -177. Is 16 a factor of c?
True
Let b(n) = -4*n - 36*n + 24 + 16. Let y be b(-7). Suppose 2*k - y = -3*k. Does 24 divide k?
False
Let g = -194 - -230. Suppose 0 = -g*o + 187 + 1937. Does 2 divide o?
False
Suppose -224 = -3*x + 145. Suppose -4*o = -h + x, 0 = 2*h - 0*o + 3*o - 213. Is 33 a factor of h?
False
Suppose -233 = 4*a - 245. Let m = 1 - -2. Suppose 1 - 126 = -5*u + a*l, m*u = -4*l + 46. Does 11 divide u?
True
Let k(z) = 5*z - 1. Let d be k(5). Suppose v - 4*h = h + d, 5*h + 25 = 0. Does 40 divide (v - 2 - -115) + -2*1?
False
Let z be (120/75)/(4*(-1)/(-590)). Let s = z + -21. Is 38 a factor of s?
False
Let q(c) be the second derivative of c**5/20 + 19*c**4/12 - 16*c**3/3 + 7*c**2/2 - 9*c + 2. Is q(-19) a multiple of 41?
True
Let q = 1503 - -12664. Does 31 divide q?
True
Let j(i) = -i**3 + 16*i**2 + i - 13. Let u be j(16). Does 33 divide (152/57)/(0 + u/297)?
True
Let x(y) = -5*y + 14. Let q(c) = -c. Let t(d) = -6*q(d) + x(d). Let w be t(13). Suppose -4*f - w = -g + 69, -80 = -g - 4*f. Is 18 a factor of g?
False
Let b = -22067 - -32759. Is 22 a factor of b?
True
Let q = 185 - -190. Suppose 900 = -q*j + 380*j. Is 10 a factor of j?
True
Let o = 12357 + -6765. Let h be (-4)/(-10) - o/(-20). Let b = -192 + h. Is 22 a factor of b?
True
Let o = -2415 + 3701. Does 13 divide (o + 2/2)*(-5)/(-15)?
True
Let y be (-30)/(-20) - 1/(-2). Let f(j) = -12 + y*j + 16 - 13*j. Is 20 a factor of f(-6)?
False
Let y = -181 - -185. Suppose 4*z - 3*g - 14 = 44, 0 = -z + y*g + 8. Is 8 a factor of z?
True
Does 143 divide -8 + (-9)/(-18)*36052?
True
Let g = 63 - 61. Let f be 2 - ((-5)/(-10) - (-1)/g). Is 9 a factor of (0 - f)/((-6)/216)?
True
Suppose 3*z - 22 = -13. Suppose 0 = z*j + 294 + 405. Let o = 527 + j. Does 42 divide o?
True
Let l(w) = 8*w**3 - 10*w**2 - w + 63. Let f(x) = -3*x**3 - 2*x**2 - x + 1. Let r(z) = 3*f(z) + l(z). Does 5 divide r(-16)?
True
Let r be ((-21)/14)/((-2)/((-64)/6)). Let u be -4*(3 - (-28)/r). Suppose 0 = -3*f + d + 196, 