e of 13?
False
Let r be (-9)/12 + (-76)/(-16) + -4. Suppose 3*y - 8*o + 3*o - 185 = r, 238 = 4*y + 2*o. Is y a multiple of 3?
True
Suppose 3*q = 5*y - 4*y - 35383, 3*q + 35381 = -y. Let r = q + 6414. Is r/(-24) + 2/(-12) a multiple of 28?
True
Does 30 divide 11 + (-35651)/(-21) - 8/(-6)?
True
Suppose -10*j - 4 = -8*j - 4*s, -j - 10 = -4*s. Suppose 132 = -j*f + 420. Is 12 a factor of f?
True
Let n be (-143)/33 - (-4)/(-6). Does 17 divide -306*n/15*1?
True
Let l = 85 - 85. Suppose 5*b - 7*b + 982 = l. Is 51 a factor of b?
False
Let l = -51 + 51. Suppose l*o - 5 = -o. Suppose o*v + 2*f = 3*f + 380, -4*f = 5*v - 355. Is v a multiple of 15?
True
Suppose -6 = -4*v + 2, 10996 = 5*x - 2*v. Is 22 a factor of x?
True
Let p be -2 + (-1 - -22)/3. Suppose 3 = 3*k - p*q + 71, -19 = k + 2*q. Is 7 a factor of 1/((-2)/k*11/22)?
True
Let k = 265 + -265. Suppose d + 7*c = 9*c + 13, 3*d - 4*c - 47 = k. Is 9 a factor of d?
False
Let b be -9*(5/5 + -2). Suppose 0 = -b*i + 4*i + 465. Let k = i + 30. Is k a multiple of 41?
True
Let z(o) = 452*o**2 + 92*o - 346. Is z(4) a multiple of 39?
True
Suppose -4*b + 0*b + 31782 = 5*j, -j = -2*b + 15870. Is b a multiple of 18?
True
Let h(b) be the second derivative of -3*b**3/2 - 57*b**2/2 - 32*b. Does 6 divide h(-13)?
True
Let p(s) = -s**3 + 1944 + 5*s**2 + s**2 + 4*s - 8*s**2. Let f be p(0). Suppose 0 = 6*t + 6*t - f. Does 27 divide t?
True
Let a(n) = -15*n**3 + 3*n**2 - 52*n - 148. Is a(-3) a multiple of 22?
True
Suppose -1110*i = -1075*i - 939575. Is i a multiple of 186?
False
Is 6251899/301 - ((-24)/(-21))/(-2) - 7 a multiple of 64?
False
Let k(m) = -16*m**2 + 2. Let q be k(-1). Let i = -66 - q. Is 12 a factor of i/65*220/(-1)?
False
Let o be (6/5)/((20/50)/1). Is o*3/(-9) + 312 + 7 a multiple of 12?
False
Suppose -4*x = -4*i - 56, 2*x - 5*i - 27 = -2*i. Suppose x*g + 4 = 16*g. Suppose g*t + 396 = 8*t. Is t a multiple of 16?
False
Let x = -599 - -351. Let u = x - -359. Is u a multiple of 4?
False
Let f(a) = 32*a + 26*a - 43 - 99*a. Is f(-6) a multiple of 2?
False
Let o = -457 - 199. Let i = o - -1283. Is 19 a factor of i?
True
Suppose -2*d = 4*o - 162, 4*d = -3*o + 439 - 105. Suppose -4*k + 3*r = -d - 71, 4*r = -2*k + 56. Is 11 a factor of k?
False
Let b(q) = q**3 + 9*q**2 + 2*q + 6. Let d(i) = i**3 - 6*i**2 + 4*i. Suppose 0 = 5*z + u - 23, -5*z - 2*u = 1 - 22. Let c be d(z). Is 24 a factor of b(c)?
True
Suppose 65 + 775 = 8*y. Does 41 divide y/14*1722/35?
True
Let y(r) = -r**3 + r - 10*r**2 - 8 - 6*r + 4*r. Let x be y(-10). Suppose 199 = x*m - 35. Is 13 a factor of m?
True
Let d(t) = -37*t + 264. Let j = -243 - -237. Does 18 divide d(j)?
True
Let x = -97 + -22. Let h = x + 9. Let t = 154 + h. Does 11 divide t?
True
Let v = -684 - -468. Let w = v - -552. Does 9 divide w?
False
Let r(t) = t**3 - 6*t**2 + 6*t - 7. Let h be r(5). Let i(k) = 0*k + 3 + 0 + 4*k + 2*k + 36*k**2. Does 15 divide i(h)?
True
Let m = -47 + 50. Suppose 0*p - o - 3 = -p, -m*p - 4*o = 12. Suppose 4*g = 3*z - p*g - 130, -3*z + 155 = g. Is 25 a factor of z?
True
Let z = -60 + 69. Let j be 1 - z/5 - (-481968)/(-240). Is 6/51 - j/119 even?
False
Let u(i) = -2769*i - 34. Let m(w) = -2768*w - 33. Let r(j) = -4*m(j) + 5*u(j). Let b be r(-14). Is (-2)/19 - b/(-228) a multiple of 34?
True
Let m = 4342 - -353. Is m a multiple of 7?
False
Suppose 0 = -7*n + 4 - 11. Let w be (7 + -6)*2*n. Is 20 a factor of (w + 14/3 - 1)*60?
True
Let y(k) be the first derivative of -k**4/4 + 6*k**3 - 7*k**2 - 29*k - 274. Is y(12) a multiple of 23?
True
Suppose 47 = -6*t + 137. Suppose -9*f - 39 = t. Is -1*(-26)/f*-3 a multiple of 4?
False
Suppose 3*c + 5 = 4*a, -3*a - c + 5 = -2. Suppose o + 4*o + 14 = -3*d, 4*o = -a*d - 10. Is 23 a factor of -1 + 6 - 4 - 24/o?
False
Let y(q) = 19*q**3 + 266*q**2 - 36*q + 11. Is y(13) a multiple of 22?
True
Is 2/7 - 4964/(-511) - -2033 a multiple of 7?
False
Let o(q) = 5*q - 2. Let l be o(3). Suppose -2*t = 10, 0*c = 3*c + 5*t - 5. Suppose l*s = c*s + 54. Is s a multiple of 9?
True
Let h = 695 - -4273. Is h a multiple of 108?
True
Suppose 11*d - 146 + 163 = 3394. Is d a multiple of 69?
False
Let a(u) = 111*u**2 + 46*u - 38. Does 6 divide a(8)?
True
Let v(b) = -4*b**2 + 16*b + 40. Let c be v(-14). Let a = c + 1364. Is a a multiple of 22?
True
Suppose 3129466 = -141*j + 380*j. Does 39 divide j?
False
Let z be (-44)/(-6) + (1 - 8/(-12)). Does 29 divide ((-849)/z + 3)/((-2)/6)?
False
Suppose 19*u = -116*u + 171720. Is u a multiple of 55?
False
Suppose -77910 = 242*m - 257*m. Is 97 a factor of m?
False
Let o = 2462 - 2263. Is o a multiple of 14?
False
Suppose 35*j - 55145 - 33685 = 0. Is 25 a factor of j?
False
Does 77 divide (-41375)/(-35) - (-7 - (-100)/14)?
False
Let n(g) be the first derivative of g**4/4 + 11*g**3/3 - 7*g**2 - 6*g + 1. Let m be n(-6). Suppose -i - m = -4*i. Is i a multiple of 15?
False
Let n = -234 + 162. Let i be 6/7*2*(-168)/8. Let q = i - n. Is 12 a factor of q?
True
Let r(c) = -c + 19 + 99 + 13. Suppose -5*i = -4*w, -22*i + 2*w = -23*i. Is r(i) a multiple of 32?
False
Suppose -44*v + 938792 = -93492. Is v a multiple of 78?
False
Suppose -114*r - 342519 = -161*r + 2100729. Is 72 a factor of r?
True
Let d(t) = -2*t**2 - 9*t - 32. Let z be d(-17). Let y = -189 - z. Suppose 0 = f + 153 - y. Is f a multiple of 12?
False
Let z(y) = 2*y**3 - 262*y**2 + 183*y - 1199. Is 193 a factor of z(131)?
True
Let w be (9 + -18 - -5) + 1 + 1. Does 76 divide (w - -753 - -8) + 1?
True
Suppose -2*u = 3*f + 1 - 14, -18 = -4*u + 2*f. Suppose 2*k = k + u. Suppose 2*t + 3*m - 69 = -0*t, k*t - 153 = -m. Is 6 a factor of t?
True
Suppose -12*v + 532 = 2*v. Suppose -5760 = -v*j + 30*j. Is j a multiple of 36?
True
Let a(h) = 2*h + 12. Let o be a(-3). Let y be (-4 - -4)/((-5)/((-15)/o)). Suppose j = 5, y = -w - 7*j + 3*j + 25. Is w a multiple of 5?
True
Let r be 6/(-10) + 140/25. Let j be (5 + (-37)/7)*7. Is 14 a factor of (268/(-10))/(1/(r/j))?
False
Suppose 9*w - 6*w = -5*w + 39312. Is 41 a factor of w?
False
Suppose -6*a = -r - 8512, -3*r = 2*a - 2*r - 2840. Does 6 divide a?
False
Suppose -m = 2*r - 4681, 2*r + 8 = -4. Does 19 divide m?
True
Suppose -h = -5*f - 5735, 10*h - 5*f - 17235 = 7*h. Does 46 divide h?
True
Let b(r) = -r**3 + 11*r**2 - 7*r - 7. Let d be b(10). Let i be (d - 25)/(4/(-6)). Suppose 5*m + 5*a = i*m + 41, -4*a = -3*m + 73. Is 13 a factor of m?
False
Suppose 5*f + 3*r + 0 = 7, 2*r + 8 = 3*f. Suppose -2*l + 116 = f*l. Let k(x) = x + 16. Does 25 divide k(l)?
False
Let t(z) = -83*z**3 - 3*z**2 + 6*z + 8. Does 29 divide t(-3)?
True
Suppose 12 = -4*l + 32, 5*k + 4*l = 40. Let t(q) = 14*q**2 + 16*q + 6. Does 7 divide t(k)?
True
Suppose 3*q - 5*t - 47 = 0, -3*t = q + 2*q - 39. Is 1/(-1) + 1610/q a multiple of 17?
False
Let p = -1940 - -2870. Suppose 18*y + p = 21*y. Is y a multiple of 11?
False
Let j(k) = k**3 - 12*k**2 + 66*k - 85. Is j(14) a multiple of 94?
False
Suppose f + 4*w = 7, -3*f + 22 = w + 12. Suppose -20 = 4*m, -5*u + f*m + 118 = -12. Does 4 divide u?
False
Suppose -7284 + 580920 = 129*b - 202428. Is b a multiple of 47?
True
Suppose 5*q - 3*z = -8*z, 0 = 2*q - 4*z. Suppose 2*h - 374 = 2*g, -4*g + 212 = h - q. Does 8 divide h?
True
Suppose 35*q - 30*q - 10 = 0. Is 33 a factor of q/(-10) + (-6903)/(-65)?
False
Let a(p) = p**3 + 4*p**2 - 7*p - 24. Let d(t) = t**3 + 4*t**2 - 8*t - 25. Let s(y) = -4*a(y) + 3*d(y). Is s(-6) a multiple of 2?
False
Let x = 1170 - 596. Let a be (-4)/(-14) - (972/(-21))/6. Does 9 divide x/a + (-2)/(-8)?
True
Suppose 4 = 2*u - 322. Let b = -55 + u. Suppose 2*j = 108 + b. Is j a multiple of 36?
True
Suppose 3*x = -22 + 7, -5*x = s + 25. Suppose -4*n + s*n + 20 = 0. Suppose 63 = 4*c - 3*c - 4*y, -n*c + 399 = y. Does 14 divide c?
False
Suppose -3*v = -k + 153, k - 89 = 2*v - 4*k. Let l = 55 + v. Does 12 divide 8/24 + 500/l + 1?
True
Let x(t) = 69*t + 525. Is x(11) a multiple of 25?
False
Does 33 divide ((-1812)/8)/(210/(-100) - -2)?
False
Let n(p) = 44*p**2 - 5*p - 26. Let c be n(-8). Let s = 4204 - c. Is s a multiple of 58?
False
Suppose f + 15 = 19. Suppose -2*d - f*d + 12 = 0. Suppose t + 59 - 199 = -3*b, 3*b = -d*t + 136. Is 8 a factor of b?
True
Let r be -3*44/(-8)*(-80)/(-60). Does 58 divide (11/(r/(-3)))/(9/(-4650))?
False
Suppose 4*l - 2920 = -2*j, -46*l + 42*l + 2*j = -2920. Is l a multiple of 59?
Fal