 + 1. Let q be g(-3). Let r = q - -19. Let m = r + 46. Is 9 a factor of m?
False
Let v(l) = 6*l**3 - l**2 - 2*l + 4. Let s(j) = 7*j**3 - j**2 - 2*j + 5. Let a(i) = -5*s(i) + 6*v(i). Let p be a(2). Does 9 divide p/((-38)/18 + 2)?
True
Let l(a) = a - 8. Let m be l(10). Suppose -140 = -m*z + 14. Is 15 a factor of z?
False
Let w = 54 - 52. Is -2 + 768/(w + 2) a multiple of 38?
True
Suppose -38 = 6*v - 14. Is 7 a factor of ((-1)/v)/(7/196)?
True
Let a(n) = -n - 8. Let u be a(-8). Let y(s) = 4*s - 75. Let g(h) = -2*h + 37. Let f(v) = 7*g(v) + 3*y(v). Is f(u) a multiple of 25?
False
Suppose 8*m - 651 = 7*m. Is (m/9 - 0) + 2/(-6) a multiple of 36?
True
Suppose 14*i = 11*i + 21. Suppose -i*k = -10*k + 51. Is k a multiple of 2?
False
Let z = 24 - 17. Does 7 divide ((-72)/(-4) + -1)*z/1?
True
Let i(c) be the first derivative of c**4/4 + 4*c**3/3 - 2*c**2 - 6*c + 8. Let k be i(-4). Is 6 a factor of 3/1*(2 + k)?
True
Let k(f) = 6*f - 10. Let d be k(7). Let a be 12/(-9) + d/6. Suppose -w + 0*w - 3*r = -98, 0 = -5*w - a*r + 479. Does 19 divide w?
True
Is 88 a factor of 1269 + ((-288)/(-3))/(-8)?
False
Let c be (0 - 2 - -3)*12. Suppose 4*t - 492 = -c. Is t a multiple of 15?
True
Let y = -272 - -189. Let q = 17 - y. Suppose -q = -4*f - 2*k, -5*f + 170 - 55 = 5*k. Is 27 a factor of f?
True
Let r(n) = n**3 - 7*n**2 - 3*n + 8. Suppose 0 = -4*q + p + 22, p - 9 - 11 = -3*q. Let i be r(q). Let h = -31 - i. Does 6 divide h?
False
Let n(f) = 34*f - 4. Suppose -7 = 8*l - 39. Suppose -q - 6 = -l*q. Does 28 divide n(q)?
False
Suppose -5*s + 3*l + 387 = 0, 5*s - 458 + 63 = -5*l. Suppose -3*d + 9 - s = 0. Let o = -2 - d. Does 21 divide o?
True
Is 622 + (5 - (4 + -5)) a multiple of 20?
False
Let a = -3958 - -7638. Does 92 divide a?
True
Let c(v) = v**2. Let k be c(0). Suppose -y - 5 = r, -r - 9 = 5*y - k*r. Is (-300)/(-3 + y) - 0 a multiple of 15?
True
Let t(p) = p**2 - 13*p + 9. Let n be t(12). Let q be (n/(-2))/((-1)/(-38)). Let x = q - 33. Is x a multiple of 12?
True
Let x = -9 + 11. Suppose x*l - 2*h - 20 = 0, -h + 16 = 2*l - 2*h. Is l a multiple of 6?
True
Let b = 286 + -189. Let r = b - 27. Is 35 a factor of r?
True
Let h(g) = -g**3 + 24*g**2 + 10*g - 12. Let m be h(22). Is (9/(-6))/((-9)/m) a multiple of 20?
False
Let l(o) = -o**3 - o**2 + 2*o + 2. Let g be l(-2). Suppose -g*f + 64 = -3*t - 33, -3*t - 9 = 0. Let z = f + -15. Is 6 a factor of z?
False
Let m(j) = j**3 - 4. Let a be m(2). Suppose -a*w - w + 180 = 0. Is 6 a factor of w?
True
Let f(w) be the first derivative of -w**3/3 + 11*w**2/2 + 18*w - 7. Does 12 divide f(9)?
True
Let t be 349 + -1 - (-4 - (-3 + -1)). Suppose -h = -q + 92, -3*q + h - t = -7*q. Does 8 divide q?
True
Let g(m) = -m**2 - 16*m - 22. Let t be g(-9). Let s = -1 + t. Let d = -10 + s. Is 6 a factor of d?
True
Is (-59004)/(-176) - (6/8)/(-1) a multiple of 12?
True
Let q be 1/2*3*26. Suppose -x + 15 = 4*v - 30, 0 = -4*v - 3*x + q. Does 7 divide v?
False
Let k(j) = -j**3 - 5*j**2 - 5*j - 4. Let c be (-8)/3 - 4/12. Let y be k(c). Let n = 41 + y. Is n a multiple of 28?
False
Suppose 5*i - 426 = 414. Suppose 5*q - q = i. Is 9 a factor of q?
False
Suppose l = 5, 2*y = -0*l + 2*l - 4. Let g be (1 - 2 - -1)/y. Suppose 0*u + u - 62 = g. Does 31 divide u?
True
Let c = 71 + 138. Is c a multiple of 9?
False
Suppose h + 3*x = 122, h - 68 = x + 70. Suppose -3*w + 0*w + h = 2*a, -a + w + 72 = 0. Is 14 a factor of a?
True
Let j(d) = 2*d**2 + d - 1. Let f(r) = -6*r**2 - 2*r + 2. Let u(g) = 2*f(g) + 7*j(g). Suppose o + l = -2*l, 3*l = -3*o - 6. Is 6 a factor of u(o)?
True
Let w = -612 - -1032. Does 30 divide w?
True
Let j(o) = -o**2 + 25*o - 10. Does 23 divide j(12)?
False
Let b(q) = 6*q**2 + 40*q. Let t be b(-9). Let x = t + -37. Is 26 a factor of x?
False
Suppose 31*a + 273 = 28*a. Let h = a + 147. Is h a multiple of 28?
True
Let i(m) = 2*m**2 - 5*m - 56. Is i(-28) a multiple of 52?
False
Suppose -3*q + 15 = y, -2*y = y - q - 15. Is (-70)/(-5) - y/(-2) a multiple of 17?
True
Let x = 41 + 4. Is x a multiple of 18?
False
Suppose 0 = -5*g - 0*g - 200. Let q be g/(-12) - 4/(-6). Suppose 5*r - q*n = -0*n + 104, -5*r - 5*n + 95 = 0. Does 10 divide r?
True
Let a(j) = -126*j + 1 - 1 + 0 - 3. Is 28 a factor of a(-1)?
False
Let w be (3 - (-14)/(-4))*-8. Suppose w*k - 7*k = 0. Suppose -2*m + 5*y + 55 + 46 = k, 0 = -3*m - 2*y + 104. Does 19 divide m?
True
Let u = 3277 + -791. Is 15 a factor of u?
False
Let c = 840 + -266. Is c a multiple of 16?
False
Suppose 7*v = 12*v. Suppose v = 15*a - 13*a - 64. Does 25 divide a?
False
Suppose -23 + 3 = -5*c. Suppose 4*h + 152 = -4*b, -c*b = -6*b. Let v = h + 54. Is v a multiple of 15?
False
Suppose 5*x - 1438 = -0*x + 4*v, -4*x + 1145 = -5*v. Is x a multiple of 58?
True
Let n(h) = 9*h**3 + 41*h**2 - 5*h - 3. Is 97 a factor of n(-4)?
True
Let x be 365/15 - 4/(-6). Let u = x + -12. Let c = u + 3. Does 8 divide c?
True
Let p be ((-145)/(-10))/(1/2). Suppose 0 = -p*t + 24*t + 65. Is t a multiple of 13?
True
Suppose 6*h - 7*h = -68. Let g = 164 - h. Does 21 divide g?
False
Is 23 a factor of ((-4178)/8)/(65/(-260))?
False
Let w be 1 + -3 - (-4)/(-2). Let f(l) = l**2 + 5*l + 7. Let c be f(w). Suppose 228 = c*z + 3*u, 3*z - 154 - 98 = 5*u. Is 19 a factor of z?
False
Suppose 9540 = 19*q + 11*q. Is 4 a factor of q?
False
Let r(p) = 20*p**2 + 79*p + 67. Does 120 divide r(13)?
False
Is 24 a factor of 719/3 + (-2)/(-6)?
True
Let g(k) = 5*k**2 - 22*k + 14. Let z(v) = -5*v**2 + 21*v - 14. Let q(h) = 5*g(h) + 6*z(h). Let w be q(10). Does 10 divide (-4)/(-6) - w/9?
True
Suppose -6*l + 10 = -80. Is 25 a factor of 306/l*20/6?
False
Let l(u) = -32*u + 3. Let b be (0 - -1)/(-2 + (-21)/(-14)). Does 15 divide l(b)?
False
Let s(k) = k**2 - k - 9. Let y be s(0). Let z(i) = i**2 + 3*i - 12. Let g be z(y). Is 8 a factor of (-12)/30 + g/5?
True
Let r = 21 - 17. Suppose -r*j + 195 = -y, 3*j - 62 = -5*y + 67. Is 10 a factor of (-200)/12*j/(-20)?
True
Let d(i) = -i**2 - 79*i - 343. Is d(-30) a multiple of 28?
False
Let w(a) = a**3 + 16*a**2 + 21*a + 20. Let x be w(-15). Let z = x + 141. Is 23 a factor of z?
False
Suppose 2*g + 22 = 4*n, 7*g = -3*n + 6*g + 4. Let w(q) = n*q + 10*q**2 - 1 - 4 - 5*q + 4. Is w(-1) a multiple of 10?
False
Suppose 0 = f + 3*h - 148, 2*f + 4*h - 464 = -f. Suppose 6*b = -14*b + f. Is 2 a factor of b?
True
Let t = 15 - 12. Let r = t + -3. Let a = 5 + r. Is 5 a factor of a?
True
Suppose -2*h = 2*h - 20. Let b(v) = 15*v + 0 + 4 - 11. Does 13 divide b(h)?
False
Does 13 divide (1466 + 4)*(7 - 124/20)?
False
Does 63 divide 6*138 + (16 - 60/4)?
False
Suppose n - q - 3*q = 303, 288 = n - q. Suppose 4*f = 4*m - 272, -5*f + n - 11 = 4*m. Is m a multiple of 17?
True
Let c = 1803 - -568. Is c a multiple of 38?
False
Let k(s) = 2*s**2 + 36. Is k(6) a multiple of 18?
True
Suppose 3*a = 4*a - 175. Let t = a - 103. Is t a multiple of 12?
True
Let o be (7/(-28))/(1/14)*2. Is -35*(84/15)/o a multiple of 7?
True
Let q(n) = -6 - 16 - n + 7. Let d be q(13). Let u = d - -75. Is u a multiple of 18?
False
Suppose -183 = 19*d - 1779. Does 3 divide d?
True
Suppose 15*n - 12*n - 2172 = 0. Is 42 a factor of n?
False
Let a(g) = 2*g**3 - 24*g**2 + 87*g + 16. Is 81 a factor of a(10)?
True
Suppose 9 = -11*q + 53. Suppose 524 = q*w + 4*j, 5*w - j = 3*j + 682. Does 20 divide w?
False
Is 8 a factor of 138/345*3070/4?
False
Let d(c) = -c**3 - 11*c**2 + 8*c + 14. Let o(l) = l**2 + 5*l + 3. Let f be o(-4). Let z = -11 + f. Is 25 a factor of d(z)?
False
Let s = 2972 - 2121. Does 30 divide s?
False
Let l(i) = i**2 + 4. Let r be l(0). Suppose 5*b + 3*d = 161, -r*d + 0*d + 56 = 2*b. Does 14 divide b?
False
Let i be (-2)/2 - 2*14. Let l(m) = m**2 - 13*m + 5. Let v be l(16). Let d = v + i. Is 12 a factor of d?
True
Let x = 6 + -18. Is 23 a factor of (-161)/(-6) + (-2)/x?
False
Let m = 106 + -106. Suppose m = 2*z - 3*b + 4*b - 334, 3*z + 4*b = 491. Does 28 divide z?
False
Suppose 3*x + 769 = 2437. Does 27 divide x?
False
Suppose -84 = -6*a + 504. Does 6 divide a?
False
Let h(g) = 41*g**2 - 8*g + 44. Is h(4) a multiple of 10?
False
Let v = 5 + -32. Let l = -2 + v. Let n = l - -62. Is 11 a factor of n?
True
Let h = 24 - 29. Is (-2)/h - (-712)/20 a multiple of 36?
True
Let i = -3 + 6. Suppose 4*b = i*b - 2. Does 19 divide (-33)/(-22) - 39/b?
False
Suppose -3*o - y - 1 = -4*o, -2*o