de r(v)?
False
Let i = 5 + 14. Let j = i - 13. Is j even?
True
Suppose 3*s = -0*s + 39. Suppose 0 = 3*m, s = -4*j + 2*m - 7. Is 20 a factor of ((-4)/j)/(3/75)?
True
Let v = 5 + 15. Is 5 a factor of v?
True
Let m = 48 + 31. Is 14 a factor of m?
False
Suppose -5*f + 535 = -4*m, 4*f + 4*m - 312 = 152. Is f/5 - (-1)/(-5) a multiple of 8?
False
Suppose -3*u = 5*k - 110, 5*k - 25 - 25 = -u. Is u a multiple of 5?
True
Let n(g) = -10*g - 3. Let b be n(-2). Does 14 divide b + -2*1/2?
False
Is 17 a factor of 17/4*(-11)/((-44)/48)?
True
Let n = 8 + -11. Let o = n + 4. Suppose -11 - o = -2*i. Is 3 a factor of i?
True
Suppose 0 = -s + 6 + 67. Let f = s + -30. Is f a multiple of 9?
False
Let s(a) = a**2 + 2*a + 3. Let j be s(-5). Suppose -v + j = n + 2*n, 3*v - 10 = 2*n. Is v a multiple of 6?
True
Suppose 0 = 5*z + 3*q - 5*q - 438, 4*z - 336 = -2*q. Does 22 divide z?
False
Suppose 7*r - 4*r + 4*d = 190, 215 = 3*r - d. Suppose 0 = 3*c + 2*c - r. Is 8 a factor of c?
False
Let i = 35 + -23. Suppose -3*n + 3*m + 18 = 8*m, 2*m = -2*n + i. Is 6 a factor of n?
True
Let k be (1 - 6)*64/(-10). Let z = k - 9. Is z a multiple of 9?
False
Let x = -7 - -8. Suppose f - x = 3. Is f even?
True
Suppose -10 + 26 = a. Is a a multiple of 8?
True
Let i(z) = z**3 - 8*z**2 + 5. Let k be i(8). Suppose k*n + 13 = 3*s, -6*n - 29 = s - n. Let q = s - -20. Is 7 a factor of q?
False
Let y(x) = -2*x - 9. Let p be y(-7). Suppose v - 13 - 2 = -2*c, 0 = v - p. Is c a multiple of 3?
False
Let w be 45/3 + 2 - -3. Suppose w = -5*d + 90. Is d a multiple of 14?
True
Suppose -2*p - n = -p - 24, 5*n = 5. Is 23 a factor of (p/(-1))/(-12 - -11)?
True
Suppose 2*a = 3*u + 25, -4*u - u - 4*a - 71 = 0. Let s = u + 25. Is 7 a factor of s?
True
Is 418/14 - 1/(-7) a multiple of 15?
True
Suppose 0 = -2*m + 9*m - 413. Does 14 divide m?
False
Suppose -2*a = -5*g - 6*a - 3, -2*g - 2 = 2*a. Is g - ((-18 - -1) + 0) a multiple of 18?
True
Let n(m) = -m**3 - m**2 + m + 15. Let s(t) = t**3 - t**2 - 3*t + 2. Let x be s(2). Is n(x) a multiple of 7?
False
Let v = 9 - 5. Suppose -u = v*u - 75. Does 15 divide u?
True
Suppose 10*y - 11*y = -100. Is y a multiple of 18?
False
Does 21 divide ((-3)/((-6)/(-4)))/(7/(-147))?
True
Let n(j) = 4*j**2 - 4*j**2 + 11*j**2. Let d be n(-1). Suppose 4*c = d + 45. Is c a multiple of 6?
False
Let i be 18/(((-30)/4)/(-5)). Suppose -5*v - i = -s - 28, 0 = v - 2*s - 5. Suppose -v*f + 73 = -41. Is 15 a factor of f?
False
Let t(p) = -3*p + 6. Let j be t(4). Does 11 divide -2*2*(j - 3)?
False
Is 28 a factor of ((-48)/(-10) + -4)*35?
True
Suppose 20 = 8*c - 228. Is 5 a factor of c?
False
Let i = 23 - -14. Is 25 a factor of i?
False
Suppose -5*p + 875 = 5*y, -2*p - 12*y = -11*y - 350. Does 25 divide p?
True
Let x = -2 + 17. Is 10 a factor of x?
False
Let k(n) = n**3 + 9*n**2 + 3*n + 20. Is k(-8) a multiple of 15?
True
Let p(n) = 14*n**3 - n**2 + n - 2. Let r be p(2). Suppose -99 = -5*b - l - 1, 5*b - r = 4*l. Is b a multiple of 11?
False
Let o be (-2)/2 - (4 + -8). Suppose -2*r - 11 = -o. Let s = 36 + r. Does 16 divide s?
True
Suppose 9 = 2*c + 2*h - 3*h, -17 = -c + 3*h. Suppose -2*t + 2*k + 215 - 23 = 0, c*k = 0. Suppose t = 4*w - 2*d, 2*w + 5*d + 120 = 7*w. Is w a multiple of 10?
False
Let f(y) = y**3 + 13*y**2 + 6*y + 12. Suppose 4*i + 4*x = -60, 4*i + 22 = 4*x - 14. Does 21 divide f(i)?
True
Let q(x) = -51*x + 26. Is 16 a factor of q(-4)?
False
Suppose 2*z + 9 = -13. Let k(i) = i**3 + 12*i**2 + 10*i - 4. Is k(z) a multiple of 3?
False
Let m = -13 - -25. Is 7 a factor of m?
False
Suppose -7*j + 2*j + 420 = 0. Does 28 divide j?
True
Let f(z) = z**3 + 6*z**2 + 7*z + 1. Let k(d) = d + 1. Let h be k(-6). Let v be f(h). Let c(y) = -y**2 - 11*y + 5. Does 8 divide c(v)?
False
Let s = 6 + -4. Let a = -3 - -3. Suppose a = d - 10 + s. Does 8 divide d?
True
Let x(d) = -8*d - 4. Let h(m) = 4*m + 2. Let g(i) = -5*h(i) - 3*x(i). Is g(1) a multiple of 4?
False
Let a = 31 - 21. Suppose -u + 2 + a = 0. Does 12 divide u?
True
Suppose w - 317 = 2*d, 1585 = 12*w - 7*w - 3*d. Is w a multiple of 31?
False
Does 15 divide ((-10)/30)/(1/(-81))?
False
Suppose -s - 55 = 4*s. Let u = s - -22. Is 4 a factor of u?
False
Suppose -o = 7 - 0. Let v(f) = f**3 - 5*f**2 + 5*f + 3. Let x be v(4). Let u = x - o. Is u a multiple of 11?
False
Let c = 9 + 78. Is 15 a factor of c?
False
Let w be (0 + 3/(-6))*0. Suppose w = k - 3*k + 90. Is 12 a factor of k?
False
Let b = 11 - 6. Suppose -23 + 88 = 3*d - z, b*d = 4*z + 113. Is d a multiple of 8?
False
Let d(p) = p**2 + 4*p + 5. Does 6 divide d(-5)?
False
Suppose -3*y - y = -24. Does 5 divide y + -3 - 14/(-1)?
False
Let f = 13 - 7. Suppose 58 = f*w - 4*w. Is 20 a factor of w?
False
Let b be (4 + -2)/(2/(-196)). Is b/(-7) + (-3)/(-1) a multiple of 16?
False
Let q(i) = -i**3 + 8*i**2 + 14*i - 6. Is q(9) a multiple of 17?
False
Suppose -x - 4 = 0, 11 - 8 = -5*b - 2*x. Let y(h) be the third derivative of 25*h**4/12 + h**3/6 + h**2. Is 27 a factor of y(b)?
False
Let k(q) = -q**3 - 10*q**2 - 9*q + 12. Let s be k(-9). Does 23 divide s/(-15) - (-698)/10?
True
Suppose 6*b = 3*b + 30. Let v = b - -3. Let g = 34 - v. Is g a multiple of 7?
True
Let o be 0*(-3 + (-8)/(-3)). Suppose w = -o*d + 3*d - 3, -2*w = -2*d - 2. Is w even?
False
Let f(v) = -1. Let s(p) = -3*p + 7. Let a(m) = f(m) - s(m). Let o be 2/(2/(5 + 1)). Does 8 divide a(o)?
False
Suppose -198 = -5*v + 2*v. Is 21 a factor of (7/(-1) - -4) + v?
True
Suppose 2*m + 4*c = 4, -3*m + 5 + 1 = 4*c. Suppose -4*w + j + 2*j = -71, 2*j - 18 = -m*w. Does 7 divide w?
True
Let r(p) = 6*p. Let u be r(3). Suppose u + 18 = 4*l. Does 4 divide l?
False
Suppose 6*q - 45 = 9*q. Let l = q - -22. Is 5 a factor of l?
False
Suppose 0 = -2*q + q + 9. Let a = q + -6. Suppose 151 = a*m + b, -2*m + 4*b = -74 - 22. Is m a multiple of 25?
True
Suppose -264 = -33*x + 27*x. Is x a multiple of 8?
False
Suppose 39*s + 1148 = 46*s. Is s a multiple of 17?
False
Let l be (-17)/(-3) + 10/(-15). Let c(p) = 2*p**2 - l - p + p**3 + 6*p**2 - 10*p. Is c(-9) a multiple of 13?
True
Is (-5)/20*2*-14 a multiple of 3?
False
Suppose 5*q + 300 = 5*a, 2*a + q = 93 + 15. Does 28 divide a?
True
Let d(z) = -107*z**3 + z**2 + z + 1. Is 9 a factor of d(-1)?
True
Let a(d) = d. Let v be a(4). Suppose 2*h = -3*h - 20, 16 = -5*c - v*h. Suppose 3*r + 14 - 101 = c. Does 8 divide r?
False
Suppose -2*i - 72 = -4*d, -i - 24 = -3*d - 2*d. Suppose 3*g = 6*g - 186. Let s = i + g. Does 9 divide s?
True
Let j(q) = -q**3 + 8*q**2 - 9*q + 13. Is j(6) a multiple of 12?
False
Let q(j) = j**2 - 4*j + 1. Let g be q(4). Let i be g + (2 - 8)/(-3). Suppose 3*t = -i, 2*u - 3*t = -u + 30. Is 5 a factor of u?
False
Let s(y) = -y + 3. Let r be 3/3*(-2 + 5). Let n be s(r). Suppose -b - 4*i - 6 = -n, -3*b = 3*i - 9. Is 4 a factor of b?
False
Is (-1)/(10/(-526)) - (-9)/(-15) a multiple of 26?
True
Suppose -3*j + 0*j + u + 10 = 0, 35 = 2*j + 5*u. Suppose -9 = -o + 2*k + 19, 153 = j*o + 3*k. Is 15 a factor of o?
True
Let w(f) = -f + 20. Let i be w(0). Let r = i - 13. Is 2 a factor of r?
False
Let x(b) = b + 63. Is x(-23) a multiple of 20?
True
Let d(g) = -6*g - 9. Let b(r) = -r**3 + 12*r**2 - r + 6. Let o be b(12). Is 11 a factor of d(o)?
False
Let w(r) = -61*r + 1. Let j be w(-2). Suppose 5*p - j = -5*c - 13, 2*c + p = 40. Does 6 divide c?
True
Let s = -3 + 6. Suppose 4*j - 160 = -0*l + 4*l, 5*j - s*l - 196 = 0. Does 10 divide j?
False
Let d = 1 + 1. Suppose d*b + 28 = -82. Let w = 87 + b. Is 16 a factor of w?
True
Let v(h) = -2*h + 4. Let t be v(5). Let c(p) = -p**2 - 12*p - 2. Is c(t) a multiple of 12?
False
Suppose 2 = 3*l - 1. Suppose -l + 12 = w - n, 2*n = 5*w - 52. Is 5 a factor of w?
True
Suppose 3*q = 16*q - 156. Is q a multiple of 3?
True
Suppose 1 + 7 = -4*x - 4*b, -4*b + 20 = -3*x. Is x/14 + (-144)/(-14) a multiple of 4?
False
Let c(p) = 5 + 4 + p - 1 + p**2. Let l be c(0). Is 13 a factor of 88/5 - l/(-20)?
False
Let h(t) = 36*t**3 - 2*t**2 - 2*t + 2. Let d(q) = 71*q**3 - 3*q**2 - 3*q + 3. Let n(l) = 3*d(l) - 5*h(l). Let r = 124 + -123. Is 14 a factor of n(r)?
False
Let q(b) = 4*b**3 - 3*b**2 - b + 2. Let w be q(-2). Is ((-10)/w)/((-2)/(-248)) a multiple of 10?
False
Let w = -7 + 16. Let u(q) = q**3 + 8*q**2 - q + 7. Let i be u(-8). Suppose o - i = w. Does 12 divide o?
True
Let d be 9/6*(-2 + 4). Let h(p) =