ppose 4*y + 4*i + 40 = 0, 40 = 6*y - 10*y + 3*i. Is 14 a factor of v(y)?
True
Let y be (15/(-2))/(-3)*2. Let j(g) = -8*g - 85. Let m be j(-11). Suppose -y*r = m*i - 61, 3*r - 64 = -3*i + r. Is 6 a factor of i?
False
Let w be ((-23)/(-2))/((-22)/(-44)). Suppose 0 = 6*t - w*t + 8993. Does 23 divide t?
True
Let u(w) = 9*w - 17*w + 100 + 9*w. Does 26 divide u(21)?
False
Let m(u) = u**2 + 4*u - 7. Let l = 26 + -32. Let x be m(l). Suppose 3*g - x*b + b - 37 = 0, 4*g + b = 81. Is 19 a factor of g?
True
Suppose -116*b - 33*b = -1307028. Does 17 divide b?
True
Let r = 117 - 145. Is 26 a factor of (4/6)/(r/(-16296))?
False
Let o be 0 - ((0 - -7) + -1). Let g(l) = 3*l**2 + 11*l + 13. Let p be g(o). Let n = p + 1. Does 7 divide n?
True
Let w be ((-2)/3)/(1/(-3)). Let c(n) = 63*n + 4. Let u be c(0). Suppose -329 - 208 = -5*a - u*h, -5*a - w*h + 531 = 0. Does 23 divide a?
False
Let j(d) = d**3 + 9*d**2 + 6*d + 14. Let i be j(-6). Suppose -2*o = -160 - i. Does 11 divide o?
False
Let v = -11 + 16. Let d(i) = -5*i + 25. Let z be d(5). Suppose -v*q - 2*o + 148 = z, -43 = -q + 5*o - 8. Does 10 divide q?
True
Let r(g) = -64*g + 1327. Does 3 divide r(11)?
False
Let f be 10 - (-798)/12 - (-3)/(-2). Suppose 16*j = 17*j - f. Does 11 divide j?
False
Let s(x) = -x**3 + 3*x**2 - 4. Let c be s(2). Suppose -4*a + 3*m + 4564 = c, -13*m - 2282 = -2*a - 14*m. Does 24 divide a?
False
Let s(j) = j**3 - 11*j**2 - 9*j - 36. Let x be s(12). Suppose -109*z + 111*z - 352 = x. Is 22 a factor of z?
True
Suppose -3*b = -6*b - 588. Let y = b - -273. Is y a multiple of 11?
True
Suppose 2*q = -q + 9. Suppose 0 = u - 2 - q. Is (u + 0)*(-3 - -10) a multiple of 5?
True
Suppose 1098*o - 1008*o = 4204980. Is 39 a factor of o?
True
Suppose -10*i + 6*i = -112. Suppose 0 = 9*p - 12*p + v + 8, 2*p + 5*v = i. Is 3 a factor of p?
False
Suppose 420493 - 184017 = 39*t - 362057. Is t a multiple of 21?
False
Let d = 20172 - 7932. Is 30 a factor of d?
True
Suppose 1234608 = 124*t + 165*t. Is t a multiple of 178?
True
Let n(r) = 9*r + 1387. Is 45 a factor of n(67)?
False
Is (-8 + 1748286/99 - 0) + 18/33 a multiple of 3?
True
Does 16 divide 13921*2/15 + 14/(-105)?
True
Let p(f) = 2*f**2 - 3. Let s be p(-2). Suppose s*o = o - 484. Let w = o - -232. Is w a multiple of 21?
False
Suppose -4*n - 5*q = 412, -307 = 2*n - 5*q - 71. Let l = -58 - n. Does 10 divide l?
True
Let l(x) be the second derivative of 5*x**4/12 - 19*x**3/6 + 40*x**2 - 82*x. Is 7 a factor of l(4)?
True
Suppose 5*g - 25 = 0, 2*u + 3*g - g = -130. Let s = u - -198. Is (-1)/(0 + s/(-42) - -3) a multiple of 2?
False
Is ((-18)/(-25))/((-39)/(-176540)*-7)*-5 a multiple of 27?
False
Let v be 3*(1 + (-1)/(-3)). Let i(j) = 4*j**2 + j - 14. Is 6 a factor of i(v)?
True
Let u = -56 + 3839. Is 77 a factor of u?
False
Let z(k) = -1151*k + 5400. Does 45 divide z(-7)?
False
Suppose -z - 16 = -5*v, -2*v + 28 = -z + 6*z. Is 348/4 + (4 + -5)*v a multiple of 12?
False
Let w be 198/51 + (-4)/(-34). Suppose w*q - 481 = 399. Is 22 a factor of q?
True
Suppose -15 = -2*c - 5. Suppose 3*w + 4*p + 125 = 8*w, c*w + 2*p - 155 = 0. Suppose -25*u = -w*u + 84. Is u a multiple of 7?
True
Let f = 11 - 14. Let i(q) = -q**2 + q - 1. Let g(u) = 2*u**2 + 6*u - 3. Let r(l) = g(l) - i(l). Is r(f) a multiple of 10?
True
Suppose -g + 6*g - 2*j = 21420, 4*g - 2*j - 17138 = 0. Is 22 a factor of g?
False
Let h = 109 - 97. Suppose 4*p - 217 = -h*y + 11*y, 0 = -y - 5*p + 219. Is y a multiple of 11?
True
Let m(y) = y**2 + 8*y + 23. Let k(w) = w - 18. Let p be k(7). Let b be m(p). Suppose -2*r - 3*t = 2*r - b, 0 = 4*t. Is r a multiple of 7?
True
Let w(t) be the third derivative of t**6/120 + 13*t**5/60 + 17*t**4/24 - 13*t**3/6 - 21*t**2. Let k be w(-9). Let v = -40 + k. Does 7 divide v?
False
Let z(k) = 26*k**2 + 2*k + 1. Let x be 12/((-3)/6*-3). Suppose -9*h - 1 = -x*h. Is z(h) a multiple of 21?
False
Let r(d) = -3 + 2*d**3 + 0*d - 3*d**3 - 3*d**2 - 8*d**2 + 4*d. Let v be r(-11). Let k = v + 78. Does 31 divide k?
True
Suppose -155*q + 1989165 = -1805622 - 764538. Is q a multiple of 37?
True
Let f(u) = 16*u**2 + 380*u + 33. Does 10 divide f(-30)?
False
Let r(u) = -u**3 + 9*u**2 + 3*u + 12. Let a be r(9). Let m = a + -39. Suppose -81 = -3*s + 3*z, 2*s + 2*z + 23 - 93 = m. Is 6 a factor of s?
False
Suppose 3*i = -5*q + 7557, 3*q - 3*i - 4535 = -4*i. Suppose -7*m + 4*m + q = 3*n, 0 = 4*n - 2*m - 1986. Does 17 divide n?
False
Let g(f) = 635*f + 1456. Is g(8) a multiple of 152?
True
Let l(k) = 24*k + 15 - 41*k - k**3 - 2*k - 16*k**2 - 44*k. Is 109 a factor of l(-13)?
True
Let z(q) = -24*q + 147. Let u be z(-6). Suppose 6*d = u + 861. Is 34 a factor of d?
False
Let n(m) = 3*m**3 + m**2 + 27*m - 7. Suppose 0 = 67*b - 91*b + 120. Does 24 divide n(b)?
True
Suppose 60 = 21*y - 24*y. Is 45/y*944/(-6) a multiple of 11?
False
Let l(y) = -14. Let z(s) = s - 55. Let j(r) = -9*l(r) + 2*z(r). Let o be j(-5). Does 21 divide 7/147*o + (-1760)/(-14)?
True
Let c(i) = 63*i**2 + 14*i + 32. Does 86 divide c(12)?
False
Is 1764/(-630) + (-386418)/(-10) a multiple of 23?
False
Is 4 a factor of (2013 - 2) + (-22 + 20)*-1?
False
Let b(f) = f**2 + 15*f + 2. Let c be b(-18). Let p = c - 52. Is (-2)/p + 0 + (-265)/(-2) a multiple of 11?
True
Let l(r) = 2*r**2 + 10*r - 175. Does 10 divide l(-26)?
False
Suppose -47*x + 3554733 = 121*x + 520653. Is x a multiple of 84?
True
Suppose 5*a - 45376 = 2*p + 151316, 3*a + 9*p = 117954. Does 298 divide a?
True
Suppose 5*l + 5*x - 40 = 0, -3*x - 14 + 6 = -5*l. Suppose -2*i = l*w - 898, -i - 192 = 3*w - 867. Is w a multiple of 4?
False
Let v be 2*1/(-10) + (-234)/(-45). Suppose -4*y + 4*r + 180 = 0, v*y = 6*y + 4*r - 45. Is y a multiple of 28?
False
Suppose -7*c + 12*c - 55 = 0. Suppose -11 - 110 = -c*a. Suppose -2*s - 7 = -4*i + a, 0 = i + 5*s + 12. Is 3 a factor of i?
True
Suppose 12*h - 8*h - 1724 = 0. Suppose 2*g - 165 = h. Is 16 a factor of g?
False
Let a be -3*(-6 - (-3 - 2)). Does 10 divide (70/a)/(-7 - 762/(-108))?
True
Suppose -1960 - 1744 = -8*t. Suppose t + 202 = 7*y. Is 2 a factor of y?
False
Suppose -s + 4*k - 58 = 0, -5*s - 3*k - 328 = -4*k. Let q = -73 - -34. Let o = q - s. Is o a multiple of 17?
False
Let j(g) = -g**3 + 6*g**2 - 3*g + 5. Let y be j(5). Let s = 19 - y. Suppose -90 = s*d - 10*d. Does 15 divide d?
True
Suppose 29*x - 204 - 28 = 0. Does 2 divide 140/x*(-20)/(-7)?
True
Suppose -9*d - 60 = -3*d. Let y(q) = -5*q - 21. Let h be y(d). Suppose 0 = -b + 4*g + 75, 3*b = 4*g - h + 222. Is 12 a factor of b?
False
Suppose 141*a + 68023 = 85*a + 366223. Is 75 a factor of a?
True
Let s(y) be the first derivative of 3/2*y**2 + 16/3*y**3 + 8*y - 23. Is 33 a factor of s(-2)?
True
Let f(h) = 5*h + 91. Let o be f(-26). Let m = 129 + o. Is 10 a factor of m?
True
Let s = 38 - 35. Suppose 2*x + f = -s*f + 14, -4*x = -f - 19. Suppose x*n = -0*n + 240. Is 12 a factor of n?
True
Let l = 147 - -103. Let v = -6213 - -6650. Let f = v - l. Does 27 divide f?
False
Let c be 80/(-12)*3/(-5). Suppose 147 = 5*r - 2*x - x, 0 = -c*r + 2*x + 118. Does 5 divide r?
True
Let w(u) = 22*u**2 + 3*u + 11. Let g be w(3). Does 10 divide 3 - (4 - g - 3)?
True
Suppose -86 = -2*t + 2*z, -7*z + 9*z = t - 40. Let w(h) = 2*h + 10. Let n be w(-5). Suppose n = 5*g - 0*g + 2*a - t, -26 = -4*g + 2*a. Does 8 divide g?
True
Let w = -281 - -428. Suppose -22 - w = -d. Is 13 a factor of d?
True
Suppose 0 = -2*w - 2, -v - w - 40 = -6*w. Let l = -82 - -161. Let o = v + l. Is 8 a factor of o?
False
Suppose n = -2*n - 2*g - 8, 4 = -3*n - 4*g. Let o be (31 - n - -2)*-5. Let s = o + 433. Is s a multiple of 13?
False
Suppose -3*r + 2*q = -82, -4*r = -0*r - q - 111. Let a(o) = o**2 - 23*o - 144. Let z be a(28). Does 23 divide 1800/r - z/(-14)?
False
Let h(q) = q**3 - 9*q**2 - 7*q - 15. Let v be h(10). Let n be ((-55)/v)/(((-1)/(-15))/(-1)). Let o = 70 - n. Is o a multiple of 15?
True
Suppose 223*m - 158802 = 166*m. Does 63 divide m?
False
Let b(h) be the third derivative of -13*h**4/8 - 97*h**3/6 + 96*h**2 - 2*h. Is b(-10) a multiple of 5?
False
Does 28 divide 21/((513/3204)/19)?
True
Let t(n) be the second derivative of -23*n + 7*n**2 + 13/3*n**3 + 0. Does 22 divide t(2)?
True
Let a be (-5)/(-3)*(18 + -15). Suppose 3*k - a*d = 58 + 271, -2*d = -3*k + 326. Is 9 a factor of k?
True
Suppose -9*o + 7*o + 988 = 4*c, -c - 