ivide t?
False
Let p be 2/17 + 2358/(-102). Does 8 divide 3 - (-4)/((-4)/p)?
False
Suppose -3*k - 39 = 2*o - 8*k, 0 = -3*k + 3. Let n = 34 + o. Is 3 a factor of n?
False
Let r be (0 - 13) + (-2)/2. Is (r/(-3) + -4)*72 a multiple of 12?
True
Let y(q) = -q**2 + 6*q + 9. Let d be y(7). Let t be (-1)/(-2) - (-41)/d. Is 14 a factor of (t - 0) + 27/9?
False
Suppose 3 + 13 = 4*x. Suppose 2*o + x*n = -62, -o + 4*n + 7 = 20. Is 132/5 + 10/o a multiple of 13?
True
Suppose 176 + 692 = 7*l. Let y = 224 - l. Is 4 a factor of y?
True
Let x(m) = -m**3 + 2*m**2 + 6*m - 2. Let k(w) = 5*w**2 - 1. Let b be k(1). Let o be x(b). Let y(s) = -s**2 - 17*s - 7. Is y(o) a multiple of 21?
True
Let f(d) = 45*d**2 + 13*d + 5. Does 16 divide f(-2)?
False
Let q(g) = -190*g - 12. Is 16 a factor of q(-2)?
True
Suppose 0 = 5*q - 9*q. Suppose -4*g + 18 + 26 = q. Does 7 divide g?
False
Suppose 17*x + 6*x = 1242. Does 7 divide x?
False
Let d(f) = 3*f**3 + f - 1. Let b be d(1). Suppose 2*p = r + 79, 2*p - b*p + 41 = r. Is p a multiple of 4?
True
Let k be -3 + 0 + 8 + 1. Is 9 a factor of 10/(-3)*k*9/(-4)?
True
Let b be 78/(-26) + 8*1. Suppose 0 = 2*z + 5*v - 177, 2*z - 148 = b*v - 21. Is 13 a factor of z?
False
Suppose 2 = -2*h, d - h = 1039 - 402. Is 6 a factor of d?
True
Let v(s) = 16*s - 8. Let d be v(-3). Does 4 divide (128/d)/(2/(-7))?
True
Let k be (0 + 2)/(-4 + (-430)/(-105)). Is 22 a factor of (29 - 1)*(k/6 + 2)?
True
Let s = -22 + 55. Suppose -u - 2*u + s = 0. Does 10 divide u?
False
Suppose -2*s - 1630 = -5*s - a, a - 1086 = -2*s. Is 3 a factor of s?
False
Let v(a) = 859*a**2 - 9*a + 10. Does 20 divide v(1)?
True
Let o be (-1 - 9/(-6))*22. Let b(h) = -h**2 + 17*h + 3. Is b(o) a multiple of 23?
True
Let h(f) = f**2 + f + 1. Let s be h(-2). Suppose -112 = -g + 4*c, -s*c + 87 + 279 = 3*g. Does 12 divide g?
True
Let a(b) = -b**3 - 2*b + 3. Let k(j) = 2*j**3 + j**2 + 4*j - 6. Let o(h) = 13*a(h) + 6*k(h). Let i be o(5). Let c = 49 - i. Is 22 a factor of c?
False
Let o = -8 - -8. Suppose -8 = 4*q - 0, o = r - 4*q - 32. Is 16 a factor of r?
False
Is (-29374)/(-8) + 129/(-172) a multiple of 104?
False
Let q(w) = -w**3 - 4*w**2 - 3*w. Let c be q(-4). Let u be (c/21)/((-4)/14). Is 9 a factor of (-24)/36*189/u?
True
Suppose 3*g + 660 = -96. Let x(s) = s - 1. Let y be x(4). Is (4/y)/((-7)/g) a multiple of 16?
True
Let y = -12 - 16. Suppose 2*o - 4*o - 108 = 0. Let w = y - o. Does 13 divide w?
True
Let b be (2 + 7/(-2))*-2. Suppose m - 20 = -b*o, 0 = 2*m - 3*o - 22. Let i = 48 - m. Does 10 divide i?
False
Suppose -n - l + 321 = 4*l, l = -3*n + 1033. Suppose -6*m = -14 - n. Is m a multiple of 12?
True
Let b(u) = 3*u**2 + 9*u - 12. Let x(c) = 2*c**2 + 17*c + 13. Let v be x(-8). Is b(v) a multiple of 23?
False
Suppose -2*t = 4*r + 3*t + 571, 4*r - 4*t + 616 = 0. Let n be 4/1 - (-6 + 3). Is 9 a factor of 4/(-14) - r/n?
False
Suppose 3*j = -3*w + 1089, 2*w + 0*w = -4*j + 1452. Suppose 61 = 8*b - j. Is b a multiple of 14?
False
Suppose 3*z + 9 - 650 = -4*g, 3*z = -15. Is g/6 - 5/15 a multiple of 23?
False
Let w(a) = a**2 - 2*a + 3. Let l be w(0). Suppose -4*u - n = -157, -3*u + l*n = 2*u - 175. Is 12 a factor of u?
False
Let j = 302 - 250. Let c = 58 - 39. Let q = j - c. Is 8 a factor of q?
False
Let l be 104/2*3*(-5)/10. Is (260/6)/((l/(-36))/13) a multiple of 30?
False
Suppose 0 = -2*f - 2*f + 8. Let d(g) = 4*g**2 - 12*g - 6*g**2 + 14*g + 4*g**2. Is d(f) a multiple of 5?
False
Let t = -30 - -28. Let o = -8 + 6. Is 10*(t/2 - o) a multiple of 6?
False
Suppose -5*w + 255 = 5*g, -3*w + 3*g = -g - 174. Suppose -59*r + w*r + 280 = 0. Does 7 divide r?
True
Suppose 5*f - 4*b + 81 = -b, -b = 2*f + 39. Let h be (-8)/f*-3*6. Let c(w) = -w**3 - 7*w**2 + 4*w - 8. Is 5 a factor of c(h)?
False
Let j(i) be the first derivative of i**4/4 + i**3/3 + 5*i**2/2 - 12*i + 3. Is j(2) a multiple of 10?
True
Let x(t) = t**3 - 11*t**2 - 13*t + 17. Let y be x(12). Suppose 2*d + 325 = 6*m - m, -y*m = -d - 320. Is m a multiple of 9?
True
Let g be 5*4*(-4)/(-5). Let b be g + (2 + 4)/3. Does 9 divide 950/18 + 4/b?
False
Suppose -10 = -7*y + 53. Suppose -60 = 7*h - y*h. Is 5 a factor of h?
True
Suppose b + 94 = 2*i - 3*b, -5*i = -3*b - 221. Let d = -20 + i. Does 6 divide d?
False
Let m(p) = 185*p**2. Let g be m(-1). Let o be g/2 + (-2)/4. Does 7 divide (-1)/(0 + (-4)/o)?
False
Suppose -15*g = -3963 - 2757. Does 64 divide g?
True
Suppose -3*u - 8959 = -4*b, 2*u + 157 = b - 2084. Is 24 a factor of b?
False
Let r(f) be the first derivative of f**4/4 + 2*f**3 - 5*f**2 - 5*f - 3. Let l be r(-8). Let h = -8 - l. Is 15 a factor of h?
True
Let q(v) = -5*v + 1. Suppose 4*o - 3*i + 76 = 24, -3*i + 12 = 0. Let d be q(o). Does 19 divide d - (-3 - 3)/(-2)?
False
Let t(v) be the third derivative of v**5/60 + v**4/4 + 13*v**3/6 + 2*v**2. Let d(y) = -10*y**3 + 2*y**2 - 1. Let c be d(1). Does 10 divide t(c)?
True
Suppose 2*a = 2*r - 216, -7*r + 2*r + 3*a = -540. Suppose 29*m - 27*m - r = 0. Does 18 divide m?
True
Let q(j) = -3*j**3 + 6*j**2 - 2*j - 83. Does 9 divide q(-7)?
False
Let j(z) = z**2 - 3*z. Let m be j(3). Suppose 0 = -3*k - m*k + 6. Suppose -2*g + 3*q + 56 + 17 = 0, k*g - 38 = -4*q. Is g a multiple of 7?
False
Let k(h) = 15*h**2 - 2*h + 2. Is 12 a factor of k(-5)?
False
Suppose -w - 4*c - 58 = -2*w, 4*w - 2*c - 176 = 0. Is w + 0 - (-1 - -4) a multiple of 4?
False
Let i(m) be the third derivative of -m**6/40 + m**3/6 - 12*m**2. Suppose 4*f + 19 = r - 6*r, -5*r = 5*f + 20. Is i(f) even?
True
Let q = 63 + -55. Let p = q + 27. Does 7 divide p?
True
Suppose -294 = -10*y + 736. Does 4 divide y?
False
Suppose -5143 = -11*g + 1985. Is 18 a factor of g?
True
Suppose 3*u = -2*n + 1286, -4*u = n - 36 - 612. Is 20 a factor of n?
True
Let j(l) = 44*l - 4. Let r be j(3). Suppose 2*h = 3*m + r, 71 = -5*m - 4*h - 157. Let v = m + 78. Is v a multiple of 11?
False
Suppose -2*o + 4*t = 3*t - 5102, 0 = -3*o + t + 7651. Is o a multiple of 24?
False
Let y be 3 + (3/3 - 2). Let b be (y + -2)/(-7 + 9). Suppose v = -f - 3 + 12, b = 3*f - 3*v - 33. Does 2 divide f?
True
Suppose -3*k + 10*a - 7*a + 879 = 0, 3*a + 1174 = 4*k. Is k a multiple of 5?
True
Is 481 + (18 - 10 - 5) a multiple of 44?
True
Let m be (-84)/8*(-8)/(-6). Let d = 12 + m. Is (-168)/(d - 2/(-4)) a multiple of 28?
True
Let r = -62 - -60. Is 7 a factor of ((-4)/(-4))/(r/(-42))?
True
Let k be (3/(-2))/(39/(-52)). Suppose -3*s - k*s + 290 = 0. Is 28 a factor of s?
False
Suppose -5*u = 5*g - g - 14, 4*g + 40 = 4*u. Let v(a) = 2*a**2 - 11*a + 4. Is v(u) a multiple of 10?
True
Let g(r) = -4*r + 0*r + 5*r + 3. Let x be g(-2). Suppose -x = 3*v - 37. Does 6 divide v?
True
Suppose 240 = 2*j - 4*n, -3*j = -n - 400 + 40. Let q = -9 + j. Is q a multiple of 17?
False
Suppose -4*c + 10 = 2. Suppose 4*g - 156 = c*g + 4*y, 2*g = 2*y + 150. Is 36 a factor of g?
True
Let f = 2 + -4. Let q(r) = -30*r + 1. Is q(f) a multiple of 27?
False
Let k(x) = -x + 0*x + 0 + 6 + 4. Let a be k(6). Suppose 3*b = 5*n + 69, a*b + 4*n - n - 121 = 0. Is b a multiple of 14?
True
Let r = -9 + 9. Suppose r = 5*p - 37 - 13. Suppose -3*c + 28 = p. Is 6 a factor of c?
True
Let z = 465 + -442. Is 3 a factor of z?
False
Let z = -71 + 201. Let t be z/25 + 1/(-5). Suppose -t*d + 51 = 2*h, 5*h - 3*d = 17 + 64. Is 14 a factor of h?
False
Let p(u) = -u**2 - 10*u. Let b be p(-7). Suppose -2*t - t + b = 0. Suppose -4*o - t + 91 = 0. Is o a multiple of 8?
False
Let u(q) = -q**3 + 3*q**2 - 2*q. Let i be ((-1)/(-2))/((-1)/(-4)). Let z be u(i). Suppose -k - 2*k + 93 = z. Does 9 divide k?
False
Let x(j) = -1. Let v(o) = -5*o + 8. Let c(l) = -v(l) - 5*x(l). Let s be c(2). Suppose 2*i + 45 = s*i. Is 8 a factor of i?
False
Suppose 5*x - 111 = -1. Suppose 2*r - x = 18. Does 6 divide r - (1 - 1 - -2)?
True
Suppose -3*b - 4*v - 2 = 0, -b + 3*v - 6 = -v. Is 30 a factor of (b - (-1 + -4))*10?
True
Let t(u) = 2*u - 1. Let d be t(-4). Let a(w) = w**2 + 2*w - 39. Is a(d) a multiple of 3?
True
Let g(u) = -u**3 - 3*u**2 + 2. Let r be g(-2). Let a = 4 + r. Suppose -63 - 35 = -a*t. Does 23 divide t?
False
Let k be 73*((-2)/(-3))/((-16)/(-24)). Suppose -k*x + 77*x - 432 = 0. Does 18 divide x?
True
Let g be (2 - 3)/((-2)/(-44)). Let i be ((-12)/8 + 1)*g. Let x = 27 - i. Is 8 a factor of x?
True
Suppose 2*g - 72 = 2*t, 4*t + 2*g + 129 = g. Is (-5)/((-90)/12)*