4*j = -252, 3*s = 4*j - 5*j + 154. Let m = s + 50. Is 34 a factor of m?
True
Let o(x) be the first derivative of 5*x**3/3 - 11*x**2/2 + 5*x - 26. Let v be o(5). Does 45 divide (-2 + -4)*v/(2 + -7)?
True
Let l(s) = -49*s - 4534. Is l(-96) a multiple of 34?
True
Is 3932 - (21 + -17 - 12) a multiple of 10?
True
Suppose -5 + 1 = -b. Suppose -128 = -4*d - 4*p, b*d + 5*p = 6*p + 138. Is d a multiple of 2?
True
Suppose r - 2*a = -4*r + 37585, -a = -5*r + 37580. Does 77 divide r?
False
Suppose m = 5*l + 681, 4*m + 4*l = -47 + 2675. Does 10 divide m?
False
Let g(s) = 5*s - 15. Let d be g(25). Suppose -2*q = -4 - 2. Suppose -q*o - 5*w = -2*o - d, 0 = -o - w + 94. Is o a multiple of 9?
True
Let h be ((-37024)/260)/((-4)/(-10)). Let k = h + 837. Is 71 a factor of k?
False
Let w = -9 + 14. Suppose y - 26 = 5*y + w*p, 0 = -y + 2*p. Does 42 divide 42*(-10)/45*54/y?
True
Let q(y) = -12*y + 26*y + 202 - 3*y. Is 3 a factor of q(-8)?
True
Let s(f) = 67*f + 1554. Is 34 a factor of s(58)?
True
Let b = 197 - 133. Let v = b - 61. Suppose h + 0*m + 5*m = 26, v*h - 3*m - 6 = 0. Is h a multiple of 6?
True
Suppose -524 = -3*d - 0*q + q, 0 = -4*d + 2*q + 698. Let x = -124 + d. Does 5 divide x?
False
Suppose -15*j + 39540 - 15412 + 25552 = 0. Is 12 a factor of j?
True
Suppose -4*w = -3*w - 10. Let a = 14 - w. Is (-6 - -2)/(a/(-8)) a multiple of 8?
True
Let t(z) = -3*z**3 - z**2 + 10*z + 4. Let x be t(-5). Let i = x - 160. Is i a multiple of 18?
True
Let h(u) = 7*u**2 + 54*u. Let y be h(-8). Suppose y*l - 8*l = 5160. Does 15 divide l?
True
Suppose 3995 = 8*o - 1341. Suppose -15*c - 247 = -o. Does 14 divide c?
True
Suppose w = 98 + 40. Let m = w + -68. Is m a multiple of 10?
True
Suppose -295 = -11*b + 299. Suppose s + b*d - 1630 = 49*d, s - 1626 = -3*d. Does 60 divide s?
True
Let m = 3684 + -2816. Is 14 a factor of m?
True
Suppose 2*a - 13776 = -o, 9*a - 13*a + 27552 = -o. Does 56 divide a?
True
Let h be 40/(5 + 3) - (2 + 1). Let t(p) = p**h - 105 - 104 + 204 + 2*p. Is t(-5) a multiple of 3?
False
Let h(w) = -w**3 - 9*w**2 - 5*w - 24. Let m be h(-10). Suppose 0 = -6*o - 0*o + m. Is o a multiple of 3?
True
Suppose -120 = -2*g - 2*g. Suppose 4*f - 4*v = f + 39, 3*f = v + g. Suppose -3*l = -f*l + 540. Does 18 divide l?
True
Let y(v) = -v**3 + 38*v**2 - 97*v. Does 13 divide y(34)?
True
Suppose 0 = -5*l + 3*y + 12855, -5*l - y + 4740 = -8115. Suppose 5*t = -3*s + 1771 + 161, 5*t = -4*s + l. Is s a multiple of 8?
False
Let j(z) = -33*z**3 - 31*z**2 + 76*z + 78. Is 22 a factor of j(-13)?
True
Suppose 3*w = -5*r - 8, -2*r = 5 + 3. Suppose l - w = -9. Is 2/l - (-3146)/65 a multiple of 6?
True
Let x = -131 + 251. Let d(u) = -4*u**2 - 154*u - 76. Let z be d(-38). Suppose -2*c + z*c - 5*k + x = 0, -3*c = 4*k - 180. Is 12 a factor of c?
True
Let u(o) = 196*o**2 - 34*o + 116. Is u(4) even?
True
Let v = 1474 + -466. Suppose 1984 = 4*u + 2*h - v, 0 = -4*u - 3*h + 2988. Is 10 a factor of u?
True
Let g = -57 + 60. Suppose 2495 = 5*x - 7*u + g*u, -2530 = -5*x - 3*u. Is 58 a factor of x?
False
Let x(h) = -240 - 3*h + 3*h**2 + 10*h + 230. Is x(6) a multiple of 14?
True
Let v(j) = 5*j**3 + 25*j**2 + 3*j. Let t(p) = -p**3 - p + 1. Let q(l) = 6*t(l) + v(l). Does 18 divide q(24)?
False
Is ((-39)/(-3) - 1225/105)*20157/4 a multiple of 19?
False
Let f = -6 - -10. Suppose 5*y = y + g - 207, 0 = -f*g - 4. Is (-45)/27 + y/(-6) a multiple of 3?
False
Suppose 4*r + 4*b = 55296, -2*b - 40944 - 528 = -3*r. Is r a multiple of 150?
False
Let n be (1570/(-20))/(1/30). Let k = n + 3523. Is k a multiple of 38?
False
Let s(n) = -n**3 + 9*n**2 - 3*n - 25. Let z be s(8). Does 26 divide (-4)/10 - (3 + (-3786)/z)?
False
Let v(m) = -2*m**3 - 23*m**2 + 25*m - 13. Let a be v(-20). Suppose 5*z + 2987 = 2*x + 497, -3*z = 5*x - a. Is 29 a factor of x?
False
Suppose -572*b - 3042 = -563*b. Let m = 39 - b. Does 26 divide m?
False
Let g = 113 - 49. Let s = g + -46. Is s a multiple of 9?
True
Let o(q) = -221*q**2 + 23*q + 55. Let g be o(-7). Is (g/60)/(6/(-32)) a multiple of 27?
True
Let q(l) be the first derivative of -11/2*l**2 + 36*l + 11. Is 28 a factor of q(-13)?
False
Suppose -3*b + 27*v = 23*v + 5754, 4*b = -2*v - 7672. Does 7 divide 8/(-6) - b/21?
False
Suppose -20*a + 197413 = -287367. Is 16 a factor of a?
False
Let o be (0 - 0)/(-3 + 2). Suppose 2*k + 5 = -2*i + 19, -3 = i - k. Suppose -2*u = x - o*u - 67, 126 = i*x + 2*u. Is 4 a factor of x?
False
Let a(j) = 62*j - 305. Let n be a(5). Suppose 4*k - 1636 = 2*u, -4*k + n*u + 1496 = -134. Does 20 divide k?
False
Suppose -m = 18*m - 95304. Suppose 35*f - m = 13*f. Is f a multiple of 8?
False
Suppose 42*z = -38389 + 68960 + 70733. Is z a multiple of 28?
False
Let b = 26 - 21. Suppose -3*h + 3*x = -366, 0*h = -h - b*x + 140. Is 17 a factor of 14*h/10 + 4?
False
Let b(o) = -o + 58. Let x be b(0). Let f = -333 + 415. Let j = f - x. Is j a multiple of 3?
True
Let m(t) = -147*t**3 + 2*t**2 + 2*t. Suppose 14*g - 48*g - 34 = 0. Is 4 a factor of m(g)?
False
Let g(a) = -7*a - 11. Let k be g(-2). Let x be 5 + (k - -85) - 5. Suppose c - 81 = -4*c + n, 4*c - x = -5*n. Is 5 a factor of c?
False
Let v(o) = 64*o**2 + o - 1. Let z be v(2). Suppose 308*d = 309*d + 167. Let a = d + z. Does 15 divide a?
True
Suppose -4*b + 2*b = 3*n - 533, 4*n + 4*b - 712 = 0. Let m = n + 5. Is 14 a factor of m?
True
Let c be 65/15 + (-4)/12. Suppose -312 = -4*r + c*k, 0 = -5*r + 6*r - 3*k - 80. Suppose 3*n = 4*p - r, -p + n + 16 = -2. Is 23 a factor of p?
True
Suppose 0 = -g - 3*k - 2 - 4, -2*k = 10. Suppose -g = -3*c, 132 = 3*b + 2*b - c. Does 9 divide b?
True
Let r be 110/(-66) - 1/3. Does 7 divide r + (3 - (2 - (4 + 179)))?
True
Suppose 4732 = 4*d - 2*o, -13*d - 1169 = -14*d - 3*o. Does 3 divide d?
False
Let p(m) = -m**3 + 16*m**2 - 6*m + 16. Let t be p(16). Let f = -50 - t. Let b = 192 - f. Is b a multiple of 18?
True
Let p(z) = 4*z - 2. Let x be p(1). Let b be (-28)/84 - 397*x/(-6). Let q = 237 - b. Is q a multiple of 15?
True
Let f be (-2457)/70 + 2/20. Let p = f - -134. Is p a multiple of 4?
False
Let z be (-118)/(-2) + (-55)/11. Let m = z - -218. Does 67 divide m?
False
Let m(t) be the second derivative of 53*t**4/12 + t**3/6 - t**2/2 + 4*t. Let c be m(2). Suppose 4*a - 154 = d + 265, 0 = 2*a + 3*d - c. Does 21 divide a?
True
Let l be 6/(24/(-20))*-1. Let n = l + -1. Does 8 divide ((-2)/n - (-9 - -8))*82?
False
Suppose 0 = -12*t + 872 + 1156. Suppose 0 = 175*k - t*k - 864. Does 9 divide k?
True
Suppose 30*q - 11184 = 63*q - 35*q. Does 12 divide q?
True
Let h be -5 + 2 + 1 + 63. Suppose 0 = h*t - 66*t + 1715. Is t a multiple of 11?
False
Suppose -4*b - 30*l + 100236 = -29*l, -2*l = -2*b + 50108. Is b a multiple of 134?
True
Suppose -3*l = 4*x - 15214, 76*x - 3*l + 19022 = 81*x. Is x a multiple of 56?
True
Let z(t) = t**2 + 3*t + 5. Let s = -53 - -53. Let i be z(s). Does 15 divide ((-6)/4)/(i/(-150))?
True
Suppose -4*x + c + 632 = -2*x, 0 = -x - 3*c + 302. Suppose 13*s = 1363 + x. Is 77 a factor of s?
False
Let j be 0 + 2 + (-40 - 3). Let n = -25 - j. Let m = 30 - n. Does 14 divide m?
True
Suppose -40 + 8 = -2*t - 2*x, 0 = -5*t + 5*x + 60. Let m be 40/t + (-5)/(-35). Suppose -5*o + 8*s + 245 = m*s, 169 = 4*o + 5*s. Is 8 a factor of o?
False
Suppose 4*d - 11712 = -4*t, 0 = -t - 4*d + 3192 - 282. Does 18 divide t?
True
Suppose -35 = 5*o + 5*p, -3*o + p - 12 = -3. Let a be (-26)/(o + 2) - 1 - 3. Let r(d) = -d**2 + 10*d. Is 4 a factor of r(a)?
False
Let h(g) = 2*g**2 + 14*g + 14. Let l be h(-9). Suppose 2*x = 12*x - l. Suppose x*r = -4*p + 255 + 139, 1 = p. Is 39 a factor of r?
True
Suppose -4*y = -2*k - k + 11492, -2*y = -4*k + 15326. Suppose -3*q - 3*d = 3840, d - k = 2*q + q. Is 15 a factor of (-38)/133 - q/14?
False
Let i(c) = -17*c + 76 + 92 - 2*c - 23*c - 24*c. Is i(-4) a multiple of 9?
True
Let c(k) = -11*k + 244. Let t be c(22). Suppose -2*q + q + 4707 = 3*z, 2*z - t*q = 3130. Does 15 divide z?
False
Let m(w) = -w**3 + w**2 - 5*w + 9425. Is 56 a factor of m(0)?
False
Suppose 5*o - 32 = -2*r, -3*o - 5*r + 5 = 1. Suppose -o*h = -10*h. Is 13 a factor of 3 - h - -44 - -2?
False
Let i be -4 - 238*(-4 - -3). Suppose 37*c - 35*c = i. Suppose -579 = -11*a - c. Is a a multiple of 21?
True
Suppose 8*q - 12931 = 4*h + 49289, 5*q + h - 38912 = 0. Is 32 a factor of q?
False
Let k be (11 - 48)*(-9)/1. L