t l(z) = -z + 5. Suppose 2*m - 2 - 2 = 0. Let t = 2 - m. Is l(t) a multiple of 5?
True
Let x be (-8)/(-28) + 6/(-21). Does 27 divide x + (-2 - 1) - -57?
True
Let y(z) = -z - 3. Let b be y(-7). Let n(s) = -s**3 - 8*s**2 - s. Let t be n(-8). Let o = t - b. Does 3 divide o?
False
Let f = -5 - -11. Suppose -3*a = 4*g + 1, -f*a + 21 = -a + g. Suppose -a*s = m - 29, -m = -2*m + 3*s - 3. Does 9 divide m?
True
Suppose 25*m = 23*m + 312. Does 13 divide m?
True
Let d be (-4)/(-12) - 5/(-3). Suppose -3*b + 90 = d*b. Does 6 divide b?
True
Suppose 5*g + 557 - 127 = 0. Let z be (-1)/(2/4) - g. Suppose -x - z = -3*x. Is 14 a factor of x?
True
Suppose 12*v - 15*v = -24. Is 11 a factor of 20 + (-3)/((-12)/v)?
True
Suppose 11 + 29 = 5*a. Is 8 a factor of a?
True
Let i = 0 + 5. Is 3 a factor of i - (2/1)/1?
True
Suppose 56 = -z - w, -w - 370 = 5*z - 74. Let j = z - -103. Does 12 divide j?
False
Suppose 3*d - 420 = -42. Does 18 divide d?
True
Let w = -29 - -19. Let t be 6/5*10/4. Does 14 divide (t + w/(-4))*6?
False
Let r(b) = -3*b**2 - 10*b + 10. Let v(z) = -4*z**2 - 10*z + 11. Let a(w) = -5*r(w) + 4*v(w). Let l be a(10). Is 8/12 + (-146)/l a multiple of 9?
False
Suppose -4*d = 20, 2*h - 36 = -4*d + 136. Is h a multiple of 16?
True
Is 24 a factor of 32/(-2 - 7/(-3))?
True
Let k = 11 - -1. Suppose 0 = -2*l + 4*l, k = -2*v - l. Is (2/4)/(v/(-108)) a multiple of 4?
False
Let h(g) = g**3 - 6*g**2 + g - 1. Let v be h(6). Suppose -o = -v*j + 36 - 11, -2*j + 10 = -2*o. Let b = 7 - j. Does 2 divide b?
True
Let o(t) = 6*t - 8. Is o(5) a multiple of 5?
False
Suppose -z + 3 + 6 = 0. Is 9 a factor of z/36 + (-190)/(-8)?
False
Is (-84)/(-9)*(-9)/(-2) a multiple of 11?
False
Let d(v) = v**3 - v**2 - v + 4. Let g be d(0). Suppose g*p - 19 = -o, -5*p - 5*o + 19 = -16. Suppose 0 = -5*s + p*s + 8. Is s a multiple of 3?
False
Suppose 425 = 5*s - 5*n, 3*s + 5*n - 249 = 2*n. Is 12 a factor of s?
True
Suppose 5*p - 3*u + 12 = -12, 0 = -3*u - 6. Let t(a) = -a**3 - 4*a**2 + 2. Let i be t(-4). Is 1 - -1 - (i + p) a multiple of 6?
True
Let s(r) = -r**3 - 6*r**2 + 7*r + 2. Let i be s(-7). Suppose 3*m + 2*w + 4 = 0, m = -m + i*w + 14. Let o(u) = 7*u + 2. Is 8 a factor of o(m)?
True
Suppose 4 = -t, 5*o - 1 = -t + 5. Suppose 3*h - 10 = -2*u, 0 = -2*h - 0*u + 2*u. Suppose 0 = 5*l - o*w - 47, -h*l + 46 = 3*l - w. Does 4 divide l?
False
Suppose 12*i - 432 = -0*i. Is 6 a factor of i?
True
Is 4 a factor of ((-3)/6)/(4/(-184))?
False
Let a(f) = -6 + 1 + f**2 + 4*f - 5. Let j be a(-7). Let v = j + 2. Does 7 divide v?
False
Suppose 0 = -6*a + 15 + 15. Suppose 0 = -2*f - 6*q + q + 76, a*q = 20. Does 25 divide f?
False
Let n be (2/3)/((-2)/(-108)). Suppose n = 3*o + 3. Is o a multiple of 4?
False
Let z(v) = 9*v + 1. Let c be z(-1). Let l(d) = d**2 + 6*d - 6. Does 5 divide l(c)?
True
Suppose -j = -4*j - 9. Let f = j - -13. Does 3 divide f?
False
Suppose 25 + 13 = -2*y - 2*k, y + 3*k = -9. Let l = 40 + y. Let g = l - 4. Is 6 a factor of g?
True
Suppose -w - 3 = -1, -3*j + 230 = -w. Suppose 0 = x + 3*x + j. Let z = x - -27. Does 5 divide z?
False
Let y = -2 + 4. Suppose -2*l = -y*s + 40, 3*s + 5*l - 35 = -s. Is 15 a factor of s?
True
Let c(u) = -u**3 - 4*u**2 - 2. Let f be c(-4). Does 14 divide (-340)/(-12) + f/6?
True
Suppose 0 = -2*p - 0*p + 2*x + 60, p + 5*x = 42. Does 15 divide p?
False
Let r = -18 - -18. Suppose 5*s = -2*x + 10, r*x - 3*x + 4*s = -15. Is x a multiple of 5?
True
Let y = 2 - 0. Let c = 53 + -32. Suppose -y*j - 3*s = -5*j + 21, -c = -3*j + s. Is 4 a factor of j?
False
Suppose -2*u - 11 = 3*r, -u + 3 = -r + 1. Is (-544)/(-48) - 2/r a multiple of 12?
True
Let w = 48 + -32. Is w a multiple of 8?
True
Is (-4)/(-14) + -62*(-2)/7 a multiple of 3?
True
Let f(b) = b - 2. Let a be f(6). Does 14 divide (30/4)/(a/8)?
False
Let m be (2 + 10/(-4))*0. Suppose m = 3*i - 6*i. Suppose i*o + 126 = 3*o. Is o a multiple of 13?
False
Suppose 2*m + 33 = 5*l + 3, -m - 27 = -4*l. Let v(q) = q**2 - 6*q + 1. Is v(l) a multiple of 14?
False
Is 11 a factor of 240/5 - 2 - (-2 + 0)?
False
Let b(x) = x**3 + 9*x**2 + 7*x + 11. Is b(-6) a multiple of 24?
False
Let y(s) be the second derivative of 0 + 2*s - s**2 - 1/2*s**3. Is y(-2) a multiple of 2?
True
Suppose 3*m = -5*a + 7, m + 5*a + 1 + 0 = 0. Suppose -p = m*s - 0*s - 24, 5*p = 0. Suppose s*k = k + 2*j + 90, 3*k - 5*j = 73. Is 16 a factor of k?
True
Let j(b) = -b**3 + 2*b**2 + 2*b - 2. Let l be j(2). Let q(f) = f**2 - 7*f - 15. Let w be q(10). Suppose 3*x + 35 = -0*k + 4*k, 5*x = -l*k - w. Is k even?
False
Let m(u) = 28*u + 1. Is 17 a factor of m(1)?
False
Suppose 0*h + 3*h = 42. Is 4 a factor of h?
False
Let l = 170 + -72. Let x be 1/(-1) - (3 + 2). Is 3/(-1)*l/x a multiple of 20?
False
Let d = 0 - 0. Let q be d/(4 - (1 - -1)). Suppose q*m - 2*m = -a - 41, -a + 1 = 0. Is 11 a factor of m?
False
Let k be (26/4)/((-1)/26). Is 17 a factor of (-1)/(-5) + k/(-5)?
True
Let g be 0*(1 - 2)*1. Suppose g = 4*h - 2*h - 6. Suppose 0*y + 3*y - 55 = -4*j, -h = y. Is 8 a factor of j?
True
Suppose 5*s - 170 = 5*j, 5*s = 5*j - j + 131. Let y = 90 + j. Does 17 divide y?
True
Let h be (-86)/(-3) + 1/3. Let d(u) = u**2 - 5*u + 1. Let v be d(4). Let f = h + v. Does 14 divide f?
False
Suppose 4*a + 40 = 8*a. Suppose 2*m - a - 10 = 0. Is 5 a factor of m?
True
Suppose -23 = 4*v + p, -1 = -2*v + 3*v + 5*p. Let g be 16/v*(-3)/2. Suppose g*n = -4*z + 64, 0*n + n - 7 = 2*z. Is n a multiple of 11?
False
Suppose u - 3 = 2*k, u - 1 - 2 = -4*k. Suppose 8 + 40 = u*z. Does 13 divide z?
False
Suppose -97 = -5*g + 73. Does 17 divide g?
True
Let l be (-4)/(-10) - (-39)/15. Suppose 5*q - 2*w = -3*w - 15, 5*q = l*w - 15. Is 4 a factor of (-8 + 0/q)*-1?
True
Let u(y) = -12*y - 1. Let x = 22 + -23. Is u(x) a multiple of 10?
False
Let l = -4 - -3. Let d(k) = -5*k + 0 + 0 - k + 1. Is d(l) a multiple of 3?
False
Let a = -6 - -7. Let r be 1 - (-3)/a - 2. Does 4 divide 7 + 1/r*-2?
False
Let k be 12/9*(-69)/(-2). Suppose -5*w = -k - 24. Does 14 divide w?
True
Let g(x) = 5*x**2 + 1. Let h be g(-1). Suppose -3*s + 0 = h. Is 5 + s/2 + 2 a multiple of 3?
True
Suppose -2*q = -3*z + 1, 0*q - 3*q - 11 = 5*z. Let t(y) = 7*y**2 + 0*y**2 + 2*y - 2 + 0*y. Does 11 divide t(q)?
True
Suppose -y = -71 + 21. Suppose -10 - y = -5*n. Does 4 divide n?
True
Suppose 4*r = 4*l - 4, 0 = -3*l - 0*l + r + 9. Is 99/12 + (-1)/l a multiple of 4?
True
Is 11 a factor of 60 + 5 + (-2 + 3)*-1?
False
Let g = -3 + 5. Suppose 2 = x + 2*p - p, -g*p + 10 = 5*x. Suppose -x*a + 96 = 2*a. Does 8 divide a?
True
Let t(p) = -54*p. Is 18 a factor of t(-1)?
True
Let v be (-49)/(-3) - 4/(-6). Let s(a) = -a + 11. Let z be s(9). Let c = v - z. Is 15 a factor of c?
True
Suppose -2*j = -76 + 12. Is j a multiple of 13?
False
Suppose -5*l = -78 - 82. Is 10 a factor of l?
False
Let q = -95 + 162. Is 20 a factor of q?
False
Let d(u) = 2*u - 1. Let p be d(-6). Let q = -8 - p. Suppose -q*y + 0 = -35. Does 7 divide y?
True
Suppose -7*d + 34 + 22 = 0. Is 2 a factor of d?
True
Suppose -s + 4*s = 42. Does 10 divide (-1025)/(-35) + (-4)/s?
False
Let m = 5 + -3. Suppose f = -m, -5*u + 37 = -2*f + f. Suppose -2*x - 120 = -u*x. Does 10 divide x?
False
Suppose -4*j + 285 = 45. Suppose -5*y = -2*y - j. Is y a multiple of 10?
True
Let u be -16 + 7 - -2*1. Let s = 23 - u. Does 7 divide s?
False
Let l(w) = w**2 + 3*w - 24. Is 12 a factor of l(12)?
True
Let m(u) = 2*u**2 + 3*u - 2. Let s be m(2). Let v = s - 5. Suppose r - 2 = v. Is r a multiple of 9?
True
Let v(l) = -4*l - 12. Let c(b) = -5*b - 13. Let t(n) = 5*c(n) - 6*v(n). Let m be t(7). Suppose m = -5*f + 57 + 8. Is 5 a factor of f?
False
Is ((-2)/4)/(14/(-1092)) a multiple of 17?
False
Let x = -25 - -16. Let h(a) = a**2 + 6*a - 1. Does 13 divide h(x)?
True
Let q(y) = 21*y - 2. Let w be q(3). Let j = -42 + w. Is j a multiple of 19?
True
Suppose 4*v + 3*z = 59, 3*v - z - 46 = -5*z. Suppose 3*t - t - v = 0. Does 3 divide t?
False
Let c = 121 + -65. Is c a multiple of 8?
True
Suppose 798 = 5*h + 2*h. Is h a multiple of 19?
True
Let l = 113 - 167. Is (l/(-12))/((-2)/(-4)) a multiple of 3?
True
Suppose 5*m = -3*z - 40, z + 2*z = 3*m. Is 11 a factor of (-66)/m*20/6?
True
Let f = -9 - -3. Is 13 a factor of (-544)/(-10) - f/10?
False
Suppose 2*u = -3*u + 25. Suppose 0 = -5*n + u + 40. Is n a multiple of 3?
True
Let b be (-13 