(h/(-5))?
True
Suppose -s = -6*s. Let g = s + 4. Suppose -p = 3, g*r - 28 = 5*p + 3. Does 2 divide r?
True
Suppose 5*s + 4*l - 90 = -0*l, 2*s = l + 49. Suppose -s = b - 3*b. Suppose -5*z - 4 = b, 0 = 3*r - 2*z - 48. Is r a multiple of 7?
True
Suppose 3*m + m - 3*z = 13, -4*m = -4*z - 16. Is (2 - 3) + 8 + m a multiple of 4?
True
Let p = -3 - -7. Suppose -40 + 208 = p*h. Is 21 a factor of h?
True
Does 2 divide 1/(-3) + 275/15?
True
Suppose 0 = -0*m - 3*m + 270. Does 18 divide m?
True
Let j = -44 - -47. Does 3 divide j?
True
Let z = 306 - 56. Suppose -z = -2*t - 3*t. Suppose -10*m + 9*m + t = 0. Is 13 a factor of m?
False
Let f(g) = -g**2 + 11*g - 14. Let d be f(9). Suppose -84 = -2*t - 0*k + k, 0 = -4*t + 4*k + 172. Suppose 2*x + v = 37, v - t = -x - d*v. Is 16 a factor of x?
True
Suppose u + 177 + 9 = 4*p, 0 = 3*u + 6. Does 3 divide p?
False
Let g(v) be the second derivative of -v**5/20 + 7*v**4/12 + v**2 - 4*v. Is g(7) a multiple of 2?
True
Suppose -b - 8 + 49 = 0. Is b a multiple of 18?
False
Is 1495/20 + 3 + 33/(-12) a multiple of 25?
True
Let x = 13 - 2. Is 11 a factor of x?
True
Let d = -28 - -48. Suppose 2*t = u - 9, -d = -2*u + 3*t - 2. Is u a multiple of 3?
True
Let y(p) = -6*p + 6. Let x be y(5). Is 2/(-3) + (-1024)/x a multiple of 21?
True
Suppose 0 = -4*g - 4 - 4. Let i be 8/12*3/g. Does 6 divide 39/(-12)*4/i?
False
Suppose -5*h + 1 - 11 = -5*x, -4*x = -h - 2. Suppose x = 5*d - d - 88. Does 11 divide d?
True
Let u be (-6)/(-9) + 10/3. Suppose -4*a - u*o = -72, -3*a - 2*o = -39 - 20. Is 16 a factor of a?
False
Suppose 0 = 2*a + 5*x - 64 - 51, -2*x + 112 = 2*a. Is a a multiple of 5?
True
Suppose 4*n + 26 = 6, n = 4*d - 105. Suppose -28*h + 63 = -d*h. Is 20 a factor of h?
False
Suppose 0 = a + 2*a - 45. Let j = -37 + a. Let s = 60 + j. Does 19 divide s?
True
Suppose -5*b - 2*d = -445, 4*b - 178 = 2*b + 3*d. Let f = -52 + b. Is 11 a factor of f?
False
Let n(v) = -v**3 + 26*v**2 + 30*v + 11. Is 5 a factor of n(27)?
False
Let x = 108 - 60. Is x a multiple of 6?
True
Suppose 0*z = -4*z. Suppose z*g = -3*g + 84. Suppose 4 = 4*f - g. Is 8 a factor of f?
True
Let g = 20 - 48. Suppose 0 = -k + 3*j - 27, j = -3*k - 3*j - 133. Let i = g - k. Does 11 divide i?
True
Suppose -m = -4*m + 12. Suppose -3 = -3*a + 3*c + 18, 0 = a - 4*c - 19. Suppose w - a*u - 11 = u, 3*w = -m*u + 97. Is w a multiple of 14?
False
Suppose 4*y = -l + 90, l + 215 = 4*l + y. Is 10 a factor of l?
True
Let z(d) = d**2 + 3*d + 4. Suppose -2*c - c - 8 = -4*v, c = -3*v - 7. Let l be z(c). Let s = 5 + l. Is 8 a factor of s?
False
Suppose 0 = 5*t + 2*i + 17, 4*t + 11 = 5*i + 4. Let w(z) = -z**3 - 6*z**2 - 6*z - 1. Let q be w(-5). Is 4 a factor of (14/q)/(t/(-6))?
False
Let l = 42 + -30. Is 12 a factor of (-42)/4*l/(-9)?
False
Let g be (-2)/2*(-16)/4. Suppose -2*q + g = -2. Is 2 a factor of q?
False
Let b be 8/(-28) + (-116)/(-14). Let v = b - 2. Suppose -2*g + 3*j + 31 = -7, -5*j + v = g. Does 16 divide g?
True
Suppose 234 = 3*a - 6. Does 20 divide a?
True
Let a = 2 + 6. Is a even?
True
Let a(c) = -c**2 + 6*c - 6. Let g be a(4). Suppose -g*d + 12 = d. Suppose -3*h - 58 = -d*k, 20 + 58 = 5*k - h. Does 9 divide k?
False
Let b(v) = v**3 + 8*v**2 - 7*v + 1. Is b(-8) a multiple of 19?
True
Let i be 1/(((-3)/17)/3). Let q = i - -31. Does 3 divide q?
False
Suppose -4 = -2*b - 0. Suppose -b*m - 1 + 17 = 0. Does 8 divide m?
True
Let m be (-2)/10 - (-993)/15. Suppose -4*f + 3*q - m = -f, -4*q = -5*f - 106. Let w = 28 + f. Is w a multiple of 7?
False
Let o(g) = g**3 - g**2 + 11. Suppose -4*b = -5*m + 7, 5 = 3*m - 4*b - 4. Let y = 1 + m. Is 11 a factor of o(y)?
True
Let k(v) = -4*v**3 - 7*v**2 + 7*v - 1. Let n(t) = -t**3 + t - 1. Let w(s) = k(s) - 5*n(s). Does 7 divide w(7)?
False
Suppose 0 = -2*n - 3*n + 365. Is 18 a factor of n?
False
Suppose -5*i - 2*v + 12 = 0, 5*v + 3 = 4*i - 0. Does 17 divide (-40)/6*(-5 + i)?
False
Let h(k) = -k - 5. Let f be h(-6). Let u be (-183)/(-1) - (f + 2). Suppose -4*l - u = -9*l. Does 19 divide l?
False
Let s be (-24)/(-14) - (-2)/7. Suppose -s*u - u = -6. Suppose -u*h + 0*h = -22. Does 9 divide h?
False
Let d = 8 + -5. Suppose -5*g + 2*r + 73 = 0, -2*g - r = d*g - 61. Is 10 a factor of g?
False
Let y(z) = 19*z**2 + 2*z - 1. Let a be y(1). Suppose -4*f - 4 = a. Let x(w) = -2*w - 9. Is x(f) a multiple of 3?
True
Suppose 0 = -i + 3. Suppose -2*j = -j + i. Is (-2)/j*27/1 a multiple of 9?
True
Let f(y) = y**3 + 12*y**2 + 10*y - 11. Let h be f(-11). Suppose d - 15 - 24 = h. Is 23 a factor of d?
False
Let y(h) be the first derivative of 3*h**2 + h + 1. Let u be y(1). Suppose 0 = 5*w + u - 52. Is 6 a factor of w?
False
Let d(c) = c**2 + 6*c + 2. Let r be d(-7). Let o = r - -8. Does 6 divide o?
False
Let y(s) = s - 8. Let w be y(9). Let n(p) = -p + 6. Let j be n(6). Is 5 a factor of w + (j - -3 - -14)?
False
Suppose -5*y + 350 = r, -6*y + 5*y = 4*r - 1457. Is 53 a factor of r?
False
Let b(x) = -x**3 - x**2 + 3*x - 2. Is b(-4) a multiple of 4?
False
Suppose 5*o = 5*k - 70, 5*o - 23 = -3*k - 77. Let w = o + 17. Suppose -f + 2 = w*l, f - 22 = -0*f + 5*l. Does 6 divide f?
True
Let j(i) = i**3 - 6*i**2 - 8*i + 5. Let d be j(5). Let v = -35 - d. Is v a multiple of 15?
False
Suppose 5*q + 2408 = -a, -3*q = -3*a - 8507 + 1283. Does 8 divide a/(-63) - (-4)/(-18)?
False
Suppose -4*t - 4*z = 0, -2*t - 2*t + 3*z + 28 = 0. Suppose 3*a - a = 0. Suppose a = t*r - 121 + 9. Is 14 a factor of r?
True
Suppose -21*b + 25*b = 164. Does 13 divide b?
False
Suppose 5*w - 11 - 2 = 4*u, u + 22 = 5*w. Suppose -5*v - 5*q = -17 - 38, q - 2 = 0. Suppose 0 = 3*z - 5*k - 46, u*z + 2*k - 20 = -v. Is 5 a factor of z?
False
Let a be -1 + (-1)/((-2)/24). Suppose 2*g + 46 = 3*q, -a = -q + 4*g + 21. Does 6 divide q?
True
Let n = 104 - 73. Is 7 a factor of n?
False
Suppose u - 3*y = 127 - 13, 440 = 4*u - 4*y. Is 12 a factor of u?
True
Let y(f) = 2*f**2 + 4*f - 17. Let m(z) = z**2 + 2*z - 8. Let b(h) = 13*m(h) - 6*y(h). Is 3 a factor of b(3)?
False
Suppose -3*b + 2*t = -14, -2*b + 2 = 4*t + 14. Let m be (-32)/10 - b/(-10). Let k = m - -9. Does 6 divide k?
True
Suppose -12 = -4*a + 192. Let m = -59 - -72. Let i = a - m. Is i a multiple of 19?
True
Let d be 15/(-1) + 4/2. Let s = -41 - d. Let l = 41 + s. Is l a multiple of 13?
True
Let j(v) = v**3 + 11*v**2 + 7*v - 10. Let m be j(-10). Suppose 0 = -5*a - 4*p + 53, -m = -5*a + 3*p + 54. Is 13 a factor of a?
True
Suppose -2*h = 5*l - 140, 5*l - 3*h = -56 + 196. Is 14 a factor of l?
True
Suppose -2*c = -r - 11, 9 + 11 = -4*r. Suppose -5*q + 62 = -c. Suppose -g + q = -4. Does 17 divide g?
True
Let q be 6*((-16)/(-6) + -2). Suppose 3 = 3*z, -r = -q*r - 4*z + 40. Is r a multiple of 12?
True
Let x = 38 - -94. Is x a multiple of 44?
True
Suppose 5*i + 3*i = 184. Is i a multiple of 9?
False
Let q = -7 - -95. Is 22 a factor of q?
True
Suppose 5*w = 50 - 0. Suppose 0 = 4*r - 5*r + w. Is 10 a factor of r?
True
Let u(c) = c**3 - 8*c**2 + 6*c + 1. Let x be u(7). Let k(i) be the third derivative of i**6/120 + i**5/12 - i**4/3 - 3*i**3/2 + 3*i**2. Is 2 a factor of k(x)?
False
Suppose 0 = t - 2*t. Let f(v) = -v + 4. Let b be f(-6). Suppose -2*w + b = -t. Is w a multiple of 5?
True
Let d(l) = l**3 - 3*l**2 + l - 2. Does 18 divide d(4)?
True
Suppose -6*u + 8 = -2*u. Let n(o) = -59*o. Let i be n(1). Is 19 a factor of (-2 - i)*(-1 + u)?
True
Let x(l) = -2*l - 2. Let t be x(2). Let o be 72/20 + t/(-15). Does 17 divide (-1*1)/(o/(-196))?
False
Let m(r) = r + 11. Let b be m(-8). Suppose -156 = -b*a + 21. Is 22 a factor of a?
False
Let z = -14 - -4. Let y be 5/z - (-150)/4. Let d = y + -20. Does 10 divide d?
False
Let l(f) = 14*f - 7. Is 8 a factor of l(3)?
False
Let u be (-1 - 0) + (-3 - -3). Let f = -2 - -1. Does 5 divide (3*u + -2)*f?
True
Let o be 1/(0 - (-2)/36). Let x be (-1 - o/(-4))*6. Does 14 divide x*-4*3/(-9)?
True
Suppose 2*c + 0 + 42 = 0. Let l = c - -31. Is l a multiple of 3?
False
Let h(c) = -129*c**3 + c**2 - 1. Suppose g - 6 = 3*l, -l = -0*l + 4*g - 11. Let o be h(l). Let j = o - 91. Does 11 divide j?
False
Let d be 3/(0 - 3/4). Let l be 1*(1 - d) + 0. Suppose q = l*q - 120. Does 15 divide q?
True
Is 4 - (-4)/((-12)/(-9)) a multiple of 7?
True
Suppose -106 = -2*v - 0*v. Does 17 divide v?
False
Let h(x) = x**2 + 9*x - 2. Let i be h(-10). Suppose 0 = i*z - 13*z + 6