. Let b = f + 69. Is 26 a factor of b?
True
Suppose -i + 97 = 4*d + 374, 1152 = -4*i - 5*d. Let x = 422 + i. Does 29 divide x?
False
Suppose 2*i - 20 = -0*i. Let x = i - -26. Is x a multiple of 12?
True
Let j = -10 + 14. Let r be (j - 3)/((-3)/(-9)). Suppose 2*z - 3*f - 41 = 0, -5*z + z + r*f + 91 = 0. Does 25 divide z?
True
Let s(w) = -w - 21. Let d(q) = -q - 20. Let u(v) = -4*d(v) + 3*s(v). Let h be u(-13). Suppose 2*a = 4*m + h*a - 66, -4*m = -2*a - 78. Is m a multiple of 6?
True
Let f(r) = 743*r - 256. Does 30 divide f(2)?
True
Let l = 107 + -2. Let a be (-30)/12*2*-1. Suppose a*k + 30 = l. Is k a multiple of 5?
True
Let c be 3/(3/2)*-1. Let w be (c/6)/(1/(-36)). Suppose -5*q + 41 = 4*f, 2*q = 3*f - w + 33. Does 7 divide q?
False
Is (-240)/(-1080) + (-2 - 554/(-18)) a multiple of 4?
False
Let b(y) = y**2 - 13*y + 2. Let m be b(13). Suppose 2*t + m*d = 38 + 30, -4*d = -20. Suppose t - 179 = -5*q. Is 15 a factor of q?
True
Let c be 170/12 + 10/(-60). Suppose -12*a + 186 = -11*a. Suppose 5*m - c = a. Is 18 a factor of m?
False
Let f(a) = 6*a**3 - a**2 - 2. Suppose 32 = 15*v - 19*v. Let q be ((-12)/v)/((-6)/(-8)). Is f(q) a multiple of 21?
True
Suppose 3*x + 0*x = 9. Let z be ((-106)/x)/((-26)/39). Let m = 92 - z. Is m a multiple of 9?
False
Let v(f) = -f - 1 - 5 - 2 + 1. Let o be v(-6). Is 16 a factor of o/4 + (-699)/(-12)?
False
Suppose 0 = 4*u - u - 3. Let d = u + 3. Suppose -d*z + 5*g + 17 = 0, -2*z - z - g + 8 = 0. Is z a multiple of 2?
False
Is 19 a factor of ((-1391)/(-12) - 92/(-1104))*42?
False
Suppose -3*s = s - 2760. Suppose 0 = -5*p - p + s. Does 23 divide p?
True
Is 40/(-32) - (15866/(-8) + -3) a multiple of 37?
False
Let c = 545 + 55. Is 30 a factor of c?
True
Suppose -115 + 1051 = 13*j. Let b(q) = q**3 + 4*q**2 + 4*q - 2. Let w be b(-4). Let m = j + w. Does 9 divide m?
True
Suppose 7*y - 2*y = 0. Suppose 2*q + 4*j - 16 = y, -4*q = -3*j - 4 + 5. Suppose 0 = -q*m + 7*m - 55. Is 11 a factor of m?
True
Let g(a) = a**2 + a + 1. Let o(t) = -8*t**2 + t - 1. Let d(s) = 2*g(s) - o(s). Is 24 a factor of d(3)?
True
Suppose -5*v + 3 = -3*h - 4, 0 = -5*v + h - 1. Is (104/(-12) + v)/(1/(-9)) a multiple of 17?
False
Suppose 0 = -27*m + 12*m + 675. Is m a multiple of 4?
False
Does 12 divide -1*(-4 + -87 - -7)?
True
Suppose -3*y - 4*p - 24 = -4*y, -122 = -4*y + 3*p. Suppose 0 = -3*s + 82 + y. Does 8 divide s?
False
Suppose 2*k - 2*b = 104, 8*k - b = 4*k + 199. Suppose 52*f = k*f + 21. Suppose -77 = -2*w + 5*v, -4*w - f*v + 79 = -2*v. Is w a multiple of 13?
True
Let q(t) = 4*t**2 + 3*t. Let n(y) = -y + 8. Let k be n(-7). Suppose -5*j + k = 5*g, 6*j - 4*j + 12 = 4*g. Is 15 a factor of q(g)?
True
Let q = -53 + 57. Let t = q + 56. Is t a multiple of 20?
True
Let m = 5090 + -3026. Does 152 divide m?
False
Suppose -10 = 2*n + 2*h, -29 = n + 5*h - 4. Let v(o) = -5*o**2 + o**3 + 3*o**2 - o + 3*o**2 + 48. Is v(n) a multiple of 17?
False
Let m = 383 - 380. Let b be 4/((-4)/(-3)) + 2. Suppose -b*n = -2*r - m*r + 450, -3*n - 6 = 0. Is r a multiple of 22?
True
Suppose 5*a = 0, -d + a = 2*d - 156. Does 16 divide d?
False
Let o be (-4)/3*6/(-4). Does 32 divide ((-323)/51)/(o/(-78))?
False
Let z(b) = b**3 - 9*b**2 - 35*b - 8. Is z(14) a multiple of 7?
False
Suppose 0 = 2*r - 38 + 12. Let y be 6/8 + r/4. Suppose 8 = i - y. Is 9 a factor of i?
False
Let i(m) = 16*m - 208. Is 13 a factor of i(16)?
False
Is -1 + (-3 - -10) + 1195 a multiple of 53?
False
Let q = -40 - 9. Let v = 13 - q. Is v a multiple of 28?
False
Suppose 4*d - 52 = -2*s, -s - 3*d - d = -20. Let t = 62 - s. Is 10 a factor of t?
True
Let z(t) = -t**2 + 18*t - 4. Let q = 92 - 78. Is 13 a factor of z(q)?
True
Let p(q) = -q**3 + 2*q**2 - q + 14. Let y(s) = -3*s - 4. Let r(l) = l + 2. Let w(f) = 10*r(f) + 4*y(f). Let d be w(2). Does 7 divide p(d)?
True
Is 42/154 - (-288036)/77 a multiple of 29?
True
Suppose 21*m = 19*m + 238. Is m a multiple of 35?
False
Let b be (-19 + 24)*3/(-5). Let g be 2*(43/2 - -1). Does 9 divide g/(0 + 3) + b?
False
Suppose 3*y + 16 = 2*y. Is 24 a factor of (-1340)/(-14) - y/56?
True
Does 20 divide 22240/5*(162/(-24))/(-9)?
False
Is 15 a factor of ((-76)/(-2))/(-4 - (-261)/63)?
False
Suppose 4*k + 197 = -83. Let r = k + 120. Suppose 0 = -a + r - 0. Is a a multiple of 25?
True
Let y be (-6)/27 + 210/(-27). Is (-171)/(-12) + 2/y a multiple of 3?
False
Let a be -4*(6/(-4) - -1). Suppose j - 2*q - a = 0, -q = -6*j + 3*j + 11. Let o(t) = 5*t**2 - 3*t - 3. Does 22 divide o(j)?
False
Let y(a) = a**2 + 3*a + 5. Let n be y(-4). Suppose u - 2 = n. Is 4 a factor of u?
False
Let u(y) = y**2 + 2 - 3*y**2 - y**3 - 2 + 1. Let c be u(-1). Suppose -23 = -3*w - s + 6*s, c = -2*w - 5*s + 57. Is w a multiple of 4?
True
Let f(d) = -2*d**3 - 108*d**2 - 121*d + 48. Does 38 divide f(-53)?
False
Suppose -8*t = -6*t + 60. Is (t - -1)/(16 + -17) a multiple of 29?
True
Suppose 4*q - 3 = -15. Let u = q + 6. Suppose -c = x - 24, 0 = -0*c + u*c - x - 56. Does 10 divide c?
True
Is ((-2156)/10)/(6/(-15)) a multiple of 49?
True
Suppose 3*y - 7 + 1 = 0. Suppose 2*j = c + 57, -3*j + 36 = -2*j + y*c. Does 9 divide j?
False
Suppose -9 = 6*x + 9. Let s(y) = -6*y - 10. Let r be s(x). Suppose -160 = -r*j + 136. Is 22 a factor of j?
False
Suppose 4*k - 8 = 24. Let g = 0 + k. Is 13 a factor of 1527/39 + g/(-52)?
True
Suppose -5*i + 0*d = -d - 1, 2*d = -2. Suppose -f - 11 = -3*p - 2*p, 4*p - 8 = f. Suppose -m = i, -4*x + 352 = -f*m + 32. Does 26 divide x?
False
Let o be (2/3 + -1)*(-2 - 1). Does 8 divide 5/30 + o + (-178)/(-12)?
True
Let a = -10 + 13. Suppose 2*g = a*g. Is 8 a factor of 27 + g + -4 + 1?
True
Suppose 0 = -14*f + 15*f - 8. Let o(c) = 6*c + 6. Is o(f) a multiple of 7?
False
Let o(c) = 550*c - 536. Does 11 divide o(3)?
False
Let v(y) = -2*y**2 - 13*y + 8. Let w(m) = m - 1. Let o(a) = v(a) - 3*w(a). Is 7 a factor of o(-6)?
True
Suppose 4*z = -2*u + 1384, -5*u + z + 2868 = -537. Is 7 a factor of u?
False
Let m(n) = 3*n**2 - 37*n + 12. Does 12 divide m(-9)?
True
Suppose -1317 + 225 = 7*z. Let c = z + 270. Does 38 divide c?
True
Let t = 243 - -377. Does 20 divide t?
True
Suppose -7*l = -2*f - 8*l + 172, -259 = -3*f - l. Is f a multiple of 59?
False
Suppose 5*r = -w + 21840, -6*r + 21840 = -r + 2*w. Is r a multiple of 39?
True
Let n = 23 - 19. Suppose 4*f = -a + 36, -5*f + 27 = -n*a - 39. Is 1065/f + (-6)/4 a multiple of 21?
True
Let n(b) = b**3 + 11*b**2 + 20. Let w(a) be the second derivative of a**3/2 + 8*a**2 + a. Let i be w(-9). Is 20 a factor of n(i)?
True
Suppose 2*z = 12*z - 3040. Is z a multiple of 16?
True
Suppose 41*u - 16*u - 39375 = 0. Is u a multiple of 78?
False
Suppose -8*s - 1352 = -12*s. Is s a multiple of 13?
True
Let u(l) = 416*l + 4. Let n be u(2). Suppose -t - n = -12*t. Is t a multiple of 21?
False
Let n be 1/(-4 - 105/(-25)) + 13. Let b(o) = -2*o. Let v be b(-3). Suppose n = v*h - 84. Is h a multiple of 17?
True
Let q(x) = 5 - 5 - x + 10. Does 3 divide q(0)?
False
Let g(a) = -5*a - 11. Let o(v) = 4*v + 12. Let l(z) = 5*g(z) + 6*o(z). Let r(w) = -w**2 - 3*w + 4. Let q be r(-4). Does 7 divide l(q)?
False
Let p be 2 + (-3 - (-2 + 0)). Suppose 0 = -2*t - 3*m + 8*m + 2, -t = -2*m - p. Does 23 divide ((t - 2)*23)/(-1)?
True
Let l(k) = 3*k**2 + 25*k + 10. Let n be l(-8). Suppose -5*f = -4*f + n*v - 72, -3*f = 4*v - 224. Does 16 divide f?
True
Let y = 3931 + -2545. Is 5 a factor of y?
False
Let a be (3/9)/((-3)/(-63)). Suppose -12*u + a*u + 15 = 0. Suppose -u*k + 2*c = -56, -5*k - c + 82 = -k. Is 4 a factor of k?
True
Let n be (-4)/18 + (-94)/(-18). Suppose -n*s + 48 = -2*s. Suppose 4*q + 3*c = -2*c - 12, 2*q + 5*c = -s. Is q a multiple of 2?
True
Suppose 11 = 8*m - 13. Suppose -m*n = 5*n - 1248. Does 52 divide n?
True
Let v(u) = 2*u**3 + u**2 + 2*u - 3. Let x be v(1). Suppose -12 = x*b - 60. Does 8 divide b?
True
Let s be (2/(-3))/(32/672). Let k = s + 166. Is k a multiple of 19?
True
Is 13 a factor of 930 + -7 + (0 - -8)?
False
Let u(x) = -3*x + 4. Let n = 10 + -12. Does 4 divide u(n)?
False
Let w = -16 - -20. Let j be (10/w)/((-1)/(-2)). Suppose -4 = -j*g + 56. Is g a multiple of 12?
True
Let d = -67 - -32. Let b be (-176)/(-4)*10/(-2). Is 4/(-14) + b/d even?
True
Let k(i) = 38*i - 4. Suppose -9 = f + 4*d, 0 = 3*f - f - 2*d - 12. Does 16 divide k(f)?
False
Let d be -2 + 4/2*(-35)/(-14). Supp