39 + 1136. Suppose -6*d + c = -563. Does 16 divide d?
True
Let l be -1 + (-6)/(-4) + 27/(-6). Let u be (-18)/(-12) + (-398)/l. Let c = u + -70. Is 4 a factor of c?
False
Let b(g) = -19221*g - 477. Is b(-1) a multiple of 11?
True
Let y be 34425/(-54) - 2/(4/(-3)). Is (-70)/4*y/265 a multiple of 14?
True
Let k = -333 - -334. Is ((-87)/2 + k)*(-560)/56 a multiple of 17?
True
Let g be (-4 - 6/6)/(-1). Suppose -4*h + 4*l = -281 - 827, -l = -g*h + 1381. Is h a multiple of 46?
True
Suppose -1475*s + 1550*s - 2063925 = 0. Does 29 divide s?
False
Let v(r) = 22*r**2 + 15*r - 52. Is 12 a factor of v(4)?
True
Suppose 14034 = 4*n + 2*b, 56*n - 3*b + 10521 = 59*n. Is n a multiple of 15?
True
Let p(c) = 6*c**3 - 2*c**2 - 2*c - 2800. Let d be p(0). Is ((-32)/10)/(56/d) a multiple of 10?
True
Does 23 divide 116204/133 + 6/21?
True
Is ((-5)/((-15)/16) + 0)/(88/33396) a multiple of 52?
False
Let g(j) = 17*j**2 + j - 14. Let h be g(-11). Suppose w = 3*y - h - 468, -20 = 5*w. Suppose 7*o = 3*o + y. Is o a multiple of 31?
False
Is (-6692868)/3405*(-10)/3 a multiple of 8?
True
Suppose 9*k - 13*k + 3052 = 4*c, k = 3*c + 771. Is 9 a factor of k?
True
Suppose 2*c + 3 = x, 2*x - c - 4 = -x. Let v be (25 + -27)/((-10)/14 + x). Let n(g) = -48*g - 24. Is n(v) a multiple of 52?
True
Let h = -1432 - -3383. Is h a multiple of 6?
False
Let i be 4/26 + (-7512)/156 + 0. Does 9 divide (-1 - -2) + 1 + (-14 - i)?
True
Let p be 4/(-22) - (-105)/33. Suppose -18 - 9 = -p*z. Let a(b) = b**3 - 10*b**2 + 8*b + 21. Does 2 divide a(z)?
True
Suppose 2*v - 4*l + 4 = 0, 0 = -v + 5*l - 4*l + 2. Let f be (-9)/v - 2/4. Does 6 divide ((-5)/10)/(f/192)?
True
Let t(p) = 3*p**2 + 50*p + 34. Let n be t(-16). Is (n*(-68)/32)/((-7)/896) a multiple of 34?
True
Let g = -863 - -1375. Let t = 21 - 23. Is 16 a factor of (t/(-1))/(8/g)?
True
Let f(c) = 80*c**2 - 46*c - 237. Is f(9) a multiple of 29?
True
Let c = 305 + -147. Suppose -159 = 5*a - 5*n + 111, 3*a = 4*n - 162. Let k = c + a. Is k a multiple of 13?
True
Let i(l) = 375*l + 81. Let r(t) = 3 - 47*t - 28 + 15. Let a(o) = 4*i(o) + 33*r(o). Is a(-2) a multiple of 16?
True
Does 28 divide 13 - 13 - (-4 - 8760)?
True
Let q = 233 - 357. Let z be (-1)/(-2*(-2)/(-1084)). Let j = z + q. Does 21 divide j?
True
Suppose -6*p + 266 = 110. Does 11 divide 5 + 44*p/8?
False
Let y = 3989 + -3660. Is y a multiple of 6?
False
Let h = 44 + -45. Let v be ((-26)/10 + h)/((-20)/50). Suppose -v*q + 8*q = -155. Does 19 divide q?
False
Let r = 1702 - 1053. Let x = r + -420. Does 13 divide x?
False
Suppose -2*m + 2844 = 3*l, -5*m - 29*l + 26*l + 7119 = 0. Does 15 divide m?
True
Let u = 2903 - 683. Let o = u + -1021. Is o a multiple of 69?
False
Let d(o) = 1339*o**2 + 291*o - 1733. Is d(6) a multiple of 20?
False
Let l(o) = o**2 - 19*o + 33. Let v be l(6). Does 12 divide (-10)/v + 2/27*2265?
True
Let x be 5*(2 + (-9)/3) - -846. Let y = x + -610. Does 21 divide y?
True
Is 28 a factor of -9 - 11 - 54368/(-1)?
True
Let x(p) = -p**3 - 5*p**2 - p - 1. Let j be x(-5). Let o(w) = w + 65. Let t be o(23). Suppose -t = -8*i + j*i. Does 8 divide i?
False
Suppose -79 = -5*y - 2*o - 28, -8 = 4*o. Suppose -y*a + 8 + 201 = 0. Suppose 12*l = a*l - 1309. Is 17 a factor of l?
True
Suppose -631 = 24*u - 8431. Is 25 a factor of u?
True
Suppose -673886 = -99*y - 35*y. Is y a multiple of 14?
False
Suppose -2*h + 24280 = 301*x - 297*x, 5*x + 3*h - 30348 = 0. Is x a multiple of 12?
True
Let x be ((-127)/(-3))/(2/6). Let t be ((-101)/101)/(2/(-84)). Let l = x + t. Does 13 divide l?
True
Let f = -6072 - -6372. Is 64 a factor of f?
False
Suppose 4*u - 55960 = 4*l, 91*u = 90*u - 4*l + 14025. Does 23 divide u?
False
Suppose 22460 = 10*c - 14390. Is c a multiple of 11?
True
Suppose 3*j - 5625 = -i, -18 = 26*j - 29*j. Is 96 a factor of i?
False
Suppose -588 = -z - 2*z. Let c(k) = -6 + 182*k - 9 - z*k. Does 5 divide c(-5)?
True
Let m(q) = -30*q**2 - 4*q - 177*q**3 - 3 + 31*q**2 + 3*q. Is 16 a factor of m(-1)?
True
Let l = -7826 - -13612. Does 22 divide l?
True
Let p(i) = i**3 + 18*i**2 - 22*i + 15. Let l be p(-19). Let q = 74 - l. Suppose 0*x = 5*x + q*k - 140, -3*k + 45 = 2*x. Is 6 a factor of x?
True
Suppose a + 3*t = 1021, -2*t + 1022 = -11*a + 12*a. Is a a multiple of 4?
True
Let l be -5 - (-2 + 51)*-5. Does 8 divide 22848/l - 8/(-10)?
True
Suppose -28028 = -34*y - 10*y. Does 13 divide y?
True
Let y be 2/15 - (-18304)/195. Suppose -164 = -2*f - 2*m - 0*m, -f + 2*m + y = 0. Suppose 0*t - a = 5*t - 161, 2*t - 5*a - f = 0. Is t a multiple of 6?
False
Let r(t) = -2*t**3 - 5*t**2 - 4*t - 4. Let m be r(-2). Suppose 3*q = 2*a - m*q - 705, -4*q = 5*a - 1820. Is 6 a factor of a?
True
Suppose 0 = 7*t - 40 - 65. Suppose -t = -r + 62. Suppose -l - 3*l = -5*w - 95, w = -4*l + r. Is 5 a factor of l?
True
Let r be (32/(-4) + 29)/(3/2). Suppose -5*f + 9 - 47 = 2*c, 2*f + r = -2*c. Let b = f + 148. Does 13 divide b?
False
Suppose 201112 = 11219*k - 11196*k. Does 2 divide k?
True
Suppose 5*c - 4*y - 16 = 8, 0 = -4*c + 2*y + 18. Suppose c*j + 6 = j. Let z = j - -17. Is z a multiple of 5?
True
Let g = 20547 + -4002. Is g a multiple of 5?
True
Let b(w) = 2*w**2 + 43*w - 20. Is b(19) a multiple of 49?
True
Let b(c) = 355*c**2 - 34*c + 196. Is 69 a factor of b(5)?
True
Let m be 1/5 + 5 + 1164/(-20). Let x = 1546 + m. Is 25 a factor of x?
False
Let w(z) = -14*z**3 - 37*z**2 + 53*z + 39. Is 99 a factor of w(-11)?
False
Let v(t) = -6*t - 13. Let a be v(-3). Suppose 0 = 5*o - 4*p - 6039, a*p - 22 + 2 = 0. Does 28 divide o?
False
Let c = -33 - -35. Let z = 9 + 6. Is (c - -2)*z/20 a multiple of 2?
False
Let t(a) = a**3 - 2*a**2 + 4*a - 1. Let x be t(2). Suppose 16*n - 216 = x*n. Is n a multiple of 12?
True
Let m = 921 + -563. Let c = 400 + m. Is c a multiple of 19?
False
Let p = 8759 - 8157. Is p a multiple of 8?
False
Suppose -37*v + 20357 + 45436 = -162386. Does 68 divide v?
False
Let l(b) = -148*b - 689. Is l(-17) a multiple of 2?
False
Suppose -3*u - 4550 - 269 = -2*y, 3*y = -4*u + 7254. Does 17 divide y?
True
Let k = -14 - -20. Suppose -880 = 37*o + 933. Let q = k - o. Is q a multiple of 14?
False
Suppose 4*g - 3*h = 12, 7*h + 20 = 4*g + 2*h. Suppose 15*j + 751 - 3451 = g. Does 15 divide j?
True
Let g(b) = -b**2 + 11*b + 21. Let x be g(13). Let u(h) = -29*h + 20. Does 33 divide u(x)?
True
Does 22 divide (9 - 1)*(-20)/(-32) - -5079?
False
Suppose 3*l - 12903 = 3*s, 11*l - 2*s + 8578 = 13*l. Is l a multiple of 108?
False
Let u be (1348/2 + 7)*1. Let r = u - 261. Is r a multiple of 60?
True
Let i(h) = 6*h + 90. Let w be i(-15). Suppose w = -35*o - 1527 + 4467. Is o a multiple of 7?
True
Suppose 3*o = -4*l + 133 + 24256, 18273 = 3*l - 4*o. Does 115 divide l?
True
Let k(w) be the first derivative of -w**3 - w**2/2 + 10*w - 19. Let l be k(-5). Let n = l + 86. Is 13 a factor of n?
True
Suppose -14*z = -59158 - 6726. Is z a multiple of 181?
True
Suppose -2*q + 3*h = -136256, 14*h - 16*h = -2*q + 136254. Does 56 divide q?
False
Suppose -2*w - 3*b = -4564, -15*w + 10*w - 3*b = -11428. Is w a multiple of 70?
False
Let q be (-25)/5 + 13*66. Let g = -498 + q. Suppose 0 = -0*t - 3*t - 2*a + g, 350 = 3*t + a. Is 23 a factor of t?
True
Is 22 a factor of (6 + -21 - -6978) + -10?
False
Suppose 4*n + 3*f = 46891, 10*f = 3*n + 2*n - 58710. Does 114 divide n?
False
Let m = -1901 - -1355. Let q = m + 1694. Is 47 a factor of q?
False
Suppose -2*y + 7777 = 5*f, 13401 = 5*y - 4*f - 5959. Is y a multiple of 102?
True
Let j = -99 - -83. Let v = 136 + j. Suppose h = 0, -p + v = 3*p - 5*h. Does 5 divide p?
True
Let n(q) = 4*q**3 - q**2 + 4*q - 4. Let j be n(1). Suppose -66 - 1178 = -2*h + 4*p, h + j*p - 617 = 0. Is h a multiple of 31?
True
Is 101 a factor of (-12 - 280/21)*(-303)/2?
True
Suppose 6*m = 6233 + 32899. Is 11 a factor of m?
False
Let h(d) = 2581*d - 1771. Is 13 a factor of h(6)?
True
Let l = -13 - 1. Let t be 0 - -2 - 11*11/(-11). Is 14 a factor of (t - l) + 2 + -1?
True
Let p(b) be the first derivative of 3/2*b**2 + 6 + 4/3*b**3 + 3*b. Is 6 a factor of p(-2)?
False
Let c(i) = 1545*i - 268. Let o be c(6). Suppose 3344 - o = -6*t. Is t a multiple of 45?
False
Suppose 8*o = -22421 + 82325. Is 26 a factor of o?
True
Let n be -3*1*(1 + -3). Suppose -85 + 373 = -n*v. Does 18 divide (-16 - v)*3/4?
False
Let n = -5005 - -5007. Let x(c) be the third