x + h*c, -11 = -x + 2*c. Is x a multiple of 8?
False
Let x be 202/8 + (-2)/8. Suppose x - 3 = 2*p. Let h(z) = 6*z - 12. Is 18 a factor of h(p)?
True
Let o(q) = -q**2 - 5*q - 1. Let r be o(-5). Let m(g) = -g**2 - 2*g + 4. Let j be m(-3). Is 4 a factor of r*(j + 2*-5)?
False
Does 28 divide -2 - -1 - -1*63?
False
Suppose -3*f - 144 = -7*f. Let a = f + 36. Is 24 a factor of a?
True
Let z(m) = 2*m**3 - 2*m**2 - 5*m - 3. Is 18 a factor of z(5)?
False
Suppose w - 6*w - 30 = 0. Does 21 divide (-4)/w - (-374)/6?
True
Suppose 3*v = v + 6. Suppose v*u + 82 = 4*r, -2*u + 52 = 2*r + 2*u. Does 16 divide r?
False
Let l = -517 + 347. Let j = l - -253. Is j a multiple of 15?
False
Let s(z) = -z**2 - 10*z + 2. Let x be s(-10). Let a = 0 - 0. Suppose -4*h - x*u + 12 + 26 = a, -3*h = 5*u - 32. Is 4 a factor of h?
False
Suppose s = -2*w + 38, 0*w + 3*w - 36 = -s. Is 14 a factor of s?
True
Let u = -1 + 1. Suppose 5*x = -u*x + 35. Is x a multiple of 3?
False
Suppose 3*m = b - 12, 8*m - 4*m + 5*b = 3. Let c = 19 + m. Suppose 0 = 3*n - 56 - c. Is 11 a factor of n?
False
Let n = 780 + -462. Is n a multiple of 52?
False
Let f(x) = -62*x + 3. Let l be f(-1). Suppose 0*u = -5*u - 225. Let t = l + u. Is 17 a factor of t?
False
Let g(a) = -2*a**2 + 2*a + 2. Let d be g(3). Let v = 22 + d. Is v a multiple of 4?
True
Suppose -8*p = -7*p - 14. Does 3 divide p?
False
Let n(d) = d**3 - 6*d**2 + 4. Let c be n(6). Let z be 61/7 - c/(-14). Suppose -4*p = -z*p + 70. Is p a multiple of 6?
False
Suppose 0*v + 2*v = 0. Suppose -2*j + v*j + 24 = 0. Is 7 a factor of j?
False
Let f be 3 + -30 + 3 - -3. Let q = f - -35. Is 9 a factor of q?
False
Suppose 3*k = 6*k - 252. Is k a multiple of 12?
True
Suppose -108 = -3*c + 120. Is c a multiple of 38?
True
Let g(s) = -s**2 + 9*s - 4. Let a be ((-12)/(-14))/(3/21). Is 7 a factor of g(a)?
True
Let a(m) = 31*m**2 - 2*m + 1. Let r(u) = -94*u**2 + 5*u - 3. Suppose -3*v - 9 - 3 = 0. Let o(t) = v*r(t) - 11*a(t). Does 17 divide o(-1)?
True
Let p = -5 + 5. Suppose -3*o = -p*o + 12, 3*o = t - 35. Let g = -13 + t. Does 10 divide g?
True
Let c = 2 - 4. Is 3 a factor of (-2)/c + 1*8?
True
Suppose -3*n - 12 = 33. Let g = 43 + n. Is g a multiple of 22?
False
Let s be 5/(-10)*(0 - 8). Suppose -5*d = s*c - 70, -c = -d + 5*d - 23. Does 5 divide c?
True
Suppose -l - 3*t + 65 = -0*l, -3*t - 112 = -2*l. Does 7 divide l?
False
Let b = 1 + -1. Is 4 a factor of b + 10 + (1 - -2)?
False
Suppose -o - 60 = -3*o. Does 5 divide o?
True
Let o = 181 - 89. Does 22 divide o?
False
Let r(c) be the third derivative of 1/3*c**3 + 0 - 1/8*c**4 - 2*c**2 + 1/40*c**6 + 0*c - 1/30*c**5. Is r(2) a multiple of 12?
True
Suppose 4*j + 4*x + 96 = 0, 3*j = 4*x - 28 - 9. Let a(b) = b**3 - 7*b**2 + 2*b - 9. Let k be a(6). Let i = j - k. Does 7 divide i?
True
Suppose -17*g = -22*g + 275. Does 15 divide g?
False
Let c(n) = -n**2 + 5*n + 3. Let x be c(5). Let r be -1 + 3/(x/(-2)). Does 7 divide (-6)/9 - 53/r?
False
Let o(q) be the second derivative of q**4/6 - q**3/3 + 2*q**2 - 2*q. Let h be o(-3). Let t = -12 + h. Does 14 divide t?
False
Suppose -10 = -s + 3*j + 3, 15 = 5*s - 5*j. Let v(u) = -u**3 - u**2 - 2*u - 3. Let h be v(s). Suppose 0 = -0*p - h*p + 130. Does 13 divide p?
True
Let n be 0*(2 + 15/(-6)). Suppose n = -3*v + 8*v. Suppose -4*g + 28 + 32 = v. Does 12 divide g?
False
Is 10 a factor of 2/9 - 6286/(-63)?
True
Let n = 25 + 3. Does 18 divide n?
False
Is 14 a factor of -8*((-22)/4 - -2)?
True
Let r = -53 - -118. Does 13 divide r?
True
Suppose 0 = -4*p + 4 - 28. Does 13 divide -2 - p*33/6?
False
Suppose -5*i + 197 + 48 = 0. Is 4 a factor of (-52)/(-14) + 14/i?
True
Let d(m) = m**3 - 12*m**2 + m - 14. Let v be d(12). Is 24*((-4)/3 - v) a multiple of 16?
True
Let t(a) = -a - 5. Let i be t(-6). Let k = i - -4. Does 4 divide k?
False
Let v be 0 + (-4*1)/2. Let w = 7 + v. Is 3 a factor of w?
False
Suppose 0 = -l + 6 - 0. Let z = 27 - 9. Let v = z - l. Does 5 divide v?
False
Let n = 97 - -23. Is n a multiple of 14?
False
Suppose -5*z + 63 = -2*c - 68, z + 3*c - 33 = 0. Is z a multiple of 3?
True
Let o(c) be the second derivative of c**5/20 - 7*c**4/12 + 7*c**3/6 + c**2/2 - 2*c. Is o(7) a multiple of 19?
False
Suppose 2*i - 8 = 4*a + 18, a - 4*i = -17. Let u be ((-172)/a)/((-3)/(-15)). Does 12 divide (-2)/7 + u/14?
True
Suppose -v + 54 = -2*t, 216 = 2*v + 2*v - 2*t. Is 22 a factor of v?
False
Let g(f) = 5*f**2 + 2*f + 12. Does 14 divide g(-4)?
True
Let q(z) = -7*z + 1. Let f be q(-1). Suppose n = o - 7, f + 12 = 4*o - 2*n. Suppose -2*a - 17 = -o*a. Is 13 a factor of a?
False
Let s(q) = 2*q**3 - 6*q**2 - q - 5. Let v be s(5). Is (-1 - v/(-4))*2 a multiple of 15?
False
Suppose 2*g = u - 292, -u + 291 = 2*g - 3*g. Suppose 0 = 5*i - n - n - u, n = 5. Is i a multiple of 15?
True
Suppose -3*i - 2*i = -310. Let o = i - 24. Is 19 a factor of o?
True
Suppose -3*v + 1 = -5, 3*w - v = 88. Does 5 divide w?
True
Suppose -3*k = -9*k - 90. Let i = 36 + k. Does 21 divide i?
True
Let g(u) = 0*u**3 + 3*u**3 + 2*u**2 - 6*u**3. Let w be 1 - 2 - -3 - 4. Is 16 a factor of g(w)?
True
Suppose 0 = -4*u + 148 + 176. Let g = 115 - u. Does 17 divide g?
True
Suppose p = 119 + 29. Is p a multiple of 30?
False
Let h(q) be the second derivative of -q**5/20 + 5*q**4/12 - q**3/2 + 2*q**2 - 3*q. Let o be h(4). Let l = o + -5. Is 3 a factor of l?
True
Suppose i = 2*d + 3*d + 71, -5*i = -3*d - 289. Is 6 a factor of i?
False
Let f(o) = o**3 + 4*o**2 - 5*o + 4. Let j be f(-5). Suppose -6*r - s = -2*r - 72, j*r - 2*s - 72 = 0. Is 12 a factor of r?
False
Suppose 0 = -o + 5, -29 = -3*z + o + 68. Is z a multiple of 11?
False
Suppose f - 49 = -2*f - 4*r, 0 = -5*f + 3*r + 43. Let d = f + -1. Suppose -2*y + 4*u + d = -2, u = 2*y - 24. Is 7 a factor of y?
True
Suppose -4 = -7*i + 3*i, 3*i + 3 = j. Suppose j = a + 1. Suppose 0 = -w + a + 7. Is 8 a factor of w?
False
Is 6 a factor of (-333)/(-12) - 2/(-8)?
False
Is 4 a factor of (-66)/((-11)/3 - -3)?
False
Let i(v) = v**3 + 11*v**2 + 8*v - 3. Let g(z) = z**2 + z - 1. Let f(n) = -3*g(n) + i(n). Let p be f(-6). Suppose p = 3*h - 0*h. Is 7 a factor of h?
True
Suppose 3*b - 5*x - 48 = 0, 3*x - 10 = -4*b + 83. Suppose q + b = 52. Suppose d = q - 11. Does 10 divide d?
True
Suppose 120 = 12*q - 8*q. Is 6 a factor of q?
True
Let j(p) = 36*p. Let c be j(2). Suppose -5 = 5*u, 0*y - 3*u + c = 3*y. Is 13 a factor of y?
False
Suppose 4*j - 5*j = -3*n - 8, j - n = 4. Is j even?
True
Let r be 1 - 0 - (8 - 19). Is 771/r + 2/(-8) a multiple of 17?
False
Let y be (-315)/(-6) - 2/4. Suppose y = q - 3*k, 4*q + 0*k - 156 = -k. Suppose 7*c - 3*c - q = 0. Is 5 a factor of c?
True
Let w = -7 + 9. Suppose -w*r + 36 = 2*r. Is r a multiple of 9?
True
Suppose 3*o + 4*m - 100 = 0, -6*o - 3*m = -3*o - 99. Is 11 a factor of o?
False
Is 8 a factor of -1 - (-1 + (-48)/1)?
True
Is 5 a factor of (-5)/((-10)/(-8)) + 1 + 48?
True
Is 6 a factor of (2/(-4))/((-3)/150)?
False
Suppose 5*a = 0, 5*k = k - 3*a + 132. Does 6 divide k?
False
Let z = 2 + -3. Let g = -3 + z. Is (2/g)/((-2)/28) a multiple of 6?
False
Let i(y) = -y**2 - 11*y + 6. Is i(-10) a multiple of 16?
True
Suppose 26*i - 1575 = 17*i. Does 25 divide i?
True
Let j(u) = -u**2 + 15*u + 12. Is 3 a factor of j(14)?
False
Let r(s) = -3*s + 2. Let p(k) be the second derivative of 3*k**3/2 - 7*k**2/2 + k. Let h(n) = -6*p(n) - 17*r(n). Is 10 a factor of h(-6)?
False
Let u = 43 + -23. Suppose -o - u + 59 = 0. Does 7 divide o?
False
Does 11 divide ((-275)/(-20))/(1/8)?
True
Let d = 4 - 2. Let v be 20*d + 1/(-1). Let k = v - 13. Does 13 divide k?
True
Suppose -4*l + 15 = 7. Suppose l*n - 7 - 17 = 0. Does 4 divide n?
True
Let y be 8/36 - (-210)/27. Suppose 5*h + 0*h = 2*k + 176, 5*k = 5*h - 185. Suppose -3*d - j - 128 = -y*d, -d + h = -3*j. Does 9 divide d?
False
Suppose -j - 16 = -5*j. Suppose f = 2*v + 17, -4*v + f - 5*f - j = 0. Does 6 divide (-3 - -1)/(v/33)?
False
Let m be (-3)/(-3)*2 - -30. Suppose m - 116 = -4*h + 4*p, 3*p = -3. Suppose 6*t + h = 3*i + t, -2*t - 2 = 0. Is i a multiple of 5?
True
Let u be 0 + 3 + (-3 - -4). Suppose 156 = 4*i - u*m, 0 = 2*i - 4*m + 4 - 76. Does 14 divide i?
True
Let r(s) = s**2 - 3*s + 1. Let m be r(4). Let l = m + -3. Let c(t) = 4*t - 3. Is c(l) a multiple of 5?
True
Suppose 0 = 5*t + 25, 3*t - t = -5*x. Let v(r) = 3 - 2 - r**2 - r**x - 