 3. Is h(f) a multiple of 10?
True
Suppose 3*v - 9 = -0*d - 3*d, 2*v = 2. Let n(m) = -15*m**3 - m**2 + 4*m - 2. Let c be n(d). Let x = 207 + c. Does 18 divide x?
False
Let a = -150 + 230. Does 5 divide a?
True
Does 12 divide 612/(((-18)/(-15))/((-64)/(-40)))?
True
Let l be 2/((-535)/180 + 3). Suppose -h - 3*h = -l. Does 6 divide h?
True
Suppose -3*v + 209 = -256. Does 43 divide v?
False
Suppose 3*q = -4*x - 10, -5*x + 2 = -2*q + 3. Is (592 + q)/5 - (0 + -1) a multiple of 17?
True
Let w(f) = f**3 - 8*f**2 + 2. Let g be w(8). Suppose 3*u - 3*d - 23 = g*u, -d + 1 = 0. Is u a multiple of 4?
False
Suppose -5*t + 566 = 3*o, 0 = 9*o - 6*o - 5*t - 586. Is o a multiple of 16?
True
Suppose 0 = -3*s + s + 10. Suppose -h + 23 = -s. Is h a multiple of 7?
True
Let p(b) = 22*b**3 + 2*b**2 - 14*b + 32. Does 24 divide p(4)?
True
Suppose -204 = -3*l - 4*k, 3*k - 6 = 3. Suppose -l*z = -61*z - 567. Is z a multiple of 27?
True
Let s be 4662/(-4) + 1/2. Let h be s/(-10) - 3/2. Suppose -h + 43 = -2*j. Is 15 a factor of j?
False
Let g(y) = 16*y**2 + 7 + 12 - 20 + y. Let s be g(1). Does 26 divide (-13)/(-3)*96/s?
True
Let l = 11862 - 7065. Does 39 divide l?
True
Let h(z) = 5*z + 3 + 2 - 4 - 7 + 2*z**2. Is h(-6) a multiple of 6?
True
Suppose x + 4*t - 14 = 0, 7*t - 26 = -3*x + 3*t. Is ((-294)/(-56))/(x/16) even?
True
Let l be (2/3)/(6/27). Suppose -l*r + 12 = 0, 2*g - g + 11 = 2*r. Is (-135)/g - (4 + -1) a multiple of 21?
True
Let h = 11 - 19. Let v(y) = y**2 + 7*y + 8. Let i be v(h). Let p = i + -14. Is p a multiple of 2?
True
Let o be ((-121)/55 + 2/10)*79. Let h = -75 - o. Is 54 a factor of h?
False
Let l = 678 - 566. Does 25 divide l?
False
Let y(t) = -4*t - 5. Let o be y(-3). Suppose -w - 1 = -o. Is 5 a factor of 29/w - 2/(-12)?
True
Let q = -521 - -937. Is 32 a factor of q?
True
Let y(n) = -2*n**3 + 119*n**2 + 68*n + 232. Is 7 a factor of y(60)?
False
Let q = -34 + 53. Suppose -6*g + q + 11 = 0. Is g a multiple of 2?
False
Suppose 0*r + r - 197 = 0. Let c = r + -65. Does 12 divide c?
True
Let v(c) = c**3 + 2*c + 668. Does 19 divide v(0)?
False
Let a be 106*(-4 - -9)/(-10). Let z = 110 + a. Is 14 a factor of z?
False
Let i = 53 - 105. Suppose 2*a + 57 = 5*u, 7*a + 2*u = 2*a - 157. Let n = a - i. Is n a multiple of 6?
False
Suppose 0 = -4*v + 10 - 2. Suppose 0 = 5*c + 3*a - 105, -3*c + v*a + 62 = -20. Let d = c - 11. Does 3 divide d?
False
Let w = -5 - -7. Suppose 0*z - w*t - 352 = -4*z, 0 = -4*z - t + 358. Does 13 divide z?
False
Suppose 4*l + 3*o + 12 = 6*l, 5*o + 20 = 4*l. Does 11 divide (-12)/(-6) - ((-2 - l) + -18)?
True
Let a(j) = -5*j + 5. Let g be a(10). Is 15 a factor of (-4 - (-9)/3)*g?
True
Suppose -d + 9*g + 609 = 10*g, 0 = 2*d + 5*g - 1203. Does 7 divide d?
False
Suppose 5*g = 5, -x + 0 = -3*g - 6. Let t(q) = q. Let v be t(x). Suppose 5*r + v = 69. Does 12 divide r?
True
Suppose 0 = 409*y - 406*y - 3882. Does 12 divide y?
False
Does 9 divide 6*(-1489)/(-3) - (1 + -2)?
True
Let j = 27 - 41. Let f = j + 20. Is 3 a factor of (-3 - (-34)/f)*3?
False
Is 19 a factor of 2/(-1 - -21) + 238238/220?
True
Let w(s) = 3*s + 8. Let k be w(0). Suppose -n + 11 = k. Does 12 divide (-32 - n)*-1 - 0?
False
Let v be ((-2)/(-1))/((-8)/(-140)*1). Suppose s + v = f + 2*s, -5*f + 183 = s. Is f a multiple of 11?
False
Suppose 0 = 3*c - 2*s - 4506, 3*c + 3*s - 4518 = s. Does 15 divide c?
False
Let s(r) = 2*r**2 + 7*r + 9. Let t be s(12). Suppose 0 = m - 3, m - t = -4*z - 2*m. Is z a multiple of 18?
False
Let m(i) = -i**3 - 3*i**2 - 4*i + 14. Suppose -22 + 4 = 3*x. Is m(x) a multiple of 27?
False
Suppose 3*r - 15 = -0*r. Suppose -a - 252 = -3*j, 0*j - r*a = -2*j + 155. Is j a multiple of 12?
False
Let p be (9/(-5))/((-2)/10). Let w = p + -8. Does 18 divide (40 - w) + -7 + 4?
True
Suppose 3*n = 4*n + 128. Let r = n - -228. Does 25 divide r?
True
Suppose 0 = 2*g + 42 + 36. Let r = g - -140. Is 15 a factor of r?
False
Suppose c - 2*o - 30 = 0, 5*c - 151 - 12 = -3*o. Let p = -75 - -49. Let n = c + p. Is 2 a factor of n?
True
Let k(g) = 92*g**2 + 11 - 21 + 11. Is 17 a factor of k(1)?
False
Is (3*(-86)/8)/(957/(-48488)) a multiple of 20?
False
Let l = -1053 - -2571. Does 21 divide l?
False
Suppose g + 3*b - 492 = 8*b, -5*g - 5*b = -2550. Is g a multiple of 39?
True
Suppose -5*o + 2*a = -1571 - 1066, 4*o - 2128 = -3*a. Let y be o/3 + 1/(-3). Suppose -2*g = -2*q - 4*g + 106, 4*q = 5*g + y. Is q a multiple of 16?
False
Is 284/((-22)/(-16) - (-27)/(-72)) a multiple of 29?
False
Let b = 197 - 71. Does 6 divide b?
True
Let k(c) = c**3 + 6*c**2 - 8*c - 10. Let q = -15 + 8. Let v be k(q). Let j = v + 22. Is j a multiple of 15?
False
Let w(x) = -x**2 - 5*x + 4. Let k be w(-6). Let l be (8/(-12))/((-1 + 3)/(-18)). Let q = k + l. Is q a multiple of 4?
True
Let t(l) = -l**3 - 9*l**2 + 5*l - 154. Does 25 divide t(-15)?
False
Suppose -m + 2*g = -0*g, 0 = 4*m + g + 27. Let s(v) = 4*v**2 + 10*v + 4. Is 15 a factor of s(m)?
False
Let m(b) = -b**3 + 11*b**2 + 16*b - 18. Let o be m(12). Let i = -20 + 23. Suppose -126 = -i*a + o. Is a a multiple of 13?
True
Suppose -2*j = -2*n - 3*n + 187, j + 35 = n. Suppose 4*f - 1 = n. Is (-8)/(-6)*3*f a multiple of 9?
False
Let h be (-3357)/(-36) + 3/(-12). Let s = -69 + h. Is 6 a factor of s?
True
Suppose 53*i + 574 = 54*i + 4*y, 0 = 4*i + 4*y - 2236. Is i a multiple of 15?
False
Let z = -1543 - -1632. Is 2 a factor of z?
False
Is 12 a factor of (-3648)/171*2/((-8)/258)?
False
Let b(m) = -2*m - 4. Let x(k) = 6*k**3 - 2*k + 1. Let l be x(1). Suppose 0*a - l*a = 40. Is 11 a factor of b(a)?
False
Let v(p) = -11*p - 22. Let x(h) = -h**3 + 5*h**2 - 7*h + 6. Let s be (-3)/2 - 11/(-2). Let a be x(s). Does 11 divide v(a)?
True
Suppose a + 2*i - 27 + 120 = 0, 5*a + 405 = 5*i. Let x = a + 140. Is x a multiple of 24?
False
Let m(b) = 13*b + 17. Let a(j) = -j**2 + j + 1. Let g(k) = -a(k) + m(k). Let q be g(-11). Suppose 59 = 2*h - q. Does 8 divide h?
True
Suppose c + w - 61 = 4*c, -3*w = -3*c - 63. Is 3 a factor of ((-4)/c - -1)/((-8)/(-60))?
True
Suppose 2*j = 4*l, -7 - 3 = -2*j - l. Let h = 208 - 206. Suppose 5*c - 3*s - 2 = 124, j*s = -h*c + 66. Is c a multiple of 10?
False
Suppose 30 - 3 = 3*x. Let y = x - -66. Is y a multiple of 11?
False
Let k be (10/(-36) - 8/36)*-4. Suppose 0 = -3*x - k*o + 7*o + 164, 3*x - 4*o = 160. Is x a multiple of 4?
True
Does 12 divide (20 + 2 - 8)*18?
True
Suppose -3*i + 6 = 0, -3*z - 35 = i - 1. Let l(a) = 0*a**2 - 3 - 14*a - 1 - 6 - a**2. Is 7 a factor of l(z)?
True
Suppose -1335 = -6*p + 237. Does 11 divide p?
False
Let p(x) = -24*x + 211. Does 17 divide p(-40)?
False
Let l(v) = v**3 + 2*v**2 - 4*v + 1. Let o be l(-3). Suppose -2*w - 5*f + 74 = -0*f, o*w = -f + 130. Does 7 divide (w/(-5))/((-8)/20)?
False
Let c(k) = 33*k - 1. Let u(p) = p**2 - 5*p - 4. Let j be u(6). Suppose -5*f + 11 = -0*y + j*y, -5*f + 8 = y. Does 8 divide c(f)?
True
Suppose 5*o = 3*b + 510, 32*b = o + 28*b - 119. Does 33 divide o?
True
Suppose 15*o = -3*o + 9396. Does 12 divide o?
False
Suppose 0 = 2*y - 4*y. Let n = 6 + y. Does 3 divide (-1 + -1)*(-9)/n?
True
Let u(i) = i**3 + 32*i**2 + 6*i + 39. Is u(-16) a multiple of 9?
False
Let t be 3*1 + 44/(-11). Let a be (2 - t - -4) + -3. Does 8 divide -2 + -1 + a + 31?
True
Suppose 5*k - b = -1295, 527 = -4*k + 2*b - 509. Let l = -159 - 12. Let s = l - k. Is 22 a factor of s?
True
Let c(m) = m**3 + 15*m**2 - 12*m - 30. Is 10 a factor of c(-15)?
True
Suppose 0 = -3*b, 0*b = -2*z + 2*b + 26. Let q = z + -12. Does 12 divide 31/q - 2 - 1?
False
Let l be -12*(24/(-32))/((-3)/10). Suppose -3*n + 288 = 4*m, 2*m - 154 = -0*m + n. Let o = m + l. Is 17 a factor of o?
False
Suppose 40 = 7*k + k. Suppose k*m - 3*x - 2*x - 160 = 0, 184 = 5*m + x. Is m a multiple of 14?
False
Let l(u) = u - 1. Let q(p) = 5*p**2 + 5*p + 11. Let x(g) = -g**2 - g. Let h(f) = q(f) + 4*x(f). Let n(d) = h(d) + 3*l(d). Is n(-8) a multiple of 10?
True
Suppose 4*q - 5*s - 48 = 0, q - 5*s - 65 = -4*q. Suppose -4*c = -77 + q. Is c a multiple of 5?
True
Let b be ((-62)/4 + 4)*-4. Let d = 173 - b. Is d a multiple of 23?
False
Suppose 2*j - 3*a - 213 = 232, 2*j - a - 435 = 0. Is j a multiple of 19?
False
Suppose 77*i = 74*i + 723. Does 13 divide i?
False
Suppose 7*r - 31 = 53. Is 24 a factor of (69 - -3)*28/r?
True
Let a(l) = -5 + 3*l + 10 + 0*l + l**2. Let o be a(-2