iple of 25?
True
Suppose 2*t + z = -z + 470, -2*z - 910 = -4*t. Suppose -2*x + t = 3*x. Does 23 divide x?
True
Suppose -4*d = -5*r - 52, -5*r + 38 + 36 = 3*d. Suppose 0 = p - 3 - d. Does 14 divide p?
False
Suppose -4*q = -3*u + 137, 5 = -2*u - q + 89. Is u a multiple of 30?
False
Let x(c) = c**2 + 3*c - 2. Let k be x(-4). Suppose 2*q = -2*r + 5 + 137, r = -k*q + 72. Is 14 a factor of r?
True
Is 35 a factor of ((-207)/36)/((-2)/2)*20?
False
Let z(r) = r**2 - 2*r - 7. Suppose -5*k = 4*j - 30, 5*j - 10 = 5*k + 5. Does 8 divide z(j)?
True
Is 2/(-6) + 272/6 a multiple of 15?
True
Let u(m) = -m**3 - m**2 - m + 6. Let d be u(0). Suppose -2*i + d*i + 4 = -4*t, 0 = -i + 5*t - 1. Is (-1 + 2)*i - -15 a multiple of 7?
True
Suppose 3 = -d + 2*d. Let x(p) = p**3 - 2*p - p**2 - 2 - 1 + p. Is x(d) a multiple of 5?
False
Let w(l) = 5*l**2. Suppose -4*k + 3 = -1. Let o be w(k). Let q(v) = v**3 - 4*v**2 - 2*v - 7. Does 4 divide q(o)?
True
Let k(o) = o + 6. Let w = 3 - 9. Let p be k(w). Suppose 5*d - 180 = 4*c, p*d - 2*d - 2*c = -72. Is 18 a factor of d?
True
Let x = 47 - -31. Suppose q - 2*g = -7*g + 10, 3*g - 8 = -q. Suppose 0 = -q*o - 5*p + 90 + 15, 4*p + x = 5*o. Does 9 divide o?
True
Let y = 87 - 54. Suppose 5*u - y + 8 = 0. Suppose -3*r + 35 = u. Is 4 a factor of r?
False
Does 24 divide 1/(-3 + 1 + 3350/1670)?
False
Let w = 4 + -1. Let v(y) = 13 - 8 - y**3 - 7*y**2 + 2*y**w - 6*y. Does 21 divide v(8)?
True
Suppose -i + 6 = 3*o + 2*i, -2*i - 4 = 0. Suppose -2*u + 16 = 2*u. Suppose u*g + 38 = o*h + 2*g, -g - 10 = -h. Does 7 divide h?
False
Let f(s) = 4*s - 4. Let l(m) = -m**3 + 1. Let h(n) = 4*n**3 + 3*n**2 - 4*n. Let b(o) = h(o) + 3*l(o). Let a be b(-4). Does 5 divide f(a)?
False
Let f be 2/(-5) - 1072/20. Let p = 77 + f. Let v = -16 + p. Is 3 a factor of v?
False
Let p(d) = 14*d + 1. Let n(q) = q**3 + 6*q**2 + q + 7. Let r be n(-6). Is p(r) a multiple of 15?
True
Suppose 3*p = 16 + 74. Does 5 divide p?
True
Suppose 3*r - 19 - 14 = 2*v, 0 = 2*r + 5*v - 41. Does 2 divide r?
False
Let m(t) be the second derivative of -t**4/12 + 5*t**3/3 + t. Is m(9) a multiple of 5?
False
Let c(z) = 13*z - 14. Is c(6) a multiple of 37?
False
Suppose 0 = -5*h + 2*f - 10, 0*f + 5*f - 6 = 3*h. Let g(q) = -5*q**2 + 3*q - 3. Let k be g(2). Let b = h - k. Does 9 divide b?
False
Let q be 3/2*(-8)/6. Let a = 27 - q. Does 12 divide a?
False
Let p be 2/(-1)*(-5 + 4). Suppose f = -3*l + 2, 14 = l - p*f - f. Suppose 3*x - 3 = 0, -4*x + 26 = l*c - 10. Is c a multiple of 16?
True
Let k(h) = -2*h**2 - h + 2. Let g be k(2). Is 4 a factor of (g/(-3))/(2/9)?
True
Let b = -5 + 8. Suppose -i + g - 6 = 0, -i = b*g + g - 9. Does 11 divide -2*19/6*i?
False
Let u(b) = 2*b - 4. Let x be u(3). Suppose -3*i = -i + 5*z - 24, 4*z = x*i - 6. Is 7 a factor of i?
True
Let v(m) = -7*m - 2. Is v(-5) a multiple of 11?
True
Let g(k) = 2*k**2 - 8*k - 6. Suppose 0 = -4*q - 2*o + 34, -2*q - o + 29 = 2*q. Is g(q) a multiple of 6?
True
Suppose 0 = -4*p - 0 + 12. Let o(u) = -2*u**p + 2*u**3 + u**2 - u + u**3 + 8. Is 8 a factor of o(0)?
True
Suppose 6*i - 240 = -0*i. Does 14 divide i?
False
Does 9 divide 14 - 3/(-6)*-4?
False
Let p(f) = -f**2 - f + 7. Is 7 a factor of p(0)?
True
Suppose -2*d + 18 = d. Let l(x) = 1 - 3 + d + x**2 + 0*x**2. Is l(0) a multiple of 2?
True
Let x = 5 + -5. Suppose x = -5*n - p + 40, -3*n + 3*p - 6*p = -24. Is n a multiple of 3?
False
Suppose 24 = 3*r + 6. Let f(o) = o**3 - 5*o**2 - o - 5. Is f(r) a multiple of 8?
False
Let t(d) = -2*d - 1. Let a be t(-1). Let p = 40 + -26. Is 13 a factor of p - (0/2 - a)?
False
Let l(o) = 2*o**2 - 3*o. Let j be l(3). Let y = j - 5. Suppose 0 = -5*b - 0*b + w + 27, 4*b = y*w + 12. Is b a multiple of 3?
True
Suppose f + 0*f = 4*n + 19, 0 = -3*n + f - 15. Let r(s) = -s**2 - s - 3. Let c be r(4). Let y = n - c. Is 10 a factor of y?
False
Suppose 4*j + j = 2*b + 27, -j + 5*b = -10. Suppose 1 = w - j. Is 8 a factor of -2*22/(w/(-3))?
False
Let t(v) be the first derivative of 2*v**3/3 - v**2 - 2*v - 2. Let f be t(2). Suppose 0 = 4*r - 3*u - 8, 4*r - 5 = f*u + 7. Is 4 a factor of r?
False
Let d(m) = m**2 + m + 5. Let s(t) = -2*t**2 - t - 6. Let g(a) = -6*d(a) - 5*s(a). Let f be g(1). Suppose f*l - 15 = 2*l. Is l a multiple of 9?
False
Let y(m) = 4*m**2 + m. Let k(j) be the second derivative of -j**5/20 + j**4/6 + j**3/2 + j**2/2 - j. Let l be k(3). Is 3 a factor of y(l)?
False
Is (-40 + 0)/2*(-14)/4 a multiple of 18?
False
Let m be 7/(21/12) - -33. Suppose 2*g + 5*l = 5, -5*g - 4*l + 1 + m = 0. Does 9 divide g?
False
Let l = 4 + -2. Suppose -l*b + 3*v = 3 - 33, -5*v = 20. Is b/((-10)/6 - -2) a multiple of 14?
False
Suppose -2*j = d - 3*j - 25, j + 115 = 4*d. Does 30 divide d?
True
Suppose 3*f + 8 = -f. Let s(n) = -2*n**3 - 2*n**2 + 2*n + 1. Is 3 a factor of s(f)?
False
Is (28/(-8))/(-7)*40 a multiple of 5?
True
Suppose b - 3*b = -10. Suppose -j + 4 = k - 6, -15 = 2*j - b*k. Suppose j*r = 46 + 54. Does 8 divide r?
False
Let w(d) = -3*d**3 - d**2 - d. Let i(n) = n**2 + 3*n - 1. Let j be i(-3). Let m be w(j). Suppose 0*y = m*y - 18. Is y a multiple of 6?
True
Is (-3 + -1)*(-8 + -6) a multiple of 8?
True
Let j = -46 + 91. Is 8 a factor of j?
False
Let n = 417 + -168. Is 27 a factor of n?
False
Let l be (-2)/3 - 628/12. Let b = 179 + l. Suppose b = 7*d - 4*d. Does 14 divide d?
True
Let u(g) = g**2 + 3*g + 3. Let k be u(-3). Suppose -2*h - h - 3*z = -27, -17 = -h - k*z. Suppose h*s - s = 28. Is 3 a factor of s?
False
Suppose 0 = -3*c - 18 + 27. Is c a multiple of 2?
False
Suppose -4*d + 18 + 234 = 0. Does 18 divide d?
False
Suppose 13*d - 440 = 2*d. Does 3 divide d?
False
Suppose -13 + 1 = r - 5*q, -2*r + q = -12. Suppose 4*u = -r + 44. Does 3 divide u?
True
Suppose 6*q + 4*m = 4*q - 2, 2*m = -10. Let g be q/1 - (2 + -1). Does 9 divide 27/(2/g*6)?
True
Suppose 0 = -2*v - 5*y + 72, v - 26 = -y + 10. Is 12 a factor of v?
True
Does 14 divide ((-3422)/(-174))/(1 + 14/(-15))?
False
Let f = -6 + -11. Let t = f + 56. Does 22 divide t?
False
Let s = 5 - 3. Let j(a) = 5 + 5*a**2 + 2 - s + 3*a + a**3. Is 8 a factor of j(-4)?
False
Is 15 a factor of (-4)/3 - 142/(-3)?
False
Let l = -192 - -100. Let t = -38 - l. Does 12 divide t?
False
Suppose 2*c = -8, c + 5 = -v - 2*c. Is 3 a factor of v?
False
Let x(t) = 2*t**2 + 6*t + 3. Let h be x(-5). Let p = 54 - h. Does 9 divide p?
False
Let m(z) = z**2 + z + 1. Let k be m(-1). Suppose -1 = 2*d + t, t = -5*d + 2*d - k. Suppose d = 3*r - 0*r - 81. Does 17 divide r?
False
Let t(y) = 11*y**2 + 2*y - 2. Let l(s) = -2*s. Let d be l(-1). Suppose -5*h = 2*v + v + 1, -2*v + 10 = -d*h. Is t(h) a multiple of 15?
False
Let s = 3 - 11. Let r = s + 31. Is 11 a factor of r?
False
Let i(m) = -m - 6. Let o be i(-6). Let r(w) = -w - 3 + 7 + 12. Does 10 divide r(o)?
False
Suppose 0*i + 10 = 2*i. Suppose w + 44 = i*j, 0*w = -2*j + 5*w + 36. Let n = 2 + j. Does 10 divide n?
True
Let k = 8 - 11. Is 12 a factor of ((-45)/(-10))/(k/(-32))?
True
Let y(v) = 2*v + 30. Is y(0) a multiple of 15?
True
Let h(w) = 20*w - 18. Let p be h(12). Suppose -4*m - 5*g - 10 + p = 0, 4*m + g = 196. Is m a multiple of 16?
True
Let x = -8 + 76. Is 17 a factor of x?
True
Let g be (2/(-4))/((-4)/464). Suppose -x = -7*z + 2*z + 61, -g = x - 4*z. Is 9 a factor of x*2*(-2)/8?
False
Let a(j) = -j - 8. Let r be a(-10). Let y be r/(-3) + 5/3. Is y/2*(-96)/(-1) a multiple of 24?
True
Let n = 2 - -6. Let u = 2 - n. Does 7 divide 2/u - (-22)/3?
True
Let k be 1732/16 + 3/(-12). Suppose -3*t + 155 = 5*j, -k + 35 = -2*j + t. Does 13 divide j?
False
Let g = -2 - -4. Suppose 2*h = -g*s + 20, -4*h + 14 = -2. Is 3 a factor of s?
True
Does 10 divide (8/(-10))/(10/(-425))?
False
Let p = -19 - -61. Is p a multiple of 17?
False
Suppose y + 2*f - 7 = 17, -3*y - 4*f = -74. Does 9 divide y?
False
Suppose 2*i - t = -2*i - 25, 14 = -2*i + 2*t. Let m = i + 53. Does 18 divide m?
False
Suppose -3*u + 2*u - 5 = 0, 0 = -z - u + 133. Does 14 divide z?
False
Suppose l + 49 - 139 = 0. Does 10 divide l?
True
Suppose -4*k = -37 - 99. Is 17 a factor of k?
True
Suppose -5*o - 12 = -2*h, -2*h + 48 = -o + 5*o. Suppose -2*f = 3*g + 24, 0*g + 4*f = 2*g + h. Does 15 divide (-2)/g - (-177)/12?
True
Let k(j) be the second derivative of j**4/6 + j**3/6 + j**2 + 2*j. Let g be k(-2). Suppose -23 = -i - g. Is i a multiple of 9?
F