de i(h)?
True
Let b(t) = t + 7. Let j be b(-3). Let q be (j/3)/(4/6). Suppose 5*a - 5*h = 165, 5*h = q*a - 3*a + 3. Is a a multiple of 28?
True
Let x(n) = n + 12. Let b be x(-9). Let q = 12 - b. Is q a multiple of 9?
True
Let b = -21 - -14. Let o = b + 11. Suppose -2*g - o*z = -72, 2*z - 12 = -2*g + 60. Is 21 a factor of g?
False
Let s(x) = -x**2 + 16*x + 10. Is 12 a factor of s(13)?
False
Let s = -6 + 3. Let y(z) = -3*z - 2. Let t be y(2). Let q = s - t. Is q a multiple of 5?
True
Let j(t) = -t**2 + 5*t - 2. Let z be j(2). Let y(n) = -11*n + 10. Let b be y(-6). Suppose -z*u - 24 = -b. Does 13 divide u?
True
Suppose 5*a + 0 = 170. Is a a multiple of 17?
True
Suppose 58 = 2*r + 5*c, -2*c = -2*r + 58 - 0. Let q(x) = 2*x + 2. Let y be q(-8). Let o = r + y. Is 5 a factor of o?
True
Suppose -6*x + 9*x = -3. Let q = 1 - x. Suppose 0 = -u + q*u - 22. Does 18 divide u?
False
Let t(x) = -69*x. Let l be 0 + -2 - (5 + -5). Let y be t(l). Is y/18 + 1/3 a multiple of 8?
True
Let c be ((-2)/(-2) + -1)/(-2). Let v(o) = o + 38. Let i be v(c). Suppose 5*a - i = 82. Is 12 a factor of a?
True
Suppose 0 = -3*z + w + 242 - 6, 5*z - 382 = -4*w. Is 8 a factor of z?
False
Let p(d) be the second derivative of -d**5/20 - d**3/3 - d**2 - 6*d. Let y(x) = 2*x + 6. Let a be y(-4). Does 8 divide p(a)?
False
Suppose 3*l - 90 = -0*l. Is l a multiple of 10?
True
Suppose 48*r = 46*r + 82. Does 24 divide r?
False
Is 13 a factor of ((-936)/60)/(6/(-20))?
True
Let d(m) = -m**3 - 6*m**2 + m + 3. Let p(s) = 6*s + 9. Let v be p(7). Let z be v/(-7) + (-2)/(-7). Is 15 a factor of d(z)?
True
Let d(x) be the first derivative of -3*x**2 + 7/3*x**3 - 1 + 8*x - 1/4*x**4. Does 4 divide d(6)?
True
Let y = 25 + -21. Is y a multiple of 4?
True
Suppose -125 = -2*o - 2*z + 9, 0 = -3*z + 12. Does 25 divide o?
False
Let w(j) be the first derivative of 3*j**2 + 2*j + 5. Is w(4) a multiple of 13?
True
Let a be (45/12)/((-4)/(-192)). Suppose -6*w + a = -w + 3*p, -72 = -2*w - 2*p. Is w a multiple of 12?
True
Let p(g) = -3*g + 1. Let i be p(-1). Suppose -i*n + 2*d + d = -29, 3*d - 11 = -4*n. Does 5 divide n/1 - (2 - 2)?
True
Let t be (-2)/10 - 144/30. Let p be t*((-42)/10 - -3). Let r = p + 2. Does 4 divide r?
True
Suppose 3*z + 48 = 3*r - 102, 5*z = 2*r - 100. Suppose 18 + r = 2*k. Does 16 divide k?
False
Suppose -21*p + 11*p = -1300. Is 13 a factor of p?
True
Suppose -2008 = -9*o - 712. Does 8 divide o?
True
Suppose j + 5*h + 7 = 0, 0 = 4*h - 0 + 4. Let w be 1/((j + 1)/1). Is 5 a factor of 3*((-8)/(-3) + w)?
True
Let n be 5*(1 + 102/(-10)). Let p = 88 + n. Is 14 a factor of p?
True
Suppose 0 = -4*b + 141 + 591. Is b a multiple of 22?
False
Let v = 50 - 17. Suppose 0 = -3*a + 3*i + v, -2*a - 3*i + 3 = -29. Does 13 divide a?
True
Let q(f) = f. Let z be q(3). Suppose -z*g + 0 = -90. Is g a multiple of 8?
False
Suppose 0 = f + 10 - 78. Suppose 5*q = 3*q + f. Is 17 a factor of q?
True
Suppose -10 = -2*p + 12. Let q(y) = y**2 + 3*y + 1. Let i be q(-4). Suppose i*c + 4*z - 70 = 0, 2*c = -4*z - z + p. Is 5 a factor of c?
False
Suppose 0 = z - 15 - 90. Suppose 0*l + 145 = 4*l - 5*j, 3*l - 3*j - z = 0. Is 22 a factor of l?
False
Let o = -36 + 13. Let p = o + 42. Is 5 a factor of p?
False
Let d(x) = 6*x**2 + 4*x + 2. Let b be d(-2). Suppose 3*r = 15 - 0. Suppose 32 = r*v - b. Is 4 a factor of v?
False
Let z = -3 - -6. Suppose 2*b + 9 = f - b, -3*f + 3 = z*b. Is 3 a factor of f?
True
Let s = 10 + -6. Let d(n) = n**3 - 4*n**2 + 5*n - 4. Is d(s) a multiple of 16?
True
Suppose 3*t + 5*x - 49 - 84 = 0, 4*t - 154 = -2*x. Let z(s) = -s + 8. Let o be z(8). Suppose -3*f - 2*r + 44 = -2*f, f - 2*r - t = o. Is 15 a factor of f?
False
Let g(m) = -2*m**2 - 15*m + 1. Let z(a) = 3*a**2 + 22*a - 2. Let q(h) = -7*g(h) - 5*z(h). Does 5 divide q(-4)?
False
Suppose 0 = 2*a - 0*a - 92. Suppose 2*y = -z + 22, -z + 2*y + a = -2*y. Is z a multiple of 11?
False
Let n be 3 + (-2)/(-6)*0. Suppose -n*d + 0*d = -102. Suppose -d = 4*r - 6*r. Is r a multiple of 8?
False
Let t(x) = 8*x - 3. Is 12 a factor of t(6)?
False
Let w be (-12)/8*4/(-6). Let i(p) = -146*p**3 - 5*p**2 - p - 5. Let t(q) = -29*q**3 - q**2 - 1. Let n(a) = 2*i(a) - 11*t(a). Is n(w) a multiple of 10?
False
Let a(v) = 3 + 2*v**3 - 3*v**3 + 7*v**2 - 3*v**2. Let w(l) = l**2 - l + 4. Let f be w(0). Is 2 a factor of a(f)?
False
Suppose 0 = 4*q - 16. Let l be -1 - q - 3/3. Let n(r) = -r**3 - 7*r**2 - 7*r - 4. Is n(l) even?
True
Let m(q) = 2*q**2 - 7*q - 5. Suppose -4 + 25 = 3*y. Is m(y) a multiple of 12?
False
Let x = 5 - 4. Let l be x - -1*(2 + -3). Is 11 + 0 + l + 0 a multiple of 6?
False
Let x = 12 + 13. Suppose -g = 4*g - x. Suppose 0 = g*s + 4*o - 24 - 12, -2*s + 20 = 3*o. Does 4 divide s?
True
Let o = 44 - -31. Is 15 a factor of o?
True
Is 4 - (-1 + 0 + -29) a multiple of 6?
False
Is 10 a factor of (102/85)/((-6)/(-200))?
True
Suppose 2*y - 5 = -3. Let f be 1158/4 - y/(-2). Suppose -3*n = 2*n - f. Does 22 divide n?
False
Let j(k) = 5*k**3 + 2*k**2 - k - 4. Let g be j(3). Suppose 3*l - g = -5*t + t, 2*t + 74 = 2*l. Is l a multiple of 21?
True
Let g(z) = 10*z - 3. Suppose 3*k + 15 = 30. Does 13 divide g(k)?
False
Let a(b) = -8*b**3 + 6*b**2 - 7*b - 1. Let p(g) = 9*g**3 - 5*g**2 + 6*g + 1. Let u(i) = -5*a(i) - 6*p(i). Does 4 divide u(-1)?
False
Suppose 0*t = -p - 5*t - 3, 6 = -2*t. Does 12 divide p?
True
Suppose x = 16 + 45. Is x a multiple of 35?
False
Suppose 2*u - 5*u = -12, 2*y - 6 = -u. Let z be 1 + (22/y)/2. Suppose 2*j = z + 48. Is j a multiple of 18?
False
Suppose 0 = -2*k - 10*k + 204. Does 17 divide k?
True
Let p = 181 + -90. Is p a multiple of 7?
True
Suppose -u - 4 = -3*u - 3*j, -u + 7 = -j. Suppose 0 = u*r - 3*r - 72. Does 26 divide r?
False
Let g be (-20)/9 - 6/(-27). Let f be (-2 - g) + 1*33. Suppose -2*l - 4*m + 13 = -f, l - 2*m = 39. Does 18 divide l?
False
Let o(v) = 2*v - 6. Let q be o(4). Is q/3*(-351)/(-6) a multiple of 14?
False
Suppose -2*o = -3*o - 9. Let i be (3 - 1)*o/(-6). Suppose -5*q + 90 = 5*x, -i*x + 42 = 2*q + 2*x. Does 16 divide q?
True
Does 14 divide (-2748)/(-28) - (-5)/(-35)?
True
Suppose i + 4*i - 380 = 0. Suppose a - 3*a + i = 0. Is 11 a factor of a?
False
Let d(t) = t**3 - 4*t**2 - 3. Is d(7) a multiple of 18?
True
Let m = 50 + -46. Is 4 a factor of m?
True
Let y = 138 - 94. Is 22 a factor of y?
True
Suppose 10 = y - 70. Is y a multiple of 20?
True
Suppose -4*g - 186 = -3*i - 1109, -2*g + 5*i = -451. Is g a multiple of 24?
False
Let c be 50*3/(-6)*2. Let o = c + 117. Is 19 a factor of o?
False
Let u(a) = 2*a**2 - 10*a - 2. Let k be u(7). Suppose 6 = -5*r + k. Does 4 divide r?
True
Let p(u) = -u**2 - u - 2. Let h be p(-3). Let m(b) = b + 11. Let k be m(h). Suppose 0 = 4*n - 4*r - 108, -93 = -k*n - 4*r - 12. Is 18 a factor of n?
False
Suppose 3*i = 17 + 19. Is i a multiple of 6?
True
Let k = 6 - 13. Let u = k - -23. Is 6 a factor of u?
False
Suppose -c + 2*k = 7*k - 15, 5*c - k = 205. Suppose -4*j - j = -c. Is 4 a factor of j?
True
Let c = 2 + 0. Suppose c*o - t = 4*o - 2, -4*t + 8 = 5*o. Suppose -4*y + 30 + 18 = o. Does 6 divide y?
True
Suppose p = -0*p. Suppose -d = 3*n - 43, 4*d - 9*d - 2*n + 176 = p. Is d a multiple of 17?
True
Is (-37)/(3 - (-21)/(-6)) a multiple of 14?
False
Let w = 214 + -120. Suppose -5*p + w - 9 = 0. Does 17 divide p?
True
Suppose 8 - 4 = 2*k. Is 12 a factor of (-215)/(-10) + 1/k?
False
Suppose i + 4*p = -2*i + 25, 4*i - 4*p + 4 = 0. Suppose -3*u = 3*q + 24, -5 + 17 = -i*u + 3*q. Is ((-4)/u)/((-10)/(-45)) even?
False
Suppose -2*y = -245 - 101. Is y a multiple of 39?
False
Suppose -2 = -2*k + 2, 0 = -5*n - 3*k + 27801. Suppose n = 5*p - 3*m, -5*m = 5*p - 2*m - 5571. Does 11 divide (-4)/(-14) - p/(-49)?
False
Let m(x) = x. Let u be m(2). Suppose -8 = -2*w + u*k, -2*w = -0*k + 3*k - 18. Does 3 divide w?
True
Let t = 348 - 207. Is 24 a factor of t?
False
Is (8 + -7)/((-2)/(-42)) a multiple of 21?
True
Let f(i) = -i. Let x(u) = 32*u - 1. Let n(z) = 4*f(z) - x(z). Does 20 divide n(-1)?
False
Suppose 6 = -3*c + 2*c. Let o be 3/(-18) + (-19)/c. Suppose -z + 13 - o = 0. Is 10 a factor of z?
True
Suppose -q = 3 - 7. Suppose q*m - 17 = 163. Does 11 divide m?
False
Suppose -4*t - 7 = -3*t. Let j = 25 + -47. Let y = t - j. Is 13 a factor of y?
False
Let h(y) = 6*y + 13. Is h(14) a multiple of 28?
False
Let f(h) = h**2 + 12*h