33 - -151. Let l = f - s. Is l a multiple of 6?
True
Suppose -16*p - 2795 = 3973. Suppose 5*w - 2*c = -79, w - 65 = 6*w + 5*c. Is 14 a factor of w/25 - p/5?
True
Suppose 2*m = -14*b + 13*b + 5, m - b = 10. Is m/(-105)*-3 - 3231/(-21) a multiple of 11?
True
Suppose 8*l - 3844 = 3020. Let s = l + -518. Is s a multiple of 17?
True
Let q = -37 + 39. Suppose 18 = 2*a + a - 3*s, 0 = -q*a - 5*s + 5. Suppose 0 = -3*r + 15, -187 = -0*i - 3*i - a*r. Is 15 a factor of i?
False
Is (1120/96)/(6/4662) a multiple of 37?
True
Suppose -7*f - 90 = 155. Let c = f + 35. Is 8 a factor of (800/(-4))/(-5) + 0 + c?
True
Let d(t) = -10*t**3 + 4*t**2 - 53*t + 85. Does 28 divide d(-10)?
False
Let j(o) = 8*o**2 - 4 + 6 - 6*o - 1 - 3*o + o**3. Let y be j(-9). Suppose 4*t = m - 178, 2*t = t + y. Is 14 a factor of m?
True
Suppose 2*m = 4*k + k + 7, 2*m = -5*k - 23. Let u(n) = -n**2 - n + 6. Let o be u(k). Suppose o*a - 123 = -3*a. Is a a multiple of 3?
False
Let v(p) = 251*p - 1348. Is 12 a factor of v(16)?
False
Let a(o) = 3*o**2 - 13*o - 16. Let i be a(12). Suppose -d + z + 124 = 0, i = 2*d - 0*z + z. Is 14 a factor of d?
False
Let p(f) = 45*f + 351. Is 3 a factor of p(15)?
True
Let g = 7913 + -7318. Is 5 a factor of g?
True
Suppose -3*w + 3*m + 1818 = 0, 3*w + 17*m = 12*m + 1858. Let z = w + -28. Does 11 divide z?
True
Let v = 12322 + 4478. Is 60 a factor of v?
True
Suppose -3*u + 11 - 5 = 0. Suppose -7*f + 10 = -2*f, -5*f = -4*x - u. Suppose 4*h - x*h - 2*z - 238 = 0, 5*h - 565 = -z. Does 57 divide h?
True
Let g be ((-4)/11)/((-23)/253). Suppose -k - 4*x + 428 = 0, -g*k - 2*x = -3*k - 434. Is 37 a factor of k?
False
Suppose 2*q - 43 + 43 = 0. Is 13 + (3 - q/2) a multiple of 16?
True
Suppose 0 = 13*a - 59*a + 810796. Is 90 a factor of a?
False
Let i(g) = g**3 - 16*g**2 + 30*g - 20. Let j be i(14). Does 19 divide 50/j*15 + 2/8?
False
Suppose -2*t + 38 + 284 = 0. Suppose -t*g + 151*g = -190. Does 9 divide g?
False
Let f(b) = 50*b. Let s be f(-3). Let v = -88 - s. Suppose -3*u = -58 - v. Does 5 divide u?
True
Let b = -483 + 494. Suppose -6*w = b*w - 18241. Is 32 a factor of w?
False
Let k = -1990 + 3112. Does 34 divide k?
True
Is (177/(-4))/(-9*27/17172) a multiple of 53?
True
Let n(t) = -t**2 + 18*t - 42. Let w be ((-90)/12)/(-1*1/2). Let b be n(w). Suppose 4*j + 101 = h, b*h + h + 3*j = 404. Is 47 a factor of h?
False
Suppose 0 = -94*o + 88*o + 1548. Let j = o - 218. Is j a multiple of 36?
False
Let m be (1/(-4))/((-24)/288). Suppose -m*b = 2*r - 74, -b - 13*r + 17*r = -20. Is 7 a factor of b?
False
Suppose 23*y - 18*y = -2*k + 68845, -55088 = -4*y - 4*k. Is 14 a factor of y?
False
Suppose y - z = 2*y - 8, -4*z = 3*y - 23. Let m(i) = 23*i - 2. Let c(w) = 12*w - 1. Let h(l) = y*c(l) - 4*m(l). Is 12 a factor of h(7)?
False
Let u = -1027 - -1020. Suppose -x = 41 + 64. Let s = u - x. Is 7 a factor of s?
True
Let l(p) = p**3 - 18*p**2 - 49*p - 194. Is l(26) a multiple of 3?
False
Let c(t) = -t**3 + 14*t**2 - 30*t + 504. Is 9 a factor of c(14)?
False
Suppose 3*l - p - 28158 = 0, -4*l + 2*p + 41667 = 4121. Is 146 a factor of l?
False
Let d = -119 + 139. Is 29 a factor of d/15*(-849)/(-4)?
False
Suppose 3*a = 9*p - 8*p - 1821, a + 607 = -2*p. Is 8 a factor of a/(-3) - 52/(-78)?
False
Suppose 8 = -5*z + f, 3*z - 2 = -3*f + 4. Does 7 divide 525/(-45)*3*z?
True
Let b = 14 + -14. Suppose 4*o - 1604 - 76 = b. Does 42 divide o?
True
Let p(t) = -4*t**3 + 17*t**2 + 106*t + 4. Is 5 a factor of p(-9)?
False
Is 22 a factor of (((-2175025)/38)/19)/(4/(-8))?
False
Suppose 2*b - 3*r = -2*r + 37426, -b + 18723 = 2*r. Is 258 a factor of b?
False
Is -963*574/(-168) + (-1)/8*2 a multiple of 70?
True
Let d(t) = -t**2 + 124*t - 17. Let r(k) = k**2 + k - 3. Let l(a) = d(a) - r(a). Is l(12) a multiple of 50?
False
Let z = -41 + 51. Is 23 a factor of (77160/28)/z + (-3)/(-7)?
True
Let w be (-654 - -2)/2*-2. Suppose -a = 1, 4*h - a - w = -5*a. Let r = h + -75. Is r a multiple of 27?
False
Let b = -1797 - -3129. Suppose 0 = -5*r + b + 4193. Is 85 a factor of r?
True
Let v be (1869/(-27))/1 - 28/(-126). Let l be 46/v - 4/(-6). Suppose -2*p + 5*m + 410 = 0, l = -3*p - m + 157 + 475. Is 13 a factor of p?
False
Suppose -20*v + 0*v = -79740 - 363780. Is v a multiple of 66?
True
Suppose 4*n - 18 = -5*d, d + 14 = 4*n + 4*d. Suppose -n*v + 692 + 808 = 0. Is 18 a factor of v?
False
Suppose 10*f - 732 = 188. Let g = f - 87. Suppose g*p - 20 = 0, 90 = 6*a - 3*a + 3*p. Is 4 a factor of a?
False
Let d(q) = -q**3 - q - 1. Let k(n) = 2*n**3 - 6*n**2 + 3*n + 7. Let g(h) = -d(h) - k(h). Let t be g(6). Let s = t + 27. Is s a multiple of 4?
False
Let j = 2388 + -1463. Let u = -601 + j. Does 9 divide u?
True
Let w = -8600 - -32806. Is w a multiple of 49?
True
Suppose -60*x + 56*x + o + 33269 = 0, 0 = 3*x - 5*o - 24973. Is 21 a factor of x?
True
Let p(s) = -2*s**3 + 6*s**2 + 5*s + 43. Suppose -5*a - 4*y - 13 = 0, -2*a - 13 = -0*a - y. Is 3 a factor of p(a)?
False
Is (69451/(-398))/(595/(-198) - -3) a multiple of 99?
True
Suppose 3*l - 15*g - 35 = -20*g, -2 = 2*l - 3*g. Does 32 divide 1*(-4 + 2724)/l?
True
Let m(x) = -3*x + 15. Let d be m(5). Let p be 0 + -42 + (d - 4). Is 18 + -20 - (1 + p) a multiple of 14?
False
Let i = 7877 + -6563. Does 6 divide i?
True
Let n(l) = 101*l**2 + 5*l + 3. Let m be n(10). Suppose 0 = 35*z - m - 8222. Is z a multiple of 21?
True
Suppose 0 = 3*o - 3*m, -m = -4*o + m + 4. Is 14 a factor of 192 - (-1 + -4 + o + -1)?
True
Suppose -2*a = -0*a - c - 1221, 5*a = -4*c + 3033. Let y = a - 325. Is 27 a factor of y?
False
Suppose 2*d - 9 + 5 = 0. Suppose -5*r + 1746 = 17*v - 15*v, -d*v - 1054 = -3*r. Is r a multiple of 25?
True
Let d = 11432 - 5185. Is d a multiple of 13?
False
Suppose 4*h - 16 = -0*h. Let o = 3 + h. Suppose 251 + 169 = o*d. Is 30 a factor of d?
True
Let l(y) = 4*y**3 - 7*y**2 + 95*y - 11. Is 43 a factor of l(8)?
False
Let l(q) = 20*q**2 - 7*q + 135. Let w(i) = 9*i**2 - 4*i + 67. Let n(m) = -4*l(m) + 9*w(m). Is n(13) a multiple of 64?
True
Let n(j) = -3*j**3 - 44*j**2 - 476*j - 5. Does 61 divide n(-12)?
False
Suppose 8 - 2 = -3*j - 2*m, j = 3*m - 2. Let t be 3/6*1*0/j. Does 4 divide (-12 - t)*(-1 + 0)?
True
Suppose 15*z - 47 = -17. Let g(b) = 71*b**3 + 4*b**2 - 2*b - 1. Does 20 divide g(z)?
False
Suppose 239 - 572 = -3*i. Does 19 divide (-37)/i + ((-337)/(-3) - -2)?
True
Suppose -5*q - 90 = -0*c + 5*c, 18 = -q - 2*c. Is ((-12)/q)/((-16)/(-1848)) a multiple of 15?
False
Let p(r) = r**2 - r + 1477. Let v be p(0). Suppose 14*l - 427 - v = 0. Is 32 a factor of l?
False
Suppose -4*m - 131*y + 7792 = -129*y, 5*y + 7820 = 4*m. Is m a multiple of 6?
True
Let q(h) = -2*h - 12. Let a = 41 + -9. Suppose r = 3*r - 3*y + a, 4*r - 4*y = -64. Does 5 divide q(r)?
True
Suppose 6*j - 13760 = -3038. Does 11 divide j?
False
Let n(i) = 14*i**3 + 4*i**2 + 25*i - 4. Let o be n(-5). Let u = -1067 - o. Does 8 divide u?
True
Let w(k) = 15*k**2 - 13*k + 2. Let m be (-20)/(-15)*3/(-1) - -9. Suppose -i + m*i = -16. Is w(i) a multiple of 42?
True
Let c = -9985 - -12589. Is 21 a factor of c?
True
Does 12 divide ((-9600)/(-70))/((-62)/(-15841))?
True
Let u(f) = f**3 + 2*f**2 - 4*f + 1. Let v be u(-3). Suppose -8*n + 1552 = v*w - 6*n, 0 = 3*w - 3*n - 1155. Does 20 divide w?
False
Let b be (13/20 - 8/20)*8. Suppose 0 = 2*t + 2*c - 1040, -267 = t + b*c - 785. Does 6 divide t?
True
Let q = -90 + -144. Let g = q - -277. Is 6 a factor of g?
False
Let b(j) = j**3 + 7*j**2 + 15*j + 12. Let m be b(-8). Let l = 4 - m. Suppose -5*x + 46 = -4*v + l, 3*v = 3*x + 96. Does 14 divide v?
False
Suppose -3*s - b = -9*s - 668, -6 = -3*b. Is 45 a factor of 24 - s - 0/((-1)/1)?
True
Suppose 14*u - 20*u - 12 = 0. Is 28 a factor of 276 - (16/u)/2?
True
Let s = -1590 - -2582. Suppose s = 9*t - 16. Is t a multiple of 16?
True
Let a be (10/(-30))/(2/(-18)) + 160. Does 25 divide 0 + -3 - (7 - 3 - a)?
False
Let d(n) = 85*n**2 - 36*n - 261. Does 11 divide d(-8)?
True
Does 102 divide (((-16)/3)/(-2))/(8312614/1039071 + -8)?
False
Let r be -2*(-5)/(-5)*-2. Suppose -4*y = 0, r*y = -2*w - 482 + 2916. Is w a multiple of 76?
False
Suppose -3*h = -4*g - 4, 3*g + 2 + 1 = 0. Suppose -5*d + d = h. Suppose 3*q + a + 4*a - 73 = d, 5*q + 3*a = 127. Does 13 divide q?
True
Let i be 5 - (2 + (-5)/(-5)). Suppose -u = -3*b + 21 - 1, i*b - 4*u = 0. Let n = 29 + b