133 = -3*p + x. Does 9 divide p?
False
Suppose -3*b + 54784 = -s, -10*s = -b - 12*s + 18273. Is 222 a factor of b?
False
Suppose -158 = 4*h - i, -6*h + i = -3*h + 119. Let u = -883 + 946. Let a = h + u. Is a a multiple of 12?
True
Is -6 - 2*5*(15 + 8830/(-20)) a multiple of 2?
False
Suppose 5*k = -5*x, -5*x = 16 - 6. Suppose 4*l - k*h - 102 = 1466, -2*h + 1190 = 3*l. Is l a multiple of 21?
False
Let h(f) = -4*f - 424 - 14*f + 452 - f**2. Is h(-19) a multiple of 3?
True
Is 76 a factor of (-96)/((-4)/355*(-40)/(-304))?
True
Does 6 divide -2*(-39822)/8*28/(322/23)?
False
Let s = 1834 + -514. Is s a multiple of 66?
True
Suppose z - 4565 = -4*d, 2*z = -3*d + 7*z + 3418. Suppose -4*x = q - 358, 4*q - d = -5*x + 280. Is q a multiple of 59?
True
Let q(b) = b**3 + 5*b**2 - 13*b + 11. Let o be q(-7). Suppose 0 = -o*p - 341 + 1101. Does 5 divide p?
True
Let d = -154 - -162. Suppose -4*t = -2*x - 760, d*x - 950 = -5*t + 5*x. Is 10 a factor of t?
True
Let k = 18462 - -3890. Does 138 divide k?
False
Let k = -116 + 47. Let y = -66 - k. Does 6 divide (-27)/12*(-104)/y?
True
Suppose -121*s = -791815 - 273832. Does 66 divide s?
False
Suppose 3*c - 39 = -4*s, -c + 2*s + 2 = -11. Suppose 0 = -c*d + 4*d + 1332. Is d a multiple of 74?
True
Suppose 7*g = -2043 + 265. Let k = g - -276. Is 2 a factor of k?
True
Let k(x) = 15 + 21 + 14*x - 18 - 13*x. Suppose -2*t + t = 10. Does 2 divide k(t)?
True
Is 35 a factor of ((9177/(-92))/(-19))/((-1)/(-200))?
True
Is 29 a factor of ((-36)/414 - (-1326)/(-92))/((-1)/410)?
True
Let p(c) be the first derivative of 2*c**2 - 6. Let n be (-8)/36 + (-29)/(-9). Is p(n) a multiple of 8?
False
Let y(u) = -4*u - 24. Let n be y(-6). Suppose n*t + 3*t = 6. Suppose -x + f + 30 = -18, -t*f = 0. Does 24 divide x?
True
Does 4 divide 288 + 8 - (30 + -38)?
True
Let w(o) = 5*o**3 - 2*o**2 + o. Let h be w(1). Suppose -h*r + r - 48 = 0. Does 21 divide -2 + r/(-7) - (-1504)/28?
False
Let r(v) = -10*v + 78 - v**2 - 41 - 44 - 17. Let w be r(-6). Suppose b = -2*l - w*l + 125, 5*b + 3*l = 604. Is b a multiple of 13?
False
Let m be (-63)/(-3) - (3 + -4). Let w = m - -51. Is 9 a factor of w?
False
Suppose 3*p - 2045 = -f, 2955 = 5*p + 5*f - 440. Is p a multiple of 4?
False
Let g(x) be the second derivative of 4*x**3 + 2*x - x + 2*x + 2*x**2 + 2*x**3. Is 20 a factor of g(1)?
True
Let g = -18843 - -34398. Is 183 a factor of g?
True
Suppose -5613 = -3*n - 4*z + 22028, 5*z + 36927 = 4*n. Is n a multiple of 132?
False
Let l be (-6)/(-8) + (-2451)/(-172). Suppose -l*n = -4343 - 4327. Does 17 divide n?
True
Let n(q) = 504*q + 1451. Does 5 divide n(6)?
True
Suppose 0 = -g + 4*f + 18, g + f + 6 = 4. Let d(m) = 62*m**2 - 7*m. Let w be d(1). Is 4 a factor of (-1)/g + w/10?
False
Suppose 29765 + 30670 - 9972 = 9*l. Does 63 divide l?
True
Let n be ((-60)/12)/((-1)/(-1 + 2)). Suppose n*j = 364 + 1461. Suppose -591 = -5*z + 2*k, -2*k - j = -3*z - 6*k. Is z a multiple of 18?
False
Let b(c) = c**3 + c**2 - 2*c + 2. Let y be b(2). Let g = y + -6. Suppose -2*q = -g*h - 118, -3*q - h + 217 = 3*h. Is q a multiple of 24?
False
Let k = -170 + 172. Suppose 5*m + 1575 = 5*s, -2*s + 1254 = k*s - 2*m. Is s a multiple of 12?
True
Let r be 14/49*-7 + (-1 - 5757). Is (r/(-5))/(3/2) a multiple of 16?
True
Suppose 0 = 4*a - 2954 - 2818. Let u = -550 + a. Is u a multiple of 19?
True
Let l = -3559 - -29555. Does 194 divide l?
True
Let z be 6/(-9)*(-4 - (-2)/(-4)). Suppose 18 = -2*k + z*k - 4*r, k + 5*r = 45. Is 15 a factor of k?
True
Let t = 469 - -2861. Is t a multiple of 64?
False
Let t be (26 - 27)*(2 - 45 - 1). Suppose 50*q = t*q + 3402. Is 64 a factor of q?
False
Let r(v) = -v + 4*v - 5 - 6 - 2*v. Let w be r(3). Is 17 a factor of 302/6 - w/12?
True
Suppose -3*c = 4*z - 45363, 3*z - 18263 = 2*c + 15772. Is z a multiple of 57?
True
Let t(k) = 793*k**3 - 8*k + 8. Is t(2) a multiple of 64?
True
Is 21 a factor of 36710/25 - -1*(60/(-25) - -3)?
False
Let a = -245 + 247. Suppose 2191 = 2*h + 3*n, a*h + 0*h - 5*n = 2199. Is h a multiple of 18?
False
Suppose 0 = -17*k - 48684 + 124368. Is k a multiple of 14?
True
Let n(s) = -467*s**3 + 18*s**2 + 44*s + 7. Does 88 divide n(-3)?
False
Suppose -151*u + 156*u - q - 88126 = 0, -88118 = -5*u + 3*q. Is 14 a factor of u?
True
Let a(q) = -q**3 + 19*q**2 - 19*q - 37. Suppose g + 6*g - 56 = 0. Let f(n) = -3*n**3 + 57*n**2 - 57*n - 111. Let i(w) = g*a(w) - 3*f(w). Does 10 divide i(18)?
False
Let b be 252/60 + (-1)/5 - -1. Suppose 5*c - 3035 = -b*k, -1648 = -5*c - 3*k + 1393. Is 61 a factor of c?
True
Let c be 8/(32/(-3084))*(-1)/3. Suppose 13*h = 14*h - c. Is h a multiple of 11?
False
Let y be -410*(0 - (-5)/(-10)). Suppose -3*n + y = -146. Suppose -107 = -4*d + n. Does 10 divide d?
False
Let i be (-2)/(1096/183 + -6). Let d = 555 - i. Is d a multiple of 31?
True
Let t be 1/(35/180) - (-3)/(-21). Suppose -830 = -3*v - 4*y, -y = -t*v + 374 + 971. Is 15 a factor of v?
True
Suppose z + 0 = -2*t + 3, t - 24 = 4*z. Let v(m) = 2*m - 3. Let c be v(4). Suppose c*b = t*b + 16. Does 10 divide b?
False
Let h = -190 + 198. Suppose -h*d + 521 = -1279. Is d a multiple of 45?
True
Suppose -4*w + 2*v = -6 - 4, 0 = -4*w + 5*v - 5. Suppose 3*y - 5 = -5*f + 753, -1238 = -w*y - 2*f. Does 10 divide y?
False
Let h(p) = -163*p**2 + 5348*p + 47. Is h(32) a multiple of 2?
False
Let i(y) be the third derivative of y**7/720 - 11*y**6/720 - 2*y**5/5 + 35*y**2. Let l(b) be the third derivative of i(b). Is 9 a factor of l(26)?
True
Suppose -3*w = -4*b - 35735, 5*w + 17482 = -4*b + 77115. Is w a multiple of 11?
False
Let f(l) be the second derivative of -5*l**3/3 + 86*l**2 + 15*l - 2. Does 11 divide f(-20)?
False
Let q(v) = 531*v**2 + 222*v + 1567. Is q(-7) a multiple of 83?
False
Suppose -11*o + 17*o = -72. Let x be (o + 14)/(1/((-3)/(-2))). Suppose x*b + 3*d = b + 171, b - 73 = d. Is b a multiple of 41?
False
Let g(o) = o**3 + 66*o**2 + 108*o + 152. Does 12 divide g(-63)?
False
Let v = -56 + 462. Let w = v + -191. Is 10 a factor of w?
False
Let l(g) = 47*g**2 - 51*g + 498. Is l(16) a multiple of 40?
False
Suppose -228 = -4*k - 4*c - 68, k - 2*c = 49. Let i = k - 7. Is i a multiple of 9?
True
Let c(l) = -2*l**3 - 14*l**2 - 13*l + 4. Let n be c(-6). Suppose 0 = -26*t + n*t + 10944. Does 19 divide t?
True
Let d(a) = 6*a**2 + 3*a - 5. Let r be d(-4). Suppose 2*w - 4*o + 182 = 0, -2*w + 3*w + o + r = 0. Let t = w - -166. Is 12 a factor of t?
False
Suppose -b = 9*c - 15981, -b - 4*c + 10404 = -5582. Does 78 divide b?
True
Suppose -6*l + l + 13507 = -r, 0 = -3*l - r + 8101. Let s = l + -1876. Is s a multiple of 32?
False
Suppose 5*x + 4*q + 9 - 57 = 0, -2*q - 12 = -2*x. Let c be 24/40 + x/(-5). Does 21 divide (c*(3 + 54))/(-1)?
False
Let l(u) = -62*u**3 + u**2 + 4*u + 3. Let q be l(-6). Suppose 7*d = q - 1269. Is 102 a factor of d?
True
Suppose 1953 = 113*f - 120*f. Is (f/(-2))/(105/280) a multiple of 46?
False
Let p(d) = -80*d + 211. Suppose 2*x - x = 2*g + 16, 3*x = -4*g - 42. Is p(g) a multiple of 52?
False
Let v be 18/(-3) - (76 + -13). Does 19 divide (1287/(-5))/(v/230)?
False
Suppose 0 = -2*g + 12*g - 760. Let p be -2 - 15/(-10)*g. Let l = p - 77. Is 5 a factor of l?
True
Let t(c) = -2*c - 41. Let w be t(-23). Suppose 152 = j + 4*l + 16, 704 = w*j - 4*l. Is 64 a factor of j?
False
Let w(d) = d**3 - 5*d**2 + 2*d - 4. Let f be w(5). Suppose -3*i + 3 = -27. Does 38 divide -228*(1 - i/f)?
True
Suppose -8199 + 775 = -8*y. Does 16 divide y?
True
Suppose -1275*g + 1281*g = 318. Let l = 533 - g. Is l a multiple of 48?
True
Suppose -3*m + 677 + 64 = 2*q, m + 1517 = 4*q. Let a = -5 - -12. Suppose -a*z + 4*z = -q. Is 18 a factor of z?
True
Let f = 77 - 75. Suppose -16*m = -14*m + f. Is 4*(-7 - m)*20/(-15) a multiple of 8?
True
Suppose 2*o + 24522 = 134*w - 133*w, w = 5*o + 24513. Is w a multiple of 21?
True
Suppose 3*b + 3433 = 6*b - 2*x, 4*x = 14*b - 15994. Is b a multiple of 13?
False
Let d(o) = -8*o**3 + 6*o**2 - o + 1. Let j be d(1). Is 5/j*(-36)/5 a multiple of 18?
True
Suppose -y = -s - 11, 0 = 3*y + 2*s - 13 - 20. Suppose -4*o = -y - 5. Is (-108)/4*o/(-12) a multiple of 6?
False
Suppose -4*l - 247 = -2*m + l, m = l + 128. Suppose m = 5*w - 129. Does 13 divide w?
True
Does 83 divide ((-3569)/(-215)*7)/((-2)/(-110))?
True
Let r be 6 - (-2 + 4) - (-25 + 15). Is ((-207)/5)/(r/(-70)) a mu