ose 0 = 12*u - 10*u - 4, 3*u = -3*q + 951. Is q a multiple of 21?
True
Let w(l) = l**2 + 2*l. Let r be w(-6). Let x be -3 + (-2)/(-3)*99. Is 19 a factor of ((-40)/r)/((-1)/x)?
False
Let l(j) = 1408*j**3 + 5*j**2 - 2*j - 9. Is l(2) a multiple of 17?
True
Suppose -4*x - 32*x + 14311 + 12473 = 0. Is 93 a factor of x?
True
Suppose -8*s - 125 = -9*s. Let u = s - 81. Is u a multiple of 4?
True
Let t(f) = 7*f**2 + 123*f + 1925. Is 8 a factor of t(-18)?
False
Let m(b) = 46*b + 6. Let r(j) = -91*j - 11. Let o(q) = 5*m(q) + 3*r(q). Let w be o(3). Is (3 - w/(-28))/((-2)/56) a multiple of 6?
True
Let c(x) = 48*x**2 + 102*x + 891. Is c(-10) a multiple of 176?
False
Suppose 970 = 4*t + 5*p - 598, 4*t = p + 1592. Suppose t*u = 398*u - 657. Does 78 divide u?
False
Let d be (-371306)/(-91) - (-2)/(-7). Suppose 0 = -47*t + 57*t - d. Is 29 a factor of t?
False
Let z be (2 + -3)/(4/(-1148)). Suppose z = t + 37. Is t a multiple of 5?
True
Let y(h) = 1819*h - 3549*h + 1835*h. Suppose 0 = 5*x - 2*m - 20, -x - 3*x + 23 = -3*m. Is 16 a factor of y(x)?
False
Let s = 709 - 701. Let i(y) = -y + 32. Let z be i(0). Suppose s*k - 9*k = -z. Is k a multiple of 16?
True
Let s(g) = 332*g + 700. Does 188 divide s(33)?
True
Let y(w) = 17*w**2 + 3*w - 14. Suppose -5*q = 5*x + 10, 0 = -q + 2*x - 8 - 3. Is y(q) a multiple of 31?
False
Let f = 3712 - 3618. Does 8 divide f?
False
Let s = 44996 - 31714. Is s a multiple of 53?
False
Let t(f) = 2*f**3 - 3*f**2 + f + 1. Let m be ((-4)/(-10))/(17/85). Let k be t(m). Let b(o) = o**3 - 5*o**2 - o - 1. Does 5 divide b(k)?
True
Let d be 3/9*(10 - 4). Let f be ((-1)/d)/((-17)/204)*-7. Let h = -27 - f. Is h a multiple of 5?
True
Let x = -5 + 4. Is (-220)/(-8) - 1 - x/2 a multiple of 6?
False
Let s(x) = x**2 + 9*x - 7. Suppose -l + 41 = -4*o, -o - 2*l = -3*l + 8. Is s(o) a multiple of 15?
True
Let m(a) = a**3 + 127*a**2 - 166*a - 1780. Is 36 a factor of m(-125)?
True
Suppose w - 1369 = -4*m, 0 = 2*w + m - 1728 - 982. Is 11 a factor of w?
True
Let v be -1*(9/7 + (-8)/28). Let h be (4/(-8))/(v/(-6)). Does 17 divide (-34 - h)*(-2)/2?
False
Let c(s) = 7*s**2 + 16*s - 18. Let r(a) = 6*a**2 + 17*a - 17. Let x(f) = 4*c(f) - 5*r(f). Suppose 2*j + 36 = -2*j. Is 37 a factor of x(j)?
False
Does 19 divide 244/(-976)*4/6 + (-1562)/(-12)?
False
Suppose 67*u = 72*u + 15, -188585 = -5*c - 5*u. Is c a multiple of 133?
False
Is (((-3885)/28)/(-5))/((-3)/(-8100)*3) a multiple of 62?
False
Let l(q) = -3 + 2*q**2 + q**3 + 21 + 21 + 44. Is l(0) a multiple of 5?
False
Let o(a) = 18*a - 43. Let i(s) = -s**3 + 9*s**2 - 9*s - 5. Let d be i(6). Let x = 55 - d. Does 13 divide o(x)?
True
Let u(n) = -5*n**2 - 2*n + 5. Let o(g) = -g**2 - g + 1. Let a(r) = -6*o(r) + u(r). Let z be a(-6). Suppose -12*k + 13 = -z*k. Is k a multiple of 13?
True
Let q be 2/4*(2 - -2). Suppose -5*z - h - 2*h = -52, 3*h = q*z - 4. Suppose z = -k + 77. Is 13 a factor of k?
False
Let u(w) = 1131*w**2 + 57*w + 6. Is 4 a factor of u(-1)?
True
Does 9 divide 1420032/1408 - (18/33)/1?
True
Suppose -6*b = -2*b + 12, -h + 4*b = -16. Suppose -5*i = -4*d - 0*d - 1218, 0 = -h*i - 5*d + 999. Is i a multiple of 41?
True
Let j be -2 + -118 + 0 + 0. Let w = 248 - 233. Does 8 divide 16/j + 1217/w?
False
Suppose k - 4*t = 51, 0*k + t + 255 = 5*k. Let b = k - 45. Suppose b*x = 673 - 31. Is x a multiple of 18?
False
Suppose 0 = -14487*q + 14451*q + 815616. Does 100 divide q?
False
Suppose 4*x - 4*f = 246360, f - 246330 = 3210*x - 3214*x. Is x a multiple of 48?
True
Let p(i) = -5*i - 38. Let d(n) = n**2 + 5*n + 8. Let z be d(-3). Let o be (84/(-20))/(z/(-20)*-2). Is 4 a factor of p(o)?
False
Does 23 divide (12 + 1000)*4/8?
True
Let u(q) = 16*q - 51. Let f = -117 - -197. Suppose 0*w + 5*w = f. Is 35 a factor of u(w)?
False
Is -11130*(5 + 4*(-15)/10) a multiple of 30?
True
Let g(o) = o**3 - 12*o**2 - 11. Let b be g(11). Does 25 divide ((-6)/(54/(-75)))/((-4)/b)?
True
Let p(u) = -3*u**2 + 4*u + 4. Let z be p(-1). Suppose 4 = b + 12. Is (61/(-2))/(((-12)/b)/z) a multiple of 12?
False
Let n = -26184 + 72043. Does 11 divide n?
True
Let n = -613 - -587. Let y(f) = f**3 + 25*f**2 - 36*f - 62. Is y(n) a multiple of 11?
True
Does 7 divide 35/(-175)*(-3 + -4262) + 3 + -1?
False
Let z(h) = -175*h + 9. Let d be z(2). Let l = d + 513. Suppose 4*u = l + 144. Is u a multiple of 32?
False
Let j(a) = -a. Let g(l) = -10*l + 30. Let n(v) = g(v) - 3*j(v). Let r be n(0). Suppose 13 = r*q - 29*q. Is 2 a factor of q?
False
Suppose -8878 - 27648 = -14*n. Is 4 a factor of n?
False
Let w(g) = 22323*g**2 + 43*g - 43. Is 21 a factor of w(1)?
True
Let d(a) = -5*a + 14. Let u be d(2). Suppose 10*h + u*n + 1368 = 14*h, 0 = -3*n + 6. Is 35 a factor of h?
False
Suppose -o - 16 = -16. Suppose -3*l - 3*v + 198 = o, -l = -5*l - 5*v + 264. Does 6 divide l?
True
Suppose 4*g + 5*b = 3*g + 22851, 3*g - 3*b = 68445. Is g a multiple of 131?
False
Let b(z) be the second derivative of 5*z**4/6 - z**3/6 - 2*z**2 + 21*z. Let q be b(-4). Suppose -8 = -2*u + q. Is 21 a factor of u?
True
Let v be ((-1400)/(-42))/20*(-6)/(-2). Suppose 5*d - h = 2569, v*d - 2572 = 5*h - 7*h. Is 73 a factor of d?
False
Suppose 0*d - 2*d = 2, -3*d + 18827 = 2*v. Does 25 divide v?
False
Let v(d) = -3*d**3 + 12*d**2 - 27*d - 13. Let b be v(6). Let g = 764 + b. Is g a multiple of 48?
False
Let c = 12 - 6. Let u = c - -22. Does 14 divide u?
True
Let d(v) = -57*v + 7. Let c(h) = -19*h + 2. Let j(r) = -21*c(r) + 6*d(r). Let z be j(2). Suppose -5*x = -2*x - z. Is x a multiple of 32?
False
Does 73 divide (240/6)/5 + 2182?
True
Let y(c) be the third derivative of -19*c**4/12 - 5*c**3/2 - 24*c**2. Let h be y(-9). Suppose -17*m = -20*m + h. Is m a multiple of 21?
False
Let i = 2360 - 722. Let r = i - 813. Is 20 a factor of r?
False
Let o be (30/12 + -1)*4/3. Suppose -5*c - 408 = 4*p, -o*p = -4*c - 3*p - 333. Let q = c - -212. Is q a multiple of 16?
True
Let r(w) = -14*w**3 + 12*w**2 - 27*w + 91. Does 44 divide r(-11)?
False
Let l(j) be the first derivative of j**4/4 - 2*j**3 - j + 34. Let y be l(6). Does 12 divide 4/24*6*(187 - y)?
False
Let g(a) = -2*a**2 + 12*a + 12. Let u be g(8). Is 2*2/u - 202/(-10) a multiple of 20?
True
Suppose 108*l = 61*l + 229078. Is 61 a factor of l?
False
Let t(b) = 167*b - 304. Is t(3) a multiple of 4?
False
Let t(o) = 6*o**2 - o + 16. Let d be t(-4). Does 10 divide ((-261)/d)/(2/((-640)/3))?
True
Let x = 402 - 398. Suppose -1044 + x = -5*k. Is 5 a factor of k?
False
Let h(l) = 10*l**2 - 72*l - 2151. Is 14 a factor of h(-21)?
False
Suppose 4*l - 710 = -2*u, 3*u + u + 5*l - 1435 = 0. Suppose -3*o + 8*a = 4*a + u, 2*a + 248 = -2*o. Let t = -67 - o. Is 6 a factor of t?
False
Is 142 a factor of (-7)/(3/194*(-74)/111)?
False
Let g be 3 - (1 + (-1 - 0) - 437). Let h = g - 289. Let f = h - 36. Does 16 divide f?
False
Let z(y) be the second derivative of 5*y**4/12 - 5*y**3/6 - 133*y**2/2 - 6*y - 5. Does 6 divide z(-9)?
False
Let n be (-3)/((-3378)/(-846) + -4). Let s = -152 + n. Is 22 a factor of s?
False
Let i(w) = w**3 + 5*w**2 - 5*w - 4. Let h = -7 - 26. Let p = -29 - h. Is 20 a factor of i(p)?
True
Suppose 34*w = -2683 + 18323. Is w a multiple of 115?
True
Let m(o) = -o**3 + 6*o**2 - o + 9. Let a be m(6). Suppose -5*j - 20 = 0, a*x - 604 = -x - 2*j. Let l = -109 + x. Does 22 divide l?
True
Suppose 958732 - 117974 + 15058 = 26*g. Is g a multiple of 39?
True
Suppose 76*u - 3 + 140 = -15. Suppose -27 = -p + 37. Is 26 a factor of (-2256)/p*((-14)/3 - u)?
False
Let n be 39/(-351) + 172/9. Suppose 21*c = n*c + 430. Is c a multiple of 17?
False
Let b(m) be the second derivative of -m**3/6 + m**2 + 15*m. Let d be b(-3). Suppose 61 + 19 = d*i. Is i a multiple of 8?
True
Is 9356*108/8*15/270 a multiple of 2?
False
Suppose 4*t + 2*x = -t - 6, 0 = -3*t + 2*x + 6. Suppose t = b + 2 - 12. Is (16/b)/(-3 - 107/(-35)) a multiple of 4?
True
Let m = -118 - -121. Is (612/6)/(m/12) a multiple of 24?
True
Suppose -2*i - 43 - 107 = 0. Let u = -45 - i. Does 4 divide u?
False
Does 40 divide 2295279/189 - (0 - 4/(-24)*2)?
False
Let f = 18029 - 8495. Is 19 a factor of f?
False
Let s be 0 + 3*(-3 + -3). Let u = -12 - s. Let k = 21 + u. Is 27 a factor of k?
True
Let r(s) = s**3 - 45*s**2 + 87*s + 4. Suppose -f = 3*i - 46, i - 4*i + 3 = 0. Does 3 divide r(f)?
False
Is (-2)/(-20)*-2 - (159285/(-25))/7