. Suppose 3 = -2*z + l. Suppose 23 = z*u - 65. Is 12 a factor of u?
False
Let w(b) = 0*b - 9*b - 8 - 1. Is 25 a factor of w(-9)?
False
Let y = 46 - 10. Suppose 6*w - 15 = w. Suppose -b + w = -y. Is 13 a factor of b?
True
Let i be (-2)/(-8) - (-141)/12. Let y be 63/i + (-3)/12. Suppose l = y*l - 24. Is 5 a factor of l?
False
Let d = 120 + 6. Is d a multiple of 19?
False
Suppose 0 = 5*h - 271 + 41. Is h a multiple of 19?
False
Let d(a) = -5*a**2 - 7*a - 4. Suppose -4*u - 18 - 26 = 0. Let z(c) = 9*c**2 + 13*c + 8. Let r(s) = u*d(s) - 6*z(s). Does 16 divide r(5)?
True
Let w(g) = 2*g**2 - g - 2. Let m be w(-6). Let o = m - 51. Does 7 divide o?
False
Suppose 5*a + 2*n = 234, 0 = -4*a + 3*a - 2*n + 42. Is a a multiple of 8?
True
Let j = 9 + 25. Is j a multiple of 10?
False
Suppose 0 = -7*z + 3*z + 264. Suppose 0*b - 2*b = -4*s + z, -5*s = 4*b - 63. Does 15 divide s?
True
Let q(k) = -k**2 + 13*k - 6. Let b(m) = m**3 - 8*m**2 - 7*m - 7. Let u be b(9). Is q(u) a multiple of 4?
True
Let b = 33 - 82. Let g = -11 - b. Suppose 3*s - 4 = g. Does 5 divide s?
False
Let s(g) = 27*g**2 - 3 - 56*g**2 - 8*g + 28*g**2. Let d(p) = p**3 - 4*p**2 - p - 2. Let v be d(4). Is s(v) a multiple of 6?
False
Let k(f) = -f**3 + 9*f**2 + 6. Let h be k(7). Suppose -5*b + h = -b. Does 12 divide b?
False
Suppose 5*d - 3*a = a + 33, -d = -2*a - 9. Let j(f) = 5*f - 7. Let w(k) = 24*k - 36. Let b(z) = 11*j(z) - 2*w(z). Is b(d) a multiple of 11?
False
Suppose -26 = 5*o + 14. Let a = o - -15. Is a a multiple of 2?
False
Let c(w) = -w**2 - 2*w - 1. Let g be c(2). Let l = -5 - g. Suppose 6*b - 5*h = b + 35, 0 = -l*b - 4*h + 68. Is b a multiple of 12?
True
Let j = 60 - 31. Does 18 divide j?
False
Suppose 0 = 4*m - 20, -5*w + 618 = m - 7. Is w a multiple of 31?
True
Suppose 0 = g - 2*f + 2, 2*f - 1 - 9 = -g. Suppose -144 = -g*z + z. Is z a multiple of 16?
True
Suppose -2*j - j = -12. Suppose -3*c - 12 = -j*f - 2*c, -4*c = 0. Is 3 a factor of f?
True
Let h = 7 + -2. Let l = 1 + -1. Suppose 2*n - h*n + 63 = l. Does 10 divide n?
False
Let r = 104 - 44. Does 7 divide r?
False
Suppose 5*f + 4*h - 18 = 0, -9 = 3*h - 0*h. Suppose -3*x = 9, 3*b - 5*b + 2*x - f = 0. Let j(v) = -2*v + 1. Is 13 a factor of j(b)?
True
Let o be ((-172)/8 - 0)*-2. Let x be 12*1 + (-1 - 0). Let t = o - x. Is t a multiple of 13?
False
Suppose -3*a - 155 = -4*h + 27, 5*a = 2*h - 98. Is 11 a factor of h?
True
Let w = -138 - -71. Let c = -19 - w. Is c a multiple of 11?
False
Let o = 28 + 12. Suppose -h = h - o. Is 10 a factor of h?
True
Let m(l) = l**2 + 4*l. Let w be m(-6). Let q = 6 + w. Is q a multiple of 6?
True
Suppose 0 = -t + 154 + 89. Does 11 divide t?
False
Is 2 + (-574)/(-9) + 14/63 a multiple of 22?
True
Let y = 31 - 52. Let r = y - -50. Is r a multiple of 29?
True
Let p(d) = d**3 - 5*d**2 - 5*d - 6. Let b be p(6). Suppose 2*y - 2*s - 76 = b, 0 = y + 5*s - s - 43. Does 10 divide y?
False
Let v(i) = -i**3 - 9*i**2 + 6*i + 23. Is v(-10) a multiple of 17?
False
Let t(r) = r**2 + 4*r - 2. Let i be t(-3). Let b be (i/(-15))/((-1)/(-42)). Suppose 0 = 3*k + 5*c - 54 + b, 3*k - 48 = -3*c. Is k a multiple of 20?
True
Let l be (1 + -2)/(3/9). Let b = 30 - l. Is b a multiple of 12?
False
Suppose 144 = 9*d - 504. Is 9 a factor of d?
True
Suppose -105 = -2*b + 3*q, -5*b + 3*b + 104 = -4*q. Does 9 divide b?
True
Let q be 8/3 - 5/(-15). Suppose d = -q*d + 152. Does 10 divide d?
False
Let m = -2 - -6. Suppose m*f = 2*h + 42, 3*h - 4 = -3*f + 50. Is f a multiple of 13?
True
Let c(z) = -2*z**2 + 3*z + 3. Let r be c(-5). Let q = r + 152. Does 30 divide q?
True
Let k be (-2)/3 - (-10)/6. Suppose 0 = -3*b, 4*x - k - 27 = 5*b. Let g = 18 - x. Is g a multiple of 11?
True
Suppose 0*x + 5*x + 60 = 0. Does 22 divide (0 - -24) + x/6?
True
Let k(r) = r**3 - 11*r**2 + 13*r - 6. Does 6 divide k(10)?
True
Suppose 0*o + 10 = 2*o. Suppose 0 = 4*l - 5*q - 1, -2*l = -o*q - 0 + 7. Suppose 0 = 2*t - l*t + 12. Is 6 a factor of t?
True
Let t = 170 + -110. Does 20 divide t?
True
Suppose 999 + 297 = 6*t. Is t a multiple of 7?
False
Let p(q) = 33*q + 7. Does 8 divide p(2)?
False
Let r = 2 + -2. Let s(k) be the first derivative of k**4/4 + k**2/2 + 8*k - 2. Does 4 divide s(r)?
True
Is 8 a factor of (5 + 105/(-12))/((-6)/16)?
False
Let p be 0 + 3/9*0. Suppose p = 2*i - 28 - 24. Is i a multiple of 13?
True
Let f be (-30)/9 - 2/3. Let y = 32 - f. Let s = y + -20. Does 16 divide s?
True
Suppose -5*s + 6 - 46 = 0. Let n(x) = -x**3 - 6*x**2 + 10*x - 1. Let b be n(s). Suppose -3*a + 19 = -b. Is 11 a factor of a?
True
Suppose 12 = -4*u, -5*x - 14 = 2*u + u. Is 8 + 4/4*x a multiple of 2?
False
Let g be (-12)/(-2) - -1 - 1. Let a = g + 43. Is a a multiple of 18?
False
Suppose -20 - 40 = -3*q. Let h = 128 + -90. Let x = h - q. Does 18 divide x?
True
Let f(d) = -3*d**2 + 3*d - 1. Let j(z) = -7*z**2 + 7*z - 3. Let q(t) = -5*f(t) + 2*j(t). Let r be q(-2). Suppose -c = -19 + r. Is c a multiple of 7?
True
Suppose 0 = x - 16 - 2. Does 4 divide x?
False
Let d = -9 + 23. Is d a multiple of 4?
False
Suppose 3*q - 28 = -2*q + 4*n, 4*q - 3*n = 22. Let o(t) = 3*t**2 + t - 2. Is 19 a factor of o(q)?
False
Suppose 21 = 2*i + 95. Let g = 114 + i. Does 20 divide g?
False
Let j(s) = s**2 - s + 14. Does 33 divide j(9)?
False
Suppose 3*c + 1 - 7 = 0. Let o = 26 - c. Is o a multiple of 8?
True
Suppose -l - 12 + 47 = 4*j, 3*l = 4*j + 41. Let s = l - -2. Is s a multiple of 13?
False
Let s = 46 + 14. Does 15 divide s?
True
Let s = -112 - -200. Is 18 a factor of s?
False
Suppose -3*s = 2*s. Suppose -n + 16 = 3*w - 1, 4*w - 3*n - 27 = s. Is (-1 - -7)/(w/28) a multiple of 11?
False
Let u(t) = 22*t - 2. Does 14 divide u(5)?
False
Let j(m) = -m**2 - 12*m + 7. Does 24 divide j(-6)?
False
Let g = 47 - 38. Is g a multiple of 2?
False
Suppose -395 = 5*g - 5*s + 50, 2*g + s = -187. Let z = -13 - g. Is z a multiple of 29?
False
Suppose 52 + 23 = 5*o. Suppose -4*n + 5*q + 37 = 0, 4*n = -2*q + 5*q + 35. Let k = o - n. Is 7 a factor of k?
True
Let o(h) = 7*h**3 + h. Let j(w) = w + 3. Let v be j(-5). Let d be (-1)/(v + 3 - 2). Does 8 divide o(d)?
True
Let b = 7 - -15. Does 11 divide b?
True
Let j = -8 - -12. Suppose 5*z + 5 = 5*r - 2*r, -j*z - 17 = -5*r. Suppose r = -p + 20. Is 6 a factor of p?
False
Suppose -q = 3*q - 5*j - 27, 2*q + 5*j = -9. Suppose 97 = 2*a + q*y, -a - 3*y + 49 = -y. Is a a multiple of 22?
False
Let d(s) = -5*s. Let g(p) = 1. Let l(k) = d(k) + 4*g(k). Let z(x) = 26*x - 20. Let b(c) = -16*l(c) - 3*z(c). Is 12 a factor of b(8)?
True
Let c(w) = w**2 + 10*w - 7. Let s be c(-8). Let l be (0 - 11) + 5 + -4. Let y = l - s. Does 10 divide y?
False
Let l(z) = 3*z**2 - 6*z - 9. Is 13 a factor of l(6)?
False
Let q(c) = -c**2 + 4*c - 3. Let h be q(2). Let f(r) = -1 + 8*r**2 + 2 - r + 12*r**2. Is 16 a factor of f(h)?
False
Suppose 3*g = 5*b - 195, b + 3*b + 2*g - 156 = 0. Let a = 69 - b. Is 10 a factor of a?
True
Does 31 divide (-1)/(-4) - (-856)/32 - -4?
True
Let g be (-56)/6 + (-2)/(-6). Let t be (-1 - -14)/(-4 + -1 + 6). Let n = t + g. Is 2 a factor of n?
True
Let d = -15 + 47. Is 18 a factor of d?
False
Suppose -4 - 35 = 3*c. Let d = c + 3. Does 4 divide ((-9)/(-5))/((-2)/d)?
False
Is 1599/26*(-2)/(-3) a multiple of 31?
False
Let u(n) = n**2 + n + 1. Let p(v) = 6*v**2 - 3*v - 5. Let c(q) = -p(q) + 5*u(q). Let b be c(8). Suppose -91 = -4*a + 5*r + 31, 5*r = -b. Is a a multiple of 12?
False
Suppose 0*c + 51 = 3*c. Suppose -4 = -2*w, 0 = -8*i + 4*i - 4*w + 8. Suppose i = -a + 54 - c. Is a a multiple of 15?
False
Suppose -67 = -4*a + 5*n, 4*a + 4*n - 3*n - 49 = 0. Suppose 3*v + v = 84. Let h = a + v. Does 15 divide h?
False
Let f = -84 - -118. Suppose 3*w - z = -f, -w + 0*w + z - 14 = 0. Is 11 a factor of -5*11*4/w?
True
Suppose 5*a + 3*n = -0*n - 164, -3*a - 108 = 5*n. Let c = a - -95. Let b = c - 42. Is b a multiple of 12?
False
Suppose -450 = -4*n - q, 3*q - 104 + 658 = 5*n. Is 16 a factor of n?
True
Suppose 5*s = 3*s + 40. Is ((-48)/s)/(4/(-50)) a multiple of 11?
False
Let y = -17 + 15. Let c(u) = -u**2 + 13*u**2 - 2 - 2*u**2. Is c(y) a multiple of 19?
True
Let k = 3 + 3. Suppose -k*j + 35 = -j. Suppose -50 = -5*r + q, r = -q + j + 9. Is r a multiple of 11?
True
Let f(l) = -l**2 - 4*l - 1. Let q(c) = 1. Let k(x) = f(x) + 2*q(x). Let h be k(-3). Suppose 3*n - h*n + 30 = 0. Does 8 divide n