 Suppose -3*g = 3*y + g - d, -3*g = 4*y - b. Is y a multiple of 11?
True
Suppose -6*j + 3*j + 9 = 0. Is 3/1 + j - -3 a multiple of 9?
True
Let s = 664 - 595. Is s a multiple of 23?
True
Suppose 3*l = r + 4*l + 21, 2*r + l + 44 = 0. Let f = r + 47. Is 12 a factor of f?
True
Suppose b - 6 = 2*w - 3*b, -w = 5*b + 10. Let h = w + 8. Suppose -5*f - 2*d + 115 = h*d, 2*d = -2. Does 8 divide f?
True
Suppose 61 = 2*s - 4*i - 663, 3*i = s - 367. Is 32 a factor of s?
True
Let m(q) = 12*q + 16. Let x be m(8). Suppose 0 = 5*s - 33 + 13. Suppose -j = s*h - 15, -x = -3*j - j - 3*h. Does 9 divide j?
False
Suppose 5*p + 0*v = -v - 18, 4*p - 5*v + 26 = 0. Does 37 divide (-445)/p + 12/(-48)?
True
Suppose 0*m + 9 = 3*m, g - 5*m = -12. Suppose -4*i + 5 = -g*i. Suppose -u + 2*u + 159 = 5*d, -u = i*d - 161. Is d a multiple of 14?
False
Let m = -41 + 38. Is 4 a factor of -4*m/(-66) - 488/(-22)?
False
Let c(l) = -l**3 - 9*l**2 + 8*l + 14. Let x be c(-10). Let j = 59 - x. Let s = j - -7. Does 18 divide s?
False
Suppose -13*f - 2000 = -18*f. Does 8 divide f?
True
Suppose -3*o = -4*r + 132, -2*r + 40 = -o - 26. Suppose -3*t - r = -3*w + t, -5*w + t = -38. Does 7 divide w?
True
Let o(a) = a**2 - 20 - 143*a + 282*a - 146*a. Is 39 a factor of o(17)?
False
Let b = 208 - -133. Does 26 divide b?
False
Let z = -37 + 28. Is (-6)/z - 172/(-12) a multiple of 8?
False
Suppose q = 5*p - 688, p = 2*p + 5*q - 148. Let m = 12 + p. Suppose -7*g - m = -12*g. Does 14 divide g?
False
Let z = 40 + -47. Let j = 84 - z. Is 8 a factor of j?
False
Let s = -5 - -7. Suppose s*n - 16 = -5*u, 0*n - 4*u - 7 = -5*n. Suppose 0*j = -4*j - 5*t + 26, j + n*t = 3. Is j a multiple of 3?
True
Let v be 20/(-30) + (-8)/(-3). Let s = v + 1. Suppose 0 = z + b - 16, -5*z + 3*b + 12 = -s*z. Is z a multiple of 4?
True
Let m(u) = 69*u**2 - 48*u + 24. Is 93 a factor of m(7)?
True
Let f be 3/18*3*28. Let b be 7*(-12)/f*1. Is 7 a factor of 195/(-10)*b/9?
False
Let w = -2 - -2. Suppose w = 2*x - 1 - 5. Suppose x*r - 27 = 18. Does 15 divide r?
True
Let m(f) = -f**3 + 9*f**2 + 11*f - 17. Let r be m(10). Let y = 38 - r. Is 15 a factor of y?
True
Is (-2565)/(-75)*15 - (2 - -1) a multiple of 15?
True
Is (-177)/236*(-3639 + -1) a multiple of 14?
True
Let f = -24 + 43. Suppose -3 = -2*u - f. Let a(c) = -c**3 - 9*c**2 - 10*c - 6. Is 10 a factor of a(u)?
True
Let b(r) = -4*r + 4. Let y(k) = -k + 1. Let d(x) = 5*b(x) - 16*y(x). Is 16 a factor of d(-11)?
True
Let p = 355 - 163. Is 16 a factor of p?
True
Let x(t) = 4*t + 1. Let a be x(1). Suppose a*q - n - n - 581 = 0, -q + n + 118 = 0. Let u = q + -73. Is 14 a factor of u?
True
Let z = -22 + 36. Suppose -4*l + 17 = -3*o - z, 2*l - 29 = -3*o. Is 10 a factor of l?
True
Suppose 8*x = -179 + 59. Is ((-18)/x)/(1*4/100) a multiple of 6?
True
Let g be (6 - 49) + 6/2. Let j be (27/18)/(6/g). Does 19 divide 2448/45 + 4/j?
False
Suppose -51*l + 56*l - 430 = 0. Is l a multiple of 12?
False
Let j = 695 + -417. Is 13 a factor of j?
False
Let j(t) = -2*t**3 - 2*t + 119. Is 20 a factor of j(0)?
False
Let k be ((-70)/15)/(1/21). Let t = -16 - k. Is 6 a factor of t?
False
Let l be (3 + 0)/((30/95)/(-6)). Is (-76)/l - 239/(-3) a multiple of 23?
False
Let w(j) = -3*j + 48. Let p be w(16). Suppose 32 = 2*v - v. Let x = v + p. Does 16 divide x?
True
Let y(u) = -u**3 - 6*u**2 + 4*u + 7. Let l be (-18)/(-6) + (-1 - -3). Suppose l*i + 5 = -30. Does 6 divide y(i)?
False
Let l = -263 + 1307. Is 6 a factor of l?
True
Suppose 2*d + 4*h + h = -16, h = -2*d - 32. Let o = -10 - d. Is o a multiple of 7?
False
Does 46 divide (6/(-5))/(36/(-5670))?
False
Let l(y) = -17*y + 10. Is l(-1) a multiple of 2?
False
Is (-14 - (12 - 18))/((-1)/59) a multiple of 16?
False
Suppose 0 = -y - 2, 3*i = -4*y + 2*y - 136. Suppose -2*j + 6*j = 2*u - 36, -8 = -4*j. Is (-1136)/i - (-4)/u a multiple of 11?
False
Let g = 27 + -22. Let w be -4 + g/((-15)/(-21)). Suppose -z + 1 = -w. Is z a multiple of 3?
False
Suppose -24*s - 78*s = -27948. Is 55 a factor of s?
False
Let t = -28 - -37. Suppose -t*r + 106 + 29 = 0. Is 4 a factor of r?
False
Suppose -4*x = 5*j - 3176, 3*x - 7*x - 4 = 0. Suppose -2*f - j = -2*h, -4*h + f + 284 + 991 = 0. Does 40 divide h?
False
Let r(i) = 4*i. Let q be r(1). Let v be 128/22 - q/(-22). Suppose -4*w - 144 = -v*w. Is 18 a factor of w?
True
Let r(g) = -g**3 + g**2 - g + 44. Let f be r(0). Suppose -d = 3*d - 80. Suppose 0 = t + t + 3*n - f, 2*n - d = -t. Does 14 divide t?
True
Suppose z - 4*z = -5*y - 8, 2*y + 2 = z. Let c be 2*3/z*4. Is 9 a factor of (-3 + 5)/(c/18)?
True
Let p(k) = 146*k**3 + k**2 - 1. Let n be p(1). Let v = n - 77. Let t = -29 + v. Is t a multiple of 18?
False
Suppose s + 2 = 0, -29*s + 28*s = y - 709. Is 42 a factor of y?
False
Let v = -402 + 807. Does 27 divide v?
True
Let g = -222 - -312. Is 18 a factor of g?
True
Suppose 7*b - 424 = 3*b. Suppose b*z - 32 = 105*z. Is 8 a factor of z?
True
Let c(y) = -2*y**3 - 9*y**2 + 10*y - 95. Is 36 a factor of c(-11)?
True
Does 20 divide (-344)/(-258) + 5032/6?
True
Suppose 3*u = 2*s - 19, -5*s - 5*u = 17 - 2. Suppose 4*v = 4*t - 216, -t + 62 = -s*v + 3*v. Does 15 divide t?
False
Let o(a) = -3*a**2 - 2*a + 6. Let d be o(5). Let t be 14/28*(-77 - -3). Let b = t - d. Is b a multiple of 12?
False
Suppose 26 = 4*n + 2*i - 0, 0 = -n + i + 5. Suppose 2*k - 48 - n = 0. Is k a multiple of 9?
True
Suppose 5*c = -4*y + 20, 0*y - 5*y + 4 = c. Let m be 3/c*-2*-12. Suppose j = 2*j - m. Is j a multiple of 9?
True
Let i = -1043 + 1799. Is 15 a factor of i?
False
Let w(f) = f**2 + 7*f - 2. Let m(n) = n**3 + n**2 - 3*n - 1. Let c be m(-3). Does 9 divide w(c)?
False
Suppose -22 + 2 = -5*h. Suppose -t + 5*z + 65 = -75, -t + h*z = -136. Is 24 a factor of t?
True
Let a(f) = f**3 - 10*f**2 + 7*f + 13. Let g be a(9). Is 26 a factor of ((-10)/3)/(g/45)?
False
Let h(l) = -l**3 - 3*l**2 + 4*l - 4. Let u be h(-4). Is (370/u)/(-5)*(9 - 3) a multiple of 37?
True
Suppose -2*q + 12 = -2*l + 3*q, q = 4*l - 12. Suppose -16 = -2*w - l. Suppose -4*r - 4*s = -112, w*r = 3*r + 4*s + 84. Does 7 divide r?
True
Let n be (2/(-3))/((-4)/114). Suppose n*r - 475 = 14*r. Is 22 a factor of r?
False
Suppose 0 = -4*y - 2*t + 7 + 7, 4*y = t + 29. Suppose y*g = g. Suppose g = -5*b + 71 + 44. Does 10 divide b?
False
Suppose 307 = 2*j - 29. Is j a multiple of 6?
True
Let v be 80/(-45) - (-8)/(-36). Let b be (-12)/(-14)*(v - 5). Is -6*4/(-8) - b a multiple of 9?
True
Let w(k) = 3*k**3 - 3*k**2 + 4. Let c(s) = 5*s**3 - 7*s**2 - s + 9. Let i(f) = -4*c(f) + 7*w(f). Does 2 divide i(-6)?
True
Suppose 17*g + 795 = 7969. Is g a multiple of 46?
False
Suppose -1261 + 37 = 8*j. Let d = j + 249. Is d a multiple of 32?
True
Let r = 4 + -3. Let c(g) = -86*g**3 - g**2 - 5*g - 2. Let p(i) = 87*i**3 + i**2 + 3*i + 2. Let u(m) = 3*c(m) + 4*p(m). Is u(r) a multiple of 15?
True
Let h(y) = -2*y**3 - 12*y**2 + y + 8. Let f be h(-6). Let m(d) = 35*d + 2. Is 12 a factor of m(f)?
True
Suppose 0*k - 11 = -k. Let b be k/9 - 10/45. Let v = b - -19. Does 6 divide v?
False
Suppose -2*j = 3*j + 2760. Let a be ((-2)/(-1))/(3/j). Is 7 a factor of (-2)/7 + a/(-14)?
False
Let g be (1 - 0) + 0 + 1. Suppose 4 = -g*l + 88. Is 6 a factor of l?
True
Suppose -2 = -5*k + 13. Let h be k*(-4)/12*0. Let y(f) = f + 65. Does 13 divide y(h)?
True
Let i be ((-70)/(-21))/((-2)/(-6)). Let o(b) = -2*b - 10. Let k(d) = -6*d - 29. Let n(v) = -3*k(v) + 8*o(v). Is 11 a factor of n(i)?
False
Let n = 1623 + -199. Does 8 divide n?
True
Suppose 3*h = 3*b - h - 535, 0 = -2*b + 3*h + 355. Suppose -x + 3*j + b = -2*j, j = -2*x + 403. Does 40 divide x?
True
Let y = 1789 - 998. Is y a multiple of 30?
False
Suppose -10*m - 911 = -4841. Is m a multiple of 4?
False
Let a(o) be the third derivative of -o**5/60 + 7*o**4/24 - o**3 - 3*o**2. Let k(c) = -c**2 + 8*c + 4. Let q be k(8). Is a(q) a multiple of 2?
True
Let m(b) = 43*b**2 + 8*b + 7. Is 14 a factor of m(-1)?
True
Suppose 4*a - 3*z + 6*z = 20, 5*z - 24 = -2*a. Suppose u + a = 0, -3*v + 2*u + 20 = v. Suppose 16 = p - 3*t, v*t - 103 = -4*p + 3*t. Is p a multiple of 7?
False
Suppose -5*y + 3 = -4*y. Suppose 4*f - 68 = -m + 3*f, 5*f + 180 = y*m. Is m a multiple of 18?
False
Suppose -p - 2*p - 6110 = -5*i, -5*i + 5*p = -6100. Is 35 a factor of i?
True
Let g(d) = 2 - 4 + 0 - 3*d - 1. Is g(-6) even?
False
Let f = 513