 -2*h = 4*x - 338, 3*x - 2 = -3*h + 259. Suppose -b + 0*b = -x. Is b a multiple of 12?
False
Let n = -12 - -9. Let r = 6 + n. Suppose -2*s + 5*d - 2 = 0, 4*s - 23 + 1 = -r*d. Is s a multiple of 4?
True
Let u be ((-9)/(-3) - -12) + 3. Let q = 21 - u. Let v(m) = 2*m**3 - 2*m**2 + m + 4. Is v(q) a multiple of 18?
False
Let i(m) = -2*m**3 - 51*m + 2. Does 10 divide i(-6)?
True
Suppose -o = -42*k + 43*k - 338, -4*k + 3*o = -1331. Is k a multiple of 7?
False
Suppose -6 = -2*w - 2*j, -3*j - 7 = -5*w - 0. Suppose w*b = 6*b + 2*v - 8, 0 = -5*b - 5*v + 10. Is 20 a factor of 1936/96 + b/(-12)?
True
Let f = 19 - -8. Suppose 4*r - 54 = -3*m, -2 = -2*m - 5*r + f. Is 4 a factor of m?
False
Let m(z) = -z**2 + 11*z - 7. Let q be m(10). Suppose 10 = 2*l - q*l. Does 6 divide ((-16)/l)/((-16)/(-320))?
False
Let k = 99 + -11. Suppose 30 = -p + k. Does 29 divide p?
True
Let v be 3 + -6 - (-5)/(5/6). Let c(i) = 4*i**2 - 4*i - 1. Is c(v) a multiple of 2?
False
Suppose 0 = 3*f + z + 9, -2*f - 5 = 2*z - z. Let i be (-18)/63 + f/(-14). Suppose a - 5*w - 29 = i, a = -4*w - w + 49. Is 13 a factor of a?
True
Is 401 + ((-12)/(-15))/(9/(-45)) a multiple of 2?
False
Let n(z) = z**3 + 4*z**2 + 18*z - 12. Does 5 divide n(4)?
False
Let i be (-902)/(-33) - 1/3. Suppose -2*b + 7*k - 2*k + i = 0, b + 2*k = 0. Is b a multiple of 5?
False
Suppose -2*j + 52 = -5*m, -5*m + 5*j + 5 - 45 = 0. Let v be 4/12 - m/(-9). Is (3/6)/(v/(-94)) a multiple of 14?
False
Does 8 divide 3/11 + 598679/913?
True
Let g(o) = -3*o - 68. Let z be g(-18). Let b(r) = -2*r**2 - 33*r + 20. Does 18 divide b(z)?
True
Let y = 43 - 41. Is 7 a factor of (-285)/(-30) + y/(-4)?
False
Is (-26782)/(-98) + 2/(-7) a multiple of 98?
False
Suppose 52*t = -5*d + 47*t + 1355, 4*t - 540 = -2*d. Is d a multiple of 8?
True
Let n = -231 - -446. Does 6 divide n?
False
Let m(y) be the first derivative of -y**3/3 + 8*y**2 - 2*y + 5. Let u be m(9). Let f = u - 38. Does 4 divide f?
False
Suppose 5*d = 2*j - 90 + 7, 0 = d - 5. Does 18 divide j?
True
Suppose -25*t + 12 = -28*t. Is (t*22)/(26/(-13)) a multiple of 14?
False
Does 21 divide 378/(-28)*(-98)/3?
True
Suppose -1032 = -70*g + 68*g. Is 2 a factor of g?
True
Let s = -206 - -307. Suppose z - s - 158 = 0. Let v = z - 141. Is 30 a factor of v?
False
Let d be (-1608)/(-10)*(-5)/(-2). Is 9 a factor of (-32)/(-112) - d/(-14)?
False
Let r = -614 - -5039. Does 11 divide r?
False
Suppose 16*r = 17*r. Suppose p - 10 - 8 = r. Is 8 a factor of p?
False
Let s(v) = 5*v**2 - 18*v - 1. Let b(c) be the first derivative of -11*c**3/3 + 37*c**2/2 + 2*c - 5. Let z(q) = -4*b(q) - 9*s(q). Is 11 a factor of z(12)?
False
Let l = 22 + -22. Suppose -5*h + 3*h - y + 23 = l, -22 = -3*h - 4*y. Does 7 divide h?
True
Let t(h) = h**3 - 18*h**2 - 7*h + 23. Let d(b) = -b**3 + 17*b**2 + 8*b - 22. Let f(a) = 5*d(a) + 4*t(a). Is f(13) a multiple of 30?
False
Suppose 0 = 2*t - 2*b - 358, 0 = -5*t + 4*b - 85 + 979. Suppose 768 = -11*w - 398. Let k = t + w. Does 18 divide k?
True
Does 2 divide 13/(234/5346) - (0 - -3)?
True
Suppose 2*q = 8*q + 24. Let z(u) be the second derivative of -u**5/20 - 5*u**4/12 - u**3 - u**2/2 - 4*u. Is 2 a factor of z(q)?
False
Let i = -207 - -288. Does 9 divide i?
True
Suppose 5*o = -3*u + 21 - 3, 0 = -4*o - u + 13. Suppose 5*z - 2*p - 57 = -3*p, 51 = o*z - 5*p. Let a = z + 2. Is a a multiple of 4?
False
Let r(j) = j**2 + 8*j + 15. Let n be r(-6). Suppose 0 = q - n*q + 60. Suppose 5*l - 45 = q. Does 8 divide l?
False
Suppose 0 = -3*b + b. Suppose 0 = -b*p + p - 3. Suppose o = 2*o + 3, 0 = p*r - 2*o - 210. Is r a multiple of 24?
False
Let n = 1834 - 476. Is n a multiple of 7?
True
Is (69/4)/(1/40*1) a multiple of 10?
True
Let r = 479 - 333. Does 13 divide r?
False
Let i(c) = -102*c + 93. Is 22 a factor of i(-17)?
False
Let n(b) = 2*b + 6. Let d be n(-4). Let j be ((-19)/2)/(d/(-28)). Is 11 a factor of j/(-14) - (-3)/2?
True
Let c be (-5)/10 + (-18)/(-4). Suppose 3*h = -4*z + 25, -c*h - 2*z + 70 = -4*z. Let n = 51 - h. Is n a multiple of 12?
True
Let o be (28/5 - 0)/((-1)/(-55)). Let b = -132 + o. Is 31 a factor of b?
False
Let r(t) = -t**3 + 19*t**2 + 13*t - 4. Is r(19) a multiple of 9?
True
Suppose 1160 = 3*k + 2*k. Does 32 divide k?
False
Suppose 14*q - 2127 - 911 = 0. Does 31 divide q?
True
Suppose -2*u + 46 = 2*m - 6, u = 2*m + 20. Is (4*(-148)/u)/((-2)/3) a multiple of 10?
False
Let s(b) be the first derivative of -5*b**2/2 + 2*b - 7. Let r be s(1). Is 8 a factor of ((-310)/(-15))/((-2)/r)?
False
Let d(j) = -j**3 + 5*j**2 - 5*j - 2. Let w be d(3). Is 21 a factor of (328/(-8))/(w/(-2))?
False
Suppose -2*w = i - 193 + 135, 0 = 3*w + 5*i - 101. Is w a multiple of 16?
False
Suppose 13640 = -72*i + 83*i. Is i a multiple of 40?
True
Let p(s) = 2*s**3 - 6*s**2 + 5. Let i be p(4). Let q = 2 - 0. Suppose 3*a - 88 = u, -23 - i = -2*a + q*u. Does 10 divide a?
False
Let c(k) = 23*k**2 + 1. Let z be c(-1). Let g = 121 + z. Is g a multiple of 19?
False
Let y be 5/(-1)*24/(-20). Let l be y/3 - (0 - 14). Let a = l - 8. Does 8 divide a?
True
Let i(j) = j**2 + 3*j - 4. Let w be i(-5). Let z = w - 6. Suppose -2*n - 2 = z, -2*p + 0*p - n + 175 = 0. Is p a multiple of 18?
False
Let x = 38 - 30. Is 135/20 - (-10)/x a multiple of 8?
True
Suppose -14*t + 8 = -10*t. Suppose 91 = 2*g + l, -t*l - 2*l - 120 = -3*g. Is 11 a factor of g?
True
Let v(x) = -2*x**3 + 3*x**2 + 4*x + 1. Let n be v(3). Let s be (-4)/n - (-12)/(-42). Suppose -6*z + z - 5*q + 250 = s, 0 = 4*q + 8. Is z a multiple of 15?
False
Let q be (1 - 0)*(3 + 3). Does 14 divide (8/(-10))/(q/(-135))?
False
Is ((-2)/3)/(7 + (-7904)/1128) a multiple of 47?
True
Suppose 0*o - 5*o = -540. Let s = o - 53. Does 31 divide s?
False
Is 15/(2100/(-704) - -3) a multiple of 22?
True
Let i(f) = -2*f - 1. Suppose -6 = 5*x + 19. Let b be (-25)/5*(-3)/x. Is 5 a factor of i(b)?
True
Let o(x) be the first derivative of -x**2 + 0 - 3*x**2 + 7*x**2 - 11*x - 2. Does 11 divide o(9)?
False
Let z be (-4 - -16)/((-3)/22). Let d be 2/3 + z/(-12). Is (-10)/40 + 146/d a multiple of 18?
True
Suppose -17 = 2*f - 7. Let j(t) = -12*t - 20. Does 8 divide j(f)?
True
Let u = 3 - -341. Is u a multiple of 14?
False
Does 53 divide (60/2)/(-5*10/(-1225))?
False
Suppose -2*d + 511 = 5*i - 8*i, -2*d = -7*i - 523. Is 44 a factor of d?
False
Let i(a) = -a**3 + 15*a**2 + 17*a + 24. Let m be i(14). Suppose 3*p = -68 + m. Is p a multiple of 13?
True
Let q(z) = -z**3 + z**2 + 6*z + 3. Let y be q(3). Suppose -5*c = 4*b - 502, 0 = -4*c - y*b - 188 + 590. Is 28 a factor of c?
False
Suppose 1797 = 3*q + 3*r, 5*q + r = -r + 2980. Does 33 divide q?
True
Let x(n) be the second derivative of n**7/210 - n**6/180 + n**3/3 - n. Let y(g) be the second derivative of x(g). Is y(2) a multiple of 7?
False
Let i = -1420 + 2607. Is i a multiple of 71?
False
Let q(v) = 17*v + 100. Does 6 divide q(-5)?
False
Let g = -29 - -7. Let y = -74 - -70. Does 17 divide (-3090)/(-55) - y/g?
False
Let x be (-163)/2 + (-12)/8. Let d = -19 - x. Is 7 a factor of d?
False
Let f be (1*2*-2)/(-2). Suppose -2*b = f*b + 64. Is 3 + (-5 + 3 - b) a multiple of 15?
False
Let l = 49 + -45. Suppose o + j - 19 = -0*j, 2*o = -l*j + 44. Does 6 divide o?
False
Suppose 0 = 4*b - 2*g - 146, -2*b + 90 = 4*g + 22. Suppose r + 0*r - b = 0. Is r a multiple of 7?
False
Let q = -173 + 290. Is 9 a factor of q?
True
Suppose -47 = -4*q - 27. Suppose 0 = -2*c + 3 + q. Suppose 0 = -3*h - 2 - 13, -5*y + 295 = -c*h. Is 11 a factor of y?
True
Suppose -703*o = -709*o + 21924. Is 14 a factor of o?
True
Suppose -4*v = -5*v - 10. Let l = 8 - v. Suppose 0 = 5*b - 2*b - l. Is b even?
True
Let y = 104 - 73. Is y a multiple of 3?
False
Is (0 + 2)/((-22)/(-11880)) a multiple of 20?
True
Let z(i) = i**2 + i + 5. Let d be 16/(-12)*-1*3. Suppose 16 + 8 = -2*f - 3*n, -5*f - 46 = d*n. Is z(f) a multiple of 12?
False
Let o = 17 + -15. Suppose o*a + 12 - 88 = 0. Suppose -50 = -4*h + a. Is 4 a factor of h?
False
Let y(p) = 3*p + 9. Is 53 a factor of y(50)?
True
Let j(o) = -o**3 - 5*o**2 + o + 1. Let n(t) = -4*t**3 - 21*t**2 + 5*t + 5. Let d(w) = 9*j(w) - 2*n(w). Does 13 divide d(-5)?
False
Suppose -2*b = -u + 713 + 961, u - 3*b = 1678. Does 17 divide u?
True
Does 28 divide 4/2*-40*196/(-112)?
True
Let z(t) = -t**2 + 2*t + 1. Suppose 4*y - 24 = -12. Let v be z(y). Let n(a) = -4*a