s 13 a factor of (p/12)/((-1)/q)?
False
Suppose -7*x + 266 = -0*x. Is x a multiple of 19?
True
Let l be 3*14/6 - 3. Suppose l*t - 18 = 50. Let r = t + -5. Is 9 a factor of r?
False
Suppose 4*g - 8 = 3*l, 0 = 4*g - 2*l - 2*l - 8. Let h(n) = -4 - 9*n + 3*n + 0*n**3 + 7*n**g + n**3. Is h(-7) a multiple of 13?
False
Suppose 3*t - 2*t = 65. Does 57 divide t?
False
Let h(o) = -4*o + 1. Let t be h(-1). Suppose 66 + 34 = t*x. Is 10 a factor of x?
True
Let o(g) be the first derivative of 1/4*g**4 - 4/3*g**3 - 4*g - 1 - 3*g**2. Does 15 divide o(6)?
False
Let r be (-110)/3*72/(-10). Suppose 980 + r = -2*p - g, -g + 616 = -p. Is (-4)/14 - p/14 a multiple of 22?
True
Let r = -5 - -8. Let w = r + 0. Suppose 7*t - 120 = 2*t + 2*n, w*t + 3*n = 72. Is 15 a factor of t?
False
Let a be 0 + -6*(-6)/(-9). Let d(z) = -9*z. Does 15 divide d(a)?
False
Let s be (10/(-4))/(2/4). Let x = s + 9. Does 4 divide x?
True
Suppose 0 = 2*x - 5*g - 54, -2*x + 0*x + 42 = -2*g. Let p = x + -33. Let q = 9 - p. Is q a multiple of 10?
False
Suppose 4 = 3*h - 95. Does 11 divide h?
True
Let i(k) = k**2 + 4 - 39*k - k**3 + 42*k + 5*k**2. Let v(g) = g + 3. Let n be v(3). Is 13 a factor of i(n)?
False
Suppose -2*m + 0 + 2 = 0, 0 = -4*q + 5*m + 199. Let k = q + 23. Is k a multiple of 19?
False
Let l(d) = -d**3 - 2. Let p be l(0). Let s = p + 4. Does 8 divide (36/(-10))/(s/(-10))?
False
Let g(x) = x**2 + 4*x - 3. Let z be g(2). Suppose 0 = -5*s + 41 + z. Suppose -4*a = -3*d - 54, -d = -2*a + 3*a - s. Is a a multiple of 6?
True
Let i(o) = -o**2 - 10*o - 8. Suppose -m + 8 + 2 = 0. Suppose 0 = -2*d + 4*r - 8, -5*d = -4*r + m + 16. Is i(d) a multiple of 10?
False
Let i(k) = -k**3 + k**2 - k + 17. Does 4 divide i(0)?
False
Suppose -3*m + 4*u = 2*u - 24, 2*m + 5*u - 16 = 0. Suppose 13*s = 11*s + m. Is 3 a factor of s?
False
Suppose 5*q - 15 = g, g - 6*g = -3*q - 13. Suppose 3*b + x - 4 = 0, 5*b + g*x = 1 + 19. Suppose -4*o = -b*o - 20. Is 3 a factor of o?
False
Let t = 0 + -2. Is 20 a factor of 159/4 + t/(-8)?
True
Let d = -131 - -295. Is 41 a factor of d?
True
Let f(j) = 10 - 10 - 3 + 11*j. Let r be ((-6)/5)/((-6)/15). Does 13 divide f(r)?
False
Let l(i) = -17 - 2*i + 1 + 4. Is l(-10) a multiple of 8?
True
Suppose -56 = -5*l + 34. Does 14 divide l - (0 + 6/(-2))?
False
Let x(g) = -g**3 - 6*g**2 - 6*g. Let z be x(-5). Suppose 0 = -z*s + 38 + 92. Does 7 divide s?
False
Let p(g) = g**2 - 7*g - 11. Is p(10) a multiple of 7?
False
Suppose -64 = 11*j - 15*j. Does 4 divide j?
True
Suppose h = -2 + 13. Does 11 divide h?
True
Let s(j) = -4 - 2*j**3 + 3*j**3 - 3*j**2 + 4*j - 3*j**2. Let c be s(6). Suppose -k + c = -4*a, -2*k + 4*a + a = -43. Is k a multiple of 10?
False
Let y(g) = 8*g + 1. Let o(b) = 2*b - b + 6*b + 1. Let k(l) = 3*o(l) - 4*y(l). Does 10 divide k(-2)?
False
Does 13 divide (-117)/(-2)*(-28)/(-21)?
True
Let o be (9/(-6))/((-1)/(-24)). Let s = o - -20. Does 6 divide (s/6 - -2)*-9?
True
Does 11 divide 85/(-10)*-8 - -3?
False
Suppose -13 = -4*s - w, -7 = 5*s - 3*w - 2. Let y(g) = 8*g + 2. Is 9 a factor of y(s)?
True
Suppose -f - 7 = -3*y, -5*y + 3 = f + 2. Let o be -54*(1 + 10/f). Suppose -134 = -5*j + o. Does 15 divide j?
False
Let z(m) = m**3 + 6*m**2 - 5*m + 7. Let b be z(-7). Is ((-24)/(-5))/(b/(-35)) a multiple of 7?
False
Suppose 3*z + 3 + 16 = 5*v, 2 = z. Suppose 2*h + v*o + 28 - 7 = 0, -5*h = -3*o + 6. Is ((-1)/3)/(h/198) a multiple of 11?
True
Suppose j = 3*j - 42. Is j a multiple of 4?
False
Let c(x) = x**3 - x**2 - 3*x - 2. Let d be c(3). Suppose -z + 14 = -d. Does 21 divide z?
True
Let l = 33 - 13. Suppose -3*x - 2*x + l = 0. Is x a multiple of 3?
False
Suppose -3*u + 82 = 2*c, -4*u + 124 = 4*c - 8*u. Suppose -5*i = -0*i - c. Is i a multiple of 5?
False
Suppose -2*q = -q - 76. Is q a multiple of 19?
True
Suppose 4*f = 9*f - 120. Does 12 divide f?
True
Let l be (2/6)/(7/105). Suppose -2*m + 36 = -l*m. Let a = m - -36. Does 21 divide a?
False
Let d(y) = -3*y - 6. Let t be d(-6). Is 17 a factor of 205/4 + (-3)/t?
True
Let v = -11 - -14. Is 4 a factor of ((-48)/(-9) - 0)*v?
True
Is 12 a factor of 468/14 - ((-93)/(-21) - 4)?
False
Suppose -4*l + 5*k - 1 = -176, 46 = l - 2*k. Is l a multiple of 10?
True
Suppose -4*u + 1 = -z, -5*z = 5*u - u - 19. Let t(j) be the first derivative of 2*j**2 - 4*j - 2. Does 8 divide t(z)?
True
Let p = 35 + -19. Does 4 divide p?
True
Let i(q) = q**2 + 2*q - 4. Let v be i(6). Suppose 22 = -w - 3*r - r, -v = 2*w - r. Let g = 47 + w. Is 9 a factor of g?
False
Let x(u) = -u**3 - 12*u**2 - 11*u - 10. Let w be x(-11). Let p(z) = -4*z - 12. Is 7 a factor of p(w)?
True
Let j = 6 + 6. Is 5 a factor of j?
False
Let r(f) = -3*f**3 - 2*f - 1. Let q be r(-1). Suppose -4*s = -a - 11, -q*a - 3*s + 23 = -9. Does 16 divide (-88)/(-2) + a/5?
False
Let c(v) = -2*v**3 - 3*v**2 + 3*v - 3. Let f = -1 - 0. Let a be 2/(-1) + f + 0. Is c(a) a multiple of 15?
True
Let y(x) = -x - 2 + 7*x**2 - 5*x**2 + 3*x**2. Does 3 divide y(2)?
False
Let h = -191 - -343. Does 19 divide h?
True
Let s be (-14)/3*3/(-2). Let b be (-2)/(-7) - 576/s. Let h = b + 136. Is h a multiple of 14?
False
Suppose 3*i - 12 = -i. Let r(x) = 1 + i - 1 + x. Does 10 divide r(7)?
True
Suppose 0 = 2*p - 33 + 9. Suppose -p = -0*l + 2*l. Is (-81)/l*(-24)/(-9) a multiple of 18?
True
Suppose 8*m - 1095 - 1857 = 0. Is m a multiple of 26?
False
Let v = -5 - -9. Suppose 2*l - 153 = -5*r - 0*l, 4*r = v*l + 100. Is r a multiple of 18?
False
Let o(p) = p**2 - 4*p - 7. Let q be o(6). Suppose -3*t + 5*u = -33, 3*u = -q*t - u + 92. Is 16 a factor of t?
True
Let q(m) be the third derivative of m**4/12 - 7*m**3/2 - m**2. Is 7 a factor of q(14)?
True
Does 24 divide 39 - (-3 - 1/(-1))?
False
Let g(t) = t**2 + 11*t - 14. Is 11 a factor of g(-17)?
True
Let j(o) = -2*o**2 + 59 - 60 + 34*o**3 + 2*o + 0*o. Let a(m) = -m + 7. Let h be a(6). Is j(h) a multiple of 11?
True
Let l(b) = 51*b**2 - 6*b + 5. Is l(1) a multiple of 19?
False
Let j = -33 + 131. Suppose 0*c + j = 2*c. Is c a multiple of 20?
False
Suppose -2*s - s - 205 = -y, 2*s + 622 = 3*y. Is y a multiple of 17?
False
Is 21 a factor of (-1)/4 - 4/((-64)/2692)?
True
Is 25 a factor of 25/((-33)/9 + 4)?
True
Let c = 20 - -50. Does 6 divide c?
False
Suppose 0 = -2*s, 5*x + 0*s - 5*s = 150. Let j = x - 10. Is j a multiple of 7?
False
Let w(v) = v**2 - 2*v + 1. Let j be w(6). Suppose b = j + 5. Is 15 a factor of b?
True
Let g(b) = -b**2 - 2*b + 3*b + 2*b**2 + 1. Let v be g(-4). Suppose 0 = i - v - 15. Is i a multiple of 17?
False
Is ((-63)/(-12))/((-1)/(-2*12)) a multiple of 22?
False
Let w(k) = 3*k**2 + 2*k - 1. Let i be w(1). Suppose -20 - i = -2*u. Is 16 a factor of (-52)/16*u/(-1)?
False
Let r(m) = m + 6. Let x be r(-11). Let f be 5/x - (1 - 6). Suppose 0 = -3*l - 9, -36 = -4*n - 0*l - f*l. Does 12 divide n?
True
Let u(d) = d - 3 - 2*d + 0*d + 0. Let v be u(-3). Suppose 5*r + 4*g = 214, v = -0*r - 5*r - 5*g + 215. Is 21 a factor of r?
True
Let z(k) = -k**2 + 7*k + 10. Let r be z(8). Suppose r*s - 141 = -23. Is 25 a factor of s?
False
Is 11 a factor of (150/24)/(4/48)?
False
Let k(p) be the third derivative of p**4/3 + p**3/3 - 7*p**2. Let z(r) = r**3 + 5*r**2 + 6. Let g be z(-5). Is k(g) a multiple of 19?
False
Suppose 60 = 6*n - 48. Is 18 a factor of n?
True
Let d = -38 - -60. Is 4 a factor of d?
False
Does 44 divide -1 - (-3 + -87 + -1)?
False
Let v = -10 - -7. Does 9 divide 1*(1 + v) + 43?
False
Let y(h) = h**2 + 2*h. Let m(z) = z**2 - 3*z - 4. Let j be m(3). Let s be y(j). Is s/2 - (-1 - -3) a multiple of 2?
True
Let l(o) = o**3 + 9*o**2 - o + 3. Let c be l(-7). Suppose 0 = 5*j - j + c. Let t = -10 - j. Is 6 a factor of t?
False
Let h(m) = 13*m - 4. Let q be h(5). Suppose -2*o + q = -5. Does 17 divide o?
False
Let b = 11 + -5. Let v = b + -3. Suppose v*i = -i + 8, -s - 3 = -4*i. Is s a multiple of 5?
True
Let c(s) = 3*s - 1. Let h be c(4). Suppose 46 = 5*g + 4*v, -4*v + v = -2*g. Suppose 0 = -h*r + g*r + 90. Does 17 divide r?
False
Let r = 2 - 4. Suppose 0 = -z + o - 55, 0 = -2*z + 4*z - 4*o + 120. Is 7 a factor of ((-6)/(-15))/(r/z)?
False
Let y be 126 - (0/(-2) + -1). Let r = y - 89. Does 11 divide r?
False
Suppose 10 = -2*y, 3*y - 18 = -3*s - 0*s. Let o(z) = z**2 - 10*z + 2. Does 13 divide o(s)?
True
Let s(k) be the second derivative of -4*k**3/3 - 2*k**2 - 4*k. Let u(t) = -4*