r*m. Is l a multiple of 8?
False
Let c(y) = 27*y**3 - 3*y**2 - y + 3. Is 30 a factor of c(2)?
False
Let s(u) = 55*u - 3 - 44*u + 4. Let i(x) = x + 1. Let v be i(0). Is 9 a factor of s(v)?
False
Suppose 0*a = -a + 2. Let r(o) = 1 - a + 2 + 0 - o. Is 6 a factor of r(-5)?
True
Suppose -2*q - 3 = q, -4*q = -3*l + 262. Suppose 4*f = -2*k + 66, -2*f + k = 3*f - l. Suppose 0 = -5*d - f + 57. Is d a multiple of 6?
False
Let b = 11 + -6. Suppose b*n + 39 = 2*o, -66 - 23 = -4*o - n. Is o a multiple of 7?
False
Let y be 158*1*1 - 0. Let z = 253 - y. Suppose -4*f = f - z. Is 14 a factor of f?
False
Suppose -3 = 4*r - 7. Let v(o) = -2 - o - r + 5. Is 3 a factor of v(-6)?
False
Let i(l) = l**3 - l**2 + 1. Let d be i(0). Let c(w) = 11*w - 3*w + 15*w. Is 11 a factor of c(d)?
False
Suppose 0 = -7*x + 4*x + 9, b - 4 = -2*x. Let l = 2 - b. Suppose 21 = 5*s + l*r, -s + 3*r = -3*s + 7. Is s a multiple of 2?
False
Let s(o) = -5*o + 2. Let y be s(-7). Let z = -6 + y. Is 13 a factor of z?
False
Suppose j + j = 226. Suppose -q = 3*f - 177 - 167, -j = -f - 2*q. Suppose -5*m = -f + 25. Does 6 divide m?
True
Is 9 a factor of 1/3 - 1248/(-36)?
False
Suppose -5*z + 161 + 49 = 0. Is 23 a factor of z?
False
Suppose -5*g = 5, 6*o = 4*o - 4*g + 132. Suppose -w + 3*w = -o. Let j = -23 - w. Is 5 a factor of j?
False
Suppose w = -6 + 16. Does 10 divide w?
True
Suppose 6 = 3*x - 9. Let y = 125 + 125. Suppose 0*o = -4*c - o + 220, -5*o = -x*c + y. Does 23 divide c?
False
Let r = 0 + 9. Let l(n) = 3*n**2 + 4*n + 3. Let s be l(-2). Is 12 a factor of (18/s)/(r/42)?
True
Let y(n) = 2*n**2 - 3*n - 8. Is y(-4) a multiple of 6?
True
Let k(x) be the third derivative of -x**4/2 + x**3/2 - x**2. Let u be k(2). Let j = u + 44. Does 23 divide j?
True
Suppose -6 = -a - 7. Is 7 a factor of a/((9/(-3))/42)?
True
Suppose 8*q - 5 = 3*q. Is q/(1/2) + 84 a multiple of 24?
False
Let x = -23 - -51. Is 28 a factor of x?
True
Let v be (-2)/2 - (3 + 28). Let o = 49 + v. Suppose w + 50 = 6*w + 3*y, o = w + 2*y. Is w a multiple of 7?
True
Let o(w) = 1. Let z(a) = 3*a**2 - 6. Let h(b) = 6*o(b) + z(b). Let x be h(-2). Suppose 0 = 4*g - 0*g - 2*d - 24, -4*d + x = 2*g. Does 6 divide g?
True
Let l be ((-4)/2)/((-3)/3). Suppose -4*z = l*x + 2*x - 52, 4*x = -3*z + 37. Is z a multiple of 15?
True
Let q(z) be the third derivative of 7*z**4/24 - z**3 + 4*z**2. Does 11 divide q(4)?
True
Let a = 8 + -4. Suppose -a = -4*b + 2*b. Suppose 5*c = -15, -b*s - 5*c + 23 = -24. Is s a multiple of 14?
False
Suppose 11*l - 15*l + 208 = -4*f, -5*f + 230 = 5*l. Does 6 divide l?
False
Let o = -20 + 29. Is 61/3 + 6/o a multiple of 7?
True
Let i(d) = d**3 - 6*d**2 - 7*d - 10. Let j be i(7). Does 14 divide ((-30)/j)/(6/110)?
False
Let g = 193 + -23. Is g a multiple of 17?
True
Let h(w) = -2*w**3 + w**2 - 1. Let d be h(1). Let v = d - -15. Suppose -v = -4*q + 115. Does 11 divide q?
False
Let m(z) = -2*z**3 + z**2 - 1. Let l be m(2). Is -1*(l - (2 - 4)) a multiple of 4?
False
Suppose 7*u - 395 = 2*u + 4*s, -4*u + 5*s = -316. Suppose -2*a = -7*a - 3*d + 193, -3*d + u = 2*a. Is 19 a factor of a?
True
Suppose l + 3*l = 2*q - 48, -30 = -2*q - 5*l. Suppose k = -4*v + 167, 4*v + 5*k = q + 159. Is v a multiple of 9?
False
Suppose -n - 2*q - 290 = -6*n, 0 = 5*q - 25. Let r(y) = 3*y**2 - y. Let i be r(1). Suppose 32 = 5*l + 4*c - n, -i*l = c - 38. Is l a multiple of 10?
True
Suppose 0*j = -2*j + 8. Suppose x = 5*y - 18, 14 = y - j*x - 1. Does 2 divide y?
False
Suppose -3 = -d + 7. Is 12 a factor of (36/d)/((-7)/(-70))?
True
Let y = 7 + -4. Suppose 0 = r + 4*r - z - 23, 0 = y*r + 4*z. Suppose -s + 2 + 18 = -2*x, r*x - 10 = -3*s. Is 5 a factor of s?
True
Let h(y) = -y + 1. Let j be h(3). Let g(c) = -2*c - 2. Let q be g(j). Does 4 divide ((-2)/(-3))/(q/12)?
True
Suppose 0 = -2*o + o + 52. Suppose -o = -2*v + 24. Is v a multiple of 10?
False
Let p be 124/(-8)*(1 + 1). Let y = -19 - p. Is 9 a factor of y?
False
Suppose 0 = -j - 4*j - 35. Let t(g) = 3*g + 3. Let b(l) = -3*l - 4. Let f(u) = -3*b(u) - 4*t(u). Does 11 divide f(j)?
False
Suppose j + 4*m - 42 = 123, -4*j + 2*m = -750. Is 37 a factor of j?
True
Let k = -29 - -72. Is k a multiple of 9?
False
Let t = -2 + 5. Suppose 5*g + 0*g + 4*y = 73, t*y - 42 = -3*g. Does 6 divide g?
False
Suppose -5*m + 3*x + 44 = 0, 0 = x - 2. Suppose -5*w + 3*c + 148 = 0, -3*c + m = -2. Is 16 a factor of w?
True
Let t(g) = 6*g - 2. Let w be t(3). Suppose 0 = -x - 3*x + w. Suppose 0 = j - 0*j - 3*f + 1, -5*f - 24 = -x*j. Does 11 divide j?
True
Let i(o) = -o**3 - 4*o**2 + 9*o + 8. Let k(q) be the third derivative of -q**4/24 + 2*q**2. Let j be k(6). Does 7 divide i(j)?
False
Let v(d) = 12*d. Is 12 a factor of v(1)?
True
Let u(o) = -o**2 + 5*o - 3. Let w be u(2). Suppose -4*i = -w*f + 113, -5*f + 4*i - 5*i + 150 = 0. Is 9 a factor of f?
False
Suppose 0 + 2 = -o. Let f = o - -9. Does 2 divide f?
False
Let p = 155 - 56. Does 12 divide p?
False
Let z(j) = j**2 - 13*j. Is 20 a factor of z(16)?
False
Suppose 4*b - 30 = -c, 80 = 5*c + 4*b + 10. Does 5 divide c?
True
Let y(f) = -3*f + 5. Let s be y(5). Does 11 divide (s/(-15))/(2/33)?
True
Suppose -7*d + 12 = -3*d + 2*v, 2*d = -4*v. Suppose d*q + 24 - 116 = 0. Suppose 3*s + 4*l - 65 = 0, s + 10 = 3*l + q. Does 19 divide s?
True
Suppose 2*s - 3*z = 40, 4*s = -3*z - 19 + 81. Let u = 6 - 4. Is 13 a factor of (s - 4)/(u/6)?
True
Let j be 0/(((-4)/2)/(-2)). Suppose 4*z + 4*n - n + 9 = j, -12 = 4*n. Suppose -2*y + 4 = -z*y + 4*o, -y - o = -5. Is 4 a factor of y?
True
Let z be 0 + 2 + (-2)/1. Suppose 4*k + q - 90 = z, -k + q = 2*k - 64. Is k a multiple of 13?
False
Suppose -8*q + 599 + 41 = 0. Is q a multiple of 10?
True
Let j = -8 - -10. Suppose w - 3 = 2*c, -4*w + j*c + 14 = -28. Does 13 divide w?
True
Let b be 6/8 - 6/8. Suppose 9 = 5*h - 2*u + 4*u, b = -3*h + 3*u - 3. Does 3 divide (h - 1) + -1 - -6?
False
Suppose -m + 6 = 4*b - 6, -2*b = -4*m + 138. Is 12 a factor of m?
False
Let n = -35 - -97. Is 16 a factor of n?
False
Let q = 14 + 2. Suppose 8 = 4*x - q. Is ((-74)/(-6))/(x/18) a multiple of 13?
False
Let z = -74 - -179. Does 21 divide z?
True
Let f(p) = p**3 + 17*p**2 - 19*p + 5. Does 23 divide f(-18)?
True
Suppose 33 = 3*x - k, x + 3*k - 41 = -4*x. Suppose 0 = 5*l + x, -4*d - l + 0*l + 42 = 0. Is d a multiple of 6?
False
Let n(i) = -3*i - 18. Is 10 a factor of n(-16)?
True
Let s(n) = n**2 - 3. Let f be s(0). Let a = f - -4. Suppose 3*j - 31 = -a. Is 7 a factor of j?
False
Suppose 2*w + 3*n - 18 = 0, 4 = 2*n - 0*n. Let i(z) = 3*z + 5. Is 11 a factor of i(w)?
False
Suppose 4*s + 10 = -4*f + 54, 0 = 4*f + 5*s - 39. Suppose 0 = -l + f + 13. Does 6 divide l?
False
Let m(s) = s**3 - 7*s**2 - 9*s + 18. Is m(8) even?
True
Suppose -2*l - 3*m = -1, 3*m + m = 5*l + 9. Let t be (l/1)/((-1)/2). Suppose -3*o + u = -57, -t*o - 109 = -7*o - 3*u. Is o a multiple of 10?
True
Let x be ((-2)/5)/(5/(-25)). Let g be (-2 + -7)*x/(-6). Does 7 divide ((-12)/8)/(g/(-14))?
True
Let k(z) = -z. Let c = 13 - 19. Is 5 a factor of k(c)?
False
Let x(a) = 3*a**2 - 10*a - 6. Is x(-4) a multiple of 33?
False
Suppose -f - 7 = -0*f - 5*p, 5*f + 4*p - 23 = 0. Does 13 divide f - 240/(8/(-2))?
False
Suppose -5*i + 0*p = 5*p, -2*i = 5*p + 12. Let l(y) = 5*y - 6. Is l(i) a multiple of 12?
False
Let n = -388 + 556. Suppose -4*w + n = -0*w. Is w a multiple of 10?
False
Suppose -2*r - 5*t = -453, -2*r - 3*r + t = -1119. Is r a multiple of 38?
False
Let h(p) = -p**3 + 4*p**2 + 6*p + 3. Let v be h(5). Let g = v - -10. Does 17 divide g?
False
Let r(v) = -3*v - v - 4*v**3 + 3*v. Let f be r(-1). Suppose 2*j - 3*j + f = 0. Is j a multiple of 5?
True
Let r(s) = s + 8. Let k be 18/12*(5 - -1). Let c be r(k). Let v = c + 7. Is v a multiple of 8?
True
Suppose 3*s - 15 = 2*s + 2*j, 5*j + 15 = 0. Let t = 16 - s. Suppose 4*w = r - 2 + 42, w - r = t. Is 4 a factor of w?
False
Let m be 3*(-3)/(3/1). Let c(r) = r**2 - r - 1. Let o(b) = -b**3 - 6*b**2 + 8*b + 3. Let z(k) = 5*c(k) + o(k). Does 3 divide z(m)?
False
Does 33 divide 1/2*(-10 - -406)?
True
Let n(j) = -j**3 - 9*j**2 - 18*j - 2. Does 39 divide n(-9)?
False
Let b(z) = -8*z + 2*z**2 - 13 + 2*z**2 + 3*z**2 - 6*z**2. Let f be b(9). Let y = f + 23. Is 9 a factor of y?
False
Suppose 4*c + 0*c - 782 = 2*h, 0 = -3*h - 15. Is c a multiple of 9?
False
Let s = -8 + 2. Let u(g) = g**3 + 