l(7) a multiple of 36?
False
Suppose 5*h = h + 12. Let g be ((-2)/h - 8/(-12)) + 0. Is 33 + 3 - g/(1 + -2) a multiple of 9?
True
Suppose 27468 = -7440*x + 7431*x. Suppose 3*k = 50 + 10. Does 19 divide -3 - x/k - 4/(-10)?
False
Let u(n) = -79*n - 2265. Is 199 a factor of u(-79)?
False
Let v be (-6 - -3)/(2 - (-1583)/(-790)). Let f = v - -485. Is 51 a factor of f?
True
Let u = 34 + -31. Suppose -5*q + 163 = -m, u*q - 102 = -2*m + 4*m. Let b = 36 - q. Is b a multiple of 4?
True
Let k(y) = y - 6. Let h be k(10). Suppose -h*u = u - 10. Does 13 divide (10/u*4)/((-4)/(-26))?
True
Suppose 0 = 2*k + 3*k - 5*u - 30, -2*u = 2*k - 4. Suppose 7*a - k*a = -3. Is 22 a factor of (-956)/(-16)*2 - a/(-2)?
False
Let u = -6 - -13. Suppose -5*a - u + 42 = 0. Is (-8 + a)*-29*1 a multiple of 29?
True
Let y = 8745 + -5334. Is y a multiple of 14?
False
Suppose -2*j - 10 = -4*j. Suppose 125 = j*y - 145. Suppose -5*t + o + y = 0, -4 + 0 = o. Is 4 a factor of t?
False
Let f(o) = -58*o - 14. Let l be f(-11). Suppose -3*x + l = 3*x. Is 52 a factor of x?
True
Let c(y) = 1328*y**2 - 10*y + 11. Let l be c(1). Suppose 0 = -28*j + 25*j + l. Suppose 12*z - j - 469 = 0. Is z a multiple of 4?
True
Let j(r) = 2*r**2 + 25*r + 9. Let z be (-17 + 0)*11/11. Is 9 a factor of j(z)?
True
Suppose 3*p - 415 = -2*p. Suppose w = -3*j + p, -2*w - 3*j + 169 = -0*w. Let h = w - 41. Is h a multiple of 9?
True
Is 14 a factor of (-1313817)/(-54) - ((-10)/180*-3)/(-3)?
False
Suppose 16*m = -85*m + 344006. Is m a multiple of 38?
False
Let o(v) = v**3 + 10*v**2 - 9*v + 27. Let h be o(-11). Let q(f) = 9*f**2 - 5*f + 1. Is 5 a factor of q(h)?
False
Suppose 0 = 7*x + x + 67*x - 3225. Is x a multiple of 2?
False
Let t(i) = 64*i**2 - 10 - 32*i + 22*i + 19*i - 63*i**2 - 4. Let n(p) = -7*p + 1. Let d be n(2). Is t(d) a multiple of 19?
True
Let o be (-2 - 40/(-18)) + (-1102)/18. Let a = o + 58. Is 23 a factor of -11 + 8 - (-28 + (-1 - a))?
True
Let k = -2217 - -5281. Is 16 a factor of k?
False
Suppose -164 = 3*x - 2*o, -144 = 3*x - o + 4*o. Does 13 divide x/(-6)*(-3 + 6)?
True
Suppose -4*a + 432 = -3*n, 0*a + 5*n = 2*a - 230. Let z = -57 + a. Let o = z + -39. Is 3 a factor of o?
True
Let i be (-1 - 3)/(1/(-20)). Let y = -2759 + 2759. Is (i - 1) + y + 1 a multiple of 16?
True
Let f(i) = -160*i - 22. Does 69 divide f(-1)?
True
Let r = -4503 + 6825. Is r a multiple of 9?
True
Let m(a) = -7*a**2 + 8*a**2 + 4*a**2 + 16*a - a**3 + 7 + 3*a**2. Does 20 divide m(-6)?
False
Let d = 663 + -624. Let s(f) = f**3 + 9*f**2 + 4*f + 6. Let a be s(-6). Suppose 2*g + a - 320 = -5*r, -r = -g - d. Is r a multiple of 44?
True
Let i(d) = -d**3 - 6*d**2 + 7*d + 9. Let w be i(-7). Suppose 9*p - 1944 = -w*p. Is 17 a factor of p?
False
Suppose 22*n - 13*n - 45 = 0. Suppose 2310 = 3*d + 3*p, -n*d + 3*d + 3*p = -1565. Is 50 a factor of d?
False
Let x = 8816 + -5882. Let o = x - 1875. Is o a multiple of 87?
False
Let u(c) be the second derivative of -c**5/20 - 3*c**4/2 + 2*c**3 + 2*c**2 + 36*c. Let o be u(-18). Let g = 403 + o. Is 18 a factor of g?
False
Suppose -47*w - 34*w + 490980 = -21*w. Is w a multiple of 77?
False
Let h = 955 - 869. Suppose -40382 = -h*p + 25*p. Does 10 divide p?
False
Suppose 16*p = 59737 - 16153. Is p a multiple of 14?
False
Let t = -29222 - -49046. Does 21 divide t?
True
Suppose -k - 4*r = -5*k - 372, -5*k = -3*r + 475. Let g = k + 101. Suppose 5*o + g*y - 2*y = 245, -3*o + 164 = 4*y. Does 16 divide o?
True
Is ((-1728)/(-40))/(7/(-1120)*-4) a multiple of 12?
True
Is (-25002)/(-6) + -8*10/20 a multiple of 163?
False
Let z(g) = g**3 + 8*g**2 - 4*g - 7. Let x be z(-8). Suppose 0 = -2*l - 3*c - c + 28, -c = 5*l - x. Let f = 9 + l. Is 13 a factor of f?
True
Suppose 3*k - 1050 + 255 = -i, 3*i - 3*k - 2421 = 0. Is 5 a factor of i?
False
Let y be (75 - (1 + -1))*(-41 + 40). Let f = 125 - y. Is 25 a factor of f?
True
Let x(y) = -34*y + 50. Let p be x(-15). Suppose -23*h = -22*h - p. Does 14 divide h?
True
Is 3 a factor of (-49)/637 + (-11)/((-286)/51820)?
False
Let m(l) = 4*l + 40. Let r be m(0). Suppose 101 = -3*s + 365. Let w = s - r. Is w a multiple of 10?
False
Let v(q) = 3*q**3 - 3*q**2 + 2*q. Let r be v(1). Suppose a + 0*a + 8 = r*d, d = a + 3. Suppose x - 2*s = 50, 3*x + 3*s = -a*s + 139. Is x a multiple of 16?
True
Suppose -3*w - 4 = w. Let b be (0 - w)/1 - -3. Suppose -57 = -b*r + 27. Does 5 divide r?
False
Suppose 706*k - 643*k - 730800 = 0. Is 80 a factor of k?
True
Let p(o) = -o**2 + 6*o + 21. Let v be p(8). Suppose -5*x + 405 = -3*j - 46, -5*x - v = 0. Let s = -107 - j. Is 13 a factor of s?
False
Let z = -39 - -47. Let w(b) = -3 + z*b - 1 + 1 - 4. Is w(8) a multiple of 19?
True
Let a(y) = -39*y**2 + 22*y**2 - 71 + 16*y**2 - 24*y. Is 9 a factor of a(-20)?
True
Let b(z) = -4*z - 20. Let g = 49 - 67. Let r be b(g). Let h = -18 + r. Is h a multiple of 7?
False
Let x be (-16)/12*(-1 - (-25)/(-20)). Is (-3 - -1288)*(-7)/(-35)*x a multiple of 9?
False
Suppose -15*j + 1500 = -35*j. Suppose -y - 2*y + 3*x + 357 = 0, -2*y - 3*x = -223. Let o = j + y. Is 28 a factor of o?
False
Let x(i) = 6*i**3 + 4*i**2 - 10*i + 10. Let z(c) = c**3 - 9*c**2 + 11*c - 21. Let f = 87 + -79. Let y be z(f). Is x(y) a multiple of 20?
False
Suppose 16 = 10*m + 216. Is 19 a factor of (m/8 - -1)*-152?
True
Let x be ((-60)/(-14))/(220/56 - 4). Let n = -61 - x. Let w = 32 - n. Is 11 a factor of w?
True
Let j = 1 - -3. Suppose -u = j - 35. Suppose -2*i + u + 25 = 0. Is 7 a factor of i?
True
Let z(j) = 23*j - 2. Let d be z(-3). Suppose 80*p - 608 = 72*p. Let v = p + d. Is 2 a factor of v?
False
Suppose -96719 + 30133 = -13*r. Is r a multiple of 72?
False
Let d be 6024/15 + 6/(-10). Suppose 427 + d = 2*s. Is 46 a factor of s?
True
Let v(w) = 5105*w + 10. Is 15 a factor of v(1)?
True
Is (-2009)/(-2)*(-19414)/(-3997) a multiple of 9?
False
Let a(k) be the third derivative of 5*k**4/12 + k**3 + 14*k**2. Let x be a(-2). Let g(z) = -9*z + 7. Is 30 a factor of g(x)?
False
Let y be 55/(-7) + 5/(-35). Let m be 637/4 + 2/y. Suppose 4*p - m = 81. Is p a multiple of 30?
True
Let v = 18446 + -5866. Is v a multiple of 34?
True
Let x = -8422 + 44377. Does 16 divide x?
False
Does 183 divide (10 + (-48)/8 + (1 - 11))*-4570?
False
Suppose 38*c = 52*c - 17472. Does 52 divide c?
True
Is 8 a factor of (351/(-585))/(1/(-10890))?
False
Let j = 8810 - 2006. Is j a multiple of 28?
True
Let h(w) = w**2 - 4*w + 14. Let z be h(3). Let k(b) = 55*b - 80. Is k(z) a multiple of 15?
True
Let f = 15265 + -12728. Does 2 divide f?
False
Suppose 22 = -5*l + 6*l. Suppose 33*u = l*u + 990. Is 5 a factor of u?
True
Let t = -71 - -148. Let y = t - -14. Suppose 351 = 2*z + 2*z + f, z = 3*f + y. Is 34 a factor of z?
False
Suppose 118*t - 4278756 - 4271972 + 3093464 = 0. Does 164 divide t?
True
Suppose 2*l - 1362 + 4355 = 5*s, 3*s + 4*l = 1775. Let k = 671 - s. Does 3 divide k?
False
Let j(f) = -f**2 - 7*f + 32. Let b be j(-10). Let w(y) = 14*y + 0*y**2 - 11 + 3*y**2 - 5*y**b + y**2. Does 3 divide w(11)?
False
Suppose 0 = -11*h - 208 - 45. Let d = 35 + h. Suppose -3*g + 2*g = -d. Is 12 a factor of g?
True
Let p = 16 - 23. Let f(o) = -229*o + 7794. Let i be f(34). Is (220/p)/((96/(-126))/i) a multiple of 15?
True
Let j be (2/(-6))/((-12)/108). Suppose 7 = 3*c - 0*c + w, 0 = -j*c - 5*w - 13. Suppose -c*v + 202 = s, 377 = -0*s + 2*s - v. Is 38 a factor of s?
True
Let s = -62 + 68. Suppose 701 = s*t - 739. Suppose -2*f - 2*f + 3*b = -192, 5*f - 4*b - t = 0. Is 17 a factor of f?
False
Let x = -10796 - -31910. Is x a multiple of 69?
True
Is 15 a factor of (-432)/(-8856) + 1114294/82?
False
Let t be 1/(-9) - (-595631)/261. Suppose -n = -19*a + 22*a - t, -n - 3790 = -5*a. Is a a multiple of 23?
True
Let d(i) = -3*i**3 + 360*i**2 + 5*i - 84. Is d(119) a multiple of 74?
True
Let b(q) = 49*q + 312. Let p be b(9). Suppose -3*d + p = 3*h, -3*h + 2*d + d = -759. Is h a multiple of 12?
True
Let k be (-13661)/(-95) - (-1)/(4 + 1). Suppose k + 21 = 5*g. Does 4 divide g?
False
Let y = -371 - -360. Let a(n) = n**3 + 14*n**2 + 28*n + 14. Does 23 divide a(y)?
True
Suppose -7*l - 150 = 8*l. Let m(n) = -n**3 - 4*n**2 + 5*n + 2. Let h be m(-5). Does 5 divide (l/2)/(h + (-15)/6)?
True
Does 22 divide (-146)/((-6 - -4)*(-5)/(-220))?
True
Suppose 0 = -5*c + 4*y - 2*y - 208, 2*y - 166 = 4*c. Let o = c - -45. Suppo