
Let w(r) = -r**3 - 28*r**2 - 53*r - 10. Does 16 divide w(-26)?
True
Let w(v) = -2*v. Let n be w(-4). Suppose -s - c = -n, s - 5*c - 8 = 2*s. Is s a multiple of 6?
True
Let r = -30 - -48. Is r a multiple of 2?
True
Let z be ((-8)/6)/(4/(-6)). Suppose 4*l + z*w - 41 = 51, 2*w - 116 = -5*l. Is 12 a factor of l?
True
Let m(f) = 12*f**2 + 4*f + 2. Let d be m(-2). Suppose 2*o = 5*o + s - d, -s = 2*o - 29. Is o a multiple of 13?
True
Let l = -46 + 14. Let v = l - -75. Let s = v + -24. Is s a multiple of 16?
False
Suppose 5*y = -4 + 29. Suppose 0*o - y*o = 0. Suppose 0 = -4*u - j + 75, -4*u + 2*j + o*j + 90 = 0. Does 10 divide u?
True
Suppose 3*w + 5*l - 258 = -w, -2*l = -4. Is w a multiple of 7?
False
Let a be (-6)/(-5 - -2 - -1). Suppose 5*u = -0*u + 10. Suppose -2*p = 4*l - 38, -u*p + 0*l - a*l = -36. Is 5 a factor of p?
True
Suppose 0 = -2*w + 2*v + 6, -w + 0*v = 3*v - 7. Suppose -2 = 2*p + 5*j - 103, -w*p + 5*j = -277. Is p a multiple of 21?
True
Suppose -2*a = -4*m + 398, -4*a = -0*a - 20. Does 27 divide m?
False
Suppose 3*v - 4*v + 8 = 0. Suppose -a + 13 = -v. Does 13 divide -1*1 + a + 1?
False
Suppose v - 221 = 5*t, 0 = 2*v - 4*v + 2*t + 418. Does 19 divide v?
False
Suppose 24 = 2*m - 28. Suppose -m = -g - g. Does 13 divide g?
True
Let c(z) = z + 14. Is 2 a factor of c(-8)?
True
Suppose g + g - 10 = 0. Let b(i) be the first derivative of -i**4/4 + 5*i**3/3 + 3*i**2 - 2. Is b(g) a multiple of 15?
True
Suppose -3*u + 3*q = q - 18, -3*u + 3*q = -21. Let b = u - 0. Is 2 a factor of b?
True
Suppose 5*n - 2*o = 239, -n + 3*o - 205 = -5*n. Is n a multiple of 15?
False
Let d be (-3)/(-3 - 186/(-64)). Let r be (0 - (-1)/(-2))*32. Let s = r + d. Is s a multiple of 16?
True
Let y(a) = a - 5. Let q be y(7). Suppose 3*w + 18 = 2*t, -13 = -q*t - 4*w + 5. Does 9 divide t?
True
Let j = 184 - 135. Is 14 a factor of j?
False
Let w(c) be the second derivative of -c**3/6 - 2*c**2 + 2*c. Let t be w(-7). Suppose -4*o + 5*i + 53 = 0, t*o + o = -5*i + 3. Is o a multiple of 7?
True
Is 12 a factor of (-280)/(-24) - 2/(-6)?
True
Suppose z = -0*z + 30. Suppose 6*a = a + z. Does 3 divide a?
True
Let g = 5 - 3. Suppose 7*r + 11 = x + 3*r, -g*r - 23 = -3*x. Does 7 divide x?
True
Suppose 0*r + 6 = r. Suppose q + q - r = 0. Does 3 divide q?
True
Let b = 138 + -99. Is 3 a factor of b?
True
Suppose -3*g - 5*y - 7 = 0, 2*g - 37 = -0*g + 5*y. Let v = -3 + g. Suppose 0 = 4*k + 8, 3*k + 39 - 12 = v*q. Is q a multiple of 7?
True
Suppose 57 = 5*t - 63. Is 11 a factor of t?
False
Let k = 21 - 36. Let l be k/(-9) - (-3)/9. Suppose 3*c - a + 15 - 38 = 0, l*c - 15 = a. Is c a multiple of 4?
True
Let a = -46 - -103. Does 6 divide a?
False
Suppose 5*k = 2*z - 39, 5*z - 16 = 2*z - k. Is 8 a factor of (-2)/z + (-65)/(-7)?
False
Let y be 2/7 - 52/(-14). Suppose -5*w - 3 = 7, 0 = -5*a - y*w + 72. Is 8 a factor of a?
True
Suppose 4*g + 3*i = 1063, 11 - 1 = 2*i. Is 11 a factor of g?
False
Suppose 2*x + x = 15. Suppose -2*z = z + 2*n + 22, -x*z - 4*n - 40 = 0. Is 2 a factor of 1*10*(-2)/z?
False
Let a be (-7)/(-14)*(1 - 1). Let y be a/2 - 64/(-8). Suppose 5*p - 31 = 2*u - u, -2*u = -y. Is 7 a factor of p?
True
Let r(v) = -3*v + 3 + v**2 + 2*v + 3*v - 5*v. Let b = 5 + -1. Is 7 a factor of r(b)?
True
Suppose 2*x - 14 = -2*x - 2*b, 4*b - 12 = 0. Suppose -x*h + 41 = -7. Does 6 divide h?
True
Let y = 19 - 16. Is y even?
False
Let a(z) = 67*z - 1. Let b be a(1). Suppose 2*x - b = -x. Is 10 a factor of x?
False
Let p(v) = 9*v - 27. Is p(10) a multiple of 10?
False
Suppose -h - 37 = -2*h. Suppose -2*q = -2*a + h - 107, 0 = q - 5*a - 23. Does 13 divide q?
False
Let r(k) be the second derivative of 1/6*k**3 - k - 1/2*k**2 + 0. Does 4 divide r(5)?
True
Is (-846)/(-24) - 6/(-8) a multiple of 9?
True
Let a be 8/(-12)*72/(-2). Suppose -4*d - 3*u = a, -3*d - u + 7 = -5*u. Let c(h) = -4*h + 4. Is c(d) a multiple of 7?
False
Suppose -5*z + 3*y - 6 = 0, -3*z - 2*y - 10 = 5. Let u(x) = -x + 3. Is 6 a factor of u(z)?
True
Let k(x) = -x**3 - 4*x**2 + 4*x + 1. Let q be k(-5). Let v = q - 0. Suppose 8*w = v*w + 8. Is w even?
True
Suppose 0*l + 72 = 6*l. Is l a multiple of 2?
True
Let y(i) = -i**2 + 2*i + 5. Let c be y(4). Let l = c - 2. Does 5 divide 295/25 + (-1)/l?
False
Let p = -116 + 261. Suppose 5*z + 0*z + p = 0. Let c = z + 42. Does 9 divide c?
False
Let o = -24 - -74. Let h = o - 20. Is 14 a factor of h?
False
Let v = 5 - 2. Suppose v*w - 5*w + 92 = 0. Is w a multiple of 20?
False
Let n(x) be the second derivative of 5/6*x**3 + 0 + x - x**2. Is n(6) a multiple of 15?
False
Let q = -13 - -24. Suppose q = 5*b - 14. Is 5 a factor of b?
True
Suppose 49 = 5*a - l, -2*l = -2*a + 2*l + 16. Is 10 a factor of a?
True
Let g(s) = s**3 - 6*s**2 + s - 17. Let o(t) = 2*t**3 - 11*t**2 + 3*t - 35. Let r(l) = 7*g(l) - 3*o(l). Does 19 divide r(10)?
False
Let v(y) = -y - 9. Let b be v(0). Let k(m) = -m**3 - 9*m**2 - 2*m - 3. Let f be k(b). Suppose 2*u - 4*n - 65 = f, 3*u + 2*n - 80 = 0. Does 15 divide u?
True
Let k be (-4)/(-3)*3/2. Suppose -4*s - 3*x + 35 = 0, s + 0*x = -k*x + 15. Suppose 0 = -s*y - 4*t + 136, -12 = -3*t - 0*t. Is 12 a factor of y?
True
Suppose -2*l = 5*g - 15, g - 3*g + 2*l + 20 = 0. Suppose 4*m = g*n + 6*m - 218, -5*n = m - 214. Is n a multiple of 21?
True
Let g(x) = 2*x - 2. Let v be g(2). Let t be 14 + v + (4 - 2). Let w = -8 + t. Does 10 divide w?
True
Suppose -3*s - 3 = -12. Suppose -2*c - f = -53 + 6, 3*f = s*c - 75. Does 8 divide c?
True
Let c(m) = 3*m + 1 - 7 - 4*m + 3. Is c(-6) even?
False
Let h = -21 + 23. Does 7 divide 3 + (-54)/(-4)*h?
False
Let x = 192 + -143. Does 7 divide x?
True
Let i(h) = 2*h - 6. Let g be i(4). Suppose f - 8 + 35 = 5*s, f - 8 = -g*s. Suppose -3*v + s*v - w = 26, 4*w - 31 = -v. Is v a multiple of 5?
True
Let o = 76 - -26. Is 6 a factor of o?
True
Let d(p) = -p + 4. Suppose l + 24 = 5*l. Let a be 2/6 + (-38)/l. Is 10 a factor of d(a)?
True
Let j(b) = -b**2 - 4. Let m be j(3). Let k = 51 - m. Does 21 divide k?
False
Let h(y) = y**2 - y + 9. Is h(-5) a multiple of 12?
False
Let j(b) = 4*b + 2. Let k(u) be the first derivative of u**3/3 - u**2/2 + 3. Let y(h) = j(h) + 8*k(h). Is 11 a factor of y(2)?
False
Let q(c) = -c**2 + 2*c - 3. Let l be q(3). Let s(u) = -10*u - 6. Does 18 divide s(l)?
True
Suppose -16 = 3*o + 5. Does 30 divide (1 + -82)/(6 + o)?
False
Let v = -15 + 12. Is 8 a factor of -2 - -2 - v - -37?
True
Suppose 2*z = -5*a + 297, -4*z + z = 5*a - 293. Is 23 a factor of a?
False
Suppose 0 = -5*p + 3*f - 2*f - 1, 3*p + 5*f = 5. Suppose p = l + 3*l - 80. Is 20 a factor of l?
True
Suppose 2*h - 2*d + 0 = 34, 2*d = -3*h + 56. Let s(k) = -2*k**2 - 6*k - 3. Let n be s(-4). Let u = h + n. Is u a multiple of 7?
True
Suppose 0 = -5*b + 9*b. Suppose b*q - 144 = -4*q - 3*c, -q = -5*c - 59. Is 13 a factor of q?
True
Let k(t) = 2*t**3 - 7*t**2 + 3*t + 5. Let y be k(4). Let w = 56 - y. Suppose 4*d - 3*c = 64, -4*c = -3*d + 25 + w. Is 16 a factor of d?
True
Suppose -4*m = z - 7*m + 1, -3*m - 5 = -4*z. Let x be (1 - 1 - -1)*5. Suppose 0 = t - x*a + z, 5*a = -t + 15 + 3. Does 8 divide t?
True
Let m(n) = -1 + 0*n - n - 4. Is 2 a factor of m(-9)?
True
Let y be 106/8 - 4/16. Let a = y + 0. Is 5 a factor of a?
False
Suppose -40 = -3*q - q. Let l(h) be the third derivative of h**6/120 - 11*h**5/60 + 11*h**4/24 - h**3 + 18*h**2. Does 4 divide l(q)?
True
Let s = -38 - -74. Is s a multiple of 18?
True
Suppose -1 = -5*p + 9. Does 2 divide p?
True
Let a(o) = 5*o - 4. Let b(d) = -26*d + 20. Let g(i) = 11*a(i) + 2*b(i). Let f = 5 + 1. Is 14 a factor of g(f)?
True
Let o(h) = 3*h**2 - 5*h - 6. Let p be o(6). Suppose -4*x + 2*x + p = 5*d, -d = 4*x. Does 4 divide d?
True
Suppose 3*h - 18 = 3*t, -h + t = -2*h - 4. Suppose k - h = 5. Does 6 divide k?
True
Suppose 3 + 1 = z. Suppose -3 = -z*v + 5. Suppose 0 = -0*h + v*h - 44. Is 8 a factor of h?
False
Let c(n) = n**2 + 9*n + 5. Let z be c(-4). Does 12 divide (-10)/z*138/4?
False
Let u = -128 - -187. Does 23 divide u?
False
Suppose 0 = -2*m + 4, 5*n - 17 = 2*n - 4*m. Does 8 divide n + 96/3 + 1?
False
Suppose 7 = -2*b + 83. Suppose -77 = -4*c + 5*k, -k = c + 4*k - b. Does 14 divide c?
False
Suppose 0 = 4*u - 30 + 10. Suppose -4*r + w = -127, -4*r = -u*w - 48 - 75. Is r a multiple of 16?
True
Let d be 3/((-1)/((-6)/9)). Suppose d*o + q = 22, 4*o = -0*o + 