 50/g - z/3?
True
Let o = 278 + -170. Is o a multiple of 18?
True
Let s = -4 + 6. Suppose -2*z + 45 = 2*g + 3*z, -2*g = -s*z - 38. Suppose 32 = 4*a + 4*p, -3*a - 2*p = -p - g. Is a a multiple of 3?
True
Let o(x) = -8*x + 6. Is o(-3) a multiple of 6?
True
Let i(a) = 7*a - 1. Is i(3) a multiple of 6?
False
Let s(z) = z**2 - 3*z - 2. Let o be s(4). Let p = -15 + -19. Is 1 + o - (-2 + p) a multiple of 10?
False
Let f = 9 + -6. Suppose -574 = -4*i + 3*k, -3*i + 578 = i - 5*k. Suppose p = -f*o - 0*o + 42, 4*p = o + i. Is 12 a factor of p?
True
Suppose 87 + 177 = 2*d - 2*k, 0 = -3*d - 4*k + 424. Is 17 a factor of d?
True
Let o = -7 + 11. Suppose l + 48 = o*l. Suppose -5*r - 1 = -l. Is r a multiple of 3?
True
Suppose -12 = -2*x - 2*x. Suppose -x*a + 128 = 26. Is 15 a factor of a?
False
Let l = 5 + 0. Suppose 3*s - 37 = -2*q, 0*q = -5*q + l*s + 55. Is 7 a factor of q?
True
Let f(y) = y**2 - 7*y + 2. Let j be f(7). Suppose 4*p - 66 = j*p. Is 11 a factor of p?
True
Let q = 0 - 0. Let f = 22 + q. Suppose 4*o = f - 6. Is o a multiple of 3?
False
Let m(g) = -6 - 6 + 5 - 2*g**2 - 3*g - 3*g**2 - g**3. Let v be m(-5). Suppose 3*d - v = -d. Is d even?
True
Let x(i) = -i**3 + 12*i**2 - 10*i - 4. Is x(11) a multiple of 7?
True
Suppose 1 = -r - 0*r, -151 = -2*b - 5*r. Is 5 a factor of b?
False
Let n = 3 + 0. Suppose 2*y = n*o + 19, -2*y - 6 = 3*o - 43. Is 7 a factor of y?
True
Let k(g) = g**3 - 12*g**2 + 2*g - 1. Is 13 a factor of k(12)?
False
Let b = -7 - -12. Suppose -5*m = 4*g - m - 44, -10 = b*m. Does 6 divide g?
False
Suppose 9*u - 8*u - 1 = 0. Let z(l) = 75*l**3. Does 15 divide z(u)?
True
Let h(x) = -x**3 - 8*x**2 + 10*x - 10. Let s be h(-9). Suppose 262 = -4*g - 5*a, -2*g + 2*a + 200 = -5*g. Let k = s - g. Is 17 a factor of k?
False
Let g(s) = -17*s**2 - 2*s - 1. Let j be g(-1). Let b = 4 - j. Is 4 a factor of b?
True
Let n(s) = 6*s**2 + 3*s + 2. Let y be n(-2). Suppose -2*v + 14 = -y. Does 10 divide v?
False
Let s(h) = -21*h + 1. Suppose k + b = -4*b + 14, k - 5 = -2*b. Does 11 divide s(k)?
True
Let i = 28 - 29. Does 30 divide (-722)/(-8) + i/4?
True
Let t = 9 - 3. Is 6 a factor of t?
True
Let r be 0 + ((-1)/(-1))/1. Let n(x) = 23*x - 1. Is 15 a factor of n(r)?
False
Let v(a) = a + 8. Let b be v(-4). Let q(w) = 6 - 4*w + 4*w + b*w. Is 13 a factor of q(5)?
True
Let d(n) = n**2 + 4*n + 4. Let f = 5 - 10. Let h be d(f). Suppose 4*t - t - h = 0. Is t a multiple of 3?
True
Let s(z) = -2*z**3 - 5*z**2 - 4*z. Suppose -q + 12 = -4*q. Let m be s(q). Let f = -33 + m. Is 13 a factor of f?
False
Let k = 6 + -3. Suppose -2*f + 165 = k*f. Suppose 5*t - f = -3*i, 2*t - 2 = i + 20. Is t a multiple of 9?
True
Let p(o) = -o**3 + o + 2. Let x be (-9)/4 + 5/20. Is 4 a factor of p(x)?
True
Let o(z) = 2*z + 6*z + 2 + 3*z. Is o(3) a multiple of 16?
False
Let v(p) = -p**3 + 17*p**2 + 3*p - 20. Is 11 a factor of v(17)?
False
Is ((-2)/(-5))/(10/550) a multiple of 4?
False
Let g(q) = q**2 + 10*q. Let y be g(-10). Suppose y = 4*c - 326 - 10. Suppose 0 = -3*s + 3*u + c, -s - 4*u = -0*u - 18. Is s a multiple of 12?
False
Let b be 255/20*(-48)/(-9). Let l = b + -32. Does 12 divide l?
True
Let u(z) = 4*z**2 - 5*z + 4. Let p = -6 + 0. Let o = p - -10. Is u(o) a multiple of 18?
False
Let z(c) = 23 + 16*c - 5*c - 11 - c**2. Does 3 divide z(11)?
True
Is 258/21 + 4/(-14) a multiple of 9?
False
Suppose 5*f + 11 = 2*c, -c + 3*c - 4 = -2*f. Let u be ((-162)/c)/((-6)/4). Suppose 3*x - u = 2*x + 5*b, -b - 5 = 0. Is 11 a factor of x?
True
Let n = -13 - -6. Let d(m) = m + 0*m - 7 - 7*m. Is 14 a factor of d(n)?
False
Suppose c + 3*s + 15 = 0, -s = -3*c + 2*s - 9. Let w = -21 - c. Is 18 a factor of (162/w)/((-6)/20)?
True
Let g(p) = -2*p. Let u = -8 + 6. Let d be g(u). Is 17 a factor of d/(-14) - (-368)/14?
False
Suppose -4*v - 84 = -v. Let t be (0/(-1) - v) + 2. Let p = -15 + t. Is 7 a factor of p?
False
Let v be ((-1)/2)/((-6)/36). Suppose v*a = 3*z - 225, -2*z - 2*a + 150 = 2*a. Is z a multiple of 25?
True
Let s(y) = y**3 - 5*y**2 - 6*y + 5. Suppose 6 = 4*m - 18. Let i be s(m). Suppose 5*n - 45 = -i*t, 0 = -t + 5*t - 12. Is n a multiple of 3?
True
Let d(t) = -8*t - 4. Let n be d(-3). Suppose 3*v - 34 = n. Is 9 a factor of v?
True
Let h(z) = z**3 - 5*z**2 - z + 11. Is h(5) a multiple of 2?
True
Let a be 5/20 - (-14)/8. Suppose -a*l = -7*l. Suppose l = 3*x - x - 50. Is x a multiple of 9?
False
Let l = -46 + 93. Is 21 a factor of l?
False
Is 12 a factor of (-4)/14 + 2540/70?
True
Suppose a = -3*i + 6*a + 1, 5*i - 3*a = -25. Suppose -3*y = -6*y + 33. Let c = i + y. Is 2 a factor of c?
False
Let a = 12 - -44. Let v = 100 - a. Is 21 a factor of v?
False
Let s(t) = t**3 - 3*t**2 - 2*t + 4. Let c be 0 + 7*3 - -2. Suppose -c + 3 = -5*m. Is 6 a factor of s(m)?
True
Let c = 6 - 2. Suppose -88 = 3*v + 4*z, 2*z = -5*v + c*z - 112. Is 5 a factor of ((-5)/4)/(3/v)?
True
Let v(o) = o**2 - 12*o - 28. Is 17 a factor of v(15)?
True
Is 44/20 + 4/5 even?
False
Suppose -4*c = c + 230. Let r be (1 - -19)/((-2)/8). Let o = c - r. Does 17 divide o?
True
Let r(j) = 5*j + 2. Let f(q) be the second derivative of q**4/12 + 4*q**3/3 + 5*q**2 + 2*q. Let k be f(-7). Is r(k) a multiple of 7?
False
Suppose -6*m + 19 = -5*m. Is m a multiple of 4?
False
Let x(p) = 2*p**3 + p**2 + 2*p - 7. Let t be x(-3). Let l = 142 + t. Does 13 divide l?
False
Let r(v) = 2*v**3 - 3*v**2 - v - 2. Let u(m) = -m**3 - m**2 - m + 3. Let p be u(0). Does 22 divide r(p)?
True
Let s = -43 - -17. Let l = s + 37. Is l a multiple of 11?
True
Let q = 5 - 3. Suppose 3 = q*w - 3*h - 4, -4*w = h - 21. Suppose -v = v + 10, -w*k = v - 20. Does 5 divide k?
True
Let b(i) = -i**3 - 3*i**2 - 4*i + 3. Does 19 divide b(-4)?
False
Let q be 15/2*6/(-9). Let l(w) = -6*w + 5. Let k be l(q). Suppose k = 3*a - 67. Is a a multiple of 12?
False
Let f(p) = p**3 - 8*p**2 + 7*p + 5. Let y be f(7). Suppose -y*z + 24 = -2*z. Is 8 a factor of z?
True
Let c(q) = -q + 6. Let n(h) = -7. Let d(w) = 2*c(w) + 3*n(w). Is d(-7) a multiple of 5?
True
Let b(h) = -h**3 + 8*h**2 - 7*h + 8. Does 7 divide b(6)?
False
Suppose 6*n = 5 + 355. Does 6 divide n?
True
Let m(v) = -7*v**2 - 3*v - 3. Let b be m(-2). Let g = b + 3. Let y = 36 + g. Is 6 a factor of y?
False
Let n = -101 + 169. Is n a multiple of 17?
True
Suppose 4*i - 4*v - 47 - 113 = 0, 40 = i - 5*v. Is 20 a factor of i?
True
Suppose j + 8 = 3*j. Suppose 34 = -j*m + 90. Does 5 divide m?
False
Suppose -3*v + 49 + 101 = 0. Suppose -u - v = -2*u. Suppose 0 = 4*a - 6 - u. Does 14 divide a?
True
Let o = 8 + -5. Suppose -o*g + 2*g - 2*v + 52 = 0, -g = -2*v - 68. Is 12 a factor of g?
True
Is 60 a factor of 1/(-4) + (-757)/(-4)?
False
Let r(x) be the first derivative of -x**4/4 + 10*x**3/3 + 15*x**2/2 + 16*x + 9. Is r(11) a multiple of 12?
True
Let c(l) = 3*l**3 - l**2 + l + 2. Does 24 divide c(2)?
True
Is 21 a factor of 38 - -2*(2 - 0)?
True
Let l = -9 + 20. Is l a multiple of 11?
True
Suppose 0 = -5*j - 14 - 1. Is ((-132)/3)/(j/3) a multiple of 15?
False
Let x(u) = u - 2. Let h be x(3). Let v(o) = 40*o - 2. Let l(w) = -280*w + 15. Let f(g) = 2*l(g) + 15*v(g). Is 16 a factor of f(h)?
False
Let n = -3 + 4. Let f be (n + 2)*8/6. Suppose -f*i = i + 4*t - 138, 4*t - 48 = -2*i. Is 15 a factor of i?
True
Let x = -87 + 120. Is 4 a factor of x?
False
Suppose 2*f - 5*f + 964 = 5*x, -5*x = -3*f - 976. Is 22 a factor of x?
False
Let i be 713/9 + 10/(-45). Suppose 2*p - u = 46, -3*p + i = u - 0*u. Does 9 divide p?
False
Suppose 0 = -j - j - 3*y + 493, 975 = 4*j - 5*y. Is j a multiple of 35?
True
Suppose 3*d - 4*a - 150 = 9, 4*d - 187 = -3*a. Does 31 divide d?
False
Suppose -2*p + 35 = -29. Does 10 divide p?
False
Suppose 2*o = 83 + 37. Suppose 0 = 2*r + 58 + o. Let y = 90 + r. Is 13 a factor of y?
False
Suppose -25 = 4*y + 11. Let r(l) = -2*l + 3. Is r(y) a multiple of 7?
True
Suppose -7*n = -5*n - 42. Is 7 a factor of n?
True
Suppose 4*g + 2*p - 26 = -3*p, p - 14 = -3*g. Let t(w) = -w - 7. Let a be t(-10). Suppose a*h + 5*i = -2*h + 65, 4 = 3*h - g*i. Is 8 a factor of h?
True
Let h(t) = 30*t**3 - t**2. Let o be h(-1). Let s = o + 58. Does 9 divide s?
True
Let c = 353 - 183. Suppose 10*o = 5*o + c. Is 18 a factor of o?
False
Suppose -i - 296 = -2*q - 5*i, 0 = 2*q - 4*i - 312. Does 28 divide q?
False
Let l(k) = -k**3 - 3*k**2 + 2. Let d be l(-3). Suppose 69 =