/14?
False
Suppose 2*s = 2*h - 6, 7*h + 4*s = 3*h + 12. Suppose h*b - 11 = -3*y + 1, 0 = -5*y + 5*b + 20. Is (y + (-100)/12)/((-2)/42) a multiple of 7?
True
Suppose -22*g + 11712 = -14*g. Suppose 0 = -28*i + 22*i + g. Does 27 divide i?
False
Let w be 1095 + (-8)/28 + (-52)/14. Let u = -629 + w. Does 16 divide u?
False
Let b(p) = -2*p**3 + 29*p**2 - 12*p - 7. Does 20 divide b(13)?
False
Is (-500)/375*8202/(-8) a multiple of 84?
False
Let z be (63/(-2))/(-3)*(-96)/(-18). Let c(u) = -14*u - 67 - z + 131. Is c(-1) a multiple of 6?
False
Suppose 0 = -y - 4 + 6. Is 8/(-6) + y - (-2197)/39 a multiple of 27?
False
Let f = 3707 + -2916. Is f a multiple of 24?
False
Let c be 2/(-10) + (-3328)/(-65). Let n = -46 + c. Suppose -45 = -b + n*t + 36, -5*b - 4*t + 376 = 0. Does 16 divide b?
False
Suppose 0 = -166*u + 163*u + 5*f + 19, 4*u - 2*f = 30. Suppose 0 = -u*h + 10*h - 812. Does 85 divide h?
False
Let g(s) = -2*s**2 + 95*s - 48. Let t be g(45). Suppose j = 3*w + t, -3*j - 2*j = -w - 843. Is 21 a factor of j?
True
Let m(n) = 8*n + 69. Suppose -d = 5*k + 34, 3*k - 4 = -5*d - 20. Does 10 divide m(k)?
False
Suppose -a = -2*t + 12, t + 6*a = 2*a + 24. Suppose t*l + 488 + 376 = 0. Let f = 189 + l. Is 27 a factor of f?
True
Suppose 20*t - 21 = 13*t. Suppose -894 - 903 = -3*o - t*s, -o = 3*s - 599. Does 45 divide o?
False
Let s = -13573 + 41793. Does 32 divide s?
False
Let z = -428 - -204. Let h = z + 411. Let b = h + -108. Is 16 a factor of b?
False
Let y(o) be the third derivative of o**4/24 + o**3/3 - 6*o**2. Let i be y(0). Does 15 divide (16/(-3))/(i/(-18))?
False
Suppose -548609 + 1178565 = 35*w - 742394. Is 255 a factor of w?
False
Let w(v) = v**3 + 9*v**2 + 8*v + 12. Let p(z) = -z**2 + 3*z + 3. Let b be p(2). Let t(a) = -a**3 + 6*a**2 - 3*a - 16. Let s be t(b). Is 8 a factor of w(s)?
True
Suppose -52*x + 314235 - 89179 = 0. Suppose -5*r + 4*d + x = 0, -d - 3475 = -4*r - 2*d. Is 31 a factor of r?
True
Suppose 3*w + 1491 = -5*a + 4296, 0 = 3*a + 4*w - 1694. Is a a multiple of 62?
True
Suppose 3*k - 495 = 2*y, -38 - 211 = y - 3*k. Let l = y + 395. Suppose -2*f + l = 23. Does 7 divide f?
True
Suppose 24 = -5*u + 3*t, u + 0*u - t = -4. Let k(x) = -4*x**3 - 11*x**2 - 3*x - 6. Is k(u) a multiple of 16?
True
Let z(d) = -5*d - 1. Let a(k) = 22*k + 487. Let o(f) = a(f) + z(f). Does 27 divide o(0)?
True
Suppose -81264 = 22*a - 50*a + 20*a. Is a a multiple of 45?
False
Let d = -11341 - -14949. Is 88 a factor of d?
True
Suppose -34*n = -13*n - 104832. Is n a multiple of 25?
False
Suppose 2*b - 5*b + 16489 = -w, -21982 = -4*b + 2*w. Is 32/(-40) - 4/((-40)/b) a multiple of 49?
False
Let z be 125/2*(-6 - 0)/(-3). Let c = -556 + z. Let u = 613 + c. Does 26 divide u?
True
Suppose -4*p = 2*q - 15372, 6*q + 82*p - 46221 = 85*p. Is q a multiple of 35?
True
Let n(w) = w + 5. Let f be n(-4). Let k be ((-9)/(-5) - f)/(2/705). Suppose 2*s + 4*s - k = 0. Is 34 a factor of s?
False
Let a = 7621 + -5153. Is a a multiple of 12?
False
Let d be 10*88/140 + (-6)/21. Suppose 4*k - d*k = -t + 711, 4*k + 703 = t. Does 50 divide t?
False
Let r(z) = 1169*z**3 - 3*z**2 - 5*z + 8. Is r(2) a multiple of 23?
True
Let w = 4269 + -3758. Is w a multiple of 7?
True
Let j be ((-13)/39)/((-4)/504*-3). Does 26 divide (4 + 119/j)*3064/(-12)?
False
Suppose -22176 = -82*u - 17*u. Is u a multiple of 5?
False
Let t = 35851 + -14206. Does 37 divide t?
True
Let y be (-144)/(-14) + 2/(-7). Suppose 0 = y*d - 3*d - 434. Suppose d = 5*r - 48. Is r a multiple of 22?
True
Let j = 233 - 217. Suppose 24*l - 3360 = j*l. Is l a multiple of 57?
False
Does 10 divide 720/2*6/12?
True
Let u be (126/30)/(11/(-1980)). Let d = u + 1936. Is 20 a factor of d?
True
Suppose -4*t - 3*k + 732 = 0, 15*t - 13*t + 3*k = 360. Does 62 divide t?
True
Suppose -14 = z + 2*z - 4*w, -31 = 5*z + w. Let g(p) = -p**3 - 9*p**2 - 25*p + 10. Is 4 a factor of g(z)?
True
Is 17 a factor of (-3)/(-2) + -11*(-1372)/8?
False
Suppose -k = -2*v - 3*v - 74, 3*v = -12. Is (-1 + 4)/(-1) - k*-2 a multiple of 59?
False
Suppose -6*q - 4294 = 6*q - 29410. Is 23 a factor of q?
True
Suppose 2*n - v + 5*v - 22 = 0, -2*n + 26 = 5*v. Suppose -n*y - 7 = -2*g, 0*g - 5*y - 7 = -g. Suppose -g*p = p - 396. Is p a multiple of 14?
False
Suppose 47570 + 183512 = 34*o + 52*o. Is o a multiple of 5?
False
Let g be (0 + -5)*(-5291)/13. Suppose 17*o - 22*o = -g. Is o a multiple of 11?
True
Suppose -12 = -3*v - 3. Let a be 5430/24 + 133/28 + -6. Suppose 5*d + v*p = a, -5*d - p - 135 = -8*d. Is d a multiple of 15?
True
Suppose 115 = -6*p + 103. Is -521*24/(-32) + p/(-8) a multiple of 17?
True
Let s = 5963 + -5337. Does 11 divide s?
False
Let a be (3/7)/(10 + (-276)/28). Suppose 5*j = 4*v - 385, -a*v + 5*v = -5*j + 155. Is v a multiple of 10?
True
Let f be (-677)/(2 + 1 + -4). Suppose 11*j = 27 + f. Is 2 a factor of j?
True
Let w(r) = 7*r + 21. Let m be w(0). Suppose -9312 = -m*v - 3*v. Is 14 a factor of v?
False
Suppose 119 = 11*d - 299. Is (-12)/(d/44 - 1) a multiple of 8?
True
Suppose 4*x = -5*q - 12, 2*q = 5*x + q - 14. Does 16 divide 50 + -4 + x + -1?
False
Let t = 4514 - 3566. Does 4 divide t?
True
Suppose 37 + 31 = 17*p. Is 8 a factor of (183*p/(-15))/((-1)/10)?
True
Let t = 125 - 125. Suppose t = 3*n + 2*p - 232, p = -7*n + 6*n + 77. Does 3 divide n?
True
Let n(k) = -k**2 - 22*k - 40. Let a be n(-20). Suppose 25*m - 24*m - 273 = a. Is m a multiple of 13?
True
Suppose 8*w - 5*w + 12 = 0. Let y(h) = -2*h**3 - 4*h**2 + 4*h - 2. Is 23 a factor of y(w)?
True
Suppose 0 = w - 136 + 141, 139477 = 3*i + w. Does 8 divide i?
False
Let g(b) = 3*b**2 + 28*b - 24. Is 23 a factor of g(-21)?
False
Let v(i) = -49*i**2 + 7*i + 1 + 15*i**2 + 1 + 26*i**2. Let h be v(-5). Let d = h + 568. Is 21 a factor of d?
False
Let b(u) = u**3 + 6*u**2 + 5*u + 4. Let v be b(-5). Let q be (-6)/(-3) - -75 - v. Suppose -17 = 4*n - q. Is 3 a factor of n?
False
Suppose 3*d - 5*t = 7097, d + 4*d - 4*t = 11824. Suppose 0 = h + 4, 4*w - d = 4*h - 812. Is 52 a factor of w?
False
Is 80 a factor of 19/((-1729)/(-4229719)) - (-6)/(-14)?
True
Let c(i) = 207*i**3 + 3*i**2 - 21*i + 6. Is c(2) a multiple of 8?
True
Suppose -14243 = -15*q + 24037. Is 29 a factor of q?
True
Suppose -11*m + 10*m = 0. Suppose m = 4*r - 8*r - 16. Is r/(-14) - 1086/(-21) a multiple of 13?
True
Does 2 divide 5/10 + (-1674)/(-4)?
False
Let u be 3/(-3) + (-10*850)/(-5). Suppose -12*w - u = -4603. Does 19 divide w?
False
Let x = -1796 + 2504. Is 29 a factor of x?
False
Suppose -4*p = 8*p - 83520. Suppose 7*k + 3*k - p = 0. Does 10 divide k?
False
Let s be 4*(-4)/40 - (-48488)/20. Suppose 3*c - 7*c + s = 0. Suppose 0 = 7*y - y - c. Is y a multiple of 41?
False
Suppose 5*d - 5*m - 5 = 0, -2*m + 4*m - 4 = -d. Let u(c) = -5*c**3 - 7*c**d + 3*c**3 + 4*c**3 + 0*c**3 + 5*c. Does 4 divide u(4)?
True
Suppose 5*s + 65 = 5*h, -2*s + 11 = 3*h - 13. Let x be 1 - 1 - (h + -28). Is 12 a factor of 14/(-63) - (-220)/x?
True
Let l(b) = 4*b**2 + 13*b + 6. Suppose -168 = -0*y + 7*y. Let h = -19 - y. Is 19 a factor of l(h)?
True
Let w = 22 + -18. Suppose 3*r - w*l = -5 - 105, 0 = -3*r + 2*l - 118. Let s = 72 + r. Does 6 divide s?
True
Suppose 50*b = 469112 + 1016638. Does 35 divide b?
True
Suppose 0*a - a - 9 = 0. Let x(y) = 36*y**2 - 25*y + 47. Let l be x(2). Let d = l - a. Is d a multiple of 30?
True
Suppose -b = 8*b + 7868 - 42437. Is b a multiple of 17?
False
Suppose 7*u - 729 = 678. Let v = u + -140. Does 21 divide v?
False
Let d(x) = 18*x**3 - 21*x**2 + 18*x - 7. Is 94 a factor of d(7)?
True
Suppose 0*w + 5*w - 25 = 0. Does 10 divide (-250)/(-7 + w)*(-1 - -3)?
True
Suppose l = -5*f + 6*l - 555, 0 = -4*f - 2*l - 414. Let c = -104 - f. Suppose 0 = -s + 3*m + 87, c*s = -s + 5*m + 241. Does 9 divide s?
True
Let r(z) = -z**3 - 3*z**2 - 3*z. Let k be r(-2). Suppose -j = -b + 4*b - 288, k*b = -j + 284. Is j a multiple of 6?
True
Suppose 0 = 64*x - 211634 - 259662. Is x a multiple of 28?
True
Let p = 2146 - 2076. Is p a multiple of 10?
True
Suppose 0 = -4*g + 4*m + 108672, 13*g + 135816 = 18*g + 3*m. Is g a multiple of 62?
False
Suppose -3*h + 2*h + 491 = -3*n, n + 163 = h. Let l = 464 + -141. Let w = n + l. Is 27 a factor of w?
False
Let u(r) = -7 + 11 - 13*r + 7*r - r**2 + 12. Let k(p) = -2*p**3 + 3*p**2 - p. Let d be k(2). Does 8 divide u(d)?
True
Suppose 3 = 3*o 