-3)/((-2)/(-372)). Suppose -g = -18 - b. Does 39 divide g?
False
Is (-3717)/295*((-2)/2 - 34) a multiple of 40?
False
Suppose -4*z - 36 = 5*r, 2*z = 2*r + 7*z + 11. Is ((-90)/r)/((-5)/((-320)/12)) a multiple of 30?
True
Suppose 7*x = -174 + 762. Suppose -5*d + x = -26. Is 22 a factor of d?
True
Let u be (0 + 1)/((-14)/(-1190)). Let k = 40 + u. Is 8 a factor of k?
False
Suppose -i - 4*i + 2*w = 113, 2*i - w + 45 = 0. Let l = 31 - i. Suppose 5*o - 5*q - 96 = l, 0 = -o - q + 32. Does 8 divide o?
False
Let b(p) = p**2 + 3*p + 3. Let x be b(-3). Suppose 0 = -x*t - 2*n - 67, -n - 32 = 2*t - 6*n. Let v = t - -35. Does 7 divide v?
True
Let a = -23 - -26. Let f be -3 + (a + -39)/(-1). Let x = f - 15. Is 9 a factor of x?
True
Suppose -4*m = -8*m + 16. Suppose -6*k + m*k + 8 = 0. Suppose -260 = -k*d - 5*p, p + 4 = -0. Does 19 divide d?
False
Suppose -4*r = r - 20. Let f = r - -11. Suppose -4*j = -4*q + 36, 70 = 5*q + 3*j - f. Is q a multiple of 4?
False
Let u = -21 - -53. Suppose 9*k - u = 7*k. Is 32 a factor of (-46 - 2)*k/(-12)?
True
Let q(s) = -18*s - 7. Let k(b) be the first derivative of -9*b**2/2 - 4*b + 3. Let r(f) = 11*k(f) - 6*q(f). Does 10 divide r(6)?
False
Suppose -45*t = -50*t + 10. Let d be (-2)/1 + (-100)/(-5). Suppose 4*a - d = t*a - 2*c, -c + 18 = 2*a. Does 9 divide a?
True
Let a(h) = 6*h + 3. Let s be a(-10). Let l = s + 83. Does 3 divide l?
False
Let t = -113 + 117. Suppose -4*x + 308 = -t*v - 80, -3*v = -9. Does 25 divide x?
True
Let k be (8 - 2)*(1 - -4). Suppose -w - 5*t = -21, w - 2*w - 2*t = -k. Is w a multiple of 19?
False
Suppose 0 = -4*c + c - 4*q + 82, -4*c + 102 = -2*q. Let w = 13 - c. Let v(m) = m**3 + 12*m**2 - 19*m - 9. Is v(w) a multiple of 23?
True
Let z(k) = -360*k**3 - 4*k**2 - 7*k - 6. Is z(-1) a multiple of 9?
False
Let l(q) = -q**2 + 14*q - 12. Let m be l(13). Let p(v) = v**2 + 3 + m + 0*v**2 + 0*v**2 - 2*v. Is 14 a factor of p(10)?
True
Let g = 322 + -302. Is 5 a factor of g?
True
Let c(k) = 0*k**3 - k**3 - 13*k**2 + 2 + 3*k + 1 - 2. Is c(-14) a multiple of 32?
False
Let i(b) = 19*b**3 + b**2 - 2*b. Let z be i(1). Suppose z - 39 = -v. Is v a multiple of 4?
False
Let s(f) = -9*f + 2*f + 23*f**2 + f**3 + 27*f + 40. Does 7 divide s(-22)?
True
Suppose -2*q - 56 - 232 = 0. Let l be (q/54)/((-4)/6). Suppose 5*m - l*d - 284 = 0, -m + 68 = d + d. Is 10 a factor of m?
True
Suppose 4*o - 58 = -246. Let v = -19 - o. Is 7 a factor of v?
True
Let v(d) = d**3 - 3*d**2 + 8*d - 2. Is 11 a factor of v(3)?
True
Let g = 5 + 2. Let q(k) = -16*k - 1 - 8*k - 15*k + 46*k. Is q(g) a multiple of 16?
True
Let l = 486 + -314. Is l a multiple of 43?
True
Suppose -w - 2 + 72 = 3*g, 4*g = w - 42. Let t = -6 + w. Suppose 0 = -5*s + 162 - t. Is 22 a factor of s?
True
Suppose 0 = -5*f + 5*t + 3910, -3*f + 0*t - 2*t = -2351. Is 87 a factor of f?
True
Suppose 0 = -2*c - 5*c + 28. Suppose 0 = c*g - 3*g - 258. Is g a multiple of 15?
False
Let v = -12 + 17. Let s = 15 - v. Is 5 a factor of s?
True
Suppose -2*v = 4*s + 5 + 19, 5*s + 30 = -4*v. Is 4 a factor of 2/(1/s*3) + 19?
False
Suppose -l + 3 + 633 = 5*i, -3*l + 257 = 2*i. Suppose i = 5*c - 163. Suppose p = 2*p - c. Is p a multiple of 11?
False
Let o = -94 - -124. Does 15 divide o?
True
Let q(t) = 0*t + 7*t + 5*t - 1 - 2*t. Let b be q(2). Let i = b - 12. Is i a multiple of 4?
False
Suppose -5*s - 723 + 2998 = 0. Does 16 divide s?
False
Suppose -4*b - 2*b + 12 = 0. Suppose -b*h - 2*k + 36 = 0, -71 = -4*h - 2*k + 7. Is 2 a factor of h?
False
Suppose -4*s = -3*s + 40. Let x = -36 - s. Let u(g) = 2*g**3 - 3*g**2 - g - 4. Is 12 a factor of u(x)?
True
Let i be -111 + (3 - 5) + (-2 - 1). Let d = 164 + i. Is d a multiple of 24?
True
Let k be 140/3*(14/5 + -4). Let l = 82 + k. Is l a multiple of 13?
True
Let s = -47 + 48. Is 17 a factor of 240 + (3/s - 5)?
True
Suppose -3*i + 5*p = -20 - 13, -15 = -2*i + p. Let n(h) = 14 - 12 + i*h - 10. Does 5 divide n(4)?
False
Let r be (1 - 135)*99/22. Is r/(-6) + 4/(-8)*1 a multiple of 47?
False
Suppose 136 = -7*i + 808. Does 6 divide i?
True
Let x = -13 + 321. Is x a multiple of 11?
True
Suppose 0 = i - 289 + 34. Is 10 a factor of i?
False
Suppose a - 3*v - 337 = 74, 2*a + 3*v - 813 = 0. Does 32 divide a?
False
Let u = -4675 + 7542. Suppose -767 = 12*g - u. Does 35 divide g?
True
Suppose 4*q - 370 = 5*q. Suppose 0 = -4*f - 0*f + 4*i - 16, f + i = -4. Is 23 a factor of 2/(-4) + q/f?
True
Suppose 21 = -i + 15. Let t be (-1 - -2)*(-42)/i. Suppose -t*s - 324 = -11*s. Is 13 a factor of s?
False
Suppose 4*s - 593 - 163 = 0. Is 24 a factor of s?
False
Let v be (-2)/(-8) - (-29)/(-116). Suppose v*z - 3*z = -123. Is 12 a factor of z?
False
Let w = 3 + 138. Is 18 a factor of w?
False
Suppose 2*n + 36 = -172. Let d = n + 170. Does 11 divide d?
True
Let g(h) = -h**2 - 11*h - 1. Let w be g(-10). Let b(q) = q**3 - 9*q**2 + 13*q - 8. Is b(w) a multiple of 31?
False
Let v(n) = n**2 - 9*n - 6. Let r be v(10). Suppose 5*g = r*g + 8. Suppose -12 = -4*s + g. Does 5 divide s?
True
Let j(d) = 2*d**2 + d + 4. Let m be j(2). Does 22 divide 1234/m + (-13)/91?
True
Let x = -41 - -47. Is 1 - (3/x + 114/(-12)) a multiple of 5?
True
Suppose -134 = 3*w + 1. Let y = w - -58. Is 13 a factor of y?
True
Suppose 3*q = 3*t + 9, -3*q + 3*t = 2*t - 1. Is 7 a factor of (-7 + 6)/(q/7)?
True
Let f = 464 - -575. Does 80 divide f?
False
Let a(j) = -21*j + 3. Let h(w) = -w**2 + 8*w - 7. Let x be h(5). Suppose 5*p + x + 19 = 3*o, 3*o - 12 = 0. Does 31 divide a(p)?
False
Let p(d) = d**2 - 9*d + 13. Let a be p(10). Let t = 2 + a. Suppose -5 - t = -5*f. Is 3 a factor of f?
True
Suppose -5*i + 4 = 19, 5*i + 6 = -f. Suppose -f*v + 4*v = -20. Let d = v - -11. Is d a multiple of 5?
True
Let u = -5 + 8. Suppose 0 = u*o + 4*n - 119, n = 5*n + 16. Is 1*o + 2/1 a multiple of 18?
False
Let h(t) = -6*t - 4. Suppose 0 = 7*m - 8*m + 7. Let a be h(m). Let d = a - -70. Is 24 a factor of d?
True
Let b be (-7)/(((-18)/(-12))/(-3)). Let m(d) = d**2 - 2*d + 4. Let w be m(-4). Let f = w + b. Does 14 divide f?
True
Let y = 1707 + -1230. Is 18 a factor of y?
False
Is 20 a factor of -5 + (-8)/((-56)/(-231))*-12?
False
Let g be ((-6)/2)/(-3)*(-425)/(-5). Let d = -25 + g. Is d a multiple of 8?
False
Let n = 94 - 40. Let a = n + -3. Does 11 divide a?
False
Suppose -6*k = -7*k - 84. Let f(c) = -c**2 + 3*c + 1. Let z be f(8). Let h = z - k. Is h a multiple of 14?
False
Let o(i) = -i**2 + 10*i + 16. Let s be o(11). Suppose -s*x + 96 = -x. Is 11 a factor of x?
False
Is 9 a factor of ((-80)/(-64))/((-1)/(-1296))?
True
Let d = -519 + 597. Is d a multiple of 26?
True
Suppose -2*k + 6 = -2*b, 4*k + 2*b = 7*b + 11. Suppose 9 + 6 = 2*w - 5*z, 25 = k*w - 5*z. Suppose 4 = 2*l - w*o - 19, 4*o = 4. Is 7 a factor of l?
True
Suppose -17*n = 47*n - 60672. Is n a multiple of 6?
True
Suppose -4*l = l - 5*x + 5, 5 = -2*l + 5*x. Suppose l = -3*z + 4*h + 114, -5*z + 9*h + 185 = 4*h. Does 9 divide z?
False
Suppose j - 5*j = -16. Suppose -j*v + 18 = l, 2*l - 2*v - 2 = -16. Let w = l + 16. Does 14 divide w?
True
Suppose -2*w + 60 = 4*i - 18, 4*w + 4*i = 140. Let r = w - -23. Is 9 a factor of r?
True
Suppose -4*y + 30 = -26. Let j(o) = -o**3 + 13*o**2 + 15*o - 14. Let w be j(y). Suppose w = r - 3*b - 114, -3*b = -4*r + 2*b + 456. Is 30 a factor of r?
False
Suppose 0 = -3*t + 3*h - 3, -2*t + 27 = 3*t + 3*h. Suppose 4*z = 3*l - 154, -4*l + t*z + 201 = 2*z. Is l a multiple of 10?
True
Suppose 122*n = 114*n + 1832. Does 29 divide n?
False
Let m(r) = r**3 - 4*r**2 + r + 2. Let d be m(2). Let l be d/2*(3 - 5). Suppose w = -w + 5*z + 121, -l*z = -3*w + 164. Is w a multiple of 12?
True
Suppose 0 = -3*s + 19 - 7. Suppose -142 = 2*u + s*i - 42, -5*i - 65 = u. Let y = -14 - u. Does 5 divide y?
False
Let b(p) = 3*p**2 + p - 1. Let j = 22 - 23. Let t be b(j). Does 4 divide t - 0 - (-1 + -2)?
True
Let y = 2122 - 1133. Is 23 a factor of y?
True
Let z = 637 + -573. Is z a multiple of 8?
True
Suppose 15*g - 18*g = -3*w + 987, 0 = -w - g + 327. Is w a multiple of 41?
True
Let v(j) = -23*j**3 - 11*j**2 - 2*j + 17. Is 13 a factor of v(-6)?
False
Let r be 5083/187 - (-4)/(-22). Suppose -r = c - 110. Does 15 divide c?
False
Suppose -4*o - 8*c + 3274 = -5*c, 0 = 2*c - 4. Is 14 a factor of o?
False
Let y(o) = -5 + 2 + 3*o + 0. Let d(r) = -r**2 + 12*r + 35. Let w be d(14). Is 17 a facto