11 divide a?
False
Suppose 14*d - 431 = 13*d + 5*w, -5*d + 4*w = -2197. Suppose 23*t - d - 2756 = 0. Is t a multiple of 6?
False
Suppose -9*x + 10*x = -351. Let o = 385 + -628. Let u = o - x. Is 36 a factor of u?
True
Let y(i) = -i**3 - 7*i**2 - 227*i + 28. Is y(-20) a multiple of 64?
False
Suppose 5*z - 91*z + 252324 = 0. Is z a multiple of 9?
True
Suppose -4095*a = -4106*a + 124410. Is a a multiple of 22?
False
Let o(x) = x**3 + 88*x**2 - 1507*x + 336. Is 10 a factor of o(-101)?
True
Suppose g = 3*c - 26 + 1, -2*c - 20 = 3*g. Let x be (5/g - 1)*8/(-3). Suppose x*v - 329 = o, 3*v + 3*o - 88 - 140 = 0. Is 9 a factor of v?
True
Let r = 548 - 280. Suppose -r*o = -264*o - 52. Is o a multiple of 2?
False
Let k(d) = -12*d**2 - 9*d - 26. Let f be k(-3). Let h = f + 143. Is 4 a factor of h?
True
Suppose 4*m = m - a + 4, 8 = -2*m + 2*a. Let x(j) = -j**2 - 8*j - 12. Let l be x(-5). Suppose -l*z + 4*h + 218 = -m*z, 0 = 5*z + h - 394. Is z a multiple of 39?
True
Let w(k) = 3*k + 11. Suppose 0 = i - 5*a + 16 - 4, 4*a = 2*i + 12. Let m be w(i). Suppose 2*r - 361 = -m*t - r, -r - 3 = 0. Is t a multiple of 8?
False
Let h(w) be the third derivative of -11*w**4/4 - 7*w**3/6 - 5*w**2 + 8*w. Does 19 divide h(-5)?
True
Let j(d) = 7*d**2 - 5*d - 25. Let p be j(-4). Suppose m = 3*f + 65, -p = 5*f + 2*m - 5*m. Let n = 217 + f. Is n a multiple of 15?
True
Let l be -5 + (7 - 1) + (0 - -319). Suppose 1640 + l = 5*p. Does 17 divide p?
False
Let j be (-5)/((-25)/3)*-95. Let h = 60 + j. Is 47 + 1/(h - 2) a multiple of 6?
True
Suppose 0 = 28*t - 35*t + 2303. Let m = -181 + t. Suppose m - 430 = -6*b. Does 19 divide b?
False
Suppose 69*j - 243761 = -74918. Is 143 a factor of j?
False
Let r(y) = y**3 + 7*y**2 - 4*y + 9. Let l be r(-7). Let d = -27 + l. Suppose -d - 32 = -q. Is 18 a factor of q?
False
Let o(y) = 28 - y**3 - 11 - 3*y**2 + 7*y - 15. Is 39 a factor of o(-7)?
False
Is (2/(-3) + 926/30)*(-1 - -6) even?
False
Suppose 14*n - 2*g = 13*n + 408, 4*g + 1232 = 3*n. Let o = 520 - n. Does 26 divide o?
True
Let q(x) = 310*x**2 + 304*x - 13. Is 6 a factor of q(5)?
False
Let h be (-70)/(-20) - (-5)/(11 + -1). Suppose 3*i = h*i + 5*b - 812, -1624 = -2*i + 5*b. Is 29 a factor of i?
True
Let t(u) = 16*u + 67. Let n = -323 + 338. Is t(n) a multiple of 32?
False
Let k(d) = d**3 - 9*d**2 + 7*d - 42. Suppose 5*y = -10, -54 = -5*f - 5*y + 7*y. Suppose 3*u + 2*m = 6*m + f, -5*m + 15 = -u. Does 16 divide k(u)?
True
Is -3*(-709908)/162 + (-8)/18 a multiple of 21?
True
Suppose 85414 - 22486 = -36*k. Let i = k - -2758. Is 12 a factor of i?
False
Suppose -88 = -5*z - f, -6*f = 3*z - 2*f - 63. Suppose -2*s + l = -0*s - 43, -4*l + 101 = 5*s. Suppose -z*j = -s*j + 136. Is j a multiple of 34?
True
Let z(j) = 2*j**3 - 165*j**2 + 118*j + 325. Is 16 a factor of z(83)?
True
Suppose -5*n + 2*a + 54 = 0, -3*n + 51 - 15 = -3*a. Suppose 342 = n*w - 378. Does 10 divide w?
False
Let b = 2509 - 852. Does 45 divide b?
False
Suppose 2*d - 3*a = 19041, -4*d + 4*a = -0*d - 38080. Is d a multiple of 20?
False
Suppose -c - 456 = 7*c. Is 89 a factor of ((-38)/(-10) + -2)*(-16910)/c?
True
Let l(q) = 2*q**2 - 26*q + 84. Suppose -3*z + 4*v + 30 = -13, -z = 4*v - 9. Is 7 a factor of l(z)?
True
Suppose 3*w - 2*c = 24, -4*w + 3*c = -w - 24. Suppose -v + 5*m = -30, 51 = -w*v + 9*v + 2*m. Is 5 a factor of v?
True
Let m be (294/5)/(-5 - 206/(-40)). Let s = m + 24. Is s a multiple of 13?
True
Suppose -21*q = -101982 - 226353. Suppose -68*c = -q - 37405. Is 10 a factor of c?
True
Suppose -4*d - 5 = -5*i, 0 = -4*d - 2*i + 6*i. Suppose -j + 8*c + 1040 = 3*c, 4*c + 5221 = d*j. Does 95 divide j?
True
Let o(l) = l**2 + 24*l + 78. Let s = -187 + 163. Is o(s) a multiple of 39?
True
Suppose -5*k = -3*i - 17, 0*k + 5*i = 2*k - 3. Let q(n) = -k + 25 + 23 - 2*n. Is 17 a factor of q(0)?
False
Let x(m) = -146*m + 210. Is x(-35) a multiple of 28?
True
Let q = 74 + -48. Let c = 182 + q. Does 16 divide c?
True
Is 55 a factor of 40/780 + (-867436)/(-39)?
False
Let j = -75 - -115. Let l = j - 43. Does 11 divide l/2*(-4 + -22)?
False
Let k = 7433 - -4825. Is 18 a factor of k/30 + 3 + (-4)/(-10)?
False
Is 95 a factor of 4/(64/(-24)) - 5326/(-4)?
True
Suppose 3*x - 2646 = -5*a + 492, 634 = a - x. Suppose a = -13*t + 14*t. Does 42 divide t?
True
Let n(g) = -20*g**3 - 4*g**2 + 41*g + 125. Is 20 a factor of n(-5)?
True
Let f be -411*(3 + (-52)/12). Let m = 530 - 286. Suppose -f = -3*g + m. Does 12 divide g?
True
Suppose 9*h + 6 - 33 = 0. Let b(t) = t**2 - 4*t + 4. Let r be b(h). Does 8 divide ((-2)/(4/(-35)))/(r/2)?
False
Suppose 0 = -4*l - 4*n + 340, -5*n = -5*l + 281 + 124. Let f = l + 8. Is 13 a factor of f?
True
Let n(d) = d**2 + 4. Let q(t) = -87*t**2 + 14*t - 16. Let i(o) = 6*n(o) - q(o). Does 49 divide i(3)?
False
Is 20 a factor of 4/20 + (-92828)/(-10) + (1 - 8)?
False
Let f = -4761 + -2610. Does 21 divide -3 - 1/(7/f)?
True
Suppose 2*a + 0 = 42. Suppose 15*u - a*u = -966. Let t = 248 - u. Is 53 a factor of t?
False
Suppose 72*w - 54176 = 56*w. Is 12 a factor of w?
False
Let t(u) = -2*u - 58. Let b be t(-9). Let w = -40 - b. Suppose 2*s + 2 = -w*s, -2*s = -v + 56. Is v a multiple of 3?
True
Suppose 7644 = 6*z - 13942 - 3236. Is z a multiple of 47?
False
Let g(p) = p**3 + p**2 - 1. Let n(k) = -3*k**3 - 15*k**2 - 3*k + 102. Let z(m) = -2*g(m) - n(m). Is z(-11) a multiple of 28?
False
Suppose -245 = -5*k - 5*m, 104*k + 263 = 109*k + 2*m. Let h = -1 + 0. Is (-99)/(k/(-40) - h) a multiple of 12?
True
Let c be (-1)/4 + (-9)/(-36). Suppose c = -t - 9*t + 20. Suppose 0*z - 105 = -z + 4*y, t*y - 250 = -2*z. Is 11 a factor of z?
True
Suppose a = -4*l - 176, -26 + 214 = -4*l + 2*a. Let j = -65 - l. Let u(i) = i**2 + 20*i + 40. Does 9 divide u(j)?
False
Let n be (3/2)/((-15)/(-7340)). Suppose -7*m - n = -2624. Is m a multiple of 18?
True
Suppose -5*f + 8 - 6 = -2*x, 0 = -4*f - x + 12. Is 12 a factor of 156/(f/(-10)*-5)?
True
Suppose -7*p = 2*p + 1953. Let g = p + 361. Does 13 divide g?
False
Suppose 2*h - 2 = 0, 2*n + 0*h - 711 = -h. Suppose 239 = 9*t - n. Is 42 a factor of t?
False
Let s(a) = 181*a**2 + 164*a + 513. Is 16 a factor of s(-3)?
False
Let d = -69466 + 103733. Is 5 a factor of d?
False
Suppose 11 = 8*f + 3. Does 21 divide (4 + f + -2)/(94/4042)?
False
Suppose 0 = 48*w + 49*w - 89*w - 106848. Does 84 divide w?
True
Suppose -12 = -10*j + 48. Does 14 divide (j - 526/(-1)) + 0?
True
Suppose j - 7 = -m, -4*m + 2*j + 18 = -22. Let f = m - -36. Is 3/((-6)/f - 39/(-270)) a multiple of 18?
True
Suppose 0*y + 3*h = y + 14, -3*h = -4*y - 11. Let q be 0/y + -1 - -4. Suppose -q*t = -11*t + 352. Is t a multiple of 22?
True
Let z(u) = u**3 + 10*u**2 + 10*u + 13. Let x be z(-9). Suppose -6 = -x*m + 42. Is 12 a factor of (3/(m/(-142)))/(1/(-2))?
False
Suppose -3*m - 11744 = 27*f - 28*f, -2*m - 23508 = -2*f. Does 31 divide f?
False
Let g = 7568 - -20333. Is g a multiple of 98?
False
Let i(q) = q - 14. Let t(j) = -j + 27. Suppose -11*d + d = 40. Let o(s) = d*t(s) - 7*i(s). Is 14 a factor of o(-19)?
False
Let j(v) = -v**3 + 5*v**2 + 2*v - 6. Let o be j(5). Suppose 80 = 5*l + 11*l. Suppose -3*r - 250 = -l*r + 4*t, o*r - 500 = -t. Is r a multiple of 17?
False
Let i(l) = 104*l - 467. Is 27 a factor of i(25)?
True
Let a(d) = -d**2 - 20*d - 45. Let k be a(-17). Is (-1260)/(-10) + 6/k a multiple of 41?
False
Let g = 62860 - 40509. Does 73 divide g?
False
Let v = 409 - -2351. Is 30 a factor of v?
True
Suppose -43 = -3*i - 7. Suppose 2*s = 4*j - 2*s - i, 29 = 5*j + 2*s. Suppose -2*t = j*t - 266. Is 8 a factor of t?
False
Suppose 0 = 5*y + 35, -y + 2232 + 10838 = 3*v. Does 15 divide v?
False
Suppose 5*k - 14635 = -l - 3704, 0 = k + 11*l - 2197. Does 20 divide k?
False
Let f = -300 + 307. Suppose -3*g = 2*g - 830. Suppose -f*n + g = -5*n. Is n a multiple of 17?
False
Suppose -5*t + 2*w = -64839, -2*w + 7631 = -4*t + 59501. Suppose -19*b = -30*b + t. Is 20 a factor of b?
False
Let l = 4 + 131. Let w = l - 83. Is w a multiple of 21?
False
Let a = -2638 - -23590. Is a a multiple of 12?
True
Let j(k) = 3*k**3 - k**2 - k - 2. Let z be j(0). Let c(x) = -52*x + 33. Is c(z) a multiple of 7?
False
Let i = -35 + 42. Suppose -i*u - 156 = -9*u. Let k = 45 + u. Is k a multiple of 19?
False
Let o(r) = 104*r + 28. Let a be o(7). Does 19 divide (a/(-147))/((-4)/322)?
False
Suppo