(2). Is 80 + (1/q)/(2/6) a multiple of 5?
False
Let h be 0/(-2)*(-2 - -1). Let r = 429 - 282. Suppose -4*w + r - 11 = h. Does 34 divide w?
True
Let f = -37 - -40. Suppose -u - d = -2*u + 19, d = -f*u + 57. Does 19 divide u?
True
Let v(s) = 16*s**2 - s. Suppose 0 = -y - 2*u - 2, 0*u - 4 = y + 3*u. Suppose i - y*d = -0*d - 11, -2*i - 4*d = -18. Does 7 divide v(i)?
False
Let n(m) = -m**2 - 12. Let i be n(0). Let l = -8 - i. Is (-59)/(-2) + 2/l a multiple of 15?
True
Let g = -59 - -58. Does 3 divide ((-12)/(-10))/(-2*g/20)?
True
Let h(t) = -2*t**3 + 14*t**2 + 3*t - 4. Is 14 a factor of h(7)?
False
Does 2 divide (84/(-35))/(-2)*15?
True
Let s(w) = -w**2 - 4*w + 4. Let x be s(1). Let u(m) = 117*m**2 + 4*m + 1. Does 10 divide u(x)?
False
Let k = -597 - -1309. Is 5 a factor of k?
False
Let r = 28 - -31. Suppose -9*w - r = -10*w. Does 16 divide w?
False
Let c = 317 + 4. Suppose -559 = -9*h - 46. Suppose 4*o - c + h = 0. Is o a multiple of 22?
True
Let p be (-105 - 4) + (-3)/1. Let g = -12 - p. Is g a multiple of 25?
True
Let i be (-111)/148 - (-383)/4. Is 24 a factor of -3 + -1 + 5 + i?
True
Let m(k) = -k**3 - 27*k**2 + 15*k - 275. Is 5 a factor of m(-28)?
False
Suppose o - 16 = -3*o. Suppose 8 = -i + o*n - 2, 3*i + 3*n + 15 = 0. Let g = i + 22. Does 8 divide g?
True
Let n(f) = 5*f - 17. Let k be n(4). Suppose -3*r - p = -0*p - 120, -120 = -k*r + p. Is 8 a factor of r?
True
Let s = 23 - 16. Let z be 56/8*12/s. Is (-130)/(-14) - z/42 a multiple of 3?
True
Suppose 2*d - 5 = -7. Let o(l) = -85*l. Does 17 divide o(d)?
True
Let j(d) = 31*d - 363. Is 12 a factor of j(37)?
False
Suppose p + 2*p = 4*r + 17, -18 = r + 2*p. Let l(i) = -i**3 - 9*i**2 - 11*i - 6. Does 6 divide l(r)?
True
Is 3 a factor of (-2)/(-18) + 3236/36?
True
Suppose -3*i - 3*q + 131 = -4*q, i + 3*q - 27 = 0. Let y be i + 3/(-12)*0. Let x = 90 - y. Is 14 a factor of x?
False
Suppose -20*q - 204 = -21*q. Is q a multiple of 17?
True
Let s be 9/((-36)/(-8)) - 80. Let n = 90 + s. Is n a multiple of 3?
True
Let t be (2/(-4) + 0)*2. Is -244*(-4)/16 - (-1 - t) a multiple of 8?
False
Let d(c) be the first derivative of -c**5/10 - 7*c**4/12 - c**3/3 + 4. Let h(j) be the third derivative of d(j). Does 12 divide h(-5)?
False
Let p = 20 + -9. Suppose 8 = -4*t - 3*n - p, n = -4*t - 9. Is -7*(1 + -4) + t a multiple of 10?
True
Let w = 4 - 7. Is 4 a factor of -2 - (0 - w - 90)?
False
Let s(o) = o**3 - 3*o**2 - 80*o - 27. Does 61 divide s(11)?
True
Let w be 2/(-7) - 74/(-14). Suppose -z + 6 = -w*q, 2*z + 3*q = -z + 18. Suppose -k - 26 = -3*b, 46 = -b + z*b - k. Is 10 a factor of b?
True
Suppose 0 = 2*y - 0*n - n - 3, -12 = y + 4*n. Let t be (y + (-3)/(-6))*110. Is t/(-10)*(-2 + 0) a multiple of 11?
True
Let f = 10 + -15. Let i be 13/5 - 2/f. Suppose -7*k + i*k = -8. Is k even?
True
Let t = 233 - 191. Does 6 divide t?
True
Suppose 3*a - 21 = -3. Suppose 6 = 2*n + 5*d + 16, 3*d = 3*n - a. Suppose o - 4*o + 93 = n. Does 11 divide o?
False
Suppose 190 - 829 = -v + 2*l, -4*v + 3*l = -2571. Is 43 a factor of v?
True
Suppose -4*a - 22 = -2*x, 7 = x - 0*x + 2*a. Let d = 9 - -4. Let s = x + d. Is s a multiple of 20?
False
Let w(a) = a**3 + 6*a**2 - 7*a + 4. Let i be w(-7). Suppose -i*o - n = -73, 4*n - 3 = 1. Is o a multiple of 9?
True
Let i = -22 - -24. Suppose 2*v + 2*s = 128, -v + i*s = -65 - 14. Is v a multiple of 23?
True
Let r(p) = -2*p**2 - 3*p - 4. Let d be r(-4). Suppose -j + 5*l - 27 + 23 = 0, 5*j - l = -20. Does 6 divide (39/j)/(d/64)?
False
Let z = -2938 + 4706. Does 52 divide z?
True
Suppose 3665 = 5*w - 2*u, -10 = 37*u - 35*u. Is w a multiple of 30?
False
Let k(p) = 86*p**2 + 5*p - 3. Let o be k(-2). Suppose -5*t + 555 = -5*w, 5*t - 5*w = 2*t + o. Does 14 divide t?
True
Suppose 12*h - 19 - 41 = 0. Suppose h*s - 175 = -3*d + 11, d - 62 = 5*s. Is d a multiple of 19?
False
Let y = 37 - 55. Let a = y + 21. Suppose z + 5*d - 22 = 0, z = a*d - 12 + 2. Is 2 a factor of z?
True
Let a(c) = -c + 6. Let m be a(5). Suppose 3*k - 3*n = 3, -m = -2*k + 3*n + 5. Let h(q) = 3*q**2 - 4*q. Is h(k) a multiple of 17?
False
Let l(k) = 7*k**2 - 13*k - 85. Let x(n) = n**2 - 1. Let v(j) = l(j) - 6*x(j). Is v(23) a multiple of 18?
False
Let r be 0*(-12)/24*1/1. Suppose 2*f = -n + 58, -n - 4*n = 3*f - 87. Suppose r = 5*b - 91 - f. Is b a multiple of 12?
True
Let m = 64 - 2. Is m a multiple of 2?
True
Let p be ((-6156)/(-21))/3 - 6/(-21). Let j = 122 - p. Is j a multiple of 22?
False
Let g = 172 + -150. Is 5 a factor of g?
False
Let i = -90 - -357. Is 10 a factor of i?
False
Let v = 15 - 12. Suppose v*p = p + 124. Does 20 divide p?
False
Suppose 0 = 2*p - 4, -5*b - 5*p + 2*p - 4 = 0. Let h(l) = -1 - 2*l**3 - 6*l**3 - 3*l**2 - 2*l + 3*l**3 - l**3. Is h(b) a multiple of 13?
True
Let z(x) = 6*x + 26. Let r be z(-4). Suppose -r*g + 37 = -21. Is 9 a factor of g?
False
Let z(p) = -4*p - 45. Let o be z(-17). Suppose -3*h + 58 + o = 0. Is h a multiple of 4?
False
Suppose 2875 = 9*m - 779. Is m a multiple of 14?
True
Let c(s) = -s**3 - 10*s**2 + s - 8. Let h be c(7). Does 52 divide 1/(-2) - h/4?
True
Suppose -8*u = -4*u. Suppose -5*v + 102 + 138 = u. Suppose -v - 16 = -2*n. Is n a multiple of 7?
False
Let p be 2/(-5)*(-5 + 0). Suppose 3*q + 3*a = -2*q - 4, 0 = 5*q + p*a + 1. Does 5 divide 9/2 + q/2?
True
Suppose -2*x = 3*z + 3*x - 4, 3*z - 5*x = -16. Let l be 4/(2 - z) - -2. Suppose 7*n - 3*y - 165 = 2*n, -y - 103 = -l*n. Does 12 divide n?
True
Let r be 1068/(-8) + (-3)/(-6). Let w be (-1 - 2 - -2) + -198. Let t = r - w. Does 9 divide t?
False
Let j = -47 + 149. Let r(q) = -q**3 - 6*q**2 + 8*q - 14. Let f be r(-8). Let k = j - f. Is 15 a factor of k?
False
Suppose p - 2 - 4 = 0. Let x be (2/p)/(6/90). Let v(b) = -b + 10. Is v(x) even?
False
Let y(t) = 3*t**2 + 59*t + 12. Is 10 a factor of y(-39)?
False
Suppose -3*s - 4*x = -10, -x + 3*x = -s + 6. Let f(a) = 4*a**2 + a + 1. Let z be f(s). Does 14 divide 400/z + (-1)/(-3)?
False
Suppose -22*l + 42504 = 6*l. Is 66 a factor of l?
True
Let j = 1261 + -617. Does 13 divide j?
False
Suppose r - 138 = 137. Suppose r = -5*l + 810. Does 21 divide l?
False
Let a be 3*((-238)/(-3))/2. Suppose -645 = -55*j + 40*j. Let h = a - j. Is 19 a factor of h?
True
Let q(b) = -b - 3. Let d be 15/(-2)*(-12)/(-15). Let f be q(d). Suppose 0 = f*g - 15, 4*n + 0*g - 139 = g. Is 9 a factor of n?
True
Suppose 0 = -2*u + 7*u + 30. Let g = u + 15. Suppose -r + g = -0*r. Is 8 a factor of r?
False
Let k = 17 + -22. Let m(t) = t**3 - 13*t**2 - 15*t - 4. Let v(w) = 2*w**3 - 27*w**2 - 31*w - 8. Let c(o) = k*m(o) + 2*v(o). Does 8 divide c(12)?
True
Let q = 1276 - 1156. Is q a multiple of 40?
True
Let l(q) = -q**3 - 6*q**2 + 8*q - 6. Let i be l(-5). Let m = -13 - i. Is 24 a factor of m?
False
Let i(z) = 2*z - 54. Let w be i(24). Let x(y) = -y**3 + 2*y**2 + 13*y + 4. Is 43 a factor of x(w)?
False
Let j(t) = t**3 - 2*t**2 - 2*t - 7. Let i be j(3). Is 3 a factor of (i/16*82)/((-2)/4)?
False
Let c be (6/(-3))/(-3 + 2). Suppose 1 - c = 2*d - z, 2*z - 5 = d. Is 6 a factor of d - -2 - (-23 - -6)?
False
Let r(m) be the second derivative of m**5/20 - 7*m**4/6 + 2*m**3/3 - 21*m**2/2 + 210*m. Suppose -2*s + 5*s = 42. Is r(s) a multiple of 7?
True
Let v(a) = -a**3 + 7*a**2 + 9*a - 12. Let o be v(8). Let r = 164 + o. Is 16 a factor of r?
True
Suppose -5*k + 0*k = -4*d - 11, -2 = d - 2*k. Let l = 34 - d. Is 16 a factor of l?
False
Let a(i) = i**2 + 7*i + 2. Let q be a(-7). Suppose 8*d = 3*d + q*w + 44, -3*d = 3*w - 39. Suppose -8*j + d*j - 24 = 0. Does 4 divide j?
True
Let h(w) = w**2 - 4*w - 234. Is h(-32) a multiple of 69?
False
Suppose -5 = -2*k + z, 2*k - z - 2*z - 7 = 0. Suppose 2*f = -k*h - f + 320, 0 = -f. Is 10 a factor of h?
True
Let f = -25 - -39. Suppose 0*v = 2*v - f. Suppose -10*c + v*c = -12. Is c even?
True
Suppose -5*v - 851 = -3*b, -570 = -2*b - 0*v + 4*v. Is b a multiple of 29?
False
Let z(l) = -l**3 + 12*l**2 - 13*l + 14. Let b be z(11). Let o = b + -6. Let h = -2 - o. Is 7 a factor of h?
False
Suppose 4*g - 492 = -4*l, -259 = -3*g + 4*l + 117. Is 4 a factor of g?
True
Let q(b) = -13*b - 8. Let x(s) = -3*s - 18. Let k be x(-4). Is 35 a factor of q(k)?
True
Let b be (-28)/(-15) + (-52)/60 + 1. Suppose l - b*l = -49. Is 7 a factor of l?
True
Suppose -8097 = -13*v + 14133. Is v a multiple of 38?
True
Let y be (-10)/(1/(0 -