ue
Let i = -940 - -1362. Is i a multiple of 14?
False
Let q(k) = -k**3 + 12*k**2 - 6*k - 6. Let g(h) = 0*h - 7 + 9*h**2 - 7*h - 8*h**2. Let m be g(9). Does 8 divide q(m)?
False
Let r(q) = -q**2 + 2*q + 3. Let o(v) = 3*v**2 - 6*v - 8. Let i(c) = 4*o(c) + 11*r(c). Let d be i(1). Suppose 2*h - 6 = -d*h. Is h even?
False
Let s(m) = 5 - 2 + m + 0. Let p be s(-3). Let k = p + 15. Is k a multiple of 10?
False
Suppose 4*q - 30 = -g, -g + 4*g = -q + 57. Let s = -309 - -299. Let o = g - s. Does 7 divide o?
True
Let b(d) = d**3 - 6*d**2 + 16*d - 8. Does 23 divide b(5)?
False
Is 15 a factor of (3024/(-54))/(-1*(-6)/(-459))?
False
Suppose 0 = -3*a + 2279 + 946. Does 43 divide a?
True
Let m(b) = 181*b. Let a be m(1). Suppose -5*w = -4*q - 601, 3*w - 8*w + 610 = 5*q. Let d = a - w. Is 20 a factor of d?
True
Suppose 27 + 20 = 4*n + w, -2*n = 4*w - 34. Let k = n + 9. Is k a multiple of 3?
False
Let r be (1 - 428)/(3/6). Let z = 577 + -572. Is z/20 + r/(-8) a multiple of 28?
False
Suppose -2*p + b - 16 = -0*b, -2*b = 4*p + 40. Is 15 a factor of 850/15 + (-3)/p?
False
Let b = 13 + -26. Let m = -11 - b. Suppose 3*a - 4*k = 164, 2*k - 16 = -m*k. Does 20 divide a?
True
Let f(m) = -m**3 + 10*m**2 - 10*m + 2. Let z be f(8). Suppose -z = -4*g + 34. Is 7 a factor of g?
True
Does 61 divide ((-2221)/(-4))/(5*12/240)?
False
Suppose -x = x - 6. Let c be -10*x/6 - -3. Is (-595)/(-55) + c/(-11) a multiple of 5?
False
Let a(f) = -f + 12. Suppose 0*v - 9 = -v. Let h be a(v). Suppose 8*n = h*n - 4*x + 224, -3*n = 4*x - 128. Does 24 divide n?
True
Suppose 2*z = 44*z - 3444. Suppose 29 - 158 = -3*q. Let g = z - q. Is 24 a factor of g?
False
Let f = -59 + 55. Does 15 divide ((6 - -10) + f)/(2/5)?
True
Let o(a) = -2*a + a**2 - 10*a - 2*a - 9 + 1. Let q(t) = -3*t**2 + 27*t + 16. Let h(u) = 5*o(u) + 2*q(u). Does 8 divide h(-12)?
True
Suppose 5*w = 2*w + 405. Suppose 3*o - 8*o = -w. Does 9 divide o?
True
Let n(j) = -j**3 + 4*j**2 + 3*j - 10. Let o be n(4). Suppose 2*u + 0*p - 108 = o*p, -3*u + 155 = 4*p. Is u a multiple of 19?
False
Let u be (-152)/(-8) + (-2)/2. Suppose -p = -u - 19. Is p a multiple of 7?
False
Suppose -2*g - 3 = -5*g, -3*s = g - 13. Suppose -389 = -s*y + 5*n, 0 = -3*y + 8*y - 4*n - 484. Does 16 divide y?
True
Let t(q) = q**3 - q**2 - 6*q - 7. Let u(y) = -y**3 + 7*y**2 + 6. Let l be u(7). Let z be (3 - l) + 7 + 1. Is 18 a factor of t(z)?
False
Suppose 5*a = -5*t - 744 + 2709, 801 = 2*a - 3*t. Is 36 a factor of a?
True
Let t = -112 - -925. Is t a multiple of 14?
False
Suppose -a - 4*m = m + 3, -4*a - m = 107. Is 16 a factor of ((-24)/a)/((-3)/(-1113))?
False
Let q = -3 - -6. Suppose 0 = x + 2*g - 28, -3*x + 2*g + 176 = 2*x. Suppose -q*r + x = -17. Does 7 divide r?
False
Let b(y) = 2*y - 1. Let g be b(2). Suppose -108 = -g*x + 2*x. Is x a multiple of 10?
False
Suppose -5*b + 14 = 4. Is 6 a factor of ((-42)/5)/(b/(-10))?
True
Suppose -8*f - 486 + 5918 = 0. Is f a multiple of 7?
True
Let t = 866 + 3730. Does 83 divide t?
False
Suppose o - 1 = -2*y, -4*y - 3*o - 3 + 2 = 0. Suppose 5*c - 6 - 2 = -y*x, 0 = 2*x - 3*c - 8. Does 10 divide -4*x/(-48)*30?
True
Let w be 2/(-4) + 4/8. Suppose p + 2*z = -w*p + 48, -4*p + 192 = 5*z. Is p a multiple of 24?
True
Let v be 434*6/(12/7). Suppose 3*d - 431 = v. Is d/14 - (-3)/(-7) a multiple of 23?
True
Suppose a = 2*a - 100. Does 5 divide a?
True
Let o(y) = -y**2 - 18*y - 11. Let i be ((-9)/2 - 0)*(-20)/(-10). Is o(i) a multiple of 14?
True
Suppose -3*r + 4*p = 3*p - 274, -r + 4*p + 73 = 0. Let y = 153 - r. Is y a multiple of 12?
True
Suppose -802 - 2350 = -4*m. Suppose 0 = -3*t - 305 + m. Is 16 a factor of t?
False
Suppose -4*n + 28 = -5*p - 473, -n - 2*p = -135. Is n a multiple of 5?
False
Let r(u) = 3*u + 31. Let x be r(-9). Suppose -12*m = -x*m - 1104. Does 15 divide m?
False
Let p(k) = 4*k. Let f be p(1). Suppose -a - f*a = -3*t - 180, -a + 36 = 2*t. Does 9 divide a?
True
Suppose 2*v - 5*v - 15 = 0. Is 27 a factor of 3620/50 - 3/v?
False
Let h(g) = 8*g**2 + g**2 + 7 - 3 + 2*g - 8*g**2. Let p be h(-8). Let x = -18 + p. Does 7 divide x?
False
Let j = 12 - 22. Is 10 a factor of 2/j - (1212/(-20))/3?
True
Let i = -22 + 10. Let k(z) be the first derivative of -2*z**2 - 6*z + 6. Is k(i) a multiple of 12?
False
Let l be 0/((3 + -2)*(-1)/1). Suppose l*i = -9*i + 639. Is i a multiple of 10?
False
Let o = 21 + -19. Does 18 divide (109 - o)*(4 - 3)?
False
Let a(f) = f**2 - 13*f + 42. Let q be a(7). Does 9 divide 17*((-2)/(-1) + q)?
False
Is 2/12 + 5775/18 + 2 a multiple of 17?
True
Let f(d) = 9*d + 8. Let n be f(-4). Let s = n - -33. Does 10 divide (510/s)/3 - -1?
False
Let p = -791 + 949. Is p a multiple of 7?
False
Let i(s) = s**2 + 6*s - 1. Let a be i(-7). Suppose z - a*z = -15. Is (-68)/z*39/(-26) a multiple of 17?
True
Let g = 359 - 217. Is g a multiple of 16?
False
Suppose 4*v = v + 54. Let q be 170/45 - (-4)/v. Suppose 2*u = 8, -u = j + q*j - 164. Is 32 a factor of j?
True
Suppose -3*m = 2*m - 3*f - 1521, 2*m + 4*f = 624. Does 3 divide m?
True
Suppose 3*g - 6 = -0*g. Suppose -5 = g*d + 3. Let o(j) = -j**3 - 2*j**2 + 2*j - 2. Is 7 a factor of o(d)?
False
Let v(o) = -2*o**2 + 3*o + 3. Let c be v(3). Let z(h) = -4*h**2 - 2 + 7*h - 60*h**3 + 31*h**3 + 28*h**3. Is 12 a factor of z(c)?
False
Let g be 2/(-12) + (-7688)/(-48). Suppose 2*n = -40 + g. Is 20 a factor of n?
True
Suppose 0 = 2*x - 4*z - 200, 0*x = -x + 5*z + 106. Suppose 3*t + t = x. Does 8 divide t?
True
Is 3 a factor of 324/(-81) - (-507 + (0 - -1))?
False
Let x = 25 - -2. Suppose 0*h + x = j + h, 0 = -4*j - 2*h + 106. Is 3 a factor of j?
False
Suppose 9*d - 4*d + 4*x = 45, 4*d - 4*x = 0. Suppose d*s = -f - f + 157, 305 = 5*f - 5*s. Does 11 divide f?
True
Suppose 4 + 16 = r. Let u(o) = -o**2 + 25*o + 8. Does 18 divide u(r)?
True
Let g = 274 + -163. Suppose -5*b + 29 = -g. Is b a multiple of 5?
False
Suppose 4*o + 40 = -2*l, 3*o - 3 = 2*o. Let x = -15 - l. Suppose -x - 1 = -4*w. Is w even?
False
Let c(n) be the first derivative of 7*n**4/4 - n**3/3 - 2*n**2 + 3*n + 2. Is c(2) a multiple of 14?
False
Let v be (-3 - (-6)/2)/(-1). Suppose 3*u - u - 18 = v. Let x = -2 + u. Does 7 divide x?
True
Suppose v = -0*v - 5. Is (v*1)/(20/(-260)) a multiple of 17?
False
Suppose 5*n - 2*n = 24. Suppose 0 = -p - 62 + 87. Let f = n + p. Is f a multiple of 13?
False
Let h = 3673 + -1934. Is h a multiple of 19?
False
Suppose 0 = -2*x - 0*x + 52. Let n be 4/x + 100/26. Suppose n*r - 70 = -r. Is r a multiple of 3?
False
Let s = 9 - 9. Suppose -71*j + 78*j - 392 = s. Is j a multiple of 19?
False
Let y(j) = -3*j**3 + 29*j**2 + 31*j + 13. Let q(o) = -8*o**3 + 86*o**2 + 93*o + 39. Let f(t) = -4*q(t) + 11*y(t). Is f(-24) a multiple of 27?
False
Suppose -2*l = -l - 2*l. Does 29 divide l + 4 - (-78 - 6)?
False
Suppose -3*n = -4 - 23. Let l = n - -6. Is 7 a factor of l?
False
Suppose z = -p + 330, 136*p - 965 = 133*p + 2*z. Does 5 divide p?
True
Let q be (22/(-10) + 1)/((-6)/150). Let r(z) = 3*z - 6. Let l be r(-5). Let j = q + l. Is j a multiple of 8?
False
Suppose -3*n = 2*d - 7*n - 24, 0 = 2*d + 4*n. Suppose -64 - 386 = -d*m. Is m a multiple of 25?
True
Suppose 39*u + 408 = 41*u. Does 6 divide u?
True
Suppose 9*d - 1032 = 291. Is 49 a factor of d?
True
Suppose 4*z + 10*j - 5*j = 41, z - j = 8. Suppose -12*r = -z*r - 420. Suppose -r = -c - 4*c. Is c a multiple of 7?
True
Let p(b) = -b**3 + b**2 + b + 1. Let a(q) = 3*q**3 - 2*q**2 - 5*q - 5. Let h(j) = -a(j) - 5*p(j). Let w = 78 - 75. Is 9 a factor of h(w)?
True
Let g = 1 - 6. Let l(k) = 2*k**2 - 9*k - 11. Is 28 a factor of l(g)?
True
Suppose 8*r + 4090 = 18*r. Does 16 divide r?
False
Suppose 5*l - 3*u = 2795, 2*l = -4*u + 1110 + 34. Does 4 divide l?
False
Suppose 0 = 2*v - 3*c - 944, 6*v - 4*c = 8*v - 958. Does 19 divide v?
True
Suppose 14*q = 19*q - 3990. Is q a multiple of 9?
False
Let n = -1222 + 3464. Is n a multiple of 18?
False
Suppose 2*g + 9 = -g. Let h = -3 - g. Suppose 3*m - 17 - 52 = h. Does 17 divide m?
False
Suppose -2*n = 2 - 6. Suppose k + k - n*t + 132 = 0, -k = 5*t + 42. Let f = k - -116. Does 18 divide f?
True
Let w(f) = f - 2. Suppose -5*m = -2*p - 28, 4*m - 35 = 4*p - 15. Let n be w(m). Does 24 divide n/6*(-729)/(-18)?
False
Suppose 14*b = 1813 + 19145. Is b a multiple of 15?
False
Let m(n) = 4*n**3 + 4*n**2 - 9*n + 60. Is 29 a facto