+ 4*r = 160. Is 21 a factor of x?
True
Let w be (0 + 60/(-9))*(-78)/(-5). Let s = -95 - w. Does 3 divide s?
True
Let i = -41 - -13. Let z = 24 - i. Does 13 divide z?
True
Let n be ((0 + 0)/(-2))/(-1). Suppose 2*t - 5*r - 95 = 0, 4*t - 163 = -n*r + r. Is t a multiple of 8?
True
Let q = 160 + 17. Is 60 a factor of q?
False
Suppose y - 21 = -l - 3*l, 2*l - 28 = -4*y. Suppose -l*j + 68 = -6*o + 2*o, -o = -3*j + 57. Does 5 divide j?
True
Is 20 a factor of (205/82)/((-2)/(-1392))?
True
Let d(r) = -2*r**2 - 7*r + 124. Does 31 divide d(0)?
True
Let b(i) = -i - 3. Suppose 3*z + 0*c + 32 = 5*c, 20 = 5*c. Let a be b(z). Suppose -3*y - a = 5*m - 6, 0 = 4*m - y - 21. Is m even?
True
Let d = 17 - -84. Let c be (45/30)/(3/2). Does 25 divide (c/(-1) - 3) + d?
False
Let t(l) = 4*l - 22. Let f = 40 - 31. Is 14 a factor of t(f)?
True
Let v(p) = 4*p**2 - 16*p + 60. Is 5 a factor of v(4)?
True
Does 24 divide 23000/138 + 5/(-3)?
False
Let a(b) = b**3 + 16*b**2 - 13*b - 1. Let c be a(-17). Let j = 125 + c. Is j a multiple of 24?
False
Let f = -54 - -102. Does 16 divide f?
True
Let u be (34/5)/((-10)/50). Let h = -20 + -44. Let c = u - h. Is 6 a factor of c?
True
Suppose -16*h + 3240 = -h. Is h a multiple of 32?
False
Let s be (10/1)/(-3 + 2 + -1). Does 6 divide s/(75/235)*(-3)/1?
False
Let f(y) be the third derivative of y**6/120 + y**5/20 + 2*y**3/3 - 4*y**2. Let r be f(-3). Suppose -2*b = -r*b + 214. Does 22 divide b?
False
Suppose -4*d + 14 = 2. Suppose 4*z - 12 = -2*o - o, -3*o + 9 = d*z. Suppose -z = -b + 1. Is b a multiple of 4?
True
Suppose -5*f + 3 = -22, -3*u + 2*f = 4. Suppose -5*r = 2*m - r - 14, -u = -m + 3*r. Is 4 a factor of (-1 - -10) + m + -1?
False
Suppose -3 = o - 3*d + 2*d, 2*o = 4*d - 12. Suppose 2*f = f + 4*s - 2, -3*f - 4*s - 6 = o. Does 18 divide f/(-1 + (-48)/(-52))?
False
Suppose 5*p + 63 = -4*b, 0 = 2*b + b + 3*p + 48. Let i = -9 - b. Suppose 0 = d + a - 12, d + i - 26 = a. Is 7 a factor of d?
False
Suppose 2*m + 3378 - 549 = i, 11343 = 4*i + m. Does 29 divide i?
False
Let d(t) = -t - 2. Suppose g = 5*g + 24. Let a be d(g). Suppose -a*q - 4*f + 420 = q, 2*q - 2*f = 168. Is q a multiple of 14?
True
Let r(n) = 2*n - 38. Let d be r(19). Suppose 3*y - q - 3*q - 38 = 0, d = -5*y - q + 48. Is y a multiple of 3?
False
Let r be (10/(-4))/(3/(-222)). Let v = r + -74. Is v a multiple of 16?
False
Suppose 7 = 3*i - 20. Suppose x = 4*x - i. Suppose -2*c = 3*o - 22, -x*c - 2*c = -o - 38. Is c a multiple of 5?
False
Let m(s) = 4*s**3 + s**2 + 17. Is m(6) a multiple of 46?
False
Let r = 2326 + -1932. Is 4 a factor of r?
False
Let r(v) = v**3 + v**2 - 7*v - 1. Let x be r(-3). Suppose -5*j + 3*j - 2 = 0, -x*h + 123 = -j. Is 8 a factor of h?
False
Does 15 divide 3*2/10 + 49106/215?
False
Does 33 divide (-75876)/(-96) + (-18)/48?
False
Let w(q) = -4 + 12 - 10*q + 3*q - q**2. Let k be w(8). Is 12/(-54) + k/(-18) a multiple of 2?
True
Let q = 4 + 0. Suppose 89 = q*v - 7. Does 7 divide v?
False
Let f(l) be the first derivative of 2*l**3/3 + l**2 - 6*l + 1. Suppose -18*m = -42 - 48. Does 18 divide f(m)?
True
Let l = -24 - -29. Suppose d = l, -3*f + 30 = 2*f - 2*d. Is f a multiple of 8?
True
Suppose 4*l + 1330 = -2*u, 0 = -4*u + 4*l + 279 - 2999. Does 18 divide ((-12)/(-5))/((-30)/u)?
True
Let y be (-2)/(-2*4/20). Suppose -y*x + 149 = -101. Does 10 divide x?
True
Suppose -c - 8*b + 12*b = -14, 0 = c - 5*b - 14. Does 7 divide c?
True
Let d = 282 + -136. Is 21 a factor of d?
False
Let a = 22 + -18. Suppose 4*t - a*o + 12 = 0, -t - 2*o = -o - 1. Let u(s) = -26*s - 2. Is 8 a factor of u(t)?
True
Suppose -4*z - 10 + 22 = 0. Suppose -785 = -2*c - z*c. Is 20 a factor of c?
False
Suppose a - 4 = 5*r, -2*r - 4*a + 12 = -a. Suppose r = 2*w + 21 - 69. Is 7 a factor of w?
False
Suppose 0 = 4*f + 5*w - 10, 6*w - 3*w = f - 11. Suppose -3*r - 12 - 97 = -5*n, f*n - 2*r = 111. Is 23 a factor of n?
True
Let f be 155 + 0 - 9/(-3). Let b be f/6 - 10/(-15). Let k = b - 2. Is k a multiple of 7?
False
Let o = 4 + 10. Does 21 divide (-6)/(-21) - (-878)/o?
True
Let g(t) = t**2 - 14*t - 106. Is g(35) a multiple of 37?
True
Let w = -81 - -136. Is w a multiple of 8?
False
Let m(o) = -3*o - 9. Let g be m(-4). Let w be 6/2 + (g - 3). Suppose -w*k + 30 = 2*k. Is k a multiple of 3?
True
Let l(g) = 209*g + 58. Does 39 divide l(7)?
True
Does 6 divide 49 + (4 - (-4 - 12/(-4)))?
True
Suppose -2*j - c = 4*c - 14, -5*j - 5*c + 20 = 0. Suppose -a - 25 = -i + 3*a, 44 = j*i - 2*a. Is i a multiple of 9?
False
Suppose 4*q + 11 - 15 = 0. Is ((-2506)/(-14))/(1/q - 0) a multiple of 13?
False
Let v(u) = -3*u**2 + 4 + 10*u**2 + 1. Let l be v(5). Suppose -4*c + c + 141 = -5*z, -4*c + 4*z + l = 0. Is c a multiple of 15?
False
Let p be -5 + 1 + 3 + 6. Suppose -5*t = -5, 0 = -p*a - 6*t + t + 935. Does 31 divide a?
True
Let w(q) = 0 + 3 + 15*q**2 + 6*q - 14*q**2. Let k be w(-4). Let v = 11 - k. Does 5 divide v?
False
Suppose 5*h = 2*h - 2*h. Does 22 divide 25 - 22 - 63/(h - 1)?
True
Let r = -1 - -18. Suppose 12*d - 7*d = 215. Let h = d + r. Is h a multiple of 30?
True
Let k(a) be the second derivative of a**6/30 + a**5/30 - a**4/12 + a**3/6 - 3*a**2 - 12*a. Let y(i) be the first derivative of k(i). Is 2 a factor of y(1)?
False
Suppose -38*y + 1149 = -37*y. Does 9 divide y?
False
Let k(d) = 2*d**2 - 4*d + 4. Let c be k(2). Suppose 541 = c*a + 3*z, 5*a - 6*z - 684 = -2*z. Does 17 divide a?
True
Suppose 7*d = 6 + 78. Is 2 a factor of d?
True
Let c be 1/(1 - 4/8). Suppose 72*z + 8 = 71*z. Let q = c - z. Does 4 divide q?
False
Suppose -m - 1 + 4 = 2*k, -3*m - 3 = 3*k. Suppose 2*a = 3*p + 41, p + 2*p = k*a - 37. Is 7 a factor of 1*(-2 - p) - -1?
True
Let n(t) = -40*t + 136. Does 127 divide n(-23)?
False
Let t(b) = b + 17. Let s be t(-10). Suppose -s*r + 2*r = 0, -2*r - 636 = -4*i. Does 53 divide i?
True
Is (-91)/((20/(-90))/(2/3)) even?
False
Let g be (-2085)/(-15) - (2 - 1). Suppose 4*f = -2*f + g. Does 10 divide f?
False
Suppose 0 = -13*f + 40719 - 7413. Is f a multiple of 23?
False
Let c be (2/(-4))/(4/(-120)). Suppose 7 + c = -l. Let o = -11 - l. Is o a multiple of 5?
False
Let b(k) = -896*k - 5. Does 5 divide b(-1)?
False
Suppose g + 7 = -h, 2*h + 2 = -4. Does 14 divide 1 - (-41 + (-8)/g)?
False
Suppose -4*f + 128 = 2*l - 146, -l = -5*f + 360. Let g = f + -40. Is 16 a factor of g?
False
Let g(o) = o**2 + 3*o - 7. Let k be g(2). Suppose k*x - 440 = -5*x. Does 23 divide x?
False
Let x = 237 + -142. Suppose s = 4*u - 175, -2*s + s = 2*u - x. Does 28 divide u?
False
Let w(a) = -29*a - 6. Let m be w(-3). Does 8 divide 493/9 - (-18)/m?
False
Let j = 413 - -1099. Suppose -17*u + j = u. Is 18 a factor of u?
False
Let u be 1/((4/(-84))/(-1)). Let c = 17 - u. Is 4 a factor of -1 + 9*(c - -5)?
True
Let w be (20/(-15))/((-2)/3). Suppose w*s = 4 + 126. Suppose 2*t - 292 + s = -3*f, 5*t + f - 574 = 0. Is t a multiple of 31?
False
Suppose -271 = -5*p - 4*m, -2*m + 59 = p - 0*m. Suppose -4*w - p = -335. Suppose 4*a = 21 + w. Is a a multiple of 23?
True
Suppose 6*z - 729 = 1041. Is 20 a factor of z?
False
Let t(p) = 2*p**2 - 18*p + 144. Is t(-21) a multiple of 12?
True
Let p be (-12)/(-15) + 576/30. Let w = p - 0. Is 20 a factor of w?
True
Let t(r) = -r**3 - 5*r**2 + 8*r + 2. Let f be t(-7). Suppose 2*x + 3*a = 14, 3*a = -4*x - x + f. Is x a multiple of 6?
False
Let o = 121 - 30. Let u = o + -41. Is 5 a factor of u?
True
Suppose 2*b - b - 66 = 3*t, 4*b - 2*t = 294. Let v = 131 - b. Does 14 divide v?
True
Let c(w) = 1. Let r(s) = 2*s - 20. Let g(o) = 10*c(o) + r(o). Let l be g(7). Suppose -l*i + 45 = -15. Is i a multiple of 6?
False
Suppose 5*t + 2*g - 24 = 0, 4*t - 4*g = g + 39. Suppose -2*p - t*p + 1032 = 0. Is p a multiple of 15?
False
Is ((-287)/(-2) + -3)/(1/2) a multiple of 21?
False
Suppose 287 = -q + 388. Does 2 divide q?
False
Suppose 5*l - 3*g = 2*l + 114, 2*l - g - 71 = 0. Suppose 0*i - 76 = -4*t + 4*i, 5*t - 95 = 4*i. Let j = l - t. Is j a multiple of 7?
True
Suppose 0 = -4*q - 5*z + 15 + 24, -5*z + 3 = -2*q. Is (-220)/(-50) + q/10 even?
False
Suppose 59 = 14*x - 431. Is 35 a factor of x?
True
Does 43 divide -6 + (-13608)/(-9) + -1?
True
Let i be (2/3)/((-1)/(-3)). Suppose i*r = -0*r + 252. Is r a multiple of 9?
True
Let f(t) = t**3 - 6*t**2 + 3*t + 2. Let j be (4 - 72/4)*2/(-4). Is f(j) a multiple of 12?
True
Suppose