a - 2*a + 12, 5*g + a - 4 = 0. Let c be -1*(g - (-3)/3). Does 26 divide (-4 - -3) + 28 + c?
True
Suppose 290 = -8*o + 13*o. Is o even?
True
Let k = -1197 + 1691. Is k a multiple of 26?
True
Let y(d) = -3*d**3 - d**2 + d + 2. Let p be y(-2). Suppose u - p = -h, 5*u - 57 = -h + 31. Does 17 divide u?
True
Is 3 a factor of (((-192)/28)/2)/(9/(-63))?
True
Let l = 425 + -197. Does 38 divide l?
True
Let f(d) = 5*d**2 - 2*d. Let g(t) = -119*t**2 + 49*t. Let u(w) = 49*f(w) + 2*g(w). Let m be u(2). Let o = m - 14. Is o a multiple of 14?
True
Suppose -87 = 4*w - 447. Suppose -w = -5*d + 2*d. Does 3 divide 2 + (d/3 - 3)?
True
Let y be (1075/75)/(2/42). Let c = y - 167. Is 26 a factor of c?
False
Suppose -3*b = -9 - 69. Suppose l + b = 121. Does 24 divide l?
False
Let m = 76 + -66. Is 62 - (m/5 + 2) a multiple of 5?
False
Let n = -8 + 12. Let v = n - 1. Suppose -2*l - v*x = -l + 9, -25 = -3*l + 4*x. Is l a multiple of 3?
True
Suppose -3*k - 4 + 10 = 0. Let v be 131 - k/((-4)/(-6)). Suppose p - v = -3*p. Is p a multiple of 16?
True
Suppose -18*p = 4*p - 88. Let c(q) = -q**2 + q + 2. Let r be c(2). Suppose -p = -d - r*d. Is 2 a factor of d?
True
Let r be -1*2/((-10)/(-95)). Let o(x) = x**3 + 19*x**2 - 7*x + 29. Is 11 a factor of o(r)?
False
Suppose 6*q + 1170 - 4320 = 0. Does 24 divide q?
False
Let m(v) = 45*v**2 - 14*v - 68. Does 29 divide m(-6)?
False
Let v(m) be the third derivative of -m**5/60 - 5*m**4/12 + m**3 - m**2. Is 3 a factor of v(-8)?
False
Suppose 2*r - 3*l + 84 = 0, 0 = 3*r - 4*l + 125 + 3. Let x be r/(-21) + (-6)/21. Suppose -x*b = -b - 18. Does 6 divide b?
True
Let f(b) = b**2 + 2*b - 4. Let m be f(2). Suppose 4*j - 15 = 5*j - m*r, 4*j + 2*r = 30. Suppose 112 = j*i - i. Is 10 a factor of i?
False
Is 1/(-9)*2 - (-592)/72 a multiple of 2?
True
Suppose 0 = 4*j - 3*j - 10. Suppose -4*o + 7*o - 5*g = 14, 2*o - 4*g - j = 0. Suppose -293 + 17 = -o*v. Does 24 divide v?
False
Let p(k) = 6*k**3 - 4*k**2 + 6*k - 4. Does 23 divide p(3)?
False
Let g(a) = a**3 + 6*a**2 - 6*a - 10. Is 5 a factor of g(-5)?
True
Suppose 0 = 4*w - 0*w - 40. Suppose u - 6*u - w = n, -4*n + 8 = -4*u. Does 8 divide -24*(-1 - u)*-1?
True
Suppose -s + 74 = -0*s. Let l = 14 + s. Is 15 a factor of l?
False
Let v(f) = -f - 4. Let o be v(-2). Is 19 a factor of 75/(o*(-2)/4)?
False
Let n be 4/(-34) + (-26370)/(-170). Suppose 2*h = z + n, 3*h + 6*z - 265 = z. Is 11 a factor of h?
False
Let y = -26 + 81. Let m = y + -38. Is 4 a factor of m?
False
Suppose -3*m + m + 2*z = -32, m = 4*z + 16. Is ((-228)/m)/((-3)/8) a multiple of 6?
False
Let t(p) = -p**3 + 4*p**2 + 4*p - 3. Let m be t(8). Let b = m + 318. Is (-2)/(-7) - (-1703)/b a multiple of 19?
True
Let n(s) = s**2 - 3*s + 25. Let u be n(-16). Let i = u - 137. Does 24 divide i?
True
Suppose v - 3 = -10. Let w be 6 + v + -1 + 3. Is ((-6)/15)/(w/(-20)) a multiple of 8?
True
Let q(z) = z**2 + 4*z - 7. Does 19 divide q(24)?
True
Let d be 700/4*(-3 + (-4)/(-1)). Let p = 364 - d. Does 27 divide p?
True
Let z be 5 - 4 - (-48 - -1). Suppose -2*c = -16 + z. Let x = c + 34. Is 7 a factor of x?
False
Let d(y) = -y**2 + 3*y + 11. Let p be d(5). Is p/1*(-2 + 67) a multiple of 13?
True
Let j(z) = -5*z - 6. Let m be j(-2). Suppose 0*t + 200 = m*t. Is t a multiple of 24?
False
Let y = 94 - 89. Suppose 2*o - 71 = -y*f, 0*o = 2*o - 2*f - 50. Is o a multiple of 4?
True
Suppose -3*f + 5*f = 0. Suppose 3*u + 5*h - 152 = 0, f*u = 2*u + 3*h - 100. Is 34 a factor of u?
False
Suppose 12 = 3*h, 7*u + 4*h = 11*u - 6968. Is 8 a factor of u?
False
Let f(i) = -2*i**2 + 10*i + 14. Let h be f(6). Suppose 4*n - 9 = k + h*k, -4*n + 5*k + 15 = 0. Suppose y + 4 = n, 8*z - 3*z - 274 = -4*y. Is 15 a factor of z?
False
Let q(m) = -6*m**2 + m - 3. Let r(v) = v**2 + v + 1. Let j(n) = q(n) + 5*r(n). Let f be j(-5). Let x = 102 + f. Does 17 divide x?
False
Let r(t) = -t**3 + 3*t**2 - 3*t - 10. Let y(s) = s**2 + s + 1. Let p(c) = r(c) + 4*y(c). Is p(6) a multiple of 18?
True
Suppose 6*b - 17*b = -528. Is 4 a factor of b?
True
Let g be 7 - (2 - (-2 + 3)). Let k = g - 9. Let r(n) = -2*n**3 - 5*n**2 - 3*n - 3. Is r(k) a multiple of 4?
False
Suppose 22*l - 2774 = 3*l. Does 29 divide l?
False
Suppose -2*s = 2, -3*m - 9 = -4*m + 4*s. Let a(n) = -4 - 4 + m*n + 1. Is 12 a factor of a(9)?
False
Let v(c) = -c**3 - 2*c**2 + c + 4. Let p be v(-2). Suppose 448 = 2*q - 4*y, -208 = -p*q + 5*y + 238. Does 18 divide q?
False
Let a(r) = -r**2 - 4*r + 8. Let q be a(-7). Does 4 divide (q*(-3 - -2))/1?
False
Let z = -30 - -42. Let o = 57 - z. Does 6 divide o?
False
Suppose -i - 139 = -4*d + 2*d, -5*i = 2*d - 133. Let k = 97 - d. Is 28 a factor of k?
True
Let q(i) = 2*i**2 + 14*i + 7. Let h be q(-11). Suppose -h = -3*z + 5*p + 37, -5*z + 5*p = -210. Is 19 a factor of z?
False
Let q = -875 - -1733. Does 11 divide q?
True
Let a be -2*(-2)/4 + (23 - 19). Suppose 0*z - a*b = z - 71, z = -b + 55. Is z a multiple of 17?
True
Let o(d) = 53*d - 160. Does 3 divide o(5)?
True
Suppose -3*z = 3*z + 1722. Let k = -203 - z. Is 15 a factor of k?
False
Suppose 6*m - 5*b = m + 615, -2*m - b + 252 = 0. Does 8 divide m?
False
Let c = -2 - -6. Suppose -b + c*b = 0. Suppose 2*i + b*i + 66 = 2*y, y - 4*i - 36 = 0. Is 16 a factor of y?
True
Suppose 3 = 2*x + x. Let o be (x/1)/(4/1096). Is (-1)/4 - o/(-8) a multiple of 22?
False
Let x(s) = 274*s + 79. Is x(3) a multiple of 52?
False
Let x be ((-2)/3)/((-4)/30). Let a be ((-12)/(-8))/(x/10). Suppose -w = 3*v - 26, -2*w + 44 = 4*v - a*w. Is v a multiple of 10?
True
Suppose -8*m + 14*m = 4518. Does 61 divide m?
False
Let x = -5015 - -7212. Is 12 a factor of x?
False
Let r(u) = u - 1. Suppose g + 4*g + 25 = 0. Let i be r(g). Let a(p) = -p**3 - 5*p**2 + 3*p - 8. Is a(i) a multiple of 2?
True
Suppose -15*s - s = -176. Let f = -17 + 12. Let m = s + f. Is 3 a factor of m?
True
Let j be 23/2 + (-12)/(-24). Suppose 15*p - j*p - 57 = 0. Does 5 divide p?
False
Suppose -4*u - 7*p - 20 = -3*p, -2*u + 2*p = 6. Is 14 a factor of u*(3143/(-84) - 1/3)?
False
Let j(p) = 5*p**2 + 8*p - 18. Is j(-11) a multiple of 20?
False
Let w(r) = -2*r + 2*r + 6*r**3 - 2 - r. Let m be w(-2). Let t = -26 - m. Does 12 divide t?
False
Let o(r) = 8*r**3 - 11*r**2 + 88. Is o(8) a multiple of 15?
True
Suppose 18*y - 19764 = -0*y. Suppose -2*m + y = 4*c, c = 5*m + 286 - 6. Is 11 a factor of c?
True
Let d(l) be the second derivative of -11*l**4/12 - l**3/3 - l**2/2 + 6*l. Let i be d(-2). Is 13 a factor of 2 - (3 - 1) - i?
False
Let h = 70 + -6. Is (-15)/(-2)*h/4 a multiple of 20?
True
Suppose 0 = -4*v + 5*v + 1. Suppose -z - y = -11, 6*y - y + 95 = 5*z. Is z + (3 - 2)*v a multiple of 14?
True
Suppose -k = 2*k - 15. Let a be ((-15)/9)/(k/45). Is 9 a factor of 30*((-18)/a - 0)?
True
Suppose 0 = -4*b - d + 19, b - 2*d - 7 = 0. Suppose -b*h + 5 = 0, 5*u = h + h - 47. Is (u/(-3) + 52)*1 a multiple of 25?
False
Let q be 0 + (2 + -2)/2. Suppose 5*t + 3*g - 40 = -0*g, -4*t + 5 = -3*g. Suppose -t*h - 3*o = -99, -2*o + 101 = 5*h - q*h. Is 5 a factor of h?
False
Suppose -l - 7*u + 3*u = 5, 0 = 2*l + u - 4. Suppose -4 = 2*y, l*y - 44 = -5*o - 0*y. Let f = 27 - o. Is f a multiple of 17?
True
Let r be 10006/2 - (11 + -10). Let z = r - 2208. Is 33 a factor of ((-1)/(-2))/(11/z)?
False
Let d be (-2)/7 - (-103)/(-7). Let g = -10 - d. Let z(y) = 3*y - 4. Does 3 divide z(g)?
False
Let f(n) = -n**3 + 10*n**2 + 4*n - 8. Suppose 0 = -h - 4, -h - 2*h - 42 = -5*q. Let y be f(q). Suppose 4*m - 8*m + y = 0. Does 10 divide m?
True
Let n = 243 - 123. Is 30 a factor of n?
True
Let f(z) = 2*z**2 - 24*z - 535. Is 25 a factor of f(-48)?
True
Let q = 654 - 357. Is 3/(-21) - q/(-21) a multiple of 7?
True
Suppose -11*r + 10*r = -159. Suppose -r - 17 = -4*o. Does 11 divide o?
True
Let i(g) = -g**2 + 17*g - 36. Let c be i(9). Is 16 a factor of (-2)/(-8) - (-3447)/c?
True
Suppose -122*z + 2739 = -111*z. Is 8 a factor of z?
False
Let q(x) = x + 33. Let b be q(17). Let k = 100 - b. Does 50 divide k?
True
Suppose 9 + 3 = -4*j. Let d = 6 - j. Suppose -d = -r + v + 6, 0 = -4*r - 3*v + 67. Is 16 a factor of r?
True
Let u(m) = -m**3 - m + 34. Let q = 0 + 0. Let a be u(q). Suppose 2*r - a = -o, -r + 3*r + 3*o = 30. Is 5 a factor of r?
False
Let t = 89 - -23. Let j(k) = k**3 - k**2 + 35. Let h be j(0). Is 17 a factor of 30/4*t/h?
False
Let m = -131 - -479. I