ppose 0 = -14*b + 7*b - 28. Is 16 a factor of (-54)/b*((-132)/(-9) + -4)?
True
Suppose 116 = a + 4*m, -5*m + 0*m - 258 = -2*a. Does 10 divide a?
False
Suppose 3*f - 9 = 0, -3*r + f = -3*f - 930. Does 69 divide r?
False
Let r = 18 + -20. Let h be ((-3 - -2) + 1)/r. Suppose h = -7*n + 3*n + 144. Is 12 a factor of n?
True
Let r = 1173 + -629. Is 32 a factor of r?
True
Let g(v) = -2*v - 6. Let h be g(-4). Suppose 2*x - 65 = -p, h*x + 8 = -2*p + 138. Is 13 a factor of p?
True
Suppose 2*y = 3*y + 63. Suppose -46 = -z + 45. Let o = z + y. Is 7 a factor of o?
True
Let q be 1/(-4) + (-235)/20. Let x(b) = -4*b - 29. Does 19 divide x(q)?
True
Suppose -6*a + 18 = -0*a. Let g be (-4220)/(-8) + a/6. Suppose w + 5*w - g = 0. Is 22 a factor of w?
True
Let t(y) = y**3 - 38*y**2 - 23*y + 48. Is 16 a factor of t(39)?
True
Does 5 divide 16/(-20) - 895/(-25)?
True
Let m = -299 - -887. Is 31 a factor of m?
False
Let n = -543 + 385. Let d = 88 + n. Is 15 a factor of 2/(-8)*2*d?
False
Suppose -10*f = -6*f - 440. Suppose -2*g + 98 = -0*g + y, 2*y + f = 2*g. Does 26 divide g?
False
Suppose 0 = k - a - 290 - 196, 0 = 5*k + 2*a - 2395. Does 63 divide k?
False
Let o = 24 + -19. Suppose -o*b + 575 = -815. Does 11 divide b/4 - 2/(-4)?
False
Suppose 0 = 14*m - 9*m - 15. Suppose -t = -m*t + 168. Is 23 a factor of t?
False
Let l be ((-2)/4)/(4/40). Let j = l - 4. Is 3 a factor of 1/((-3)/j) + 0?
True
Suppose -z - 127 = -2*w - 6*z, 0 = 5*z + 15. Suppose -k + 4*f - 29 = -2*k, 0 = -4*k - f + w. Is 17 a factor of k?
True
Suppose -4*o + 1546 = 5*c, 10*c + 1916 = 5*o + 8*c. Is o a multiple of 16?
True
Does 16 divide 12*(-117)/(-22) - (-26)/143?
True
Suppose -5052 = -3*t - 3*f, t - 1700 = -61*f + 56*f. Does 21 divide t?
True
Suppose 3*l = -5*g + 2*l + 22, 0 = g - 4*l + 4. Suppose g - 22 = -6*p. Is 2 a factor of p?
False
Is 89 a factor of (-4)/(-4 + 25893/2590 + -6)?
False
Let a be 2/(-1) + 39/(-3). Let m = -11 - a. Is (1 + (-1)/m)*100 a multiple of 22?
False
Let u = 68 + -16. Let s = u - 37. Is 15 a factor of s?
True
Let n be 4*(21/(-2))/3. Let i be (-31 - -1)/(n/119). Suppose 3*b = -2*b + i. Does 17 divide b?
True
Let g be (0 - (-4)/16)*4. Let t(h) = 49*h**3 + h**2 - 3*h + 2. Does 7 divide t(g)?
True
Let r(t) = t**2 - t - 6. Let n be r(3). Suppose -5*v - 5*d + 95 = n, 3*v - 41 = -d + 2*d. Does 3 divide v?
True
Let x = -23 + 46. Suppose -r + 11 = -5*t - x, -4*r + 76 = -5*t. Suppose 2*q = r + 42. Is 7 a factor of q?
True
Let c be 0 + 8/4 - 0/1. Suppose -5*p = -0*s - 3*s + 761, c*s = 2*p + 506. Is 36 a factor of s?
True
Let w be -1 + -3 + 0 + 1. Is 23 a factor of (920/24)/(1 - (-2)/w)?
True
Let h be (5 - -4)/(6/8). Suppose -2*z + h = 2*z. Suppose -m = z*m - 156. Is 13 a factor of m?
True
Let t(b) = b**2 + 19*b - 85. Is t(16) a multiple of 36?
False
Let v(m) = 38*m**2 + 6*m - 25. Is v(3) a multiple of 19?
False
Let n(q) = 6*q**3 - 6*q**2 + 5*q + 9. Let v(r) = r**3 - r**2 + r + 1. Let s(d) = -n(d) + 5*v(d). Let h be s(0). Is 14 a factor of (-43 + 1)*h/4?
True
Let u(p) = -219*p**3 + 3*p**2 + 6*p + 4. Is 22 a factor of u(-1)?
True
Let l = -204 + 302. Does 20 divide l?
False
Let w be 4*1 + 8 + 156. Suppose j - 4*j + w = 0. Does 8 divide j?
True
Suppose 0 = 195*x - 208*x + 37648. Is 32 a factor of x?
False
Let f(z) = -z**2 + 35*z + 200. Is 10 a factor of f(19)?
False
Suppose -2 = -d - 2*m + 7, 2*m = -2*d + 14. Suppose 4*x + d*b - 89 = -14, -x - b = -18. Is 4 a factor of x?
False
Let d(q) = q**2 - 3. Let y be d(-3). Suppose y*n + 2*n = 40. Does 3 divide n?
False
Let n be 7/(7/(-40))*-4. Suppose 0 = -8*v + 4*v + n. Is (-3 - (-7)/2)*v a multiple of 20?
True
Let o = -343 - -973. Is o a multiple of 18?
True
Let i(y) be the first derivative of 4*y**3 - 2*y**2 + 4*y + 10. Is 11 a factor of i(2)?
True
Suppose x = 2*x + 5*c - 408, -5*c - 2040 = -5*x. Is 34 a factor of x?
True
Let q(g) = g**2 + 4*g - 19. Let i be q(-8). Suppose z - i = 33. Is 23 a factor of z?
True
Let s(i) = i**3 + 9*i**2 + i. Let c be s(-9). Is 140 + c/((-27)/12) a multiple of 12?
True
Suppose -31*v - 48600 = -43*v. Does 15 divide v?
True
Let a = -1053 - -3573. Does 45 divide a?
True
Suppose -4*v + 6 = 42. Let h = 33 - v. Suppose 6*k - 18 - h = 0. Does 2 divide k?
True
Suppose -2*f = 4*m + 10, 4*m - 2 + 15 = -f. Suppose -2*w + 248 = -f*k, 5*k - 2*k = 3*w - 378. Is w a multiple of 18?
False
Suppose 2*q - 3*q - 26 = 0. Let i = q + 31. Suppose 4*p = -p + i*x + 110, -42 = -p + 5*x. Does 5 divide p?
False
Suppose -5*i + 275 = 3*m, -2*i - 259 = -3*m - 3*i. Suppose r + 33 = m. Does 13 divide r?
True
Let t(r) = -r**2 + 7*r - 5. Let g be t(4). Let h = 11 - g. Suppose h*f - f = 45. Does 10 divide f?
False
Is 27 a factor of 5402 - (-2 - -7)*8/20?
True
Does 89 divide 2/(16/820) + (-12)/24?
False
Let j(x) = -x**2 + 9*x - 8. Let v be j(5). Suppose -4*z = -12, t - 2*t + v = -4*z. Is 16 a factor of t?
False
Suppose 2*a + a = 9. Suppose 0 = -a*p + 6*p - 24. Is 7 a factor of p?
False
Suppose 3*l - 10*l = -6468. Is 33 a factor of l?
True
Let l(h) = h**3 + 2*h**2 + 4*h + 20. Is 24 a factor of l(6)?
False
Let k be (-2)/5 + (-102)/(-30). Suppose 3*v - 191 = -2*d, k*d + 2*v = 5*v + 324. Is 41 a factor of d?
False
Suppose -3*n - 3 = 0, -2111 = -4*a + n - 2*n. Suppose 10*j - a = 2*j. Is 13 a factor of j?
False
Let c(q) = -2*q + 42. Let o be c(19). Is 0 - o - 0 - -125 a multiple of 48?
False
Let o = -19 + 34. Let n be ((-3 - o) + 1)/(-1). Let c = 38 - n. Does 11 divide c?
False
Suppose 3*f - 2*v + 197 = 8*f, -4*f + 5*v + 184 = 0. Is 30 a factor of f?
False
Let o = -230 - -329. Suppose -93 - o = -4*j. Let i = j + -12. Is i a multiple of 18?
True
Let x = 49 + -42. Suppose 11 = x*k - 220. Is k a multiple of 11?
True
Let f(b) = b**3 - 3*b**2 - 3. Let z(l) = 9*l + 31. Let s be z(-3). Is 2 a factor of f(s)?
False
Let j = 1680 - 758. Does 6 divide j?
False
Suppose 3*z - 4*o + 423 = 0, -5*o = -5*z - o - 697. Let y = -72 - z. Is 13 a factor of y?
True
Let s(i) = 18*i - 8. Let g be (-140)/30*(-6)/4. Is s(g) a multiple of 27?
False
Let m = 715 + -411. Suppose 0 = -4*a + 4*g + m, -2*a - 5*g = -121 - 59. Is a a multiple of 16?
True
Let q be (1 - -3)*98/8. Let n = 10 + q. Does 17 divide n?
False
Let g(z) = 2*z**2 - 4*z - 2*z + 2*z - 8 - 4*z. Is 16 a factor of g(-13)?
False
Is 2 a factor of ((-13)/(195/(-10)))/(3/630)?
True
Suppose -5347 = 2*g - 6211. Is 16 a factor of g?
True
Suppose 3*a = 4*g + 36, 0 = a + 2*g - 22. Let j(z) = -z**3 + 17*z**2 - 4*z + 8. Let m be j(a). Suppose -m - 50 = -5*s. Does 13 divide s?
False
Suppose 0 = -37*f + 87263 - 9341. Is 54 a factor of f?
True
Is 244 - (1 + 0)*(-3 - 1) a multiple of 4?
True
Suppose -1435 = 6*b - 4867. Does 58 divide b?
False
Let k(l) = 29*l**3 - 2*l**2 - 2*l + 1. Let g(r) = 30*r**3 - 3*r**2 - 3*r + 2. Let h(t) = 2*g(t) - 3*k(t). Let w = -7 + 6. Is 27 a factor of h(w)?
False
Let v = -32 - -36. Suppose 3*y + 5*d - 173 = 0, -6*d + 229 = v*y - d. Does 15 divide y?
False
Does 7 divide (((-46)/(-3))/1)/(10/75)?
False
Does 19 divide (-1 + (-37)/3)*(-9288)/45?
False
Let w = 3387 + -1577. Is 54 a factor of w?
False
Let y(f) = 23*f + 41. Let w(b) = -8*b - 14. Let r(q) = 7*w(q) + 2*y(q). Let k be r(-10). Suppose k = -11*v + 13*v. Does 14 divide v?
True
Is 100*7*(-534)/(-105) a multiple of 10?
True
Let w be 142 - (1 + 3)*1. Suppose w = -20*f + 23*f. Does 23 divide f?
True
Let x = -2141 - -3612. Does 11 divide x?
False
Suppose -3*c + 26*t = 30*t - 958, c - 3*t - 315 = 0. Is 53 a factor of c?
True
Let a be -9 - -14 - (2 + 0). Suppose -4*b - 263 = -5*f, a*b = f - 2*f + 45. Does 3 divide f?
True
Let m(j) = -2*j**3 - 2*j**2 - j - 2. Let u be m(-2). Does 17 divide 1716/21 + u/28?
False
Let b = 22 + -7. Let l = b - 12. Let y(o) = o**3 + 1. Is 14 a factor of y(l)?
True
Let h(k) = -5*k + 4. Let i be ((-5)/(10/(-4)))/(-2). Is 2 a factor of h(i)?
False
Let n(g) = -g**2 + 12*g + 14. Let q(z) = -z + 27. Let a be q(14). Let i be n(a). Let r(h) = 42*h**2. Does 14 divide r(i)?
True
Is 17 a factor of 1647 + (10 - 5) + 6?
False
Suppose -50*n + 39*n = -198. Let s(r) = 9*r**2 - r + 2. Let l be s(-2). Let k = l - n. Is 5 a factor of k?
False
Let g = 17 + -15. Suppose 3*k - g*b + 16 = 0, -b + 13 = -2*k - 2*b. Is (-362)/k - (-3)/(-9) a multiple of 15?
True
Let x = 6 - -6. Let b = x - -9. Is 3 a factor of b?
True
Let x(f) = f**3 - f**2 - 5*f + 9. Let c b