 d - 2 = 3. Let b = d + l. Is b a multiple of 2?
True
Let i(d) = 9*d**2 + 9. Is i(6) a multiple of 37?
True
Is 20 a factor of 4/6*42/28 + 59?
True
Let p(d) = -13*d + 1. Let v = -5 - -4. Does 7 divide p(v)?
True
Let o = -60 + 63. Let g(i) = i**2 + 0*i**3 + i**2 + i**3 - 2 - 2*i. Is 12 a factor of g(o)?
False
Let o = -24 + 14. Let j = o - -20. Is j a multiple of 10?
True
Suppose w + 294 = 3*c - 0*c, c - 2*w - 93 = 0. Does 33 divide c?
True
Let d = -1 + 4. Is 3 a factor of d?
True
Let v be 1/((-18)/10 + 2). Suppose -4*j + v*t + 10 = -1, 4*t - 24 = -5*j. Suppose -44 = -2*f - j*p, -6 = -0*p - 3*p. Is f a multiple of 9?
True
Let y be 4/6*(-1 + 4). Suppose 7 = 5*l - 23. Is 9 a factor of (-46)/y*(l + -7)?
False
Suppose 0 = -s + 4*j + 24, -5*s + j - 5*j + 24 = 0. Suppose -2*f + 2*c = -s, -f = 3*f + c - 21. Suppose 5*m - 48 = -f*l + 17, m - 2*l - 19 = 0. Does 5 divide m?
True
Suppose 0 = -v - 4*v + 15. Suppose -v*m - 3 = -24. Let h = 15 - m. Is 5 a factor of h?
False
Suppose -5*h - 36 - 6 = -r, -5*r + 110 = -5*h. Let u = 50 - r. Is 31 a factor of u?
False
Let g = 19 + 8. Suppose -7*h + 5*s = -3*h + 71, 0 = -3*h + 3*s - 54. Let k = h + g. Is 8 a factor of k?
True
Let f(a) be the third derivative of -a**5/60 + a**4/3 + a**3/2 - a**2. Let o be f(8). Suppose 0*w - o*w = -21. Does 5 divide w?
False
Let x = -67 + 97. Does 5 divide x?
True
Let s be (-30)/(-8) - (-10)/40. Suppose s*a = 5*r - 31, 0 = 5*r - a - 24 - 10. Is r a multiple of 7?
True
Let q(s) = 7 + 7*s - 2*s + s - s**2. Does 7 divide q(5)?
False
Let h be ((-6)/(-5))/((-14)/(-35)). Suppose -5*n = -h*n - 8. Is 4 a factor of n?
True
Suppose 10*g - 640 = 130. Is 22 a factor of g?
False
Is 6 a factor of (-4)/6 - 148/(-6)?
True
Let m(o) = o**2 + 5*o + 6. Let n be m(-4). Suppose 0 = -0*u - n*u + 28. Does 8 divide u?
False
Let h = -9 + 7. Let b be (-4)/(h*(-3)/6). Let i = b - -6. Is 2 a factor of i?
True
Let s(h) = -2*h + 2. Let m(r) = -10*r + 10. Let x(c) = -2*m(c) + 11*s(c). Is 5 a factor of x(-2)?
False
Let p be (-81)/6 - (-2)/(-4). Is 680/28 - (-4)/p a multiple of 12?
True
Let l(p) be the second derivative of 11*p**3/6 - 7*p**2/2 - 4*p. Is l(6) a multiple of 16?
False
Let q(x) = -5*x - 25. Is 15 a factor of q(-11)?
True
Let x(m) = -11*m + 65. Is 3 a factor of x(4)?
True
Suppose 0 = -2*g + 6*g, -4*g = -4*o + 132. Is 9 a factor of o?
False
Suppose u - 764 = -3*d, 2*u + 0*u - 1273 = -5*d. Suppose -255 = 5*c + 5*f, 4*c = -c + 5*f - d. Let k = -11 - c. Does 14 divide k?
False
Suppose -3*m + 4 = 2*m - x, 3 = 5*m - 2*x. Let t = 3 + m. Suppose -r + 35 = t*r. Does 5 divide r?
False
Suppose 54 = 3*a + 4*s - 0*s, 5*a + 5*s - 85 = 0. Is a a multiple of 2?
True
Let z = 239 + -133. Is 25 a factor of z?
False
Suppose 3*x + r = 3*r + 7, 4*x = -r - 9. Let s = 3 + x. Is s even?
True
Suppose 22 = -5*l - q + 5*q, -q = l - 1. Does 6 divide ((-2)/(-3))/(l/(-51))?
False
Let g = -35 - -59. Is g a multiple of 4?
True
Suppose -40 = -3*w - 5*c, 0 = 4*w - 0*w + c - 25. Suppose -2*f = y - 5, -w*f - 2*y = -7*y - 35. Is 2 a factor of f?
True
Let q be (-174)/(-24) - 6/(-8). Suppose 3*p - 21 = -4*n, -2 = 5*n - 3*p - q. Does 3 divide n?
True
Suppose -2*s - 12 = -8*s. Let l(a) = a**2 - 2*a + 1. Let p be l(-4). Suppose d - 4*c = p, -4*c = -s*d - 2*d + 64. Is d a multiple of 13?
True
Suppose 0*q - 3*q = -117. Suppose -4*p + q = -p. Is 13 a factor of p?
True
Let t be ((-2)/(-6))/(7/126). Suppose 5*m = t + 39. Does 2 divide m?
False
Does 21 divide (2 + 0)/(1/50)?
False
Suppose -10*l - 10 = -15*l. Suppose 32 + 16 = j - 3*o, -l*j - 4*o = -46. Does 17 divide j?
False
Let k(m) = -4*m**3 + m**2 - m - 1. Let q(u) = -u + 4. Let w be 9 - 5 - 1*-1. Let b be q(w). Is 3 a factor of k(b)?
False
Suppose -5*r = -6*r. Suppose -t - 1 = r, -3*w + 0*t + 2*t + 32 = 0. Is w a multiple of 3?
False
Let s = -12 + 30. Suppose x = l + s, -2*x - 3*l = x - 60. Is 19 a factor of x?
True
Let t = -2 + 6. Suppose 0 = t*b + 2*c + 32, -5*b - 2*c = 3*c + 35. Let h = -6 - b. Is 2 a factor of h?
False
Let p = 25 - 18. Suppose 0 = 4*y - 8, -3*y - 2 - p = -5*l. Suppose -40 - 26 = -l*r. Does 12 divide r?
False
Let s = 105 + 3. Is s a multiple of 12?
True
Let o(j) = -2*j - 12. Let c be o(-9). Let t(z) = -z**2 + 8*z - 6. Is t(c) a multiple of 2?
True
Suppose -13*h = -9*h - 16. Suppose 0 = h*v - 5*o - 53 - 44, -5 = o. Is 6 a factor of v?
True
Let x(o) = -o**2 + 6*o - 4. Let l be x(4). Suppose 4*p - l*q = 108, 0 = 2*p - 5*q - 1 - 38. Does 10 divide p?
False
Is (225/(-6))/(12/(-24)) a multiple of 5?
True
Let z(i) = 72*i + 9. Let f be z(5). Does 12 divide ((-6)/(-18))/(3/f)?
False
Suppose 9 + 17 = y. Is y a multiple of 7?
False
Does 16 divide (-4)/(-8) - (-124)/8?
True
Suppose 4*y = -5*g + 140, -2*y = -g + 44 - 2. Does 32 divide g?
True
Let s = 29 - 20. Let j(b) = 3*b + 6. Is 9 a factor of j(s)?
False
Let c(v) = -v - 14. Let g be c(11). Let s = 9 - g. Is 19 a factor of s?
False
Let x(u) = -3*u - 4. Suppose 4*y - 9 = 3. Suppose -5*n + 9 = -6, -y*r = -n + 12. Does 4 divide x(r)?
False
Suppose t = -0*t + 4. Suppose -3*a - 2 = 2*c, -5*c - 2*a + t + 13 = 0. Is c even?
False
Suppose -3*g + 2*m = -32 + 376, 223 = -2*g - 5*m. Let d be g/(-4) + 2/4. Suppose -d = -4*u + 15. Does 9 divide u?
False
Let l(t) be the third derivative of 5*t**4/24 - t**3/3 - 3*t**2. Let x be l(4). Let n = x - 9. Is n a multiple of 3?
True
Let v be -2*5*(-5)/(-2). Let n = 73 + v. Let w = n + -30. Is w a multiple of 18?
True
Suppose 3*w - w = 2*z - 12, -5*z = -3*w - 36. Does 10 divide 1848/54 - 2/z?
False
Suppose -5*c + 3*m = -581, 79 + 262 = 3*c + 2*m. Is c a multiple of 36?
False
Let p = 41 - -11. Suppose -p + 0 = -2*k. Is 20 a factor of k?
False
Suppose -2*d = o - 12, 0 = 4*d - 8*d - 3*o + 28. Is ((-4)/(-12))/(d/276) a multiple of 17?
False
Suppose 8*f - 6*f - 46 = 0. Is f a multiple of 5?
False
Let r(w) = w**2 - 10*w + 5. Let c be r(10). Suppose -n + 2*n = -s + 10, 0 = -n + c*s + 16. Does 11 divide n?
True
Let f(c) = 25*c**2 + 4*c - 1. Does 33 divide f(3)?
False
Let g = 51 - 41. Is g a multiple of 4?
False
Suppose -4*f + 5*g + 21 = 0, 0 = f - 4*g + 1 + 2. Suppose 5*v = 2*v - f. Let z = 1 - v. Is z even?
True
Let x = 43 + 197. Is x a multiple of 30?
True
Let i = -131 + 189. Does 11 divide i?
False
Let f(l) = l + 26. Let u be (2 - (-36)/2) + 0. Suppose x - 4*q - 9 = 7, -3*x - 5*q = u. Is f(x) a multiple of 13?
True
Let o(z) = -2*z + 1. Let j be o(2). Is 7 a factor of (32/6)/((-2)/j)?
False
Suppose 5*d - 5*s - 5 = 0, 3*s + 0*s = -3*d - 27. Let a = d + 2. Does 14 divide (-56)/a - 0/(-1)?
True
Suppose -3*j - 50 = -8*j. Suppose 0 = 4*y + y - j. Does 6 divide 1*y + (-2 - -16)?
False
Let l = -3 + 5. Let r(f) = -11*f**l + 4 + f**3 - f - 10*f - 9. Is r(12) a multiple of 7?
True
Let s = 11 - -28. Let p = s + -20. Is p a multiple of 17?
False
Suppose -8 = -5*m + 17. Suppose 3*g - 160 = -m*p, -4*g - 5*p + 0*p = -210. Suppose -5*h = -0*h - g. Is h a multiple of 10?
True
Does 8 divide (-3 + 7)/((-1)/(-8))?
True
Suppose 4*r + 225 = 3*f, 3*r + 0*r + 9 = 0. Is f a multiple of 25?
False
Suppose s - 95 = 2*c, -c + 301 = 2*s + 91. Does 21 divide s?
False
Does 5 divide 2/(-6) + 680/24?
False
Let i(g) = 6*g + 18. Is 18 a factor of i(0)?
True
Let d(j) = 1 + 0 + 5*j - j + 1. Let x be d(-3). Let m = x + 47. Is m a multiple of 19?
False
Suppose 0*t - 2*r - 32 = -4*t, 0 = 5*t - 5*r - 40. Is t a multiple of 2?
True
Let d(t) = -4*t**3 - 4*t + 1. Is 7 a factor of d(-2)?
False
Suppose v + 2*v = 99. Is v a multiple of 33?
True
Let v(y) = y**3 - 10*y**2 + 9*y + 3. Let k be v(9). Let a be (2 + k/(-2))*4. Suppose 7*w = -5*d + 3*w + 136, -a*d - 2*w = -54. Does 11 divide d?
False
Let h(x) = -x**2 - 5*x + 1. Let f be h(-5). Suppose s + 9 = 3*g - s, 2*g - 3*s - f = 0. Let u = 21 + g. Is u a multiple of 12?
False
Suppose 3*x = 2*n - 0*x - 229, 0 = 3*n - 2*x - 336. Is n a multiple of 11?
True
Suppose 0 = -5*q + 545 - 185. Does 36 divide q?
True
Let l be 2*(0 + 1) + 40. Suppose -5*f = 3*x - 70, 6*x + l = 3*f + 2*x. Is f a multiple of 14?
True
Let i be -2 - 1/(2/(-12)). Suppose 2*o - 6*o = i*w - 4, -2*w = -o + 7. Is (w*(-1 - -7))/(-1) a multiple of 8?
False
Let n = 15 + -6. Let w be (n/12)/((-1)/(-4)). Suppose -k - w*h + 31 = 3*k, -14 = -k - 2*h. Is 3 a factor of k?
False
Suppose 8 = 2*k + 4*x, -44 = -k - 3*k - x. Let w = k - -60. Suppose w = -i + 4*i. Is