divide h?
True
Is 7 a factor of 32/(-40)*(-2 + 62/(-4))?
True
Let r be 6*2*3/9. Suppose -2*z - r = -4*z. Suppose z*t = -t + 135. Does 15 divide t?
True
Let t = -105 + 129. Does 3 divide t?
True
Suppose 3*z - 4*z = -56. Is z a multiple of 20?
False
Let n = -34 - -73. Is 13 a factor of n?
True
Let z be 30/6*13*2. Suppose -3*x - 25 = -z. Is 9 a factor of x?
False
Suppose -4*d + 18 = -4*n + 2, 3*n = -3*d. Let c(v) = -d*v**2 - 2 - 3*v + 1 - 3 + 3*v**2. Is c(-4) a multiple of 14?
False
Let v be 122/(-12) + (-7)/(-42). Is (-112)/(-18) - v/(-45) a multiple of 5?
False
Let z = 16 - 11. Suppose -4*y - 2*i = -y - 22, -y - z*i = 10. Is 5 a factor of y?
True
Suppose 0 = -2*f + 7*f - 20. Does 8 divide (-8)/(-3 + -2 + f)?
True
Suppose 0 = 4*l + 3*x + 105, 60 = -2*l - 3*x - x. Let g = l - -70. Is g a multiple of 16?
False
Suppose -4*i + r = -13, -3*r = -i - 7*r - 1. Suppose 3*a - i = 18. Suppose 23 = j - a. Does 15 divide j?
True
Suppose -2*o - 2*v - 56 = -156, -v - 220 = -5*o. Does 8 divide o?
False
Let v = -4 + 8. Suppose -r = -4*r + v*w + 58, 5*w = -4*r + 36. Does 7 divide r?
True
Does 11 divide -2 + -1*(-105)/3?
True
Let c = 140 + -100. Is c a multiple of 14?
False
Suppose 9 = -x - 0*x. Let h be 2/(((-6)/x)/2). Suppose -h = -b + 3. Does 3 divide b?
True
Let g = -159 + 324. Does 21 divide g?
False
Suppose 290 - 62 = 3*v. Suppose 0 = 2*k + r - v, 3*k - r - 96 = 18. Is k a multiple of 19?
True
Does 10 divide 6/(-10) - (-1072)/20?
False
Suppose 0*x - 4*x = -4, -2*x = -r + 3. Let v = 2 + r. Is v a multiple of 7?
True
Let l be (-4)/(-3) + (-10)/(-15). Suppose -3*w = 3*k - 60, 3*k - 2*w - l*w - 81 = 0. Does 23 divide k?
True
Let g(a) = a**3 + a**2 + a. Let d be g(0). Suppose d = 2*b - 4*b + 108. Is b a multiple of 27?
True
Suppose -5 - 1 = -p. Let y = 5 - p. Is y + 21 - 4/2 a multiple of 9?
True
Let u(b) = -b**2 - 8*b - 1. Let s be u(-8). Let n = s + 6. Suppose 95 = 5*d - 5*m, -4*d = -3*d + n*m - 25. Does 7 divide d?
False
Let q(g) be the third derivative of -1/12*g**4 + g**3 + 0*g + 0 + 2*g**2. Does 6 divide q(-5)?
False
Let y(t) be the first derivative of t**2/2 - 2. Let q be y(0). Suppose i = -q*g - 2*g + 5, 3*i = -4*g + 15. Does 5 divide i?
True
Let k(z) = z**2 + 6*z + 1. Let u be k(-5). Let h be (-193)/u + (-1)/4. Suppose h = -2*s + 5*s. Is 14 a factor of s?
False
Let m(v) = 4*v**3 + 0*v**2 - v**3 - 2*v - 1 + v**2 + 2. Let q be m(1). Let o(f) = f**2 - 2*f + 1. Is 3 a factor of o(q)?
False
Let h = 59 - -4. Does 9 divide h?
True
Suppose 5*s = -0*s + 100. Suppose 2*b - s = -3*b. Suppose b*z + a - 199 = 0, -3*a - 40 = -z - 0*z. Is z a multiple of 17?
False
Let k = -1 - -5. Suppose k*x = 2*d + 118, -x + 0*d + 37 = d. Is x a multiple of 12?
False
Suppose 18 = 2*k - 26. Is 6 a factor of k?
False
Let l = 12 + -7. Suppose -3*t = -l*t + 10, -2*y = 3*t - 29. Is 7 a factor of y?
True
Suppose 3*n + 3*d - 5 - 118 = 0, -3*n = -4*d - 144. Does 11 divide n?
True
Let y(f) = 10*f - 40. Is y(14) a multiple of 20?
True
Let r(z) be the first derivative of -z**4/4 - 3*z**3 - 4*z**2 + 2*z - 2. Let k be r(-8). Suppose 9 = k*x + q - 0*q, 0 = -q - 1. Does 2 divide x?
False
Suppose 30 = -5*a + 3*z + 359, a - 3*z = 73. Let k = -1 + a. Is 32 a factor of k?
False
Suppose 2*a + 3*p - 480 = 0, -4*a - 5*p - 480 = -6*a. Is 15 a factor of a?
True
Let t(x) = 3*x - 14 + 4 + x. Is t(7) a multiple of 5?
False
Does 10 divide (3 + -3 + (-18)/(-15))*25?
True
Let r(p) = 3*p**2. Let g(b) = b**3 + 2*b**2 + 2*b + 3. Let a be g(-2). Let w be r(a). Suppose j + w = 13. Is j a multiple of 5?
True
Suppose 4*j - 3*m - 165 = 0, 2*j = -0*m + m + 81. Is j a multiple of 13?
True
Suppose 10*g = 5*g + 40. Let n be (-4)/g - 23/(-2). Suppose -4*v + 4*l - 2 = -30, n = v - 5*l. Is 3 a factor of v?
True
Is 12 a factor of (-3)/5 + (-816)/(-10)?
False
Let t be (-36)/1*2/(-3). Suppose -96 = -4*a - t. Does 7 divide a?
False
Let i be (-33)/(-7) - (-2)/7. Suppose -18 + 9 = -g + 3*t, -4*g + 50 = -i*t. Is g a multiple of 7?
False
Let y be 4440/75 + (-1)/5. Suppose 5*f = l + f - y, f = -5*l + 253. Is l a multiple of 17?
True
Is 4 a factor of (1 - 6)*(-192)/60?
True
Suppose 5*f - 19 - 21 = 0. Suppose -2*t + f = 0, -i - 2*i + 26 = -4*t. Is 8 a factor of i?
False
Let s be 6/(-2) - -22 - -1. Suppose -l + 2*x + 17 = -x, -4*l - 4*x = -s. Is l a multiple of 4?
True
Suppose 3*x + 20 = -2*x, 0 = -4*y - 2*x + 724. Is y a multiple of 23?
False
Suppose 13*s - 73 = 12*s. Is 7 a factor of s?
False
Let h(s) = -s**3 - s**2 + 2*s + 1. Let p be h(-2). Let l = 4 + p. Suppose l*t - 5*q - 200 = 0, -t + 5*q + 77 = t. Is t a multiple of 22?
False
Let r be ((-1)/2)/(1/(-36)). Suppose j = 4*j + r. Is (-3)/6 - 87/j a multiple of 6?
False
Suppose -5*l - 107 = -7. Let x = 78 - l. Suppose 3*i = x - 2. Is i a multiple of 11?
False
Let t(v) = -v**3 - 7*v**2 + 6. Let c be t(-7). Let u = 11 - c. Suppose -r + 36 = -u*w, 2*r = w + 8 + 28. Is r a multiple of 8?
True
Suppose 5*r + p - 27 = 0, 0 = 5*r - 5*p - 53 + 8. Does 16 divide r*((-48)/(-9) + 0)?
True
Let s(c) be the third derivative of -1/60*c**5 + 3*c**2 - 11/24*c**4 - 1/3*c**3 + 0 + 0*c. Is s(-5) a multiple of 12?
False
Let i = -15 - -21. Let u(a) = 2 - a**2 + 4 + 0*a + 10*a. Is 15 a factor of u(i)?
True
Let g be -11 + 9 - (-5 - -1). Suppose -5*a = -g*z + 31, -3*z + 2*z + 20 = -a. Does 8 divide z?
False
Suppose 3*r + 5*t = 235, r + 3*t - 55 = 18. Does 18 divide r?
False
Let y = -21 + 33. Is 4 a factor of y?
True
Suppose 4*n + x - 45 - 40 = 0, -4*n = -3*x - 81. Is n a multiple of 21?
True
Suppose 2*w = -w. Suppose -x + 43 - 4 = w. Is x a multiple of 13?
True
Let k be (2 - 2)/(-1*1). Suppose 2*s + 0*s - 88 = k. Let c = -23 + s. Is c a multiple of 8?
False
Let g = 10 - 16. Let f be -20*1/(-4)*g. Let i = 4 - f. Is i a multiple of 17?
True
Suppose 4*c - 6*c - 8 = 0. Let f be (-54)/(-8) + (-1)/c. Suppose -3*d + 4 = 3*o - 47, -f = -o + 4*d. Is 8 a factor of o?
False
Does 7 divide (-1752)/(-84) + (-2)/(-14)?
True
Is -1 + (30 - 0/(-3)) a multiple of 5?
False
Suppose -264 = -5*f - 4*n - 46, 0 = f + 3*n - 48. Does 22 divide f?
False
Let b(k) = -k**3 + 5*k**2 + 6*k + 8. Suppose -24 = -l - 3*l. Does 4 divide b(l)?
True
Let x(g) = -g. Let y(f) = 19*f. Let j(t) = 3*x(t) + y(t). Does 8 divide j(1)?
True
Let s = 190 + -282. Let v = -54 - s. Is 20 a factor of v?
False
Let j(l) = -l**3 + 2*l**2 + 4*l + 1. Let c be j(3). Suppose -5*q - b - c = 0, 3*q + 5 + 11 = -4*b. Suppose q = 3*v - 20 - 10. Is v a multiple of 5?
True
Let g(x) = 3*x**2 + 5*x - 8. Is g(6) a multiple of 13?
True
Let n(l) be the first derivative of -l**4/4 + 7*l**3/3 - 3*l**2 + 5*l + 3. Let g be n(6). Suppose g*k - 103 = -3*m, -m + 3*k = 3*m - 176. Is 15 a factor of m?
False
Suppose 0 = -x + 3*y + 11 + 2, 12 = 4*x - 2*y. Let w be (x - 0)/(1/18). Suppose 5*d - 77 = w. Is d a multiple of 19?
True
Let r(u) = 3*u**2 - 17*u - 6. Is r(9) a multiple of 12?
True
Let p be 1/(((-21)/12)/(-7)). Let n(i) = -60*i. Let k be n(-1). Suppose 0 = -p*q + k + 36. Is q a multiple of 12?
True
Let u = 5 + -2. Suppose u*r - 35 = 4. Is 6 a factor of r?
False
Let y(x) = 3*x - 9. Let k be y(7). Is 0 + 20 + k/4 a multiple of 23?
True
Let f(k) = k**2 - 5*k. Let i be f(4). Is 12 a factor of (-79)/i + 5/20?
False
Suppose -3*c - 3*z = -6, 4*c = 5*c - z - 8. Suppose -4*j - c = -5*j. Suppose 3*l = -j*w + 94, 0 = 5*w - 18 - 7. Does 9 divide l?
False
Suppose 4*u - 8*u = 2*a - 54, 5*a + u = 108. Is 7 a factor of a?
True
Suppose 15 = -3*j + m + 4*m, 4*m - 12 = 0. Let h = -3 + j. Let v(n) = 2*n**2 + 4*n. Is 6 a factor of v(h)?
True
Let a be 6/((15/(-4))/(-5)). Suppose -a = f - 42. Does 8 divide f?
False
Let q be -1*((-1)/1 - -1). Let o = q - -2. Suppose 0 = c + o*c - 42. Is c a multiple of 7?
True
Suppose 2*q - 2*f = 12, -14*q + 12*q + 4*f = -14. Is 2 a factor of q?
False
Let x(l) = l + 5. Let q be x(0). Suppose t = -5*i + 4*i + 16, 25 = -q*t. Suppose -v = 2*v - i. Is 4 a factor of v?
False
Let z(x) = 3*x**2. Let h be z(-1). Suppose q = -2 + h. Is 14 + 2 + -1 + q a multiple of 16?
True
Let u(t) = 7*t. Let g = -2 + 10. Let c(d) = -21*d. Let z(o) = g*u(o) + 3*c(o). Is z(-4) a multiple of 14?
True
Let f = 26 - 11. Suppose -q = 5*l - 0*q - 43, -f = -3*l + 3*q. Is l a multiple of 5?
False
Let l(d) = d**3 + 6*d**2 - 2*d - 8. Let n be l(-6). Suppose -4*v - 5*r = 26, -5*r + n*r = -5*v - 18. Let m(y) = y