Is d a multiple of 7?
True
Let a(s) = -33*s + 3. Suppose 0 = -5*k + 4*k - 5. Let m(x) = -16*x + 1. Let q(g) = k*m(g) + 2*a(g). Is q(2) a multiple of 8?
False
Let g(t) = t**3 + 10*t**2 - 10*t - 11. Is g(-10) a multiple of 16?
False
Let d(j) = 2*j - 1. Is 2 a factor of d(4)?
False
Let w = 128 - 59. Suppose 0*x + w = 3*x. Does 6 divide x?
False
Let o(v) = -2*v + 2. Suppose -3*f + f - 3 = 3*l, 5*f + 3*l = -12. Does 7 divide o(f)?
False
Let n(w) = w**3 + 5*w**2 + 4*w + 2. Let m be n(-4). Let t be m/(-4)*(-108)/1. Let b = 84 - t. Does 10 divide b?
True
Let y = 146 + -311. Let p = y - -253. Is 22 a factor of p?
True
Let s be (-6797)/9 + (-16)/(-72). Does 19 divide 1/4 + s/(-20)?
True
Does 9 divide 304/10 + 4/(-10)?
False
Is 4036/14 + 18/(-315)*5 a multiple of 32?
True
Let o(d) = d + 25. Is 5 a factor of o(0)?
True
Is 0 - 1*-3 - 90/(-5) a multiple of 6?
False
Let s(p) be the second derivative of p**3 - p**2 - 4*p. Is 23 a factor of s(8)?
True
Let q(i) = i + 8. Let l(v) = 7. Let m(g) = 7*l(g) - 6*q(g). Does 5 divide m(-2)?
False
Suppose 3*w + 1 = 46. Let u = 3 + w. Does 8 divide u?
False
Let w = 7 + -3. Suppose 2*n = 3*n - h - 52, -n + w*h = -40. Suppose 2*t = 2*a - t - n, 40 = 2*a + t. Is 10 a factor of a?
False
Suppose 5*v = 3*c - 5, -1 = -5*v - 6. Suppose -p - 3*t = -67, 4*p - 4*t = 188 - c. Does 26 divide p?
True
Let j(b) = b - 1. Let s be j(1). Is 11 a factor of (-17 + 6)*(-1 + s)?
True
Let r be (-80)/12*(-84)/10. Suppose -3*n + 29 = 4*q - 0*q, 0 = 5*n - q - r. Does 3 divide n?
False
Suppose -2*y + 65 - 11 = 0. Let h be (-1)/4 + (-118)/8. Let k = y + h. Is k a multiple of 6?
True
Let p be (2 + 9/(-6))*0. Let b = p + 18. Does 18 divide b?
True
Let b be 1*-1*10/(-2). Suppose z + b*m - 29 = -2*z, 4*z = -m + 16. Does 3 divide ((-2)/(-4))/(z/18)?
True
Let i be (-2)/(1 + 0 + 0). Let p = i - -1. Does 13 divide (132/8)/(p/(-2))?
False
Suppose 4 - 16 = -4*d. Let s be (1/2)/(d/228). Suppose 0 = -5*j + s + 52. Is 9 a factor of j?
True
Suppose -46 = -a + 4*t, 0*a = -a + 3*t + 47. Is 31 a factor of a?
False
Suppose -o = 2 - 10. Suppose -r = 5*r + 6. Is 21 a factor of r + 2 - (-416)/o?
False
Let d be (0 + 1)*80/4. Suppose 1 - d = -p. Does 18 divide p?
False
Suppose -2*k - 16 = -5*n - 153, 0 = -3*k - n + 163. Suppose 4*o = k + 188. Suppose -g + 3*l = -o, 0*g - 5*l - 67 = -g. Does 15 divide g?
False
Let d = -22 - -32. Let w(a) = a**3 + 3*a**2 - 4. Let s be w(-3). Let j = d - s. Is j a multiple of 7?
True
Suppose 60 = -3*g + 7*g. Suppose -4*n = -n - 15. Suppose -n*r = a - 75, 0 = r - 2*a - a - g. Is 5 a factor of r?
True
Is (-559)/39*(-5 + 4 + -2) a multiple of 7?
False
Let g = -21 + 30. Suppose i - 31 = g. Is 9 a factor of i?
False
Suppose -r + 35 = -43. Is 13 a factor of r?
True
Does 19 divide 8550/(-10)*(-6)/9?
True
Suppose -3*o + 6*o = 27. Let g = o - 6. Is 8 a factor of 47/g + 6/18?
True
Let w(q) = 3*q - 3. Is 13 a factor of w(14)?
True
Suppose 364 = 5*l + 2*j, 4*l - 290 = -3*j + 2*j. Suppose 0 = -5*g + l + 8. Does 8 divide g?
True
Let k(h) = -h + 11. Let f be k(7). Let l be ((-6)/f)/((-2)/(-12)). Is (-182)/l + 4/(-18) a multiple of 10?
True
Let c = 7 + 3. Does 16 divide 1205/25 + (-2)/c?
True
Suppose -a + 45 = 27. Is 9 a factor of a?
True
Does 19 divide (6/(-4))/(-3)*114?
True
Let h be ((-9)/(-5))/(6/20). Suppose 78 = -3*q + h*q. Is 6 a factor of q?
False
Suppose 5*j + 11 = -4*p + 2, -4*j - 16 = p. Suppose p*v - 21 = 75. Does 24 divide v?
True
Is 4 a factor of 77 + 8/12 + 32/(-12)?
False
Let z(b) = b**3 - 5*b**2 - b. Let h be z(6). Let k = -8 + h. Does 11 divide k?
True
Suppose 5*s - 3*s = -3*z + 13, -4*s = -2*z - 66. Does 14 divide (s/(-21))/(2/(-42))?
True
Suppose 5*n = 36 - 11. Suppose 5*s - 31 = -4*c, -n*c = s - 0*c - 23. Suppose l = -4*i - 0*l + 131, l - s = 0. Is i a multiple of 13?
False
Suppose -4*k + 226 = -454. Is 17 a factor of k?
True
Let s(z) = -z - 12. Let t be s(-5). Does 16 divide -1 - t/((-28)/(-184))?
False
Is 7 a factor of (6 + -2 - 39)*(-1)/1?
True
Let l = 24 + 67. Suppose -3*x + 2*x + j + 30 = 0, -3*x + l = -4*j. Let d = -19 + x. Is d a multiple of 5?
True
Let j = 5 + 2. Let a(s) = -s**3 + 6*s**2 + 7*s + 8. Let n be a(j). Is 6 a factor of (3/2)/(2/n)?
True
Let h be -4*((-3)/1)/6. Suppose -z + 3*d + 3 = 0, -2*d - 1 = -h*z + 9. Is z a multiple of 3?
True
Let x = -13 - -33. Let r = 95 - x. Is 37 a factor of r?
False
Suppose -3*z - 2 = -5. Let i be 22/z*3/2. Let b = i + -20. Is b a multiple of 13?
True
Let c(g) = g**2 - 3*g - 7. Let o be c(5). Suppose -2*d - 1 = 2*y - 21, -o*y + 2*d = -55. Is y a multiple of 5?
True
Suppose 0 = 3*j - 2*j. Suppose 4*r - r - 138 = j. Is r a multiple of 13?
False
Suppose -24 = -3*l - 0*v + 3*v, -l = 4*v - 28. Does 4 divide l?
True
Suppose 4*a = 0, -z = -2*z - a + 1. Let p be 2 - -11 - z - -2. Let f = p + -6. Is 3 a factor of f?
False
Suppose -v + 4*q + 47 = 0, 4*q = -6*v + 3*v + 173. Is 5 a factor of v?
True
Suppose 3*x = n + 21, -n + 2*x - 2 = 21. Let j be n*(-1)/((-3)/(-3)). Suppose j = i - 4*o, i - 2 + 3 = -3*o. Is 4 a factor of i?
False
Let x be (-26)/8 - 2/(-8). Let q(m) = -7*m + 2. Let z be q(x). Is 4 a factor of (-5)/(-20) - z/(-4)?
False
Let y = -75 + 105. Does 15 divide y?
True
Suppose -5*o + 88 = -72. Is o a multiple of 32?
True
Let l(u) be the third derivative of -u**5/60 + u**4/4 + u**3/3 + 7*u**2. Is l(5) a multiple of 2?
False
Suppose -3*h + h - 96 = 0. Is h/(-15) - (-1)/(-5) a multiple of 2?
False
Let u = -157 - -173. Is 4 a factor of u?
True
Let h(g) be the third derivative of g**2 + 0 - 1/60*g**5 + 0*g - 1/4*g**4 + 1/3*g**3. Does 2 divide h(-6)?
True
Suppose 4*m - 380 = -5*q, -3*m - 2*m + 215 = 3*q. Does 20 divide q?
True
Suppose 10 = 5*r, 3*h + 2*r + 0*r = 445. Is h a multiple of 34?
False
Let g(r) = -29*r**3 + 8*r**2 - 6*r - 1. Let f(k) = 30*k**3 - 9*k**2 + 7*k + 1. Let h(y) = 6*f(y) + 7*g(y). Let i be h(1). Is (0/2 - 2)*i a multiple of 15?
False
Let b(q) be the first derivative of q**6/360 - 7*q**5/120 + 5*q**4/12 - 5*q**3/3 + 3. Let y(z) be the third derivative of b(z). Is 10 a factor of y(7)?
True
Suppose 433 = -2*a + 633. Does 25 divide a?
True
Suppose -9*h = -h - 520. Is 13 a factor of h?
True
Does 7 divide (1 + 2/(-4))*32?
False
Suppose -2*w + 14 = -2*x, -1 = 4*x + 15. Suppose -3*p - 36 = -w*l, 0*p = 4*l + 3*p - 34. Does 4 divide l?
False
Suppose -2*n + k = -5 - 1, -3*n = 3*k. Suppose n*a - 3*a + 12 = 0. Is 6 a factor of a?
True
Is 10 a factor of (97 - -1) + -3 + (-10)/(-2)?
True
Let i(v) = v**2 + v + 3. Let u be i(0). Let n = u - 0. Suppose n*m - 103 = 14. Is m a multiple of 11?
False
Suppose 2*v + 0*v = -2*j + 14, -v + 7 = 4*j. Suppose -2*p - 180 = -v*p. Is p a multiple of 18?
True
Suppose -4*k + 120 + 104 = 0. Let g = k - 32. Is g a multiple of 12?
True
Let c = -75 + 87. Does 12 divide c?
True
Let c = 43 - 11. Let d = -23 + c. Suppose -j = -d - 0. Is j a multiple of 6?
False
Let m = 120 + -72. Is m a multiple of 13?
False
Suppose 5*g = -4*k - 0*k + 137, 4*k = 2*g + 130. Does 15 divide k?
False
Let y(k) = k**3 + k**2 - k + 20. Let m be -2 + (2 - (0 + 0)). Let b be y(m). Suppose 3*s - b = -l, -3*s = 2*l - 0*s - 34. Does 7 divide l?
True
Let z = 0 + 3. Suppose 4*d + 4*f - 6 = 22, 1 = z*d - f. Suppose 0*n - 2*l + 3 = -n, -10 = -d*l. Is n a multiple of 7?
True
Let u be ((-4)/2)/((-1)/(-3)). Let w(c) = -c**2 - 8*c - 3. Let s be w(u). Suppose s = -3*q, -5*q = -5*g + 16 + 79. Does 12 divide g?
False
Suppose -3*x = x + 16, 0 = 3*r - x + 38. Is (288/56)/((-3)/r) a multiple of 7?
False
Suppose 0 = 2*c - 0*o + 2*o - 762, 2*c = -4*o + 756. Is c a multiple of 15?
False
Let b(l) = -33*l - 4. Let t be b(-3). Let j = t - 55. Does 15 divide j?
False
Let w(n) = -n**3 - 10*n**2 + 11*n. Let b = -3 - 8. Let p be w(b). Suppose p*c + c = -s + 32, 2*c + 68 = 2*s. Is s a multiple of 15?
False
Is 5/(-20) - 82/(-8) even?
True
Let f(v) = 6*v**2 + 1. Is f(2) a multiple of 11?
False
Let t = -5 + 1. Is 3 - (3 + t - 14) a multiple of 10?
False
Let r(b) = b**3 + 8*b**2 + 8*b - 4. Is r(-6) a multiple of 17?
False
Suppose 0 = -x - 3*x - 128. Suppose 4*v + 8 = -2*n + 4*n, n = -4*v - 2. Does 17 divide 2/n - (x + -1)?
True
Suppose -3*n + 672 = -2*i + 5*i, -5*n + i + 1150 = 0. Suppose 2*r = g - 33, -n = -5*g + 5*r - 59. Does 7 divide g?
True
Let w(g) = g**3 - 7*g**2 + g - 1. Let a be w(7). Suppose -2*i + a = i. Does 2