5. Suppose g = 3*t - t - 58. Does 4 divide t?
False
Suppose -32 - 33 = -5*l. Let m = l - 10. Suppose 12 = m*v + a + 3*a, 3*v = -a + 12. Does 4 divide v?
True
Let n = -42 + 39. Does 15 divide n - (4 + (-55)/1)?
False
Suppose -5*b + 985 = v, -b - 60 = -v - 263. Is b a multiple of 22?
True
Let g(z) = 229*z**2 + 9*z - 9. Is 103 a factor of g(3)?
False
Let g(q) = -17*q**3 + q**2. Let l be g(-1). Let d = 14 - l. Is 26 a factor of (d/6)/(4/(-654))?
False
Suppose -6*u = -2*u + 152. Let c = u - -68. Is 2 a factor of c?
True
Let t(i) = i**3 - 7*i**2. Let l = 31 - 24. Let s be t(l). Suppose s*o - 168 = -6*o. Does 7 divide o?
True
Does 11 divide (-112)/1*-4 - (4 - 4)?
False
Let d be (-50)/(-12) - 3/18. Suppose -3*g + 434 = 4*o, d*g - 800 = -o - 204. Is g a multiple of 30?
True
Let t = -86 + 74. Let l = 0 - t. Is l a multiple of 3?
True
Suppose -21*j + 4320 = 19*j. Does 15 divide j?
False
Let v(z) = -z**3 - 4*z**2 - 8*z - 5. Let x be (-15)/(-35) + 135/(-21). Does 23 divide v(x)?
True
Let a be -3 - (140/(-10))/((-2)/(-1)). Suppose m + a*x = 344, -4*x + x + 348 = m. Is m a multiple of 36?
True
Suppose -60*f = -61*f + 64. Does 4 divide f?
True
Let d = 8813 + -6198. Is 34 a factor of d?
False
Suppose -12*m = -37794 - 17646. Is 70 a factor of m?
True
Let y = -11 - 1. Let b(x) = -4*x - 27. Does 11 divide b(y)?
False
Suppose 0 = -54*r - 12*r + 7260. Is 11 a factor of r?
True
Suppose -4*c + 10 = -2*w, -5*c + 5*w + 16 = 6*w. Is 22 a factor of 1/(c/342) + -4?
True
Let g = -355 - -409. Is g a multiple of 8?
False
Suppose 0 = -24*c + 20*c + 6392. Is (c/(-17))/(-2 + (1 - 0)) a multiple of 13?
False
Is (-16)/24*(-2133)/6 a multiple of 36?
False
Let o = 1570 + -923. Is 40 a factor of o?
False
Let w = -3 - 15. Let h = w + 33. Is 15 a factor of 91/3 + (-5)/h?
True
Let l be -2 + 3 - (-5 + 6). Suppose -5*u + 15 = 2*o - l*o, -o = -2*u + 6. Suppose -2*w - u*j - 276 = -7*w, 2*w - 3*j = 114. Does 11 divide w?
False
Let j = -85 - -122. Suppose -j*r = -32*r - 135. Does 15 divide r?
False
Is 13 a factor of (20/(-12) - 5)*-39?
True
Let a(x) = -x**3 - 8*x**2 + x + 11. Let n be a(-8). Suppose n*h = -19 + 91. Does 6 divide h?
True
Suppose 5*b - 242 = -17. Suppose b = 4*d + d. Is 8 a factor of 24/d*(3 + 0)?
True
Let p(k) = -2*k**3 + 3*k**2 + 8*k + 9. Does 6 divide p(3)?
True
Let g be (72/(-42))/(2/(-14)). Let i be 8/1 - 36/g. Does 5 divide 6 + i + -2 + -1?
False
Suppose 0 = 19*i - 12*i - 245. Does 2 divide i?
False
Let a = 38 + -40. Let v = 23 + a. Does 7 divide v?
True
Is 13 a factor of 19435/15 - 3/(-9)?
False
Let d(v) = -4*v + 14. Let j be d(4). Does 18 divide j/5*(-44 + -1)?
True
Is 3 a factor of 5/55 - 3782/(-22)?
False
Let z = 2406 + 524. Is z a multiple of 12?
False
Suppose -4*j = -0*j - 48. Let r = -5 + j. Let v(z) = z**3 - 7*z**2 + 5*z - 8. Is 11 a factor of v(r)?
False
Suppose -6 = -w + 3*l + 19, -40 = -5*w - 2*l. Let z = 42 - w. Does 4 divide z?
True
Let y be (-30)/4*6/(-9). Let q(z) = 0 - 2 - 8 - 1 + 11*z. Is 22 a factor of q(y)?
True
Suppose -6*s = -17 - 163. Is s a multiple of 5?
True
Let a be (-20)/(-60) - (-1312)/6. Suppose 2*s + 2*i - 3*i = a, 5*s - 531 = -3*i. Does 27 divide s?
True
Let b(m) = 2 - 37*m**3 - 4*m + 38*m**3 + m**2 + 2 - 5*m**2. Let y be 6 + -2 + (-3 - -5). Does 13 divide b(y)?
True
Let l(d) = -d**2 - 4*d - 4. Let c be l(-2). Let i be (c - -1)/(1/27). Suppose 117 - i = 3*v - 4*h, h - 150 = -5*v. Does 25 divide v?
False
Suppose -3*y + 6 = -0. Let v = 682 + -712. Is 6 a factor of y - v/(-5) - -58?
True
Suppose -3*f + 445 = -149. Let t = f - 134. Is t a multiple of 32?
True
Let a = -22 - -23. Let o be a*(-4)/(-12)*3. Is 9 a factor of o - 36/(-2) - 1?
True
Let s = 900 + -1364. Let k = -212 - s. Does 45 divide k?
False
Suppose -8*n + 25 = -7*n. Is n a multiple of 2?
False
Suppose 4242 = 5*u - 251*d + 249*d, 0 = 2*u - d - 1696. Is 20 a factor of u?
False
Let t be -86*((-9)/(-6) - 2). Let h be 2/(-6) - (5005/(-21))/(-11). Let q = t - h. Is 13 a factor of q?
True
Let o(f) = -2*f + 41. Let c(s) = -s + 39. Let l(y) = -7*c(y) + 6*o(y). Is 4 a factor of l(-13)?
False
Let o(c) = 12*c**3 - c + 1. Let g be 3*-1*20/(-15). Suppose -9*z + g = -5*z. Is 6 a factor of o(z)?
True
Suppose -3*d + 1 - 4 = 0, -3*u - 105 = 3*d. Does 17 divide u/(((-2)/(-6))/(6 - 7))?
True
Let s(r) = r**3 + 5*r**2 - 16*r - 4. Let b be s(-8). Let q = 2 - b. Is 10 a factor of q?
True
Let l(s) = -s**2 - 8*s - 1. Let p be l(-7). Let n be 9/(-6)*(-20)/p. Suppose -n*o + 200 = 40. Is o a multiple of 16?
True
Suppose -4*x = 12, -x = 3*f + 28 - 106. Let n = f - 5. Is n a multiple of 5?
False
Suppose -j + 79 = -119. Does 17 divide j?
False
Does 31 divide (-8)/20 + 16094/10?
False
Suppose -4*y + 133 = -4*m - 19, 2*m = 4*y - 70. Is (0/(-1) - m)*(3 + -2) a multiple of 5?
False
Let i = 5601 - 3214. Is 77 a factor of i?
True
Suppose 53*u - 18720 = 29*u. Is u a multiple of 15?
True
Suppose l = -195 + 1309. Does 41 divide l?
False
Suppose 0 = p - 6 + 1. Suppose 183 = 3*u + f, 0 = -u - 4*u - p*f + 315. Is u a multiple of 6?
True
Suppose -2 = -5*g + 6*g, 3*j + 5 = -4*g. Is j*30 + 4 + 0 + -2 a multiple of 16?
True
Let y be 12/9*3/2. Suppose y*g = -g + 57. Is g a multiple of 5?
False
Suppose 6*k = 16 - 4. Is 18 a factor of 1962/36 + k/4?
False
Suppose -3*a = -73 - 20. Suppose 4 = k - 1. Let y = a - k. Is y a multiple of 7?
False
Let r be (-323)/(-3) + 4/(-6). Suppose 2*i - r + 17 = 0. Does 14 divide i?
False
Suppose 17*l - 624 = 9*l. Is 13 a factor of l?
True
Let z(y) = 8*y**2 - y + 231. Is z(-11) a multiple of 55?
True
Suppose -5*r - t = 1101, 2*r - 4*t = -3*r - 1096. Let z be 3 - (r/4 - 2). Suppose -o - o = -z. Does 6 divide o?
True
Let h = -1 - 9. Let a = h - -16. Suppose -155 = -5*p + 5*q, -2*p + 58 = -a*q + 2*q. Is p a multiple of 8?
False
Let k = 4989 - 2814. Is k a multiple of 15?
True
Suppose -12*k = -2*k - 1320. Suppose -88 - k = -5*b. Does 11 divide b?
True
Suppose 4761 = -484*v + 487*v. Is 69 a factor of v?
True
Let j = -4 - -6. Suppose j*y - 4*y = -3*s - 18, 0 = -2*y - 5*s + 34. Let n = y + 70. Is n a multiple of 22?
False
Let h(m) = 2*m**2 - 4*m - 5. Let p(r) = -3*r**2 + 7*r + 11. Let d(v) = 5*h(v) + 3*p(v). Let u be d(0). Does 9 divide 35 + u/(-6 + 2)?
False
Suppose 76*o - 2046 = 70*o. Is o a multiple of 27?
False
Let y = 201 - 109. Does 46 divide y?
True
Suppose -5*n = -2*b + 18, 4*n + 4 = -b - 0*n. Let a = b - -1. Suppose a*i - 68 = 52. Is 15 a factor of i?
False
Does 65 divide 3 + -2 + 6040/8?
False
Let w = -10 - -10. Suppose w = -m - 3 - 3. Is 14 a factor of m/15*(-190)/2?
False
Suppose -4*t - t + 9372 = 3*z, 4*z = -2*t + 3760. Is 42 a factor of t?
False
Suppose 1872 = 55*k - 46*k. Is 13 a factor of k?
True
Does 10 divide (3 + (-1035)/12)*(-16)/6?
False
Suppose -13*g = -22*g + 270. Suppose -27*n = -g*n + 162. Is 3 a factor of n?
True
Suppose 0*q - 4*q + 140 = 4*j, 3*j = 2*q + 110. Let k = 78 + -8. Let t = k - j. Is t a multiple of 10?
False
Suppose 636 = 5*j - 2004. Is 8 a factor of j?
True
Suppose 5*p - 2*t = 695, -3*p + 417 = -0*p + 3*t. Suppose 3*s = 23 + p. Is 18 a factor of s?
True
Let q(x) = -x**2 - 9*x + 1. Let r(h) = -5*h - 12. Let s be r(-5). Suppose -2*l - 3*c - s = 6, -5*l - 19 = -2*c. Does 16 divide q(l)?
False
Let z(d) = -23*d - 41. Suppose -5*i + u - 5*u = 43, -4*i - 26 = -u. Is 20 a factor of z(i)?
True
Suppose 0 = 45*y - 40*y - 25, -4*y = 4*z - 6896. Does 5 divide z?
False
Let l(k) = k**3 - 62*k**2 + 21*k - 259. Is l(62) a multiple of 90?
False
Let n(u) = -285*u + 5. Let l be n(-2). Suppose 0 = -2*j - 3*j + l. Is 19 a factor of j?
False
Let a(v) = -24*v**3 - 4*v**2 - 2*v. Does 9 divide a(-2)?
True
Let y(r) = 4*r - 20. Let t = 7 + 6. Is y(t) a multiple of 32?
True
Let s(r) = 4*r**2 - 4*r. Let g be s(3). Suppose -g = 3*l - 4*l. Let x = l + 32. Does 28 divide x?
True
Suppose 0 = -4*b - 4*n + 692, -43 = -5*b - n + 810. Suppose 0*k - k + b = 0. Is 34 a factor of k?
True
Suppose -12 + 0 = 2*z. Let a = 21 - z. Is 1 - (8/(-4) - a) a multiple of 15?
True
Suppose 29*t - 25210 = -8129. Is 17 a factor of t?
False
Let v = 310 + 642. Is v a multiple of 68?
True
Let l = 3 - 5. Let k be 7/1*(-5 + l). Let t = -9 - k. Is t a multiple of 18?
False
Let w(i) = 143*i**2 - 3*i - 1. Let n be w(-1). Suppose 3*z = n + 44. Does 9 divide z?
True
Let f(b) = 16*b + 16. Let z be f(-7). Let w be (-1*(0 + z))/1. Le