pose 5*b + 773 = 2*g, -5*g - 18*b + 2010 = -15*b. Is g a multiple of 3?
True
Let l be 1/(-4) + (-2)/(-8). Let r = -4 + 4. Suppose -5*y + 2*h + 114 = l, r*y - h + 27 = y. Is 12 a factor of y?
True
Let b(q) = q**3 - 2*q**2 + 2*q + 157. Suppose -15*a = -3*a. Is b(a) a multiple of 48?
False
Suppose -13*q + 8*q = 5. Is 12 a factor of (3/q - 1) + 99?
False
Suppose -1102 = -3*z + t, 2*z = -2*z - t + 1474. Is z a multiple of 4?
True
Let q(w) = -64*w - 3. Let j be q(-3). Let h be ((-9)/5)/((-6)/280). Suppose -h = -7*p + j. Is p a multiple of 13?
True
Let d be (2 + -1)*(71 + 2). Let z = -1089 - -1049. Let t = d + z. Does 11 divide t?
True
Suppose 3*d = 10 + 215. Let s = d - 61. Is 7 a factor of s?
True
Let n(y) = 4*y**2 + 2*y. Suppose 0 = -z + 2 - 0, 2*u - 5*z + 4 = 0. Is n(u) a multiple of 13?
False
Let g = -767 + 1357. Is g a multiple of 10?
True
Let f(u) = 32*u**2 - u. Let n(y) = -161*y**2 + 5*y + 1. Let c(z) = 11*f(z) + 2*n(z). Let q(s) = -s**2 + s + 1. Let t(g) = c(g) - q(g). Is 26 a factor of t(2)?
False
Let u = -437 + 572. Is 27 a factor of u?
True
Suppose 0 = 117*h - 94*h - 69345. Is h a multiple of 39?
False
Let d(s) = s**2 + s - 1. Let t(v) = v**3 + 6*v**2 + 5*v + 23. Let w(c) = 3*d(c) + t(c). Is w(-6) a multiple of 16?
True
Let c(y) = 52*y - 36. Does 19 divide c(8)?
True
Let p = -41 + 60. Is (2/2 - -2) + p a multiple of 11?
True
Does 7 divide (-6896)/(-4) - -2 - -11?
False
Suppose 570 = a - 5*p + 118, -5*a + 2308 = -p. Is 2 a factor of a?
True
Let o(g) be the third derivative of -g**6/120 + 17*g**5/60 - 13*g**4/24 + g**3/6 + 34*g**2. Does 14 divide o(16)?
False
Is 4 a factor of 49/147*1*216?
True
Let t(b) = -76*b + 25. Is 5 a factor of t(-3)?
False
Let p(b) = -2*b**2 + 2*b + 7. Let r = 23 - 17. Let u(s) = -4*s**2 + 5*s + 15. Let v(g) = r*u(g) - 13*p(g). Is 14 a factor of v(-4)?
False
Let a(d) be the third derivative of d**4/6 - 2*d**3 - 5*d**2. Let i be a(5). Suppose -i*u = -u - 21. Is u a multiple of 3?
True
Let g = 1140 - 741. Does 21 divide g?
True
Let a be -2 - 5/((-10)/4). Suppose 0 = j + n - 37, -5*j - n + 173 = -a*n. Does 34 divide j?
True
Does 46 divide -5 - (2/3 - (-11176)/(-24))?
True
Suppose -2211 = -2*a + 4*b - 79, -5*b + 20 = 0. Does 9 divide a?
False
Let b(f) = -f**3 + 5*f**2 - 3*f - 1. Let j(h) = -h**3 - 5*h - 9. Let v(s) = s**3 + 4*s + 8. Let d(x) = 4*j(x) + 5*v(x). Let g be d(0). Is b(g) a multiple of 3?
True
Let g = -320 + 500. Is 21 a factor of (-9 - g)*(-1)/(-3)*-1?
True
Suppose -2*r + 524 + 628 = 0. Suppose 4*p + 5*p - r = 0. Is p a multiple of 30?
False
Let o = 1669 - 1556. Does 51 divide o?
False
Let b be ((-2)/3)/(2/30). Let k(c) = c**2 + 9*c - 10. Let a be k(b). Suppose a = -3*y - 21 + 189. Is 28 a factor of y?
True
Let x = -341 - -357. Is x a multiple of 2?
True
Let z = 14 + -13. Is 52 a factor of (-130)/455 + ((-1101)/(-7) - z)?
True
Let y(r) = 2*r**3 - 10*r**2 + 10*r - 4. Let d be y(4). Is 38 a factor of (74/d)/(62/(-16) + 4)?
False
Suppose -4*y - 2*m = -7*y + 1816, -y = -3*m - 596. Is 50 a factor of y?
False
Suppose v + 3*i = -2*v, -2*v + 2*i - 8 = 0. Suppose 5*u = -5*s + 75, -2*s = -2*u + 6*u - 64. Let w = v + u. Does 5 divide w?
True
Let z be (-8)/((-9)/3 + 1). Let y = -2 + z. Does 6 divide (y - -24) + (-2 - -6)?
True
Suppose -6 = -3*i, -2*i + 104 + 75 = p. Is p - (2 - 2) - (7 - 7) a multiple of 25?
True
Let r(s) = 9*s + 54. Is r(0) a multiple of 33?
False
Suppose 14*u - 8*u = 5856. Is 78 a factor of u?
False
Let i(d) = 3*d**2 - 3*d + 2. Let k = -10 + 11. Let l be i(k). Suppose 0 = -l*m + 2*n + 116, -n - 3*n + 83 = m. Does 21 divide m?
True
Let u = -39 + 40. Is (-77)/(-11)*17*u a multiple of 17?
True
Suppose -2 = -4*x - 2*o, 4*x - 4*o - 12 = 8. Suppose -2*b - 2 = x*l, 0 = -3*b + 2*l + 1 - 4. Let d = b - -7. Is 6 a factor of d?
True
Let q = -299 - -477. Does 10 divide q?
False
Suppose 2*g + 100 = 6*g. Let z = g + -21. Suppose 120 + 76 = z*q. Is q a multiple of 17?
False
Let o(x) = -x**2 + 2*x - 2. Let w be o(7). Let q = w - -52. Suppose -4*t = -t - q. Does 5 divide t?
True
Let t = 117 - -66. Is 59 a factor of t?
False
Suppose 2*j = -5*m + 716, 5*m + 4*j = -j + 710. Let g = m - 74. Is g a multiple of 14?
True
Suppose 0 = -0*u + 6*u. Is u + 1 + 6*66/6 a multiple of 6?
False
Suppose 5*q - 1538 = -3*c + 868, 0 = -2*q + c + 958. Is q a multiple of 80?
True
Suppose 9*q - 45 = 18. Suppose 3*g = 2*j - q*j + 195, 3*g - 4*j - 168 = 0. Is g a multiple of 30?
True
Suppose 41*c + 2757 = 40149. Is 24 a factor of c?
True
Let z(r) = r**2 + 3*r + 3. Let g be z(-2). Let u(c) = 168*c. Let i be u(g). Suppose -3*w + 0*w = -i. Does 14 divide w?
True
Let q(a) = a**2 - 7*a + 7. Let l be q(5). Let n be ((-3)/9)/(l/54). Let r(s) = 10*s + 7. Is r(n) a multiple of 11?
False
Suppose 0 = 5*o + h - 6, -3*o - 4 = -7*o - h. Suppose -4*i + 2*q = -14, q = -4*i - 3 + o. Is 8 a factor of (-240)/(-5)*i/2?
True
Suppose -3*j - 11 - 13 = 0. Let m(l) = l**3 + 10*l**2 + 10*l + 2. Is m(j) a multiple of 10?
True
Let q = -174 - -321. Is 21 a factor of q?
True
Suppose -5*q + 2*i + 228 = 0, 47 = q + 5*i - 4*i. Let n = q - -30. Let t = -46 + n. Does 15 divide t?
True
Let t = -965 - -1487. Does 58 divide t?
True
Suppose 8*n + 9154 = 32090. Is 61 a factor of n?
True
Let c(k) = 2*k + k + 0 + 4*k**2 - 4*k + 2. Suppose -5*s = 18 - 8. Is c(s) a multiple of 18?
False
Let k = 1 + 6. Suppose 0*r + k*r = 504. Is 11 a factor of r?
False
Let q = 49 + -24. Does 17 divide 2730/q - (-1)/(-5)?
False
Suppose 0 = o + 2*o + 3. Let y(i) = 3*i**3 + i + 1. Let z be y(o). Is 33 a factor of (-23)/(-2)*6 + z?
True
Let q = 466 - 385. Is q a multiple of 35?
False
Let l be 1*3*40/30. Suppose -5*o + 84 = -o + 2*f, 0 = 5*o - l*f - 105. Does 21 divide o?
True
Let b = -268 + 414. Let w = b - 106. Is w a multiple of 10?
True
Suppose -5*u - 43 = -n, 22*n - 2*u = 27*n - 350. Does 5 divide n?
False
Suppose -5*z + 0*q = 2*q - 132, -5*q + 135 = 5*z. Is 2 a factor of z?
True
Let a = 542 + -293. Suppose -a + 660 = 3*u. Does 20 divide u?
False
Let g = 290 - -40. Suppose 2*x + 3*r = 7*x - g, -3*r = -3*x + 198. Is x a multiple of 18?
False
Let i be (-1)/(1 + 3/(-4)*2). Is 2 + 3*-1 - -10*i a multiple of 19?
True
Let s(n) = -5*n**3 + 11*n**2 - 6*n. Let a(k) = -9*k**3 + 22*k**2 - 11*k + 1. Let j(f) = 4*a(f) - 7*s(f). Is 30 a factor of j(8)?
True
Suppose 352 + 230 = 2*u - 3*w, 3*u - 847 = -2*w. Is 57 a factor of u?
True
Let t(q) = -13*q - 13. Let d be t(-6). Suppose -5*u + p + 131 = -u, d = 2*u - p. Is 11 a factor of u?
True
Let z(f) be the third derivative of -f**4/4 + 22*f**3/3 - 2*f**2. Does 4 divide z(6)?
True
Let o = -19 + 32. Suppose -5*u - o = 17. Is 9 a factor of (-69)/(-9) - 8/u?
True
Suppose -12*w = -19*w + 3829. Does 23 divide w?
False
Suppose 5*a + 2*y = a - 18, a - 2*y = 3. Does 23 divide a + -15*(-38)/6?
True
Let y(m) = -132*m - 255. Does 6 divide y(-10)?
False
Let p = -174 - -77. Suppose -2*y = 3*c + 410, 46*c = 47*c - 4*y + 146. Let i = p - c. Does 26 divide i?
False
Suppose 0 = 10*c - 9683 + 83. Is 60 a factor of c?
True
Is (55/20 + 2)/((-1)/(-12)) a multiple of 14?
False
Is (5 - (-155)/(-25))*(-345)/1 a multiple of 18?
True
Let i(t) be the third derivative of t**4/24 + 23*t**3 + 7*t**2. Is i(0) a multiple of 46?
True
Let u(d) = -2*d**3 + 13*d**2 - 5*d - 1. Let b be u(6). Suppose -910 = b*l - 18*l. Does 52 divide l?
False
Let f be 26/6 + (-2)/(-3). Let r = 17 + -9. Suppose f*a - 7 = r. Does 3 divide a?
True
Suppose -3*y + j = -190, j = -3*y + 12 + 188. Is 65 a factor of y?
True
Let w be ((-9)/6 + 2 - -2)*8. Let a(k) = 10*k. Let n be a(1). Let o = w - n. Does 9 divide o?
False
Suppose -3*k - 4*s = -32, 54 = 3*k + 5*s + 17. Suppose -k*z = 6*h - h + 57, 3*h + 15 = 0. Let c(m) = m**3 + 10*m**2 + m - 15. Is 22 a factor of c(z)?
False
Suppose -4 = 2*j - 110. Is j a multiple of 53?
True
Let k = 321 - 95. Is k a multiple of 6?
False
Suppose 4*g + 5*k = 7*g - 181, 0 = -3*g + 2*k + 166. Suppose y - 3 = m, 6*m = 4*m - 4*y + 12. Suppose -2*s + s + g = m. Is 21 a factor of s?
False
Suppose 6*p - 7*p + 957 = -3*d, 1910 = 2*p - 5*d. Is 15 a factor of p?
True
Let g = -46 - -46. Does 12 divide (g + 3/9)/(4/192)?
False
Let r = 48 - 48. Suppose -5*f - h + 507 - 24 = 0, r = 3*f - 3*h - 279. Is f a multiple of 16?
True
Does 45 divide (99/(-44))/(3/(-1440)*2)?
True
Let p(h) = -2*h**2 + 16*h. Let t(a) = 2*a*