oes 7 divide h?
True
Is 13 a factor of 36 - (-4)/(16/12)?
True
Let v = -24 + 96. Suppose -2*n + v = -24. Is n a multiple of 24?
True
Let f be 10/(-5) + 23/1. Does 2 divide f/6 + (-2)/(-4)?
True
Let s(b) = -b + 12. Let m be s(9). Suppose 5*z - 5*p + 143 = 538, 4*z - 319 = 5*p. Suppose -59 = -2*t + 4*q - m*q, -3*t + z = -4*q. Is t a multiple of 16?
True
Suppose -2*n + 4*d = -592, 0 = -n - 0*n - 3*d + 291. Does 21 divide n?
True
Is 12 a factor of -6*(-5)/40*444?
False
Let a = 7 - 4. Let n(s) = s**a - 1 + 4 + 0*s**2 - 4*s**2 - 8*s. Does 15 divide n(6)?
False
Let z = 47 + -23. Does 12 divide z?
True
Let i = -40 - -49. Does 9 divide i?
True
Let a(l) = l + 9. Let s be a(-7). Let k be s/(-11) - 2118/(-33). Suppose 2*v = -h - h + k, 3*v = -2*h + 64. Is h a multiple of 19?
False
Let b = 14 + -14. Suppose 2*d - 3*d + 38 = b. Is 19 a factor of d?
True
Let z(j) = -j**3 - 6*j**2 - 3*j + 3. Let d be z(-6). Let w = d + -5. Suppose 5*l - 54 = w. Is 14 a factor of l?
True
Let a = 107 - 51. Suppose u + a = -16. Does 11 divide 4/(u/(-33) - 2)?
True
Let c(a) be the third derivative of -5*a**4/8 - a**3/2 - a**2. Is c(-2) a multiple of 13?
False
Let k(i) = 3*i + 1. Is 7 a factor of k(3)?
False
Let w(r) = r**3 - 12*r**2 + 12*r + 19. Does 5 divide w(11)?
True
Suppose -w - 3*u - 16 = 0, w - 5*w + 4*u = -16. Is 3 a factor of (4 - (-1)/w) + 0?
True
Suppose 0 = -9*w + 6*w + 39. Is w a multiple of 2?
False
Suppose -4*s + 8 + 8 = 0. Suppose -s*r = 10 - 2. Is 3/r*16/(-6) even?
True
Let u(x) = -x**3 + 12*x**2 - 12*x - 11. Is u(10) a multiple of 4?
False
Let q be 0 + -1*6 - -2. Let u = 12 - q. Does 8 divide u?
True
Suppose 0*b - 3*b = -w + 84, -456 = -5*w - 3*b. Is 30 a factor of w?
True
Let u = 2 - -4. Suppose -5*q + 2*q = u. Is (q - (0 - 1))*-23 a multiple of 23?
True
Let b(w) = -w - 12. Let h be b(-13). Suppose -h = -i + 3. Is 2 a factor of i?
True
Let w(u) = -u**2 + 14*u - 10. Let f be w(7). Suppose 3*v = 4*c - 85, -4*c + f = v - 50. Does 11 divide c?
True
Suppose -3*u - 2*u + 75 = 0. Let z = 9 + 9. Let i = u + z. Does 17 divide i?
False
Is 5 a factor of 1/5 + 296/20?
True
Let c(q) = 3*q**2 + 9*q + 12. Is 12 a factor of c(5)?
True
Suppose 0 = -t - 4*s, -5*t + s - 2*s = -19. Suppose d - 51 = -4*x, 0*d + d = t*x + 27. Does 13 divide d?
True
Suppose -2*f - 2*f + 12 = 0. Suppose 49 - 489 = -4*c. Suppose f*v = -2*v + c. Is 11 a factor of v?
True
Let l(i) = 4*i**3 - 5*i**2 - 3*i + 3. Does 10 divide l(3)?
False
Let s = 4 - 0. Suppose s*n + 60 = -0*n. Does 13 divide 183/5 - 6/n?
False
Let q(m) = m**3 - 12*m**2 - 9*m - 8. Let l be q(13). Let g = l + -13. Does 22 divide g?
False
Suppose -i + 14 = -4*u, -4*i + 19 - 2 = -3*u. Is 3 a factor of 6/((-1)/((-2)/i))?
True
Let v = -7 + 10. Let c(n) = -n**3 - 7*n**2 + 6*n - 4. Let a be c(-8). Suppose -v*l = -0*l - a. Is l even?
True
Suppose 17 = y - 6. Let l = y + 100. Suppose -5*m = -2*a + 7*a - 150, -l = -4*m - 5*a. Is 9 a factor of m?
True
Let z(r) = -r**2 - 8*r - 4. Suppose -a + 21 = 3. Suppose 2*m = 5*m + a. Is z(m) a multiple of 8?
True
Suppose -1 = -u + 4. Let x(r) = 2*r + 3. Is x(u) a multiple of 6?
False
Suppose 0 = -2*y + 201 - 3. Let g = y - 56. Does 15 divide g?
False
Suppose 20 = 2*l + 3*l. Does 13 divide (4/(-10))/(l/(-500))?
False
Let f(s) = -s**2 + 12*s - 3. Is f(8) a multiple of 29?
True
Suppose h - 5*r - 21 = 0, -4*h - r = -53 - 52. Is h a multiple of 7?
False
Let x = 8 - 17. Let s(w) be the third derivative of -w**4/4 - 3*w**3/2 - 2*w**2. Does 16 divide s(x)?
False
Let u(k) = -3*k + 15. Let j(g) = -2*g + 15. Let b(h) = 4*j(h) - 3*u(h). Let a be 1 + 0 - (10 - 1). Does 5 divide b(a)?
False
Is 14 a factor of 7*(2 - 0)*1?
True
Let c = -24 + 40. Is 16 a factor of c?
True
Is 142/4 + 20/40 a multiple of 7?
False
Let g be (-1 - -1)/(-3 - -5). Suppose g*q = -q + 2. Suppose -2*p + u + 28 = 0, -3*p = -5*u - 26 - q. Does 16 divide p?
True
Suppose -2*f - 3*c + 4*c = -24, 5*f = c + 57. Is f a multiple of 11?
True
Let h be 18/12*1580/6. Suppose -h + 60 = -5*i - 5*q, 2*q - 2 = 0. Is 24 a factor of i?
False
Let t be (-3)/((-3)/(2 + -1)). Is 2 a factor of ((-3)/(-5))/(t/10)?
True
Let b be 2 + 0 - (8 + -8). Suppose -b*z + 2 = -46. Is 24 a factor of z?
True
Let l(d) = d. Let m be l(0). Suppose 3*f - 67 - 56 = m. Is 16 a factor of f?
False
Let c(y) = y**2 + 6*y + 6. Does 2 divide c(-6)?
True
Suppose x + g + 1 = 4*x, -x - 3*g + 17 = 0. Suppose -6*t + t + 195 = 5*s, 4*t - x*s = 150. Does 18 divide t?
False
Let t = 9 - 2. Let u(l) = t*l + 2*l - 12 - 2*l. Is u(10) a multiple of 22?
False
Let b = 72 + -64. Is 2 a factor of b?
True
Let g(v) = -v**3 + v**2 + v + 5. Let c be g(0). Suppose -c*d - 92 = -427. Suppose 48 = 5*r - d. Is r a multiple of 11?
False
Let i be (4/12)/((-1)/(-18)). Suppose -2*j + 2*f + 12 = 0, -5*j + j = 2*f - i. Is j a multiple of 2?
False
Suppose c - 4 = 0, -40 = -3*l + l + 3*c. Is l a multiple of 11?
False
Is (-1)/(-1 + 0)*61 a multiple of 14?
False
Suppose -4*q + 4*w - 32 = 0, -1 = -w + 1. Is 9 a factor of (-50)/q - (-6)/9?
True
Let s = 5 + -1. Suppose s*u - 100 = -u. Suppose u = 2*k - 4. Is k a multiple of 4?
True
Let a(j) = 4*j**3 - 1. Let c(k) = k + 1. Let w be c(0). Let v be a(w). Does 14 divide v + -1 + 19*2?
False
Let n be 46/10 - (-2)/5. Suppose -4*x + 8 = 3*t, 12 = -4*t + t. Is 11 a factor of x*(-1 - (-37)/n)?
False
Suppose 5 = -5*w - 4*j, 0 = 5*j - 0*j. Let u(b) = -b + 1. Let y(f) = 2*f - 5. Let c(a) = w*y(a) - 4*u(a). Does 2 divide c(1)?
False
Let r = -1 + 17. Suppose -c + r = -6. Is 22 a factor of c?
True
Let f be (-1)/(-1) - (-4)/4. Is 13 a factor of (-5418)/(-98) - f/7?
False
Suppose 5*y - 3*y + 14 = 0. Let s = y - -11. Is s a multiple of 4?
True
Suppose 4*w + 6 = b - 22, 2*b + 48 = -5*w. Suppose -2*a = -4*a - 118. Does 15 divide (-2)/w + a/(-4)?
True
Let p(u) = -29*u**3 + 2*u**2 - 2. Is 22 a factor of p(-1)?
False
Let g = 66 + -35. Does 10 divide g?
False
Let o be (-5)/(-10)*1*34. Let t(s) = s**2 - 3*s + 2. Let b be t(3). Suppose -3*z + o = b. Is 5 a factor of z?
True
Suppose 0 = -5*u - 0*x - x + 68, -u + 10 = -x. Is u a multiple of 6?
False
Let j = 31 + -12. Is 15 a factor of j?
False
Let f be (-2 + 1)/(-1) + 44. Suppose -4*n + 193 - f = 0. Is n a multiple of 14?
False
Let a(z) = z**3 + 7*z**2 - z + 5. Let w be a(-7). Suppose 2*y - w = -y. Does 2 divide y?
True
Let f be (-14)/(-5) + (-2)/(-10). Let j = f - -8. Is 10 a factor of j?
False
Let v(m) = m**2 - 2*m + 1. Suppose 5 = 4*a + 1. Let f be v(a). Suppose f = 4*s - 3*s - 14. Is 9 a factor of s?
False
Let x(c) = 7*c**2 - 3*c**2 - 3 + 2. Suppose -9*q + 2*q = -14. Is 5 a factor of x(q)?
True
Suppose 0 = -7*q + 4*q - 5*f + 1330, -3*q - 3*f + 1338 = 0. Does 61 divide q?
False
Let b = -154 - -396. Is b a multiple of 12?
False
Let q = -2 + 2. Is ((-21)/(-3) - -1) + q a multiple of 8?
True
Let u = -29 + 48. Suppose -5*j + f = -3, 4*f - 7 + u = -2*j. Suppose 5*m = -n + 5, j = m + 2*m + 4*n + 14. Does 2 divide m?
True
Suppose 5*k - 90 = 90. Suppose 4*r = -2*r + k. Does 5 divide r?
False
Let a be 14/10 + 6/(-15). Let v be a/3*29*3. Suppose 0 = -w + v - 11. Is 7 a factor of w?
False
Suppose -4*i = -2 - 6. Suppose x + i*x = 60. Is 19 a factor of x?
False
Suppose 4 + 8 = q. Does 12 divide q?
True
Let o(u) = u**3 - 11*u**2 + 12*u - 9. Does 11 divide o(10)?
True
Suppose 0 = -z - 5*x - 21, -2*z - 7 = 3*x - 0*x. Suppose z*g = 12 - 4. Suppose 0 = -3*s + g*s + 33. Does 14 divide s?
False
Let v = -12 + 12. Suppose 0 = -3*o - v*o + 234. Is o a multiple of 26?
True
Suppose -3*h - 14 = -2. Let n = h + 8. Does 4 divide n?
True
Let h(s) = -4*s + 7. Does 5 divide h(-12)?
True
Suppose 2*p - 5*p = 4*w - 269, -5*w + 3*p = -316. Is w a multiple of 14?
False
Let p be -18 - (-1 + -1)*-2. Is 15 a factor of (60/8)/(-3)*p?
False
Let z(q) = q**3 - 7*q**2 - 2*q + 13. Is z(8) a multiple of 5?
False
Suppose -6*a + 234 = -3*a. Does 13 divide a?
True
Let r = 12 - 8. Suppose 5*j + 46 = 5*m + 6, 5*j = -r*m + 32. Let h = 26 - m. Is 9 a factor of h?
True
Suppose 4*w - 52 = 5*w. Is 10 a factor of w/8*(-2)/1?
False
Suppose 0 = 5*y + 15, 4*j - 173 = 2*j + 5*y. Is 8 a factor of j?
False
Is 34/119 + (-94)/(-14) even?
False
Let b(w) = -w**3 + 9*w**2 + 9*w + 13. Is b(10) a multiple of 3?
True
Let r(m) = m**2 + 5*m - 4. Let v be r(-6). Suppose 3*u - v*u = -3*b + 110, 10 = 2*u. Let i = -21 + b. Does 14 divide i