ose -5*o - r = -962. Is o a multiple of 9?
True
Suppose 2*l - 5190 - 3396 = 4*b, 0 = 5*b. Is l a multiple of 67?
False
Suppose -91699 = -26*g - 13961 + 14172. Is g a multiple of 34?
False
Let c = -156 - -155. Let b(q) = 88*q**2 + 5*q - 3. Is 16 a factor of b(c)?
True
Does 22 divide (198/15)/(-15*33/(-254925))?
True
Let y = 127 - 122. Suppose 0 = -y*n + 2023 + 1217. Does 54 divide n?
True
Is -3 + (41 - 16 - -70930) a multiple of 15?
False
Let n(k) = -7*k**3 + k**2 + 3*k + 4*k**3 + 8 + 2*k**3 + 0*k**3. Let s be n(0). Does 33 divide 2*44*6/s?
True
Let f be 4*1*2/(-2). Is 5 a factor of f/(-6)*(4 - -41)?
True
Let a(w) = -2*w**3 + 2*w**2 + w. Let f be a(-1). Suppose f*u - 4*h + 7 = 0, 2*u + h - 1 + 2 = 0. Let g(p) = 129*p**2 + p + 1. Is g(u) a multiple of 21?
False
Suppose a + 14 = 4*h, 6*h - 22 = 2*a - 0*a. Suppose 0 = -h*r - v + 4316, 10*r - 11*r + v = -1444. Does 90 divide r?
True
Let a(m) = m**2 - 2*m - 6*m**2 + 2 - 5*m**2 + m**2. Let f be a(3). Is (1 - 151)*34/f a multiple of 6?
True
Suppose 5*g = -3*y + 9967, 232*g - 227*g = -y + 9979. Is g a multiple of 5?
False
Suppose -41*a + 10300 = 1608. Suppose -763*u + 761*u + a = 0. Is u a multiple of 93?
False
Suppose -2*x + 14 = 4*v, 3*v - 2 = 4. Let d be 14 - 1/x*-3. Is (5/d)/(5/30) a multiple of 2?
True
Let v(u) = 6682*u - 953. Is 32 a factor of v(4)?
False
Suppose 11*g - 8*g + 111 = 0. Let r = g + -52. Let o = -41 - r. Does 12 divide o?
True
Let a(d) be the third derivative of 0*d + 23/3*d**3 + 0 + 3*d**2 - 1/24*d**4 - 1/120*d**6 + 1/30*d**5. Is 9 a factor of a(0)?
False
Let y = -4122 + 17271. Is y a multiple of 4?
False
Let l = 49679 + -26122. Does 35 divide l?
False
Let h(o) = 487*o + 734. Is 10 a factor of h(10)?
False
Suppose -258*u + 256*u - 3*c + 15188 = 0, -u = 5*c - 7608. Is u a multiple of 10?
False
Suppose 5*n = -3*x + 3486, 21*n = -4*x + 18*n + 4648. Is x a multiple of 14?
True
Let d(h) = -h**3 + 15*h**2 - 15*h + 19. Suppose 0 = -20*x + 25*x - 160. Suppose 0 = -2*u - 4 + x. Is 4 a factor of d(u)?
False
Suppose p + 24 = 4*p + 5*k, 0 = -3*p - 3*k + 18. Suppose -3*q + 6*q - 1245 = p*x, 3*q = -2*x + 1245. Is 13 a factor of q?
False
Suppose 5*l + 2*r - 22591 = 4016, 10668 = 2*l + 5*r. Is 23 a factor of l?
False
Let d(w) = 5*w**3 + 15*w**2 + 12*w. Let k = 37 - 39. Let l(v) = 4*v**3 + 14*v**2 + 11*v. Let g(x) = k*d(x) + 3*l(x). Is g(-5) a multiple of 2?
False
Let f(k) = -k + 20. Let u = 0 - 22. Let j = 11 + u. Is 10 a factor of f(j)?
False
Suppose 0 = 5*h + 2*g - 19758 - 7242, -4*h = g - 21600. Is h a multiple of 123?
False
Let k(a) be the second derivative of -a**4/12 + 20*a**3/3 + 6*a**2 + 47*a. Is k(34) a multiple of 54?
True
Let m(w) = 131*w**2 + 4*w + 9. Let s be m(-3). Suppose -8*k - 3*t - s = -9*k, -12 = -3*t. Does 22 divide k?
True
Suppose 0 = 2*a - x - 642, x = -4*a - 3*x + 1272. Suppose -15*t = -20*t + a. Does 4 divide t?
True
Let k(u) = 1223*u**3 + 6*u**2 - 1. Let i(t) = -1224*t**3 - 5*t**2 + 1. Let l(o) = 4*i(o) + 3*k(o). Let m be l(-1). Suppose 0 = 5*g - 94 - m. Does 22 divide g?
True
Let y(u) = -u**3 - 5*u**2 - 6*u - 9. Let x be y(-5). Let w be 54/x*(-140)/(-30). Suppose 80 = 4*a + w. Is 4 a factor of a?
False
Let n(j) = -111*j + 1689. Is 24 a factor of n(-9)?
True
Let v(c) = c**2 - 66*c - 39. Is v(-15) a multiple of 6?
True
Let u be 10/(-4)*2424/(-15). Let s = -266 + u. Is 13 a factor of s?
False
Let z(r) = -38*r**3 - 34*r**2 - 45*r - 251. Does 89 divide z(-10)?
True
Suppose 10 = c - 2. Suppose c*q - 44 = 4. Suppose 5*p = -2*o + 220, q*p - 3*o = 8*p - 183. Is 5 a factor of p?
False
Let p be 5/(-7 + 6) - (-1 - 2053). Suppose 3*h = -4*x + 6*h + p, -2*x + 1017 = -3*h. Is 31 a factor of x?
False
Let v be 1977/5 + (24/15 - 1). Suppose 4*k - 2*k = v. Does 9 divide k?
True
Let v be -54 + (0 - 20/(-5)). Let a be ((-7)/(-2) + -2)*v/(-15). Suppose a*u + 446 = 5*w - 89, -w + 3*u + 111 = 0. Is w a multiple of 15?
True
Let w = 64 - 44. Let p = w + -23. Is 29 a factor of 38 + (p - 3*(-1 - 0))?
False
Suppose -4*a + 2*j = -a + 11, a + j = -7. Let z = a - -8. Suppose z*m - 14 = 31. Is 5 a factor of m?
True
Suppose -4*a = 2*d - 3*d - 7, 5*d - 2*a = 19. Suppose -5*t + 6525 = d*y, -5*t - 886 = 4*y - 7414. Does 5 divide 2/5 + (t/30 - -3)?
False
Let k(s) = 18*s**2 - 11*s - 24. Let j(p) = p**2. Let q(g) = -2*j(g) + k(g). Is q(-3) a multiple of 17?
True
Let h(r) = r**2 - 2. Let o(g) = 5*g**2 + 6*g + 31. Let b(v) = 3*h(v) + o(v). Is 15 a factor of b(-5)?
True
Suppose 2*k - 38 = -p, 6*p - 16 = 2*p. Suppose -4*z + 2184 = k*z. Does 52 divide z?
True
Let i be 66*(-12)/(-24) + -1*4. Suppose 0 = -2*z, 32*y - 4*z = i*y + 495. Does 15 divide y?
True
Let q = -199 + 36. Is 3 a factor of (-17)/153 - q/18*2?
True
Let x(o) be the first derivative of o**4/4 - 4*o**3/3 - 6*o**2 - o - 22. Let l be x(6). Is (32 + l)/(4/4) a multiple of 7?
False
Suppose -32 = -4*c, 5*c - 3460 = 61*j - 64*j. Is j a multiple of 19?
True
Let z(g) = g**3 - 30*g**2 + 35*g + 37. Let a be z(29). Suppose 0 = 2*j - 5*k - a, 0*k = -4*j - k + 411. Does 7 divide j?
False
Let o = -8560 - -9454. Is o a multiple of 2?
True
Let g(n) = -34*n**3 - 6*n**2 + 38*n + 122. Is 41 a factor of g(-4)?
True
Does 41 divide ((-2)/(16/164706))/((-186)/248)?
False
Let s(w) = -15*w - 17. Let l be ((-6)/(-5))/(1/(-35)). Let f = l + 35. Is 35 a factor of s(f)?
False
Suppose -v = -2*v + 5, 0 = 2*o + v - 21. Suppose 4*y - o = -4*q, 0*q = -q + y + 2. Suppose q*w - 106 = x, -4*w = -w + 5*x - 172. Is 18 a factor of w?
True
Let y = 6477 - 2836. Is 18 a factor of y?
False
Let i(w) = -20*w - 36. Suppose 4*v = -5*k - 37, -k + 30 = -4*v - 1. Let g be i(v). Suppose 3*l - 75 = -3*o, -4*o + 3*l + l + g = 0. Is o a multiple of 4?
True
Suppose 4*w = 5*j - 11, -4*w - 10 + 29 = 5*j. Does 16 divide 11 + (15 - 23) + (1418 - w)?
False
Suppose -49*w = -42*w - 32193. Is w a multiple of 63?
True
Let d be -3*(-16)/18*210/(-28). Is (8/d)/(4/(-3700)) a multiple of 26?
False
Suppose n + 15 - 22 = 0. Suppose 264 = -g - n*g. Let l = 26 - g. Is l a multiple of 16?
False
Let o(s) = s**3 - 5*s**2 + 2*s - 10. Let b be o(5). Let x be (0 - 1 - b/(-3))*30. Is 2 a factor of x/(-4)*(-17 - -19)?
False
Suppose 157*y = -49*y + 2282274. Does 73 divide y?
False
Let b be (-30)/8 + (-32)/128. Does 10 divide -2*334/b*1 + 3?
True
Suppose -35281 - 12851 = -12*y. Does 35 divide y?
False
Let t(a) = a**2 - 9*a - 20. Suppose -9*d + 7*d - 24 = 0. Does 49 divide t(d)?
False
Let v(u) = -u**2 + 12*u + 10. Let y be v(13). Let t be 625/10 - y*3/6. Suppose 84 = 66*r - t*r. Is r a multiple of 7?
True
Let f be (16/10)/((-153)/45 + 3). Let w(h) = -4*h**3 - 6*h**2 + 4. Is 6 a factor of w(f)?
False
Suppose 564485 + 555147 - 119409 = 43*p. Is p a multiple of 17?
False
Suppose -16*n + 22*n = 54. Suppose -b + n*l - 5*l + 231 = 0, -2*b = 2*l - 462. Is 11 a factor of b?
True
Suppose -10*p - 172*p = -32*p - 3385200. Does 55 divide p?
False
Let i(j) = 39*j**2 + j. Suppose 0*w - 2*w + 10 = 0, -5*w = -5*c - 200. Let a be c/(-49) - 4/(-14). Is i(a) a multiple of 14?
False
Let r(b) = -355*b + 283. Is 5 a factor of r(-6)?
False
Suppose -5235 = -2*q - 4*d + 20209, 6*q - 4*d - 76396 = 0. Does 4 divide q?
False
Suppose 0 = -2*l + 3*c + 13706 + 1753, 2*c = -2. Is 27 a factor of l?
False
Let h(z) = 6*z**2 - 37*z - 20. Let p be h(-20). Suppose 5*c + 19*c = p. Does 30 divide c?
False
Is 2 a factor of (-44 - -4652)/((-12)/(-8))?
True
Let u(s) = -42*s + 126. Let r(m) = m - 1. Let q(y) = -12*r(y) - u(y). Does 9 divide q(14)?
True
Let l(n) = -n**2 - 20*n + 304. Let a be l(10). Suppose 3*o - 832 = -2*d, -a*o = d + 62 - 483. Is 7 a factor of d?
True
Suppose -5*j + 14*f - 17*f = -23988, 2*j - 9*f = 9534. Is 6 a factor of j?
True
Let h(l) = -4452*l - 2045. Does 13 divide h(-3)?
False
Let m(v) = -2*v**3 - 8*v**2 - 2*v + 34. Let a be m(-14). Suppose 4*c = -3*g + a, 10*c - 13*c + 2*g + 2978 = 0. Is c a multiple of 14?
True
Suppose -37*m + 92070 = 18*m. Is 62 a factor of m?
True
Suppose -p - 256 = p. Let w = p + 206. Suppose 3*b + b - 2*l = w, -2*b + 2*l = -34. Is 22 a factor of b?
True
Suppose 0 = -4*h - 0*h - 40. Suppose 5*v = 20, 2*t = 513*v - 514*v + 28. Does 4 divide 1 + t/h + (-2710)/(-50)?
False
Let a = 720 - -2232. Suppose -4*h = w - 2947, -w = 4*h - 5*w - a. Does 23 divide h?
False
Suppose 0 = -3*p + v - 4 + 5, 5*p - 2*v = 0. Suppose -p*i - 2*l = -440