or of q?
True
Suppose 16*w - 1166 - 770 = 0. Does 9 divide w?
False
Let n be (-5 - -10)*(-3)/(-5). Suppose -3*l - 3 = n*g - 6*g, -l = g - 7. Suppose -44 = -4*q + h, -l*q - 4*h + 64 = q. Is q a multiple of 6?
True
Suppose 2*d = 11 - 5. Let q(r) = r**3 - 2*r**2 + 4*r - 3. Is q(d) a multiple of 9?
True
Let o = 0 - 0. Suppose 0 = 5*x + 4*z - 218, o = -2*x - x + 3*z + 120. Does 14 divide x?
True
Let f(n) = -n**3 - 15*n**2 - n + 29. Is f(-15) a multiple of 12?
False
Suppose 5*a - 397 - 198 = 0. Does 17 divide a?
True
Suppose -156 = 2*h - 4*h + 5*w, 0 = -5*h + 5*w + 390. Does 26 divide h?
True
Let i(s) = s**3 + 7*s**2 - 2*s - 8. Let m(c) = c + 1. Let l(u) = -i(u) + 2*m(u). Does 14 divide l(-8)?
True
Suppose 4*i - 131 = 3*a, -3*a + 68 = 2*i + 7. Is 8 a factor of i?
True
Let z be 6/9 + (-118)/6. Let a = -11 - z. Suppose 0 = -2*i + a + 14. Is 4 a factor of i?
False
Suppose 4*r - 22 = -3*z + z, 4*z - 4*r = -16. Suppose -z = m - 2. Suppose l = -m, 0*l + 4*l - 126 = -5*h. Is h a multiple of 11?
False
Suppose 3*t - 4 = 8. Let s be t*1 + (-2 - -3). Suppose -2*u + 4*r = -u - 24, 3*u + 13 = -s*r. Is 3 a factor of u?
False
Let q(u) = u + 5 - 2*u**3 + 3*u**3 + 7*u**2 - 2*u**3. Is q(5) a multiple of 20?
True
Is 10 a factor of (-31)/(4/(-4)) + -1?
True
Let h(k) = -9*k**3 - k - 2. Does 4 divide h(-1)?
True
Suppose -2 = p - 11. Let j be 1 + (p/3 - 2). Suppose j*l - 50 = 2. Is 13 a factor of l?
True
Suppose 2*v = 3*m + 132, 316 = 5*v - 4*m - 28. Suppose 0*d - 3*d + v = 0. Does 11 divide d?
False
Suppose 5*x + 64 = -26. Let i = 33 + x. Let h = i - 9. Is 6 a factor of h?
True
Let w(y) = -y**3 + 3*y**2 - 3*y + 5. Let g be w(4). Let s = -9 - g. Is s a multiple of 6?
False
Let i(d) = 2*d**2 + 3*d + 3. Let o = 16 - 8. Suppose -5*s + 3*l = o - 2, -2*l - 9 = s. Is 6 a factor of i(s)?
True
Suppose -4*k = 3*m - 4*m + 5, 5*k + 10 = 0. Is (71 + m/(-1))/2 a multiple of 10?
False
Suppose 0 = 3*t + 3, 0 = -2*r + 2*t + t + 7. Suppose -5*m + 0*d + d + 6 = 0, 3*m + r = 2*d. Suppose -2*f - m*f + 20 = 0. Is f a multiple of 5?
True
Let m = 9 + -11. Is 9/m*(7 - 9) a multiple of 3?
True
Suppose 4*r = -3*m - m + 128, -4*m + 113 = -r. Is m a multiple of 29?
True
Suppose 0 = 3*g - 510 - 480. Is g a multiple of 33?
True
Suppose -b + 250 = 4*b + 5*y, 0 = -3*b + y + 130. Suppose 4*w = b - 9. Is w a multiple of 2?
False
Suppose 21 = 3*i - 0*i. Does 3 divide i?
False
Suppose -5*z = -4*z. Suppose -61 = c - 6*h + 2*h, z = 5*c - 4*h + 305. Let y = -35 - c. Is y a multiple of 13?
True
Let k(u) be the first derivative of -u**3/3 - 5*u**2 - 3*u + 2. Let c be k(-7). Let o = c - 5. Is o a multiple of 6?
False
Suppose -b = 3*s - 5*b + 31, -5*s = 3*b + 42. Let v be 6/s*3/(-2). Is 12 a factor of 26 + 6/3 + v?
False
Suppose -5*n + u = -136, 4*u + 2 = -2. Is n a multiple of 18?
False
Let i = -32 - -34. Is 2 a factor of i?
True
Let j be (6/(-5))/(4/(-10)). Is 25 a factor of 27 + 4/(-6)*j?
True
Is 12 a factor of -30*((-2)/12 - 69/18)?
True
Suppose 3*p - 12 = -2*i, -2 = 5*p - 4*p. Let a = i + 22. Is 12 a factor of a?
False
Suppose 0 = -2*j + j - 3*r + 97, 3*j - 277 = 5*r. Is j a multiple of 19?
False
Let q = -174 + 249. Does 25 divide q?
True
Let d(c) = 7*c**2 + 12*c - 14. Let x(w) = -13*w**2 - 23*w + 27. Let v(r) = 11*d(r) + 6*x(r). Let f be v(-7). Is (f/3)/(2/42) a multiple of 3?
False
Let r(m) = 5*m - 4. Let x(d) = -4*d + 3. Let s(f) = -5*r(f) - 6*x(f). Does 5 divide s(-3)?
True
Suppose -r = r - 44. Let m = r - 4. Is m a multiple of 9?
True
Let o(y) = -7*y - 5. Is 9 a factor of o(-2)?
True
Let l = 1 - -2. Suppose i - a - 26 = 58, -l*a = -5*i + 412. Suppose -p - 3*p = -4*k + i, 0 = -5*k + 4*p + 96. Is 7 a factor of k?
False
Let l(k) = k**3 + 1. Let w(s) = -30*s**3 + 2*s**2 - s + 4. Let d(i) = 4*l(i) - w(i). Is d(1) a multiple of 13?
False
Let h(l) = 11*l. Let s be h(1). Suppose -3*a - s = -4*f - 0*a, -4*a = -12. Suppose -v + 6*v - 225 = -5*b, -25 = -f*b. Is v a multiple of 20?
True
Is 6 a factor of (24/(-20))/(4/(-480))?
True
Suppose -5*t - 5 - 1 = -4*r, r - 3 = 2*t. Let z be ((-2)/6)/(r/12). Does 8 divide (104/12)/(z/6)?
False
Suppose -6*x = -2*x - 132. Does 11 divide x?
True
Let q(f) = -f**2 - f + 1. Let x be q(-2). Let k be x - 6/(-2) - -1. Suppose k*s + 3 - 126 = 0. Is s a multiple of 14?
False
Let a(h) = -4 + h**2 + 4*h - 3 - 6*h. Does 11 divide a(7)?
False
Suppose -2*o - 2*x - 6 = 0, 5*x - 9 - 16 = 3*o. Let j be (o - 1) + 0/1. Is (15/j)/((-1)/2) even?
False
Let s(c) = -7*c + 5. Suppose v = -v + 4. Let y be (4/2)/((-1)/v). Is s(y) a multiple of 12?
False
Let w(c) = -c**2 + 2*c + 3. Let l = 2 + 1. Let d be w(l). Is (d + 1 - -1) + 2 a multiple of 2?
True
Let b(m) = 2*m**2 + 4*m - 4. Let h be b(3). Suppose k = -0*k + h. Is 11 a factor of 3*(-1 + 0) + k?
False
Let o = 31 + -28. Is 3 a factor of o?
True
Suppose -12 = -w + 2*z, -2*w + z + 6 = -12. Is 8 a factor of w?
True
Suppose -5*a = 4*i + 77, 4*i + a = -i - 91. Let n = 26 + i. Is 4 a factor of n?
True
Let u(y) = -y**2 + 5*y - 4. Let x(m) = -m + 1. Let f(l) = u(l) + 4*x(l). Let a be f(1). Is 7 a factor of -3*(28/(-6) + a)?
True
Let p(f) = -19*f + 23. Let h(k) = -9*k + 11. Let l(g) = -9*h(g) + 4*p(g). Is l(7) a multiple of 14?
True
Suppose 3*d - 7*d = -5*a + 86, 3*d + 68 = 4*a. Let n = 32 - a. Suppose -b = w - 3 + 1, -5*b = w + n. Is w a multiple of 7?
True
Is 12 a factor of 0 + -4 + (-109)/(-1)?
False
Suppose 3*v + 27 = -5*z + 3*z, -4*v - 11 = z. Let l = 146 + -121. Let h = z + l. Is h a multiple of 8?
False
Let f be (57/5)/(1/15). Suppose f = 4*t + 43. Is 17 a factor of t?
False
Let n(z) = 2*z - 12. Let v be n(9). Let q be 40/v - 8/12. Suppose 0*y = -2*y + 2*a + q, 4*y = -3*a + 33. Does 3 divide y?
True
Suppose -4*m = -6*m + 48. Is m a multiple of 3?
True
Let g = 11 - 5. Suppose 0 = i - g*i. Is 3 a factor of 2 - (-5 + i - -2)?
False
Let g(d) = -2*d + 18. Does 6 divide g(0)?
True
Let v be (-154)/(-42) + (-4)/6. Suppose v*q = -q + 24. Is 2 a factor of q?
True
Let k(p) = -p**3 - 4*p**2 + 2*p + 3. Let i be k(-4). Let z be (-8)/(-5) - 2/i. Suppose -2 = -z*g + 10. Is 4 a factor of g?
False
Suppose -2*y - 9 = 3*a - 6*a, 3*y + 4*a = 29. Suppose -8 + 62 = y*z. Does 6 divide z?
True
Suppose 3*p - 1 - 14 = 0. Let z be 1/p + 12/(-10). Let c(r) = -10*r - 1. Does 9 divide c(z)?
True
Is 3/((-4)/((-416)/6)) a multiple of 13?
True
Let b be 4 - 4/2 - -16. Does 17 divide 1004/b - 6/(-27)?
False
Suppose -119*n = -121*n + 370. Is 28 a factor of n?
False
Suppose 0*n + 111 = n - 3*u, 369 = 4*n + 3*u. Does 24 divide n?
True
Is (6/(-8))/((-5)/620) a multiple of 31?
True
Let a = -9 - -12. Suppose -a*f = 2*f - 10. Suppose 0*l + 35 = 3*l - r, -f*l - r = -25. Is l a multiple of 6?
True
Suppose -5*q - 140 = 4*w, 3*w + 128 = -0*w + 2*q. Let y = 91 + w. Is 24 a factor of y?
False
Let w(h) = 5*h**2. Let d be w(1). Suppose -4*n = d*p - 20, -2 = -p + 2*n + 2. Suppose 2*q + p - 28 = 0. Is q a multiple of 11?
False
Let x(k) = -k**2 - 11*k - 5. Let y be x(-10). Suppose 0 = 3*g - y*g + 58. Does 18 divide g?
False
Suppose -5*d = -126 + 26. Suppose 0*x = -2*x + 14. Suppose x*c - d = 2*c. Is 2 a factor of c?
True
Suppose 5*v + 9 = -2*z, 4*v + 0*v - 4 = -3*z. Let p be 94/z - 3/(-12). Is (p/(-10))/(4/(-30)) a multiple of 6?
False
Suppose -5*i + 4*r = -114, 2*i - i + 2*r - 20 = 0. Is i a multiple of 9?
False
Let q = 123 + 87. Let m = q + -134. Does 26 divide m?
False
Suppose -2*m = 5*i - 20, 3*i - 16 = -i + 3*m. Is 12 a factor of (32/4)/(i/34)?
False
Let u be 1*-14 + 2 - 0. Let g(x) = -x**2 - 5*x - 6. Let a be g(-6). Is (a/10)/(u/40) a multiple of 2?
True
Suppose g - 3*k - 3 = -2*k, -g = 3*k + 9. Suppose 3*a + a - 8 = g. Is a/(-7) - 88/(-14) a multiple of 6?
True
Let n = 403 + -123. Does 56 divide n?
True
Let d be (-34)/(-85) - (-38)/5. Let s = d + 1. Is 3 a factor of s?
True
Let t(l) = -l**3 + 10*l**2 + 4*l - 2. Is 34 a factor of t(9)?
False
Let a = 58 + -51. Is 2 a factor of a?
False
Let c(x) = 126*x - 3. Does 14 divide c(1)?
False
Let y(k) = k**2 + k. Let p be y(-1). Suppose -295 = -5*x - 0*q - 5*q, p = 5*q + 25. Is x a multiple of 17?
False
Let l = 172 - 89. Is l a multiple of 12?
False
Suppose -2*n - 12 = -5*n. Is (1 - n/8)*36 a multiple of 8?
False
Let w(s) = -3*s - 4. Let l be w(-3). Let a(j) be the third derivative of j**6/120 - j**5/15 + j**3/6 - j**2. Is 13 a factor of a(l)?
True
Let o(p