tiple of 32?
True
Suppose -1454 = -j - m, -5834 = -4*j + 9*m - 7*m. Is 31 a factor of j?
True
Let w be 0 - 7/((-21)/1119). Suppose w = z + n, -3*n - 609 = -4*z + 911. Does 13 divide z?
True
Suppose -16*b + 2418 = -15*b - 5*h, 3*b + h - 7174 = 0. Let o = b + -1354. Is o a multiple of 53?
False
Let j = -5069 - -5605. Is j a multiple of 5?
False
Suppose -111*j + 5676 = -100*j. Suppose -3*t - 178 = -44*r + 43*r, 3*r = 3*t + j. Does 3 divide r?
False
Is 12508172/671 - (-2 - (-69)/33) a multiple of 92?
False
Let b(l) = 7*l**2 + 27*l - 4. Let t(s) = 2*s**2 + s. Let o(q) = -b(q) + 3*t(q). Does 22 divide o(-8)?
True
Suppose -m + 749 = -2*v, -3*v + 6*m - 2*m - 1131 = 0. Let s = -253 - v. Does 10 divide s?
True
Let z be (6 + 2)*3/(-6). Let a be (20/z)/(-1)*(1 - 0). Let h(i) = 3*i**2 + 5*i. Is h(a) a multiple of 10?
True
Let w be (2/(-6))/(-6*9/(-162)). Is 2418/11 - w - 170/(-935) a multiple of 17?
True
Suppose 0 = -4*f + 8*f + 1200. Let j = f - -455. Does 15 divide j?
False
Let s(k) = 612*k - 8466. Is s(63) a multiple of 51?
True
Does 17 divide (577 - (-3 + 2))*5751/142?
True
Let z(u) = 24*u - 36 + u + 16*u + 7*u. Let o be z(8). Suppose 23 - o = -5*b - 5*h, 3*b - 195 = -4*h. Is b a multiple of 12?
False
Let g(u) be the second derivative of 14*u + 1/2*u**3 + 21/2*u**2 + 0. Is g(17) a multiple of 24?
True
Let i be (20 - 10)/((-3)/(-1686)*4). Suppose -3*s - 4*m + i = 392, -5*s + m + 1719 = 0. Does 49 divide s?
True
Let x be (-1537)/(-371) - (-2)/(-14). Suppose 4*h + 1776 = 5*m, 13*m - 1072 = 10*m + x*h. Is m a multiple of 11?
True
Suppose 0 = 2*d - 0*d + 2*d. Let m be (-8)/(-2) + 3 + d - 4. Suppose b + 2*u + 2*u - 123 = 0, -b + 122 = m*u. Is b a multiple of 17?
True
Suppose -3*p + 2*x = -3*x + 75, -2*p - 66 = 2*x. Let d = 76 - 15. Let j = d + p. Is j a multiple of 13?
False
Suppose 3*r - 7282 = -4*h, h + 5*r - 399 - 1396 = 0. Is h a multiple of 7?
False
Let l be (-4333)/49 + (-3)/(-7). Let k = -73 - l. Is 3 a factor of k?
True
Let a be (-4)/(6/(-3))*15/2. Let w be (20/25)/((-1)/a). Is (-814)/(-8) + (-3)/w a multiple of 6?
True
Let x(d) = -d**2 - 9*d + 44. Let b be x(7). Suppose 5*v + 146 = 2*v + 5*h, -v = 2*h + 45. Let p = v - b. Is p a multiple of 21?
True
Suppose -3*d - 3*o + 159 = 0, d - 8*o + 5*o = 33. Suppose y + 62 = d. Is 13 a factor of 1/(y/21) - (-262)/4?
False
Let d = -17 + 20. Suppose -d*q - 6 = -4*q. Suppose -696 = -4*l - q*c + 4*c, -c = 4. Does 11 divide l?
True
Let y(r) = 3*r**2 - 37*r + 173. Is y(20) a multiple of 47?
False
Let d = -2 - 27. Let l = 21 + d. Does 9 divide 17 + 8/20 + l/(-5)?
False
Suppose 0 = -7*i + 202 + 162. Suppose -y + 2*y - i = 0. Is y a multiple of 8?
False
Let q = -61 + -114. Let d = -39 - q. Is d a multiple of 3?
False
Suppose 244*a = 51*a + 170033. Is a a multiple of 4?
False
Let p = 15946 + -8348. Is p a multiple of 19?
False
Let w(u) be the first derivative of 701*u**2/2 - 5*u + 49. Is 24 a factor of w(1)?
True
Suppose 0 = 534*d - 2685382 + 432970. Is 74 a factor of d?
True
Let h = 8593 - 4075. Is 113 a factor of h?
False
Let w = -37 - -37. Suppose 5*l - u - 28 = w, -4 = -5*l - 2*u + 15. Suppose -4*k + 2 = -10, -l*y + 4*k + 108 = 0. Does 5 divide y?
False
Does 7 divide (-546)/4*1/(93/(-1550))?
True
Let d = -343 + 346. Suppose b = -3*c - d*b + 1496, 496 = c + 4*b. Is 10 a factor of c?
True
Suppose 2*f + 56 = -4*m, 2*f + 2*m = -f - 88. Let a = -32 - f. Is 15 a factor of (2 + -1)/a + 121/2?
True
Let j = -291 + 291. Suppose 12*b - 10*b + 2*p = 228, 2*p + 10 = j. Is 7 a factor of b?
True
Suppose -3618 = -g - 4*o, -2*g - 3*o + 3500 + 3721 = 0. Is g a multiple of 3?
True
Suppose -u + 8 + 2 = 0. Suppose -t = 8 - u. Suppose h - 3*v - 21 = 0, -v + t*v = 4. Is 3 a factor of h?
True
Suppose -17 = -4*w - 5*z, 2*w + z + 1 = -w. Let y(m) = -m**2 + 9*m + 17. Let r be y(w). Is 6 a factor of -1 - (-9 - r) - -11?
False
Let h be 6/(-4)*8/3*-1. Suppose 0 = h*j - 370 + 82. Suppose -5*r + 7*r = j. Is 18 a factor of r?
True
Let b be (1 + (4 - 5))/(-2). Suppose b = 12*z - 4984 - 3200. Does 22 divide z?
True
Is 18 a factor of (6/10)/((-231)/(-818895))?
False
Let d(t) = t**3 + 10*t**2 + 25*t + 11. Let x be d(-6). Let j be (x + -39)*(-18)/(-8)*-6. Suppose 5*f - j = -2*v, -2*f + 4*v = f - 265. Is f a multiple of 7?
True
Let q(y) = -y**2 + 17*y - 32. Let i be q(5). Does 14 divide (-59 + -4)/((-4)/i)?
False
Let j(i) = -2*i**2 + 13*i - 10. Let b be j(5). Suppose -b*s - 20 = -40. Suppose 189 = -d + s*d. Is d a multiple of 9?
True
Let w = -1429 - -2620. Does 9 divide w?
False
Suppose -4*m + 0*m = -7*m. Suppose 4*f + 32 = -m*t + 5*t, -21 = -3*t + 3*f. Is 7 a factor of (8/(-3))/t*-21?
True
Let l(s) = s**3 + 3*s**2 - 11*s + 7. Suppose 43*a - 34*a = -45. Is 3 a factor of l(a)?
True
Let y be -34 - -35 - (4 + 1). Is 14 a factor of (y + 46)/((-1)/(-9))?
True
Suppose -5*a + 4754 + 18321 = 2*c, -a + 4*c = -4637. Is 171 a factor of a?
True
Let p = -10871 - -14673. Does 109 divide p?
False
Suppose 3*w - 1675 = -5*n, 4*n = -0*n + 8. Let v = w - 61. Is v a multiple of 34?
False
Let w(g) = 16*g**3 + 4*g**2 + 30*g - 18. Is 5 a factor of w(4)?
True
Let l(r) = r**3 - 2*r**3 + r**2 + 0*r**2. Let z(v) = 8*v**3 - 5*v**2 + 3*v - 2. Let f(x) = -3*l(x) - z(x). Does 8 divide f(-2)?
True
Let w be (-1 - 47)*(-4)/3. Let p = 178 - w. Is 57 a factor of p?
True
Let f(w) = 9*w + 104. Let v be f(19). Suppose -v = -11*s + 869. Is s a multiple of 27?
False
Suppose -51*s - 1985722 = -365*s + 1334828. Is 6 a factor of s?
False
Let o = -42 + 45. Suppose -6*l + 168 = -o*l. Does 6 divide l?
False
Suppose -39*t - 20927 + 5951 = 0. Does 14 divide (t/(-144))/((-2)/(-147))?
True
Let z = -7 - -7. Let m(p) = -5*p**3 - 10*p**2 + 16*p - 55. Let s(j) = j**3 + 2*j**2 - 3*j + 11. Let i(a) = 2*m(a) + 11*s(a). Does 2 divide i(z)?
False
Let z = -1292 - -3592. Does 5 divide z?
True
Let g = -9 + 12. Suppose 69 = -g*n + 3*v, 0 = -2*n - 3*n + 3*v - 105. Let l = n - -27. Does 9 divide l?
True
Let b = -533 + 365. Is (-135084)/b + (-2)/28 a multiple of 58?
False
Let d(t) = 0*t**2 - 2*t - 1 - 7*t - t**2 + 3. Let l be d(-8). Let j = 34 - l. Is 8 a factor of j?
True
Let p = -43 - -47. Suppose 0 = -3*v + 6, -4*b - p*v + 13 + 3 = 0. Suppose 0 = l - 2*c - 62, -76 = -b*l + c + 45. Does 12 divide l?
True
Suppose -5*h + 3*n = -2429 + 736, 0 = 3*h - 3*n - 1017. Let m(z) = z**3 + 16*z**2 - 20*z - 43. Let s be m(-17). Suppose -s*p + 46 = -h. Is p a multiple of 12?
True
Is 154 a factor of -516*(-20)/48*6?
False
Suppose -q - 66 = 3*g - 4*q, 4*q = -3*g - 31. Let j = g - -20. Suppose 2*i = n - 18, j*n + 2*i - 10 = 12. Is n a multiple of 2?
True
Let u = -650 + 917. Suppose 5*z - 15 = -y + u, 5*y = 4*z + 1381. Does 23 divide y?
False
Suppose 0 = 2*g - f - 17639, -2*g = 4*f - 15485 - 2159. Is g a multiple of 26?
False
Let f = 14780 + -9769. Is 5 a factor of f?
False
Let m = -2390 - -6760. Is m a multiple of 47?
False
Suppose -2*d + 3*k = -6*d + 20, 2*d - 2*k - 24 = 0. Let v be 63/(-12) + 5 - (-270)/24. Suppose -v*i + d*i = -69. Does 12 divide i?
False
Let j(r) = 7*r**2 + 111*r - 289. Does 18 divide j(59)?
False
Is 46 a factor of -2*(-5094 + -14 + 2)?
True
Suppose -a - 20 = -6*a + 3*d, -3*a + 41 = 4*d. Suppose -m + a*m = 432. Does 18 divide m?
True
Let c be -15*(-3 + 9)/(-2). Let b = 58 - c. Suppose -5*i = 3*j + 4, 2*j = i + 6 + b. Is 2 a factor of j?
False
Suppose 0*y - 3*y = 31446 - 82422. Is y a multiple of 144?
True
Suppose 13*d = 8*d - 25. Let b(t) = -3*t + 2. Let w be b(d). Let g(c) = c**3 - 19*c**2 + 37*c - 9. Is 7 a factor of g(w)?
True
Let v(t) = -24*t**3 + 12*t**2 + 9*t - 57. Is 60 a factor of v(-7)?
True
Let x = -1852 + 760. Let i be x/(-10) + 1 - (-49)/(-245). Suppose 4*o = 2*q - 114, -4*q + 2*o = -136 - i. Is 7 a factor of q?
True
Let i = 7509 + -6825. Is i a multiple of 12?
True
Is (7 - 9)/(5534/(-11060) - (-13)/26) a multiple of 7?
True
Suppose 3*t = -3*y - 2376, -t = -3*y - 328 - 2060. Let u = y + 1124. Is u a multiple of 32?
False
Suppose -5*d - 2577 + 91310 = -2*m, -2*m = -2. Is d a multiple of 20?
False
Let x(c) be the third derivative of 13*c**7/2520 - c**6/120 + 11*c**5/30 - 10*c**2. Let k(t) be the third derivative of x(t). Is k(3) a multiple of 12?
True
Suppose 5*n = -u + 95 + 2718, -3*u + 8472 = 4*n. Is 14 a factor of u?
True
Suppose -3*j + 312 = -3*f - 6*j, 0 = 5*j. Let p = -101 - f. Suppose t - 3*w