r of 32*((-11)/(-4) - 2)?
True
Let f(k) = 2*k + 1. Let j(y) = -y - 1. Let v(q) = -6*f(q) - 13*j(q). Let b be v(-6). Is b/(-1) - -8 - 2 a multiple of 3?
False
Let p(i) = -14*i. Suppose -7*k = -2*k + 5. Is 9 a factor of p(k)?
False
Let w be -1 - -2 - (-346 - 1). Suppose 0*m = -4*m + w. Is m a multiple of 23?
False
Suppose 3*v + 6 = -w, 5*v + 7 = w - 3. Let q be (-1)/(-1) + (25 - w). Suppose 4*u - q = 2*u. Does 13 divide u?
True
Suppose 3 - 17 = -m - 4*d, m - 11 = -d. Let b = -8 + m. Suppose 0 = -2*q - b*q + 44. Is 6 a factor of q?
False
Does 21 divide (-34)/(-17) - 78/(-2)?
False
Suppose 2*w + 516 = 3*o, -7*o + 8*o - 155 = -5*w. Is 7 a factor of o?
False
Let i = -2 - 0. Let z(t) = -2*t**2 - t + 2. Let w be z(i). Let b(m) = -5*m + 4. Does 14 divide b(w)?
False
Let f = 1 + -7. Let h be ((-2)/f)/(1/6). Suppose -h*g + 80 = 3*g. Does 16 divide g?
True
Let z(g) = -2*g**2 - 3*g**3 + 1 - 2*g**2 - 1 - 2*g. Suppose 2*s + 29 = 5*c, -s + c - 17 = -2*c. Does 7 divide z(s)?
False
Let n = -24 - -35. Is 4 a factor of n?
False
Let r = 20 - -16. Does 6 divide r?
True
Let y(o) = 4*o**2 + o - 1. Let w be y(1). Suppose 73 = -5*v + w*m, v + 4*v + m + 63 = 0. Let d = v - -25. Is d a multiple of 12?
True
Let b = -19 + 30. Let o = b - -7. Is 18 a factor of o?
True
Does 18 divide (0 - (-12)/(-8)) + 438/4?
True
Let g be (-1)/3 - (-40)/3. Suppose 4*p - 7 = 9. Suppose 0 = -p*f + g + 23. Is f a multiple of 5?
False
Let m be 5*1 - (-3 - -3). Suppose 15 = m*p - 10. Suppose 3*x - 100 = -p*j, 4*j + j - 40 = -x. Does 19 divide x?
False
Let d(p) = -p**2 + 7*p + 1. Let n be d(5). Let t be 204/(-30) - 1/5. Let y = t + n. Is 2 a factor of y?
True
Suppose 4*s + 1 = 17. Does 4 divide s/(-14) - (-107)/7?
False
Let b = 125 + -89. Is b a multiple of 9?
True
Suppose -7*g = -2*g. Let r be (0 - 3)*(1 + g). Is 11 a factor of (78/4)/r*-2?
False
Suppose 3*n = 4*l - 10, 0 = -3*n - 3*l - 5 + 2. Let h = 10 + -3. Let p = h + n. Is p a multiple of 5?
True
Let u be (-4)/5*(-135)/(-18). Let b(f) be the third derivative of f**5/60 + f**4/4 + f**3/2 + f**2. Does 3 divide b(u)?
True
Let p = -3 + 1. Let f be 1 - p*(3 - 2). Suppose -5 = -f*b - 5*a, 4*b - a - 55 = 2*a. Is b a multiple of 10?
True
Let x(u) = 2*u**2 + u - 2. Let r be x(-2). Let m = r - 4. Suppose 0 = 3*k + 2*v + v - 45, m = k - 3*v - 35. Is 14 a factor of k?
False
Suppose 4*h = -5*t + 24, 0 = -5*t - 3*h + 16 + 7. Suppose t*v - c = 100, 4*v - 84 - 28 = -2*c. Does 13 divide v?
True
Let b = -12 + 5. Let t(v) = -v - 9. Let f be t(b). Is (7/7)/(f/(-22)) a multiple of 8?
False
Let b(y) = 27*y - 1. Let k be b(-1). Let q = k - -19. Let x(n) = -n + 2. Is 9 a factor of x(q)?
False
Let g(m) = 124*m**2 - m - 2. Does 20 divide g(-1)?
False
Suppose -12 = 3*h, 4*h = -b + h + 40. Suppose 5*n + 1 = 5*o + 71, 3*n - 5*o = b. Is 4 a factor of -4 - -2 - (-1 - n)?
True
Let p(t) = t**2 - 3*t - 6. Let n be p(5). Suppose -2*w + n*v = -24, -w + 6 + 12 = -4*v. Is w a multiple of 6?
True
Suppose -5*t + 45 + 45 = 0. Suppose 5*h + 60 = 5*o, -o = 2*h - t - 3. Is o a multiple of 12?
False
Let r = -71 - -113. Suppose 0 = -i + 3*k + 26, 5*k - r = -2*i + 54. Does 19 divide i?
True
Let x(w) = w**3 - 11*w**2 + 8*w + 4. Is x(11) a multiple of 21?
False
Let i(k) = k**2 + 34. Suppose -2*d + 3 = g + 6, -4*g - 12 = 0. Is 19 a factor of i(d)?
False
Suppose -5*c - 28 = -288. Let p = -25 + c. Does 9 divide p?
True
Let i be (-3)/2 + (-72)/(-16). Suppose -3*q - t = -79, 5*q - 143 = i*t + t. Does 9 divide q?
True
Suppose 0 = m + m - 10. Suppose -185 = -m*w - 2*l, -5*w = -w - 4*l - 148. Is 10 a factor of w?
False
Suppose -r - 3 = 4*h - 8, -3*h = 6. Does 4 divide r?
False
Suppose 0 = -2*g - 5*m - 27, -4*g - g - 4*m - 42 = 0. Is 26 a factor of (-1 - 5)*52/g?
True
Is (-8 - -4) + -1 + 10 a multiple of 5?
True
Suppose 3*b = i + 9, i - 10 = -i - b. Suppose 36 - 6 = i*q + 3*v, -5*q = 4*v - 51. Is 5 a factor of q?
False
Suppose 2*q + 2*q - 224 = 0. Does 14 divide q?
True
Let g(q) = -1. Let n(k) = -k**3 + 2*k**2 + 6*k - 10. Let a(l) = 6*g(l) - n(l). Suppose -3*w + 8 + 4 = 0. Is 9 a factor of a(w)?
False
Let g be 0 + 3 - 1/(-1). Suppose g*r + r = 25. Suppose 3*t - 5*b = -19, -t + r + 2 = b. Does 2 divide t?
True
Let v = 29 - 17. Is 12 a factor of v?
True
Let p(t) = -t**3 + 8*t**2 + 4*t + 4. Is p(6) a multiple of 17?
False
Does 4 divide 1/((-1)/132*-3)?
True
Let z be (12/(-2))/(-3 + 1). Suppose 2*v = -3*m + 58, m - z*v - 22 = -v. Does 18 divide m?
False
Let n(v) = v**3 - 13*v**2 + 5*v - 7. Is n(13) a multiple of 10?
False
Let t(l) = l**3 - 6*l**2 + 5*l + 4. Let w be t(5). Let u be 2 + (1 - (w + -3)). Is 3 - -35 - u - 2 a multiple of 11?
False
Suppose i - 3*i - 10 = 0, 5*m + 5 = -3*i. Let l(j) = 3*j**3 - j**2 - 2*j + 2. Is l(m) a multiple of 18?
True
Let w be (-3 + -785)*(-5)/4. Is w/15 - (-2)/6 a multiple of 22?
True
Suppose -11*s = -13*s. Suppose s*n = 5*n - 45. Is 9 a factor of n?
True
Let c(b) = -11*b + 37. Does 13 divide c(-12)?
True
Suppose 0*n = -3*n + 9. Let s(l) = -3 + 2 + 1 - n - 2*l. Is 13 a factor of s(-11)?
False
Let k(g) be the first derivative of -g**3/3 - 4*g**2 + 9*g + 2. Let w be 58/(-7) - 4/(-14). Does 9 divide k(w)?
True
Let d be (-2)/(-13) - 37/(-13). Is 6/(-3) + 81 - d a multiple of 19?
True
Let g(k) = 2*k - 1. Let z be g(2). Suppose -3*c + 10 = 2*t, -5*t = -z*c + 29 + 9. Does 6 divide c?
True
Let x(l) = -7*l - 9. Let p be x(-7). Suppose h = 3*h - p. Is h a multiple of 13?
False
Suppose -2*m = 6*m - 800. Does 20 divide m?
True
Suppose -28*h + 26*h = -120. Does 20 divide h?
True
Suppose -l - 5*w = -160, -2*l + 2*w + 2*w + 320 = 0. Suppose 3*v = 5*f + 2*v - 171, -4*f - 5*v + l = 0. Does 25 divide f?
False
Let b be 16/(-56) - (-46)/14. Suppose 3*v - 120 = -b*a, 160 = 4*v + 2*a - 0*a. Is 20 a factor of v?
True
Suppose -f = v + 3*f + 14, -4*v = 2*f. Suppose 0*o - v*o = w - 21, 4*w = 4*o - 72. Suppose -o - 2 = -3*n. Is n a multiple of 4?
False
Let p = -12 + 15. Suppose 22 = q - p. Does 22 divide q?
False
Let z(g) be the second derivative of 0 - 1/3*g**3 + 1/20*g**5 + 1/3*g**4 - g**2 + 2*g. Is 5 a factor of z(-2)?
True
Let l = -75 - -118. Let t(s) = 9*s + 1. Let p be t(2). Suppose 0 = -v - 2, l + p = 3*o - 4*v. Does 13 divide o?
False
Let d = -11 + 16. Let r = d + -2. Suppose -r*l = 5*p - 6*l - 30, -4*p = 4*l - 24. Does 4 divide p?
False
Let i(h) = h**3 - 6*h**2 + 3*h + 2. Suppose 3*v + 4*g - 11 = 0, 5*g = -4*v - 0*g + 15. Let n be i(v). Let d(k) = -k**2 - 9*k + 6. Is 14 a factor of d(n)?
True
Suppose 2*h - 28 = 4*q, -3*h + q + 4*q = -44. Does 6 divide h?
True
Let d(l) be the second derivative of -l**5/20 - 7*l**4/12 - 11*l**3/6 - 7*l**2/2 - 2*l. Does 18 divide d(-7)?
False
Let u = -9 - -11. Suppose -2 = 2*p - 2*h, 2*p + u*h - 2 = 3*p. Suppose 0*m + 2*m - 20 = p. Is 10 a factor of m?
True
Let q = -6 + 116. Let b(d) = -d**3 + 1. Let p be b(-4). Let a = q - p. Does 21 divide a?
False
Let g(s) = s**3 - 23*s**2 + 23*s - 6. Is 8 a factor of g(22)?
True
Suppose 0 = 2*d - d - 25. Suppose -4*u = -8*u + 2560. Is 13 a factor of 2/5 + u/d?
True
Let l(g) = -g**3 + g**2 + 4. Let a be l(-2). Suppose 30 = 3*x + s - 10, -s - a = -x. Does 4 divide x?
False
Let y(h) = -2*h - 6. Is y(-5) a multiple of 4?
True
Does 31 divide 4277/49 + 15/21 + -1?
False
Let u = -21 + 29. Let s = 21 - u. Is s a multiple of 13?
True
Let z(c) = c**3 + 8*c**2 + 7*c + 4. Let t be z(-4). Suppose -3*w + w + t = 0. Does 10 divide w?
True
Suppose 2 = -u + 2*u. Suppose -4*k - 10 + u = 0. Is (-35)/k - 5/(-10) a multiple of 10?
False
Let s be ((-6)/7)/(1/(-7)). Let p(r) = 6*r**3 + r**2 - 10*r - 1. Let j(n) = -n**3 - n**2 + n - 1. Let o(c) = 5*j(c) + p(c). Does 18 divide o(s)?
True
Suppose -4*c = -5*d - 300, -c = 4*c + 3*d - 412. Is c a multiple of 10?
True
Suppose 2*w + q = -4*q - 26, 5*w - 3*q = -34. Let i(f) = -f**3 - 8*f**2 - 2*f + 4. Does 20 divide i(w)?
True
Let a = -1 - -4. Suppose a*n + 3*b - 6 = 0, -n + 2*b = -3*b - 20. Suppose 0 = -4*j - n*z + 102, -2*j + 3*j + z = 26. Is j a multiple of 16?
False
Let q = -5 + 11. Let t(c) = 12*c - 7. Let s(y) = 6*y - 3. Let r(i) = 5*s(i) - 2*t(i). Is r(q) a multiple of 14?
False
Let l(k) = -26*k - 3 + 1 - 31*k + 3. Does 29 divide l(-1)?
True
Suppose -l = 4*l. Suppose 3*o - 4*o + 3 = l. Is 8*o - -1*2 a multiple of 13?
True
Let c = -26 - -58. Does 8 divide c?
True
Let j = -21 + 46. Is j a m