 Is 35 a factor of d(-10)?
False
Let r = -578 + 1081. Suppose r*b - 511*b + 9984 = 0. Does 24 divide b?
True
Suppose -17 = -y + 3*b, -2*y + 4*b = -b - 30. Suppose -1624 = -y*s + 1011. Let l = -356 + s. Is l a multiple of 48?
False
Suppose z = 5*r + 6 - 0, 0 = -5*z - 5*r - 90. Let a = -10 - z. Suppose -3*f = -2*i - 21, 2*i - 2 = a. Is 3 a factor of f?
True
Let g = 15040 - 9455. Does 5 divide g?
True
Suppose -3*m = -3*v - 3 - 9, 2*v = -2*m + 8. Suppose -210 = 2*a + m*k - 1622, -10 = -5*k. Is a a multiple of 27?
True
Let o = -2 + 12. Suppose 3*b = 15, -v = -0*b + b - o. Does 26 divide v + ((-72)/(-1) - -1)?
True
Suppose -53*o + 57*o = -3*l + 77635, -l - 3*o + 25885 = 0. Is 27 a factor of l?
False
Let k be 11/143 + (-231)/(-39). Suppose -3432 = -k*n - 2*n. Does 11 divide n?
True
Suppose -3*q - 6 - 6 = 0, 5*f + 7306 = q. Let g = f + 2166. Is g a multiple of 5?
False
Let j(m) = 2*m + 10. Let f be j(-5). Suppose -46 = -2*k + 5*o, -o - o = f. Does 11 divide k?
False
Suppose 0 = 4*f + h - 3060, 4*h - 3186 = -6*f + 1404. Does 5 divide f?
True
Does 16 divide (-11)/(1870/20) - (-70722)/17?
True
Let x be (6*(-32)/60)/(1/5). Let z = -100 - x. Let f = 107 + z. Is 2 a factor of f?
False
Let n be (9/(-27))/((-2)/(-12)). Let v(l) = 2*l + 6. Let a be v(n). Suppose -3*i = -a*i - 22. Is i a multiple of 8?
False
Suppose i + 9746 = 2*v - 5083, -5*v + 37053 = 4*i. Does 55 divide v?
False
Let u(x) = -2*x**2 + 13*x + 4. Let w(d) = -3*d - 5. Let r be w(-4). Let t be u(r). Let z(p) = 4*p**2 + p - 6. Is 3 a factor of z(t)?
True
Let h(k) = 42*k + 53. Let q be h(15). Suppose 0 = -5*t - 5*r + 695, t = 6*t - r - q. Does 8 divide t?
False
Let p(n) = -2340*n + 21. Is 6 a factor of p(-4)?
False
Let w = 536 + -367. Suppose x - w = -3*a, 5*x - 4 = 1. Is a a multiple of 14?
True
Suppose -29 = -4*l - v - 0*v, -4*v + 50 = 5*l. Suppose 0 = l*o + 661 - 1831. Is 16 a factor of o?
False
Suppose 2*w - 226 = 3*g, 293 = 23*g - 27*g + w. Let u = g - -291. Does 3 divide u?
True
Let a = 435 - 96. Let z = a - 167. Is z a multiple of 19?
False
Suppose -2*m = 3*f - 10, -f + 2*m - 9 + 7 = 0. Suppose f*k + 366 = 1424. Is 34 a factor of k?
False
Let t(y) = 101*y + 5. Let j be t(19). Suppose j = 9*v + 151. Is v a multiple of 18?
False
Let y be 167 + 1 - (-8 - -8 - -4). Suppose 3*p = 4*h + y - 1951, h + 3*p = 458. Does 76 divide h?
False
Suppose v - 2*k = 6885, 2*v + 34458 = 7*v + k. Does 20 divide v?
False
Let w = -727 + 1459. Let b = 886 - w. Is b a multiple of 7?
True
Let a(k) = -3*k + 34. Let j be a(16). Let y be (-7)/j*(2 + 2). Suppose -3*p + 455 = 2*o, -2*o + 461 = y*p - p. Is 8 a factor of o?
True
Let d be (1637 - -7) + -6 + (-1)/(-1). Let v = d - 692. Is v a multiple of 17?
False
Let g(z) = 205*z**2 - 5*z + 10. Suppose 2*n = -0*y - y, n = y - 3. Is g(y) a multiple of 28?
False
Let u(k) = 26*k**2 - k - 2. Let a be u(2). Let c = a + -80. Suppose 5*w - q - 30 = -0*w, -2*q = -2*w + c. Does 3 divide w?
False
Suppose -10659 = -130*i + 8061. Does 16 divide i?
True
Let p = 724 + -734. Let z be 0 + 2 + -1095 + -2. Does 11 divide z/p + (-3)/(-2)?
False
Let r be (3100/(-4))/(-1) - 4/(-4). Suppose -2*w = -5*h - r, 4*h - 383 = -w + 9*h. Is w a multiple of 16?
False
Let q be ((-3)/(15/4))/(42/(-62685)). Suppose 366 = 6*t - q. Does 13 divide t?
True
Let d = 9655 + 4613. Does 55 divide d?
False
Suppose -71 = -3*f + 421. Let r = 406 + f. Is r a multiple of 10?
True
Let h(m) = 274*m - 6. Is h(6) a multiple of 42?
True
Suppose -127*n = -124*n, -4*z + 4*n + 20160 = 0. Is z a multiple of 60?
True
Suppose 6*q + 9 = -9. Let k be 1 - q/(-4 - 15/(-6)). Is (k - (-591)/9)/(2/3) a multiple of 21?
False
Suppose 3*x = -4*w - 4, -5 = 4*w - x - 1. Let b(d) = -159*d**3 - 2*d - 1. Does 10 divide b(w)?
True
Suppose -8123*x - 22528 = -8139*x. Does 16 divide x?
True
Does 4 divide 8/(7/39921*6)?
True
Let r(l) = l**2 - 5*l - 21. Let w be r(8). Let q(y) = -y**2 + w*y**2 + 9 + 0*y**2 + 7*y - 2. Is q(-7) a multiple of 28?
True
Suppose 0*x + 16*x = 48. Let g(f) = 12*f + f**3 + x*f**2 + 15*f**2 + 17 - 4*f**2. Does 10 divide g(-13)?
True
Does 26 divide 2/((-40)/(-45))*-4 + 8797?
True
Suppose 5*h + 2*m = 3693, 4*h - 2940 = 4*m - 2*m. Suppose 2*x - 3*b - 495 = 0, b = x - 4*x + h. Does 15 divide x?
False
Let c = -7528 - -10343. Does 11 divide c?
False
Let a = -17096 + 29171. Is a a multiple of 9?
False
Let l(z) = z**2 - 10*z - 10. Let m be l(11). Let r(t) = 7*t - 5. Let v be r(m). Suppose v*h = 9*h - 140. Is 3 a factor of h?
False
Suppose 0*t - 4 = 2*t, 4*t + 1080 = 2*o. Suppose 3*m + 2*k = o, 5*m = 4*k + k + 885. Suppose 5*b + 157 = 3*p - m, -4*p + 443 = -3*b. Is p a multiple of 10?
True
Let k be 13/((-1170)/16690) + 8/18. Let l be 1*-2 + 284 + -1. Let y = k + l. Does 16 divide y?
True
Does 16 divide 1/((-19)/152*3/(-2928))?
True
Let o(k) = 327*k**2 + 167*k - 1949. Is 58 a factor of o(12)?
False
Does 26 divide (-988)/((-3*3/(-9))/(-1))?
True
Let w(y) = 10*y**2 - 2*y - 1. Let r be w(2). Suppose r = 9*x - 4*x. Does 4 divide (-1615)/(-68) - (-2 + x/4)?
True
Let l(d) = -d**3 + 8*d**2 - 17*d + 30. Let u be l(6). Let j(c) = -9*c**2 + c + 260. Is j(u) a multiple of 65?
True
Let r = 3108 + -72. Does 22 divide r?
True
Let q = 54 - 260. Let m = 218 + q. Is m a multiple of 3?
True
Let s be -3 + 1 - (-38)/19. Suppose 4*y + 2*w - 329 = 211, s = -y - w + 135. Is -3 + 1 + 2 + y a multiple of 45?
True
Suppose 13*k = -29 + 146. Let d(z) = 0*z - 3*z - 5*z + z**2 + 17. Does 13 divide d(k)?
True
Let x = -10 + 15. Let b = x - 5. Suppose b = 4*q - q - 333. Is q a multiple of 20?
False
Let s = -232 - -235. Suppose 7*j - s*j = 3696. Is j a multiple of 42?
True
Let m = 30800 + -14465. Does 270 divide m?
False
Is ((728*-3)/(-6) + -5)*4 a multiple of 6?
False
Let w(t) = 16*t - 5*t + 13*t + 1. Is w(16) a multiple of 21?
False
Suppose -45 = 2*w - 55. Suppose -3*q - 1362 = -4*a, 5*q - 1290 - 430 = -w*a. Is 18 a factor of a?
True
Suppose 2*o + 3 - 14 = 5*n, -5*n = 15. Let b be 2 - (o + (-3 - -4)). Suppose -b*z - 2*z = -90. Is 2 a factor of z?
True
Suppose 0 = -91*i + 85*i + 12. Suppose -i*o + 2 - 21 = -3*b, 2*b - 12 = o. Let r(x) = -7*x**3 - 4*x**2 - 2*x - 4. Is r(o) a multiple of 8?
True
Suppose -216 = 3*u - u. Let b = u - -388. Suppose t = 5, t - 148 = -3*z + b. Is z a multiple of 33?
False
Suppose -3*w + 2 = -2*w + 5*a, 3*w + a - 34 = 0. Suppose -w*l + 32 = -4*l. Suppose -2*y = -l*u + 34, u - 5*y + 16 = 2. Is u even?
False
Suppose 5*p + 4*c = 5121, 243*p + 4*c = 242*p + 1021. Is p a multiple of 25?
True
Let v = -295 + 304. Suppose 5*i = v*i - 224. Is 3 a factor of i?
False
Suppose -2*r + 19 = 9, 3*q - r = 41395. Suppose 27*h = 7*h + q. Does 15 divide h?
True
Let y(g) = g**3 + 5*g**2 + 11*g - 412. Does 47 divide y(13)?
True
Let w = -5198 + 8445. Does 73 divide w?
False
Let o(u) = 627*u + 5954. Does 213 divide o(33)?
False
Suppose -3*f + 101 = 5*b + 35, 0 = -5*b + 5*f + 50. Suppose 9*v + 606 = b*v. Is 18 a factor of v?
False
Suppose 55734 + 23514 = 3*b - 0*b. Is 18 a factor of b?
False
Suppose -3*x = 4*o - 4116, 9*x = -3*o + 10*x + 3087. Does 22 divide o?
False
Is (-57)/38*(-16)/(-6) - 154*-266 a multiple of 32?
True
Let w = -1672 + 2152. Is w a multiple of 19?
False
Let s be 9/(-12)*(-2 + -2). Suppose -i + 821 = s*j + 151, 2*j = -i + 445. Is 9 a factor of j?
True
Let k(r) = -r**3 - 8*r**2 + 37*r - 3. Let o be k(3). Suppose 2*f + o = -3*i + 1531, 2*i = 4*f - 3060. Does 59 divide f?
False
Let f(s) = s + 2. Let a(q) = q**3 - 6*q**2 + 6*q. Let b be a(5). Let c be f(b). Suppose 182 - c = 5*t. Is t a multiple of 9?
False
Let z(x) = x**2 - 5*x - 18. Let j be z(24). Let u = j + -288. Is u a multiple of 25?
True
Suppose 0 = 12*l - 3*l + 9. Is (92/20)/(l/(-15)) a multiple of 2?
False
Suppose g - 756 = -4*q, -20*g = -18*g - 5*q - 1499. Does 99 divide g?
False
Suppose 5*r = -m - 78, 3*m - r + 100 = -118. Let f = m + 77. Suppose f*x + 0*x + 3*d = 867, 433 = 2*x + d. Is 36 a factor of x?
True
Let y(t) = 48 - 74 - t + 46. Let m be y(24). Is ((-6)/m)/((-12)/(-200)) a multiple of 3?
False
Let q(p) = p**3 - 6*p**2 - 5*p - 6. Let x be q(5). Let g = 59 + x. Suppose g*c + 0*n - 386 = 5*n, -6 = -3*n. Is c a multiple of 16?
False
Let c(a) = 2851*a**2 - 14*a - 37. Does 19 divide c(2)?
False
Let d = 11547 - 7179. Is d a multiple of 7?
True
Suppose 2*a + 5*b - 118 = 12012, -2*a + 12094 = 