. Let f be (d/(-12))/((-1)/(-8)). Is 6 a factor of 10*(-3)/(-10)*f?
True
Let h = 63 - 32. Is 21 a factor of h?
False
Let t be 38/9 + 2/(-9). Is (-3 - 1)*(-30)/t a multiple of 15?
True
Let s = 110 - 12. Is 14 a factor of s?
True
Let r be (-4)/((-12)/(-15)) - 0. Let k = 1 - r. Let t(i) = i**2 - i + 4. Does 17 divide t(k)?
True
Suppose -3*q + 8 = q, 5*b - q - 23 = 0. Suppose -3*f = 4*y - 41, 0 = y - b. Does 15 divide (-214)/(-14) - 2/f?
True
Suppose 3*r - r = 6, 5*r - 153 = -2*o. Suppose -3*c = -o - 27. Is 16 a factor of c?
True
Let p(z) = 4*z - 6. Does 10 divide p(4)?
True
Let j(q) = q**3 - q**2 - q. Let h be j(4). Let t be (10 - 3)*(-4)/(-7). Suppose 0 = -8*g + t*g + h. Is 11 a factor of g?
True
Let y(d) = d**2 + 1. Let a(q) = 6*q**2 - 4*q - 5. Let i(p) = a(p) - 5*y(p). Does 4 divide i(7)?
False
Let u(y) = y + 16. Let q be u(0). Let w = 46 - q. Does 10 divide w?
True
Suppose -32 = 3*p - 2. Does 12 divide ((-8)/p)/(2/60)?
True
Suppose 5*w + 4*g - 78 = 0, -8 = 5*w - g - 76. Is 2 a factor of w?
True
Suppose 0 = -2*h + d + 9, -3*h + 2*h + 6 = d. Suppose -h*m = -s + 28, 0*s - 3*s - 5*m + 24 = 0. Is s a multiple of 13?
True
Let r be (1 + 1)/(-2) - -7. Is (-4)/r*3 + 30 a multiple of 12?
False
Suppose 3*o = 2*k - 780, k - 209 - 181 = -2*o. Is k a multiple of 39?
True
Let s(p) = -5*p**3 - 6*p**2 - 26*p + 20. Let a(j) = -3*j**3 - 4*j**2 - 17*j + 13. Let i(f) = 8*a(f) - 5*s(f). Suppose -19 + 3 = -4*r. Is i(r) a multiple of 6?
True
Let s = -87 + 127. Let w(f) = -2*f + 11. Let a be w(-17). Suppose 3*p - 4*u - a = -u, -s = -5*p - 2*u. Is p a multiple of 10?
True
Let y be (-1)/(-2 - (-6)/4). Suppose -y*b = -f + 19, 2*b - 4*b = 3*f - 25. Does 2 divide f?
False
Suppose -2*t + t = 5*y - 79, -5*y - 3*t + 87 = 0. Does 24 divide y/10*3*16?
True
Let p = 5 + -2. Suppose -4*o - 2*l - p*l = -47, o = -l + 11. Suppose d - 3*d + o = 0. Is d even?
True
Suppose -3177 = -25*w + 2448. Is 9 a factor of w?
True
Let n = 16 - -24. Does 19 divide n?
False
Let u be 1/(-7) + 40094/(-14). Does 11 divide 2/9 + u/(-72)?
False
Let m(t) = -2*t**3 - 2*t**2 + 3*t + 3. Suppose 7*x - 3*r = 3*x + 7, x + 5*r - 19 = 0. Let h = 2 - x. Does 3 divide m(h)?
False
Suppose -3*d - 2675 = -8*d. Suppose -4*t + 37 = -d. Suppose 0 = 5*r + 43 - t. Does 10 divide r?
True
Let s = 56 - 49. Does 7 divide s?
True
Let y be (-6 + 5)*(-2 - 1). Suppose 5*d - 4*n = 344, 0*d - 5*n = -y*d + 196. Is d a multiple of 18?
True
Let n(v) = -v**3 - 7*v**2 + v + 9. Let h be n(-7). Suppose -h*u - 3*o = -91, 3*u - o + 0*o = 109. Is u a multiple of 19?
True
Suppose 0 = -2*k - 2, 2*a + 2 = 5*k + 15. Suppose 3*r + a*i = 6*i + 50, -r + 25 = i. Let h = r - 12. Is h a multiple of 7?
False
Suppose a - 65 = 4*y - 7*y, 3*a = 2*y + 239. Is a a multiple of 11?
True
Suppose -k = 4*k - 300. Does 30 divide k?
True
Suppose 12*x = 11*x + 158. Does 35 divide x?
False
Let u be (3/(-4))/(1/(-4)). Let c = u - 1. Suppose b - 135 = -5*s, c*b - 3 + 13 = 0. Is s a multiple of 8?
False
Let f = 4 - -6. Let v(l) = 4*l - 10. Is v(f) a multiple of 15?
True
Suppose 9*q = 731 + 286. Does 13 divide q?
False
Let k(b) = -2*b + 1. Let m be k(-4). Let u = -7 + m. Suppose 45 = -u*p + 5*p. Is 15 a factor of p?
True
Suppose -4*k + 425 = k. Is k a multiple of 42?
False
Suppose y = -4*k + 2, 9 = -2*y + 6*k - k. Is 20 a factor of 152/(-2 - -4) + y?
False
Let x = 214 - 74. Does 20 divide x?
True
Let d = -60 + 162. Does 17 divide d?
True
Let n(y) = y + 1. Let v be n(-2). Is v/(-5) - 229/(-5) a multiple of 21?
False
Suppose 6*k - 573 = 3*k. Is 18 a factor of k?
False
Let l = 69 + 167. Is l a multiple of 15?
False
Suppose -5*r - 90 = -5*t - 10*r, -12 = -3*r. Is t a multiple of 3?
False
Let r = 84 - 56. Is r a multiple of 4?
True
Suppose -2*a - 5*f + 49 = -1, 3*a - 25 = 5*f. Is a a multiple of 6?
False
Let w be 4/26 + (-846)/(-78). Is (-8 + w)*5*1 a multiple of 10?
False
Let l(b) = 2*b**3 - 3*b**2 + b - 2. Let s be l(2). Suppose -s*y + 9 + 91 = 0. Is y a multiple of 9?
False
Let d(x) = -x**3 - 8*x**2 - 9*x + 8. Let u(w) = w**2 + 5*w - 3. Let v be u(-4). Is 7 a factor of d(v)?
False
Let t(c) = c - 2*c + c**2 - 4*c + 8 - 6. Is 26 a factor of t(10)?
True
Let t = -4 + 4. Suppose 2*b = -8, 2*o + b - 40 - 32 = t. Let n = o - 6. Is 14 a factor of n?
False
Does 5 divide 138/9 - 1/3?
True
Let r = -1 - -5. Suppose -3*l + l + 16 = 3*j, r*j - l - 14 = 0. Is 4 a factor of j?
True
Suppose 3*r = -0*r + 12. Suppose 5*p - 28 = -2*f + 11, -4*p + r*f + 20 = 0. Does 4 divide p?
False
Let f = 134 - -199. Is f a multiple of 15?
False
Suppose -2*v - r + 36 = 0, -3*r - 3 = 3. Is v a multiple of 3?
False
Suppose -35*k = -30*k - 360. Is k a multiple of 18?
True
Let p(d) = -5 + d - 2*d - 5*d. Is p(-4) a multiple of 8?
False
Suppose 0 - 12 = -2*k. Let t = -3 - -5. Suppose -35 = -5*i - d - 2, -k = -t*i - 4*d. Is 4 a factor of i?
False
Let k = 7 + 1. Let t = 2 + k. Is 3 a factor of t?
False
Suppose -5*q = -0*q - 3*j - 88, 0 = 3*q - 3*j - 48. Suppose 0 = -5*c - q, -56 = -4*t + t - 4*c. Is t a multiple of 8?
True
Let j(w) = 94*w + 3. Does 25 divide j(2)?
False
Suppose 7 = -g - 0*g. Let m(z) = -z**3 - 8*z**2 - 9*z + 7. Does 21 divide m(g)?
True
Let z(y) = -y**2 + 6*y - 3. Let k be z(2). Suppose -a - 1 = -4*g, 0 = a - k*g - 0 + 4. Is a a multiple of 11?
True
Suppose 6*q - 123 = -15. Is q a multiple of 7?
False
Let x(i) = -i**3 - 5*i**2 + 6*i + 3. Let l be x(-6). Suppose -j + 3*u = -33, -2 - 10 = l*u. Is 6 a factor of j?
False
Is (-15 + -3 + 5)/(-1) a multiple of 2?
False
Let o = -4 + 3. Let y be (-1 - -1)/(o - -2). Suppose y = -j + 2*j - 5. Does 3 divide j?
False
Let u(r) = -r**3 + 2*r**2 + r + 2. Let w be u(-2). Suppose w*z = 13*z + 24. Is z a multiple of 3?
False
Let s be 5/3*6/2. Suppose s*j - 360 = 115. Is j a multiple of 24?
False
Let q = 101 + -53. Is q a multiple of 12?
True
Let f = -1 + 3. Let d be (-20)/9 - -2 - 232/(-72). Suppose -2*a - 110 = -f*l - 2*l, d*a = 4*l - 115. Does 13 divide l?
False
Let t = 79 - -70. Is t a multiple of 16?
False
Let u(i) = 8*i + 23. Is u(11) a multiple of 22?
False
Let u(f) = 3*f**2 - 2 + 5*f**2 - 7*f - f**3 + 2*f**2. Is u(9) a multiple of 16?
True
Let l(t) = 15*t + 2. Let i be l(6). Let j = -54 + i. Is j a multiple of 14?
False
Suppose 6 = -2*x - 0*x, -f = 5*x + 12. Suppose y - 14 = f*y. Let v = y - -33. Is 26 a factor of v?
True
Suppose 90 = -3*f + 9*f. Does 8 divide f?
False
Suppose 3*u = -z - 4, 5*u + 5*z + 6 = -4. Let w = -1 + u. Does 2 divide w/(-13) + 150/39?
True
Let c(q) = 4 + 0*q**2 + 2*q**2 - 1. Does 18 divide c(3)?
False
Let z = 85 + -5. Is z a multiple of 8?
True
Let g(r) = -8*r - 1. Suppose -4*a = 5*z + 31, -4*a + z - 2 = 11. Let o be g(a). Suppose o = s + 5*u + 1, 0 = -s + 4*u + 48. Is s a multiple of 20?
True
Is 7 a factor of (1 - 3) + 13 + -1?
False
Let b(j) = -7 - 25*j + 29*j - 6. Does 6 divide b(6)?
False
Let p = 25 - 14. Suppose 3*q = 16 + p. Does 13 divide 140/6 + (-3)/q?
False
Let q(u) = -511*u**3 + u**2 + 2*u + 1. Let g be q(-1). Suppose 113 = 3*y - g. Suppose -5*s + y = 68. Does 13 divide s?
False
Let r = -3 + 6. Suppose z + r*z = 152. Does 19 divide z?
True
Let n(j) = -38*j - 33. Is n(-10) a multiple of 33?
False
Let q(h) = h. Let c(i) = -16*i**2 + 6*i - 1. Let z(a) = -c(a) + 6*q(a). Is 8 a factor of z(-1)?
False
Suppose -z = -134 + 49. Is 17 a factor of z?
True
Suppose -4*t = m - 326, -2*t - 6*m + 4*m + 166 = 0. Is 7 a factor of t?
False
Let f be (0/1)/(-2 - -3). Suppose 4*v - 4*g + f*g - 100 = 0, -5*g + 85 = 2*v. Is 15 a factor of v?
True
Let u be 1*97/(2 + -1). Suppose -5*c = -5*p + 408 + u, 0 = 3*p + 5*c - 287. Suppose -5*k - 2*o = -p, -5*o + 77 - 29 = 3*k. Is 15 a factor of k?
False
Suppose -l - 12 = -0*n + n, -4*n + l = 43. Let p = -6 - 0. Let j = p - n. Does 5 divide j?
True
Let b(x) = -x + 15. Let d be b(8). Suppose 5*l - 233 = d. Is 17 a factor of l?
False
Suppose -3*x = x + 2*d - 8, d = 4*x - 14. Suppose -x*c + 4*a + 61 - 15 = 0, -5*a = -3*c + 47. Does 6 divide c?
False
Let y(m) = 2*m - 9. Let n be y(6). Suppose -3*g + n = -63. Does 11 divide g?
True
Let r = 86 - 51. Does 7 divide r?
True
Suppose 0 = -2*s + 62 + 18. Does 10 divide s?
True
Suppose -211 - 333 = -4*w. Is 17 a factor of w?
True
Let c = -17 - -8. Let i(j) = -j - 7. Let b be i(c). Suppose 4*v = v, 2*p = -b*v + 36. Does 10 divide p?
False
Let i = 16 - 2. Does 14 divide 