j - 2 = 6, 2*d + 29 = -5*j. Let h(z) = -z**3 - 7*z**2 - 6*z - 6. Is 6 a factor of h(d)?
True
Let g = -91 + 104. Let v(n) = -n**2 + 16*n - 7. Is v(g) a multiple of 6?
False
Let j(g) = -g**3 + 17*g**2 + 31*g - 138. Is j(9) a multiple of 13?
False
Let y = -9 - -13. Suppose h - y*h + 105 = 0. Suppose -h = -4*p + 5*s + 84, -3*p = 4*s - 128. Is p a multiple of 18?
True
Let y be (2 - (-10)/(-3))*(15 + -21). Let b = 140 - 66. Is 4 a factor of y/(-36) - b/(-9)?
True
Does 5 divide (12/(-9))/(1/(-3))*25?
True
Suppose -629*x - 40 = -630*x. Is 20 a factor of x?
True
Suppose 0 = 5*a - 3*a - 6. Suppose -d = -a*n - 28, n + n = 4*d - 12. Let s = 38 + n. Is 28 a factor of s?
True
Let d = -54 - -94. Suppose -4*x - 2*k + 22 = -262, 0 = -5*k. Let q = x - d. Is q a multiple of 7?
False
Let m(s) = -3*s**2 - 14*s + 5. Let r be m(-5). Suppose 8*p - 11*p + 210 = r. Does 35 divide p?
True
Suppose -618 - 1293 = -3*p. Suppose -3*n - 4*n = -p. Is 30 a factor of n?
False
Let w(x) = x + 12. Suppose 2*d - 6 = -16. Is w(d) a multiple of 7?
True
Let y(i) = -2*i**2 + 29*i + 30. Let x(k) = k**2 - 14*k - 14. Let l(b) = 13*x(b) + 6*y(b). Does 8 divide l(10)?
False
Let o be (-4 + -40)*(-6)/8. Suppose 2*n - 61 - o = 0. Let u = n + -21. Does 12 divide u?
False
Let r(k) = 223*k - 115. Does 12 divide r(14)?
False
Let j = -327 - -586. Is j a multiple of 2?
False
Let l(k) = -22*k + 4. Let j(q) = -7*q + 1. Let m(i) = -14*j(i) + 5*l(i). Does 21 divide m(-3)?
True
Let r(v) = 18*v**2 - 40*v - 57. Is r(9) a multiple of 5?
False
Suppose c = -5, -220 = 4*g - 2*g + 4*c. Let p = 1203 - 1207. Is 3*p*g/16 a multiple of 15?
True
Let f(g) = -94*g. Let d be f(-4). Suppose -4*i + d = 4*m, 4*m - 376 = -0*m + 3*i. Is m a multiple of 15?
False
Suppose -n - 4 = 0, -3*c + 2*c + n = -8. Suppose 0*m - 4*m = c*v - 40, 3*m - 30 = -v. Suppose 2*b - 4 = m. Does 3 divide b?
False
Is ((-2)/(-3))/(5 - 1141/231) a multiple of 5?
False
Let w(b) = 2*b**2 + 2*b + 2. Let n be w(-1). Suppose n*m - 343 = -121. Is 20 a factor of m?
False
Suppose 0 = -y + p + 7, 0 = -4*y + 5*p + 34 - 1. Suppose -t - y*t = 5*l - 345, -2*t + 231 = 3*l. Is 24 a factor of t?
True
Suppose 9*x + 34 = 7*x. Let p = 24 + x. Suppose 132 = -w + p*w. Is w a multiple of 7?
False
Let u = 6 - 4. Suppose 0 = -15*g + 9*g + 606. Is g - 2/(2/u) a multiple of 20?
False
Let x(d) = 40*d - 16. Let o be x(13). Suppose 24 - o = -4*c. Suppose -3*k + c = k. Does 10 divide k?
True
Suppose -4*r - 2*a = -1036 - 1336, a = -4. Does 3 divide r?
False
Suppose -66 = 3*q + 3*q. Let k = q - -13. Is 14 a factor of (-4)/8*(k + -58)?
True
Let v(j) = -j - 20. Let u be v(-12). Is (-666)/u + 31/(-124) a multiple of 6?
False
Let f(x) = 56*x + 12. Let l(p) = 19*p + 4. Let i(o) = 3*f(o) - 10*l(o). Is 10 a factor of i(-2)?
True
Let h be ((-10)/(-20))/(1/112). Suppose -k + c = -h, k + 3*k = -5*c + 179. Is k a multiple of 17?
True
Let r = 2250 + -1230. Does 59 divide r?
False
Let t(n) = n**2 - 13*n + 5. Let f be t(12). Let u = -5 - f. Suppose 2*w + 5*v - 33 = 2*v, 0 = w + u*v - 16. Does 18 divide w?
True
Suppose 13*q - 18*q - 30 = 0. Does 24 divide (-14 - 4)*((-32)/q)/(-4)?
True
Let m(v) = v**3 - 26*v**2 + 31*v - 139. Does 15 divide m(26)?
False
Let a = 122 + -111. Suppose a*t = 6*t + 1540. Is t a multiple of 44?
True
Let v(t) be the first derivative of -t**3/3 - 5*t**2 + 6*t + 1. Suppose z - 4*h + 2 = 10, -2*h = -z. Does 11 divide v(z)?
True
Is (-15)/((-6)/(-680)*(-36)/45) a multiple of 25?
True
Let y = 14 - 41. Let v = -4 - y. Is v a multiple of 5?
False
Suppose -s + 0*s = -2*v + 399, 0 = -3*v - s + 591. Suppose 6*o - 3*o - 2*a = v, -o + 61 = a. Is 16 a factor of o?
True
Let b be 1 - (5 + 0) - 2*-17. Does 5 divide (b/60)/(2*(-2)/(-424))?
False
Let s = -121 + 100. Let m(i) = i + 39. Does 3 divide m(s)?
True
Let n be 85 + 2 - 0/9. Let g = n + 3. Is g a multiple of 18?
True
Suppose -4*p + 5*q = 4*q - 663, 3*p = 2*q + 496. Is 21 a factor of p?
False
Suppose -2*o = -4*o. Suppose o = -7*h + 3*h - 548. Let s = 197 + h. Is 15 a factor of s?
True
Suppose -9*n = 12*n - 9534. Does 74 divide n?
False
Suppose 539 = r - w, -r + 11*w + 543 = 8*w. Is 76 a factor of r?
False
Suppose -5*i + 7*i + 10 = 0, 2*f + i = -5. Suppose f*u + 96 = u. Does 32 divide u?
True
Suppose 4*i = -2*j + 5608, -23*i = -22*i - 3*j - 1416. Is i a multiple of 12?
True
Suppose -187*b + 225 = -182*b. Is 5 a factor of b?
True
Let j be (42/(-12) - -3)*0. Suppose k - 211 - 18 = j. Is 48 a factor of k?
False
Let x = -9 + -22. Does 14 divide 4/(-14) - x*304/56?
True
Let g be (9/(-6))/(-1)*(-16)/(-6). Suppose -3*n + 182 = 2*n + g*k, 0 = -3*n + 4*k + 122. Is n a multiple of 10?
False
Let l be (-1)/(-2) - (-5)/(-2). Suppose 3*n - 462 - 243 = -d, 2*n - 471 = -d. Does 16 divide (n/12)/(l/(-4))?
False
Let c(a) = 4*a**3 - 10 + 1 - a + 2*a**2 + 5 - a**3. Let h be c(-3). Let d = h + 94. Is d a multiple of 9?
False
Let j(w) = -w**2 + 7*w + 21. Let h be j(9). Suppose -3*g + 0*c + 3*c = -3, 0 = 5*g - h*c - 7. Suppose -7 = -g*v + 53. Is 10 a factor of v?
True
Suppose -3*s = -n + 4*n - 138, -n + 226 = 5*s. Is s a multiple of 3?
True
Suppose -4*u = u - 15. Suppose -u*i + 0 - 9 = 0. Is 3 a factor of (-9)/(-27) - 17/i?
True
Let d(o) = -o**2 + 5*o. Let l be d(4). Suppose 2*m - 8 = j, -2*m + j = -l*m. Suppose 0 = 4*n - 3*z - 255, -n - 3*z + 35 = m*z. Is 16 a factor of n?
False
Let g(o) = 4*o + 1. Let b be g(8). Let d = 3 + b. Is d a multiple of 18?
True
Let h = -1325 + 1869. Is 8 a factor of h?
True
Suppose -3 - 9 = 4*s. Let l(n) = -n**3 + n**2 + 2*n - 3. Does 16 divide l(s)?
False
Let s(h) = -111*h - 1. Let d be s(1). Let i = d + 168. Is i a multiple of 15?
False
Let q(s) = -2*s**2 - 21*s - 12. Let r be q(-10). Is 4 - -75*(-3)/(r + -1) a multiple of 6?
False
Let f(m) = m**2 + 9*m + 3. Let r be f(-9). Suppose -90 = -4*n + 3*v, -r*n - 28 = 3*v - 85. Does 4 divide n?
False
Suppose -h - i = -155, -5*i + 6 = -3*i. Is h a multiple of 17?
False
Let o(u) = -u**2 + 48*u - 134. Let n be o(46). Let v = -22 - -10. Let k = v - n. Does 15 divide k?
True
Let y = -84 - -58. Is y/(-117) + 1634/18 a multiple of 21?
False
Let j = -11 - -12. Let u(k) = -2*k + 6*k + k + k - j. Does 17 divide u(3)?
True
Suppose -19*j + 13 = -6*j. Is 239 + j/(3/(3 + -6)) a multiple of 18?
False
Let p = -1583 - -2916. Is 13 a factor of p?
False
Suppose -21*k - 22*k = -67639. Does 13 divide k?
True
Suppose 0 = 1890*i - 1893*i + 96. Does 3 divide i?
False
Let v(t) = -t + 9. Let a be v(6). Let w be (1 - (a - 0))*-26. Suppose 4*u - k - w = 0, u + k - 13 = -0*k. Is 13 a factor of u?
True
Suppose 0 = 3*l - b + 308 - 1071, 0 = 5*b - 10. Is l a multiple of 22?
False
Suppose 7*q - 544 = -q. Is q a multiple of 4?
True
Let f(s) = s**3 - 10*s**2 - 9*s + 22. Let h be f(11). Suppose 30 = 2*j - h. Is j a multiple of 3?
False
Let r = -14 - -25. Let k(x) = 5*x + 7. Let v be k(3). Let d = v - r. Is 4 a factor of d?
False
Suppose 168 = 8*r - 2*r. Let v = 4 - 2. Suppose r + 46 = v*l. Does 8 divide l?
False
Does 45 divide (-4628254)/(-1130) + 4/(-5)?
True
Suppose 4*q = 4*a - 2292, 3*q + 1709 = 3*a - 2*q. Is a a multiple of 11?
False
Let f be 30/(-25)*(-1)/((-3)/(-70)). Let r = 60 - f. Is 21 a factor of r?
False
Suppose -32*f = -205 - 11891. Is f a multiple of 7?
True
Suppose -3*d + 4*c = -122, -3*d = -2*d - c - 42. Let x = d + -29. Is x a multiple of 5?
False
Let u = 486 + -225. Is u a multiple of 6?
False
Let n(z) = 2*z**2 - 3*z - 30. Is 22 a factor of n(11)?
False
Suppose n = 3*n + 32. Does 10 divide (-5)/(4/n*2)?
True
Suppose 45 - 136 = 7*k. Let l = k - -15. Suppose 0 = -5*c - r + 228, -4*r = -3*c - l*c + 213. Does 15 divide c?
True
Let u be -4 + -5 + 0/2. Let x(m) = m**3 + 10*m**2 - 3*m - 18. Is 15 a factor of x(u)?
True
Suppose -3*k - 5*a + 51 = 1, -79 = -5*k - 4*a. Let x = -13 + k. Suppose -5*d = -j - 42, -4*d - d - x*j = -36. Is 2 a factor of d?
True
Let y(j) = -2*j + 14. Let w be y(5). Suppose -w*z + 71 = -0*z - 5*g, 2*z - 42 = -4*g. Is z a multiple of 3?
False
Let b(p) = -p**3 + p**2 - p + 3. Let t(o) = o**3 - 3*o**2 - 4*o + 3. Let n be t(4). Suppose 0*a + 3 = 2*a + n*m, a + 3*m - 3 = 0. Is b(a) a multiple of 3?
True
Suppose -b + 1 + 3 = 0, -5*f + 4*b = -134. Is 15 a factor of f?
True
Let d = -14 - -2. Let g(h) = -h + 51. Let k be g(0). Let o = d + k. Is 13 a factor of o?
True
Let w(r) = 3*r**2 + 4*r +