 -g - l. Is 42 a factor of g?
False
Suppose 3*x - 4123 = -g, -2*g + 4904 = x - 3352. Suppose 1613 = 33*i - g. Is i a multiple of 58?
True
Is 7 a factor of -13*189/(-351) - 17484/(-2)?
False
Suppose -4*t = 4*r - 24, 3*t - t - 22 = -4*r. Suppose -2*z = -237 + 29. Suppose -r*d = 4*o - z, -2*o = 2*d + 3*d - 42. Is 4 a factor of o?
False
Let q = 17489 - 10440. Is 53 a factor of q?
True
Let l = 5011 - -71. Is 12 a factor of l?
False
Let c = 34 - 59. Does 8 divide 84*(c/(-6) + 9/(-6))?
True
Suppose -10*b + 9*b + 103 = 0. Suppose -4*q + 3*u + 1849 = 0, q - u - 566 + b = 0. Is q a multiple of 46?
True
Let k be (-5 + 7 + -3)*(-1 + -4). Suppose -k*a - a = -132. Suppose -81 = -y + a. Is 10 a factor of y?
False
Suppose -2*p + 0*p + 7*p = 10800. Is 20 a factor of p?
True
Let g(w) = 11*w**2 - w + 2. Let x be g(4). Is (73/(-6))/((-29)/x) a multiple of 9?
False
Let w = 2372 + 502. Is 21 a factor of w?
False
Let a = 245 + -244. Does 16 divide (1 - 152/40)/(a/(-80))?
True
Let r(o) = 2*o**2 + 9*o + 11. Let g be r(-6). Suppose 0*f + 4*f = b + 24, b + g = 5*f. Suppose 342 + 368 = f*i. Does 19 divide i?
False
Let w(h) = 284*h**2 + 17*h + 13. Let d be w(-5). Suppose -d = -30*t + 13492. Is 36 a factor of t?
True
Let t = 8346 + -4290. Does 24 divide t?
True
Let v(r) = -r**3 - 5*r**2 + 5*r + 2. Let o be v(-6). Suppose -o = -2*h, -4*m = -3*m - 4*h - 16. Suppose 0 = -3*j + 146 - m. Is j a multiple of 9?
False
Suppose 0 = x + 15*x - 2736. Suppose 4*t - 893 = x. Does 14 divide t?
True
Is 11/((-374)/(-4)) - 275429/(-187) a multiple of 13?
False
Suppose 33*p - 30*p = -18. Is 13 a factor of 23880/45 + (-2)/p?
False
Suppose 8*b - 43 - 325 = 0. Suppose 3*u = 0, 0 = 2*p + 11*u - 9*u - b. Is 10 a factor of p?
False
Let l(m) = 2*m + 3. Let y(x) be the first derivative of -x**2/2 + x + 27. Let d(i) = -l(i) + 2*y(i). Is d(-3) even?
False
Suppose -18878 + 83599 = 110*v - 37469. Is 7 a factor of v?
False
Let w(p) = -p**2 - 6*p + 2. Let h be w(-3). Suppose 14*r = h*r + 126. Suppose -r = -z - z. Does 21 divide z?
True
Suppose 0 = -208*d + 201*d + 168. Suppose d*n - 1407 = 1281. Is n a multiple of 14?
True
Let x(v) = -3*v**2 - 37*v + 9. Let y be x(-14). Let s = 232 + y. Is s a multiple of 42?
False
Let w(y) = -40*y + 6. Let l be w(4). Let n = l + 490. Is n a multiple of 24?
True
Let m = 2133 + 1364. Does 65 divide m?
False
Let t = 8 - -420. Is t a multiple of 18?
False
Suppose -8*r - 58 - 6 = 0. Is 6 a factor of 20/(-5 - 0) + (-416)/r?
True
Suppose 3*z + 7*a - 6*a + 80 = 0, 0 = 5*z - 5*a + 140. Let t = 4 - 24. Let k = t - z. Is 3 a factor of k?
False
Suppose -223 = -13*k + 50. Is 2 a factor of k?
False
Let v(a) = -163*a + 146. Is 9 a factor of v(-14)?
False
Suppose -3*t + w = -34, -t + 0*t + 10 = -w. Suppose t*x + 378 = 15*x. Suppose 2*g - l + 154 = 5*g, -2*g + 4*l = -x. Does 20 divide g?
False
Let m = 681 + 1601. Is m a multiple of 6?
False
Suppose -b = -3*m - 3446, -6972 = -2*b - 398*m + 394*m. Is 17 a factor of b?
False
Let m(o) = -o**3 - 6*o**2 + 19*o + 81. Let f be m(-9). Suppose f*s - 1950 = 140*s. Is s a multiple of 2?
True
Is 16 a factor of (160/(-14))/(54/(-5292))?
True
Let v = 25343 - 16364. Is v a multiple of 123?
True
Suppose 68930 = -221*i + 226*i. Is i a multiple of 61?
True
Suppose -9*k = -8*k + 3. Is (k*(-35)/21)/((-1)/(-19)) a multiple of 19?
True
Let d(t) = -t**3 + 7*t**2 + 8*t + 1. Let s be d(8). Suppose -2*m = 3*p - 15, 10 = 3*p + s. Suppose m*n + 2 = 302. Is n a multiple of 23?
False
Suppose 439 = -3*t + 433. Let c(b) = 5*b**2 - 23*b - 48. Is c(t) a multiple of 3?
True
Let t be (5/(50/(-16)))/((-28)/1190). Suppose 9*b - 860 = -t. Is 4 a factor of b?
True
Let j be (-3)/(-10) - (-143856)/480. Suppose -9*q = -9444 + j. Is q a multiple of 13?
False
Suppose -219*q = -212*q - 56. Suppose q*b + 2*u = 3*b + 1390, 5*u = 5*b - 1425. Does 40 divide b?
True
Suppose -4*r = -1643 + 1171. Suppose 123*t - 175 = r*t. Is 4 a factor of t?
False
Suppose 6*b = 224 - 8. Let m = -45 + b. Is 37 a factor of (-6)/(-4)*(-444)/m?
True
Let s(z) = 3 + 0*z + z + 107*z**2 - 110*z**2 + z**3. Let y be s(3). Suppose -v - 2*o + y*o = -126, -2*v = -5*o - 255. Is v a multiple of 26?
True
Let v(q) be the second derivative of 3*q**4/4 + q**3 + 3*q**2 + 338*q. Suppose 0 = k - 3*p + 17, 4*p - 22 = -3*k + 4*k. Is v(k) a multiple of 3?
True
Let q be (-44)/((-80)/50 - 2/5). Let i be (-592)/(-9) + q/99. Suppose 68 = -62*c + i*c. Does 17 divide c?
True
Let l(t) = 4*t**2 - 59*t + 22. Let z be l(29). Suppose a + 4*c - 4192 = -4*a, 2*a + c = z. Does 38 divide a?
True
Suppose 5*g - 35 + 11 = 4*c, 3*c - 13 = -4*g. Suppose g*q = -q + 135. Let j = q - -8. Does 35 divide j?
True
Let r be (-59)/(-3) - (-5)/60*4. Is (56/r - -2) + (-3)/(-15) a multiple of 5?
True
Let y(c) = -9*c + 2*c - 52 + 59. Let l be y(-15). Suppose r - 4*q = 47, 2*r - q + l = 4*r. Is 16 a factor of r?
False
Let s = 654 + 2777. Suppose 21*u - s - 9274 = 0. Is 55 a factor of u?
True
Let k(s) = 229*s**2 - 12*s + 148. Does 54 divide k(6)?
False
Let i(n) = 14*n**2 + 9*n - 61. Let x be i(11). Is 6/42 + 1 + x/28 a multiple of 21?
True
Let z(w) = 51*w + 38. Let i be z(-7). Let q = 157 - i. Let h = q + -271. Does 30 divide h?
False
Does 13 divide (6/(-15))/((-20 + 13)/663845)?
True
Let f = -367 + 780. Suppose 47*r - f = 40*r. Let o = r - 47. Is 3 a factor of o?
True
Suppose 8*t - 140620 = -g, -64*t - 3*g = -63*t - 17566. Is 187 a factor of t?
True
Let b = -943 + 4333. Is b a multiple of 30?
True
Let o(v) = 14*v**2 - 20*v + 727. Is 99 a factor of o(17)?
False
Let o be 178 - (16/4 + 2). Let i = o - 75. Does 32 divide i?
False
Suppose 2*x - 72 = -5*h + 6023, 4*x - 2438 = -2*h. Suppose -11*g = -1641 - h. Does 26 divide g?
True
Suppose 849945 = -193*k + 4631973. Is 69 a factor of k?
True
Let i = 28 - 23. Suppose -2759 = -i*q + 461. Suppose -2*z - q = -4*m, -2*m + 5*z + 27 + 295 = 0. Does 23 divide m?
True
Is 27 a factor of (-1)/(1/(-5)) - (-1 - 3098)?
False
Suppose -19*r - 48 = -22*r - 3*i, 5*i + 64 = 3*r. Is 39 a factor of (-2 + -497)/((-9)/r)?
False
Suppose -1330*d + 3024 = -1327*d. Is 12 a factor of d?
True
Let o(j) = -7*j + 11. Let g be o(5). Let l be (2 + -126)*30/g. Suppose -5*d + 5*v + 365 = 0, -4*v - v = -2*d + l. Is 14 a factor of d?
True
Let v(i) = -3*i**2 + 57*i + 19. Let r be v(19). Suppose 0 = r*x - 2*x - 9520. Is x a multiple of 14?
True
Suppose -q + 3071 = 5*o, 15*o - 19*o - q + 2457 = 0. Does 4 divide o?
False
Is 196 a factor of -6 - (2/9 + 1760836/(-99) - 7)?
False
Suppose -1806 = 14*q - 17*q. Suppose 4*v = 4*l + 472, -2*l = 3*l - v + q. Let n = l - -277. Is 17 a factor of n?
False
Suppose -226 - 759 = -2*o - w, 5*o + 4*w = 2461. Suppose 2*i - 5*c - 294 - 191 = 0, -o = -2*i - 3*c. Is i a multiple of 28?
False
Suppose -3*c + 204 = 5*w - 3*w, 0 = -5*w. Suppose c*h - 564 = 65*h. Is h a multiple of 18?
False
Let s = 22069 - 15397. Is 12 a factor of s?
True
Let k be (-4)/((-12)/(-20) - (-183)/(-255)). Let j = 34 - k. Suppose 2*i - 1 - 47 = j. Is 12 a factor of i?
True
Let y(f) = 70*f**2 + 102*f - 650. Does 8 divide y(6)?
False
Let l(p) = -2*p**3 + 50*p**2 + 59*p - 158. Does 61 divide l(22)?
False
Suppose 449040 = -123*l + 163*l. Is l a multiple of 21?
False
Let b be 56*14/28 + 1*-1. Is 3 a factor of (-8 + 198/b)*-315?
True
Suppose 60 = -2*c + 2*i - 152, i = -4*c - 414. Let u be (c/(-24) - -7) + 1/(-3). Let r(x) = 4*x - 5. Is r(u) a multiple of 18?
False
Suppose -m - 6*w + 5*w = -489, 3*m - 1470 = -4*w. Suppose 0 = 7*v - m + 17. Suppose 10*k - 9*k - v = 0. Is 8 a factor of k?
False
Suppose -23276 - 33148 = -12*s. Is 56 a factor of s?
False
Is -26856*(-5 + 296/64) a multiple of 12?
False
Let i = -44 + 47. Suppose -10*q - 1035 = -5*x - 5*q, 15 = -i*q. Is 7 a factor of x?
False
Suppose 153*q + 273 = 140*q. Is (-2)/(-18)*q*-6 a multiple of 2?
True
Let x(h) = -h**2 + 10*h + 3. Let v be x(7). Let m be (-6)/4*3/((-6)/(-104)). Let w = v - m. Does 53 divide w?
False
Suppose -o - j = -2*j + 126, 5*o = 2*j - 645. Let n = o + 261. Does 13 divide n?
True
Suppose 4*q - 36*w = -34*w + 10236, 0 = 4*q + 3*w - 10256. Does 13 divide q?
True
Let q(a) = -a. Let m(x) = -3*x - 14. Let z(n) = -m(n) - 6*q(n). Let u be (-1 + -5)*4/(-6). Is z(u) a multiple of 10?
True
Let d(m) = 20*m**2 + 18*m + 1. Let q(t) = -7*t**2 - 6*t. Let a(u) = 6*d(u) + 17*q(u). Let o be a(-6). Is -2 + -