-t*c - 3*r. Let d = c + 43. Is 45 a factor of d?
True
Let m = -310 + 303. Let i(d) = 4*d**2 - 1. Is 5 a factor of i(m)?
True
Suppose 8*p = 4 + 12. Suppose 16 = 4*s - 3*q + 1, -10 = s + p*q. Suppose -4*a - z = -515, s = 3*a - 4*a + 5*z + 113. Is 16 a factor of a?
True
Let t(k) = 2*k - 41. Let c = -34 + 56. Let m be t(c). Suppose -2*i + 6*i = 3*b - 134, -5*b + 233 = m*i. Is b a multiple of 16?
False
Let d = 458 + -439. Suppose -4*b + 23*o = d*o - 1984, -3*b = 5*o - 1504. Does 6 divide b?
True
Let n(w) = -w**3 - 87*w**2 + 1252*w - 355. Is n(-100) a multiple of 74?
False
Let x = -76 + 106. Does 12 divide 456/(-5)*x/(-4)?
True
Suppose -4634*n - 115596 = -4660*n. Does 21 divide n?
False
Let x = -383 - -1803. Let w = x - 617. Is w a multiple of 30?
False
Suppose 642 = 8*y - 1382. Suppose -y*g - 6730 = -263*g. Is g a multiple of 30?
False
Let z = -2200 - -9865. Is 35 a factor of z?
True
Suppose -94*b + 115*b = 118629. Does 93 divide b?
False
Suppose 3*l + o - 27843 = 0, 3*l + 4*o - 4045 = 23807. Is l a multiple of 85?
False
Suppose 17216 = 5*x - 259 - 1005. Is x a multiple of 48?
True
Suppose 4*q + 4*k = 6792, -k - 1621 - 1781 = -2*q. Suppose 3*u - 1690 = -0*u + 2*h, 4*h = 3*u - q. Is 70 a factor of u?
True
Let r(v) = 36*v**2 + 8*v. Suppose 2*w + 4*u = 16, -2*w + u = 2 + 2. Let i be ((-4)/(-6) + w)/((-88)/264). Is 27 a factor of r(i)?
False
Let o = -8212 - -10184. Is o a multiple of 14?
False
Let z = -10742 + 11502. Does 40 divide z?
True
Suppose 0 = 3*m - 136 + 679. Suppose -4*h + 3*h - 302 = 0. Let w = m - h. Does 11 divide w?
True
Let i(r) = -685*r - 1295. Is i(-14) a multiple of 3?
True
Let r be (0 + (-126)/(-15))*-5. Let l = 44 + r. Suppose -5*o + 194 = -i, -3*o + l*i + 21 + 94 = 0. Is 7 a factor of o?
False
Suppose 2*z + 3*b - 4 = 5*b, -5*z = -4*b - 6. Does 8 divide 6 + z + (6 - -55)?
False
Let y be 72/36*26/4. Let p(x) = -14*x - 25 + 24*x + y*x + 26*x. Is p(5) a multiple of 10?
True
Let y = -9 - -8. Let x be (-5)/10*4/(-2). Is -8 + 27 - x/y a multiple of 10?
True
Let g = 55 + -47. Suppose g*b - 1450 = 782. Is 7 a factor of b?
False
Let t = 1679 - 719. Suppose -4*v + 31 = 5*s, -7*v + 3*v + 34 = 2*s. Suppose 3*w = -v*w + t. Is w a multiple of 26?
False
Let q be ((-3)/(-3))/(1/(2 + 497)). Suppose 299 = 6*z - q. Is z a multiple of 12?
False
Suppose 6*i + 145 = 11*i. Suppose 0 = 4*l + 20, 3*l + 140 = 4*f + i. Does 8 divide f?
True
Let l be 38/(-8) - -3 - (-1)/(-4). Let s be l + -3 + 1 + 38. Let a = s + -24. Is a a multiple of 10?
True
Is 12200/((-30)/(-6)) - (1 - -2) even?
False
Let i = 140 + 16. Suppose 483 - i = 3*f. Suppose 3 = 2*a - f. Is 14 a factor of a?
True
Does 163 divide 3*((-3406700)/57)/(-22)?
True
Let o = 21 + -7. Let k(l) = l**3 - 7*l**2 - 33*l - 26. Is 34 a factor of k(o)?
True
Let c(b) = b**2 + 23. Let k be c(0). Suppose -y = 1, 4*l = -y + k - 0. Suppose -5*n + 36 - l = 0. Is n a multiple of 3?
True
Suppose -4*n - w + 1215 = 0, -788*w - 316 = -n - 790*w. Is n a multiple of 22?
False
Suppose -5*y = 45 - 10. Let a(s) = -3*s - 24. Let x be a(y). Is 15*(x - (-96)/20) a multiple of 6?
False
Let n be ((-24)/(-10))/((-9)/45). Let m be (-33)/n + -2 + (-5)/(-4). Suppose 56 = m*v - 22. Is v a multiple of 26?
False
Suppose 10920 = -3*g + 24*g. Suppose 6*x = 5*x - 5*p + 290, -2*x + 5*p = -g. Is 18 a factor of x?
True
Let r(m) = -116*m - 2. Let a be r(1). Suppose 9*q - 19*q - 980 = 0. Let t = q - a. Does 12 divide t?
False
Let j = -19 + 31. Suppose 5*w - j = 2*w. Suppose -4*h - p = -121, w*h + 136 = 8*h + 4*p. Does 4 divide h?
False
Let l(w) be the third derivative of 13*w**4/24 - 113*w**3/3 + 206*w**2. Does 2 divide l(20)?
True
Suppose -2*b + 4*b - 5*k = 1958, -k = 2*b - 1958. Suppose 0 = 10*t - b - 5361. Is 18 a factor of t?
False
Let h(s) = -s**3 + 8*s**2 - 8*s + 11. Let t(n) = -10 + 37*n**3 + 36*n**3 - 8*n - 72*n**3 + 3*n**2. Let o be t(-4). Is h(o) a multiple of 35?
True
Does 129 divide -10 + 10 + ((-17184)/(-4) - -5)?
False
Let h = 418 - 408. Suppose h*w - 1587 = 5383. Does 19 divide w?
False
Suppose -4*x = -p - 27374, -2*x + p + 6915 = -6775. Is x a multiple of 22?
True
Let w = -111 - -572. Let o = 717 - w. Does 8 divide o?
True
Let d be (6 + -2)*(-1 - (-21)/12). Suppose 0 = 2*i + 4*t - 94, -d*i = 5*t + 25 - 162. Is i even?
False
Let g(k) = -2*k. Let s = 0 - -4. Let r be g(s). Is ((-26)/r)/((5 - 6)/(-36)) a multiple of 13?
True
Suppose -z + 4 = b, 4 = b + 3. Suppose 4*u = -4*f + z*u - 9, 2*u = -2*f. Is 19 a factor of f/(-4) - (12495/20)/(-3)?
True
Let g(w) = -w**3 - 5*w**2 - 4*w + 4. Let p be 1/(-5) + 406/(-70). Is g(p) a multiple of 14?
False
Let q(c) = c**2 - 19*c - 45. Let p be q(19). Suppose -3*x + 2*x - 3*d = -42, -x + 72 = -3*d. Let j = x + p. Is 9 a factor of j?
False
Suppose 0 = 4*y - 2*y - 24. Suppose 0 = 4*d - y - 0. Is (d - 5 - -3) + (-218)/(-2) a multiple of 15?
False
Let s(f) = -101*f**2 + 25*f - 108. Let i be s(5). Let h = -1060 - i. Is h a multiple of 10?
False
Let z(s) be the second derivative of -1/12*s**4 + 37*s**2 + 1/20*s**5 + 0 - 5*s + 0*s**3. Is z(0) a multiple of 11?
False
Suppose x = j + 45, -4*j + 153 = 4*x + j. Suppose -45*q + x*q = -5568. Is 32 a factor of q?
True
Let i be ((-470)/15)/((-2)/9). Let p = i - -107. Is 23 a factor of p?
False
Suppose 1197 = -6*f + 3*f. Let b be (24/14)/(6 + 2388/f). Suppose 0 = -2*w - 4*w + b. Is 19 a factor of w?
True
Let a = -185 - -287. Let g = a + -98. Suppose 0 = -2*q + g*q - 4*i - 58, 4*q - 86 = -2*i. Does 6 divide q?
False
Let p = 3844 - 728. Is 41 a factor of p?
True
Let z = 885 + 317. Let b = 1915 - z. Is 15 a factor of b?
False
Let t be (-19)/133 + 20/(-7). Is 175/14 + t/6 a multiple of 6?
True
Is (-43100708)/(-11137) - 2/43 a multiple of 18?
True
Let l(s) = s**2 - 39*s + 76. Suppose q + 46 = 2*q - 5*i, -3*q + 66 = 3*i. Let t be l(q). Is 1/(2 - (-522)/t) a multiple of 45?
False
Suppose 3*k - 6 = 3*p, 5 = k + 2*p + 3. Suppose 0 = 3*a - 8 + k. Does 6 divide a/(-6)*(-28 - -10)?
True
Suppose 5*b - 27*a + 28*a - 7439 = 0, -4*b + 5947 = 5*a. Is b a multiple of 31?
True
Let s be 1/(((-4)/(-24))/((-3)/2)). Let i(o) = o**3 + 11*o**2 + 5*o - 3. Let w be i(s). Suppose 6*q - w = 5*q. Does 19 divide q?
True
Let h = 22517 + -2432. Does 39 divide h?
True
Let i be (-206)/(-10) - (99/15)/11. Suppose -i*p + 1248 = -13372. Is 13 a factor of p?
False
Suppose -4*u - 9*u + 19*u - 8370 = 0. Does 15 divide u?
True
Let z = -73 + 115. Suppose 8*h = 11*h - z. Suppose -h*j = -8*j - 240. Is 17 a factor of j?
False
Let y(m) = 144*m - 1 + 1 - m**2 - 11 - 156*m - 260*m**3. Is y(-1) a multiple of 26?
True
Let p be (-4)/6 + (-148)/3. Let q = -1052 - -1047. Let y = q - p. Is 9 a factor of y?
True
Let d be (6 - 3 - 4) + 24. Let w = -4 - -6. Suppose -2*c - d = -s + 47, -w*s - 5*c = -176. Does 10 divide s?
False
Let n = 211 - 638. Let s = -334 - n. Does 31 divide s?
True
Suppose 0 = 3*g + 5*o - o - 207, -69 = -g - 5*o. Suppose 0 = 73*u - g*u - 12. Suppose 3 + 3 = -u*t, 3*c - 398 = t. Does 26 divide c?
False
Suppose -5*z + 690 = 3*o - 3636, 9*o = -27. Is z a multiple of 51?
True
Suppose r + 5*x - 49 = -9, 0 = -5*x. Let v be r/(-16)*(-114)/5. Let a = v + -18. Does 38 divide a?
False
Let i be 97192/56 + 3/7. Is 14 a factor of (i/10)/(54/135)?
True
Let f = -27 - -29. Suppose 0 = -f*w + 5*w - 186. Suppose -w = 4*j - 374. Does 13 divide j?
True
Let l(d) = 3*d**2 + 5*d + 10. Let p be l(13). Suppose -5*v - 4*o = -p, v - 6*v = -3*o - 561. Does 16 divide v?
False
Let h(a) = -3 + 2 + 0 - a - 9. Let g be h(-12). Suppose -4*b - 3 - 1 = -n, 3*n + g*b = 68. Is n a multiple of 5?
True
Let y(w) = 6*w - 57. Let m be y(10). Let q(u) = 327*u - 79. Is q(m) a multiple of 41?
True
Suppose -q = 3*l + 12, 0 = -3*q + 2*l - 12 - 35. Let p = 9 + q. Is 3 a factor of 4/1 - p*(-2)/(-2)?
False
Suppose 5*w = 236 - 221. Suppose 86*z - 91*z + w*v = -1240, -496 = -2*z + v. Is 62 a factor of z?
True
Suppose 28*y + 24850 = 35*y. Is 49 a factor of y?
False
Let q(a) = 4*a - 40. Let n be q(11). Let d be (-1*7)/(14/133)*-8. Suppose -2*h - k + 354 = 0, h - n*h = 2*k - d. Does 16 divide h?
True
Let m(x) = 2*x**2 + x + 1. Let b be m(-2). Let c(t) = -3*t + 59. Let o(f) = 21*f - 414. Let l(a) = 15*c(a) + 2*o(a). Does 4 divide l(b)?
True
Is 13 a factor of ((-8874)/(-12))/(19/494)?
True
Suppose 18*a - 6*a = 1128. Is 13 a factor of (-24)/108 + (-25)/9 + a