 multiple of 18?
False
Let t = -14 - -581. Does 63 divide t?
True
Does 120 divide ((-6 - -5) + 1 - 6) + 1326?
True
Suppose -2512 = -14*g + 344. Does 24 divide g?
False
Let b = 168 + -164. Let q(l) = -l + 33. Does 3 divide q(b)?
False
Let a(x) = 86*x - 138. Is 45 a factor of a(8)?
False
Suppose -2*l + 5764 = 5*g, -3*g - g = 2*l - 4610. Suppose -g + 442 = -8*d. Does 10 divide d?
False
Let g be (5 - 2) + (13 - -5). Suppose -n + g = -2*z - 10, -3*n + 91 = -5*z. Is n a multiple of 9?
True
Suppose 0 = -4*q - 3*g + 8*g + 1201, q - 3*g - 309 = 0. Is 4 a factor of q?
False
Suppose -b = 296 - 602. Does 51 divide b?
True
Let l(h) be the third derivative of -h**4/24 - h**3/6 - 2*h**2. Let q be l(1). Does 6 divide (-8)/((-12)/(-8) + q)?
False
Let r(j) = j**3 - 42*j**2 + 90*j - 36. Is r(40) a multiple of 23?
False
Suppose 2*w - 195 = -5*f - 3*w, -w = 3*f - 109. Let x = 39 - f. Is 46 + (-2 - (x - 5)) a multiple of 37?
False
Is 15 a factor of (10 + -7)/(0 + 2/610)?
True
Suppose 0 = -2*r - 7 - 1, 0 = y - 3*r - 33. Suppose -19 - y = -5*h. Suppose 11*t - 54 = h*t. Does 7 divide t?
False
Suppose -3916 = 5*v - 9*v. Does 8 divide v?
False
Let d(p) = p**3 + 13*p**2 + 20*p + 11. Let l be d(-11). Does 35 divide ((0 - 5) + l)/(2/3)?
False
Suppose 449 + 581 = o. Is o a multiple of 10?
True
Is (-2646)/(-7) - (0 + 9) a multiple of 22?
False
Let o(x) = 14*x**2 - 2. Let g(i) = -13*i**2 + 2. Let f(k) = 4*g(k) + 5*o(k). Let w(h) be the first derivative of f(h). Is 9 a factor of w(1)?
True
Is 4/(-3) - (-65312)/78 a multiple of 48?
False
Let p be (1 + -3)*30/(-20). Suppose -2*k = -3 - p. Suppose -2*h + 1 = -k*h - 4*a, 3*h = -3*a + 24. Does 11 divide h?
True
Suppose -3*j - 178 = -22. Let u = 124 + j. Does 25 divide u?
False
Let s(c) = 28*c - 2. Let j(y) = 1. Let x(z) = -2*j(z) + s(z). Is x(1) a multiple of 9?
False
Let v be -4 + 8/4 + 0. Let w be v/(-8) + (-1)/4. Suppose 5*s + 4 = x, w = 5*x - s - 0*s - 140. Is 8 a factor of x?
False
Let o = 3 - -27. Let w = -6 + o. Suppose -3*a = -2*a - w. Is 4 a factor of a?
True
Let a be ((-36)/(-6))/((-6)/(-4)). Suppose -a*k + 5*d + 33 = 0, k + k + 1 = -d. Is 5 a factor of (-6)/12 + 21/k?
True
Let r(i) = 3*i - 4. Let w be r(0). Does 30 divide 2 + -1 - (w - 25)?
True
Suppose -b + 4*b = 24. Let k = 5 + b. Is (k/((-13)/(-30)))/1 a multiple of 10?
True
Let g(y) = 6*y**3 - y**2 - y + 1. Let w be g(1). Suppose -3*h = -w - 1. Let l(r) = 6*r - 3. Is 2 a factor of l(h)?
False
Let m be (15/10)/(2/4). Suppose 5*g = m*a - 66 - 170, 0 = a - 2*g - 78. Is a a multiple of 14?
False
Let h be ((-69)/(-15) + -3)*1220/8. Suppose 2*u = -5*n + h, 3*u - 2*u = 4*n + 135. Is 11 a factor of u?
False
Let h(v) = -87*v - 4. Let t be h(-2). Suppose 4*d = -d + t. Suppose 2*l = 3*r - d, -l - 2*l + 9 = 3*r. Is r a multiple of 8?
True
Suppose u = -0*u - 4*l - 5, -2*l = 10. Suppose 0 = -u*p + 359 + 2881. Is p a multiple of 18?
True
Let p = 1131 + -391. Is p a multiple of 10?
True
Let t(x) = -2*x**3 + 2*x**2 - 1. Let u be (-7)/28*1*4. Let s be t(u). Suppose -5*d - 10 = 0, -4*m + 9 = -s*d - 5. Is m a multiple of 2?
True
Let l be (1*(-4)/4)/(3/(-270)). Let b = l - 51. Does 3 divide b?
True
Suppose -r - 1452 = -4*y, -2*r - 2934 = 2*y - 0*y. Is (-2)/13 - r/52 a multiple of 7?
True
Let d(x) = 4*x**3 - 5*x**2 - 3*x. Let v(g) = g**3 + g**2 + 4. Let m be v(0). Is d(m) a multiple of 34?
False
Let u be -13 + (-2 - (-3 - 6/3)). Is 5 a factor of (-1 - 1)*56/32*u?
True
Let d(v) = 1401*v**2 + 4*v - 2. Is 61 a factor of d(1)?
True
Let h = -694 - -1332. Is 22 a factor of h?
True
Let p(n) = -11 + 44 + 4*n - 2*n. Suppose 0 = -3*j + 4*l - 2*l - 2, 0 = 2*l - 2. Does 7 divide p(j)?
False
Let d(q) = -77*q - 13. Let y(f) = 116*f + 20. Let x(b) = -8*d(b) - 5*y(b). Let g(s) = 72*s + 7. Let m(w) = -3*g(w) + 7*x(w). Does 23 divide m(3)?
True
Let l be 12/(-21)*14/(-4). Suppose 4*r + 12 = 0, -l*q = -q + 3*r - 8. Let u = q - 10. Is 3 a factor of u?
False
Let v(a) be the first derivative of 2*a**2 - 8*a - 18. Does 5 divide v(7)?
True
Let r = -87 - -136. Let m be ((-4)/(-8) + -2)*-2. Suppose -58 = -m*s - 2*h, 2*s = 4*h - 5 + r. Is 10 a factor of s?
True
Suppose 5*o + 3*k + 2*k = 20, -3*o + 12 = -k. Suppose 0*b + o*b = 8. Suppose -4*a = 5*t - 3*t - 20, -b*a - 3*t + 2 = 0. Is a a multiple of 3?
False
Let a(o) = -6*o - o - 1 - o + 0*o. Let b be a(-5). Let p = -28 + b. Is 4 a factor of p?
False
Suppose 2*f - 117 = 3*w, 21 + 35 = f - w. Suppose 3*s = 6*s + f. Let n = s + 88. Is 26 a factor of n?
False
Suppose -5*m + 495 = 2*c - 7*c, 0 = 5*m + 4*c - 486. Does 14 divide m?
True
Suppose -4 = -2*a - 0. Let j be (-497)/(-7) - 2*a. Let y = 94 - j. Does 27 divide y?
True
Suppose -136 = -2*q - 0*q - z, -q - 4*z = -61. Suppose -5*j + 164 = -9*j. Let w = j + q. Is 10 a factor of w?
False
Let a = -1854 - -2848. Is 14 a factor of a?
True
Let v = -147 - -230. Is v a multiple of 2?
False
Let b(s) = -s**2 + 7*s + 4. Suppose 3*c - 19 = 5*w, 0 = -c + 3*w - 4*w + 9. Let j be b(c). Let p(f) = -3*f + 5. Is 17 a factor of p(j)?
True
Let x(v) = v**2 - 14 - 6*v**3 - 13 + 25 - v. Is x(-2) a multiple of 26?
True
Let f be ((-18)/(-45))/((-1019)/1020 + 1). Suppose -3*s + f = 5*s. Does 7 divide s?
False
Let m(j) = j**3 - 4*j**3 - 3*j**2 - 3*j**3 + 4 + 3*j**3. Is 11 a factor of m(-3)?
False
Let f be (23 + -21)*(-86)/(-4). Let z be (4 - 7)/(1/f). Let t = z + 236. Is 17 a factor of t?
False
Let o = -16 + 18. Let w(p) = 3*p - 4*p**2 + 2*p - 10 + 3*p**2 + 4*p**o. Does 5 divide w(-5)?
True
Let h be ((-4)/(-8))/(3/54). Suppose 4*t + 320 = h*t. Is 4 a factor of t?
True
Let p be (-2 - (-1869)/12)*-4. Let d = p + 888. Is d a multiple of 39?
True
Let k be (3/15*18)/(1/(-360)). Is (2/(-3))/(8/k) a multiple of 12?
True
Let m(z) = 153*z**2 - z - 16. Is 52 a factor of m(-3)?
False
Let y(g) be the first derivative of 4*g**3 - 7*g**2/2 - 8*g + 28. Does 19 divide y(-4)?
False
Let s be (-2)/(-12) + 55/30. Suppose 3*o = -s*o, g - 20 = -o. Is g a multiple of 16?
False
Suppose 0 = 5*d - 72 - 1118. Is 14 a factor of d?
True
Is (-2 + 251 - -1) + 55/(-11) a multiple of 7?
True
Let y be (10/15)/(2/21). Let s be (-820)/28 + 2/y. Let v = 44 + s. Is v a multiple of 13?
False
Let q be (-1)/(-4 + (-724)/(-180)). Let b be 1/4 + q/(-12). Suppose c + 27 = 3*s, 0*s + b*s + c = 29. Is s a multiple of 7?
False
Let j(c) = -c**2 - 18*c - 8. Let n be (-888)/(-21) + 2/(-7). Suppose n = -3*a + 3. Is 19 a factor of j(a)?
True
Does 34 divide -68*((-25)/2 - -7)?
True
Suppose -h = -3*q - 13 - 38, q + 193 = 3*h. Is h a multiple of 13?
False
Suppose 4*r - 5*b = 29, r + b + 2 - 7 = 0. Let z(a) = a**3 - 7*a**2 + 7*a + 12. Does 6 divide z(r)?
True
Suppose 8 = -w + 43. Suppose m - 34 - w = 0. Let h = m + -48. Is 21 a factor of h?
True
Let u(z) = -z**2 + 3*z - 1. Let v be u(2). Let a(s) be the first derivative of 33*s**2/2 - s - 42. Is a(v) a multiple of 9?
False
Suppose -11*p + 7*p = -12. Suppose -p*l - 1 = 5. Is (-1)/l - (-102)/12 a multiple of 2?
False
Let b = 6 - 3. Let o(j) = j + 2. Let z be o(b). Suppose -2*d + 3*h = 2*d - 16, -z*d - 3*h = -20. Does 4 divide d?
True
Let m(s) = -s**3 - 14*s**2 - 2*s - 10. Let c be m(-14). Let q be (-3)/18 - (-1533)/c. Suppose q = 2*f - 5. Is f a multiple of 15?
True
Let x(d) = d**3 - 2*d**2 - d - 1. Let r be x(3). Suppose -5*y + l = 2, -5*y - 2*l - 1 = -r. Suppose y*n - 2*z = -2*n, -15 = -5*n + 2*z. Is n a multiple of 5?
True
Suppose -3*u - 3010 = 11*u. Does 12 divide u/(-75) + -3 + (-902)/(-15)?
True
Suppose 44*n - 12992 = 16*n. Does 29 divide n?
True
Let u be (-17)/4 - 3/(-11 - 1). Let j(h) = -33*h - 13. Is j(u) a multiple of 7?
True
Suppose -5*q - 4*u + 135 = 0, -2*u + 0 = 2*q - 56. Suppose 5*p = -g + q + 35, -2*g + 136 = 5*p. Does 26 divide g?
True
Let g be ((-168)/(-10))/(9/30). Suppose -g = 5*o - 11. Is 13 a factor of 3/o*3 + 103?
False
Let j(c) = -2*c - 21. Let y be j(4). Let l = 67 - y. Is 16 a factor of l?
True
Is (-1 - 16/6)*(-45)/3 a multiple of 6?
False
Let t = -495 + 887. Does 7 divide t?
True
Let j(y) = -y**3 - 11*y**2 + 31*y - 34. Is 5 a factor of j(-14)?
True
Suppose 2*b - 2*o - 148 = o, -5*b = 4*o - 416. Suppose -10*v = -5*v - b. Is 4 a factor of v?
True
Let g = 1364 + -692. Is g a multiple of 24?
True
Let v = -2141 - -3573. Does 90 divide v?
False
Let s(i) = -4*i**2 + 8*i - 13. Let m be s(5). Let v = m - -122. Does 43 divide v?
Fal