 19426 - 7138. Is 24 a factor of k?
True
Let t be (-3)/(((-2)/(-12))/(3/27)). Let i(y) = -80*y + 10. Does 17 divide i(t)?
True
Suppose 0 = 3*i - 0*i, 5*r + i = 10. Suppose 0 = -r*b + 3*f + 35, -5*f - 29 - 46 = -5*b. Is b a multiple of 10?
True
Let j(q) = -q**3 + 9*q**2 - 7*q - 3. Let y be j(8). Let i be (-2 + y)/((-12)/8). Is ((-28)/6)/(i/27) a multiple of 32?
False
Suppose -4*j + 4 = -0. Let n be -4*(1 - (-42)/(-8)). Suppose -n = -2*b + j. Is b a multiple of 3?
True
Let l(p) = 17*p. Let s be l(1). Let q(j) = -j**3 + s + 0*j**3 - 14*j + 4*j**3 - 4*j**3 + 15*j**2. Is q(14) a multiple of 5?
False
Suppose -4*m = -5*d + 52, 11*d = m + 16*d - 12. Suppose -x + 5*x = 0. Let s = x - m. Is 3 a factor of s?
False
Suppose -2*w - 5*u + 173 = 0, 9*u - 5*u = 20. Does 37 divide w?
True
Let w = 8 - 1. Let v(y) = 17*y**2 - 8*y + 2. Let n(g) = 12*g**2 - 5*g + 1. Let b(i) = -7*n(i) + 5*v(i). Is b(w) a multiple of 9?
False
Suppose -3524 = 13*m - 8711. Is m a multiple of 19?
True
Suppose 0 = 13*i + 808 - 3811. Suppose -j + q = 3*j - i, -4*q + 4 = 0. Is 8 a factor of j?
False
Suppose 7*t = -27 - 239. Let s = t + 118. Does 8 divide s?
True
Suppose 2*r + 658 = 7*r + 2*n, -2*r + 5*n = -269. Is 22 a factor of r?
True
Suppose 0*j = 5*t + 4*j - 4, -4*j + 4 = -t. Let b(y) = 16*y + 163. Let v be b(-10). Suppose -v*p + t*p = -108. Is p a multiple of 9?
True
Suppose -2*b + 0*b - 2*p - 62 = 0, 4*b + 104 = p. Let s = 125 - b. Does 25 divide s?
False
Suppose 4*v + 4 = 5*v - w, 0 = -3*v - 2*w + 17. Let a(p) = -5*p**2 - 2*p. Let q(i) = 14*i**2 + 6*i + 1. Let x(u) = -17*a(u) - 6*q(u). Does 2 divide x(v)?
False
Suppose -2066 = -16*x - 562. Is x a multiple of 9?
False
Let w(a) = -a - 3. Let r be w(-5). Suppose -r*m = 3*m - 25. Suppose 0 = s + 5*c - 16, -24 = -m*s + 5*c - 4. Does 6 divide s?
True
Let k(v) = -7 + 17*v - 9*v - 5*v**2 + 8*v**2. Is 21 a factor of k(-7)?
True
Let k = 687 + -1047. Let f = 565 + k. Does 41 divide f?
True
Does 38 divide (80/(-6))/((-1730)/(-870) - 2)?
False
Suppose -3*f = 3*v - 18, v = -3*f + 3*v + 28. Let z(k) = -k**3 + 3*k**2 + 2*k + 2. Let u be z(-2). Let y = u + f. Does 13 divide y?
True
Suppose g = -2*l + 20 + 76, 2*l = 2*g + 96. Is 3 a factor of l?
True
Let d(l) = -l**2 - 31*l - 30. Does 10 divide d(-25)?
True
Let m(f) = -f**3 + 7*f**2 - 2*f + 38. Is 17 a factor of m(7)?
False
Let m(c) = c**3 - 6*c**2 - 5*c - 9. Let s be m(7). Let p(r) = -r + 8. Let g(a) = -4. Let i(x) = -11*g(x) - 6*p(x). Is i(s) a multiple of 13?
True
Is ((-2)/12)/((-4)/(-12))*-108 a multiple of 6?
True
Let g = -31 + 46. Suppose -g + 76 = y. Does 37 divide y?
False
Let b = 1 + 84. Is b a multiple of 3?
False
Suppose 5*f = -2*g - 7 - 3, -g = 4*f + 8. Suppose 5*c - 61 = 39. Is ((0 - f) + c)*2 a multiple of 11?
True
Let i be -1 + 45/1 - (-3)/(-3). Suppose 0 = -o + 1, i = f - 5*o - 149. Does 33 divide f?
False
Let m(z) = 672*z - 40. Is m(2) a multiple of 69?
False
Let x(n) = -n**2 - 14*n + 36. Let g be x(-16). Does 50 divide ((-25)/g)/((-2)/64)?
True
Let c = -164 - -372. Does 5 divide c?
False
Let u(w) = 25*w**3 + 4*w**2 - w - 12. Does 28 divide u(3)?
False
Suppose 0 = 7*y - 1213 - 1433. Is 9 a factor of y?
True
Suppose -324 = 14*y - 16*y. Suppose -3*q = 2*n - 661, 3*n - q - 1181 = -y. Suppose 4*g - n = -3*v + 169, 0 = 5*g - 5*v - 660. Is 43 a factor of g?
True
Let u(p) = -p**3 + 38*p**2 + 84*p - 307. Does 138 divide u(37)?
False
Let b = 1131 - 451. Does 68 divide b?
True
Let u(i) = -i + 12. Let o be u(9). Suppose 2*c - 459 = -5*w - 0*c, 4*w + o*c - 370 = 0. Does 13 divide w?
True
Suppose 2*x + 0*x - 18 = z, -3*x - z = -17. Let p(v) = 5*v + 26. Is p(x) a multiple of 10?
False
Let h = -7 + 11. Suppose 2*n - 10 = h*r, -5*r = -3*n - 4*r + 10. Suppose -n*z = -2*g + 71, 5*z - 41 = -4*g + 90. Does 10 divide g?
False
Does 39 divide (-6)/(-27)*-3 + 17562/18?
True
Suppose 2*c + 4592 = -2*c. Let o = 1730 + c. Does 16 divide 1/(-6) + o/36?
True
Let n(p) = 3*p - 17. Let o be n(8). Let l be (-370)/(-70) + (-2)/o. Does 24 divide 5*(-1)/(l/(-54))?
False
Let r(l) = -3*l**2 + 0*l**2 + 6*l**2 + 1 - 2*l**2 + 2*l. Let s be r(-1). Suppose -2*t - t + 222 = s. Does 19 divide t?
False
Let q = 17 - -140. Let g(m) = m**3 + m**2 - 3*m + 6. Let v be g(-5). Let u = v + q. Does 26 divide u?
True
Let v = 175 + -115. Is 12 a factor of v?
True
Let h(f) = 65*f - 47. Is 42 a factor of h(13)?
True
Let n = 12 + -109. Let s = -69 - n. Is 14 a factor of s?
True
Let q = -246 - -435. Is q a multiple of 9?
True
Suppose 3 = 3*y - 3*q, 4*y - 2*q = -5*q + 39. Is y*(13/2 - -1) a multiple of 9?
True
Suppose 0 = -4*r - 1 + 9. Let h(f) = -7*f + 3*f - r + 1 + 0*f**2 + f**2. Is h(-4) a multiple of 31?
True
Let v(z) = 14*z + 42. Does 25 divide v(5)?
False
Let i(x) = -139*x**3 + 5*x**2 + 6*x + 11. Let n(v) = 70*v**3 - 2*v**2 - 3*v - 5. Let h(s) = -2*i(s) - 5*n(s). Does 18 divide h(-1)?
True
Suppose 480 = -z - 5*z. Is 4 a factor of (12/(-10))/(6/z + 0)?
True
Suppose 13*c + 340 = 15*c. Is c a multiple of 23?
False
Let q be (-1)/(-2) + ((-65)/(-10) - -5). Suppose -2*m = q*m - 168. Is m a multiple of 6?
True
Is 2 + (2129 - 8/(-8)*1) a multiple of 52?
True
Suppose 5*s - 2158 = y, -s - 2170 = -6*s - 5*y. Does 9 divide s?
True
Let c(i) = i**2 + 5*i + 6. Let l be c(-4). Suppose -l - 7 = 3*b, 0 = 4*h + 2*b - 250. Does 26 divide h?
False
Suppose -5*k + 98 = 4*f - 3*f, 5*k = f - 48. Let t = 9 + f. Is t a multiple of 14?
False
Is 68 a factor of (12*(-14)/35)/(6/(-255))?
True
Suppose -5603 = -4*l + 3*v, 3*l - 1399 = 2*l - v. Is 25 a factor of l?
True
Let w(m) = 192*m**2 + m + 1. Let a be w(-1). Suppose -5*x + 2*j + a = 0, 4*x = -2*j + 6*j + 156. Does 21 divide x?
False
Suppose 0*n - 4*n - 152 = 0. Let h = n - -77. Is h a multiple of 12?
False
Let n(x) = -x**2 + 3*x + 8. Let f be n(4). Suppose 4*t - 6*t = -f. Is t a multiple of 2?
True
Suppose 0 = -5*q - 0*p - p + 553, 0 = -q + 2*p + 115. Does 3 divide q?
True
Let b = -6 + 8. Suppose 3*y = b*y + 7. Suppose y*z - 2*z - 44 = -4*h, h + 3*z - 11 = 0. Does 9 divide h?
False
Let a = -21 - -23. Suppose -4*j = 2*t - 80, 3*t = a*t - 3*j + 41. Is 3 a factor of t?
False
Let z(n) = -4 - 62*n + 64*n - n**2 + 0*n**2 - 30*n**3. Is 57 a factor of z(-2)?
True
Suppose f - 1044 = -2*f + 4*r, -1044 = -3*f - 4*r. Let x = f + 299. Suppose -2*z = 4*o - 170, -5*z = -4*o + 152 - x. Is 19 a factor of z?
True
Let w = 21 - 3. Let g be 8 + -1 + (14 - w). Suppose g*q + 3*q = 12. Is q a multiple of 2?
True
Let y = -45 + 30. Let o = 23 + y. Is o a multiple of 8?
True
Let l = -3144 - -5153. Is l a multiple of 7?
True
Let i(x) be the second derivative of x**4/12 - 4*x**3/3 - 13*x**2/2 + x. Is i(14) a multiple of 18?
False
Let n(k) be the second derivative of k**5/20 - k**4/3 + k**3/2 + 3*k. Let l be n(3). Suppose -3*c + 102 = 4*t, 2*c + 4*t - 62 - 6 = l. Is 5 a factor of c?
False
Let b = 1976 - 716. Does 6 divide b?
True
Is 9 a factor of 2 - (-24)/(-10) - (-157251)/215?
False
Let t(b) be the first derivative of b**4/4 - 5*b**3/3 - 11*b**2/2 + 6*b + 29. Is t(7) a multiple of 6?
False
Is 18 a factor of (1/((-6)/(-9)))/((-54)/(-12888))?
False
Let h(j) = -j**2 + 9*j + 7. Let o be h(9). Suppose 6*v = o*v - 84. Is 21 a factor of v?
True
Let o be (2 + 1)*(-22)/(-6). Does 5 divide (1 + 0)*572/o?
False
Let u be 137*(12/(-3) + 8). Suppose 5*k + 360 = 3*m + 44, -3*k - u = -5*m. Does 28 divide m?
True
Let b = -680 - -851. Is b a multiple of 9?
True
Suppose -r + 4*r = 0. Let x be r - (-1)/((-1)/(-48)). Suppose -a = a - x. Does 8 divide a?
True
Let u(t) = 2*t**3 - 11*t**2 + 14*t + 24. Is 11 a factor of u(9)?
False
Does 2 divide (9 + (-96)/(-12))/((-3)/(-153))?
False
Suppose -8 = h - 2*p - 42, 5*h - 3*p = 205. Let u = -8 + 33. Let v = h - u. Is 10 a factor of v?
False
Is (-105)/(-75) + 493/5 a multiple of 25?
True
Let s(l) = -l**3 + 2*l**2 - l. Let y be s(2). Does 11 divide ((-10)/(-6))/(y*(-1)/132)?
True
Let x(y) = -33*y + 2. Let s(t) = -14*t - 1. Let i(j) = j - 1. Let k(z) = -4*i(z) + 2*s(z). Let h(n) = 4*k(n) - 3*x(n). Does 14 divide h(-2)?
False
Suppose -3*q - b + 357 + 7248 = 0, 3*b + 5070 = 2*q. Does 15 divide q?
True
Let m be 1 - 21/28*4*-1. Suppose -m*k + 236 + 88 = 0. Is k a multiple of 17?
False
Let s be 86 - (-15)/(2 + 3). Suppose -p + 37 = -5*a + 225, -2*a = -5*p - s. Is 6 a factor of a?
False
Suppose 0 = d + 3*h + 6, -4*h + 75 = -4*d