s 18 divide h?
False
Let z = 78 + -73. Suppose -141 = -z*m + 174. Is m a multiple of 14?
False
Is 97 a factor of ((-660)/385)/((-6)/10017)?
False
Suppose -55*f = 1050 - 30970. Is f a multiple of 5?
False
Let a be 2*((-3 - -4) + -68). Let b = -78 - a. Does 7 divide b?
True
Let r be (3 - -3)*(-52)/(-4). Suppose 12*m - 11*m = r. Does 16 divide m?
False
Is (45 - (-1 - 12/(-4)))*5 a multiple of 20?
False
Let r(t) be the third derivative of -t**4/24 - 8*t**3/3 - 7*t**2. Let k be r(-15). Does 4 divide (k - 0)/(2/(-30))?
False
Suppose 0 = 3*q + 2*w - 2559, -10*w + 9*w = 4*q - 3407. Does 37 divide q?
True
Let n(r) be the first derivative of -7*r**4/2 + r**3/3 + r**2 + 13. Is 34 a factor of n(-2)?
False
Suppose -3*y - 189 = 5*g, 0 = -3*g - 4*y + y - 117. Let z = g + 66. Suppose -z*w = -29*w - 28. Does 15 divide w?
False
Suppose -4*a + 102 = 5*s, -3*s + 4*s = 2. Let f = a + -104. Let o = -49 - f. Is o a multiple of 9?
False
Let m = 7 - 3. Let q be -1*m - (-66)/11. Suppose -5*d = -3*n - 234, 3*n + 48 = q*d - 42. Does 10 divide d?
False
Let u = -404 + 597. Suppose -5*w - 10 = 0, 5*w = 2*z - u - 7. Is 19 a factor of z?
True
Let t(v) = -33*v + 6. Let m(u) = 29*u - 7. Let b(p) = -59*p + 14. Let g(z) = -4*b(z) - 7*m(z). Let o(w) = -4*g(w) - 5*t(w). Does 8 divide o(2)?
True
Let g(y) = -3302*y**3 + 2*y**2 + 4*y + 2. Is g(-1) a multiple of 13?
True
Suppose -i + 278 = 2*l, 410 = -2*l + 5*l - 2*i. Suppose -2*s = 3*n - 78, 4*s - 2*n - n = l. Is s a multiple of 17?
False
Suppose 3*w - 869 - 2363 = -4*q, 5376 = 5*w + 4*q. Is w a multiple of 134?
True
Suppose -4*k - p - 956 = -2*p, -3*p + 1188 = -5*k. Let r = k - -339. Is r a multiple of 11?
True
Is 5 a factor of (-470)/(-2) - -5*(-2 - -1)?
True
Let v(t) be the third derivative of t**5/30 - t**4/8 + 7*t**3/3 + 9*t**2 - 3*t. Suppose 0 = 3*i - 5*o - 8, 2*i = -4*o + 12 + 8. Is v(i) a multiple of 17?
True
Suppose 0 = 3*f + c, 3*c - c - 1 = -5*f. Let m(l) = -l - 1. Let r(v) = -11*v - 3. Let o(y) = f*r(y) + 3*m(y). Is 10 a factor of o(3)?
False
Let s = 0 + 5. Suppose 4*b = 3*t + 82 + 1, 109 = s*b - 2*t. Does 12 divide b?
False
Suppose 5*i - 12050 = -5*z, 5*z - 4836 = 5*i - 16936. Does 44 divide i?
False
Suppose 0 = -2*h - 3 + 9. Suppose 11 = h*x - 19. Is x even?
True
Let h be 3*-1 - 256/(-1). Is 11 a factor of (-238)/(-22) + 46/h?
True
Let j(t) = t + 2*t**2 - t**2 + t**3 + 85 - 2*t**2 + 28. Is j(0) a multiple of 29?
False
Let o be -2 + 1 + -2 + 49. Suppose 0 = 2*m + 8*q - 3*q - 20, 0 = -m - 5*q + 20. Suppose m = -g + o - 19. Is 9 a factor of g?
True
Suppose 10*u - 3705 - 565 = 0. Is 61 a factor of u?
True
Suppose 3*g + 30 = 18. Let l be (266/28)/(2/g). Let p = 43 + l. Does 12 divide p?
True
Is -123*(-10)/45*(1 - -5) a multiple of 19?
False
Let h be (36/7)/(5/(-35)). Does 12 divide (-192)/h*(86/4 + 1)?
True
Let h = -26 + 28. Is 14 a factor of (h/(-6))/((-3)/279)?
False
Let u(j) = 4*j - 10. Let z be u(4). Let k(o) = 15*o + 6. Does 12 divide k(z)?
True
Suppose -5*z + n = 2*n - 13, -n + 1 = -z. Suppose -5*a + 124 = -h, z*a + 0*h + 3*h = 36. Does 12 divide a?
True
Suppose 11*h - 58*h + 15416 = 0. Is h a multiple of 37?
False
Suppose -5*g + 5*w + 25 = 0, -5*g - 2*w = -0*g - 25. Suppose g*i = -i. Is (81 + 14)/(1 + i) a multiple of 19?
True
Let h(g) = 7*g - 3. Let s be h(1). Suppose -3*l + 252 = -q, -q = s*q. Does 12 divide l?
True
Let f(q) = -q**3 + 3*q**2 + 4*q - 2. Let k be f(4). Let l be ((-4)/6)/(k/15). Suppose l*c - 39 = 41. Is c a multiple of 8?
True
Suppose 4*v - 901 = 1431. Does 53 divide v?
True
Let n = -13 - -7. Does 9 divide (n/10)/((-10)/450)?
True
Is (2 + -4)*124*(-175)/70 a multiple of 31?
True
Let p be 4/(-16) + (-53)/(-4). Let g(a) = -3*a**2 + 56*a + 34. Let l be g(17). Suppose l = 3*d - p. Does 7 divide d?
False
Let d = 137 + -56. Let k = d + -11. Is k a multiple of 9?
False
Suppose -5*m = -3*m + 5*y + 1461, 0 = 5*m - 4*y + 3636. Does 20 divide (m/(-6))/(-7)*(-1 + -2)?
False
Let s be 2/(-1 - (-27)/21). Suppose -5*r + 4*l + 20 = 0, -3*l = -3*r + s*r - 16. Suppose 5*m - r*m - 6 = 0. Is m a multiple of 3?
True
Let f = 273 + 1148. Is 38 a factor of f?
False
Suppose -2746 = 305*y - 308*y - 4*z, 0 = 2*y - 5*z - 1846. Does 17 divide y?
True
Suppose -3*j - 1 = -2*j. Does 15 divide 77 + (-1 - j) + -3?
False
Suppose 0 = 5*u + 3 + 12. Suppose 9*g = 10*g - 4*a + 15, 5*g = -a + 9. Does 14 divide (294/u)/((-1)/g)?
True
Suppose 28 = -2*k + k. Is 19 a factor of 4*(-7)/k - -28*2?
True
Let i(m) = 75*m - 2. Is 44 a factor of i(10)?
True
Let n(f) = -f + 18. Let x be n(13). Let y be 321/x + (-2)/10. Let r = y + -36. Does 7 divide r?
True
Does 17 divide 12/30 - (-12904)/40?
True
Suppose n = 4*k + 285, 5*k = n + 4*n - 1365. Is n a multiple of 21?
False
Suppose -4*o = 2*j - 520, 648 + 112 = 3*j + o. Suppose -c + j = c. Does 22 divide c?
False
Let u(n) = -7*n**2 + n + 2. Let q be u(2). Let o = q + 120. Is 6 a factor of o?
True
Let w be (-4)/(-1) + -18 + 16 - 94. Let r be (-298)/6 + (-1)/3. Let o = r - w. Is o a multiple of 14?
True
Suppose -d - z - 8 = 20, 2*z - 4 = 0. Let o be ((-64)/10)/((-3)/d). Let s = 90 + o. Is s a multiple of 13?
True
Suppose 680 = -209*c + 211*c. Is 34 a factor of c?
True
Suppose -2 = -5*k + 4*u, -2 - 4 = k - 4*u. Does 7 divide (192/(-72))/(k/(-12))?
False
Suppose 4*o = 9*o - 10. Let u(g) = -2*g - o*g - g + 0*g - 6. Is 11 a factor of u(-7)?
False
Let z = 2603 - 1853. Is z a multiple of 50?
True
Suppose 3*q - 2597 = -2*c, -5199 = -4*c + 11*q - 12*q. Is 18 a factor of c?
False
Suppose 0 = -2*b + 24 + 20. Is b/(-99) - 816/(-27) a multiple of 5?
True
Let x be 18*(-4 - -2)/(-2). Suppose -u = 4*q - x, -2*q + 0*u + 2*u = -14. Suppose q*r + 137 + 40 = 4*i, -2*r = -6. Does 12 divide i?
True
Suppose -203*z - 315 = -206*z. Is 5 a factor of z?
True
Let r(h) = -h**3 - 9*h**2 - 36. Does 17 divide r(-11)?
False
Let z = 2776 + -1529. Does 64 divide z?
False
Suppose 4756 - 82716 = -20*r. Is r a multiple of 19?
False
Let y = 6 - 4. Let d be 15/6 + (-1)/y. Is 10 a factor of ((-39)/2)/(d/(-4))?
False
Let l(m) be the first derivative of -10*m**2 - 30*m + 23. Does 9 divide l(-12)?
False
Let q = 1447 + -52. Does 31 divide q?
True
Suppose 3*u + 2 = 4*u, 0 = -4*o + 5*u + 6. Suppose 17 = o*v + 3*s, -4*v + 10 = -5*s - 15. Is v a multiple of 2?
False
Let b = -102 - -578. Suppose 5*a - b = -4*m, 47 = -2*m - a + 291. Suppose 2*c + 2*k = 126, -2*c + 2*k + m = 6*k. Does 14 divide c?
False
Suppose 5*s = -3*l + 1618, 0 = -16*s + 19*s + 4*l - 962. Does 32 divide s?
False
Let z = -2 - 1. Let f(q) = -q + 2. Let u be f(z). Suppose u*o + 135 = 8*o. Does 19 divide o?
False
Suppose 2*o + 9*m - 4*m = 100, -m = 2*o - 92. Let s(h) = -3*h**3 + h**2 - 4*h - 4. Let v be s(-3). Let k = v - o. Does 12 divide k?
False
Suppose 3*g - 72 - 84 = 3*a, a - 58 = -g. Is g a multiple of 5?
True
Let d(v) = -v**2 - 2*v - 1. Let c be d(-1). Suppose p = -c*p - 8. Let q = -1 - p. Is q a multiple of 4?
False
Does 6 divide (-360)/60*((-26)/1)/2?
True
Let k(g) = -g**2 - g + 1. Let z be k(1). Let q be 2/(4/8 + z). Let d = q + 20. Is d a multiple of 16?
True
Is 24 a factor of 31011/27 + 48/108?
False
Is (10*(-32)/80)/(8/(-2258)) a multiple of 20?
False
Suppose -110*x + 11259 = 29*x. Is 2 a factor of x?
False
Let r be 2 - (-5)/(-2) - 2233/(-22). Suppose -5 = 2*a - r. Is 6 a factor of a?
True
Let s(v) = v**3 + 7*v**2 - 39*v - 43. Is s(-8) a multiple of 21?
False
Let h(i) = 2*i - 33. Let k be h(20). Suppose 312 = k*t + 60. Is t a multiple of 4?
True
Let y be (1 - 28/3)/(1/12). Let h = 152 + y. Is h a multiple of 13?
True
Suppose -18*x + 648 = -15*x - 3*o, 2*x - 5*o - 435 = 0. Does 14 divide x?
False
Let z be 2/(-3 - (-11)/3). Suppose 2*v + z + 11 = 0. Is 3 a factor of (6 + v)/(1/(-3))?
True
Let q(m) = -5*m - 12 + m**3 + 9 - 1 + 2*m**2. Let g be q(-3). Suppose -5*v - 141 = -p - 3*p, 138 = 4*p - g*v. Is p a multiple of 14?
False
Let t = 23 - -121. Does 16 divide t?
True
Let v(p) = 9*p**2 - 50*p + 2. Is 30 a factor of v(9)?
False
Suppose 32*q - 28*q = 20. Suppose -6*p + p = -5*j - 45, p - 2*j = q. Is 12 a factor of p?
False
Suppose -16*s = -6801 - 975. Is s a multiple of 18?
True
Let q = -466 + 469. Let c(t) = 34*t - 2. Let p be c(2). Suppose 0 = -q*b - 4*v + 137, 2*b + 8 = 4*v + p. Does 15 divide b?
False
Suppose 416 + 1066 = 6*m. Is m a multiple of 16?
False
Suppose 2 = -3*x - 13. 