 24 divide r?
False
Is 8 a factor of ((-1816)/(-36))/(20/2880)?
True
Suppose 103530 = 18419*r - 18377*r. Is 12 a factor of r?
False
Let y(t) be the first derivative of -t**2/2 + 20*t - 3. Let a be (-5 + -5)/(-4*(-2)/4). Does 5 divide y(a)?
True
Let f = -186 + 175. Let v be 7/(-14) - 37/(-2). Let p = f + v. Is 4 a factor of p?
False
Suppose 4*y = -0*l - 3*l + 11, 4*y - 5*l = 35. Suppose 2*h = q + 6*h - 12, -h = 2*q - 3. Suppose y*r - 2*r - 96 = q. Does 7 divide r?
False
Suppose 0*y - 5*y = 0. Let f be (y/(-2))/(1/(-1)). Suppose f = 9*z - 12*z + 171. Is z a multiple of 18?
False
Let u(z) = 3*z - 36. Let x be u(-5). Let k be 34/x*(-2133)/2. Suppose 0 = 7*s - k + 123. Is s a multiple of 4?
True
Let r = -13048 + 17653. Is r a multiple of 3?
True
Suppose 12 = 11*j - 8*j. Suppose j*f - 813 = 427. Is f a multiple of 38?
False
Suppose 0 = 5*z + 2*b - 5572, 3352 = 3*z - 9*b + 8*b. Suppose 4*t + 4*j = z, t = j + 362 - 81. Is t a multiple of 35?
True
Suppose -103 = -5*r + 407. Suppose -r = -p - 22. Does 8 divide p?
True
Let j(c) = c**2 + 2*c**3 - 50*c**3 + 3 - 222*c**3 + 3*c + 11*c**3. Let v be j(-1). Suppose w - 96 = 4*a, -3*a + v = -5*w + 723. Is 12 a factor of w?
False
Suppose -104*b - 6405 = -119*b. Does 9 divide b?
False
Suppose -3*z + 2*z - 2*w = 338, -318 = z - 3*w. Is (-32307)/z + (-3)/(0 - 30) a multiple of 14?
True
Let k(v) = v**3 + 6*v**2 - v + 8. Let c be k(-5). Let z(m) = c*m**2 - 12*m**2 - 16*m**2 - 12 + 4*m - 8*m**2. Is 9 a factor of z(-5)?
True
Suppose -5*y - 16 = -4*y - 2*a, 2*a = -y - 4. Let d be (-1714)/y - (-14)/(-35). Let z = d - 109. Is z a multiple of 37?
False
Suppose -2580 = 9*d - 10*d. Suppose 4*v + 11*v - d = 0. Does 23 divide v?
False
Does 35 divide (-6 + (-2155)/(-20))*20 + 25/(-5)?
True
Let d(z) = 103*z + 12160. Is d(0) a multiple of 8?
True
Let m be (-2)/11 + 4956/154. Let p be (2/(-4))/((-460)/232 - -2). Let h = m + p. Is 2 a factor of h?
False
Suppose -h + 3*m + 102 = 0, 2*h - 4*m = -0*m + 200. Is 7 a factor of ((-55)/10)/((-6)/h)?
False
Suppose 3*u - 2*c + 101 = -91, -4*u - 256 = c. Let v = 290 + u. Does 2 divide v?
True
Suppose -35 = -7*u - 0. Suppose 4*w = 4*l + 2*w - 1084, -3*w = u*l - 1377. Does 13 divide l?
True
Is 2 a factor of (11 + 3 + 48/(-12))*1203/6?
False
Let a(z) = z**2 + 41*z + 113. Suppose -21*g = -13*g + 312. Does 7 divide a(g)?
True
Let f(k) be the first derivative of k**4/2 - k**2/2 + k + 13. Let t be f(1). Does 19 divide (-4)/(-16) - (t + (-159)/4)?
True
Suppose -22*z + 8 = -18*z. Let w(n) = 30*n + 7. Is w(z) a multiple of 38?
False
Let j(t) be the first derivative of t**4/4 + 4*t**3 + t**2/2 + 14*t + 22. Let c be j(-12). Let w(p) = 49*p + 13. Does 24 divide w(c)?
False
Let q be (-4302)/(-8) - (-45)/(-60). Suppose n = -3*y + 553, n - 2*n + q = -5*y. Is 12 a factor of n?
False
Let w(j) = -2*j**3 - 4*j**2 - 9. Let n be (3/6*-8 + 0)/1. Let z be w(n). Suppose z + 29 = c. Is 18 a factor of c?
False
Suppose 5*i - k = 122, 4*i + 0*k - 88 = 4*k. Let s = 38 - i. Let r = s - -6. Is r a multiple of 19?
True
Let m = -275 - -298. Suppose -m*u + 18*u = -1235. Is u a multiple of 12?
False
Suppose -3 = 3*m + 3, -m = -2*h + 27278. Is h/20 + (-28)/(-280) a multiple of 64?
False
Let n = -93 - -92. Let x be (n/7*54)/((-6)/126). Suppose 152 = -x*v + 163*v. Is v a multiple of 36?
False
Is 109 a factor of (-118630)/(-30) + 1 - (-20)/12?
False
Suppose -4 + 53 = 7*r. Suppose 0 = -r*g + 6*g + 260. Suppose -496 = -2*z + 2*y, -z + g = -0*z + 2*y. Does 53 divide z?
False
Does 34 divide (3238/(-7))/((688/(-1904))/43)?
True
Let o(a) = -9*a**2 - 27*a - 44. Let h be o(-6). Let u = h + 491. Is u a multiple of 15?
True
Suppose 237 = -10*u - 193. Let f = -39 - u. Suppose f*m = -m + 2*c + 47, 0 = -4*m + 2*c + 36. Is m a multiple of 3?
False
Let q(w) = w - 29. Let x(t) = t. Let v(g) = q(g) - 4*x(g). Let k be v(-11). Suppose k*u + 8*u = 144. Does 4 divide u?
True
Suppose s = 4*g - 32854, 4*g + 2*s - 2760 - 30112 = 0. Is 60 a factor of g?
False
Let a(t) = -998*t - 620. Is 13 a factor of a(-12)?
False
Suppose -g + 5508 = -5*k, -8*g - 7*k - 5502 = -9*g. Is 7 a factor of g?
True
Let k(b) = 2*b - 30. Let j be k(16). Suppose -4*q + j*o = 3*o - 2569, -4*q + 4*o + 2564 = 0. Let p = -362 + q. Is p a multiple of 40?
True
Is 1 + (-10 - -5278) + 3*-2 a multiple of 19?
True
Suppose 556*m = 561*m - 4*g - 76968, -5*g - 46173 = -3*m. Is m a multiple of 12?
True
Suppose 0 = 31*g - 27*g, -4*c - 3*g + 232 = 0. Suppose -6*x + 878 = -c. Does 12 divide x?
True
Let h(v) = 53*v + 162. Does 11 divide h(17)?
False
Let s be 1*(-58)/(-18) + 2/(-9). Suppose 0 = -2*x - s*k - 9, 6*k - 7*k + 7 = 4*x. Suppose -4*n + 169 = x*g - 0*n, -n = -5*g + 251. Does 4 divide g?
False
Let l(u) = -201*u + 150. Is 18 a factor of l(-4)?
True
Let n = 1815 + -876. Suppose 4*k + 0*k - 1851 = c, -5*c = -2*k + n. Does 11 divide k?
True
Let i(b) = 15*b**2 - 2*b - 3. Let c be i(3). Suppose c*w - 916 = 124*w. Does 12 divide w?
False
Let b be 42/8 + (5 - (-63)/(-12)). Suppose -r = -5*y - 65 - 11, 5*r + b*y - 230 = 0. Is r a multiple of 7?
False
Suppose -3*r = -2*j - 1408, -4*r - 3*j - 2*j + 1885 = 0. Suppose 3*o = -s + 491, 2*o + r + 6 = s. Is 42 a factor of s?
False
Suppose 464 + 64 = -8*o. Let d = 422 - o. Is d a multiple of 61?
True
Let g(d) = 70*d - 1540. Let z be g(22). Let i be (-2)/7 + 2/7. Suppose i*t + 3*t - 90 = z. Is 6 a factor of t?
True
Suppose -z + 30 = 82. Let p(x) = -56*x - 56. Let c be p(-3). Let j = z + c. Is 28 a factor of j?
False
Let x(d) = d**3 - 2334 - 2*d + 2333 - d**2 - d**2. Let s be x(3). Suppose s*t = 11 + 57. Is t a multiple of 9?
False
Let l = 5 + 891. Suppose -5*p + 12*p - l = 0. Does 16 divide p?
True
Suppose -4*k - 505*o = -501*o - 142628, 0 = 7*k - o - 249543. Is k a multiple of 50?
True
Suppose 10*t = -1527 - 2673. Let a = -22 - t. Does 31 divide a?
False
Suppose a - 10 = -a. Suppose 0 = -a*k + 2*n - 2, -5*k + 2*n - 18 = 4*n. Is 8/(-8) + k/2*-84 a multiple of 12?
False
Let i(b) = 34*b**2 - 34*b + 82. Does 14 divide i(-9)?
False
Let w = 58 - 18. Let v be 5/(w/308)*(3 + -1). Is 11102/v + 4/(-22) a multiple of 24?
True
Let z = -7512 - -15048. Does 54 divide z?
False
Suppose -4*x - 2072 = 8*v - 13*v, 5*x - 842 = -2*v. Is 2 a factor of v?
True
Suppose 0 = 4*z - 36 + 20. Let v(b) = 9*b + 2. Let c(g) = 36*g + 9. Let q(d) = -2*c(d) + 9*v(d). Does 12 divide q(z)?
True
Is (-16 - 58*(-15)/60)/((-3)/58168) a multiple of 22?
True
Let b = -203 - -204. Is b/(-2)*0 + 478 + -11 a multiple of 16?
False
Let p be (-4 - 1) + (40 + 5)/3. Let q(z) = z**3 - 9*z**2 - 5*z + 9. Let a(x) = -x - 1. Let d(j) = 4*a(j) + q(j). Is d(p) a multiple of 5?
True
Let a(c) = -c - 7. Let x be a(-10). Let g be (-10)/(-15) + 13/x. Suppose -g = 5*w, 4*w + 392 = 3*d + 8*w. Is d a multiple of 33?
True
Let b = -356 - -359. Suppose -b*s + 32 = l, -6*l + 120 = -l + 5*s. Is l a multiple of 5?
True
Suppose 5*j - 492 = 2*a + 148, 0 = -5*j + 5*a + 655. Suppose -4*m - 4*x + 5*x + 953 = 0, x + 239 = m. Let k = m - j. Is 24 a factor of k?
False
Let t = 418 - -1010. Suppose -3*v = -3*n + 2769 + t, -2*n = -v - 2793. Is n a multiple of 41?
True
Suppose -3*g = 2*v - 6296, 4*g + 5*v - 4195 = 4188. Suppose 3*f + q = g, -2*f + 4*q + 964 + 414 = 0. Is f a multiple of 12?
False
Let a(z) be the third derivative of -z**6/120 - 23*z**5/60 - 7*z**4/6 + 13*z**3/6 - 4*z**2 - 11. Is a(-22) a multiple of 13?
False
Let a = 14453 + 19615. Does 68 divide a?
True
Let r be ((-6)/(-15))/((-2)/2790). Let j = 630 - r. Is j a multiple of 27?
True
Suppose 4*c = 14 - 6. Suppose -c*y = 7*y - 3807. Is 53 a factor of y?
False
Let g be (-15)/5 + (-5 - -5) + -1. Does 3 divide 157/(1*(1 - 4 - g))?
False
Suppose -15*w = -8*w - 14. Does 63 divide ((-28)/12 - -2)/(w/(-666))?
False
Let j(r) = r**3 - 7*r**2 - 7*r - 4. Let o be j(8). Suppose 0 = 3*m - 3*p - 58 - 221, -2*m + 184 = -o*p. Is 16 a factor of m?
False
Suppose -31*j + 35246 = -472007. Is j a multiple of 17?
False
Let t be 2/(8/28) + (-6)/(-3). Let h be (-1 + 0)/(2/(-82)). Suppose t*m - 581 = -h. Does 12 divide m?
True
Suppose 84 = m + 82. Suppose -3*j - m*j + 215 = 0. Is j a multiple of 5?
False
Suppose 4*y = -0*y + 364. Let z = y - 47. Let m = -4 + z. Is m a multiple of 8?
True
Let n be (3 + (-75)/12)*-4. Let f(s) = 4*s + 23. Let a be f(5). Suppose -w + a + n = 0. Is 28 a factor of w?
True
Su