 - 8 = 0, 5*l = v + v - 3. Is j(l) a multiple of 18?
True
Let d be 91/(-7) + 4 + -2. Let h = 23 + d. Is h even?
True
Let b(x) = x**2 - 2. Let s be b(2). Let t(u) = u - 2 + 4*u - 1 + u**s. Is t(-7) a multiple of 10?
False
Let l(j) = j**3 - 9*j - 2. Does 26 divide l(5)?
True
Let a = 29 - 19. Is a a multiple of 4?
False
Suppose 2*o + 5*v - 11 = 124, 3*v + 15 = 0. Does 16 divide o?
True
Let n = 4 - 3. Is 18 a factor of n/2 + (-142)/(-4)?
True
Let t(a) = 9*a - 2. Let b(h) = -h - 1. Let p(z) = 2*b(z) - t(z). Let g(n) = 33*n + 1. Let l(m) = 4*g(m) + 11*p(m). Is l(4) a multiple of 23?
False
Suppose 5*a = 25, -82 = -3*m - 4*a - 2. Suppose 3*g = -w - 1, g = 3*w + 3 + m. Let x = w - -24. Is 17 a factor of x?
True
Let i(d) = 6*d + 16. Is 23 a factor of i(5)?
True
Suppose 5 = -s + 12. Is s even?
False
Does 9 divide 0/(-4) - (-109 - 1/(-1))?
True
Let s(n) = -2*n**3 - 2*n**2 - 4*n - 3. Let x be (-1 - -1) + -2 + -1. Is s(x) a multiple of 13?
False
Let h = 3 + 1. Let f = 9 - h. Is f a multiple of 5?
True
Let z(f) = f + 13. Let n be z(-6). Let i(o) = -o**2 + 6*o + 9. Let r be i(n). Suppose -7*p = -r*p - 20. Is p a multiple of 2?
True
Let k be 3 - (-8 + 2)/(-3). Let u be 0/(3/1)*k. Suppose -3*o + 43 = -5*t, 1 = o - u*o + 5*t. Does 11 divide o?
True
Suppose 5*p + 1615 = 3*x + 2*x, -p + 637 = 2*x. Is x a multiple of 40?
True
Let c = 27 + -63. Is 6 a factor of (c/20)/(6/(-20))?
True
Suppose 3*y - 305 = -2*y. Does 13 divide y?
False
Suppose 2*i = 6, 40 = p - 0*p - 5*i. Is 11 a factor of p?
True
Suppose 0 = 5*p + 5*t - 5, 3*p - 4*p - 9 = 3*t. Does 3 divide p?
True
Let s(i) = 20*i - 14. Let j be 84/15 - 10/(-25). Does 14 divide s(j)?
False
Suppose -44 = 5*x - 0*x + 4*b, -5*b = -20. Let z be ((-5)/4)/(3/x). Suppose -z*c + 4*a + 7 = 0, 4 = c + 2*a - 3. Does 2 divide c?
False
Let d be (1/3)/((-1)/(-6)). Suppose -h - 5*p - 3 = -28, 0 = d*p. Is 10 a factor of h?
False
Let z(m) = 7*m - 11. Is 9 a factor of z(8)?
True
Suppose -j - 3*j = -20. Let f be 8/j + (-4)/(-10). Suppose 5*x = f*x + 84. Does 11 divide x?
False
Suppose 15 = 2*r + 3*r. Is 16 - (-6)/r - 0 a multiple of 10?
False
Let p = -2 - -5. Suppose 5*x + 2 = -4*y, 2*y + 3*x + 5 - p = 0. Suppose -f - y*f = -66. Is 12 a factor of f?
False
Does 8 divide ((-216)/21)/(6/(-28))?
True
Let h = 4 - 4. Suppose 3*u - 3 - 6 = h. Is 5 a factor of 2*u*(-7)/(-2)?
False
Let l = -86 - -247. Is 23 a factor of l?
True
Suppose -21 = 3*k - 147. Let r = 72 - k. Is 15 a factor of r?
True
Suppose -3 = -2*m + m. Let n = m + -1. Suppose -31 = n*r - 103. Does 13 divide r?
False
Let b = 5 + 3. Let i be (-2 + b)/2 + -93. Is 16 a factor of 1/(0 + (-2)/i)?
False
Let k(a) = a**2 + 3 + 0*a + 1 + 3*a - 3. Is 3 a factor of k(-4)?
False
Suppose 7*u + 1085 = 14*u. Is 18 a factor of u?
False
Let r be (-2)/8 + 15/(-4). Suppose h + 1 = -3*l, 3*l + 16 = h - 1. Let b = h + r. Is b a multiple of 2?
True
Let w(z) = z**3 + z - 1. Let y(p) = 4*p**3 + p**2 + 7*p - 7. Let j(k) = 5*w(k) - y(k). Let v be j(3). Does 13 divide 360/14 - (-4)/v?
True
Suppose -33 = -h - 3. Is 10 a factor of h?
True
Suppose -11*t + 612 - 249 = 0. Is t a multiple of 28?
False
Suppose -4*b + 4*q - 8 = -72, -5*q = 15. Suppose b = o - 22. Is 14 a factor of o?
False
Suppose 10 = -2*f, 5*g + f = 164 + 491. Suppose h + h = g. Is h a multiple of 22?
True
Suppose 0 = 3*m - 1 - 5. Suppose -m*k = -k + 2*b - 28, -k + 3*b + 28 = 0. Is 14 a factor of k?
True
Let h = 26 + -15. Let a = h - 9. Suppose 4*g - 8*g - p = -31, -a*p = 2*g - 14. Is g a multiple of 4?
True
Suppose 1265 - 65 = 15*l. Does 14 divide l?
False
Let f(d) be the second derivative of -d**4/12 + 4*d**3/3 + 3*d**2/2 + 3*d. Let g be f(7). Suppose 0 = -m - 4 + g. Is 3 a factor of m?
True
Let v(a) = -3 - 2*a + 6*a - 5*a + 0. Is 5 a factor of v(-8)?
True
Suppose 10*i = 5*i + 5, s = -i - 8. Let r(p) = p**3 + 11*p**2 + 12*p + 6. Let k be r(s). Does 24 divide -2 - (-7)/(7/k)?
False
Let j(l) = 114*l - 1. Let s be j(-1). Let p = -64 - s. Is p a multiple of 20?
False
Let s = -5 + 7. Let w = 12 - s. Is 5 a factor of w?
True
Suppose 5*j - 15 = -2*d, -3*d + 8*d - 2*j = -6. Does 20 divide (d + 14)*3/2?
False
Let n(g) = -g**2. Let i(z) = -z**2 - 3. Let b(u) = i(u) - 2*n(u). Let q be b(0). Is 14 a factor of (33 - (-2)/(-1)) + q?
True
Let z(s) = s**2 + 6*s + 1. Suppose -2*u = -6*u - 24. Let v be z(u). Is 11 a factor of (1 - v)/(-1) + 11?
True
Let t(r) = 2*r**2 - 4*r. Let f(p) = -p**2 - p + 3. Let i be f(0). Suppose x + 15 = -2*x, 2*o + i*x = -5. Is 15 a factor of t(o)?
True
Let s be (-19)/(((-4)/(-10))/2). Let a = s + 134. Is 13 a factor of a?
True
Let b(x) = -x + 13. Let u be b(9). Suppose v + 0*v = -2*a + 11, 18 = u*v - 5*a. Is 3 a factor of v?
False
Let j = -12 + 17. Suppose l + b - 13 = 5, -l - j*b = -30. Is 15 a factor of (-18)/l*40/(-3)?
False
Suppose -46 = -13*p + 11*p. Is 3 a factor of p?
False
Suppose 4*t + 3*c = -20, -4*c - c + 25 = -5*t. Is (-17)/t - (-2)/(-5) a multiple of 2?
False
Suppose 0 = l - 4 - 1. Suppose 2*j - i = 3*j - 3, -l*i = -5*j + 5. Suppose -2*z = -k + 3*k - 100, -5*k - j*z = -238. Is 16 a factor of k?
False
Let d(g) = -5*g**3 + 2*g**2 + 5*g + 4. Is d(-2) a multiple of 21?
True
Let i be (-5)/4 - 2/(-8). Let u be i - 13 - 2 - 0. Let x = u - -25. Does 6 divide x?
False
Suppose 0*h + h = 40. Suppose -h = -p - p. Does 7 divide p?
False
Let v = 30 - 0. Does 3 divide v?
True
Suppose 5*q + 5*c - 95 = 0, q + c - 4 = -3*c. Suppose 0 = -0*l - 2*l - 4, -q = -r - 3*l. Is r a multiple of 5?
True
Suppose k + 3*k = 240. Does 15 divide k?
True
Let q(z) = 4*z**2 + z - 3. Let r be q(-3). Let l = r + -8. Is 11 a factor of l?
True
Let f be 6/1 - (0 + 2). Suppose -4*y - 2*d = -22, 2*y - 7 = -f*d + 1. Is y even?
True
Let z(k) = k**3 + k**2 - 8*k - 4. Let i be z(-3). Let w be (-2)/4*0 + 0. Suppose g - i*g + 16 = w. Does 8 divide g?
True
Suppose h = 39 - 9. Does 4 divide h?
False
Let o(z) = 2*z**2 - 3*z + 2. Let c(a) = -a + 1. Let t be 3/((-7)/4 + 1). Let d be c(t). Is 15 a factor of o(d)?
False
Is 3 a factor of 7 + 0 + 2 + -1?
False
Suppose -q - 4*q = -345. Suppose 0 = 4*y + 5*c, 2*c + 0*c = -y. Suppose -3*i + 0*i + q = y. Is 20 a factor of i?
False
Suppose 0 = -4*q + 4*s + 908, 224 = 5*q - 3*s - 921. Does 29 divide q?
True
Is 27 a factor of 72/(-20)*(-47 - -2)?
True
Let u be 5*2*6/4. Suppose -t = -0*t + u. Let q = 36 + t. Is q a multiple of 12?
False
Let y(c) = c**2 + 7*c + 5. Let o be y(-6). Let m = o + 1. Suppose m = -3*a - 3 + 30. Does 5 divide a?
False
Let u(f) = -11*f + 4. Let d be u(-4). Let r = 69 - d. Does 21 divide r?
True
Let g(o) = 3*o + 46. Let t(i) = -i - 14 - 1 + 4*i - 4*i. Let u(r) = -2*g(r) - 7*t(r). Is 2 a factor of u(-9)?
True
Suppose -68 = -4*q - 2*p, 5*p = 3*q - 2*q - 39. Does 19 divide q?
True
Suppose f + 98 = 3*f. Let o = f - 35. Does 7 divide o?
True
Is 26 a factor of (-39)/((-4)/6*24/32)?
True
Suppose 58*z = 59*z - 216. Is 39 a factor of z?
False
Suppose 2*t + 66 = 4*a + 202, -a = 2*t - 156. Suppose 20 = 5*j, t = -x + 6*x + 4*j. Suppose 3*d - x = 6. Is d a multiple of 5?
False
Let f = 29 - -23. Is 18 a factor of f?
False
Suppose -j + 23 = -93. Is j a multiple of 7?
False
Let b be 207 - -1 - (-8)/8. Suppose 6*o - b = o - 3*h, -3*o = 3*h - 123. Does 17 divide o?
False
Let l = 23 - 15. Does 8 divide l?
True
Let h be (-300)/(-21) - (-8)/(-28). Let d(k) = k + 2. Does 6 divide d(h)?
False
Let f be 20/9 - 2/9. Let g(n) = 5*n + n + 2 - f*n. Does 15 divide g(7)?
True
Let a(c) = -c**3 + 7*c**2 - 10. Let t(k) = k**3 - 7*k**2 + k + 9. Let h(b) = -2*a(b) - 3*t(b). Is 8 a factor of h(4)?
False
Let o = 17 - 25. Let g(x) = 2*x**2 + 8*x + 10. Is 23 a factor of g(o)?
False
Is -3 - (-12 - 1 - 1) a multiple of 11?
True
Let y(k) = 4*k**2 + k - 2. Let p be y(2). Suppose 0 = -6*v + 2*v + p. Suppose 33 = v*s + 1. Is 8 a factor of s?
True
Suppose -3*k = -2*a + 112, 5*k - 106 - 140 = -4*a. Does 15 divide a?
False
Let v(w) = 7*w**2 + 1. Let k(u) = u**2 + 4*u + 1. Let f be k(-4). Let r = f + 1. Does 17 divide v(r)?
False
Suppose -164 = -h - h - 3*m, -5*h + 397 = m. Suppose -c + 5*j + h = c, 2*j - 128 = -3*c. Is c a multiple of 13?
False
Let d(h) = h**2 - 9*h - 12. Let u be d(12). Let b = u - -95. Is b a multiple of 33?
False
Suppose 0 = -4*k + 4*q + 64, k - 2*q - 20 = -0*k. Is 10 a factor of 18*k/45*5?
False
Suppose -2*c = -4*c + 2*r + 20, -c = r - 20.