 + 479 = a. Does 29 divide w?
False
Suppose -j + 458 - 530 = -4*v, 2*j + 3*v + 89 = 0. Suppose 2*t + 52 = t - 3*q, -60 = 2*t - 5*q. Let d = t - j. Is 12 a factor of d?
True
Suppose 8*x - 2164 = 2492. Suppose -x*q + 16796 = -569*q. Does 34 divide q?
True
Let y(r) be the first derivative of -r**4/4 + 22*r**3/3 + r**2 + 32*r - 89. Does 76 divide y(22)?
True
Let y = 49614 - 30030. Is y a multiple of 27?
False
Let m be 3 - (-4 + 5)*90. Let g = m + 166. Let s = -11 + g. Is 18 a factor of s?
False
Suppose -13*m + 4501 = 1121. Let i = 628 - m. Does 18 divide i?
False
Suppose 0 = -4*t - 4*z + 11544, 7*t + 3*z - 11548 = 3*t. Let f = t + -1945. Is f a multiple of 9?
True
Let b(v) = 21*v + 6. Let u(o) = 17*o**2 + 29*o - 8. Let j(n) = -4*n**2 - 7*n + 2. Let t(i) = -26*j(i) - 6*u(i). Let d be t(-5). Does 11 divide b(d)?
True
Suppose -20*c + 16*c = 3*r - 661, 3*r - 5*c = 679. Is r a multiple of 15?
False
Suppose 90 - 26 = 8*b. Suppose -b*c + 1214 - 270 = 0. Does 59 divide c?
True
Let t(j) = 145*j**3 + j**2 - 3*j + 6. Let d be t(2). Suppose -8*n + 5*n - d = -5*y, 0 = -4*y + 2*n + 930. Is y a multiple of 7?
True
Let m = 15986 + -15768. Does 7 divide m?
False
Let t(f) = -f**3 + 3 + 10*f**2 - 2 + 0. Let s(k) = k**3 + 15*k**2 + 44*k + 9. Let u be s(-11). Does 11 divide t(u)?
False
Suppose 9*f + f = -10*f + 61460. Does 7 divide f?
True
Let u(n) be the third derivative of -13*n**4/24 + 4*n**3 + n**2 + n. Does 49 divide u(-20)?
False
Let z(k) = 88*k**2 - 226*k + 20. Is 16 a factor of z(-6)?
True
Suppose -8*i = -i - 427. Suppose 0 = -5*t - 21 + i. Suppose 0 = a + t - 80. Is a a multiple of 9?
True
Suppose -132030 = -17*j + 48578. Is 128 a factor of j?
True
Let r(z) = 8*z + 14. Suppose -7*l - 16 = -3*d - 3*l, 0 = 2*l - 10. Let m be (40/d)/((-12)/(-18)). Does 9 divide r(m)?
True
Suppose -2*f - 109*n + 104*n + 6125 = 0, 4*f + 2*n = 12210. Is f a multiple of 10?
True
Suppose f = -3*f - 2*y + 1020, -5*f = -3*y - 1264. Suppose 3*u = -f - 7. Let p = u - -224. Is 30 a factor of p?
False
Suppose 2*a - 904 = -4*r, 924 = 4*r + 40*a - 43*a. Does 6 divide r?
True
Let q be 1*(1 - (0 - 0))*-14. Does 27 divide (3/((-21)/q))/(2/286)?
False
Let s = -102 - -284. Suppose s + 268 = 5*g. Does 14 divide 3 - (g/(-3) - 0)?
False
Let y = 99 + -68. Let d = 143 - y. Does 31 divide d?
False
Suppose -4*k = 3*i - 15, 4*i - i + k - 15 = 0. Suppose -4*b + 6 = -b, -35 = -z + i*b. Is 5 a factor of z?
True
Let l(v) = v**3 + 5*v**2 + 2*v - 3. Let m be l(-3). Let y(j) = j**3 + j**2 + 2. Let c be y(0). Is (7 - (-6 + m))/(c/67) a multiple of 39?
False
Let u be (50/(-20))/((-1)/2). Suppose -u*h - 2*h - 77 = 0. Let n(c) = c**3 + 11*c**2 - 5*c - 3. Is 35 a factor of n(h)?
False
Suppose -9*o + 12*o - 45 = 0. Let x(n) = -n**3 + 16*n**2 + 10*n + 17. Is 28 a factor of x(o)?
True
Let j = 2142 - 2138. Suppose 0 = -5*d - 5*i, i - 5 + 23 = 5*d. Suppose -d*b = 0, j*t = -0*b - 4*b + 136. Is t a multiple of 17?
True
Let d(a) = -6*a**3 - 3*a. Let f be d(-3). Suppose -2*p - 483 = -5*u - 479, p + 5*u - 58 = 0. Does 6 divide 5339/f - 4/p?
False
Let c = 13109 - -1491. Suppose -25*p + c = -5*p. Does 103 divide p?
False
Let j be (-5)/5*719 - 5. Let f = -167 - j. Is f a multiple of 31?
False
Is 13 a factor of (-2 - (-45)/25) + (-34323)/(-15)?
True
Let g(z) = -14*z**2 + 3*z - 2. Let p be g(1). Does 3 divide p/((-52)/96) + 1 - 0?
False
Let k(f) = 105*f - 46. Suppose -t - 3*x + 4*x + 1 = 0, 4*t = 3*x + 5. Is k(t) a multiple of 6?
False
Suppose -20*t - 16959 = -48159. Is t a multiple of 6?
True
Let x be 12/(-9)*(-3)/2. Suppose -x = -4*m + 5*m. Does 9 divide (114/285)/(0 - m/90)?
True
Suppose 15*s - 23952 = 13533. Does 17 divide s?
True
Let f = 345 - 347. Is 43 a factor of (210 - -5) + 0/f?
True
Suppose 4*k = 32 + 12. Suppose -k*b = -80 - 481. Is b even?
False
Is 62 a factor of 6 + -118*159/(-3) + 2?
True
Suppose 5*x = z + 112 + 48, -4*x = -3*z - 491. Is 2 + 72/(-33) - 36330/z a multiple of 25?
False
Let d(s) = 14*s**2 + 3*s + s**3 + 4*s**2 - 6*s**2. Let g = -81 + 72. Does 24 divide d(g)?
True
Suppose 1602 = -3*b - 5*o, 4*o + 725 = -5*b - 1945. Let l = 806 + b. Is l a multiple of 28?
False
Let i(l) = 17*l**3 + 4*l**2 + 27*l - 84. Is i(9) a multiple of 87?
True
Suppose 5*b + 30 = 0, -o + 359*b - 360*b + 12435 = 0. Is 11 a factor of o?
True
Let o = 190 - 173. Does 26 divide (-7 - -2) + 4505/o?
True
Let x = -125 - -70. Let d = x + 60. Suppose 0 = 3*k + d*g - 95, -2*k - 3*k = -g - 121. Does 4 divide k?
False
Let u(h) = -h**3 + 21*h**2 + 23*h - 19. Let p be u(22). Suppose -p*g = -24*g + 8190. Is 10 a factor of g?
True
Let y(b) be the second derivative of b**3/3 + 181*b**2 - 37*b. Does 12 divide y(0)?
False
Let i = 1597 - 765. Is i a multiple of 6?
False
Let p(o) = o**2 + 6*o - 5. Let r be p(1). Suppose -r*k = 5*w + 36, 5*w + 0 = 2*k - 4. Is 20 + ((-12)/3 - k) a multiple of 14?
False
Suppose 8 = -10*z + 14*z. Let f(s) = 74*s**2 - 3*s. Is 58 a factor of f(z)?
True
Suppose 77*h - 202*h + 3428200 + 1580050 = 0. Is h a multiple of 299?
True
Suppose -3*m = 2*b - 15, -29 = -5*m + 5*b + 21. Suppose -3*w + m*w + 12 = 0. Let i(j) = -22*j - 3. Is i(w) a multiple of 14?
False
Let g be (-1 - 0)*78/(-26). Is 10 a factor of 711 - (0 - (g - 8))?
False
Let b be ((-4)/(-10))/((-8)/(-40)). Suppose -2*o + 0*r = -2*r - 260, -2*r = b*o - 264. Suppose -o = -k + 58. Is k a multiple of 27?
True
Suppose 123 = 4*u + 7. Suppose -34*d = -u*d - 25. Is 6 a factor of 498/15 + (-1)/d?
False
Suppose -7*u + 35*u - 159102 = 21218. Is u a multiple of 92?
True
Let w be 0/1*22/(-44). Suppose -7*n + 8 - 50 = w. Let h(s) = -s**3 - 4*s**2 + 3*s + 10. Is h(n) a multiple of 32?
True
Suppose 2*s - 1448 = 1166. Suppose 993 + s = 10*b. Does 10 divide b?
True
Suppose 0 = 9*d - 4*d - 210. Let r = d - -189. Does 54 divide r?
False
Suppose 45 = -5*p + 60. Let s be -5*(-1 + 48/(-15)). Does 39 divide (-101 + s/(-7))*p/(-4)?
True
Let s(z) = -2*z**3 - 11*z**2 + 4*z - 12. Let b be s(-6). Suppose b = n + 4, -4*c - 2*n + 52 = 3*n. Is 4 a factor of (1 - 23)*(-9)/c?
False
Let o be (-1)/(36/(-546)) - (-2)/(-12). Suppose -4*z + 4*k + 156 = 0, 12*k - o*k - 6 = 0. Is 3 a factor of z?
False
Let l be (10505/10 - -5) + 4/8. Suppose -54*y + l = -52*y. Is 16 a factor of y?
True
Suppose -3 = k + 128. Suppose 4*a + 310 = -2*z, -4*a = 3*z + 2*z + 313. Let u = a - k. Does 27 divide u?
True
Suppose 73*l = 69*l + 2656. Suppose 284 = 6*c - l. Is 18 a factor of c?
False
Let n = -4514 - -7723. Is n a multiple of 75?
False
Suppose 5*r - 14846 - 18761 = 17873. Is r a multiple of 99?
True
Suppose -2*x - 108 = 3*p - p, -5*x = 3*p + 162. Let u be (-1)/(-2)*p + 4. Let h(z) = z**2 + 22*z + 26. Is h(u) a multiple of 7?
True
Is (11 + 12375/(-44))/((-2)/(-4))*-2 a multiple of 23?
True
Let o(u) = -647*u - 212. Is 171 a factor of o(-22)?
True
Let w(t) = -t**2 - 7*t - 25. Let b be w(-10). Is 24 a factor of (-1882)/(-10) + b/275?
False
Let d(n) = -13*n**2 + 16*n - 81. Let m(g) = 3*g**2 - 4*g + 20. Let s(u) = 2*d(u) + 9*m(u). Let t be s(-17). Suppose -4*f = -89 - t. Is 20 a factor of f?
False
Let a be (-3 + -1)/(-11 - (-11 - 2)). Let f(x) = -372*x + 11. Is 22 a factor of f(a)?
False
Let c be (-14)/140 - (-4971)/10. Let g = c - 267. Is 15 a factor of g?
False
Suppose 34*g = -7*g - 9*g + 1434100. Is g a multiple of 20?
False
Let a(p) = -8*p**3 - 11*p**2 + 9*p + 35. Is a(-8) a multiple of 55?
True
Let z be 1/2 + (-1150)/(-4) + -1. Let i = z - -271. Suppose 7*y - i - 128 = 0. Does 21 divide y?
False
Let r(x) = 6*x**2 + 2*x - 23. Let j(y) = -3*y**2 - y + 11. Let k(n) = -5*j(n) - 2*r(n). Let g be k(9). Let v = g + -130. Is 12 a factor of v?
False
Let k(b) = 12*b + 241. Let z(g) = 3*g + 60. Let t(p) = 2*k(p) - 9*z(p). Let i be t(-16). Let v(a) = -2*a + 14. Is v(i) a multiple of 10?
False
Let j = 18101 - 10291. Is j a multiple of 7?
False
Let g(u) = 1. Let m(f) = f - 21. Let y(j) = 6*g(j) - m(j). Let n(r) = -2*r - 1. Let i be n(-5). Does 9 divide y(i)?
True
Suppose 128*h + 123*h - 69*h = 899080. Is 67 a factor of h?
False
Let c = -314 - -589. Does 6 divide 150/(-225) - (c/(-3) + -1)?
False
Is 411267/24 - (950/240 + -4)*-3 a multiple of 6?
True
Let r(g) = -g**3 - 37*g**2 + 32*g - 375. Does 20 divide r(-39)?
False
Let u be (9/((-72)/(-4)))/((-3)/(-114)). Suppose 0*v - 32148 = -u*v. Does 81 divide v?
False
Let m be (-21)/(-35) - 2*(-1