. Suppose -y = -5*k - 2. Is 2 a factor of k?
True
Let k = -451 - 2544. Let w be k/(-9) + (-14)/(-63). Let x = w - 236. Does 21 divide x?
False
Is 122 a factor of 2 + 1839 + 146 + -157?
True
Let k be (-28)/(-5)*(-290)/(-4). Let f = -1611 + 2689. Suppose k = -12*v + f. Is v a multiple of 28?
True
Does 4 divide ((7072/(-78))/(-16))/((-1)/(-819))?
False
Let p be (414/(-90))/((-2)/10). Does 29 divide -1 + 594 - (-20 + p)?
False
Let c = -398 - -400. Let l(r) = -14*r**2 - 8*r + 9. Let v(q) = -13*q**2 - 7*q + 8. Let g(a) = 5*l(a) - 6*v(a). Is 11 a factor of g(c)?
True
Suppose -5*x = -2*x - 114. Let j = x + -70. Is (-12)/j - (-1287)/24 a multiple of 9?
True
Let c(t) = t**2 + 24*t - 48. Let k be c(-26). Suppose -19*w = -18*w + k. Does 11 divide (-3 - (99 - w))*1/(-2)?
False
Suppose a - 167 = 2*a. Let d(g) = -7*g**2 + 4*g - 12. Let n be d(6). Let m = a - n. Is m a multiple of 6?
False
Suppose 9054 = 33*d - 12396. Is -28*(-6)/24*d/35 a multiple of 15?
False
Suppose -q - 2*o = -2, -4*q - 3*o = -q - 6. Suppose -249 = -a - q*a. Is a a multiple of 7?
False
Suppose -2*q + 3389 = 3*o - 3912, q = -4*o + 3638. Does 10 divide q?
False
Let a = -72 - -185. Let t = a + -63. Suppose 5*w - 46 = -k, -5*k - t = -0*w - 3*w. Does 5 divide w?
True
Let m(j) = 44*j**3 - 16*j**2 + 55*j + 28. Is 6 a factor of m(4)?
True
Let k(c) = 6*c - 6. Let v be k(13). Suppose 5*i = i + v. Is (22/4 + -1)/(1/i) a multiple of 9?
True
Is 12 a factor of (74089/(-3))/((-11)/(-297)*-9)?
False
Let k be (-14 - -17)*2/3. Suppose k*z - z = 4*h - 2131, -3*h - 2*z = -1601. Is h a multiple of 41?
True
Is (-378)/(-270) - 40546/(-10) a multiple of 13?
True
Let m = -117862 - -177311. Is m a multiple of 65?
False
Let x(t) = -2*t**3 - 4*t**2 - 25*t + 28. Let y(l) = 6*l**3 + 11*l**2 + 73*l - 83. Let z(h) = -11*x(h) - 4*y(h). Is 37 a factor of z(-8)?
True
Suppose -2*u - 1 + 131 = 0. Suppose u = 4*n + n. Suppose -q - n = -89. Is q a multiple of 28?
False
Let a be 1113 - 12*(-3)/(-12). Suppose -5*t + 15*t = a. Is t a multiple of 34?
False
Suppose -2*i + 5*i = 24. Suppose i*w - 359 = 241. Suppose 3*m = 4*d + 125, -3*d - w = -2*m - 2*d. Does 5 divide m?
True
Let h(r) = r**3 - 60*r**2 + 163*r - 143. Is 63 a factor of h(58)?
True
Suppose 1998 = q - 19*q. Let d = 471 - q. Is d a multiple of 48?
False
Suppose 2120*b - 2072*b - 2926416 = 0. Does 29 divide b?
False
Let m = -384 - -751. Suppose -v + 4*v - m = -p, 368 = p + 4*v. Suppose h + 4*j - 592 = -4*h, -2*j - p = -3*h. Is 30 a factor of h?
True
Suppose -18*b = -10*b - 32. Suppose 0 = -b*o - 45 + 357. Is 2 a factor of o?
True
Let g(r) = -70 + 13*r + 310*r**3 - 14*r**2 + 309*r**3 - 618*r**3. Is g(14) a multiple of 28?
True
Suppose -5*r = 4*x - 1865, -15 = -r - 5*x + 358. Suppose r = 9*w - 212. Does 20 divide w - 5*6/15?
False
Let j = -113 + 107. Is 21 a factor of (-11305)/(-10) + -2 + j/4?
False
Let b be (1 + 513/6)*2. Let t = 304 - b. Is 8 a factor of t?
False
Suppose 9 = -l - 4*m + 5, -2*l - 2*m - 8 = 0. Is (1 - 926/4)*(l - -2) a multiple of 65?
False
Let c be (-3 - (7 + -13 + 7))/(-1). Let g be (39/2)/(2/4). Suppose 103 = c*i + g. Is i a multiple of 6?
False
Does 117 divide 2452260/(-1610)*14/(-4)?
False
Let f(k) be the third derivative of -23*k**4/24 + 142*k**3/3 + 30*k**2 - 4. Is 11 a factor of f(-13)?
True
Let w(m) = -7*m + 2*m - 4*m - 2*m**3 + 12*m**2 + 1. Let x = -2668 - -2672. Is w(x) a multiple of 2?
False
Suppose -3168 = -4*n + 4*m, -1585 = -2*n - 4*m + 7*m. Suppose -s + n = 5*u, 787 = 5*u - 3*s + 5*s. Is 13 a factor of u?
False
Does 7 divide 32/12*(1 + 995/(-40)*-82)?
False
Let a = 14845 - 2195. Does 46 divide a?
True
Suppose 42 = 8*v + 2. Suppose 4*j - 5*g + 18 = 145, 0 = -3*j - v*g + 104. Suppose 30*b = j*b - 495. Does 29 divide b?
False
Let v = 2686 - 427. Does 6 divide v?
False
Let h = 13613 - 22334. Does 22 divide 1/2 - (h/2)/19?
False
Suppose -29*s - s = 17*s - 1856030. Is s a multiple of 15?
False
Let a be -1*(-1 + 0)*-1. Let t be ((-32)/(-12) - 2)*(206 - a). Let s = t - 58. Does 14 divide s?
False
Let j(l) = -2*l - 22. Let r be j(-6). Let a = 247 + r. Let k = -112 + a. Is k a multiple of 25?
True
Suppose 5*y + 335*c - 336*c - 36184 = 0, -2*y - 3*c + 14494 = 0. Is y a multiple of 14?
True
Let c(d) = 5315*d**2 + 11*d - 11. Is c(-2) a multiple of 54?
False
Let w = -285 - -399. Suppose 0*p - 2*p + j = -213, -p - 2*j + w = 0. Let r = -18 + p. Is r a multiple of 7?
False
Suppose 24*c - 16*c - 75480 = -26*c. Does 10 divide c?
True
Let g(f) = 38*f**2 + 38*f - 757. Does 69 divide g(25)?
True
Let b(p) = -p + 9. Let h be b(3). Suppose 2*u = h, o - u - u - 143 = 0. Suppose 0 = -4*k - y + 125 + 491, 0 = -k + y + o. Is k a multiple of 10?
False
Let q = 2715 + -943. Suppose 6*f = -224 + q. Is f a multiple of 6?
True
Let l(b) = 3*b**2 + 7*b - 33. Let p be l(-6). Suppose p*h = 40*h - 1939. Is 15 a factor of h?
False
Suppose -5*b - 2*h + 1610 = 0, -4*b - h = -1193 - 92. Let a = -213 + b. Does 38 divide a?
False
Suppose 0 = -2*p - 5*f + 1109, -5*p - 3*f + 959 = -1766. Is p a multiple of 4?
False
Suppose 0 = -3*k + d + 172422, d + 80938 + 34009 = 2*k. Does 11 divide k?
True
Suppose 2*m + 16*c - 15*c - 147 = 0, 3*m - 2*c = 231. Let j be (2/(-4))/(2/8). Does 2 divide j/(4 - 310/m)?
False
Let m(p) = -38*p - 463. Let o be m(-12). Let x(h) = h - 15 - 3*h - 3*h. Is 5 a factor of x(o)?
True
Is -3 - 3 - (-4887 + -47) a multiple of 15?
False
Let c(h) = -25*h + 18*h + 0*h + 22 + 20*h. Is 6 a factor of c(8)?
True
Suppose 8*h + 17300 = 12*h. Suppose 29*o - 4*o = h. Is 18 a factor of o?
False
Suppose -8*z = -11*z - 9. Does 4 divide z/9 + -1*770/(-15)?
False
Suppose -4*q - 4*v - 244 = 0, 5*q + 2*v + 158 = -138. Let x = q + 65. Suppose -x*w + 563 - 73 = 0. Is 14 a factor of w?
True
Suppose 63082 = 29*p - 6808. Is 14 a factor of p?
False
Suppose -3*t + 96120 = 6*m, -18*m - t = -19*m + 16023. Is m a multiple of 33?
False
Let l be ((-13)/((-78)/20844))/(3/2). Let x be l/33 - (-4)/(-22). Suppose v = 70 + x. Is v a multiple of 31?
False
Let g(y) = -6*y**3 - y**2 + y + 1. Let k be g(-1). Suppose 4 = -k*m + 34. Is (-585)/(-27) - 4/m a multiple of 21?
True
Suppose 3601*t + 5*a = 3603*t - 629, 2*a - 1246 = -4*t. Is 36 a factor of t?
False
Let a(o) = -o**3 + 15*o**2 - 7*o - 1. Let s be a(13). Let c = s - 224. Is 11 a factor of c?
True
Suppose -3*r - 2*r - 20 = 0. Let w(s) be the first derivative of 5*s**3/3 - 3*s**2 + 4*s + 16. Is w(r) a multiple of 27?
True
Suppose -3*c = 4*o - 17 - 22, 0 = -2*o - 3*c + 27. Suppose 54 = -o*v - 360. Let d = 229 + v. Does 14 divide d?
False
Let k = -381 - -388. Does 20 divide 0/k - (0 + -1129)?
False
Let p be 7497/14 - 3/(1*-6). Let i = 737 - p. Is i a multiple of 64?
False
Let s be (-1)/(-3)*(-7 - (-14)/2). Suppose 7*y + 14 = -s. Let l(z) = -4*z**3 - 2*z**2 - 5*z - 4. Does 10 divide l(y)?
True
Let n(k) = -k**3 + 14*k**2 + 31*k + 20. Let q be n(16). Suppose 0 = m - q - 69. Let b = 17 + m. Does 10 divide b?
True
Let a(t) = 177*t - 770. Is 85 a factor of a(25)?
True
Let h be 68/85*5/2. Suppose 2 - 38 = -4*b + 4*t, 0 = -h*b + 4*t + 20. Is b even?
True
Suppose 217*u + 265074 - 8524261 - 316653 = 0. Does 46 divide u?
False
Let t = -36 + 51. Suppose 4*x - 3*x - t = 0. Does 18 divide 3/(-1*x) - 1578/(-15)?
False
Let y = 14683 + -9745. Is 115 a factor of y?
False
Suppose 3*k + 9 = 2*q - 5*q, -4*k = -4*q - 4. Let t = q + 82. Is t a multiple of 13?
False
Let u = 40389 + -6628. Is u a multiple of 49?
True
Suppose 247*b - 226*b - 3654 = 0. Is b a multiple of 174?
True
Suppose 117 = -z + x, 5*x = 3*z + 350 + 1. Suppose 0*n = 5*n - 1260. Let v = n + z. Is v a multiple of 35?
False
Suppose r + g = 6*g - 110, 3*r - 2*g = -382. Let i = r + 292. Is i a multiple of 18?
True
Let l = -7 + -18. Is (7 + -367)*l/20 a multiple of 45?
True
Suppose -36*i - 34*i + 423522 = -48*i. Is i a multiple of 9?
True
Suppose -76*y + 8 = -80*y. Let l(o) = -o**3 - 2*o**2 + 2. Let j be l(y). Suppose 3*f + h - 78 = -0*f, -j*f - 5*h = -52. Is 6 a factor of f?
False
Is 379245/120 + ((-198)/(-88))/(1*-6) a multiple of 5?
True
Suppose -2*t = l - t - 969, -15 = -5*t. Suppose 0 = 5*q + 9*q - l. Is q - (2 - -5 - 4) a multiple of 11?
True
Suppose 7*l = 72 + 5. Suppose -l*t - 11028 = 20278. Is 19 a factor of t/(-30) - (-4)/30?
True
Let m be -1 - (1 + 15/(-5)). Does 9 divide (491 - 0) + 3 + 0 + m?
True
Suppo