- 0) + 3 - 3. Suppose -5*f + 237 = 4*y, -y - 3*f + 227 = r*y. Is 13 a factor of y?
False
Suppose 3*i = 4*i - 5*t - 47, 2*i = -4*t + 52. Is i a multiple of 13?
False
Let y be (-1 - (-4 - 89))*-1. Is (-3)/6 - y/8 a multiple of 7?
False
Let u(d) = -8*d**3 - 2*d**2 + d. Let r be u(1). Let n = 9 + r. Is n + 1 - (-1 - 1) a multiple of 3?
True
Suppose 3*p + 4*i = 244, -5*p = -4*i - 51 - 345. Is 16 a factor of p?
True
Suppose 10*o = -2*d + 5*o - 11, -11 = -d + 3*o. Let u(s) = -s**2 - 15 - 5*s + 18 + 3*s**d. Does 6 divide u(3)?
True
Does 3 divide (126/(-12) - -6)*-6?
True
Let m(q) = -21*q**3 + 0*q + 0*q. Suppose -2*c - 5*i - 2 = 0, -c - 2*i = -3*c - 2. Does 15 divide m(c)?
False
Let y = 3 + -1. Suppose -y*v + 3 + 7 = 0. Suppose -v*w + 161 = j - 21, 4*w = 5*j + 134. Is 11 a factor of w?
False
Let l(t) = t**3 - 11*t**2 - 9*t + 6. Is l(12) a multiple of 7?
True
Let z = 0 + 0. Let y be (z - -1)*(8 - 14). Does 8 divide 8*3/(-9)*y?
True
Suppose -6*o + 4*a = -2*o - 24, 14 = o + 3*a. Suppose 0 = -2*j - o, -2*u + 30 = -5*j - 2. Does 4 divide u?
False
Suppose t = 3*t - 8. Suppose -160 = -4*p + t*z, -3*p + 2*z = -176 + 52. Is p a multiple of 25?
False
Let w(j) = j**2 - 5*j - 4. Let z be 0 - (-3 - (2 + -1)). Let k be w(z). Let l = k + 21. Does 8 divide l?
False
Let u = -35 + 120. Does 17 divide u?
True
Let j be (-1)/(-3) + (-232)/12. Let v = -4 - j. Is 11 a factor of v?
False
Let g(x) = -x**3 - 11*x**2 - 7*x + 3. Let t(i) = i**3 + 12*i**2 + 7*i - 2. Let n(p) = -4*g(p) - 3*t(p). Is 12 a factor of n(-6)?
True
Let r = -9 + 15. Suppose 2*k = r*k + 248. Let h = -44 - k. Is h a multiple of 9?
True
Let i = 9 + -6. Suppose i*d - 152 = -d + 3*n, -3*d + 5*n + 114 = 0. Does 22 divide d?
False
Suppose 0*v - v - 2 = 0. Let t be (2 + 7/v)*-24. Suppose 4*p - 3*p - t = 0. Is p a multiple of 18?
True
Let l = 8 - 8. Suppose -4*v + 200 = 4*t, l = -2*v - t + 4*t + 120. Does 13 divide v?
False
Let m(w) = w - 2. Let p be m(-7). Let v = -3 - p. Is 40/v*1*6 a multiple of 14?
False
Suppose 22*t - 17*t = 340. Is t a multiple of 17?
True
Let y be (-57)/(-11) - 4/22. Suppose -t - 16 = -y*t. Does 4 divide t?
True
Let o = -95 + 185. Does 30 divide o?
True
Suppose 3*w - 249 = -p - 2*p, -3*p = -5*w - 209. Does 13 divide p?
True
Suppose 0 = -4*v - v + 25. Suppose 2*l = v*p + 20, l = -2*p - 8 - 9. Is 19 a factor of (38/3)/((-4)/p)?
True
Let k = 86 - 69. Is 8 a factor of k?
False
Suppose -5*m = -25 - 20. Does 14 divide (3/m)/((-4)/(-168))?
True
Suppose 2*w + 4*m - 2 = 0, 8 = 4*w + 4*m - 0*m. Suppose -q + 3*q = 8, 0 = w*i - 2*q - 100. Does 9 divide i?
True
Let z(d) = d**2 - 2*d. Let g(t) = 2*t - 19. Let k be g(8). Is z(k) a multiple of 3?
True
Let g = -5 - -6. Let v be 15/((-3)/(-3)) + g. Let i = v - 9. Is 3 a factor of i?
False
Let g(d) = 3*d**2 + 3*d + 6. Is g(-6) a multiple of 13?
False
Let a(x) be the first derivative of x**3/3 - x**2 + 26*x - 1. Does 26 divide a(0)?
True
Let r(d) = -d**3 + 10*d**2 - d - 8. Does 16 divide r(9)?
True
Suppose 0 = -3*t - 9, 0*t + 4*t = g + 18. Let z = g - -56. Does 7 divide z?
False
Let d(f) = f**3 - 12*f**2. Let w = 41 + -29. Let g be d(w). Suppose g = -5*q + z + 12, -q - 2*z - 6 = -5*q. Does 2 divide q?
False
Suppose -3*a - 71 + 7 = -l, 0 = -l - 4*a + 50. Let r = l - 41. Is 17 a factor of r?
True
Let q be ((-27)/(-6))/(6/(-8)). Let n = q + 9. Is 2 a factor of n?
False
Suppose 0 = 2*f - 4*t, 0 = -4*f - 5*t + 42 - 16. Suppose -26 = -5*i + f*i. Is i a multiple of 11?
False
Suppose 4*m = -5*o + 97, -o + 24 + 35 = 3*m. Suppose d - m = -d. Does 6 divide d?
False
Let c = 131 + -44. Suppose 4*b - 21 = c. Does 19 divide b?
False
Let o(p) = -2*p - 4. Let j be o(-3). Suppose s = j*x + x - 23, 2*s + 11 = x. Is x a multiple of 2?
False
Suppose 2*y + 2*y = 8. Suppose -3*o + 5*f = -32, 3*o + y*o + f = 16. Is o a multiple of 3?
False
Suppose -g - 329 = -2*o, 3*o - 4*g - 494 = -3*g. Is o a multiple of 33?
True
Let y(g) = -g**2 + 4*g - 1. Let o be y(5). Is 10 a factor of o*15/18*-4?
True
Suppose -255 = -3*z + 75. Does 11 divide z?
True
Is 56 - ((-3)/(-1) + 0) a multiple of 20?
False
Suppose 0*b - 19 = 2*b + 3*u, b = -4*u - 17. Let m(t) = t**2 - 3*t - 7. Does 15 divide m(b)?
False
Let y = 6 + 39. Is 13 a factor of y?
False
Suppose -3053 = -27*o + 1672. Is 52 a factor of o?
False
Let h(f) be the second derivative of f**6/360 + f**5/40 + f**4/8 - f**3/6 - f. Let j(s) be the second derivative of h(s). Is j(-5) a multiple of 5?
False
Let d(n) = n**2 + 8*n + 1. Suppose 5*z - 2 = 3*o + 4, -8 = 2*o - 2*z. Let p be d(o). Let l(a) = -a + 8. Is l(p) a multiple of 14?
True
Suppose -77 = 2*o + 15. Let l = o + 109. Suppose 5*s - 127 = l. Does 14 divide s?
False
Let i be (-15)/18*2*6. Let l = i + 16. Suppose -9 = 3*w - l*w. Is 3 a factor of w?
True
Is 15 a factor of (-3 - -1) + 0 - -31?
False
Suppose 2*z - 4*z = -10. Suppose z*d - 41 = 34. Does 15 divide d?
True
Let x(w) = w**2 - w. Let r(f) = -5*f**2 + 9*f + 8. Let h be (-30)/8 - 2/8. Let s(v) = h*x(v) - r(v). Is 2 a factor of s(7)?
True
Suppose 0 = k - 3, 0*d - 4*k = 2*d - 132. Is d a multiple of 12?
True
Let c = 42 - 13. Suppose o + c = g, -5*o + 22 = 5*g - 133. Is 10 a factor of g?
True
Suppose -5*d = -101 + 21. Suppose 0 = 3*x + x - d. Is x a multiple of 4?
True
Suppose 5*j + 129 - 4 = 0. Let a = j + 58. Is 13 a factor of a?
False
Let m = 7 + 90. Suppose 52 = 5*h - 3*b - 51, 5*h + 3*b = m. Is 13 a factor of h?
False
Suppose c + 3*c = 0. Suppose c = -0*n + 3*n - 33. Let v = n - -46. Does 20 divide v?
False
Suppose -2*t + 26 = -22. Is 18 a factor of t?
False
Suppose -4*a = 15 + 45. Let s = a - -25. Suppose 0 = -0*x - 5*x - 5*d + s, 3*x + d = 6. Is x a multiple of 2?
True
Let r(s) = 4*s + 20. Is r(0) a multiple of 10?
True
Let p(c) = 7*c - 19. Let s be p(10). Suppose 2*l - s - 3 = 4*i, l = i + 32. Is 9 a factor of l?
False
Suppose 168 - 512 = -4*f. Is f a multiple of 18?
False
Let v(g) = g**3 - 7*g**2 + 5*g + 6. Let p be v(6). Suppose p*n = 4*n - 72. Is n a multiple of 9?
True
Let x(p) = -6*p + 3. Let w be x(-9). Suppose 4*o = -3*j + 88, -2*j - 5*o + w = -2*o. Is j a multiple of 12?
True
Let n be (-33)/(-5) - 6/10. Suppose -3*k + k = n. Does 21 divide 42/(-5 - k - -3)?
True
Let r(g) = -3 + 4 + g**2 + 3*g - g. Let u be r(-3). Suppose u*o = -o + 195. Does 14 divide o?
False
Suppose z = 4*z + 6. Does 9 divide (-98)/(-5) - z/5?
False
Let v be ((-3)/4)/((-3)/12). Let n(k) = -19*k + 2. Let w be n(-6). Suppose r = -v*r + w. Does 14 divide r?
False
Let i(t) = 2 + t - 6 - t**2 - 5*t. Let d be i(-4). Is 5 a factor of 20/(-16)*d*3?
True
Let u be (3 - (6 + 0)) + 3. Let x(s) = s**3 - s**2 - s + 16. Is x(u) a multiple of 4?
True
Suppose -2*t = -o - 7, -3*t - o = 5 - 3. Let y be t - 2/(-4)*-8. Does 8 divide ((-64)/12)/(1/y)?
True
Let x = 3 - -1. Is 5 a factor of (-384)/(-40) + x/10?
True
Let g be ((-2)/(-4))/((-3)/300). Let c = 73 + g. Let k = -3 + c. Is k a multiple of 12?
False
Let m = -20 + 12. Let k = 58 + -35. Let j = k + m. Is j a multiple of 15?
True
Suppose -50 = -0*b - 5*b. Suppose -2*l + 46 = -b. Is l a multiple of 14?
True
Let p(s) = s**2 - s - 3. Let t = 4 - 1. Let r be p(t). Suppose -3*x + 43 = 2*k + 3*k, 0 = -4*x + r*k + 9. Is 6 a factor of x?
True
Let i(w) = 8*w + 8 + 1 - w**2 - 2. Is i(8) a multiple of 2?
False
Suppose 7*a + 848 = 11*a. Does 35 divide a?
False
Suppose -5*l + 0*n = -3*n - 42, -5*n - 26 = -l. Let d(w) = w**2 - 5*w - 6. Let x be d(l). Suppose x = -k - 4*k + 240. Does 20 divide k?
False
Let l be 1*-4 + -4 + 3. Is 5 a factor of l/((-3)/((-60)/(-4)))?
True
Suppose 5*z - 3*z = 230. Is z a multiple of 35?
False
Suppose 4*g = -2*x + 68, -5*x + 110 = g - 6*g. Does 9 divide x?
False
Let x(g) be the second derivative of 1/6*g**3 + 4*g**2 + 0 - 3*g. Is 14 a factor of x(12)?
False
Let o = 12 + -8. Suppose o*w - 9 = 43. Let z = w + 3. Is 8 a factor of z?
True
Let x(l) be the first derivative of 5*l**3/3 - l**2/2 - 2*l - 2. Suppose -3 = 5*j + 7. Does 7 divide x(j)?
False
Let i(j) = -23*j - 2. Let n be i(-4). Suppose x - 4*x = -n. Is 13 a factor of x?
False
Suppose -t + 3*p - 1 = -0*t, -4*t + 3*p + 14 = 0. Does 2 divide t?
False
Suppose 4*q = -q + 5. Let f(l) = -l**3 + l**2 + l - 1. Let r be f(q). Suppose 0 = -z - 2*x - r + 7, -z + 3*x + 17 = 0. Is z a multiple of 5?
False
Suppose 0 = 3*h - 5*k - 84, 45 = 4*h + 5*k - 67. Is (h/(-10))/((-