-5) - 5165/f?
False
Suppose -187 = 5*v - 17. Let s be 0/((-4)/(-2)*1). Does 17 divide (s + -1)/(2/v)?
True
Suppose 0 = -7*p + 25*p - 21924. Does 20 divide p?
False
Suppose 0 = 5*d - 13 - 2. Suppose -d*t - 3*f = -2*t - 35, 0 = -4*t - 4*f + 116. Suppose -5*b + t = 3*r - 74, 61 = 2*b - 3*r. Is 15 a factor of b?
False
Suppose -15*h + 16068 = -2*h. Is h a multiple of 40?
False
Let f(w) = -342*w - 1. Let d be f(-1). Suppose 0 = -3*v, 3*v = 5*a - d + 81. Is a a multiple of 13?
True
Suppose 3*m - 5 - 5 = -4*z, 0 = -4*m - 2*z + 10. Is 5 a factor of m - (0/(-4) + -48)?
True
Suppose -3*c = -k + 2, 4*c - 5 = -2*k - 1. Suppose -376 = -4*g + 4*x, -5*g + 327 + 143 = k*x. Does 28 divide g?
False
Suppose -4*r - j - 133 = 0, 0*r + 5*j + 89 = -2*r. Let k = r + 39. Is k a multiple of 2?
False
Suppose -5*w + 48 = -2*w. Let o = w + -18. Does 12 divide 11 + (4 - 1) + o?
True
Let v(o) = -5*o**3 - 12*o**2 - 4*o + 6. Let i(u) = -u**3 - u**2. Let r(l) = 6*i(l) - v(l). Let q be (2/(-3))/((12/(-3))/24). Does 18 divide r(q)?
False
Let z be 12/20 + 717/5. Suppose 4*s - z = -4*c, c - 106 = -3*s - 3*c. Is (-8 - (-2 + -2)) + s a multiple of 17?
True
Let t(d) = 2*d**3 - 16*d**2 + 46*d - 26. Does 19 divide t(8)?
True
Suppose 7 = -3*z + z + n, 3*n - 3 = -3*z. Let m = 13 - z. Does 16 divide 156/10 + 6/m?
True
Let o be ((-24)/10)/((-30)/200). Let l = -54 + o. Does 9 divide (-1 - l) + (2 - 2)?
False
Let n be 2/(4/1)*0. Suppose -2*o - 2 = n, o - 118 = -2*x + 189. Let v = x + -92. Is 24 a factor of v?
False
Suppose 3*r - 122 = -2*f, -4*f + 132 = r - 92. Is 55 a factor of f?
True
Let r = -99 - -141. Let g be (-2)/((-4)/r) - 3. Is (-127)/(-3) + (-6)/g a multiple of 21?
True
Let a(b) = 29*b**2 + 5*b + 11. Let p be a(-4). Suppose -5*z - l + 490 = 35, -2*l - p = -5*z. Is z a multiple of 13?
True
Suppose 14 = 5*s + 2*s. Let q = -64 + 2. Let k = s - q. Is 18 a factor of k?
False
Is 11 a factor of 15/510*17 - (-22614)/4?
True
Let p be (-6)/4*(-140)/21. Suppose -p*k = -k - 144. Is 9 a factor of k?
False
Let n = 137 - 128. Suppose -7*h = -n*h + 240. Does 12 divide h?
True
Is 14 a factor of (-385)/(-110)*(1 + (-1194)/(-14))?
False
Let n = -153 - -533. Suppose 8*a = 4*a + n. Let c = a + -50. Is 9 a factor of c?
True
Suppose -5*y - 42 = -162. Suppose -y = -3*x + 3*d, 0 = -x + 2*d - 3*d + 2. Suppose x*s - 39 = -r, 2*s + 82 + 5 = 5*r. Is r a multiple of 7?
False
Let x be -3*3/(-9) - 9. Let v = -3 - x. Suppose -v*t - 45 = -6*t. Does 20 divide t?
False
Let i(c) = c**3 + 10*c**2 - 7*c + 15. Is i(-10) a multiple of 12?
False
Suppose -2*h + 32 + 18 = 0. Suppose 0*n - n = -h. Is n a multiple of 8?
False
Let d be -2*(-15)/(-10) - (1 - 85). Let l = d - -8. Is 9 a factor of l?
False
Does 36 divide (720/(-150))/((-6)/580)?
False
Suppose 2*m + 1 = -j - 5, -j + 2*m + 6 = 0. Suppose 4*a - 25 = -s, j = -4*a - 4*s + s + 19. Is 9 a factor of 3/((-6)/(-4))*a?
False
Suppose j + 10810 = 4*x, x + 3*j + 177 = 2886. Is 51 a factor of x?
True
Suppose -20*p = -8*p - 780. Is p a multiple of 21?
False
Suppose 3*o - 92 = 2*s, -150 = o - 6*o + 4*s. Suppose a - 2 = o. Is a a multiple of 36?
True
Suppose 82 = -5*z + 102. Suppose 0 = 5*h + z*k - 70, -4*h + k + 4*k + 56 = 0. Is h a multiple of 8?
False
Let u = -208 + 397. Is u a multiple of 8?
False
Let r be (-9)/(-15) - (-472)/5. Suppose r = 2*w + 5*m, -5*m = 22 + 3. Is 20 a factor of w?
True
Let f(p) be the second derivative of 38*p**3/3 + 2*p. Let n be f(2). Suppose -2*h + n = 3*d, -3*d + 4*d = -3*h + 60. Is 15 a factor of d?
False
Suppose 6*f = 3*p + 2*f, -4*p = -3*f. Suppose 0 = 5*v + 25, p*s - 2*v + 39 = s. Is s a multiple of 18?
False
Suppose 3*w - 5*i - 20 = -0*w, -4*w + 17 = 3*i. Suppose -2*d + w*d = -3, -34 = -2*x - 4*d. Suppose c - 8 - x = 0. Is c a multiple of 9?
True
Let h(u) = 3*u + 3. Let n(i) = 9*i + 9. Let m(z) = -11*h(z) + 4*n(z). Let g be m(-2). Is 14 a factor of g + 65 + (5 - 1)?
False
Suppose 4*m - 156 = 168. Let g = m + -50. Is g a multiple of 31?
True
Let t(b) = -b**3 + 16*b**2 + 92*b + 2. Does 29 divide t(19)?
True
Does 6 divide (-2)/1 - -4 - 172/(-2)?
False
Suppose -4*p + 4*c - 12370 = -9*p, 3*p - 4*c = 7390. Is 19 a factor of p?
True
Let d(t) = t**3 - 4*t**2 - 3*t - 10. Let h(o) = -5*o**2 - 2*o - 11. Let r(u) = 3*d(u) - 2*h(u). Does 11 divide r(4)?
True
Let f = 20 - 16. Suppose 5*s - 470 = b, 0 = -f*s + 2*b - 4*b + 390. Does 31 divide s?
False
Suppose -2*k - 3*k + 635 = 2*n, 3*k = -n + 382. Does 12 divide k?
False
Let l = 265 + -175. Does 11 divide (44/6)/(10/l)?
True
Suppose -77 = u + 6*u. Let i(g) = -g**3 - 9*g**2 + 15*g + 1. Is i(u) a multiple of 39?
True
Let b be 10/55 + (-306)/(-11). Suppose 0*t = 2*t + b. Let a(x) = -x**2 - 17*x + 18. Does 12 divide a(t)?
True
Suppose -168*h + 178*h = 2310. Is h a multiple of 7?
True
Let z = -22 + 18. Is 21 a factor of (z - (55 - -4))/(-1)?
True
Let a = 265 - 125. Let x = a - 100. Is x a multiple of 5?
True
Is 40 a factor of 12876/14 + (2 - (-120)/(-70))?
True
Suppose 0 = 3*b - 4*y - 108 - 170, -3*y - 6 = 0. Suppose 32*i + b = 35*i. Does 5 divide i?
True
Let y = 939 + -619. Is y a multiple of 19?
False
Suppose 3*o = 15, -v + 19*o = 17*o - 368. Does 17 divide v?
False
Let v(o) = 2*o + 10. Suppose 10 = -2*l, z + 5*l + 34 = -2*z. Let a be v(z). Suppose a*t - 97 = -p - 0*p, -3*p = 9. Is 7 a factor of t?
False
Let f be (-10)/(-1)*(-6)/(-3). Let i be 5/f + 437/(-4). Let r = -58 - i. Does 17 divide r?
True
Let g = 12 - 7. Suppose -g*c + 786 = -974. Suppose -4*q + 2*a - 70 + c = 0, -2*q + 126 = -4*a. Does 33 divide q?
False
Suppose 5*q + 156 = 3*x, 4*q = -4*x - 178 + 34. Is 19 a factor of 76/(q/(-9) - 3)?
True
Suppose 0 = i - 0*i - 45. Suppose 0 = -4*w + 5*n + 100, 5*n + 5 = -3*w + i. Does 10 divide w?
True
Let f(l) = -37*l - 1. Let q = 3 + -1. Let k be 0 + -2 + q + -1. Is f(k) a multiple of 21?
False
Suppose 0 = -4*g - 5*n + 1640, 3*g + 3*n = 4*n + 1211. Suppose 3*l + g = 4*k, -288 = -6*k + 3*k - 3*l. Is 13 a factor of k?
False
Let j = 27 - 16. Suppose -7 = -h + 5*k + 4, 3*h - 21 = 3*k. Let z = j - h. Is 2 a factor of z?
False
Let j be -4*1/(-2) - -56. Let w be (-1086)/39 + 18/(-117). Let t = w + j. Does 10 divide t?
True
Let x = 322 - 184. Is x a multiple of 23?
True
Let z be (1 - 1)/(2 - 3). Suppose 29*t - 31*t + 6 = 0. Suppose -r + t + 10 = z. Does 13 divide r?
True
Does 32 divide (6 + 7)/((-2)/(-18) - 0)?
False
Let f be ((-8)/6)/(12/(-27)). Suppose 5*s = -f*a, 7*a = 2*a. Suppose -8*d + 98 + 14 = s. Does 11 divide d?
False
Suppose -3*l - 84 = l. Is 13 a factor of ((-30)/l)/(-5)*-91?
True
Let u be ((-4)/3)/((-12)/(-90)). Let g be (-105)/6*28/u. Suppose 2*o + g = 139. Is o a multiple of 15?
True
Does 7 divide (-6019)/(-39) - (-12)/(-9)?
False
Let o = -1271 - -1872. Is 14 a factor of o?
False
Let m = 751 - 464. Is m a multiple of 41?
True
Suppose -3*v - 4*i + 3100 = 0, -2*i + 157 - 5289 = -5*v. Is v a multiple of 8?
False
Let k be ((-2)/6)/(3/36). Let r = k - -8. Suppose 20 + r = 4*o. Does 3 divide o?
True
Let q(i) = 2*i**3 - 5*i**2 + 7*i - 6. Is q(6) a multiple of 24?
True
Let c = 1280 + -563. Is c a multiple of 137?
False
Let x(i) = i + 11. Let p be x(-8). Suppose 2*g + 4*z = g + 17, 0 = g + p*z - 12. Is (-6)/9 - 161/g a multiple of 18?
False
Let a = -1367 + 2097. Is 8 a factor of a?
False
Suppose -20 + 8 = -4*x. Suppose -f = w - x, f - 5 = -2*w - 3. Suppose -7 = -f*z + 129. Is 17 a factor of z?
True
Suppose 0*q - 5*m + 17 = -2*q, 2*q - m = -13. Let w(i) = -i**2 - 6*i + 2. Let d be w(q). Is (d/(-6))/(6/(-162)) a multiple of 5?
False
Does 6 divide (8 - 104/10)*(0 + -100)?
True
Let z = -147 + 264. Let w be 2/(2 + z/(-57)). Let i = 58 + w. Is 12 a factor of i?
False
Suppose 6 = -4*l - 6. Let z(k) = -3*k + 1. Let u be z(l). Does 27 divide (18/u)/(2/30)?
True
Let k = 520 + -463. Is k a multiple of 7?
False
Suppose 828 = -323*a + 324*a. Does 9 divide a?
True
Let h(k) = -8*k**2 - k + 1. Let s be h(-2). Suppose -37 = -10*r + 73. Let v = r - s. Is 7 a factor of v?
False
Let f(b) = -4*b + 12. Suppose 5*i - 2*i = -5*q - 30, 0 = -q + 4*i + 17. Is f(q) a multiple of 8?
True
Let v = 366 + 1944. Is v a multiple of 30?
True
Suppose 0 = -11*d - 673 + 2532. Does 4 divide d?
False
Let x = 7 - 5. Suppose -f - 6 = f, 0 = -3*j + 5*f + 225. Suppose -x*r + 58 = 2*g, 4*g - 3*r = 11 + j. Is 12 a factor of g?
True
Suppose -39*f - 798 = -41*f.