 14 a factor of b?
False
Suppose -130*m + 42885 = -115*m. Is 15 a factor of m?
False
Suppose -25 = -p + 147. Suppose -3*y + 146 = 4*w - 98, 0 = -2*y - 5*w + p. Does 19 divide y?
True
Let a(r) = 2*r**3 - r**2 - r - 2. Let j(s) = 4*s + 8. Let g be j(3). Let m be g/(-8)*24/(-20). Is a(m) a multiple of 10?
True
Let n(g) = 140*g**3 + g**2 + 16*g - 43. Is n(3) a multiple of 23?
False
Let q(u) be the first derivative of 9*u**4/4 + 3*u**2/2 + 2*u - 4. Let j be q(-1). Let p(g) = -g**3 - 8*g**2 - 13*g - 4. Does 18 divide p(j)?
False
Let k(a) be the first derivative of 6*a**2 - 3. Let z(d) = -d**3 - 6*d**2 - 11*d - 3. Let m be z(-2). Does 3 divide k(m)?
True
Let j = -440 - -668. Let i = 155 - j. Let t = 103 + i. Is 15 a factor of t?
True
Let m(s) = -68*s**3 + 7*s**2 + 5*s - 10. Let l be m(-5). Suppose -36*r - l = -56*r. Does 12 divide r?
True
Let v(g) = -25*g - 248. Let x be v(-7). Suppose 3*t - t - 566 = 4*w, 5*t + 444 = -3*w. Let b = x - w. Is b a multiple of 14?
True
Let i = -8250 - -15210. Is 12 a factor of i?
True
Let m(z) = 7*z**2 + 7*z - 5. Let w be (18/(-12))/(-6*3/48). Let a be m(w). Suppose 2*u - a = -2*s + 7*s, -5 = 5*s. Does 8 divide u?
False
Suppose 73*u - 70*u - 37539 = 3*l, -3*u + l + 37555 = 0. Is u a multiple of 13?
False
Let o = -5873 + 11781. Does 9 divide o?
False
Suppose -5*i - 3*k - 185 = -20177, 2*i = 4*k + 7976. Is 74 a factor of i?
True
Let u = 1526 + -1045. Let m = -226 + u. Does 15 divide m?
True
Suppose -2*v - 66357 = -8*v - 3*v. Is v a multiple of 24?
False
Let c(y) = y**2 - 10*y - 20. Let d be 4/((3/9)/1). Let f be c(d). Suppose 0 = -f*p - 4*p + 1736. Is p a multiple of 43?
False
Let u = -1 + 3. Suppose u*s + 70 = 4*q, s + 72 = -s + 2*q. Let f = 49 + s. Is f a multiple of 4?
True
Let q be (124 - 7)*7 + 0. Let g = -621 + q. Is 11 a factor of g?
True
Suppose 21 = -3*g - 15. Let a(x) = -x**2 - 15*x - 23. Let v be a(g). Suppose 156 = 19*q - v*q. Is q a multiple of 13?
True
Suppose 61 = 4*a - 35. Suppose n + a = -3*b, 2*b + 15 = b + 2*n. Let g = b + 88. Does 11 divide g?
False
Suppose -4*c - 38 + 110 = 5*m, 0 = -2*c - 3*m + 34. Suppose 0 = c*q + 20 - 2964. Is q a multiple of 16?
True
Let t = -9605 + 12755. Is 5 a factor of t?
True
Let b be (15 - 13)*-30*124/(-5). Suppose -4*g + 489 = u, -2*g + 7*g - b = -3*u. Does 50 divide u?
False
Let i(r) = -r**3 - 12*r**2 - 31*r - 18. Let u be i(-9). Suppose 304 = u*g - 10190. Does 67 divide g?
False
Let w be 1 + (3 - -4 - -1343). Let u = -547 + w. Is 56 a factor of u?
False
Let p(d) = -d**2 - 33*d - 119. Let f be p(-4). Let y(x) = -11*x**3 - 5*x - 7. Is y(f) a multiple of 3?
False
Let z be 0 + (-2 - 0)*(1 + -2). Let m be z/(-2 - (-10)/4). Suppose m*c + 68 = o + c, 4*c - 269 = -3*o. Is o a multiple of 15?
False
Suppose -5*m = -4*m - 8. Suppose m*z = 3*z + 2*n + 25, -2*z = 5*n + 19. Suppose 0*o - 41 = -4*o - a, 0 = -2*o + z*a + 17. Is 5 a factor of o?
True
Let s(k) = -k**2 - 9*k + 61. Let a be s(-12). Is (1 - -1) + a + (-95)/19 a multiple of 2?
True
Let m(o) = -o**2 + 22*o - 19. Let s be m(10). Suppose -f + 0*f = 3*h - s, 4*f - 20 = 0. Suppose 6*c = 76 + h. Is 7 a factor of c?
False
Let n(s) = 20*s**2 + 2*s + 3. Let j be n(0). Suppose 4*y + j*t - 3018 = 0, 5*y - 3788 = 8*t - 4*t. Does 28 divide y?
True
Suppose 37*f - 69*f = -9824. Is 21 a factor of f?
False
Let q(u) = -7094*u - 64. Is 185 a factor of q(-1)?
True
Let k be (-246 + -30)/((-2)/1). Suppose 0 = -2*i + k + 162. Does 25 divide i?
True
Does 5 divide 8 + (-177752)/(-24) + (-4)/(-6)?
True
Suppose 4*f - 595 = 5*l, 0 = f - 0*l + 2*l - 165. Let v = f - 82. Let p = v - 49. Is 6 a factor of p?
True
Let q be (-1971)/(-54) - 2/4. Let z = q + 32. Is 8 a factor of z?
False
Suppose 212 + 908 = 8*a. Suppose 5*c = c - a. Let n = c + 41. Is 6 a factor of n?
True
Suppose 3*t = -5*h + 73, t - 16 = -h + 7. Let b = -5 + 9. Suppose b*u = u + t. Is u a multiple of 3?
False
Let v(h) = h**3 + h**2 - 7*h - 25. Let a be v(-6). Let i = 7 - 10. Does 30 divide (-4)/(-6) + a/i?
False
Suppose 0 = 3*w + 4*g - 55866, 0 = -85*w + 82*w - g + 55884. Is w a multiple of 90?
True
Suppose -4*g - 1 + 15 = 3*q, -q - 5*g = -12. Suppose -4 = -9*w + 7*w + q*x, -4*x = 2*w - 28. Let l(m) = m**2 + 5*m + 7. Does 44 divide l(w)?
False
Let c(f) = 4*f**3. Let y be (-400)/(-75)*(0 - (-6)/4). Suppose 19 = 4*d + 3*t + 3, y = -4*d + 3*t. Is 2 a factor of c(d)?
True
Suppose -3*k + 4*k - 2*n = 4288, 3*k - 12867 = 3*n. Suppose 4*h - k = -7*h. Suppose 4*s + 2*s = h. Is 13 a factor of s?
True
Suppose -6*m - 906 = 1140. Let t = 841 + m. Is 17 a factor of t?
False
Let o = 373 - 368. Suppose 2*k + 4*i - 163 = 421, -o*k - 3*i = -1432. Is 21 a factor of k?
False
Suppose h - 14 = l, 2*l + 3*h + 11 + 7 = 0. Let f(r) = -5*r + 57. Is f(l) a multiple of 3?
True
Is (-25 - ((-56)/(-16) - 6))*(-1518)/9 a multiple of 17?
False
Suppose 13*o - 32 - 20 = 0. Does 12 divide 173 + 18/(o + 2)?
False
Let o = 40 - 39. Let h be 12/(-9)*-12 - 2. Suppose -o - h = -u. Does 4 divide u?
False
Let m be (0 - 2) + (-138)/1. Suppose -5*j + 530 = 4*x + 961, 2*j + 325 = -3*x. Let c = x - m. Is 12 a factor of c?
False
Suppose -5*u - 182 + 1077 = r, r = 5*u + 925. Does 2 divide r?
True
Let v = 4860 - 2460. Is 24 a factor of v?
True
Let q = -1413 + 2887. Is 12 a factor of q?
False
Suppose -8*t + 258 = 2. Suppose 27*s - t*s + 410 = 0. Is s a multiple of 7?
False
Let y = 77087 + -41062. Does 154 divide y?
False
Let c(b) = -b**3 + 3*b**2 + 19*b - 7. Let r be c(6). Does 17 divide (8/(-3) - 2/r)*-195?
False
Let a be ((-1164)/7)/((-23)/483). Suppose 0 = 2*j + 7*j - a. Is 15 a factor of j?
False
Let n = -4505 + 6881. Is 4 a factor of n?
True
Let n be (-1)/(-4) + (-46074)/(-24). Suppose -14*u = 2*u - n. Does 24 divide u?
True
Suppose 4*x = -4*u + 604, -2*x - 5*u + 439 = 125. Suppose 148*v - x*v = 913. Is v a multiple of 34?
False
Suppose c + 60 = -4*c. Let h = c - -25. Suppose -p + 57 = -3*t, p = -4*t + 30 + h. Is 17 a factor of p?
True
Let g = 63 + -39. Suppose -80 = -2*m - u + 3*u, -m + 5*u = -g. Let r = 66 + m. Is r a multiple of 40?
False
Suppose 4*l - 5*h = -6*h + 18, -4*h = -5*l + 33. Does 17 divide (23 + -4)*l + (-3)/(-3)?
False
Let o = 19892 + -11674. Does 15 divide o?
False
Suppose 2*x = -t, -2*x - 12 = -3*t - 4. Suppose t = b + 4*c - 2*c, -5*b = -3*c + 55. Let n = 127 - b. Is n a multiple of 15?
True
Let o be 3/(9/(-4))*-3. Suppose 4*r - 439 = -z, 2*z = r + o*r - 552. Suppose h - r = -4*n - h, 75 = 3*n + 3*h. Does 15 divide n?
True
Suppose 4*z = -f + 7*z + 60, -3*f + 150 = -3*z. Is 21 a factor of 35139/f + -1 - 8/(-60)?
False
Is (-63005)/(-45) + (7/(-9) - 2/(-3)) a multiple of 40?
True
Is 33 a factor of (15/9 + -2)*-1 - (-1328072)/246?
False
Suppose -2*t + 1324 = -276. Suppose 4*r - 515 = -3*k, -5*k + 8*r - 3*r = -t. Is 33 a factor of k?
True
Is ((-689720)/(-688))/(10/248) a multiple of 81?
False
Suppose k = -124 + 106. Does 22 divide (716/2 - -5)*(-12)/k?
True
Let w(k) = 11*k**2 - 81*k - 31. Let j(p) = 6*p**2 - 41*p - 16. Let y(x) = -7*j(x) + 4*w(x). Let i(v) be the first derivative of y(v). Is 4 a factor of i(21)?
False
Let c(v) = 105*v**2 + 6*v + 10. Let a(h) = -107*h**2 - 7*h - 12. Let x(f) = 5*a(f) + 6*c(f). Suppose 3 + 2 = 5*s. Is 16 a factor of x(s)?
True
Let o = -4754 + 8553. Does 24 divide o?
False
Let j(m) = m**2 + 6*m - 13. Let r be j(-13). Suppose r = 5*y + 2*s - 314, 416 = 5*y - 4*s. Does 17 divide y?
False
Let d(c) = 5*c**2 + 41*c + 53. Let h(m) = 12*m**2 + 80*m + 107. Let j(z) = -5*d(z) + 2*h(z). Does 26 divide j(-19)?
False
Suppose 0 = 5*c - 2*n - 19218, -7*c - 3*n + 26906 = -5*n. Is 62 a factor of c?
True
Let k = 38 + -42. Let o be 0 + 75 - (k - -9). Let p = -35 + o. Is p a multiple of 5?
True
Let g = 76 - 78. Is 333 - g/(8/12) a multiple of 48?
True
Suppose 0 = 30*y - 79*y - 110*y + 2022162. Is y a multiple of 5?
False
Suppose j - 3*n = 6*j + 1737, -4*n - 344 = j. Is 63 a factor of (-879)/(-2)*(-9 - j/36)?
False
Suppose -4*t + 3*p = -3*p - 2188, 4*t + 5*p = 2210. Let i = -285 + t. Is i a multiple of 4?
False
Suppose 11*g = -42 - 101. Let v(w) = 3*w**2 + 13*w + 62. Does 18 divide v(g)?
False
Let s(o) = -3*o**3 - 5*o**2 - 16*o + 5. Let f be s(-6). Let v = f - 474. Is 3 a factor of v?
False
Suppose 0 = 40*v - 231*v + 767247. Does 103 divide v?
True
Suppose 0 = -29*p + 9*p + 1440. Suppose 9 = 3*j, 3*z + 4*j - p