 t?
False
Is (-3678)/(-16) - ((-115)/(-40) - 3) a multiple of 23?
True
Let x = 1 - 1. Suppose 3*r - 4*o - 3 = x, -3*o - 7 = -2*r - 2*o. Suppose -5*b = -3*n + 34, 3*n - b = -r*b + 16. Does 8 divide n?
True
Let s = 32 - 61. Let c = s + 62. Does 11 divide c?
True
Suppose 3 = 2*v - 2*t + 1, v + 3*t - 1 = 0. Does 8 divide (136/16)/(v/2)?
False
Suppose 4 = -3*j + 2*m + 8, 0 = 3*j + 2*m + 4. Suppose -6 = -2*d + c - j*c, 5*c - 40 = -4*d. Suppose -3*l - 2*v + 9 = -d*v, 5*l + 2*v = 15. Is 2 a factor of l?
False
Let m be 4*(2 - 1)/1. Suppose -6 - 14 = -2*s - 4*g, 2*g + 6 = 0. Suppose 4*o = 8, q - m*o - s = o. Is 14 a factor of q?
False
Is ((-4)/5)/(13/(-390)) a multiple of 4?
True
Let k = 20 - -63. Suppose -7*t + 2*t - z = -k, -4*t - z + 66 = 0. Is 14 a factor of t?
False
Is ((-2)/6)/(3 - (-1028)/(-342)) a multiple of 19?
True
Suppose 5*f = 7*f - 4. Suppose -f*a + 2*g + 12 = 0, 2*a - 7*a = 3*g - 30. Suppose m = a*m - 290. Is m a multiple of 17?
False
Suppose -4*a = 0, 3*o - o - 8 = -a. Suppose 14 = i + o. Let m = 14 - i. Is m a multiple of 2?
True
Let i be (-5)/10*(-3 + -1). Suppose 0*v = i*v - 56. Does 14 divide v?
True
Suppose 3*t - 3*m = -m - 71, -4*t + 4*m - 100 = 0. Let c be t/(-6) + (-4)/(-8). Does 13 divide ((-39)/4)/(c/(-16))?
True
Suppose -3 = 2*o - 23. Let h be (-3)/6 - o/(-4). Suppose g + j = 26, g - j = 16 + h. Is g a multiple of 11?
True
Suppose 5*v + 148 = 4*s, 5*v = 5*s - 2*s - 116. Let o be (7/(-4))/((-4)/s). Suppose -3*y - l + o = l, -3*l + 19 = 4*y. Is 3 a factor of y?
False
Let h(a) = 15*a - 2. Let g be h(2). Let p = g - 44. Is 5 a factor of (15/4)/((-6)/p)?
True
Suppose 0 = -a - 4*a - 30. Let v be a/15 + 2/5. Suppose r = -h + 21, v = 3*r - 2*h - 2*h - 70. Is r a multiple of 9?
False
Suppose 7 = -s + m + 3, -4*s = -5*m + 19. Is (s + (-23)/4)*-4 a multiple of 9?
True
Let y(h) = -5*h + 156. Is 39 a factor of y(0)?
True
Is (-1 + 0)*1*-14 a multiple of 7?
True
Let w(r) = 3*r**2 + 5*r - 1. Let t = -15 - -11. Does 7 divide w(t)?
False
Let j = -34 - 2. Let g = 62 + j. Suppose -g = -3*l + x, -3*l - 2*x = 2*l - 25. Is l a multiple of 7?
True
Suppose 5*n = -7 - 3. Let f = 24 + -12. Is 5 a factor of n/(-8) + 93/f?
False
Is ((-10)/(-6))/((-5)/(-45)) a multiple of 3?
True
Suppose 8 = t - 48. Does 14 divide t?
True
Let d(f) = -f**3 - 4*f**2 + 4*f - 1. Is 2 a factor of d(-5)?
True
Suppose 2*q - 18 = -2*b + 8, q - 1 = 0. Is b a multiple of 5?
False
Suppose 2*r = -d + 66, d - 3*r = 5*d - 289. Is 27 a factor of d?
False
Let k = -9 - 11. Does 5 divide 6*k/(-6)*1?
True
Let w = 6 - 6. Is (-1 - w)/((-1)/16) a multiple of 8?
True
Let q(d) = -4*d - 5. Let u be q(12). Let k = u + 10. Let s = k - -88. Is s a multiple of 20?
False
Let q be 0 + 12 + 1 - 0. Let k = -8 + 3. Let z = k + q. Is z a multiple of 3?
False
Let j(p) = -p**2 + 8*p - 2. Let v be j(6). Let m(n) = 2*n + 7. Is m(v) a multiple of 11?
False
Let a(h) = 36*h**2. Let j be a(-1). Suppose 4*b = -4*v + j, 3*b = -2*v + v + 13. Is v a multiple of 7?
True
Let g(h) = 8*h - 1. Let i be g(1). Let l(u) = u**3 - 5*u**2 - u - 1. Let z be l(i). Suppose 0 = -5*v + 10 + z. Is v a multiple of 20?
True
Let j = -26 + 61. Suppose -l + 5*h - 17 = 0, j = -3*l - h - 0*h. Let k = l - -26. Does 14 divide k?
True
Let f = 166 + 15. Is f a multiple of 16?
False
Is -1 + 95 + -3 + 1 a multiple of 23?
True
Suppose -3*q - 36 = -7*q + 3*f, 3*q = 2*f + 26. Suppose 0 = g - q*g + 325. Is g a multiple of 26?
False
Let p(i) = i - 1. Let y(l) = -l**2 - 5*l + 8. Let n(w) = -p(w) - y(w). Let m be n(-5). Is (4/(-3))/(m/6) a multiple of 3?
False
Suppose 2*v = -2*o + 20, 27 = 5*v - 5*o - 3. Suppose 201 = 5*q - k + v, 2*q + 3*k - 67 = 0. Does 8 divide q?
False
Let u = 8 - -10. Does 14 divide 6/(-4)*(-372)/u?
False
Suppose 8 = -4*n - 0. Let p be (-2 + 1)/(1/(-2)). Is p - n*(-25)/(-2) a multiple of 12?
False
Suppose 2*s - 12 = -5*c - 0, -5*s = 2*c - 9. Suppose 0 = 3*y + 3*w - 72, -5*y + 3*w + 114 - c = 0. Is 9 a factor of y?
False
Let r(f) = -f**3 - 4*f**2 + 5*f - 3. Let o be r(-5). Let g = o + 5. Suppose 5*w - 15 = 2*q, 0 = 3*w + q + g*q - 30. Does 3 divide w?
False
Let v = -2 + 1. Let a be 1/(v*3/(-36)). Suppose 0 = -5*k + 2*c + 20, -k + 5*c = 2*k - a. Does 3 divide k?
False
Let j(l) = -7*l**2 - 1. Let d be j(1). Is 23 a factor of 2/d - 1108/(-16)?
True
Suppose -y - 51 = -4*y. Does 9 divide y?
False
Let a(u) be the second derivative of 11*u**4/12 + 2*u**3/3 + 3*u**2/2 + 5*u. Is a(-2) a multiple of 11?
False
Is (-2)/7 - (-230)/(-35)*-11 a multiple of 13?
False
Suppose 0 = 5*j + h - 264, -7*j + 207 = -3*j + 5*h. Is 21 a factor of j?
False
Suppose -3*n - 153 = 5*s - 478, 4*n = -20. Is 34 a factor of s?
True
Let t = 6 + -4. Suppose 0 = -7*b + 3*b + 3*s + 18, -t*b = 4*s + 2. Suppose 0 = n - 5*x - 31, -b*n + 43 = 2*x - 7*x. Is 6 a factor of n?
True
Let p(x) = 2*x**2 - 2*x - 4. Let b be p(2). Suppose b*n - 4*n = -112. Is 11 a factor of n?
False
Let m = 111 + -46. Let c = m + -25. Let y = c + -22. Is 6 a factor of y?
True
Let g(c) = 11*c**2 - 4*c + 5. Does 10 divide g(2)?
False
Let r = -12 - -13. Let y(f) = 54*f**2 - 2*f + 1. Does 20 divide y(r)?
False
Suppose -37 = -5*f - 4*d, 5*d + 17 - 7 = 0. Let l = -4 + f. Is l a multiple of 5?
True
Let t(a) = -a**3 - 12*a**2 - 11*a - 2. Let b be t(-11). Let n = 2 - b. Suppose 44 = 4*m - n. Is m a multiple of 6?
True
Suppose 0 = -u + 1, -3*u - 2*u = 5*r - 185. Let f be 5*(r/(-15) - -2). Let d = f + 21. Is 7 a factor of d?
False
Suppose -5*j = -c - 17, 2*c = 4 + 2. Suppose -z + 28 = j. Is 6 a factor of z?
True
Suppose 0 = 2*x + 5*l - 91, 5*x + 0*x - 193 = -l. Suppose -4*a = -3*a - x. Is 19 a factor of a?
True
Suppose 0 = 2*v + 2*v - p - 754, 0 = 4*v + 3*p - 746. Is v a multiple of 37?
False
Suppose 42 = -2*f - f. Let d = f - -20. Is 6 a factor of d?
True
Suppose 2*t = 4*t - 2*g - 128, 118 = 2*t - 4*g. Is t a multiple of 7?
False
Let u be 0 + (0/(-1))/(-2). Suppose 3*y + p - 32 = u, -y + 36 = y - 3*p. Is 3 a factor of y?
True
Let u = 3 + -1. Suppose u*o + 2 = -6. Is (8/6)/(o/(-66)) a multiple of 11?
True
Let w = -459 - -691. Suppose 6*m - 4*u = 2*m + 184, 5*m - 4*u - w = 0. Is 22 a factor of m?
False
Let i(q) = 5*q - 4*q + 21 - 9. Let o be i(-7). Suppose o*l = -25 + 80. Is 11 a factor of l?
True
Let v = 0 + 59. Let y = v - 38. Is 11 a factor of y?
False
Let i(v) = -v + 10. Let h be i(7). Suppose -4*k + r + r + 8 = 0, -6 = -h*k - 2*r. Suppose -2*b = -5*y + 13 - 4, -b = k*y - 18. Is b a multiple of 8?
True
Does 18 divide (108 + -1)/((-10)/(-10))?
False
Let c = 9 - 3. Suppose -4*a - u - 4*u - c = 0, -a - 3*u = 5. Is 19 a factor of a/(-4) + (-459)/(-12)?
True
Let g = 4 - 1. Suppose -g*p + 88 = -p. Is 19 a factor of p?
False
Suppose 96 + 315 = 3*h - 2*a, 408 = 3*h - a. Is h a multiple of 31?
False
Let o(s) = -s**3 + 19*s**2 + 2*s - 14. Is o(19) a multiple of 4?
True
Let c = 9 - 5. Suppose q + c - 31 = 0. Is 8 a factor of q?
False
Suppose -r = r + 6, 4*d - 228 = 4*r. Let z = d - 21. Does 17 divide z?
False
Suppose -2*s = 5*z - 194, -4*z = 2*s - s - 103. Suppose 3*g + s = 2*x, 0 = -2*x + 6*x - 5*g - 175. Does 9 divide x?
True
Suppose -3*t - 5*k - 2 = 0, 3*t - 7 = t + 5*k. Let x = t - -2. Suppose 3*u + 2*h - 39 = 0, -u + x*h + 1 = -1. Does 11 divide u?
True
Suppose 73*j + 72 = 76*j. Does 2 divide j?
True
Suppose -3*n = -0*n - 4*s - 309, 4*n - 399 = s. Is 33 a factor of n?
True
Let f(i) = -2*i**2 + 2*i + 2. Let p be f(-2). Let a be 61/(-3) + 8/(-12). Is p/(-6) - 7/a even?
True
Does 3 divide 21 + 1 - ((-6)/(-1) - 2)?
True
Let w(q) = 2*q**3 + 4*q - 2. Is 4 a factor of w(2)?
False
Suppose 3*n - 18 = -4*j - 0*n, -25 = -5*j - 5*n. Is 3 a factor of 1 - (j - -3)/(-2)?
False
Does 22 divide (-21*1)/((-11)/22)?
False
Let o be 38/10 - 1/(-5). Suppose -2*a = -o*a + 44. Is 11 a factor of a?
True
Suppose 0 = -f + 6 - 8. Does 5 divide ((-105)/14)/(1/f)?
True
Let g(h) = -4 + 1 - h + 2. Let v be g(-7). Does 13 divide 3/(9/v)*13?
True
Let d(u) = -9*u**3 - u**2 - 2*u. Let c be d(-2). Let w = c - 48. Is 24 a factor of w?
True
Let a = -8 - -3. Let y = 3 + a. Let w(s) = 7*s**2 - 2*s - 2. Does 16 divide w(y)?
False
Let t = -81 - -179. Does 14 divide t?
True
Suppose -2*d - g + 6 = 3*g, -4*d = g - 12. Suppose -t = d - 16. Is t a multiple of 4?
False
Let k = -13 + 23. Is 15 a factor of k - 11 - -15*3?
False
Suppose -6*i - t + 453 = -5*i, -3*t 