
False
Let a = 68 - 30. Suppose -a = -4*v + t + 2, -4*v + 2*t + 40 = 0. Is v a multiple of 4?
False
Let s = -5 - -8. Suppose s*o - 5*o + v = -7, -3*o + 4*v = -13. Suppose -84 + 3 = -o*h. Is h a multiple of 10?
False
Let k(j) = j**3 - 8*j**2 + 8*j + 8. Let d be k(7). Suppose b = -2*b + d. Is b even?
False
Suppose 24*c - 76 = 20*c. Suppose 0 = 2*l + 2*i - 14, 5*l = -3*i - 6 + 33. Suppose l*b - 52 + c = 0. Does 4 divide b?
False
Is 5 a factor of (-411)/(-12) - ((-22)/8 + 2)?
True
Suppose -t + 4*o = -11, -4*o + 9*o + 7 = -t. Suppose -10 - 14 = -t*h. Is h a multiple of 2?
True
Suppose m + 13 = 2*t + 3, 4*t = 4*m + 20. Suppose -8 = y - m*y. Let k(l) = -l - 4. Does 4 divide k(y)?
True
Suppose 7*k = -2*k + 261. Is k a multiple of 29?
True
Let h(t) = t**3 - 11*t**2 + 1. Let p be h(11). Is 18 a factor of (2/p)/(1/18)?
True
Is (3/9)/((-1)/3) + 121 a multiple of 10?
True
Let t(g) = g + 6. Let m be t(-3). Is 14 a factor of (-28)/(2 + (m - 6))?
True
Suppose 5*j = 4*c - 33, c + 5*j + 19 = -2*c. Suppose -3 = -c*r + 5. Suppose -62 = -3*d + w - 21, -60 = -4*d - r*w. Is 7 a factor of d?
True
Suppose -2*l + 5*l = 0. Suppose 0 = 3*h + 5*f - 17, l = 3*h + f + 18 - 55. Is h a multiple of 12?
False
Suppose 3*n + 128 = 4*p, 3*p = -2*p + 3*n + 160. Suppose -8 = -5*m + p. Does 15 divide (m/3)/((-6)/(-99))?
False
Suppose 59 = 5*j - 396. Suppose -2*a - 35 = -j. Does 14 divide a?
True
Let j(n) = -2*n**2 + 7. Let l be j(-4). Let s = -6 - l. Is s a multiple of 6?
False
Let n(t) = 2*t**2 + 9*t - 5. Is 22 a factor of n(6)?
False
Suppose 0 = g - 6*g + 240. Suppose -3*o + g = -0*o. Is 8 a factor of o?
True
Suppose -8 = -0*n - 4*n + 5*m, 4 = 2*n + 5*m. Let r(l) be the third derivative of l**5/12 - l**4/24 + l**3/3 - l**2. Does 20 divide r(n)?
True
Suppose 0 = 4*q - 2*g - 4, -2*q + 10 = 5*g - 4. Suppose -22 + q = -5*d. Suppose -d*w = -32 - 8. Does 4 divide w?
False
Let m = 9 - 7. Suppose 4*q + 15 = -m*o + 201, 3*q = 2*o - 172. Suppose -2*s + 39 - 13 = 2*k, 0 = -5*s + 3*k + o. Does 8 divide s?
True
Let j = -89 + 92. Let k(s) = 5*s - 3. Let i(a) = 5*a - 3. Let y(u) = -3*i(u) + 4*k(u). Does 12 divide y(j)?
True
Let s = 4 - -1. Let l = 12 - s. Let p(g) = -g**2 + 9*g - 4. Is p(l) a multiple of 5?
True
Let a(k) = -2*k**3 + k. Let h = 7 - 3. Let x = h - 6. Is 9 a factor of a(x)?
False
Let b(j) = -5*j**3 + 3*j**2 - 2*j - 2. Let q be b(3). Let p = q - -168. Is 20 a factor of p?
False
Let y(k) = k**2 - 6*k + 5. Suppose 0*i = -3*i + 21. Let v be y(i). Is 8/v*57/2 a multiple of 11?
False
Let l(w) be the third derivative of -w**4/24 + w**3 - w**2. Let v be l(4). Suppose v*u - 3*b - 3 = 11, 0 = -5*u - b + 18. Is u a multiple of 4?
True
Suppose -2*b - 3*f = -16, -4 = -2*b - 0*b + 3*f. Suppose 4*g + 2 = b*l, -l - g = g - 6. Suppose 3*j = 2*o - 1, -3*o + o - l = -4*j. Is j even?
False
Suppose 5*w = -m - 19 + 5, -w - 7 = -4*m. Let f = w - -8. Does 2 divide f?
False
Let r(n) = 3*n - 3. Let y be (-10)/(-4)*6/5. Does 6 divide r(y)?
True
Suppose 5*n - 85 = 200. Does 10 divide n?
False
Let u(p) = 26*p**2 + 6*p. Does 29 divide u(2)?
True
Let z = -38 + 42. Let j be (11 - 2 - 0) + 1. Suppose l - 2*f = j, z*l = 7*l + 2*f - 62. Is 9 a factor of l?
True
Let y = 1 - -4. Suppose 4*t - t - 6 = -2*c, -2*c - 10 = -y*t. Is (15 + -1 + c)/2 a multiple of 4?
False
Let v = -107 + 28. Let i = -29 - v. Suppose 108 = 5*j + g - 20, -2*j = g - i. Is 11 a factor of j?
False
Suppose 0*p - 24 = -2*p. Is 4 a factor of p?
True
Let w(b) = -21*b - 6. Let k be w(-4). Suppose -25 = 5*u - 6*u + a, 3*u - 2*a - k = 0. Is u a multiple of 14?
True
Suppose -4 = 4*b - 2*i, -2*b + 13 = -b - 4*i. Let p = b + 11. Does 4 divide p?
True
Let f(v) = 12*v**2 - v - 3. Is 27 a factor of f(-2)?
False
Let u be (-10)/8*-4*1. Let j(t) = -t**3 + 7*t**2 - 4*t + 3. Is j(u) a multiple of 21?
False
Let d(v) = -v**2 - 21*v + 30. Does 10 divide d(-21)?
True
Suppose 2*f + i = 17, -5*f - 4*i = -2*f - 28. Let y be ((-10)/4)/((-3)/6). Is 13 a factor of 107/y - f/20?
False
Let b(w) = -4*w. Is b(-9) a multiple of 12?
True
Let n = -10 + 45. Does 5 divide n?
True
Let x be (-1728)/(-78) - 4/26. Let f = x + -13. Is f a multiple of 6?
False
Let s(z) = 7*z**2 - 7*z + 12. Let w(j) = -7*j + 8*j**2 - 2 + 0*j + 15. Let a(b) = -7*s(b) + 6*w(b). Does 2 divide a(5)?
True
Let a(p) = -p + 7. Let s be a(3). Suppose 0 = 3*b - s*b + 10. Is b a multiple of 4?
False
Let m be (-2 - -7)*(-4)/10. Is (11 + m)/3 + 2 a multiple of 4?
False
Let q(u) = u**2 - 6*u + 2. Let j be q(5). Is ((-6)/(-10))/(j/(-15)) a multiple of 3?
True
Let m = -4 - -8. Suppose 0*r - 88 = m*r. Is (-2 - -4)/((-4)/r) a multiple of 7?
False
Suppose -2*o + 260 - 68 = 0. Is 16 a factor of o?
True
Does 6 divide 370/30 + (-2)/6?
True
Suppose -8*z + 200 - 40 = 0. Does 10 divide z?
True
Suppose -186 = -7*v + 9*v. Let d = -43 - v. Does 25 divide d?
True
Suppose -2*v + 92 = -6*v. Let k = v - -37. Is 11 a factor of k?
False
Is -30*(0 - 4/3) a multiple of 6?
False
Let m(z) = 8 - z**3 + z + 6*z + 0 + 1 + 6*z**2. Is 9 a factor of m(7)?
True
Let s(k) = -k**2 - 3*k - 5. Let b be s(-7). Is 237/33 + 6/b even?
False
Let r(n) = 5*n + 2. Let t be r(-7). Is 3 - 5*t/3 a multiple of 23?
False
Let d(j) = -106*j - 1. Is d(-1) a multiple of 23?
False
Let q(s) = s**3 + 4*s**2 + 3*s. Let y be q(-3). Suppose y*u = 5*u - 300. Does 17 divide u?
False
Let w = -15 - -23. Is w a multiple of 2?
True
Suppose 5*f - 1 = -3*d + 21, -3*d - 3*f = -12. Let j = 1 - d. Does 2 divide j?
True
Let z be (-477)/(-15) - (-3)/15. Let c = z + -12. Does 10 divide c?
True
Suppose 3*s + 2*a - 38 = -0*a, 25 = 2*s + a. Suppose -3*c - 42 = -2*d + s, -4*d + c + 118 = 0. Is 30 a factor of d?
True
Suppose -k + 15 = 2*r - 2*k, 0 = -r - 5*k - 9. Suppose u - 3 = 4*u. Let i = u + r. Does 4 divide i?
False
Suppose -3*k + k = 32. Let m = k - -38. Is 11 a factor of m?
True
Let d(c) = -9*c**2 + 17*c + 23. Let l(u) = 4*u**2 - 8*u - 12. Let o(m) = 2*d(m) + 5*l(m). Is 11 a factor of o(6)?
True
Suppose 200 = 7*r - 3*r. Is 10 a factor of r?
True
Let t(x) = x**3 - 10*x**2 - 3*x + 4. Let m be t(7). Is (-1 + 2)/((-4)/m) a multiple of 24?
False
Let j = -11 + 41. Is 6 a factor of j?
True
Let y = -93 - -153. Is 30 a factor of y?
True
Suppose -c = -0*b + 3*b - 54, -c + 3*b + 30 = 0. Is c a multiple of 7?
True
Let v be -1 - (0 + (2 - 5)). Suppose -v*t + 42 = t. Is t a multiple of 7?
True
Suppose -60 = -3*n + g + 2*g, -n - 4*g + 10 = 0. Let b = -11 + n. Is b a multiple of 4?
False
Suppose 2*r - 3*o = -r, 4*r - 2*o = 0. Is -1 + r + 7 + 3 a multiple of 7?
False
Let f(q) = -q**3 + 15*q**2 - 13*q + 9. Does 4 divide f(14)?
False
Let z(y) = -6*y + 9. Does 13 divide z(-3)?
False
Suppose -f + 6 = -0*f. Suppose -b + f*x - 12 = x, 5*x = 4*b - 12. Does 5 divide b?
False
Let r = 5 - 4. Suppose -r = -2*c + 5. Suppose -8*h - n + 100 = -c*h, 0 = h - n - 20. Is h a multiple of 12?
False
Suppose -2*l - 5*b = -12, 0 = -5*l + 3*b + 2*b + 30. Suppose -l*w = -2*w - 44. Is 11 a factor of w?
True
Let r = -1 - 1. Let p(a) = a**2 - a - 1. Does 2 divide p(r)?
False
Let m = -9 - -2. Let b = m - -22. Is b a multiple of 4?
False
Let s be 45/20 - 2/8. Is s/(-3) - (-60)/9 a multiple of 2?
True
Let c = -2 - 7. Let k(o) = -o**3 - 8*o**2 + 7*o - 10. Is 8 a factor of k(c)?
True
Let b = -1 + 1. Let z be 2 + (3 - 6 - -13). Suppose b = 2*o - o - z. Does 11 divide o?
False
Let j = 126 + -46. Is j a multiple of 20?
True
Let t(g) = g**3 + 7*g**2 + g - 6. Let w be t(-6). Suppose -v - w = -3*v. Does 4 divide v?
True
Is 8 a factor of (-2)/7 + -6*1510/(-105)?
False
Suppose -4*l = -136 - 120. Is l a multiple of 8?
True
Suppose -5 = 2*a - 17. Suppose -m - m = -a. Suppose 4*p - 43 = -o, 3*p = m*o + 4*p - 107. Does 12 divide o?
False
Suppose 3*i + 354 = -3*c + 1029, 4*c - 2*i - 876 = 0. Is 13 a factor of c?
True
Let k = -165 - -327. Is 18 a factor of k?
True
Let n be (2/(-4))/(1/(-4)). Let l be -2 - (2 + -4) - -1. Let z = n + l. Is 2 a factor of z?
False
Suppose 0 = -12*h + 9*h + 663. Does 30 divide h?
False
Let d be 16/7 + 16/(-56). Let v = d + -4. Is 2 a factor of 2/(v/(-3)) + 1?
True
Suppose 2*v - 78 = -0*v. Is v a multiple of 13?
True
Is 16 a factor of (-30)/(-3)*(-144)/(-30)?
True
Suppose 2*v - 31 = 33. Let h = v + -21. Does 11 divide h?
True
Suppose 4*j + 14 = -2*v + 3*v, -2 = -v. Suppose -5*z + 2*f + 14 = 0, z + 0*z = 2*f + 6. Is z - ((