20 - -33. Let h be (-1)/(-2)*(b + -1). Is 1/(1/h) - -2 a multiple of 4?
True
Let a be 5*35 + 3 + -6. Suppose -6*u + 7*u - a = 0. Does 19 divide u?
False
Let r(b) be the third derivative of b**5/60 + 7*b**4/24 - 2*b**3/3 + 2*b**2. Let j be (17 + -5)/((-3)/2). Is 3 a factor of r(j)?
False
Does 16 divide ((-342)/30)/19 + 3043/5?
True
Let k(n) = n**3 - 15*n**2 + 42*n - 2. Is k(12) a multiple of 35?
True
Suppose 385 = 4*w - 263. Is w a multiple of 27?
True
Let u(a) be the third derivative of a**5/60 + 7*a**4/24 + 5*a**3/2 + 5*a**2. Is u(-12) a multiple of 25?
True
Let x(b) = 3*b**2 - 11*b + 20. Let h(d) = -d**3 - 3*d**2 + 8*d - 3. Let k be h(-5). Does 45 divide x(k)?
True
Suppose 0 = -z + 2 + 6. Suppose z*a = 3*a. Suppose -4*g + g + 87 = a. Is 14 a factor of g?
False
Let y(u) = -118*u + 451. Is 21 a factor of y(-11)?
False
Let l = 5926 - 3880. Is l a multiple of 59?
False
Let w be 6*149/(-2) - 2. Let b = -316 - w. Suppose 0 = a + 5*t - 26, -2*a + 3*t + b - 16 = 0. Is 15 a factor of a?
False
Let l be (-5)/25 + 21/5. Suppose -p = 4*u + 5, 2*p - 4*p + l*u = -26. Is p even?
False
Let q = -1 - -1. Suppose q = -2*r + 4*k + 332, -4*r + 646 = 2*k - 4*k. Is r a multiple of 10?
True
Let z(u) = 5*u**3 + 5*u**2 + 3*u - 5. Let p(i) = -14*i**3 - 14*i**2 - 9*i + 14. Let n(x) = -6*p(x) - 17*z(x). Let r be n(-2). Is r*-6*(1 + 0) a multiple of 4?
False
Is (22/(-2))/(-3 - 592/(-200)) a multiple of 55?
True
Let m(i) = 6*i**2 - i. Let a be m(1). Let d(s) = -11*s - 88. Let z be d(-9). Suppose z = b + 3*c, -b + 0*b + a*c + 27 = 0. Does 7 divide b?
False
Suppose -5*o + 445 = 5*z, -o - 2*z - 158 = -3*o. Is 14 a factor of o?
True
Let h(t) = -t**3 + 37*t**2 + 115*t - 86. Is h(39) a multiple of 14?
False
Suppose -2*f - 56 = -140. Let t = f - 2. Is t a multiple of 35?
False
Let j(n) = 3*n**3 - n**2 - n. Let b be (-5 - -6)/((-2)/(-4)). Let i be (-6)/b*1/(-1). Is j(i) a multiple of 23?
True
Let o = -200 + 111. Let z = -51 - o. Suppose -2*b + 3*b = z. Is 19 a factor of b?
True
Suppose -11*z = -891 + 473. Is z a multiple of 6?
False
Suppose -1565 = -5*n + 525. Let b = 122 - n. Is 15 a factor of (-16)/(-40) + b/(-10)?
True
Suppose -16*x - 6265 = -16937. Does 48 divide x?
False
Suppose 0 = 20*b - 18*b - 102. Suppose 222 = 3*n - b. Is 46 a factor of n?
False
Suppose 5*l + 1 = 6, -5*j - 4*l = -4. Suppose j*p - 15 = -p. Does 3 divide p?
True
Let z = 178 + -121. Suppose w + 31 = z. Does 13 divide w?
True
Suppose 0 = -13*t + 31803 - 1578. Does 21 divide t?
False
Let u(r) = r**3 + 11*r**2 + 9*r + 9. Let z(o) = -o**3 + 11*o**2. Let x be z(11). Suppose 0 = -4*b + 2*d - 30, 5*d = -b - x*b - 24. Is u(b) a multiple of 30?
True
Let s(o) = o**3 + 6*o**2 - 4*o - 2. Let a(j) = -4*j**3 + j**2 + j. Let x be a(-1). Suppose x = -2*c + c. Does 16 divide s(c)?
False
Let p = 168 - 119. Is p a multiple of 49?
True
Let s = -26 + 35. Suppose 2*i - 8 = -4*b, -2*i + 0*i + 3*b + 1 = 0. Suppose -3 = k, i*u + 7*k = 2*k + s. Does 12 divide u?
True
Suppose 12*h - 7942 = -10*h. Does 45 divide h?
False
Let g(l) = l**3 - 4*l**2 - 16*l - 19. Let w be g(8). Let t = 235 - w. Does 21 divide t?
True
Suppose -4*k - 4*a = k - 143, -2*k - 4*a = -62. Let n = -24 + k. Does 3 divide n?
True
Let k be (-23)/(-3) - 5/(-15). Suppose -2*s = -k*s + 126. Is s a multiple of 8?
False
Let w(o) = 24*o**2 + 4*o + 47. Is 57 a factor of w(-5)?
True
Suppose -3 = -z - 7. Let p be (5 - 1)/z*-11. Let f = 40 + p. Is f a multiple of 16?
False
Let v(b) be the third derivative of b**4/8 + 5*b**3/6 - 4*b**2. Is v(5) a multiple of 18?
False
Suppose -5*x + 22 = 7. Is 19 a factor of -131*(9/x + (-12)/3)?
False
Let u = -15 - -40. Let i = 27 - u. Let z(g) = g**3 + g**2 - 2*g. Does 4 divide z(i)?
True
Suppose -3*j - 4 + 16 = 0. Suppose -k + 2*x = -2*x - 184, -j*x - 724 = -4*k. Suppose -k = 4*u - 6*u. Is u a multiple of 24?
False
Let g(i) = 71*i**2 + 6 - 6*i**2 - 8. Is 27 a factor of g(-1)?
False
Let h(i) = -365 + 188 + i**2 - 2*i + 188. Suppose -3*o + 8 = -19. Is h(o) a multiple of 15?
False
Let i(u) = -u**2 + 20*u + 40. Let w be i(22). Let m(b) = -14*b + 2. Is 10 a factor of m(w)?
False
Suppose -4*t = 713 - 173. Let z = 243 + t. Suppose -4*j = -m + 36, z = 3*m + j - 2*j. Does 18 divide m?
True
Suppose -3*a - a + 8 = 0. Suppose a*k + 4*j - 200 = 0, 3*j = 5*k + 4*j - 500. Suppose -2*p + k = -t - t, -5*t = 2*p - 86. Is p a multiple of 12?
True
Let d = 576 - 448. Is 16 a factor of d?
True
Let f(p) = 14*p. Let v be f(-18). Does 18 divide (-14)/(v/(-27))*-28*6?
True
Suppose -4*g + 84 = -2*g. Suppose 5*f - 48 = g. Let y = f - -7. Is 15 a factor of y?
False
Suppose 2*a = 3*n - 4991, -3168 - 160 = -2*n + a. Is n a multiple of 50?
False
Let f = -430 + 502. Is f a multiple of 9?
True
Is 468 + (-8)/(-44) + 385/(-121) a multiple of 9?
False
Suppose -57*y + 2331 = -36*y. Is y a multiple of 11?
False
Suppose 17*v - 2*n = 18*v - 1052, -v - 3*n + 1053 = 0. Is v a multiple of 30?
True
Let i(d) = d. Let z be i(3). Suppose -g + 52 = 5*b - 5*g, -z*b + 4*g = -28. Is b a multiple of 12?
True
Let m(a) = -a**3 - 3*a**2 + 9*a + 10. Let b be m(-5). Suppose i - 3 = 0, -2*u - b = 5*i - 72. Is u a multiple of 21?
True
Let d be (3/(-2))/((-6)/156). Suppose -x + 42 = -d. Does 35 divide x?
False
Let r(j) = 4*j**3 - j**2 - j - 1. Let z be r(3). Suppose 5*l - 255 = z. Does 15 divide l?
False
Suppose 5*x + 4*k - 18 = 0, k + 10 = 5*x + 2. Let z(r) = -1 + 87*r**x + 16*r**2 - r - 2*r**2. Is 27 a factor of z(-1)?
False
Suppose -6*l - 1158 = -126. Let f = -52 - l. Is f a multiple of 14?
False
Let l = 833 + -527. Is 17 a factor of l?
True
Let i(l) = l**2 + 11*l + 13. Let v = 56 + -16. Suppose -2*q - 5*j + 3 = 15, -4*q = 2*j + v. Is i(q) a multiple of 4?
False
Let g(o) = -o**3 + 10*o**2 + 10*o + 9. Let z be g(11). Let t be (z + 4)/(2/11). Suppose 5*i - 295 = n + t, -5*n + 82 = i. Is 31 a factor of i?
True
Let b(a) = -a**3 + 8*a**2 - 8*a + 3. Let k be b(7). Let u(d) = d + 1. Let m be u(k). Does 18 divide 658/12 - m/18?
False
Suppose -3*n = -8*n - 3*x + 99, -5*n + 5*x + 75 = 0. Suppose 0 = -n*v + 17*v + 60. Is v a multiple of 10?
True
Let m = -34 + 36. Is 31 a factor of m/((32/(-228))/(-4))?
False
Let k(w) = w + 11. Let g be k(-11). Let v(o) = 3 - 3 - 5 - 5*o + g. Is 6 a factor of v(-4)?
False
Let r(f) = -185*f + 8. Is 6 a factor of r(-2)?
True
Suppose 5*i - 105 = -3*f, -5*f = i + 5 - 48. Is ((-6)/i)/(2/(-882)) a multiple of 21?
True
Let h(j) = 17 + 8*j - 4*j - 6*j. Is 5 a factor of h(6)?
True
Let w(r) = 17*r + 11*r**2 - r**3 + 3 - 8 - 12. Let y(b) = -20*b - 8. Let x be y(-1). Is w(x) a multiple of 16?
False
Let s(f) = -18*f + 10. Let c(j) = -j - 1. Let p(d) = -3*c(d) - s(d). Does 35 divide p(7)?
True
Let s(k) = k**3 + 6*k**2 - 7*k + 10. Let i be s(-7). Let d = i - 10. Suppose d = -2*o + o + 25. Does 17 divide o?
False
Let r(t) = -t. Let h(p) = -p**2 - 13*p + 3. Let i(s) = -h(s) + 4*r(s). Let f be i(-9). Is (-136)/(-6)*(0 - f) a multiple of 17?
True
Let r(l) = 2*l**3 - 10*l**2 - 11. Is 49 a factor of r(9)?
True
Suppose 59 = 4*d + 3. Suppose 0 = 4*x - o - 37, 0 = 2*x + 4*o - d. Suppose x*s - 215 = 4*s. Is s a multiple of 10?
False
Suppose -2*k - p = 3*p + 12, 4*k = 4*p + 36. Suppose k*b = 3*b - 5*o + 10, 4*b + o - 2 = 0. Is b + -1 + -2 - -44 a multiple of 12?
False
Let p = -17 - -32. Let b(w) = w**3 + 4*w**2 + 7*w + 4. Let z be b(-3). Let k = z + p. Is k a multiple of 7?
True
Let b(j) = 2*j**2 + 9. Let d(t) = t**3 - 7*t**2 + 6. Let l = -6 + 13. Let v be d(l). Is b(v) a multiple of 23?
False
Does 2 divide (-32)/(-2*1/4*4)?
True
Suppose -6*c - c + 455 = 0. Let y(p) = 2*p**3 - p**2 + 2*p + 4. Let b be y(3). Suppose -c = -3*z + b. Is 13 a factor of z?
False
Does 16 divide 4/40 - 27445/(-50)?
False
Let r = 234 - -99. Is 20 a factor of r?
False
Let w(g) = -21*g + 3. Let s(f) = -63*f + 13. Let v(u) = -42*u + 9. Let r(c) = -5*s(c) + 7*v(c). Let h(p) = 3*r(p) + 2*w(p). Is 12 a factor of h(2)?
False
Suppose -4*c - 4 = -12. Suppose -6 = -c*v - v. Suppose 4*j - 91 = v*t - 3, -3*t = 3*j - 84. Does 12 divide j?
True
Let h(r) = 10*r - 9. Let t = -9 + 12. Suppose 3*p - 39 = -5*f, -4*p = -f - p - t. Does 17 divide h(f)?
True
Is 1*58 + (-1088)/136 even?
True
Suppose -l = 3*l + j - 1429, 5 = 5*j. Is 33 a factor of l?
False
Let z(w) = -2*w**3 - 19*w**2 - 5*w + 55. Is 3 a factor of z(-12)?
False
Suppose -107 = 2*v +