False
Let j(n) be the first derivative of n**3/3 + 21*n - 2. Suppose -5*u = -7*u. Is j(u) a multiple of 8?
False
Suppose -2*o - 4*l = -80, -3*o + 168 = o + 4*l. Is 19 a factor of o?
False
Suppose k - 17 = -4*j + 2*k, -3*j - 2*k - 1 = 0. Does 9 divide 87/j - (-2 + 3)?
False
Suppose 5*y - 32 = l, -l + 34 = 4*y + l. Is 7 a factor of y?
True
Suppose 2*w - 35 = n, -2*w + w = -4*n - 147. Let c = 70 + n. Is 11 a factor of c?
True
Suppose -4*h + 7*h + 53 = q, -3*h - 159 = -3*q. Is 11 a factor of q?
False
Suppose 2*q + 32 = q + 2*n, -2*n = -3*q - 104. Is 2/9 - 1288/q a multiple of 12?
True
Suppose 0 = -4*o + 5*s - 8 - 12, -2*s + 8 = -3*o. Suppose 5*k - 16 - 79 = o. Is k a multiple of 6?
False
Let s = -4 + 9. Suppose -s*q = -68 - 47. Is 6 a factor of q?
False
Suppose 0 = -15*x + 21*x - 96. Does 16 divide x?
True
Let c be (-2)/(-4)*-2*4. Let b = -2 - c. Is b even?
True
Suppose 12 = h + 2*h. Suppose s - 19 = f, 0*s + 88 = h*s + 2*f. Let p = -8 + s. Does 13 divide p?
True
Let q be 3/3*(1 - 0). Let g = -11 + q. Is (39/15 - 3)*g a multiple of 3?
False
Suppose 3*j + 129 = -0*x + x, -4*x + 476 = -2*j. Is 13 a factor of x?
True
Let o be 0 - ((0 - -2) + -4). Suppose -4*z = 2*n - o, 3*n - n - z = 7. Is 3 a factor of n?
True
Suppose -76 = -32*f + 31*f. Does 38 divide f?
True
Suppose w - 5*t - 8 = 147, -t + 515 = 4*w. Is w a multiple of 26?
True
Suppose 5*q - 2*c - 20 = 0, -3*q + 5*q + 21 = -5*c. Suppose -q = -a + 2. Suppose -88 = -8*v + a*v. Does 11 divide v?
True
Suppose -5*y + 36 = -y. Is 246/y - 1/3 a multiple of 9?
True
Let g = 9 - -81. Is 18 a factor of g?
True
Is 4 a factor of 20 + 0 + 3 - (1 - 2)?
True
Suppose 21 = 3*w - 0*w. Let d = w - 4. Suppose 4*b - 4 = d*b. Does 4 divide b?
True
Let c(s) = -4 - 3*s**2 - 4*s + 5*s**2 - 3. Does 10 divide c(5)?
False
Let m(g) = g + 13. Let z be m(-8). Suppose 4*q - a = 4*a + 186, z*q - 230 = 5*a. Does 16 divide q?
False
Let g(r) = -r**2 - 12*r + 5. Suppose 2*o + 12 = -2*j, 0*o + 2*o - 4*j + 18 = 0. Does 20 divide g(o)?
True
Is ((-42)/9)/((-20)/90) a multiple of 7?
True
Let x = -12 + 15. Is ((-2)/x)/(8/(-108)) a multiple of 9?
True
Let c = -25 + 59. Suppose k - c = -6. Does 6 divide k?
False
Suppose 17*g - 21*g + 460 = 0. Is g a multiple of 19?
False
Let x(r) = -23*r + 15. Is 38 a factor of x(-7)?
False
Let u be 4/8*(-152)/(-2). Suppose i - u = -i. Does 5 divide i?
False
Is 3 a factor of 0/(-4 + 1) + 10?
False
Suppose -k - 3*k - 28 = 0. Let p = k - -14. Is 7 a factor of p?
True
Let y(n) = -n**3 - 6*n**2 - 6*n - 7. Suppose 5*z = -4*s + 3*s - 6, 0 = -5*s - z - 30. Is 15 a factor of y(s)?
False
Let x(q) = -q**3 + 6*q**2 + 7*q - 5. Let l be x(4). Let p = l - 8. Does 16 divide p?
False
Let n be (-3 + 0 - -3) + 2. Suppose n*t = -4*w + t + 3, 23 = -w - 5*t. Suppose -99 = -4*u - 0*u + 3*x, -4*u + 114 = w*x. Is 9 a factor of u?
True
Suppose q + 39 = 2*r - 6, 0 = -2*r + 3*q + 47. Does 12 divide r?
False
Let h(b) be the first derivative of -b**4/4 + 2*b**3/3 + 2*b - 2. Does 9 divide h(-2)?
True
Suppose 2*a + 5*v - 86 = -0*a, 0 = -2*v - 8. Is a a multiple of 10?
False
Suppose -2*i + 199 = -729. Is i a multiple of 16?
True
Suppose 3*d = -3*j - j + 152, -j + 21 = 5*d. Let c = j + -29. Suppose 4*q - c = q. Is q a multiple of 4?
True
Let w(m) = -6*m - 4. Let p(r) = -18*r - 12. Let z(u) = 3*p(u) - 10*w(u). Is 12 a factor of z(6)?
False
Let h(r) = 4*r - 3*r - 3*r - r. Is h(-8) a multiple of 11?
False
Suppose -12 = 5*c + 18. Let g(o) = o**3 + 8*o**2 + 6*o - 4. Let v be g(c). Suppose -2*l - 19 = -s - 5, 3*s - l - v = 0. Is s a multiple of 5?
True
Let y = -6 - -8. Suppose -y*o + 2 = -6. Is o a multiple of 3?
False
Let j be (-14)/(-3) - 2/3. Suppose 1 = t + j. Is 23 a factor of (-2 - t) + 0 - -53?
False
Let t(b) = -b + 29. Suppose 5*i + 13 = 3*s - 2, -4*i = 5*s - 25. Is 15 a factor of t(i)?
False
Let n(x) = -5*x + 5. Is n(-6) a multiple of 4?
False
Let j be 2/12 + (-479)/(-6). Let x = -44 + j. Is 18 a factor of x?
True
Suppose z - 69 = -0*b - 5*b, 3*z - b - 175 = 0. Is z a multiple of 25?
False
Let n = -54 - -76. Does 22 divide n?
True
Suppose 0 = -2*j - j - 3*q + 3, 0 = 5*j - 2*q - 40. Is j even?
True
Let q(p) = 7*p. Does 14 divide q(2)?
True
Let w be 4 - (1 + (3 - 3)). Suppose w*i = 4*i - 16. Does 16 divide i?
True
Let g = 20 + 2. Suppose -4*p + 30 + g = 0. Does 13 divide p?
True
Suppose 0 = 5*a - 3*c - 25, -4*a + 20 = 5*c - 0. Let y be (a/3 - 2)*-9. Suppose -4*n - 5*f = -n - 153, -2*n + y*f = -121. Does 16 divide n?
False
Let d(v) = -55*v. Let n be 1*((-6)/(-3))/(-2). Is d(n) a multiple of 15?
False
Let l(a) be the first derivative of 0*a + 4*a**2 - 1 - 3*a**2 - a. Does 5 divide l(3)?
True
Let n(f) = 12*f + 21. Does 12 divide n(6)?
False
Let q(j) = 3*j**2 + 11*j - 3. Does 14 divide q(-5)?
False
Suppose -2 + 4 = j. Suppose 3*m - 2*l - 37 = 0, -j*m + 5*l - 4 + 14 = 0. Is m a multiple of 5?
True
Let y(w) = -w**3 - 12*w**2 - 15*w - 2. Does 13 divide y(-11)?
False
Let k(t) = t**2 - 6*t - 7. Let q be (-3)/12*2*-10. Let c be k(q). Does 9 divide (-148)/c + 1/(-3)?
False
Let f be (0 - 1)*18/(-6). Suppose 0 = -5*q + 119 + 221. Suppose -f*m + m = -q. Is 14 a factor of m?
False
Let m = -10 - -15. Suppose -139 = -3*w - 2*o, -w + o + 63 = m*o. Is 11 a factor of w?
False
Let n = -46 - -77. Let t = 46 - n. Is t a multiple of 9?
False
Let i be (-16)/(-6) + 9/27. Suppose 2*r = -4*f - 12, -r = i*r + 4*f + 20. Let o = r + 17. Is 4 a factor of o?
False
Suppose -5*r - 5*z + 20 = 0, -5*r + 10 = -3*r + 3*z. Let m(h) = 4*h**2 + 1 + 3 - 3*h**r - 5*h. Is 9 a factor of m(7)?
True
Suppose -b - 3 = -2*b. Suppose 4*t - 5*w - 96 = 63, -4*t + b*w = -161. Is 12 a factor of t?
False
Is 30 a factor of 7293/77 + 6/21?
False
Let z be (-1 + 3)/(-1) + 14. Let m(t) = t**3 - 7*t**2 + 5*t + 8. Let d be m(6). Let k = z + d. Does 11 divide k?
False
Let j = -5 + 7. Suppose 2*s - 6 = 3*q, -4*q - s = j*s + 8. Is -2 + 1 + q + 54 a multiple of 22?
False
Suppose 5*q - 36 = 344. Does 34 divide q?
False
Let l(z) = z**2 + z + 3 + 0*z**2 + 0*z. Let v(p) = -p**3 - 6*p**2 + 8*p + 7. Let c be v(-7). Is l(c) even?
False
Let f(l) = l**3 - 2*l**2 - 3*l + 2. Let t be f(3). Let a = 31 + -29. Suppose -4*v = -r - 24, a*v + t*r + 14 = 36. Is v a multiple of 3?
False
Let r(y) = 8*y - 5. Does 8 divide r(4)?
False
Let n(m) = -m**3 - m**2 + 2*m - 1. Let z be n(1). Let f = 16 + -28. Let t = z - f. Is t a multiple of 11?
True
Let b = -5 + 23. Is b a multiple of 18?
True
Let o = 81 - -14. Is o a multiple of 5?
True
Let x = -14 - -34. Does 6 divide x?
False
Let k be 1/1 - (-3)/(-3). Suppose k = 3*p, 0*p - 4*p - 72 = -3*x. Is x a multiple of 12?
True
Let q be (-1)/(1/(-1 - -3)). Does 10 divide 126/4 + q/4?
False
Let c(p) = 8*p**3 - 2*p**2 + 2*p - 1. Let u be c(1). Does 6 divide (24/14)/(1/u)?
True
Suppose -13*l + 488 = -9*l. Does 27 divide l?
False
Let i(r) = r**3 - r**2 + r + 7. Is 6 a factor of i(3)?
False
Is 11 a factor of 0/(3/1) - -44?
True
Suppose -s + 2*s + 17 = -5*x, 2*s + 20 = -3*x. Let n = s + 9. Does 2 divide n?
True
Let x(q) = -q**3 + 11*q**2 - q - 7. Let y(b) = -b**2 - b + 1. Let m(k) = -x(k) - 4*y(k). Let v be m(5). Let w = 39 + v. Does 10 divide w?
False
Let v be -3 + (-15)/(-3) + 2. Is ((-39)/(-9))/(v/12) a multiple of 3?
False
Suppose 3*d + 243 = 4*s - 0*d, 109 = 2*s + d. Is s a multiple of 19?
True
Let i(p) be the second derivative of p**3/2 - 2*p**2 - 4*p. Is i(7) a multiple of 7?
False
Suppose -3*v + 6 = -5*m, -5*m - v + 2 = -m. Suppose l + l + 384 = m. Is 5 a factor of l/(-20) - 2/(-5)?
True
Does 15 divide (4 - 165/(-6))*2?
False
Is 13 a factor of -1 + 28 + (-4 - -3)?
True
Suppose -5*a + 12 = 2*l, -37 + 13 = -4*l + 2*a. Let r(v) = 4*v + 3. Is r(l) a multiple of 9?
True
Suppose 5*w - 20 = -4*j, -w - 3*j + 7 - 3 = 0. Does 4 divide w?
True
Suppose -2*p = -3*p + 90. Does 18 divide p?
True
Suppose 4*y - 4*t + 6*t - 2 = 0, t = -5*y + 10. Is 6 a factor of (-2)/(y - 1) - -22?
False
Let r(u) = -u**2 + 12*u + 8. Is r(10) a multiple of 13?
False
Let f be (-14)/4 - (-4)/(-8). Let r = f + 6. Suppose -3*z + 60 = r*z + 3*v, z - 12 = -2*v. Is 4 a factor of z?
True
Let k(i) = -13*i**2 + 7*i - 2 + 12*i**2 - 2. Let d = 18 + -13. Is k(d) a multiple of 3?
True
Suppose -5*f - 4*a = -524, 0 = a + a + 8. Suppose 0*t = -3*t + f. Is 15 a factor of t?
False
Suppose -3*b - 4*d = -0*d - 209, 0 = 5*b + 3*d - 352. Is 1