) a multiple of 7?
False
Let h(i) = 15*i**3 - i**2 + 1. Let b be h(1). Let m(z) = 11*z + 30. Is 39 a factor of m(b)?
True
Let l(j) = -302*j**3 - 2*j**2 + j + 1. Let c be l(-1). Suppose -2*p + 2*g + 206 = 6*g, 3*g = 3*p - c. Does 18 divide p?
False
Let y = 188 + -169. Is 2 a factor of y?
False
Let l(m) be the third derivative of m**7/5040 - m**6/720 - m**5/20 + 2*m**2. Let r(d) be the third derivative of l(d). Does 6 divide r(16)?
False
Let v(k) = 337*k**3 + 2*k**2 - 3*k + 4. Does 9 divide v(1)?
False
Let h = 17 + 151. Suppose 0*l = 3*l - h. Is l a multiple of 16?
False
Let x be (-2)/((-2)/(-2)) + 0. Let l be (-3)/((-9)/x)*-6. Suppose -l*a - 38 - 16 = -i, 0 = -4*i + a + 141. Does 5 divide i?
False
Let s = 28 + 397. Let a = s + -301. Is 9 a factor of a?
False
Does 63 divide 4/10 + (-77244)/(-615)?
True
Suppose 0 = -5*c + c - 20, 3*m + 2*c = 1676. Is m a multiple of 15?
False
Suppose 360*a + 10696 = 374*a. Is a a multiple of 5?
False
Let k be ((3/(-2))/(-3))/(5/4320). Does 27 divide ((-1)/(-4) - 1)/((-2)/k)?
True
Let h(u) = u - 1. Let r be h(5). Suppose -w + 2 = -r. Let c = 20 - w. Does 7 divide c?
True
Suppose -4*q - 258 = -7*q. Suppose -4*c = -5*x - 100, -3*c + q = -0*c - x. Is 5 a factor of c?
True
Let n(a) = 2*a**2 - 23*a - 107. Is n(16) even?
False
Let u = 950 + -590. Is 30 a factor of u?
True
Let r(k) = -k**3 + 8*k**2 - 7*k - 1. Let t be r(7). Let q be (t/(-3))/(1/(-39)). Let p = 17 + q. Does 4 divide p?
True
Suppose 0 = -2*d + 7*d - 135. Suppose -d = -6*y + 9. Is y a multiple of 3?
True
Let b(g) = -g**2 - g - 1. Let m(c) = c**3 - 7*c**2 - 2*c - 4. Let q(z) = -4*b(z) + m(z). Let y be q(1). Suppose y = s - 2*s + 48. Is s a multiple of 16?
True
Let q be 6/(-15) + 64/10. Let v = q + 9. Let u = 22 - v. Is u even?
False
Let d = 1083 + 1861. Is 92 a factor of d?
True
Let l(t) = -t**2 + 8. Let g be l(4). Is 5 a factor of 2/g - 285/(-20)?
False
Let r(j) = j**3 - j**2. Let l(q) = -58*q**3 - 2*q**2 + 1. Let n(w) = -l(w) + 2*r(w). Suppose d + 2*d + 1 = -2*g, -4*g = -3*d + 11. Is n(d) a multiple of 10?
False
Let s be (3 + -1)/(3/99). Suppose -2*g = -4*g + s. Is g a multiple of 10?
False
Let x(n) = -n**2 + 5*n + 1. Let z be x(5). Suppose 3*r - 17 = z. Suppose -k + r*k = 200. Does 10 divide k?
True
Suppose -6*x - 6762 = -29*x. Does 4 divide x?
False
Suppose -1 = -4*t + 7. Suppose -310 = -t*l + 5*o - 27, -5*l - 3*o + 785 = 0. Is 14 a factor of l?
True
Suppose 5904 = -6*y + 14*y. Is y a multiple of 18?
True
Suppose 2*j + 162 = 11*j. Does 18 divide j?
True
Let g(t) = t**3 + 23*t**2 + 8*t + 422. Is 17 a factor of g(-20)?
True
Let l(w) = -16*w - 15*w + 26*w - 23. Let x(v) = -3*v - 12. Let i(j) = 4*l(j) - 9*x(j). Is 12 a factor of i(7)?
False
Let q = 11 - 8. Suppose y - 1 = 1, q*j = -2*y + 172. Is j a multiple of 28?
True
Let j = -123 + 182. Let l = -49 + j. Does 2 divide l?
True
Suppose -5*o = -5*v + 20, -3*v = -2*o - 7*v + 22. Let x be (-5)/5*(o + 2). Is ((-2)/(-6))/(x/(-189)) a multiple of 10?
False
Let c(j) = 3*j**2 + 23*j + 34. Does 6 divide c(-8)?
True
Let b(v) = -41*v - 7. Is 3 a factor of b(-1)?
False
Suppose -2*w - 4*l - 334 = -1502, 2860 = 5*w - 5*l. Is 18 a factor of w?
True
Let a be (0 + 0)/((-2)/1). Let o(r) = -15*r + a - 3*r**2 + r**2 + r**2 - 9. Is o(-6) a multiple of 19?
False
Let s = -133 - 115. Suppose -5*c + 4*x = 741, 3*c + 5*x + 303 = c. Let r = c - s. Is r a multiple of 32?
False
Let x(i) = -190*i**2 + 67 - 4*i - 17*i + 189*i**2. Does 15 divide x(-19)?
True
Suppose -2*t - 244 = -2*m, 3*t = m + t - 127. Suppose -j = -3*u - m, -4*u + 602 = 5*j - 2*u. Does 20 divide j?
True
Let c(g) be the second derivative of 7*g**3/6 - 2*g**2 + 15*g. Let u be 0 + 3/3 + 2. Is c(u) a multiple of 17?
True
Let a(i) = -i**3 - 8*i**2 + 8*i + 13. Suppose 4*z + 18 = -g + z, 24 = -3*g + z. Does 3 divide a(g)?
False
Suppose 0 = 4*z - 0*z - 4, -5*z = 4*q - 117. Suppose 5*r = 3*r + q. Is r/(-3 - 140/(-44)) a multiple of 10?
False
Let j = 436 - -2. Let k = 709 - j. Suppose 5*o = k + 119. Does 22 divide o?
False
Let c(r) = 0 - 41*r - 2 + 36*r + r**2. Let n be c(5). Is (114/(-95))/(n/15) a multiple of 2?
False
Is ((-135)/(-20) - 0)/((-6)/(-80)) a multiple of 9?
True
Suppose 0 = 5*z - 0*z - k + 19, z - 3*k + 15 = 0. Let h(g) = -49*g + 3. Does 30 divide h(z)?
True
Suppose b + b - 2 = 0. Let j = b + 4. Suppose 139 = j*a - 3*d - 59, 2*a - 4*d - 68 = 0. Is a a multiple of 14?
True
Let v = -587 - -1063. Is v a multiple of 7?
True
Let w(g) = g**3 - 2*g**2 - 6*g + 1. Let f be w(6). Let z = f + -53. Is z a multiple of 7?
True
Let g = 105 + -103. Is 2*(1/(-2) + g) + 17 a multiple of 2?
True
Does 41 divide -2*(-2 + 1698/(-12))?
True
Let r(y) = y**3 + 8*y**2 - y - 3. Let n be r(-6). Let a = n - 44. Is a a multiple of 28?
False
Suppose 3*p = -p + 788. Suppose 5*a - p = 93. Suppose -4*g + a = -30. Is g a multiple of 11?
True
Suppose 2*a + 2*d = -1 + 5, -2*d = -a + 17. Suppose a*x = 3*x + 36. Is 3 a factor of x?
True
Let l(j) = j**3 - 16*j**2 - 15*j - 17. Does 6 divide l(17)?
False
Let k(y) = y**3 + y**2 + 4. Let w be k(-2). Suppose l = -l + 4. Suppose 3*b = w, l*b - 139 = -3*i + 29. Is i a multiple of 15?
False
Let v(a) = -88*a + 122. Does 58 divide v(-8)?
False
Let m(n) = n**2 + 16*n - 15. Let k be m(-17). Suppose -2 = -k*l, z - 6*z - 2*l + 1452 = 0. Is z a multiple of 29?
True
Let d = 25 - 20. Suppose -d*i + 5*m + 2 = -3, m = -3*i - 1. Suppose i = 2*z - 6*z + 320. Is z a multiple of 17?
False
Does 8 divide ((-234)/(-36))/((-4)/(-296))?
False
Suppose 9*p - 1717 = -178. Is 2 a factor of p?
False
Suppose 49*l = 45*l - 8. Does 13 divide 320/5 + 1*(5 + l)?
False
Suppose 0 = -c - 4*h + 1312, -3*c - 31*h + 3964 = -33*h. Is c a multiple of 24?
True
Let m(s) = 2 + 73*s**2 - 29*s**2 - 40*s**2 + 2*s. Does 14 divide m(5)?
True
Is 19 a factor of -3*752/96*-1*38?
True
Suppose -6 = -a - 3*o + 184, 0 = -a + 4*o + 211. Does 15 divide a?
False
Is -2*(-12507)/6 + 10/2 a multiple of 14?
False
Let x(o) = 0*o + 1 - o**3 - 4*o**2 + 4*o + 0*o + 2*o**2. Let h be x(-3). Let q = h - -25. Does 7 divide q?
False
Let u(h) = 3*h**2 + 4*h + 10. Let a be u(7). Let v = -126 + a. Is v a multiple of 46?
False
Suppose 2*o - d + 8 = -3*d, -5 = 2*o - d. Let w(g) = 2*g. Let q be w(3). Does 9 divide (27/q)/(o/(-6))?
True
Suppose -2*g + 3*m = -290, 4*g + 11*m - 16*m - 576 = 0. Does 17 divide g?
False
Let z(w) = -w + 41. Is 3 a factor of z(-7)?
True
Let a(s) = -2*s**3 - 5*s**2 + 11*s - 7. Let b = 3 - 9. Is 18 a factor of a(b)?
False
Does 22 divide -1*(16*(5 + -38) + -1)?
False
Let h = 68 + -53. Suppose 3*a - 3960 = -h*a. Does 11 divide a?
True
Let t be (-4)/(0 + -2) + (5 - 0). Is 6 a factor of (-9)/3 + t*4?
False
Suppose 9*h + 2660 = -h. Let p = h - -434. Is 6 a factor of p?
True
Suppose 41*c = 37*c + 16. Suppose c*u - 52 - 84 = -3*y, -4*u + 136 = 2*y. Does 2 divide u?
True
Let l(f) = 12*f + 393. Does 9 divide l(-11)?
True
Suppose 3*o = 5*i - 2145, -5*i + o = -1084 - 1071. Is 48 a factor of i?
True
Suppose 3*w = 4*p - 50, -4 = 5*p - p. Let s be 1/((-7)/12)*-49. Let t = w + s. Does 22 divide t?
True
Let x = 841 - 503. Is x a multiple of 26?
True
Suppose 0 = 21*b + 11*b - 3456. Is b a multiple of 27?
True
Let g(k) = -5*k + 21. Is g(3) a multiple of 6?
True
Let h be 4 - 2 - (-438)/6. Suppose -2*l - 27 = -h. Does 12 divide l?
True
Is 12 a factor of (7 + -9 - 816)/(-2)?
False
Suppose -7*x + 5*x - 8 = 0. Let z be (-23 - 0) + (x - -3). Is 10 a factor of ((-9)/6)/(1/z)?
False
Suppose -2*p = 3*p - 705. Suppose 5*a + 2*s + p = s, 0 = 5*s - 20. Let h = a - -48. Is h a multiple of 6?
False
Suppose 4*w + 1184 - 3880 = 2*i, -3*i = -3*w + 2028. Does 24 divide w?
True
Let r(n) = -610*n**3 + 4*n**2 - 5*n - 8. Is r(-2) a multiple of 31?
True
Does 99 divide (-10)/70 + (-5 - 229131/(-49))?
False
Let p(q) = -4*q**2 + 7*q + 7. Let v be p(6). Let f = 74 - v. Is f a multiple of 14?
False
Is (-86)/(-18) + 14/63 + 1126 a multiple of 51?
False
Let w be (-2)/4 - 5/2. Let g(m) = 3 - 16*m + 14*m + 3. Is 4 a factor of g(w)?
True
Let g = 1651 + -859. Is g a multiple of 11?
True
Let d be 2/(-12) - 3/(-18). Suppose -8*o + o + 392 = d. Is o a multiple of 8?
True
Let y be (-4)/(-3 - -4 - 2). Let s(u) = 10*u**2 + 8*u - 9. Is s(y) a multiple of 18?
False
Suppose -3*s + 58 = -3257. Is 63 a factor of s?
False
Let x = 245 + 55. Is x a multiple of 5?
True
Let h