108. Does 19 divide g?
True
Let h = 0 + 7. Let n = -5 + h. Suppose 3*l - 63 = -4*g, -n*l = -5*g - l + 55. Is 12 a factor of g?
True
Let g = -46 - -56. Is 2 a factor of g?
True
Suppose x + 16 = -0*x. Let m = -2 - x. Is m a multiple of 7?
True
Suppose 2*i - i = -4*y - 101, -y - 29 = i. Suppose 3*n = 5*m - n - 360, 3*m + 3*n - 216 = 0. Let o = y + m. Does 16 divide o?
True
Suppose 5*g + 20 = -p + 4, 3*p - 2 = -5*g. Does 3 divide (-34)/(-3) - 3/p?
False
Let k be (3/(-2))/(12/(-32)). Suppose -k*r - 11 = 3*p, -2*r - 2*r = 20. Is 6*(-3 - (-19)/p) a multiple of 10?
True
Suppose 0 = p - 3*g - 33, p + 3*g = -p + 21. Does 8 divide p?
False
Let i(k) = -k**2 + 6*k - 4. Let w be i(6). Let g = 1 - w. Is 5 a factor of g?
True
Suppose -142 + 502 = 2*f. Does 9 divide f?
True
Let j = 1 + 1. Suppose -5 - 5 = -j*o. Suppose 5*r - 26 = o*n + 184, -2*n = 4*r - 150. Does 14 divide r?
False
Suppose -2*z - 2*s = s + 12, 3*s + 12 = -3*z. Suppose k - 62 = -z*k. Is k a multiple of 25?
False
Let n = 132 + -58. Does 12 divide n?
False
Let a(p) = p**2 + 6*p + 2. Let t be a(-6). Suppose t*c - 18 = -3*d, 3*d + 2 = c + 29. Is d/(-20) - 74/(-10) a multiple of 2?
False
Suppose w + 5 = -4*p, -2*w - 1 = -0*w - p. Is -1 + (-56)/w + -1 a multiple of 21?
False
Let o = 22 + 18. Is 17 a factor of o?
False
Suppose 4*h + 3*l + 10 = 27, 0 = -2*l + 6. Suppose 6 = h*r - 36. Is r a multiple of 6?
False
Let q(l) = l**2 - 4*l - 9. Is 6 a factor of q(7)?
True
Let s be (-4)/(-16) - 10/8. Let g = -26 - s. Is ((-18)/(-5))/((-10)/g) a multiple of 9?
True
Let m = 5 + -3. Let x(c) = 2*c + c + 6*c + 11 + c**m. Is x(-9) a multiple of 5?
False
Suppose 4*k - 250 - 26 = 0. Suppose 0 = 4*y + 5*o - 39, 3*y + 11 - k = 2*o. Is 8 a factor of 20/2*y/20?
True
Suppose -232*l = -231*l + 4. Suppose 3*u + 45 = 8*u. Let v = u + l. Is v a multiple of 4?
False
Suppose -i = 2*d - 36, -i - d - 162 = -5*i. Suppose 4*w = 288 - i. Is 31 a factor of w?
True
Let z be 4*(-1)/(2/12). Is 16/(-6)*z/16 a multiple of 4?
True
Suppose -4*p + 5 = -19. Suppose b + 55 = p*b. Does 11 divide b?
True
Suppose -t = -0*p - 5*p + 293, 4*p - 229 = -t. Does 58 divide p?
True
Let i = 23 - 11. Does 6 divide i?
True
Suppose 2*w = 3*a - 13, w + 20 = 4*a - 3*w. Let i(q) = 4*q. Let v be i(a). Suppose v = -3*n + 7*n, 2*k - n - 13 = 0. Is k a multiple of 8?
True
Let g(d) = 2*d - 4. Suppose 5*l + 2*x - 5*x = 32, -8 = 2*x. Let s be g(l). Suppose -4*b + s - 20 = -2*o, 4*b - 4 = 0. Is o a multiple of 5?
True
Let j be ((-2)/(-3))/(3/936). Suppose 6*p - 4*p - j = 4*q, 0 = -4*p + 2*q + 428. Is 28 a factor of p?
False
Suppose v - 2*v = 5, -c - 2*v + 5 = 0. Suppose -c = -5*q + 45. Does 8 divide q?
False
Let f(q) = 24*q**3 + q - 1. Suppose -s - 2 = -1. Let r be s/1 - 4/(-2). Is 12 a factor of f(r)?
True
Let r(b) = -b**2 + 12*b - 2. Is 10 a factor of r(5)?
False
Suppose 143 - 511 = -4*d. Is 23 a factor of d?
True
Is 3 a factor of (-2)/4 - 188/(-8)?
False
Let y(b) = b**3 + 14*b**2 + 7*b - 14. Is 23 a factor of y(-13)?
False
Let q = -12 - -25. Let p = q - 8. Suppose 0 = -3*d - 5*r + 54, -p*d + 4*d + r + 10 = 0. Is d a multiple of 10?
False
Does 46 divide 184/6*(-4 - (-5 + -8))?
True
Let n be 3/(-9)*-99*1. Suppose 0*p + n = 3*p. Suppose -h - f + p = -13, -2*h + 60 = -f. Is h a multiple of 22?
False
Let c = 472 - 51. Does 24 divide c?
False
Suppose 0 = 3*g + n, 2*n = -4*g - 2*n - 8. Is 1 + 15 + (g - 0) a multiple of 7?
False
Let w = -118 + 248. Is w a multiple of 9?
False
Let n(r) = r**3 + 8*r**2 - 9*r - 1. Let s be n(-9). Let t be -4 - s - 0 - 44. Does 12 divide (t/(-3))/((-3)/(-9))?
False
Let d be 30/(-3)*2/(-2). Suppose -4*o - 2 = -5*t + 14, 0 = -2*o - 2*t + d. Is 7 a factor of (o - 1 - -7) + 1?
False
Let d(q) = q**2 - 2*q - 2. Let t be d(4). Suppose 5*f - 3*w = 23, t*f = 2*f + w + 24. Does 4 divide f?
False
Let l(b) = b**3 + 3. Let t be l(0). Suppose -3*j = 4*w - 199, -w - 101 = -t*w - j. Is 13 a factor of w?
True
Suppose 4*o - 85 = -3*x, -2*x + o + 80 = x. Does 18 divide x?
False
Let y be 1*4*9/6. Suppose 4*f = f + y. Suppose -f*m = -5*m + 102. Is 17 a factor of m?
True
Let v(u) = -5*u + 3 - u + 5*u + 1. Is 3 a factor of v(-3)?
False
Let s(r) = -r**2 + 4*r + 3. Let p = 9 - 5. Let t be s(p). Suppose -5*q + t = -2*h, -2*h + 9 = -3*q + 2. Does 8 divide h?
False
Let h(a) = -4*a - 2. Let j(u) = -4*u - 1. Let c be -5 + (-5 - -1)/(-2). Let k(t) = c*j(t) + 2*h(t). Is 14 a factor of k(5)?
False
Suppose 3*h + 2*h = -4*z - 50, 3*h + 4*z + 38 = 0. Let m be 3/2 - 3/h. Suppose -5*j = m*r - 106, 4 + 0 = -2*r. Is 15 a factor of j?
False
Let l = 28 + -8. Does 12 divide l?
False
Let r(n) = -n**3 - 6*n**2 + 11*n. Does 22 divide r(-8)?
False
Suppose 2*z - 3 = 27. Is 5 a factor of z*(-3)/(-2 + -1)?
True
Let h(a) = -a**2 + 4*a. Let o be h(3). Let f(r) = 2*r**3 - r**2 + 4. Is f(o) a multiple of 11?
False
Let m(h) = 9*h**2 - 5*h - 4. Is m(-4) a multiple of 12?
False
Is (-2)/(-8) - 222/(-8) a multiple of 11?
False
Let w = 8 + -4. Is 12 a factor of (w/2)/2*16?
False
Let d = 173 + -121. Does 13 divide d?
True
Suppose x - 4*x = -9. Suppose k + 3*r + 23 = 2*k, 5*k - 103 = x*r. Is 12 a factor of k?
False
Suppose 0 = -s + 3*s. Suppose 0 = -5*v - 2*q + 83, s*q + 65 = 3*v + 5*q. Does 8 divide v?
False
Suppose l = r + 218, -3*r = l - 6*r - 214. Suppose 0 = 5*v, v = 5*z - 0*v - l. Suppose 2*c = -2*c + z. Is c a multiple of 6?
False
Suppose 0 + 4 = -2*d, -d = 3*v - 13. Is 15 a factor of (-2)/v - (-2022)/30?
False
Is 8 a factor of 56/4 + 3/3 + -2?
False
Let d = -8 - -14. Suppose c = 2*v - v + 24, 5*v - d = -c. Is 7 a factor of c?
True
Let m(k) be the first derivative of 1 - 2*k**2 - 2*k + 1/4*k**4 + 5/3*k**3. Does 9 divide m(-5)?
True
Let d(b) = 7*b**2 - 12*b - 11. Let u(c) = -15*c**2 + 25*c + 23. Let r(q) = 13*d(q) + 6*u(q). Let s be r(7). Suppose 2 = s*v - 16. Is v a multiple of 9?
True
Let m be (-30)/6*(-1)/1. Suppose 4*g - m*t - 47 = -10, -29 = -4*g - 3*t. Does 8 divide g?
True
Suppose 3*w + v + 15 = 5*w, 0 = -3*w + 2*v + 25. Suppose 184 = w*c - 81. Let t = c - 32. Is 10 a factor of t?
False
Let z = 80 + -50. Does 6 divide z?
True
Let q(b) = -88*b + 1. Let u be q(-1). Let y = u - 53. Is y a multiple of 11?
False
Let a = -174 + 196. Does 22 divide a?
True
Suppose -7*c + 2*c = -4*u, 0 = -u + c. Suppose 4*w - 63 = -3*a + w, u = 4*w - 4. Is a a multiple of 20?
True
Suppose -5*n + 3*o + o = -65, -2*n - 2*o + 26 = 0. Suppose 4*q + 4 = 0, -p + q + 2*q = -n. Is 9 a factor of p?
False
Suppose -b + 5*j + 160 = 3*b, -5*j = 2*b - 50. Suppose 7 = 3*u + 1. Suppose -u*o - 3*o = -b. Is o even?
False
Is 26/((-15)/6 + 3) a multiple of 35?
False
Suppose h - 3 = -1. Does 9 divide 9*(h + 1/(-3))?
False
Let h be 0 + 2 + 1*-11. Let n = 21 - h. Is n a multiple of 15?
True
Let q be (6 - 9)*(-4)/(-3). Let g = q + 30. Is 13 a factor of g?
True
Suppose -9*h + 4*h = -2180. Does 32 divide h?
False
Let j = 14 - 10. Suppose 3*n + 2*n = 0. Suppose n = -j*k + 56 + 12. Is 17 a factor of k?
True
Let d(c) = c**3 - 7*c**2 + 8*c - 9. Let b be d(6). Suppose b*f - 25 = -7. Suppose 92 = 3*h - 2*k, -4 = -5*k + f. Does 16 divide h?
True
Does 32 divide (44/77 - 15/14)*-582?
False
Let o = 382 - 182. Is 20 a factor of o?
True
Let p(h) = h**2 - 3*h + 10. Does 14 divide p(-8)?
True
Let g = -37 + 52. Is 3 a factor of g?
True
Suppose -12 = 3*d + 3*d. Does 10 divide (-252)/(-9) - (0 + d)?
True
Let w be 4/(-18) - (-6)/27. Suppose 2*n - 54 = -n + 2*d, -3*d + 9 = w. Is n a multiple of 10?
True
Let f(y) = y - 2. Let m = -8 - -31. Suppose -p = -u - 6 - 2, -4*p + u + m = 0. Does 2 divide f(p)?
False
Suppose 4*i = -i - 30. Is i*9/(-12)*4 a multiple of 18?
True
Let b(o) = -o**3 - 10*o**2 - o + 1. Let n be b(-10). Let j = 21 - n. Is 6 a factor of j?
False
Suppose -j - 23 = u - 4*u, 4*j = -5*u + 44. Is 7 a factor of u?
False
Let r(h) = -4*h + 4. Let f be r(-3). Suppose n = -c + f, 76 = 4*c + 2*n + 12. Is 16 a factor of c?
True
Let t be (-2 - (2 + -2))*-2. Suppose t*o - 2*o - 10 = 0. Does 5 divide o?
True
Suppose -3*q + 69 = -45. Is 7 a factor of q?
False
Suppose 79 + 85 = 4*b. Is b a multiple of 10?
False
Suppose 2*g = g - 4*o + 85, 3*g = -o + 288. Is g a multiple of 10?
False
Let h(k) be the third derivative of k**5/30 + k**4/8 + k**3/2 + 2*k**2. Let v be h(-2). Suppose 0 = 4*c - v - 39. Does 3 divide c?
False
Suppose -d - 3 + 10 = l, 3 = d. Suppose -2