. Is r a multiple of 10?
False
Let m(q) = q - 1. Let u(g) = 5*g**2 + 32*g - 14. Let d(p) = -22*m(p) + 2*u(p). Is d(-6) a multiple of 17?
True
Suppose -28828 = -3*u - 143*c + 147*c, u - 3*c = 9596. Is 37 a factor of u?
True
Suppose 36 - 12 = 4*x. Let o be 2/(-4) + 7210/20. Suppose -x*c + o = 3*c. Is c a multiple of 20?
True
Does 111 divide ((-1)/2*23)/(84/(-29736))?
False
Let r(y) = -166*y + 419. Is r(-4) a multiple of 19?
True
Suppose 0 = -11*n - 0 + 55. Let k(m) = 86*m - 210. Is 44 a factor of k(n)?
True
Suppose -3*f = 21, 32*g - 34*g + 5*f = -63989. Is g a multiple of 56?
False
Let n(p) = 2*p + 17. Let o be n(-6). Suppose -184 - 316 = -o*l. Suppose l = 4*q + s - 133, s - 175 = -3*q. Is q a multiple of 6?
False
Let d(x) = 63 + x**2 - 15 + x - 26. Does 14 divide d(-5)?
True
Let w(y) = 407*y**2 + 76*y + 302. Is w(-4) a multiple of 57?
False
Suppose 0 = 4*u + 3*u - 49. Suppose -2*a = u*a - 4050. Is a a multiple of 10?
True
Suppose -2*o - 5*y - 9 = 0, y - 4*y - 24 = -5*o. Suppose 0 = 3*g + 4*l + 1, o*l + 11 = 3*g - 16. Suppose g*m + 0*m = 300. Does 11 divide m?
False
Suppose 0 = -44*t - 69*t + 449740. Is 10 a factor of t?
True
Let o(w) be the third derivative of w**6/60 + w**5/120 - w**4/2 + 5*w**3/2 + 15*w**2. Let h(p) be the first derivative of o(p). Does 7 divide h(3)?
False
Suppose 414 = 5*x - 4*u - 26, -2*u - 10 = 0. Does 5 divide -1 - (x/(-2) - (-5)/5)?
True
Let j(w) = -w**2 + 20*w - 44. Suppose -t = -3*t + 28. Is j(t) a multiple of 10?
True
Is 128*((-10)/(-2))/((-295)/(-1652)) a multiple of 16?
True
Let v(b) = b**3 - 23*b**2 + 80*b - 776. Is v(25) a multiple of 74?
False
Let o(z) = z**2 + 7*z - 1. Let w be o(0). Let y(i) = -258*i**3 - 3*i**2 + i + 2. Is y(w) a multiple of 22?
False
Let z be 195/27 - (12/27)/2. Suppose 0 = n - z*n + 24. Suppose n*p = -x + 96, 4*p + 228 = -0*x + 2*x. Is 9 a factor of x?
True
Suppose u - 80 = 166. Suppose 0 = -675*m + 677*m - u. Is 23 a factor of m?
False
Let h(w) = -w**2 + 7*w + 8. Let v(s) = 2*s**2 - 15*s - 15. Let d(q) = -7*h(q) - 3*v(q). Let j be d(6). Does 7 divide -21*(-8)/48*(9 + j)?
True
Suppose -96*k - 4*r = -100*k + 90308, r = -k + 22591. Is 12 a factor of k?
True
Suppose -z + 2*b - 29423 = -87305, -57882 = -z - b. Is 28 a factor of z?
False
Let c = 194 + -190. Suppose -k - 2*k = m - 1050, -c*m - 1416 = -4*k. Is k a multiple of 28?
False
Suppose 4*q + 5*y = -21, 3*q - y - 3 = 5*q. Does 40 divide (-3 - (q - 3))/(24/(-1776))?
False
Let f(p) = 32*p + 208. Let a(s) = 29*s + 208. Let m(o) = -6*a(o) + 5*f(o). Is m(-19) a multiple of 2?
True
Let m be (3 - (-4)/(-2))*(3 - 149). Let c = -108 - m. Is c a multiple of 7?
False
Let u = 16775 + -6695. Is u a multiple of 224?
True
Suppose -7*d - s - 12 = -5*d, -5*d + s = 16. Let g(y) = -240*y - 15. Does 21 divide g(d)?
True
Suppose 0 = -327*b + 333*b + 3534. Let q = -441 - b. Is q a multiple of 37?
True
Suppose -3*w - 15*w = -9738. Let j = 1243 - w. Is j a multiple of 9?
True
Let k(z) = 5*z**3 - 14*z**2 + 8*z - 8. Suppose -5*t = -w + 3 - 9, -8 = -4*t. Let b be k(w). Let x = b - 78. Does 14 divide x?
True
Suppose 2*s = -2*s - 8. Let m be 412/(-2)*-1*(-1)/s. Suppose -6*k + m = -47. Is k a multiple of 3?
False
Let f = -11191 + 63738. Is 17 a factor of f?
True
Does 18 divide (2 - (-20)/14)/(526070/35070 - 15)?
True
Is -6 + 497752/36 - 156/351 a multiple of 89?
False
Let m(z) be the second derivative of 4*z**4/3 + 14*z**3/3 + 56*z**2 + z + 25. Does 21 divide m(-7)?
False
Suppose 1040330 = 130*m + 424780. Is 91 a factor of m?
False
Suppose 3*t = -o + 147, -5*t - 216 = -4*o + 406. Does 11 divide o?
False
Let r(n) = -3*n**2 - 5*n**2 + 10*n**3 - 10*n**3 - 23 - 3 + 3*n + n**3. Is r(11) a multiple of 21?
False
Suppose -137*x = -250942 + 21056. Is 16 a factor of x?
False
Let u be (0 - 78/(-21)) + (-10)/(-35). Let x = u + 30. Let a = 49 + x. Is 11 a factor of a?
False
Let d(v) = -31 + v - 34 + 85. Let l be d(-20). Suppose 13*r + 179 - 1934 = l. Is r a multiple of 9?
True
Let p be 31 + (2 - 2) - 1. Let u be (-3702)/(-33) + 2/(-11). Suppose -u + p = -a. Is 15 a factor of a?
False
Suppose 0 = 3*c + 2 + 25. Let t = c - -13. Suppose 4*o - 6 - 14 = 0, -4*o = t*i - 152. Is i a multiple of 11?
True
Suppose -187*a + 193*a + d = 65022, -2*a + 21674 = -2*d. Is a a multiple of 20?
False
Let w = 23468 - 21628. Is w a multiple of 16?
True
Let w be 140/(-8)*(13/5 - 1). Does 7 divide 26*(-4)/(w/49)?
True
Let q = -427 - -356. Let i = q + 334. Is 4 a factor of i?
False
Suppose -1830*p = 3*c - 1832*p - 42021, -4*p = 2*c - 27998. Is c a multiple of 257?
False
Suppose 21*y - 6 = 23*y. Let k be ((-4)/y)/2*3. Suppose 0*l + l + 2*z - 88 = 0, k*z = l - 88. Is l a multiple of 11?
True
Let w(h) = -h**2 + 7*h + 8. Let y be w(7). Suppose -2*r + 12 = -y*r. Is 24 a factor of -64*((-52)/16 - 2/r)?
True
Is 98 a factor of (8/12)/(3/109368)?
True
Let k = 14 - 11. Let l = k + -5. Let i(u) = -6*u**3 + u**2 - 3*u - 4. Is 9 a factor of i(l)?
True
Let k = -4321 - -4857. Suppose -74 = -s - 4*l - 451, 0 = -5*s - 5*l - 1900. Let t = s + k. Does 40 divide t?
False
Suppose 16*h = -18*h + 6*h + 63140. Is 11 a factor of h?
True
Suppose -51*k + 80640 = 29*k. Is 32 a factor of k?
False
Let m = -16 + 53. Let r = m + -37. Suppose -y - 34 + 130 = r. Is 32 a factor of y?
True
Suppose m = -5, -2*m + 5*m = -4*t - 15. Suppose t = a + a - 9*a. Suppose -4*u = 3*f - 528, -u = 3*f - a*f - 132. Is u a multiple of 44?
True
Suppose 6*t - 2*t = -2*n + 10, n - 7 = -4*t. Suppose l = -l + 5*y + 23, -2*l - t = 3*y. Suppose -228 = -l*o + 300. Is o a multiple of 22?
True
Let z be 1 - -6 - (-10 - -12). Suppose 0 = -5*a - z*u + 202 + 818, -2*a + 3*u + 403 = 0. Does 4 divide a?
False
Suppose -1364*v = -1230*v - 990930. Is v a multiple of 8?
False
Let j = 9375 - 6653. Does 27 divide j?
False
Suppose -3*t = -a - 7, 4*a + 12 + 3 = -t. Let d(c) = 198*c - 2. Let l be d(t). Suppose -4*p - 200 = -3*n, n + l = 4*n - 5*p. Is n a multiple of 27?
False
Suppose 168187 = 29*y + 17039. Is 23 a factor of y?
False
Suppose 23393 = 2*w - 5*l, -4*w + 139*l + 46810 = 137*l. Is w a multiple of 77?
True
Suppose 159*t - 2859787 = 2170019. Is 34 a factor of t?
False
Suppose -250*m - 25*m + 36575 = 0. Let j(t) = 32*t - 5. Let s be j(4). Suppose -x - 2*x - s = -3*r, -x - m = -3*r. Is r a multiple of 46?
True
Suppose 4*u = -5*c - 94, 3*u + 2 = -3*c - 55. Is 40/(3 + (-1)/c*-50) a multiple of 5?
True
Let q(i) = 3*i**2 - 5*i + 7. Let u(n) = n**3 + 7*n**2 - 7*n + 10. Let f be u(-8). Suppose -f*a + 4*j = -2, -7*j = 5*a - 10*j + 9. Is q(a) a multiple of 15?
False
Suppose -2*k - 6 = -10, 4*n + k - 770 = 0. Let r = n - 40. Does 19 divide r?
True
Suppose 5*t = 820 + 1175. Suppose 3*h + 99 = s, -3*h - 102 + t = 3*s. Does 33 divide s?
True
Let a(c) = -c**2 + 40*c + 52. Suppose -20 = 5*u, 96 = 2*q - 2*u + 36. Is 8 a factor of a(q)?
True
Let i(z) = -4*z + 58. Let a be i(7). Let r = a - 28. Suppose -2 = 4*c + r, -n - 4*c + 8 = 0. Is n a multiple of 4?
True
Let b be ((-6)/(-12))/((-6)/(-3480)). Let v = b + -262. Is v a multiple of 4?
True
Let f = -49 + 44. Let o(b) = 14*b**2 + 14*b - 59. Let u(w) = -9*w**2 - 9*w + 39. Let l(k) = f*o(k) - 8*u(k). Is 15 a factor of l(5)?
False
Let f = 27 - -54. Is 11 a factor of f/1*1 + -4?
True
Suppose 0*j - 5*j = q - 11, 4*q + 4 = -4*j. Let x(u) = -35 + 78 - 2*u**2 - 12 + u**j + 29. Is 10 a factor of x(0)?
True
Let d = -109 - -114. Suppose 3*b - 140 = -5*y - 11, d*b - 215 = 5*y. Is 42 a factor of b?
False
Suppose -5*s - 35 = -5*f, -f = 5*s - s - 7. Suppose f*y = -262 + 1053. Does 24 divide y?
False
Does 69 divide (-6 + 877 - -11) + 15?
True
Suppose 5*y - 19*b + 14*b = 475, b = -5*y + 505. Is 18 a factor of y/28 + -3 + (-27680)/(-70)?
True
Let i = 193 - 154. Is i + -37 + (-4)/(8/(-66)) even?
False
Let a(v) = 33673*v + 2065. Is 34 a factor of a(2)?
False
Suppose -3*o = -1201 - 845. Let v = 1291 - o. Does 7 divide v?
True
Let p be 12/(-36)*2 + 226/6. Suppose -79 = -4*u + 2*g - 3*g, -2*u = 3*g - p. Is u a multiple of 6?
False
Let k = -6817 + 12550. Does 91 divide k?
True
Let t be 115/25 + -5 - (-1944)/(-15). Let j = t + 171. Is 9 a factor of j?
False
Suppose t - n + 106 = 2*n, -2*t + n = 197. Let y = t + 115. Does 9 divide y?
True
Let i = -318 + 29. Let g = 36 + i. Let s = g - -405. Is 38 a factor of s?
True
Suppose -4*m - 3*w - 48 - 31 = 0, -4*m - w = 69