vide h/o + (-1)/2?
True
Suppose 5*d - 6 = 4. Suppose d*i - 164 = -20. Is 18 a factor of i?
True
Suppose 4*i - 10 = -i. Suppose i*f + 2*f = 80. Does 10 divide f?
True
Let b(z) = 10*z - 2*z + 0*z - 3*z + 5. Is b(4) a multiple of 5?
True
Suppose -g = 2*z - 219, -g = 5*z - z - 435. Suppose -z = -2*h + 42. Does 20 divide h?
False
Let j(x) = x**3 + 11*x**2 - 5*x + 5. Does 20 divide j(-11)?
True
Suppose -4*f - 30 = -5*f + 5*u, f + u = 0. Let g = -2 + f. Is 3 a factor of g?
True
Suppose 226 = 2*s - k + 5*k, 4*s - 5*k - 439 = 0. Suppose -336 = -3*b - s. Let p = 105 - b. Is 13 a factor of p?
False
Let m(z) = -15*z**3 - 2*z**2 - 2*z - 1. Let b be m(-1). Let w = 31 - b. Is 17 a factor of w?
True
Let n = -58 + 94. Does 33 divide n?
False
Let x = 5 - 4. Let g(i) = -7 + x + i + 4*i + 2. Is g(3) a multiple of 11?
True
Suppose l = 1 - 2. Let h be (l - -2) + (-4)/(-4). Does 8 divide 82/4 + h/4?
False
Let y = 3 + -1. Suppose -3*i = y*i. Suppose i = 4*q - 90 - 70. Is 20 a factor of q?
True
Suppose 3*j + 10 + 8 = 0. Let m(q) = -2*q - 6. Does 6 divide m(j)?
True
Let m(w) = w + 8. Let i be m(-4). Suppose 0 = i*s + 6 + 14. Does 17 divide ((-6)/s)/(6/255)?
True
Suppose 4*d - 6 = 18. Suppose 46 = d*b - 2. Does 8 divide b?
True
Does 11 divide (30/(-9))/(3/(-36))?
False
Let n = -101 + 188. Is n a multiple of 21?
False
Let n(x) = -x**2 + 5*x - 4. Let l be n(4). Let h be 20/4 + l + 0. Suppose -j = 4*v - 97, -h*v + 5*j + 2 = -138. Does 25 divide v?
True
Suppose r - 126 = 2*t - 4*t, 0 = -5*t - 2*r + 313. Does 26 divide t?
False
Suppose -3 = y, 0*y = -5*q - 2*y + 14. Suppose q*c = 3*n + 81 + 60, 0 = -5*c + n + 168. Is c a multiple of 11?
True
Let z = 26 - 71. Let x = -27 - z. Suppose -x = -3*w - 3. Is w a multiple of 2?
False
Let k(o) be the second derivative of o**5/20 + 5*o**4/12 + 2*o**3/3 + 2*o**2 + 4*o. Is k(-3) a multiple of 9?
False
Suppose 0 = 3*o - 31 - 149. Is 22 a factor of o?
False
Suppose -3 = 4*j + 2*b - 9, -4*b = 3*j + 8. Suppose 5*s - 35 = 3*o, -2*s + o - 14 = -j*s. Is 7 a factor of s?
True
Suppose 4*h - 15 = h, 2*l - 3*h + 11 = 0. Suppose 0 = -3*o - l*r + 70, -5*o + 5*r - r + 124 = 0. Is o a multiple of 12?
True
Let x(q) be the first derivative of -q**4/4 - 4*q**3 + 5*q**2 - 14*q - 3. Is 8 a factor of x(-13)?
False
Does 24 divide (-42)/4*252/(-27)?
False
Let h(b) = b**3 - 10. Let z be h(0). Let n(t) = -3*t**3 - 3*t**2 - 3*t - 3. Let g be n(-2). Does 3 divide 4/z - (-141)/g?
True
Let o = -36 + 56. Suppose j + 0*j = -s + 2, -o = -3*j + 4*s. Suppose -t + j*h = -18, 5*h = -3*t - 0 + 3. Does 3 divide t?
True
Let i = 15 + -4. Suppose -i = -3*d + 10. Is 4 a factor of d?
False
Suppose -4*z = z + 2*k - 463, -k + 278 = 3*z. Is 3 a factor of z?
True
Let y(l) = 7*l + 35. Is y(-2) a multiple of 7?
True
Suppose -2*q - 3*q + 30 = 0. Let s be (15/q)/(3/6). Suppose -2*j + 3*j = -2*n + 17, -35 = -2*j - s*n. Is 6 a factor of j?
False
Let c(v) = -v**3 + 11*v**2 - 8*v + 24. Is 17 a factor of c(10)?
False
Let x be 1 + -4 - (-1 - 12). Suppose 0 = -5*y - 0*r - r + 23, 0 = -y - 2*r + x. Does 2 divide y?
True
Let o = 255 - -135. Is 15 a factor of o?
True
Let n(x) = 10*x - 2. Let s(u) = 9*u - 1. Let t(b) = -3*n(b) + 4*s(b). Let c(l) = l**3 + 12*l**2 + 20*l + 7. Let y be c(-10). Is 22 a factor of t(y)?
True
Is 14 a factor of 70*((-33)/(-15) - 1)?
True
Does 6 divide 27 + 1 + 8 + -5?
False
Suppose -z - 3*q + 2 = -q, -3*q + 10 = 5*z. Let n(w) = z*w + 0 - 3 + 1 + 6*w. Is n(2) a multiple of 6?
False
Suppose -s + 5*s - 1032 = 5*n, s - 258 = n. Is s a multiple of 14?
False
Let u(n) = n - 6. Let t be u(11). Suppose -m - 64 = -t*m. Is m a multiple of 8?
True
Let w be (6 - 5)/((-1)/5). Let h(r) = -3*r**2 + 6*r + 4. Let f(p) = -5*p**2 + 11*p + 8. Let m(o) = 4*f(o) - 7*h(o). Does 6 divide m(w)?
False
Let m(c) = -c**2 + 2*c + 4. Let q be m(-5). Let o = q - -19. Let r = -3 - o. Is r a multiple of 7?
False
Suppose -101 = -4*x + 3*x. Does 4 divide x?
False
Suppose -4*y = -3*q + 244, 3*q = -0*y - 3*y + 258. Is 28 a factor of q?
True
Let a be (-37)/(2*3/6). Let b = a + 65. Is b a multiple of 14?
True
Let l = -8 - -12. Let w be (-2 + -2)*(-2)/l. Suppose s = -w*s + 15. Does 3 divide s?
False
Suppose 4*x + 3*d - 16 = -7, 4*d - 10 = -5*x. Suppose -y - 4*c = 2*y - 89, 0 = -3*c + x. Does 5 divide y?
False
Suppose 0 - 2 = -x. Is 2 a factor of x?
True
Suppose -5*x + 2*x + 21 = 0. Is x a multiple of 4?
False
Suppose 5*a = -4*l + l + 52, 3*l = -4*a + 44. Let d = a + 1. Suppose -d = -2*g - 1. Is g even?
True
Let h(p) = -17*p - 5. Let g be h(-9). Let o = -103 + g. Suppose o = -0*u + 3*u. Is 13 a factor of u?
False
Suppose 5*w + 0*v = 2*v + 59, -3*w - 3*v = -27. Is w even?
False
Suppose -42 = -m + 47. Let y = m + -62. Is y a multiple of 9?
True
Suppose 44 = c + 4*o, -2*c + 0*o = -5*o - 62. Does 12 divide c?
True
Is (2/5)/(2/50) a multiple of 2?
True
Let q(s) = 16*s**2 - s + 11. Is 46 a factor of q(-4)?
False
Let a = -66 - -97. Is a a multiple of 8?
False
Suppose i = -1 + 61. Let x be (78/(-4))/((-9)/i). Suppose 28 = -2*c + x. Is c a multiple of 24?
False
Let r(x) = 8*x + 4. Let g(v) = -v**2 - 5*v + 8. Let l be g(-6). Suppose l*a + 2 = -2*t, -4*t - a - 2*a = 0. Does 14 divide r(t)?
True
Let s(u) = -u**3 + u**2 + u + 19. Let z be s(0). Suppose b = p + 19, -70 = -4*b - p - z. Is 9 a factor of b?
False
Is 6 a factor of -3 - -2 - (-6 + -1)?
True
Suppose -2 = 2*x - 32. Is 6 a factor of x?
False
Suppose 3*s - s - 508 = 0. Suppose 5*o - s = -64. Is o a multiple of 19?
True
Let u(q) = q**3 + 4*q**2 + 3. Let i be u(-4). Suppose 7*f = i*f + 16. Does 20 divide (-52)/(-2) + (f - 1)?
False
Suppose -2*c - 4*g = -c, -5*g - 105 = -4*c. Let o = c + 20. Suppose 2*d - 3*x - o = 0, 5*d = 4*x - 61 + 154. Does 6 divide d?
False
Suppose 104 = 4*d - 388. Suppose 2*l - d = -l. Is l a multiple of 15?
False
Let u(x) = -17*x**2 + x. Let b = -1 - -3. Let t be u(b). Does 8 divide ((-5)/(-15))/((-2)/t)?
False
Suppose 0 = 5*n - 2*n - 6. Is 9 a factor of (-346)/(-18) - n/9?
False
Let n = 234 - 24. Suppose 0 = 4*f + f - n. Is f a multiple of 21?
True
Let d be (-2)/4 - 5/(-10). Suppose 5*j - 60 = j. Suppose d = -o - 0*o + j. Does 5 divide o?
True
Suppose -2*z = 3*p + 77, -2*z + 52 = -2*p - 6. Is 15 a factor of 6/p - (-1167)/27?
False
Suppose -2 = w - 4. Suppose 3*h - 4 = w*h. Is 4 a factor of h?
True
Suppose 2*v + 38 = -2*o + 3*v, 3*v = -5*o - 117. Is 18 a factor of (-23 + -1)/(14/o)?
True
Suppose -g - 9 = 19. Let h = g - -12. Let z = h - -32. Is z a multiple of 6?
False
Is 1 + 2 + -3 - -23 a multiple of 5?
False
Suppose 3*y = -5*n + 210, -8 = -n - 3*y + 34. Is n a multiple of 14?
True
Suppose -5*o + 3*n - 69 - 28 = 0, o + 37 = 5*n. Let y = o - -25. Is y a multiple of 8?
True
Let f(r) = -2*r**3 - 2*r**2 + 4*r - 2. Is 21 a factor of f(-4)?
False
Let z = -21 + 37. Is 16 a factor of z?
True
Let a = 45 + -12. Is 12 a factor of a?
False
Suppose 16 = -3*k + 37. Is 7 a factor of k?
True
Let f = -18 - -26. Let m(u) be the third derivative of -u**6/120 + 2*u**5/15 + u**4/8 + 4*u**3/3 - u**2. Is m(f) a multiple of 10?
False
Let k = -28 - -59. Let p(n) = -8*n + 1. Let b be p(1). Let i = k - b. Does 18 divide i?
False
Let t be 2*-1*(3 + 13). Is (16/(-3))/(t/48) a multiple of 8?
True
Does 3 divide (30/(-4))/(15/(-20))?
False
Suppose -v = -4*v - 12. Let a be (-2)/8 - 1/v. Suppose i - 6*i + 70 = a. Is 7 a factor of i?
True
Let l(t) = -t**3 + 11*t**2 + 15*t + 15. Is 9 a factor of l(12)?
False
Suppose 18 = -b + 4*b. Suppose -a + b + 21 = 0. Does 9 divide a?
True
Let t be 4/(-3 + 1 + 4). Is 17 a factor of -5 - (-2 - t) - -65?
False
Suppose -80 = 3*q - 140. Is q a multiple of 10?
True
Let u(q) = -q + 5. Let i be u(10). Let c(n) = 4*n + 3. Let d be c(-5). Does 2 divide 2/(-5) + d/i?
False
Suppose y + j = 53 - 10, -16 = 4*j. Does 12 divide y?
False
Suppose -2 = k, 4*k + 5 + 6 = 3*p. Suppose 5*b - 5*j - 126 + 36 = 0, -3*b + 53 = -2*j. Let g = b - p. Is g a multiple of 7?
False
Suppose 2*j + j - 12 = 0, -s - j = -8. Suppose s - 7 = -g, -26 = -2*f - 2*g. Is 3 a factor of f?
False
Let j = 19 + 11. Let t = -20 + j. Does 4 divide t?
False
Let v = 8 - -5. Suppose 5*x = 4*l + 368, -2*x + 0*l + 155 = l. Suppose -a = c - v, 4*c - x - 1 = a. Does 9 divide c?
True
Let l be 2 - (-1*2 - -1). Suppose 3*g - l*x + 1 = x, -2*g - 2*x + 18 = 0. Let r = g + 9. Is r a multiple of 5?
False
