 h = 17 - g. Is h a multiple of 7?
True
Let h(j) = -3*j**2 + 65*j - 10. Is 3 a factor of h(21)?
False
Suppose 158 + 14 = 2*i - 4*g, -12 = 3*g. Is i a multiple of 44?
False
Let l(f) = -f**3 - 7*f**2 - f - 3. Let u be l(-9). Suppose 10*z + u = 12*z. Is 28 a factor of z?
True
Is -6 + (49/(-7) - -412) a multiple of 7?
True
Suppose 0 = -16*l + 2216 + 2776. Is 24 a factor of l?
True
Let c = -63 - -55. Does 14 divide 56/(-12)*(c - (-1 - -2))?
True
Suppose -2*d = -5*k + k + 16, 0 = -2*k + 2*d + 6. Is (-3592)/(-20) - (-2)/k a multiple of 15?
True
Suppose q + 0*q - 5 = 0, -374 = -4*h - 2*q. Let c be 52/h - 328/(-14). Is (342/c)/((-3)/(-16)) a multiple of 16?
False
Is 3 a factor of (2/3)/((-1)/(-36))?
True
Let a(t) = t**3 + 7*t**2 + 5*t + 3. Is a(9) a multiple of 28?
True
Let q(r) = r**2 + 14*r + 2. Let l be q(-14). Suppose l*i - 3*c = 4*i - 20, 0 = 3*i + 4*c - 30. Is i a multiple of 3?
False
Let g be 2/12*-4*15. Let k be (6/8)/(g/(-120)). Let w = 24 - k. Is 4 a factor of w?
False
Let q = -619 - -1193. Is q a multiple of 82?
True
Let v = 5540 + -2912. Is 12 a factor of v?
True
Let t be (-1)/2 + 4/8. Suppose 0 = -3*u - t*u. Suppose 7*r - 2*r - 300 = u. Is 15 a factor of r?
True
Suppose -5*b - 5*n - 75 = 0, -3*b + 2*b + 2*n - 3 = 0. Let x = b - -49. Is 4 a factor of x?
False
Suppose 5*j + 5 = 5*u, -2*j - 4*u = -9 - 7. Let p be (0 - j)/(3/(-54)). Suppose -6*i + p = -3*i. Is i a multiple of 4?
True
Suppose -4512 = -3*s - 4*t, -4503 = 37*s - 40*s - t. Is 125 a factor of s?
True
Let v = -380 + 68. Let g = v - -536. Is g a multiple of 28?
True
Let n(s) = 17*s**3 + 3. Is n(2) even?
False
Suppose -5*z + 27 = -2*v, -3*z - v + 20 = -6*v. Suppose 25 = g - 0*g. Suppose z + g = 5*c. Is 5 a factor of c?
False
Suppose 615 = 4*i - 3*t, 44*t - 765 = -5*i + 47*t. Does 108 divide i?
False
Let c(r) = 49*r**3 + 12*r**2 - 34*r - 9. Is 40 a factor of c(3)?
True
Is 7 a factor of -3 - ((-8)/(-6) - 1336/3)?
True
Let g be (26/5)/((-28)/(-70)). Suppose 19 = z - g. Let k = z - 23. Is k a multiple of 3?
True
Suppose 254*x - 249*x - 975 = 0. Is x a multiple of 13?
True
Let o(t) be the first derivative of 13*t**2/2 - 35*t + 11. Let j be o(14). Let x = -84 + j. Is 9 a factor of x?
True
Let q(c) be the second derivative of c**4/12 - c**3/2 - 2*c**2 + 18*c. Is q(-4) a multiple of 11?
False
Let i = 12 - -18. Let c be (-3)/18 + 95/i. Suppose c*d - 34 = d. Is d a multiple of 16?
False
Let q = -166 + 288. Suppose -3*z + 2*h = -2*h - q, -4*z + 167 = -h. Suppose -192 + z = -2*d. Is 25 a factor of d?
True
Suppose -45*n - 786 = -48*n. Suppose n = 2*j + 46. Is j a multiple of 18?
True
Does 5 divide (-5 - 133/(-35))/(2/(-85))?
False
Let p(f) = 11*f + 15. Let m be p(4). Let o = m - -61. Is 24 a factor of o?
True
Let n be (1 + 300)*((-6)/(-21))/1. Let s = -57 + n. Does 26 divide s?
False
Let x = -2043 + 3464. Does 68 divide x?
False
Let n(q) be the second derivative of -5*q**4/24 + q**3/3 - q**2/2 - q. Let z(j) be the first derivative of n(j). Is z(-6) a multiple of 17?
False
Let u = -71 - -74. Suppose -6*j + u*j = -489. Is j a multiple of 17?
False
Suppose 7*b = -5 - 2. Let x be -1 - ((-232)/4 - -3). Is 2 a factor of (-13)/((-39)/x) + b?
False
Suppose -60 - 556 = -2*r. Is r a multiple of 8?
False
Suppose x + 2*x = 2*d - 663, 0 = 3*d + 2*x - 962. Is d a multiple of 12?
True
Suppose -3*f - 4*p - 437 = -3695, -p = 5*f - 5447. Does 10 divide f?
True
Suppose 6*f - 2*f = 60. Let w be -2 - 24/(-3)*3. Suppose i = -2*x + f, -w = -4*x + 5*i + 29. Is x even?
False
Let l be (4/(-10))/(3/(-15)). Let u be (-4)/(10/(-1 + -4)). Suppose u*p - j - 81 = 0, 3*j + 43 = -l*p + 3*p. Does 20 divide p?
True
Let i(b) = 1. Let h(s) = -s + 13. Let r(a) = 3*h(a) + 6*i(a). Is 22 a factor of r(-19)?
False
Is (-154)/(-3) - 68/(-102) a multiple of 12?
False
Let c = 32 + 318. Does 25 divide c?
True
Let i(m) = m**2 + 2*m. Let u(p) = 2*p. Let o(w) = -6*i(w) + 5*u(w). Let n be o(-2). Let d = -4 - n. Does 12 divide d?
False
Suppose 0*x - 4*x = -200. Let o = x + 114. Is 41 a factor of o?
True
Suppose 2*x - 4 = 4. Let q be (-6)/(-21) + (-122)/(-14). Suppose -q*t + 55 = -x*t. Does 11 divide t?
True
Let y = 53 - 46. Suppose -n + 53 = -5*v, -y*n + 231 = -3*n - v. Is n a multiple of 29?
True
Suppose 5*u = -5*s - 26 + 6, 10 = -5*u - 3*s. Let a be -1 - u/(-1) - -20. Is ((-105)/a)/(6/(-32)) a multiple of 17?
False
Let z = -6 - -8. Let o be (1 + -5 - z)/2. Does 3 divide 13 - (2 - 3 - o)?
False
Let j = 36 - 39. Is 1/(-1) - 93/j - 0 a multiple of 19?
False
Suppose -2*f - 4*h = -1778, 3*f - 2669 = -29*h + 25*h. Is 27 a factor of f?
True
Let n(f) = 3*f**2 + 23*f - 6. Let u be n(-8). Let m(a) = 19*a**2 + 2*a - 2. Is m(u) a multiple of 13?
True
Let s(r) = -r**3 - 5*r**2 + 2*r + 1. Let h be s(-3). Suppose -3*b - 27 = 3*y, 16*y + 2*b - 22 = 19*y. Let a = y - h. Is a a multiple of 15?
True
Let b(m) = -7*m + 112. Let x be b(16). Let o be (-4)/(-10) + 2/(-5). Suppose 4*d + x*d - 20 = o. Is 5 a factor of d?
True
Suppose 2*h + 2*j = 32, 2*h = -h - 2*j + 47. Let y(q) = q**3 - 14*q**2 - 14*q + 20. Does 15 divide y(h)?
False
Let g(y) = -66*y**3 - y**2 - 2*y - 1. Let n be g(-1). Let t = n + -8. Suppose -5*h = -4*f - 214, 5*f - 63 = -3*h + t. Is h a multiple of 9?
False
Suppose -12 = -2*w - 4*q, 3*w + 2*q - 18 = -2*q. Suppose w*o + j - 129 = 2*o, -2*o + 3*j = -47. Let x = -2 + o. Does 5 divide x?
False
Suppose 6*w = 2375 - 2405. Let k(b) be the first derivative of -5*b**2 - 11*b - 1. Is k(w) a multiple of 11?
False
Suppose -2*r + 16 = -34. Suppose -3*t - f = -43, 6*f + 25 = 2*t + 3*f. Suppose 3*s = r + t. Does 11 divide s?
False
Let o be 16/(-4) - -1 - 11. Let x be (-4)/o - (-6062)/49. Is 3*x/12*1 a multiple of 8?
False
Suppose 2*q - 4*r - 44 = -0*q, 4*q = 2*r + 82. Suppose 2*h = -3*h + q. Suppose -2 = -y - 5*s, -52 = -h*y - s + 3*s. Is 4 a factor of y?
True
Suppose 0 = -10*q + 8*q + 10. Suppose 249 + 231 = q*h. Is h a multiple of 12?
True
Suppose -7*z = 28*z - 49315. Is z a multiple of 35?
False
Let g = 759 - 251. Let o = 872 - g. Is 52 a factor of o?
True
Let x(z) = 798*z + 343. Let l(j) = -21*j - 9. Let h(f) = -77*l(f) - 2*x(f). Is h(3) a multiple of 31?
False
Suppose 8 + 0 = -4*p. Let u(y) = -12*y**3 - 2*y**2 + 1. Let m be u(p). Suppose -170 = -5*q - 5*n, 5*q = -4*n + 264 - m. Does 10 divide q?
False
Let a(i) = 18*i - 4. Let s(r) = r**2 - 4*r - 3. Let j be s(5). Let z be a(j). Suppose -3*k = -5*n + 75, -7*k - z = -n - 3*k. Is 6 a factor of n?
True
Is 55 a factor of (-60)/18*(2 + 122/(-4))?
False
Suppose j + 2 - 153 = 2*h, -4*j - h = -640. Is j a multiple of 32?
False
Let v(b) = b + 15. Let q be v(-13). Suppose -2*h = q*k, 0 = h + 4*h - 3*k - 40. Suppose -h*p + 123 = 8. Is 9 a factor of p?
False
Suppose -1141 = 2*o - 5*o + 4*l, -o - l + 392 = 0. Does 39 divide o?
False
Suppose -r = 2*r + 4*s, 0 = 4*r + 4*s. Suppose 2*k - 2*q = -3*k + 5, 3*k + 4*q - 29 = r. Suppose -3*i + 0 = p - 14, 2*p = k*i + 19. Is 11 a factor of p?
True
Let c = -22 + 25. Suppose -2*a + 3*a = o + 2, c*o - 26 = -5*a. Suppose g - 2*g - o*p = -35, 0 = -4*p. Is 16 a factor of g?
False
Suppose 5*y - 2070 = -11*v + 6*v, -5*y - v + 2086 = 0. Is y a multiple of 38?
True
Let y(h) = -h**2 - 16*h + 3. Let q be y(-16). Suppose -2*m - 3*w + 12 = w, 48 = q*m - 4*w. Is m a multiple of 6?
True
Let s(d) = 2*d**2 + 11*d. Is s(1) even?
False
Suppose -31 = -19*t - 126. Suppose 9*c - 4*c = -300. Let b = t - c. Does 11 divide b?
True
Suppose -179 = -3*t + 307. Is t a multiple of 19?
False
Suppose 22*i = 10552 + 1944. Is 71 a factor of i?
True
Is ((-23)/4)/(5/(-20)) a multiple of 23?
True
Suppose 0 = -3*n - c + 1129, 2*n - 758 = 27*c - 29*c. Does 15 divide n?
True
Let q be -42 - (-2)/(1 - 0). Let b = 115 + -112. Is 15 a factor of (-7 - -4)*q/b?
False
Let m(a) = -56*a**3 - 2*a + 1 - 23*a**2 + 22*a**2 - 3. Does 11 divide m(-1)?
True
Let l = -16 - 8. Suppose -23 = -9*y - 95. Let s = y - l. Does 9 divide s?
False
Let p(f) be the first derivative of 10*f**2 + 4*f + 1. Is 31 a factor of p(6)?
True
Let v = 3 - -28. Is 37 a factor of (-33 + v)/((-2)/98)?
False
Let w(a) = 3*a**3 - 2*a**2 + 3*a - 2. Let t = -29 - -32. Is 14 a factor of w(t)?
True
Does 79 divide (-730 - 0)/(352/(-33) - -10)?
False
Suppose -104 = 8*l - 9*l. Suppose -32 = 6*j - l. Is j a multiple of 6?
True
Is 9 a factor of (-736)/(-69)*(-57)/(-4)?
False
I