11 divide t?
False
Let v(z) = z**2 + z - 6. Let c be v(-3). Suppose c*n - 4*n - 5*x = -132, 3*n + 4*x = 99. Is 8 a factor of n?
False
Let b = -120 - -213. Does 20 divide b?
False
Suppose -c = -4*h + 18, c = -2*c + 4*h - 14. Let q be (c/(-4))/(1/(-18)). Is 13 a factor of (3/q + -2)*-21?
False
Let m = -2 - -4. Let i(y) = 2*y**2 - 4*y. Let b(x) = -3*x**2 + 8*x + 1. Let f(s) = 2*b(s) + 5*i(s). Is f(m) a multiple of 5?
True
Let a be 112/2 + -1 + -1. Let y be (3 + a/(-14))*7. Let w(h) = h**3 + 7*h**2 + 2*h + 2. Does 13 divide w(y)?
True
Let y(q) = -q**2 + 3*q + 12. Let n be y(8). Let c be ((-14)/(-6))/((-1)/(-18)). Let a = c + n. Does 14 divide a?
True
Let h = -128 - -406. Suppose 3*f = -110 + h. Is 28 a factor of f?
True
Suppose -64 = -5*d + 61. Let y = -14 + d. Is 9 a factor of y?
False
Let n(a) = -16*a + 9. Is 29 a factor of n(-6)?
False
Suppose -2*j + 5*j - 15 = 0. Suppose 0 = 3*g + 5*l - 76, -2*g + 1 + 58 = -j*l. Is 17 a factor of g?
False
Let h = -3 - -4. Let d = h + 1. Suppose v + d*v = 21. Does 7 divide v?
True
Let w(m) = 2*m + 1. Let i be (1*(-1 - 0))/(-1). Let d be w(i). Suppose 0 = -3*x + d*s + 132, -2*s = 7 + 3. Does 14 divide x?
False
Does 19 divide ((-152)/(-3))/((-18)/(-27))?
True
Let v = 60 - 20. Suppose -5*f + 52 = 3*m, 2*f - v = -0*m - 2*m. Is m a multiple of 8?
True
Let s = 114 - -78. Is 32 a factor of s?
True
Suppose 3*a - a - 298 = 3*o, -a + 139 = o. Does 14 divide a?
False
Let t be (-1156)/(-20) + (-1)/(-5). Let z = -11 + t. Is z a multiple of 10?
False
Suppose 2*p + 3448 = -r, 2*r = 4*p - 0*p + 6904. Is 3 a factor of p/(-90) - 2/12?
False
Suppose 3*s = n + 2*s - 27, 0 = -3*n + 4*s + 80. Suppose 2*w = n + 10. Is w a multiple of 10?
False
Let p(a) = -a**3 - 5*a**2 - 2*a - 6. Let c be p(-5). Suppose -24 = -3*q + u + 49, c*q - 92 = -4*u. Is 12 a factor of q?
True
Let o = 57 - -3. Does 15 divide o?
True
Suppose 0 = 3*l - 0 - 12. Suppose 106 = 3*i + 2*c, 3*i + 4*c + 12 = l*i. Suppose -2*f + 5*f - i = 2*w, -12 = -2*f - w. Does 8 divide f?
True
Let m be ((-3)/(-6))/((-2)/(-340)). Let w = m + -55. Is 15 a factor of w?
True
Let s(g) = -g + 6. Let l be s(4). Suppose -74 = -2*x + 3*t, -2*t + 54 = 4*x - l*x. Is 15 a factor of x?
False
Let u(w) = 2*w. Let v be u(-1). Is 12 a factor of 32 - v/(-3)*-3?
False
Let d = 42 - 28. Let x = d - 5. Let l = x + 7. Does 7 divide l?
False
Let z = -41 + 82. Does 12 divide z?
False
Let r = 7 + 2. Is r a multiple of 9?
True
Suppose 0 = -0*g - 3*g - 4*x + 26, -18 = g - 4*x. Does 2 divide g?
True
Let b be (-108)/(-9)*(-3)/4. Let l(j) = -j + 11. Is 4 a factor of l(b)?
True
Let i = 15 - -2. Let u = i + -7. Is 10 a factor of u?
True
Let d = 73 - -10. Suppose -w + 3*w = -3*o + d, -2*w + 33 = o. Is o a multiple of 18?
False
Suppose 2*t + 1 = -5*d - 2*t, 0 = 5*t + 20. Let l(o) = 4*o**2 + 2*o + 27. Let j be l(-6). Suppose -5*z + x = -j, 0*x - x + 97 = d*z. Does 16 divide z?
True
Let i be 92/6 - (-3)/(-9). Suppose 3*g = -0*g + i. Suppose -k + g*k - 97 = 3*v, -3*k = 4*v - 54. Is 22 a factor of k?
True
Is (12/10)/(6/435) a multiple of 17?
False
Suppose 5*q = 2*z + 2*q + 73, -q = -4*z - 161. Let c = z - -109. Is 31 a factor of c?
False
Does 9 divide (8 - 4/2)*(-54)/(-2)?
True
Suppose -5*d + 5 = -15. Suppose 8 = 4*i - 0*i. Suppose -i*g = d*q - 176, 0 = 5*q - 4*g - 236 + 16. Is 13 a factor of q?
False
Let a(z) = 2*z**2 + 3*z - 5. Let x be a(2). Let w(d) = 3*d - 11. Is 16 a factor of w(x)?
True
Does 7 divide 12 + (0 - 4) + (2 - 3)?
True
Let w(m) = -m**2 - 6*m - 4. Let z(i) = 5*i. Let h be z(-1). Let v be w(h). Let a = 14 - v. Does 13 divide a?
True
Suppose -70 = 13*k - 15*k. Let v = k - 15. Is v a multiple of 15?
False
Let s be ((-6)/8)/(4/16). Is 7 a factor of s/(-3)*(0 + 7)?
True
Suppose 4*q + 3*a - 12 = 0, -4*a = -0*a - 16. Let x(g) be the second derivative of g**4/12 + 15*g**2 - 2*g. Is x(q) a multiple of 15?
True
Suppose 6 + 2 = 2*f. Does 17 divide 828/(-12)*f/(-6)?
False
Let l be (-4)/(-18) + (-136)/(-36). Let p = 41 + l. Does 15 divide p?
True
Let z(n) = 2*n - 3. Let u be z(5). Suppose -3*j + 32 = -u. Does 8 divide j?
False
Suppose -4*h + 0*s = 3*s - 97, 0 = -2*s - 10. Is 9 a factor of h?
False
Let o(w) = -w**3 + 7*w**2 - w + 6. Let z = 3 - -3. Is o(z) a multiple of 12?
True
Let h(k) = k**2 + 4*k + 9. Let o be h(-7). Suppose w + w = o. Is w a multiple of 5?
True
Let l(w) = 16*w**2 + 3*w - 4. Let a be l(-4). Suppose b = 5*b - a. Is b a multiple of 21?
False
Let k = 16 + -12. Does 2 divide k?
True
Suppose 0 = -2*k + 40 - 8. Is k a multiple of 11?
False
Let d = 125 - -43. Is 14 a factor of d?
True
Let z = -2 - -4. Suppose -5*g = 2*i - 52, -z*g + 40 = g - i. Is g a multiple of 7?
False
Let h = -33 - -53. Is 10 a factor of h?
True
Suppose 40 = -4*m + 232. Is 15 a factor of m?
False
Suppose -h = -40 + 3. Does 7 divide h?
False
Let f be 8/(-28) - 24/14. Let y = 16 - f. Does 18 divide y?
True
Let f(w) = 11*w + 1. Let j be (0/((-6)/2))/(-1). Suppose 4 = -j*q + 4*q. Is f(q) a multiple of 6?
True
Let o(x) = 14*x**2 - x. Is 18 a factor of o(2)?
True
Suppose -n + 2*o = -8, 2*n - 3*o - 4 = 17. Does 6 divide n?
True
Let l be 0/(3 + -1) + 1. Let j(o) = 4*o**3 + o**2 - 2*o + 1. Is 4 a factor of j(l)?
True
Let k(z) be the third derivative of -49*z**6/120 - z**5/60 - z**4/24 - z**3/6 + z**2. Does 12 divide k(-1)?
True
Let k be (0 - 0 - -5) + -1. Suppose k = -j - b, 2*j + 0*b = 3*b + 7. Is 6 a factor of (-11)/j - (1 + -2)?
True
Is 4 a factor of 40/(-12) + 2/6 - -70?
False
Suppose -b + 11 = s, 3*b - 25 = -4*s + 14. Let h = s + 8. Does 14 divide h?
True
Let m = -61 - -140. Let h = m - 53. Is 14 a factor of h?
False
Let m be -10*(9/15 - 1). Suppose -m*n - 3 + 15 = 0. Suppose -5*c + r + 28 = -63, 0 = -n*c - 5*r + 49. Does 9 divide c?
True
Let f be 24/132 + 167/(-11). Let j = -9 - f. Is j a multiple of 3?
True
Let c be (6/4)/(12/(-16)). Let u = -1 - c. Is 5 a factor of u/2*(5 - -21)?
False
Does 6 divide (-40)/6*(-18)/12?
False
Let a = 10 + -5. Let g = -14 + 16. Suppose g*h = -3*f + 30 - 6, -a*h + 2*f = -41. Is h a multiple of 5?
False
Let k(s) = 2*s - 5. Let i be k(5). Suppose 0 = -i*r - 5*z, -2*z + 5 = -2*r - 5*z. Does 3 divide r?
False
Is (-1)/(-1)*(1 + 9) a multiple of 3?
False
Let b(v) be the third derivative of -v**6/360 + v**5/40 - v**4/8 - 3*v**2. Let q(a) be the second derivative of b(a). Is q(-6) a multiple of 4?
False
Suppose -4*n + 3*b = -3*n - 2, 3*n + 4*b = 32. Let d(g) = -g + 11. Let q be d(n). Suppose 0 = -q*f - 2*f + 170. Is f a multiple of 17?
True
Let a be (-16)/(-56) + (-114)/7. Let c be (-18)/(a/(-6) - 3). Suppose -4*p = -0*p - 3*h - 70, -4*p = 5*h - c. Is p a multiple of 10?
False
Let d = -2 + -2. Let x(s) = -3*s - 9 + 5 - 2. Is x(d) even?
True
Is 15 a factor of ((6/4)/3)/((-39)/(-4212))?
False
Let o be 32/(-20)*(-10)/4. Suppose -o*d + d = -12. Is 10/d + 1/(-2) a multiple of 2?
True
Let y be 2/(4/(-544)*-4). Let s = 76 + -44. Let v = y - s. Is v a multiple of 10?
False
Let l = -4 + 4. Suppose 0*h + 3*h - 39 = 2*c, 5*c + 15 = l. Is 5 a factor of h?
False
Let t = 117 - 14. Is 19 a factor of t?
False
Let k(c) = c**3 + 15*c**2 - 17*c + 12. Is k(-16) a multiple of 8?
False
Let s = -8 + 11. Suppose -y - 4*b + 68 = 3*y, s*b = 0. Does 10 divide y?
False
Is 11 a factor of 128/6*18/4?
False
Let w(j) = j + 4. Let x be w(-6). Let u be 462/7*x/3. Does 17 divide (-8)/u + 414/22?
False
Suppose 0 = 2*n - 3*n + t + 10, 5*n + t - 20 = 0. Let k = -5 + n. Suppose 3*w = -k + 24. Does 4 divide w?
True
Let q be -2 + 2 - 0/1. Suppose -2*w + 28 = -2*y, 5*w + 6*y - 2*y - 25 = 0. Let n = w + q. Is n a multiple of 5?
False
Suppose 5*r - 71 = 4*c - 14, 2*r - 30 = -2*c. Let n(g) = -g + 1. Let f be n(-4). Let o = r + f. Is o a multiple of 10?
False
Let j(h) = 8*h**2 - 12*h - 2. Is 13 a factor of j(4)?
True
Suppose 4*i + 2*g = 480, 4*g = -i + 3*i - 220. Does 13 divide i?
False
Suppose 0 = -0*z + 2*z - 3*k - 7, -25 = -5*z + 5*k. Let f(h) = h**2 - 9*h + 12. Let v be f(z). Does 7 divide 26/v - 6/(-12)?
True
Suppose -38 = 5*q - 213. Does 12 divide ((-42)/q)/(1/(-10))?
True
Suppose -3*l + 25 = v, -5*v + 137 = -0*l + 3*l. Does 7 divide v?
True
Let x(f) = 2*f**2 - 2*f + 1. Is x(3) a multiple of 9?
False
Let i(w) = 2*w**2 + 4*w - 6. Let k be i(6). Suppose 3*m = -m - f + 126, 3*m - k = -3*f. Is m a multiple of 16?
True
Suppose 144 = 4*v + 4*l + 8, -3*l - 