e of 16?
True
Let f(h) = 16*h + 6. Let t(b) = -b**2 + 4*b - 1. Let i be t(4). Let v(k) = k**2 + k + 1. Let l(o) = i*v(o) - f(o). Is 8 a factor of l(-12)?
False
Suppose c + 16 = -40. Does 2 divide c/(-12) + 2/6?
False
Let f be -6 + 7 + (2 - 1). Let h be (12/8)/((-7)/(-5838)). Is f/(-12) + h/54 a multiple of 12?
False
Let n(l) = 1531*l**2 + 11*l + 8. Does 8 divide n(-1)?
True
Suppose -6 = -5*g + 14. Suppose 4*b - 8 = 0, -2*p - 232 = -4*p - g*b. Is 28 a factor of p?
True
Suppose -429 + 72 = -q. Is q a multiple of 19?
False
Let h(s) = s + 13. Let q be h(-11). Suppose -q*f + f = -46. Is 13 a factor of f?
False
Suppose 0*b - 266 = -5*k + 4*b, 16 = -4*b. Is k a multiple of 25?
True
Let q(s) = 14*s + 122. Let v be q(-6). Let m(g) = -6*g + 2. Let p be m(4). Let b = p + v. Does 10 divide b?
False
Let g(t) = -368*t + 293. Does 6 divide g(-3)?
False
Let r(d) = 16*d - 14. Let s be r(4). Let m = -62 - -36. Let u = s + m. Is 8 a factor of u?
True
Suppose 6864 = 14*f - 2544. Is f a multiple of 16?
True
Suppose 3*r + 11 = -5*j, -16 = -4*r + j - 0*j. Let y = 23 + -32. Does 11 divide -1*r*y - -1?
False
Let t be (0 + 0)/(-6 - -9). Suppose 3*h - 321 = q, q + 0*q = t. Is 18 a factor of h?
False
Is 26 a factor of 16/4*18/24 - -164?
False
Suppose 3*j = -12, 2*x - j = 2*j + 324. Let r = 70 + -70. Suppose -3*u + 0*u + x = r. Is 13 a factor of u?
True
Suppose 10*r + 2013 = 6763. Is r a multiple of 95?
True
Let b(u) = 19*u + 5. Let l be b(-7). Is 10 a factor of (l/(-20))/((-5)/((-500)/8))?
True
Let t = -154 + 158. Does 5 divide (-80)/((-10)/2 + t)?
True
Let m(n) = 12*n - 12. Let y = 19 - 13. Is 15 a factor of m(y)?
True
Let z = -384 + 457. Is 5 a factor of z?
False
Suppose -10 + 3 = -j. Let y = j - -5. Suppose -2*d + y = -4*z, -3*d - 3*z = -8 - 10. Does 2 divide d?
True
Let w(b) = 671*b**3 + 3*b**2 + 3*b + 1. Let a be w(-1). Let d = -466 - a. Is 28 a factor of d?
False
Suppose -3*s = 4*b - 412 + 35, -16 = 4*b. Is s a multiple of 23?
False
Is 29 a factor of -5 - -276 - 4 - -3?
False
Let b(k) = -99*k + 106. Does 31 divide b(-3)?
True
Is (-2188)/16*(-12 - -4) a multiple of 18?
False
Let s = 242 - 114. Let n = s + -73. Suppose 5*w + n = 4*u, -2*u - 4*w = -0*u - 34. Does 7 divide u?
False
Let c be 5*62*6/(-20). Let n = c + 201. Is 36 a factor of n?
True
Let v(r) be the third derivative of 3*r**4/8 + r**2. Let l = 7 + 1. Is 24 a factor of v(l)?
True
Suppose -21*x = -15*x - 12. Let k(q) = 37*q**3 - 2*q**2 + 4*q + 1. Does 49 divide k(x)?
False
Let a(q) = 3*q + 1 - 176*q**3 - 3*q - 2*q**3. Is 16 a factor of a(-1)?
False
Is 2*(-1297)/(-12) + (-10)/60 a multiple of 18?
True
Does 6 divide 74/3 - 4/6?
True
Suppose 4*c + 5*s = -20 - 67, 4*c = -4*s - 84. Let l = 22 + c. Suppose -l = -n + 5. Is 3 a factor of n?
True
Suppose -4*q + 2133 = 5*n, -4*q + 4*n + 2154 = 2*n. Does 80 divide q?
False
Suppose -3*d = 5*l - 3, -1 = -3*d - 3*l + 8. Let y be d*1*4/(-4). Is 4 a factor of (y/8)/((-3)/20)?
False
Let j(p) = p**3 + 4*p**2 - 3*p - 12. Let w be j(-4). Let d(v) = v**2 - 2*v + 55. Does 11 divide d(w)?
True
Suppose 13*y = 3766 + 2006. Is 58 a factor of y?
False
Is 32 a factor of (-40)/6*(-24)/5?
True
Is 123 + 8/((-16)/(-6)) a multiple of 14?
True
Suppose -14*i + 36 = -16*i. Let a = 23 + i. Suppose 0 = a*j - 75 - 15. Is j a multiple of 6?
True
Suppose -4*x + 12 = -4*k, 9*x - 4*x - 33 = -4*k. Suppose 0 = -k*g - g - 4*f + 117, -5*g - f = -195. Is g a multiple of 13?
True
Let v = -1629 - -4285. Does 32 divide v?
True
Suppose -6888 = -33*o + 26*o. Is o a multiple of 6?
True
Let t(y) = -8*y - 17. Let j(b) = -4*b - 17. Let w be j(-5). Let v be ((1 - w) + -12)/2. Is 13 a factor of t(v)?
True
Let q(h) = 14*h**2 + 12*h + 17. Does 64 divide q(-8)?
False
Let n(u) = 2*u - 3. Let s be n(11). Let w = 5 + s. Suppose 3*i - 4*v - 14 = w, -5*v - 34 = -3*i. Does 9 divide i?
True
Let o(x) = 1. Let m(h) = -2*h - 2. Let s(y) = -m(y) - 5*o(y). Let i be s(0). Is 3/(i/(-5))*2 a multiple of 10?
True
Suppose 39 + 77 = -2*r + 4*l, 4*r - 3*l + 212 = 0. Let n = r + 92. Does 8 divide (-114)/(-7) - 12/n?
True
Let n = 127 + -111. Suppose 7*f = n*f - 3078. Is f a multiple of 12?
False
Let n(a) = -a**3 + a**2 - a - 1. Let t be -1 + (-12)/(4 - 1). Is n(t) a multiple of 6?
False
Let r(y) = -y**2 + 7*y + 5. Let x be r(7). Suppose -q = 4*q + 5, 5*n - 934 = -q. Is n/x - 6/(-10) a multiple of 19?
True
Suppose 6*h - 3*h + 12 = 0. Let m be (-62)/h + 12/24. Is 13 a factor of 4/(m/220) - 4?
False
Suppose -5*x + 4*z = -5886, 5*x - 6*z - 5890 = -z. Is 35 a factor of x?
False
Suppose 0 = 4*n - 5*m + 6*m - 2995, 0 = -2*n + 3*m + 1515. Does 50 divide n?
True
Does 2 divide 18/(-4)*(-828)/54?
False
Let t(y) = -y**3 - 26*y**2 - 15*y - 82. Is t(-26) a multiple of 14?
True
Let f(v) = -20 + 2*v**2 + 50 - 20 - 17*v. Is 18 a factor of f(11)?
False
Suppose 9*q = q + 40. Suppose 182 = q*j + 37. Is 11 a factor of j?
False
Let g be 15/10*8/3. Suppose 4*k + 20 = g*n, 4*n + 2*k = k + 5. Does 2 divide n?
True
Suppose 0 = -t - 4*m + 43, -5*m + 0*m = -5*t + 290. Is t a multiple of 11?
True
Let x(z) = z**3 - 3*z**2 - 6*z + 5. Let c be x(4). Let k be (-1 - (-10)/2) + -1. Is 10 a factor of k + (c - -2) + 16?
False
Suppose -57*s = -53*s - 236. Let f = 73 - s. Is 4 a factor of f?
False
Suppose 3*d - 320 = 3718. Does 16 divide d?
False
Let h = -146 + 274. Is h a multiple of 27?
False
Let b = 2 + 10. Let j be (-4)/b - (-20)/6. Suppose 4*c - 104 = c - 4*x, 0 = j*c + 2*x - 106. Is 15 a factor of c?
False
Suppose 3*s = 2*d + 590, -6*s - 3*d + 977 = -s. Is s a multiple of 6?
False
Let r(w) = -2*w**3 - 14*w**2 + 9*w + 9. Let f(y) = 5*y**3 + 41*y**2 - 28*y - 26. Let k(z) = -3*f(z) - 8*r(z). Suppose o + 0 = 10. Does 26 divide k(o)?
True
Let s(u) = 5 - 6*u + 8 - 3 - u. Is s(-3) a multiple of 6?
False
Let b = 40 + -39. Suppose -5*s + b = -2*d + 63, 0 = -3*d - 4*s + 139. Does 13 divide d?
False
Let h = -8 + 12. Suppose 5*o - 195 = 2*u + u, -164 = -4*o + h*u. Is o a multiple of 12?
True
Let q = -374 + 1163. Suppose -13*y + q = -303. Is y a multiple of 13?
False
Let v(l) = 18*l**3 - l**2 + l - 1. Let d(u) = -u + 5. Let p be d(-4). Suppose t - 2*h + 1 = -h, -5*t = 2*h - p. Is v(t) a multiple of 7?
False
Suppose 3*g - 6*g + 9 = 5*d, 0 = 2*d - 5*g + 15. Suppose 5*o = -w + 146, d = 5*o - 2*w - 45 - 98. Does 6 divide o?
False
Let u(t) = -t**3 + 19*t**2 - 23*t + 113. Does 4 divide u(17)?
True
Suppose 8*t - 989 = -13. Suppose -5*v + 4*v = -t. Is v a multiple of 13?
False
Let g = 20 + 44. Let j = 218 - g. Is j a multiple of 14?
True
Let m(q) = q**2 - 6*q + 7. Let s be m(6). Let h(l) = 3 - s*l - l**2 + 6 - 2*l + 0. Is h(-9) a multiple of 9?
True
Suppose 5*a = 4*a. Let k(g) = -1 - 3*g + a*g + 7*g**2 + 1. Is k(2) a multiple of 6?
False
Suppose 2*x + 2662 = 2*z, 5*z - 6205 = x + 446. Is 43 a factor of z?
False
Let f = 29 - -25. Let n = f - 27. Does 8 divide 3 + -2*3 + n?
True
Suppose 5*b + 15 = k, k - 2 = -b + 1. Let q(r) = r**3 - 2*r**2 - 7*r + 4. Does 11 divide q(k)?
True
Let a(g) = 18*g**2 - 458 - 2*g + 73*g**2 + 456. Is 13 a factor of a(-1)?
True
Let i(z) = -2*z**3 - 4*z**2 - 1. Let p(d) = -4*d**2 + 9*d + 6. Let h be p(3). Does 10 divide i(h)?
False
Suppose 1 = 2*n - 3*t + 2*t, 4*n + 8 = 4*t. Suppose w + 2*x = -2*w + 146, 0 = -n*x - 6. Is w a multiple of 5?
True
Let z(s) = s**2 - 5*s - 10. Let y = 117 - 123. Is z(y) a multiple of 7?
True
Suppose -4*t + s = -s - 32, 8 = 2*s. Suppose 41 + t = 3*x. Is x a multiple of 4?
False
Is 21 a factor of (-48)/(-54)*-42*(-54)/3?
True
Let d = -2 + 13. Let c be (-75)/d + (-36)/198. Is 9 a factor of ((-29)/1)/(7/c)?
False
Suppose 82*i - 4*j + 5625 = 87*i, -2*i + 2238 = 4*j. Is 19 a factor of i?
False
Suppose -2*x + 2*i + 274 = 0, -3*i - 45 = -x + 96. Is x a multiple of 15?
True
Let d = 1475 + 329. Is 82 a factor of d?
True
Let g = 5 + -1. Suppose 2*u - 5*u = 5*w - 58, u + g*w = 24. Is 4 a factor of u?
True
Suppose -4*c - 1692 = -5*l - 0*l, -l + 348 = -4*c. Does 48 divide l?
True
Suppose a = 2*i - 22, 0 = -i - 0*i - 2*a + 16. Let b be 0/(3/(i/4)). Suppose b = 5*j - 77 - 183. Is 21 a factor of j?
False
Let v be (-2)/6 + (-19544)/(-42). Suppose 5*k = -4*r + v, -3*r = 2*r + 25. Is 15 a factor of k?
False
Suppose 4*r - 21 + 9 = 0. Suppose 2*h - 3*d = -2, r*h + 5*d - 17 = -1. Does 11 divide (3 + -47)*(1 - h)?
True
Let k = 421 - 809. Does 16 divide (5/(-10