a multiple of 2?
True
Is 4 a factor of (-5094)/(-2) - (-3 - (11 - 17))?
True
Let h = -15708 - -26515. Does 101 divide h?
True
Suppose 0 = 5*j - 3*x - 33682, 0 = 275*j - 273*j - x - 13472. Is 14 a factor of j?
True
Suppose 5*q - 35 = -215. Suppose -2*j = 4, -660*j + 664*j - 68 = -r. Let s = q + r. Is s a multiple of 4?
True
Let q(f) = f**2 + f + 2. Suppose 0 = 2*c - 0 - 4. Let a be q(c). Suppose a*z + 176 = 12*z. Is 11 a factor of z?
True
Suppose 0 = -u + 2*m, -5*u + m + 12 = -3*u. Suppose -u*h + h + 1715 = 0. Does 49 divide h?
True
Suppose 4*r + 3686 = 2*w, 2*r - 3*r = w - 1834. Is w a multiple of 90?
False
Suppose 0 = -16*l + 3315 + 1965. Does 3 divide l?
True
Let w(b) = b**3 - b**2 - 5*b - 4. Let m be w(4). Suppose -4*d = -s - m, 0 = 2*d + s - 6*s - 12. Suppose 264 = d*n + 5*n. Is n a multiple of 8?
True
Let v(i) = -252*i + 741. Let g(d) = -25*d + 74. Let w(t) = -21*g(t) + 2*v(t). Does 20 divide w(9)?
False
Suppose 3*u + 19*t - 89007 = 0, -4*u - 56*t = -57*t - 118518. Is 21 a factor of u?
True
Let j(d) = 25*d + 259. Let w be j(-13). Does 6 divide 10*(-5)/(-60) - 51161/w?
False
Suppose -12 = -4*x + 3*x - 2*g, 1 = 3*x - g. Suppose -h - 3*p - 368 = -x*h, -2*p = h - 383. Does 13 divide h?
True
Suppose w - 5*q + 6 = 0, -7*w = -2*w - q + 102. Let n be 3/(-9) + (-70)/w. Is 7 a factor of 66*(((-12)/(-8))/n + 1)?
False
Let y = 954 - 617. Suppose 3*m + 0*b + b = 1026, -2*b + y = m. Suppose -4*g = 4*s - 692, -2*g + m = -0*s + 5*s. Is 30 a factor of g?
False
Let k be 2*(10/35)/((-2)/(-7)). Suppose -2*p + 90 = b, -k*b + 165 = -p - 0*p. Is 7 a factor of b?
True
Let v(q) = 2*q**2 + 2*q + 13. Let d(x) = x**2 + 2*x + 13. Let y(z) = -4*d(z) + 3*v(z). Let h be y(5). Let m = 18 + h. Is 3 a factor of m?
True
Suppose 3*y = -4*i + 35822, -3*y + 2958 = -4*i - 32848. Does 47 divide y?
True
Let n be ((-8)/4)/(8/16384*8). Is 25 a factor of (-10591)/(-16) - 32/n?
False
Let w(v) be the second derivative of 3*v**5/10 - 7*v**4/6 - v**3/3 - 3*v**2/2 + 87*v. Is w(5) a multiple of 43?
True
Suppose -4*m - 5*f = 31, 3*m - 5*f - 5 = -2. Let n(z) = -21*z - 34. Let x be n(m). Suppose 4*w = 5*i - 5, 7*w + 5*i - x = 2*w. Is w even?
False
Suppose -23 = -5*b - 23. Suppose -32*t + 17*t + 2700 = b. Does 9 divide t?
True
Let q(k) = k**2 - 7*k - 5. Let h be q(8). Suppose h*f = 5*f - 2*v - 2, 5*f - 14 = -4*v. Suppose 3*a - 3*p = -4*p + 407, -5*p = -f*a + 277. Is 8 a factor of a?
True
Suppose 231945 = 39*z - 55875. Is z a multiple of 41?
True
Let j = 194 - 208. Is -7*j/343*497 a multiple of 49?
False
Let d(m) = -m**3 + 39*m**2 - 37*m - 13. Let p be d(38). Suppose -4613 = -p*v + 3462. Is 17 a factor of v?
True
Let g be -4*35/(-84)*249. Suppose -2*v = 5*y - 215, 4*v + 7*y - g = 2*y. Is v a multiple of 5?
True
Let g(v) = -v**2 - 15*v - 42. Let t be g(-4). Suppose 24*h + t*h = 7904. Does 16 divide h?
True
Suppose 5*o - 60602 = 3*r, o + 24228 = 3*o + 2*r. Is 95 a factor of o?
False
Let c = 85 - 183. Let b = c - -37. Let n = -40 - b. Is 3 a factor of n?
True
Suppose 4*f - 19 = -3*w + 1209, 1221 = 3*w - 3*f. Suppose -4*q = -8*q + w. Suppose -132 - q = -6*n. Does 4 divide n?
False
Suppose -810 = 2*s - 7*s + 2*n, -n + 635 = 4*s. Let d = s + -150. Is d a multiple of 2?
True
Let a(p) = 7*p**2 + 12*p + 66. Let r be a(-6). Let d = r - 99. Does 49 divide d?
True
Suppose s + 22 = 4*u - 0*s, u = 4*s + 13. Suppose -3*w - 3846 = -3*y - y, 5*y + u*w = 4790. Suppose -4*f = 2*f - y. Does 40 divide f?
True
Suppose n - 2*k - 5 = 0, -5*n - 4*k + 80 = -3*k. Let t be (-3)/(n/(-5)) + -14. Is (-3740)/(-26) + (-2)/t a multiple of 16?
True
Let c(k) = 4*k**3 + 15*k**2 - 12 - 6*k - 2*k**3 - k**2 - 2*k - k. Is 19 a factor of c(-5)?
True
Suppose -2*c - 493 - 527 = 0. Let h be (-4)/(-10) + 316/10. Is 4/h - c/16 a multiple of 16?
True
Let l(p) be the first derivative of -5*p**4/24 - 7*p**3/2 - p**2 - 6. Let k(m) be the second derivative of l(m). Is 16 a factor of k(-9)?
False
Let m(l) = -l**2 + 378*l + 1307. Is m(153) a multiple of 19?
False
Suppose -y = -4*b + 2, y - 2*b - b = -1. Let t(l) = 23*l**3 - 2*l**2 + 2*l - 5. Is t(y) a multiple of 33?
False
Let w = 10 + -2. Let o be 12/w*(1 + 4 + -3). Is ((-18)/(-8))/(o/84) a multiple of 7?
True
Let z(i) = -2*i**3 + 8*i**2 + 3*i - 3. Let j be (217/(-35) - -7)/(1/5). Let u be z(j). Suppose -u*s = -193 + 67. Does 7 divide s?
True
Let w = -1513 + 1624. Suppose -3*j = -6, 5*p + j - 218 = 564. Let l = p - w. Is 15 a factor of l?
True
Is 16 a factor of 103760/30 - (-3 - 32/(-12))?
False
Suppose 708 = 2*g - k, -5*g = 3*k - 303 - 1456. Suppose -u - 4*x = -187, 2*x = -2*u + x + g. Is u a multiple of 25?
True
Let w(u) = 2*u + 10. Let f be w(-5). Let t be 6 + f*1/(-3). Let b(z) = -z**2 + 16*z - 6. Does 18 divide b(t)?
True
Suppose -2*g - 4 = -2*m + 16, -5*m + 22 = 2*g. Suppose 22 = 14*k - m. Is 9 a factor of (-2604)/(-56)*k/3?
False
Let z be (-91236)/15*1 - (-12)/30. Is 8 a factor of z/(-19) - 1/76*8?
True
Let y = -38 + 43. Suppose -r + 1515 = -5*v, -y*v - r - 2028 + 523 = 0. Let g = -139 - v. Is g a multiple of 25?
False
Suppose -4*s + 20 = 0, 5*s - 7 = -d + 4*s. Suppose 5*w + u = 1667, -d*w + 26*u - 21*u = -683. Is 23 a factor of w?
False
Let h = 956 + -957. Suppose 0 = x + 2*l + 13 - 4, -l = x + 5. Is 51 a factor of 104 - (x - 1)/h?
True
Let g(u) = 3*u**2 + 81*u - 4889. Does 31 divide g(63)?
True
Let z = -3 - -5. Suppose -z*s + 10*s = 1600. Is 31 a factor of (0 + s/(-12))*(-36)/5?
False
Suppose 13*l - 77 = 6*l. Suppose l*d = 4*d + 1050. Is 10 a factor of d?
True
Let m = -7 - -10. Suppose -5*j = m*j - 40. Suppose 0 = -3*q - j*q + 112. Is q a multiple of 7?
True
Is 40 a factor of -1104*(13/6*-3 + 4)?
True
Suppose 4*m - 5*s - 36 = 0, -2*s = 22*m - 7 - 73. Let q be 1/2 - (-5718)/4. Does 4 divide q/39*6/m?
False
Let q be (-2221 - (-6)/2)/(-1). Suppose -2*w + 5*s + q = 0, -s = s + 4. Is 16 a factor of w?
True
Let x(j) = -j**2 + 14*j - 6. Let d be x(9). Let r = d - 2. Suppose 4*a = m - 41, 3*m - r - 56 = -3*a. Is 15 a factor of m?
False
Does 12 divide 2/7*41/(41/51457)?
False
Suppose -64 = -3*g - 34. Suppose 3*f = -2*t - 2*f + 899, 2*f + g = 0. Is 14 a factor of t?
True
Let p(c) = -77*c**3 - 10*c**2 + 5*c + 54. Is 125 a factor of p(-7)?
False
Let t(n) = 12*n**2 + 2*n + 3. Let q be t(4). Let w = -83 + q. Suppose j = 6*j + f - w, 0 = -3*f - 15. Does 5 divide j?
True
Let i(b) = 18*b**2 + 3*b - 6. Is i(30) a multiple of 54?
False
Let i(n) = -12*n**2 - n. Let r be i(-1). Let y be (r/4)/(8/224). Let s = y - -129. Is 12 a factor of s?
False
Suppose 124*z - 1260462 = 264830 + 359880. Does 102 divide z?
False
Let z(d) = -20*d - 26. Let j = -31 - -38. Let u be z(j). Let n = -94 - u. Does 18 divide n?
True
Suppose 5*i - 6 = -3*n - 14, -4*i - 2*n = 6. Let h = 3 + i. Suppose 4*o + 68 = 5*o - 4*u, h*u - 86 = -2*o. Does 8 divide o?
True
Suppose -5*o + 5871 = h, -5*o + 4*o = -5*h + 29303. Is h a multiple of 43?
False
Let b(g) = -g**3 - g**2 - 8*g + 1416. Does 48 divide b(0)?
False
Suppose 0 = -14*y + 15*y - v - 974, 2*y = 4*v + 1940. Suppose 2*s = -5*s + 3304. Suppose 5*k - y = s. Is k a multiple of 58?
True
Let f(i) = -i**2 + 6*i - 8. Let o be f(8). Let m(k) = -k + 55. Let n be m(o). Let g = n - -1. Is 8 a factor of g?
True
Suppose 747 = 5*x + 2*y, 4*x + 457 = 7*x - y. Is 5 a factor of x?
False
Suppose 2*p + 2*p = -2*b, 0 = -3*p + 12. Let k(h) = 3*h + 23. Let m be k(b). Let x(f) = -58*f**3 - 2*f**2 - 3*f - 2. Does 19 divide x(m)?
True
Suppose 0 = 21*w - 38756 - 28675. Is w a multiple of 19?
True
Let v(u) = -u**3 + 4*u**2 + 40*u + 1539. Does 46 divide v(0)?
False
Let r be (-2)/(-9) + (-272)/(-72). Let l = -492 - -456. Let f = r - l. Is 11 a factor of f?
False
Suppose -34*p = -29*p + 3*o - 358, 4*o + 351 = 5*p. Does 2 divide p?
False
Suppose 294*q = 862*q - 10712561 - 34484335. Is q a multiple of 38?
True
Let x be 1 - 1*-1 - (181 + -119). Let f = 20 - x. Does 4 divide f?
True
Is 40 a factor of ((-3)/(-4))/((-65)/(-1975220)) + 9?
True
Suppose 400500 = -33*s + 51*s. Does 125 divide s?
True
Let t be 3/((0 + -2)/(-2)) + 160. Let o = 336 - t. Suppose 0*h - 99 = -l + 4*h, 0 = -2*l + 3*h + o. Does 10 divide l?
False
Let s(u) = -4*u**2 - u + 21. Let o(v) = -v**2. Let f = 45 + -44. Let z(j) = f*s(j) - 3*o(j). Is z(0) a multiple of 21?
True
Let c = -18 + 43. Suppose 17*w + c = 12*w. Let o(p) = -2*p**3 - 8*p**2 + 2*p 