= 195 + 63. Suppose -10*f + 13*f = h. Is f a multiple of 3?
False
Suppose 3*b + 5*i + 2 = 0, 7*b - 3*b = -4*i. Let x be (-1)/3 + 819/27. Does 12 divide (-2*(-8)/12)/(b/x)?
False
Let k(b) = -604*b - 1902. Does 33 divide k(-12)?
True
Does 3 divide (1356/10)/((-66)/(-165))?
True
Let z be 30/24 + (-46)/(-8). Suppose z*a - 20*a + 10569 = 0. Is a a multiple of 58?
False
Suppose -4*l = 2*s - 3680, -292*s + 297*s + 3*l = 9158. Is 34 a factor of s?
False
Suppose 150*j - 154*j - 7*a + 20383 = 0, 25382 = 5*j - 2*a. Does 2 divide j?
True
Let n(b) = b**2 - 7*b - 12. Let s(x) = -x**2 - 5*x + 12. Let w(k) = k**3 + 12*k**2 + 20*k - 5. Let m be w(-10). Let p be s(m). Is 8 a factor of n(p)?
True
Let h = -119 - -124. Suppose y + 561 = h*w - 4*w, -2*w + 1121 = -y. Is 11 a factor of w?
False
Let z(m) = -m + 8. Let d be z(5). Let j = 8 - d. Suppose -j*b = -0*b - 65. Is b a multiple of 5?
False
Let n(k) = -3*k**3 + 5*k**2 - 6*k - 1. Let l be n(-3). Let x = l + -116. Is x a multiple of 27?
True
Suppose -3*y = -3*s - 4218, 4*y - 247*s - 5606 = -249*s. Does 34 divide y?
False
Suppose -472 + 425 - 1444 = -7*q. Is q even?
False
Let u(q) = 2*q + 76. Let t = -316 - -298. Does 10 divide u(t)?
True
Suppose 1027*h = 1028*h - 6670. Is h a multiple of 46?
True
Let b(z) = 4*z**3 + z**2 - 11*z - 20. Let l(s) = -3*s**3 - 4*s**2 + 12*s + 20. Let y(h) = -4*b(h) - 5*l(h). Is 46 a factor of y(14)?
False
Let p = 426 - 550. Is 55 a factor of (-8)/(-16)*-4*p?
False
Suppose -i = 1017 - 208. Let p = i - -1195. Does 20 divide p?
False
Suppose 5676 = 4*l + m, 173*m - 5692 = -4*l + 174*m. Is l a multiple of 29?
True
Suppose -11*z = -0 - 33. Is 7 a factor of 267 - (9 - 8) - (z - -1)?
False
Suppose 50 = 3*t - 394. Suppose 6*i - 3884 = t. Does 28 divide i?
True
Let p(j) be the third derivative of 0*j + 0 - 6*j**2 + 17/24*j**4 + 5/2*j**3 - 1/60*j**5. Is p(17) a multiple of 5?
True
Let h = 2533 - 49. Suppose 20*u = 16*u + h. Does 41 divide u?
False
Let n(x) = 77*x + 11958. Is n(96) a multiple of 150?
True
Suppose 15*k = 505 - 115. Is 19 a factor of (k/(-39))/(3/(-855))?
True
Suppose -4*i - 3*u + 5*u = -24970, 10*i + 4*u = 62488. Is 10 a factor of i?
False
Suppose -28 = -6*a + 38. Let p = -55 + 96. Let r = p - a. Is 6 a factor of r?
True
Let m = 269 - 263. Is 50 a factor of ((-1996)/m)/(-2 + (-4)/(-3))?
False
Let f be 11/(4 - 3)*8*5. Suppose 2*o + 4*s - f = 0, -2*s + 715 + 345 = 5*o. Is o a multiple of 21?
True
Does 68 divide 7/105 - 776936/(-60)?
False
Is 1050/24675 + 353438/47 a multiple of 24?
False
Let a(m) = m**3 - 15*m**2 + 153*m - 4874. Is a(37) a multiple of 361?
False
Is 170 a factor of 70/1*6/(-18)*-255?
True
Let r(n) = -8*n + 115. Let h(q) = 2*q. Let d(m) = -2*h(m) + r(m). Is d(0) a multiple of 6?
False
Let f = 32 - 23. Let s(b) = -9*b - 20. Let d be s(f). Let z = d + 119. Does 18 divide z?
True
Let a be ((-14)/(-2*1))/(6/60). Suppose -k = -3*n - 82, 0*n - 2*n - 4*k - 64 = 0. Let z = n + a. Does 21 divide z?
True
Is (-471)/(-2512) + 113149/16 a multiple of 26?
True
Let f(q) = -q**3 - 7*q**2 + 8*q + 2. Let i be (4/(-6))/((-35)/12 + 3). Let m be f(i). Is 7 a factor of ((-10)/(-5))/m - 32/(-1)?
False
Suppose -5*u + 5 = 75. Let x be (40 + -10)/((-4)/u). Let g = x - 71. Does 17 divide g?
True
Let s be (-7353)/(-12) + (-1)/(-4). Suppose 1577 = -5*w - s. Does 29 divide w/(-9)*3 + (-6 - -5)?
True
Let a be (3 - 3 - 5 - -9)/1. Suppose -2 = h - 7, -5*b - a*h + 400 = 0. Is 38 a factor of b?
True
Let d(z) = -z**2 + 1. Let i(c) = 5*c**2 + 5*c + 54. Let b(s) = 3*d(s) + i(s). Is b(15) a multiple of 97?
True
Let s(p) = -p**3 + 15*p**2 - 12*p - 50. Let i(g) = g**3 + 22*g**2 + 19*g - 29. Let b be i(-21). Is s(b) a multiple of 33?
True
Is 5 a factor of (72/(-15) - (-2)/(-10))*(-15996)/20?
False
Let a(t) = 135*t + 4440. Is a(0) a multiple of 10?
True
Let j(z) = z + 93. Suppose 4*f + 4*g + 18 = 58, f - 2*g = 25. Is j(f) a multiple of 21?
False
Let g(z) = z**3 + 11*z**2 - z - 13. Let a(h) = -3*h**2 + 3*h - 5. Let s be a(2). Let b be g(s). Let p(q) = 16*q**2 + 5*q + 3. Does 8 divide p(b)?
False
Let l(y) = 497*y - 326. Is l(6) a multiple of 30?
False
Let w be 6 - (-12)/(-8)*(-32)/(-12). Suppose -w*x - 7*x + 45 = 0. Does 10 divide 3 + 1 + 260/x?
False
Suppose -9 = -6*k + 3. Suppose -v - 10 - 50 = -k*f, 2*f + 4*v - 40 = 0. Is 14 a factor of f?
True
Suppose 478770 + 207223 = 77*t. Does 59 divide t?
True
Let k(s) = 1103*s - 3776. Does 13 divide k(10)?
True
Suppose a + 98 = 3*a. Suppose -2*k = -5*z + 643, 79 = z - k - a. Is z a multiple of 3?
True
Let c be (3/(-12) - -1)/(36/96). Suppose 0 = q + 4 - c. Is -3 - -111*(-2)/q a multiple of 9?
True
Suppose -25*t + 256 + 45644 = 0. Does 9 divide t?
True
Let i be 40 + (36/(-54))/((-1)/(-6)). Suppose 44*k - 8976 = i*k. Is 23 a factor of k?
False
Let y(v) be the first derivative of 37/2*v**2 + 22 - 22*v. Does 42 divide y(3)?
False
Let n(l) = -l**3 - 15*l**2 - 14*l + 2. Let r be n(-14). Suppose 40 = 3*t - r*h, -h = -3*t - 4*h + 15. Suppose -379 = -t*i - 79. Does 10 divide i?
True
Suppose -2*v - 115*g = -111*g - 4662, g - 6978 = -3*v. Is v a multiple of 50?
False
Suppose 37*g = 32*g + 5*l + 3155, 5*g = l + 3171. Is 4 a factor of g?
False
Let n = -13 - -18. Let t be 122 - (-1 - 1)*(-23)/(-23). Is 21 a factor of t/n - (-14)/70?
False
Suppose -2*m = 2*b + 2*m - 406, -3 = 3*m. Suppose b + 50 = -3*c. Let l = c + 151. Does 11 divide l?
True
Suppose 0 = 8*p - 3*p + 20, 0 = 5*l - 4*p + 4. Let s be (-9)/(-6) + -8 + 728/16. Is 2431/s - l/6 a multiple of 8?
False
Let l(h) = 2*h**2 + h - 3. Let v(p) = 27*p - 49. Let j be v(5). Let y = -95 + j. Does 15 divide l(y)?
True
Let n = 3480 - 1694. Does 94 divide n?
True
Let r = -92 + 118. Suppose 5*t = 3*t + r. Does 13 divide t?
True
Let a(h) = h**3 - 4*h**2 + 5*h - 5. Let l be a(4). Let x = -15 + l. Suppose x = -4*b + b + 141. Is b a multiple of 9?
False
Suppose -541 = -2*t + 3*t. Suppose -165*w + 17619 + 93139 = -21572. Let h = t + w. Does 29 divide h?
True
Suppose -14*t - 144 = -23*t. Suppose 7*z - t*z = -666. Is z a multiple of 37?
True
Let u = -54 - -74. Suppose u*z = 26*z + 18. Is 13 a factor of (-579)/z - (3 + -5)?
True
Suppose 5*t + 28 = 2*h + h, -4*h + 24 = -4*t. Let x be (2*t*1)/(10/(-120)). Suppose z + z - x = u, 2*z + u = 128. Does 8 divide z?
False
Let t(a) = a**3 - a. Let x(i) = -76*i**3 - i - 2. Let c(h) = 2*t(h) - x(h). Let w be c(2). Suppose -w + 75 = -3*m. Is 18 a factor of m?
False
Suppose 0 = z + 5*m + 13, 20 = 4*z - 3*m + 3. Let t(i) = -i - 2. Let d be t(z). Does 3 divide (-1 + (-52)/8)*d?
True
Suppose 50 = -3*y + 62. Suppose -y*t + 757 = -59. Does 12 divide t?
True
Suppose 52*d - 55*d - 2*p = -2780, 2776 = 3*d + p. Does 22 divide d?
True
Let k(z) = -16*z + 79. Let v be k(-11). Let y = 110 + v. Does 29 divide y?
False
Suppose -95*t + 43525 = -15755. Is t a multiple of 13?
True
Suppose 27742 + 242008 = 50*j. Is 83 a factor of j?
True
Let d = -16 - -16. Let q be 5 - (0 - (d - -3)). Does 4 divide (-416)/(-18) - q/72?
False
Does 11 divide 21 + 1520/(-72) + (377392/(-18))/(-2)?
True
Let a = 16 + -12. Suppose -2*l - 8 = 0, 0 = -a*w - l - 7 + 3. Suppose w*m - 160 = -m. Does 30 divide m?
False
Suppose 0 = 4*u, -13839 = -4*v + 4*u + 1687 + 17534. Is 57 a factor of v?
True
Suppose -2*b - 2*r = 3*r + 3, 0 = -4*b - r + 3. Suppose 3*w = -5*l + 32 - 10, l = -4*w + b. Is 29 a factor of (203/28)/((l/4)/5)?
True
Suppose -5*t + 35 = 2*t. Suppose t*a - 4625 = -0*a. Suppose -34 = 3*s - a. Does 33 divide s?
True
Suppose g - 266 = -2*v + 4130, 0 = -3*g + 5*v + 13155. Is g a multiple of 37?
False
Let y be (6/1)/2 + 770/2. Let d = y - 213. Is d a multiple of 11?
False
Let s(c) = 27*c - 330. Does 89 divide s(106)?
False
Let u(o) = -o**2 + 8*o - 10. Let i be u(6). Let l be i/7 + (-4908)/(-21). Suppose 4*j = 6*j - l. Is j a multiple of 24?
False
Let g be (-3)/1*(-2)/3. Suppose 0 = g*h - 4, -496 = -3*z + z - 5*h. Suppose 0 = -2*y - y + 3*r + z, -255 = -3*y - 3*r. Does 26 divide y?
False
Suppose 106*h = -2*a + 111*h + 6349, h + 1 = 0. Does 26 divide a?
True
Let z be 62/(-279) - (-398)/9. Suppose 50*d - 1344 = z*d. Is 8 a factor of d?
True
Suppose 2412 = 4*d + 4*a, -5*a = -3*d - a + 1788. Suppose -30*q + 34*q = d. Is 10 a factor of q?
True
Suppose 4*u = -28, -4*u - 100076 = -3*i - 5995. Is 31 a factor of i?
False
Let u(x) = 470*x**2 + 3*x - 1. Let b b