42*i = -41*i + 3, n + 3*i = 6506. Is 5 a factor of n?
True
Let i(f) = 10*f**2 + 10*f + 153. Does 143 divide i(-29)?
False
Is 6 a factor of -3 - 6402/(-9) - ((-45)/27)/(-5)?
True
Let j(p) = -2*p - 15. Let r be j(-9). Suppose -15*d + r*t = -14*d - 210, 3*d - 586 = -2*t. Is d a multiple of 11?
True
Suppose i + 5*z + 7 = 0, 9*z - 6*z = -2*i. Let t(r) = 5*r**3 + 4*r**2 - 2*r - 13. Is t(i) a multiple of 10?
False
Let n(r) = -r**3 - 26*r**2 + 24*r - 79. Let m be n(-27). Suppose 0 = -m*i - 4, 6*u + i = u + 2278. Is 12 a factor of u?
True
Suppose u - 2*s + 63 = 12, 3*s = 0. Let m = u + 1. Let x = m - -151. Is 15 a factor of x?
False
Let w(n) = -n**3 + 13*n**2 - 12*n + 5. Let j = 91 + -79. Let b be w(j). Suppose s = -b*g + 119, -3*s + 6*s - 5*g - 457 = 0. Is s a multiple of 9?
True
Let p(d) = -3*d - 13. Let g be p(-8). Let s = g + -6. Is (-2)/s + 908/20 a multiple of 9?
True
Let j be 51*(6/18 + 5). Does 8 divide 102/j - (-1146)/16?
True
Suppose 3*l - 2187 = -3*c, -9*c = -11*c - 3*l + 1458. Does 3 divide c?
True
Let m = 21637 - 14155. Is 43 a factor of m?
True
Let c(t) = -2*t**3 - 38*t**2 - 30*t - 26. Does 31 divide c(-21)?
False
Let q = 10 + -22. Let j be (-2)/q - 87/(-18). Is 12 a factor of 3211/95 - (-1)/j?
False
Let o(m) be the third derivative of 103*m**5/20 + m**4/6 - 4*m**3 + 12*m**2. Let p be o(3). Suppose 2*a = 15*a - p. Is a a multiple of 15?
False
Let v(d) be the third derivative of d**5/30 - 13*d**4/24 + 8*d**3/3 - 5*d**2 + 149*d. Let r(o) = -o**2 - o + 8. Let y be r(0). Does 20 divide v(y)?
True
Suppose 3*p - 14273 - 2155 = 1071. Does 47 divide p?
False
Suppose 61*u - 1638 = 54*u. Is u a multiple of 11?
False
Suppose 0 = 3*r + r + 140. Let u be (-1 + -74)*(13 + -14). Let a = r + u. Does 8 divide a?
True
Suppose 2*c = 0, 1192 = -4*v - 4*c - c. Is 10 a factor of (2 - -1)*v/(-6)?
False
Let l = 434 + 314. Let f = 1189 - l. Is f a multiple of 9?
True
Let w(y) = -y**3 + 14*y**2 - y + 14. Let n be w(14). Let p(i) = i + 11. Let u be p(-7). Suppose 2*j + 6 = n, 3*b + 396 = 6*b - u*j. Does 32 divide b?
True
Suppose 2*k = -2*s + 284, s + 29 = -2*k + 166. Suppose -l = -9*t + 4*t + 354, 5*l - s = -2*t. Let g = -31 + t. Is 20 a factor of g?
True
Let p be ((-432)/(-42))/9*(-7)/(-2). Suppose 6*l = 2*l - p*d + 1044, -4*l = -2*d - 1038. Is 13 a factor of l?
True
Let p = 871 + 2297. Is p a multiple of 18?
True
Let m(n) = -3*n**2 - 5*n - 6. Let p be m(-9). Let a = 611 - p. Does 14 divide a?
False
Let b = 166 - 164. Suppose 2*c - 3*f - 244 = -5*f, b*f = 4. Is c a multiple of 20?
True
Suppose 0*r - 9*r = -45. Is 14 a factor of 3*1 + -5 + (63 - r)?
True
Let v = -282 - -285. Suppose 4*l - 509 = 3*s - 35, -5*l = -v*s - 594. Is 5 a factor of l?
True
Let x(z) be the second derivative of 3*z**4/4 - 5*z**3/6 - z**2/2 - 24*z. Let n be x(-2). Suppose -c + 5*c + 228 = 5*p, p - c - n = 0. Is 11 a factor of p?
False
Does 85 divide ((-2060)/3090)/(1/3*(-1)/2043)?
False
Let v = -603 + 2079. Is v a multiple of 82?
True
Let f(h) = -4680*h**3 - 3*h**2 - 5*h - 4. Let r be f(-1). Suppose 1150 = 47*u - r. Is u a multiple of 6?
False
Let j(n) be the second derivative of -3*n**3 - 44*n**2 - 23*n + 1. Is j(-12) a multiple of 19?
False
Let v = 190 - 186. Suppose v*p - 5*t - 1623 = 0, 5*t + 301 = 2*p - 498. Is p a multiple of 7?
False
Suppose 6*g + 74 - 194 = 0. Is 19 a factor of ((-30)/g)/(3/(-532))?
True
Let k = 37 - 31. Let p be 4/k*3 + -2 + 28. Let d = 50 + p. Does 13 divide d?
True
Is 46 a factor of 1488/(-620)*-16*155?
False
Let h(n) = -n**3 - 12*n**2 - 28*n - 8. Let b be h(-9). Suppose 5*y - b = 5*r - 16, -2*r + 6 = -y. Suppose 0*a + r*a - 102 = 0. Is 7 a factor of a?
False
Suppose 0 = -182*g + 184*g + 3*m - 175494, 10 = -5*m. Suppose 43*p - g = -7*p. Does 13 divide p?
True
Let f(w) = 11*w - 2. Let p be f(1). Let k(z) be the third derivative of z**6/120 - z**5/6 + 5*z**4/12 + 5*z**3 - 23*z**2. Does 20 divide k(p)?
False
Suppose 127770 = 5*j + c, 2*c = -7*j + 6*j + 25545. Is j a multiple of 95?
True
Let l(n) = -87*n + 45. Suppose -z + 25 = -3*a + z, -15 = -a - 4*z. Does 32 divide l(a)?
True
Let m(g) be the third derivative of g**5/20 - 9*g**4/8 + 11*g**3 + 4*g**2. Is m(16) a multiple of 54?
False
Let a(i) = 895*i + 2117. Is a(9) a multiple of 15?
False
Suppose 4*z = k + 4 + 24, 7 = -4*k - 5*z. Let y(v) = -101*v - 133. Does 75 divide y(k)?
True
Let j(s) = -s**3 + 19*s**2 + 51*s + 75. Let n be j(34). Is 20 a factor of 5 - n/15 - (-10)/(-25)?
True
Suppose -2*y - 22*g + 2924 = -18*g, -5826 = -4*y + 3*g. Does 28 divide y?
False
Let i(t) = -2*t**3 + 14*t**2 - 11*t + 15. Let o = -37 - -46. Let n be i(o). Does 9 divide (n/(-60))/(1/5)?
False
Let y(o) be the third derivative of -4*o**5/15 + o**4/12 + o**3/3 - 20*o**2. Let q(h) be the first derivative of y(h). Is 26 a factor of q(-4)?
True
Is 88 a factor of (-621)/(-1035) + ((-750634)/20)/(2/(-4))?
True
Let n(g) = 499*g**2 - 2*g - 1. Let t be n(1). Is 5 + (-1 - (1 + (5 - t))) a multiple of 13?
True
Let s be ((-860)/(-16) + -2)/((-2)/8). Let b = -26 - s. Let c = b + -112. Is c a multiple of 7?
False
Let m(l) be the third derivative of l**5/60 - 7*l**4/12 + l**3/6 - 10*l**2. Let a be m(7). Let x = a - -59. Is 3 a factor of x?
False
Let z be -7*((-10)/(-175))/((-5)/25). Let s(x) = 38*x + 4. Is 7 a factor of s(z)?
False
Let f(h) = -324*h - 343. Is 37 a factor of f(-28)?
False
Suppose 5*u - 3*h - 7222 = 0, 311*u = 314*u - 5*h - 4346. Is 103 a factor of u?
True
Let v be 292/18 + 36/(-162). Suppose -3*b + b - 2*q + v = 0, 5*b - 35 = -4*q. Suppose 8 = d + n - 6, 4*d - 28 = b*n. Is 5 a factor of d?
True
Does 14 divide 31/((-713)/(-69506)) - 1*-7?
False
Suppose -3*i = a - 43, 68 = 4*i + a + 12. Suppose 10*l - 9*l = i. Does 3 divide l?
False
Suppose 0 = 489*d - 59*d - 7880365 - 7773355. Is d a multiple of 38?
True
Suppose 113*t - 299247 = 370579 + 1669726. Is 15 a factor of t?
False
Let k(f) = -5*f - 2*f**3 + 4*f + 3*f**3 - 6 - 5*f**2. Suppose -79 + 49 = -4*l - 3*r, -2*r = 5*l - 34. Is k(l) a multiple of 8?
True
Let j(d) = d**3 + 11*d**2 + 11*d + 4. Suppose -22*s - 20 = -20*s. Let m be j(s). Let f(i) = -5*i - 12. Is f(m) a multiple of 11?
False
Suppose -p + 2*m = 3*p - 26, -4*p - 2*m + 14 = 0. Suppose -4*x + 11 = -p. Does 13 divide ((-52)/(-6))/(x/42)?
True
Let m(v) = 7097*v**2 + 2*v + 1. Is m(-1) a multiple of 8?
True
Suppose 0 = s - 5*t - 361, 0*s - s = 5*t - 321. Let h = s - 187. Let i = 234 - h. Does 5 divide i?
True
Suppose -3*d = x - 874, 12*d - 576 = 10*d + x. Is 8 a factor of d?
False
Suppose 13330 = 14*q + 8*q - 12*q. Is 10 a factor of q?
False
Suppose 3*c + 2 = -1. Does 37 divide c/3 - 4370/(-15)?
False
Suppose -728 + 3234 = -7*w. Let y = w - -181. Let q = -123 - y. Does 6 divide q?
True
Suppose 0 = 27*r - 44*r + 323. Suppose 3128 + 10324 = r*x. Is 9 a factor of x?
False
Let r(h) = 5026*h - 325. Is r(1) a multiple of 13?
False
Suppose -4*d + 5*q = -0*q - 10, 0 = 2*d + 2*q - 14. Suppose 4*o = d*l + 1605, 3*o + 0*o = -3*l + 1224. Does 14 divide o?
False
Suppose 10 - 1 = 3*f. Suppose 0 = -3*s - 3*g + g + 1395, 0 = -5*s + f*g + 2344. Does 13 divide s?
False
Suppose 3*y + 1 - 16 = 0. Suppose -4*j = -y*j + 6. Does 2 divide (j - -1) + (2 - 6)?
False
Suppose 0 = -3*d + m + 14, 2*d = -3*d - 2*m + 27. Suppose -10 = d*c - 45. Suppose c*j = 11*j - 84. Is 4 a factor of j?
False
Let k = 4 + -6. Let t(y) = -22*y + 31*y**2 + 19*y - 22*y + 24*y. Is t(k) a multiple of 11?
False
Let w(b) = b**3 + 16*b**2 + 27*b - 11. Let q be w(-14). Suppose -8*z - q = -3. Suppose -2*f = -y + 164, -5*y + 3*f + 841 = -z*f. Is y a multiple of 14?
False
Let t(a) = -a**3 + 2*a**2 - 4. Let r be t(0). Is (-4)/(-8)*r - (-178 + 0) a multiple of 11?
True
Let t(a) = a**2 - 6*a + 473. Is 27 a factor of t(-71)?
True
Let v = -376 - 336. Let c = 163 - v. Does 35 divide c?
True
Let d(x) be the first derivative of 14*x**3/3 - x**2/2 - 2*x + 1. Suppose -4*b + z = -1, 4*b - 2*z - 54 = -48. Is 13 a factor of d(b)?
True
Let d = 292 - 133. Suppose -d - 116 = -11*l. Is 3 a factor of l?
False
Let y(w) be the first derivative of 23*w**2 - 66*w + 112. Is y(8) a multiple of 6?
False
Suppose 20*x - 33*x + 104 = 0. Suppose x*j = 269 - 29. Does 11 divide j?
False
Suppose 0 = 12*o - 9*o + 2*d - 525, 5*o - 875 = 4*d. Suppose -2*n - o = -9*n. Is n a multiple of 15?
False
Suppose 106 = 5*u - 139. Let j = 