se 7*x - 46 + 130 = 0. Let v(k) = 6*k**2 + 58*k - 2. Does 14 divide v(x)?
False
Is 2/(-32)*-12 + (-1 - (-161474)/8) a multiple of 174?
True
Suppose 39140 = 88*i + 7922 - 21934. Is i a multiple of 24?
False
Suppose 15*c - 1485 = 28545. Let m = c - 1056. Is 43 a factor of m?
True
Let k be ((-2)/(-9) - (-6)/(-27)) + -1. Let u be 14/((-1)/(k*(-2)/(-4))). Suppose r - 57 = t, u = -5*t + 22. Is 15 a factor of r?
True
Let b be 6/(-4)*36/27. Let z be (-59 + -1)*((-43)/5 + 9). Is (80/b)/(1*6/z) a multiple of 16?
True
Let f(k) = -k**2 + k + 23 - 7*k - 10*k. Let m be (-9)/(-18) + 69/(-6) + -1. Is 20 a factor of f(m)?
False
Let f(x) = -x**3 - 20*x**2 - 4*x - 95. Let z be f(-20). Is (-3618)/z + 42/(-35) a multiple of 3?
True
Suppose 9*n - 6 = 12*n. Let m be -1 - n - 0 - -417. Suppose 12*g - m + 82 = 0. Is g a multiple of 28?
True
Let k(z) = -z**2 + 23*z - 51. Let f be k(9). Let o = f - -139. Is 39 a factor of o?
False
Suppose -4*c - a = 2*a - 1079, 1357 = 5*c + a. Let p = -6 + c. Does 68 divide p?
False
Let w be (-2*4/4)/1*151. Let a = 356 + w. Does 27 divide a?
True
Let r(n) = 44*n**2 - 2 - 541*n - 537*n + 1074*n. Is r(-1) a multiple of 46?
True
Is (21 + (1 - 0))/((-33)/(-448866)*12) a multiple of 11?
True
Let u = -13479 - -43377. Is u a multiple of 22?
True
Let d(b) = 2*b + 2. Let i be d(1). Suppose -16 = 4*y - i. Is 2/y - (-476)/12 - 1 a multiple of 19?
True
Let k(s) = 217*s**3 + 123*s**2 - 5*s + 24. Is 101 a factor of k(5)?
True
Suppose 0 = 5*z - 8*z - 21. Let q be (-15 - z)/((-1)/2). Suppose 3*s + 84 = 3*i, q + 4 = -5*s. Does 9 divide i?
False
Suppose -3*m + 3195 = t, 11*t - 6380 = 9*t + 4*m. Is t a multiple of 56?
True
Let u be ((-2)/(-4))/((-3)/(-18)). Suppose 3*v = -u*v - 432. Is 14 a factor of 598/18 + 16/v?
False
Suppose -2*o = -7*o - 165. Let t be 68542/(-258)*(-2 - -35). Does 14 divide (-1)/(-3) + t/o?
True
Let y(t) = 2*t**3 + 13*t**2 - 68*t - 19. Is 9 a factor of y(4)?
True
Suppose -4*f + 534 = -2*d, 4*d + 1075 = 6*f - 5*f. Let t = -239 - d. Is t a multiple of 13?
False
Let j(v) = 20*v**2 - v - 5. Suppose 3*g - 13 = 5*l, -6 = 4*l + l + 4*g. Let c be j(l). Let f = c - 33. Does 22 divide f?
True
Suppose -26821 = -7*p + 28059. Suppose 751 + p = 11*v. Is v a multiple of 71?
True
Suppose 3*y - 6 = -5*w, 3*w - 6 + 3 = -2*y. Suppose -w*v = -9*v. Suppose v = 7*c - c - 390. Does 11 divide c?
False
Is 785 + 2*(-3)/6 a multiple of 4?
True
Let f = -67 + 65. Let b be f/(-7) + 20/(-56)*-366. Suppose -5*i + l + b = 0, -5*l = -i + 3 + 4. Is 10 a factor of i?
False
Does 85 divide 36/96 + (-3759126)/(-112)?
False
Suppose -x - 3*f = -1967, -f - 474 + 2433 = x. Is x a multiple of 18?
False
Suppose -1405 = -26*r + 21*r. Suppose 5*a - 2631 = -r. Is a a multiple of 10?
True
Suppose 2*q = -3*q + 37434 + 5801. Is q a multiple of 21?
False
Let f(x) = -8*x**3 + 18*x**2 - 10*x - 44. Does 2 divide f(-7)?
True
Let g be 33737/(-77) - 1/(-7). Let w = -268 - g. Does 59 divide w?
False
Let k(g) = g**3 - 6*g**2 + 8*g - 21. Let b be k(6). Suppose b = -4*w + 19. Let s(j) = -6*j**3 + 2*j**2 + 1. Is s(w) a multiple of 15?
False
Suppose 9*b - 391 = 176. Let k be (-1)/(-2) - b/(-14). Suppose -f - 2*v + 160 = 0, 0 = -3*f + k*v - 0*v + 502. Does 23 divide f?
False
Does 104 divide (5 + 12376 - (-2 + 7)) + 0/(-53)?
True
Suppose 75*h - 12713472 = -192*h. Does 93 divide h?
True
Let x = -9530 - -20998. Does 122 divide x?
True
Let a(f) = 2244*f - 9185. Does 14 divide a(9)?
False
Let f = 147 - -151. Let t = f - 106. Is t a multiple of 32?
True
Suppose 4*b - 20 = -b. Let d be (-566)/b - (-6)/(-12). Is 23 a factor of (-3 - d) + 2 + -3?
True
Let p(v) = 2*v - 26. Let t be p(13). Let r = 2 - t. Suppose -72 = -r*a - a - 4*m, -2*a = -5*m - 48. Is a a multiple of 6?
True
Suppose -16*z + 134966 = 11*z - 249055. Does 10 divide z?
False
Suppose -94*a - 68191 = 245*a - 370579. Does 12 divide a?
False
Let w(b) = 71*b**3 + b**2 + 2*b - 2. Let l be (((-7)/3)/(-7))/((-3)/207). Let o = 24 + l. Does 9 divide w(o)?
True
Let v(f) = f**3 + 13*f**2 - 2*f - 75. Does 2 divide v(-8)?
False
Let r(o) = 4*o + 9. Let t be r(-3). Let g(y) = -6*y - 12. Let u(l) = 5*l + 11. Let j(s) = 5*g(s) + 4*u(s). Does 14 divide j(t)?
True
Let d(v) = 4*v - 3. Let z be d(-1). Let n(f) = 10*f**2 + 4*f - 13. Does 33 divide n(z)?
False
Let n(u) = -u**3 - 15*u**2 + 4. Let s be n(-15). Let h(x) = -x**2 + 4*x + 2. Let t be h(s). Suppose -3*k = -0*k + t*v - 82, 2*v + 38 = 2*k. Is 24 a factor of k?
True
Let w be -7*(-6)/(3/(-1)). Let a = -11 - w. Suppose -5*m = -5*d - 245, -5*m + a*m - 5*d = -91. Does 15 divide m?
False
Let d(j) = -8*j**2 + 30. Let l be d(10). Let r = -355 - l. Is r a multiple of 83?
True
Suppose -42*d - 97*d = -5558749. Does 42 divide d?
False
Suppose 0 = -7*d + 14*d + 42. Let i be (-3 + 3 + d)/(-2). Suppose -i*w = 2*v - 260, w - 100 = 3*v - v. Is 10 a factor of w?
True
Let d(f) = -6 - 41*f + 58*f - 11. Let l be d(5). Suppose r - 27 = 7*o - 3*o, -2*r + o = -l. Is 16 a factor of r?
False
Let s(i) = -78*i**3 - i**2 - i - 15. Is 12 a factor of s(-3)?
False
Suppose 2*i - 5*t - 23 = 3, 0 = 4*i - 2*t - 20. Suppose 5*o - 5*u - 61 + 211 = 0, -5*u - 82 = i*o. Let q = o + 53. Does 12 divide q?
True
Suppose -4*y - 14*r = -11*r - 25077, 3*y = r + 18798. Is 89 a factor of y?
False
Let x(r) = 151*r + 10. Let l be x(9). Let u = -961 + l. Is u a multiple of 12?
True
Let u(t) = t**2 + 4*t - 8. Let s(m) = -m**3 + 18*m**2 - 18*m + 11. Let n be s(17). Let g be u(n). Suppose g*k - 2*k - 90 = 0. Is k a multiple of 15?
True
Let v(n) = -n**3 + n**2 - 2*n + 100. Let s(c) be the second derivative of -c**5/20 + c**4/4 + 5*c**3/3 + 2*c. Let w be s(5). Is v(w) a multiple of 25?
True
Let x(t) = -7 - 43*t + 16*t + 24*t + t**2. Let d be x(5). Is (-4)/((-60)/d) + (-108)/(-10) a multiple of 10?
False
Let h = -6603 - -7371. Is 48 a factor of h?
True
Suppose 3*r + r - 4*b + 416 = 0, 480 = -5*r - 5*b. Is 6 a factor of (-3*16/10)/(15/r)?
False
Is -15 - (2 - (49 + -5)) a multiple of 3?
True
Let k(y) = 63 - 10 + 17 - y. Let m be k(21). Does 15 divide 847/m + 2/(-7)?
False
Suppose -42846 = -689*b + 683*b. Suppose 9*k - b = 4658. Is 36 a factor of k?
False
Let b be 4/6 + (-24)/(-18). Suppose r + 10 = 8, v = b*r + 186. Is v a multiple of 26?
True
Let c(x) = -155*x + 158. Does 61 divide c(-71)?
True
Suppose 5*n - 657 = 4*t, 0 = 6*n - 4*t + 37 - 819. Does 4 divide n?
False
Suppose g - 5*v = 18940, 3*g + 20*v = 16*v + 56801. Is 35 a factor of g?
True
Suppose 2*t + 0*l + 1 = 3*l, -1 = -3*t + 2*l. Let h(u) = 169*u**2 - 2*u + 1. Is h(t) a multiple of 24?
True
Is 2 a factor of 28392/60 + -3 + (-28)/(-35)?
False
Suppose -8183 = -18*h + 34585. Is 18 a factor of h?
True
Suppose 33*y + 5403 = -5421. Let s = y + 760. Is s a multiple of 9?
True
Suppose 0 = 58*r - 253890 - 379064. Does 54 divide r?
False
Suppose 0 = -r + 548 - 40. Let w = -248 + r. Suppose 0 = -14*j + 9*j + w. Is j a multiple of 6?
False
Let p = 164 + -325. Let n = -21 - p. Suppose 5*r = 4*a - 0*a + 137, 5*a + n = 5*r. Is r a multiple of 4?
False
Let h be (-3)/(-6)*-75*24/(-9). Let o = 104 - h. Suppose -425 = -z - o*z. Is 5 a factor of z?
True
Let v be 91/(-35) + 3 + 1066/10. Suppose 8*b + v = k + 7*b, -2*k - 2*b = -218. Does 32 divide k?
False
Let h be (-159*(-5)/45)/(2/12). Suppose 0 = 4*v - 118 - h. Is v a multiple of 4?
True
Let f be (-35)/21*3 + 11. Suppose -114 = 3*k - f*k - 2*w, 3*w = -9. Does 8 divide k?
True
Let x be (4/(-6))/(-2*(-5)/(-330)). Let a = x - -132. Does 6 divide a?
False
Suppose u - 147 - 85 = 0. Suppose -c - 50 = -u. Does 13 divide c?
True
Suppose -11*b + 370 = 370. Suppose b = 2*x - 2*u + 37 - 213, -5*x - 5*u = -390. Is 9 a factor of x?
False
Let l be -2*(26/4 - 1). Suppose -344*b = -558*b + 48578. Let y = b + l. Is 27 a factor of y?
True
Let n = 2398 - -1282. Does 20 divide n?
True
Suppose 3*c - 4*x - 6746 = 0, 0 = 3*c + x - 827 - 5939. Is c a multiple of 46?
True
Suppose 0*d = 5*d, -4*d + 28582 = -29*o + 31*o. Does 31 divide o?
True
Let j(h) = -h**3 - 19*h**2 - 11*h - 20. Let g(r) = -2*r + 3. Let p be g(-1). Suppose 4*n = -5*i - 95, -3*i + p*n - 29 = 28. Is 27 a factor of j(i)?
True
Suppose 4*p - 2*z = 3*z + 2081, 3*z - 2073 = -4*p. Let o = -172 + p. Is o a multiple of 18?
False
Suppose -5*y + 4*i + 3064 = 0, 620 = 7*y - 6*y + i. Suppose -o + 5*n = -198, -2*o + 4*n = o - y. Is 9 a factor