Let v(k) = -k**3 + 15*k**2 - 18*k + 5. Suppose -4*z - 14 = -3*w, -5*w + 17 + 41 = 2*z. Does 14 divide v(w)?
False
Suppose -4648 = -4*f - 4*t, 56*t - 5808 = -5*f + 52*t. Is f a multiple of 6?
False
Let m be (-851)/(-23) + 1 + -7. Suppose 213 = 2*t + m. Does 15 divide t?
False
Suppose 5*n - n = 60. Let t be ((-6)/4)/(n/(-440)). Suppose -t = 4*c - 676. Is c a multiple of 13?
False
Let v(j) be the first derivative of -4*j + 4*j**2 - 19 + 1/4*j**4 - 7/3*j**3. Is v(7) a multiple of 13?
True
Suppose 38*x + 10*x = 12*x + 131004. Is 16 a factor of x?
False
Suppose -b + 18182 = 4*x, -71*x + 54560 = 3*b - 73*x. Is b a multiple of 22?
False
Let c(y) = 60*y - 8. Let s be (-8*(-2)/36)/((-4)/(-18)). Does 8 divide c(s)?
True
Suppose 833*i - 6432 = 896*i - 169476. Is 3 a factor of i?
False
Let z(g) = -3*g**3 + g**2 - 10*g - 24. Let f be z(-7). Let y = -644 + f. Is 24 a factor of y?
True
Suppose -u + 1 = -z - 10, 0 = -2*z - 5*u + 13. Let i be (0/1)/(z - -7). Suppose 3*y - 4*w - 420 = -0*w, i = 5*y + w - 723. Is y a multiple of 36?
True
Does 8 divide (-1895)/2*((-47 - -2) + 56/40)?
False
Let i(v) = 2*v**3 + 2*v**2 - 5*v - 4. Let z be i(4). Suppose -3*q + 526 = z. Is 5 a factor of q?
True
Let y be -3 - (10/(-30))/((-1)/(-11673)). Suppose 2*f + 3*h + y = 5*f, -f = -3*h - 1294. Is 77 a factor of f?
False
Let k(p) be the third derivative of -p**6/120 + p**5/6 + p**4/4 + 3*p**3 + 4*p**2 - 1. Is k(10) a multiple of 3?
True
Suppose -421655 = -222*l + 245011. Is l a multiple of 4?
False
Let d(t) = 51*t**2 - 107*t + 1319. Does 125 divide d(16)?
False
Suppose -35*r = -41*r + 45761 - 14627. Is r a multiple of 50?
False
Let i(y) = -817*y + 1069. Is 14 a factor of i(-13)?
True
Let m = -25 + 44. Suppose m*i - 112 = 18*i. Suppose -5*h - 22 + i = 0. Is h a multiple of 6?
True
Let x(d) = 25*d - 56*d - 10 + 28*d. Let q be x(-5). Suppose 96 = q*f - 54. Does 10 divide f?
True
Let k be ((-218)/(-3))/((-10)/(-15)). Suppose 0 = 3*u - 2*x - k - 31, -3*u = -x - 142. Is 7 a factor of u?
False
Let i = 2553 - -1612. Let b = i + -2849. Is 53 a factor of b?
False
Suppose -b = -13*b + 47319 + 41253. Is b a multiple of 11?
True
Suppose -3*u + 277308 = 3*b, 62*b - 4*u = 67*b - 462181. Does 66 divide b?
False
Suppose x - g = 2*g + 388, 5*g + 1890 = 5*x. Let n be (1 - 12/8) + x/2. Is 28 a factor of (n/(-31))/(1/(114/(-4)))?
False
Let q(f) = f**3 + 0*f**3 + 3*f**2 + 3*f**2 + 2 + 3*f - 4*f**2. Suppose 173 = 2*g + 165. Is q(g) a multiple of 19?
False
Let y(j) = -2*j - 29. Let r be y(-22). Let u be -3 - (1 - 3) - -238. Suppose -r - u = -6*q. Is q a multiple of 42?
True
Suppose -w - 2*l = -126, -2*l + 242 = -2*w + 4*w. Does 29 divide (-4)/32*-4*w?
True
Let p be 377 + (7 - 6) + 6. Suppose 79*o - 81*o = -p. Is 24 a factor of o?
True
Suppose -8 = -2*q, -2*r - 3*q = -4*r + 3872. Does 74 divide r?
False
Let y(k) = -k**3 + 7*k**2 - 6*k + 2. Let w = 43 + -37. Let d be y(w). Suppose -d*s = -4*x + 504, x - 4*x + 385 = 2*s. Is x a multiple of 27?
False
Let d = -179 + 466. Suppose 87*k - 80*k = d. Is 2 a factor of k?
False
Let j be 2 - (-2 + 2) - (14 + -14). Let z(h) = -h**3 + 9*h**2 - 8*h. Let n be z(8). Suppose -j*d - d + 4*x + 373 = n, -3*x = -15. Is d a multiple of 18?
False
Let w(i) = 53*i**2 - 276*i + 16. Does 16 divide w(-16)?
True
Let x = -21 - -24. Suppose x*p = 2*p - 61. Let d = 113 + p. Is d a multiple of 13?
True
Let v = -54 - -220. Suppose v = -14*d + 1230. Is d a multiple of 5?
False
Let q(u) = u**2 - 9*u - 57. Let b(k) = -k**3 - 9*k**2 + 3. Let i be b(-6). Let r = i - -122. Does 19 divide q(r)?
False
Suppose 6*c = c - 1310. Let n = -966 + 1421. Let k = n + c. Is 32 a factor of k?
False
Suppose 8*o - 8 = 4*o. Let s be (11/o)/(6/12). Let f(w) = -w**3 + 10*w**2 + 13*w - 7. Does 2 divide f(s)?
False
Suppose 3*y = -5*g + 8*y + 10, -g = -3*y - 2. Suppose 3*x - 3*b = g*x + 463, 4*x - 1792 = -3*b. Does 41 divide x?
True
Let h = 4734 - 2506. Does 53 divide h?
False
Let z = -184 - -187. Suppose z*k + 2*c = -2*k + 102, 5*c = -4*k + 85. Is 5 a factor of k?
True
Suppose -90*w + 39*w = -544170. Is w a multiple of 22?
True
Let u = 142 - 138. Suppose 3*i = -u*v + 2139, i + 190 = v - 336. Does 21 divide v?
False
Suppose -m + 3*m = 204. Let a = -102 + m. Suppose f - 15 - 9 = a. Does 12 divide f?
True
Suppose -87*x - 7536 = -3*o - 90*x, -3*x + 10048 = 4*o. Is 139 a factor of o?
False
Let a = -50 + 57. Suppose -a*o + 50 = -447. Suppose x - v = 63, -3*x + o + 121 = -2*v. Is 14 a factor of x?
False
Let w(m) = -m**3 - 45*m**2 + 86*m - 1644. Is 32 a factor of w(-59)?
True
Suppose -2*t - 80 + 84 = 0. Let s = 48 - -6. Does 35 divide s/(2 + t + 0 - 3)?
False
Suppose -4*t = 4*b - 9036, -11316 = -5*t - 5*b + 7*b. Is 37 a factor of t?
False
Is 317 a factor of -2*((-99216)/192)/(3/(-2))*-1?
False
Suppose -20606 - 1780 = -21*n. Let v = n + -313. Does 38 divide v?
False
Let h(v) = 41*v**2 - 91*v + 36. Is h(-10) a multiple of 58?
True
Let g be (7/((-105)/24))/((-4)/(-10)). Is -8*462/(-12) + g a multiple of 22?
False
Suppose -7*h = 1474 - 7669. Suppose -890*x + h*x = -6895. Does 29 divide x?
False
Suppose -7*d + 38680 - 27592 = 0. Is d a multiple of 3?
True
Let h(i) = -i**3 + 9*i**2 - 3*i - 4. Suppose -25*f + 106 + 94 = 0. Is 3 a factor of h(f)?
True
Suppose 54*v - 24492 = 42*v. Is v a multiple of 68?
False
Let t(x) = -16*x + 98. Let a be t(6). Suppose -5*g - a*q + 564 = 0, -6*g + 129 = -5*g - 5*q. Is 19 a factor of g?
True
Suppose 3*h - 3*k - 3735 = 0, 3723 = -42*h + 45*h - k. Is 11 a factor of h?
False
Let n = 58043 + -28615. Is 291 a factor of n?
False
Let l(y) = -10 + 13 - 4*y + 221 + 8*y. Let n be l(0). Let p = n - 92. Is 33 a factor of p?
True
Is -535*(-1 - (6 - 131/(-5))) - 2 a multiple of 24?
True
Let j = 89 - 167. Let o = 75 + j. Let g(a) = -3*a**3 + 3*a**2 + 3*a - 8. Is g(o) a multiple of 13?
True
Let j = 137 + -53. Suppose 2*w - j = -116. Is (0 - w/12)/(1/6) a multiple of 4?
True
Suppose -x + 6 = -107. Suppose 3*d + 4978 = 4786. Let q = d + x. Is 11 a factor of q?
False
Suppose -21*w + 52*w - 68820 = 0. Is 10 a factor of w?
True
Suppose 3*i - m = 10084, 20*i - 6751 = 18*i - 5*m. Does 59 divide i?
True
Let a(z) = z**2 - 8*z - 5. Let w be (-4 - -3 - -1) + 7. Let m be (-8)/14 - (-95)/w. Is a(m) a multiple of 23?
False
Let i be 9/(-4)*(6 + (-204)/18). Suppose i*k - 2275 = 5*k. Is 13 a factor of k?
True
Suppose 3*h = 0, 0*f = -3*f - h + 1368. Suppose -f = -4*z + 4*l, 0 = 7*z - 2*z - l - 562. Suppose 2*a - 3*a - 2 = 0, -4*m = -4*a - z. Is m a multiple of 13?
True
Suppose 0*b + 52 = 4*b. Let l(i) = -i**2 + 6*i. Let v(y) = -2*y - 3. Let h(r) = -l(r) + 2*v(r). Is 9 a factor of h(b)?
False
Let k(l) = -10*l - 82. Let a(r) = -2*r**2 - 7*r - 4. Let x be a(-5). Is 11 a factor of k(x)?
False
Suppose -5*a + 25100 = -0*a. Suppose 9*f + a = 14*f. Is f a multiple of 73?
False
Let c = -262 + 155. Suppose -2*g + 4*g = o - 170, 3*o - 502 = 4*g. Let d = c + o. Is d a multiple of 10?
False
Let h be 6*(-5)/(-75) - (-613)/5. Is 10 a factor of h/(-9)*(-29 - -8)?
False
Let q be (-1667 + 1)/(58/(-29)). Let h = q + -732. Is 5 a factor of h?
False
Let a be ((-2 - 1)/3)/(3/(-6)). Let s = -13 - -15. Suppose 4*f + 2*j + a*j = 372, 5*f - s*j = 444. Does 18 divide f?
True
Let f(t) = 17*t**3 + 9*t**2 - 13*t - 48. Does 14 divide f(8)?
True
Let g(d) = 4*d + 29. Let k be g(-4). Suppose 21*a - 5400 = k*a. Is 9 a factor of a?
True
Suppose -q - 6 = 67. Let d = -13 - q. Does 4 divide d?
True
Let k(f) be the second derivative of f**6/20 - 3*f**5/40 - 5*f**4/8 - 7*f**3 + 2*f. Let t(h) be the second derivative of k(h). Does 6 divide t(-2)?
False
Let f(r) = 11*r**2 - 4*r - 1. Let p = -40 - -38. Let t be f(p). Suppose 7 - t = -2*g - z, -22 = -g - 5*z. Is g a multiple of 3?
False
Let l(j) be the second derivative of -j**5/10 - j**4/2 + 7*j**3/3 + 4*j**2 - 47*j. Does 10 divide l(-6)?
True
Let g(l) be the third derivative of 17*l**5/60 - l**4/6 + l**3/2 + 9*l**2. Suppose -3*o - 10*y + 7*y = 9, 10 = 2*o - 2*y. Does 4 divide g(o)?
True
Let c(w) = -w**3 - 11*w**2 + 6*w + 172. Is c(-17) a multiple of 22?
True
Suppose -2*d = -4*f - 24, 2*f - 6 = -2*d - 0. Let m(p) = -d - 41 - p**2 + 3 + 22*p. Does 26 divide m(18)?
False
Let y be (-6)/(-4) + (-6)/(-12). Let c be ((-19)/y)/((-1)/22). Suppose 2*s = 3*m - 316, 2*s - c = -2*m + 3*s. Is m a multiple of 14?
False
Let o be ((-34)