2*m + 2*c + 1 = 0. Suppose 8 = u - m. Is u a multiple of 10?
False
Let r = -1 - -1. Suppose r*l + 14 = l. Does 7 divide l?
True
Let u = -38 - -47. Does 3 divide u?
True
Suppose 0 = -c - 0 + 5. Suppose 0*j = -c*j + 15. Suppose 3*y = 5*s - 122, j*y + 2*y + 86 = 3*s. Is s a multiple of 12?
False
Suppose b = -49 - 4. Let w = b - -83. Does 15 divide w?
True
Let h = -3 + 2. Let d(q) = 4*q**2 - q. Let o be d(h). Suppose -2*g + 43 = -o*t, -4*g + 42 = t - 55. Does 12 divide g?
True
Let f(y) = y + 6. Let i be f(-6). Let s(d) = d**3 + 36. Is s(i) a multiple of 23?
False
Does 22 divide (-1222)/(-10) + (-11)/55?
False
Suppose -3 - 30 = 3*g. Let t(f) be the first derivative of f**4/4 + 11*f**3/3 - f**2 - 2*f + 1. Is t(g) a multiple of 10?
True
Let g(s) = 2*s**2 + 8*s - 3. Suppose -n - 5*u + 3 = -2*u, 0 = n + 5*u - 9. Is 13 a factor of g(n)?
False
Let n = -5 + 7. Suppose 6*f = 2*f - 5*m + 29, -4*f = -n*m - 22. Is 6 a factor of f?
True
Let h = 86 + -16. Is 15 a factor of h?
False
Suppose 3*g + 104 = 5*k, 4*k - 3*g = g + 88. Let l(h) = h + 5. Let b be l(5). Let u = k - b. Is 9 a factor of u?
True
Is 20 a factor of 2/(-4)*(17 - 57)?
True
Suppose -22 = 5*l - 57. Let x(n) = -n + 22. Is x(l) a multiple of 15?
True
Suppose -2*l + 639 = l - 3*n, 0 = 2*l - 3*n - 430. Does 36 divide l?
False
Let d be ((-5)/(-2))/((-1)/(-2)). Suppose -3*u + 0*r + 14 = -r, -40 = -d*u + 5*r. Suppose -u*x + 78 = 21. Is x a multiple of 10?
False
Is (-2)/(-7) - 1162/(-49) a multiple of 12?
True
Let a(d) = d**2 - 2*d - 2. Let n be a(6). Suppose n = 4*t - 110. Is 11 a factor of t?
True
Is 10 a factor of (-16)/24 - 424/(-6)?
True
Suppose 0 = -2*y + 3*r + 78, 3*y - 2*r + r - 131 = 0. Suppose y = 3*m - t, -3*m = -0*t - 4*t - 54. Does 7 divide m?
True
Suppose -8*t = -5*t - 66. Is 7 a factor of t?
False
Let l(c) = -8*c + 6. Is 10 a factor of l(-3)?
True
Suppose 28 = 10*s - 8*s. Does 7 divide s?
True
Suppose 2*l + j - 3*j - 22 = 0, 2*l - 5*j - 13 = 0. Does 14 divide l?
True
Suppose -3*l = -l - 5*p + 16, -l + p - 2 = 0. Suppose 146 = -l*u + 50. Is 10 a factor of (2 + u/10)*-5?
False
Let n(h) = h - 1. Let y(o) = 3*o**2 + 9*o. Let l(w) = -2*n(w) + y(w). Is 31 a factor of l(-5)?
False
Let w = -44 - -63. Let k = -10 + w. Is 4 a factor of k?
False
Let o(x) = -x**3 - 4*x**2 + 9*x + 8. Let d be o(-6). Let p = 2 + d. Let v = p - 17. Does 4 divide v?
False
Suppose 5*v - 353 = -3*l, -5*v = -0*v + l - 361. Does 6 divide v?
False
Suppose -280 = -6*o + o. Suppose 0*f = -4*f + o. Let w = f + -2. Is 10 a factor of w?
False
Suppose -l - 128 = -4*i, 5*i - 5*l - 10 - 150 = 0. Does 7 divide i?
False
Let i(w) = w + 2. Let m be i(-2). Suppose m*p - 18 = p. Let u = 3 - p. Is 10 a factor of u?
False
Suppose 8*d - 252 = 10*d. Let v = -67 - d. Does 17 divide v?
False
Let i(m) = -m - 7. Let x be i(-7). Let a(v) = 1 + 0 + 7*v + x. Does 15 divide a(2)?
True
Suppose -3*n + 9 = h, 0*n - 2*n = -h + 24. Let t = 8 - h. Is ((-35)/t)/((-2)/(-4)) a multiple of 7?
True
Let y(h) = h**3 + 15*h**2 - 14*h + 34. Let p be y(-16). Let q = 60 - 34. Suppose -p*s = -0*s - q. Is s a multiple of 13?
True
Suppose 3*p - 70 = 56. Does 3 divide p?
True
Let u(a) be the second derivative of -a**5/20 - a**4/12 + 23*a**2/2 - 9*a. Does 20 divide u(0)?
False
Does 2 divide 13/2 + (-3)/(-2)?
True
Suppose 9 = 4*q - 15. Is 2 a factor of q?
True
Let j(m) = 4*m**2 - 14*m - 5. Is 18 a factor of j(7)?
False
Let k(t) = -3*t. Let n be k(-6). Suppose -96 = -3*z + n. Is 19 a factor of z?
True
Let y be ((-42)/(-63))/(4/378). Let d = y + -10. Does 9 divide d?
False
Suppose -3 = -3*z + 6. Suppose -z*b - 40 = -m - 0*b, 0 = m - b - 32. Is 14 a factor of m?
True
Let g = 87 - 45. Is g a multiple of 7?
True
Suppose -4*t + 7 + 1 = 0. Let y = t + 1. Suppose 0*f = -y*f + 108. Is f a multiple of 18?
True
Suppose -4*a - 9 - 2 = -x, -2*x + 5*a + 22 = 0. Suppose -3*j = -95 + x. Does 14 divide j?
True
Let o be (-199)/(-4) - 6/(-24). Let c = -36 + o. Is c a multiple of 14?
True
Suppose 2*j = -q + 15, -20 = -3*q + j - 2*j. Suppose n = -p + 6*p - 22, 4*n = -q*p + 37. Let l = p + 2. Is 7 a factor of l?
True
Let c be (-8)/(-6)*(-27)/6. Let w be ((-3)/(-2))/(c/(-16)). Suppose -w*r + 6 = -2*r + 2*f, -3 = -3*r - 5*f. Is 4 a factor of r?
False
Suppose 100 = -3*l + 7*l. Suppose 3*q - 3*g = -q + l, -3*g + 17 = 2*q. Is q a multiple of 7?
True
Let d(a) be the second derivative of a**4/12 + a**3 + 7*a**2/2 - 2*a. Let t be d(-5). Suppose -4*p - 4*r = -100, -3*p = -t*p + 3*r - 35. Is p a multiple of 10?
True
Let s(l) = -13*l - 43. Does 16 divide s(-23)?
True
Let x(r) = r**2 + 7*r - 2. Suppose -h - 27 = 4*i - 6, 2*h + 3*i + 27 = 0. Is 8 a factor of x(h)?
True
Suppose -y = y + 2*u - 100, 0 = -5*u + 10. Is 12 a factor of y?
True
Suppose k + 2 = c - 2, 12 = -k + 5*c. Let w be ((-191)/k)/(5/10). Does 12 divide (-1)/(-6) + w/6?
False
Suppose 0*w + 192 = 4*w. Is w a multiple of 16?
True
Suppose -2*n - 5*z + 31 = 0, -3*z = 5*n - 6*z. Suppose 0*d + 4*d = -2*s + 20, 3*d - 15 = n*s. Suppose -r - 1 = -6, s = -3*o + r + 37. Is 14 a factor of o?
True
Let x(q) = q. Let f be x(3). Is 23 a factor of 60*f/(-12)*-3?
False
Let b(t) = -t**2 + 2*t - 5. Let f be b(6). Let g = f + 47. Is 9 a factor of g?
True
Suppose 3*m - 7*a + 5*a = 1161, -5*m + 1935 = 2*a. Is m a multiple of 60?
False
Suppose 0 = -0*y + 3*y - 12. Suppose -5*p - 19 = -2*z - 0*z, -2*p - 78 = -y*z. Does 12 divide z?
False
Let r(a) = -a**2 - 8*a - 4. Let z be r(-8). Is 0*z/(-12) + 36 a multiple of 18?
True
Let k be (-93)/9*(-3 + 0). Let d = k - 14. Does 6 divide d?
False
Suppose 2*n = -3*b + 43, n + 2*b - 36 + 13 = 0. Let m = n - -35. Does 14 divide m?
False
Let t(a) = 0 + 2*a + 0 + 4*a. Does 14 divide t(7)?
True
Suppose 2*o = 6*o - 36. Let j be -1 + 18/(1 - -2). Suppose o*q - 24 = j*q. Is q a multiple of 6?
True
Let x(l) = -l**3 + l**2 + 4*l + 8. Does 8 divide x(-4)?
True
Let h(r) be the first derivative of -2*r**2 + r - 5. Does 18 divide h(-5)?
False
Suppose 358 = 2*f + 118. Suppose 27 + f = 3*g. Is g a multiple of 14?
False
Is 19 a factor of -21*(665/15)/(-7)?
True
Suppose -5*v = 27 + 8. Let z(o) = -o**2 - 8*o - 3. Does 4 divide z(v)?
True
Let w be -4*((-5)/(-2))/(-5). Is 36/24 - (-17)/w a multiple of 10?
True
Let o(j) be the third derivative of j**4/3 - j**3/2 + 4*j**2. Is 3 a factor of o(2)?
False
Is ((-1)/2)/(2/(-48)) a multiple of 8?
False
Let g = -15 - -22. Does 7 divide g?
True
Suppose -3*g - 66 = j, -2*j + 3*g = -0*j + 87. Let x = j - -75. Is 8 a factor of x?
True
Does 17 divide 25/(-10)*((-1784)/(-5))/(-4)?
False
Suppose -4*g + 171 = 47. Does 21 divide g?
False
Suppose w - 3 = s + 7, s + 20 = 3*w. Let o be ((-1)/(-3))/(s/(-135)). Let m(b) = -b + 16. Does 3 divide m(o)?
False
Suppose -3*u = -5*q - 54, -u + 4*q = 3*u - 72. Does 3 divide u?
True
Suppose 4 = 5*k - r, 5*k - 4*r - 2 = -1. Let q = 22 - k. Does 21 divide q?
True
Is (-3)/(33/(-310)) - (-40)/(-220) a multiple of 21?
False
Let t(x) = x**3 + 7*x**2 + 6*x - 7. Let c be (-10)/(-2)*(2 - 1). Let y(k) = k**3 - 5*k**2 - k. Let s be y(c). Is t(s) a multiple of 6?
False
Is (-147)/(-14)*((-206)/(-14) - 1) a multiple of 36?
True
Let g(c) = -4*c**3 - 2*c**2 - c. Let q be g(-1). Suppose 2*y = 3*n - 2*y - 33, -y = q. Suppose n = 5*i - 3. Does 2 divide i?
True
Suppose -3*y + 253 = 55. Does 12 divide y?
False
Let p(z) be the third derivative of -z**6/120 + z**4/12 + z**3/3 - 5*z**2. Is 6 a factor of p(-2)?
True
Suppose c - 65 = -4*c - 5*m, -3*m = 2*c - 24. Does 12 divide c?
False
Suppose 5*x + 0 - 15 = -n, -4*x - 12 = -4*n. Let s = x - 0. Let d(a) = 2*a. Does 3 divide d(s)?
False
Let j be -3 - (3 + -12 + 3). Does 10 divide (-4 + j)*0 + 40?
True
Is 10/4*(-9 - -53) a multiple of 11?
True
Suppose -4*f = -16, -2*f - 3*f = -3*y + 337. Is 17 a factor of y?
True
Let z = -155 - -197. Is z a multiple of 4?
False
Suppose -k = 3*k - 360. Does 15 divide k?
True
Suppose 2*c + 10 = -2*b, 2*b - 15 = 7*b + 3*c. Let w(i) = 20 + b*i**2 + 2*i**2 - 24 - 6*i. Is 12 a factor of w(5)?
False
Let x(q) = -10*q**2 + q - 2. Let w(g) = -19*g**2 + g - 4. Let v(k) = -3*w(k) + 5*x(k). Does 13 divide v(-2)?
True
Let l(o) = o**2 - 7*o + 19. Does 8 divide l(9)?
False
Let d(j) = 4*j + 50. Is 18 a factor of d(10)?
True
Suppose -7 = -5*z + 3. Does 8 divide 38 - z - (-2 - -3)?
False
Let n be ((-2)/(-5) - 0)*-5. Is (27/2)/(n/(-4)) a multiple