5. Is d a multiple of 4?
True
Suppose -3*a - 39 = 78. Let i = a - -44. Suppose 2*g - 19 = -k, -i*g = -2*k - 0*g + 20. Is 5 a factor of k?
True
Let u(r) = 3*r - 1. Let h be u(2). Suppose 2*t = -3 - 3, 5*t = -h*y. Let m = 37 - y. Does 7 divide m?
False
Suppose -2*f + 12 = -t, t - 38 = -4*f - 4*t. Let y(n) = -n**3 + 10*n**2 - 9*n - 8. Is y(f) a multiple of 26?
False
Suppose -h + 11*h - 1080 = 0. Is 11 a factor of h?
False
Let l(x) = 36*x - 15. Let j be l(4). Suppose 2*m + v = j, -4*v = m - 29 - 39. Is 21 a factor of m?
False
Let x(r) be the first derivative of 11/3*r**3 - 14*r - 5/2*r**2 - 2 - 1/4*r**4. Is 12 a factor of x(10)?
True
Suppose -5*f = -2*f + 9. Let k(g) = -10*g + 7. Let j be k(f). Suppose 11 = r - j. Does 10 divide r?
False
Suppose -864 = -19*y + 16*y. Is y a multiple of 12?
True
Let a(q) = 2*q**2 + 25*q + 11. Let k be a(-14). Suppose -58*p + 285 = -k*p. Does 7 divide p?
False
Let x = 23 - 24. Is 12 a factor of 0/x + 25 + -3?
False
Let f(p) = p**3 + 15*p**2 - 16*p - 26. Does 15 divide f(-15)?
False
Suppose -5*r - 2*h = -11326, -4*r - r = h - 11328. Is 8 a factor of r?
False
Let s(g) = 7 + 4*g - 1 - 10. Let c be s(2). Suppose -3*p + 19 = 3*u - 4*p, 2*p - 12 = -c*u. Does 5 divide u?
True
Let r(n) be the first derivative of 6 + 2*n - 1/2*n**4 + n**2 + 4/3*n**3. Is r(-3) a multiple of 26?
False
Suppose 5*h = -5*b - 465, -3*h - 5*b - 377 = h. Suppose 3*w = 0, n - 4*n - 3*w = 156. Let f = n - h. Does 13 divide f?
False
Let v be (-6)/12 + 1/2. Suppose 5*b + 2*r - 257 = 0, r - 1 + 0 = v. Does 17 divide b?
True
Let l = -75 - -77. Suppose 0 = l*u + 5*q - 99, 5*q - 2*q = 3*u - 117. Is 6 a factor of u?
True
Suppose 11585 = 33*d - 9106. Does 9 divide d?
False
Let f(n) = 88*n + 1. Let o(r) = r + 1. Let x(t) = f(t) - 2*o(t). Does 17 divide x(1)?
True
Let a be (0 - (-2 - 1)) + (0 - -24). Suppose 2*c - a = -i, -8 - 4 = 3*c. Is 7 a factor of i?
True
Let s(n) be the second derivative of n**5/4 - 5*n**4/12 + 4*n**3/3 - 5*n**2/2 - 18*n. Is s(3) a multiple of 40?
False
Let q be (-15)/9 - 12/(-18). Let k be 3/((-6)/4*q). Suppose k*d - 11 - 3 = 0. Is d a multiple of 7?
True
Let s(t) = -t**2 - 8*t + 9. Let m be s(-9). Suppose m = 5*h - 271 - 254. Is (-8)/(-6)*-3 + h a multiple of 15?
False
Let c(d) = -69*d - 195. Is 27 a factor of c(-6)?
False
Suppose -3 - 9 = 3*g. Let y(q) = -q**3 - 7*q**2 + 5*q - 1. Let s be y(g). Does 22 divide (-4)/(8/6) - s?
True
Suppose 0 = -u - 6 - 26. Let j = u - -133. Is j a multiple of 11?
False
Suppose 4*u + k = -u + 292, 298 = 5*u - k. Does 9 divide u?
False
Suppose -6*z + 261 = -57. Does 5 divide z?
False
Suppose -3*w + 263 = -28*x + 23*x, -3*x - 358 = -4*w. Is 7 a factor of w?
True
Suppose 2*n - 8 = -2. Suppose 4*w = -4*g + 44 + 36, -16 = -w + n*g. Is w a multiple of 4?
False
Is ((-847)/(-14))/(8/48) a multiple of 14?
False
Suppose -i = i + 2*q + 92, -1 = -q. Let l = i + 129. Is 16 a factor of l?
False
Let f(x) = 3*x - 2 - 4*x + 4*x + 10. Let a be f(-6). Let w(i) = i**2 + 4*i - 10. Is 25 a factor of w(a)?
True
Suppose 391 + 379 = 7*l. Is 11 a factor of l?
True
Let n(k) = 15*k + 195. Does 5 divide n(21)?
True
Suppose -17 = -k - 15. Does 11 divide 268/8 + (-1)/k?
True
Let y(m) = -m + 7. Let j be y(3). Suppose -3*b - 9 = 3*v - 93, j*v = -3*b + 86. Does 15 divide b?
False
Let v(a) = -a**2 + a + 1. Let w(r) = r**3 + 2*r**2 - 5*r - 6. Let b(g) = 3*v(g) + w(g). Let p be (-2)/(-4)*(12 + -6). Is b(p) a multiple of 6?
False
Suppose -8*x - 4 = 12. Let q(w) = -7*w + 10. Does 6 divide q(x)?
True
Is 260 - 1 - (-1)/(-3)*0 a multiple of 20?
False
Let s(l) = -182 + 2*l**2 + 2*l**3 - 3*l**2 + 175. Does 31 divide s(4)?
False
Let y(f) = f**2 - 15*f - 134. Is y(33) a multiple of 17?
False
Let r = 2 - 0. Let c be r/(-9) - (-2)/9. Suppose c = 4*i - 0*u + 2*u - 216, 5*u + 20 = 0. Is 12 a factor of i?
False
Let q(c) = -6*c**2 + 3. Let m be q(-5). Is 6 a factor of (24/14)/(6/m*-7)?
True
Let d be 24088/(-24) + (1 - -4)/(-15). Let z(l) = -l**2 - l - 2. Let g be z(5). Is 14 a factor of d/(-18) - g/144?
True
Let k(q) = 2*q**2 + 4*q + 2. Let v be k(4). Suppose -2*n + 5*n + 3*z - 135 = 0, 0 = 2*n - z - 99. Let d = n + v. Is 14 a factor of d?
True
Let v = -34 + 32. Is -1 - 2 - -82 - v a multiple of 14?
False
Let o be 4/(-10) - ((-108)/5)/4. Suppose 5*f + 5*w - 92 = 4*w, -5*f + o*w = -80. Does 18 divide f?
True
Let v = -841 + 2214. Is v a multiple of 61?
False
Suppose 4*w - 2*o - 10 = 6*w, 1 = -w - 5*o. Is 44 a factor of ((16/w)/4)/(4/(-1056))?
True
Suppose -5*k - 4*s = 67, 5*s + 4 = 2*k + 11. Let z(v) = v**2 + 9*v - 6. Is z(k) a multiple of 13?
False
Let u(p) = 4*p**2 + 2*p + 3. Let a be u(3). Let l = a - -10. Is 11 a factor of l?
True
Let k = 175 - 116. Suppose 7*g - k = 298. Does 7 divide g?
False
Let j(u) = -u**2 - 8*u + 22. Let c be j(-10). Suppose 0 = -c*b - 2*b - 3*o + 317, 3*b - 3*o - 243 = 0. Is b a multiple of 40?
True
Suppose -4*c - 4*j + 28 = 0, -j + 17 = 2*c + 4*j. Let s(x) = 32*x + 7. Let w be s(c). Suppose 5*a + 2*q = 184, 0 = -4*a + 3*q + w - 38. Is a a multiple of 15?
False
Let b(v) = 1. Let z(y) = 4*y + 9. Let d(m) = 3*b(m) + z(m). Is 26 a factor of d(8)?
False
Suppose -24*s + 16*s + 5248 = 0. Is 8 a factor of s?
True
Suppose 6*o - 172 = o - z, -z - 73 = -2*o. Let u = 5 + o. Is 8 a factor of u?
True
Let r = 27 - -30. Suppose r + 30 = 3*z. Does 20 divide z?
False
Is 60 a factor of (7/((-14)/6))/((-5)/1235)?
False
Suppose 63*v - 35055 = 70785. Is 70 a factor of v?
True
Suppose 8*i + 28 = k + 9*i, 0 = 4*k + 2*i - 118. Does 14 divide k?
False
Let q be (-1)/(-3) + (-82)/(-6). Let u be (-6)/(-4) - (-4)/8. Let f = q - u. Is 7 a factor of f?
False
Let u = 480 - 249. Does 11 divide u?
True
Let s = -515 - -759. Let o = s - 135. Is o a multiple of 16?
False
Let q(g) = g**3 - 14*g**2 - 21*g + 17. Let o = -19 - -35. Is q(o) a multiple of 45?
False
Let r be 2 + (3 - (-1 - -2)). Suppose 28 = -3*l - 5*i, -2*l - 23 + 1 = r*i. Does 4 divide (-3 + 5 + l)*12?
True
Let y = 266 + -12. Is 21 a factor of y?
False
Let q = -24 - -30. Let x be (80/q)/(6/18). Let m = -10 + x. Does 12 divide m?
False
Let g(q) = 31*q**2 + 7*q + 6. Is 4 a factor of g(-2)?
True
Let k = 13 + -9. Suppose -4*i + 4 = -k*u, 1 = -u - 0*u - 4*i. Let c = u + 14. Is 4 a factor of c?
False
Suppose -4*v + 3*v = -42. Let p be 9/(27/v) + -3. Let l(f) = -f**2 + 13*f + 4. Is l(p) a multiple of 6?
False
Suppose 0 = -24*r + 25*r - 260. Is 26 a factor of r?
True
Let h = 1561 - 1497. Is 32 a factor of h?
True
Suppose -3*c + 2*c + 6 = 0. Let l(s) = -25*s - c + 34*s - 15*s. Is 7 a factor of l(-6)?
False
Let f(x) = 3*x**3 + 41*x**2 - x + 11. Is f(-11) a multiple of 2?
True
Let c = -42 - -77. Let x = -21 + c. Does 7 divide x?
True
Suppose -3*o = 11 - 2, -3*v + 33 = -4*o. Let h = -1 + 2. Let b = v - h. Is b a multiple of 6?
True
Suppose -5*v - 2*t - 2*t = -38, -2*v + t = -10. Suppose 3*o = 3*k + 528, -4*k + 714 = 4*o - v*k. Is o a multiple of 17?
False
Let g = 45 + -13. Let t = 33 - g. Does 15 divide t - ((-12)/(-3) + -69)?
False
Suppose 7 = -4*w + 3*d, 0 = -4*w + d - 0*d + 3. Suppose -74 = z - w*z. Is z a multiple of 22?
False
Suppose 3*j = -3, -3*s + 7 + 10 = -2*j. Suppose -89 = -3*w + 2*m, 2*m = -s*w + 75 + 68. Is w a multiple of 3?
False
Let x = 146 - 58. Let k = 204 - x. Is 29 a factor of k?
True
Let a = -2 + 8. Suppose -a*l + 4*l = -4. Suppose -5*h + 24 = -l*h. Is h a multiple of 7?
False
Let q be 7/(7/5) - 2. Suppose -3*d = f - 50 - 104, -473 = -q*f + 2*d. Is f a multiple of 26?
False
Let g = -33 + 1209. Does 50 divide g?
False
Is 38 a factor of -2 + (-1502)/(-4) + 1/2?
False
Suppose -d = 3, 0 = 10*r - 7*r - 5*d - 984. Does 40 divide r?
False
Suppose -214 - 2690 = -8*j. Is j a multiple of 42?
False
Let f(x) = 2*x**3 - 6*x**2 + 7*x - 1. Let j be f(2). Suppose 34 = -j*v + 89. Does 11 divide v?
True
Suppose -3*k + 0*k - a + 131 = 0, -4*a = k - 40. Does 9 divide k?
False
Let p be ((-17)/(-3))/((-8)/(-96)). Suppose 9*y - p = 58. Is y a multiple of 10?
False
Suppose -2*h + 3280 + 288 = 5*s, 5*s - 5*h = 3575. Is 17 a factor of s?
True
Let i = -210 - -353. Let h = i - 83. Is h a multiple of 5?
True
Let m be (-34)/4 + (-6)/4. Let t = 15 + m. Is (2 + -3)/((-1)/t) a multiple of 2?
False
Suppose 0 = -12*w + 695 + 505. Does 53 divide w?
False
Suppose -15*y - 3 = -16*y. Suppose 5*k - 11 = -y*l, 2*l = 5*k + 3 - 4. Is 