0. Suppose -p - 23 = -3*g. Is 7 a factor of g?
False
Let c be (-2)/(6/3)*0. Does 5 divide (50/(-5))/(-1 + c)?
True
Is 0 + -1 + 25 + -2 a multiple of 5?
False
Suppose j + 2*j + 2*h + 113 = 0, 4*j + 3*h = -149. Let g be j/(-1) - (-6)/3. Let s = -27 + g. Is s a multiple of 16?
True
Let q = 35 + -14. Does 21 divide q?
True
Suppose -2*s - b + 32 = 5, 5*s - 65 = -2*b. Suppose 2*x + 23 = -3*o, -5*o + 5*x - 5 = -0*x. Let d = s + o. Is d a multiple of 6?
True
Suppose 0 = -5*z - 3 - 62. Let i = 41 + z. Does 7 divide i?
True
Let a be 17/(-5) + 6/15. Let y be (-7)/a + 9/(-27). Suppose l + 5*o - 64 = -y*l, 2*o = 4*l - 120. Is l a multiple of 14?
True
Let v = 164 + -92. Let o = -34 + v. Is o a multiple of 15?
False
Let o = 0 - -3. Suppose -o*z + 13 = -2. Suppose z*g = 2*g + 12. Does 4 divide g?
True
Let o(h) = -14*h - 32. Does 22 divide o(-7)?
True
Suppose -5 = 8*u - 3*u. Suppose 0 = -2*i + 2*h - 26, -2*h + 3 = -h. Is (52/i)/(u/5) a multiple of 13?
True
Suppose 0 = -3*j - 5*k + 218, 2*j - 3*k - 186 = -j. Let y = j - 30. Does 12 divide y?
True
Suppose 3*h + 323 + 235 = 2*x, 5*x = 2*h + 1384. Is x a multiple of 46?
True
Let m = 31 + -19. Suppose m = 2*p - 20. Does 4 divide p?
True
Let x(c) = c**3 + 5*c**2 - 6*c + 7. Is x(-6) a multiple of 3?
False
Suppose -2*s + 5 + 7 = 0. Is 51/s - 3/6 a multiple of 6?
False
Let h(o) = 3*o - 4. Let z be h(3). Let g(x) = -2*x + 1. Let f(d) = d - 1. Let w(u) = 5*f(u) + g(u). Does 6 divide w(z)?
False
Let l = 13 + -11. Suppose -l*h - 81 = -5*h. Is h a multiple of 22?
False
Is ((-3)/5)/(6/(-210)) a multiple of 7?
True
Let w(l) = -l**3 - 3*l**2 + l + 2. Let c be w(-3). Let q be (23 - 0)/(c/2). Let h = q + 65. Is h a multiple of 15?
False
Let h be 2/(-3)*21/7. Let d(a) = -7*a**3 - a**2 - 2*a + 1. Does 19 divide d(h)?
True
Let a(y) be the first derivative of -y**4/4 + 4*y**3/3 + y**2/2 - 4*y + 2. Let b be 2/(-8) + 26/8. Does 6 divide a(b)?
False
Let a(z) = z**2 - 5*z - 1. Let m be a(7). Let l = -8 + m. Suppose 0 = -c + 4*c - 2*k - 9, 4*c = -l*k + 12. Is c even?
False
Let g = 141 - 81. Is g a multiple of 15?
True
Let i = 6 + -2. Let g(x) = x**3 + x**2 - x + 55. Let k be g(0). Suppose -i*m + k + 89 = 0. Is m a multiple of 18?
True
Let j be (-71)/4 + (-2)/8. Does 3 divide 8/(-36) + (-112)/j?
True
Is 8 a factor of (-4 + (-90)/(-25))/((-2)/120)?
True
Suppose 0 = -u - 0*j - 4*j + 17, -u - 3*j = -19. Is u a multiple of 3?
False
Let w(t) = -t - 4. Let i be (-2)/(-4) + 27/(-6). Let g be w(i). Suppose 5*l + 100 - 360 = g. Does 20 divide l?
False
Let j = -119 - -169. Is 12 a factor of j?
False
Let f = 14 + -4. Is 5 a factor of (-65)/26*(-68)/f?
False
Suppose -2*x - 4 = -32. Suppose -u - 10 = t + 2*u, t + x = -4*u. Suppose -17 = -5*b - j + 122, t*b - 58 = 2*j. Does 16 divide b?
False
Let u = -3 + -5. Is (-2)/8 + (-82)/u a multiple of 9?
False
Let i be -32 + -1 + 3/(-1). Let h = i + 58. Is 22 a factor of h?
True
Suppose -2*x - 2*x + 3*j = -22, -4*j - 8 = 0. Suppose -67 = -x*v - 7. Does 13 divide v?
False
Let d = -10 + -2. Does 9 divide ((-9)/d + -3)*-12?
True
Suppose 4*y = f + 23, 5*y - 35 = y + 5*f. Suppose -4*h - 41 = -2*j - 235, -y*h + 238 = 2*j. Is h a multiple of 11?
False
Let l be 1/(3/(-93))*-5. Let n = l - 110. Is n a multiple of 16?
False
Let s = -61 + 79. Is 6 a factor of s?
True
Let h(a) = 24*a**2 + 1. Is 15 a factor of h(1)?
False
Let g(m) = 17*m**2 - 11*m + 19. Let i(x) = 8*x**2 - 6*x + 9. Let n(p) = -6*g(p) + 13*i(p). Let b(t) be the first derivative of n(t). Is 14 a factor of b(10)?
True
Let r(h) = -h**2 - 5*h + 1. Let y be r(3). Let v = 111 + -66. Let m = v + y. Does 9 divide m?
False
Let h(g) = -4*g + 1. Does 4 divide h(-2)?
False
Suppose -47 = -3*z + 205. Is z a multiple of 14?
True
Suppose -5 = -2*d + d. Suppose -98 - 72 = -d*f. Suppose 4*r + 12 = 0, -3*x + 119 = -r - f. Is x a multiple of 23?
False
Suppose 5*z - 348 = -4*d, z = -10*d + 13*d - 261. Is d a multiple of 8?
False
Suppose 2*g + g + 10 = 2*u, 3*g - u = -11. Does 6 divide 1/g*2*-14?
False
Is (-2)/(-9) + (-1972)/(-36) a multiple of 11?
True
Let l(u) be the second derivative of u**3/6 - u**2 + u. Suppose 0 = 3*p + p - 5*f - 43, -12 = 4*f. Is 5 a factor of l(p)?
True
Let i = 7 - 3. Let u(o) = -4*o + 23. Let k(q) = q - 8. Let z(c) = i*u(c) + 11*k(c). Is z(-3) a multiple of 8?
False
Suppose 5*h = 27 + 133. Suppose -7*t = -5*t - h. Does 6 divide t?
False
Suppose l + 1 = 19. Is l a multiple of 12?
False
Suppose 23 = 5*j - 2*n, 3*j - 4*n - 21 = -n. Suppose 0 = -5*u + 47 + j. Does 5 divide u?
True
Let m(g) = 2*g - 14. Let i be m(9). Let x = i + 4. Does 4 divide x?
True
Let i(m) be the first derivative of -m**2 - 7*m - 2. Suppose -4*p = 37 - 1. Does 9 divide i(p)?
False
Let g(j) = -j**2. Let z be g(0). Let f = 9 - z. Suppose -y + f - 1 = 0. Is 4 a factor of y?
True
Let g(v) = -26*v - 12. Is 4 a factor of g(-4)?
True
Let s(a) = 3*a**2 + 21*a + 1. Let f(n) = 4*n**2 + 32*n + 1. Let i(j) = -5*f(j) + 7*s(j). Is 16 a factor of i(15)?
True
Let t = 9 + -4. Suppose w + l = 28, -t*w - 2*l - 2*l = -142. Is w a multiple of 20?
False
Let f be 9/6*(-4)/3. Does 12 divide (-4)/8 - 45/f?
False
Suppose 2*u + 2 + 0 = 0. Suppose -r - 4 - 6 = 0. Is 5 a factor of (0 + u)/(1/r)?
True
Let r(h) = 30*h**3 + h - 1. Let x be r(1). Suppose 0*f + x = 5*f. Is 2 a factor of f?
True
Let w be ((-12)/(-5))/((-8)/(-20)). Let t be (-1)/((-2)/w) + -1. Is t/(-4) - 45/(-2) a multiple of 11?
True
Let b be ((-12)/(-9))/(2/18). Let r(k) = -6*k + 6. Let q be r(-7). Suppose 5*d - b - q = 0. Is d a multiple of 4?
True
Let q be 4*-1*15/(-12). Let z be 28/q - (-2)/5. Suppose 88 = -2*x + z*x + 2*t, 4*x - 4*t = 88. Is 11 a factor of x?
True
Suppose -5*h = 5*t - 380, -3*t + 152 = 2*h - 6*t. Suppose -v - 9 = -h. Is v a multiple of 27?
False
Suppose 0*z = -z. Suppose 0 = i - z - 7. Is i a multiple of 4?
False
Let s(x) = -x**3 + x - 1. Let g(j) = -21*j**3 + j. Let i(y) = -g(y) + s(y). Is i(1) a multiple of 9?
False
Let v be (-3)/(-9) - 5/(-3). Does 17 divide 31 + -3 - v/2?
False
Let n(v) = v**2 + 9*v + 4. Let h be n(-7). Let x be (-3)/5 + (-6)/h. Suppose x*q + 52 = 4*y - 5*q, -2*q - 28 = -2*y. Does 18 divide y?
True
Let g = 51 + -38. Is g a multiple of 13?
True
Let d(k) = -k**3 + 6*k**2 + k. Is d(3) a multiple of 10?
True
Suppose -3*x = -3*v + 5*v - 550, 0 = 3*x - v - 553. Does 58 divide x?
False
Suppose -4*j = -19 - 13. Let t = -5 + j. Suppose -t*x - 2*y + 86 = 2*x, -y - 29 = -2*x. Is x a multiple of 9?
False
Suppose 5*h = 40 - 5. Is h even?
False
Let i = -9 - -9. Suppose 5*a - 126 - 9 = i. Does 9 divide a?
True
Let z(x) = -x**2 - 14*x + 7. Let l be z(-10). Is 3 a factor of 16/(-40) + l/5?
True
Let a(z) = 3*z**2 - 5*z - 13. Let m be a(9). Let q = m + -81. Suppose 3*c - q = -c. Is c a multiple of 13?
True
Suppose 4*v - 4 = 4. Suppose 3*b - 2*d - 8 = -v*b, 4*b = 5*d + 3. Suppose 4*l - 6*w - 44 = -w, -w = b*l - 8. Does 6 divide l?
True
Let d(i) be the second derivative of 5*i**3/6 + i**2 - 4*i. Let m be d(6). Suppose g - m = -w, -g - 2*w + 41 = 2*w. Does 13 divide g?
False
Let l = -19 - -31. Suppose -72 = -2*j - l. Does 15 divide j?
True
Let h(i) be the first derivative of 4*i**2 + 3*i + 2*i + 1 - 3*i + 1. Is 18 a factor of h(3)?
False
Let a = -23 + 42. Does 7 divide a?
False
Let q be (1 - 24)*2*-1. Let c be 168/(-32)*(-24)/(-9). Let f = q + c. Is f a multiple of 17?
False
Let d(b) be the first derivative of 3*b**2/2 + 4*b - 2. Suppose -3*g - 7 = -2*j - 3*j, -2*g + 37 = 5*j. Is 11 a factor of d(g)?
True
Let q = 685 + -368. Suppose -q + 67 = -5*t. Suppose -3*b = -k - t, -k = 4*b - 0*b - 55. Is b a multiple of 6?
False
Let p be (-2 - 2)*(-2)/4. Suppose y - 39 = -p*y. Does 6 divide y?
False
Let m be 0 - (0 + -67) - -1. Suppose -c + m = c. Is c a multiple of 17?
True
Let w(h) = -4*h**2 + 4*h + 3. Let i(l) be the third derivative of -l**5/12 + l**4/6 + l**3/2 + 2*l**2. Let q(d) = -4*i(d) + 3*w(d). Is q(-2) a multiple of 13?
False
Let k = -149 + 393. Is 13 a factor of k?
False
Let v = -11 + 13. Suppose -2*m = v - 60. Is m a multiple of 11?
False
Suppose 0 = -a - 0*a + 9. Let c = -4 + a. Does 2 divide c?
False
Suppose -22*t = -18*t - 832. Does 8 divide t?
True
Let r = -11 - -26. Suppose 3*t + g = 10 + 7, 4*t - 5*g = -9. Suppose -l = 4*i - 89, -t*l = -l - r. Is i a multiple of 13?
False
Suppose 3*w = 3*o + 531, -w + 109 = 5*o - 86. D