 2*b + 94, -2*i + 4*b = -52. Is i a multiple of 3?
False
Is (-4)/(-10)*(-2 - -207) a multiple of 56?
False
Suppose -5*m = 3*v - 320, -2*v + 4*m = -210 + 4. Let f(c) = -4*c. Let d be f(-14). Let t = v - d. Does 24 divide t?
False
Let z be -19*(-9)/2*24/36. Let w = z - -24. Does 17 divide w?
False
Suppose 0 = -4*k - 10 + 6. Let a(f) = 77*f**2 - 2. Is 11 a factor of a(k)?
False
Let m(f) = -13*f - 12. Let x be m(-6). Is 21 a factor of (x - 9)*4/3?
False
Suppose -r + 5 = -0*r. Suppose 2*b = r*b. Let p = b + 20. Is 10 a factor of p?
True
Let y be 4*(0 + 1)/(-1). Let t(g) = -3*g**3 - 2*g. Let c(i) = 14*i**3 + i**2 + 8*i + 1. Let s(v) = -4*c(v) - 18*t(v). Does 12 divide s(y)?
False
Suppose 23*g - 29*g + 7722 = 0. Is g a multiple of 11?
True
Let t(q) = -q**2 + 6*q. Let u be t(5). Suppose 2*d = u*d - 129. Does 9 divide d?
False
Let m be -2*(-12)/(-32)*452. Let v = m - -586. Suppose 6*h = v + 347. Is h a multiple of 21?
False
Let z(y) be the third derivative of 17*y**4/8 - y**3/6 - 19*y**2. Does 38 divide z(3)?
True
Suppose -2*k - 6 = 0, 4*r - 4*k - k - 351 = 0. Does 14 divide r?
True
Suppose -279 = 5*v + 981. Is 28 a factor of (-1 + -5*1)*v/27?
True
Suppose -5*l = 4*o - 2197, -2*o + 1754 = 4*l + 3*o. Does 7 divide l?
True
Does 20 divide ((-33)/66)/(1/(-456))?
False
Suppose 3*v - 4*m - 151 = 0, -2*v + 86 = 5*m - 4*m. Suppose -46*u + 138 = -v*u. Is 13 a factor of u?
False
Let t(l) = -8*l**3 - 2*l**2 + l - 2. Let n be (6/(-15))/((-2)/(-50)). Let k be -1 + -2*(-5)/n. Is t(k) a multiple of 11?
False
Let c(r) = r**2 - 38*r - 65. Is c(40) a multiple of 4?
False
Let b(k) = 21*k**2 - 30*k + 177. Is b(5) a multiple of 69?
True
Suppose 0 = -3*v + 10 - 4. Suppose -280 = v*n + 5*n. Does 13 divide (-1104)/n - 4/(-10)?
False
Let h(r) = -r**3 - 18*r**2. Let l be h(-18). Suppose m = -2*g + 103, l = 3*m + g - 217 - 67. Does 39 divide m?
False
Let k = 1094 - 1094. Let z be (-1 + 0 - -3) + 35. Suppose 3*g - 4*d - z = k, -5*g + 5*d = d - 75. Is 6 a factor of g?
False
Let s be (-1)/(-4 + 15/4). Suppose -5 = -q + s. Does 9 divide q?
True
Suppose -8 = 4*f, -k + 3*f - 34 = -250. Is 3 a factor of k?
True
Suppose -9*s = -1250 + 161. Is 6 a factor of s?
False
Let k = -134 - -550. Is k a multiple of 13?
True
Let h be -4 + 10 - (0 - -2). Suppose -h*i - 9 = -5*i. Let j = 24 - i. Does 4 divide j?
False
Let z(c) = -3*c - 5 + 2*c + 2*c**2 - 10*c. Let v(k) = -k**2 - 6*k + 9. Let g be v(0). Is z(g) a multiple of 29?
True
Let u be ((-135)/(-20))/((-1)/4). Is 11 a factor of (-291)/u + 2/9?
True
Let s be (-60)/(-16)*16/(-6). Let p = s - -102. Does 7 divide p?
False
Let r(h) = -h**2 - 3*h + 4. Let p be r(-3). Suppose p*l = 2*z + z + 967, -223 = -l - 3*z. Suppose 5*a - l = 12. Does 10 divide a?
True
Does 18 divide (1 - 0 - -103) + 153 + -149?
True
Suppose -4275 = -5*d - 3*l - 0*l, d + 3*l = 867. Is 29 a factor of d?
False
Let h(b) = -b**3 + 3*b**2 + 7*b - 6. Let o be h(4). Suppose g - o = -g. Suppose 0*m - 63 = -g*m. Does 9 divide m?
False
Let i(y) = 88*y + 110. Is 25 a factor of i(5)?
True
Let g = 1614 + -946. Does 37 divide g?
False
Let u(b) = b. Let c(n) = -51*n + 10. Let d(j) = -c(j) + 6*u(j). Is 26 a factor of d(2)?
True
Let d = -58 + 56. Is 48/(12/3)*(1 - d) a multiple of 9?
True
Let g be (-61)/(-3) - 2/(-3). Suppose -2*v + g - 1 = 0. Does 5 divide v?
True
Let t(c) = 5 - 6 - c - 7. Let z be t(-11). Is 109/z - (-9)/(-27) a multiple of 13?
False
Let v be (2112/72)/((-2)/(-6)*1). Suppose 2 = 2*a, -4*t + 4*a = -2*t - v. Is 22 a factor of t?
False
Is (-1186 - -1)*(10 + 1)/(-33) a multiple of 6?
False
Suppose 0 = 53*l - 62638 + 12553. Is 15 a factor of l?
True
Is ((-52)/39)/(4/(-585)) a multiple of 5?
True
Let d(i) = -8*i - 56. Let l(u) = 2*u + 19. Let t(w) = -2*d(w) - 7*l(w). Is t(22) a multiple of 3?
False
Let k(c) = 44*c**2 + 1. Let d(o) = -3*o - 7. Let b be d(-5). Suppose 3*z + b = -5*g, 4*z + 6 = -5*g - 3. Is k(g) a multiple of 12?
False
Suppose 0 = b + f - 2*f, -14 = -4*b - 3*f. Let j be (-4)/b + 378/9. Suppose d + d = j. Is 4 a factor of d?
True
Suppose -3*p + 75 + 15 = 0. Suppose -2*q - 5 = -m + 10, 0 = 2*m - 3*q - p. Suppose -3*z - m = -g - z, 3*z + 60 = 4*g. Is 7 a factor of g?
False
Suppose 900 = 29*t - 19*t. Is t a multiple of 15?
True
Let q be (60/(-4))/(-5) - 1. Suppose -4*c = -5*a - 272, -4*c + q*a + 98 = -174. Is c a multiple of 17?
True
Let r(y) = 45*y**2 + 12*y + 11. Does 9 divide r(6)?
False
Let t be 120/55 - ((-2)/(-11) + 0). Suppose -4*o + 6 = l - 70, 32 = 2*o + t*l. Is 5 a factor of o?
True
Let x be (-5)/2 - (-330)/44. Suppose x*r + 0*o + 166 = o, 2*o = 4*r + 128. Let i = 72 + r. Is i a multiple of 15?
False
Let q(r) = r - 38. Suppose -3*c = -56 + 14. Let a be q(c). Is (a/7)/((-3)/42) a multiple of 7?
False
Let m be 4 + (3053 - -3) + 2. Let d be (-20)/150 + m/15. Suppose -4*g = 3*k - d, 21 = -2*g - 2*k + 121. Is 9 a factor of g?
True
Let k(h) = -2*h**3 + 5*h**2 + 2*h - 13. Does 11 divide k(-4)?
True
Let v(x) be the third derivative of -x**6/120 - 11*x**5/60 + 5*x**4/12 - 2*x**3 - 5*x**2. Let u be v(-12). Suppose 0 = -2*y - u + 92. Does 11 divide y?
False
Suppose 0 = -4*j + 8*j - 472. Is j a multiple of 59?
True
Suppose -10 = -2*s, d + 5*s - 48 = -0*s. Let v = -29 + d. Does 2 divide (v/4)/((-3)/6)?
False
Let c(a) = a**2 - a - 4. Let s be c(3). Let j be 6/(-3) - (-18)/s. Let m(y) = -y**2 + 7*y + 3. Is m(j) a multiple of 3?
True
Let l(t) be the third derivative of 5*t**4/12 - 4*t**3 + 4*t**2. Is l(15) a multiple of 30?
False
Let z(j) be the second derivative of 11/6*j**3 - 1/20*j**5 + 0 - 5*j + 3/2*j**2 + 2/3*j**4. Is 24 a factor of z(8)?
False
Let j(q) = q - 4. Let t be j(7). Suppose -120 = r - t*r. Does 25 divide r?
False
Let k(y) = -y**2 + 3*y + 20. Let f be k(6). Suppose 16 = w + 3*w, 2*w + f = n. Suppose 8*s = n*s - 24. Does 12 divide s?
True
Let s(g) = -243*g + 858. Is s(-5) a multiple of 23?
False
Let t(o) = 8*o**2 - 28*o + 105. Is t(7) a multiple of 7?
True
Suppose 4*p - 8 = 0, p = -7*j + 2*j + 362. Let q = j - 23. Is 8 a factor of q?
False
Let m be 452/16 + 1/(-4). Let w = m - 23. Suppose 22 = 3*g - 2*g - b, -g - w*b + 28 = 0. Does 20 divide g?
False
Let f(l) = l**2 + 4*l + 1. Let a(d) = -d**2 - 5*d - 1. Let y(g) = 3*a(g) + 2*f(g). Let x be y(-6). Let p(n) = 8*n + 2. Does 18 divide p(x)?
False
Suppose -3*r - 76 = 2. Let c = -6 - r. Suppose 2*f - c = 160. Does 15 divide f?
True
Let l be 1 - (6/(-3) + -2). Suppose -3*t + 51 = 3*y - 0*y, 0 = 4*t - l*y - 23. Is t a multiple of 7?
False
Let f(j) = -3*j - 61. Let y be f(-21). Is 18 a factor of 27/y*(-5)/((-45)/12)?
True
Let t be (72/(-60))/(4/(-10)). Suppose l - t*l = -4. Suppose r - 6 = -l. Is r a multiple of 2?
True
Suppose 0 = -2*c - 1 - 3. Is 10 a factor of (-1 + c)*100/(-5)?
True
Let t = 408 - 389. Let a(w) be the first derivative of -w**3/3 + 19*w**2/2 + 47*w - 2. Does 8 divide a(t)?
False
Let d(n) = 4*n - 28. Let c be d(7). Suppose c = 4*i - 98 + 14. Is i even?
False
Let y(p) = 10*p - 53. Let x(d) = 4*d + 41. Let s be x(-6). Is y(s) a multiple of 14?
False
Suppose 2 = t - j - 1, 0 = t - 4*j + 6. Suppose 8*v = t*v + 12. Suppose 267 + 453 = v*c. Is 31 a factor of c?
False
Let b = 70 + -68. Suppose -w - 2*w = 2*d - 54, -44 = -b*d + 2*w. Does 12 divide d?
True
Let h be (2 - (3 + 0)) + 0. Does 4 divide (198/55)/(h/(-10))?
True
Suppose -w - 1 = -6. Suppose c - w*c = 4*i - 252, -5*c = -3*i + 189. Is 4 a factor of i?
False
Let l be ((-10)/(-35))/((-3)/(-21)). Let d be (2/l)/(9/(-864)). Is d/(-6) - (-5 + 2) a multiple of 4?
False
Is 43 a factor of -1 - -159 - (5 + 6 + -5)?
False
Suppose -5*o = -2*v + 74, v - 124 = -3*v - 2*o. Suppose -4*i + v + 40 = 0. Is 3 a factor of i?
True
Let i be 5/25 + 169/5 + 3. Let j = 58 - i. Does 7 divide j?
True
Suppose -9*x - 2*x = -957. Is 3 a factor of x?
True
Suppose -5*i - 2*p + 17867 = 0, -2*i + 6*i = -5*p + 14280. Is i a multiple of 87?
False
Suppose 17 = 2*t - 151. Is t a multiple of 6?
True
Let w be 1/(-2 + (-105)/(-40))*-10. Let v be 9/(1/(-10)*3). Let s = w - v. Is s a multiple of 11?
False
Suppose -9924 = -92*c + 80*c. Is 70 a factor of c?
False
Let k(i) = 4*i**2 + 34*i - 51. Is k(-16) a multiple of 15?
False
Suppose -65*j + 68*j - 753 = 0. Does 6 divide j?
False
Let a(w) = 3*w + 25. Let i be a(-6). Suppose 8 = -2*p + 4*d, p - 2*d = d - i. Suppose -5*j - 55 = -3*m, -p*j - 64 = -