 + r. Is 4 a factor of f?
False
Let k(w) = w**2 + 16*w - 8. Suppose -2*h = 4*p + 14, -3 - 1 = h + 3*p. Let b be k(h). Let q = 74 + b. Does 9 divide q?
True
Let y = 4286 - -227. Does 82 divide y?
False
Let t = 26 - 37. Is ((-142)/(-7))/(t/(-77)) a multiple of 6?
False
Let f(x) = -x + 5. Let v(g) = g - 4. Let c(l) = 5*f(l) + 4*v(l). Let d be c(6). Suppose -7*h + d*h + 56 = 0. Is h a multiple of 8?
False
Let o(z) = 23*z**2 - 12*z + 5. Is o(3) a multiple of 17?
False
Let o(m) = 5*m**2 + 4*m - 3. Let p be o(1). Suppose -a + p*a = -5. Is 10 a factor of a/(-3) + 212/12?
False
Let i = -253 + 295. Does 6 divide i?
True
Let v be (3/4)/((-10)/(-280)). Let i be (-2 + 0)*117/18. Let z = v + i. Does 4 divide z?
True
Let r(x) = 9*x**2 - 44*x - 1. Does 2 divide r(5)?
True
Let r(d) = -d**3 - 7*d**2 + 12*d - 8. Let v be r(-9). Let l = -31 + v. Is 864/l - (-2)/5 a multiple of 21?
False
Suppose -3*o - q + 110 = 0, 7*q - 9*q = -3*o + 95. Let c = o + 35. Is c a multiple of 14?
True
Let j(g) = 9*g**2 - 7*g - 40. Is 11 a factor of j(-4)?
True
Let o(n) = -n**3 - n**2 + 502. Let z be o(0). Suppose 287 = 3*b + t, -4*b + z - 113 = -5*t. Does 16 divide b?
True
Does 21 divide ((-9)/(-27))/(7/81942)?
False
Suppose -22*d + 2628 = -11056. Is d a multiple of 19?
False
Let x = -678 - -936. Does 3 divide x?
True
Let v be (3 + -9)*(-3)/(-9). Let p be (-322)/(-4) - 1/v. Suppose -b = 3*z - 5*b - 116, -3*b + p = 3*z. Is z a multiple of 16?
True
Let r = 451 + 891. Does 55 divide r?
False
Suppose l = 5, -o - 54 = 4*l - 13. Let m = o - -93. Let w = -16 + m. Does 9 divide w?
False
Let s be (1 + 1)*(-98)/4. Let h be 0 - -2 - (-1 + s). Suppose -y - 4*p = 3*y - h, 3 = p. Is y a multiple of 10?
True
Is 4 a factor of 7 + (5 - (-8 + -324))?
True
Let i(g) = 2*g**2 - 16*g + 3. Does 3 divide i(-4)?
True
Let p be 21 - (-4 + (-4 - -12)). Let z = p - 7. Does 3 divide z?
False
Let x(j) = -2 + 4*j + 0 - 5*j. Let t be x(-5). Suppose 54 = t*v - 66. Does 20 divide v?
True
Suppose 153*p = 136*p + 26384. Does 33 divide p?
False
Suppose 0 = f + 4*u - 284, -57*f + 822 = -54*f + 2*u. Is 3 a factor of f?
False
Let a be (-36)/(-8) + 4/(-8). Suppose 39 + 15 = -2*j - a*z, 4*j + 2*z + 96 = 0. Let t = j - -65. Does 14 divide t?
True
Let b = 140 - -75. Is 27 a factor of b/4 - (-4)/16?
True
Let d(b) = -4*b - 51. Let r be d(-14). Suppose r*f - 355 = 125. Is 8 a factor of f?
True
Suppose 0 = s - 5*o - 245, -3*s - o + 1074 - 291 = 0. Is s a multiple of 17?
False
Let b be (24/5)/((-12)/40). Let s be (b - 0)*126/36. Is s/10*(-40)/16 a multiple of 14?
True
Let j = 2488 - 1631. Is j a multiple of 15?
False
Let x be 1 + -4 - (2 - 21). Suppose 2*i - 4*q - x = 0, q + 0*q = -4. Suppose 2*s = a - 42, a = -2*s - i*s + 22. Is 16 a factor of a?
True
Let x(u) = u**2 + 4*u + 4. Let g be x(-4). Suppose -z - 4 = 0, -g*w - z - 2*z = 0. Suppose 5*y - 108 = w*y. Does 9 divide y?
True
Let b(k) be the second derivative of k**5/10 - 13*k**4/12 + 2*k**3 - 13*k**2/2 + 12*k. Is b(6) a multiple of 11?
False
Suppose 3*g - 3 = -9. Is 22 a factor of ((-6)/(-9))/(g/(-372))?
False
Let q(g) = 13*g**2 + g**3 + 0*g**3 - 9*g**2 + 6*g - 10*g**2. Is 6 a factor of q(6)?
True
Let x(c) = -c**3 - 6*c**2 - c - 3. Let j be 105/(-14)*(-4)/(-5). Let w be x(j). Does 16 divide 32 - (0 + w/3)?
False
Let i(n) = -2 - 4 + 2*n**2 - 4*n + 2. Does 12 divide i(-2)?
True
Suppose 0*m + 20 = 5*m. Is (m/(-5))/(4/(-270)) a multiple of 14?
False
Let n(v) be the first derivative of 2*v**3/3 - 11*v**2/2 + 9*v + 5. Let p be n(7). Suppose 0 = a - 4*i - p, 0 = a + i + 6 - 51. Does 21 divide a?
True
Let h(z) = -6*z + 160. Is h(9) a multiple of 7?
False
Let v = 8 - 2. Let m = -21 + v. Is 19 a factor of (-24)/m*65/2?
False
Suppose 30 = -d + 2*d + 5*x, 0 = -5*d - 2*x + 35. Suppose 0 = -d*s - 4*b - b + 715, 0 = 4*b - 16. Is 16 a factor of s?
False
Suppose -4*q - 28 = -4*p, 9*q + 11 = 2*p + 4*q. Suppose -p*a + 3*a = -225. Is a a multiple of 15?
True
Let r(f) = 2*f**2 + 5*f + 9. Let a = -54 + 48. Is 17 a factor of r(a)?
True
Let c = 147 - 145. Suppose -2*d + 49 = i, -9*i + 4*i + c*d = -293. Is i a multiple of 11?
False
Suppose -4*n + 416 = 9*n. Is 4 a factor of n?
True
Let p(h) = 3*h + 4. Let c be p(-4). Let b be 9 - 3/((-21)/(-28)). Let q = b - c. Does 3 divide q?
False
Let y = 201 - 177. Does 8 divide y?
True
Let c be (4 - 8) + -2 + 10. Suppose -c*o = -5*o + 106. Is 18 a factor of o*(-4 - (-36)/8)?
False
Let j = 40 - 32. Let q = 157 + j. Is 40 a factor of q?
False
Suppose 2*u + 7 = 5*l, 4 = -4*l + u + 9. Suppose -3*w + 3*y + 63 = 0, -l = w + 4*y - 27. Is w a multiple of 12?
False
Suppose -36*j = -33*j - 24. Suppose 4*c - j = 8, -c + 89 = 5*o. Is o a multiple of 17?
True
Let i be (-627)/121 + 4/22. Let v be (-2)/i - (-46)/10. Suppose -229 = -v*t + 2*f, 3*t = 5*t + f - 88. Is 17 a factor of t?
False
Let t = -954 - -1539. Is 13 a factor of t?
True
Let n(o) = o**3 - 1. Let h be n(1). Suppose -d = -2*d + 4. Suppose h = 9*z - d*z - 120. Is z a multiple of 8?
True
Let f = 45 - 64. Suppose -5*k = -k - 3*x + 166, 3*x = 5*k + 209. Let l = f - k. Is l a multiple of 24?
True
Suppose 1280 = 4*t - 692. Suppose 5*p = 1938 - t. Does 15 divide p?
False
Let c be -3 - -4 - 11 - -4. Let x(s) = -s**2 - s - 11. Let n be x(c). Let j = -23 - n. Is 9 a factor of j?
True
Let d(w) = 50*w**2 - 5*w - 1. Is d(-6) a multiple of 31?
True
Suppose 34*c - 14050 = 9*c. Is 36 a factor of c?
False
Let g(r) = 283*r**2 - 23*r + 23. Is 27 a factor of g(1)?
False
Let q be -2*(-263)/3*(-6)/(-4). Suppose -3*x + 5*d = -q, -4*d + 460 = 5*x + 34. Does 11 divide x?
False
Let r = -35 - -2. Let h = -3 - r. Suppose 3*b - 5*b = -h. Does 4 divide b?
False
Let m = -100 + 106. Suppose k - m*k = -2100. Is 46 a factor of k?
False
Let d = 719 - -175. Does 5 divide d?
False
Suppose -2*b + 336 = -0*b + 5*r, -4*r + 174 = b. Suppose y = l + 64, 5*y - b = -3*l + 130. Is y a multiple of 20?
True
Let i = -798 + 1983. Is i a multiple of 77?
False
Suppose -w + 1 = -5. Suppose -2*g = -5*g + w. Suppose -g*h = -h - 42. Is 9 a factor of h?
False
Suppose 5*m = 5, -5*z = -0*z - 2*m - 413. Let t = z - -14. Is 15 a factor of t?
False
Suppose -20*x + 33*x - 1846 = 0. Is x a multiple of 5?
False
Let c(o) = o**3 - 10*o**2 + 3*o - 2. Let k(m) = -m + 3. Let i be k(3). Suppose i = -5*w + 10 + 40. Is c(w) a multiple of 11?
False
Suppose -3*j - 19 = -4*k, 0*k = -4*k - j - 1. Is 1/k + 10 + -3 a multiple of 4?
True
Let l(o) = o**3 + 13*o**2 - 41*o - 88. Is l(-15) a multiple of 5?
False
Suppose 3*l = 289 - 937. Let m be (l/63)/((-2)/7). Suppose f - 4*z = -0*f + m, 4*f - 3*z - 61 = 0. Is 5 a factor of f?
False
Suppose 0 = 10*c + 10*c - 49560. Is c a multiple of 42?
True
Let n be -3*1 - (-4 + -5). Suppose 9 = n*b - 9. Does 2 divide b?
False
Suppose -684 = 13*y - 32183. Is 16 a factor of y?
False
Let r be (2/4)/(14/168). Suppose v - 4*p = -2*p - r, 3*v + 3 = p. Suppose v = o - 4*o + 3*d + 60, 5*d = -5*o + 80. Is 18 a factor of o?
True
Suppose -w - 4 = 0, 5*y + 4*w = 8*w + 41. Is 448/y - ((-17)/5 - -3) a multiple of 30?
True
Let m = -15 + 18. Suppose 0 = 4*v - l - 107, v + v + m*l = 43. Does 13 divide v?
True
Suppose -6*t = 40*t - 22080. Is t a multiple of 6?
True
Let x(m) = 30*m + 4. Let i be x(4). Let w(r) = 7*r**2 + 1. Let g be w(-5). Let f = g - i. Is f a multiple of 15?
False
Suppose -3*f = 2*q - 32, -2 = 2*q + 2*f - 32. Let u = q - -33. Does 23 divide u?
True
Let r = -34 + 30. Let n(m) = 3*m**2 - m - 6. Does 18 divide n(r)?
False
Let r = -452 + 718. Does 71 divide r?
False
Suppose 174 = 5*a - 2*b - 176, -3*a = 3*b - 189. Suppose -239 = -3*y - a. Is y a multiple of 15?
False
Suppose -47*q + 20 = -49*q. Let k(d) = -6*d + 12. Is k(q) a multiple of 24?
True
Suppose 83*g - 80*g = 12. Suppose -906 + 166 = -g*b. Is b a multiple of 11?
False
Let q = 8 + 23. Does 2 divide q?
False
Let x(c) = 4*c**2 - 11*c + 12. Is x(-6) a multiple of 6?
True
Let v(a) = 5*a**2 - 1. Let c be v(-1). Let y(f) = -3*f**2 + 6*f - 4*f + c*f**2. Is y(-6) a multiple of 6?
True
Let q = -15 + 5. Let z = q - -10. Suppose -3*p + 9 = z, 4*i + p = -i + 118. Is 6 a factor of i?
False
Suppose 6*k - 8*k = -720. Is 36 a factor of k?
True
Suppose 5149 = 10*i - 701. Is i a multiple of 29?
False
Let q = 0 - -23. Let n(f) = f**3 - 3*f**2 - 4*f - 2. Let g be n(4). Does 6 divide q - (2 - (8 + g))?
False
Let t = 3 - -