3 + h. Does 15 divide i?
True
Let s be 13836/14 + 6/(-21) + -4. Suppose -4*f + 180 = q, f + s = 2*q + 3*q. Does 14 divide q?
True
Let j = 25010 + -15876. Does 109 divide j?
False
Suppose 4*l = -4*r + 564, -4*l = -7*l - 4*r + 421. Suppose 3*h - 181 = -4*q, -23 = 2*h + 2*q - l. Is h a multiple of 10?
False
Let n be (4 + -1 + -30)*(1 - -2). Does 34 divide (-3062)/(-9) - (-18)/n?
True
Let w be (12/(-8))/(6/(-8)). Suppose j - w*x = -0*j - 2, 4 = j + 4*x. Suppose -a - 21 + 36 = j. Is a a multiple of 5?
True
Suppose 3*p - 3*t = 3, 2*p - t - 1 = 2*t. Let v(u) = 3*u**p - 6 + u**3 - 4*u**3 + u**2 - 4*u - 6*u**2. Is 4 a factor of v(-2)?
False
Is 18/(-180) - 290705/(-50) a multiple of 9?
True
Is 14/175 + 5205798/650 a multiple of 129?
False
Suppose 159*d = 79*d + 87*d - 329483. Is 158 a factor of d?
False
Let i(w) = w**2 - 47*w + 49. Let r be i(46). Let h = -96 - -1776. Suppose r*p = 13*p - h. Is 21 a factor of p?
True
Let y = -66 - -262. Suppose 2*x - 4 = 2. Is x/((-15)/25)*y/(-10) a multiple of 17?
False
Let u(c) = 115*c - 3*c + 133*c - 3 - 12 - 46*c. Is u(7) a multiple of 26?
True
Let o(k) = -k**3 - 16*k**2 + 13*k - 4. Let w be o(-17). Suppose -6*j = -j - 10. Suppose 3*b = -t + w, -t - j*t + 2*b + 225 = 0. Does 24 divide t?
False
Let b be (0 + -1 - -857)/1 - -2. Let w = b - 483. Is w a multiple of 63?
False
Let i(c) = c**2 + 11. Let z(p) = -p**3 - 9*p**2 - 9*p - 5. Let v be z(-8). Let n be i(v). Suppose 5*d = -0 + n, -2*a + 2*d + 18 = 0. Is a a multiple of 13?
True
Let p(q) = 15*q + 27. Let h be p(5). Suppose -4*i = n - 2*n - 84, 5*i - h = 2*n. Let r(f) = 2*f + 8. Is r(i) a multiple of 13?
True
Let q be (-100)/(-70) - 3/7. Is 21 a factor of 0 + q + (714 - 1)?
True
Suppose 2*f - 1011 + 4835 = 0. Let j be (-12)/(-15) + f/(-10). Let v = j - 106. Does 14 divide v?
False
Suppose -33 = 9*k - 8*k. Let d be (34/(-6))/(-1 - k/36). Suppose d + 514 = 6*h. Is h a multiple of 15?
False
Suppose -5*w + 0*s + 5250 = 2*s, -2100 = -2*w + 3*s. Suppose -5*k + 31*b + w = 30*b, -4*b = k - 210. Does 27 divide k?
False
Let g = 221 + 640. Is g a multiple of 7?
True
Let x(b) = 38*b - 216. Let u be x(6). Suppose -369 + u = -m. Is m a multiple of 60?
False
Let b(d) = 37*d - 53. Suppose 5*c + f = 8*c - 47, 2*f = 3*c - 43. Let p be b(c). Suppose p = 7*i - i. Does 16 divide i?
True
Is 10 a factor of (-1 + -2462)/((-390)/260)?
False
Suppose -z = -4*x - 670, -1742 = -2*z + 3*x - 377. Suppose -k - 2*k = -z. Is k a multiple of 29?
False
Let q = 44 + -56. Let s be (6/(-12))/(((-14)/q)/(-7)). Suppose 3*p + s*l = 21, 4*l + 5 = 3*l. Does 3 divide p?
True
Does 24 divide 618*(66/(-16))/((-3)/4)?
False
Let s(h) = -57*h + 42. Let b be s(8). Let q = 863 + b. Does 51 divide q?
False
Let p = -4 + -17. Let f = 24 + p. Suppose -15 = -f*z, 4*y = -4*z + 2*z + 234. Does 31 divide y?
False
Let u(c) = -7*c - 70. Let x be u(-10). Suppose 2*h + 2 = 12. Suppose 85 = 2*b - 5*y, -4*b + h*y + 175 = -x*y. Does 45 divide b?
True
Suppose 276640 = 128*b + 12*b. Is b a multiple of 52?
True
Let k(n) = 7*n**2 - 15*n**2 + 0 + 10*n**2 - 9*n - 12. Does 23 divide k(-14)?
True
Let k = -13 - -7. Let u be (14/k)/(4/(-24)). Suppose 2*o - u - 6 = 0. Is 4 a factor of o?
False
Suppose 8 - 13 = -x - 2*f, -5*f + 20 = -5*x. Is -12*(-1)/3*x - -544 a multiple of 60?
True
Let v = 858 + 17. Let s = 30 - 16. Suppose s*a - 7*a - v = 0. Does 17 divide a?
False
Let r be 3/12*0/(-2). Suppose 12*o - 10*o - 518 = r. Is 10 a factor of o?
False
Let s(w) = 4*w**2 + 10*w + 3386. Is 271 a factor of s(-53)?
True
Let o be ((-1)/3)/(6/(-90)). Suppose -5*r - o + 20 = 0, -699 = -5*y + 2*r. Let j = -123 + y. Is j a multiple of 9?
True
Let w(k) = -k**2 + 13*k - 18. Let v be w(11). Is (-2)/v - 13*(-119)/14 a multiple of 5?
True
Let g(c) = -167*c + 1832. Does 8 divide g(-8)?
True
Let f(z) = 47*z**2 - 661*z - 57. Is 18 a factor of f(-9)?
False
Let v(i) = 32*i + 114. Let t be v(8). Let c = -277 + t. Does 3 divide c?
True
Suppose 40261 = 167*c - 3994. Does 2 divide c?
False
Suppose 4*l - 245706 = -2*v, -1439*v + 1435*v = 5*l - 307125. Does 16 divide l?
False
Let x(f) = 2*f**2 - 8*f + 88. Let l(o) = -3*o**2 + 11*o - 132. Let h(y) = -5*l(y) - 7*x(y). Is 10 a factor of h(12)?
True
Suppose -5*d = 172 - 212. Suppose 1134 = 4*k - t, d*t = 3*k + 3*t - 842. Is 60 a factor of k?
False
Let c = 6378 + -5058. Does 40 divide c?
True
Suppose 4*x + 22 = -n, 5*n + 56 = 5*x - 7*x. Is 3/(-9) - (19100/15)/n a multiple of 36?
False
Suppose -95*h - 75*h + 627626 = -64*h. Is h a multiple of 92?
False
Let f(p) = -144*p**3 + 2*p**2 + p - 1. Let c be (6/2)/((-9)/(-6)). Let t(x) = 2*x**2 - 3*x - 3. Let m be t(c). Is f(m) a multiple of 24?
True
Let n(f) = -f**2 - 9*f - 9. Suppose -5*r + 14 = -7*r. Let b be n(r). Suppose 2*w - 155 = b. Is w a multiple of 10?
True
Does 88 divide (-16)/(-56) - 162/((-6390)/(-2144) + -3)?
False
Let x(r) = 5*r**2 - 17*r + 76. Let c be x(9). Let z = c - 151. Is z a multiple of 28?
False
Is 10 a factor of -78*(-1)/(3/(-885)*-15)?
False
Suppose 6*u + 4*u - 50490 = 0. Does 51 divide u?
True
Let a = 149 + -141. Let k be a/14 + (-1485)/63. Let h = 110 - k. Is 19 a factor of h?
True
Let l(v) = -31*v - 125*v**2 - 119*v**2 - 2*v**3 + 3*v**3 + 252*v**2. Is 10 a factor of l(-10)?
True
Suppose -61185*g = -61169*g - 45024. Is g a multiple of 21?
True
Suppose -q + 0 + 2 = 0. Suppose 0 = -q*p + 4*r + 62, -4*r + 3*r = 3*p - 121. Is p a multiple of 3?
True
Suppose -20 = 2*g + 26. Let z = g + 38. Suppose 2*x - 75 = -5*l, -2*l = -l + x - z. Is l a multiple of 3?
True
Suppose 50*i - 33*i = 17. Does 23 divide 2/12 - ((-10455)/18)/i?
False
Let a = 55284 + -27576. Is a a multiple of 28?
False
Let a = 1844 + -1184. Suppose -45 + a = p. Suppose -165 = -6*c + p. Is 45 a factor of c?
False
Let g = -51 + 83. Suppose 2*v + l = g + 40, v - 4*l = 36. Suppose -29*z + v = -28*z. Is 4 a factor of z?
True
Let j(v) = 2*v + 16. Let a be j(-6). Suppose -70 = -a*w + z + 53, w - 15 = -5*z. Is w a multiple of 6?
True
Let m(v) = -v**3 + v**2 + 2*v - 24. Let g be m(0). Suppose -390 = 24*h - 63*h. Is 12 a factor of ((-9)/g*h)/(3/84)?
False
Let g be (2 - 7/2)*-2. Suppose -13*l - g = -14*l. Suppose -4*c = 4*w - 300, 3*w = -2*c + l*c - 87. Is 39 a factor of c?
True
Suppose -2*t + 592 = 4*a, -18*a + 938 = 3*t - 22*a. Is 102 a factor of t?
True
Let i be 2 + ((-36)/(-21))/(2/(-28)). Let p(x) = 14*x + 24. Let w be p(3). Let r = w + i. Does 15 divide r?
False
Suppose 0 = g + 43 + 24. Suppose 50*z = 54*z. Is 30/(-24)*(g + (z - 1)) a multiple of 33?
False
Let l be (23 - 22)*71/1. Let s = l + 8. Suppose 5*w - s = 56. Is w a multiple of 9?
True
Suppose 4*m = 9 - 1. Suppose -17956 + 55708 = -62*k + 150*k. Suppose l = -m*g + 4*g - k, -3 = -l. Is 13 a factor of g?
False
Suppose 0 = 3*n + a - 81 - 25, -4*n = -4*a - 136. Is 106/(189/n - 5) a multiple of 16?
False
Suppose 6*w - 8*w = -106. Let d = -49 + w. Suppose -z = -d*j - 48, -2*j + 59 + 47 = 2*z. Does 4 divide z?
True
Suppose -23275 = -4*o - g, 6*o - 8*o = 3*g - 11645. Does 23 divide o?
False
Is 6 a factor of 1/(-2) + 752/32?
False
Let w(v) be the third derivative of 11*v**5/30 - v**4/3 - 22*v**3/3 - 2*v**2 - 43*v. Is 31 a factor of w(-5)?
False
Suppose 3*f = c + 13594, -5*f + 2*c + 12375 = -10280. Is 38 a factor of f?
False
Suppose -623 = -16*w + 120721. Does 10 divide w?
False
Suppose -3*b = 4*t - 4309, -43*b + 3*t + 2850 = -41*b. Is b a multiple of 47?
False
Let t(b) = 2*b**2 - 2*b - 31. Let h be t(-5). Suppose 5*j + h = 4*s - 36, 3*s + 5*j = 40. Is s even?
False
Suppose 4624 = 6*m - 4640. Does 2 divide m?
True
Let n(k) = -k**2 - 2*k + 1. Let z(v) = -22*v**3 + v**2 + 5*v - 1. Let c(r) = -2*n(r) - z(r). Does 23 divide c(2)?
False
Let s(n) = -6*n**2 + 66*n - 46. Let y(c) = -7*c**2 + 67*c - 46. Let v(j) = -4*s(j) + 3*y(j). Is v(22) a multiple of 7?
True
Suppose 5*p = -271 - 1424. Let o = 897 + p. Suppose -5*q = -5*z + 570, -2*z + 2*q + o = 3*z. Does 17 divide z?
False
Let z(q) be the third derivative of 3*q**5/4 - q**4/24 - 2*q**3/3 - q**2 - 234*q. Suppose c = -0 - 2. Is 14 a factor of z(c)?
False
Does 38 divide 9 + 5/40*137272?
False
Suppose 7*m - 159 = -5. Let x = m + -17. Suppose -x*g = -g - 156. Does 10 divide g?
False
Suppose -4*x - 30 = -14*x. Suppose -2*s = 5*d - 4466, 0*d + x*s = d - 883. Suppose -4*f + d = 5*n, -2*f = -3*f + n + 232. Is f a multipl