221. Does 18 divide g?
False
Is -5 + ((-20)/(-80))/((-2)/(-39704)) a multiple of 67?
True
Let d be 3/(-5) + 6/(-15). Is (5 + 2)*d/(35/(-690)) a multiple of 17?
False
Let d = 520 - 506. Suppose -979 - 2017 = -d*o. Does 77 divide o?
False
Suppose -5*d + 33 + 77 = 0. Let g be (-2)/1 + d + -21. Does 12 divide (-769)/(-2) + g + (-2)/(-4)?
True
Suppose -585*s - 11174 + 3284 = -600*s. Does 5 divide s?
False
Let i = 19 + -18. Let p be (1 + i)*201*(-1)/(-6). Suppose -p - 221 = -6*u. Is u a multiple of 6?
True
Suppose 4*u - 5*s = 24572, 12*u - 17*u - 3*s = -30678. Is u a multiple of 66?
True
Does 7 divide (-144)/192 - ((-43910)/12)/(4/6)?
True
Let x(b) = -b**3 + 11*b**2 - 13*b + 25. Let k be x(10). Let v be k*(0 + 4 - 5). Suppose 157 = h + h - v*d, 5*h = -5*d + 375. Is h a multiple of 19?
True
Suppose -3*t + 69 = -4*w + 29, -4*w = 3*t - 32. Suppose -t*z + 224 = -592. Does 4 divide z?
True
Suppose -1418065 = -34*a - 25*a. Is 7 a factor of a?
False
Let l(m) = -m**2 + 18*m - 25. Suppose -2*j + 4*v + 8 = 0, j + 3*v - 16 = 2*v. Is l(j) a multiple of 10?
False
Suppose 0 = 13*x - 6443 - 1396. Let q = x - 527. Does 2 divide q?
True
Let p be (-33)/(36/9 - (-62)/(-14)). Let s(n) = -6*n**2 + 3*n + 2. Let y be s(-3). Let a = p + y. Does 4 divide a?
True
Suppose 371*x = 189*x + 181*x + 18700. Is x a multiple of 11?
True
Suppose 0 = -3*l - 3*k + 13041, 5*l - 18345 - 3366 = k. Is l a multiple of 10?
False
Suppose 18*m - 5 = 17*m. Suppose m*a - 41*o = -42*o + 7149, 5*a + 2*o = 7148. Is a a multiple of 13?
True
Let b(d) = -2*d + 8. Let w(i) = 6*i - 23. Let l(f) = 14*b(f) + 4*w(f). Let k be l(0). Suppose k*x - 21*x + 16 = 0. Is x a multiple of 4?
True
Let n(z) = 6*z + 92. Let j be n(-14). Suppose 135 + 1289 = j*l. Is l a multiple of 34?
False
Suppose -3*z + 11334 = 3*i - 3423, 0 = -5*z + 25. Is 18 a factor of i?
True
Let g(z) be the third derivative of -z**4/24 - z**3/6 - 8*z**2. Let m be g(-4). Suppose m*s + 355 = 4*a, -5*a + 64 = -4*s - 380. Is 14 a factor of a?
False
Suppose 3*z = -v - 1944 + 29625, 2*v - 6 = 0. Is 14 a factor of z?
True
Let p(g) = g**2 + 12*g - 9. Let h be p(-13). Let i be (1/h)/1*(116 - 0). Suppose 0 = 2*v + 2*l - 82, -i = -v - 4*l - l. Is 11 a factor of v?
True
Suppose d - 37*b + 41*b - 13112 = 0, 0 = -5*d + 3*b + 65514. Does 168 divide d?
True
Let l be (508/8)/((-1)/2). Let b = 113 - l. Is 8 a factor of b?
True
Suppose -3*q + 4*q = 2. Suppose 2*h - 6*f - 154 = -q*f, 3*h + 3*f = 258. Suppose -a - 400 = -4*c, -c - a = -h - 17. Is 20 a factor of c?
True
Let m(u) = -15*u + 63. Suppose -4*f - 170 = -170. Is m(f) a multiple of 7?
True
Suppose 137847 = 235913*m - 235910*m. Does 197 divide m?
False
Let a(j) = -3*j - 6. Let h be a(-5). Suppose -28 = -96*s + 82*s. Suppose 0 = -3*u - h, -s*t + 5*u - u = -296. Is t a multiple of 24?
False
Let b be ((4 - 4) + -2)*(-6 + 2). Suppose 2*j + 3420 = b*j. Does 10 divide j?
True
Suppose k - 959 = -q, -k + 6*q - 5*q = -949. Is 53 a factor of k?
True
Suppose 2*c - g = -2*g + 193, 5*c - g - 465 = 0. Suppose c + 110 = i. Suppose 4*l - i - 196 = 0. Does 20 divide l?
True
Suppose -d - 2*f = -13627 - 4627, -2*d - 3*f = -36510. Does 74 divide d?
False
Suppose 19*r - 10 = 18*r. Suppose 0 = 12*t - 686 - r. Is t a multiple of 29?
True
Let x(l) = 5*l + 210. Let p be x(-41). Is 3 a factor of (-8)/40 + 371/p?
False
Let f be 1/(-3*1/(-2418)). Let j = -547 + f. Is 22 a factor of j?
False
Let c(l) = 3*l**3 + 53*l**2 - 79*l - 75. Is c(-17) a multiple of 142?
True
Suppose l - 7 = j, j + 22 = l - 3*j. Suppose -g - 4*g = -3*t + 949, -4*t = -l*g - 1242. Is 11 a factor of t?
True
Suppose 2*n = -10, -3971 = -2*v - n + 3420. Suppose 10*q - v + 318 = 0. Is q a multiple of 13?
True
Is 8 a factor of (-309 + -17)/((-8)/108)?
False
Let c(s) = 18*s**3 + 18*s**2 + 4*s + 24. Does 38 divide c(7)?
False
Let t(z) = -z**2 - 6*z + 12. Suppose 0 = -2*g - 0*v - 4*v - 8, 0 = 3*g + 5*v + 13. Let p be t(g). Suppose -f + p = 5. Is f a multiple of 6?
False
Let o be 960 - 0 - (-35 - -37). Suppose 5*k - o = 2*v, 3*k = -0*k - 3*v + 558. Is 10 a factor of k?
True
Does 19 divide (-4)/(-114) + 5640250/399?
True
Let b = 16 - -4. Let u = b - 5. Suppose -6*r = -u - 9. Is r even?
True
Suppose -76*s = 107*s - 644892. Is s a multiple of 4?
True
Let d = 418 + -356. Suppose -4*s + 22 = b, -3*b + 44 = -2*s + d. Does 5 divide s?
False
Let x(b) = 2*b**2 - 30*b + 7. Let t be x(15). Is 18 a factor of (t*-43 + 1)*135/(-90)?
True
Suppose -z + 2*t - 360 + 2456 = 0, 2*t - 2104 = -z. Is 7 a factor of z?
True
Let m(p) = 56*p. Let x be m(3). Is 8 a factor of (192/7)/(16/x)?
True
Let t(y) = -3*y - 1. Let q be t(-1). Let b(o) = 2*o**2 + 221*o - 109. Let i be b(-111). Suppose -2*v = 4*x + v - 297, -q*v - 152 = -i*x. Is 23 a factor of x?
False
Suppose -64 = 10*k + 76. Does 20 divide 66 + 7/(k/(-8))?
False
Suppose -9*p + 26 = -109. Let i be -23 + 18 - (1 - p). Suppose -i = -5*y + 211. Is y a multiple of 22?
True
Let i be (18/16)/9 + 33/(-8). Does 49 divide 175 - ((-1)/i + (-90)/(-24))?
False
Let u(s) = -80*s**3 - s**2 + 2. Let p be 10/(-35) + (0 - (-36)/(-21)). Does 58 divide u(p)?
True
Suppose 8 = 69*q - 71*q, 30206 = 3*s - 2*q. Is 14 a factor of s?
True
Let v be 3 + 1544/24 - (-1)/(-3). Let z(n) = 4*n + 13. Let l be z(-12). Let i = v - l. Is 26 a factor of i?
False
Suppose -16 = 3*n - 7. Does 43 divide 0 + 12/(-36) + (-2020)/n?
False
Suppose 5*n = -5*y + 109220, 5*n - 8*y = y + 109262. Is n a multiple of 40?
False
Suppose 4*c = -c + 65. Let a = c - 5. Does 12 divide (-3116)/(-26) - (-1)/(52/a)?
True
Suppose 11*p = -13318 - 78884. Is 28 a factor of (-1 - (-117)/104) + p/(-16)?
False
Let c(w) be the third derivative of 3*w**5/20 + w**4/3 - 11*w**3/3 + 67*w**2. Is c(2) a multiple of 7?
False
Let q be (5/(-25) - -1)/(1/325). Suppose 7*x - q = 5*x. Is x a multiple of 13?
True
Let u = -76 + 80. Is 17 a factor of (u - 728/(-10))/((-4)/(-20))?
False
Suppose 689597 + 169027 = 77*d - 55828. Is 28 a factor of d?
False
Let t = -1025 + 5127. Is 187 a factor of t?
False
Let t(h) = -3*h - 44. Let o be t(-17). Suppose 5*p + 5*m = 1705, o*m + 1725 = 5*p + 2*m. Does 40 divide p?
False
Let m = 404 - 343. Suppose m - 13 = 4*d. Is d a multiple of 3?
True
Let g(m) = m**2 - 32*m - 268. Is 52 a factor of g(40)?
True
Suppose 11*q + 306 - 1021 = 0. Let l = q - 60. Suppose l*x = 65 - 10. Is 11 a factor of x?
True
Suppose -228*n + 816640 = -404*n + 205*n. Is 22 a factor of n?
True
Let b(o) = -o + 3. Let c be b(1). Suppose 6*r - 12 = c*r. Is 37 a factor of 3 - (12/r + -58)?
False
Suppose -j = 2*f + 255, -302 = 3*j + 5*f + 467. Let a = j + 592. Is 8 a factor of a?
False
Suppose -1084050 = -3*o - 87*o. Is o a multiple of 36?
False
Suppose 960 = 6*q - 552. Let w = q + -123. Let r = w - -7. Is 15 a factor of r?
False
Let a(s) = s**2 + 11*s - 25. Let x be a(-13). Is x*(-5 - -22*46) a multiple of 53?
True
Suppose 5*k = 2*l - 552, 5*k - l + 132 = -424. Does 50 divide k/2*(-51)/6?
False
Suppose 11*a = 3*v + 16*a - 1150, -5*a + 765 = 2*v. Suppose 0 = -2*c + 4*y - 442, 4*c + y + 2*y = -917. Let k = v + c. Is k a multiple of 31?
False
Suppose -3*i = -29912 + 15422. Is 46 a factor of i?
True
Suppose 0 = z - 3*t - 8189 - 389, 5*z = 2*t + 42825. Does 16 divide z?
False
Suppose -5*b = 708 - 3768. Let w = -289 + b. Is w a multiple of 75?
False
Suppose 2*l = 2*n + 16, -6*l + 2*n = -l - 31. Suppose -4*p - 2*z = z - 1985, -1486 = -3*p - l*z. Does 13 divide p?
False
Let n be (((-189)/(-6))/7)/((-6)/1212). Let u = n + 1532. Is u a multiple of 15?
False
Suppose -3*j - 152 = -7*j. Suppose h - j = 29. Let d = h + 14. Does 27 divide d?
True
Suppose 60 = -4*m + 5*m. Let w = -107 + m. Let o = w + 115. Is o a multiple of 17?
True
Let h(l) = -l**2 + 87*l - 968. Is h(68) a multiple of 5?
False
Let w = 6561 - -1167. Does 46 divide w?
True
Let t = -19 - 41. Let w be 2 - (t + (0 - 0)). Let l = w - 45. Is 6 a factor of l?
False
Let y be 1892/11 + 3*1. Suppose 0 = d + 4*o + 32, 2*d + 5*o + y = -3*d. Does 3 divide (-42)/(-9)*d/(-14)?
True
Suppose -c = 18 - 21. Suppose 2*o = c*l + 1 + 1, -o + 12 = 4*l. Suppose r + o*i - 81 = -17, 0 = r + i - 70. Is r a multiple of 12?
True
Suppose 0 = -26*x - 108*x + 37*x + 428158. Does 10 divide x?
False
Let v = -2044 - -2355. Does 23 divide v?
False
Let v be (-27933)/(-15) - (-32)/40. Suppose 22*h = -h + v. Is 21 a