 Suppose 0 = u - z - 2. Is u a multiple of 3?
True
Let d = 67 - 40. Is d a multiple of 9?
True
Let l = 157 + -105. Does 13 divide l?
True
Let i(n) = -21*n + 1. Let c be (-125)/20 + 2/8. Let h be c/9 - 2/6. Does 11 divide i(h)?
True
Let i = -34 + 56. Does 9 divide i?
False
Let h = 132 + -76. Suppose 124 = 5*a - h. Does 12 divide a?
True
Let x(b) = 13*b + 9. Does 12 divide x(3)?
True
Let q = -59 - -104. Is 9 a factor of q?
True
Suppose 5*f = 4*z + 4, 3*f = -3*z + 4*z + 1. Suppose f*j + 50 = -5*j. Is 11 a factor of (44/(-10))/(2/j)?
True
Suppose -10 = -3*z - 2*z. Let x be (18 - 2)*(-7)/(-4). Suppose 64 = z*k - x. Does 17 divide k?
False
Suppose 5*l - 360 = 2*l. Is l a multiple of 8?
True
Let p(s) be the first derivative of 9*s**2/2 + 3*s + 5. Does 15 divide p(3)?
True
Let s(v) = v**3 + 8*v**2 - v - 6. Let x be s(-8). Suppose -3*z + 47 = -4*h, x*z - 68 = -2*z + 4*h. Does 7 divide z?
True
Let p(t) = t + 17. Let x(a) be the first derivative of a**2/2 + 18*a - 2. Let k(r) = 3*p(r) - 2*x(r). Is k(0) a multiple of 15?
True
Suppose 0 = -f + 76 + 56. Let u be f/4*26/6. Suppose -5*v + 2*m + m = -u, 2*m = -2. Is 11 a factor of v?
False
Let b(h) = -h**2 - 9*h - 8. Let g be b(-8). Is (g + (-2)/(-3))*3 a multiple of 2?
True
Does 10 divide 56 + (5 - 1)/1?
True
Let f be -2 + (-2 + 1)/(-1). Does 2 divide (f/2)/(4/(-32))?
True
Let i = -222 - -420. Does 18 divide i?
True
Suppose 3*y - g = 1, 4*y + 4*g - 14 = -2. Suppose 0*o - y = o. Is 21 a factor of o + (2 - 48*-1)?
False
Let y(m) = m**2 - 8*m + 13. Suppose -p = 2*p - 27. Is y(p) a multiple of 11?
True
Let z = 80 + -25. Does 5 divide z?
True
Suppose -6*u + p = -11*u + 321, -5*u + 4*p = -341. Is u a multiple of 12?
False
Let j(h) = 1 - 9 - h + 16*h. Does 24 divide j(5)?
False
Let s(b) = b**3 + 11*b**2 + 9*b - 1. Does 3 divide s(-10)?
True
Is 6 a factor of (-70)/(-4) + 4/8?
True
Let h = 4 - -1. Suppose 2*g = h*g - 54. Is 18 a factor of g?
True
Let v = -46 + 130. Is 14 a factor of v?
True
Suppose 15 = -5*d, 0 = 5*i - d + 2*d + 3. Suppose 5*b - 4*j = 41, 5*j + 40 = 4*b - i*b. Suppose -2*a + b*a - 60 = 0. Does 10 divide a?
True
Does 4 divide (-264)/(-55)*10/3?
True
Let d(g) = -9*g - 2. Let z be (-2)/5 + 84/(-15). Let i = -8 - z. Is 8 a factor of d(i)?
True
Suppose -102 - 8 = -5*b. Does 6 divide b?
False
Let z = 63 - 35. Is z a multiple of 12?
False
Let v be (-2 + (-26)/(-6))*-3. Let x be 2*(v/(-2) + -2). Suppose -3*z = p - 17, -2*p + 52 = z + x. Is 10 a factor of p?
False
Suppose 5*c = 4*g + 10, -4*g = -0*c + 2*c + 24. Let z = -3 - g. Suppose 0*b - 42 = -z*b. Is 7 a factor of b?
True
Suppose -w - 4*w + 405 = 0. Does 27 divide w?
True
Let p be 15 + -3 - (0 - -1). Let h = p + 41. Is 19 a factor of h?
False
Suppose 4*p = -n + 3*p + 3, -3*n = -p - 1. Is 3 + n + 3/(-3) a multiple of 3?
True
Let d = 35 + -14. Suppose k = 4*v + 10, 3*k = 9*v - 4*v + 23. Suppose 5*m - d = -3*j + 3*m, 0 = 2*m - k. Is 3 a factor of j?
False
Does 20 divide (-8)/(-40) - (788/(-10) - 1)?
True
Let f be 3/(-2)*32/(-24). Does 32 divide f/(2/65) + -1?
True
Let k(a) = 18*a + 5. Let w be k(5). Suppose 53 = n - 2*i, 3*n - 2*i - w = 44. Is 16 a factor of n?
False
Let v(k) = -k**3 - 5*k**2 - k - 3. Suppose 2*j + t + 6 = 0, -j = 4*t - 3 - 8. Let w be v(j). Is 7 a factor of 135/6 + w/4?
False
Suppose -j + 44 = 10. Does 34 divide j?
True
Let m(y) = -y**2 - 25*y - 13. Is m(-18) a multiple of 35?
False
Let x = -98 - -140. Let q = x - -21. Does 25 divide q?
False
Suppose 27 = 3*a + 4*i, 4*a + 2*i - 3*i - 17 = 0. Suppose 3*j + a*s = 106, 2*j - 4*s - 75 = -3*s. Is j a multiple of 17?
False
Suppose -2*j + 0*j + 2*h = 30, -5*h + 45 = -3*j. Let w = -10 - j. Let f(t) = t**3 - 5*t**2 + t + 4. Is f(w) a multiple of 6?
False
Is (72/(-28))/((-1)/35) a multiple of 12?
False
Is 11 a factor of (36/14)/((-17)/(-119))?
False
Suppose -f = -3 - 31. Is 9 a factor of f?
False
Let n(a) = a**2 - 9*a + 5. Let h be n(-6). Suppose -2*j - q - q + 46 = 0, 4*j + 5*q - h = 0. Is 10 a factor of j?
True
Suppose j + q + 67 = 4*j, -4*q = -3*j + 52. Is j a multiple of 8?
True
Is (3/(-12)*-3)/((-2)/(-160)) a multiple of 12?
True
Let r(i) be the second derivative of i**5/20 - i**4/2 - i**3/3 + 5*i**2/2 - 2*i. Is r(7) a multiple of 20?
True
Let j(u) = -5*u - 15. Is 17 a factor of j(-9)?
False
Let g(n) = -n + 9. Is g(-5) a multiple of 7?
True
Let n(m) = -2*m + 8. Is 6 a factor of n(-6)?
False
Is 5 - 2 - (-74)/2 a multiple of 18?
False
Suppose n - 11 = -2. Suppose -3*d = -6 - n. Suppose 0 = d*k - 34 - 1. Does 7 divide k?
True
Let w(d) = d**3 - d + 37. Let n be w(0). Suppose -q - 3*q - 3*x - 47 = 0, -3*q = 4*x + n. Does 6 divide 326/22 - 2/q?
False
Let a be 100/45 + 4/(-18). Suppose 2*j + 4 + 2 = -a*k, k = 3*j + 9. Is 19 a factor of 114/(-24)*(k - 4)?
True
Does 18 divide 135/(-6)*432/(-45)?
True
Let l be (1 - -7) + 3 + -2. Let a be 14/(-35) + 27/5. Suppose -z + l = -a. Does 13 divide z?
False
Suppose 5*f - 32 = -4*x + 3*x, -x + 5*f + 72 = 0. Does 4 divide x?
True
Suppose 8 = -2*l + 78. Does 16 divide l?
False
Let u be 12/(-20) + (-23)/(-5). Suppose -x + 135 = u*x. Is x a multiple of 9?
True
Let t(y) = 2*y**2 - 9*y + 12. Let i(n) = n**2 - n. Let m(d) = -i(d) + t(d). Is 11 a factor of m(8)?
False
Let f be (-360)/(-8)*(1 - 0). Let c = 22 - 10. Does 11 divide (f/c)/(1/4)?
False
Suppose 4 = o + i, 0*i = -5*o + i + 20. Suppose -o*g + 148 = -4*j, 4*j = -0*j + 16. Let q = g + -28. Is q a multiple of 13?
True
Let w(d) = d + 2. Let z be w(2). Suppose 74 = 5*v + z. Is 12 a factor of 6/v*-2*-14?
True
Let l = 67 - 24. Is l a multiple of 7?
False
Let y(v) = -v**3 + 4*v**2 + 5*v + 1. Suppose -16 = -r - 3*r. Does 21 divide y(r)?
True
Suppose -127 = -5*k + 4*y, 3*y - y = 4*k - 98. Does 23 divide k?
True
Suppose 34 = l - y, -2*l - 2*y + 3*y + 70 = 0. Is 30 a factor of l?
False
Let x(a) be the second derivative of a**3/3 - 2*a**2 + 3*a. Is x(6) a multiple of 2?
True
Suppose 0 = 2*l + 10 - 0. Let v(g) = -g**3 - 5*g**2 - g. Is 2 a factor of v(l)?
False
Suppose -1325 = -10*u - 405. Is 23 a factor of u?
True
Let h = -89 - -187. Suppose -5*c = -2*k + 20 - 120, -4*c = 2*k - h. Is 6 a factor of (-4)/c + 720/88?
False
Suppose 0*s - 64 = -4*s. Let m = s - 6. Does 9 divide m?
False
Let c = 81 - 55. Is c a multiple of 13?
True
Does 4 divide 2/(3 - (-116)/(-40))?
True
Suppose 0 = -3*r + r - 8. Let s = 1 - r. Is s a multiple of 2?
False
Suppose -4*n - 6*n = -280. Is 2 a factor of n?
True
Let f = -14 - -14. Suppose v - 28 - 6 = f. Is v a multiple of 20?
False
Let h(b) = -b + 2. Let q be ((-4)/(-6))/(2/(-21)). Let n be h(q). Suppose 0 = o - 3*m - 11, 0 = -m - 2*m - n. Is o a multiple of 2?
True
Is -60*(62/(-12) - 10/(-15)) a multiple of 16?
False
Suppose -3*i = -h + 11, 4*h = -i + 61 + 22. Does 4 divide h?
True
Suppose -25 = -3*z - 3*i + 23, 3*z - 5*i = 32. Is (z - -11) + (-1)/1 a multiple of 8?
True
Let m be ((-2)/6 - 2)*-3. Let o be 2/m + (-330)/(-21). Suppose -5*n - 3*w + 24 = -o, -2*w + 23 = 3*n. Is 5 a factor of n?
False
Does 17 divide (2/(-1) - 0)/(2/(-44))?
False
Does 22 divide (-2)/5 + 992/5?
True
Suppose 6*t - 10 = t. Let n(f) = -f**t + 4 - f**3 - 3*f**2 + f - 3*f**2. Does 20 divide n(-8)?
True
Suppose 2*r + 5 = a, 2*r + 3*a + 13 = -4. Let c(s) = -4*s + s**3 - 6 - 5*s**2 - 3*s**3 + 0*s**3. Is c(r) a multiple of 16?
False
Suppose 0*h + 2*h = 8. Suppose -d + 95 = a + 3*d, -h*a - 4*d + 320 = 0. Suppose 3*f - 54 = a. Is 15 a factor of f?
False
Let q(t) = t**2 - 6*t - 41. Is 8 a factor of q(14)?
False
Let y(z) = 9*z + 7. Let x be ((-27)/15)/(9/(-30)). Is y(x) a multiple of 14?
False
Suppose -60 = 9*l - 4*l. Is 3 a factor of (-9)/2*16/l?
True
Let q(y) = -4*y + 55. Is q(0) a multiple of 10?
False
Let a(w) = -w - 6. Let h be a(-7). Is ((-28)/4)/(h + -2) a multiple of 3?
False
Suppose 0 = 2*l + 2 - 12. Suppose 4*i + l*p = 12, -i - 6 = -3*p + 8. Does 5 divide 2 + 0 + (-18)/i?
False
Let z be 2 - (-54 + -2 - -1). Suppose -z = -4*r + r. Does 13 divide r?
False
Let f(b) be the third derivative of b**6/120 - b**5/10 - 5*b**4/24 + 2*b**3/3 + 4*b**2. Is 18 a factor of f(7)?
True
Let b = -4 - 0. Let z(s) = s + 1. Let m be z(b). Let w = m + 7. Is w even?
True
Suppose 6 = 5*l - 2*l. Suppose -3*q + 2*a = -43, 18 = l*q - 2*a - 14. Suppose 112 = 3*m - q. Is m a multiple of 16?
False
Let x be (8/1)/((-10)/(-115)). Suppose -m = 3*m - 4*c - x, -