 -2*t + 11 = -5*z. Is t a multiple of 6?
False
Let c = 1898 + 419. Is c a multiple of 15?
False
Let h(v) = -v**2 - 9*v + 15. Let p be 3/3 + 32/(-4). Is h(p) a multiple of 4?
False
Let u(a) be the first derivative of 2*a**2 - 2*a + 2. Let p be u(1). Let c(h) = 3*h + 1. Is c(p) even?
False
Let r(p) = -6*p**3 - 7*p**2 - p - 2. Does 17 divide r(-5)?
True
Suppose -1483*c + 1499*c = 6800. Is c a multiple of 12?
False
Let v(l) = 28*l**2 - 22*l + 46. Is 6 a factor of v(2)?
True
Suppose 34*w = 40*w + 558. Let d = w - -126. Is 6 a factor of d?
False
Suppose 1211*s = 1217*s - 4980. Does 10 divide s?
True
Let n be 3 - (0 - (-41 - 1)). Let g = n + 84. Suppose 0 = -0*u + u - g. Is 15 a factor of u?
True
Let t(d) = -5*d - 37. Let u be t(-8). Suppose -v - 4*w + 31 = 0, -u*v + 14 = 5*w - 58. Does 2 divide v?
False
Let v(u) = u**2 - 9*u - 4. Let r be v(9). Let m(h) = -6*h + 2. Let b be m(r). Is 7 a factor of b + 6/(-9)*3?
False
Let w(s) = s**3 + 3*s + 0*s - 2*s + 2*s**2 + 8*s**2. Let h be w(-8). Suppose -108 = -4*o - 2*z - 0*z, -5*o + h = -5*z. Is 16 a factor of o?
False
Let i = -11 + 17. Suppose -14*u = -i*u - 888. Does 37 divide u?
True
Suppose -3*s - 2*o = 5, 0 = 5*s + 2*o + 3*o + 5. Let n = 11 - s. Does 4 divide n?
False
Is 91 a factor of (507676/143)/13 - 2/22?
True
Let t(k) = -134*k - 46. Is 30 a factor of t(-3)?
False
Suppose 5*x + 21 = 6. Let i be (x/(-5))/((-1)/(-5)). Suppose 0 = -k + 1 + i. Does 2 divide k?
True
Suppose -j + 219 = -162. Suppose -4*k + 3*k + 107 = 4*w, j = 3*k - 3*w. Suppose -3*l + k = -12. Does 37 divide l?
False
Suppose -7*a + 9*a - 3*u = 3054, 3*a - 2*u = 4576. Is 75 a factor of a?
False
Let z(c) = c**3 + 15*c**2 - 22. Let f be z(-15). Let x = f + 25. Suppose x*o = -o + 488. Is o a multiple of 25?
False
Let t(u) = 74*u**2 + 2*u + 2. Let w be t(-1). Let m = w + -37. Does 8 divide m?
False
Let x be ((-9)/(135/(-12)))/(1/5). Suppose 2*v + a = 163, -2*v = x*a - 135 - 37. Does 8 divide v?
True
Suppose 2*p - 11*p = -2691. Does 24 divide p?
False
Suppose 3*c = 4*d - 307, 0 = -2*c + c - d - 107. Suppose 0 = 4*j + 12, -5*j = -6*p + 9*p + 63. Let f = p - c. Is f a multiple of 25?
False
Suppose 3*a - 493 = -43. Does 50 divide a?
True
Suppose -162 = 6*g - 4*g + 4*c, -3*c = g + 81. Let u = g - -139. Is u a multiple of 5?
False
Let v be (12/(-8))/(2/12). Let i(r) = 2*r**2 + 12*r + 22. Is 16 a factor of i(v)?
False
Suppose g - 6 = -4. Suppose g*i - 2 = 6. Suppose 2*f + 110 = 2*y, 51 = 5*y - i*y - 3*f. Is 14 a factor of y?
False
Suppose -c + 2*t + 198 = 0, -3*t - 195 = 17*c - 18*c. Does 20 divide c?
False
Suppose 5*j + 5*v = 0, -2*j - 3 = 4*v - v. Suppose -2*a = -2*i - 44, -j*a - i - i + 46 = 0. Is a a multiple of 9?
True
Suppose 0*d - w = -5*d - 180, 2*d + w + 72 = 0. Let h = 108 + d. Is h a multiple of 9?
True
Suppose 2*s = 6*s - 18720. Does 8 divide s?
True
Let n be (-2)/(-4) + 14/(-4). Let b(i) = 0*i - 2*i - 5*i. Does 20 divide b(n)?
False
Let k be ((-330)/(-40))/((-1)/4) - 2. Let q(u) = 3*u**2 + 4*u - 4. Let x be q(3). Let p = x - k. Does 18 divide p?
False
Let y(f) = -f**3 + 28*f**2 - 43*f + 17. Does 16 divide y(26)?
False
Suppose 2*j - 7*j + 20 = 0. Suppose -252 = j*a - 6*a. Let d = a - 86. Is 20 a factor of d?
True
Suppose 4*u - u + 6 = 0. Let h = u - -8. Suppose 15 - 3 = h*f. Is f even?
True
Is 96 a factor of 33/(-1 + (-231)/(-224))?
True
Let k(c) = -173*c + 4. Let v be k(-1). Let l = v + -77. Is l a multiple of 10?
True
Is ((-8970)/2093)/(3/(-14)) a multiple of 2?
True
Is 53 a factor of 18552/14 + -8*(-10)/(-560)?
True
Let z(m) = m**3 + 2*m**2 - 11*m + 6. Suppose 0 = 3*g - 2*w - 21, -2*g + 3*w + 29 = 2*g. Does 11 divide z(g)?
False
Let a be (-8 - -11)*10/6. Suppose 114 = a*w + 44. Let f = 20 - w. Does 6 divide f?
True
Let c = -163 - -338. Does 25 divide c?
True
Suppose -4*k + 15 = -k. Suppose 3*t + 4*c = 4*t - 35, 0 = -k*t - c + 112. Suppose x = 5*q + t, -4*x = -2*q - q - 160. Is 11 a factor of x?
False
Let u = 44 + 528. Is 52 a factor of u?
True
Suppose -5*f + 5395 = -i, -10 = 117*i - 119*i. Does 18 divide f?
True
Let y(n) = 47*n**2 - 28*n + 55. Does 13 divide y(-8)?
False
Suppose 3*l + 0*l = 12. Suppose 4 = -l*j - 4. Is (j/(-3))/((-16)/(-504)) a multiple of 7?
True
Suppose -5*w - 3*d + 32 = 0, 2*w - 12 = 4*w - 5*d. Suppose -v - 14 = -w. Is (-52)/v + 2/(-10) even?
False
Suppose 0 = 4*f - 11*f + 5103. Does 27 divide f?
True
Let m = 682 + -77. Is m a multiple of 2?
False
Is 976 + 9 + 5 - (4 + -2) a multiple of 13?
True
Suppose -5*x = 3*n - 461, -5*x + 4*n - 2*n + 451 = 0. Is x a multiple of 4?
False
Let x(c) = -c**2 - 11*c + 12. Let y be x(-12). Suppose -z - 1 + 8 = y. Is 13 a factor of (z - 8)/(3/(-78))?
True
Suppose -11408 = 17*k - 25*k. Is 37 a factor of k?
False
Let d = -1583 - -1790. Does 23 divide d?
True
Suppose -11*t + 9*t - 5*w + 2428 = 0, -3*t - 2*w = -3653. Is t a multiple of 23?
True
Suppose -722 = -2*c - 80. Is c a multiple of 33?
False
Let q = -92 + 133. Let j = 21 + q. Does 13 divide j?
False
Let a be 7*(66/14 + 1*-3). Suppose -44 = 8*m - a*m. Is m a multiple of 2?
False
Let a be (-222)/(-4)*(1 + 1). Suppose 0 = -4*y - 2*s + 61 + 81, 3*y - a = -3*s. Is 17 a factor of y?
True
Suppose 0 = -10*v + 116 - 26. Let x = 81 - v. Is x a multiple of 6?
True
Is 19 a factor of -19*((5 + -5)/2 - 14)?
True
Does 15 divide 20/(-5) + 6 - -409?
False
Suppose -2*y - 1310 = -3*s, -4*y + 460 = s - 0*y. Is 18 a factor of s?
False
Let l(h) = 24*h**3 - 4*h**2 - 31*h + 108. Does 28 divide l(4)?
True
Suppose 8*u = 19*u - 1177. Does 43 divide u?
False
Let v(l) = -4*l - 5*l - l - 7*l. Let q(b) = -b - 8. Let g be q(-5). Is 17 a factor of v(g)?
True
Suppose 34*q + 22944 = 82*q. Does 2 divide q?
True
Let t(s) = -2521*s**3 + 2*s**2 + 26*s + 25. Is t(-1) a multiple of 26?
True
Suppose l = 3*l, 24 = -4*t + 2*l. Let q be (-2 + 0)*(-2)/1. Let b = q - t. Does 4 divide b?
False
Suppose -3*q - 5133 = -3*k, 6*k - 10*k - 5*q = -6835. Does 39 divide k?
False
Let k = 708 + -211. Does 6 divide k?
False
Let j be -28 - (-4)/(12/9). Let p = 43 + j. Is 9 a factor of p?
True
Suppose 5*o + t - 4 - 2 = 0, 20 = -5*t. Suppose -117 = s + 5*l, s - 3*l + 117 = -o*l. Let w = s - -186. Is w a multiple of 16?
False
Suppose -10*p + 14*p + 40 = 0. Let h(n) = -n**2 - 24*n - 4. Is h(p) a multiple of 24?
False
Let m = 193 + -103. Is m a multiple of 5?
True
Let l = 20563 + -14601. Is (-8)/(-14) + l/77 a multiple of 26?
True
Suppose 3*b + 5 = -z + 15, -2*z + 12 = 2*b. Let q(s) = 17*s - 1. Let p be q(b). Suppose 5 = -n - t + p, 5*n - 137 = -2*t. Is 9 a factor of n?
True
Suppose -i - 2*r + r + 163 = 0, -2*r - 664 = -4*i. Let n = i + -81. Is n a multiple of 12?
True
Is 15 a factor of 1*(-1 - 5 - -2243)?
False
Let o(j) = -24*j + 10. Let h(n) = -16*n + 7. Let b(w) = 7*h(w) - 5*o(w). Let l = -45 - -47. Is b(l) a multiple of 15?
True
Suppose q + 3 = 0, u - 3*q = -2*q - 70. Let p = -3 - u. Is p a multiple of 11?
False
Let r(i) = i**3 - 12*i**2 + 13*i + 1. Let s be r(11). Suppose c + b = s, 88 = 5*c + b - 43. Suppose -5*v + 11 = 3*o - 34, 3*o - v = c. Is o a multiple of 10?
True
Suppose 2*i = 5*w - 20 + 5, 0 = w - 3. Let d(r) = -6*r - 10. Let y be d(-9). Suppose i*a - 2*a + q = -y, -4*a = 3*q - 88. Is 11 a factor of a?
True
Suppose 82*u - 114*u = -79648. Is u a multiple of 10?
False
Suppose 2*o - 6*o + 20 = 0. Suppose 0 = o*m - 4*p - 155 - 107, -m + 4*p = -46. Is m a multiple of 18?
True
Let m = -15 + 20. Suppose -f = f - g - 13, -5*g = 4*f - m. Suppose -2*y - 75 = -f*y. Is y a multiple of 7?
False
Let n(z) be the first derivative of -z**2/2 + 50*z + 26. Is 35 a factor of n(-20)?
True
Suppose -4*r = 5*s - 623, -4*r + 5*s + 422 = -171. Suppose 3*x - r - 118 = 0. Does 6 divide x?
True
Let k(a) = a**2 + 29*a - 102. Does 30 divide k(-33)?
True
Suppose -1 = 4*n - 13. Let j(p) be the third derivative of p**6/60 - p**5/15 + 5*p**4/24 - p**3/2 + p**2. Is 10 a factor of j(n)?
True
Let f(a) = a**2 - 6*a + 2. Let u be f(5). Let o be -4 + -33 - u/3. Is (-1)/2*o/2 a multiple of 2?
False
Suppose 0 = -4*x - 2*d - 3*d + 44, x = d + 2. Suppose 6*n - 6 = x. Is 26/(n + (-9)/6) a multiple of 15?
False
Let w = -273 - -731. Is w a multiple of 17?
False
Is 31 a factor of (-3)/12 + 44783/76?
True
Let u(q) = -60*q - 48. Does 18 divide u(-8)?
True
Suppose 74 = 3*z + 281. Let o = z + 199. Does 33 divide o?
False
Suppose 