
False
Let m(y) = -7*y**2 + 5*y - 1 + 15*y**2 - 9*y**2. Let x be m(4). Suppose -5 = x*j - 83. Is j a multiple of 10?
False
Suppose 5*a - 97 = 2*k, 2*a + 2*k - 50 = -0*a. Does 7 divide a?
True
Let t(n) = n**3 + 6*n**2 - 3*n. Is 6 a factor of t(-6)?
True
Suppose 2*q = 3*h + 16, 0 = -0*h - h. Let s be (0 + q)*7/4. Suppose s = 3*i - 4. Is 6 a factor of i?
True
Let h = -288 + 203. Let j = h + 136. Is j a multiple of 17?
True
Let o(x) = -4 + 4*x - x + 0 + 1. Let z be o(5). Is 7 a factor of 32/z*6/2?
False
Let t(m) = m**2 + 2*m - 2. Let x(r) = -r**3 + 5*r**2 - 4*r - 3. Let l be x(4). Let k be t(l). Suppose -3*j + k = -5*u - 1, 5*j - 30 = 3*u. Is j a multiple of 9?
True
Let w(n) = 18*n**2 + 5. Is 11 a factor of w(-2)?
True
Suppose c + 2*w = 3*c + 18, -w + 45 = -4*c. Let h = 27 - c. Is 13 a factor of h?
True
Let h(i) = -2*i**2 - 4*i - 4. Let p be h(4). Let z be p/(-12)*(11 - -1). Suppose -2*t + 0*r + z = r, 2*r + 112 = 5*t. Is 14 a factor of t?
False
Suppose 23 = m + 4. Let p = 28 - m. Is 5 a factor of p?
False
Let l(f) = 5*f**3 - 2*f**2 - 2*f. Let a(p) = -4*p**3 + 2*p**2 + p. Let b(y) = 6*a(y) + 5*l(y). Let n(u) = -u**2 - 3*u - 3. Let c be n(-3). Does 2 divide b(c)?
False
Let r(n) = n - 1. Let q be r(7). Let v = 2 - 4. Is 2 a factor of (v/q)/((-2)/12)?
True
Let l be 0/((-2)/(-3)*3). Suppose 3*m = -3*u + 15, -m - m + 3*u + 5 = l. Suppose c = m*h + 24, 5*h - 1 = -21. Is c a multiple of 4?
True
Let o(x) = 4*x**2 - 1 - x**2 + x**2. Let g be o(-2). Is 7 a factor of (-88)/(-10) - (-3)/g?
False
Is ((-372)/(-20))/(2/10) a multiple of 9?
False
Suppose 190 = 5*m - 5*j, -4*m + 151 = -6*j + 3*j. Does 10 divide m?
False
Let f(n) = -n**3 - 3*n**2 - 3*n - 1. Let l be f(-3). Let h = l + 11. Does 6 divide h?
False
Let o(n) = n - 1. Let q be o(3). Suppose 0*t - q*t + 40 = 0. Is 8 a factor of t?
False
Let o = 9 + -52. Let z be 1/((-2)/36) + 0. Let l = z - o. Is l a multiple of 13?
False
Let c(y) = -4*y - 4. Let r(m) = -m - 1. Let k(s) = 2*c(s) - 9*r(s). Let x be k(-3). Does 13 divide (x - -28) + 1 + -1?
True
Let c = 10 - 26. Let j(l) = -l**2 - 1. Let y be j(3). Let h = y - c. Is 6 a factor of h?
True
Suppose -3*r + 51 = 4*q - q, -5*q + 58 = -4*r. Does 3 divide q?
False
Let j(o) = 2*o**2 - o + 3. Let x be j(-3). Suppose 2*c = -c + x. Is c a multiple of 3?
False
Let p(z) = z**3 + z**2 + 14. Let q = 9 + -9. Let f be p(q). Let i = 10 + f. Is i a multiple of 8?
True
Does 21 divide -2*3*((-34)/4 + -3)?
False
Let p = 29 + 11. Does 3 divide p?
False
Let g be 0 + 4/6*6. Let b = 10 - 3. Suppose -5*i + y + b = -2*i, g*i = 2*y + 6. Is i even?
True
Let l = 17 + -2. Suppose 14*k - 11*k = l. Is k a multiple of 4?
False
Suppose 2*k - 9 - 3 = 0. Suppose -3*g + k = -2*g. Suppose -g*a + a = -175. Is a a multiple of 13?
False
Let s(a) = a**2 + 3*a + 3. Suppose -2*l - q = 3*l - 19, -3*q = 2*l - 5. Suppose t + t = -l*u - 18, -21 = 2*t + 5*u. Does 3 divide s(t)?
True
Let g(k) = -k**3 + 4*k**2 + k + 5. Let w be g(4). Is (w/(-5))/((-6)/30) a multiple of 9?
True
Let l(y) = -2*y - 2 + 9 - 1. Let v(n) = n - 6. Let i(x) = -6*l(x) - 5*v(x). Is i(4) a multiple of 7?
False
Suppose 3*o - 5*o = -12. Suppose -o*j = -j + 100. Does 17 divide 1/2*-6 - j?
True
Let t be 3 - 2/6*3. Let p(b) = -b**2 + 5*b - 3. Is p(t) a multiple of 3?
True
Suppose 3*f = -2*k - 5, 0 = 3*k + f + f. Let x be 126 + -2 + 1 - k. Suppose -5*j + 14 = 4*w - 117, -5*j = 2*w - x. Does 9 divide j?
False
Let w be (-4)/28 - (-3)/21. Suppose 0*d - 3*d + 48 = w. Is 5 a factor of d?
False
Let g be (40/12)/((-2)/12). Let p be (2/5)/((-4)/g). Suppose -p*w + 18 + 20 = 0. Is w a multiple of 8?
False
Suppose -2*v = 3*v - 450. Let h = -51 + v. Is h a multiple of 13?
True
Let t = -6 + 8. Is 1 - (-39 + t + 0) a multiple of 13?
False
Let l(o) = o**2 + 3*o - 2. Let c be l(-4). Let z = c + 10. Does 8 divide z?
False
Suppose -5*h + 5 = 0, 6*j - 31 = 4*j - 3*h. Is j a multiple of 7?
True
Suppose 9*h - 10*h = 2, 5*u - 800 = -5*h. Does 17 divide u?
False
Let b = 2 - 2. Suppose -4*k = -0*j + 2*j - 360, 5*k - 456 = -j. Suppose 4*s + b*o = -4*o + 80, 4*s + o - k = 0. Is 12 a factor of s?
True
Let h(j) = -2 + 1 + 3*j**2 + j**3 - j**2 + 0 - 4*j. Is h(3) a multiple of 16?
True
Suppose -q = 3*q. Suppose 0 = -5*n - q + 65. Let j = 24 - n. Does 8 divide j?
False
Let z(y) = -y**3 - 4*y**2 + y + 3. Let x be z(-4). Let t be (-9)/3 - (-61)/x. Let q = 90 + t. Is 9 a factor of q?
False
Suppose 5*p + 5*y = -235, -3*y = 12 - 3. Let z = -24 - p. Does 20 divide z?
True
Let c = -1 - -6. Suppose -18 = -c*z + 62. Let b = z + -4. Is b a multiple of 6?
True
Let l = 5 - -3. Suppose 0 = -l*g + 6*g + 14. Suppose -a = 4*k - 0*a - 28, -5*a - g = -k. Is k a multiple of 4?
False
Is 3/(36/1678) - 2/(-12) a multiple of 35?
True
Let f(c) be the first derivative of 5*c**4/12 - c**3/6 + 3*c + 3. Let p(o) be the first derivative of f(o). Is p(2) a multiple of 7?
False
Let o(f) = -3*f**3 + 2*f**2. Let y(z) = 2*z**2 + 10*z**3 - 9*z**2 + 2*z - z. Let r(x) = -7*o(x) - 2*y(x). Is 4 a factor of r(2)?
True
Let x(r) = r**2 - r - 6. Is 4 a factor of x(5)?
False
Is 7 a factor of 12*-11*(-4)/16?
False
Let y = 15 - -5. Let c be (-48)/y + (-4)/(-10). Does 4 divide 2/(20/(-11) - c)?
False
Let l = -97 + 214. Does 29 divide l?
False
Let g(h) = 2*h**3 + h**2 - 4*h + 3. Let r(f) = 2*f**2 - 3*f. Let t be r(2). Suppose 2*k - 3*p = p + 12, -4*k + t*p = -12. Is g(k) a multiple of 11?
False
Let o be 44/10 - (-3)/5. Suppose -5*j = -25, -o*g - 88 = -2*j - 283. Is g a multiple of 26?
False
Suppose -3*y + 1 = -2*y. Does 15 divide (-5)/(-5)*15/y?
True
Suppose 0*o - 3*m + 21 = 3*o, -3*o + m = -1. Does 15 divide 48 - -4 - -1*o?
False
Suppose 7 - 2 = h. Suppose -5*k + 2*q + 227 = -0*k, 27 = k - h*q. Does 16 divide k?
False
Suppose -4*m = -4*u - 37 + 229, 3*u - 190 = 4*m. Suppose -2*o + 192 = o + 2*s, -3*o + 3*s = -192. Let c = m + o. Does 7 divide c?
False
Let i(a) = 11*a**2 - 3. Let j be i(2). Let s = -3 + 5. Suppose -5 = s*x - j. Does 18 divide x?
True
Let m(g) = -g**2 - 5*g + 2. Let a be m(-5). Suppose 2*l + a = 12. Suppose 124 = -u + l*u. Is 20 a factor of u?
False
Let k(a) = a**3 - a**2 + 7*a + 3. Is k(4) a multiple of 5?
False
Let u be (1 - -5)*(2 + -1). Let i = 2 + u. Is 6 a factor of i?
False
Let y(n) be the first derivative of -n**4/2 + 2*n**3/3 + 3*n**2/2 + 2*n + 1. Does 10 divide y(-2)?
True
Let k(a) = -40*a**3 + 2*a**2 - 1. Let t be k(-1). Let p = t + -27. Does 16 divide 4/14 - (-444)/p?
True
Let x(w) = 2*w**2 + 10*w - 12. Does 15 divide x(6)?
True
Is 2 a factor of (3 - 6)/((-2)/6)?
False
Suppose 3 = 2*h - 3. Suppose -4*g + 5 - h = -3*f, 3*g = 6. Suppose -2*p - 48 = -2*o, f*o + 21 = 3*o - 4*p. Is o a multiple of 13?
False
Let r be 2/5 + (-56)/(-10). Let g(k) = -1. Let b(o) = 4*o + 7. Let f(j) = b(j) + 2*g(j). Is 13 a factor of f(r)?
False
Let x be (2/(-4))/(3/(-6)). Suppose 0 = -2*d + 4*o + 102, o = -4 - x. Does 17 divide d?
False
Let x = 152 - 312. Does 9 divide ((-12)/8)/(6/x)?
False
Suppose 3*i = -1 + 7. Suppose 3*n + 3*k - 54 = 0, -3*n - i*k - 90 = -8*n. Is n a multiple of 9?
True
Suppose -2*m + 25 = 4*q - 17, -2*q = 4*m - 102. Is 6 a factor of m?
False
Let z be 1 - 0 - 5/(-1). Let b(c) = -c**2 + 8*c + 2. Is b(z) a multiple of 13?
False
Let c = 23 + -14. Is 5 a factor of c?
False
Suppose 0*v + 4 = v. Suppose 10 = 3*w - 2*f, -2*w + v*f = -w - 20. Suppose w = -4*r + 16, -3*y + 2*y - 10 = -4*r. Is y a multiple of 4?
False
Suppose -4*l + 11 = -1. Let p = l + 3. Is 4 a factor of p?
False
Let s(w) = w**2 + 5*w - 8. Let y be s(-7). Let c be 2/y*1*12. Suppose -4*v - 9 + 25 = 0, -c*v + 50 = o. Does 17 divide o?
True
Suppose 5*f - 7 - 13 = 0. Let r = -3 + 7. Suppose -4*y = f*t - 16, 0*y - 16 = -r*t - y. Is 4 a factor of t?
True
Let o(n) = n**3 + 27*n**2 - 2*n - 26. Is o(-27) a multiple of 3?
False
Let s(n) = n - 8. Let i be s(12). Let d be 6/(-4)*(-1 - -3). Is d/12 + 61/i a multiple of 14?
False
Let x(p) = 2*p + 28. Is x(22) a multiple of 9?
True
Suppose -922 = -4*a - u, 2*a - 2*u - 462 = -3*u. Does 46 divide a?
True
Does 37 divide 0 + 462/5 - 195/(-325)?
False
Let z(o) = -7*o + 1. Let n be z(1). Let c be 10/(n/(-3)) + -2. Suppose -2*f + 32 = -3*y, 6*y - c*y - 48 = -3*f. Does 9 divide f?
False
Let o(y) = -y - 8. Let r be o(-8). Suppose r = -2*z + z + 64. Is 20 a factor of z?
False
Let u = 4 - 0. Suppose 0*p - 8 = -