 z?
False
Let c = -7 - -10. Suppose 7 + 29 = c*o. Is 12 a factor of o?
True
Suppose -5*o = -5*r + 340, -o - 2*o - 3*r = 192. Let v = o - -118. Does 12 divide v?
False
Suppose -2*g + 785 = 3*g. Is g a multiple of 22?
False
Let s be (-13)/(-78) + (-11)/(-6). Suppose 3*f - 4*w = s*f + 30, -2*w = f. Is 6 a factor of f?
False
Suppose -7*v + 650 = -2*v. Is 6 a factor of (-2)/(-11) + v/11?
True
Suppose -7*n + 8*n - 39 = 0. Does 5 divide n?
False
Suppose -13*z = -7*z - 420. Does 22 divide z?
False
Let t(w) = -w**3 - 9*w**2 - 9*w - 7. Let n be t(-8). Let d = n + 7. Let a(s) = s**3 - 8*s**2 + s - 4. Is a(d) even?
True
Let l(v) = v**3 + 13*v**2 + 12*v + 10. Let q be l(-12). Let a(r) = -r**2 + 12*r + 7. Is a(q) a multiple of 13?
False
Let n be 2874/45 + 4/30. Suppose 1 + 7 = g - f, 5*g - n = -3*f. Is 5 a factor of g?
False
Suppose -3*r = -v - 56 - 22, 39 = 2*r - 5*v. Does 6 divide r?
False
Let v(b) = 11*b - 1. Let n = -3 + 5. Is v(n) a multiple of 7?
True
Let d be (-2)/(((-3)/18)/1). Let w = d + -8. Is w even?
True
Let v be (-6)/4 - 7/(-2). Suppose -5*g = v*g - 133. Does 8 divide g?
False
Suppose -7*n = 2*n - 1404. Is 12 a factor of n?
True
Let c(m) be the first derivative of -7*m**3 - 3*m**2 - 7*m - 1. Let v(p) = -64*p**2 - 17*p - 20. Let z(y) = 17*c(y) - 6*v(y). Is z(1) a multiple of 14?
True
Suppose 5*n - z = 485, 5*n - 2*z = 3*z + 505. Let m = n + -56. Let r = 66 - m. Does 9 divide r?
False
Let a(d) be the second derivative of -4*d**3/3 - 3*d**2 - 4*d. Let k be a(-4). Suppose -k = -2*j + 58. Is j a multiple of 14?
True
Let c be 84/16 - (-2)/(-8). Suppose 0 = -c*i - j + 22, -i + 11 = 2*j - 4*j. Does 15 divide 4*3/4*i?
True
Let a be (2/(-5))/(2/10). Suppose 0 = 2*y + 4*v - 42, 0*y - 68 = -4*y - 4*v. Let f = y + a. Is f a multiple of 11?
True
Let k(g) be the first derivative of -g**4/4 + 2*g**3 - 2*g**2 + 3*g + 1. Is k(2) a multiple of 6?
False
Let n(t) = t**3 + t**2 + t. Let o(z) = -4*z**3 + 2*z**2 + 3*z - 5. Let y(c) = -3*n(c) - o(c). Let s be y(6). Is (-5)/(-2)*8/s a multiple of 2?
True
Suppose -2*z + 3*h + 67 = 6*h, 3*z - 3*h - 63 = 0. Suppose 0 = 4*g + 24 + 16. Let m = z - g. Is 14 a factor of m?
False
Let g = 32 - 0. Is 8 a factor of g?
True
Let g = 50 - -88. Is 20 a factor of g?
False
Suppose 2*x - 7 = -2*u - 1, 4*x + 3*u - 12 = 0. Suppose x = -l + 2*l. Suppose 0 = -y + 9 + l. Is y a multiple of 6?
True
Let f(y) = -44*y - 4. Let n be f(-5). Suppose -2*o - 4*c = -0*o + 218, 3*c = -2*o - n. Does 9 divide o/(-12) + 1/4?
True
Suppose -3*d + 64 = -d + 3*h, 0 = -3*d - 4*h + 98. Is 13 a factor of d?
False
Let f = -8 - -6. Is -58*f/(-4)*-2 a multiple of 17?
False
Suppose -101 = -2*c + 67. Suppose -5*y = -y - c. Is y a multiple of 10?
False
Let n(g) = 2*g + 7. Does 5 divide n(4)?
True
Let j be -28*-3*(-2)/6. Let d be (1/2)/((-1)/86). Let o = j - d. Is o a multiple of 14?
False
Suppose r - 99 = -2*r. Let j = r + -13. Is 10 a factor of j?
True
Suppose 3*t + 0*t = 135. Does 7 divide (-9)/t - 106/(-5)?
True
Suppose 2*q + 4*k - 48 = 0, 3*q + 4*k = 70 + 2. Is 13 a factor of q?
False
Let d = 11 + -5. Suppose 2*k = 4*i - 114, -3*i + 109 = 2*k + d. Is 17 a factor of i?
False
Let z = -5 - -103. Is 17 a factor of z?
False
Is (-116)/4*(0 + -3) a multiple of 18?
False
Suppose 2*z + 3 = -3*m + 3*z, -5*m + 5*z - 15 = 0. Suppose -r - 4*y - 13 = m, -y + 3 - 4 = r. Suppose -x + r = -4. Is x a multiple of 5?
False
Let k be (1 - 1) + -36 + 1. Let w be ((-84)/(-4))/3 - -3. Is 12 a factor of (-7)/k - (-238)/w?
True
Let c = 185 - 81. Does 24 divide c?
False
Let x(w) = -1 + 5 + w - 5. Is x(7) a multiple of 6?
True
Let h(b) = b**2 - 7*b + 7. Is h(7) a multiple of 7?
True
Let v = 111 + -15. Does 35 divide v?
False
Let b = 24 - -4. Let i = 4 + b. Is 16 a factor of i?
True
Let h be (4/2)/(-2) + -3. Let c(k) be the third derivative of -7*k**4/24 - 2*k**3/3 + 5*k**2. Does 12 divide c(h)?
True
Let m = 0 - -4. Suppose v + m*w - 41 = -2, 2*v - 5*w = 91. Does 23 divide v?
False
Let r be 16/(-6)*(2 - 20). Suppose 1 = -5*t + 11. Suppose t*h + 0*h = r. Is 12 a factor of h?
True
Let k be 1 + (-2 + 3)/1. Does 3 divide (-3)/6 - (-19)/k?
True
Let v be (-34)/(-10) + 14/(-35). Does 11 divide v/1 + (0 - -23)?
False
Suppose -4*o - o - 115 = 2*j, 0 = 2*o + 10. Does 7 divide 130/6 - (-30)/j?
True
Suppose 7 = 2*u - 13. Suppose u = -2*j, 2*j + 8 = 2*s + 2. Let q = s - -17. Does 5 divide q?
True
Suppose 3*k = m - 8, 18 = 3*m + 2*m - 4*k. Suppose -3*z + 1 = -5*s, -z = 2*s + m - 6. Let q = z + 26. Is q a multiple of 14?
True
Suppose -16 = 4*x, 3*c = -x + 8 - 30. Does 12 divide 552/20 + c/10?
False
Suppose -3*o + 21 = 3*u, -7 = -2*o + o - 2*u. Let h = o - -66. Is 21 a factor of h?
False
Let y be (-24)/(-32) + 50/8. Let d = -3 + y. Let z = 10 - d. Is 2 a factor of z?
True
Let j(a) be the second derivative of -a**3/6 + 3*a**2/2 - 5*a. Is 6 a factor of j(-9)?
True
Suppose -2*a = -5*f - 16, -3*f - 6 = -a - f. Let g(p) = -3*p**2 + 8*p. Let j(w) = 2*w**2 - 7*w. Let t(c) = -5*g(c) - 6*j(c). Is t(a) a multiple of 8?
True
Let p(l) = 3*l - 3. Let y be p(2). Suppose -3*u + 52 = -3*w + 7, 0 = -y*u - 5*w + 53. Let j = -5 + u. Is 7 a factor of j?
False
Let f = 75 - 50. Suppose 5*c = f, -2*a - 30 = -3*a - 5*c. Is a even?
False
Suppose 2*o + 3*o = 0. Suppose -5*y + 13 - 3 = o. Is y a multiple of 2?
True
Is -1 - -1 - 2142/(-17) a multiple of 9?
True
Let r(a) be the first derivative of a**2 - 5*a - 3. Let o be r(4). Suppose 5*y - 99 = -q, 60 = o*y + y - 4*q. Is y a multiple of 15?
False
Let v = 553 - 322. Does 38 divide v?
False
Suppose -102 - 18 = -2*n. Suppose -a - n = -5*a. Suppose -5*z = -40 - a. Is 11 a factor of z?
True
Let x = -2 + 5. Suppose 2*m = -3*m + x*h + 13, -2*h + 3 = -m. Is 3 a factor of m?
False
Let q(g) = 7*g**2 - 8*g - 5. Does 2 divide q(3)?
True
Let p = -3 + 4. Suppose p - 25 = -l. Is l a multiple of 12?
True
Let i(k) = -k + 5. Let m be i(9). Let a = 12 + m. Is 8 a factor of a?
True
Suppose 3*w - 140 = 430. Is 19 a factor of w?
True
Let z = 213 + 334. Is z a multiple of 62?
False
Let r(d) = 32*d + 1. Suppose -5 = -2*i - 1. Let u be r(i). Suppose 4*o - u = -o. Is o a multiple of 13?
True
Suppose 25 - 3 = -2*b. Let a(m) = m**2 + 10*m + 4. Is a(b) a multiple of 15?
True
Let p be (-28)/(-12)*15/(-1). Let w be 478/7 - (-10)/p. Suppose 0 = 5*s - s - w. Is s a multiple of 17?
True
Suppose 0 = -5*l + 20, i + 2*i = 3*l + 33. Let p be -60*-2*3/i. Suppose -2*o - 25 = -3*o - 5*z, -o + p = 4*z. Is o a multiple of 10?
True
Let a be -5*(-8)/20 - -4. Let u(f) = f**2 + 8*f - 14. Is 14 a factor of u(a)?
True
Suppose -2*j - 1 = -7. Suppose 14 = z + 4*g + 2, j*g = 2*z - 2. Suppose -5*u + s - 3*s + 124 = 0, -z*u + s + 94 = 0. Is 12 a factor of u?
True
Let m(b) = -b**2 + 5*b - 4. Let x be m(5). Does 12 divide (-1)/(x/2)*78?
False
Let b(c) = c**2 - 3*c + 48. Is b(0) a multiple of 6?
True
Let s(v) = -5*v - 9. Let u = 6 - 13. Does 14 divide s(u)?
False
Let k = 12 + -15. Is 19 a factor of 23 + k - (-1 - -2)?
True
Let b be ((-2)/(-4))/((-4)/(-696)). Let s = b + -59. Is 14 a factor of s?
True
Let n(k) = -39*k**2 - 2*k. Let o(m) = -116*m**2 - 5*m. Let t(z) = 8*n(z) - 3*o(z). Is t(1) a multiple of 35?
True
Let w(g) be the first derivative of -g**2/2 + 8*g + 8. Does 4 divide w(-8)?
True
Is 7 a factor of (42/(-5))/((-6)/20)?
True
Let c be 2 - (1 - (10 + -2)). Let r be (18/(-4))/(c/(-120)). Let d = 90 - r. Is d a multiple of 15?
True
Suppose 4*z - 2*a - 10 = a, 4*z = -a + 2. Suppose 3*x = 4*x. Is 0 + -13*(x - z) a multiple of 13?
True
Does 22 divide 2 - 6*(-16 - -1)?
False
Let r(g) = g**2 - 7*g + 9. Suppose 2*p = -1 - 7. Let q(s) = -s**3 - 4*s**2 - 2*s. Let w be q(p). Does 14 divide r(w)?
False
Suppose p = -29 + 7. Is (-11)/p + (-59)/(-2) a multiple of 10?
True
Suppose 2 = 5*y - 18. Suppose 3*x + 90 = 3*l, 2*x = l + y - 34. Does 15 divide l?
True
Suppose 23*s - 22*s = 50. Is 21 a factor of s?
False
Let i(g) = 4*g**2 + 2*g - 1. Does 7 divide i(2)?
False
Suppose 0 = -6*q + 4*q + 10, 3*q + 261 = 2*o. Suppose 0 = -5*h - 38 + o. Is 10 a factor of h?
True
Suppose -2478 = -21*t + 2184. Is t a multiple of 6?
True
Suppose -5*v = -20, -148 = -7*j + 2*j - 2*v. Does 28 divide j?
True
Let x(w) = w**2 + 10*w. Let m be x(-10). Let u be (1 - m)/((-4)/72). Is (-464)/u - (-2)/9 a multiple of 13?
True
Let o be -1*6/3 - -2. Suppose o = -k - 0*k - r + 18