. Let r = -13 - u. Is 2 a factor of r?
True
Let i = 831 + -350. Let b = -48 + 53. Suppose i - 66 = b*z. Does 24 divide z?
False
Let s = 69 - 16. Is s a multiple of 14?
False
Let h be (3/2)/((-2)/(-4)). Suppose 6 = -5*w + 3*w - 4*p, 5*w = -4*p + h. Suppose 276 = -w*g + 7*g. Is g a multiple of 23?
True
Suppose 5*f = 10, 10 = -2*d + f + 4*f. Suppose -20 = 2*t - d*t. Is (-18)/45 - 124/t a multiple of 7?
False
Let m = -3 - -6. Suppose -x = -m*j - 123, 22 = -2*x - 3*j + 295. Suppose v + 3*v - x = 0. Does 11 divide v?
True
Let j(s) = -21*s - 2. Let b be j(-3). Let k be 14/21*279/(-6). Let t = k + b. Is 15 a factor of t?
True
Let c(n) = n**2 + 2*n - 6. Let r be c(-6). Is ((-12)/r)/((-4)/66) a multiple of 6?
False
Suppose -3*h + 4*t + 1272 = 0, t - 6*t = h - 405. Does 6 divide h?
True
Suppose 0 = -3*b + 49 + 26. Suppose -15 = -b*t + 24*t. Does 3 divide t?
True
Suppose 16*f - 4 = 15*f. Let i(t) = 2*t**3 - 3*t**2 - 2*t - 2. Let k be i(f). Does 10 divide k - (3 + -3 - 0)?
True
Does 35 divide -20*(-1 - -15*3/(-18))?
True
Suppose -5*z = -4*d - 2 - 8, -3*d = 3*z - 6. Suppose -3*r = -2*v - 189, 3*v + 142 - 16 = z*r. Is 15 a factor of r?
False
Let i(b) = -b**3 + 19*b**2 - 18*b. Let s be i(18). Suppose -5*n = -4*f + 147, -2*f - 2*n + 96 = -s*f. Is 10 a factor of f?
False
Suppose 88*s = 80909 + 5331. Is 14 a factor of s?
True
Let z(j) = 6*j**2 + j - 1. Suppose 5*r = f + r - 17, -4*r - 12 = 4*f. Let b be z(f). Suppose 3*u = b + 30. Is 12 a factor of u?
True
Is 55 a factor of 1160/1 - (-635)/(-127)?
True
Is 43 a factor of 24031*14/490 - (-6)/(-10)?
False
Is 10/10 + 7/(14/1504) a multiple of 2?
False
Let v(l) = l**3 + 3 - 2 + 2 + 7*l**2 - 10*l + 5. Is 18 a factor of v(-8)?
False
Suppose -25*q = -30*q - u + 86, 0 = -5*q - 3*u + 88. Is 5 a factor of q?
False
Let t(r) = -3*r - 42 - 73*r**3 + 78 - 38 - 2*r**2. Let k(w) = w**3 - 3*w**2 + 1. Let i be k(1). Does 23 divide t(i)?
False
Let p(s) = -s**2 - 48*s - 209. Is p(-38) a multiple of 5?
False
Let b be (-28)/(-4)*12/14. Let m(o) = o**3 - 8*o**2 - 2*o - 2. Let d be m(b). Is 24 a factor of d*-2*1/4?
False
Suppose 4*g + 104 = 2*c, 5*c + g = -191 + 506. Let p = c - 23. Does 13 divide p?
True
Suppose 2*k = -v + 169, -v - k + 71 = -95. Let m = -51 + v. Is m a multiple of 14?
True
Let s be 4 - (-2 + 3 - -90). Let z = 129 + s. Is 9 a factor of z?
False
Suppose 2*h = 4*s - 30, 0 = -5*s + h + 29 + 4. Let r = s - 1. Let z = 37 - r. Is 11 a factor of z?
False
Let b = 3 - 2. Suppose i = -0*i - b. Is (2 + i)/((-4)/(-236)) a multiple of 15?
False
Let l be ((-1)/(-2))/((-2)/224). Let x(h) = -h**3 + 6*h**2 + 3*h - 9. Let v be x(7). Let c = v - l. Is c a multiple of 7?
False
Let j = -148 + 163. Let h = j + 18. Is 11 a factor of h?
True
Let b(w) = -w**2 + 30*w + 31. Let a be b(31). Suppose 2*q - 5*q - 4*g + 494 = a, -2*q - 5*g + 320 = 0. Does 17 divide q?
True
Let b = -1165 - -2062. Is 5 a factor of b?
False
Let w(y) be the third derivative of 3*y**6/8 + y**5/30 + y**4/24 - y**3/3 - 13*y**2. Let s be w(1). Let g = -33 + s. Is g a multiple of 6?
False
Let t(q) = q + 4. Let a be t(-2). Suppose 5*r = a*y + 10, 3*y - 4*r - 3 + 4 = 0. Is y a multiple of 2?
False
Let q be 190/1045 + 1/(11/31). Let z(j) = -5*j. Let a be z(-3). Suppose -66 = -q*p - a. Does 17 divide p?
True
Suppose -4*v + 131 = 99. Is v a multiple of 8?
True
Let t(l) = 7*l**2 + l + 1. Let n be t(-3). Suppose -3*m - 5*g - 145 = 0, -4*g = -0*m + 5*m + 220. Let y = m + n. Does 7 divide y?
True
Does 15 divide 3*(14/21 - (-416)/6)?
True
Suppose -135 = 3*v - 9. Let y be (-140)/v - (-2)/3. Suppose y*q - 3*j - j = 84, 36 = q + 4*j. Is q a multiple of 14?
False
Let t(r) = 2*r**2 - 12*r + 3. Let s be t(10). Let z = -48 + s. Is 12 a factor of z - -1 - (-10 + 10)?
True
Let f be 1 + (1 + 5)/3. Let v(n) = n**2 - n - 1. Let y be v(f). Suppose -5*h = -2*h - 5*r - y, 3*r = -5*h + 31. Does 2 divide h?
False
Let i = 140 + 88. Suppose 0 = 5*c - 8*c + i. Is 19 a factor of c?
True
Suppose -12*c + 10*c + 552 = 0. Does 35 divide c?
False
Suppose 3*z = 3*l, z + 0*z - 3*l = 8. Let x be 2/z - (-11)/22. Let g = x - -18. Is g a multiple of 6?
True
Let v(s) = -13*s + 6. Let n be v(6). Let j be -119*(-11)/(231/(-18)). Let f = n - j. Is 14 a factor of f?
False
Suppose 0 = -i + 2 + 15. Let m = i + -19. Let w(u) = 15*u**2 + u. Is w(m) a multiple of 16?
False
Let d(a) = a**2 - a + 1. Let h be d(2). Suppose 6*x - h*x = 93. Suppose 0 = 5*y - 24 - x. Is 11 a factor of y?
True
Let i = -16 - -28. Let d be 4 + 0 + i/(-3). Suppose d = k - 0*k - 16. Is 8 a factor of k?
True
Suppose -14430 = -228*z + 215*z. Does 14 divide z?
False
Suppose 2*l = -50 + 198. Is 74 a factor of l?
True
Suppose -k + 389 = -z, 2*k - 10*z - 753 = -13*z. Is 24 a factor of k?
True
Let p(m) = 2*m**3 - 14*m**2 + 29. Is 37 a factor of p(10)?
True
Suppose -4*f + 13 = 85. Let k be ((-8)/(-24))/((-2)/f). Suppose k*p - 2*p - 90 = 0. Does 18 divide p?
True
Is ((-220)/6 + 2)/(44/(-1122)) a multiple of 17?
True
Let t = 216 - 361. Let c = t - -266. Is 16 a factor of c?
False
Suppose -w + q = -q - 55, -5*q + 20 = 0. Let r(z) = 118 - 15*z - w - 79 + 0*z. Is 28 a factor of r(-10)?
False
Suppose -262 - 54 = 4*i. Let c = i - -47. Let b = -22 - c. Is b a multiple of 6?
False
Suppose 93 = 2*p - 101. Let s = p + -161. Does 8 divide (s/(-20))/((-4)/(-10))?
True
Let b(z) = -142*z**3 + z**2 + 15*z + 15. Does 11 divide b(-1)?
True
Let n(i) = -2 - i**3 - 8*i**2 - 12 + 13 - 9*i. Let x be n(-6). Is 11 a factor of (-9)/((-12)/4) - x?
True
Suppose -24*z = -22*z - 50. Let j = 20 + 11. Let y = j - z. Is y a multiple of 4?
False
Suppose u + 24 = 5*c - 3*u, u = 3*c - 13. Suppose -c*m = -8 - 0. Suppose 5*w = -2*l + 116, m*w = -l + 25 + 31. Is l a multiple of 12?
True
Let a = 43 + -13. Let i = a - -72. Let g = i - 57. Is g a multiple of 12?
False
Suppose 0 = 3*l + 133 + 2. Suppose 2*v - 5*v = 81. Let n = v - l. Is 9 a factor of n?
True
Is 50 a factor of ((-300)/(-7))/(9/((-9072)/(-32)))?
True
Suppose -11*a - 255 = -12*a. Is 4 a factor of a?
False
Suppose -5*l + 2*m = 5*m + 110, 4*l - 4*m + 56 = 0. Let i = l + 22. Suppose -5*t + i*b = 2 - 15, 3*t - 4 = -2*b. Does 2 divide t?
True
Suppose 2*f = -5*t + 74, -2*f - f + 149 = -2*t. Let z = f - 94. Does 11 divide (-16)/(-4) + -7 - z?
True
Let u = -407 + 425. Is u a multiple of 9?
True
Suppose s - 304 = -f, 5*s = -4*f - 0*f + 1522. Does 18 divide s?
True
Let r = -65 + 175. Is r a multiple of 55?
True
Let p(w) = 12*w**3 - 8*w**2 - 13*w + 54. Is 20 a factor of p(6)?
True
Let i be (32/10)/(6/75). Let q = 210 - 208. Suppose -q*u + i = 4*t, -u + 2 = -2. Is 4 a factor of t?
True
Suppose 3*d = 9, 4*d + 2 = -3*u + 56. Let z = 13 - u. Is (0 - z - -6)*2 a multiple of 7?
True
Let h be ((-8)/16)/((-1)/36). Suppose h = 3*j + 3. Is 6/(-10)*(-375)/j a multiple of 13?
False
Let y(c) = 3*c + 18. Let r be y(-4). Let b(w) = 16*w - 11. Does 17 divide b(r)?
True
Let w = 69 - -71. Suppose -p - 3*a = -126, -p = a - 5*a - w. Does 22 divide p?
True
Suppose -2*z = 5*u - 82 - 208, 3*u = 2*z - 290. Suppose 4*o = -20, -2*o - z - 255 = -3*p. Is p a multiple of 14?
False
Let b be (-4 - -2) + 4/2. Suppose b = -a + 2*a - 160. Suppose 5*v = x + x + a, 2*x = -5*v + 180. Does 21 divide v?
False
Suppose 4*f - 8 = 4*o, -3 = 2*f + 4*o - 13. Does 36 divide (((-22)/f)/(-1))/(38/969)?
False
Suppose 0*c + c - 4*u - 12 = 0, -c + 2*u + 8 = 0. Let w be 12/(-16) - 153/c. Let o = w + 64. Is 25 a factor of o?
True
Let u(p) = p**3 + 30*p**2 - p + 15. Is 9 a factor of u(-30)?
True
Let q(k) = -k. Let a be q(-8). Let x(g) = -g - g**3 - 4*g**2 - g**3 - 3*g + g - a. Does 17 divide x(-4)?
True
Let r(k) = k**2 + 14*k - 15. Let s be r(-15). Suppose 2*o - 5*o - 2*l = -31, -5*o - 3*l + 51 = s. Is 5 a factor of o?
False
Let q(n) = -n**3 + 2*n**2 + n - 2. Let r be q(-3). Suppose -3*s = -s - r. Does 5 divide s?
True
Suppose 2*s - 2045 = -10*t + 9*t, 2020 = 2*s - 4*t. Is 12 a factor of s?
True
Let d be (-3)/(-9) + (-14)/(-3). Suppose m = -4*m - d*i + 50, 18 = m + 3*i. Is 3 a factor of m?
True
Suppose -166*u - 62176 = -195*u. Is 15 a factor of u?
False
Suppose 0 = 8*j - 20*j - 4260. Let s = -208 - j. Is 25 a factor of s?
False
Suppose -2*j - 5*h + 704 + 404 = 0, 0 = 2*j - 3*h - 1076. Is 68 a factor of j?
True
Suppose 2*c - c = -6. Let l = c - -14. Suppose -10*m = -l*m - 94. Is m a multiple of 8?
Fa