2 = 3*x, o = 5*o + 2*x - 8. Suppose g - 2*g + o = 0. Suppose -g*q + 37 = 2*s - 163, q + 2*s = 56. Does 14 divide q?
False
Suppose -2*w = -2*m + 3*m, -4*m = 5*w. Suppose i - 3*a - 2*a - 278 = w, -739 = -3*i - 4*a. Does 11 divide i?
True
Does 13 divide -6*(13 + (-85848)/36)?
False
Suppose 6*h + 51 = 87. Is 12 a factor of h/(-18) + 1 + 124/3?
False
Let o = 1554 - -47. Does 38 divide o?
False
Let a(v) = 16*v**2 - 9*v - 15. Let j be a(-7). Let o = -292 + j. Is 10 a factor of o?
True
Suppose 0*p - p = y - 24, 2*y = -5*p + 54. Suppose -y*f = 21*f - 2752. Is 8 a factor of f?
True
Does 8 divide 2 - (-6 + 12) - 1540/(-5)?
True
Let r(t) = -t**3 - 11*t**2 + 177*t - 121. Is r(-26) a multiple of 5?
False
Suppose -31*u + 114851 + 739943 = 0. Is u a multiple of 41?
False
Suppose -19*v - 14 - 24 = 0. Let q be 4*v/2 - -115. Suppose a + q = 2*a + r, -5*a = 4*r - 556. Is 14 a factor of a?
True
Let n(r) = -2*r**2 - 3*r + 9. Let k be n(-3). Suppose k = o - 4 - 211. Does 8 divide o?
False
Let r(s) = 31*s**3 - 100*s**2 - 11*s + 39. Is 7 a factor of r(5)?
False
Let k = 20316 - 1038. Is 27 a factor of k?
True
Let s be ((-38)/(-8) - 1)/(137/3288). Suppose 3*w - 13 + 49 = 0. Let p = s + w. Is p a multiple of 13?
True
Suppose 3*h - 6*h - v + 5 = 0, 5*h - 9 = -v. Suppose -4*z + 2*z = 4*r - 1036, 2*r - 524 = h*z. Is 52 a factor of r?
True
Let f(j) = 357*j**2 - j - 1. Let o = 405 - 406. Does 6 divide f(o)?
False
Let t = 102 - 101. Let d be (4/16 + t)*4. Suppose -4*b + 36 = 3*u - 39, 2*u = -d*b + 50. Does 5 divide u?
True
Suppose -7*l = 53 - 501. Suppose 0 = 6*x + l + 410. Let u = x + 127. Is 11 a factor of u?
False
Let j(v) = 3*v + 30 - 6 + 12. Is j(4) a multiple of 48?
True
Let a(i) = 7*i**2 - 4*i + 1. Suppose 0 = -2*h - h - 84. Let n = h + 31. Is a(n) a multiple of 9?
False
Let b(g) = g**2 - 10. Let o = -6 - -18. Suppose 4*p + o = 2*p. Is 5 a factor of b(p)?
False
Suppose 3*o - 4*w - 9878 = 12306, -w = -2*o + 14796. Is 74 a factor of o?
True
Suppose 0 = -2*u + 3*s + 2*s + 119, -4*s = -3*u + 168. Suppose 4*o - 2*b - 5 + 31 = 0, -2*o + 2*b - 10 = 0. Let r = o + u. Is r a multiple of 16?
False
Let o = 23810 + -15134. Suppose -5*x + o = -4*g, -5*x = -3*x - g - 3471. Is 31 a factor of x?
True
Suppose 28 = -121*b + 128*b. Suppose 2*y - 342 = -b*p + 1632, 0 = 4*p - y - 1965. Does 35 divide p?
False
Let d = -41661 - -89325. Is d a multiple of 26?
False
Suppose 2*r - c - 123 = 0, 0 = -0*r + 5*r - c - 312. Suppose 0 = 59*y - r*y + 448. Let s = 62 + y. Does 15 divide s?
False
Let b be -3 + (-34)/10 + (-2)/(-5). Let q(w) = -w + 82. Let v(h) = h - 80. Let n(c) = b*v(c) - 5*q(c). Does 3 divide n(8)?
False
Let q(w) = -1520*w**3 - 7*w**2 - 9*w + 27. Does 15 divide q(-4)?
False
Suppose 0 = -4*a + 1 + 15, 20516 = 2*t + 3*a. Is t a multiple of 13?
False
Let y = 114 - 111. Suppose 0 = k - 0*k - 1, 0 = 5*m + 5*k - 20. Suppose 2*n = -m*h + 522, 366 + 156 = y*h - 5*n. Does 29 divide h?
True
Suppose 5*b - 23 = 2*y, -2*y = -4*b - 3 + 21. Suppose b*p - p - 91 = 3*d, 4*p - d - 89 = 0. Suppose 2*g = 2 + p. Does 4 divide g?
True
Suppose 4*d - 2*j = 1516, -4*d - 3*j = 401 - 1927. Suppose 2*n = d + 796. Does 49 divide n?
True
Suppose 0 = -2*t - 262 + 84. Let l = -60 + 3. Let q = l - t. Is 16 a factor of q?
True
Let c be (-12128)/(-48) + 2/6. Let q = c + -250. Does 3 divide q?
True
Suppose 695 = 8*y - 7*y. Let b = y + -231. Is b a multiple of 16?
True
Let l be 112/32 + 6/(-4). Suppose -z + 6*z + l*x + 68 = 0, -z - x - 16 = 0. Does 8 divide z/18 + (-222)/(-9)?
True
Is 21 a factor of (13/(325/11640))/(((-24)/140)/(-6))?
True
Suppose 2348 - 308 = c + 16*c. Does 40 divide c?
True
Let w be 2/(-15) + 2853/135. Suppose -w*y + 29*y = 1776. Let l = y + -85. Does 11 divide l?
False
Let z be (-1)/(-2) - (-27)/18. Let d be 5 + ((-5)/(-15) - (-20)/(-6)). Suppose 0 = z*r + b - 131, d*r - 128 = b + b. Does 9 divide r?
False
Let s(x) = 6543*x**2 + 262*x + 789. Is s(-3) a multiple of 23?
False
Let c(v) be the first derivative of 4*v**2 + 8*v + 18. Let b be c(10). Is 12 a factor of b + -4 + (1 - 1)?
True
Let t(j) = j**2 + 2*j + 1. Let f(h) = -7*h**2 + 5*h - 37. Let c(s) = f(s) + 6*t(s). Is 11 a factor of c(14)?
True
Let b(k) = -4*k - 27 + 7*k + 25. Let f be b(9). Is -1*(-5)/(f/205) a multiple of 41?
True
Let m(y) = -y**3 + 4*y**2 - 2*y + 1. Suppose 5*x - 15 + 52 = 4*t, 2*t - 4*x = 26. Let g be m(t). Suppose -g*k - 3*k + 42 = 0. Does 2 divide k?
True
Suppose -2*k = 2, -111723 = -3*z + 751*k - 748*k. Does 10 divide z?
True
Is (-247260)/(-60) - (3 - (1 + -6)) a multiple of 84?
False
Suppose -54248 = 31*v - 427126 + 52152. Is v a multiple of 65?
False
Let c be 44/7 - (-4)/(-14). Let d be (4 + -2 - 3) + c. Suppose -42 + 257 = d*f. Is f a multiple of 9?
False
Suppose -610 + 3068 = -5*x + 2*h, 4*x = 2*h - 1966. Let g = 656 + x. Is g a multiple of 3?
False
Suppose 1044 = -3*u + 3*z, -3*u + 3*z + 1074 = -6*u. Suppose 3*h - 2*x = -979 + 237, -488 = 2*h - 3*x. Let y = h - u. Is 18 a factor of y?
False
Let o(c) be the second derivative of -c**5/20 - 5*c**4/12 - 3*c**3/2 - 7*c**2/2 - 16*c. Let x be o(-3). Is 19 a factor of (-19)/((x - (-10)/(-8)) + -1)?
True
Suppose 0 = -8*n - 3*n + 3487. Suppose 3*u - 2*c = 1365 - n, 4*u - 5*c = 1395. Is 35 a factor of u?
True
Let x be -1 + (-1)/((-2)/44). Let k be x/(-12)*-6*-2. Does 17 divide (-666)/(-14) - k/49?
False
Let i(m) = -2*m + 31. Suppose 2*p = 10 - 2. Suppose -4*x + 40 = p*v, -38 = -0*x - 3*x - v. Is 2 a factor of i(x)?
False
Let d(s) = -38*s - 45 + 45 - 23 - 81. Is 13 a factor of d(-4)?
False
Suppose 229233 - 147470 = -40*b + 872443. Is b a multiple of 11?
True
Suppose 10*h = -7*h + 408. Suppose x - 1500 = -h*x. Does 30 divide x?
True
Let t = -7 + 3. Does 8 divide 20 - -9 - 8/t?
False
Let o = 160246 - 103396. Is 50 a factor of o?
True
Let b(r) = r + 3. Let j be b(-1). Is j/11 + (-25722)/(-99) a multiple of 13?
True
Does 65 divide 1326/17*(10089/162 + (-6)/(-27))?
True
Let t = 728 + -725. Suppose -14*k + 3*i = -13*k - 48, -t*k = 3*i - 132. Does 12 divide k?
False
Let v = 176 + 140. Let o be ((-16)/(-5) - 2)/((-4)/680). Let n = o + v. Is n a multiple of 14?
True
Let t(q) = 142*q**2 - 333*q + 1954. Is t(6) a multiple of 12?
False
Let g(j) = -j**2 - 9*j - 9. Let t be g(-7). Suppose 0*w + w + 2*m = -11, 0 = -t*m. Is 1/4 + (20548/(-16))/w a multiple of 23?
False
Let c(u) = -6*u - 75. Let a be (1/((-2)/(-13)))/(9/(-18)). Let h be c(a). Suppose 2*x - 350 = 4*k, 4*x - h*k - 420 = 290. Does 12 divide x?
False
Let d = 38 + -33. Suppose 3*v - 1823 = d*l, 3025 = 3*v + 2*v + 5*l. Is 55 a factor of v?
False
Does 16 divide (-164538)/(-102) - (0 + 8/68)?
False
Let n = 31148 - 21982. Is 15 a factor of n?
False
Let y(s) = -s**3 + 86*s - 20. Is 35 a factor of y(6)?
True
Let d = -186 + 507. Let z = d - -264. Does 45 divide z?
True
Suppose -432 = -10*y + 16*y. Let i = y + 60. Is 11 a factor of (2 + 28/i)*-78?
False
Let y = -197 - -114. Let v = -76 - y. Suppose -v*c - 4*f + 120 = -3*c, -3*c + 3*f + 108 = 0. Is c a multiple of 9?
False
Is 105/(18 - -3)*5*473 a multiple of 51?
False
Suppose -p + 2 + 1 = 0. Suppose p*u - 120 = -4*g - 7, -2*g = 3*u - 49. Suppose -48 - g = -x - n, 4*n - 150 = -2*x. Is 14 a factor of x?
False
Let a = -16 + 6. Let p be a/(-40) - (-2)/(-8). Let c(t) = -t**3 - t**2 - 2*t + 37. Does 7 divide c(p)?
False
Let s(b) = b**3 - 2*b**2 - 3*b + 9. Let i be s(2). Let r(n) = -10*n + 55. Let k(q) = -5*q + 27. Let j(d) = i*r(d) - 5*k(d). Is 26 a factor of j(-20)?
True
Suppose -1919*l + 21274 = d - 1923*l, -5*d + 2*l + 106226 = 0. Does 43 divide d?
True
Let b(q) be the first derivative of 65*q**3/3 + 3*q**2 + 219. Is 31 a factor of b(-2)?
True
Suppose h = 10*h + 8*h - 78353. Does 12 divide h?
False
Suppose -61*v = 4*v + 36*v - 271488. Is v a multiple of 112?
True
Suppose 91*y - 201*y + 212080 = 0. Is 19 a factor of y?
False
Suppose 351 - 391 = 10*o. Does 6 divide (-18 - 0)*o*268/48?
True
Suppose 56 = -4*f - l, -3*l = -f + 6*f + 63. Let s(p) = 2*p + 18. Let o be s(9). Let n = o + f. Does 5 divide n?
False
Does 45 divide 2/(-4)*39/(975/(-93050))?
False
Suppose -3 = -p, 0 = l - p - 2246 - 3936. Is l a multiple of 13?
False
Let r be 2/((-50)/(-85)) - 2/5. Let n(b) = 12*b**2 - 8*b + 16. Let x be n(r). Let m = x - -5. Is 21 a factor of m?
True
Let q(f) = -1085*f - 2984. Is 29 a factor of q(-28)?
Fals