actor of b?
False
Let s be (-46)/(-14) - 2/7. Suppose 7*u = s*u + 72. Does 3 divide u?
True
Suppose 4*h = -5 + 1, -2*b + 4*h - 12 = 0. Does 3 divide 2*((-18)/b + (-3)/(-4))?
True
Let m = 81 - 130. Let c = m + 82. Let b = c + -16. Is 17 a factor of b?
True
Suppose -3*k - 10047 = -3*t, -58*k + 54*k + 10040 = 3*t. Does 62 divide t?
True
Suppose 33*h + 11664 = 39*h. Does 6 divide h?
True
Let h be 1 + (1 - 0)*(-1 - -4). Let s = h - -4. Is 8 a factor of s?
True
Let r(p) = 4*p**2 - 6*p + 4. Let s be r(2). Suppose -10*o + 214 = -s*o. Is o a multiple of 26?
False
Is 2754 + ((-32)/160)/((-1)/5) a multiple of 24?
False
Suppose 0 = -6*y + 8*y - 2. Let k(o) = -o**2 + o. Let s(b) = -b**3 + 9*b**2 + 3*b + 8. Let f(a) = y*s(a) - 3*k(a). Does 2 divide f(12)?
True
Let k be 82 - (0 + (0 - 1)). Suppose 4*d - 3*c = 288, -3*d - 2*c = -2*d - k. Is 8 a factor of d?
False
Suppose -29 - 34 = -3*l. Does 21 divide l?
True
Suppose 0 = -13*m + 18701 - 4232. Is 53 a factor of m?
True
Suppose 2*h = 10*h - 808. Does 19 divide h?
False
Let o(g) = 2*g**2 - 3*g - 4. Let z be o(3). Let w = 20 - z. Is w a multiple of 5?
True
Let z = -469 - -829. Is 40 a factor of z?
True
Suppose 0 = n + 2, 2*n = -5*a + 1737 - 296. Is a a multiple of 2?
False
Let v(i) = -33*i. Is 11 a factor of v(-13)?
True
Let k(r) be the first derivative of -r**4/4 + 4*r**3/3 - 3*r**2/2 - 2*r - 7. Let h be k(4). Does 3 divide (-38)/h - 10/(-35)?
True
Let x(d) = -23*d + 3. Suppose 3*j + n - 14 = 0, -3*n + 0 = -6. Let q be x(j). Let c = 143 + q. Is c a multiple of 17?
False
Suppose q = -2*q. Suppose 0*a + 5*a - 500 = q. Is ((-9)/2)/((-15)/a) a multiple of 8?
False
Suppose 0 = 5*s - s + 5*i - 7, 3*i = -3. Suppose -s*p = 2*p. Let l(k) = -k**3 + k**2 + k + 14. Is 14 a factor of l(p)?
True
Suppose 7*b + b - 24 = 0. Let m = 84 - 56. Suppose m = -b*p + 70. Is 8 a factor of p?
False
Let y(t) = -t + 1. Let r be y(-8). Let q = 14 - r. Suppose -116 = -q*c + c + u, 0 = c - 2*u - 22. Is c a multiple of 22?
False
Let y(i) = -i**3 + 26*i**2 - 21*i - 1. Let d be y(25). Suppose 12*l = l + d. Is l a multiple of 9?
True
Let g = 7 - 5. Suppose 21 = 3*f - g*f. Is 21 a factor of f?
True
Suppose -4*m + 0*m - 2*v - 312 = 0, 0 = -4*m - v - 316. Is 8 a factor of (m/12)/(-2)*(-96)/(-5)?
True
Suppose -6*q = -5*q - 5. Suppose 2*o = -2*n + 4*n + 96, -4*o - q*n + 237 = 0. Let a = o + -38. Is 3 a factor of a?
True
Suppose -21 = -k - 7. Let i(l) = l**2 - 9*l - 21. Is 12 a factor of i(k)?
False
Suppose -5 = 4*a - 25, -2*p = 3*a - 483. Is 18 a factor of p?
True
Suppose 2*m - 85 = -2*r - 41, r - 16 = 5*m. Let y(z) = 2*z - 4. Let c be y(3). Suppose -c*t + 3 = -r. Is 6 a factor of t?
True
Let w = 47 - 13. Suppose -2*o - 4 = -w. Is 29 a factor of 444/o*(-5)/(-2)?
False
Suppose -4*j = 5*r - r - 44, -6 = -2*r. Does 4 divide j?
True
Suppose -8612 = -5*l + s, 9943 = 4*l + 3*s + 3061. Does 12 divide l?
False
Suppose -13*l = -72*l + 1475. Is l a multiple of 5?
True
Let d(b) = b - 3. Let g be d(3). Suppose -2*s = -2*c + 4 + 14, g = 2*c + 3*s + 2. Suppose c*q = q + 156. Is q a multiple of 13?
True
Let h(j) = -j**2. Let w(n) = 2*n**2 + 7*n - 11. Let a(d) = -3*h(d) - w(d). Let x be a(9). Let l = x - 25. Is 4 a factor of l?
True
Let u = 8 + -5. Suppose 0 = -w + 4*z - 115, -u*w - 230 = 3*z + 40. Let f = -64 - w. Does 13 divide f?
False
Suppose 4*q - 20 + 0 = 0. Suppose -4*s + 100 = q*f + s, 36 = f + 5*s. Does 4 divide f?
True
Let p(i) = -124*i**3 - 3*i**2 + 9. Does 12 divide p(-2)?
False
Let m(d) = -64*d**3 + 6*d**2 - 3*d + 6. Let r(w) = -32*w**3 + 3*w**2 - w + 3. Let v(k) = -3*m(k) + 5*r(k). Is 23 a factor of v(2)?
False
Suppose -107 = 2*f - 505. Is f a multiple of 76?
False
Suppose -24*q = -12*q - 17136. Is q a multiple of 68?
True
Suppose 0 = -y + 2*v - 35, 0 = -y + 3*v - 0*v - 40. Let w = -19 - y. Is 14 a factor of ((-63)/2)/(w/(-16))?
True
Let l(h) = -h**2 - 7*h + 62. Is 8 a factor of l(-10)?
True
Suppose -4*c = 4*v - 20, 5*v - 3*c - 12 - 5 = 0. Suppose -i = 3*w - 4*i - 198, 300 = v*w + 5*i. Is 17 a factor of w?
False
Let c(k) = -6*k + 1. Let y be c(-4). Suppose 5 - y = 2*j. Let u = 67 + j. Does 33 divide u?
False
Suppose l - n + 8 = 0, -2*l - 3*n = -3*l - 18. Is 12 a factor of (2*5/l)/(1/(-24))?
False
Suppose -d + 230 = -6*d. Suppose -w = -3*s - 29, 4*w + s - 51 = -0*s. Let n = w - d. Is n a multiple of 15?
True
Does 8 divide (-18)/(905/(-150) - -6)?
False
Let c(v) = -3*v**3 - 28*v**2 - 11*v - 18. Let i be c(-9). Suppose -7*j + 1497 - 111 = i. Is j a multiple of 33?
True
Let o(a) = a**3 - 3*a**2 + 3*a - 5. Let c be o(3). Suppose c*r + 2*t = 130, t + 33 = r + 2*t. Is r a multiple of 8?
True
Suppose 4*k = -s + 816, 5*k + 2569 = 5*s - 1636. Is s a multiple of 76?
True
Let p(v) = 5*v**2 - 55*v - 39. Is 26 a factor of p(23)?
False
Is 42 a factor of (-96 - -12)*68/(-8)?
True
Let x(i) = -i**2 - 35*i - 36. Let p be x(-23). Suppose 0 = -3*o - 51 + p. Does 21 divide o?
True
Let n(j) = -2*j - 1. Let y be n(-3). Suppose -y*i - 50 = -0*i. Is -48*(-3 - i/4) a multiple of 8?
True
Let m(d) be the second derivative of 29*d**3/6 - d**2/2 + d. Let x(y) = -19*y + 1. Let l(f) = -5*m(f) - 7*x(f). Is 2 a factor of l(-1)?
True
Let h(b) be the third derivative of -5*b**4/8 + b**3 - 6*b**2. Is h(-3) a multiple of 17?
True
Suppose 3*i - 5*a - 5 = 0, 10 = 2*a + 3*a. Let r(h) = -h**3 + 5*h**2 + 2. Let m be r(i). Is 4 a factor of (13/m)/(2/4)?
False
Let a(v) = -v + 18. Let j be a(16). Suppose -i + 12 = -j*d, 38 = 2*i + i - 4*d. Is i a multiple of 14?
True
Let a be 6 - (-5)/((-5)/(-3)). Is 23/((a/(-2))/(-9)) a multiple of 6?
False
Let g(l) = 1. Let m(q) = -3*q - 36. Let w(u) = 66*g(u) + 2*m(u). Suppose -i + 4*k = 13, 22*i - 3*k + 16 = 20*i. Is 8 a factor of w(i)?
True
Let x(q) = -5*q**2 - 4*q - 4. Let p(b) = 2*b + 6. Let f be p(-4). Let d be x(f). Does 12 divide d/(-48)*3*12?
True
Suppose -4*q = -4*o - 4, -2*q + 6 = -0. Suppose 15 = 5*d, 4*d - 7*d = o*i - 117. Does 18 divide i?
True
Suppose 55 + 105 = 5*u + 5*m, u - 42 = 4*m. Does 34 divide u?
True
Let g be (-2)/(-5) - 103/(-5). Let n be 0/2 - -1 - (21 + -302). Does 12 divide n/g + 6/(-14)?
False
Suppose -b = -5*o - 5, 12 = -5*o + 2*b + 2. Suppose 5*y + 27 = t, -t + o*y - y = 3. Let r(l) = 21*l - 2. Is r(t) a multiple of 10?
True
Suppose 290*t + 866 = 292*t. Does 18 divide t?
False
Let k = 542 + -461. Is k a multiple of 7?
False
Let z = 24 + -18. Does 13 divide 1*81 + z + -9?
True
Suppose 0 = 10*k - 1012 - 1188. Is k a multiple of 10?
True
Let w = 12 - -12. Suppose 3*x + 8 = 20. Suppose w = x*p - 3*p. Is p a multiple of 13?
False
Is 6 a factor of (((-11781)/(-28))/(-33))/((-6)/376)?
False
Does 53 divide (4 + 5*84)*1?
True
Let j(m) = m + 30. Suppose 5*g = 5*p - 22 - 48, 0 = -2*g + 4. Is 9 a factor of j(p)?
False
Suppose -x + 3*w = -967, -5*x + 3*w - 7*w = -4892. Is x a multiple of 16?
True
Let h(t) = -2*t**3 + 5*t**2 + 45*t + 5. Is 15 a factor of h(-6)?
False
Let w(n) be the first derivative of -n**2 + 49*n + 6. Let t(k) = -k**3 - 5*k**2 + k + 5. Let h be t(-5). Is 13 a factor of w(h)?
False
Let q(h) = -h**3. Let z(c) = -3*c**3 - 7*c**2 - 9*c - 9. Let a(j) = 2*q(j) - z(j). Let i be a(-5). Suppose 0 = 18*w - i*w - 28. Does 5 divide w?
False
Suppose 0 = -3*o + 5174 - 1019. Does 18 divide o?
False
Suppose -d - 4 = 4*y + 3*d, -5*d - 8 = 4*y. Suppose -6*c - y*c = -1764. Does 14 divide c?
True
Is ((-2)/7)/(96/(-168))*7744 a multiple of 34?
False
Let v(f) = -f**2 + 29*f - 42. Let g be (-2)/3*(-92)/(-8)*-3. Is 12 a factor of v(g)?
True
Let w = -8 - -11. Suppose w*c - 6 = 102. Is (-277)/(-9) + 8/c a multiple of 19?
False
Is ((-660)/16)/((-10)/40) a multiple of 11?
True
Let m(q) = q**3 + q**2 - 4*q - 3. Let a be m(-2). Let i(o) = o - o + 0*o + 60*o**2. Is i(a) a multiple of 11?
False
Suppose 125*m = 129*m - 3840. Is 48 a factor of m?
True
Let a(x) = -2 + x**3 - 2*x**2 - 2 + 0 + 13*x**2 - 15*x. Does 8 divide a(-12)?
True
Let f(l) = 5*l**2 - l + 2. Let g be f(2). Let k be (g/5)/(2/3). Does 12 divide 51 - k*(-4)/(-8)?
True
Let w = 238 + -182. Is 8 a factor of w?
True
Suppose 0 = 3*s - 4*x - 725, -5*s + 2*x = -4*s - 243. Is s a multiple of 16?
False
Let p(d) = -d**2 + 6*d + 5. Suppose 4*c - n + 1 = 20, c + 4*n - 26 = 0. Let z be p(c). Suppose z*g - 75 = 5*m, -3*g - 5*m - 21 + 74 = 0. Does 8 divide g?
True
Let w = -1144 - -2096. Does 68 divide w?
Tr