17*r + 3104. Is f(-6) a multiple of 83?
True
Suppose 5*y = -15, 0 = 5*s + 3*y - 26 + 10. Suppose -i + s = -517. Is i a multiple of 18?
True
Let x be -2*(7 + 1 - 6). Does 13 divide 18/x*-68 + -4?
False
Suppose -19*y + 5*v = -23*y + 7455, 6*y = -3*v + 11151. Is 11 a factor of y?
False
Let h(k) = k**3 + 4*k**2 - 14*k - 9. Let d be h(-6). Let f(n) = n**2 + 15*n + 12. Let t be f(-15). Suppose d*v - t = v. Does 3 divide v?
True
Is 6883 - (112/80 - (-8)/5) a multiple of 10?
True
Suppose -42*f = 18*f + 51*f - 586857. Is f a multiple of 19?
False
Is 5 a factor of 155994/32 + 810/4320?
True
Is (-1)/(-7) + 70755/420*4 a multiple of 10?
False
Suppose -18 = -5*n + 3*f, 3*n = -2*n - 5*f + 10. Suppose -5*j + 330 = 3*o - 2*o, n*o = 0. Is 6 a factor of j?
True
Let a = 82 + -161. Let n = 268 + a. Is n a multiple of 50?
False
Let b(c) = 12*c**2 - 4*c - 7. Suppose 8 = -2*u + 3*i, 9*i = 2*u + 13*i + 8. Is 19 a factor of b(u)?
False
Suppose 4*q + 4 = p, p + 2*q = 4*p - 22. Suppose 0 = -8*y + 12*y - p. Suppose -y*m + 3 = -25. Does 3 divide m?
False
Let p(b) = -4*b + 146. Let c be p(36). Suppose g + c*z - 58 = 4*z, 2*g - 122 = -2*z. Is 12 a factor of g?
True
Suppose -9*a - 738 = -6*a + 3*h, -3*a - 746 = h. Let t = a + 370. Is t a multiple of 24?
True
Let o(s) = 710*s**2 + 78*s + 326. Is 242 a factor of o(-4)?
True
Let o = -513 - -640. Suppose 0 = -r - 3*b - o + 307, -3*r + 4*b + 514 = 0. Is 58 a factor of r?
True
Let p be 7 - ((-28)/(-6) + (-8)/12). Suppose p*k + 2*l - 128 = -39, 2*l = -10. Is k even?
False
Suppose -18*j = -8*j - 3640. Is 16 a factor of (11/(-22))/((-2)/j)?
False
Let l(f) = f**3 + 3*f**2 - 2*f + 9. Let p be l(-4). Does 28 divide (-4)/p - (-368 + 0)?
True
Suppose -n + 3 = -1, d - 2*n = -4. Does 25 divide (d + -3 - 2)*-25?
True
Is 20 a factor of (-616140)/(-285) - 10/(-95)?
False
Let s be (-1)/4 - 2/((-24)/51). Suppose p - 15 = -s*p. Suppose 0 = p*x - v - 493, x + 4*v - 146 = 8*v. Is 11 a factor of x?
False
Let z be (-168 + 0)/14*38/(-2). Suppose -3*s = 5*k - 239, z + 3 = 3*s + 3*k. Does 14 divide s?
False
Suppose -1840 = -5*z - 2*v, -3*z + 5*v = v - 1104. Let d = 560 - z. Is d a multiple of 36?
False
Suppose 415081 = 53*r - 1019470. Is r a multiple of 31?
False
Is (-21)/(9 - 6) - -1 - 55824/(-4) a multiple of 5?
True
Suppose -6*i + 13 = 1. Suppose 0 = -i*t + 124 + 216. Let o = t - 119. Does 17 divide o?
True
Let d = -46107 + 78048. Does 39 divide d?
True
Let b = 5953 + 2299. Does 37 divide b?
False
Suppose 14*o - 22 = 34. Let z(r) = 77*r + 7. Is 10 a factor of z(o)?
False
Is 14 a factor of 123812/65 - 2/(-10)?
False
Is 108 a factor of -1821*((-440)/30 + 13)?
False
Let z be 76/10*(-465)/(-31). Suppose z = t + h - 58, 4*h - 16 = 0. Does 14 divide t?
True
Suppose -126 = 21*x - 27*x. Let l(t) = t**2 + 6*t + 11. Is l(x) a multiple of 17?
True
Suppose 5*p - 20 = x - 89, x - 59 = -5*p. Suppose x = 2*b + 14*y - 13*y, 3*b - 86 = y. Is 14 a factor of b?
False
Let v(r) = -2*r**3 + 18*r**2 - 18*r + 8. Let g be v(7). Let k = 82 - g. Suppose -4*d + k = -3*d. Is d a multiple of 4?
True
Let q(x) = 200*x**2 - 14*x + 25. Let b be q(2). Let d = 1259 - b. Does 33 divide d?
True
Let q = 1812 + 1484. Is q a multiple of 103?
True
Suppose 15 = w + 39. Let p = w - -29. Suppose 4*i - 3*b - 166 = -p*b, 171 = 4*i + b. Does 11 divide i?
True
Let u = 1775 - 1025. Does 30 divide u?
True
Suppose -2*u + 804 - 192 = 0. Let o = u + 387. Does 18 divide o?
False
Suppose -2*h + w + 27027 = 0, 0 = 2*h + 2*w - 25609 - 1433. Is 31 a factor of h?
True
Suppose 29*b - 39*b + 13310 = 0. Is b a multiple of 3?
False
Let i(m) = -29*m + 1302. Is 10 a factor of i(18)?
True
Suppose -2*s - 18*i = -15*i - 1271, 3*i + 3125 = 5*s. Is 76 a factor of s?
False
Let d = 161 + -227. Let n be (-11)/(d/3808) + (-8)/(-6). Let t = n - 376. Is t a multiple of 52?
True
Suppose -13*b - 40 = -3*b. Is 7 a factor of (-1 - b)/3*493?
False
Suppose -165*h - 159 = 666. Let k = -192 - -85. Is (-3 + k)/h + 2 a multiple of 8?
True
Suppose 3*l = -2*l + 100. Let i = -22 + l. Let o = 20 - i. Is 7 a factor of o?
False
Let b = -476 + 4871. Does 28 divide b?
False
Suppose -6*u - 108150 = -7*u - 13*u. Is 15 a factor of u?
True
Suppose 45 = 11*k - 21. Suppose -280 = 8*f - k*f. Does 9 divide (f/21 - -6) + 254/3?
False
Let q(y) = 18795*y - 366. Is 9 a factor of q(2)?
True
Let l = -547 - -107. Let j = l + 687. Is j a multiple of 13?
True
Let u be 1/7*-2 + (-24)/14. Let s be u/(-6) - (-1870)/6. Suppose -3*p + t + s = -21, 2*p = 2*t + 226. Is 15 a factor of p?
False
Suppose 93 - 2 = 7*x. Let y(h) = 4*h + 154. Does 24 divide y(x)?
False
Suppose 4*w - 2*h - 3*h + 213 = 0, 0 = -2*w - 5*h - 69. Let p = -284 - -356. Let z = w + p. Is z a multiple of 12?
False
Suppose 179*j = 239*j - 201120. Does 45 divide j?
False
Let l(p) = -p**3 + 17*p**2 - 2*p + 39. Let t be l(17). Let v be -4 - (t + -13) - -106. Suppose 3*n - v = 430. Is 30 a factor of n?
True
Suppose -6*v = 20*v - 2080. Suppose v = 3*c - c. Is c a multiple of 20?
True
Suppose -104*k = -101*k - q - 123251, -41083 = -k + q. Is k a multiple of 15?
False
Suppose 258*b = -5*k + 254*b + 42322, -5*b = 7*k - 59255. Is k a multiple of 11?
True
Let c be ((-6)/(-8))/((-16)/64). Is (-156)/(1 + -5) - (-3)/c a multiple of 11?
False
Suppose -o + 0*o - z + 855 = 0, 5*o - 3*z = 4275. Suppose 342*c - 337*c = o. Is 19 a factor of c?
True
Suppose -4*z + 22 + 6 = 0. Suppose p + 4*a + z = -9, 2*a + 8 = -2*p. Suppose p = 6*s - 506 - 34. Is s a multiple of 5?
True
Let i = 217 - 128. Suppose -1684 = -5*k - i. Does 17 divide k?
False
Suppose 0 = -10*o - o + 341. Suppose -7*v + 11 = -o. Is (561/v)/(-11)*-24 a multiple of 9?
False
Suppose 4*h + 10038 = 5*t, 5*t - 6*h - 10047 = -5*h. Is 7 a factor of t?
False
Suppose -2*w - 3*c + 27432 = 0, 4441 + 22997 = 2*w + 2*c. Is 75 a factor of w?
True
Suppose -3970*i - 32490 = -3976*i. Does 95 divide i?
True
Let x(b) = -b**3 - b**2 + 15. Let z be x(0). Suppose 1766*h - 1761*h = -35. Is 7 a factor of (h/4)/(z/(-840))?
True
Suppose 29*x + 27*x - 43*x = 5226. Does 134 divide x?
True
Let r(b) = -52*b + 13. Let h(v) = 27*v - 7. Let f(j) = 5*h(j) + 3*r(j). Is 5 a factor of f(-1)?
True
Suppose 4*f + 180 = 4*x, 3*x + f - 105 = 26. Suppose 0 = n - x + 6. Is n a multiple of 19?
True
Let k = 53384 - 29017. Is 5 a factor of k?
False
Let y = 1991 + -1313. Is y a multiple of 6?
True
Let c(w) = 288*w + 363. Is 15 a factor of c(4)?
True
Let t = -28429 + 57562. Does 13 divide t?
True
Let p = 203 + -212. Let d(h) = -28*h - 14. Is d(p) a multiple of 8?
False
Let r be (75/2)/((-6)/(-112)). Let o = r - 286. Is 5 a factor of o?
False
Let f(m) = m**2 + 0*m**2 - 5*m**2 - 15*m**3 + 14*m**3 + 7*m + 9. Let w be f(-8). Suppose -w - 148 = -3*a. Is a a multiple of 17?
True
Let x(g) = g - 11. Let o be x(3). Let v be ((-3 - 1)/8)/((-2)/o). Is (4 + 18 + v)/((-2)/(-17)) a multiple of 17?
True
Suppose 2*t + 12 = 0, -3*a + 4*t + t + 7053 = 0. Is 38 a factor of a?
False
Let l(h) = 438*h**2 + 8*h + 53. Is 157 a factor of l(5)?
False
Let x be (414/210 + 9/21)*125. Does 20 divide ((-66)/(-5)*-6)/((-18)/x)?
True
Let b(f) be the first derivative of f**3 + 5*f**2 + 17*f - 17. Let g be b(-8). Suppose -r + 3*r - 182 = -4*a, 3*a = -3*r + g. Is a a multiple of 34?
False
Let g(t) = -3*t**2 - 73*t + 38. Let c be g(-24). Suppose 17*h + 10440 = c*h. Is 13 a factor of h?
False
Let o be 6/(-8)*(-12)/(-45)*-10. Let l(z) = -39*z**2 + 17*z + 20. Let x(n) = 13*n**2 - 6*n - 7. Let g(f) = -4*l(f) - 11*x(f). Is 15 a factor of g(o)?
True
Let b = 381 - 169. Suppose 3*m = -2*x - b, 3*x + x - 5*m = -446. Let y = x + 168. Does 37 divide y?
False
Suppose 2*b - 5*b = -4536. Suppose 5*g = g + b. Suppose 4*q - 122 - g = 0. Is 35 a factor of q?
False
Let s(f) = -f + 90. Let k be s(-30). Suppose -4*v = v - 2*w - 143, 4*v - 3*w = k. Is 9 a factor of v?
True
Let k = 1087 + -367. Let c = -368 + k. Is 32 a factor of c?
True
Let w(z) = -z**3 - 12*z**2. Let b be w(-12). Suppose 4*s - 216 = 2*r, b = 3*s + r - 57 - 95. Suppose 83 = 3*a - s. Does 10 divide a?
False
Suppose 0 = 2*c - 4*s - 8 - 2, -4*c = -4*s - 8. Is 92 a factor of c*(2 + -649) + 3?
False
Suppose -228 = 25*f - 1778. Suppose f*i = 66*i - 1560. Is 15 a factor of i?
True
Suppose -11*g - 5*l = -13*g, 5*g = -2*l + 29. Suppose -5*v + 716 = r, -448 = 2*v - g*v + 4*r. Does 12 divide v?
True
Let 