 Does 8 divide d?
False
Let h(y) = -y**2 + 4*y. Let i be (-1)/(2*2/(-16)). Let m be h(i). Suppose 3*g = -m*g + 33. Is g a multiple of 4?
False
Let k(z) = -10*z + 12. Let m = -2 - 3. Does 31 divide k(m)?
True
Let p = -13 + 20. Suppose f + 0 = p. Is 7 a factor of f?
True
Suppose -5*d + 62 - 23 = -t, -2*d + 10 = 0. Let c = t - -30. Does 5 divide c?
False
Is 1/(5/245) - 4 a multiple of 17?
False
Let r(u) = -2*u**2 - 2*u**3 + u**3 + u + 5 + 2*u - 2*u**2. Does 15 divide r(-5)?
True
Suppose -20 = -10*i + 5*i. Suppose 6*x = i*x + 56. Does 12 divide x?
False
Let x = -16 - -23. Is x a multiple of 2?
False
Suppose 0 = 4*s + s. Suppose -5*b + w + w + 316 = s, 2*b - 126 = w. Does 18 divide b?
False
Let r(d) = 26*d - 41. Is 47 a factor of r(9)?
False
Let d = -139 - -246. Does 40 divide d?
False
Suppose 0 = 3*n + 14 - 122. Does 19 divide n?
False
Suppose 8 + 7 = 3*g. Suppose 4*f - 24 + 9 = g*t, f + 2*t + 6 = 0. Suppose -3*b + 57 = -f*b. Is 7 a factor of b?
False
Let s = -156 - 362. Is 10 a factor of 10/65 + s/(-13)?
True
Let l(b) = -15*b - 10. Let y = -23 + 18. Is l(y) a multiple of 32?
False
Suppose -15 + 3 = -4*h. Suppose -w = h*w + 3*y - 189, 123 = 3*w - 4*y. Is w a multiple of 19?
False
Let r be -2*((-15)/(-6) - 3). Suppose 6*t - 4*t = -3*o + 34, -3*t = -2*o + r. Does 4 divide o?
True
Let r(t) = t**2 + 2*t - 7. Suppose 4 - 24 = -4*c. Suppose 3*z + 4*h = h - 6, -35 = 4*z - c*h. Does 7 divide r(z)?
False
Suppose 3*g + g - 820 = 0. Is g a multiple of 13?
False
Suppose 0 = -3*a + 2*l - 6*l + 631, -4*l + 1057 = 5*a. Let h(u) = u**3 - 11*u**2 - 15*u + 14. Let f be h(13). Suppose a + f = 5*g. Does 19 divide g?
False
Let f(i) = -i - 5. Let y be f(-8). Suppose 4*a = y*a + 1. Let j(g) = 8*g**3 - g**2 + 1. Is j(a) a multiple of 4?
True
Let m(u) be the third derivative of -u**5/60 + u**4/24 + 2*u**3/3 - u**2. Let l be m(0). Let z = 12 - l. Does 3 divide z?
False
Let l = -7 - -9. Is 16 a factor of ((-56)/(-10))/(l/10)?
False
Is 1/(-2) - (-3 - 1155/10) a multiple of 11?
False
Let t be 8 - (-1 - -2)*-2. Let j(r) = -r**3 + 8*r**2 - 6*r - 6. Let l be j(7). Is (l + -39)*(-5)/t a multiple of 7?
False
Let n = -34 + 77. Is n a multiple of 18?
False
Let y(c) = -c + 16. Let q be y(11). Suppose i + 119 = 5*s - s, s - q*i - 44 = 0. Is 9 a factor of s?
False
Suppose -2*i - 33 = -3*p - 3*i, -4*i = -p + 11. Suppose 4*l + 3 = p. Suppose -3*k - l*k + 60 = 0. Is k a multiple of 12?
True
Let u(d) = d - 1. Let y be u(6). Suppose -y*j = -6 - 4. Suppose -j*b - 5*i = -5 - 89, -3*b + 2*i + 103 = 0. Is b a multiple of 16?
False
Suppose -t + 5*u = -0*t - 3, -4*u = 0. Does 3 divide t?
True
Suppose 3*i + 6 = 5*i. Suppose -4*u - a = -0*a - 5, -u - i*a = 7. Does 2 divide u?
True
Let t = 11 - 9. Is (2 - -19 - 1) + t a multiple of 11?
True
Let m = -88 - -184. Does 24 divide m?
True
Suppose -2*i + 4*i - 4 = 0. Let w = 30 - i. Is w a multiple of 14?
True
Let q be 4*1/2 + 15. Suppose -4*c - 2*t = 1 + 25, 0 = 3*c - t + q. Does 13 divide -1*c/(-3) - -15?
True
Suppose 21 = -5*s - 4*g, 0*g + 2*g = -3*s - 13. Let i be s - -3 - (-19 + 1). Suppose 3*o = o + i. Is 4 a factor of o?
True
Let n(z) = z**2 - 5*z - 4. Let v be n(6). Suppose -v*f + 12 = -f. Let b = f + -5. Is 7 a factor of b?
True
Suppose -5 = -3*t + 2*t. Is t a multiple of 2?
False
Does 13 divide (178/(-4))/((-6)/12)?
False
Let d = 2 - -2. Suppose -f = 3*f + 5*p - 588, 5*f - 5*p - 735 = 0. Is f/d + (-4)/(-16) a multiple of 13?
False
Let l = 8 - 5. Suppose 3*t - 48 = -5*n + 111, -5*t + l*n = -231. Does 17 divide t?
False
Let k = 35 + -6. Is 8 a factor of k?
False
Let f = 1 + 0. Let q(r) = 3*r**2 + 4*r + 4. Let j(a) = -a**2 - a. Let k(z) = f*j(z) + q(z). Does 16 divide k(-5)?
False
Let f(p) = p**3 - 7*p**2 + p + 2. Let m be f(6). Let i = 49 + m. Let c = -10 + i. Is 11 a factor of c?
True
Suppose 0 = -3*q + 6*q + 4*t - 277, 5*t = -3*q + 275. Suppose q = i + 17. Is 23 a factor of i?
False
Let l(y) = -y - 4. Let z be l(0). Let r be (-3 + 2)*-1*15. Let m = z + r. Does 8 divide m?
False
Let g = -3 - 0. Let r(v) be the first derivative of -3*v**2/2 - 3*v - 3. Is r(g) a multiple of 6?
True
Let d(p) = -p**3 - 16*p**2 - p + 18. Is d(-16) a multiple of 8?
False
Let w(k) = -k**2 - 10*k - 3. Is 2 a factor of w(-4)?
False
Let g = -13 - -23. Let a(m) = -m**2 + 13*m + 4. Is 7 a factor of a(g)?
False
Is 22 a factor of 2 + 84/(2/1)?
True
Is 42 a factor of ((-32)/(-10))/(-7 + (-1686)/(-240))?
False
Let u be 1*(5 + -2 + 14). Let o = -4 + u. Is 13 a factor of o?
True
Suppose -4*b = -8, -z + b = -0*z. Suppose z*l + 6 = -4*g + 34, -3*l + 12 = -4*g. Suppose -2*n + 20 = -2*s - 4, 0 = -4*n - 4*s + l. Is n a multiple of 5?
False
Let n(l) = l**3 + 10*l**2 + 5*l - 1. Let j be n(-9). Suppose 3*c = w + 29, j = 2*c + 4*w + 11. Let f = -5 + c. Is 2 a factor of f?
False
Is 3 a factor of 1/(-3) - (-34)/3?
False
Let i(b) = -b - 5. Let l be i(-4). Let g = 1 - l. Does 2 divide g?
True
Suppose g - 4*g = -4*l + 221, -271 = -5*l + 2*g. Suppose 5*k - 4 - 11 = 0. Suppose k*r - 13 = l. Does 11 divide r?
True
Let n = 11 - 7. Suppose n*l - 15 = l. Is 5 a factor of l?
True
Let k be 9/(-21) + (-261)/(-21). Suppose -2*g - g + 9 = 0. Let r = k + g. Is 4 a factor of r?
False
Suppose -2*v - 4 = -10. Suppose -v*a - 5*c + 81 = 0, -4*c = -0*a + 4*a - 116. Let p = -2 + a. Does 12 divide p?
False
Let w be (20 - 19) + 1*3. Suppose w*n = -82 + 306. Is n a multiple of 28?
True
Suppose 4*h - 7*h = -z + 32, 0 = z + 5*h - 48. Is z a multiple of 8?
False
Suppose r - 85 = 4*l, -r + 100 = 3*l - 4*l. Is r a multiple of 15?
True
Let u(q) = -q**3 + 9*q**2 + 11*q - 10. Let a be u(10). Suppose 4*p + a*p - 176 = 0. Does 16 divide p?
False
Suppose 0 = -3*b + 5*b. Suppose -3*t + 4*f + 54 = b, -3*t + 0*f = -3*f - 51. Is 14 a factor of t?
True
Let d(a) = 12*a**3 - 2*a**2 + a. Does 4 divide d(1)?
False
Suppose -p - 3*m + 61 = -4*m, -2*p - 5*m = -87. Is p a multiple of 17?
False
Let l(i) = -i**2 + 7*i - 3. Let a be l(6). Suppose 21 = a*h - 2*r, 3*h = -h - 5*r + 51. Is 6 a factor of h?
False
Suppose -i + 8*i - 105 = 0. Is i a multiple of 15?
True
Suppose -r + 179 = -155. Is r a multiple of 31?
False
Suppose -5*a = 4 + 6. Let t be (-5 + 10)*(-8)/2. Does 5 divide (t/(-6))/(a/(-3))?
True
Suppose 0 = 2*x + 2*x - 648. Is x a multiple of 42?
False
Suppose -3*n + 5*c = -0*n + 11, 3*n = 4*c - 7. Suppose 5*k - n*m = 2*k + 9, -3*k - 2*m = -4. Does 7 divide (-1)/(k*1/(-22))?
False
Let k = 0 - 0. Suppose k = 3*g - 3 - 9. Is g a multiple of 3?
False
Suppose 3*i - l = -0 - 9, 5*i + 4*l + 15 = 0. Let y = 13 + i. Does 6 divide y?
False
Suppose 3*s - 5*p - 10 = 0, 5 = s - 2*p + 3. Let q = s - 5. Suppose -q*l + 52 = 4*o, -2*o + 4*o - 56 = -5*l. Is 6 a factor of l?
True
Let p(i) = -i**3 + 4*i**2 - 2*i. Let a be p(3). Suppose -3*n = 2*f - 49, a*n + 51 = 7*f - 4*f. Is 5 a factor of f?
True
Let z = 95 - 67. Is 28 a factor of z?
True
Let n be -7 - (4 + -7) - 71. Suppose 0 = 3*o - 5*o - 108. Let b = o - n. Is 11 a factor of b?
False
Suppose 3*g - 2*c + 3*c = 28, -43 = -5*g + 2*c. Is 9 a factor of g?
True
Suppose 5*a - a = 16. Suppose -5*u = -5*q + 165, 7*q + a*u - 64 = 4*q. Is 12 a factor of q?
False
Let c(k) = k**3 - 4*k**2 + 4*k - 3. Let v be c(3). Suppose 5*h - h - 8 = v. Suppose -h*p + 94 = 14. Is 16 a factor of p?
False
Let a be 4 + (-2 + 2)*1. Suppose -27 = -a*f + 53. Does 10 divide f?
True
Suppose -4*z - 2 + 22 = 0. Suppose 3*r - 91 = -2*h + 14, 2*r = z*h - 291. Does 26 divide h?
False
Let f = -9 - -33. Is f a multiple of 4?
True
Suppose 7*v = 2*v + 15. Suppose -x + 912 = 4*l, -v*l = -l + 3*x - 466. Suppose -a + 49 = -f, 4*a - l = -2*f - 1. Does 18 divide a?
True
Let z(a) = 4*a**2 - a + 7. Let i be (-3)/1*(1 - 2). Does 10 divide z(i)?
True
Let k(r) = r**3 + 13*r**2 - 16*r + 20. Is k(-14) a multiple of 12?
True
Let q(u) = -u**2 + 7*u - 1. Let x = 8 - 14. Let o = x + 10. Is 11 a factor of q(o)?
True
Let h = -23 + 1. Is (-2 + h)/((-1)/1) a multiple of 5?
False
Let v(a) = -a - 3. Let h(q) = 2*q**2 + 4*q + 1. Let c be h(-3). Let d be c/(-14) + (-13)/2. Is v(d) a multiple of 2?
True
Let z be ((-1)/3)/((-3)/36). Suppose 5*s + 2*u = 98 - 10, 5*s = -z*u + 96. Is 8 a factor of s?
True
Let v(b) = 2*b**2 + 7*b - 6. Suppose 0 = -5*x - 0*x - 30. Is v(x) a multiple of 12?
True
Suppose 2*m - 2*b = 2*b - 16, -20 = -5*b. Suppose 0 = -3*t + 6 - m, -3*t + 22