de (-4)/3 - (-1460)/15?
True
Let x(r) = r**3 + 4*r**2 - 5*r - 6. Let c be x(-5). Let q(y) = 5*y - 2. Let p(z) = 2*z. Let g(s) = -6*p(s) + 2*q(s). Is g(c) a multiple of 3?
False
Let f(t) = -t - 7. Let h be f(-6). Let r(y) = 51*y**2 + y + 1. Does 13 divide r(h)?
False
Let x(u) = u**3 - 5*u**2 + 2. Let n(z) = 2*z**3 - 6*z**2 + z + 1. Let o(d) = -2*n(d) + 3*x(d). Does 10 divide o(-3)?
True
Does 8 divide (-3 + (-10)/(-4))*-76?
False
Suppose 78 = z + 2*p + 3*p, 0 = 3*z + 2*p - 169. Does 6 divide z?
False
Suppose -57 = -5*z + 3*k, -5*z - k + 62 = k. Is z a multiple of 12?
True
Let k(x) = x**2 - 6*x + 5. Let b be k(6). Suppose 56 = b*q - 3*q. Is q a multiple of 14?
True
Let q(w) = w + 6. Does 4 divide q(19)?
False
Let a(q) = q**3 - 4*q**2 + 5*q - 5. Let w be a(4). Suppose -z + w = -41. Does 28 divide z?
True
Suppose 0 = 3*h - 0*h - 3. Let q(k) = -2*k**2 + 7*k**3 + 2 + 7 + 2*k - 10. Is q(h) a multiple of 3?
True
Suppose d - 1 = -t - 0, -3*d = -3*t - 33. Let n(y) = -y**2 + 8*y - 6. Is n(d) even?
True
Suppose 4*q - 3 = 5. Suppose 4*d = -5*v + 137, -q*d + 79 = 3*v + 2*d. Is 24 a factor of v?
False
Suppose -g + u + 9 = 3*g, 0 = 5*g - 5*u. Let r(d) = -d**3 + 3*d**2 + 2. Let h be r(g). Is (3/h)/((-2)/(-64)) a multiple of 24?
True
Suppose -5*a = 2*c + 1 + 3, 4*c + 5*a - 2 = 0. Suppose c*x - p = 4*p - 1, -5*p + 49 = 3*x. Is 8 a factor of x?
True
Let q(z) = 2*z + 1. Let g be q(2). Suppose 2 = g*s - 18. Suppose 4*y = -5*u + 57, 4*u - s*y - 4 = 20. Is 7 a factor of u?
False
Suppose -4*p = 4*i - 189 + 41, 0 = -i - 4. Is 12 a factor of p?
False
Suppose -8 = -c - c. Suppose -b = c*b - 255. Is b a multiple of 17?
True
Suppose 4*j + 32 = 8. Is j*(-3 - 4) + 3 a multiple of 22?
False
Let w be ((-7)/14)/((-2)/36). Let m(t) = 2*t + 12. Is 10 a factor of m(w)?
True
Let c be 75/(-5)*(-1 - 6). Let b = 212 - c. Is 21 a factor of b/5 - 8/20?
True
Suppose -384 = -4*w - 4*z, z - 5*z = -5*w + 480. Does 16 divide w?
True
Suppose 3*w = 5*r + 158, -3*w + 5*w + r - 88 = 0. Does 12 divide w?
False
Suppose 3*h - 19 = 3*i - 5*i, 3*h - 2*i + 1 = 0. Let a(r) = 3 - 6 + 5*r**2 - 2 + 2*r - r**h. Is a(4) a multiple of 10?
False
Suppose -4*o = 95 - 35. Let x = o + 23. Does 5 divide x?
False
Suppose 5*p - 70 - 1430 = 0. Does 13 divide p?
False
Let h(n) = -n**2 - 18*n + 30. Does 18 divide h(-11)?
False
Suppose -3*f + 21 = -2*f. Let b(a) = -a**3 + 6*a**2 + 4*a + 8. Let l be b(7). Let i = l + f. Is 4 a factor of i?
True
Let s = 180 - -105. Is 14 a factor of s?
False
Let n(g) = g**3 + 2*g**2 - 2*g + 1. Let d(u) = u**2 + 8*u + 3. Let q be d(-8). Suppose 3 = -q*c + 6. Does 2 divide n(c)?
True
Let a(b) = b**2 - 3*b + 8. Let f be a(-7). Suppose -z + f = 2*z. Suppose 0 = 4*p + l - 42, 2*p = -0*p - 3*l + z. Is p a multiple of 4?
False
Let b = 2 - -8. Is 126/b + 12/30 a multiple of 3?
False
Suppose 0 = -4*a - a - 25. Does 17 divide a/((-5)/(-2)) + 36?
True
Let v(r) = -2*r**2 + 9*r - 5. Let i be v(7). Let c = i + 56. Does 8 divide c?
True
Let n(c) = -4*c - 3. Let x be n(-2). Suppose -5 = -x*t + 10. Is t even?
False
Suppose -4*k + 10 = -2. Let x = 5 - k. Does 2 divide x?
True
Let i = 40 + -24. Is i a multiple of 6?
False
Let o be 41*(1 + 2)*-1. Let n be (-3)/(372/o - -3). Suppose n - 48 = 3*f. Does 16 divide f?
False
Suppose 15 = 4*w - f, -2*f - 6 = -0*f. Suppose 5*j = -w*y + 39, 5*y + 0*j - 37 = j. Is 2 a factor of y?
True
Suppose -7 = s - 0*s. Let t(a) = -2 - 2 + 0 + 3 - 3*a. Does 10 divide t(s)?
True
Suppose 6*d - 15 = d. Is 10 a factor of d/9 - 59/(-3)?
True
Suppose 0 = 5*b - 2*q + 4, -3*q + 6 = -b - 4*b. Suppose 0*o - 4*y = o - 3, -5*o + 4*y + 87 = b. Is o a multiple of 4?
False
Let u = -201 - -341. Is 11 a factor of u?
False
Suppose g = 3*g - 72. Is 9 a factor of g?
True
Is (14/4)/((-2)/(-36)) a multiple of 21?
True
Suppose x - 3*o = 3, 3*x + 2*o + 33 + 2 = 0. Let n = 14 + x. Suppose 4*l - 54 = -n*s - 0*l, -3*s = -4*l - 58. Is s a multiple of 14?
True
Let d(w) = w**2 + 9*w - 3. Let n be d(-9). Let r(g) = g**3 + 3*g**2 - 2*g + 1. Is r(n) a multiple of 7?
True
Suppose 3*f - 75 = 30. Suppose 161 = 3*j + f. Suppose -a = 3*p + a - j, 0 = a. Does 7 divide p?
True
Let d(f) = 20*f + 8. Let n(r) = 7*r + 3. Let h(u) = -3*d(u) + 8*n(u). Let j be h(-4). Suppose 2*c - c - j = 0. Is c a multiple of 6?
False
Let q(h) be the first derivative of 8*h - 2 - 3/2*h**2. Does 7 divide q(-6)?
False
Suppose 5*l - 2*b + 108 = -112, 0 = 4*b - 20. Let f = l + 123. Let k = f + -55. Is k a multiple of 10?
False
Let z = 1 - -2. Suppose -4*b = 5*x - 95, 5*b - z*b + 4*x - 52 = 0. Is 10 a factor of b?
True
Let l(c) = c**2 - 10*c - 6. Let r be l(10). Let v = r - -11. Suppose -2*x = 4*q - 6, -3*x + 19 = v*q + 7. Is 5 a factor of x?
False
Suppose 3*l - 5 = -2. Is 16 a factor of 8 + -5 + 39/l?
False
Let z(v) = -v**2 - v + 1. Let a be z(5). Let r = 0 - a. Is 14 a factor of r?
False
Is 16 a factor of (-8 + 120)*(-1 - (-3 + 0))?
True
Let p = 31 - -26. Does 16 divide p?
False
Suppose 0 = -11*w + 10*w + 22. Is 22 a factor of w?
True
Let m = -32 + 32. Suppose 0 = 4*k - 12, 5*y - 2*k = k + 1. Is 6 a factor of (-3 + m + 12)*y?
True
Let y(l) = 3*l - 3. Let n be y(3). Suppose -2*c + 26 - n = 0. Is 3 a factor of c?
False
Let l(a) = a**2 - 9*a - 2. Let r be l(8). Let u(h) = -h**3 - 9*h**2 + 8*h - 4. Does 9 divide u(r)?
False
Let i(u) = 4*u**2 + 6*u - 7. Is 16 a factor of i(-5)?
False
Let s be 6/(-18) + 8/6. Suppose -v + s = 2*q - 3*q, -4*q + 20 = 4*v. Suppose -18 = q*f - 3*f. Is f a multiple of 9?
True
Suppose -5*g + 3 = -3*p + 27, 4*p + 4*g = 0. Suppose 5*u + 86 = 3*b, 4*b - p*b - 6 = -4*u. Is 22 a factor of b?
True
Let f(s) = 11*s**2 + s. Is 5 a factor of f(-1)?
True
Let c = 90 + -62. Is 8/c - 54/(-7) a multiple of 4?
True
Let u(t) = 15*t**3 - t - 29*t**3 + 2*t + t**2. Let l = 0 - 1. Is u(l) a multiple of 7?
True
Suppose 0 = -4*l + 2 + 18, 0 = -5*v - 2*l + 35. Is v a multiple of 2?
False
Let i = -5 + 19. Does 14 divide i?
True
Let m = 78 + -29. Is m a multiple of 12?
False
Let j(o) = -o**3 - o**2 - 4*o + 6. Is j(-4) a multiple of 14?
True
Let u(a) = 10*a**3 - a**2. Let w(z) = -z**2 - 6*z + 8. Let k be w(-7). Is 9 a factor of u(k)?
True
Let y = -204 - -380. Suppose 5*l - 4*h + 11 - 25 = 0, -l - 3*h = 1. Suppose -l*g - 2*g = -y. Does 22 divide g?
True
Let c = -1 + 5. Suppose 7*d + 2*w = 3*d + 48, c*d = 4*w + 36. Is d a multiple of 11?
True
Suppose 0*z + 216 = 8*z. Is 6 a factor of z?
False
Let p = 15 + -10. Suppose -o = -1 - p. Is (o/(-7))/((-1)/14) a multiple of 6?
True
Let t = -7 + 10. Suppose v - t*v + 58 = 0. Is v a multiple of 11?
False
Let g = 18 + 27. Suppose 3*u + 8*b = 4*b + 12, -5*u - 5*b + 20 = 0. Suppose -g = -u*y - y. Is 8 a factor of y?
False
Suppose 0 = -3*o + 13 + 41. Is o a multiple of 6?
True
Suppose 0 = j - 22 - 0. Suppose 0 = -u + j + 37. Let l = 89 - u. Does 13 divide l?
False
Suppose -7*g + 2*g = -2*b + 335, -3*b + 520 = -4*g. Is 12 a factor of b?
True
Is 15 a factor of 65/10*(3 + 5)?
False
Suppose -2*r + 348 = 4*z, -3*r - z = -6*z - 577. Is r a multiple of 18?
False
Let r = -49 - -79. Is r a multiple of 15?
True
Suppose -6*g - g = -868. Is 27 a factor of g?
False
Let u = 6 + -6. Suppose u = -b - 3*b + 104. Does 26 divide b?
True
Let u be (-333)/(-36) + (-1)/4. Is 11 a factor of (-3)/(-1)*33/u?
True
Does 16 divide 1*76 - (-2 - -3)?
False
Let c(v) = 2*v - 6. Let a be c(4). Suppose a*y = -3*y. Suppose 0 = -n - 1, y*n - 52 = -3*q + n. Is 13 a factor of q?
False
Let x(y) = -y**3 + 19*y**2 + 8*y - 21. Does 16 divide x(19)?
False
Let z(n) = -n - 4*n - 4*n + 4*n - 7. Is z(-8) a multiple of 22?
False
Let k be (0 - 1) + 2*2. Let v be ((-14)/5)/(k/(-15)). Is 10 a factor of 4/v + (-272)/(-28)?
True
Suppose 0 = -2*i - 2*a - 6, -a + 3 = -4*i - 2*a. Suppose i = -2*g - 3*g + 50. Let h = g + 10. Is 17 a factor of h?
False
Does 22 divide 460/(-60)*-6*6/4?
False
Suppose -2*f + 181 = -97. Is 23 a factor of f?
False
Suppose 10 = -8*t + 3*t. Let q = t - -7. Let j(n) = 6*n - 2. Does 14 divide j(q)?
True
Let s(u) = 18*u**2 + u + 1. Is s(-1) a multiple of 6?
True
Let f(p) be the second derivative of p**3/3 + p. Suppose -21 + 7 = -2*z. Does 14 divide f(z)?
True
Let w(o) = 39*o**2 - o - 1. Let n be w(-1). Suppose -z = 5*v + z - 173, -v = -4*z - n. Suppose 2*b - v - 17 = 0. Is b a multiple of 13?
True
Let l(a) = -3*a**2 + a - 2. Let x be l(2). Is -18