+ 514, -1067 = -4*r - q + 6*q. Let k = 70 + r. Is k a multiple of 9?
True
Does 80 divide (354/295*(-25)/(-9))/((-2)/(-1200))?
True
Let y(c) = 172*c**2 - 79*c + 423. Is 23 a factor of y(6)?
True
Suppose 0 = -3*r + 4*p + 86, -5*r + 4*p = -78 - 60. Does 6 divide 3*r + 4*12/16?
False
Let r = -28 + 26. Let b be ((-30)/25)/(r/15*3). Suppose m + b*m + l - 531 = 0, -2*l = -5*m + 680. Is 27 a factor of m?
False
Let s be -7 + 3/1 + (-4)/(-1). Suppose -2*t + 2*n - 27 = -3*n, -t + 3*n - 16 = s. Is (-2 - -3) + 5 + t a multiple of 5?
True
Suppose -4*y = 2*j - 4548, y - 11397 = 261*j - 266*j. Does 30 divide j?
True
Let y(q) = -q + 1. Let z(u) be the third derivative of -u**5/20 - 3*u**4/8 + 5*u**3 + 37*u**2. Let a(l) = -2*y(l) - z(l). Does 36 divide a(7)?
False
Let l = -5341 - -10474. Is 29 a factor of l?
True
Suppose 124*n - 146*n = 17490. Let c = n + 940. Does 2 divide c?
False
Let z(a) = -19*a**2 + 2*a - 3. Let c be z(-2). Let d = 181 + c. Is d a multiple of 5?
False
Suppose 0 = -8*x + 14*x - 156. Suppose 0 = -21*c + x*c - 3450. Suppose 0 = 5*z - c + 105. Does 19 divide z?
False
Let p(x) = 3*x**3 + 72*x**2 - 73*x - 52. Is 18 a factor of p(-16)?
False
Suppose -3*l = 4*q + 462, 2*q = 3*q + 5*l + 124. Suppose 0 = i - 186 - 3. Let k = i + q. Is k a multiple of 21?
False
Suppose 3*a - 12 = -2*i, 0*a = 2*a + 2*i - 8. Suppose -8*u + a*u = 4*b - 1928, 0 = 4*u + 2*b - 1938. Does 16 divide u?
False
Let b(r) = 13*r**2 + 49. Let z be b(0). Let m(y) = -y**3 - 5*y**2 + 5*y + 5. Let i be m(-5). Let l = i + z. Does 5 divide l?
False
Let v(f) be the second derivative of f**5/20 - 23*f**4/12 + 25*f**3/6 + 27*f**2/2 + 10*f - 2. Does 32 divide v(22)?
False
Suppose 0*h = 21*h - 159298 + 35377. Does 50 divide h?
False
Suppose l - 3*l - 4*n = 40, 3*n = l - 5. Let b = l + 30. Let i = 64 - b. Is 6 a factor of i?
False
Suppose 9*x + 13706 = 178109. Is x a multiple of 103?
False
Let w(i) = -i**3 - 2*i**2 - i - 2. Let f be w(-2). Suppose f*n + 3*n = 54. Suppose -2*g + 50 = 3*m - 0*m, -g = -2*m - n. Is g a multiple of 6?
False
Let q(r) = 4*r - 21. Let d be q(9). Suppose 0 = -2*w - d + 7, 5*x - w - 2779 = 0. Is x a multiple of 7?
False
Suppose 21*u - 23*u = -826. Suppose 191 = 4*f - u. Is f a multiple of 8?
False
Does 2 divide 1585/5 - 4 - -6?
False
Is ((-49)/(-245))/((-2)/(-56170)) - 0 a multiple of 41?
True
Suppose -4*l = y + 2, 3*y + 3*l + 21 + 3 = 0. Let a be (y - -89) + -2 + -1. Suppose -4*g - a = -256. Does 5 divide g?
True
Suppose 0*h + 25*h - 150 = 0. Suppose 0 = p + h - 104. Does 51 divide p?
False
Suppose 45 = 11*d - 6*d. Suppose r + 5*y + 14 = 0, 3*r - 1 = -2*y + d. Does 23 divide (332/r)/(0 + 8/12)?
False
Does 7 divide 237/(-15)*(-6 - 304)?
False
Let h = 1366 + -955. Suppose -125 = -8*i + h. Let r = -38 + i. Is 5 a factor of r?
False
Suppose t - 15975 = 5*n, 3*t - 31*n = -26*n + 47945. Does 8 divide t?
False
Suppose 0*t + 6*t = -462. Let k = -63 - t. Suppose d + 3 = k. Is 10 a factor of d?
False
Let r(k) = k**2 - 9*k - 48. Let l be r(13). Suppose -3*g + g + l*h = -164, -273 = -3*g - 3*h. Does 15 divide g?
False
Let q(b) = -88*b**3 + b**2 - 2*b + 1. Let d be q(1). Is 29 a factor of 5/(-10)*-8*(-1 - d)?
True
Let t(a) = -39*a - 56. Suppose -6*l + 25 - 49 = 0. Is 34 a factor of t(l)?
False
Let p(d) = d + 7. Let s be p(-5). Let v = 75 - 73. Suppose -42 = -2*m + v*z, 4*z = s*m - 0*z - 42. Does 7 divide m?
True
Suppose -14*i - 348840 = -81*i - 41*i. Is i a multiple of 5?
True
Suppose 0 = 105*f - 1793561 + 43946. Is f a multiple of 19?
True
Let y = -215 + 709. Is y a multiple of 10?
False
Suppose 0 = 4*i - 0*i - 20. Suppose -2524 = -5*p - i*q + 216, 3*p = 5*q + 1644. Suppose -5*w - 2*g = -726, 5*w - 187 - p = -5*g. Is w a multiple of 24?
True
Suppose 2*x + 80 = -14*x. Does 44 divide (-8 - x) + (568 + 5 - -2)?
True
Let d be (0 - 3) + (-18)/(-6). Suppose 1217 - 305 = 3*r + 4*n, -r + n + 297 = d. Is r a multiple of 25?
True
Suppose -4*d = -4*f - 120, -5*d + 164 + 16 = 5*f. Let a = 37 - d. Suppose -a*p + 4*g + 140 = 0, -3*p = g - 37 - 72. Is 9 a factor of p?
True
Suppose 52*x = 59*x. Suppose 3*m - 2*c + 7*c - 1324 = 0, x = -4*c - 16. Does 17 divide m?
False
Let a(p) be the second derivative of p**5/20 - 19*p**4/12 + 11*p**3/6 - 19*p**2 - 173*p. Is a(19) a multiple of 63?
False
Let k(s) = 6903*s**2 + 20*s - 19. Is k(1) a multiple of 3?
False
Let s = 318 + -195. Suppose 2*c = 2*w + 484, c - 104 = 4*w + s. Is 19 a factor of c?
True
Suppose 3*y - 4*n + 25 = 5, 0 = -4*y + 4*n - 24. Let j be 5/(((-2)/y)/((-4)/(-8))). Suppose j*m = 11*m - 1542. Is m a multiple of 28?
False
Let o(g) = -5*g**2 - 2*g - 58. Let q(d) = -17*d**2 - 7*d - 177. Let z(w) = -7*o(w) + 2*q(w). Is 26 a factor of z(-20)?
False
Let s(i) = -152*i**3 + 4*i**2 - 9*i - 42. Does 40 divide s(-2)?
False
Let k = 4860 - 3697. Is 2 a factor of k?
False
Suppose -2*m + 19 = -3. Let q = 28 - m. Suppose q*b = 28*b - 2618. Does 23 divide b?
False
Let x(d) = -6*d - d**3 + 23*d**2 + 3*d**3 - 9*d - 3*d**3 + 902 - 972. Does 2 divide x(22)?
True
Suppose -57*s + 58*s = 3*h + 2, -5*s = -4*h - 10. Let z be -1*(-1 + 2) + 27. Suppose -2*v + o + z = h, 0 = -9*v + 4*v + o + 59. Does 11 divide v?
True
Suppose 5*x = -5*v + 10, 4*v + 32 = 5*x - 23. Let t be ((-42)/24)/x + 14/(-8). Does 10 divide t/(-3)*1620/24?
False
Suppose -n = 7*n + 272. Let f = n - -21. Let c(w) = w**2 + 12*w + 11. Is 4 a factor of c(f)?
True
Suppose 35 = 4*f + f. Suppose 9*s - 2*s - f = 0. Is s/2 - 492/(-24) a multiple of 21?
True
Let u(f) = -42*f + 5. Suppose -4*y - 8 = 4*z, -2*z + 2 = -z. Let t be (y - -10)*(-3)/(2 - -4). Is 10 a factor of u(t)?
False
Let s(h) = 59*h**2 + 95*h - 793. Is 29 a factor of s(8)?
False
Let b = 1155 + 145. Does 26 divide b?
True
Let w be -5*2/(-60) + 3/(-18). Suppose 3*i - 57 = -g, 4*g + 5*i - 91 - 109 = w. Does 2 divide g?
False
Let d be 504/98*(1 + (-12)/(-2)). Let p be -10*(d/(-8) + 4). Suppose 0*b + 4*b + 218 = 3*s, -s = -p*b - 58. Is s a multiple of 7?
False
Let q = 205 + -185. Suppose 0 = q*m - 39*m + 15998. Is 17 a factor of m?
False
Let i(r) = -6302*r + 246. Is 29 a factor of i(-1)?
False
Suppose -a - 5*i - 26288 = -5*a, 2*i = a - 6572. Suppose -5588 = -16*t + a. Is t a multiple of 38?
True
Suppose -4*i = 5*l - 5361 - 4823, 4*i - 10160 = l. Is 11 a factor of i?
True
Let k(w) = -17*w + 3455. Is 11 a factor of k(-42)?
True
Let v(c) = 2*c**2 - 7*c + 16. Let h be v(4). Suppose -4*x = 4*z - 8, -4*z = -3*x - h - 9. Let o = 57 + x. Is 7 a factor of o?
False
Suppose 5*g - 2108 - 32 = 0. Let h(t) = 2*t**3 - 3*t**2 - t - 1. Let v be h(6). Suppose -4*a + g = 5*d, -5*d - 3*a = -v - 109. Is 12 a factor of d?
True
Let j(x) = -x**3 + 3*x**2 + 4*x + 7. Let o be j(4). Suppose 4*g = 4*d - o*d + 229, 3*g = -3*d + 174. Does 4 divide g?
False
Suppose -5*d - q - 4*q + 1685 = 0, 0 = 2*d - 2*q - 694. Suppose d = -p + 17. Let t = p - -465. Does 28 divide t?
True
Suppose 43*a + 53561 = 62*a. Is a a multiple of 34?
False
Let q = -34 - -28. Let t be ((-4)/q)/(12/3798). Suppose 2*l + t = 5*w - 148, 368 = 5*w + l. Is 15 a factor of w?
False
Suppose -6*k + 10*k - 8 = 0. Suppose -114 = -j - k*y, -120 = j - 2*j + y. Is 59 a factor of j?
True
Suppose -3*k = -5*u + 2*k, -4*k = 2*u - 12. Suppose 5*r - 1790 = -4*f, u*r + 4*f - 308 = 420. Is r a multiple of 59?
True
Let y = -3946 - -5654. Is 10 a factor of y?
False
Suppose 13*a - 11*a = 4. Let i be (-112)/280 - ((-408)/10)/a. Suppose 0 = -i*q + 3*q + 2414. Is q a multiple of 16?
False
Does 6 divide 12*(3 + (-7)/2) - (-269 + -17881)?
True
Let r = -7715 - -12980. Is 81 a factor of r?
True
Suppose 16 = 3*n - 2*j, 0 = -n - 5*j - 7 + 1. Suppose -n*r - 2*r = -3216. Suppose 0 = 40*d - 36*d - r. Does 20 divide d?
False
Let k(n) = 3*n**2 - 61*n + 1225. Is k(42) a multiple of 30?
False
Let x(l) = 24*l**2 + 51*l + 16. Is x(10) a multiple of 11?
True
Is 18 a factor of (3 + (104 - -1))/(4/38)?
True
Let x = 71 + -396. Let j = x - -625. Is j a multiple of 42?
False
Let b(t) = -3925*t - 1131. Does 178 divide b(-7)?
True
Suppose 9*r - 26*r - 170 = 0. Let y be -1 + (-12)/r + (-7)/35. Let x(d) = -d**3 - d**2 + 3*d + 160. Is 20 a factor of x(y)?
True
Suppose -21*v + 16836 = -9*v. Is v a multiple of 42?
False
Let o(y) = -19*y + 635. Does 5 divide o(30)?
True
Let y(g) = -2*g**2 - 6*g + 7. Let z be y(-4). Let r(x) = -100*x**3 - 2*x**2 + 8*x + 9. Is r