et o = 85 + -74. Is 11 a factor of o?
True
Suppose 2*m + 4 = 3*m. Suppose -m*t - t + 54 = 3*d, -t + 4*d = -20. Is t a multiple of 6?
True
Let z = -6 + 17. Does 8 divide z?
False
Suppose 5*z - 110 = -5*j, 2*j = -5*z + 6*j + 65. Suppose z - 63 = -2*d. Does 12 divide d?
False
Let a(z) = -2*z**2 - z - 1. Let b(s) = -s**2. Let u(k) = -a(k) - 3*b(k). Let q be u(-1). Suppose -q*x - 2*l = -2*x - 52, -3*l + 87 = 5*x. Is 9 a factor of x?
True
Let p(j) = 5*j - 7. Let y be p(7). Suppose 2*q - h - y = 0, 0 = 4*q + 5*h - 4*h - 68. Is q a multiple of 8?
True
Does 9 divide (-650)/(-8) - (-15)/(-60)?
True
Suppose 4*g - 5*g - 5 = r, 28 = -4*r + 4*g. Suppose -304 = 2*d + 4*v, -3*v = 2*v. Does 11 divide (r/12)/(2/d)?
False
Let q be ((-2)/5)/((-2)/20). Suppose q*x - 11 = 29. Let y(n) = n**2 - 9*n. Is 5 a factor of y(x)?
True
Let d be (2081/(-2))/((-2)/(-4)). Let t be 14/(-63) - d/9. Is 5 a factor of (-1)/(-2) + t/14?
False
Let r = 3 + 3. Let t(k) = k**3 - 4*k**2 + 3*k - 7. Let h be t(r). Let z = h + -19. Does 22 divide z?
False
Suppose -42 = -2*k - 6. Is k a multiple of 6?
True
Let c be (1 - (1 + -1)) + 3. Suppose -2*j = c*o - 96, 50 = 3*o - 0*o - 4*j. Is 11 a factor of (o/(-4))/((-1)/4)?
True
Suppose 2*i - 3*m = 24, 0*m = 2*i + 4*m + 4. Let d be (-56)/(-12) - 4/i. Suppose -6*w = -d*w - 24. Is w a multiple of 11?
False
Let g(t) = -t + 5. Let r be g(4). Let x be 2/(r - 0)*1. Suppose 3 = -5*d - 4*m - 7, -x*d + 9 = -m. Does 2 divide d?
True
Let n(u) = -19*u + 1. Let b = -21 + 32. Let j(r) = -56*r + 3. Let p(y) = b*n(y) - 4*j(y). Does 5 divide p(1)?
False
Suppose -h + 5*f - 16 = -0*h, 0 = 2*f - 8. Suppose 0 = 2*m - h*m + 2. Does 5 divide 42/4 + m/2?
False
Suppose 3*v - 514 = m, -5*m = 3*v - 4*m - 506. Is 10 a factor of v?
True
Let a be 4/(-12) + 80/15. Suppose -4*j = 2*q - 3*j - 69, 5*j - 170 = -a*q. Does 14 divide q?
False
Suppose 2*o = -5*j + 26, 3*j + 14 = 4*j - 4*o. Is 2 a factor of j?
True
Let c(m) = -m**3 + 5*m**2 + 6*m + 2. Let s be c(6). Suppose 108 = 4*l + 2*y, s*y - 62 = -2*l + 5*y. Is 14 a factor of l?
True
Let o(b) = b**3 - 8*b**2 + b - 6. Let k be o(8). Suppose k*f = -f + 24. Is 4 a factor of f?
True
Suppose 2 = 3*t - y, y - 2 = 3*t - 2*t. Suppose l - t = 2. Does 2 divide l?
True
Let k(f) be the first derivative of -f**4/4 + 7*f**3/3 - 3*f**2/2 + 3*f - 3. Let w be k(6). Suppose -4*q + 59 = -w. Is 10 a factor of q?
True
Let w(d) be the second derivative of d**3 - d**2/2 + 7*d. Is 16 a factor of w(8)?
False
Suppose 18 = p - 4*p. Let c(x) = 4*x**2 - 2*x + 7. Let u(f) = 5*f**2 - 2*f + 8. Let b(a) = p*c(a) + 5*u(a). Is 11 a factor of b(-6)?
True
Let r(g) = -g**3 - g**2. Does 6 divide r(-3)?
True
Let u(y) = -y**2 + 10*y - 11. Let m be u(8). Suppose 0 = -2*b - 2*q + 20 + 20, m*b - 85 = -2*q. Does 6 divide b?
False
Let v(r) = r**3 - 4*r**2 - 14*r - 15. Is v(9) a multiple of 12?
True
Does 27 divide 109 + 2*(-5)/10?
True
Let t be -2 - (-14 - (-3)/(-3)). Let z = -27 + t. Is 5 a factor of (-74)/z - (-2)/(-7)?
True
Let z(n) = n**3 - 7*n**2 + 1. Let a be z(7). Suppose 1 + a = f. Is 13 a factor of (1/1)/(f/34)?
False
Let v = 10 - 7. Suppose v*m + 0*m = 60. Is 18 a factor of m?
False
Let z = 10 - -10. Let l = 29 - z. Does 3 divide l?
True
Let z(c) = -24*c + 8. Is z(-8) a multiple of 20?
True
Let a = -8 + 8. Suppose a*m = m - 24. Is 8 a factor of m?
True
Let a = 11 - 8. Suppose -8 = 5*k - s, 2*s + 3 = -a*k + 6. Is 2 - 1 - (-19 + k) a multiple of 13?
False
Let t(z) = -98*z - 18. Is 32 a factor of t(-3)?
False
Suppose 2*k = 3*k - 136. Is k a multiple of 17?
True
Let y = -86 - -191. Is 8 a factor of y?
False
Let t(z) = z + 10. Let s be t(9). Suppose -2*l - 5*n = -3*l + 1, -3*n = -2*l - s. Is (-4)/l + 66/14 even?
False
Let a be 0/(-2*1) + 33. Let d be a/(-7) - 12/42. Let r(l) = -l + 5. Does 7 divide r(d)?
False
Let d(b) = 52*b - 6. Is d(3) a multiple of 22?
False
Let l be (-12)/(-18) - (-2)/(-3). Suppose -5*x + l*x = -5*q - 70, 0 = -x + 2*q + 14. Is 8/28 + 80/x a multiple of 5?
False
Suppose 0 = 7*s + 98 - 616. Is 7 a factor of s?
False
Suppose -3*c + 4*k + 1 = 0, -c - 5 = -3*k - k. Suppose 3*j = -2*m + 75, -m + 0*j + c*j = -33. Does 9 divide m?
True
Suppose 4*a + n + 26 = 0, 5*a - 7 = n - 35. Let g = 8 + a. Is 4 a factor of 1 + g/((-2)/(-3))?
True
Suppose 79 = 14*t - 1741. Does 23 divide t?
False
Let f(g) = -g**2 + 5*g + 3. Let j be f(5). Suppose -3 - 9 = -j*k. Suppose k*d + 0*d - 48 = 0. Is d a multiple of 6?
True
Suppose -3*u + 26 = 4*i, 4*u = -3*i + 59 - 22. Let y = -252 - -438. Is 11 a factor of (-4)/u - y/(-15)?
False
Let i be (-10)/(-24)*-2*-6. Suppose 0*l - 2*l + 2 = 0, -4*l = -i*j + 116. Is 19 a factor of j?
False
Suppose 5*c - 6*p + 2*p = 243, 0 = 5*c + 4*p - 267. Does 15 divide c?
False
Let c(h) be the third derivative of -h**5/60 + h**4/6 - h**3/6 - h**2. Let o be c(3). Is 8 a factor of 18/1 - (o - 3)?
False
Let b be 0 - -3 - (17 + -5). Is (4 - -8)/((-3)/b) a multiple of 12?
True
Let d(s) = -4*s + 0*s**3 + 5*s**3 + 6*s**2 + 9*s - 4*s**3. Is 7 a factor of d(-4)?
False
Let c(k) = -5*k. Let w be c(1). Let m(a) = a**3 + 7*a**2 + 4*a - 1. Is m(w) a multiple of 15?
False
Let d(x) = -x**3 + 11*x**2 + 2. Let g be d(11). Suppose -112 = -g*c - 2*r - 12, -2*c + r = -88. Let l = c - 28. Does 8 divide l?
False
Suppose -2*k + 3*x - 26 = 0, 3*x - 4 = x. Let o = -6 - -30. Let y = o + k. Is y a multiple of 7?
True
Suppose 2*q - 295 = 21. Is 13 a factor of q?
False
Let z = -78 - -139. Let y(o) = 4*o**2 + 3*o - 2. Let c be y(-3). Let i = z - c. Is i a multiple of 17?
False
Suppose n - 6*n - 140 = 0. Let z = n - -46. Is 9 a factor of z?
True
Suppose -2*p + 489 = -0*l - 5*l, -1290 = -5*p - l. Is 9 a factor of p?
False
Suppose -5*g = -4*l + 28, 2*l + 2*g = g. Is 5 a factor of 3 + (5 + 2 - l)?
False
Let x be 4/3*-3*1. Let m be 0 - 0/3 - x. Suppose j + m*j = 80. Does 5 divide j?
False
Let g = -69 - -167. Suppose 3*p - g = -0*k - k, -25 = -5*k. Is p a multiple of 12?
False
Suppose 0 = -3*b - 4*n + 374, 2*b - 257 = 7*n - 2*n. Is b a multiple of 18?
True
Let w be 0 + 0/(-2) + 0. Suppose 3*n - 18 - 138 = w. Does 23 divide n?
False
Does 31 divide 1*93 - (6 + -6)?
True
Suppose 0 = 2*y - 112 - 144. Does 32 divide y?
True
Let d(g) be the first derivative of -g**3/3 + 3*g**2/2 + 1. Let b be d(3). Suppose 11 = -2*h + 4*x + 51, -2*h - x + 45 = b. Is h a multiple of 6?
False
Let q(d) = d**3 - 5*d**2 - 7*d + 5. Let z be q(6). Let n = 2 + z. Does 11 divide ((-11)/(-2))/(n/2)?
True
Let b = 157 - 103. Is 27 a factor of b?
True
Suppose 0 = -5*o - 56 - 39. Let s = o + 34. Is s a multiple of 10?
False
Suppose 26*j + 7 = 27*j. Is j a multiple of 2?
False
Is 11 a factor of -55*(21/(-28) + 1/(-4))?
True
Suppose 3*u + 137 = 371. Is 14 a factor of u?
False
Let t = -273 + 418. Is 26 a factor of t?
False
Suppose w - 22 = 25. Is w a multiple of 19?
False
Let o(g) = 2*g + 7. Let d(s) = -s**2 + 7*s - 4. Let b be d(5). Is 19 a factor of o(b)?
True
Suppose 97 = -4*i + 2*d - 133, 5*i + 325 = -5*d. Is 7 a factor of (-2)/(i/(-21) - 3)?
True
Suppose -5*o - 4*g + 59 = -19, 5*g + 18 = 2*o. Does 7 divide (-7)/o + (-58)/(-4)?
True
Suppose 0 = 8*t - 7*t - 4. Suppose 0 = r - t*r + 147. Is r a multiple of 17?
False
Let f(x) = x**3 - 5*x**2 - 5*x - 7. Let h be f(7). Is 12 a factor of (6/7)/(4/h)?
True
Suppose o = 4*b + 67, -381 = -5*o - 7*b + 4*b. Does 13 divide o?
False
Is 13 a factor of (-48)/40*(-260)/6?
True
Is 2/((13/24)/13) a multiple of 24?
True
Suppose 0 = -3*y + 18 + 15. Does 5 divide y?
False
Suppose d = 53 + 68. Is 38 a factor of d?
False
Let f(y) = -5*y**2 - 6*y - 1. Let p(c) = -11*c**2 - 12*c - 1. Let r(b) = 9*f(b) - 4*p(b). Is 3 a factor of r(-4)?
True
Let x = -31 + 47. Is 4 a factor of x?
True
Let l(t) = t**3 - 5*t**2 + 5*t - 2. Let q be l(4). Suppose -5*m = -q*x + 44 - 142, -3*m = 4*x - 64. Is m a multiple of 5?
True
Let z(b) = 5*b**2 + 2*b. Let a(r) = 14*r**2 + 6*r + 1. Let x(f) = 4*a(f) - 11*z(f). Let n be (-4)/(-24) + (-50)/12. Is 4 a factor of x(n)?
True
Let y be -6*(60/(-9))/(-4). Let f = y - -14. Suppose 0 = f*s + 2*t - t - 65, 3*s + 5*t = 70. Is 7 a factor of s?
False
Let f = 1009 - 693. Is 49 a factor of f?
False
Suppose 5*b = 7*g - 3*g + 42, -39 = -5*b + 3*g. Suppose -2*s = -b, 0 = -0*p + 4*p + 2*s - 26. Is p/(-25) - 276/(-5) a multiple of 20?
False
Let b(k) = k**3 - k**2. Let g(s) = s**3 + s**2 + 7*