19125/(-6))/15)/(1/(-2)) a multiple of 17?
True
Suppose -3178 = -5*v + 22. Does 40 divide v?
True
Suppose -2*c + 3*x - 4*x = 55, 0 = -c - 5*x - 50. Is 27 a factor of (-3)/((-10)/c + 38/(-80))?
False
Suppose -4*q + 10 - 38 = -5*m, -3*m + q + 14 = 0. Suppose -m*z - 6 + 2 = 0. Is 21 a factor of 12/(z/21*-3)?
True
Suppose 0 = -2*c - 0 + 4. Suppose -3*n + c*n = 2. Does 18 divide -4 + 6 - 212/n?
True
Suppose 10*t - 7086 = 4*t. Is t a multiple of 19?
False
Suppose -157 = -5*f + f - 5*t, -f + 5*t + 58 = 0. Suppose 0 = -2*r + 3*r - f. Is r a multiple of 9?
False
Suppose -2*f + f + 5*w = -31, -3*w = 3*f - 111. Does 13 divide f?
False
Let k = -123 - -133. Suppose 3*g + 3*o - 163 = -k, -2*o = -2*g + 106. Does 16 divide g?
False
Suppose 2*z - 4*x - 26 = -0*x, 4*x = 4*z - 32. Suppose 5*a - 663 = 2*r + 497, z*r = -5*a + 1135. Is 7 a factor of a?
False
Let b(c) = c**3 - 25 - 7*c + 56 - 27 + 2*c**2. Is 31 a factor of b(4)?
False
Let x be 3/2*38/(-57). Let g = 3 + x. Does 2 divide g?
True
Suppose 3*m - m - 22 = -3*q, 0 = 4*m - 2*q - 12. Suppose m*l + 0*r - 70 = -5*r, 52 = 2*l - 4*r. Is 3 a factor of l?
True
Let g be (-884)/91 - 4/14. Let d be 14/g + (-3)/5. Is 19 + 3/(3 + d) a multiple of 15?
False
Let p(s) = 4*s**2 - 2. Let a be p(3). Suppose -a - 57 = -7*k. Suppose 2*y + 3 - k = 0. Is y even?
False
Let r(z) be the second derivative of 0 + 1/3*z**4 + z**2 - 1/3*z**3 - 4*z. Does 14 divide r(2)?
True
Suppose -3*z = -3*v + 915, -57 - 1172 = -4*v + z. Is v a multiple of 22?
True
Let o = 1924 - -2476. Is 88 a factor of o?
True
Suppose 2*s = -4*l + 12, 0 = -0*s - 2*s - 5*l + 15. Suppose -7*f = -5*w - 2*f + 515, s = -2*w + 5*f + 191. Is 36 a factor of w?
True
Let f(y) be the second derivative of -7*y**3/6 - 3*y**2/2 + 3*y. Suppose -17 = 4*o + 3. Is 12 a factor of f(o)?
False
Let j(a) = -a**3 + 10*a**2 + 3. Let c be j(10). Let h(u) = 6*u - 11. Is 2 a factor of h(c)?
False
Let c(h) = -9*h**3 + 5*h**2 + 4. Is c(-4) a multiple of 30?
True
Let k(b) = -b + 5. Let x be k(3). Is 18 a factor of (-8 + x)*(11 - 14)?
True
Let d(b) = 8 + 17 - b - 9. Suppose 2*j = -j. Is d(j) a multiple of 7?
False
Suppose 1215 = 3*l + 4*v - 1600, -3*l + v = -2840. Suppose -747 = -4*h - r, 0*h - l = -5*h + r. Suppose 204 = 4*u + 3*f, -2*f + 67 = 5*u - h. Does 13 divide u?
False
Suppose -i = i + 1286. Let j = -293 - i. Does 50 divide j?
True
Let j = -2147 - -5807. Does 63 divide j?
False
Let i = -36 - -40. Suppose -i*k - 120 = -4*m, -4*m - 2*k = -0*m - 120. Does 4 divide m?
False
Suppose 7*w = 154 + 35. Let x = w + -23. Is (-42)/x*(-17 + 11) a multiple of 21?
True
Let m be (-1 - -10) + (-12)/3. Let a = m - 6. Let l(x) = -31*x - 2. Is l(a) a multiple of 27?
False
Let l(z) = -z**3 + 9*z**2 - 8*z. Let w be l(8). Suppose 5*a - 8*a = w. Suppose -2*n + u = -5*n + 31, a = 2*n + 3*u - 23. Is 8 a factor of n?
False
Let d(v) = 8*v**2 + v - 1. Let h = 3 + 12. Suppose -2*z = h - 17. Is 8 a factor of d(z)?
True
Let t be 92/22 + 26/(-143). Suppose 0 = -4*n - n - t*u + 55, u = 0. Is n even?
False
Suppose 4*x - 62 = 1278. Does 15 divide x?
False
Suppose 18*z = 13*z + 50. Does 10 divide (166/z - 1)*5?
False
Suppose 6*t = -7 + 7. Suppose -6*o - 5*o + 1881 = t. Is 13 a factor of o?
False
Let a = -3 - -3. Let w be 1/((-26)/(-8) + -3). Suppose a = 2*q, -i + 5 = -w*q - 17. Is i a multiple of 22?
True
Suppose -16*f + 8162 = -1310. Does 16 divide f?
True
Suppose 0 = -4*o - 4. Let d be 0 + 1 + (-2 - o). Suppose -3*w + 49 + 95 = d. Is w a multiple of 11?
False
Is 6 a factor of (-3 + 153/45)/(2/1260)?
True
Let n(i) = i**3 + 44*i**2 + 114*i - 6. Does 14 divide n(-41)?
False
Is 15 a factor of ((-80)/(-3))/(((-60)/(-162))/5)?
True
Suppose u - 4*t - 8 = 0, 0 = -5*u - 3*t + 12 + 5. Suppose 275 = 5*q + u*k, -5*q + 4*k + 51 = -224. Is q a multiple of 5?
True
Let t(u) = u**3 + 9*u**2 - 13*u - 24. Let y be t(-10). Is 17 a factor of ((-8)/y)/(-4*(-1)/(-138))?
False
Does 18 divide (-22347)/(-18) + 1/2?
True
Is 46 a factor of (-6 - 7 - -5)*-69?
True
Let d(g) = 54*g**2 - 2*g + 2. Suppose 4*r - 22 = -2. Suppose -r*o = 3*u - 8 - 10, -o - 2 = -5*u. Is d(u) a multiple of 12?
False
Suppose 6*r - 3*r - 5*h = 2224, 0 = -2*r + h + 1471. Does 60 divide r?
False
Let v(h) = 6*h - 3. Let x be v(2). Let z be (x - 5) + -2 + 0. Suppose -2*t + 140 = z*p, 0 = 3*p - 0*t - t - 194. Does 19 divide p?
False
Suppose -31 = -3*u - 6*f + 5*f, 4*f + 6 = u. Suppose 2*o - 84 = u. Is 5 a factor of o?
False
Let w(m) = 122*m - 217. Is w(15) a multiple of 32?
False
Let q(w) = w**3 + 4*w**2 - 6*w + 6. Let p be q(-5). Let y = p + -9. Suppose 0 = -y*x - 5*v + 21 + 36, 4*v = -5*x + 100. Is 4 a factor of x?
True
Suppose 5*p = a - 3589, 11*p - 7202 = -2*a + 13*p. Is a a multiple of 17?
True
Suppose -5*n = -3*t + 512, t - 4*n + 8*n - 148 = 0. Does 2 divide t?
True
Let a = -611 + 1584. Does 41 divide a?
False
Let l(t) = t**2 + 7*t - 4. Let o be l(-8). Let b(f) = f - 1. Let j be b(o). Does 12 divide (105/(-6) - j)*-2?
False
Let j(n) = -2*n + 3. Let a be j(-6). Suppose -3*z - 2*z + a = 0. Suppose 0 = z*r - 6 - 36. Is 4 a factor of r?
False
Suppose 31434 = 14*x + 12*x. Is 13 a factor of x?
True
Let y(r) be the first derivative of -24*r**2 + 10*r - 42. Is y(-3) a multiple of 22?
True
Suppose -2*y - p + 301 = 31, 126 = y - 4*p. Suppose -y = -5*q + 91. Is q a multiple of 18?
False
Suppose -3*a + 989 = 3*q - 2428, a - 1144 = 4*q. Does 30 divide a?
True
Suppose y + 0*y - 682 = -2*q, 4*y - 1368 = -4*q. Suppose 4*i + 4*c = q, -2*i - 2*c = c - 169. Does 23 divide i?
False
Suppose -66 = -4*z + 26. Let x = 2 - z. Does 4 divide (30/x)/((-2)/14)?
False
Does 37 divide 3/((-6)/(-9) + (-22424)/33744)?
True
Let l = 1707 + -532. Suppose -4*f + 2*v + 926 = -0*v, -5*f = v - l. Is f a multiple of 39?
True
Suppose -5*a = -5*h - 1470, a = -2*h - 70 + 373. Does 27 divide a?
True
Let p(l) = -15*l + 9. Let r(q) = -22*q + 13. Let c(i) = 7*p(i) - 5*r(i). Does 2 divide c(1)?
False
Let r(x) = 0 + 4*x - x - 5. Let a(n) = -n + 2. Let k(u) = -5*a(u) - 2*r(u). Is 2 a factor of k(-7)?
False
Let o = -34 + 55. Suppose -24 = 4*j - 2*p, 4*j + j = -2*p - o. Is 8 a factor of (40/j)/(1/(-2))?
True
Suppose -4*s + s = -15. Suppose 4*r = -0*p - p + 336, -s*r - 2*p = -420. Is r a multiple of 21?
True
Is 82 a factor of (-2788)/(-340)*(1 + 19)?
True
Suppose 2*o + 2*x - 6*x = 0, 4*x = -4*o. Suppose o = 5*z - 6 - 34. Suppose -y = 3*h - z, -3*y - 8 = -5*h + 10. Does 3 divide h?
True
Let o be 76*-2*4/16. Let j = o + 158. Is j a multiple of 15?
True
Suppose 182 = f + 44. Let j = f + 18. Does 39 divide j?
True
Let b(v) = 11*v**2 + 15. Suppose 0 = 2*g + k - 8, -2*g - 5*k = -2 - 6. Is 21 a factor of b(g)?
False
Let z = -59 + 119. Suppose -c = 0, -z = -3*h + h + 5*c. Is h a multiple of 20?
False
Suppose -2*a = -a - o - 16, -2*a + 12 = 2*o. Let u = -8 + a. Suppose 4*d - b = 287, 4*b = 8*d - u*d - 356. Does 17 divide d?
False
Let b = 1647 + -1367. Does 70 divide b?
True
Suppose 0*v = -3*s + v + 644, 3*s + 5*v - 668 = 0. Let j = 114 + 10. Suppose 5*z = s + j. Is z a multiple of 17?
True
Is 13 a factor of 6 + (-440)/70 - 41500/(-14)?
True
Let b = 328 + 267. Suppose 2*q = -5*q + b. Does 13 divide q?
False
Let z = 651 + -225. Suppose z - 66 = 6*b. Is 6 a factor of b?
True
Let t(o) = -3*o + 3. Let u be t(-8). Let b be ((-24)/10 - -2)*-10. Suppose 2*m - 60 = -y + u, 5*y = b*m - 139. Is 15 a factor of m?
False
Let t = -38 + 34. Let u(l) = l**3 + 4*l**2 - 5*l - 3. Is u(t) a multiple of 8?
False
Let i(j) = 3*j - 10. Let r = 37 + -27. Is 10 a factor of i(r)?
True
Let j = -4 - -4. Suppose -i + 4*i - 30 = j. Is 7 a factor of (-2)/1 - (1 - i)?
True
Suppose -2*a - 108 = -20*a. Suppose 1084 = a*j - 20. Is 23 a factor of j?
True
Let o(a) be the second derivative of -a**6/120 - a**5/15 + a**4/8 - 4*a**3/3 - a**2 + 2*a. Let y(w) be the first derivative of o(w). Is 15 a factor of y(-6)?
False
Suppose -21*x = -7*x - 8708. Is 23 a factor of x?
False
Suppose 0*j - 4*j - 3*n = -1942, -n = -5*j + 2418. Is 5 a factor of j?
False
Suppose -5*k = 20, 20*k + 1462 = 2*q + 23*k. Does 56 divide q?
False
Let f be -10*(3 - (-36)/(-8)). Let t = f - 10. Suppose 0 = t*k - i - 162, 3*k + 5*i - 54 = k. Is 4 a factor of k?
True
Suppose -4*r + 775 = m - 6*m, 2*r + 4*m - 420 = 0. Suppose r = 3*n + 5*j, 5*j = -0*j - 25. Is n a multiple of 15?
True
Is 104 a factor of (-1 - -