98 - -372. Is 10 a factor of f?
True
Let i(q) be the first derivative of -q**2 - 7 - 7*q + 4/3*q**3. Is 6 a factor of i(3)?
False
Suppose 0 = -a + 2*z - 8 + 102, a - 66 = -5*z. Suppose -l + 0*l + 2*d + a = 0, -4*d = -3*l + 258. Does 6 divide l?
False
Let p(t) = t**2 - 4*t - 10. Let f be (6/(-4))/(9/(-12)). Suppose 0 = f*y + 2*a - 14, 0 = 4*y - 3*a - a - 44. Is p(y) a multiple of 10?
False
Suppose 0 = -2*i - 5*v - 8, 6*v + 8 = 2*v. Let f be 5/(-1 + (i - -1)). Suppose 0 = -3*l + f*d + 39 - 10, -l - 3*d = -19. Is 4 a factor of l?
False
Suppose 14*s = 17*s - 3. Is (-5)/15*3*(-22 + s) a multiple of 11?
False
Let j(d) = -7*d - 23. Let p(v) = v. Let m(g) = -j(g) - 6*p(g). Let o be m(-17). Let l = 8 + o. Does 3 divide l?
False
Let y(s) = 51*s**3 - s**2 - 4*s + 4. Is y(1) a multiple of 25?
True
Let d be 6/(-4)*(-24)/(-9). Does 13 divide (8*10 - -4)/(d/(-10))?
False
Let r(c) = 24*c**2 - 2*c - 2. Let k be r(-1). Let f be (-3*1)/(k/(-16)). Let g = f - -4. Does 2 divide g?
True
Let g be 63/30 + 3/(-30). Suppose 0 = -g*u - 4*u + 360. Is 12 a factor of u?
True
Suppose 0 = -5*f + 7*f - 420. Suppose 0 = -z + 8*z - f. Does 6 divide z?
True
Let z(a) = 51*a**2 + 158*a + 10. Does 25 divide z(-8)?
False
Suppose -u - 2*l = -0*l - 1033, 3*u + 5*l = 3096. Is 13 a factor of u?
True
Suppose -30 = 5*l + 5*d, -2*l - 5*d - 17 - 4 = 0. Is 14 a factor of 0 + 6/l + (0 - -198)?
True
Let r(w) = -3*w**2 + 7*w + 4. Let a(h) = -h. Let t(b) = -2*a(b) - r(b). Let z be t(8). Suppose -3*c - c = -z. Is 9 a factor of c?
False
Suppose -4 = p + 3. Is 18 a factor of p/((-7)/(-3)) + 38?
False
Let n(b) = b**2 + 39*b - 15. Does 20 divide n(6)?
False
Let g(z) = -13*z - 215. Does 5 divide g(-40)?
True
Does 6 divide (-70)/(-245) - (-5946)/14?
False
Let r be 1*(6/(-2) + 1) - 1. Is r*12*45/(-27) a multiple of 30?
True
Let s(h) = h**3 + 9*h**2 + 7*h + 14. Let j be -1 + 0 + (-10)/2. Let u be s(j). Suppose 0*a + 5*a = u. Is a a multiple of 4?
True
Suppose -3*x - 31 = -u, 20*u - 19*u - 4*x = 36. Does 16 divide u?
True
Let n = 758 - 674. Is n a multiple of 3?
True
Let c(v) = 8*v + 9. Let q be c(-4). Let k = -19 - q. Suppose -5 = -5*l + 5, -334 = -k*u + 3*l. Is 22 a factor of u?
False
Let x = 186 - 45. Suppose -5*z - x = -3*t + 322, 165 = t + z. Is 23 a factor of t?
True
Suppose 4*f + 0*f - 188 = 0. Suppose -h + f = -17. Suppose -h = m - 5*m. Does 16 divide m?
True
Let l = 2582 + -2374. Is l a multiple of 7?
False
Is 15 a factor of 8/6 + (-8 - 812/(-21))?
False
Let r = -125 + 167. Does 14 divide r?
True
Let w = 17 + -19. Let k(g) = 4*g**2 + 3*g. Let h be k(w). Let l = 8 + h. Does 6 divide l?
True
Let d be 0 - 0 - 311*-1. Let v(l) = -l**3 - 16*l**2 - 14*l + 17. Let f be v(-15). Suppose -122 = -2*z - f*t, 5*z - 3*t - d = -5*t. Is 26 a factor of z?
False
Let r(j) = -4*j**2 + 17*j - 1. Let d(q) = q**2 - q - 1. Let w(g) = 2*d(g) + r(g). Is w(7) a multiple of 3?
False
Let o = 135 - -240. Is o a multiple of 20?
False
Suppose -3*h = 2*h + 125. Let d = -23 - h. Suppose 0 = n - d - 11. Does 13 divide n?
True
Let i be (-9)/(12/(-4)) + 0. Let k(g) = -8*g - 5 + 2*g**3 + g**i - 4*g**3 + 9*g**2. Does 11 divide k(6)?
True
Let t be (-2)/16 + 4711/56. Let k be t + 7 - 1*-1. Suppose 5*p = p + k. Does 23 divide p?
True
Let o(i) = 10*i + 6 - i + 0*i. Does 17 divide o(10)?
False
Suppose j = -5*i + 804, 5*i - 3*j = 553 + 235. Is i a multiple of 5?
True
Is ((-685)/(-3))/((-11)/(-33)) a multiple of 12?
False
Let v = 4 - 4. Suppose v = -3*k + 4*l + 50 + 35, -3*k + l = -82. Does 9 divide k?
True
Let k(h) = -71*h**3 + h**2 + 2*h - 2. Let v be k(1). Let q = v + 242. Does 32 divide q?
False
Let j(h) = 4*h**3 - 4*h**2 + 5. Let q be j(-2). Let p(n) = -8*n**2 - 2*n - 3. Let y be p(-3). Let a = q - y. Does 12 divide a?
False
Suppose 0 = 5*o + 3*n - 35, -3*n - 2 - 3 = -5*o. Suppose o*b - 531 = -15. Suppose 425 - b = 4*x. Does 26 divide x?
False
Let d = 1247 + -725. Does 24 divide d?
False
Let p(s) be the second derivative of -37*s**5/20 - s**4/6 + s**2/2 + 2*s. Let g = -2 + 1. Is 13 a factor of p(g)?
False
Let m(i) = -21*i - 13. Is m(-25) a multiple of 32?
True
Suppose -5*v + 4*n + 29 = 0, v = -3*v + 5*n + 25. Suppose -3*i - i = 4*m - 428, v*m + 5 = 0. Is 11 a factor of i?
False
Suppose 4*v - 739 = 3*s + 2680, -2*s - 851 = -v. Is v a multiple of 13?
False
Let u = -114 + 400. Is 22 a factor of u?
True
Let d be 1/(((-4)/46)/(-2)). Suppose -59 = -2*u + d. Let y = u - 1. Is y a multiple of 12?
False
Let o(p) = p**3 - 14*p**2 - p + 18. Let x be o(14). Suppose -141 = r - x*r. Is r a multiple of 23?
False
Let y = 1661 - 1076. Is y a multiple of 15?
True
Let q = -35 - -40. Is q*(-7)/(35/(-39)) a multiple of 14?
False
Let f(h) = 4*h**2 - 3*h + 52. Let z be f(-9). Suppose -2*q - 10 = 0, b + b = -q + z. Is b a multiple of 24?
False
Let p be (168/(-5))/(-8) + 2/(-10). Suppose p*b + 110 = 3*c, -2*b = -8 - 0. Is 7 a factor of c?
True
Let u = -1117 - -1582. Suppose 360 + u = 11*v. Is 5 a factor of v?
True
Let m(a) = 3*a**2 + 2. Let t be m(-2). Does 8 divide 798/49 - 4/t?
True
Let v(i) = 40*i - 38*i + 0 + i**3 + 2 + 5*i**3. Is 21 a factor of v(3)?
False
Suppose f = 4*r - 59, -2*f - 3*f = r + 1. Suppose -r*w + 17*w - 387 = 0. Is 17 a factor of w?
False
Is 17 a factor of (-6)/(-5) + 30195/25?
False
Let j be 1 + 15/(-3)*-1. Suppose y - 1 = x + 5, y + j = -5*x. Suppose 5*r = -y*g + 378, 3*r - 3 = 3. Does 20 divide g?
False
Suppose 4*m = -2 + 10. Suppose -3*z + m*s - 464 = -7*z, s = 0. Is 58 a factor of z?
True
Suppose 2*z - 12 + 8 = 0. Does 25 divide (0 - (-365)/z)*120/150?
False
Suppose 0 = 15*s - 792 - 1068. Is 6 a factor of s?
False
Suppose 18*o + 268 = 988. Is o even?
True
Let s = 1165 - 812. Is s a multiple of 11?
False
Let c(h) = 7*h - 44. Let m be c(11). Suppose m = t + 2*t. Is 7 a factor of t?
False
Suppose 63 = 10*s - 7. Is (-4 + s)*((-537)/(-9) + 0) a multiple of 39?
False
Let t = -145 - -299. Does 3 divide t?
False
Let b(z) = z**2 + 3*z - 4. Let g be b(-4). Let f(u) = -u + 17. Let t be f(g). Suppose 4 = -c + t. Does 5 divide c?
False
Suppose -10298 = c - 20*c. Is c a multiple of 78?
False
Suppose 23*q - 3234 = 16*q. Does 14 divide q?
True
Suppose 0 = -4*r + 1926 + 3526. Suppose 4*u = -115 + r. Does 24 divide u?
True
Let y(b) = -24*b - 28 + 5 + 45*b - 15*b**2 + b**3. Is y(14) a multiple of 10?
False
Suppose 4*u = -4*d + 1556, -d + 221 + 173 = -4*u. Is d a multiple of 26?
True
Let f = 769 - 483. Is f a multiple of 13?
True
Suppose 1 = -4*q + 169. Suppose -q = -3*j + 2*i + 10, 5*j = -4*i + 116. Does 8 divide j?
False
Let l(d) = -d**2 - 111*d + 47. Does 98 divide l(-16)?
False
Let r(a) = a**3 - 22*a**2 + 13*a - 14. Is 10 a factor of r(22)?
False
Let t = 872 + -208. Does 24 divide t?
False
Let k = 607 - 568. Let r = -93 - -65. Let m = k + r. Is m a multiple of 6?
False
Let q(d) = 20*d**2 + d - 10. Is q(5) a multiple of 45?
True
Let z be (10/(-3))/(16/(-24)). Suppose 0*q + 910 = z*q. Let r = q + -129. Is r a multiple of 29?
False
Is 26 a factor of -54*1904/(-42) + (1 - -3)?
False
Suppose 8*o - 873 = 4231. Is 58 a factor of o?
True
Suppose -y + 5*c + 937 = 0, -y = -0*y - 4*c - 941. Is y a multiple of 37?
False
Suppose 7032*q - 7021*q = 14696. Is 35 a factor of q?
False
Let d = -8 + 26. Let l be 28/6 - (-6)/d. Suppose 48 = 4*n + 4*q, -n + 3 = n - l*q. Is n a multiple of 8?
False
Let k = -2 - -17. Suppose 0 = -2*u + 6, -2*u + k = -4*n + 3*u. Suppose n*m = -4*m + 192. Does 24 divide m?
True
Let m(h) = h**2 + 5*h - 4. Let l be m(-6). Suppose 0 = 4*v + l*k + 2, -4*v - 6 = 3*k + 1. Suppose -s + 79 = v*s - 2*w, 2 = 2*w. Is s a multiple of 7?
False
Suppose 4*x - 68 = 3*b, -3*b - 21 = -x + 5. Is 2835/49 - (-2)/x a multiple of 27?
False
Let d = -39 - -76. Let q = -25 + d. Is 8 a factor of q?
False
Suppose 3*d = 33 - 24. Let h = 2 - -2. Suppose 3*s = h*j - d*j - 101, -5*j = -2*s - 570. Is j a multiple of 29?
True
Suppose r = -w, 0 = -0*w + 5*w - 4*r + 9. Let x be -2*(-4 - -2) + w. Suppose -x*c + 55 = -95. Is c a multiple of 25?
True
Let f be ((-11 - -11) + -8 + -1)/1. Does 25 divide (-6)/f - (-1036)/12?
False
Suppose -u - 4*u = -10. Let v be (3 + -4)*(-10)/u. Let t = 16 - v. Is 11 a factor of t?
True
Let k(a) = -8*a**3 - 6*a**2 - 26*a - 23. Is k(-5) a multiple of 79?
False
Suppose -d = 2*a + 21, -5*d - 48 + 15 = a. Let p(f) = 2*f**2 - 5*f + 7. Is 39 a factor 