a multiple of 5?
True
Let x be (4 - -8)*(-32)/(-6). Let i = x + -29. Is 16 a factor of i?
False
Let c(w) = w**2 - 11*w - 14. Suppose -33 = 3*j + 4*s, 2*j - 2*s = -5*s - 22. Does 22 divide c(j)?
False
Let f = -1161 - -1701. Is f a multiple of 15?
True
Let z = -10 + 14. Let l be (10/z)/((-4)/(-8)). Suppose 5*b - 2*v + 7*v = 210, 0 = -3*b - l*v + 136. Is 8 a factor of b?
False
Suppose -42*c + 31764 = -2886. Is 5 a factor of c?
True
Is 30 a factor of -7*20/(-210) - 3596/(-6)?
True
Let g be ((-4)/3)/(2 + 176/(-84)). Suppose -g*i + 10*i = -44. Is 10 a factor of i?
False
Does 4 divide ((90/(-12))/5)/((-9)/132)?
False
Suppose 0 = 8*n - 7*n - 4. Suppose -n*x + 3*x - 9 = -o, 2*o = 3*x + 23. Is 4 a factor of o?
True
Is 7/21 - (-1691)/3 a multiple of 9?
False
Is (-2)/(-3) - 36326/(-123) a multiple of 37?
True
Suppose -4*u = s - 1987, -s = -20*u + 16*u - 2003. Is 7 a factor of s?
True
Let h = 132 + -82. Suppose -3*j + 4*n + 115 = 0, -5*n + 4*n = j - h. Suppose -9*r + 10*r = j. Does 15 divide r?
True
Let j = -983 + 2589. Does 4 divide j?
False
Let u(v) = 2952*v**2 - 58*v - 58. Is u(-1) a multiple of 82?
True
Let w = -39 + 25. Suppose 0 = v - 24. Let t = v + w. Is t a multiple of 5?
True
Suppose -16*o = -19*o - 3. Does 17 divide (o + -85)*(-2)/(24/18)?
False
Does 7 divide -9 + (-756)/(-16) + 1/(-4)?
False
Let o be 4/8 - 3*(-4)/(-8). Let y(t) = 34*t**2 - t - 1. Does 9 divide y(o)?
False
Let n(h) = -h**3 - 4*h**2 + 5*h + 6. Let k be n(-5). Let x be 5 - (-3)/(k/(-2)). Suppose 144 = 8*u - x*u. Does 7 divide u?
False
Let m(n) = 2 - n**3 - n**2 + 0*n + 2*n + 0 + 3*n. Is 6 a factor of m(-4)?
True
Suppose -7 = -3*n - k, -2*k + 6 = -5*k. Suppose 2*p + 70 = 3*x - 35, -p = n. Does 11 divide x?
True
Let u(z) = 7*z**2 - 37*z - 32. Is u(12) a multiple of 14?
True
Does 4 divide (24 + -22)*(0 - -83)?
False
Let q(i) be the first derivative of 8*i**2 + i - 54. Does 18 divide q(13)?
False
Suppose 0 = 4*d, 0 = 3*n - 5*d - 26 - 37. Let s = 26 - n. Suppose -20 = -s*j + 5. Is j a multiple of 3?
False
Suppose 0 = 4*a + a. Suppose -2*h + 0*h + 16 = x, a = -5*x. Does 8 divide h?
True
Suppose -12*g - 161 = -13*g. Is g a multiple of 55?
False
Suppose 19*u = -2615 + 7403. Is u a multiple of 12?
True
Let f = 133 + -25. Does 28 divide f?
False
Suppose 48*h - 153*h + 156450 = 0. Is 26 a factor of h?
False
Let p(t) = -44*t + 169. Does 13 divide p(-13)?
True
Does 7 divide (-1540)/11*(1 + 9/(-4))?
True
Suppose 4*n + 4*r = 140, 3*n - 3*r = r + 84. Suppose 2*c - 5*l = -2 - 17, 0 = -4*c + l + 7. Suppose -n = h - c*h. Does 4 divide h?
True
Suppose -g + 3*q + 94 = -0*q, -3*g + 2*q + 282 = 0. Suppose 4*f - g - 70 = 0. Is f a multiple of 10?
False
Let a = -554 - -558. Let u = 11 - -51. Suppose 3*r - u = -a*m, -2*r - 2*r + m + 51 = 0. Is r a multiple of 7?
True
Let f(g) = -g**3 - 27*g**2 - 74*g + 36. Is 6 a factor of f(-24)?
True
Suppose 18*s = 11903 + 4945. Is 13 a factor of s?
True
Let m be 1631/(-77) - 2/(-11). Let h = 12 + m. Is (0 - 1)/(1/h) a multiple of 7?
False
Let w = -57 + 61. Suppose -50 = -w*y + 90. Is y a multiple of 4?
False
Suppose -342*k = -332*k - 640. Does 16 divide k?
True
Let j = -29 + 32. Suppose 43 = -2*v + j*v. Is v a multiple of 7?
False
Let l(r) = r**3 + 2*r**2 + 102. Let k be l(0). Suppose -5*s = 2*j - 236, -k - 38 = -j + 3*s. Is j a multiple of 10?
False
Suppose 0 = 5*k - 2*k - 33. Suppose 6*m + 665 = k*m. Is m a multiple of 15?
False
Let t(n) = -n**2 - 5*n. Suppose 5*z + 2 + 0 = y, 2*z = 2*y + 4. Let u be t(y). Suppose u = 3*h + v - 12, -3*h + 4*v + 18 = 0. Is h a multiple of 2?
True
Suppose 4*k + 4 + 4 = -4*f, -4*k - 13 = 3*f. Let h = 5 + k. Is h + (13 - 9/3) a multiple of 8?
True
Let y = 47 - 34. Suppose -4*l - 21 = -h, -h - 3*l = 4*h - y. Suppose -h*w + 26 = -3*w. Is 13 a factor of w?
True
Suppose 25 = -5*r - 45. Is 16 a factor of r/21*(-1 - 23)?
True
Let k(o) = 16*o - 60. Is k(12) a multiple of 44?
True
Suppose 8*f - 154 = 158. Is 82/6 - 26/f a multiple of 7?
False
Let s(t) = t**3 - 12*t**2 + 11*t + 2. Let a be s(11). Suppose 3*i - 8 = a*i. Suppose -n = -3*g + i, -g + 32 = 5*n + 2*g. Does 4 divide n?
True
Suppose t - 4*d = -t - 20, -5*d + 45 = -5*t. Does 10 divide 50/3*2/t*-12?
True
Let i be (344/(-12))/((-4)/(-6)). Let c = i + 28. Let h = c - -28. Does 9 divide h?
False
Let c = -8 + 13. Suppose -t + 8 = a - 1, c*t - 2*a - 59 = 0. Is t a multiple of 4?
False
Suppose 4*z - 3 = g, 0 = g + 4*z - 20 - 1. Let i = g - 0. Suppose -c = -3*l + 4, -3*c + 4*l = -i + 1. Does 8 divide c?
True
Suppose -1002 = -4*s + 1158. Is 15 a factor of s?
True
Let m(w) = w**3 - 6*w**2 + w - 14. Is 42 a factor of m(7)?
True
Is 1/6 - (-1196)/24 a multiple of 25?
True
Let j be 12/20 + 76/40*126. Suppose 3*r = -4*g + 215, -4*r + j = -0*r - 4*g. Does 48 divide r?
False
Suppose -1 + 3 = h + 4*i, 0 = -2*h - 2*i + 16. Is h a multiple of 4?
False
Let d(r) = -2*r**3 - 6*r**2 - 2*r - 4. Let k be d(-4). Suppose z - 4*z + k = 0. Does 8 divide z?
False
Does 97 divide 3/(45/5775) - (-3)/1?
True
Let z(w) = -29*w - 148. Is z(-18) a multiple of 14?
False
Suppose 3*z = -2*z + 4*o - 57, z + 2*o = -3. Is 22 a factor of 33*((-105)/z + -5)?
True
Suppose -5*h + 376 = 2*f, 0 = -f - h + 154 + 31. Suppose -449 = -14*s - f. Is s a multiple of 10?
False
Let q be 226 + 12/(0 + -3). Is (10/(-15))/((-2)/q) a multiple of 17?
False
Let w(v) be the first derivative of v**3/3 + v**2 - 12. Is 15 a factor of w(6)?
False
Let q be (-24)/10 - (-16)/40. Let z = q + 4. Is (-1267)/(-28) + z/(-8) a multiple of 15?
True
Let n = -1550 + 2668. Is n a multiple of 14?
False
Let q = -88 - -88. Suppose 3*p + q*u - 106 = -4*u, -2*p + 3*u + 82 = 0. Is p a multiple of 19?
True
Suppose -2*l + 3*s + 9 = 2*s, -2*s = 5*l. Let v = 47 + -35. Suppose 4*n = -v, l*n + 32 = 2*i - 0*n. Does 13 divide i?
True
Suppose -17*g + 6500 - 669 = 0. Is g a multiple of 49?
True
Let d(c) = 4*c + 9*c**2 + 4 - c**2 - 1 - 9*c**2. Is d(4) even?
False
Let g be (-65)/(-7) - (-2)/(-7). Suppose -2*a - 26 = 5*o, -12*a + 13*a + 23 = -5*o. Let m = a + g. Does 3 divide m?
True
Suppose -11*p + 397 = -945. Is p a multiple of 10?
False
Suppose -4*m + 4*g = -8, -4*m + 7 = 5*g - 1. Suppose -18 = -4*o + m*o. Is o even?
False
Is ((121/(-2))/11)/(1/(-66)) a multiple of 6?
False
Let p(k) = -k**3 + 4*k**2 + 8*k - 5. Suppose 0*q + 30 = 2*q. Suppose -q + 0 = -3*t. Is p(t) a multiple of 5?
True
Does 12 divide (-3)/5 - -1 - 36696/(-60)?
True
Suppose 6*a - 2*a + 36 = 0. Let c(s) = -27*s + 1. Let k be c(a). Suppose v - 55 = -5*g, -g + 5*g = 4*v - k. Does 15 divide v?
True
Suppose -4*m + 178 + 342 = 0. Suppose -2*z + 0*z + m = 0. Is z a multiple of 13?
True
Suppose 4*f + 4*t + 4 = 0, 4*f = 6*f - t - 13. Suppose 85 = x - f*a, -2*a + 430 = 12*x - 8*x. Is x a multiple of 35?
True
Let j(m) be the third derivative of m**5/60 - m**4/24 - 5*m**3/6 - 6*m**2. Let x be j(6). Let g = x - 10. Is 5 a factor of g?
True
Let c(r) = r**3 - 2*r**2. Let d be c(2). Suppose -2*t - 5*j = -d*t - 20, 3*j = -6. Let g = t + -6. Is 3 a factor of g?
True
Suppose -3*r = -747 - 129. Suppose -4*x = -0*s - 2*s - 1240, -x + r = 4*s. Is 14 a factor of x?
True
Let q(l) = -6*l - 58. Let s be q(-6). Let f = s - -92. Is f a multiple of 7?
True
Suppose -5*w = r - 0 + 7, -3*r = 2*w - 5. Is r/2 + 375/6 a multiple of 16?
True
Let o(z) = -56*z - 300. Is 3 a factor of o(-11)?
False
Let x = -167 + 566. Let m = -246 + x. Is 9 a factor of m?
True
Let b be (-40)/6*(-30)/25. Let u = 12 - b. Suppose -4*n - 28 = -s, -2*n + 95 = u*s - n. Does 6 divide s?
True
Suppose 4*y + 4*u = 7*y - 13, 4*y - 4*u - 16 = 0. Suppose -178 = -y*j + q, -3*j + 2*q + 170 = -3*q. Does 10 divide j?
True
Let m be (2/3)/(4/30). Let s be m*6/15 + 10. Is (-1)/(-2) + 858/s a multiple of 18?
True
Let u(s) = -3*s**3 + s - 16. Is 10 a factor of u(-7)?
False
Suppose -164 = -4*z - 0*r - 4*r, -2*z + 103 = -5*r. Suppose -114 - z = -a - 5*c, -3*c = -3*a + 402. Is 13 a factor of a?
False
Let b be 14/6 + 2/(-6). Let u = -101 - -176. Suppose -u = -i + b*z, z + z = -2. Is 15 a factor of i?
False
Let m be (55/25 - 2) + 39/5. Is 24 a factor of (11 - -282) + m/2?
False
Let b = 15 + -10. Suppose -8*o + 35 = 5*y - 3*o, 3*y - 31 = -b*o. Is 19 a factor of (2 + y)*19/2?
True
Suppose b + g = 1843, -220*b + 225*b - 5*g - 9245 = 0. Is b a multiple of 19?
False
Suppose 3*b + 2*b = 5, 5*b = -2*c + 8