- 140 = -5*t. Suppose -2*w - t = -99. Is 9 a factor of w?
False
Does 35 divide ((-34640)/18)/(-2) + 118/(-531)?
False
Suppose -8*y - 12 = -11*y. Suppose y*v - 5*v + 80 = 0. Is v a multiple of 32?
False
Let v be (-12)/10*(-100)/30. Suppose -c + v*c - 6 = 0. Suppose -5*h + r = 4*r - 324, r = -c. Is 15 a factor of h?
False
Let y be -2*(1 + 2 - 4). Suppose 50 = 3*k - y*k. Is k a multiple of 10?
True
Let k(b) = b**2 + 12*b - 17. Let h(g) = -g - 4. Let r be h(12). Does 9 divide k(r)?
False
Let h(d) = 162*d - 104. Is h(2) a multiple of 11?
True
Let i = 306 + 67. Does 27 divide i?
False
Is 4 a factor of (-18 + -12)/((-10)/65)?
False
Is -1*557*(-33 + 32) a multiple of 57?
False
Let k be (-21)/(-6)*8/7. Suppose -2*t = -k - 52. Is (-8)/t + (-510)/(-21) a multiple of 8?
True
Let i be (-100)/(-30) - 1/(6/(-4)). Suppose 4*n = i*k + 714 - 166, 0 = -n + 2*k + 135. Is n a multiple of 61?
False
Suppose 5*y + 3*d = -5 - 22, -4*y + d = 8. Let x be (-2 - -15)/((-3)/y). Suppose 0 = 2*m + x - 35. Is m a multiple of 8?
False
Is (-4*1712/320)/((-2)/10) a multiple of 6?
False
Let m be (-4 - -8)/(-4) - -3. Suppose v + v + 2*n = 102, m*n - 2 = 0. Is 18 a factor of v?
False
Suppose -4*m - 3*g = 2*g + 3, -5*m + 4*g + 27 = 0. Let t = m - 1. Suppose t*q + 76 = 4*q. Does 15 divide q?
False
Suppose 21*z + 6672 = 33*z. Does 44 divide z?
False
Let u(g) = g**3 + 11*g**2 + 28*g + 35. Let h be u(-8). Let x(w) = -w**2 + 4*w + 7. Let s be x(5). Suppose -v = -k + 5, -h*v + 24 = 2*k + s*v. Does 3 divide k?
False
Suppose 9*z + 314 = 1223. Is z a multiple of 8?
False
Suppose -45*p + 1893 = f - 43*p, -p = 3*f - 5699. Is f a multiple of 5?
False
Suppose 0*c + 8 = 2*c. Let r = c + 45. Does 8 divide r?
False
Suppose 2*c = -4*q + 574, 3*c - 716 = -q - 4*q. Suppose 131 = 2*k - q. Let z = k - 98. Is 8 a factor of z?
True
Let g(l) = l**3 - 14*l**2 + 24*l + 10. Let x be g(13). Let b = x + -77. Is 31 a factor of b?
False
Let r = -448 + 618. Is r a multiple of 10?
True
Let p(o) be the first derivative of -o**3/3 + 11*o**2/2 - 8*o - 8. Does 22 divide p(6)?
True
Let v be (-736)/56*14/(-4). Suppose r = v - 12. Is r a multiple of 14?
False
Suppose 2*i = 2, u - 10*i + 8*i = 1544. Is u a multiple of 53?
False
Let t(r) = 2*r**2 - 21*r - 66. Does 10 divide t(-7)?
False
Let d(u) = u**3 - 35*u**2 - 355*u + 91. Is d(44) a multiple of 24?
False
Suppose 235 - 28 = -2*c + z, -2*z - 91 = c. Let d = 173 + c. Is d a multiple of 9?
True
Let c = 71 - 86. Is (-5 - c/5)*-2 a multiple of 4?
True
Is 54 a factor of (6/(-2))/((-1)/106)?
False
Let p = -31 + 48. Suppose 0 = -2*n + 5 - p. Is 8 a factor of 8/n*(-741)/26?
False
Let w = 129 - 27. Is w a multiple of 6?
True
Let j be -3 - (1 - 3 - 1). Suppose j*g = g - 4. Suppose g*b = b + 135. Is b a multiple of 12?
False
Let k = 1133 + -1167. Let f(v) = v**3 - v**2 + 69. Let x be f(0). Let z = k + x. Is z a multiple of 14?
False
Suppose -19*t + 3867 + 2251 = 0. Does 23 divide t?
True
Let h = -8 - -31. Let y = 27 - h. Is y a multiple of 2?
True
Suppose 3*b = -2*t - 2*b + 11, -2*t - b = -7. Suppose -855 = -3*o + 3*a, 0 = o + 2*o + t*a - 873. Suppose -2*s + 5*s = o. Is s a multiple of 30?
False
Let h(g) = g**3 + 23*g**2 - 2. Let f be h(-23). Is 7 a factor of ((-506)/33)/(f - (-48)/27)?
False
Suppose 0 = -2*h + 97 + 141. Is 22 a factor of h?
False
Let t(p) = -p**2 + 13*p - 6. Let o be t(12). Suppose o*u = u + 325. Let h = u + -22. Is 16 a factor of h?
False
Let a = 11 + -7. Suppose -2*p + 48 = 3*v, -p - 38 = -4*p + a*v. Suppose -5*n + 88 = p. Is n a multiple of 7?
True
Suppose 0 = 3*c + 3*f - 48, 4*c + 2*f - 27 - 29 = 0. Suppose c*a = 2*a + 720. Does 11 divide a?
False
Suppose 4*c + 5*l - 1303 = 0, 23*c + l = 26*c - 982. Is c a multiple of 82?
False
Suppose 6*x = x + 605. Suppose 5*p - 5*m - 485 = 0, -m = p + 4*m - x. Let k = p - 49. Is k a multiple of 13?
True
Suppose 3*j - 10*d - 3544 = -6*d, -j + 1194 = 5*d. Is j a multiple of 33?
False
Let d be 1*-1*66/(-11). Suppose -300 = -d*g + 8*g. Let m = g - -216. Is 22 a factor of m?
True
Let q = -5414 - -9801. Is q a multiple of 127?
False
Let y = 146 - 236. Let b be (-2630)/y + (-4)/18. Suppose -b = 4*i - 85. Is 10 a factor of i?
False
Let n be (-6)/((5 - (-3 - -7)) + -3). Is (-1)/(n/11)*(-42)/1 a multiple of 44?
False
Let z = -462 - -4417. Is 57 a factor of z?
False
Let v(x) be the first derivative of -x**2 - 10 + 0*x + 2*x**2 + 7*x**3 + 4*x - 2*x**2. Is 28 a factor of v(2)?
True
Let r(l) = -5*l**3 + 20*l**2 + 16*l + 17. Let b(n) = -n**3 + n**2. Let z(j) = -6*b(j) + r(j). Let p be z(-12). Suppose -4*q + 19 = -p. Does 11 divide q?
True
Let r be (198/(-24))/((-6)/16). Let m = -9 + r. Suppose -3*n = -5 - m. Is 6 a factor of n?
True
Suppose 345 = -27*r + 32*r. Is 69 a factor of r?
True
Suppose 4*f - 35 = 289. Does 11 divide f?
False
Let r(i) = 25*i + 113. Does 51 divide r(5)?
False
Suppose 14*c - 12*c + 674 = 0. Let k = -222 - c. Does 11 divide k?
False
Let f(y) = -y**3 - y**2. Let w(n) = -6*n**3 - 4*n**2 - n - 24. Let i(k) = 5*f(k) - w(k). Let b be 4 + 18/(-4) + (-1)/(-2). Is 14 a factor of i(b)?
False
Suppose -3*o + x = -0 - 4, 2 = -2*o + 3*x. Suppose -2*g = -s + 71, -182 - 23 = -3*s - o*g. Does 15 divide s?
False
Let p(y) be the third derivative of -y**6/120 + y**5/15 + y**4/4 - y**3/3 + y**2. Let m(n) = 3*n**2 + 5*n + 3. Let r be m(-2). Is p(r) a multiple of 2?
False
Suppose h - 2*f - 32 = 0, 4*h + 19*f = 23*f + 116. Does 8 divide h?
False
Let v(p) = -5*p + 20 + 10*p - 11*p - 12. Is v(-16) a multiple of 19?
False
Let z be (-3)/(-9)*(11 - 2). Suppose -2*m - 23 = -m - 5*w, 4*m - w = z. Suppose -2*g = -m*c + 88, -3*c = 2*g - 17 - 95. Is c a multiple of 8?
True
Suppose 7*f - 7 = -3*c + 3*f, 0 = -4*c - 5*f + 9. Suppose -2*x + 7 = c. Suppose -4 = x*g - 22. Is g even?
True
Let u(f) = 35*f + 138. Is 29 a factor of u(7)?
False
Suppose 6*n = 181 + 149. Is n a multiple of 55?
True
Suppose 0 = -0*i + 3*i - 9. Suppose i*s = -s - 180. Is ((-27)/s)/(2/30) even?
False
Let f(d) = d**2 - 4*d - 5. Let m be f(5). Suppose -126 = -m*y + 3*y. Let x = -28 - y. Does 3 divide x?
False
Let v(w) = -3*w + 145. Is v(11) a multiple of 37?
False
Suppose 2*z = z - 1, -q - 4*z = -339. Is 11 a factor of q?
False
Let a = 8 - 2. Let k be 38/(-3)*(-9)/a. Suppose -6 = -m + k. Does 9 divide m?
False
Let d = 933 + -481. Is 47 a factor of d?
False
Let p(z) = -5*z**3 - z**2 + z + 9. Is 11 a factor of p(-3)?
True
Suppose -4*n + 20 = 0, 4*q - 2*q - 5*n = -17. Let v(d) = 4*d**2 + 30*d + 16. Let x be v(-7). Suppose 3*w - 26 = -x*g + 12, -q*g = -4. Is w a multiple of 12?
True
Let f be (-1)/(-3 + 37/12). Suppose 0 = 6*j - 4*j + 10. Let q = j - f. Does 7 divide q?
True
Let i(a) = -a**3 - 11*a**2 + 24*a - 7. Let d be i(-13). Let f(v) = v. Let g be f(4). Suppose 2*h + d = z, 4 = -g*z + 5*h + 71. Does 12 divide z?
False
Let g(i) be the first derivative of i**4/4 - 2*i**3 + i**2/2 - 2*i + 3. Let q be g(6). Suppose -4*v + q = -12. Is 2 a factor of v?
True
Let x(i) = i**2 - 7*i - 17. Is 29 a factor of x(-29)?
False
Let n(a) = -4*a**3 - 3*a**2 - a - 2. Let k(h) = -h**2 - 7*h - 6. Let b be k(-5). Suppose 5*q - 2*u = -10, 0*q - b*q - 8 = u. Is n(q) a multiple of 15?
False
Suppose -3*k - 3 + 48 = 0. Does 29 divide k/(25/5) - -31?
False
Suppose -925 = -5*i + 5*a, i + 2*a - 540 = -2*i. Is 8 a factor of i?
False
Let t be (-220)/3 + (-4)/(-12). Let l = 176 + t. Suppose l = 3*k - b - 15, -b = -k + 42. Does 19 divide k?
True
Suppose 83*f + 1008 = 85*f. Does 28 divide f?
True
Let t = 1459 + -830. Is 38 a factor of t?
False
Suppose -p - 13 - 5 = 0. Let d be (-282)/p*(2 + 1). Does 15 divide d + (2 - (1 + 1))?
False
Let j = -2106 - -5252. Is j a multiple of 22?
True
Suppose 15*c = 1185 + 2070. Is c a multiple of 143?
False
Suppose 0 = -3*r - 12 - 24. Let d = r - -33. Suppose -5*l = -0*g - 4*g - 69, d = 2*l + 5*g. Is 11 a factor of l?
False
Let o be 36/14 + 42/98. Suppose 0 = -o*z - 11 + 17. Suppose 113 = 2*f - h + z*h, -2*f = 2*h - 114. Does 14 divide f?
True
Suppose 14*u - 590 - 2126 = 0. Does 12 divide u?
False
Is (544/12)/((-2)/(-6)) a multiple of 17?
True
Suppose -4*r = 5*v - 821, r + 141 = v - 25. Is 5 a factor of v?
True
Let s(q) = -q + 14. Let m be s(23). Let j(d) = -d**3 - 8*d**2 + 8*d + 7. Is j(m) even?
True
Let k be -3 - (6/24 + (-38)/(-8)). Suppose 5*x - 4*x + 15 = 0. Let v = k - x. Is v 