-219. Is l a multiple of 14?
False
Let k be ((-18)/12)/((-6)/16) + -6. Is 14 a factor of ((-168)/(-30))/(k/(-55))?
True
Suppose 144*f - 149*f - 18441 = -4*r, 23076 = 5*r + 2*f. Is 3 a factor of r?
True
Suppose 0 = -2*i - 49*y + 24*y + 40184, 0 = 4*i - y - 79960. Does 77 divide i?
False
Suppose -a + 6*o = 3*o - 13, o - 17 = -a. Suppose -2*c = 3*r - 1716, a*r - 18*r - 8 = 0. Is 48 a factor of c?
True
Let l(j) = 4355*j - 85. Does 125 divide l(1)?
False
Let f(x) = 2*x**2 - 5*x + 4. Let i = -6 + 8. Suppose 34 = i*r + 44. Is 17 a factor of f(r)?
False
Let c(u) = -6*u - 59. Let w be c(10). Let x = 70 - w. Does 7 divide x?
True
Let a = -508 + 508. Suppose 4*i + i - 1520 = a. Is 8 a factor of i?
True
Suppose 131 = -15*p - 799. Is ((-9)/18*p)/(2/6) a multiple of 10?
False
Suppose 3*a = -8*f + 7*f + 5262, 0 = -4*f - 4*a + 21056. Does 6 divide f?
False
Suppose -37580 - 125616 = -42*f + 94054. Is 25 a factor of f?
True
Let y(s) = -4*s**2 - s**2 + 23*s**3 + 3 - 22*s**3 + 3*s. Let a be y(4). Does 5 divide ((-44)/10)/(a/(-5))*-1?
False
Does 10 divide 236*65/80 - 14/8?
True
Does 12 divide (16/(-168)*1107)/(9/(-1596))?
True
Let j be (-506)/(-9) - (1 - (-84)/(-108)). Let p = j + -8. Is 16 a factor of p?
True
Suppose 0 = -s + 2*v + 3, -v - v = 4*s - 12. Is 60 a factor of (1 + s)*(3 + 468/4)?
True
Let j(s) = -s**3 - 7*s**2 + 9*s + 11. Let i be j(-9). Suppose -96*r + i*r = -620. Is 18 a factor of r?
False
Let q(x) = 4*x**3 + 142*x**2 - 58*x + 33. Is 48 a factor of q(-20)?
False
Let y(d) = -d + 3. Let f be y(4). Is (((-48)/10)/f)/((-6)/(-380)) a multiple of 19?
True
Let i(m) = 35*m - 1460. Does 45 divide i(83)?
False
Let t(p) = 5*p**2 + p - 1. Let j(f) = -23*f**2 - 4*f + 5. Let l(r) = 2*j(r) + 11*t(r). Suppose 3*o + 4 = 10. Is 8 a factor of l(o)?
False
Suppose 128*d = 3*p + 125*d - 24237, p - 8104 = -4*d. Is 61 a factor of p?
False
Suppose 7*l - 18750 + 6682 = 0. Is 12 a factor of l?
False
Suppose 3*c = 4*k - 355, -3*k = c - 150 - 100. Is 8 a factor of (204/k)/(2/60)?
True
Let c(k) = 6*k**3 - 3*k**2 + k + 1. Let n be c(1). Suppose -4*o + 225 = n*o. Does 3 divide o?
False
Let l = 374 - -442. Is l a multiple of 8?
True
Suppose -865*n + 527*n + 14571180 = 0. Does 174 divide n?
False
Suppose -233392 = -100*z + 3*z - 77610. Is 53 a factor of z?
False
Suppose -5*x - 5*o = -12440, -5*o = -10*x + 7*x + 7512. Is x a multiple of 4?
False
Let l(d) = -9*d + 8*d - 2 + 12. Let i be l(4). Is 13 a factor of ((-26)/i)/(10/(-90))?
True
Suppose -565*c = -556*c - 15714. Does 97 divide c?
True
Let o = -52 - -136. Let i be o*(-1 - 32/(-12)). Suppose 0 = 3*z + 41 - i. Is 18 a factor of z?
False
Let r(m) = 7*m**2 - 40*m - 63. Let a(j) = 3*j**2 - 19*j - 31. Let t(n) = -9*a(n) + 4*r(n). Does 2 divide t(-13)?
False
Is (-10*(-5)/(-10) - 385)*(-14016)/160 a multiple of 36?
True
Let m = -1165 + 980. Let q = -130 - m. Is 5 a factor of q?
True
Is 13 a factor of (-3)/(-27)*2535*30?
True
Suppose 0 = 8*w - 26*w - 990. Let g = -16 - w. Does 27 divide g?
False
Suppose -4*c + 3*o + 593 = 0, -2*o - 413 = -3*c + 32. Suppose -473 = -3*i - a, 38*i - 37*i - 4*a = c. Is 16 a factor of i?
False
Let v(q) = -4200*q - 3633. Is v(-7) a multiple of 78?
False
Let r = 468 - 60. Does 3 divide r?
True
Let a(x) be the first derivative of x**4/4 - 13*x**3/3 + x**2/2 + 32*x + 19. Is 22 a factor of a(14)?
True
Let b(r) = -3*r**2 - 209*r - 90. Does 16 divide b(-69)?
True
Suppose 62*w - 58823 - 33942 = 21997. Does 16 divide w?
False
Suppose -4*v + 74978 = -43990. Does 65 divide v?
False
Suppose 12*m + 2509 = 877. Let r = 147 + m. Does 6 divide r?
False
Suppose -3*n = -j + 4 + 1, -4 = -4*n + 4*j. Is 12 a factor of -32*(-6 + -1 - n)?
False
Is 301 - 305 - ((-67027 - -2) + -1) a multiple of 62?
True
Let m(k) = -430*k + 2592. Is 26 a factor of m(-27)?
False
Let g(n) = n**3 + 3*n**2 - 3*n - 6. Let p be g(-3). Suppose p = x, 3*z - z + 5*x = 49. Suppose 55 + z = 3*q. Does 6 divide q?
True
Suppose 16*f = -57 - 23. Let w(b) = -53*b - 44. Is 27 a factor of w(f)?
False
Suppose q - 43433 + 10879 = -4*r, 2*r = -4*q + 16256. Is 23 a factor of r?
False
Suppose 4*r - 7*r = 2*w - 4037, -3*w + 1348 = r. Is 5 a factor of r?
True
Let z(x) = 2*x - 3. Suppose -n + 5*m = -3*n + 14, 4*m = -2*n + 16. Suppose -28 = -2*r - n. Is z(r) a multiple of 12?
False
Suppose -c + 3*c + 326 = 0. Let d = c + 28. Let h = d + 199. Is h a multiple of 18?
False
Let x be (-9)/(-18) + 7002/4. Suppose -2*t + t - 5*h = -361, -2*h = -5*t + x. Suppose 4*y = o + t, 0 = y - 6*y - 3*o + 426. Is 14 a factor of y?
False
Let g = -133 - -157. Is 5 a factor of (-40)/(1 - 0 - g/12)?
True
Let z = 1169 + -1106. Let x be (-4)/10 + 52/5. Suppose -x*y + 583 = z. Is y a multiple of 26?
True
Suppose 0 = 4*z - 4*w + 12, z = w + 2*w - 5. Let b(v) = -12*v**3 + v + 2. Is b(z) a multiple of 16?
True
Let s(b) = 544*b - 30. Is 18 a factor of s(3)?
True
Suppose 4*n = -2*w + 49204, 34 = 4*w + 10. Does 43 divide n?
True
Let c(h) = 2*h**2 - 2*h + 1. Let d be c(1). Does 35 divide -1*(d - 0)*1*-179?
False
Suppose 0 = 7*v - 193 + 193. Is 53 a factor of v + (-2904)/(-6)*-1*-1?
False
Let g(d) = -d**3 + d. Let t be g(1). Let l be 2 - (1 - t)*(-6 + 2). Suppose l*c - 13*c + 560 = 0. Is c a multiple of 16?
True
Let f = 9 - 6. Let o be (-10)/(4/48*f). Let c = 125 + o. Is 17 a factor of c?
True
Suppose -6*k + 2*o = -13108, -2*k + 10*o = 6*o - 4356. Does 7 divide k?
False
Suppose 3*s - 6*s + 27 = -3*a, -3*a + 36 = 4*s. Suppose -s = 4*p + 179. Let q = p - -108. Is 18 a factor of q?
False
Suppose 4 + 32 = 9*s. Suppose 4*b + 4 = -2*k, -8*k + s*k + 3*b = 8. Let v(g) = 4*g**2 - 5*g + 2. Does 6 divide v(k)?
False
Let z(i) = i**2 + 11*i + 28. Let y be z(-8). Suppose x - t = 928, -4622 = -5*x + 3*t - y*t. Does 16 divide x?
False
Let p(x) = -x**3 - 4*x**2 + 16*x - 29. Let j be 8/8 - (2 - -8). Is p(j) a multiple of 13?
False
Let s(k) = -62 - k + 2*k**2 + 3*k - 24*k - 3*k**2. Is 5 a factor of s(-18)?
True
Suppose -6012 = -3*a - 0*a - 2*k, 2004 = a + 2*k. Suppose -92*c + a = -80*c. Is c a multiple of 7?
False
Suppose b = 2*b - 2*j - 3446, 0 = b + 5*j - 3425. Is 80 a factor of b?
True
Suppose -139*d + 10944 = -131*d. Suppose -550*t = -544*t - d. Is 6 a factor of t?
True
Let s(n) = -10*n + 104. Let b(w) = 10*w - 104. Let i(r) = 5*b(r) + 4*s(r). Is 45 a factor of i(28)?
False
Suppose 3*y = -5*t + 45, 0 = -9*t + 4*t - 5*y + 45. Suppose -m + t = 14. Is m + 107 - -1*(-3 - -1) a multiple of 10?
True
Let m = 255 + -415. Let y = 200 + m. Does 2 divide y?
True
Suppose 0 = 526*h - 522*h. Suppose 11*p - 3*p - 2320 = h. Is p a multiple of 10?
True
Suppose 0 = 7*d - 4*u - 137637, 18288 = d - 2*u - 1373. Does 110 divide d?
False
Suppose 3*q + 18 = 7*d - 4*d, -5*d = -2*q - 12. Suppose 123 = -3*h - 4*s + 332, 0 = s - 5. Let z = q + h. Does 10 divide z?
False
Suppose 5*y - 4*u + 3992 = 9*y, 2*u = y - 989. Let x = 707 - y. Let l = x - -555. Is l a multiple of 11?
False
Suppose 4*v + 3*m = 1037, -m = 3*v - 357 - 417. Let i be 146/50 - (-4)/50. Suppose 0 = -i*k - n + v, -3*n - n = k - 71. Is k a multiple of 13?
False
Let r(t) = 3*t - 3. Suppose h - 5*h = 4*v + 16, 4*h - 5*v + 34 = 0. Let g be (2/h + (-6)/9)*-3. Does 2 divide r(g)?
True
Let v be ((-22)/(-6))/((-1)/(-3)). Suppose -1849 + 7195 = v*a. Is 18 a factor of a?
True
Let i = 26631 - 26632. Suppose -3*z = -l - 2*l + 624, -l = -5*z - 1060. Is 15 a factor of 2 - 2*(i + z/6)?
True
Let b = 5071 - 832. Does 157 divide b?
True
Let d(z) = z**2 + 2*z - 2. Let b be d(-3). Let p be (-4)/6 + (62/(-6))/b. Let n = p + 66. Is n a multiple of 55?
True
Let q(p) = 4377*p**2 - 207*p - 417. Is q(-2) a multiple of 12?
False
Suppose 5*s - 6 = 24. Suppose -8*h - s*h = -4*h. Suppose h = -2*d - n + 334, -d + 181 = -5*n + 9*n. Is 33 a factor of d?
True
Let a(q) = -8*q**2 + 81*q - 266. Let g(h) = -3*h**2 + 27*h - 89. Let o(v) = -4*a(v) + 11*g(v). Is o(-19) a multiple of 43?
False
Let y = 63 + -62. Let s be (-83)/((2 + y)/(-6)). Suppose -20 = -4*p, -4*d + p + 297 + s = 0. Does 13 divide d?
True
Suppose -20*z = 26*z + 12*z - 1921250. Does 25 divide z?
True
Let c(k) = -2*k**3 - 20*k**2 - k - 6. Let a be c(-10). Suppose -x + 3 = 0, 3*h - 7*h = -a*x - 744. Is 23 a factor of h?
False
Let w be (-1 - -4 - -22)*-1. Let n = 25 - w. Suppose -49*v - 34 = -n*v. Is v a multiple of 14?
False
Let w = -273 - -273. Suppose 4*z 