Is 9 a factor of ((4/10)/1)/((-7)/z)?
True
Suppose 0 = -2*o + 71 - 223. Let s = -43 - o. Suppose 243 + s = 4*u. Is 23 a factor of u?
True
Suppose 3*h = 6*h + 2*j - 1593, h + j - 531 = 0. Is h a multiple of 76?
False
Let u(h) = 2474*h**2 - 8*h - 5. Does 42 divide u(1)?
False
Suppose -2*l = -4*s + 14668, 22*s - 4*l = 27*s - 18309. Is 13 a factor of s?
False
Let t(p) = -6*p**2 + 5*p + 7. Let v be t(-5). Let x = 278 + v. Is x a multiple of 5?
True
Let j be 20*6/9*-3. Suppose 6*z = z - 85. Let n = z - j. Is 23 a factor of n?
True
Does 18 divide 33/((-776)/(-192) + -4)?
True
Suppose 0*y + 3*y + 237 = 4*o, y = 2*o - 119. Suppose -6*q - o = -8*q. Is 10 a factor of q?
True
Let h = -335 + 574. Is 23 a factor of h?
False
Let x(u) = 4*u + 29. Let y(m) = -m - 7. Let d(i) = 2*x(i) + 9*y(i). Let k be d(-9). Does 3 divide (-2 + 3)*3*k?
True
Let g be -102*(-3 - (-6)/3). Let y = g - 72. Does 10 divide y?
True
Suppose 4 = -4*b + 16. Suppose 0 = -7*j + b*j + 8. Suppose j*k - 68 = -2*m, -4*m + 170 = 8*k - 3*k. Does 25 divide k?
False
Let f(n) be the second derivative of 1/6*n**3 + 1/3*n**4 - 1/20*n**5 + 5/2*n**2 - 3*n + 0. Is f(4) a multiple of 4?
False
Let x(u) = -u**3 - 34*u**2 - 14*u - 118. Is x(-34) a multiple of 92?
False
Suppose 0 = -k + 1 + 17. Is 11 a factor of 23 - k - (-118 + 0)?
False
Let y = -3 - -6. Let g be y/9 + (-2)/6. Suppose g = x - 2*x + 71. Is 12 a factor of x?
False
Let z be (-5)/25 - 16/(-5). Suppose z*m - 12 = -4*y + 54, 3*m - 5*y - 93 = 0. Is m a multiple of 6?
False
Let d(n) = 43*n**2 - 46*n - 208. Does 10 divide d(-6)?
False
Let q be (-2)/3 - (-258)/(-18). Let l = q + 11. Is 2 a factor of (-9)/(-2)*(-8)/l?
False
Let t(r) = -29*r**3 + 6*r**2 + 4*r - 8. Is t(-3) a multiple of 43?
True
Suppose 0*x - 3*q = 5*x + 113, -2*x + q - 43 = 0. Let l be ((-6)/(-4))/(11/x). Is (l/(-6))/(2/120) a multiple of 7?
False
Let g(v) = v**2 + 15*v + 60. Is g(-19) a multiple of 56?
False
Suppose 12*h - 180 = 1080. Suppose 0 = -2*q - h + 279. Is q a multiple of 5?
False
Suppose 10*g + 16*g - 1612 = 0. Is 62 a factor of g?
True
Let q(r) = 199*r**2 - 23*r - 24. Is q(-1) a multiple of 11?
True
Let t = 924 - 561. Is 8 a factor of t?
False
Suppose -7*g = -g - 3858. Does 15 divide g?
False
Let w be 880/72 - (-4)/(-18). Let y be 79/(w/4 + -2). Suppose 2*l - 3*x = 156, -y = -3*l + 2*l + 2*x. Does 25 divide l?
True
Suppose -2*m + 19 + 11 = 0. Let w = m - 13. Is 20 a factor of 1*w*(14 - -6)?
True
Let j(n) = 3*n - 8. Let v(w) = 3*w - 9. Let b(o) = 3*j(o) - 2*v(o). Is b(5) a multiple of 9?
True
Let m(n) = -3*n**2 + 14*n + 1 + n**2 + 8. Let t be m(10). Does 16 divide (0 + -2)/(3/t)?
False
Let f(b) = 2*b**2 - 2*b - 1. Let g be f(2). Suppose -c = -y + 23, 6 = -y + g*c + 19. Is 5 a factor of y?
False
Let z(f) = 4*f**2 - 13*f + 1. Let p(b) = -5*b**2 + 14*b - 1. Let k(q) = 3*p(q) + 4*z(q). Suppose 3*c - 12 = 2*c. Does 22 divide k(c)?
False
Let w(f) = f + 7. Let r be w(-3). Suppose -r*h = -u - 99, u = -4*h - 31 + 132. Does 22 divide h?
False
Let i = -19 - -5. Let u = i + 34. Let n = 44 - u. Is 12 a factor of n?
True
Let c be (3/(-12))/(6/(-48)). Let h = c - -1. Does 20 divide (80/h)/(10/30)?
True
Let w(u) = 2*u - 7. Let i be w(8). Let s = i - 33. Let d = s - -50. Is 6 a factor of d?
False
Is 6 a factor of 963 - (-9 - 0/(-10))?
True
Does 7 divide (4/2*-1)/(174/(-46893))?
True
Suppose 10*r - 14*r + 128 = 0. Let i = r - 29. Is i even?
False
Suppose 0 = 5*d + 42 - 2. Is 18 a factor of 9/(-6)*d*(14 + -3)?
False
Let t(v) = v**3 + 4*v**2 - 5*v - 3. Let y be (50/15)/((-4)/6). Let m be t(y). Is 29 a factor of -4 - (0 + m - 30)?
True
Suppose 0 = 8*b - 5*b - 90. Suppose 0 = 2*l, -3*d - b = 2*d + 4*l. Let n(z) = -9*z - 3. Is n(d) a multiple of 18?
False
Let o(n) = n + 10. Let x be 8/(-12) - (-68)/(-6). Let y be 2/(-1) - (x + -2). Is 11 a factor of o(y)?
True
Suppose 3*i - h - 11042 = 0, 4*i + h - 13082 - 1636 = 0. Is 23 a factor of i?
True
Suppose 25*h - 19*h - 1824 = 0. Does 6 divide h?
False
Suppose 5*a + 45 = 2*a. Is 15 a factor of 1353/9 - (10/a)/(-2)?
True
Suppose 5 + 0 = g. Suppose -4*y = -5*n + g, 5*n - 15 = 2*y - 0*y. Suppose 214 = y*k - 4*c + c, 2*k - 90 = -c. Is k a multiple of 22?
True
Suppose 2*i - 26 = 5*j - 7, -2*j = -2*i + 34. Suppose -2*v + 4*z = -i, 3*v + z = -3 + 36. Is 8 a factor of v?
False
Let p = 810 - 516. Let u = p + -134. Suppose -5*r = 5*b - u, 3*b - 148 = -b + r. Does 12 divide b?
True
Does 19 divide 66/(-77) + (-6222)/(-7)?
False
Let h(u) = -u**3 + 7*u**2 - 6*u. Let y be h(6). Does 10 divide (y - (-2 + 4)) + 12?
True
Does 10 divide (-70)/(2/(-12) - 0)?
True
Suppose 10*i - 4715 + 1955 = 0. Is 12 a factor of i?
True
Suppose 3*d - 2*l - 856 = 0, -82*l + 267 = d - 79*l. Is 6 a factor of d?
True
Let w be 1*(0 + (0 - -4)). Let f(c) = -194*c + 183. Let t be f(-4). Does 15 divide t/21 + w/(-6)?
True
Let d(y) = y - 5. Let n be d(10). Suppose 0 = n*v + 29 - 674. Is 18 a factor of v?
False
Suppose -7*s + 54 = -30. Let j(f) = 7*f - 12. Does 24 divide j(s)?
True
Let a be (12/(-15) - 72/(-15)) + 0. Let n(w) = 32*w + 6. Does 17 divide n(a)?
False
Suppose -15*y + 139 = -16*y. Let h = y - -334. Is h a multiple of 23?
False
Let w = -44 - -46. Suppose 2*i + 121 = 3*g - 114, w*g - 170 = 4*i. Is g a multiple of 20?
False
Let s(w) = -w**3 + 2*w**2 - w + 38. Let k(q) = q**3 - q**2 - 39. Let v(h) = -3*k(h) - 2*s(h). Does 9 divide v(0)?
False
Does 8 divide 495 + 9 + -8 + 0?
True
Suppose 0*o - 2*o + 84 = 2*b, -4*b - 3*o + 171 = 0. Suppose 0*h = 2*v - 2*h - 66, 5*h + b = v. Suppose -5*k = -6*k + v. Is k a multiple of 30?
True
Let r = -836 - -1436. Is 3 a factor of r?
True
Let u be -7*(-3 - -2) + -4. Suppose u*h = -3*h + 108. Is 3 a factor of h?
True
Suppose -4*f - 136 = -h, 0*h + 4*h = 5*f + 599. Is 52 a factor of h?
True
Let d(k) = -2*k**2 + 10*k - 9. Let x be d(6). Let r be (18/x)/((-2)/(-14)). Does 15 divide 404/r*39/(-26)?
False
Is ((-12528)/42)/((-22)/77) a multiple of 36?
True
Does 14 divide ((-1452)/(-176))/(53/(-56) + 1)?
True
Let l = -76 + 130. Is 214/6 + 18/l a multiple of 12?
True
Let f be ((-108)/45)/((-6)/380). Suppose t + 2 = 0, 4*t - f = -5*q + q. Does 20 divide q?
True
Let h = 12 + -9. Suppose 0 = -h*o + 7*o + 172. Let l = -31 - o. Is 12 a factor of l?
True
Does 21 divide 5 - 1914*2/(-4)?
False
Suppose i - 729 = g, i - 20 = -5*g + 691. Does 22 divide i?
True
Suppose -28 = -4*r + 4*n + 8, 5*n = -2*r + 53. Let j = r - 37. Let q = 57 + j. Is q a multiple of 17?
True
Let h(z) = 3*z**3 - 46*z**2 + 3*z + 22. Let d(f) = f**3 - 15*f**2 + f + 7. Let n(r) = 7*d(r) - 2*h(r). Is n(13) a multiple of 6?
True
Suppose 5*d = 329 + 351. Is d a multiple of 34?
True
Suppose 1596 = 4*o + 540. Does 33 divide o?
True
Is 63350/18 - (-280)/(-630) a multiple of 69?
True
Suppose 0 = 835*h - 831*h - 3392. Is h a multiple of 20?
False
Suppose 4*h + 12 = 3*h. Let k be (3/h - 1)*-12. Suppose y + 4*f - k = 2*y, -f + 10 = y. Does 2 divide y?
False
Let j = 471 + -163. Does 5 divide j?
False
Let i(f) = -f - 14. Let j be i(-10). Let l = -2 - j. Suppose 0 = l*n + n - 63. Does 9 divide n?
False
Suppose 5*l + g = 6*g + 540, -453 = -4*l - 3*g. Suppose -3*b + l = 3*t, 5*b = 4*t + t + 135. Is b a multiple of 8?
True
Is 119 - (-7)/3*3 a multiple of 7?
True
Let b(r) = 2*r**2 + 3*r - 7. Suppose 6 = -4*c + 34. Is 14 a factor of b(c)?
True
Suppose 0 = -4*c + 5 + 3. Let b(n) = 3*n + 4 + 4 - c*n - 3. Is b(6) a multiple of 11?
True
Let c = -44 + 8. Let n = c - -68. Does 16 divide n?
True
Suppose 27 = b - w, 5*b - w - 127 = 2*w. Suppose b = -3*d - 3*f + 125, -2*f = d - 30. Does 19 divide d?
True
Let n(l) = l**3 + 11*l**2 + 7*l + 5. Let c be n(-4). Suppose -27 = 2*u + c. Let x = u + 82. Does 12 divide x?
True
Let j be (22/33)/(1/(-12)). Let g = 3 - j. Is g a multiple of 2?
False
Let p(v) = -47*v - 116. Is p(-6) a multiple of 26?
False
Is 6072/161*(-4)/(12/(-21)) a multiple of 19?
False
Let q = 64 - -79. Let i = 566 + -649. Let y = q + i. Is y a multiple of 14?
False
Let a be 67/((6/(-2) + 2)/(-5)). Let u be (-1606)/(-8) + (-4)/(-16). Let j = a - u. Does 28 divide j?
False
Let s(g) = 10*g + 9. Let z be s(7). Let u = -50 + z. Does 3 divide u?
False
Let h = 790 - 422. Is 12 a factor of h?
False
Let h be (4/(-10))/((-1)/5). Suppose -x = h*d + 2*d - 105, -d + x + 20 = 0. Is d a multiple of 5?
True
Suppose -2*p - 3 = 3. Let i be