ivide y?
False
Suppose 67 = 2*f - 11. Let a be (f + -2)/(2 - 1). Suppose 3*t - 26 = a. Is t a multiple of 12?
False
Suppose 0 = -2*k - 3*k + 170. Does 24 divide k?
False
Let p(s) = 2*s - 12. Let n be p(8). Suppose n*i = -46 + 154. Is 21 a factor of i?
False
Suppose -3*z = 5*j - 152, -5*j + 5*z + 160 = -0*z. Is j a multiple of 8?
False
Does 6 divide (2/2)/((-1)/(-6))?
True
Let y(v) = v**3 - 9*v**2 - 12*v + 14. Let m be y(10). Let b = m - -27. Is 21 a factor of b?
True
Is (175/5 - 5)*(-20)/(-6) a multiple of 20?
True
Is 5 a factor of 30/((-15)/6 + 4)?
True
Suppose -3*a + 3*t = t - 28, 4*a = 5*t + 49. Let s(f) = 4*f**2 - 8*f + 3. Let q be s(a). Suppose -5*p - 5*b = -q - 61, 4*p = 5*b + 110. Does 15 divide p?
True
Suppose 0 = 5*k + 26 + 169. Let l be (10/5)/((-2)/k). Does 5 divide (3 + l/3)/2?
False
Let y = 49 + 0. Let d = -31 + y. Is 6 a factor of d?
True
Suppose -478 + 103 = -5*o. Suppose 0 = r - 4*r + o. Does 16 divide r?
False
Let q(x) = -8*x - 2. Does 22 divide q(-3)?
True
Let z = -2 - -4. Let i be -1 + -137*(-1 + z). Is 17 a factor of (-3)/12 + i/(-8)?
True
Let v(x) = -x**3 - 9*x**2 - x - 6. Let z be v(-9). Let g(i) = 0*i**z + 17 - i**2 - 2*i**3 + 3*i**3. Is g(0) a multiple of 10?
False
Let w(r) = 18*r**2 + 2. Let c be w(2). Suppose 4*n - 2*n = c. Is n a multiple of 11?
False
Let u be -2 - (-1 + -2 + -1). Suppose 0 = -u*f + 7*f - 150. Is 15 a factor of f?
True
Let n be (1 + -1)/(2 + 0). Suppose -s - 3*s + 47 = i, n = 2*i - s - 58. Is i a multiple of 11?
False
Let b be (3/9)/(2/36). Let r = 27 + b. Does 5 divide r?
False
Suppose 1 = o - 2. Let d be (-5)/10 - 1/(-2). Suppose -4*g + z + 30 = d, 6*z = 4*g + o*z - 34. Does 7 divide g?
True
Suppose 5*w + 301 = 12*w. Does 43 divide w?
True
Suppose -3*c - 591 = -6*c. Suppose 3*b = -5*k - 23 + c, 4*k - 3*b = 150. Does 18 divide k?
True
Let q(p) = p**2 - p + 4. Let u be q(0). Suppose 3*a - 5*b - 142 = 0, -3*a + u*b = -0*b - 140. Is a a multiple of 13?
False
Suppose 0 = -12*q + 17*q - 120. Is 6 a factor of q?
True
Let x = 23 - 20. Suppose d - 58 = -x. Is 11 a factor of d?
True
Let q(x) = 2*x + 7. Suppose 3*a - 17 = w, 5*a - 2*w - 33 = -5*w. Is 13 a factor of q(a)?
False
Suppose 3*k + 3*y = 498, 0 = -4*k + k + 5*y + 466. Is k a multiple of 27?
True
Suppose 4*f = b + 25, -5*f + 15 = -2*b + 4*b. Suppose 3*q - w = 373, -w = f*q - 0*q - 635. Suppose 5*r + 4*j = -0*r + q, 2*j = 8. Is r a multiple of 11?
True
Let y be ((1 + -1)/(-1))/1. Suppose -2*c + 4*a + 36 = y, -c = -6*c - 5*a + 30. Does 10 divide c?
True
Suppose 5 = -4*l - 3. Let p(q) = -q**3 + 2*q**2 + 2. Let s be p(l). Suppose -g + s = 3. Is 15 a factor of g?
True
Let x(b) = -1 + 2*b + 0 - b**2 - 3*b. Let k(c) = 5*c**2 + 3*c + 51. Let l(o) = k(o) + 4*x(o). Does 18 divide l(0)?
False
Does 16 divide ((-72)/(-5))/((-3)/(-20))?
True
Let q(f) = -2*f**2 - 3*f - 2. Let v be q(-3). Let s be 8/28 - (-75)/7. Let n = s - v. Is n a multiple of 11?
True
Let r be (0 - -2)*(-74)/(-4). Let c = r - 10. Is 7 a factor of c?
False
Suppose -v + 6 + 3 = 0. Suppose 5*s + 30 = 5, 5*b = -s + 10. Does 13 divide (-1)/b - (-120)/v?
True
Suppose 24*v = 29*v - 195. Is v a multiple of 9?
False
Is 12 a factor of -5 + 101 - (2/(-2) - -1)?
True
Let g = 2 + 0. Let m be (-1)/g - 1/(-2). Let u(q) = q**3 + q**2 + q + 56. Is u(m) a multiple of 20?
False
Let c = 35 - -25. Is 30 a factor of c?
True
Let p(h) be the first derivative of -h**3/3 - 5*h**2 - 3*h - 2. Is 7 a factor of p(-8)?
False
Let z(l) = l**2 - 3*l - 3. Is z(7) a multiple of 7?
False
Let z(v) = v**2 - 7*v + 4. Let w be z(8). Does 2 divide (w/10)/((-1)/(-5))?
True
Let l(y) = y**3 - 7*y**2 + y - 4. Let j be l(7). Let x be ((-3)/(-2))/(1/24). Suppose -12 = -j*m + x. Does 6 divide m?
False
Suppose 5*r + 7*o - 3*o - 96 = 0, -60 = -3*r - 3*o. Does 4 divide r?
True
Suppose -3*s - 46 = 4*k - 169, 61 = 2*k + s. Is 27 a factor of k?
False
Suppose -w + 18 - 5 = -k, 4*w - 3*k = 48. Suppose -116 = -h + w. Suppose -3*m - 17 = -h. Does 18 divide m?
True
Let d be ((-5)/3)/(1/3). Suppose -3*w - 22 = -5*w. Let l = w - d. Is l a multiple of 7?
False
Let q be (-6 + 5)/((-1)/3). Suppose -q*f - 2*p + 12 = 0, 1 - 13 = -3*f + 4*p. Does 4 divide f?
True
Let v be (-1)/5 + (-52)/(-10). Let o = -3 + v. Suppose -o - 14 = -z. Is z a multiple of 8?
True
Suppose 5*o - 99 = 2*o. Is 9 a factor of o?
False
Let d(k) = 2*k**3 - 7*k**2 + 3*k - 14. Does 8 divide d(5)?
False
Is (2 + (-16)/(-2))/2 a multiple of 4?
False
Let a = -3 + 7. Suppose 3*s = -a*q + 201, 2*q - 6*q + 3*s = -231. Is 27 a factor of q?
True
Suppose 5*n = i - 31, 5 = 5*i + 4*n + n. Is 6 a factor of i?
True
Suppose -6*b = 3*b - 792. Is 26 a factor of b?
False
Let t be -3 + -1 + 4 + -3. Let q be t/15 + 57/(-15). Let h(c) = -9*c + 1. Does 15 divide h(q)?
False
Suppose -7 = -4*o + 9. Suppose 0 = 3*y + 2*p - 144, 19 = -o*y + p + 222. Suppose 4*f = -l + y, 3*l + 3*f - 40 = 65. Does 8 divide l?
False
Suppose 2*b - 3*b - 30 = -3*n, -4*n + 40 = 3*b. Let s = 5 - n. Does 5 divide 0 - 30/(s + 2)?
True
Let o be 4/6 - 46/(-3). Suppose 4*t - o = -4. Suppose t*l - 116 = -2. Is 19 a factor of l?
True
Let a be ((-8)/12)/(2/6). Is 2/a + 0 - -49 a multiple of 16?
True
Suppose -3*o - 3*b = -8*o + 105, 5*o + 4*b - 140 = 0. Does 11 divide o?
False
Suppose n - 42 - 38 = 0. Does 13 divide n?
False
Suppose -2*q + 10 = -4*h, -h + 2*h + 2*q = 0. Let b be (-2 + 15/6)*h. Is 6 a factor of 18*(0 + b/(-3))?
True
Does 7 divide 13 + ((-2)/(-6))/(16/48)?
True
Let v(j) = -5*j - 15. Let d(t) = t. Let a(x) = -4*d(x) - v(x). Does 3 divide a(-8)?
False
Let x(j) be the second derivative of j**5/60 - j**4/24 - j**3/2 + j**2 - 2*j. Let q(y) be the first derivative of x(y). Is 12 a factor of q(-4)?
False
Suppose -b + 8 = -5*j - 32, b - 2*j = 34. Let a be (b/(-9))/((-4)/6). Suppose -a*f = -6*f + 18. Is 18 a factor of f?
True
Suppose z - 4 - 15 = -3*o, 2*o - z = 16. Does 5 divide (130/91)/(1/o)?
True
Let g = 83 - 31. Does 6 divide g?
False
Suppose 0 = -b + 3 - 0. Suppose -6*h = 2*t - h - 38, 0 = t - 3*h + b. Does 3 divide t?
True
Let m be 1*(-3)/(9/(-363)). Let j = -19 + m. Is 32 a factor of j?
False
Suppose -3 = 3*l - 195. Suppose -12 - l = -2*o. Is 13 a factor of o?
False
Let t(q) = 4*q - 4. Let u be (-2 - -3) + (1 - -9). Does 12 divide t(u)?
False
Let n(b) be the second derivative of b**4/12 + 2*b**3/3 - 4*b. Suppose -4*d - 5*a - 20 = 0, -3*d - a - 15 = 4*a. Is n(d) a multiple of 2?
False
Let p(d) = 27*d**3 - d. Let v be p(-1). Suppose -5*w - 30 - 50 = 0. Let m = w - v. Is 4 a factor of m?
False
Suppose 4*a - 2*d = 756, -3*a + 0*d = d - 577. Does 41 divide a?
False
Suppose 4*a - 2 = 3*a. Suppose a*v = 3*s + 7*v + 34, -5*s = -3*v + 102. Is (2/(-3))/(2/s) a multiple of 5?
False
Let u = 9 - 8. Let d = -2 + 3. Is 19 a factor of -2*(u - 20)*d?
True
Let j = 0 - 1. Let d be j/3 + 1/3. Suppose d*b + b = 24. Is 13 a factor of b?
False
Suppose 2*z - 90 - 2 = 0. Suppose 3*b - z = 8. Suppose -3*d = d - j - 17, -b = -4*d + 2*j. Is 3 a factor of d?
False
Let w be 52/10*(-20)/(-8). Suppose -4*s + 27 = -s - 3*o, w = 2*s - o. Is 4 a factor of s?
True
Let c = -3 - -6. Suppose 0 = -4*q + h + 63, -24 + 101 = 5*q - c*h. Does 4 divide q?
True
Suppose 1 = -y, 0 = -4*h - 5*y + 21 - 326. Let q be (8/10)/(6/h). Let k = q - -25. Does 8 divide k?
False
Does 8 divide 118/6 + 4 + (-22)/6?
False
Is 2 a factor of (-2 - -4) + 0 + 3?
False
Suppose -6 = s - 20. Suppose 2*v = -5*c + s, c + 4 = -c + 4*v. Is (-1 + 2)*1*c even?
True
Let c = -24 - -31. Is 2 a factor of c?
False
Let i = -2 + 7. Is 19 a factor of (-8)/40 - (-286)/i?
True
Let n be 5*-1*36/(-10). Suppose 0 = -j + n + 12. Is 10 a factor of j?
True
Suppose 0 = -t + 7 - 2. Does 2 divide t?
False
Suppose -129 = 4*d + 3*b, -b - 2*b = -4*d - 111. Let f = -10 - d. Is 6 a factor of f?
False
Let d = 22 - 15. Does 2 divide d?
False
Suppose -d = -23 - 17. Does 10 divide d?
True
Suppose 8*b = -2*b + 1720. Is b a multiple of 43?
True
Suppose 2200 = -13*i + 24*i. Is 14 a factor of i?
False
Let z(u) = 2*u**2 - 7*u + 4. Let g be z(6). Let s(y) = -22*y**2 + 1. Let w be s(1). Let x = w + g. Does 6 divide x?
False
Suppose 3*f = -m + 6, -4 = 4*m - 3*m - 2*f. Suppose m = -3*s + 116 - 5. Is 21 a factor of s?
False
Suppose 4*w + 10 = 302. Is 16 a factor of w?
False
Let h = -16 + 1. Does 6 divide (4/5)/(-2)*h?
True
Let o be 0 - -1 - 3/3. 