26 - 493 = -3*p. Is 31 a factor of o?
True
Suppose 17*f - 7474 = 7350. Is 17 a factor of f?
False
Suppose -9436 = -14*j - 0*j. Is j a multiple of 12?
False
Let h be -1 - (2/1 + (47 - -3)). Is 3 + 4/(-4)*h a multiple of 8?
True
Suppose 4*t = -5*s + 7888, -2*t - 3*s + 1567 + 2375 = 0. Is 22 a factor of t?
False
Suppose -4*o + 5*z + 2889 = -0*z, -z + 3604 = 5*o. Does 6 divide o?
False
Suppose -62 = 2*s + 2*o, -2*s - 90 = s + 2*o. Is -3*s/12 + 3 a multiple of 2?
True
Suppose -427 = -5*t + 213. Suppose -3*r - t = -401. Is r a multiple of 33?
False
Let q = -913 + 1211. Is 4 a factor of q?
False
Let i(x) = -x + 2. Let b be i(-2). Let w(j) = 9*j**2 + 2*j + 8. Let n be w(b). Suppose 6*p + 40 - n = 0. Does 10 divide p?
True
Let g = 3002 + -2006. Is 23 a factor of g?
False
Does 27 divide (126/(-7))/6 - -165?
True
Suppose 23*g - 370 = 90. Is g a multiple of 2?
True
Suppose t - 4*d - 176 = 0, d - 175 = -t + 4*d. Does 15 divide t?
False
Suppose 0 = c - 1 - 1. Suppose -3*g = n + 2*g - 123, -6 = -c*g. Does 12 divide n?
True
Suppose -8*z - 476 = -1668. Does 4 divide z?
False
Let y(l) be the first derivative of l**3/3 + l**2 + 8*l - 10. Is 29 a factor of y(-15)?
True
Is (0 - 4)/(-24) - 185/(-6) a multiple of 3?
False
Let i(z) = -z**3 - 3*z**2 - z - 1. Let d be i(-2). Let h be (62/d)/((-6)/(-9)). Let o = 11 - h. Is o a multiple of 14?
True
Let x(l) = 23*l**2 + 10*l + 23. Is 11 a factor of x(-2)?
False
Let p = -1175 - -1970. Suppose -3*k + 167 + 431 = -d, -4*k + p = d. Suppose -5*t + 2*j - 3*j = -k, -j - 81 = -2*t. Is t a multiple of 13?
False
Is 76 a factor of (-8)/((-144)/3717)*12?
False
Suppose 58*b = 55*b - 87. Let v = b + 35. Does 2 divide v?
True
Let v = 20 + -17. Suppose -v*w + 64 = w. Is w a multiple of 9?
False
Let g = 164 + -104. Is 14 a factor of g?
False
Suppose 0 = 2*u - 3*w + 3 + 22, 28 = -2*u + 4*w. Does 13 divide ((-6)/u)/((-3)/(-348))?
False
Let j(d) = d**3 + 1. Let f(s) = -5*s**3 - 7*s**2 + 4*s + 2. Let y(c) = -f(c) - 6*j(c). Does 4 divide y(4)?
True
Suppose -1684 + 445 = 7*p. Let l = 321 + p. Is 29 a factor of l?
False
Let s(i) = 0*i - 16 - 2*i + 0*i + 3*i. Let f be s(7). Let m = 10 - f. Is 6 a factor of m?
False
Let n(u) = 2*u**2 - 1 + 11*u**3 + 925*u - 926*u + 0. Is 5 a factor of n(1)?
False
Let w(q) = q**3 - 12*q**2 + 9*q + 12. Let g be w(12). Suppose -6*p + g = -p. Is 12 a factor of p?
True
Suppose 3*k - 4*r + 213 = -9*r, -2*k - 164 = -4*r. Let g = k - -124. Is g a multiple of 8?
True
Let u = 741 + 281. Does 14 divide u?
True
Let j = 873 + -333. Does 60 divide j?
True
Let o(v) = v. Let t be o(-4). Let g = -6 - t. Is 6 a factor of (46/(-4))/(1/g)?
False
Let b be (1 - -11)*(-9)/(-18). Suppose b*m - 316 = 2*m. Let i = 142 - m. Is i a multiple of 21?
True
Let g(c) = 54*c. Does 13 divide g(8)?
False
Let r(c) = 28*c + 52. Is r(7) a multiple of 31?
True
Let l = 34 - -27. Let o = 169 - l. Is 9 a factor of o?
True
Suppose 10*r = 6*r - 512. Let h = r - -10. Does 12 divide (-2)/((-114)/h + -1)?
False
Let r(j) = -2*j**3 - 41*j**2 + 42*j - 48. Does 24 divide r(-22)?
True
Suppose 4*b - 15 = 1. Suppose -18*u + 16*u = -b. Is 1*((-34)/u)/(-1) a multiple of 5?
False
Suppose -16*g = -27*g + 5291. Does 38 divide g?
False
Suppose 2*n + 1283 + 263 = 4*x, -x + 403 = 5*n. Suppose -2*d = -5*k - x, 110 + 260 = 2*d + 4*k. Does 27 divide d?
True
Let c = 869 + -740. Is c a multiple of 9?
False
Suppose -5*q - 1 = -4*y - 0*q, 0 = -y + 5*q - 11. Suppose -48 = -y*k + 16. Is k a multiple of 2?
True
Suppose -5*s + 357 + 1313 = g, 1660 = 5*s + 3*g. Suppose -2*z - z + 6 = 0. Is 29 a factor of (s/10)/(1/z)?
False
Let m(v) = v**2 + 3*v - 8. Suppose -w = -10*w - 45. Does 2 divide m(w)?
True
Let a(r) = -7*r**2 + 5*r - 5. Let q be a(2). Let j(v) = -v**2 - 25*v + 3. Does 8 divide j(q)?
False
Let a(w) be the third derivative of -w**6/120 + w**5/10 + w**4/12 + 5*w**3/6 + 7*w**2. Is 10 a factor of a(5)?
True
Let r(s) = 17*s + 20. Let b be r(5). Is (-6)/((b/12)/5)*-14 a multiple of 12?
True
Suppose 600 = -7*a + 12*a. Is a a multiple of 24?
True
Suppose -3*c = 5*f + 6, -c + 4*f = -f + 22. Let x(m) = -2*m**2 + 3*m + 11. Let p(k) = -2*k - 1. Let i(a) = -4*p(a) - x(a). Is 14 a factor of i(c)?
True
Suppose 3*s - 75 = -j, -3*j + 1 + 274 = -s. Is j a multiple of 12?
False
Let a = -66 - -55. Let i = a + 241. Is i a multiple of 46?
True
Let k = -12 + 9. Let w(p) = -5*p**2 - 4*p - 6. Let o(g) = -2*g**2 - 2*g - 3. Let i(j) = 13*o(j) - 6*w(j). Is i(k) a multiple of 11?
False
Let m(u) = 254*u**2 - 21*u - 69. Is m(-3) a multiple of 57?
True
Suppose 3 = 4*k - 5. Suppose -4*f = -6*f - 10. Does 15 divide (k + (-156)/15)*f?
False
Let g = -9918 + 5691. Let q be g/24 + 7/56. Let o = -113 - q. Is 32 a factor of o?
False
Suppose -3*h - 22 = -4*u, -2*u = -6*u - 4*h + 8. Is 10 a factor of ((-5)/(-2) - -3)*u - 2?
True
Suppose 7 = -l - 0*l. Let s be (-1)/(l/3 + 2). Suppose -4*v + 2*u = -118, 0 = -2*v + 2*u + s*u + 63. Is v a multiple of 8?
False
Suppose 587 = 3*b - 0*z + z, -2*z = 2*b - 394. Is b a multiple of 19?
False
Let z be (-2)/8 + (-2 - 1770/(-8)). Suppose -4*r = 5*m - 179, -4*r = -5*m + 2*m - z. Is r a multiple of 17?
True
Let t(h) = -h + 2. Let z be t(-2). Suppose 0*u + z*u - 266 = -5*f, -4*f - 3*u = -213. Suppose -p = -2*p + f. Is 18 a factor of p?
True
Let x(c) = -c - 1. Let n(q) = -7. Let i(b) = n(b) - 5*x(b). Is i(12) a multiple of 26?
False
Does 44 divide 132/((-10)/4*(-33)/55)?
True
Let a(k) = -k**3 - 5*k**2 + 12*k - 10. Let l be a(-7). Let i(u) = 15*u**2 + 27*u - 10. Does 40 divide i(l)?
False
Let g(u) = -u**3 - u**2 - 6*u - 4. Let m be g(-1). Is 5/(m - 138/72) a multiple of 12?
True
Let o(l) = -9*l + 2. Let z(s) = s**2 - 2*s - 6. Let b be z(5). Suppose -12 = 4*h - 2*w, -b = 5*w + 1. Does 25 divide o(h)?
False
Let a = 100 - -23. Let o = 163 - a. Is 9 a factor of o?
False
Is 37 a factor of (-2)/(-1 + 1215/1220)?
False
Suppose -26 = -2*h + h. Let b = h + -9. Is b a multiple of 17?
True
Suppose 5*r = a - 2201, -a + 0*r = -4*r - 2197. Does 28 divide a?
False
Suppose -15193 - 5384 = -19*u. Does 25 divide u?
False
Let a(m) = 2 + 10 + 7*m**2 + 2*m**2 - m**3 - 6*m. Is a(8) a multiple of 4?
True
Let t(p) = 3*p**2 - 22*p + 127. Is t(5) a multiple of 23?
True
Is (-1)/((-2)/34) + 0 + 1 a multiple of 2?
True
Suppose -4*r + 3607 = -h, 19*h - 21*h + 4525 = 5*r. Is r a multiple of 43?
True
Let f(h) = -4*h + 10*h**2 + 5 + 0 + 4*h + 3*h. Does 6 divide f(-2)?
False
Let q be (1 - -2) + -2 - -158. Suppose -5*t + 461 = -q. Is t a multiple of 31?
True
Let o = -1024 - -1630. Does 5 divide o?
False
Suppose 0 = -2*q + 15 + 5. Let n be (q/20)/((-2)/(-452)). Let x = n + -35. Does 17 divide x?
False
Let z(h) = 28*h**2 + 3*h + 4. Let l be z(-1). Suppose -l*q = -32*q + 120. Does 15 divide q?
False
Suppose 4*o = -5*x + 440, o + 2*o = 2*x - 176. Does 11 divide x?
True
Let z = 17 + 22. Let t = z - -3. Is 6 a factor of t?
True
Suppose 2*o = -f + 225, 4*f - o - 310 = 590. Does 3 divide f?
True
Suppose -17 + 57 = 2*h. Let q be 3/12 - 325/h. Let p = q - -25. Is 7 a factor of p?
False
Suppose -2*b = -4*g + 3234, 15*g + 3227 = 19*g + 5*b. Is 7 a factor of g?
False
Let c = -1817 - -2627. Is 23 a factor of c?
False
Let o be 6/(-4)*(-40)/30. Suppose o*i - 21 = 69. Does 9 divide i?
True
Let r be 242 - (0 + (6 - 3)) - -2. Let z = r + -103. Does 23 divide z?
True
Is -4 + (-30)/(-5) + 966 a multiple of 44?
True
Let f = 9 - 5. Let o be 2/f*(1 + -1). Suppose 0 = -2*x - o*x + 24. Is 12 a factor of x?
True
Does 18 divide (-14)/189*-9*2214?
True
Is 11 a factor of (-7 - -3)*(3 - (-188)/(-4))?
True
Let g = 417 - -857. Does 49 divide g?
True
Suppose -14*s + 7*s + 14 = 0. Suppose -s*m + 46 = 2*d, -3*m - 2*d - 58 = -5*m. Is m a multiple of 13?
True
Let r = 264 - 242. Is r a multiple of 8?
False
Suppose -31*s + 35*s - 932 = 0. Is 14 a factor of s?
False
Suppose 0 = 2*o - 0 - 24. Suppose a = 108 + o. Does 12 divide a?
True
Let g(a) = 3*a**2 - 80*a + 80. Does 24 divide g(40)?
True
Let a(y) = -y**2 + 2*y + 4. Let i be a(0). Is ((-2)/i)/(16/(-192)) a multiple of 6?
True
Let h = 679 + -367. Suppose h = 2*w + 2*w. Suppose f - w + 6 = 0. Is f a multiple of 18?
True
Let t = 61 + -59. Suppose -5*o + 6*o = -3*z + 7, -t*o + 22 = -2*z. Is o a multiple of 5?
True
Let w(s) = -32*s + 14. Let h be 12*(0 - ((-4)/(-6) + 0)). Is w(h) a multiple of 15?
True
Suppose 10