41*h**2 + 9*h + 2. Let v(j) = -j**2 + j - 1. Let c(d) = a(d) - 2*v(d). Does 43 divide c(-2)?
False
Suppose -94 = -h - 2*t, h = -h + 3*t + 167. Is h a multiple of 11?
True
Let y(l) = -l**3 + 9*l**2 - 3*l + 1. Is y(7) even?
True
Suppose 20*x - 16*x = 12. Suppose 5*u - 124 = x*u. Does 24 divide u?
False
Suppose 24*j - 25*j - 94 = 0. Let x = 118 + j. Is 6 a factor of x?
True
Let b(c) = c**2 - c - 4. Let i be b(-2). Let t be i/(-1*3/(-15)). Suppose p + p - t = 0, w = -3*p + 84. Is 23 a factor of w?
True
Suppose 4*h = 7*h - 273. Let q = h + -42. Let r = q + -22. Is 9 a factor of r?
True
Let u be ((-10)/(-3))/((-4)/(-6)). Let f(t) = t**3 - 4*t**2 - 5*t + 5. Let w be f(u). Suppose 4*x = -2*p + 3*x + 77, -2*p + 97 = w*x. Is p a multiple of 34?
False
Let d(t) = 62*t**2 + 4*t + 2. Let h(r) = -r**3 + 7*r**2 - 6*r - 1. Let x be h(6). Is 11 a factor of d(x)?
False
Let i be 3/(-9) - (-38)/6. Suppose -3*m + i = -5*h + 293, 5*m + 75 = h. Let g = h + -19. Is 12 a factor of g?
True
Let g(a) = a + 8. Let p be g(-6). Suppose -u + 4*s + 39 = 0, -p*s + 6*s - 66 = -2*u. Is u a multiple of 7?
True
Suppose 25*d = 20*d - 4*q + 20747, -3*d = -q - 12438. Is d a multiple of 13?
True
Let p = 14 + -7. Suppose p*v - 8*v + 4 = 0. Suppose -v*r + 153 = -15. Does 14 divide r?
True
Let l(r) be the first derivative of r**6/180 - r**5/20 - r**4/2 + 8*r**3/3 + 8. Let z(s) be the third derivative of l(s). Is z(-6) a multiple of 32?
True
Suppose -9*c + 3818 = -862. Is 13 a factor of c?
True
Suppose 12*g - 52 = 10*g. Let v = 12 - g. Let c = 16 - v. Is c a multiple of 21?
False
Let p(z) = 199*z**2 - 7*z - 3. Is p(-1) a multiple of 7?
True
Let v = -53 - -56. Suppose -v*m = -4*l - 644, 0 = -5*l + l - 20. Is m a multiple of 13?
True
Let d be 2 - (-150)/9*(-9)/(-3). Suppose 5*b - 4*x - 394 = 0, -b + 28 = -2*x - d. Does 12 divide b?
False
Let y = -34 - -61. Suppose 4*h - 7*h = -y. Is 7 a factor of h/3 - (1 + -5)?
True
Suppose -y + 66 = -163. Let f = y + -69. Is 16 a factor of f?
True
Suppose -x + 4*x - 198 = 0. Let j be 4/(-3)*x/(-4). Suppose -j - 4 = -k. Does 13 divide k?
True
Suppose -11340 = -91*o + 73*o. Is 30 a factor of o?
True
Suppose 0 = 41*m + 4223 - 16482. Is m a multiple of 13?
True
Suppose -3*m + 5447 = 4*w, w - 5*m - 1364 = -8*m. Is w a multiple of 13?
False
Let m be (430/(-6))/((-4)/12). Let f = -196 + 86. Let r = m + f. Does 21 divide r?
True
Suppose -5*f + 4*k - 62 = 0, 0 = -f + 4*f - 3*k + 39. Let a(m) be the first derivative of -m**4/4 - 11*m**3/3 - 7*m**2 - 8*m + 28. Is a(f) a multiple of 32?
True
Let s(f) = f - 189. Let y(m) = 2*m - 472. Let j(a) = 12*s(a) - 5*y(a). Is j(0) a multiple of 23?
True
Let c(z) = -z**3 - 14. Let h(m) = m**3 + 14. Let l(r) = -7*c(r) - 6*h(r). Is 7 a factor of l(0)?
True
Let m(s) = 9*s - 26. Let y(a) = 4*a - 13. Let h(g) = 3*m(g) - 7*y(g). Let i be h(11). Suppose -3*v + 2*v + 8 = t, t = -i*v + 9. Is t a multiple of 2?
False
Let q be (-20)/14*(-18 + 11). Let r(x) = x**3 - 9*x**2 - 11*x + 6. Let l be r(q). Is 3 a factor of (-3)/l*2*6?
True
Let f = 378 - 157. Is 17 a factor of f?
True
Suppose 5*d - 2*v = 276 - 2, -3*d + 177 = 3*v. Suppose -3*o + d = 14. Let h = o + 55. Is 19 a factor of h?
False
Suppose 81*b - 8680 = 67*b. Does 20 divide b?
True
Let x(l) be the third derivative of 0*l + 7*l**2 + 0*l**3 + 0 + 25/24*l**4. Is x(1) a multiple of 7?
False
Let o = -68 + 47. Let d = 93 + o. Does 24 divide d?
True
Let g be 8/3 + (-4)/6. Let v(u) = -1 + 14*u - 39*u**3 + 2*u**g - 14*u. Is 8 a factor of v(-1)?
True
Let t(k) = -k**3 - 4*k**2 + 7*k + 11. Let z be t(-5). Let y(c) = 55*c + 1. Is 14 a factor of y(z)?
True
Is (248/64 - 4) + (-449)/(-8) a multiple of 4?
True
Let f = 79 - 74. Let a(o) = -4*o**3 + 2*o + 1. Let t be a(-1). Suppose -u - 32 = -t*w, -f*w + 3*u + 52 = -0*u. Does 3 divide w?
False
Suppose 294 = 4*c - 2*u - 188, 5*c = 2*u + 603. Suppose 6*q - q + 320 = 0. Let z = c + q. Does 23 divide z?
False
Does 14 divide (-3)/(-9) - 2938/(-6)?
True
Is 10/65 + (6 - (-77760)/39) a multiple of 100?
True
Let j(a) = a**3 - 2*a**2 - a - 2. Let t(q) = 3 - 3*q + 6*q - q**3 + q**2 - 2*q. Let u be t(0). Is j(u) a multiple of 3?
False
Suppose -d + 12 - 5 = 0. Let i(s) = -3*s + 29. Does 8 divide i(d)?
True
Is 60 a factor of -108*(-7)/(63/66) + -5?
False
Suppose -k = 4*v - 3 - 0, v = k + 2. Let w = 11 - v. Suppose -2*o + 10 = -w. Does 10 divide o?
True
Suppose -4*m - x + 227 = -2*m, -m = 4*x - 131. Is 3 a factor of m?
True
Does 45 divide 441 + 14 + 0 + 2 + -7?
True
Let w(h) = h**2 - 10*h + 9. Let d be w(10). Let i be 10/30*1*d. Suppose 62 = i*j - 34. Is 16 a factor of j?
True
Suppose -5*a = -l - 34, 3*l + 2*a = 5*l + 68. Let b = l + 58. Is 12 a factor of b?
True
Is 15 a factor of (30/12)/(91/(-46) - -2)?
False
Is (3 - 12)/((-4)/436 - 0) a multiple of 13?
False
Let q(l) = l**3 - l**2 + 35. Let s be q(0). Let h = -21 + s. Suppose 0*a = a - h. Is 4 a factor of a?
False
Suppose 4*q = 3*u + 117, 0*u - 5*u - 4*q - 163 = 0. Let w = u + 67. Is w a multiple of 5?
False
Suppose 0 = -33*b + 31*b - 12. Suppose -2*u + 5*n - 76 = 0, -n + 114 = -3*u + 2*n. Is 17 a factor of (u - (b + 2))/(-1)?
True
Let f = 12 - 8. Suppose -f*r + 63 = 5*l, 3*r - 39 = -l - 2*l. Is l a multiple of 11?
True
Let y be 3 - (-4 + 8)/4. Does 13 divide y/(-10) - (3 + 286/(-5))?
False
Suppose 5*m - x + 1 = 0, -4 = -4*m - x - 3*x. Suppose -4*d + 502 = -m*w + 3*w, 0 = -2*d + 2*w + 244. Is 32 a factor of d?
False
Is 528 + 13 - 1*-5 a multiple of 24?
False
Let u(q) = -q**2 + 18*q + 52. Let n be u(20). Let l(t) = t**2 + 5*t - 22. Is l(n) a multiple of 26?
True
Suppose 12071 = 32*i - 15065. Is i a multiple of 8?
True
Let y(p) = -5 + 0 + 1 + 6*p. Let j(d) = d - 5. Let g be j(9). Does 13 divide y(g)?
False
Let j(d) = 25*d + 9. Let m be j(-25). Does 37 divide ((-15)/(-10))/((-6)/m)?
False
Suppose 0 = -4*m - 4, 2*i + 2 = -m + 5. Suppose -4*r - i*l = l - 57, 35 = 2*r - 5*l. Is r even?
False
Suppose -513 = -n + 7*x - 2*x, -x = -n + 509. Let y = n + -354. Does 22 divide y?
True
Suppose k = 2*z - 8, 0 = 2*k - 0*k - z + 4. Suppose 4*f = -3*l + 537, -5*l - 198 + 1082 = 3*f. Suppose k = 3*m - l + 25. Is 25 a factor of m?
True
Let j = 246 + -95. Suppose -2*v + l = -79, -2*l + j = 5*v - 33. Is v a multiple of 8?
False
Let r(m) = 4*m + 44. Let u = 5 + 6. Does 18 divide r(u)?
False
Suppose 3*b = -4*t + 373, 3*b - b = 4*t + 222. Suppose -3*v = 5*w - 96 - 81, -3*w - 5*v + b = 0. Is w a multiple of 12?
False
Let p(f) = f**2 - 4*f - 9. Let z be p(6). Suppose -3*b + 2 = -b, -z*t + 3*b + 150 = 0. Is 17 a factor of t?
True
Let w(n) = -8*n + 32. Let a be w(9). Let r(q) = -10*q**2 - 2*q - 1. Let z be r(-3). Let t = a - z. Does 14 divide t?
False
Is 8 a factor of ((-16170)/275)/((-2)/5)?
False
Let f(s) = s - 4. Let v(c) = -c**2 - 5*c + 4. Let t be v(-6). Let h be f(t). Let i = 3 - h. Is i a multiple of 7?
False
Let u(w) = -9*w + 32. Let d be u(4). Does 16 divide (-3)/6 - (194/d)/1?
True
Let u(z) = -z**3 - 7*z**2 + 3*z + 56. Is 42 a factor of u(-8)?
False
Let x be 0*((-15)/9 + 2). Suppose x = -k - 4*k. Suppose 0*w - 2*r = w - 2, k = -w - r + 7. Is w a multiple of 7?
False
Let t = 5 + 0. Suppose 0 = -2*o + t*o + 24. Is 7 a factor of (-3 + -1)/(o/44)?
False
Suppose 0 = -3*p + 4*p - 2547. Suppose 8*c - p = -c. Is 19 a factor of c?
False
Let b = -114 + 687. Is b a multiple of 13?
False
Let x(y) = -163*y + 162. Is 64 a factor of x(-10)?
True
Suppose -2*o - o + 8 = -2*x, o = 4*x + 16. Suppose o = 5*y - 3*u - 497, 5*u - 376 = -4*y + 2*u. Is y a multiple of 31?
False
Let o(q) = q**3 - 4*q**2 - 9*q + 14. Is o(7) a multiple of 12?
False
Suppose -4*k - 5*n = -2479, -9*n + 8*n - 613 = -k. Is 7 a factor of k?
True
Let m(y) = -2*y + 4. Let f = 13 - 12. Is 2 a factor of m(f)?
True
Let k be 3 - (-5)/(-20)*0. Suppose -8 = -k*v - 80. Let y = v + 30. Does 6 divide y?
True
Let p = 60 + -46. Does 25 divide 3294/33 + p/77?
True
Suppose -1059 - 667 = -2*n. Is n a multiple of 37?
False
Suppose -3*d - 11 = -5*y, -d - d + 10 = y. Suppose 0 = 5*g + 4*k - 233, 10 = 2*g + k - 82. Let i = g + d. Does 24 divide i?
True
Suppose -6 = j - 0. Let k be (j - -9) + 3/(-1). Suppose -2*r + 17 + 29 = k. Is 11 a factor of r?
False
Let u = -1174 - -2199. Is u a multiple of 25?
True
Let q = 924 + -570. Does 44 divide q?
False
Let l be 1330/15 - (-8)/6. Is 17 a factor of l - ((-3)/