rue
Suppose -965965 - 257081 = -33*g. Is 9 a factor of g?
True
Suppose y = z - y - 8, -3*y - 1 = 4*z. Suppose -z*g - 152 = -944. Is 12 a factor of g?
True
Let r(v) = -1805*v - 39. Let s be r(-3). Suppose 4*t = -2*t + s. Does 11 divide t?
False
Suppose -5*x + y - 4 = 0, -4*y + 7 = -3*x - 8*y. Let p be (-1 + 69)*4 + x. Let h = p - 178. Does 31 divide h?
True
Suppose 8*c - 14*c = -1068. Is -1 + 0 + -4 + c a multiple of 23?
False
Let q(h) = 32*h + 100. Let f be q(-3). Let o = 146 - -7. Suppose -f*s + 75 + o = 0. Is 8 a factor of s?
False
Suppose 3*r - 4*l = -205, -2*r - 339 = 3*r - 4*l. Let a = r - -70. Suppose a*f + 172 = 529. Does 17 divide f?
True
Is 1304 - ((-243)/(-27) - (-8)/(-1)) a multiple of 24?
False
Is 265 a factor of (0 - (-528)/64)*1944/1?
False
Suppose 0 = -6*i + 62 - 50. Suppose -4*y = -3*x + 2*x + 261, 3*y + 537 = i*x. Is 9 a factor of x?
False
Let a(n) = -2*n + 27. Let s be a(-11). Let v = 51 - s. Suppose -v*c = 4*y - 344, 0*y + 3*y + 152 = c. Does 18 divide c?
False
Let j(d) = -13 + 68*d**2 - 94*d**2 + 17*d - 19 + 64*d**2. Does 11 divide j(2)?
True
Suppose 5*l + 2*h - 12 = h, 14 = 3*l + 4*h. Suppose 2*g + 5*n - 215 = 0, -l*n = 5*g - 7*n - 555. Is g a multiple of 24?
False
Suppose -1241 = -5*v + 2*z, 3*z + 528 = 3*v - 213. Let q = v + -137. Does 36 divide q?
False
Suppose 102822 = 4*i + m, -17*i + 20*i + 4*m - 77097 = 0. Is i a multiple of 13?
False
Let w(o) = 52*o**2 - 16*o + 149. Does 54 divide w(7)?
False
Let h(y) = y**3 - 63*y**2 + 159*y - 536. Is 85 a factor of h(61)?
False
Let c = -10522 + 21776. Is c a multiple of 17?
True
Let w(o) = o**3 + 5*o**2 + 2*o - 3. Let b be w(-4). Suppose 0 = -3*i + t + 31, 63 = b*i + 5*t - 22. Let j(k) = 4*k - 6. Is 30 a factor of j(i)?
False
Let i(v) = -4521*v - 162. Does 133 divide i(-2)?
False
Let h(b) = -b - 4. Let s be h(-4). Suppose -2*d + 2 = w + 2*w, 0 = -5*d - w + 18. Suppose s = d*a - 3*a - 130. Is 26 a factor of a?
True
Let t = 1729 + -1647. Is t a multiple of 82?
True
Let r = 1176 + -1706. Let b = r + 1589. Is 11 a factor of b?
False
Let f = 3336 + -1305. Suppose -8*h + f = -41. Is h a multiple of 4?
False
Let s(b) = 6*b - 25. Let t be s(5). Suppose -t*v + 147 = 4*a, -4*v - 23 = -a - 8*v. Does 11 divide a?
False
Let b = 17721 + -14422. Is 105 a factor of b?
False
Suppose 0*k = -3*k + 54. Let q = k - 16. Is 13 a factor of (q - -44)*(-4)/(-8)?
False
Let k = -22575 + 32163. Does 102 divide k?
True
Suppose -289*n + 292*n = 9. Suppose -2*a = -v + n*v - 94, -5*a = -v - 205. Is 6 a factor of a?
True
Let s = -2528 + 2530. Let z = 5 - 2. Suppose 0 = -z*a + s*a + 90. Is 9 a factor of a?
True
Suppose 3*a = 3*d - 1665 - 75, d + 5*a - 550 = 0. Suppose -3*y = -4*q - 920, 3*y - 5*q = 5*y - d. Does 75 divide y?
True
Let z(p) be the second derivative of -7*p**3/2 + 8*p**2 - 15*p. Let w be z(-4). Suppose -v = 4, l + 7*v = 2*v + w. Does 24 divide l?
True
Suppose 2*t + 2*i - 10564 = 0, 0 = 4*t + 8*i - 9*i - 21128. Is 5 a factor of t?
False
Suppose i - 5*x = 1680, 9*i - 4*x = 4*i + 8484. Suppose -q - 4*q = -i. Does 37 divide q?
False
Is 98 a factor of 46389/4 - (1767/76 - 23)?
False
Suppose 7*y - 3*y = y. Let h = 21 + y. Suppose -3*g = -120 + h. Is g a multiple of 19?
False
Suppose 2*i - 11*i = 0. Suppose i = -3*u - 2*a - 538, 4*u = 3*a - 153 - 570. Let b = -75 - u. Is b a multiple of 7?
True
Let n(o) = -2*o**2 - 52*o - 53. Let t be n(-14). Let c(s) = 4*s**3 - 3*s**2 + 6*s - 3. Let b be c(4). Suppose 8*z - b = t. Is z a multiple of 12?
False
Let r(q) = -6*q - 22. Let l be r(-9). Suppose g - 5*z - 22 = -z, 2*z = 4*g - l. Suppose -23 = g*a - 383. Is a a multiple of 5?
True
Let q(r) = 3*r**2 - r + 1. Let x be q(-1). Suppose -4*p = h + 150, x*h = 4*p - 618 - 228. Let k = h + 232. Is 11 a factor of k?
True
Suppose -10953 - 11751 - 2958 = -7*v. Does 19 divide v?
False
Let a(p) = 318*p**2 - 3*p - 23. Let m be a(-4). Suppose -13*j + 4075 + m = 0. Is j a multiple of 16?
True
Let p = 28976 + -21596. Is 3 a factor of p?
True
Let g be 2/(-1)*(-4)/(24/321). Let l be -1 - 1 - (-6 - g). Is (-3 - (0 - l)) + 4 a multiple of 16?
True
Let j = 7212 + -5082. Is j a multiple of 15?
True
Let k = 315 + -313. Suppose k*f = -c + 102, 0 = -2*c + 5*f - 7*f + 198. Is 7 a factor of c?
False
Let h = -15 - -180. Suppose c - 105 - h = 0. Suppose -c = 8*g - 1318. Is g a multiple of 10?
False
Let w = 176 + -174. Suppose -5*f - 7*r = -3*r - 500, -w*f - 5*r = -217. Is 3 a factor of f?
True
Suppose -5*c + 468 = 2*b, 3*c = c - 5*b + 183. Let r = c + -22. Does 36 divide r?
True
Suppose -8*d = -4*d - 16, 3*t + d - 7 = 0. Is 1 + (t/((-1)/2) - -271) a multiple of 45?
True
Let s be -20*(-4)/(3/3). Suppose 7*k - 3*k + s = 0. Let g = k + 32. Is 5 a factor of g?
False
Let s = -50 + 55. Suppose s*c = 2256 - 231. Is c a multiple of 39?
False
Suppose -2*f + 78 = -0*f. Let g = 54 - 54. Suppose -3*u + 0*x + x = -105, g = -u - x + f. Does 9 divide u?
True
Suppose -4*r = -4*a - 84, -3*r + 0*r + 33 = 3*a. Let z be r/6*(-10)/((-40)/6). Suppose t - z*k - 66 = 0, -3*t = -2*t + 5*k - 48. Is 8 a factor of t?
False
Is ((-268452)/(-8))/9 + 21/14 a multiple of 13?
False
Suppose c - 1602 = 1413. Does 23 divide c?
False
Let o(y) = y**2 + 43*y + 4. Is o(4) a multiple of 48?
True
Suppose 9*q = 6*q. Let c be (1 - q) + -3 + 120. Suppose 2 = -n, -2*h = -n - 170 - c. Is h a multiple of 18?
False
Let l(w) = -89*w + 38. Let o be l(2). Is (-8)/o - (-205784)/280 a multiple of 7?
True
Let y(h) = 228*h**2 + 41*h + 218. Is y(-6) a multiple of 16?
False
Suppose 0 = 5*x + 156 - 66. Let k be (0 - 3/(-9)) + (-138)/x. Suppose 866 = k*w - 702. Is 36 a factor of w?
False
Let m = 17247 - 10882. Does 125 divide m?
False
Suppose -297*w + 10519569 = 135*w - 2759679. Is 18 a factor of w?
False
Let z be (-96)/864 - (1/(-9) + 0). Does 15 divide (1 - z) + 89*2?
False
Suppose 5*f + 2*n = 6*n - 58, 0 = f + 3*n + 4. Let j be (-6)/11 - (-22607)/407. Let o = j + f. Does 9 divide o?
True
Let w = 27 + -14. Suppose -5*t - 3*l + 17 = -7*l, 4*l = -t + w. Suppose t*i - 112 = i. Does 16 divide i?
False
Suppose -57*d + 28 = -56*d. Does 23 divide ((-276)/28*-4)/(4/d)?
True
Let u(z) = 435*z**2 - 55*z + 61. Is u(5) a multiple of 7?
True
Let q(p) = 378*p**2 - 1. Let v be q(1). Let a = -248 + v. Is 14 a factor of (-21)/7 - (0 - a)?
True
Let y be -13 - 1 - (-4 - 65). Let p be (-2 + 0)*(-42)/(-4). Let o = y + p. Does 3 divide o?
False
Let u be (42/56)/(1/308). Let b = u + -155. Suppose b = 3*r + 5*t, -5*t + 32 = 5*r - 4*r. Does 11 divide r?
True
Is 25 a factor of 117297/12 - (-13)/52?
True
Suppose 390 = -6*v + 2370. Let y(m) = -m + 7. Let u be y(-2). Suppose -u*x = -v - 237. Does 9 divide x?
True
Let x = -12 - -32. Let t be 1/4*(-4 + x). Suppose 2*p + 287 = 2*z + 43, -z + t*p + 137 = 0. Is 20 a factor of z?
False
Suppose 25*u + 3*a = 22*u + 792, u - 5*a - 228 = 0. Is u a multiple of 6?
True
Suppose 0 = 2*d - 7*d + 3*g + 13, -2*d + g = -6. Suppose -3 = 4*c - d*c. Suppose -s = o + c*o - 154, -5*o - 2*s + 191 = 0. Is o a multiple of 9?
False
Suppose 17 - 11 = -3*q. Let v be (-4 + 22/(-3))*3/q. Does 2 divide (0 + 3/3)*v?
False
Suppose -2*b = -p + 7, -2*p - 53 = -7*p + b. Suppose -p*c + 17*c + 12 = 0. Let i(x) = -27*x**3 + 2*x - 2. Is 42 a factor of i(c)?
True
Suppose -169*d + 24 = -157*d. Suppose 5*s = d*b - 638, s = 6*s - 20. Is 15 a factor of b?
False
Let x = 15548 + -8948. Is 30 a factor of x?
True
Let c be 4/3 - (-1768)/24. Let p = 508 - c. Does 23 divide p?
False
Let u(j) = j**3 + 11*j**2 - 7*j + 3. Let i be (-21)/(8 - 5)*1. Let r be u(i). Suppose 6*w - r + 14 = 0. Is w a multiple of 13?
True
Let a be 5/(30/(-8))*(-2 + 5). Let v(y) = -3*y**3 - 3*y**2 + 9*y - 6. Let f be v(a). Suppose -f = -5*w - 7. Is 4 a factor of w?
False
Let x(u) = 10*u**3 - 9*u**2 - 30*u + 176. Is 11 a factor of x(8)?
False
Let v = -85 - -100. Let s(m) = 2*m + 35*m - v*m - 28. Does 18 divide s(3)?
False
Suppose -18*o + 2832 = 8682. Let x = 418 + o. Is x a multiple of 31?
True
Let l(v) = -7*v + 39. Let h be l(-4). Let i = 1 + h. Does 14 divide i?
False
Let x(i) = -516*i + 2790. Is 137 a factor of x(-27)?
False
Suppose 53670 = 60*n - 132390. Is 3 a factor of n?
False
Let d = -21 - -16. Let h = -1 + 8. Is 40/1 + (h - 3) + d a multiple of 5?
False
Let k(h) = -h**3 - 10*h**2 - 13*h + 18. Let b be k(-8). Is 4 a factor of -3 + (1 + 3 + -1 - b)?
F