- 104. Suppose 3*h - 4*h = -f. Is 13 a factor of h?
True
Let t = -85 - -39. Let g = 44 - t. Suppose 5*k = -k + g. Does 5 divide k?
True
Let l = 34 + 334. Let b = l - 221. Does 29 divide b?
False
Suppose t + 9 = f + 61, f + 56 = 2*t. Is 19 a factor of 4 - ((-10 - -5) + f)?
True
Let l = 1738 - 608. Does 15 divide l?
False
Suppose -5*o - 2 + 12 = -4*i, 2 = o + 4*i. Suppose -x - 2*x + 114 = o*p, -4*x = -3*p + 154. Does 18 divide p?
True
Let x(o) = -o**2 + 10*o + 4. Is x(9) even?
False
Let l(o) = -51*o**2. Let t be l(1). Is 6 a factor of (t/12)/(4/(-16))?
False
Let a = -3 - -11. Let g be 0*(-1 - (-12)/a). Suppose -l + 40 - 4 = g. Is l a multiple of 24?
False
Suppose 5*d + 0*o + 1453 = -2*o, -1163 = 4*d + o. Let w be (d/6)/(2/(-4)). Suppose 0 = -5*z + 53 + w. Does 11 divide z?
False
Let l(c) = -4*c**3 + 2*c**2 - 17*c + 14. Is l(-6) a multiple of 15?
False
Let x be 2/(-4) - (-3396)/24. Let m = x - 61. Is 16 a factor of m?
True
Let m be (-2 + 4/6)/((-2)/(-15)). Does 6 divide ((-36)/5)/(-2 + (-18)/m)?
True
Let x = -32 - -44. Does 12 divide x?
True
Suppose -12 = y + 2*y. Let h(g) = 2*g - 2. Let c be h(y). Does 14 divide -18*(-4)/(-16)*c?
False
Suppose 0 = -v + 26 - 1. Suppose -2*b - 378 = -4*j + 80, 0 = -5*b - v. Is 14 a factor of j?
True
Suppose -89574 - 20586 = -45*h. Is 16 a factor of h?
True
Let m = 504 - 351. Does 7 divide m?
False
Let f(t) = t**2 - 8*t. Let a(x) = -5*x**2 + 40*x - 1. Let q(y) = -2*a(y) - 11*f(y). Let b be q(7). Suppose 27 = 3*o - o + 5*r, -r = o - b. Does 4 divide o?
False
Let z be (-2)/5 + 116/(-10). Let y be (-4)/(-5 - -1) - z. Is (-10 + y)*(-100)/(-6) a multiple of 10?
True
Suppose -10*f + 72 = 14*f. Let v(j) = 6*j + 0*j + 5 - 2. Does 7 divide v(f)?
True
Let t(u) = -u**2 - 2*u + 3. Let y be t(-3). Suppose -60 = -y*w - 5*w. Suppose -4*i + i = -w. Does 4 divide i?
True
Suppose 3*z = 22 + 2. Is 2 a factor of ((-33)/(-3))/(z + -7)?
False
Let s(p) = p**3 - 8*p**2 - 5*p - 78. Does 18 divide s(10)?
True
Let f = -898 + 1388. Is 14 a factor of f?
True
Let s be (0 + 4 - 7) + 8. Let g(a) = 6*a + 8. Does 10 divide g(s)?
False
Suppose 6*q - 257 = 577. Suppose 3 = -5*g - 2, 5*g - q = -3*s. Is 23 a factor of s?
False
Is 120 + (0 - (0 - 0)) a multiple of 4?
True
Suppose -2 + 10 = 2*s. Suppose -t - 2*o = 127 + 5, -3*t + s*o = 416. Does 27 divide ((-5)/(-4))/((-2)/t)?
False
Suppose -92*m + 91*m = -21. Suppose -3*c - m = -o + 227, 3*c = 2*o - 490. Is 26 a factor of o?
False
Let i(r) = r**3 + r**2 + r - 1. Let o(s) = -5*s**3 + 8*s**2 + 18*s + 12. Let p(k) = 6*i(k) + o(k). Is p(-11) a multiple of 8?
False
Let g(h) = 4*h**2 - 19*h + 18. Is 30 a factor of g(-8)?
False
Suppose -k + 3*k = 10. Suppose -d - 16 = -k*d. Suppose 0 = d*r - 222 - 94. Is 26 a factor of r?
False
Let s(n) = n**3 - 7*n**2 + 6*n - 5. Let f be s(6). Let b be 553/35 + (-1)/f. Suppose b + 32 = 3*y. Does 4 divide y?
True
Is 4 a factor of -2*(-18)/12 + 1?
True
Suppose 3*m - 4*k = 4, -2*m + 3*k + 6 - 3 = 0. Is m + (-1 - 3) + (-3 - -39) a multiple of 16?
True
Let i = -731 - -880. Is i a multiple of 3?
False
Suppose 0 = 10*c + 133 - 1203. Let h(o) = -7*o**3 - o**2 - 2*o. Let z be h(-2). Let r = c - z. Is 28 a factor of r?
False
Suppose 2*d - d = 6. Does 17 divide 1544/7 - d/(-14)?
True
Let u(g) = -255*g + 481. Is 30 a factor of u(-9)?
False
Let h(f) = -5*f**3 + 3*f**2 - 5*f - 16. Let k(l) = 9*l**3 - 5*l**2 + 9*l + 32. Let p(z) = 7*h(z) + 4*k(z). Is 13 a factor of p(0)?
False
Let a = -231 - -357. Let f be (-105)/(-14)*a/(-15). Is 7 a factor of ((-14)/21)/(2/f)?
True
Let v be 1 + 4 - 1/1. Suppose 50 = v*l + l. Let s(q) = q**3 - 11*q**2 + 11*q - 4. Is s(l) a multiple of 6?
True
Let d = 7308 + -4452. Is d a multiple of 36?
False
Let m(s) = -s**2 + 7*s - 13. Let j be m(6). Let f = 13 + j. Is 285/f*16/20 a multiple of 11?
False
Suppose -4*y + 52 = -4*z, y - 3*z = -z + 10. Suppose -2*n + 24 = r - 5*n, -4*n = 4*r - y. Is r even?
False
Let y = 43 + 209. Is 28 a factor of y?
True
Let t = -10 + 6. Let k be ((-2)/t)/(2/4). Is (k/(-1) - 0) + 6 even?
False
Suppose 15 = 11*z - 8*z. Let l(g) = g - 8. Let t be l(8). Let f = z + t. Does 5 divide f?
True
Is (6/(-9) + 1)/((-33)/(-345213)) a multiple of 156?
False
Let s = -951 + 2502. Suppose 0 = -11*i + s + 341. Is i a multiple of 20?
False
Let t(m) = -20*m - 16. Let f be t(-6). Let w = f - -62. Is 24 a factor of w?
False
Let n be (4/20)/((-2)/(-10)) + -2. Let u(y) = 199*y**2 + 2*y + 1. Does 18 divide u(n)?
True
Suppose 312*t = 284*t + 66612. Is t a multiple of 11?
False
Let u be (-1)/2*0 - -3. Is 14 a factor of (-1485)/(-44) + u/(-4)?
False
Let h(k) = 3*k - 11. Let c be h(6). Suppose 4*m - c*m = 0. Suppose m = 2*t + 10 - 58. Is t a multiple of 8?
True
Let b = 36 - 12. Is 15 a factor of 4 - (1 - (3 + b))?
True
Suppose 5*y = -2*p + 5*p - 159, -4*p = -3*y - 223. Let r = 66 - p. Does 6 divide r?
False
Let f(l) = -l + 1. Suppose -8*b - 12 = -4*b. Let q be f(b). Suppose 4*g - q*t - 32 = -2*t, 5*g - 38 = 3*t. Is 4 a factor of g?
False
Let w(n) = n**3 - 12*n**2 + 4*n + 9. Let x be w(12). Let u = x - 37. Is 4 a factor of u?
True
Suppose -4*u + 3*c - 7 = 11, -5*u - 3*c = 9. Let w(h) = -h**2 + 3*h. Let z be w(u). Is z*(4 - 13/3) a multiple of 6?
True
Let j = -111 - -261. Is j a multiple of 15?
True
Suppose 2013 + 411 = -4*g. Let h = -282 - g. Does 54 divide h?
True
Let p(l) = l**3 + 20*l**2 - 18*l - 15. Is p(-20) a multiple of 5?
True
Suppose 3*g + 10 = 5*k, -3*g = 2*k - 37 + 12. Suppose -j = -3*j - 5*o + 5, -5*o + g = -j. Suppose 3*y - y - 2*h - 8 = j, 0 = -y + 4*h + 10. Does 2 divide y?
True
Let m = -45 - -72. Let t = m + -1. Suppose -4*s - t = -378. Is 11 a factor of s?
True
Let b be -224*(1 - -1*(-2)/4). Let h = -8 - b. Does 8 divide h?
True
Let f(h) = 76*h - 24. Is f(8) a multiple of 36?
False
Let d = -300 - -673. Is d a multiple of 48?
False
Suppose -4*a = -5*d - 153 - 343, 2*a - 246 = 3*d. Is a a multiple of 2?
False
Suppose 3606 = 5*f + 3*l, -4*l = -2*l - 4. Is f a multiple of 12?
True
Let r = 3 - 3. Suppose 3*w + 2*p - 78 = r, 11 = 3*w - 4*p - 85. Suppose 4*c - w = -x, x - 4*c - 26 = 26. Is 10 a factor of x?
True
Suppose 0 = -2*a + 4*a. Suppose 9*g - 4*g = a. Suppose g = 8*s - 4*s - 392. Is 13 a factor of s?
False
Let w = -64 + 60. Does 50 divide 179 + (-7 - w) + 2 + 1?
False
Let p = -53 - -75. Let m = 45 - p. Is 6 a factor of m?
False
Suppose 2*v + 5*n = n + 48, -4*n = -3*v + 42. Suppose -t + 7*t + v = 0. Does 3 divide (-45)/(-20) - t/4?
True
Let c(r) = -33*r + 644. Is 14 a factor of c(0)?
True
Let m(p) = -18*p + 0*p**3 - p**3 - 1 - 4 + 2*p + 12*p**2. Let d be m(11). Let c = d - -96. Does 36 divide c?
True
Suppose -7*s = 26 + 16. Let x be 1*(0 - (s + 1)). Suppose -2*r - a = -4 - 1, 0 = -x*r + 2*a + 26. Is 2 a factor of r?
True
Let d = -166 + 322. Is d a multiple of 12?
True
Is 13 a factor of -1 + ((-1905)/(-3) - (8 - 8))?
False
Let q(s) be the third derivative of 127*s**5/60 + s**4/24 - 3*s**2. Let h be q(-1). Let l = h + -58. Is l a multiple of 22?
False
Let z = -12 + 16. Suppose 0 = -8*n + z*n + 448. Let r = 164 - n. Is 13 a factor of r?
True
Is 12 a factor of (6 + 0)/(((-33)/72)/(-11))?
True
Suppose -11*p = -13*p - 2. Does 10 divide p/(-2*4/472)?
False
Suppose -2*q = -x + 1, -3*q - 3 + 4 = -x. Suppose -q*h = -0*h - 54. Suppose -3*v = -6*v + h. Is v a multiple of 4?
False
Suppose 5*o - 425 = 495. Suppose 0 = -0*x - x - o. Does 32 divide x/(-6) - (-8)/6?
True
Suppose 3*l - 2*w = -2*l + 9944, 5*w = l - 1975. Is 60 a factor of l?
False
Is 9 a factor of 13398/12 - (-1)/(4/2)?
False
Suppose 0*s + 12 = 6*s. Is 12 a factor of (-18)/(-2 + s*3/12)?
True
Suppose 0 = 5*q - 16 + 1. Suppose q*m = 2*f + 219, m - 87 = -3*f - f. Is m a multiple of 32?
False
Let m = 17 - 12. Suppose -m*j = 3*j - 72. Is 14/21 + 57/j a multiple of 7?
True
Let i = 1106 - 980. Is i a multiple of 7?
True
Suppose -3*c - c + 12 = 0. Suppose -302 = -2*i + 3*g, -4*g + 3*g = c*i - 442. Suppose 34 = -2*p + i. Does 17 divide p?
False
Let k(t) = -7*t - 15. Suppose -c + 1 = 7. Let h be k(c). Suppose 3*a = -3 + h. Does 2 divide a?
True
Let a = -119 + 204. Does 9 divide a?
False
Let t(l) = 521*l**2 - 10*l - 2. Is 23 a factor of t(-1)?
True
Suppose 360 = -24*k + 26*k. Is k a multiple of 30?
True
Suppose 30 = -4*f + d + 141, 4*f + 5*d = 93. Suppose 0 = 4*x - 5*x + f. Is x + (-12)/4 + 1 a multiple of 8?