ppose t = -0 - 4, 0 = 2*p - 3*t + 100. Let r = 55 + p. Let y = r - -56. Does 11 divide y?
True
Let l = -5 + 86. Let y = l - 54. Is 12 a factor of y?
False
Let a(b) = 8095*b**2 + 56*b + 51. Is 43 a factor of a(-1)?
False
Suppose 0 = g - f + 3, 3*f + 7 = 2*g + 10. Is 17 a factor of (-1)/3 + (-128)/g + 0?
False
Suppose 0 = -12*v + 6*v + 96. Suppose -3*h - v = h. Is (51/9)/(h/(-72)) a multiple of 13?
False
Suppose 3*f = 4*v - v - 27, 0 = 3*v - f - 25. Suppose -m = 3*m - v. Suppose -m*j - 374 = -2*w - w, -w + j + 125 = 0. Is 43 a factor of w?
False
Let r = 43 + -69. Let x(c) = -4*c + 102. Is 9 a factor of x(r)?
False
Let f(t) = 4*t**3 - 6*t**2 + 7*t - 7. Let i(d) = -d**3 + 3*d**2 - 15*d + 29. Let k be i(2). Does 5 divide f(k)?
False
Suppose -g + 77 = -155. Is 8 a factor of g?
True
Let t(u) be the first derivative of 5*u**4/2 - 2*u**3/3 + u**2 - 5*u + 1222. Let k be (6/(-15))/(1/(-5)). Is t(k) a multiple of 10?
False
Let q be (-51)/(-6) + 2/4. Let f(r) = -r**3 + 7*r**2 + 11*r + 10. Let v be f(q). Let n = v + 62. Does 4 divide n?
False
Let l = 60 - 62. Let d be l/3 - (-4864)/6. Suppose 5*h + h = d. Is 45 a factor of h?
True
Suppose -5*v = -5*j - 30, v - 3*j - j = 18. Suppose y + v*y = -0*y. Suppose -4*c + 6*m - 3*m + 24 = y, 4*m = -c + 6. Is 6 a factor of c?
True
Suppose -9*r + 7*r + 2*j = -6760, -r - 2*j = -3365. Is 75 a factor of r?
True
Suppose 0 = -2*g - 6*g + 40. Suppose 0 = g*k - j + 5*j + 14, -4*j + 34 = -3*k. Is 61 + k/6 + (2 - 0) a multiple of 6?
False
Let a be 4 - (3*336/9 + -4). Does 9 divide (-78)/a + 1/4 - -294?
False
Let t = -49 + -31. Let q = 5 - t. Suppose 0 = -3*l + q - 13. Does 3 divide l?
True
Let h be 0 + (-317528)/(-14) + (-108)/189. Suppose -h = -12*r - 28*r. Is 63 a factor of r?
True
Let k be (52 - 7)*(-9)/(-15). Let w = k + -30. Let v = 50 + w. Does 7 divide v?
False
Let o = 47 - 44. Let k(i) = 7*i - o + i**2 - 2*i + 23. Is k(-9) a multiple of 14?
True
Suppose 44*d - 60*d + 448 = 0. Suppose -d = -4*h + 228. Does 64 divide h?
True
Let q(f) = 59*f - 30. Let o(t) = 10*t - 5. Let k(g) = 34*o(g) - 6*q(g). Does 34 divide k(-26)?
True
Let a = -4094 - -9194. Is a a multiple of 15?
True
Suppose 34*v - 24*v - 9330 = 0. Let n = v - 839. Is n a multiple of 14?
False
Suppose -31*s + 18*s + 5*x + 174900 = 0, -3*x = 3*s - 40374. Is 65 a factor of s?
True
Let i = 77572 + -45232. Is i a multiple of 60?
True
Let q be 4/(-22) + 260/(-143). Let g be (126/12)/(q*6/(-64)). Let k = g - -25. Is k a multiple of 9?
True
Let d(o) = -5*o. Let i be d(-5). Suppose 2*z + i = 29. Suppose -2*u + z*j + 32 = u, -3*u + 3*j = -36. Is u a multiple of 3?
False
Suppose 14 - 752 = -k. Let f = -558 + k. Does 9 divide f?
True
Is 2520/56*(-632)/(-6) a multiple of 11?
False
Let u = 82 + -179. Let t = 99 + u. Suppose t*k - 3*d - 204 = 0, -5*k + k + 364 = 5*d. Is 16 a factor of k?
True
Let o(r) = 2*r**2 + 17*r + 17. Let d be o(9). Let k = 682 - d. Does 10 divide k?
True
Let y(a) be the second derivative of -11*a**3/3 + 76*a**2 - 3*a - 5. Does 70 divide y(-12)?
False
Let s(y) be the third derivative of -y**5/12 + 5*y**4/6 - 7*y**3/6 - 10*y**2. Let v(l) be the first derivative of s(l). Is v(-11) a multiple of 36?
False
Suppose -3*k + 242 = -k + 3*i, -2*i = -5*k + 624. Suppose 3*r + k = 5*r. Is r a multiple of 14?
False
Let a = 75 - 54. Let u = 23 - a. Suppose 2*m - 7 = -h + 27, 0 = 2*m - u. Is h a multiple of 5?
False
Suppose -283*v + 288*v = 20. Does 24 divide v/4*1 + 202?
False
Let w = -56740 - -98764. Is 51 a factor of w?
True
Let h be (-12)/9*2*(-9)/(-6). Does 16 divide ((-10)/(-20))/(h/(-1024))?
True
Let v(l) = -l**3 + 50*l**2 + 15*l + 208. Does 62 divide v(15)?
True
Suppose -1749*a - 4*j = -1750*a + 51122, 2*a + 2*j = 102204. Does 52 divide a?
False
Let z = 1445 + 816. Is z a multiple of 19?
True
Suppose -167868 + 461220 = 117*g - 268365. Does 11 divide g?
False
Let w(o) = 3*o + 1. Let c be w(1). Suppose -r - 9 = -c*r. Does 53 divide ((-212)/(-6))/(1/r)?
True
Let o(v) = v**3 + 25*v + 46. Let h be o(0). Suppose 0 = 5*f - 55 - 20. Let x = h - f. Does 29 divide x?
False
Let g be (-1)/5 - 33/(-15). Let a be 62 - (10/5 - g). Suppose 2*r + 2*z = a, 3*z + 2*z = 3*r - 109. Is 11 a factor of r?
True
Suppose -7*i - 629 = -2*c, 5*i - 680 = -2*c - 63. Does 2 divide c?
False
Suppose 3*i + y = -10, 0*i = -2*i + 2*y + 4. Let t be ((-5)/i)/((-5)/(-70)). Suppose -2*v = v - 4*g - t, -v + g = -12. Is 2 a factor of v?
False
Is 14 a factor of (-16)/24 - (-12320)/21 - 9?
False
Suppose -d + 2*d + 132 = 0. Let o = -76 - d. Is 4 a factor of o?
True
Let j = 2507 - 2046. Is 7 a factor of j?
False
Suppose -21*g - 60*g = -149850. Is g a multiple of 10?
True
Let r(h) = -14*h**2 + 13*h + 112. Let j(g) = -3*g**2 + 3*g + 28. Let a(w) = 9*j(w) - 2*r(w). Does 7 divide a(-7)?
True
Let v be -24*(410/(-15) - 7). Let n = v - 46. Is 66 a factor of n?
False
Suppose 3*s + h - 1090 = 82, -5*h - 380 = -s. Let k = 856 - s. Is 66 a factor of k?
False
Suppose -4*z + 5*z - 7*x - 17229 = 0, 69054 = 4*z - 5*x. Does 8 divide z?
False
Let c(m) = 5*m + 19. Let w be c(-3). Suppose -w*f - 13 + 5 = 0. Does 19 divide (-118)/(-4)*f/(-1)?
False
Let q(u) = 16286*u**3 + 16*u**2 - 9*u - 7. Is 10 a factor of q(1)?
False
Suppose -97*n - 5*p + 30814 = -95*n, 3*p = -n + 15408. Is n a multiple of 45?
False
Suppose 0 = 14*c + 28 - 28. Suppose 10*r - 2983 + 343 = c. Is r a multiple of 24?
True
Let j(d) = 15*d + 27. Let b be j(-10). Let m = 549 - 319. Let f = b + m. Does 14 divide f?
False
Suppose -79734 = -3*b + 2*h, -4*b = -109*h + 113*h - 106292. Does 4 divide b?
True
Let g = -2 - 0. Let d(n) = -11 - 17*n - 11*n + 16*n + 10. Does 5 divide d(g)?
False
Let g = 34668 - 13340. Is 8 a factor of g?
True
Let c(m) = -156*m**3 + 3*m**2 + 6*m + 2. Let u be c(-1). Let k = 182 + u. Does 14 divide k?
False
Does 10 divide 608/(-38)*2208/(-18)*(-6)/(-4)?
False
Suppose 18944 = 264*x - 260*x. Is 64 a factor of x?
True
Suppose -1215 = 16*g - 12927. Is g a multiple of 20?
False
Suppose 340*s - 147*s - 3374798 = 0. Is s a multiple of 12?
False
Let r(c) = c**2 + 6*c - 21. Let g be r(-13). Suppose 4*i = 2 + g. Is i a multiple of 8?
False
Suppose a + 13*j - 5293 = 8*j, 3*j - 15 = 0. Does 28 divide a?
False
Suppose 0 = -4*f - 8, f + 7830 = -l + 5*l. Is l a multiple of 15?
False
Suppose -f = 4*i - 20, 0 = 5*i - 3*f - 22 - 20. Suppose i*y + 4*y + 40 = 0. Let r = 25 + y. Does 7 divide r?
True
Suppose -317*b + 2856951 + 223209 = 403*b. Is 5 a factor of b?
False
Suppose -123 + 877 = 2*w - 2*a, -5*a = w - 389. Let y = -288 + w. Is 7 a factor of y?
True
Let u = 56 + -28. Let y = -78 + u. Does 4 divide ((-9)/5)/(6/y)?
False
Let o be (-122 - -10)*(-8 - 0). Suppose o = -r + 8*r. Is 16 a factor of r?
True
Let r(z) = -469*z**3 - 5*z**2 + 11*z + 2. Is 226 a factor of r(-3)?
False
Let k(d) = -5*d**3 - d**2 + 4*d - 10. Let y(r) = -r**2 + 2*r + 19. Let h be y(-4). Is k(h) a multiple of 30?
True
Let b be 10*2/(-6)*(-12)/10. Suppose -b*o = -112 + 1016. Let r = -82 - o. Is r a multiple of 15?
False
Let b be (-908)/(-6) + (-21)/63 + 1. Is 4 a factor of b/6 - (190/30 - 6)?
False
Does 61 divide (-129)/86*(-291)/(-6)*-244?
True
Let l = 73 - 71. Suppose l*b = 4*a - 16, -11 = -a + 6*b - 2*b. Suppose -a*g + 326 = 3*f - 142, -4*g + 2*f = -642. Is g a multiple of 14?
False
Let g = -19133 - -24558. Does 8 divide g?
False
Let w be (-2 - 210/(-3))/2. Suppose 2*q + 4*l = -12, -2*l = 5*q + 3*l + 35. Let c = w - q. Is c a multiple of 11?
False
Let c(g) = -3*g**3 - 10*g**2 + 3*g + 3. Let b(t) be the first derivative of t**4/4 + t**3/3 - t**2/2 - 7. Let d(n) = -5*b(n) - c(n). Is d(-3) a multiple of 18?
True
Suppose -8*z + 10*z - 4 = 0, 5*p - 5*z + 30 = 0. Let t be -3 + (3 - 16/(0 + p)). Does 12 divide (-525)/(-6) - (-2)/t?
False
Is 32 a factor of ((-200)/3)/(-2)*(-13104)/(-1365)?
True
Suppose 67 - 77 = -5*v. Suppose 2*n - 3950 = -3*n - b, -v*n + 1577 = b. Does 39 divide n?
False
Let i = 2386 - 1889. Is i a multiple of 4?
False
Let n(b) = 565*b**2 + 13*b + 49. Is n(-4) a multiple of 18?
False
Let c be (-4)/(-2)*(5 + -7). Let m be 40/6 - c*6/(-36). Suppose -21 = -m*y + 9. Does 3 divide y?
False
Is (385/(-770))/((15926/7964 - 2)/1) a multiple of 9?
False
Let i(l) be the second derivative of -l**5/10 - l**4/3 + 5*l**3/3 + 4*l**2 - 6*l - 1. Is i(-4) a multiple of 7?
False
Suppose -39 = -3*f - 