ppose s + 8616 - 55278 = 5*u, 5*s + 6*u = 233310. Is 231 a factor of s?
True
Let z(k) = -k**3 - 4*k**2 + 13*k + 7. Let b be z(-10). Suppose -a + 226 = -s, -2*a - 5*s + b = -2*s. Is 6 a factor of a?
False
Let z(a) = 2*a**2 + 23*a + 59. Let t be z(-27). Suppose 14*m - 6*m = t. Is 4 a factor of m?
True
Suppose -2*w + 14 = 6. Suppose 6*m = w*m. Suppose -4*d + 138 + 258 = m. Is 9 a factor of d?
True
Let f(g) = -2*g**2 - 8*g - 3. Let h(z) = 3*z**2 + z**2 - 5*z**2. Let m(l) = f(l) - 5*h(l). Is 48 a factor of m(-3)?
True
Suppose 4*l + 6034 = 3*f + 724, -4*f = 5*l - 7080. Does 59 divide f?
True
Is 88 a factor of (126/(-24))/((-60)/18160)?
False
Suppose 13*p = -4*p + 204. Suppose 1572 = 18*b - p*b. Does 9 divide b?
False
Let s be -1 + -3 + 15 - (2 - 1). Let d be (-11)/(-3) + s/(-15). Does 18 divide ((-36)/(-8))/(d/36)?
True
Suppose -49 = -2*k + 635. Suppose b - k = -8*b. Does 2 divide b?
True
Let w(x) = 4*x**2 + 2*x - 1. Let j(s) = 0*s**2 - 52*s + s**2 + 53*s. Let b(c) = 5*j(c) - w(c). Is b(-10) a multiple of 23?
False
Suppose -3*f = -5*v + 24, 11*f - 30 = 16*f - 5*v. Let j(p) = -13*p - 21. Is 10 a factor of j(f)?
False
Suppose -2197387 = -228*o + 962237. Is 41 a factor of o?
True
Suppose -2*v + 25 = 4*o + 1, -2*o = 4*v - 24. Suppose 3*t + o*b = -b + 2087, -b = -1. Is t a multiple of 39?
False
Let t = 134 - 51. Let q = t - -38. Does 18 divide q?
False
Let l be (-2)/5 + 13956/15. Suppose 3*y + 2*y = -10, -4*z - 3*y = -l. Is z a multiple of 26?
True
Let n = 163 - 163. Suppose -2*w + 329 = -p + 19, w + 3*p - 162 = n. Is w a multiple of 12?
True
Let z = -5 - 136. Let u be 6/10 - z/15. Suppose -11*h + u*h = -99. Is h a multiple of 11?
True
Suppose p + 152174 + 339541 = 11*z, -3*p + 178792 = 4*z. Does 273 divide z?
False
Suppose -2*o + 2638 = 4*y, -774*o - y + 3967 = -771*o. Is o a multiple of 4?
False
Let a(p) = 3*p**3 - 5*p**2 + 6*p + 3. Let w be a(3). Suppose 2*m = 31 + w. Suppose x - 3*x = -m. Is x a multiple of 11?
True
Suppose -7*q + 6*q = -20. Suppose -q*t + 3744 = -4*t. Is t a multiple of 39?
True
Let f = -118 - -22. Let w be (-2 - 0)/(-3 - 284/f). Let v = w - -72. Does 20 divide v?
True
Is 18 a factor of ((-3690)/(-120) - 30) + (-28650)/(-8)?
True
Suppose -16 = 23*p - 31*p. Suppose p*r - 79 = 163. Is r a multiple of 41?
False
Suppose 14*g = 18*g - 4. Is 13 a factor of (46/138)/(g/2274)?
False
Let q = 103059 - 66362. Is q a multiple of 151?
False
Let g = 172 + 21968. Is g a multiple of 30?
True
Let c(k) = -24*k - 60. Let n be c(-4). Suppose -4*r = -n*s + 31*s - 5036, r - 3*s - 1266 = 0. Does 22 divide r?
True
Let y be 2/(-3) - 8*44/(-24). Let r = 13 - y. Does 9 divide 4146/66 - ((-13)/11 - r)?
True
Suppose -55489 + 20668 = -37*j + 11799. Is 126 a factor of j?
True
Suppose 2*n + 107948 = 2*c, -5*c + 21*n = 19*n - 269894. Is c a multiple of 254?
False
Suppose 0 = -b + 3*q + 8 + 11, -3*q - 119 = -5*b. Suppose 119 - b = -l. Does 7 divide (1 + l/(-6))*72/20?
False
Suppose -25*k = 2*v - 152998, -5*k - v + 31233 = 634. Does 30 divide k?
True
Let r(x) = x**3 - 8*x**2 + 7*x + 41. Let m be r(7). Is 57 a factor of 5 - m/8 - 2737/(-8)?
True
Is 199 a factor of (0/3 - 3) + 7759 + 295/59?
True
Let b(f) be the third derivative of -f**6/120 + 5*f**5/12 + f**4/12 - 5*f**3/6 - 50*f**2. Is b(25) a multiple of 7?
False
Suppose 26*s - 1196 = -3*l + 30*s, 5*s - 35 = 0. Is l a multiple of 3?
True
Let r = -3 + 7. Let o(l) = l - 2*l + 2*l + 2*l**2 + r*l + 15. Is 41 a factor of o(-7)?
False
Let w(f) = -4*f**2 + 12*f. Let j be w(3). Is (-7 + 1)/(j - (-3)/(-39)) a multiple of 26?
True
Let x(p) = 16*p**3 - 17*p - 48. Is x(6) a multiple of 5?
False
Suppose 830 = 2*x + 4*v, 4*x - 3*v - 54 = 1617. Suppose -r = 69 - x. Is r a multiple of 58?
True
Let c(n) = -35*n - 13. Let f(v) = -17*v - 6. Suppose 0*a = -2*j + 5*a - 19, -4*a = -2*j - 14. Let d(p) = j*c(p) - 7*f(p). Is 12 a factor of d(4)?
False
Let h = 622 + -619. Suppose -r + 387 = -5*d - 538, h*r + 4*d = 2737. Is 12 a factor of r?
False
Suppose 68*z - 375774 = 162590 + 408876. Is z a multiple of 64?
False
Let o(j) = 55*j - 5. Let n(h) = h**2 + 19*h + 80. Let r be n(-13). Is o(r) a multiple of 3?
True
Let b be (-6)/8 - (-1)/((-20)/(-15)). Let q(g) = -g**2 + 6*g + 80. Is q(b) a multiple of 10?
True
Let b = -21 - -20. Let k be -5 + 4 + b + 15. Suppose 3114 = k*a + 5*a. Does 9 divide a?
False
Let w be ((-4)/(-3))/(136/(-66) + 2). Let f = w + 24. Suppose -4*s = 5*n - 117, 0 = 2*s + f*n - 18 - 40. Is 28 a factor of s?
True
Let m be 25/9 + 22/99. Suppose -3*d - m*w - 152 = -d, d + 66 = w. Let a = 178 + d. Is a a multiple of 35?
False
Suppose 4*i = -16, -2*b - 3*i - 2*i = 2. Suppose 6*z - b*z + 183 = 0. Let s = -5 + z. Is 15 a factor of s?
False
Let g be (-2)/10 + 286/55. Suppose -g*a + 251 = -139. Suppose 4*x = -4*c + 314 - a, 2*x = -4*c + 230. Is c a multiple of 7?
True
Let l be (-144)/2 + -8 + 7. Let y = 133 + l. Is 12 a factor of y?
True
Let u(g) = g**2 + 10*g + 91. Does 2 divide u(-13)?
True
Let o(i) = i**3 - 35*i**2 - 40*i + 604. Is 10 a factor of o(41)?
True
Suppose 228985 = -89*k + 849315. Is k a multiple of 126?
False
Let p(o) = 3*o**2 - 3*o + 4. Let l(g) = g**3 - g**2 - 7*g - 5. Let d be l(-2). Is p(d) a multiple of 5?
True
Let z = -1269 - -1420. Is z a multiple of 29?
False
Let o = -2338 - -1382. Let z = -542 - o. Is z a multiple of 9?
True
Let v(r) be the first derivative of -19*r**2/2 - 12*r + 2. Let p be v(-12). Suppose 6*j - p = 3*j. Is j a multiple of 9?
True
Suppose 336 = -11*o - 500. Let l = 254 - o. Is 22 a factor of l?
True
Suppose v = 4*r - 17039, -9*r - 2*v + 17054 = -5*r. Does 9 divide r?
False
Let r(l) = -l**2 + 6*l + 16. Let z be r(8). Suppose z = -2*g - 3*p + 50, 4*g = 2*p + 58 + 58. Is 4 a factor of g?
True
Let g(a) = a**3 + 53*a**2 + 8*a - 84. Does 153 divide g(-46)?
False
Let n be (0 - (-4)/18) + 1175/(-225). Is 27 a factor of (-2390)/(-6) + n + (-112)/(-24)?
False
Let c(z) = 67*z**2 + 2*z - 8. Suppose 8*u - 1 = 10*u + 5*f, 5*u - 15 = 5*f. Is c(u) a multiple of 24?
True
Suppose 152*p - 5*q = 148*p + 206948, 206988 = 4*p + 5*q. Is p a multiple of 7?
False
Let t be (12/4)/(((-33)/666)/(-11)). Let f = -423 + t. Is 9 a factor of f?
True
Does 17 divide (-11)/((-220)/(-8)) - 446776/(-40)?
True
Let h = -1524 - -2623. Is h a multiple of 7?
True
Let j = -4865 - -16065. Is j a multiple of 70?
True
Does 74 divide (496/(-16) - 6)/((-2)/100)?
True
Let x(i) = 2*i**2 - 8*i + 6. Let d(l) = -l - 1. Let p(m) = -2*d(m) + x(m). Let u = 69 + -64. Is p(u) a multiple of 28?
True
Let g(i) = -2*i - 14. Suppose -2*w = -3 + 35. Let x be g(w). Suppose 6*r = x*r - 960. Does 48 divide r?
False
Let r(b) = b**3 - 19*b**2 - 18*b + 66. Let y(m) = -5*m - 43. Let j be y(-13). Is 17 a factor of r(j)?
True
Let h be 2/(24/(-32) + 1). Let a(m) = m**2 - 9*m + 91. Does 83 divide a(h)?
True
Suppose 0 = -8*n + 35045 - 405. Is 15 a factor of n?
False
Suppose 2*r - 8153 - 18526 = -5*s, -5*r - 3*s = -66669. Suppose r = -5*y + 27*y. Is y a multiple of 19?
False
Let u(l) = 974*l + 9464. Is 9 a factor of u(-7)?
True
Suppose -3*r = -5*r + 248. Let v be (4 + -2 - r) + -1 + 2. Let w = v - -394. Is w a multiple of 22?
False
Let y(x) = x**2 + x. Let w be y(0). Suppose 1212 = 12*u - 10*u + 3*n, w = n - 4. Is 50 a factor of u?
True
Let t(h) = 9*h**3 + 20*h**2 + 16*h - 5. Let i(y) = 2*y**2 + y. Let k(b) = -22*i(b) + 2*t(b). Is 29 a factor of k(2)?
False
Let p(d) = 1286*d - 1400. Is p(8) a multiple of 127?
False
Let f(r) be the second derivative of -1/2*r**4 - 1/4*r**5 - 7/6*r**3 + 0*r**2 - 6*r + 0. Is 34 a factor of f(-3)?
True
Let b be ((-7605)/(-13))/((-6)/(-4)). Let r = b - 285. Does 6 divide r?
False
Let d be ((-16)/(-48))/((-1)/(-75)). Let l = d + -23. Suppose -3*x = l*m - 131, -4*x + 154 + 30 = -2*m. Is x a multiple of 9?
True
Suppose j - 4231 = -b + 4036, 5*b = j - 8255. Does 57 divide j?
True
Let k(y) be the third derivative of y**5/60 - 3*y**4/8 + 101*y**3/6 - 2*y**2 - 7*y. Does 11 divide k(0)?
False
Suppose 208 = 2*p + 206. Let w(v) = 105*v**2 + 5*v - 5. Is w(p) a multiple of 3?
True
Suppose -213042 = -10*j + 73*o - 76*o, o = -2*j + 42606. Is 67 a factor of j?
True
Suppose 16246 + 4154 = 12*w. Does 14 divide w?
False
Let y(v) = 11*v**2 - v + 6. Let i(x) = x**3 - 17*x**2 + 17*x - 24. Let d(k) = -k**2 + k + 1. Let z(j) = -3*d(j) - i(j). Let b be z(19). Is