h) a multiple of 9?
True
Let d(r) = 5*r + 12. Let m be d(-7). Let g = 7 - 4. Let i = g - m. Is 13 a factor of i?
True
Let r(p) = -6*p + 68. Let y be r(25). Let t = 119 + y. Does 6 divide t?
False
Suppose d = 4*d - 51. Let r = d - 30. Let m = r + 40. Is m a multiple of 7?
False
Let i = 1420 - 945. Does 24 divide i?
False
Let x = -65 - -111. Suppose -3*y + 0*v + 57 = -2*v, -2*y + 4*v + x = 0. Does 17 divide y?
True
Suppose -22*h + 216 = -20*h. Does 18 divide h?
True
Suppose -2*k = -2*t - 624, -6*k = -2*k + 4*t - 1248. Is 13 a factor of k?
True
Let u(q) = 5*q - 7 - 4 + 4 - 7. Does 22 divide u(16)?
True
Let t be 3/(27/3) - (-622)/6. Does 16 divide 12*(-2 - t/(-12))?
True
Let i(u) = u - 5. Let q be i(7). Suppose 0 = q*b, -3*b - 36 = -6*d + 2*d. Does 9 divide d?
True
Let j(w) = -2*w + 140. Is 11 a factor of j(15)?
True
Let j be 4/18 - 989/(-207). Suppose -w = -0 - 1, -4*v = j*w - 929. Is v a multiple of 21?
True
Suppose -2*y + 5*z + 231 = 0, 173 = 3*y - z - 180. Let g(o) = 19*o + 35. Let d be g(8). Let r = d - y. Does 18 divide r?
False
Suppose -2358*t - 6696 = -2364*t. Is 32 a factor of t?
False
Does 6 divide 10*9/12*(-144)/(-15)?
True
Let a(k) = k + 4. Let r be a(7). Suppose 16 = -q + 4*n, 5*q - n + 3 = -1. Suppose 3*x + 2 = 4*o, r = x - q*o + o. Does 6 divide x?
True
Let q(s) be the second derivative of 7*s**6/40 - s**5/30 + s**3/6 + s**2/2 - 4*s. Let a(j) be the first derivative of q(j). Is a(1) a multiple of 15?
False
Let u(i) = -i**2 + 2*i - 1. Let x be u(2). Let o(l) = 97*l**2 - 1. Let a be o(x). Suppose 4*s = -4*h + a, -s - h = -3*s + 54. Is 15 a factor of s?
False
Suppose -4*l = 139 - 811. Is l a multiple of 8?
True
Let z = 84 + 41. Is 5 a factor of z?
True
Is ((-1)/(-2)*-33 + 6)*-60 a multiple of 42?
True
Suppose -1088 = 2*o - 3784. Is 17 a factor of o?
False
Suppose 12672 = -182*c + 191*c. Is 22 a factor of c?
True
Let x(r) = 6*r**3 + 2*r**2 - 4*r + 3. Let g = -33 - -10. Let o = -21 - g. Is x(o) a multiple of 17?
True
Is 38*33/6 - 5 a multiple of 17?
True
Let f be 26/117 - (-43)/9. Suppose f*t = -3*u + 251, -4*u + 356 = -0*u - 4*t. Is u a multiple of 20?
False
Let x be 6*1*3/(-2). Let l = 14 + x. Is 5 a factor of l?
True
Is -426*(-8)/(48/10) a multiple of 2?
True
Let n(u) = 10*u**2 - 6*u + 2. Let p be n(2). Let l = -7 - -5. Does 2 divide l/(-4) + p/20?
True
Let m(s) = s**3 + 19*s**2 + 46*s + 14. Does 14 divide m(-15)?
True
Suppose 14*x = 9*x. Suppose -2*i + x*a = -5*a + 13, 5*i - 45 = -3*a. Let c(b) = -b**2 + 9*b - 6. Does 10 divide c(i)?
False
Let l = -464 + 1106. Is 107 a factor of l?
True
Let v(t) be the third derivative of t**5/6 - 5*t**4/12 + t**3/6 - 18*t**2. Is v(5) a multiple of 26?
False
Suppose 0 = 4*q + 3*z - 7*z - 512, -2*q + 276 = 2*z. Is q even?
False
Does 18 divide (483 + -1)/(14 - (-6 - -18))?
False
Does 11 divide (-240642)/(-435) + ((-8)/(-10) - 1)?
False
Suppose -2*b + 131 = 3*q, -6*b + b - 2*q + 300 = 0. Is b a multiple of 26?
False
Let f = 460 + -343. Is f even?
False
Let v = 13 + -11. Suppose -3*m - 152 = v*w - 571, 4*m + 4*w - 556 = 0. Is m a multiple of 47?
True
Let x = -30 + 38. Is (((-30)/x)/(-1))/((-7)/(-112)) a multiple of 10?
True
Suppose 196 = 3*y - 95. Suppose 5*l - 2*v + 5*v - 165 = 0, 2*l = 5*v + y. Is 18 a factor of l?
True
Let h(d) = 32*d + 4. Let q(r) = -3*r - 5. Let u be q(-2). Is 24 a factor of h(u)?
False
Let p be (-1)/((-5)/25) - -21. Let x = 63 - p. Is 11 a factor of x?
False
Let y(m) be the first derivative of -m**4 - 5*m**3/3 + m**2 + 11*m + 1. Let j(o) = o**3 - o - 1. Let l(k) = 5*j(k) + y(k). Does 6 divide l(6)?
True
Suppose 3*z + 5*a - 2 = 0, 4*a = 3*z + 8 - 1. Let i = 61 + z. Is i a multiple of 8?
False
Let s(q) = q**3 + 5*q**2 + 4*q + 1. Let g be s(-4). Let h be 29 - ((-6)/4)/(66/(-44)). Does 13 divide (3 + h - g) + -3?
False
Suppose 0 = -3*v + 27 - 12. Suppose m + 6 = -4*s, v*s + 2 = -4*m - 0. Suppose -m*l - q + 59 = -2*q, 3*l + q - 101 = 0. Does 32 divide l?
True
Let l(w) = -2*w**3 + 19*w**2 - 12*w + 14. Let n(p) = -p**3 + 18*p**2 - 12*p + 15. Let j(h) = 2*l(h) - 3*n(h). Is j(-17) a multiple of 34?
True
Let x(s) = -4*s**3 - 17*s**2 - 6*s - 3. Does 9 divide x(-6)?
False
Is ((-120)/(-35))/((-6)/(-364)) a multiple of 9?
False
Is (-204)/9*(-8 - 16) a multiple of 23?
False
Let w(t) be the third derivative of -5*t**4/24 - 17*t**3/2 - 12*t**2. Is w(-15) a multiple of 6?
True
Is 24 a factor of (-540)/(-21)*(88/12 - -2)?
True
Let m(i) = i**2 - 7*i + 10. Is 12 a factor of m(16)?
False
Let l be 68/6*1*(-651)/(-14). Let c = -275 + l. Is c a multiple of 21?
True
Is 3*-1*(-85206)/198 a multiple of 12?
False
Let h = 466 + -226. Does 12 divide h?
True
Is 28 a factor of (1839 - -1)*(8 - 190/25)?
False
Let z(r) be the second derivative of r**4/12 + r**3/2 - 7*r**2/2 - 6*r. Is z(-7) a multiple of 3?
True
Let s = 6 - 5. Let g be 3 - 0*(-1)/s. Suppose -3*t - 3 = -2*u, -u - t - g = -4*t. Is u a multiple of 6?
True
Let z be 18/(-6) - (1 - 3). Let o(y) = -30*y**3 - y - 1. Let d be o(z). Suppose 5*l = 0, 3*v - d = -2*l - 2*l. Is v a multiple of 5?
True
Suppose -b + 3*h = 8*h - 43, -3*h = -4*b + 126. Is 22 a factor of b?
False
Suppose -2*x - 2*x + 352 = 0. Suppose 2*v + 92 = 3*y - 2*y, 3*v = y - x. Is 33 a factor of y?
False
Let h(u) = 2*u**3 - 6*u**2 - 4*u + 17. Let c be h(4). Let j = 12 + -23. Let k = j + c. Is k a multiple of 7?
False
Suppose x - 2 = -0*x. Suppose 5*u - 884 = w, w - 4*w + 357 = x*u. Suppose 3*l = 4*d + u, -2*d = -3*l - 0*d + 177. Does 15 divide l?
False
Suppose -3*d = -4*y - 35, 4*d - d = 5*y + 40. Is (y - (-8)/2)*-19 a multiple of 19?
True
Let v(z) = z**3 - 10*z**2 - 3*z - 21. Let s(o) = 2*o**3 - 21*o**2 - 6*o - 41. Let y(k) = 3*s(k) - 5*v(k). Is y(14) a multiple of 14?
False
Suppose 8*s = 18 + 22. Suppose 3*q - 4*q + 2 = 0. Suppose 0 = 5*j + s*o - 565, -2*o + 118 = q*j - j. Does 36 divide j?
True
Is (-121)/(-5) - (-38)/(-190) a multiple of 6?
True
Suppose 0 = h - 3*n + 126, 0*n + 5*n - 25 = 0. Let m = h - -164. Is 18 a factor of m?
False
Suppose 0 = -l + 3. Let t(w) = 5*w + 7. Let h be t(l). Let n = 48 - h. Is n a multiple of 13?
True
Suppose 2*y + 0*y = 32. Is (y/(-3))/(6/(-18)) a multiple of 9?
False
Suppose 0 = 4*i - 3 - 5. Suppose -i*y - 1 = -9. Suppose 0 = y*p - 0*p - 68. Does 6 divide p?
False
Suppose -2*f = 18*f - 40. Let p be (-2)/3 + (-554)/(-3). Suppose -4*o = -2*u - 168, 2*o + f*u = -2*o + p. Does 11 divide o?
True
Suppose -g + 3*o = -o - 9, 5*o + 25 = 4*g. Let x(m) = 7*m**2 - 6*m - 6. Let k be x(-1). Suppose 4*s = -r + 101, -g*s = 2*r - 123 - k. Is s a multiple of 24?
True
Let l = 324 - -260. Is l a multiple of 68?
False
Let t(r) = -3*r + 12. Let v be t(3). Let k(b) = b - 5. Let u be k(5). Suppose v*f = -u*f + 45. Does 8 divide f?
False
Let h be 133/(-21) + 4/(-6). Let s(g) = g**3 + 7*g**2 + 2*g + 16. Let b be s(h). Suppose 226 = 4*d + x, -b*d + x + 54 = -d. Does 26 divide d?
False
Let l(j) = 1321*j - 41. Does 16 divide l(1)?
True
Does 21 divide (-9 - (-2 + 1))/((-201)/8442)?
True
Let x = -20 + 24. Suppose -346 = 2*p - 4*p - 4*f, -x*p + 674 = 2*f. Does 24 divide p?
False
Let r be 0 + 2 - (4 - 276 - 4). Does 14 divide (r/10)/((-1)/(-5))?
False
Suppose m + 2*m + 54 = 0. Is 16 a factor of (m/15)/(9/(-120))?
True
Suppose -13*a - 3225 = -18*a. Suppose -5*x + p = -3*x - a, -15 = -3*p. Does 13 divide x/(-26)*1*-2?
False
Suppose 3*t = -2*o + 448 - 135, 5*o + 4*t = 800. Is 9 a factor of o?
False
Suppose 4*y - 1620 = -r, 13*y - 824 = 11*y + 3*r. Is y a multiple of 54?
False
Suppose 3*m - 4047 = -4*o, 61*o + 2*m = 57*o + 4050. Is 10 a factor of o?
False
Let o = -1361 - -2749. Does 5 divide o?
False
Let h(r) = -41*r - 4. Let f be h(-3). Suppose f = -p + 15. Let s = p - -153. Is 14 a factor of s?
False
Suppose z + 0*z - 10 = 0. Let q(p) = -11 - 35*p**3 + 0*p - 2*p + z. Is q(-1) a multiple of 18?
True
Let h(j) = 49*j + 1. Let w be h(-2). Let u = 175 + w. Is u a multiple of 46?
False
Let g(y) = -3*y + 10. Let h be g(5). Let d = h + 9. Let i(f) = 9*f**2 + f + 6. Is 40 a factor of i(d)?
False
Let s(r) = -46*r - 7. Let m be s(-2). Suppose -100 - m = -5*t. Is 7 a factor of t?
False
Let t(c) = 15*c**2 - 11*c - 44. Is 20 a factor of t(-4)?
True
Suppose -3*y + 8*y - 2975 = 0. Does 67 divide y?
False
Let a(n) = 12*n - 14 - 9*n + 3*n + 21*n. Let g be a(7). Suppose -5*s = 3*d - g, -2*s + 105 = s + 2*d.