 2*x + i. Is 13 a factor of x?
True
Let m(l) = 177*l**3 - 4*l**2 + l + 2. Let y be m(2). Let j = -632 + y. Is 16 a factor of 50/(-75) - (-1)/(6/j)?
True
Let m = 345 + -651. Let n = m + 1101. Is n a multiple of 15?
True
Let d(h) = 8*h + 10. Let v be d(-6). Let z(f) = -10*f - 98. Is z(v) a multiple of 32?
False
Let g(z) = -34*z**3 - z**2 - 7*z - 5. Let h be g(-2). Suppose -j - u + h = 0, -j = 2*j + u - 827. Does 47 divide j?
False
Let p = 34 + 5. Let w = p + -34. Suppose -w*a + 58 = -282. Is a a multiple of 34?
True
Let u(r) be the second derivative of -r**5/20 + 5*r**4/4 + 10*r**3/3 - 2*r**2 - 40*r. Let d be u(16). Suppose -d*p + 84 = -59*p. Is p a multiple of 7?
True
Let u(l) = l - 19 - 23*l + 3*l. Is 19 a factor of u(-24)?
True
Let n(u) = u**3 - 6*u**2 - 9*u + 3. Let l be n(7). Let q = 16 + l. Suppose -q*d - b = b - 276, -282 = -5*d + b. Does 17 divide d?
False
Let n(s) = 3403*s + 21. Is n(1) a multiple of 9?
False
Suppose o - 4*q = 2 + 26, -5*q = 2*o - 17. Suppose 2*n - 3940 = -3*b, -o*b + 12*b + 5268 = -n. Is 47 a factor of b?
True
Is (-51 + 4/2)*(-2 + (-252 - -1)) a multiple of 11?
True
Let m be 3 + 2*-613 + -3. Let k = -745 - m. Suppose -4*d - d + w + k = 0, 2*d - 3*w = 182. Is d a multiple of 41?
False
Is 113 a factor of 38/3*1544088/784?
False
Suppose 2*v + 38 = 3*f, 5*v = 5*f - 112 + 47. Let w(m) = -m**3 + 11*m**2 + 12*m. Let j be w(f). Suppose 4*i + 23 - 71 = j. Is 12 a factor of i?
True
Let v = -25 + 18. Let t(n) = n**3 - n**2 + n. Let a(c) = -5*c**2 + c + 8. Let h(x) = a(x) - t(x). Is h(v) a multiple of 23?
False
Suppose -310 = -4*i - 46. Suppose -18 = -8*r - i. Does 25 divide (r/4 - -4)*30?
True
Let b(m) be the first derivative of m**2 + 3*m - 13. Let l be b(-16). Let a = 1 - l. Does 10 divide a?
True
Let n be (-1)/(-3 - 1920/(-639)). Let x = n - -537. Does 30 divide x?
False
Let l(s) = 4*s**2 - 18*s - 1. Let y be l(5). Suppose y*f = 98 + 3412. Is 13 a factor of f?
True
Let p(q) = 31*q**2 + 26*q + 229. Does 27 divide p(-22)?
True
Let g = 1147 + -732. Is g a multiple of 9?
False
Let b(f) = -38*f**3 + 2*f**2 - 3*f + 8. Is 108 a factor of b(-4)?
True
Suppose -g - 3 = 0, t - 7388 = g - 1465. Is t a multiple of 74?
True
Suppose -5*t + 4*i + 349719 = 0, 558*t + 2*i = 553*t + 349773. Does 45 divide t?
False
Let n = 73 - 27. Suppose n = 5*j - 3*j. Suppose s + 0 = j. Does 11 divide s?
False
Let g(a) = -12*a**3 - 42*a**2 - 596*a - 149. Is 9 a factor of g(-13)?
True
Suppose -32 = -2*k + 4*k. Let r(t) = -4 - t + 5*t - 3 - 2*t - 5*t. Is r(k) a multiple of 5?
False
Let m be 3/2 + (-3 - (-225)/2). Let o = 336 - m. Suppose 0 = -26*f + 29*f - o. Is 15 a factor of f?
True
Let v(c) = -7*c + c**2 + c + 2 + 0 - 3. Is 18 a factor of v(-5)?
True
Let y(u) = u**3 - 7*u**2 - 7*u - 7. Let n(a) = a**3 + 24*a**2 + 23*a + 8. Let j be n(-23). Let m be y(j). Is m/(-4 + 723/180) a multiple of 5?
True
Let l = -1259 - -1951. Suppose 3*q - l = -r + 2*r, 2*r = -3*q + 686. Does 10 divide q?
True
Let q(c) = 45*c - 80. Suppose w - 15 = -5*o + 17, 15 = -5*w. Is q(o) a multiple of 13?
False
Suppose 3*a - 63823 = a - 3*q, 0 = -4*a - q + 127651. Is 45 a factor of a?
False
Let b = 39370 + -15370. Is 64 a factor of b?
True
Let v be ((-6)/(-18))/((-7)/(-4893)). Suppose -229*b = -v*b + 1504. Is 94 a factor of b?
True
Suppose 91*l - 1386019 = 37*l + 182033. Does 5 divide l?
False
Suppose 92 + 12 = 4*a. Suppose 4*m = -c + a, 2*m + 2*c + c - 18 = 0. Suppose m*d = d + 335. Is 17 a factor of d?
False
Let d(g) = 666*g - 6. Let j(y) = 3995*y - 35. Let i(h) = -35*d(h) + 6*j(h). Let u be i(1). Suppose -8*n + u = -4*n. Does 33 divide n?
True
Let t = 35117 - 30239. Is 18 a factor of t?
True
Let b(h) = h**2 + 31*h - 46. Let w(l) = l**2 + 32*l - 47. Let q(j) = 2*j + 19. Let z be q(-7). Let a(s) = z*b(s) - 4*w(s). Is a(-30) a multiple of 16?
True
Let t(m) = -37*m**2 + 409*m + 3. Is 21 a factor of t(11)?
False
Suppose k - 17 = -4*c, -k - 4*c = 4*k - 37. Suppose -5*q + 3*q + 182 = -2*w, 4*w = k*q - 369. Let y = w - -273. Is 11 a factor of y?
True
Let d = 4644 + -643. Does 45 divide d?
False
Let t(q) = q**3 - 11*q**2 - q + 34. Let s be t(10). Let n = s + 78. Does 25 divide -3 - -7 - (1*-230)/n?
False
Suppose -5*s + 11 = 4*i, 4*i + 3 = -1. Suppose -s*y + 440 = u - 8*y, 5*y + 875 = 2*u. Is 15 a factor of u?
True
Suppose -7*w - 24*w = -217. Is 29 a factor of (w/2)/(2/252*7)?
False
Let p = -364 - -368. Suppose -4*x - 1 = -n + 3, x - 4*n + 16 = 0. Is 97 - x - (1 - p) a multiple of 24?
False
Is 23/(759/217410) - 4/22 a multiple of 122?
True
Suppose -2*a - 6818 = -9*a. Suppose -4*k = -2490 - a. Suppose 334 + k = 10*g. Is g a multiple of 24?
True
Let z(b) = 4*b**2 + 14*b - 26. Let v be z(7). Let c = v - 178. Suppose 11*a - 900 = c. Is a a multiple of 8?
False
Suppose 2*s - 40 = -i - 233, 3*s = -4*i - 777. Suppose 0 = -3*q - 24*q - 197 - 181. Let m = q - i. Does 14 divide m?
False
Let z(x) = -2*x**2 - 7*x**2 + 124*x + x**3 - 110*x + 4. Does 5 divide z(9)?
True
Suppose -20842 = 4*d - 21*d + 17221. Is d a multiple of 6?
False
Let r(q) = 118*q**2 - 287*q + 5860. Does 183 divide r(19)?
True
Suppose 4*m - 24 = -0*m - 5*v, 2*v = -8. Suppose 5*l - 2*h + h = -13, 0 = l - 3*h + m. Is (60/80)/(l/(-56)) a multiple of 7?
True
Suppose -5*v + 46 = -3*n, n - 26 = 3*n - v. Does 9 divide (-8)/12 + 4/n - -129?
False
Suppose 8*g = 7*g + 95. Suppose -9*p + 4*p + 95 = c, 5*p - g = 5*c. Is p a multiple of 3?
False
Let r = 5836 - 4520. Is r a multiple of 3?
False
Let c(z) = 32*z**2 - 64*z - 3. Is c(-7) a multiple of 14?
False
Let y = -8892 + 23407. Does 37 divide y?
False
Let w be ((-3)/(-4))/(8 - 134/16). Let r(u) = 44*u**2 + 1. Does 65 divide r(w)?
False
Suppose w - 2929 = 116*y - 118*y, -3*w + 4392 = 3*y. Is 39 a factor of y?
False
Suppose 0*q + 73 = -q - i, -3*i = 0. Let f = -76 - q. Is (-102)/f + 4 + 4 a multiple of 14?
True
Let z(u) = 114*u - 3494. Is z(33) a multiple of 6?
False
Let t be 1*(-7)/(28/8). Let h be (-3 - -5)/t*0. Suppose -b = -2*p - 50, h*b - 4*p = -3*b + 144. Is 19 a factor of b?
False
Suppose 53*c - 35*c - 26*c = -688. Is c a multiple of 2?
True
Let v be 336/70 + (-8)/10. Suppose -8*m - 2*q = -6*m - 558, -v*q = 4. Is 40 a factor of m?
True
Suppose 0 = -71*p - 6319 + 151727. Does 32 divide p?
True
Suppose 4*q = -5*b + 231, 4*q + 99 = 2*b - q. Is (-18)/(-5)*705/b a multiple of 9?
True
Suppose -7264 = 126*i - 48844. Is i a multiple of 15?
True
Suppose 2*p - 9 + 21 = 3*a, -3*a - 4*p - 6 = 0. Let w(s) = -a - s + 2 + 2 - 4*s. Is w(-3) a multiple of 5?
False
Let g(j) = 3*j**3 - j**2 + 4*j - 3. Let h be 12/18*(-6)/(-4). Let t be g(h). Suppose 3*m + 209 = 4*a, 0*a + t*a - 156 = 2*m. Is 8 a factor of a?
False
Suppose 4*u + 832 = 2*t, -3*u + 5*t = 10*t + 624. Let d = -189 - u. Is 17 a factor of d?
False
Suppose 7*y - 3*v = 3856, -2*v = 4*y - 3*v - 2202. Let n = -6 - -17. Suppose n*u = -0*u + y. Is 13 a factor of u?
False
Suppose -4*x = x + 5, 2*l + x = -69. Let q(m) = -26*m - 351. Is q(l) a multiple of 41?
True
Let y be (18/8 - 0)/(1/(-4)). Is (-2 + -1)/(y/78) even?
True
Let t(j) = -j**3 + 12*j**2 - 20*j - 4. Let r be t(10). Let n be r + 3*(-552)/(-9). Let f = n - -40. Is f a multiple of 44?
True
Let l = 1064 - -2636. Is l a multiple of 25?
True
Let d = 573 + -376. Suppose 0 = 4*o - 2*l - 2357 - d, 5*o - 2*l = 3192. Is 48 a factor of o?
False
Suppose -2*n - 1047 + 9057 = 0. Is n a multiple of 15?
True
Let p(b) = 17*b + 203. Let w be 2*(-5 + 7)*(-9)/4. Is p(w) a multiple of 5?
True
Is 16 a factor of 32403 + (-22)/(550/375)?
False
Suppose 0 = -5*z - 4*q + 5816, 57*z = 56*z + 3*q + 1148. Does 32 divide z?
False
Suppose 0 = 2*t - w - 71811, 13*w + 359051 = 10*t + 12*w. Is 15 a factor of t?
False
Let v = 296 + -138. Let g = 398 + v. Does 20 divide g?
False
Suppose -f = p + 359, -3*p + p - 725 = -5*f. Suppose 0 = 3*t - 2*t - 2*g - 37, 0 = -4*g - 20. Does 8 divide (1 + -4)/(t/p)?
True
Let n(u) = -u**3 - 12*u**2 - 20*u - 8. Let t be n(-8). Let c = t - -90. Is 6 a factor of (-2)/7 - 1390/c?
False
Let q = -19 - -24. Suppose -3*d + 27 + 384 = q*c, 548 = 4*d - 2*c. Does 10 divide d?
False
Let y = 1558 + -4. Is y a multiple of 111?
True
Let d = 80 - 56. Let f = d + -16. Suppose f*j - 6*j = 150. Does 15 divide j?
True
Let f = 30180 + -14199. Is 21 a factor of f?
True
Let f(n) = 28*n + 6864. Is f(0) a multiple of 44?
True
Sup