s 38 divide 152/(i/(-4) - -2)?
True
Let h(t) = -t**3 + 3*t**2 + 4*t + 20. Let z(m) = m**3 - 2*m**2 - 5*m - 21. Let j(g) = -3*h(g) - 2*z(g). Is j(9) a multiple of 32?
True
Let j = -52 - -57. Suppose -3*n + 3*d + 18 = 0, j*d = -4*n + 2*n - 2. Suppose -n*q + 67 = 5*o, -3*q + 2*o = 5*o - 51. Is q a multiple of 2?
True
Does 4 divide ((-62)/62)/((-2)/2404)?
False
Let g(h) = 25*h + 15. Let v(q) = -q - 6. Let z be v(-6). Let u = 3 + z. Does 7 divide g(u)?
False
Let k(l) = 5*l**2 - 63. Let h be k(11). Let q = -332 + h. Is 14 a factor of q?
True
Suppose -162*p - 360 = -167*p. Is -1 + p/(-54)*(-69)/2 a multiple of 15?
True
Suppose -5*w = -3*x + 21 - 6729, -x - 4028 = -3*w. Is 14 a factor of w?
True
Let x(o) = 83*o**2 - 19*o - 6. Does 6 divide x(-4)?
True
Let w(t) = 625*t**2 - 3*t - 1. Let y be w(-1). Suppose 5*o + y = 4077. Does 15 divide o?
True
Let p(q) = 55*q**2 + 64*q - 238. Is p(15) a multiple of 20?
False
Does 20 divide (-30 - (-3 - -3))*(-33)/(1386/6076)?
True
Suppose 94*h = 76*h - 14022. Let z = 1625 + h. Does 44 divide z?
False
Is 27 a factor of (-12 + 20 + -3491)*(-3)/3?
True
Let v = -20504 - -36019. Is 108 a factor of v?
False
Suppose x + 23*d - 18*d - 11026 = 0, -2*x = -5*d - 22052. Does 14 divide x?
False
Let c(a) = a + 20. Let d be c(6). Suppose z = j + d, -5*z + j = -j - 136. Suppose -z = 2*q - 84. Does 28 divide q?
True
Let a(b) = -20*b - 127. Let t be a(-7). Is -301*t/(455/(-90)) a multiple of 15?
False
Suppose -924095 = -34*u - 271431. Is u a multiple of 13?
False
Suppose 0 = 5*o + b - 10, -o + 2*b = -2*b - 2. Suppose 504 = 3*t - t + o*z, 3*t - 774 = 3*z. Is 7 a factor of t?
False
Suppose 32*b + 106*b = 392886. Does 39 divide b?
True
Let t be (-3)/4*-22*(7 + 1). Suppose -4*p + 8 = -t. Does 3 divide p?
False
Let v = 223 + -426. Let g = v - -555. Does 44 divide g?
True
Suppose 0 = -5*a - 3*i + 11, 4*a + 5*i - 2 + 1 = 0. Suppose a*f - 122 = -u + 6*f, 5*u = f + 565. Does 16 divide u?
True
Suppose -645*s - 3*h - 27310 = -649*s, s - 3*h = 6814. Does 213 divide s?
False
Let u = 278 + -273. Suppose 895 = 5*s + u*d, 0 = -2*s + 6*d - 4*d + 346. Is s a multiple of 22?
True
Let s be (-1 + 7 + -11)*1/1. Let v(b) = 8*b**2 - 4*b - 7. Let p be v(s). Suppose 0*j = -3*j + p. Does 15 divide j?
False
Suppose 0 = -12*r + 9*r - 9. Let d(l) = -75*l - 31. Let o be d(r). Suppose -4*k - 2*n + 428 = 0, -3*k + o = -n - 132. Does 9 divide k?
True
Suppose 20*c = -2*c + 88. Is (c/(-3) + 1)/(52/(-4524)) a multiple of 10?
False
Suppose 5*b + 49 = -51. Let d be (-3795)/(-12) - (-5)/b. Let f = d + -109. Is 31 a factor of f?
False
Let d(t) = 2*t**3 + 25*t**2 + 12*t + 17. Let c be d(-12). Let a(w) = -w**3 + 19*w**2 - 32*w - 20. Let r be a(c). Suppose r*k - 18*k + 40 = 0. Does 10 divide k?
True
Let d(x) = 20*x**2 - 9 + 4*x**3 + 22*x - 5*x**3 - 6. Let n be d(21). Suppose r + f = 58, r - n*r + f = -266. Is r a multiple of 7?
False
Let t(w) = -w**3 - 56*w**2 - 89*w + 921. Does 13 divide t(-56)?
False
Suppose 105 = 2*x - 667. Let i = x - -142. Does 8 divide i?
True
Let c = 675 - 615. Let v = 10 - 6. Is 23 a factor of (6*v/c)/(2/200)?
False
Is 85 a factor of (-5 + 8 + -20)/((-7)/4137)?
False
Suppose -3*t - 3*t + 10699 = -6767. Is t a multiple of 3?
False
Is 9715/45 + (-6)/(-54) - -6 a multiple of 6?
True
Let f(y) = -y**2 + 5*y + 8. Let r be f(6). Let g(w) = -9*w**2 + r*w**3 - w + 9*w**3 + 30 + 40*w**2 - 9*w**3. Is g(-15) a multiple of 30?
True
Let q be (6/(-15))/((-6)/45). Suppose -7*k = -5*k + q*r - 1588, 0 = -3*k + 2*r + 2408. Does 40 divide k?
True
Let b be (0 - (-1 + 0))*-12. Let a be (3/3)/(0 - (-2)/(-18)). Let q = a - b. Is 3 a factor of q?
True
Suppose 3*y + 3 = 0, 4*q - 2565*y + 2560*y = 8821. Does 3 divide q?
False
Suppose -4*a + 532 = -5*i, 68 = -i + 4*a - 48. Is -1*i/13*(19 + 2) a multiple of 21?
True
Is 78 a factor of (162/(-20))/(87/(-1885))*80/2?
True
Suppose 4*j - 42547 = -5*l, 2*l - 17008 = 161*j - 159*j. Is 47 a factor of l?
True
Let p = -11953 - -20703. Is 70 a factor of p?
True
Let s = -98 + 100. Suppose 0 = 3*j + s*u - 595, -3*u - 985 = -5*j - 5*u. Suppose 0 = -3*m - 3*y + 93, -5*m + 2*y + 3*y = -j. Is 7 a factor of m?
True
Suppose 3*m - 5*l - 817 = 0, 4*m + 0*m + 5*l = 1031. Let a = m + -9. Is a a multiple of 51?
True
Let j = -56 - -21. Let s = -1218 + 1265. Let z = s + j. Is 6 a factor of z?
True
Suppose -120009 + 108708 = -33*t + 297183. Is t a multiple of 41?
True
Suppose 411 = 3*a + 5*u, -5*a + 3*u = -0*u - 651. Let k = -67 + a. Does 47 divide k?
False
Suppose -5*v = -4*q - 3663, 2915 = -3*v + 7*v - q. Is 3 a factor of v?
False
Let j = 48 - 39. Suppose -j*b + b + 792 = 0. Does 5 divide b?
False
Let a = -3951 + 11032. Is a a multiple of 97?
True
Let l = 23 + -18. Suppose -4*t = 5*g - 832, -656 = -l*t + 4*g + 384. Is 8 a factor of t?
True
Does 63 divide 3 + (-65488)/(-10) - (41/(-5) + 8)?
True
Suppose 6*s = -91 - 377. Does 17 divide (-7098)/s - -2*2?
False
Is 153 a factor of (-9222)/9*(-66 + 7 - -26)?
False
Let w = -12045 - -14212. Is w a multiple of 40?
False
Let y(q) be the first derivative of q**2/2 + 2*q + 28. Let n be y(3). Suppose 2*d + 2*v = 5*d - 542, 5*v = -n. Is d a multiple of 36?
True
Suppose -36*i + 952119 = -6*i + 21*i. Is 147 a factor of i?
True
Suppose -3*b - 3 + 10 = -4*d, -3*b = 2*d + 17. Is 33 a factor of b/(-1 + 4 - 4) + 388?
False
Suppose 422 = 2*h - 4*h. Let w = -164 - h. Is w a multiple of 12?
False
Let v = 88 + -28. Suppose 18*z = 6*z + v. Suppose 7*b - 150 = z*b. Is 26 a factor of b?
False
Suppose 2*c = 27 - 9. Suppose y + 2*y = 4*p + c, 12 = p + 4*y. Suppose p = 2*l + 5*l - 98. Is l a multiple of 14?
True
Let y = -154 + 316. Suppose -3*a + 239 = k + 73, 3*a + 3*k - y = 0. Is a a multiple of 8?
True
Let i be (14465/(-526))/(27/(-26) + 1). Suppose g - i = -13. Does 18 divide g?
True
Let u(z) = z**3 + 8*z**2 + 2*z + 6. Let n be u(-8). Let k be (-26)/(-10) - n/25. Suppose -2*a + 2*g = -250, -k*a + 8*a + g = 613. Is 19 a factor of a?
False
Let g(h) = -3*h**3 + 4*h**2 - 51*h - 385. Does 85 divide g(-16)?
False
Let v(x) = -214*x + 1654. Does 145 divide v(-79)?
True
Is ((-31)/4 - -8)*5540 a multiple of 52?
False
Let h be (21/2)/((11/10)/11). Suppose 0 = 2*r + 5*d - h, 8*r = 3*r + 4*d + 312. Let z = r + -52. Does 2 divide z?
True
Let o(d) = 6*d - 14. Let h be o(-6). Let y = -38 - h. Does 12 divide 1011/y - ((-12)/(-16))/3?
True
Suppose 738*s - 735*s - 1281 = -5*i, 2*s + i = 854. Is s a multiple of 61?
True
Let s be 1274 + 0 + 1 + (-3 - 0). Suppose -78*l - s = -80*l. Is 42 a factor of l?
False
Suppose -2*z = -3*z + 3. Suppose -5*d = 4*p - p - 41, 2*d + z*p = 20. Suppose -61 = -d*h + 121. Is h a multiple of 4?
False
Suppose -6*j - 10*j + 64 = 0. Suppose -4*w + 250 = -2*b, -w + j*w = -b + 200. Is w a multiple of 27?
False
Let d be ((-16)/(-5))/((-2)/(-735)*-3). Let z = -205 - d. Is z a multiple of 11?
True
Let l be 3/(-7) + 7092/84. Let d = l + 28. Let q = -90 + d. Is q a multiple of 12?
False
Let d(j) = -j**2 + 7*j - 2. Let s be d(10). Suppose 866 = -49*n + 4394. Let y = s + n. Is 18 a factor of y?
False
Let n(m) be the second derivative of -5*m**3/6 + 11*m**2/2 - 147*m. Suppose -31 = -3*q - 79. Does 33 divide n(q)?
False
Suppose 3*r + 2*r - 3*z = -7, -5*r + z = 9. Let c be (11 + -5)*r/(-2*1). Suppose 0 = v + h - 40 - c, -5*v = -3*h - 214. Does 13 divide v?
False
Does 4 divide (5 + 272/(-72) + 4/(-18))*6289?
False
Let y = 142 + -99. Let r = y + -3. Suppose -2*f - c = -105, 2*f - 68 - r = 2*c. Does 15 divide f?
False
Suppose 194*v + 1032442 - 2693734 = 3574962. Is v a multiple of 8?
False
Suppose 0 = -26*i + 10*i + 32. Suppose i*c - 3*q = 1001, -3*q = 22 - 7. Does 18 divide c?
False
Suppose -5*p = -2*o - 6, -4*o - p + 28 = -4. Suppose o*f - 11*f = 5*b - 118, -4*f = -2*b - 104. Is 9 a factor of f?
True
Suppose -12375*o + 12417*o = 871332. Does 22 divide o?
True
Let g(o) = o**2 + 14*o + 12. Let d be g(9). Suppose 39*k - 42*k = -d. Does 3 divide k?
False
Suppose 9*n - 33 = -6. Let x be 0 + 1 - (n + -253). Suppose 8*h + x = 1067. Is 9 a factor of h?
False
Does 28 divide 7/5 - (-231)/(-55)*-513?
True
Let r(b) = 263*b**2 - 4*b - 10. Does 103 divide r(-3)?
True
Suppose -g + 5*g = -20. Let l be (-3)/g + (-3)/5. Is 14 a factor of -6 - (l - 2) - -69?
False
Suppose 5*o - 3*a + 1973 = 12645, -5*o + 10648 = 3*a. Does 9 divide o?
False
Suppose 38 = 6*