*2 + 1. Does 19 divide r(-1)?
False
Let p be (4/(-10))/((-2)/60). Suppose -o + p = -5*o. Is 9 a factor of (-53)/o - 3/(-9)?
True
Suppose -3*p - 8 = -2*g, 0*g + 5*g + 10 = 0. Suppose 9*c = 4*c + 60. Let j = c + p. Does 5 divide j?
False
Let d = 23 + -3. Is 10 a factor of d?
True
Suppose -120 = -0*w - 5*w. Is 24 a factor of w?
True
Suppose 3*q = -f + 5, 3*f = 4*f + 5*q - 7. Suppose 3*h - f*t - 18 = 62, -5*t - 5 = 0. Is 16 a factor of h?
False
Suppose -2*n = r - n - 9, 0 = r + 2*n - 11. Let d = 11 - r. Suppose o = 3*f + d*o - 60, 3*f + o - 62 = 0. Is 9 a factor of f?
False
Let b(n) = n**3 - 4*n**2 + 6*n - 6. Let q be ((-8)/10)/((-8)/40). Does 8 divide b(q)?
False
Suppose -4*f + 22 = 2. Suppose r - 4*y - 5 = -18, -2*y = -r - f. Suppose 16 = 2*g + r*g - c, 0 = 2*c - 8. Is g even?
True
Suppose 58*t = 56*t + 88. Does 22 divide t?
True
Suppose 0 = -5*i + 8 + 42. Let x(w) = 5*w - 5. Does 9 divide x(i)?
True
Suppose -5*z = -5*v - 50, -4*v - 5*z - 34 = 24. Does 13 divide 1*141/v*-4?
False
Let b = -2 + 7. Suppose 5*d + 165 = b*k, k - 4*d - 33 = -0*d. Is k a multiple of 11?
True
Is (24/3)/((-18)/(-135)) even?
True
Let u(v) = -v**3 - 15*v**2 - 13*v + 23. Is u(-14) a multiple of 2?
False
Let f be (-6)/(-9) - (-30)/9. Suppose 0 = f*u - 0*u + 20. Let b = u - -12. Is 3 a factor of b?
False
Let h = -6 - -14. Is 2 a factor of h?
True
Let b be (0 + (0 - 0))/1. Suppose b = -4*q - 47 + 183. Is q a multiple of 18?
False
Suppose -3*d = 9, 5*b + d - 5 = 12. Is 4 a factor of b?
True
Suppose -4*w = -12 - 8. Suppose v - 6*v - 5 = w*h, -h - 7 = 4*v. Is (-15)/v*2/3 a multiple of 4?
False
Is 8 a factor of (-6)/(-21) - (-332)/14?
True
Let h(l) = -l**2 + 28*l - 24. Is h(26) a multiple of 11?
False
Let v(c) = c - 3. Let o be v(5). Let p(t) = -25*t**3 + 10*t**2 + 6*t + 1. Let f(y) = -5*y**3 + 2*y**2 + y. Let i(m) = -11*f(m) + 2*p(m). Does 18 divide i(o)?
True
Let r(k) = k**3 - 7*k**2 + 3*k + 5. Let x be r(6). Let i = -39 - x. Let u = -16 - i. Does 10 divide u?
True
Let a(n) = 4*n**2. Let m be a(1). Suppose g + g - m = 0. Suppose -r = g*k - 0*k - 44, 0 = -2*r - 2*k + 80. Does 10 divide r?
False
Suppose 5*l = 7*l. Suppose 3*y = 5*z - 206, -z - 4*y + y + 34 = l. Is 20 a factor of z?
True
Let m(j) be the second derivative of j**6/90 + j**5/20 - j**3/6 - 3*j. Let p(l) be the second derivative of m(l). Does 20 divide p(-4)?
True
Let q(k) = 46*k**2 - k - 1. Is q(2) a multiple of 22?
False
Let j be 21/12*8/2. Suppose j*h + 45 = 2*h. Let l = 9 - h. Is l a multiple of 9?
True
Suppose -z = -i + 4, -5*z + z = -2*i + 16. Let s = 6 + z. Is 10 a factor of (-288)/(-28) - s/7?
True
Let h(b) = b - 9*b**3 - b**2 - 20*b**3 + 1 + 0*b**2. Let u be (1/(-3))/(7/21). Does 14 divide h(u)?
True
Suppose -3*k = -56 + 17. Is k a multiple of 11?
False
Let b = 4 + 1. Suppose -b*g = -3*n - 37, 3*n = 3*g - 23 + 2. Is 4 a factor of g?
True
Let c be 2/(-5) - (-12)/5. Suppose x + 4*x = 15. Suppose c*h - 40 = -2*z, -h - 3 + 11 = -x*z. Is h a multiple of 17?
True
Suppose -3*c = -0*c. Let s be 18 + c*(-1)/(-3). Suppose 0 = 3*x - 3*t - s, 0*x - t + 21 = 2*x. Is 5 a factor of x?
False
Let v = 320 - 193. Let i be -5*(-4 + 3 - 0). Suppose 21 + 11 = p - 2*n, i*p + n = v. Is p a multiple of 13?
True
Suppose -5*b + 0 = 4*z + 1, z + 4*b + 14 = 0. Suppose -3*g + 5*j + 33 = 6*j, 3*g - 2*j - 42 = 0. Is z/4*248/g a multiple of 11?
False
Let g(y) = -1 - 2*y + 0*y - 2. Let k(u) = -u**2 + u - 6. Let z be k(0). Does 5 divide g(z)?
False
Let o(u) = u**2 + 6*u - 3. Suppose 10 = i - 3*i. Let t be o(i). Is 12 a factor of t*(-1)/(2/6)?
True
Let f = 126 + -37. Let d = -63 + f. Is 8 a factor of d?
False
Suppose -4*v + 5*n = -v - 9, 4*v + 2*n - 12 = 0. Let l(k) = -2*k - 2*k + 51 + v*k. Is l(0) a multiple of 19?
False
Suppose 81 = 4*y + 3*t - 2*t, 4*y - 4*t = 76. Suppose 0 = 5*f - 3*f - y. Does 5 divide f?
True
Let j(a) = 6*a + 4. Let h(z) = -z. Let b(s) = -5*h(s) - j(s). Let i be b(-6). Suppose 2*f - 108 = -4*c, i*c + 4*f = 21 + 33. Is c a multiple of 14?
False
Suppose -p = 4*p. Let k(f) = f**3 - f**2 + 54. Let b be k(p). Suppose b = r + r. Does 10 divide r?
False
Let y(w) be the first derivative of w**4/2 - 2*w**3 + w**2/2 + 2*w + 2. Suppose 2*s = -s + 12. Is 19 a factor of y(s)?
True
Let g = 4 - -5. Let a(t) = -g*t**2 + 5*t + 10*t**2 + t - 6. Is 10 a factor of a(-8)?
True
Suppose -c + 36 = 2*c. Is c a multiple of 5?
False
Let h(w) = w**2 + 15*w + 8. Is 4 a factor of h(-16)?
True
Suppose 5*u + 317 = -58. Let o = 114 + u. Is o a multiple of 16?
False
Suppose -2*z + 19 = -3*z. Let j = 53 + z. Does 6 divide j?
False
Suppose -80 = -5*c - 3*u, -4*u = -5*c + 2*c + 48. Suppose -4*f - c = 0, 7 + 39 = b + 4*f. Is b a multiple of 20?
False
Let c(u) = -u**3 - 10*u**2 + 23*u - 16. Is c(-13) a multiple of 16?
True
Let s(c) = -2*c - 2. Let y(n) = -3*n. Let q be y(1). Let b be s(q). Suppose l = 2*k + 27, b*l = 5*k + 71 + 25. Does 7 divide l?
False
Suppose 5*c + 117 = 542. Is c a multiple of 18?
False
Suppose 5*y - 4*y = -3*x + 41, 0 = -y - 4*x + 44. Does 16 divide y?
True
Suppose 5*a = 4*q - 327, 0*a + 3*a - 455 = -5*q. Is q a multiple of 17?
False
Let b be (-37)/3 - (-7)/21. Is 18*-3*2/b even?
False
Let v = -3 - 1. Let l be 38/(-4) - (-2)/v. Is 6 a factor of -1 - -1 - l - -2?
True
Let d(k) = 9*k**2 + k - 5*k**3 + 0 + 0 - 2. Let r(y) = -4*y**3 + 8*y**2 + 2*y - 1. Let x(f) = 3*d(f) - 4*r(f). Is x(6) a multiple of 2?
True
Let o(s) = -5 - 4 + 2*s + s. Suppose -5*c = -5*k + 74 - 14, 2*k - 3*c = 29. Is o(k) a multiple of 12?
True
Let o be (1/(-4))/((-4)/16). Let t(r) = 37*r**2 - r. Is 14 a factor of t(o)?
False
Let h(l) = 7*l**2 + 5*l - 2. Let f(j) = 8*j**2 + 6*j - 3. Let y(q) = -4*f(q) + 5*h(q). Does 4 divide y(-2)?
True
Let t(i) be the second derivative of -13*i**3 - 3*i**2/2 - 2*i. Let r be t(-2). Suppose -4*p - 61 + r = 0. Is p a multiple of 10?
False
Let v = 18 + -11. Suppose -j + 3 = 0, -4*k + v*j + 92 = 3*j. Is 15 a factor of k?
False
Let g(u) = 8*u**2 + u - 2. Is 9 a factor of g(2)?
False
Let j(w) = w**3 + 5*w**2 - 4*w - 2. Let m be j(-6). Does 14 divide (-343)/m - 2/(-4)?
False
Is (-5)/((-25)/(-14))*-20 a multiple of 8?
True
Suppose 0 = -y + 5*y - 4*o - 20, -o + 19 = 5*y. Suppose -4*s = y*t + s - 158, -5*t - 4*s + 193 = 0. Is t a multiple of 15?
False
Does 11 divide (-122)/(-2) - (8 - 10)?
False
Let k = -73 - -112. Suppose -5*h + 25 = -10*h, -2*d + k = -3*h. Does 12 divide d?
True
Let k be (0 - 6/1) + -2. Let h = -3 - k. Suppose o - 3 = -d + 7, h*d - 2*o - 36 = 0. Does 4 divide d?
True
Suppose d + 3*t = 6*t + 36, 3*d - 3*t = 108. Is d a multiple of 6?
True
Let c(a) = 98*a**3 - a**2 + 1. Let x be c(1). Suppose j = -j + x. Is 20 a factor of j?
False
Suppose 2*n = -0*n - 36. Let z = n - -48. Is 18 a factor of z?
False
Is 45 a factor of (-225)/(-20)*(0 - -4)?
True
Is 4 a factor of (-207)/(-7) + 44/(-77)?
False
Let w(u) = 4*u**2 + 13*u - 7. Is 16 a factor of w(-5)?
False
Let n(v) = -v**2 - 4*v + 6. Let m be n(-6). Let t = -13 - m. Let l = t + 15. Is 8 a factor of l?
True
Suppose 6 = -m + 26. Does 20 divide m?
True
Is 4 a factor of 9/(-27) + 146/6?
True
Suppose -5*b + 7*b + 48 = 0. Is b/(-6)*(-45)/(-6) a multiple of 7?
False
Let f(z) = -5*z - 3. Is f(-2) a multiple of 3?
False
Let n be 33*(3 - 1)/(-2). Is -4 + 1 - n/1 a multiple of 11?
False
Suppose 4*l - 85 - 17 = 2*d, -5*l + 3*d + 125 = 0. Let g be 2/(-3) + 49/(-3). Let c = l + g. Does 6 divide c?
False
Let w = -43 - -123. Does 8 divide w?
True
Does 12 divide 4518/63 + (-2)/(-7)?
True
Let x(y) = 6*y - 7. Does 5 divide x(4)?
False
Let x(h) = -15*h - 23. Is x(-5) a multiple of 4?
True
Suppose 128 = 4*q - 0*q. Is q a multiple of 11?
False
Let r = 18 - 16. Suppose -23 = -3*t + r*t. Does 6 divide t?
False
Let k(g) = -g**3 - 11*g**2 + 18*g + 9. Let q be k(-12). Let r = -25 - q. Is r a multiple of 14?
False
Let r be 9/2 + 4/8. Let d(l) = -l + 10. Is d(r) a multiple of 5?
True
Let n be -4*(-2 - (-3)/4). Let h be (n/(-3))/((-4)/12). Suppose 0 = h*g + 2*s - 80, -1 - 24 = 5*s. Is 9 a factor of g?
True
Let b(z) be the third derivative of -5*z**4/24 - 5*z**3/6 + z**2. Let x(r) = -2*r + 1. Let a be x(3). Is b(a) a multiple of 20?
True
Let s(j) = -3*j + 9. Suppose 3*h = 4*h - 11. Let f be s(h). Let l = f + 42. Is l a multiple of 16?
False
Let z = 28 - -6. Does 14 divide z?
False
Let z be (-5 + 3)/((-2)/7). Suppose 