de v?
True
Suppose -4*o = -4*s - 196, 3*o + 0*s - 112 = -4*s. Is 21 a factor of o?
False
Let t = -1 + 1. Let m = 1 - 1. Suppose t*l + l - 10 = m. Is l a multiple of 5?
True
Let s(v) = v - 3. Let r be s(-5). Let m be (2/(-4))/(4/r). Does 7 divide -42*((-2)/4)/m?
True
Suppose 3*c = -4*m + 267, 3*c + 242 = 4*m + c. Suppose 4*k - 3*w - 19 = 0, -3*w + 8 = -3*k + 26. Suppose -k = -4*s + m. Is s a multiple of 9?
False
Let p(d) = d**2 + 4*d + 3. Let c be p(-4). Suppose b - y - 9 = 32, -c*y + 192 = 4*b. Does 16 divide b?
False
Is 5 a factor of (69 - (-16)/4) + 4/2?
True
Let f(z) = z**2 - 4*z - 9. Let k be f(-9). Suppose 2*x = -2*x + k. Is x a multiple of 27?
True
Let h = 22 + -22. Suppose 0 = -2*s - 0*s - 3*l + 197, -4*l + 20 = h. Is 13 a factor of s?
True
Suppose -3*n = n - 56. Does 14 divide n?
True
Let d = 10 + 74. Let g = d + -48. Is g a multiple of 13?
False
Suppose 0*b + 4*b - 36 = 0. Does 2 divide b?
False
Is 13 a factor of 7/28 - (-171)/4?
False
Let n(d) = -14*d - 2. Let q be n(3). Suppose -3 = -p - 73. Let x = q - p. Is x a multiple of 10?
False
Let a(l) = l**3 - 3*l**2 + l - 2. Suppose 2*d - 2*k = 3*k + 3, -3*k = -3*d + 9. Let c be a(d). Let v = c - -13. Does 10 divide v?
False
Let j(c) = 12*c**3 - 3*c**2 + 3*c - 2. Does 44 divide j(2)?
True
Let q be ((-32)/20)/((-1)/5). Is (34/q)/(1/4) a multiple of 17?
True
Let c(h) = h**3 - 6*h**2 - 4. Does 10 divide c(7)?
False
Let f(i) = -37*i - 5. Is f(-2) a multiple of 56?
False
Let p = 265 - 78. Does 17 divide (p/(-22))/((-1)/6)?
True
Let t = -21 - -9. Is 11 a factor of (376/t)/((-4)/6)?
False
Is 10 a factor of (-1)/(-2)*-25*(-16)/10?
True
Suppose 7*y = 963 - 333. Is 5 a factor of y?
True
Let v(w) = w**3 + 12*w**2 + 4*w - 32. Is v(-10) a multiple of 32?
True
Let v be 6/(-21) + 2390/(-14). Let t = -103 - v. Is 17 a factor of t?
True
Suppose 13*c - 17*c + 432 = 0. Is c a multiple of 22?
False
Let b be (-3)/(-4) + (-57)/12. Let g(k) be the second derivative of -k**5/20 - k**4/4 + k**3/6 + k**2/2 + 2*k. Is g(b) a multiple of 4?
False
Let q = 11 + 2. Does 6 divide q?
False
Let c(x) = -x**3 + 3*x**2 + x + 3. Suppose 3 = -2*u - 3*m, 3*u + 10 + 0 = m. Does 18 divide c(u)?
True
Let m(r) = 2*r**2 - 37*r + 39. Does 3 divide m(18)?
True
Let l(k) = 14*k**3 + 18*k**2 + 24*k + 21. Let n(p) = -5*p**3 - 6*p**2 - 8*p - 7. Let d(j) = -4*l(j) - 11*n(j). Is 7 a factor of d(-5)?
False
Suppose -3 = -2*d + 5. Suppose -5*y + d*g + 8 = 0, 2*y - 4*g = -5 + 1. Suppose u - 11 = y*b, u - 4 = 5*b + 2. Is u a multiple of 11?
False
Let b = -9 - -9. Suppose 0 = -4*x - b*x + 104. Is x a multiple of 12?
False
Suppose -2*i + 0*v = -5*v - 11, 0 = 3*i + 5*v - 29. Is i a multiple of 8?
True
Suppose d = -5*j + 50, -4*d - d - 58 = -3*j. Let h = j + 8. Does 8 divide h?
False
Let c(h) = -h**2 + 26*h + 63. Is c(21) a multiple of 56?
True
Let m(o) = 9*o**2 + 6*o - 1. Let w be m(6). Suppose 0*v - 3*t = -4*v + w, 0 = -3*t - 15. Is 25 a factor of v?
False
Suppose -3*n - 363 = -3*i - 0*n, -3*n = 2*i - 267. Is 57 a factor of i?
False
Let b(m) = -6*m - 3. Let p be b(-3). Suppose 0*n - 3*n - p = 0. Does 11 divide (-3)/(45/42)*n?
False
Let q = -42 - -90. Is 9 a factor of q?
False
Suppose -a - 168 = -3*a. Does 21 divide a?
True
Is 25 a factor of (630/(-36))/(2/(-20))?
True
Let l be (-1)/((-2)/4) + -7. Let s(j) = -4*j**3 - 5*j**2 + 4. Let b(w) = 3*w**3 + 5*w**2 - w - 3. Let q(r) = 3*b(r) + 2*s(r). Is q(l) a multiple of 14?
True
Suppose -5*j - 2*s = -56, j + 53 = 6*j + s. Suppose -v + j = v. Is 2 a factor of v?
False
Let j = 17 - 12. Suppose -6 = j*z - 51. Does 7 divide z?
False
Suppose 0*o - 6 = 2*o, 2*t + 4*o - 276 = 0. Suppose 4*q = 6*q - t. Is q a multiple of 24?
True
Let r(c) = -c**3 - 8*c**2 - 10*c - 10. Let z be r(-7). Suppose b - t = z, 4*b = 4*t + t + 49. Suppose 0 = -l - b + 26. Is l a multiple of 20?
True
Let j = 55 + -18. Is j a multiple of 9?
False
Let g(w) = w**3 - 4*w**2 - 3. Let y be g(4). Let v(p) = -19*p. Is 12 a factor of v(y)?
False
Let j(s) = 2*s**2 - 4*s - 2. Let o be j(-3). Let l = o - 20. Does 6 divide l?
False
Is (-15)/10 - (-335)/2 a multiple of 16?
False
Let p(b) = b**3 + 6*b**2 - 5. Is p(-4) a multiple of 25?
False
Let q(h) = -4*h**3 + h**2 - h - 1. Let g be q(-1). Suppose -105 = -g*i - 0*i. Does 21 divide i?
True
Let y(b) = b**3 + 9*b**2 - 9*b - 4. Let d be y(-10). Let j = d - -33. Does 13 divide j?
False
Suppose 5*o + 4 = 24. Suppose 55 = o*r + j, -r - 7 = 5*j + 3. Is r a multiple of 3?
True
Suppose 3*a - 42 = -2*c + 4, 29 = 2*a + 3*c. Let b = a + -11. Is b even?
False
Let i = -9 + 17. Suppose -3*u + 29 + i = -4*c, u = c + 13. Does 5 divide u?
True
Let b be (-6)/(-12) + (-14)/(-4). Suppose 2*d - 4*p = 34, -b*d - 8 = -3*d + 3*p. Is d a multiple of 3?
False
Suppose 3*b - 4 = -7. Let l be b/2 - 2/4. Let s = l - -11. Is 6 a factor of s?
False
Let x be 7 - 2 - (-1 + 2). Suppose x*i - w = 28, -13 = 3*w - 1. Suppose -56 = -i*n + 2*n. Is 14 a factor of n?
True
Is 15 a factor of (180/24)/(1/2)?
True
Let i(g) = -2*g - 1. Let q be i(1). Let d(s) = -19*s - 7. Does 25 divide d(q)?
True
Let j = -1 - 9. Is -15*j/6 + 2 a multiple of 9?
True
Let b be ((-20)/3)/((-7)/42*-2). Let s = 19 - 9. Does 7 divide ((-168)/b)/(4/s)?
True
Let o = 45 - 18. Suppose 4*v + o - 111 = 0. Suppose -59 = -4*x + v. Does 10 divide x?
True
Let m(b) = 6*b**2 - 3*b + 2. Is 5 a factor of m(2)?
True
Is (-248)/(-6) - 2/6 a multiple of 8?
False
Let q be (3 + 2)*34/5. Suppose -2*h - 2 = -q. Is 4 a factor of h?
True
Suppose 2*x - 7*x = -240. Is 6 a factor of x?
True
Let x = -146 - -76. Let t = x + 105. Is t a multiple of 13?
False
Suppose 5*z = 26 - 1. Suppose 0*s + 5*s - 155 = -z*q, -3*q - 3 = 0. Suppose 43 = 5*d - s. Does 15 divide d?
True
Let h be 6/(-2) - -2 - 7. Is 18 a factor of 496/(-20)*20/h?
False
Suppose -3*n + 5*n - 8 = -5*d, -3*n = 4*d - 19. Is 15 a factor of (-5 - 0)/((-1)/n)?
True
Suppose -5*q + 499 = -c, -4*c = -5*q - 0*c + 511. Let k = -56 + q. Does 14 divide k?
False
Let g = 6 - 5. Does 19 divide (-6 + g)*(-108)/15?
False
Let y(g) = -g**3 - 8*g**2 + 10*g + 9. Let w be y(-9). Suppose 37 = 4*t + 2*x - 35, w = 5*t - 3*x - 90. Does 6 divide t?
True
Suppose 22*b = 20*b + 100. Is b a multiple of 25?
True
Suppose 3*m - 6*m + 4*l = -4, 4*m = -4*l - 4. Suppose 2*w - 66 - 140 = m. Does 26 divide w?
False
Suppose 4*r = 3*r + 57. Let h = r - 27. Is 15 a factor of h?
True
Suppose -4*j + 8 = -0*j. Suppose 0 = -4*m - 4*o + 12, 5*m + 0*o - 30 = -j*o. Suppose 0 = p - 2*y - 18 - 7, m = -2*y. Is p a multiple of 10?
False
Let l(z) = z**2 + 2*z + 2. Let g be l(-2). Suppose g*u - 26 = -8. Is 2 a factor of (6/8)/(u/36)?
False
Let t(w) = -w + 8. Let l be t(6). Suppose 15 = l*s + s, -c - 4*s = -46. Is 13 a factor of c?
True
Let m = 191 - 158. Is m a multiple of 4?
False
Suppose -b = 3*j - 0*b - 10, 0 = 3*j + 5*b + 10. Is 9 a factor of ((-240)/9)/j*-6?
False
Let y(u) = 6*u**3 + 1 + 3 + 1 + u - 5*u**3 - 4*u**2. Is 9 a factor of y(4)?
True
Let a be (-72)/(-21)*(6 + 1). Suppose 0 = -r - 5*m - 16, 3*r + m + a = 8*r. Let j = r + 10. Does 6 divide j?
False
Suppose 2*r - 698 = c - 5*c, -r + 2*c + 365 = 0. Suppose 0*n = -7*n + r. Is n a multiple of 17?
True
Suppose 0 = -3*n + 8*n - 15. Suppose z = 2*z - n. Suppose -4*i + 2*a = -70, 5*i + 39 - 126 = z*a. Is 18 a factor of i?
True
Let b(o) = 4*o**2 + 1. Let j be b(1). Suppose -23 = -3*x - j. Suppose -4*a - u = -16 - x, -5 = -3*a + 5*u. Is a even?
False
Let r be 2/4 - 5/(-2). Suppose r*p + 0 = 6. Is 9 a factor of (1 - p) + (-1 - -28)?
False
Suppose 3*o - l = 3*l + 510, -4*o = -5*l - 679. Is 17 a factor of o?
False
Let k(n) be the first derivative of -5*n**2 + 5*n - 8. Is k(-6) a multiple of 13?
True
Let x(k) = -12*k**3 + 2*k**2 + 3*k + 1. Suppose -2*p + 6 = -5*b, b - 2*b = 5*p + 12. Does 35 divide x(b)?
False
Let x = 89 + -27. Is x a multiple of 31?
True
Let f be 1*-2 - 0/(-7). Let d(h) = -30*h - 3. Does 19 divide d(f)?
True
Let c = 22 + 29. Let x = c - 18. Suppose -23 = -2*j - 2*h + h, -3*j + x = h. Is j a multiple of 5?
True
Let s = -101 + 149. Is 12 a factor of s?
True
Suppose 2*c = -n + c + 29, 4*n - c = 136. Let s = n + -25. Does 4 divide s?
True
Let m be (-4 - 10)*(-2)/4. Let t = m + -3. Suppose -t*a + 11 = r, 5*r - 2*r - 33 = 5*a. Is 11 a factor of r?
True
Let j = 4 - 1. Suppose 0 = -j*t - 6, -2*r - 3*r - 5*t + 70 = 0. Does 8 divide r