x - 2*x - w, -2*x - 50 = -3*r. Is r a multiple of 8?
True
Let u(d) = -d**3 + d**2 + 7*d + 5. Does 20 divide u(-6)?
False
Let c(v) = -4*v**2 - 8 + 0*v**2 - 10*v + 3*v**2. Is 3 a factor of c(-8)?
False
Suppose -3*i + q + 542 = i, i = 2*q + 132. Does 24 divide i?
False
Suppose 0 = -2*i - v + 5*v + 20, -5*i + v + 5 = 0. Suppose -64 = -4*k - 4*m, i = 3*k + m + 4*m - 56. Does 12 divide k?
True
Suppose -4*l + 10 = l. Let u = 2 + l. Suppose -u*m - g + 61 = -0*m, -3*g = -5*m + 55. Does 7 divide m?
True
Let z be 58 + (-1 + 2)*2. Suppose -l = -4*l - z. Let p = -9 - l. Does 11 divide p?
True
Suppose 197 = 3*o - 5*h - 93, 0 = -5*o - h + 502. Is 25 a factor of o?
True
Suppose 3*j + j = 4*g + 32, 2*g - j + 12 = 0. Does 6 divide (g + 1)*(-19)/3?
False
Let j = 106 - 62. Is 6 a factor of j?
False
Suppose 0 = -3*y + 6 + 9. Suppose 5*w = -3*s + y*s - 16, 0 = 3*s - w - 24. Is 5 a factor of s?
False
Let d = -5 + -2. Let t(o) = -3*o - 13. Is t(d) a multiple of 8?
True
Is 2826/54 + 1/(-3) a multiple of 13?
True
Suppose 14 = 4*g - 50. Is g a multiple of 10?
False
Let j be 10/3 - 1/3. Suppose 0 = -j*t + t + 8. Suppose u - 10 = -t*u. Does 2 divide u?
True
Suppose 0 = -4*f - f + 5. Let j(o) = 13*o. Is j(f) a multiple of 8?
False
Let m be (3/(-4))/(3 + (-183)/60). Suppose 4*n + 52 = 4*r, 3*r - 40 = 5*n + 19. Let g = n + m. Is 4 a factor of g?
False
Let p be 2 + (-1*2 - -2). Suppose 0*s + s = p. Suppose -z - k = -6, -s*k = 2*z - 6*z + 42. Is z a multiple of 4?
False
Let v(z) = -2*z - 2. Let l(s) = -3*s + 5. Let y be l(4). Is v(y) a multiple of 6?
True
Let d(v) = 2*v**2 + v - 1. Let r(x) be the second derivative of x**4/12 - 2*x**3/3 - 3*x**2/2 - x. Let g be r(5). Does 4 divide d(g)?
False
Let b = 3 - -1. Let q(a) = 7*a - 4 + a**3 + 0*a**2 - 5*a**2 + 0*a**2. Is q(b) a multiple of 4?
True
Let m(v) = 4*v + 50. Is 3 a factor of m(0)?
False
Let d(f) = 2*f**3 - 8*f**2 - 17. Is 11 a factor of d(6)?
False
Suppose -5*b - 199 = -39. Let y be b*(-1 + 3/12). Suppose 0 = -0*f + f + 2*d - y, -3*f + 79 = -d. Is f a multiple of 13?
True
Does 37 divide 24/(-42) - 263/(-7)?
True
Let x = 54 + -38. Suppose 0 = -0*i + i - x. Does 9 divide i?
False
Let j be ((-20)/(-2))/(1/10). Suppose 0 = -q + 5*q - j. Does 20 divide q?
False
Let t = 54 + 33. Is 29 a factor of t?
True
Let s be ((-10)/25)/((-2)/40). Suppose -3*g + 89 - s = 0. Is g a multiple of 10?
False
Suppose 0*j = -5*l - 3*j - 290, j + 225 = -4*l. Let o(y) = 5*y**2 - 1. Let r be o(-4). Let w = l + r. Is w a multiple of 12?
True
Let v(b) = 12*b + 3. Let o be v(5). Let r = o - 41. Is r a multiple of 22?
True
Suppose -2*p + 2*k + 22 = 0, p - 3*p - k + 25 = 0. Suppose l = 2 + p. Does 14 divide l?
True
Let o be 1/1 + (-1 - 4). Is (-10)/o - (-2)/(-4) even?
True
Let a(l) = 11 - 9 - l + 9 + 12. Suppose 2*u = -y - 2*y, 5*u = -3*y. Is a(y) a multiple of 8?
False
Let w = 8 + -16. Let j = -5 - w. Is 3 a factor of j?
True
Suppose 0 = -2*g - 5*q, 5*q + 0 = 2*g - 20. Suppose w + 5 = -g*m, -5*w + 2*m + 5 = -3*m. Suppose -2*p + 34 = -w*p. Is 17 a factor of p?
True
Suppose 0 = -2*l + 4, 4*l = -4*x + l + 310. Does 25 divide x?
False
Let k(y) = -4*y + 6. Is 26 a factor of k(-5)?
True
Let c = 87 - 17. Does 27 divide c?
False
Let a(q) = 4*q**3 - 5*q**2 + 6*q - 5. Let x be a(4). Suppose x - 3 = 4*h. Let z = h + -13. Is z a multiple of 10?
False
Let m = -1 - -1. Suppose -h - 67 = -69. Suppose m*a - 30 = -h*a. Is a a multiple of 15?
True
Is 5 a factor of 114/4 - -6*1/(-12)?
False
Let y = -27 - -34. Does 7 divide y?
True
Suppose -b - 1 + 2 = 0. Let a(u) = 59*u + 1. Let p be a(b). Suppose -4*x + p = -x. Is x a multiple of 10?
True
Let h = -86 - -138. Is 29 a factor of h?
False
Let i(m) = -m + 64. Does 18 divide i(28)?
True
Let r = 3 - -7. Let a = 48 - r. Is a a multiple of 11?
False
Let g be 3/(-2)*(-2 + 0). Let p be 32 + 2/(-3)*g. Suppose 3*y = 6*y - p. Is 10 a factor of y?
True
Let v(h) = -h**2 + 2*h + 1. Let s be v(3). Let u be (-224)/3*3/s. Suppose -5*i - 3*a + 134 = 0, -4*i - 2*a - 2*a + u = 0. Is 15 a factor of i?
False
Let t = 127 + -65. Let k = 123 - t. Let w = -23 + k. Does 13 divide w?
False
Let a = 2 + 2. Suppose a*v = 0, -3*b - b + 2*v = 68. Let l = 46 + b. Is 16 a factor of l?
False
Suppose -3 + 6 = -j, 5 = -2*c - 3*j. Is c a multiple of 2?
True
Let l = 6 + -9. Let q be 3 + (-4 - l)*-2. Does 22 divide 71*(2 - q - -4)?
False
Let g be (0/(-2))/(2 - 1). Suppose g = -3*v - 0*v + 207. Does 23 divide v?
True
Let a(m) = 4*m + 4 + 10 + m**2 + 0*m - 5*m. Is 11 a factor of a(0)?
False
Suppose 4*o - o + 15 = 0. Is (50/o)/((-3)/18) a multiple of 16?
False
Let z = -50 - -83. Suppose 0 = 5*p - 2*p - z. Is 3 a factor of p?
False
Is ((-2)/(-18))/(2/24)*81 a multiple of 12?
True
Suppose 84 = 3*v + 27. Is v a multiple of 3?
False
Let l(m) be the second derivative of m**3/6 + 39*m**2/2 - 4*m. Is l(0) a multiple of 13?
True
Suppose 7*l + 78 = 10*l. Is 7 a factor of l?
False
Let j(l) = -l - 1. Suppose 0 = 4*q - 4, -2*s - q - 17 = -0*q. Does 4 divide j(s)?
True
Let j be (-2 + -10)*(-1)/2. Suppose -s = -j - 1. Does 7 divide s?
True
Suppose 4*t - 2*t + 2*q - 10 = 0, 0 = 4*t + 3*q - 22. Does 2 divide t?
False
Suppose -4*o = o - 15, -i + 4*o + 42 = 0. Is 16 a factor of i?
False
Let u(t) = -t**3 - 10*t**2 + t + 12. Let o be u(-10). Suppose i - 6 = -o*k, 2 = -3*k - 3*i + 7*i. Is 14 a factor of k/6 + (-82)/(-6)?
True
Let k be 14*((-21)/(-6) + -3). Suppose k*j - 8*j + 3 = 0. Is 3 a factor of j?
True
Let q be (42 + (-1 - -3))*1. Let a = -27 + q. Is a a multiple of 17?
True
Let y(r) = r**2 - 9*r + 2. Let d be y(9). Suppose -d*t + 0*t - 4 = 0. Let m(j) = 4*j**2 + 4*j + 3. Does 8 divide m(t)?
False
Let w(g) = -g**2 + 5*g + 10. Let k be w(7). Let x be k/14 + 214/14. Is (x + 0)/(2 - 1) a multiple of 15?
True
Let g(k) = -k**2 - 13*k - 13. Let p(w) = -w**2 - 14*w - 14. Let h(v) = -4*g(v) + 3*p(v). Is 3 a factor of h(-10)?
False
Let m = 56 + -33. Does 10 divide m?
False
Let k(g) = -g**3 + g**2 + g + 17. Does 5 divide k(0)?
False
Let m = -10 - -7. Let d(u) = 3*u**2 + 4*u + 3. Is 18 a factor of d(m)?
True
Let m(h) = -h - 13 - 6 - 2 + 7*h. Is m(10) a multiple of 13?
True
Let x(p) = p**3 - 3*p**2 + p + 1. Let q be x(3). Is 18 a factor of (-1)/q*2*-106?
False
Let n(i) = -2*i + 47. Is n(12) a multiple of 4?
False
Let x = 24 + -14. Is x/(-10) + 6/1 a multiple of 4?
False
Let g = -11 + 22. Is 6 a factor of g?
False
Let u = 0 - 0. Suppose -5*y + n + 5 = u, -5*n + 35 - 8 = y. Suppose 6 = i - y. Does 5 divide i?
False
Suppose 23 = 3*s - 3*w + 5, 4*w + 12 = 2*s. Let f = -3 + s. Suppose -f*b + 23 + 34 = 0. Is b a multiple of 19?
True
Let w(z) = z**2 + 6*z - 5. Let i be w(-7). Let v be i - (3 - 1) - -2. Suppose 0 = -v*b + 22 + 28. Is 13 a factor of b?
False
Let x(b) = b + 2. Let n be x(2). Suppose -29 = 5*d + n*q, -2*d = -q + 4*q + 6. Is (-3)/9 + (-48)/d even?
False
Let n(i) = 3*i - 5. Let v(u) = -u + 1. Let p(k) = 5*n(k) + 20*v(k). Let a = -4 - 2. Is p(a) a multiple of 10?
False
Suppose -x + 3*g + 45 = 0, -4*x - 3*g = -0*g - 165. Does 14 divide x?
True
Let d = 18 + -4. Is 14 a factor of d?
True
Let j = 5 - 5. Let b be 2 - (j - 0 - -40). Let q = 60 + b. Is 11 a factor of q?
True
Is 596*(-1)/(-2) - 4 a multiple of 42?
True
Let i(g) = -11*g**3 + 13*g**2 + 2*g - 9. Let y(a) = 5*a**3 - 6*a**2 - a + 4. Let x(p) = 2*i(p) + 5*y(p). Does 32 divide x(4)?
False
Let p(a) = a**2 - 3*a + 3*a**2 - 5*a + 6. Let b(i) = -i**2 + 3*i - 2. Let k(l) = 7*b(l) + 2*p(l). Does 2 divide k(-6)?
True
Suppose 4*a - 3*n = -35, -2*n - 2 = 3*a + 3. Let s(d) = -d - 3. Let g be s(a). Suppose -g*c + 36 = -34. Is c a multiple of 14?
False
Let j be (4 + -1)*8/(-24). Let y(n) = -35*n - 1. Is y(j) a multiple of 15?
False
Let u be 98/28*16/14. Is (-30)/(-4) + 2/u even?
True
Let c be -1 + (-2 + 9)*-1. Let x(b) be the second derivative of b**5/20 + 2*b**4/3 - b**3/2 + 2*b**2 + b. Is x(c) a multiple of 14?
True
Suppose -2*r = -r + 74. Let t = 124 + r. Is t a multiple of 13?
False
Let x(y) be the third derivative of y**6/120 - y**5/10 + y**4/12 + 7*y**3/6 + y**2. Let s be x(5). Is (-158)/s + (-1)/(-4) a multiple of 8?
False
Suppose -4*p = 23 + 1. Let r = 38 - p. Does 22 divide r?
True
Let y be 1*36/(2 + 1). Let s = -4 + y. Is s a multiple of 7?
False
Let q = 10 + -8. Let u(m) = q*m - 7*m + 0 - 3. Does 11 divide u(-5)?
True
Let c(g) = -7*g + 13.