 = 367 + 169. Is l a multiple of 11?
False
Suppose 3*j - 48 = -2*k + 5*k, 0 = -2*j - 6. Suppose -2*l = -6*l - 196. Let c = k - l. Is 6 a factor of c?
True
Let g(i) = i**2 + 7*i - 5. Let n be g(-8). Suppose -4 = -n*y + 14. Does 19 divide 345/y - 1/2?
True
Suppose 0*s - 1992 = -3*l + 2*s, 1344 = 2*l + 4*s. Suppose 5*p - l = -2*h, 2*h - 4*h = -2*p + 258. Is 17 a factor of p?
False
Suppose 31*y = 75*y - 5280. Is 40 a factor of y?
True
Let p = 90 - 45. Let c = -31 + p. Is c a multiple of 2?
True
Let h(s) = 25*s + 103. Is 23 a factor of h(6)?
True
Suppose -4 = -4*j + 3*j, -31 = -3*q - 4*j. Suppose -96 = q*r - 9*r. Is r a multiple of 24?
True
Suppose g = d - 9, 5*d + 0 - 6 = 2*g. Let r = 118 - g. Is 33 a factor of r?
False
Let i be 55/20*-15 - (-2)/8. Let r = 76 + i. Is r a multiple of 10?
False
Let x(j) = -j**3 + 19*j - 5*j**2 + 7 + 0*j**2 - 8*j. Let g = 1 - 8. Is 7 a factor of x(g)?
True
Does 82 divide 3/((33/9405)/(4/5))?
False
Suppose -4*u = m - 1444, -2*u = u - 3*m - 1068. Is u a multiple of 67?
False
Let v(m) = 2*m**2 - 9*m + 48. Let p be v(8). Does 12 divide (p/(-5))/(2*2/(-30))?
True
Suppose -h = 6*h + 1183. Let m = -59 - h. Does 9 divide m/5 - (-6)/(-3)?
False
Let i(c) = -c**2 + 15*c - 8. Let s be i(0). Let t(r) = 1 - r - 18 + 3*r**2 - r**2. Is 26 a factor of t(s)?
False
Suppose -4*n = x - 2 - 2, -5*n + 14 = 2*x. Is 24 a factor of (1 + (-58)/(-6))*189/x?
True
Let g = 24 - 21. Suppose -11*d + g*d = -112. Is d a multiple of 4?
False
Let d(u) = -1. Let l(c) = 19*c - 18. Let i(k) = -5*d(k) - l(k). Does 26 divide i(-7)?
True
Suppose 19 = 6*b + 721. Does 23 divide 0 - 2/1 - b?
True
Let w(h) = -h**2. Let u(i) = -2*i**2 + 8*i - 7. Let q(m) = u(m) - 3*w(m). Let g be q(-10). Let r(y) = 2*y - 12. Is 7 a factor of r(g)?
True
Let f = 352 + -100. Is 14 a factor of f?
True
Let j = -15 + 69. Let n = 37 + j. Is n a multiple of 13?
True
Let y = -171 - -236. Is 19 a factor of y?
False
Let t(o) = 17*o**3 - 7*o**2 + 2*o + 52. Is t(5) a multiple of 10?
False
Suppose 2*w = -5*w + 56. Is 7 a factor of ((-4)/2)/(w/(-180))?
False
Is 48 a factor of ((-894)/8)/(36/(-16) + 2)?
False
Let g(f) = f**3 - 11*f**2 - 13*f + 8. Let y be g(11). Let i = y - -211. Let a = i - 52. Is 7 a factor of a?
False
Let q be 77 - 6/2*-1. Let t = q - 60. Is 13 a factor of t?
False
Let u = -768 - -1664. Is u a multiple of 8?
True
Is 12 a factor of 1022/18 + (-2)/(-9)?
False
Let b(m) = 50*m + 344. Is 3 a factor of b(-5)?
False
Suppose 2*n - 10 = 0, 0 = -3*a - 4*n - 12 + 53. Let w(d) be the first derivative of 2*d**3/3 - 9*d**2/2 - 7*d + 1. Is w(a) a multiple of 28?
True
Let p(z) = -3*z**3 + 21*z**2 + 25*z + 17. Let j(b) = 5*b**3 - 43*b**2 - 51*b - 35. Let f(m) = 4*j(m) + 7*p(m). Is 9 a factor of f(-24)?
True
Suppose -261 = -6*a + 543. Is 4 a factor of a?
False
Let c(i) be the first derivative of -11*i**2/2 - 58*i + 23. Is 9 a factor of c(-13)?
False
Let r = -221 + 1986. Is r a multiple of 9?
False
Let j(g) = 276*g + 138. Does 115 divide j(7)?
True
Let i be ((-20)/(-5))/(2/1). Suppose -2*p = 5*j, -i*p = -0*p + j. Suppose 6 = -2*n, -2*v - 4*n + 10 = -p*v. Does 6 divide v?
False
Let k(m) = 11*m**2 - 7*m + 5. Let u(f) = -f**3 + 8*f**2 - 12*f + 4. Let l be u(6). Let z be k(l). Let j = z + -96. Does 23 divide j?
False
Let t(n) = 6*n - 4*n - 4*n + 3*n + 6*n**3 - 1. Let r be t(1). Let y = r + -1. Does 3 divide y?
False
Suppose 2*r + 5*l - 13 = 0, 4*r - 25 = -3*l + 8. Let j(a) = -6 - a**3 + 3*a**2 + r*a + 6*a**2 + 2*a - 3*a**2. Is 11 a factor of j(7)?
True
Let n(j) be the third derivative of -29*j**4/12 + j**3/3 + 3*j**2. Is n(-1) a multiple of 15?
True
Suppose -8*j - 635 + 2651 = 0. Is j a multiple of 12?
True
Suppose 3*t - 600 = -2*t. Let j = -58 + t. Is 10 a factor of j?
False
Suppose -x = -3*s + 4, -4*x + s + 5 + 1 = 0. Suppose d = x*b + 2*d - 193, 2*d + 286 = 3*b. Is b a multiple of 24?
True
Let l be 231/2 - ((-21)/(-6) + -2). Suppose -8*i + l = -2*i. Is i a multiple of 9?
False
Let y = -708 - -990. Is 28 a factor of y?
False
Let t = 621 + -519. Does 46 divide t?
False
Suppose 3*b + 6*b - 72 = 0. Suppose -t = -3*u - b, 2*t + 3*u - 13 = 3. Does 4 divide t?
True
Let n be -40 + 1 + (-1)/1. Let z be (32/n)/((-2)/35). Is 14 a factor of 8/(-56) + 940/z?
False
Let v be 10/25 - 115/(-25). Suppose 11*l - v*l - 168 = 0. Does 11 divide l?
False
Let i(s) = -10*s. Let r be i(-2). Is 138*(r/6 + -3) a multiple of 23?
True
Suppose 0 = -5*h + 25, 0 = 2*t - 13*h + 18*h - 125. Is t even?
True
Let s be (-4)/(-16)*-4 - (-3)/(-1). Let j(v) = -v**3 + 2*v**2 + 6*v + 6. Is 26 a factor of j(s)?
True
Suppose 3*i = o, -5*o + 5*i = -8 - 2. Let t be 6 + -7 + o + 3. Is 9 a factor of t/((-15)/(-9))*24?
True
Does 3 divide (-1120)/(-13) - (-6)/(-39)?
False
Let a(y) = -y**3 + 5*y**2 + 2*y - 4. Let h be a(5). Suppose h*l - 244 = 2*l. Is l a multiple of 17?
False
Suppose -19*a = -21*a + 96. Suppose 0 = q - 5*n - a, 0 = 3*q + n + 4*n - 84. Is 19 a factor of q?
False
Suppose 2*d + 11 = 31. Does 11 divide (-504)/(-18)*d/8?
False
Let m(t) = 66*t**3 + 7*t - 9. Does 13 divide m(2)?
True
Let k(r) = -r**3 + 14*r**2 + 18*r - 218. Is 3 a factor of k(12)?
False
Let o = 210 + -174. Does 18 divide o?
True
Is (-9)/(90/(-4100)) + 8 a multiple of 19?
True
Suppose 5*g = -5*g + 720. Is g a multiple of 24?
True
Let i(f) = 0 - 16*f + 0*f + 4 + f**2. Is i(17) a multiple of 9?
False
Suppose 2*o = x + 1, -5*x - 10 = -2*o + 3. Is (960/(-45))/(2/x) a multiple of 20?
False
Let c(x) = x**3 - 13*x**2 - 4*x + 16. Is 4 a factor of c(15)?
False
Let d = -231 - -1161. Suppose 12*m - d = 2*m. Is 31 a factor of m?
True
Let l(k) be the third derivative of 3*k**5/4 - k**4/24 + k**3/6 + 26*k**2. Is l(1) a multiple of 9?
True
Suppose m + 4 = 4*o - 2*o, 0 = 4*o + 5*m + 20. Let f(w) = 3*w**2 + w + 16. Let s(n) = -n**2 - 1. Let u(b) = f(b) + 4*s(b). Is u(o) a multiple of 3?
True
Let k = -8 - 2. Let t(d) = -d**3 + 2*d**2 + 21*d - 18. Let r be t(5). Is 5 a factor of (r/k)/((-14)/70)?
False
Let f(o) = 4*o**2 + 7*o + 20. Is f(-7) a multiple of 7?
False
Suppose 3*x = 8*x + 665. Let p = x - -222. Does 34 divide p?
False
Let l = -44 - -44. Suppose 63 = r + 3*q, -3*r + 4*r + 5*q - 53 = l. Is r a multiple of 26?
True
Is 0 - -61 - (-2)/(-3 - -1) a multiple of 12?
True
Let u = 24 + -50. Let w = 75 + u. Is 11 a factor of w?
False
Suppose -24*t - 3270 + 16254 = 0. Is 6 a factor of t?
False
Let v be (-6)/12*(-1 + 1). Suppose v = 3*h - 2*h - 24. Suppose 0*n + h = 3*n. Is 5 a factor of n?
False
Suppose -4*h = 12, 2*h = 5*r - 0*h - 631. Let x = 194 - r. Is x a multiple of 13?
False
Suppose b = -4*u + 226, -4*b + 404 = -2*b - 4*u. Is b a multiple of 22?
False
Let v(n) = n - 13. Let q be v(13). Suppose 3*l - r = 1, q*r - 15 = -3*r. Suppose -75 = -3*j + l*j. Is j a multiple of 25?
True
Let n(t) = -t**2 + 3*t - 13. Let m(g) = g**2 - 2*g + 14. Let o(w) = -2*m(w) - 3*n(w). Let h be o(8). Suppose k - 19 = h. Does 16 divide k?
False
Let v be (4 + 1)/5*20. Suppose 16*u = v*u - 100. Is u a multiple of 7?
False
Let m(f) = -f**3 - 2*f**2 + 3*f - 8. Let l be m(-4). Suppose -l*u + 1672 = -u. Does 29 divide u?
False
Let c(w) = -9*w - 26. Let z be c(5). Does 12 divide ((-2)/(-4)*z)/((-3)/6)?
False
Suppose -10*s + 11*s - 248 = 0. Does 62 divide s?
True
Let x(d) be the second derivative of 25*d**3/6 - 3*d. Suppose 0 = 2*q - i - 3 - 2, 5*q - 6 = -4*i. Is x(q) a multiple of 10?
True
Suppose -g + i - 40 = 0, -3*i + 98 = 5*g + 282. Let q = 16 - g. Does 21 divide q?
False
Suppose 18*k + 5*k = 11730. Does 30 divide k?
True
Suppose -67*u - 10 = -69*u. Let r(h) = 37*h + 25. Is 14 a factor of r(u)?
True
Let d(i) = i**2 + 13*i + 49 + 25*i - 53*i. Does 9 divide d(17)?
False
Let a(h) = 3*h**2 + 59*h + 67. Is 40 a factor of a(-28)?
False
Suppose 4*x + 7 = -5. Let t = x - -38. Let r = t + -12. Is r a multiple of 10?
False
Suppose -5*u - 2*o = 4, -4*u - 3 = -4*o - 11. Suppose -3*q + 0*q = 30. Is u - (4 + -3) - q a multiple of 3?
True
Suppose 2*y - 295 - 1197 = 0. Is y a multiple of 8?
False
Let s(o) = -o**3 - 6*o**2 - 10*o - 13. Let y = 50 - 56. Is s(y) a multiple of 7?
False
Suppose 29*g - 6507 = -620. Does 7 divide g?
True
Suppose 0 = -n - 0*n. Suppose -5*i + j + 330 = n, -2*j = -i - 7*j + 92. Is 27 a factor of i?
False
Suppose -61 = 7*s + 58. Let f = s - -353. Does 56 divide f?
True
Let d be 2/4 + 3/2. Suppose 2*p = 