-5*x, -1 = -x. Is g a multiple of 2?
True
Does 46 divide (-47)/329 + -2 + (-2606)/(-14)?
True
Suppose -4*n + 832 = l + l, 808 = 2*l - 4*n. Is l a multiple of 10?
True
Is 65 a factor of (5 + 75/(-20))/(1/156)?
True
Suppose -o = 4*q - 331, o - 3*q = -4*o + 1747. Suppose 0 = v + p - 119, 3*v - 4*p + 2*p - o = 0. Does 39 divide v?
True
Suppose 0 = -7*d - 45 + 381. Let b = 218 - d. Does 17 divide b?
True
Is -6*(1*808/(-24) + 7) a multiple of 16?
True
Let z be ((-1953)/84)/((-1)/4). Suppose -4*u = 3*i + 2*i + 128, 5*i = 2*u + 34. Let t = u + z. Is t a multiple of 22?
True
Let k(n) = -n + 5. Let x be k(0). Suppose -4 = x*b - b. Let p(h) = -15*h**3 + 2*h + 2. Is p(b) a multiple of 15?
True
Let p(j) = 14*j**2 + j - 4. Let b(f) = 29*f + 1 - 2 - 26*f. Let m be b(1). Does 27 divide p(m)?
True
Let o(n) = -2*n**2 - 6*n + 4. Let p be o(-5). Let f be 42/8 + 4/p. Suppose -3*h - 2*b = -87, -126 = -f*h + b + 2*b. Is h a multiple of 9?
True
Let u be 1/2*3*-2. Suppose -3*q + 15 = 2*o, -3*o - 32 = -4*q - 12. Let c = q - u. Is c a multiple of 4?
True
Suppose -p - 13 = -k - 5*p, -8 = 4*k - 4*p. Let z be (k - 93) + (-1 - 1). Is 12 a factor of z/(-2) + 10/5?
False
Let h(w) = -w**3 - 11*w**2 + 6*w - 11. Let i be h(-12). Let x = i + 3. Is 13 a factor of x?
False
Let z be 0*((-7)/(-2) - 12/4). Suppose z = -2*i - 4*o + 512, -i + 5*o = 4*o - 256. Is 64 a factor of i?
True
Suppose -3*u = -5*d - 37, 0 = 5*u - 0*d + 3*d - 5. Suppose u*y + 88 - 30 = -5*w, 0 = -4*y - 8. Is 20 a factor of 2/10 + (-748)/w?
False
Suppose 459 = -45*u + 46*u. Is u a multiple of 51?
True
Let m(l) be the third derivative of -l**6/360 - l**5/24 + l**4/24 + 5*l**3/6 + 4*l**2. Let d(g) be the first derivative of m(g). Is 7 a factor of d(-3)?
True
Let p be (-22)/26 + 12/(-78). Let v = p - -5. Suppose 44 = g + w, g - 27 = v*w + 12. Is g a multiple of 9?
False
Let l = 3099 + -738. Is 29 a factor of l?
False
Suppose -2*u + 426 = 4*b, -2*b + 6*b = u + 435. Does 9 divide b?
True
Let a = -10 + 22. Suppose -2*m - a = 2*m. Does 5 divide (-5 - m)/(1/(-7))?
False
Does 63 divide (41175/36 - 9) + 9/(-12)?
True
Suppose 0 = 5*n + 1 - 21. Suppose 0 = -2*r + 6, n*r = 3*t - 4*t + 16. Suppose 13 = t*c - 8*s + 5*s, 2*s - 3 = c. Is 3 a factor of c?
False
Suppose 6*v - 8 = 22. Let z(g) = -5*g + 3. Let w be z(-3). Let r = v + w. Is r a multiple of 21?
False
Suppose 0*m = -3*l + 5*m + 91, 0 = -4*l + 5*m + 128. Let j = 77 - l. Does 18 divide j?
False
Is 39 a factor of (-1092)/(-15)*((-222)/(-12) - 1)?
False
Let x = 59 - 57. Suppose x*z = 2*r - 0*z - 110, -3*r - 5*z + 165 = 0. Is 5 a factor of r?
True
Suppose 0 = -5*b + 706 + 104. Suppose 2*i + i = 4*s - b, 5*s = -2*i + 191. Is s a multiple of 7?
False
Suppose 4*p = 234 + 790. Suppose 0 = -r + 5*r - p. Is r a multiple of 4?
True
Suppose 4*t + 0*t = 12. Suppose -t = -4*l + 3*l. Suppose -33 = -l*y + 33. Is y a multiple of 8?
False
Let h be 81/(-54)*148/(-3). Let v = h - 32. Is v a multiple of 7?
True
Suppose 2080 = 16*w - 10720. Is 3 a factor of w?
False
Let r(m) = m**2 - 7*m - 10. Let d be r(7). Let j be 0 - (d - 3/(-1)). Does 3 divide j/21 + 26/3?
True
Let m = 66 + -104. Let k = m - -46. Is k a multiple of 2?
True
Suppose 5*l + 1 = -2*g + 22, 4*g - 15 = -l. Let h(u) = u**2 - u + 38. Let t be h(0). Let c = t + g. Is c a multiple of 19?
False
Suppose -4 = 9*h - 7*h. Let w be (2 - (-1 - 1)) + h. Suppose 4*a - w*i = -0*i + 42, -4*i = -2*a + 12. Is a a multiple of 12?
True
Let l be 1*3 + 10/5. Suppose 0 = l*p + 12 - 127. Does 23 divide p?
True
Suppose 4*d + 528 = -4*o + 2688, 1604 = 3*d - o. Is 16 a factor of d?
False
Suppose d = 6*d - 10. Let n be (-165)/(-57) + d/19. Suppose -n*s + 242 = -s. Is s a multiple of 13?
False
Let k be 6 + (-1)/(-2)*-6. Suppose -36 = -k*p + 54. Does 8 divide p?
False
Let s(g) = -g**3 + 17*g**2 + 3*g - 9. Is s(9) a multiple of 18?
True
Let k be ((-3)/(-2))/(2 - 22/8). Does 17 divide 3/k + 1038/12?
True
Suppose 5*j - 2*j - 9 = 0. Let x(t) = 5 - t - j - 4. Is x(-9) a multiple of 7?
True
Let p(l) = l + 8. Let g be p(-12). Let f(w) = w**2 - 5*w - 6. Is 10 a factor of f(g)?
True
Suppose -5*c - 30 = -5*h, -3*h = h - 2*c - 28. Suppose 223 = u + 4*y, -5*u - h*y + 1081 = -5*y. Does 16 divide u?
False
Let w(o) = -127*o - 265. Does 15 divide w(-10)?
True
Suppose -2*h - 9 = -7. Is 22 a factor of 2/(-1) - (h + -199)?
True
Let g(u) = -36*u**3 + u**2 - 8*u - 5. Let x be g(-3). Suppose -42*t + 34*t = -x. Is 26 a factor of t?
False
Let j(t) = 8*t + 34. Let a be j(-4). Suppose 2*i = 3 + 5. Is 5 a factor of (5/2)/(a/i)?
True
Let a(g) be the first derivative of g**4/4 - 3*g**3 + 4*g**2 + 9*g + 3. Let m be a(8). Suppose -q = 5*h - 12, m*h - 4 = 4*h + 3*q. Is h even?
True
Let g(k) = -k**3 + 9*k**2 + 2*k - 16. Let v be g(9). Let f be (-1696)/(-18) + v/(-9). Let o = -22 + f. Does 24 divide o?
True
Let u be 0*(4/8)/(-1). Suppose -3*p + 111 + 717 = u. Does 12 divide p?
True
Let j = 15 - 10. Let q = 2 + j. Suppose -k - q = -33. Does 13 divide k?
True
Let q(w) = -w - 5. Let m be q(-3). Is 8 a factor of -4 + -20*2/m?
True
Let g be (0 - -9)/(7/7). Let x(h) be the third derivative of h**6/120 - 2*h**5/15 + h**3/2 - 4*h**2. Is 24 a factor of x(g)?
False
Let v = -89 - -329. Is 10 a factor of v?
True
Suppose 31*x - 29*x - 2520 = 0. Does 24 divide x?
False
Suppose 0 = -7*z + 16 - 2. Is 25 a factor of (-126 - z)/(-1) + -5?
False
Suppose -g + 52 = -2*y, 0 = -2*y - 3 + 13. Suppose 2*k + 9 = q - 13, 0 = -5*q - 2*k + g. Suppose 4*i = 30 + q. Is 11 a factor of i?
True
Let j(w) = 127*w**2 - 6*w - 5. Does 32 divide j(-1)?
True
Let o be (-1017)/(-6) - ((-9)/2 - -3). Let f = o + -81. Is 10 a factor of f?
True
Suppose 24 + 120 = 4*m. Suppose -39*u + 144 = -m*u. Does 10 divide u?
False
Let g = 1400 - 830. Is 114 a factor of g?
True
Suppose 5 = 4*s - 7*w + 4*w, 4 = 4*w. Let p = 23 - 39. Let k = s - p. Does 6 divide k?
True
Let n(c) = -c**3 - 16*c**2 + 52*c - 6. Let w be n(-19). Suppose -p + 6*p = -115. Let l = p + w. Is 15 a factor of l?
False
Let r(b) = -b**3 + 12*b**2 - 10*b + 7. Let l be r(6). Let q = l - 94. Suppose -2*u + u = -q. Is u a multiple of 26?
False
Let a be 4/10*272 - 2/(-10). Suppose 6*i - 565 + a = 0. Is i a multiple of 24?
False
Suppose 0*b - b = 5*d - 25, 0 = -b - d + 5. Suppose -f - 17 - 7 = b. Does 16 divide 8/(4/f*-3)?
True
Let k(o) be the third derivative of o**5/60 + o**4/8 - 17*o**3/6 - 27*o**2. Is 4 a factor of k(-7)?
False
Let w(c) = -7*c - 5. Let q(n) = -1. Let s(d) = -4*q(d) - w(d). Let v be s(-7). Let p = v + 67. Is 9 a factor of p?
True
Let o(i) = -1020*i + 200. Is 64 a factor of o(-2)?
True
Suppose 0 = 10*u + 2*u + 5196. Let z = -241 - u. Is z a multiple of 24?
True
Let w be 0/3 - (0 - 0). Suppose -4*m + 5*m = w. Suppose 2*o + 3*p = 6*p + 72, m = -2*o - 2*p + 72. Is 12 a factor of o?
True
Suppose 26 = 4*u - 10. Let r be (6/u)/(3/(-54)). Is 15 a factor of (-90)/r*(5 - -1)?
True
Let f(z) = 130*z**2 - 99*z**2 + z + 1 - 2. Does 16 divide f(1)?
False
Let t be (3/(-4))/((-12)/240). Suppose -3*x + 40 = 4*b, x - t = -0*b - b. Is 12 a factor of x?
False
Let y = 2327 - -9. Is y a multiple of 102?
False
Suppose -5*a = -2*a - 120. Suppose -100 = -7*k + a. Does 4 divide k?
True
Let c be ((-2)/1)/(-2) + -2. Let f be (1/((-3)/48))/c. Suppose -f = -4*t + 40. Is 14 a factor of t?
True
Let r(z) = -z + 12. Let d be r(8). Suppose 68 = -2*f + 4*i, i - 6 = d*i. Is 19 a factor of 5/(112/f - -3)?
True
Let w(c) be the third derivative of -17*c**4/12 + 14*c**3 - 7*c**2 + 2*c. Is 13 a factor of w(-9)?
True
Let h(d) = d**3 - 6*d**2 - 6*d - 5. Let p be h(7). Suppose 0 = -2*b - p, 5*b = 2*f - 4 - 1. Suppose 5*c - 32 - 133 = f. Is c a multiple of 16?
False
Suppose -2*x - 1 = -5*s, 4*x - 3*s + 1 = 6. Is (x + -52)*(-18)/45 a multiple of 10?
True
Let z(l) = 3*l**2 - 8*l - 2. Suppose -4*h = 20, -3*f + 13 = -4*f - 4*h. Let g be z(f). Suppose -5*u = -g + 19. Is u a multiple of 10?
False
Let y = -536 - -756. Let u = -40 + y. Does 36 divide u?
True
Does 29 divide (4 + 160)*20/10?
False
Is 11 a factor of ((-5)/((-5)/726))/((-588)/(-1568))?
True
Suppose 2*b = 26 + 2. Let c be (-18)/5*(-1 - b). Let g = c + -20. Does 7 divide g?
False
Let o(y) = y**2 + 3*y + 2. Let h be o(-3). Suppose 0 = h*j + 10 - 172. Is j a multiple of 9?
True
Let u(r) = -7*r**3 - 14*r**2 - 4*r + 54 - 51 + 3*r**3. Does 4 divide u(-4)?
False