ue
Suppose 3*m + 1008 = 10*m. Does 16 divide m?
True
Is 41 a factor of ((-226)/8)/((-92)/(-16) - 6)?
False
Suppose -1104 = -12*l - 0*l. Does 23 divide l?
True
Suppose -56 = 5*b - b. Let d = b - -53. Does 13 divide d?
True
Let s be 0/(-2) + -2 - -26. Is 2 a factor of (s/(-16))/((-2)/4)?
False
Suppose -2*x + 18 = 8. Suppose 5*j + 8 = 4*k + 3*j, -10 = -x*j. Suppose -t = -k - 5. Does 8 divide t?
True
Let n(r) = -3*r - 1. Let l(s) = s**3 - 5*s**2 + 5*s. Let p be l(4). Suppose 2*h + 2 = -p. Is 8 a factor of n(h)?
True
Let t = 14 - 29. Let w = -8 - t. Let i = w + -3. Is 4 a factor of i?
True
Suppose 0 = 2*p - p - 180. Suppose 0 = 4*v - 248 - p. Suppose -b - 3*d + 17 = 0, -2*b + v = 2*b - d. Does 13 divide b?
True
Let w(p) = 32*p**2 + 6*p - 6. Is 15 a factor of w(3)?
True
Let z(t) = t**3 + 7*t**2 - 11*t. Is z(-8) a multiple of 8?
True
Let s = -96 - -192. Does 18 divide s?
False
Let o be 1/((-1 + 0)/(-2)). Suppose -o*i - 2*i + 12 = 0. Suppose 0 = i*c - c - 26. Does 9 divide c?
False
Let p(j) = 4*j**2 - j + 18. Let g(m) = 3*m**2 - m + 18. Let k(z) = 3*g(z) - 2*p(z). Does 4 divide k(0)?
False
Suppose 0 = -2*t + 2, 6 = -2*i + 2*t + 2*t. Is (5 + i)/(14/77) a multiple of 11?
True
Is (-3058)/(-77) - (-4)/(-14)*-1 a multiple of 10?
True
Let v(o) = -o**3 + 14*o**2 - 10*o - 15. Is v(13) a multiple of 7?
False
Let p(h) = h**2 + 3*h + 10. Let b(z) = z**2 - 7*z - 9. Let y be b(7). Is 26 a factor of p(y)?
False
Suppose m + 2*f = -12, -2*m + 2*f = -5*m - 36. Let b = 8 - m. Is b a multiple of 4?
True
Suppose 5*i - 3*i - 18 = 0. Is i a multiple of 7?
False
Let m(n) = -2*n**3 - 4*n**2 - 5*n - 5. Is m(-4) a multiple of 11?
False
Is 15 a factor of -3 - -1 - (-35 - 2)?
False
Let d = -18 + 20. Let q(w) = 12*w**3 + 2*w**2 + 1. Does 18 divide q(d)?
False
Let r = 36 - -34. Let g = 33 + r. Does 24 divide g?
False
Let s(i) = -i**3 - 5*i**2. Let d be s(-5). Let f = d - -5. Suppose -f*y + 2 = -3, 0 = -2*n + y + 47. Is n a multiple of 12?
True
Let k = -141 + 217. Does 12 divide k?
False
Let d(t) = -t**2 - 5*t. Let r be d(-4). Let y(s) = 7 + r*s - 5*s + s - s. Is y(-5) a multiple of 6?
True
Let s = 12 - 12. Suppose 2*y - h = 3*y - 30, s = 5*y - h - 150. Is y a multiple of 11?
False
Let i = 4 - -9. Suppose 16*n - i*n - 30 = 0. Is n a multiple of 5?
True
Suppose -5*q + 52 = -q. Let w = -7 + q. Suppose -w*k + 4*k + 26 = 0. Is k a multiple of 13?
True
Suppose -2 = -h + 5. Is h a multiple of 7?
True
Let w(s) be the second derivative of s**7/1260 - s**6/180 + s**5/120 - s**4/12 + s. Let h(n) be the third derivative of w(n). Is h(3) a multiple of 5?
False
Suppose 0 = -7*h + 536 + 108. Is 23 a factor of h?
True
Suppose -l = 3, -148 = -a + l + 107. Is a a multiple of 21?
True
Suppose 20*h = 23*h - 198. Suppose w + h = 2*w. Is 22 a factor of w?
True
Let d = 13 + -18. Let z(h) = -h**3 - 5*h**2 - 4*h - 4. Does 10 divide z(d)?
False
Let d be (-13)/(-4) - 1/4. Suppose -5*x - 4*f = -40, 0 = -3*x + 4*f - 5 - d. Suppose 24 = 2*r - r + n, x*r - n = 116. Is r a multiple of 14?
True
Let l(o) = 8*o**2 + 6*o + 2. Let j be (-3 - 12/(-2)) + -6. Is l(j) a multiple of 28?
True
Is 6/12 - 193/(-2) a multiple of 26?
False
Suppose 0 = 8*c - 4*c - 248. Does 4 divide c?
False
Suppose 40 = d - 3*x, 0 = 3*d + 6*x - 2*x - 107. Does 14 divide d?
False
Let m = 210 + -135. Does 16 divide m?
False
Let m(x) = x**2 - x - 4. Let o be m(3). Suppose -4 = o*s - 3*s. Is 6/s + (-15)/(-10) a multiple of 3?
True
Let a(t) = -26*t + 5. Let v(h) = 13*h - 3. Let b(f) = 2*a(f) + 5*v(f). Let o(g) = -14*g + 6. Let w(q) = 5*b(q) + 4*o(q). Does 13 divide w(3)?
True
Let m(y) = -11*y + 1. Let w be m(-1). Suppose -72 - w = -4*n. Is 21 a factor of n?
True
Suppose -2*j = -4*c - 4, -4 = j - 0*c + 4*c. Suppose j = 4*b - 100 - 20. Is 10 a factor of b?
True
Does 7 divide (6/((-72)/42))/(3/(-84))?
True
Let u = -76 - -130. Let l = u - -4. Suppose 0 = -5*i + z - 3*z + l, -2*i - z + 23 = 0. Is 8 a factor of i?
False
Suppose -2*a + 132 = -5*a. Let f = 70 + a. Does 14 divide f?
False
Let q = -1 + -1. Suppose 2*v + 0*v = -4*s - 24, -5*v - 46 = -4*s. Does 10 divide (3 + q)/((-1)/v)?
True
Let d be 12/9*6/4. Suppose -74 = -4*f - d*k, 3*f + k - 2*k - 53 = 0. Is f a multiple of 13?
False
Let x(n) = -2*n**3 - n**2 + n - 1. Is x(-2) a multiple of 3?
True
Let o(n) = -n**2 - 33*n - 46. Is 25 a factor of o(-25)?
False
Let s(g) = 3*g**3 + 14*g**2 + g - 3. Let h(t) = -5*t**3 - 21*t**2 - 2*t + 4. Let p(r) = 5*h(r) + 8*s(r). Does 26 divide p(3)?
True
Suppose 0 = 2*f + 3*f - 15. Suppose -2*p + 39 = f*x, -3*x + 2 = 5*p - 109. Does 8 divide p?
True
Let p(h) = -2*h + 4. Suppose -4*q - 4*u = 28, 0 = -0*q - 2*q + 4*u - 14. Let c be p(q). Let z = c - -29. Does 16 divide z?
False
Let w(q) = q**3 - 6*q**2 - 5*q - 8. Let r be w(7). Let p(x) = 2*x - 3. Is p(r) a multiple of 9?
True
Suppose -79 = -2*f + 41. Is 10 a factor of f?
True
Suppose -102 = -3*k + 54. Let v = 23 + k. Is 18 a factor of v?
False
Let x = 6 + -3. Suppose -7*b + 200 = -x*b. Does 15 divide b?
False
Suppose -3*i + 4*w + 49 = -68, -5*w - 156 = -4*i. Does 13 divide i?
True
Suppose r = -d + 10, -2*r + 3*r - d - 12 = 0. Let b(z) = -z**2 + 12*z + 16. Is 16 a factor of b(r)?
False
Let s = -29 + -37. Is 5 a factor of s/(-14) + (-12)/(-42)?
True
Suppose -4*m + m = 0. Let w(u) be the third derivative of u**5/60 + 37*u**3/6 - 23*u**2. Is w(m) a multiple of 15?
False
Let y(o) = 27*o**2 - o. Does 11 divide y(1)?
False
Let t(u) = u - 3. Let f be t(6). Suppose 4*k - f*a = 29, 3*k + 11*a = 6*a. Is k a multiple of 2?
False
Let u be (-6)/(-15) + (-226)/(-10). Suppose t - 31 = u. Does 14 divide t?
False
Suppose -2*h = -5*v - 465, 2*v + 3*v = -5*h + 1250. Suppose 7*u - 419 = 2*u - 3*a, -3*u + h = 5*a. Does 20 divide u?
False
Does 7 divide 10/4*126/15?
True
Let v(p) = 5*p - 3. Let s be v(2). Suppose 4*z - 4 = 4*f, -s = 3*f - 6*z + 2*z. Let r = f - -1. Is 2 a factor of r?
True
Let g = 16 - 11. Suppose -3*n + h = -107, g*n = -2*h + 61 + 99. Is 11 a factor of n?
False
Let p be (1/3)/(-1)*-9. Suppose 5 + 1 = p*f. Is (f - -5) + (2 - 1) a multiple of 4?
True
Is 4 a factor of 4/12*-3*-12?
True
Let d(b) = b**2 - 4*b + 4. Let s be d(4). Suppose 214 = s*x + 22. Is x a multiple of 16?
True
Suppose 0*m - 2*m + 54 = 0. Let p be ((-16)/(-12))/((-4)/6). Is m + p/4*-2 a multiple of 14?
True
Let r(p) = -49*p + 5. Is 15 a factor of r(-2)?
False
Let x = 22 + 20. Does 3 divide x?
True
Is 16 a factor of 4*5/30 + 158/6?
False
Suppose 4*v + 81 = v. Let b be -1*v/1 + 0. Suppose -2*g + b = g. Is 3 a factor of g?
True
Let m be (32/(-40))/(2/(-10)). Suppose m*c - 395 = -c. Is c a multiple of 23?
False
Let i(u) = 0*u + 2*u + 1 + u. Does 6 divide i(3)?
False
Let s(f) = -4*f**2 - 4*f**3 + 1 - f**3 + 4*f**3 + 2*f. Is s(-5) a multiple of 8?
True
Suppose 2*s + 10 = 5*b, -3*b - 4*s = -4*b - 16. Suppose h + c - 98 = -3*c, 431 = b*h + 3*c. Suppose -v = -6*v + h. Is v a multiple of 11?
True
Suppose 2*a - 90 = -0*a. Suppose -15 = 2*p - a. Does 5 divide p?
True
Let h = -11 - -11. Suppose h = -3*a - 23 + 89. Is 11 a factor of a?
True
Suppose -b = -5*x + 98 + 197, 10 = 2*b. Is x a multiple of 7?
False
Let h(b) = b. Let z be h(-2). Is 278/8 + z/(-8) a multiple of 16?
False
Suppose -4*a - 9 = -3*s + 9, 0 = 2*s + 5*a - 35. Suppose -17 = -5*k + j + 4, 2*j = -3*k + s. Is k even?
True
Suppose 2*b - 2*g = 132, 2*g = 2*b - g - 137. Is b a multiple of 15?
False
Let l = 13 - 5. Does 8 divide l?
True
Let b = 10 - 5. Suppose x = b*x - 12. Is x a multiple of 2?
False
Let x be 1/(-4) - 3/4. Let s = x + 0. Is (s + -2)/(-3) + 17 a multiple of 12?
False
Is 24 a factor of (-1790)/(-25) - (-2)/5?
True
Let g(j) = 14*j**3 + 3*j**2 - 26*j - 9. Let t(n) = -3*n**2 + 2*n**2 + 2*n**3 - 7*n**3 + 9*n + 4 - 1. Let f(v) = 6*g(v) + 17*t(v). Does 15 divide f(-2)?
True
Let d(l) = l**2 - 3*l - 6. Let q = 3 - -1. Suppose 0 = q*r - 4*n - 24, -n = -r + 6*r - 24. Is d(r) a multiple of 2?
True
Let a = -2 - -4. Let k(v) = 8*v**3 - 2*v. Is 12 a factor of k(a)?
True
Let l(c) = c**3 + 14*c**2 - 21*c - 2. Does 8 divide l(-15)?
True
Let j(m) = -4*m**2 - m**2 + 6*m**2 + m - 1 + 0. Is j(-6) a multiple of 18?
False
Suppose -5*p = 4*h - 7*h - 55, 50 = 5*p - 2*h. Is p a multiple of 6?
False
Suppose 2*y - 21 = -y. Does 4 divide y?
False
Suppose 0 = -r + 4*g, 2*r + 2 - 11 = -g. Is r even?
True
Let q = 13 + -73. Let t =