3*c + c, -3*c + 4*f = -29. Suppose 2*y + c*x = 54, -3*x = -3*y + 2*y + 9. Does 19 divide y?
False
Let y(c) = -c**3 - 4*c**2 - 3*c + 2. Let l be y(-3). Let q be (3/(-2))/(21/(-322)). Suppose -3*o + l*o + q = 0. Does 11 divide o?
False
Let w(t) = -11*t - 3*t**3 + 3*t**3 + 0*t + 13 - t**3 - 9*t**2. Is 28 a factor of w(-9)?
True
Suppose -85 = -4*j - 3*p + 25, 143 = 5*j + p. Is j a multiple of 18?
False
Suppose 3*i = 12, 2 = 4*l + 2*i - 14. Suppose 4*o - 191 = a, l*o - a = o + 47. Suppose -2*v - o = -4*v. Is 10 a factor of v?
False
Let y(f) = -f**2 + 5*f - 13. Let m be y(5). Let b = 58 + m. Is b a multiple of 3?
True
Suppose 3*a = -4*j - 56, 4*j + 34 = -a + 2. Is (1*a)/(3 - 10/3) a multiple of 4?
True
Is 6 a factor of (-84)/8*(-48)/42?
True
Suppose 438 = 4*y - 690. Does 12 divide y?
False
Let j be 10/(2/85*5). Let x = j - 121. Does 9 divide 1*x/8*-6?
True
Let l = 38 - 66. Let p be l/(-6) + 2/(-3). Suppose -c + p*i + 8 = 4*c, 0 = -i + 3. Is c a multiple of 2?
True
Let n(p) = -17*p - 33. Let o be n(-11). Suppose 150*b - o*b + 560 = 0. Is 14 a factor of b?
True
Suppose -4*f + 2*g = -48, -7*g + 3*g - 41 = -3*f. Let d(x) = x**3 - 11*x**2 + 7*x - 6. Is d(f) a multiple of 49?
False
Let r be (-7)/((-7)/309) + -3. Suppose -4*k + r = 2*k. Is 17 a factor of k?
True
Suppose 0*p - 4*p = 0. Suppose p = 4*g - 2 + 6, -4*c + g + 37 = 0. Suppose -5*i + c = -51. Is 4 a factor of i?
True
Suppose 3*z - 3*l + 8*l - 1004 = 0, 0 = -5*z + 3*l + 1662. Suppose 2*t = 5*t - z. Is 21 a factor of t?
False
Let t(g) = g**2 - 3*g + 4. Let u be t(2). Suppose 3*r + 2*r - l - 362 = 0, -4*r + u*l = -292. Is 24 a factor of r?
True
Let s = -30 - -45. Suppose s = 2*c + c. Suppose -3*q + a - 10 = -76, -c*a = -5*q + 120. Is 18 a factor of q?
False
Let p be (6 - 9/(-6))*(-20)/(-6). Is 13 a factor of ((-10)/p)/(1/(-65))?
True
Suppose 1619*f = 1612*f + 700. Is f a multiple of 5?
True
Suppose 0 = -5*n - 6*n + 1727. Suppose -5*s + n = 4*r, -s - 14 - 14 = -r. Does 33 divide r?
True
Suppose -h + 5 = -7. Suppose 17*s - 445 = h*s. Does 30 divide s?
False
Let l be (-2)/7 - (-240)/56. Let w be 1/(l/(-16)) - -2. Does 2 divide 56/12 - w/6?
False
Suppose -7*t + 62*t - 42625 = 0. Is 31 a factor of t?
True
Let c be ((-4)/6)/((-6)/(-27)). Let w be 3 + c + 106/2. Is 4/8 + w/2 a multiple of 9?
True
Suppose -5*l = -l - 4*m - 8, 2*l + 8 = -2*m. Let w be l*1/1 + 5. Suppose w*p - 14 = 154. Is p a multiple of 14?
True
Suppose -j = 2*j - 9. Does 16 divide 6*(11 + 1 - j)?
False
Suppose j - 5*j + 3838 = 2*g, -5*j + 3*g = -4803. Does 60 divide j?
True
Let h be (-4)/(-10) - 228/(-30). Let b = h + -6. Is 12 a factor of (b/3)/(4/72)?
True
Let s(p) = 3*p - 21. Let v be s(10). Let n(i) = -9*i + 19*i - 6 + 2*i - i**2. Is 21 a factor of n(v)?
True
Suppose -f = -q + 662 + 43, -q - 5*f + 687 = 0. Does 13 divide q?
True
Suppose -3440 = 4*c + c. Let z be (c/(-20))/((-4)/(-10)). Suppose 5*v - 4 - z = 0. Is 9 a factor of v?
True
Let j = 638 - 224. Is 23 a factor of j?
True
Suppose 0 = -2*n + 7*n - 595. Suppose 105 = 14*x - n. Is 8 a factor of x?
True
Let c(z) = -z**2 - 24*z - 11. Is 9 a factor of c(-16)?
True
Let s be ((-8)/(-12))/((-2)/21). Let b(a) = 2*a + 10. Let v be b(s). Is 30*2/v*-2 a multiple of 10?
True
Let t be (1 - (-4 - -1)) + 1718. Is 19 a factor of (-4 - t/(-12)) + 2/4?
False
Suppose 359 = -5*t - 1. Let o = -105 - -75. Let c = o - t. Is c a multiple of 7?
True
Let n = -22 - -143. Suppose c + n = 2*c + 3*g, -127 = -c - 5*g. Suppose -4*h = -4 - c. Is h a multiple of 13?
False
Let r = 16 + 57. Is 27 a factor of r?
False
Let j(g) = 28*g**2 - 17*g - 90. Does 11 divide j(-5)?
False
Suppose -4*y - 18 = -250. Let i = y - 7. Does 11 divide i?
False
Suppose 261 - 743 = -w + 4*a, -3*w + 4*a = -1470. Does 26 divide w?
True
Let b = -23 + -4. Let n = b + 47. Let h = 59 - n. Is 11 a factor of h?
False
Let r be (-12)/(-3) - 6/3. Is r/1 - (-2 - 40) a multiple of 22?
True
Suppose -5*t = -5*j - 15, -3 = 5*j + 7. Is 21 a factor of (-4)/(-8)*211 + t/(-2)?
True
Does 30 divide 31/3*1/((-4)/(-156))?
False
Let n(u) = -u**2 + u. Let b(y) = -3*y**2 - 7*y + 15. Let w(g) = -b(g) + 2*n(g). Does 2 divide w(5)?
False
Let x(o) = -10*o**3 + 5*o**2 - o + 2. Let g be x(1). Let s(f) be the third derivative of f**5/30 + f**4/24 + f**3/6 - f**2. Does 7 divide s(g)?
False
Let n(p) = p**2 - 8*p + 36. Is 23 a factor of n(-12)?
True
Suppose 13*n + 65 = -0. Is ((-16)/n)/(1 + 12/(-15)) a multiple of 2?
True
Let k = -1546 - -3082. Does 12 divide k?
True
Let a(k) = -4*k + 33. Let w(l) = -3*l**2 + 3*l + 6. Let c be w(-2). Is 27 a factor of a(c)?
True
Suppose 148 + 56 = 4*d. Suppose -5*z + 6*z = d. Does 14 divide z?
False
Let l = 34 + -27. Suppose -5*t + 5*v = -5, 3*t - v - l = -t. Is 4 a factor of t + -2 + 23 + 4?
False
Let y(t) = 48*t + 2. Let d = 5 - 4. Is y(d) a multiple of 7?
False
Suppose 5*x - 15*o - 4370 = -13*o, 0 = 3*x + o - 2611. Does 11 divide x?
False
Suppose -3991 - 629 = -11*w. Does 9 divide w?
False
Let g = 397 + 402. Is g a multiple of 47?
True
Let c(v) be the third derivative of 1/12*v**4 + 0*v - 5*v**2 + 1/6*v**3 + 8/15*v**5 + 0. Is c(-1) a multiple of 18?
False
Let z(m) = 29*m + 981. Does 65 divide z(-24)?
False
Does 24 divide 2 - (6 - 0) - (-51 + -409)?
True
Suppose 3*w + 2 - 42 = 2*k, -w + 4*k + 30 = 0. Let a(h) = h + 5. Let p be a(-5). Suppose p = -w*s + 6*s + 204. Is s a multiple of 17?
True
Suppose -108 = -3*f + 156. Suppose 0 = 18*w - 22*w + f. Does 17 divide 1852/w - 6/33?
False
Let f(j) be the second derivative of 3*j**5/20 - 5*j**4/12 + 5*j**3/6 - 6*j. Is 23 a factor of f(4)?
False
Let r = -16 - -18. Suppose -8 = 4*l, s + r*l + 5 - 18 = 0. Suppose s*a = 16*a + 24. Does 12 divide a?
True
Let s(z) = -331*z + 52. Does 54 divide s(-8)?
True
Is (-140)/7*(-14)/8 a multiple of 34?
False
Let l(s) = 0 - 11 + 5 + 60*s - 1. Is 17 a factor of l(1)?
False
Let p = -27 - -29. Suppose -3*k + 14 = -0*y - y, -p*k - 3*y = -24. Is 2 a factor of (2/k)/(2/30)?
False
Suppose -17*x = -16512 + 4731. Is 63 a factor of x?
True
Let j be -21*((-6)/(-9))/(-1). Suppose -15*h + j*h + 52 = 0. Does 13 divide h?
True
Let b(a) = 4*a - 24. Let i be b(7). Suppose -i*x + 228 = -x. Does 7 divide x?
False
Let d(m) = -m**2 + 3*m - 1. Suppose 0*w + 2*w = 4. Let r be d(w). Is 7/((-14)/(-4))*r a multiple of 2?
True
Let i(a) be the first derivative of a**4/4 + 3*a**3 - 23*a**2/2 + 9*a - 23. Is 16 a factor of i(-11)?
False
Let r(h) = -10*h**3 + 6*h**2 - 31*h - 148. Does 18 divide r(-4)?
False
Suppose -3*m - 13 + 10 = 0. Let a(t) = -35*t**3. Is 6 a factor of a(m)?
False
Let j = -70 + 445. Does 16 divide j?
False
Let a(m) = -3*m**3 + 6*m**2 + 2*m - 2. Is 13 a factor of a(-6)?
False
Let v = -21 - -23. Suppose 0 = -v*d + 4*t + 174, 101 = d - 3*t + 18. Is d a multiple of 23?
False
Let i(d) = 3*d**3 + d**2 + 2*d - 1. Let k be i(3). Let y = 60 - 122. Let n = y + k. Is 11 a factor of n?
True
Suppose 4*p + 16 = 8*p. Suppose 108 = p*g - 4*q, 5*q = -g + 3*g - 45. Is 7 a factor of g?
False
Suppose 25*i = 10*i + 2925. Is 4 a factor of i?
False
Is (135/(-81))/((-7)/2394) a multiple of 46?
False
Suppose -12*b + 79118 = 12194. Is 11 a factor of b?
True
Let l be ((-9)/6)/(1/(-104)). Suppose 0 = 12*g - 11*g - l. Is (-12)/(-9)*g/8 a multiple of 13?
True
Suppose 2*k - 6*k - 88 = 0. Let g = k - -21. Does 8 divide -12*3/g - 3?
False
Suppose -4*u - 116 = 4*p, u + 4*p = -0*u - 32. Let w = u - -70. Is 21 a factor of w?
True
Let f(s) = s**3 + 10*s**2 - 11*s + 15. Suppose 0*x - 5*x = -15. Suppose v + 35 = -x*b, -b - v - 15 = v. Is 5 a factor of f(b)?
True
Let t(w) = -4*w**3 - 2*w**2 + 3*w + 2. Let d = -2 + 0. Let f be t(d). Is 4*-1*f/(-8) a multiple of 3?
False
Is (-1576)/(-16) - (0 + (-1)/2) a multiple of 11?
True
Let z(c) = 2*c + 2. Let i be z(1). Suppose -2*s + 206 = 3*g, -193 + 471 = i*g + 2*s. Does 18 divide g?
True
Suppose -5*s + 135 = 5*t, 2*t - 4*s + 3*s = 63. Let y be 325/3 + 20/t. Suppose -3*g + 4*g + 4*v - y = 0, 3*g + v - 272 = 0. Is 16 a factor of g?
False
Let n(j) = 2*j**2 - 9*j + 21. Let b be n(9). Suppose 24*u - 21*u = b. Is u a multiple of 2?
True
Suppose 5*k + 2*k - 5866 = 0. Does 20 divide k?
False
Let p(m) = 36*m**3 + 276*m**2 - 5*m + 9. Is 40 a factor of p(-7)?
False
Let y(o) = -19*o + 12. Let w(g) = -20*g + 11. Let a(c) = -2*w(c) + 3*y(c). Is 28 a factor of a(-7)?
False
Suppose 0 = 