et o be 711/(-36) - (-1)/a. Does 5 divide 4 - o/2 - -1?
True
Let l be (-3)/(-4 + (-55)/(-15)). Is 23 a factor of (-2)/(12/9)*(-1104)/l?
True
Let i(c) = c**2 - c - 17. Let g be i(-4). Suppose t + t - 54 = -4*w, -t - g = 0. Does 15 divide w?
True
Suppose -2*g = -5*z + 432, 9*g - 13*g - 176 = -2*z. Does 4 divide z?
False
Does 22 divide 5584/12 + 4/(-48)*4?
False
Suppose -n - 20 = -t - 5*n, 0 = -5*n - 20. Let b = t - 31. Suppose -7*v + 66 = -b*v. Is v a multiple of 17?
False
Let s be 102 - 5/((-5)/(-2)). Let l be 2/(-6) + s/(-6). Let y = -13 - l. Is y a multiple of 2?
True
Is 32 a factor of (2/8 - 19916/(-16)) + 3?
True
Let h = 3477 - 2201. Is 58 a factor of h?
True
Let v be (7/(-14))/(3/6)*-5. Is 6 a factor of (-6)/8 - (643/(-4) - v)?
False
Suppose -4 = 4*t + l - 16, 2*t + 3*l = 16. Suppose 3*b + t*b = 3*z + 159, 5*b = -3*z + 141. Is 22 a factor of b?
False
Let v(t) be the second derivative of 11*t**3/3 - t**2 + t. Let x be v(5). Suppose x = 2*g - 0*g. Is g a multiple of 27?
True
Let o = -65 - -143. Is o a multiple of 3?
True
Does 70 divide 61602/20 - ((-78)/(-60))/13?
True
Suppose 630 = 17*x - 11*x. Is 52 a factor of x?
False
Let m(f) = 32*f**3 - 7*f + 12 + 10*f**2 - 67*f**3 + 17*f + 36*f**3. Let y be m(-9). Suppose y*w + 0*w - 54 = -q, -46 = -2*w - 4*q. Is w a multiple of 12?
False
Is 10/((-2)/1188*-9) a multiple of 10?
True
Suppose -10*k = 8*k - 34650. Is k a multiple of 11?
True
Let n = 19 + -17. Does 11 divide 18/n - (-3 + 0)?
False
Suppose 2*b + 3 = 5*d - 6, 0 = -4*b - 5*d + 57. Let h(t) = -t**2 + 16*t + 10. Is 6 a factor of h(b)?
False
Let s = -1 - -3. Is s/(-6) + (-672)/(-18) a multiple of 17?
False
Suppose 5*u - 4*r - 580 = 0, 5*u + 2*r = 508 + 72. Suppose j = -3*d + u, 0 = j - 4*d - 186 + 49. Is j a multiple of 13?
False
Is 45 a factor of (245/196)/((-1)/(-360))?
True
Let v = 9 + -11. Let k(n) be the third derivative of -n**6/10 - n**5/30 + n**4/6 + 2*n**3/3 + 8*n**2. Is 21 a factor of k(v)?
True
Is 5 a factor of 2/63*9 + (-346)/(-14)?
True
Suppose -4*a + 284 = -2*a. Let r = a - 66. Suppose -k - r = -5*k. Does 13 divide k?
False
Let w be (-171)/54 + 2/12. Let a be (2/(-3))/(1/w). Suppose 5*f = 2*s - 15, -f = -s + a*f + 7. Is 10 a factor of s?
True
Let d be 3/2 - 34/4. Let l = 76 + d. Suppose 3*t - l = -3*w, -3*t + 46 + 71 = 5*w. Is 6 a factor of w?
True
Let b = -27 + 19. Let r = b - -10. Suppose -r*w - 2*s + 182 = -s, -3*w + 291 = -3*s. Is 19 a factor of w?
False
Let s be (-6)/(-4)*70/21. Suppose s*y = x + 625, -5*x = -y - 7*x + 136. Does 7 divide y?
True
Suppose 3*c + 2135 - 8506 = -5*z, -c = -3*z - 2105. Is c a multiple of 73?
True
Suppose 5*p + 34*v - 37*v = 3362, 5*p + v = 3366. Is p a multiple of 8?
False
Let i be (-401)/7 - 6/(-21). Let c = -1 + i. Let h = c + 89. Is 8 a factor of h?
False
Is (-1)/(-5)*-2 - 60876/(-90) a multiple of 26?
True
Let x(a) = 19*a**2 - 13*a + 2. Does 37 divide x(-3)?
False
Let o = 270 + -158. Suppose 784 - o = 7*c. Is c a multiple of 19?
False
Let k(h) = h**2 - 13*h - 42. Let n be k(16). Suppose -9*a = n*a - 315. Does 21 divide a?
True
Let f = 18 + -16. Is 19 a factor of f*(4 - 42)*6/(-8)?
True
Suppose -3*j = 2*t - 1381, 3*j - 686 - 2073 = -4*t. Is t a multiple of 53?
True
Let m(i) = i**3 - 8*i**2 - 9*i + 11. Suppose 54 = 5*w + w. Let a be m(w). Let h = 20 - a. Is 3 a factor of h?
True
Suppose 0 = 5*p, x - p - 34 = 19. Is x a multiple of 22?
False
Let q(i) = 5*i. Let z be q(3). Suppose -4*j = j - z. Suppose -j*n - 5*r = -142 + 19, -5*r = -5*n + 165. Is 12 a factor of n?
True
Suppose -u - 148 = -3*u. Does 4 divide u?
False
Let w = 578 + -308. Is w a multiple of 10?
True
Let y(t) be the second derivative of -125*t**3/6 - 5*t**2/2 - 23*t. Does 20 divide y(-1)?
True
Let q = 11 - 10. Let m be (1 - q/2)*-8. Is 4 a factor of 6 - m - (-9)/(-3)?
False
Let y(g) = 2*g**2 - g. Let r be (-2)/15 - (-644)/105. Is 18 a factor of y(r)?
False
Does 17 divide (102/(-4))/(1 + (-670)/640)?
True
Let g be 3/(61/(-31) + 2). Suppose 0 = -5*k - 53 + g. Is 5 a factor of k?
False
Let m(o) = o**2 + 3*o - 4. Let a be m(-4). Let s be 0 + (0 + 4)/1. Suppose s*z = -a*z + 120. Is z a multiple of 7?
False
Let k(u) = -2*u**3 - 3*u**2 + 19*u + 10. Is k(-6) a multiple of 16?
False
Let s = -59 - -82. Suppose 5*u = 57 + s. Let x = 41 - u. Is 25 a factor of x?
True
Suppose g + 17 = 4*i, 2*i + 4 = 5*g - 1. Suppose o - 4*l = 21, -l + 215 = i*o + l. Does 13 divide o?
False
Suppose -v + 4*v + 5*a = -8, -12 = v - 3*a. Is 5 a factor of (-32)/24 + (-236)/v?
False
Let i = 11 + -8. Suppose -3*a + i = -0. Suppose 6 + 2 = 5*j + 4*m, -j - m = -a. Does 4 divide j?
True
Let i(a) = -28*a - 36. Let t be i(-4). Let j = t - 10. Does 11 divide j?
True
Suppose 0 = -4*n - 22 - 10. Let l = n + 18. Does 8 divide l?
False
Does 24 divide (0 - 349)*(0 - 8)?
False
Let z(p) = 170*p**2 + 2*p + 3. Let t be z(-1). Suppose t = 10*u - u. Is u a multiple of 19?
True
Suppose -12*f + 7*f = 2*y - 688, -3*f = -12. Is y a multiple of 51?
False
Let z = -23 + 16. Let m(s) = s + 13. Let v be m(z). Is 30 a factor of (0 - 0) + (48 - v)?
False
Let b = -92 + 147. Let u = b - 40. Is u a multiple of 8?
False
Let y = 234 + -136. Let x = y - 80. Is 3 a factor of x?
True
Let o be 231/9*30/(-5). Let u = 216 + o. Is u a multiple of 16?
False
Let y(s) = -4*s - 5. Let k(o) = -o + 13. Let v be k(16). Let z be y(v). Is 16 a factor of (1/3)/(z/1197)?
False
Let o(p) = p. Let m be o(1). Suppose -3*y + 2 + m = 0. Let j = y - -4. Is j a multiple of 5?
True
Let z(h) = 46*h - 60. Does 13 divide z(16)?
True
Let p = 1352 - 1079. Is 7 a factor of p?
True
Suppose 3*r + 34 = -11. Is 13 a factor of (-9)/r - (-264)/10?
False
Let t(r) = 15*r**3 + 4*r**2 - 3*r. Suppose 0 = -2*k + 52 - 48. Does 26 divide t(k)?
True
Suppose 0 = -s + 49 + 21. Is s a multiple of 14?
True
Let s(m) = 5*m**2 - 4*m + 576. Is s(0) a multiple of 144?
True
Let c = 1736 - -319. Does 7 divide c?
False
Suppose 42 = 4*u + 10. Let z = u + -8. Suppose -5*f + 109 + 181 = z. Is 17 a factor of f?
False
Let j = 11 + -9. Suppose j*t - 13 = -9. Suppose -t*p = 2*p - 12. Is p a multiple of 2?
False
Let z = -498 + 778. Suppose -22*i - 90 + 200 = 0. Suppose -10*f = -i*f - z. Does 14 divide f?
True
Suppose 4*r - 16 = 0, -2*j + 0*j + 2*r = -12. Suppose -c = 2*t - j, 5*c - 64 = -0*c + 4*t. Is 5 a factor of c?
False
Let p be 1 - -3 - (-34 + -2). Suppose -2*f = -104 - p. Suppose -f = -t + 3*v, t + 4*t + 5*v - 300 = 0. Does 21 divide t?
True
Suppose 0 = -2*v + 3*v + b - 4891, v - 4881 = -3*b. Is v a multiple of 36?
True
Suppose 1 = o + k - 6, 0 = 3*k + 12. Let n(h) = o*h + 24 - 2 - 12*h. Does 34 divide n(-12)?
True
Suppose 4*y = y - 6. Let z(l) = l**3 - 12*l**2 + 11*l + 4. Let b be z(11). Is 2 a factor of y/b - (-90)/12?
False
Let p(q) = -6*q**3 - 3*q**2. Let b be 9/6*(2 - 4). Let i = 1 + b. Is 9 a factor of p(i)?
True
Suppose 0 = -5*r - 2*w + 21891 + 6935, -4*r = 5*w - 23054. Does 42 divide r?
False
Let c(z) = 4*z + 2. Suppose 5*j = 5*y - y + 1, 2*y = 2. Does 6 divide c(j)?
True
Suppose 300*h + 24640 = 311*h. Is 16 a factor of h?
True
Suppose 9623 = 7*o - 667. Does 15 divide o?
True
Suppose -770 = 78*g - 88*g. Is g a multiple of 14?
False
Let y(s) = s**2 - 4*s - 5. Let i be y(4). Let w(a) = a**3 + 5*a**2 - 12*a + 2. Let n(z) = -2*z + 1. Let c(k) = -4*n(k) + w(k). Is 18 a factor of c(i)?
True
Let s(j) = j**3 + 9*j**2 + 15*j + 5. Let z be s(-6). Suppose 0 = -g + 4*d + 28, 2*g + 4*d + z - 139 = 0. Is g a multiple of 8?
True
Let g(i) = -10*i**3 + 4*i**2 - 4*i - 13. Is g(-3) a multiple of 42?
False
Suppose 4*f + o - 193 - 425 = 0, -5*o = f - 145. Suppose 0 = -35*y + 40*y - f. Is 14 a factor of y?
False
Suppose 8*n - 18 = 10*n. Let m = 44 + n. Is m a multiple of 15?
False
Does 7 divide (6/(-5))/((-9669)/1380 - -7)?
False
Does 58 divide ((-8004)/14)/((-18)/126)?
True
Let u be -45*(-9)/(54/8). Suppose 0*a + u = 5*a. Is a a multiple of 12?
True
Let x(p) = p**2 + 22*p + 39. Suppose 6*q - q + 105 = 0. Is 9 a factor of x(q)?
True
Suppose 2*r + 1634 = 4*h, -3*r = 4*h + h - 2026. Is h a multiple of 38?
False
Let h be -5 + 3 + (-3 - 37). Is (h/4)/((-24)/32) a multiple of 7?
True
Let w(i) = -i**3 + 11*i**2 + 17*i - 27. Let t be w(12). Suppose y + 26 - 1 = 2*g, -g = -3*y - 10. Let u = t - g. Is u a multiple of 9?
False
Suppose 11*q - 10*q - 168 = -3*p, -2*q - 4*p = -340. Does 