e i(s). Is 32 a factor of t + 0 + 196/7 + 4?
True
Suppose 2*j - 7*j = -25. Suppose -j*l + 11*l = -12. Is (-465)/(-9)*(5 + l) a multiple of 31?
True
Is (-38 - -2)/(-6*52/17082) a multiple of 33?
False
Suppose 115*s = 97*s + 156150. Is 25 a factor of s?
True
Let x = 41937 - 23312. Is x a multiple of 149?
True
Suppose 5*j = 3*u - 3457, 554*j - 5735 = -5*u + 549*j. Is 4 a factor of u?
False
Let u(z) = 186*z**2 - z + 2. Let t(j) = 0 + 0 + 185*j**2 - 40*j + 2 + 39*j. Let o(k) = -4*t(k) + 5*u(k). Is 21 a factor of o(1)?
False
Let z(d) = -d**3 + d**2 + 8*d - 9. Let k be z(4). Let w = k - -13. Is (w + 1)*-2*(-2 + 3) a multiple of 4?
False
Let d be -2 + (-4 + 3)/1. Does 62 divide d*103*20/(-12)?
False
Let r(g) = 3*g**2 + 5*g + 45. Let u be r(-6). Let t = u + -119. Suppose 0 = -4*b + 2*w + 898, t*b - 5*w - 905 = -10*w. Does 25 divide b?
True
Suppose o + 3*o + p - 8 = 0, 0 = -4*o + 2*p + 8. Suppose -998 = -o*v - y, 3*v + 3*y - 4*y = 1502. Is 25 a factor of v?
True
Suppose 3*r + 32376 = 3*t, -396*r = -2*t - 399*r + 21574. Is 26 a factor of t?
True
Is (-9 + 165/22 + 3)*(-10864)/(-3) a multiple of 28?
True
Let t = -40 - -49. Suppose 7 = -4*w - w + c, 3*w + c = -t. Is (w - -4)*(-113)/(-2) a multiple of 14?
False
Let a(c) = 78*c**2 - 76*c - 18. Does 38 divide a(-22)?
True
Suppose -16*l = -10211 - 13117. Does 6 divide l?
True
Is 71 a factor of 2*(-1)/(-42)*6 + (-810593)/(-49)?
True
Let i(q) = -q**2 + 9*q + 4. Let m be i(9). Suppose m*n = y + 3*y + 36, 3*y + 19 = -n. Let t = y - -59. Does 5 divide t?
False
Suppose 2*s + 4*k = s + 11, 0 = 4*s - 3*k - 63. Let h be 1*(-12)/(-9)*s. Suppose -19*d + h*d - 44 = 0. Is d a multiple of 11?
True
Let l = -83 - -87. Let f(v) = 18*v**2 + 3*v - 5. Let s be f(l). Suppose 65 = -5*w + s. Is 6 a factor of w?
False
Let t be -8 + 1 + 6 - -5. Is 41 a factor of 41/(5*(t - (-998)/(-250)))?
True
Let o(p) = p**3 + 70*p**2 + 30*p + 116. Is 35 a factor of o(-33)?
False
Let z be 4 + (-1 - -4 - 4) + -245. Suppose 3*h = -6, -3*h - 138 = 2*m + m. Let u = m - z. Is u a multiple of 18?
True
Let t(y) = 23*y - 138. Let x be t(6). Suppose x = 84*n - 45*n - 3432. Is n even?
True
Let l(z) be the third derivative of -z**7/1260 - 13*z**6/360 - 2*z**5/5 - 4*z**2. Let o(m) be the third derivative of l(m). Does 18 divide o(-22)?
False
Let b = 5192 - 3254. Is b a multiple of 6?
True
Let k be 7/28*28464/6. Suppose 5*y + k = -7*u + 3325, -3*y + 1299 = -u. Is 55 a factor of y?
False
Suppose -9*c + 10*c - 4*l + 21 = 0, 4*c - 4*l = -24. Is 16 a factor of (-6)/c*(-3 - -51)?
True
Suppose o - 6*o + 4*u = -30, 5*o = -3*u + 30. Let m(s) = -s**3 + 5*s**2 + 5*s + 5. Let w be m(o). Let j = w + 28. Does 9 divide j?
True
Let f(p) = 3*p**2 + 2*p. Let y(c) = 31*c**2 + 4*c + 2. Let j be y(-1). Let h = j + -38. Does 22 divide f(h)?
False
Let s = -909 + 13102. Is s a multiple of 89?
True
Suppose 78*t + 276 = 82*t. Suppose -4224 = t*o - 73*o. Does 66 divide o?
True
Does 53 divide 8/(-3)*(-1119885)/52?
False
Let t(h) be the second derivative of h**5/20 + 4*h**4/3 + h**3/2 + 43*h**2/2 + 21*h - 6. Does 11 divide t(-12)?
True
Is 4 a factor of 2137762/165 + 1/((-60)/8)?
True
Suppose -33*s = -73*s + 12040. Suppose 0 = 155*g - 154*g - s. Is 7 a factor of g?
True
Suppose -2*g = 2*g + 136. Suppose -180*f - 60 = -177*f. Let l = f - g. Is l a multiple of 4?
False
Suppose -453 - 333 = -2*p + 4*j, 3*j - 413 = -p. Let m = p - 372. Does 3 divide m?
False
Suppose -3*y - 3*g + 1848 = 0, 5*g = -4*y - 0*g + 2463. Let x = y + -352. Does 53 divide x?
True
Let p(v) = -v**2 - 20*v + 2. Let t be p(-18). Suppose 20*j + 5*l = 19*j + t, 2*l + 29 = 3*j. Let d(m) = -m**2 + 12*m + 18. Is 3 a factor of d(j)?
False
Suppose -40*a + 19*a = -588. Let b(u) = u**2 - u - 3. Let h be b(3). Suppose p - r - a = -5*r, -15 = h*r. Is 16 a factor of p?
True
Suppose -s - i + 4052 = 0, 15*i + 4061 = s + 13*i. Suppose -s = -12*k - 575. Is 17 a factor of k?
False
Does 23 divide 5114 + (1 + 4 - 13)?
True
Let a = 13 - -13. Suppose 3*g - a = 2*k, -5*k + 20 = -k. Suppose 52 = l + g. Is l a multiple of 10?
True
Let o(t) = t**3 - 17*t**2 + 51*t + 17. Let x be o(13). Suppose 3*a = -x*g + 297, -472 = a - 6*a + g. Is a a multiple of 5?
True
Let n be (0/2)/(6/(-3)). Suppose n = -2*m + 2129 + 79. Is m a multiple of 24?
True
Let w = -56 + 59. Let q be 160 + (3 - (w + 1)). Suppose 4*u = 273 + q. Is 9 a factor of u?
True
Let i be 18/(-441)*7 - (-880)/(-7). Let n = 147 + i. Is 5 a factor of n?
False
Let u(m) = m**3 - 16*m**2 + 6*m - 8. Let k be u(18). Let r = 1546 - k. Does 24 divide r?
False
Let k(f) = 3*f**3 + 31*f**2 - 22*f + 9. Let u be k(-11). Suppose -u*t = -9229 + 409. Is 20 a factor of t?
True
Let q(h) = h**2 - 5*h - 3. Let t be q(6). Let l = -2164 + 2175. Suppose -t*o = -l*o + 504. Is 19 a factor of o?
False
Suppose 79*s - 280715 = 422701. Is s a multiple of 12?
True
Let r = -1769 - -5510. Is r a multiple of 3?
True
Let n = -7194 + 16114. Does 89 divide n?
False
Let w be -4 - (5/(-1) + 37). Let r = w - -38. Let u(x) = 4*x**3 + 2*x**2 + 2*x - 6. Is 2 a factor of u(r)?
True
Suppose -c - 81 = -85. Let s be (-1)/(c + (0 - 3)). Is (3 + (-3 - 73))*s a multiple of 12?
False
Suppose 0 = -32*t + 110769 + 138831. Is 60 a factor of t?
True
Suppose 4*x + 8 = -0, x = 2*p - 22002. Suppose p = b + 49*b. Does 4 divide b?
True
Suppose 0 = -5*q - 27 - 13. Is ((-12)/q)/(2/468) a multiple of 3?
True
Let t be (-4)/(-7) + (-18)/(-42). Let a be t/((1/359)/1). Suppose -2*f + v = 5*v - 134, -5*f + a = 4*v. Does 7 divide f?
False
Let a(g) = g**3 + g**2 + g + 1. Let y be a(-1). Suppose -3*c + 4*k + 104 = y, c + 4*k + 68 = 3*c. Does 7 divide c/(-8)*(-28)/6?
True
Let i = -99 - -239. Let n = 5 + -5. Suppose n = h + 37 - i. Is 12 a factor of h?
False
Suppose 12*z - 62353 + 7545 = -z. Is 34 a factor of z?
True
Let y = -4300 + 9791. Does 19 divide y?
True
Let v(z) = -z**3 + 58*z**2 - 27*z - 869. Is v(55) a multiple of 143?
True
Let j(q) = 129*q + 112. Let z be j(9). Suppose 0 = -4*m + z - 321. Is m a multiple of 8?
False
Let u = -6370 + 7852. Does 47 divide u?
False
Suppose 3310 = -4*v + 5*a, 3306 = 5*v - 9*v + 3*a. Let p = -377 - v. Is p a multiple of 32?
True
Suppose 0 = -125*d + 141*d - 3168. Is 69 a factor of d?
False
Suppose -3*y = -583 + 34. Suppose 2*o - 202 = -2*n, -2*o - 5*n + y = -22. Does 25 divide o?
True
Let d(v) = 12*v + 12. Let p(k) = -49*k - 50. Let g(x) = 9*d(x) + 2*p(x). Does 18 divide g(19)?
True
Suppose -1599*s = -1601*s + 48. Suppose s*t = 14*t + 9130. Does 83 divide t?
True
Is (8589 - 0)*((-14)/((-126)/(-33)) - -5) a multiple of 13?
False
Suppose 3*o + 8 - 20 = 0. Suppose 4*g = d + d + 1082, o*g + 4*d - 1076 = 0. Does 22 divide g?
False
Let h be (8/12)/(4/18). Suppose 0 = -4*d + h*d - 57. Let p = 28 - d. Is p a multiple of 16?
False
Let o = -182 + 184. Suppose 490 = q + 3*l, -5*q + o*l + 1898 = -586. Is q a multiple of 18?
False
Suppose 0 = -9*u - 1762 - 182. Let q = -203 - u. Does 13 divide q?
True
Let s = 402 - 397. Suppose -5*x + s*v = -2700, 15*v - 20 = 10*v. Does 13 divide x?
False
Suppose -35*v + 81681 = -203919. Is 10 a factor of v?
True
Suppose 3*g - 30117 = -3*m, 5*m - 4*g = 8048 + 42192. Is m a multiple of 162?
True
Suppose -167268 = -5*b + 20592. Is 124 a factor of b?
True
Let q = 699 + -96. Let g = -251 + q. Is 15 a factor of g?
False
Let a(l) = l**2 - 2*l - 2. Let m(f) = -7*f**2 + 8*f. Let c(u) = -5*a(u) - m(u). Suppose -i = -0*i + 4. Is c(i) a multiple of 5?
False
Let a(y) = -232*y**3 - 11*y**2 - 29*y - 24. Is 18 a factor of a(-3)?
True
Suppose -70*n + 9*n = 0. Does 43 divide 364 + -1 + (n - 0)*-1?
False
Let l = -331 + 358. Is l/45 + (-5414)/(-10) a multiple of 13?
False
Let o be 3/7 - ((-11)/7 - 1). Suppose 6*w + 4*c = o*w + 25, 3*c = 4*w. Suppose -w*m + y + 548 = 0, -m + 2*m + y = 180. Is 26 a factor of m?
True
Let v(d) = 5*d**2 + 6*d - 17. Let q be v(-13). Suppose 0 = r + 4*r - q. Is r a multiple of 15?
True
Let m = 6838 + 2963. Is m a multiple of 11?
True
Let p be (-38)/(-6)*(-3570)/(-1 - 6). Suppose -7*w = -26*w + p. Is w a multiple of 3?
False
Suppose -12*p + 20 = -40. Let u be p*(34/30 - (-1)/(-3)). Let f(h) = 5*h + 5. Does 25 divide f(u)?
True
Let m be (9/6)/(6/16). Suppose m*u + 8 = 24. Suppose 188 = -u*b + 6*b. Is b a multiple of 12?
False
Suppose -2*d - 807 = -g + 783, -4*g - 3*d + 6371 = 0. Let k = 3240 - g. Is