 = 15 + b. Is 14 a factor of y?
False
Suppose -3*a + l = -16, -a - 2*a = 3*l. Suppose k = a*z, 0*z - 2*z + 6 = 0. Does 5 divide k?
False
Suppose -s = 0, 3*s = -2*g - 2*s - 18. Let d = 1 - g. Does 10 divide d?
True
Suppose 1 = -3*m + 4. Suppose 1 = 3*u - 23. Does 11 divide (m + 3)*(-3 + u)?
False
Suppose 2*n - t = 3*t + 244, 3*n + 2*t = 374. Let b = n - 80. Is b a multiple of 11?
True
Let z = 350 + -182. Does 42 divide z?
True
Suppose 2*z = 3*s + 13, 7 = z - 5*s - 10. Let p be (-1)/z - 18/4. Let c = 17 - p. Is 9 a factor of c?
False
Let p(l) = -l**3 + 4*l**2 - l - 4. Let f be p(3). Is (-1)/f + 39/2 a multiple of 14?
False
Let t = -19 + 22. Is t even?
False
Let y be (-3 + 1)/(26/(-481)). Is 9/3 - (-2 - y) a multiple of 14?
True
Let d(q) = 31*q**2 + 4*q + 11. Let f(m) = -15*m**2 - 2*m - 5. Let y(r) = -6*d(r) - 13*f(r). Is 6 a factor of y(1)?
False
Let r(n) = 2*n + 1. Let q be r(1). Let s(k) = -3*k + 3 - 2*k**2 - 3*k**3 - 1 + 4*k**3. Does 2 divide s(q)?
True
Let b be 3/15 + 9/5. Let f = b + 1. Suppose -7*p = -f*p - n - 47, 3*p + 2*n - 27 = 0. Does 11 divide p?
True
Let i(x) = -x**3 + 8*x**2 + 5*x + 4. Let d be i(7). Let t = 124 - d. Is t a multiple of 10?
False
Let u(k) = k**3 + 11*k**2 + 4*k - 6. Is 9 a factor of u(-10)?
True
Let f = -48 - -70. Is f a multiple of 11?
True
Let x(h) = 21*h - 3. Let t be 1 - 2 - (-9)/1. Let a be x(t). Is (4/(-6))/((-10)/a) a multiple of 10?
False
Let t = -2 - -5. Let x be ((-30)/(-2))/t - 0. Suppose a - 5*a = -5*j - 53, -64 = -x*a + 4*j. Is 8 a factor of a?
False
Suppose 4*f - 8 - 49 = -5*t, -f = -3*t + 24. Is 19 a factor of (-2)/9 - (-605)/t?
False
Let a(u) = -u**2 - 6*u - 1. Let f be a(-5). Let g = f - 9. Does 12 divide ((-24)/10)/(g/25)?
True
Let s(d) = -9*d - 2. Does 7 divide s(-3)?
False
Let t = 29 + -11. Is t a multiple of 18?
True
Let k(f) = -2*f**2 + 0*f**2 + 0*f - f**3 - 3 + f. Let z be k(-3). Suppose -3*d + 48 = z*x - 0*d, -68 = -5*x - 2*d. Is x a multiple of 12?
True
Let c(d) = -148*d + 16. Let f be c(-11). Suppose -n = 3*n - f. Does 16 divide n/9 - 1/(-3)?
False
Suppose b - 4 = 5. Suppose 27 + b = 3*r. Does 4 divide r?
True
Suppose -3*q = -3*z - 6 - 3, -2*q + 7 = -3*z. Let d(y) = -32*y**3 - y - 1. Does 12 divide d(z)?
False
Suppose 46*y = 45*y + 150. Is 15 a factor of y?
True
Suppose 31 = d - 4*w, 5*d - 162 = -2*w + 37. Is d a multiple of 4?
False
Suppose 0 = -a - 3*a - 96. Let r = -10 - a. Does 14 divide r?
True
Is 14 a factor of (-171)/(-12) + (0 - 2/8)?
True
Let u = -21 + 30. Let w = -9 + u. Suppose w = -t + 1, -5*v + t - 2*t + 111 = 0. Is 6 a factor of v?
False
Let k(g) = -g**2 + 2*g - 4. Let f be k(2). Let m(v) = -4*v - 2*v + 5*v. Is m(f) a multiple of 3?
False
Let q be (-1)/4 + 87/12. Suppose 4*h = 5*r - 0*h - 4, -2*r + 3*h - 4 = 0. Let n = q + r. Does 9 divide n?
False
Let r be (-1083)/(-33) + (-2)/(-11). Let d = r - 11. Is d a multiple of 11?
True
Is (5 - -153)/(-2 - -4) a multiple of 30?
False
Suppose 5*o = -z - 0*z + 234, -4*o + 2*z + 176 = 0. Is o a multiple of 23?
True
Suppose d - 41 = 23. Suppose s = -s + d. Suppose 22 = 2*v + 4*o, 147 = 5*v - 5*o + s. Is 12 a factor of v?
False
Let r = 86 + -44. Does 11 divide r?
False
Let y = 19 - 13. Suppose 5*g + y*o = o + 435, -o - 273 = -3*g. Suppose g = 3*f + 2*f. Is f a multiple of 9?
True
Suppose -m - 3*m + 16 = 0. Suppose -m*w + 70 = -38. Suppose -2*y + w = y. Does 4 divide y?
False
Let p = 60 + 16. Is p a multiple of 5?
False
Suppose 5*j - 5*d - 208 - 22 = 0, 2*d - 8 = 0. Is j a multiple of 8?
False
Suppose 15*v = 14*v + 6. Is v even?
True
Is -3 - -18 - (-5 - -1) a multiple of 13?
False
Let n(y) = y**2 - 2*y - 6. Is 6 a factor of n(7)?
False
Let f(n) = -48*n + 10. Does 25 divide f(-5)?
True
Let c = -37 - -26. Let a = c + 15. Is 3 a factor of a?
False
Suppose -u - u + 278 = 0. Suppose k + u = 5*g, 0 = 2*g - 6*g - 4*k + 92. Suppose -g = -2*w + w. Is 12 a factor of w?
False
Let u = 5 - 8. Let b = 5 + u. Suppose -b*x + 4 + 6 = 0. Is 3 a factor of x?
False
Is 8 a factor of ((-12)/(-9))/((-1)/(-6))?
True
Let w be 4 - (7 + (-4 - -3)). Let c(a) = -4*a - 4*a + 3*a. Does 10 divide c(w)?
True
Let b = 1 + -1. Suppose m = -b*m + 28. Let r = 59 - m. Does 14 divide r?
False
Let z(j) = 6*j**2 - 9*j + 2. Let c(o) = 13*o**2 - 19*o + 5. Let a(m) = -4*c(m) + 9*z(m). Let h be a(-3). Suppose -7 + h = 3*w. Is 4 a factor of w?
True
Suppose 0*k + 2*s = -2*k + 12, 5*s = 5*k + 10. Is 7 a factor of 38/k - (-21)/7?
False
Let n(j) = 5*j - 8. Does 10 divide n(9)?
False
Let h(y) = -y - 4. Let r be h(6). Does 28 divide (28/r)/(12/(-240))?
True
Is 15 a factor of (12/5)/(13/260)?
False
Suppose 5*i - 25 = 2*k + 2*i, k = -4*i + 4. Let c be -5*-3*66/(-45). Is 2/((k/c)/4) a multiple of 11?
True
Does 16 divide 15 + (0 - 2) + 3?
True
Is 4 a factor of 2 - (-3 + -11 - -2)?
False
Suppose j - 4*m + 5 = 0, -4 - 2 = -4*j + 3*m. Does 8 divide (-164)/(-12) - 2/j?
False
Let j(z) = -z. Let v be j(-4). Suppose -k - k - 12 = 5*g, 0 = k - 4*g - 20. Suppose 92 + k = v*f. Is 8 a factor of f?
True
Let j(q) = q**2 + 9*q - 3. Let h be j(-8). Let y(x) = -4*x + 6. Is 14 a factor of y(h)?
False
Let b be (-3)/(-2)*28/21. Is 34 a factor of ((-2)/(-4))/(b/324)?
False
Suppose 3*n - n - 8 = 0, 3*i = n + 26. Is 5 a factor of i?
True
Let v(x) be the third derivative of 0*x - 2*x**2 + 0 - 1/12*x**4 - 2/3*x**3. Is v(-3) a multiple of 2?
True
Let a(w) = 2 + 4 - 2*w**3 + 2*w + 0*w**3 + 3*w**3 - 5*w**2. Let i be (1/(-3))/((-2)/30). Is 8 a factor of a(i)?
True
Suppose 606 = 4*j - 2*j. Suppose -4*r + 5*h = -237, -4*h = -10*r + 5*r + j. Is 21 a factor of r?
True
Let q(b) = b + 33. Is q(-8) a multiple of 5?
True
Suppose 2*b - 15 = -u - b, 3*u - 5*b = -11. Suppose -u*c + 15 = 2*c. Suppose 0*g - c*g = -69. Does 11 divide g?
False
Let g = 1 + -2. Does 17 divide (-1 - 34*g)/1?
False
Let v(o) = o**2 - 5*o + 3. Let d be v(5). Suppose -d*s = -0*s - 102. Let w = s + -2. Does 12 divide w?
False
Is 19 a factor of (-99 - -2)*(-4)/(24/6)?
False
Is 6 a factor of 1/2 + -1 + (-333)/(-18)?
True
Let n be 2/7 - (-592)/(-14). Let z = n - -72. Does 15 divide z?
True
Suppose 0 = -2*a + 3*a + 5*x + 13, -11 = -a + x. Suppose 4*z - a = 3*j + 1, 3*z - 7 = 2*j. Suppose -140 + 36 = -j*u + 3*p, 0 = 5*p. Does 9 divide u?
False
Suppose j = 2*x + x - 21, -5*x = -4*j - 77. Is (-4)/j + 4116/189 a multiple of 22?
True
Let j = 28 + -6. Is 18 a factor of j?
False
Let n = -7 + 47. Does 9 divide 12/18 + n/3?
False
Let x(v) = -v**3 + 16*v**2 + 3*v - 11. Is x(16) a multiple of 7?
False
Let b be 1 + -3 + (8 - 1). Suppose 5*g - 2 = -2*r - 0, -2*g + b*r = 5. Is 3 a factor of g + (3 - 1) - -1?
True
Let g = -6 - -10. Suppose 40 + 48 = 2*o + 5*l, -2*l = g*o - 176. Is o a multiple of 16?
False
Let n(t) = t + 8. Let f be n(-6). Is 4 a factor of 60/12*(-1 + f)?
False
Let m(d) = 5 + 9 - 5*d**3 - 7*d**2 + d - 4 + 4*d**3. Suppose -5*h + 6*h + 7 = 0. Is m(h) a multiple of 3?
True
Suppose -2*k - 3*k = -4*a - 335, 0 = -a. Let u = k - 48. Is 8 a factor of u?
False
Suppose -z - 3 = 2*x, -5*x - 12 = 3*z - 4. Let g be -1 - -3 - (-1)/z. Suppose -40 = -2*r - 2*o, -4*o + 96 = 5*r - g. Is r a multiple of 17?
True
Suppose -4*l + 171 = -185. Does 14 divide l?
False
Let n(o) = o**2 - 2*o - 7. Let r(g) = -g - 1. Let d(k) = -n(k) + 4*r(k). Let b be d(-3). Suppose z - 6*z + 30 = b. Is 6 a factor of z?
True
Suppose 3*g = -20 - 169. Let x = 92 + g. Is x a multiple of 10?
False
Let u(t) = 1 - 1 - 11*t - 7. Let d be u(7). Let k = 143 + d. Does 16 divide k?
False
Let y(h) = h**2 + 3*h + 8. Is y(-10) a multiple of 13?
True
Let r(k) = -5*k**3 + 7*k**2 + 3*k + 5. Suppose u = -0*u + 3. Let y(b) = -4*b**3 + 7*b**2 + 4*b + 4. Let s(w) = u*r(w) - 4*y(w). Does 7 divide s(8)?
True
Suppose 3*x - x = 190. Is x a multiple of 24?
False
Let n(u) = 0*u**2 + 5*u + 0*u - u**3 + 4*u**2 + 6. Is n(5) a multiple of 6?
True
Let y(c) = 9 - 3*c - 11 - 2*c. Let z be y(5). Let j = -19 - z. Is j a multiple of 5?
False
Suppose 0 = 4*d + 4*v - 0*v + 8, 5*d - 14 = v. Suppose -2*t = d*t - 108. Is 27 a factor of t?
True
Suppose -120 + 56 = -4*m. Is m a multiple of 4?
True
Let i(y) = 14*y - 18. Let u(o) = -5*o + 6. Let z(p) = -6*i(p) - 17*u(p). Is 8 a factor of z(10)?
True
Let x(l) = 118*l - 3. Let j be x(2). Let f = -153 + j. Let u = f - 27. Is 14 a factor of u?
False
Suppose -57 - 38 = -5*u. Does 5 divide u?
False
Suppose