 Let f(g) = 1 + g**3 - g + 4*g - i*g**2 - 5 + 44*g**2. Is f(9) a multiple of 23?
True
Let k = -12 + 14. Suppose 59 - 13 = 2*n + k*q, -4*n = -4*q - 132. Let h = -11 + n. Does 17 divide h?
True
Let i(r) = 4 - 8 - r - 7 + 4*r - 1. Suppose -34 = -3*b - 13. Does 9 divide i(b)?
True
Suppose 14 - 14 = -2*g. Suppose 3*f - 2*l = 56, -f + 12 = l - g. Is f a multiple of 2?
True
Let y be 237 - 2/4*-2*1. Suppose m + y = 8*m. Is m a multiple of 34?
True
Let g = 1377 + -852. Is 75 a factor of g?
True
Let p(i) be the third derivative of i**5/60 - i**4/12 + 5*i**3/3 + 16*i**2. Is 3 a factor of p(4)?
True
Suppose 0*l + 3*l = 2*t + 1823, -5*t = 4*l - 2400. Is 11 a factor of l?
True
Let o(y) = y**3 - 6*y**2 - 2*y + 9. Let t be o(7). Let j be 3 + t/(-4) - 2. Is ((-24)/j)/((-6)/(-30)) a multiple of 3?
True
Let j(x) be the second derivative of -x**4/3 - x**3/3 + x**2 - 10*x. Let u be j(-2). Let s = 19 + u. Is s a multiple of 4?
False
Let t(d) = -3*d + 2. Let g be t(4). Let r be (6/4)/((-1)/g). Let x = r + -13. Is x a multiple of 2?
True
Suppose 0 = 11*h + h - 516. Is h a multiple of 43?
True
Let f(r) = r**3 + 7*r**2 - 4*r + 2. Let s be f(-8). Let t be 5/(-2)*36/s. Suppose 0 = -t*p + 2*h + 48, 27 = -p + 3*p - 3*h. Is p a multiple of 6?
True
Is ((-452)/(-20) + -9)/((-4)/(-370)) a multiple of 34?
True
Suppose 0 = l + 3*l - 28. Is 6 a factor of 8/1 + l + -3?
True
Let w(k) = 15*k**3 + 3*k**2 - 2*k - 2. Let o = -43 - -45. Is w(o) a multiple of 21?
True
Let y(z) be the second derivative of -z**4/12 - z**3/6 + 6*z. Let q be y(1). Is -2*q*(3 - -22) a multiple of 20?
True
Let s(h) = h**2 - 8*h + 12. Let r be s(7). Suppose -2*q + t = -4*q + 12, -37 = -r*q + t. Suppose q*y = 5*y + 74. Is y a multiple of 16?
False
Does 40 divide 8/(-52) + 187240/260?
True
Let i(n) = -n**3 + 30. Suppose 3*q = 4*m + 12, -4*q + 3*m + 9 = -0*m. Suppose 5*w = -q*w. Does 10 divide i(w)?
True
Let c be (-1 - -377)*(-12)/(-16). Suppose 2*d = 3*z + 6*d - 208, -3*d + c = 4*z. Suppose -4*t - z = -7*f + 3*f, -3*f = -4*t - 50. Is 22 a factor of f?
True
Let f(v) = -2*v**3 - 7*v**2 - 3*v + 5. Let j be f(-5). Let q = -81 + j. Is 2 a factor of q?
True
Let r(p) be the third derivative of p**5/20 - 13*p**4/24 - 21*p**2. Does 30 divide r(6)?
True
Suppose -18*x + 337 = -239. Is 9 a factor of x?
False
Suppose 9*k - 10*k + 10727 = 5*l, 0 = -5*l + k + 10733. Does 74 divide l?
True
Let z be (-2 + 5)*(-10)/(-3). Is 7 a factor of 50 - 5/(z/4)?
False
Let x = 5 - 0. Suppose 2*d = x*a + 7, 2*d + 4 = 4*a + 8. Let t(b) = 2*b**2 + b. Is 12 a factor of t(d)?
False
Suppose 3*k - 20 = -2*k. Let h = -67 - -72. Suppose 0 = f + h*g - 28, -k*g - 112 = -4*f - g. Is f a multiple of 7?
True
Does 12 divide (-1 + 736)/3 - (0 + 2)?
False
Is ((-2125)/(-50))/(2/20) a multiple of 42?
False
Let x(a) = -a**2 + 8*a - 5. Let j be (-4)/(-1)*(-7)/(-4). Let o be x(j). Suppose o*b = b + 7. Does 2 divide b?
False
Let j(k) = k**2 + 2*k - 11. Is 24 a factor of j(5)?
True
Let o(f) = f**3 - f**2 + 5. Let l be o(0). Let g(t) = -t**2 + 26*t + 1. Let h be g(16). Suppose 3*v - h = -l*p, -2*p + v + 72 = 6*v. Does 13 divide p?
False
Let x = -585 - -837. Is x a multiple of 36?
True
Suppose 0 = -5*v + 728 + 392. Let f be (v/6)/(-7)*-21. Suppose q - 5*q = -f. Does 14 divide q?
True
Let b = -27 + 143. Let t = -3 + b. Is t a multiple of 11?
False
Is 47*3*17/(459/549) a multiple of 14?
False
Let n(u) = -30*u - 21. Is 19 a factor of n(-26)?
False
Let p = 3280 + -1698. Is p a multiple of 24?
False
Let h = -65 - 3. Let i = h + 151. Is 17 a factor of i?
False
Let y(w) = -38*w - 34. Is 2 a factor of y(-2)?
True
Is 60 a factor of 12957/24 + 10/80?
True
Let m = -126 + 85. Let c = m + 91. Is c a multiple of 15?
False
Suppose -2*s = 4 - 16. Suppose -s*c = -c. Suppose c = 3*l + 52 - 205. Is l a multiple of 13?
False
Let q(w) = 164*w**3 + 3*w**2 - 15*w + 8. Is 7 a factor of q(2)?
True
Let x(j) = 50*j**3 - 14*j**2 + 22*j + 2. Does 42 divide x(4)?
True
Let y(a) = 3*a**2 + 4*a + 26. Does 9 divide y(-14)?
True
Suppose -o = o - 388. Suppose 3*b + o - 74 = 0. Is (8/10)/((-2)/b) a multiple of 7?
False
Suppose 2*r + o - 680 = 0, 5*o = -4*r + 6*o + 1372. Is 22 a factor of r?
False
Suppose 5*g = -4*j + 3638, 10*g = -3*j + 6*g + 2728. Does 38 divide j?
True
Let s(f) = 98*f**2 + 94*f + 607. Is s(-6) a multiple of 56?
False
Suppose 0 = -3*p + 2362 + 86. Is p a multiple of 8?
True
Suppose -5*t - 5*y - 1360 = 0, -3*t = -6*t - 2*y - 811. Let b = -180 - t. Is 13 a factor of b?
False
Let z(x) = -x + 61. Let l be z(0). Suppose 0 = -4*g - 25 + l. Is g a multiple of 4?
False
Suppose -12*f = -44*f + 8544. Is 20 a factor of f?
False
Let k(h) = -h + 20. Let u be k(17). Suppose -d = -2*r - 5 + 25, r = -u*d - 81. Let x = 12 - d. Is 11 a factor of x?
False
Let j(a) = -2*a**3 - 108*a**2 + 99*a - 25. Is j(-55) a multiple of 10?
True
Suppose 572 = 5*d - 73. Let m = 225 - d. Is m a multiple of 12?
True
Suppose 99*a - 40 = 98*a. Is 10 a factor of a?
True
Let z(v) be the second derivative of -v**5/20 - 4*v**4/3 - 2*v**3/3 + v**2 - 2*v. Suppose 3*n + 5*k = -54 + 1, -5*k + 43 = -3*n. Is 30 a factor of z(n)?
False
Let c(l) = l**3 - 8*l**2 - 6*l + 21. Let s be c(9). Suppose 0*r = -6*r + s. Is r even?
True
Suppose 4*b - 376 = 8. Is b a multiple of 16?
True
Is 5 a factor of (-10)/(2/(-15) - (-8)/(-40))?
True
Let o(j) = -j + 7. Let r(l) = 3*l - 6. Let t be r(3). Suppose y - 2*p + 10 = t*y, 2*y + 4*p = 20. Does 2 divide o(y)?
False
Let y(s) = s**3 - 2*s**2 + s - 1. Let i be y(2). Is 51 + (i - (-4 - -6)) a multiple of 25?
True
Let r(c) = c**3 + 11*c**2 - 3*c - 13. Is 18 a factor of r(-9)?
False
Let l = 85 + -147. Suppose 5*c = -272 + 87. Let r = c - l. Is 24 a factor of r?
False
Let p be (-28)/24*2*-3. Suppose 111 = 2*d + p. Does 24 divide d?
False
Let t = -164 + -36. Does 5 divide t/(-8) - (2 - 1)?
False
Suppose 4 = -3*u + 1. Let s(t) = -32*t**2 + t + 1. Let q(y) = -y**2 - y - 1. Let v(r) = -3*q(r) - s(r). Does 9 divide v(u)?
False
Let v = -1137 - -255. Let c = -594 - v. Is c a multiple of 16?
True
Let f(a) = -126 + 47*a + 211 - 111. Does 13 divide f(4)?
False
Is 33 a factor of (-1)/13 + (-304661)/(-923)?
True
Suppose -21*c + 19*c = -3*f + 2156, 2 = c. Is f a multiple of 16?
True
Suppose -4*b - 101 + 241 = 0. Does 30 divide (-7)/b - (-902)/10?
True
Let h(d) = -74*d**3 - 2*d**2 - d. Let y be ((-2)/4)/(3/6). Let r be h(y). Suppose -14 = -4*u - 6, -5*u + r = 3*x. Is x a multiple of 21?
True
Suppose -y + 0*y = 0. Suppose -4*x = -y*x - 476. Suppose d = -d - n + 129, 2*d - n = x. Is 16 a factor of d?
False
Suppose -5*b = 2*x - 4, -2*b - 3*x = 2*x - 10. Let v be (12/4)/(3/20). Suppose b = 3*q + v - 83. Is q a multiple of 5?
False
Suppose -3*k = 2*h - 7*h + 4, 0 = -3*k + 2*h + 2. Suppose -5*m + 440 = k*a, 5*m - 405 = -0*m + 5*a. Let g = -59 + m. Is g a multiple of 9?
True
Suppose -2*y - r = -11 + 42, -r - 1 = 0. Is 16 a factor of 84 + (-1 + 4)*(-10)/y?
False
Does 12 divide 1377 - (29 + -9 + -11)?
True
Suppose -l = -3*l. Suppose -2*y - 3*y + 1140 = l. Suppose 0 = 5*v - 9*v + y. Does 26 divide v?
False
Let f = -2 - -6. Suppose -2*a - a + o = -401, f*a - 526 = -3*o. Is a a multiple of 10?
False
Suppose 0 = 4*n - 2 - 10. Suppose -n*i - i - 30 = -2*s, 5*s = 2*i + 35. Suppose -74 = -4*z + s*j, 2*z - 4*j - 72 = -2*z. Does 16 divide z?
True
Suppose 52*t = 57*t. Let z(d) = 36 + 19 - d**2 - 21. Does 13 divide z(t)?
False
Suppose 3*p + 214 = -5*d, -d = -2*p - 186 + 39. Suppose 3*v + v = 2*h + 268, -3*v = 5*h + 683. Let q = p - h. Does 21 divide q?
True
Let y = -1666 + 3570. Is 24 a factor of y?
False
Let j(s) = -s**3 + 3*s**2 + 4*s + 4. Let v be j(4). Suppose o + 2*o - 21 = -3*l, -4*o + v = -4*l. Suppose 5*b - 2*t = 82, b = -l*t + 4*t + 14. Does 12 divide b?
False
Suppose 0 = 6*p - 10*p. Suppose p = 5*n - 6*n + 8. Is n even?
True
Let y be (606/9)/(16/24). Let r(m) = -m**2 + 4*m + 4. Let x be r(4). Is x/(-6) - y/(-3) a multiple of 11?
True
Is 10 a factor of (-6)/(-8) + 61393/116?
True
Let x = 24 - -22. Suppose 0 = 49*k - x*k - 162. Is k a multiple of 9?
True
Suppose -7*i + 12 + 23 = 0. Let h be 64/i - (-1)/5. Is 17/2 - h/26 a multiple of 8?
True
Let g(q) = 324*q**2 + 3*q + 1. Does 34 divide g(-1)?
False
Let h = 2028 + -1379. Does 23 divide h?
False
Let k(z) be the first derivative of -10*z**2 + 5*z + 1. Let y be k(-8). Let c = y - 105