Let d = -588 + 1274. Is 14 a factor of d?
True
Is (-8)/(-20) + (-3390)/(-25) a multiple of 17?
True
Let g = 27 - 8. Suppose 1 = 5*w - g. Suppose 16 = -w*v + 64. Does 4 divide v?
True
Suppose 0 = 5*u - 7*u + 850. Is 22 a factor of u?
False
Let t(z) = -z**2 - 3*z + 30. Let k be t(6). Let h be 124/(-3) - 3/(-9). Let x = k - h. Does 11 divide x?
False
Let f(s) = -28 + 6*s**2 - 10*s**2 + 7*s**2 + 4*s. Let q(m) = m**2 + m - 1. Let b(z) = -f(z) + 4*q(z). Does 6 divide b(0)?
True
Suppose -2*w - 3*k + 3 = 0, -w + 7*k + 8 = 2*k. Suppose 0 = -3*r - w, -i + 80 + 28 = -4*r. Is 22 a factor of i?
False
Let j(w) = 3*w**2 - w. Let i be j(1). Suppose -2*b + 17 = 5*r, i*b = 5*b - r. Is (3 - -5) + (b - -2) a multiple of 8?
False
Suppose -18 = q - d, 0*d = q + 4*d + 28. Let o(f) = 3*f - 17. Let b be o(-17). Let y = q - b. Is 12 a factor of y?
True
Let q be 21/(-14)*16/6. Let y be 3/4 - 21/q. Does 16 divide y/21 - 1364/(-28)?
False
Let h be ((-12)/8)/((-6)/16). Suppose h*x = 205 + 3. Is x a multiple of 13?
True
Suppose -3*s + 4 = -s. Suppose 2*r + 44 = -3*j + 381, 3*r + s*j = 518. Is r a multiple of 42?
False
Let d = 2398 + -1139. Is d a multiple of 15?
False
Suppose y = 3*w + 567 + 262, -5*y - w = -4097. Is y a multiple of 41?
True
Let y = 522 - 88. Is y/10 + -6 + (-168)/(-30) a multiple of 15?
False
Suppose -3*k + o = 2 - 15, -2*k + 37 = 5*o. Let w be k*-1*(-2)/6. Suppose -8 = -d + w. Is d a multiple of 10?
True
Suppose 18 = 5*c - 42. Suppose 17*o = c*o + 125. Is o a multiple of 4?
False
Suppose -l = -2*u + 157, -7*u + 2*l = -9*u + 142. Does 3 divide u?
False
Let n(u) = -u**2 + 14*u - 9. Is 7 a factor of n(5)?
False
Suppose -3*k - 3*n - 18 = -6*k, -4*n + 25 = 3*k. Is 17 a factor of 156 + (1 - k - -3)?
True
Suppose 31*m = 32*m - 36. Suppose -3*y = -p + 2*y + m, -3*p = -4*y - 75. Is 12 a factor of p?
False
Suppose -20*y + 5*y + 14790 = 0. Does 58 divide y?
True
Let f(c) = 4*c + 20. Let m be f(-5). Is 2 + 0 + m + 36 a multiple of 10?
False
Suppose 1 + 23 = 4*b + 2*n, 0 = -b + 5*n - 16. Suppose -j + 2 = 0, 3*r - 1 - 126 = b*j. Suppose r = 2*s + l, -3*s - 2*l + 69 = -0*l. Is 7 a factor of s?
True
Suppose -74*w - 486 = -175866. Is w a multiple of 10?
True
Suppose 4*q - 311 = 629. Suppose 190 = 3*f - 4*g, -3*g + q = 3*f + 2*g. Is 13 a factor of f?
False
Let d = -38 - -16. Let k = d + 35. Does 2 divide k?
False
Suppose -u + 4*u = 0. Let y = 5 + u. Suppose -12 - 13 = y*s, 3*c = -2*s + 2. Is 4 a factor of c?
True
Let z = -13 - -13. Suppose -4*n + 0*n - 44 = z. Let d(f) = f**2 + 10*f + 2. Is 13 a factor of d(n)?
True
Let w(i) = -5*i**2 - i + 1 + 2*i**3 - 2 - i**3. Let g be w(5). Does 7 divide (g + 8)/((-2)/(-7))?
True
Let f be 24/(-18)*9/(-6). Suppose f*x - 204 = -x. Does 17 divide x?
True
Let m be 6/15 - (-36)/10. Let u(t) = m*t**3 + 55 - 65 + 8*t**2 - 3*t**3 + 3*t. Is 9 a factor of u(-7)?
True
Let g be 0/4*(6/(-4) + 1). Suppose g = -4*n + 37 + 163. Is n a multiple of 5?
True
Suppose 0 = 7*r - 12*r + 2520. Is r a multiple of 63?
True
Let j(t) = 7*t**2. Let i be j(1). Let c = 11 - i. Suppose -w = -q + 13, 6*w - w - 16 = -c*q. Is q a multiple of 6?
False
Let q(o) = o**2 - 10*o + 14. Let p be 1/(2 - 0)*0. Suppose -3*a + 3*y + 9 + 24 = p, 0 = 5*y - 10. Is 22 a factor of q(a)?
False
Suppose -4*b - 2*b + 12 = 0. Let z(h) = -h**3 + 17*h**b + 2*h - 12*h**2 + h + 1. Is 16 a factor of z(-3)?
True
Let s(g) = 5*g**2 - 34*g - 43. Let w(v) = 2*v**2 - 11*v - 14. Let q(p) = -3*s(p) + 8*w(p). Is 17 a factor of q(-14)?
True
Suppose -30*z - 132 = -36*z. Let h = -20 + z. Does 2 divide h?
True
Let m(n) = 0*n - 25 + 9*n + 13*n + 3. Is m(5) a multiple of 8?
True
Suppose 4*i + 996 = -0*y + 4*y, 2*y - 507 = 5*i. Does 15 divide y?
False
Suppose 5*l + 567 = -4*n, -2*n - 117 = 2*l + 109. Let s = -74 - l. Is 12 a factor of s?
False
Let y(f) be the third derivative of 3/5*f**5 + 0 - 1/6*f**3 + 0*f + 1/24*f**4 + 3*f**2. Is y(1) a multiple of 36?
True
Let x(l) = -l**3 + 12*l**2 + 14*l - 33. Let o be x(11). Let j = 3 + o. Does 49 divide j?
True
Let b(q) = 4*q**2 - 14*q - 36. Does 5 divide b(-3)?
False
Let d(h) = -h**2 + 8*h + 9. Let g = 25 - 16. Let m be d(g). Suppose 0*v - 3*v + 232 = 4*k, v - 3*k - 60 = m. Does 24 divide v?
True
Let p = 51 - -52. Suppose 2*u = 4*t - 78, 0 = -5*t + t. Let q = p + u. Is 16 a factor of q?
True
Suppose -7*o = -3*o + 16. Is 11 a factor of 4 - (0 + 12)*o?
False
Let h be (6/(-10))/(6/(-30)). Suppose -h*k + 4*k - 36 = 0. Does 17 divide k?
False
Let a(r) = -505*r - 316. Does 78 divide a(-2)?
False
Let v(h) = -71*h + 12. Let j be v(-3). Suppose -7*t - j = -1310. Does 17 divide t?
False
Suppose 1727*j - 90 = 1724*j. Does 9 divide j?
False
Let v = -4 - -11. Suppose -g + 4*z - v = -3, 0 = -2*g - z + 10. Is 20 a factor of (g - 20/1)*-5?
True
Suppose -5*d = 58 - 378. Let y(a) = -63*a + 1. Let z be y(-2). Let h = z - d. Does 23 divide h?
False
Let k(w) = -6*w**2 + 8*w - 4. Let l be k(1). Let h(f) = 10*f - 7. Let a(o) = -5*o + 4. Let q(s) = -11*a(s) - 6*h(s). Is 3 a factor of q(l)?
False
Let o be ((-24)/12)/(2/(-10)). Suppose t - 2*t = o. Let v = t - -14. Does 4 divide v?
True
Does 3 divide (3 + 98/10)/(4/10)?
False
Suppose 2*z + 2*j = -2*j + 934, 3*z - j = 1387. Does 7 divide z?
False
Let l(f) = f + 7. Let t be l(0). Suppose -t*i = -8*i + 3. Suppose g = i + 7. Does 10 divide g?
True
Let q be ((-125)/3)/(3/((-18)/(-2))). Let x = -56 - q. Is x a multiple of 7?
False
Let v = -145 + 256. Suppose v + 21 = 4*w. Let f = w - 24. Is 9 a factor of f?
True
Suppose 3*q = -3*k + 7410, -5*q = -6*q + 3*k + 2458. Does 26 divide q?
False
Let d(l) be the third derivative of l**6/720 + 7*l**5/40 + 5*l**4/24 + 2*l**2. Let w(c) be the second derivative of d(c). Does 21 divide w(0)?
True
Let k be 200/(-16)*(-2)/(-1). Let n = k - -62. Does 18 divide n?
False
Let b be (6 + -1)/(-3 - -2). Let d = 9 + b. Suppose 3*w + 5 = -2*h, d*h - w + 7 = 32. Does 5 divide h?
True
Let x be (8/3)/((-6)/(-9)). Suppose 5*k - 5*w - 50 = 0, 5*w = x*k - 6 - 29. Does 2 divide k?
False
Let v be -2 + (296/10)/(4/30). Suppose -s - v = -6*s. Is 7 a factor of s?
False
Suppose -2*n = 5*t - 2404, -7*t + 4*n + 2392 = -2*t. Is t a multiple of 15?
True
Let b = -300 - -190. Let p = b - -240. Suppose 3*d + 2*d = p. Is d a multiple of 8?
False
Let p = -4 + 9. Suppose -4*v - 4*a = 4, 5*v - p*a = -8 + 43. Let z(j) = -j**2 + 7*j - 2. Is z(v) a multiple of 5?
True
Let j(t) be the second derivative of 1/3*t**3 + 0 + 1/2*t**2 + 4*t. Is j(2) a multiple of 5?
True
Let u be 4*(-37)/6 - (-11)/(-33). Does 28 divide (448/10)/((-5)/u)?
True
Suppose 3*o - 7 - 11 = 0. Suppose 6*c - 7*c + o = 0. Is 6 a factor of c?
True
Let t be (-5)/15 - (-41)/(-3). Let d(k) = k + 14. Let z be d(t). Suppose z = j + j - 14. Is j even?
False
Let n(w) = -4*w - 9. Let x be n(-3). Suppose -x*l + 448 = -236. Does 57 divide l?
True
Let t(y) = -y**2 - 48*y - 25. Is t(-35) a multiple of 25?
False
Let f(q) = 2*q + 1. Let x be f(0). Let z(a) = -29*a + 2. Let s(p) = 58*p - 3. Let k(u) = 3*s(u) + 5*z(u). Does 10 divide k(x)?
True
Let x(y) = -5*y + 2. Let o(v) = 15*v - 6. Let l(h) = -6*o(h) - 17*x(h). Let r be l(-5). Suppose 5*w = -2*g + 10 + r, 2*g - 30 = -4*w. Does 2 divide w?
False
Suppose 5*w + d = 633, -3*w = -2*w - 4*d - 114. Does 24 divide w?
False
Is 9*8*96/18 a multiple of 16?
True
Suppose 3*p - 139 = 3*c - 4*c, 0 = 5*c - 20. Suppose -3*x = -3*z - 51, 5*x + 5*z = -0*z + p. Does 2 divide x?
False
Let r(j) = -3*j - 3*j**3 - 3*j**2 + 8 + j**2 - 17. Is r(-4) a multiple of 37?
False
Let d = -25 - -10. Let x = -11 - d. Suppose 4*p + x*q = 108, 3*p + 17 = 3*q + 98. Is 19 a factor of p?
False
Suppose -2*m - 5*d + 16 = 47, 0 = 3*m - 3*d + 15. Let t be m/(-3)*(-1 - -82). Suppose -o = 3*c + 2*c - t, -5*c + 224 = -o. Is 22 a factor of c?
True
Does 16 divide (-15)/(-30) - 3390/(-4)?
True
Let f be ((-3)/5)/((-27)/90). Let p be ((-6)/2)/(-3 + 2). Suppose 0*r + 106 = 4*r + f*s, 3 = p*s. Does 19 divide r?
False
Let y be (-2)/6*(-10 - -4). Let s(b) = y*b - b + 0*b + 11. Is 5 a factor of s(-5)?
False
Let p(k) = k**3 + 47*k**2 + 31*k + 52. Is 9 a factor of p(-45)?
False
Suppose 0 = 2*r + 5*x + 18, 5*r - 4*x + 0*x = 21. Let o be (r - 2)/((-2)/(-12)). Is 14 a factor of 1/(o/28)*-3?
True
Suppose 66 = 4*f - 2*q, 0*f + 3*q = -f + 20. Suppose -f*i = -16*i - 54. Does 9 divide i?
True
Let p = -1274 + 23