 -1. Let x(w) = 34*w - 17. Let t(h) = -17*f(h) + x(h). Let v = 6 + -5. Is 17 a factor of t(v)?
True
Let d = 72 - 62. Let g(k) = 2*k**2 - 10*k + 25. Does 25 divide g(d)?
True
Suppose 5*r + 41648 = 43*r. Is r a multiple of 8?
True
Let h(c) = 3*c - 13. Let x be h(5). Suppose -5*s - 2*j + 122 = 0, j - x = -j. Is 11 a factor of s?
False
Let n be (-2 - 27/(-12))*(5 + -1). Is (3 + (85 - 4) + -4)/n a multiple of 12?
False
Suppose 0 = 3*f + 6*q - 3*q - 9174, -q = 2*f - 6118. Is f a multiple of 51?
True
Let z = 2194 + -1153. Does 35 divide z?
False
Suppose 45 = -o + 37. Let u(h) = h**2 - h - 8. Is u(o) a multiple of 16?
True
Let w = 28 + 332. Suppose -w = -3*t + g, t - 2*t + 116 = g. Is t a multiple of 7?
True
Let q = -1002 - -1106. Does 8 divide q?
True
Let m(f) = f + 38. Let q(d) = 3*d - 9. Let g be q(3). Is m(g) a multiple of 19?
True
Suppose 5*d - 10*k + 13*k = 226, 0 = 5*d - 5*k - 210. Is d a multiple of 40?
False
Let u = 106 + -86. Is (-8)/40 - (-6)/u*564 a multiple of 15?
False
Let k be 10*3/18*3. Suppose -5*h + 88 = 3*z - 0*z, -2*h = k*z - 20. Does 10 divide h?
True
Let k = 32 + -28. Suppose -4*u - 64 = -k*c, -c + u = 4*u - 12. Does 5 divide c?
True
Let m = 66 - 39. Does 3 divide (45/m)/(0 - 1/(-3))?
False
Suppose 2*z + 5*x - 3038 - 1987 = 0, -z + 2505 = 4*x. Is z a multiple of 103?
False
Let l be 3 + ((-8)/60 - (-34)/30). Suppose -5*c - l*z + 8 = -247, -3*c + 155 = 2*z. Is 8 a factor of c?
False
Is 11 a factor of (4 - (-1302)/(-12))/((-2)/4)?
True
Does 6 divide (2 - (-3)/(-2))*(2 - -106)?
True
Let x = 171 - 130. Does 7 divide x?
False
Let a be 2 + -4 - (4 + -6). Suppose -5*b = 3*i - 177, a = -i - 2*i + 3*b + 153. Is 27 a factor of i?
True
Let q be (8/14)/((-10)/(-35)). Suppose -3*i = q*i - 30. Suppose i = h - 5. Is h a multiple of 11?
True
Let q = -60 - -58. Is 7 a factor of 0 + (-5 - q - -10)?
True
Suppose -1 - 1 = p. Let h be (-4)/6*(-21)/p. Does 10 divide (h/(-2))/((-9)/(-72))?
False
Let j(l) = -7*l + 90. Let h(s) = -s + 2. Let r(p) = -3*h(p) + j(p). Does 5 divide r(16)?
True
Let w = -10878 + 15681. Is 83 a factor of w?
False
Suppose -5*w + 107 = 4*o - 17, w - 2*o - 36 = 0. Suppose -w = 12*a - 364. Is 10 a factor of a?
False
Suppose -5*p - 11*p + 7824 = 0. Is p a multiple of 31?
False
Let p(g) = -3*g - 8. Let v be p(21). Let m = 124 + v. Is 7 a factor of m?
False
Let c(j) = -j**2 + j + 1. Let t(p) = -p**3 + 4*p**2 - 5*p - 1. Let n(b) = 4*c(b) - t(b). Is 10 a factor of n(8)?
False
Suppose 0 = -2*r + i - 0*i + 87, -2*i + 195 = 5*r. Is 2 a factor of r?
False
Suppose -13 = 3*g - 2*g. Let b = g + 12. Let o(l) = -7*l**3 - l**2 - l - 1. Is 6 a factor of o(b)?
True
Let h be 105/(-1 + 2 - (-5)/(-2)). Let k = -54 - h. Does 8 divide k?
True
Does 39 divide (5 - 23/5) + 3498/30?
True
Let k(c) = -c**3 - 4*c**2 + 3*c - 7. Let s be k(-5). Suppose -5*q - s*d = -2*q - 9, 5*q + 2*d = 12. Suppose -4*n - 38 = -2*f - 0*f, -5*n - 7 = q*f. Is f even?
False
Suppose 20*p - 71985 = -20945. Does 42 divide p?
False
Suppose -2*s + 5*f = -0*f - 177, 3*s = -2*f + 237. Is 27 a factor of s?
True
Suppose 0 = 7*j - j - 23628. Is 22 a factor of j?
True
Let d(n) = n**2 + 3*n - 7. Suppose -5*l + 3 = 13, 2*o + 2 = -4*l. Suppose 6 = -p - o. Is 21 a factor of d(p)?
False
Suppose -8 - 62 = 10*y. Let v(k) = -k**3 - 7*k**2 - 8*k - 15. Does 12 divide v(y)?
False
Let j(d) = d**2 - 12*d + 37. Let u be j(8). Is 10 a factor of -5 - (-139 + u) - -1?
True
Let c = 1 + -5. Let v be c*3/(-12) - -5. Is 9/(-27) - (-20)/v a multiple of 2?
False
Suppose 0 = 2*u + 2*c - 312, -3*u - c = -15 - 449. Is u a multiple of 11?
True
Let v(g) = g**3 + 14*g**2 + 7*g - 23. Is 25 a factor of v(-10)?
False
Let c = 23 + -28. Let x(y) = y**2 + 4*y + 6. Is 2 a factor of x(c)?
False
Suppose -28 = -4*z - 2*r, -2*r + r - 1 = -z. Let t(o) = -75*o + 2. Let s be t(-1). Suppose w - 195 = -4*w + z*k, k + s = 2*w. Does 38 divide w?
True
Suppose 0 = 3*d - 6 - 0, s = -4*d + 256. Suppose 2*k = -5*n + s, -n - 2*n + 155 = -5*k. Is n a multiple of 11?
False
Let t(o) be the second derivative of o**4/12 + o**3/6 + o**2 - 3*o. Is t(-7) a multiple of 11?
True
Suppose 0 = 7*j - j - 216. Let u = j - 27. Does 3 divide u?
True
Suppose 2*i = i - 54. Let w = i - -9. Is (-178)/(-9) + (-10)/w a multiple of 9?
False
Suppose 5*b - 241 = -3*w, b - 38 = -27*w + 23*w. Is b a multiple of 10?
True
Suppose 6*u + 2*t = 2*u + 2662, 2*u = 2*t + 1334. Is 27 a factor of u?
False
Suppose 2*c - l = -359, 5*l = 3*c - 0*c + 542. Let h = c - -304. Suppose 4*z + z - h = 0. Is z a multiple of 11?
False
Let j(p) = 4*p**2 + p - 4. Let h be j(8). Suppose 4*g = 236 + h. Is g a multiple of 22?
False
Let w be 4*7/42 - (-4)/3. Let v(z) = 134*z + 4. Does 19 divide v(w)?
False
Suppose 0 = -2*j + a + 292 + 227, -1035 = -4*j + 3*a. Let z = -171 + j. Does 5 divide z?
True
Let t(u) = 18*u**2 - 2*u - 5. Is t(-4) a multiple of 15?
False
Let h be (-539)/35 - 2/(-5). Let r be 5/2*(-24)/h. Suppose 0 = y + r*y - 60. Is 3 a factor of y?
True
Let w(m) = m**3 + 12*m**2 + 5*m - 10. Let y(b) = -2*b + 1. Let z be y(6). Let t be w(z). Is 18 a factor of -3 + 1 + t*1?
True
Suppose -9763 = -47*l + 19565. Is l a multiple of 26?
True
Let v(t) = t + 12. Let k be v(-6). Let a(d) = -d**3 + 5*d**2 + 7*d + 13. Is 19 a factor of a(k)?
True
Suppose -4676 = -5*q - t, 2*t = -3*q - 0*t + 2807. Is 55 a factor of q?
True
Does 17 divide -3*2 - (87 + -4938)?
True
Let x = 3987 + 785. Does 81 divide x?
False
Suppose 2*t + 14 = 12. Let j be 0 + -1 + t - -342. Suppose -f - d + 55 = 0, -5*f - 61 = 3*d - j. Is f a multiple of 19?
True
Suppose -4*x = 7 - 47. Let w(s) = s**2 - 11*s + 13. Let a be w(x). Is 29 a factor of 108 + (-3 - (-3)/a)?
False
Let i be 2/(-6)*3*17. Is 7 a factor of -13 - i - (-24)/1?
True
Let j(n) be the first derivative of -15*n**4/4 - n**3/3 - n**2/2 - 2*n + 38. Is j(-2) a multiple of 29?
True
Let j = 75 - 59. Suppose -j*c = -11*c + 2*s - 97, 4*c - 2*s = 74. Is 19 a factor of c?
True
Let q(k) be the third derivative of -17*k**4/24 + k**3/6 + 8*k**2. Let n be q(-1). Suppose n = j - 4. Is j a multiple of 17?
False
Let k(v) = 7*v + 18. Suppose 0 = -5*l - 60 - 25. Let b = l - -25. Does 22 divide k(b)?
False
Let d(f) = -f**2 + 5*f - 6. Let v be 6/(-3) - 0 - -6. Let x be d(v). Let n(j) = 4*j**2 - j - 2. Does 8 divide n(x)?
True
Suppose -124*f = -130*f + 5790. Does 103 divide f?
False
Suppose -29*f + 8424 = -16*f. Is f a multiple of 27?
True
Let l(w) = -w + 14. Let a be l(12). Does 8 divide 1 + 3 + 22/a?
False
Let t(k) be the first derivative of k**3 + 4*k**2 - 4*k - 22. Is 6 a factor of t(-4)?
True
Is 13 a factor of (-9 - -7) + 4 - -219?
True
Suppose 541 = 8*k - 363. Is k a multiple of 3?
False
Is ((-168)/(-10))/((-94)/(-3055)) a multiple of 13?
True
Suppose -3*h = m - 119, 3*h - 203 = -2*h + 3*m. Does 6 divide (-28)/(-3)*2*90/h?
True
Suppose 3*o + o = -3*y + 51, 3*o = -4*y + 68. Suppose 31 + y = 2*k. Does 12 divide k?
True
Let n = -8 + 7. Let t(g) = -2*g**3 - g. Let o be t(n). Suppose -4*f - 5*w - 89 = -7*f, o*w = 2*f - 59. Is 14 a factor of f?
True
Let s(c) = c**2 + 15*c - 51. Is s(21) a multiple of 10?
False
Let t(k) = 2*k**3 + 2*k**2 + 25*k + 39. Is t(9) a multiple of 12?
True
Let w be (30/(-20))/(106/(-52) + 2). Let m = w + -23. Is 8 a factor of m?
True
Suppose s - w + 16 = 1, -2*s - 33 = -w. Suppose 9*v - 7*v = -4. Is (s + 0)/(v/11) a multiple of 33?
True
Suppose -2*v = -2*t - 488, -3*t + 7*t = 4. Is v a multiple of 7?
True
Suppose -17*d = -22*d + 390. Suppose -2*y - 16 = -4*z - d, -5*z + y = 82. Let u = -12 - z. Is u a multiple of 5?
True
Let v be -4 + (4 - -4) + -4. Suppose -5*i - 5*r - 1055 = v, 0 = -2*i - 0*i + r - 422. Let k = -136 - i. Does 15 divide k?
True
Is (6252/(-20))/((-42)/210) a multiple of 4?
False
Let p(k) = 2*k**3 - 15*k**2 + 9*k - 12. Let v be p(7). Suppose -5*f - 680 = -2*q, -v*q = -7*q + 5*f + 1670. Is 15 a factor of q?
True
Suppose 0 = -a - 4*a + 10. Let b be (-8 + a)*(-328)/16. Let f = b - 39. Is f a multiple of 16?
False
Suppose -252 = -15*q + 3*q. Let g(w) = 14*w + 18. Does 24 divide g(q)?
True
Let z = 51 - 11. Is z a multiple of 40?
True
Suppose x - 3 = 0, 0*o + 2*x - 18 = -3*o. Suppose 5*j + 21 = o*a, -2*a - 12 = -3*a - j. Does 4 divide a?
False
Let z be ((-8)/20)/((-1)/5). Suppose 0 = -3*q + z*q - 4, 22 = 3*h + 2*q. Does 10 divide h?
True
Suppose -67 + 619 = 6*