33 + 98691 = 2*i - 82090. Is 134 a factor of i?
True
Let u(t) be the second derivative of -t**4/12 + t**3/3 + 20*t**2 + 37*t. Let n be u(8). Is (-69)/12*-6 + (-12)/n a multiple of 9?
True
Suppose -r - 3*k - 19 = -4, -k = 3. Does 22 divide 204 - ((6 - -6) + r)?
True
Let k = 23180 - 7884. Is 32 a factor of k?
True
Is 65 a factor of 1 + 2282 + (-6 - -42)/(-4)?
False
Let q(d) = -5*d + 7. Let a(j) = -j + 1. Let x(i) = 6*a(i) - q(i). Let s(n) = -52*n + 10. Let b(h) = -s(h) + 8*x(h). Does 38 divide b(3)?
True
Let m(r) = 3*r + 20. Let h = -7 + -1. Let c be m(h). Let s(a) = -5*a - 2. Is s(c) a multiple of 6?
True
Let m(h) be the second derivative of h**7/840 + 13*h**6/180 + 3*h**4/8 - h**3/2 + 3*h. Let a(f) be the second derivative of m(f). Is a(-26) a multiple of 9?
True
Does 49 divide 28/((-6804)/27) - (0 + (-174638)/18)?
True
Let m(i) be the first derivative of -1/3*i**3 - 3*i + i**2 - 18 + 4*i**4. Does 18 divide m(2)?
False
Let s = 2566 - -2632. Does 46 divide s?
True
Let h(m) = 136*m**2 + 52*m - 545. Does 14 divide h(8)?
False
Let r = -14 + 16. Suppose r*g + 17 = 15. Is 5 a factor of 1*g*2 - (-1 + -27)?
False
Let n(y) = 5*y**3 + 45*y**2 - 27*y + 1. Does 12 divide n(7)?
True
Suppose -5*z - 1762 = -6197. Let m = 1646 - z. Suppose -3*k + m = 87. Is 15 a factor of k?
False
Suppose -4*y = -3*l + 1850, -21*y = -18*y + 6. Does 26 divide l?
False
Let w be (-36)/12 + (-6)/(-1). Suppose 324 = w*i - 162. Let j = -62 + i. Is 10 a factor of j?
True
Let o = -52 - -80. Let c = o - 26. Suppose 4 = -c*y + 54. Is 2 a factor of y?
False
Is (-6)/4 - 170/(-80)*2004 a multiple of 19?
False
Let y(m) = -3*m**2 + 7*m + 12. Let z be y(-3). Let q be (-168)/z - 4/6. Suppose -5*s = q*o - 211, 2*s - o = 3*o + 90. Does 12 divide s?
False
Let n(m) = -3*m**2 - 85*m + 108. Does 8 divide n(-19)?
True
Suppose -m - 1 = g + 2*m, 5*g - 4*m = 52. Let o = g + -54. Let b = 114 + o. Does 17 divide b?
True
Suppose 16518 = 2*u - 0*b + 4*b, -32976 = -4*u + 4*b. Is u a multiple of 13?
False
Let r be (6/(-8))/((-6)/144). Suppose -17 = c - r. Is (-23 - (c - 4))*34/(-8) a multiple of 17?
True
Let h(w) = 4*w**2 - 36*w + 1. Let o be h(9). Is ((30/24)/o)/((-6)/(-2400)) a multiple of 27?
False
Is 20 a factor of 315/21 + 23726 + -1?
True
Is 55 a factor of ((-7220)/(-57))/38*12606/4?
True
Let o = 22467 - 5514. Does 46 divide o?
False
Let l be 5 - (1 - 0)*-7. Suppose 0 = 5*v + 4*w + l, -v + 4*v = -3*w - 9. Suppose -3*f = -2*j - 333, -f - j + 0*j + 116 = v. Does 40 divide f?
False
Suppose 2*k + 43 = 3*r + 3*k, 5*r = -2*k + 72. Suppose -2*f = 20 - r. Is 6 a factor of -7*6*f/21?
True
Let h = 6281 + -4234. Is 15 a factor of h?
False
Let f = 4369 + -4124. Is 3 a factor of f?
False
Suppose 0 = 77*c - 219*c + 38340. Does 5 divide c?
True
Let u(p) = -p**3 + 9*p**2 + p + 1. Let j be u(9). Let r = j + -11. Let y(m) = 139*m**2 - 1. Is y(r) a multiple of 23?
True
Let b(z) = -z**3 - 10*z**2 + 14*z + 16. Let d be b(-9). Let q = 24 - d. Is q a multiple of 8?
False
Suppose -5*z - 5*k + 35 + 15 = 0, -5*k = -10. Is (-6)/z + 15046/8 a multiple of 32?
False
Let y(o) = 29 - 15 - 12*o + 22. Does 15 divide y(-7)?
True
Suppose 177*w - 179*w + 92 = 0. Let l = 281 - w. Is 19 a factor of l?
False
Let o(h) = 4*h**2 - 8*h - 11. Let j be 2 + ((-6)/(-14) - 36/(-63)). Suppose j*c + 2*c = 2*p + 31, -12 = 4*p. Does 17 divide o(c)?
False
Let l = 29 - 34. Let m(r) = -123*r - 59. Is 15 a factor of m(l)?
False
Is 19 a factor of -7 + (-12)/(84/(-77959))?
False
Let t(s) be the second derivative of -7*s**2 - 10*s + 11/6*s**3 + 4/3*s**4 + 1/20*s**5 + 0. Does 5 divide t(-15)?
False
Let w(c) = -294*c + 124. Is w(-11) a multiple of 23?
True
Suppose -7*k - 16 - 138 = 0. Let h = k + 21. Is 7 a factor of -105*h/(5/3)?
True
Suppose 5*v + 15 = 3*o, 6 = -4*o - v + 3. Suppose -2*h - h = -5*j - 68, 0 = 2*h + 4*j - 38. Suppose -2*w + 39 + h = o. Is 15 a factor of w?
True
Is 6 a factor of (4/(-38))/(286/(-2717)) - (-2788)/2?
False
Let j(p) = -p**3 + 44*p**2 - 35*p - 75. Is 8 a factor of j(43)?
False
Let h(d) = -34*d - 7. Let v be h(2). Let o = v - -78. Suppose -j - o*z = 0, 0*j + 2*z = 2*j - 16. Is 3 a factor of j?
True
Let i be (-98)/(-4) + -9*12/(-216). Suppose -h + 209 = -i. Is 26 a factor of h?
True
Suppose 45*x = 48*x - 9. Suppose -3*k - 2*k + 10 = 0, s = -x*k + 64. Let h = s + 22. Is 34 a factor of h?
False
Let j(d) = d**3 - 7*d**2 - 173*d - 31. Does 18 divide j(23)?
False
Suppose a + 3*m - 16058 = 0, -5*m - 80170 = 8*a - 13*a. Does 134 divide a?
False
Let m = 78 - 72. Let z be 3/(m/10 + (-9)/(-10)). Is (z*4)/(4 - 6) + 170 a multiple of 23?
False
Let g be -5 + -4 + 77*4. Let x = g + -173. Does 10 divide x?
False
Let o(j) = 7*j - 23. Let z(v) = 34*v - 114. Suppose 62 + 8 = 5*y. Let t(m) = y*o(m) - 3*z(m). Is 38 a factor of t(-6)?
False
Suppose -5*h - 5*k + 24965 = 0, 5*k - 2 = -7. Is h a multiple of 9?
False
Is 10 a factor of (18/3)/(-24)*-9124?
False
Let f = -96 - -151. Suppose -4*k = -f - 85. Is k a multiple of 7?
True
Let l = 6626 - 4237. Does 2 divide l?
False
Suppose 22*n + 66 = 33*n. Let w(v) = 3*v**3 - 14*v**2 - 6*v + 26. Is 2 a factor of w(n)?
True
Let g = 12033 + -5620. Is 121 a factor of g?
True
Suppose -5*j + 15*j + 50 = 0. Is 11 a factor of 385*(7 - (11 + j))?
True
Let h(c) = -c**3 + 5*c**2 - 5*c. Let o be h(2). Suppose 2*x - 8 = -0, q - 13 = o*x. Does 2 divide q?
False
Suppose 3*z = -2*z + 3*j - 280, -5 = j. Let t = z - -143. Let f = t - 9. Is f a multiple of 47?
False
Let d(w) = -48*w - 43. Let j be d(-5). Suppose 4*b - 3*r - 806 = -j, -762 = -5*b + 4*r. Let s = -32 + b. Does 17 divide s?
False
Let n(r) = -r**2 + 13*r - 37. Let w be n(6). Suppose -4*q - 3*u = -2066, -w*q + 6*u = u - 2565. Is q a multiple of 8?
False
Let d = 4599 - -392. Is 8 a factor of d?
False
Let n = 677 + -658. Suppose 0 = r + o - 923, -23*o = -r - n*o + 903. Does 21 divide r?
False
Suppose 85*m - 88*m - b = -64636, 0 = 3*b - 21. Is 172 a factor of m?
False
Let i(o) = o**2 - 5. Let p be i(-2). Is p*(-93 - 9/(-3)) a multiple of 9?
True
Let v = -357 - 55. Let g = v - -448. Is g a multiple of 2?
True
Let n(f) = -2*f**3 - 12*f**2 + 106*f - 9. Is 19 a factor of n(-15)?
True
Suppose 2 = -2*l + 6. Suppose 0 = 4*v + 2*b - 36, 0 = -6*v + v - 4*b + 42. Is 4346/26 + l - v/65 a multiple of 13?
True
Suppose -29*c - 18891 + 1463 = -133950. Does 49 divide c?
True
Let i = -174 + 178. Suppose -i*m + 897 + 559 = 0. Is m a multiple of 12?
False
Suppose -5*i + 12191 = 2*u - 11744, -2*i = -2*u + 23942. Does 5 divide u?
True
Is 49 a factor of (6/(-4))/(213/(-2392132))?
False
Suppose -4*d = -6*d - 2*p, 0 = d + 4*p + 12. Suppose -8 = 3*j + d, -4*f + 316 = 3*j. Is 7 a factor of f?
False
Let z = -81309 + 14783. Does 23 divide 12/10 + z/(-145)?
True
Let h(z) = -1736*z + 37. Let w be h(-2). Suppose 5*c - w = -654. Is 26 a factor of c?
False
Let h be (36/24)/(-2*(-9)/1272). Let t = -43 + h. Is 9 a factor of t?
True
Let n = 198 + -308. Let x = n - -157. Suppose -v + d = -x - 48, -d - 491 = -5*v. Is v a multiple of 13?
False
Suppose -44*c + 47 - 223 = 0. Let y(h) = -25*h - 50. Is y(c) a multiple of 4?
False
Suppose 3*c + 31803 = 25*n - 20*n, 2*n - 12746 = -5*c. Is 21 a factor of n?
True
Suppose -4*p + 132 = 4*c, 8 + 17 = 5*p. Suppose -8 = -y - 2*q, 4*y - 5*q - c = 4. Let l(u) = 16*u - 20. Does 18 divide l(y)?
True
Let a = 11100 - -4753. Is a a multiple of 8?
False
Let c be (-24)/(-16) + 2/4. Suppose -g - 280 = -c*h - 0*g, 562 = 4*h - 3*g. Does 34 divide h?
False
Let m(x) = 32*x + 1536. Is 7 a factor of m(-41)?
True
Let h be -7 - (-3)/(-2)*(-20)/30. Let n be h/(-24) - (-6226)/(-8). Does 12 divide ((-5)/(-10))/(n/(-388) - 2)?
False
Let k be 2/(-1)*-1 + 5 + -4. Suppose -6 = -k*s + 3. Suppose 2*c - 9 = s. Is 3 a factor of c?
True
Suppose 5*g - g + 131544 = 16*g. Is g a multiple of 54?
True
Let a = 2494 + -1030. Suppose -1052 = -4*u + a. Does 17 divide u?
True
Let i = 990 - 475. Suppose -5*n - 3*o + 2557 = -2*o, n - i = o. Suppose n = 5*z + 3*z. Does 16 divide z?
True
Suppose -3*q - 5*g = 62, g + 4*g = 10. Is (-2430)/(-50) - (q/10 + 2) a multiple of 7?
True
Let f = 2387 + -2348. Is f even?
False
Let z(a) be the first derivative of 25*a**2 - 91*a + 112. Does 28 divide z(7)?
False
Let x = 1042 + -341. Suppose w = 0, 5*w = 4*r + 9 - x. Does 15 divide r?
False
Let m be (-5384)/(-32) - 1/4. Let c be (m/