e
Suppose 2*l = -6*l + 8312. Is l a multiple of 57?
False
Suppose 3*w + 7705 = m, 0*m - 4*w - 15404 = -2*m. Suppose -7*i = 19*i - m. Is 4 a factor of i?
True
Let v = -6716 + 6712. Let o(g) = -3*g**2 - 14*g - 10. Let l(j) = j**2 + 1. Let t(f) = 2*l(f) + o(f). Does 7 divide t(v)?
False
Let a(b) be the second derivative of b**4/12 + b**3/6 + 5*b**2/2 - 10*b. Let f be a(5). Suppose -x = 3*p - 60, 3*x + f = 2*p + 171. Is 6 a factor of x?
True
Suppose -8469 + 2364 = -5*i. Suppose -2*x + 920 = -3*l, -4*x - i = 5*l - 3039. Suppose -3*a = 4*k - 397 + 40, k + x = 4*a. Is 23 a factor of a?
True
Let a(p) = -p**2 + 7*p - 6. Let l be a(5). Suppose -4 = -4*o, 2*w - 5*w + l*o = 46. Is (w - -12)/(2/(-243)) a multiple of 51?
False
Suppose 0*w - 4*w = -2*w. Suppose -11 - 4 = 3*u, w = 4*h - 3*u - 27. Suppose 24 - 83 = -g + h*q, 2*g = -2*q + 78. Is 18 a factor of g?
False
Let c = -30 + 24. Let m = 57 + c. Is m a multiple of 17?
True
Let z be (-2 - -3) + (-5 + 1)/(-4). Let r be (-2)/12 - (-12045)/18 - z. Suppose 4*c - r = t, 0*c - 2*c + 4*t = -316. Does 28 divide c?
True
Let i = 125 + -127. Suppose 2*t = 3*t - 14. Let a = t + i. Is a a multiple of 4?
True
Let l(w) = -10*w**2 + 2*w - 12. Let j be l(-4). Let k = j - -300. Is 3 a factor of k?
True
Let b(w) = -17*w - 63. Let m be b(-4). Suppose -3*x + 8*x - 1503 = -3*i, 1205 = 4*x + m*i. Is 30 a factor of x?
True
Suppose -1 = 5*l + r + 3, 20 = -5*r. Suppose l = -3*u - 94 - 80. Let y = -28 - u. Does 10 divide y?
True
Let b(a) = 145 + 23*a - 2*a**2 - 16*a**2 + 17*a**2. Is 2 a factor of b(28)?
False
Suppose -672 = -5*f - 3*f. Suppose c + o = f, -2*c + 173 = -0*c + 3*o. Suppose p - 40 - c = 0. Is 17 a factor of p?
True
Let f(q) = q**3 + 5*q**2 - 10*q - 9. Let k be f(-8). Let l = k + 124. Suppose -2*s + l*s - 2*x - 183 = 0, 4*s + 5*x - 732 = 0. Is s a multiple of 26?
False
Let r = -45 - -46. Let j = 81 + r. Suppose 65 + j = y. Does 7 divide y?
True
Suppose 5*a + 10*u - 5*u = -1700, 2*a - 3*u = -690. Is (-24016)/a - (0 - 2/(-9)) a multiple of 5?
True
Let f = -8 + 8. Suppose 3*o - 43 - 17 = f. Let r(g) = -g**2 + 23*g + 28. Does 9 divide r(o)?
False
Suppose -2*d - 3*x + 303 = -623, 3*x + 1374 = 3*d. Suppose 4*i - 8*i + 5*k + 1841 = 0, d = i - k. Is i a multiple of 51?
True
Suppose 47*q + 10*q + q - 436160 = 0. Is q a multiple of 40?
True
Let j = 23 - 38. Let u(x) = 2*x**2 - 4*x**2 + 13*x - x**2 - 2 + 4*x**2. Does 14 divide u(j)?
True
Suppose -2*j = 19*o - 21*o + 338, -3*o = -5*j - 511. Suppose -x = -3*q + 336, -4*x = -2*q + o + 57. Is q a multiple of 8?
True
Let x = 205 + -177. Suppose -x*h + 25*h = -495. Is h a multiple of 5?
True
Suppose 450464 = 34*b - 1190317 - 954201. Is 13 a factor of b?
True
Let k = 449 + -70. Let i = -58 + k. Is 23 a factor of i?
False
Suppose -4536 = -5*x - x. Suppose -5*a + 819 + x = 0. Does 32 divide (-1)/(-2) - a/(-10)?
True
Suppose -2640 = -190*p + 186*p. Suppose -22*x = -24*x + p. Does 33 divide x?
True
Let k(y) = 53*y - 42. Let m be k(-8). Let a = 94 - m. Does 56 divide a?
True
Let a(x) = -4*x**2 + 2*x - 22. Let u(z) = -z**2 + z. Let f(i) = -a(i) + u(i). Is 4 a factor of f(0)?
False
Let z = 377 - 370. Is 24 a factor of (-1533 + z)/(-7) - 2?
True
Let b be -10*((-1)/(-3) + (-11501)/42). Suppose -b = -4*o - 883. Does 79 divide o?
False
Let w = -34 + 32. Is 10 a factor of 3/w - (-24144)/96?
True
Let s(r) = r**2 - 14*r - 10. Let a be s(16). Let u(d) = -d**2 - 21*d + 4*d**2 - 2*d**2 + 3. Is 25 a factor of u(a)?
True
Suppose -102*o + 89*o = 57*o - 2330370. Is o a multiple of 27?
True
Let y = -8295 - -14361. Is y a multiple of 18?
True
Let n = -18 + 38. Let z = n - 35. Is (85/z)/((-3)/9) a multiple of 17?
True
Is 167 a factor of 19169 + 2 - (-52)/13*(-3)/12?
False
Let y(j) = j + 2. Let f be (16/(-20))/((-4)/(-10)) + 0. Let x be y(f). Suppose -5*g + 2*t + 549 = x, t + t = g - 105. Does 7 divide g?
False
Let g(s) = 570*s - 1172. Does 20 divide g(69)?
False
Is (45/(-27) + 3)/((-28)/(-15057)) even?
False
Suppose 0 = -3*q - 2*g + 105 - 24, 5*q = 3*g + 135. Let x = 7 - q. Does 15 divide (2/(-14)*x)/((-12)/(-210))?
False
Suppose -2431 = -5*y + 8589. Is 8 a factor of y?
False
Suppose -2*k = 2*q + 18, 7*q = 4*k + 2*q. Let o = -9 - k. Let i(c) = c**3 + 5*c**2 - 2*c + 1. Is i(o) a multiple of 11?
False
Let b = -52 + 159. Suppose 5*n = 3*k - b, -5*k = -0*k - 2*n - 191. Does 3 divide k?
True
Suppose -4*f + 11 = 3*a, f + 3*f - 9 = -a. Suppose h = -2*o + 6, -f*h + 13 = 3*o + 3. Suppose -2 - 74 = -o*j. Is 19 a factor of j?
True
Suppose -59 = 8*c + 5. Is 56 a factor of (3 + 553/(-14))*c?
False
Let u = -25079 + 28742. Is 5 a factor of u?
False
Is 138 a factor of -870*(726/(-80) + 23/(-184))?
True
Let y be (-2 - 0)/2 + 0. Let q be 7*(1 - 3)/(-2)*y. Is 1*(4 - q)*19 a multiple of 21?
False
Let f be (-9 + 4/1 + 8228)/(-1). Does 32 divide f/(-33) - 34/187?
False
Let n = -192 - -594. Suppose -89 = 22*k - 199. Suppose -m + n = k*m. Is 5 a factor of m?
False
Let j(w) = -2*w**2 - 13*w + 3. Let m be j(-7). Let r(f) = -2*f - 13. Let t be r(m). Let h(a) = -2*a + 1. Is 11 a factor of h(t)?
True
Suppose -4 = -2*w - 6. Let h be ((-6)/w)/((-15)/(-10)). Suppose 1030 = i + h*i. Is 12 a factor of i?
False
Let w be 2 + -1*(0 + -19 - -2). Let g = -17 + w. Suppose -f + 0*f + g = 0, 0 = 3*l - 5*f - 290. Is 35 a factor of l?
False
Let i(o) = -3*o**3 - 59*o**2 + 282*o - 155. Is i(-33) a multiple of 44?
False
Let s(f) = 7*f**3 - 64*f**2 + 15*f - 14. Let g be s(14). Suppose 5*j + w - g = 0, 2*w + 1372 = j - 0*j. Is 28 a factor of j?
True
Is 86 a factor of 7390 - (4/(-10))/(-18*16/(-4320))?
True
Let v = -890 + 1276. Does 28 divide v - (-3 - -2) - (-7 + 2)?
True
Suppose 0*d - 4*d = 4*i - 32, -3*i = -d. Does 36 divide 266 - (-2 - -6 - d)?
False
Let t = 7 + -9. Let k be -2 - (t/(-8) + 63/(-12)). Suppose -4*b + 7*b - k = 0, -5*b = u - 37. Does 14 divide u?
False
Let c be -5 + 4 + 8 + 276. Suppose -4*d = 2*h - 470, -2*h + c = -5*d - 178. Is 75 a factor of h?
False
Let l = -15572 + 20749. Does 17 divide l?
False
Let g = -196 - -375. Suppose 0 = -2*o - 0*o + 5*w - g, 5*w + 343 = -4*o. Let a = o - -251. Is 10 a factor of a?
False
Suppose 21912 = k - 5*a, -39*k - 2*a + 65617 = -36*k. Does 250 divide k?
False
Let z(h) = 41*h**2 + 20*h - 97. Is z(7) a multiple of 38?
True
Let v(q) = -5*q**3 - 36*q**2 - 46*q - 716. Is 68 a factor of v(-14)?
False
Let y(s) = -2*s**3 - 13*s**2 + 10*s + 23. Does 6 divide y(-9)?
False
Suppose 0 = 4*s - 9*s. Suppose -7*x + 9*x - 12 = s. Suppose -x*p + 5*p + 69 = 0. Is p a multiple of 23?
True
Suppose -8*d + 5*y + 5435 = -3*d, 3*y = 5*d - 5445. Does 7 divide d?
True
Suppose 0 = v + 3*g - 17922, -3*v - 29430 = -4*g - 83261. Does 9 divide v?
True
Suppose -2*d + y - 43 + 174 = 0, -5*y - 143 = -2*d. Suppose 0 = -5*h - 4*t + 341, 2*h - 3*h = 5*t - d. Let m = 85 + h. Is m a multiple of 22?
True
Suppose 16*h - 1968 = -368. Does 19 divide (76/(-6))/((h/(-45))/10)?
True
Let z(l) = -2*l**3 + 2*l**2 - 7*l. Let v be z(-3). Let a = v - 90. Suppose 2*q - 106 = -2*w, -a*w + 54 = -3*q - 105. Is 13 a factor of w?
False
Let w(d) = -321*d - 133. Is 3 a factor of w(-2)?
False
Let b be (-1)/(2/6) + -7. Does 45 divide 175/21*(-18)/b*6?
True
Let n = -78054 - -50868. Is 42 a factor of n/(-36) + 20/24?
True
Let v(m) = -m**3 - 25*m**2 - 6*m - 6. Let g be v(-25). Let q = 378 - g. Does 6 divide q?
True
Is 17 a factor of (-3)/((-18)/4) - 177*(-5497)/207?
False
Let k = -84 + 79. Let w be k/(0 + (-4 - -3)). Does 2 divide 1/w + (1764/(-15))/(-7)?
False
Let x be (2/8)/((-8)/(-64160)). Let q = x + -1333. Is q a multiple of 19?
False
Suppose 11*k + 75 = -35. Let m be (32/(-12))/(k/15). Suppose -152 = -m*i + 100. Does 14 divide i?
False
Let p(n) = 7*n + 47. Let c be p(-6). Suppose -923 = -c*w + 112. Does 4 divide w?
False
Suppose -4*p + 5408 = -2*w, -16*w = -14*w - 4. Is 27 a factor of p?
False
Let q = 18451 - 8105. Does 110 divide q?
False
Let l = 252 - 252. Suppose -35*d - 441 + 13881 = l. Is d a multiple of 24?
True
Let o be (-9)/27 - ((-16)/(-3))/(-1). Suppose -5*j = -o*x - 245, x + 145 = -j + 4*j. Suppose -j = -v - 2. Does 4 divide v?
False
Let v(r) = 17*r**2 - 7*r. Let h be v(4). Let l = h + -161. Does 24 divide l?
False
Let v = 24 + -19. Suppose -1434 = -4*b + 2*r, 1163 = 4*b - v*r - 262. Is 18 a factor of b?
True
Let v be -16*((-65)/(-10) + -2 + -5). Supp