se
Let l be 2 + (4/2 - 0). Suppose 4*z = y + 530, l*z + 12*y = 16*y + 536. Does 4 divide z?
True
Let n(b) = 4*b + 35. Let u be n(-8). Suppose 3*i + 5*q = 25, -u*i - 2*q = 2*i - 10. Suppose i = 4*p + 6*p - 1260. Is 14 a factor of p?
True
Suppose 30*s + 8*s = 2205183 + 647477. Is 11 a factor of s?
False
Let m = -410 - -708. Let f = m + 304. Is f a multiple of 44?
False
Suppose 0 = -4*a + 3*d - 24, -5*a = -a - 5*d + 32. Let y(w) = 29*w**2 - 2*w - 8. Does 56 divide y(a)?
False
Suppose 2*f = 5*u + 1460, -5*f = -2*u - 4*f - 585. Let b = u - -340. Does 10 divide b?
True
Is 9 a factor of -519*1/(21/(-63))?
True
Suppose -c = -3*i + 43, -73 = 2*i - 7*i + c. Suppose -33*g = i*g - 3744. Is 13 a factor of g?
True
Let a(g) = -g**3 + 10*g**2 - 8*g - 1. Let u be a(9). Suppose -4*v - u = 0, -v + 2 = -4*m - 2*v. Let x(c) = 2*c**2 + 41. Is 4 a factor of x(m)?
False
Suppose 0*u = w + 4*u - 4171, -2*w - 4*u + 8362 = 0. Is w a multiple of 96?
False
Let c(z) = z. Let q(t) = 131*t + 6. Let r(p) = -3*c(p) - q(p). Let a be r(-2). Suppose -3*s - 4*m = -2*m - a, -260 = -3*s - m. Does 12 divide s?
False
Let p be 14/245*-5 - (-6)/21. Suppose -2*v + 4*v = p, -3*g = 4*v - 435. Is 29 a factor of g?
True
Let u = 15745 + 3215. Is u a multiple of 80?
True
Let u = 449 + -231. Let o = 500 - u. Does 47 divide o?
True
Suppose 0 = -17*s + 13*s + 624. Let b = 318 - s. Does 18 divide b?
True
Let s = 409 + -433. Is 58 a factor of 40/(6 + 138/s)?
False
Let u(z) = 8*z**3 + 8*z**2 - 2*z + 10. Let j = 73 + -84. Let o(n) = -15*n**3 - 15*n**2 + 4*n - 19. Let p(q) = j*u(q) - 6*o(q). Is 14 a factor of p(3)?
True
Let m(w) = w**3 - 10*w**2 + 10*w - 249. Let z be m(11). Suppose 2*c - 27 = 3. Is 5 a factor of (z/c)/((-6)/380)?
False
Let h = -848 + 463. Let o = -332 - h. Is o a multiple of 3?
False
Let j be (5 - 1) + 20 + -1. Suppose 0 = 4*c - 2*o - 22, -5*c + 3*o + 7 = -j. Suppose 5*f - 291 = -c*p, -2*f = p + 4*p - 105. Is 20 a factor of f?
True
Let g = 54 + -44. Suppose -4*j - g = -5*v + 2*v, 2*v - 2 = -2*j. Suppose 0 = -b + 27 + v. Is 8 a factor of b?
False
Let n(m) = 1697*m - 4828. Is 51 a factor of n(17)?
True
Suppose 0 = -4*j - 3*h + 6150, 16*j + 5*h = 19*j - 4627. Is 13 a factor of j?
False
Let k(j) = -4*j**3 + 285*j**2 + 231*j + 65. Is k(72) a multiple of 5?
True
Suppose -6*w + 13*w - 6069 = 0. Suppose 0 = 15*f - 32*f + w. Does 7 divide f?
False
Suppose 0 = v + 209 - 14. Let w = v + 392. Suppose -y = -w - 3. Is y a multiple of 33?
False
Suppose 4*h + 3*o - 97616 = 0, 2*h - 23689 = 3*o + 25083. Does 11 divide h?
True
Suppose -5*d + 77 - 2 = 0. Is 10 a factor of 228/d*20/8 + 1?
False
Suppose 0 = 3*k + 4*k + 238. Let p = k + 39. Does 12 divide (54/p)/(12/40)?
True
Suppose 7566 = 35*m - 28659. Does 7 divide m?
False
Let y be (-550)/(-6) + (-1)/(-15)*5. Let h = 87 - y. Let f(a) = -2*a**3 - 7*a**2 - 2*a - 5. Is 20 a factor of f(h)?
True
Let h be -619*(5 + -6) - 3. Let y = h - 196. Is 42 a factor of y?
True
Let q(h) = -h - 17. Let z be q(-17). Let k = 68 - -168. Suppose -g + o + 82 = z, 0 = -5*g + 2*g + o + k. Does 7 divide g?
True
Let j = 22064 - 16694. Is j a multiple of 5?
True
Suppose 33*n = 34*n + 4*t - 11175, 4*t - 22338 = -2*n. Is n a multiple of 61?
True
Let j = 99 + -253. Let t = j + 207. Is t a multiple of 31?
False
Let n be 8882/6 + (-6)/(-9) - -3. Let k = -872 + n. Is k a multiple of 12?
True
Let x(d) = 5*d + 117. Suppose -27 = -4*v - 3*o + 9, -2*v + 18 = -4*o. Is x(v) a multiple of 14?
False
Let i(l) = l**3 - l**2 - l. Let f(m) = 29*m**3 - 6*m**2 - 7*m. Let a(x) = f(x) - 6*i(x). Let y be a(-1). Let d = y + 50. Does 7 divide d?
True
Suppose -36 = -6*u - 6*u. Suppose 2*m - 3*t - 11 = -0*m, u*m - 3*t - 12 = 0. Is 1/2*478 + m a multiple of 40?
True
Is 11 a factor of (1 + 486/24)*(10 + 10)?
False
Suppose -5*g = -3*g + 326. Let q = -107 - g. Suppose 0 = -2*o + q + 352. Is o a multiple of 12?
True
Suppose 9*m - 10*m + 133 = 0. Let s = m + -46. Is s a multiple of 4?
False
Let t(d) = -d**2 - 13*d - 38. Let a be t(-6). Suppose -a*q = -q. Suppose q = 3*j - j + 2*w - 36, -j = -5*w. Is 5 a factor of j?
True
Let i = 21155 + -465. Is i a multiple of 5?
True
Let r = -19589 - -26475. Does 3 divide r?
False
Let n(l) = -43*l**3 + 4*l**2 - 6*l + 4. Let s be n(2). Let a = s - -703. Does 11 divide a?
False
Let f(x) = -204*x - 6 + 181*x + 2. Is f(-1) a multiple of 9?
False
Let g be (-2)/((-2)/2100 - (-5 - -5)). Suppose g = 12*c - 5*c. Is c a multiple of 35?
False
Suppose 2*g - r + 2 = -11, -5*g = -3*r + 34. Let a(k) = -k**2 - 4*k + 8. Let s be a(g). Suppose 0 = -3*f - 5*n + 216, -s*f - 3*n + 360 = 2*f. Does 27 divide f?
False
Suppose -d + 2*u - 6*u + 2 = 0, 4*d = -2*u - 6. Is 8 a factor of ((-34359)/195)/(d/10)?
False
Suppose -u = -v + 2, -5*v + 4 = -u - 14. Suppose -9*i - 1272 = -13*i - 4*k, -1307 = -v*i + 3*k. Is 19 a factor of i?
True
Let g = 333 + 490. Let r = 1181 - g. Does 32 divide r?
False
Does 10 divide 3 + -4 - 6 - (2 + -8421 + -8)?
True
Suppose 2*d = -4*m + 46 + 86, -5*m = -d - 151. Is 49 a factor of 62/m + 13*23?
False
Let x = 25476 + -18774. Is x a multiple of 10?
False
Let a(f) = -4 + 0 + 0 + 2*f + 6*f**2 - f**3 + 1. Let u be a(6). Let g(x) = 2*x**2 - 13*x + 1. Does 46 divide g(u)?
True
Let o(a) be the first derivative of a**4/4 - 4*a**3/3 - 4*a**2 - 6*a - 15. Let f be o(7). Suppose -s = 3*s + 3*l - 47, 0 = -5*s + 5*l + f. Is 7 a factor of s?
True
Suppose 5*s = -a + 1119, -13*a + 11*a = s - 222. Let n = 287 - s. Is n a multiple of 4?
False
Let y(d) = -d**3 - d**2 + d. Let r(q) = 5*q**3 + 10*q**2 - 9*q - 4. Let s(i) = -r(i) - 6*y(i). Let l be ((-24)/(-10))/(-6 - (-128)/20). Does 47 divide s(l)?
True
Suppose 2*p + f = 1312 + 6241, -4*f - 15076 = -4*p. Is 37 a factor of p?
True
Let d = 18 + -19. Let r be (-3)/((-18)/(-194)) + d/(-3). Let u = 83 + r. Does 10 divide u?
False
Let m(d) = -2 + 19 + 296*d + 11 + 0. Does 6 divide m(1)?
True
Suppose -40 = -7*g - 5. Suppose g*f + 2*x = 1719, -x + 4*x = -4*f + 1371. Does 15 divide f?
True
Let v = 530 + -133. Let f = 903 - v. Is f a multiple of 11?
True
Suppose 2*j + 0 + 8 = 0, 3*j = -2*f - 1758. Let m = -345 - f. Is 16 a factor of m?
True
Let j(o) = o**3 + 3*o**2 + 7. Let f be j(-3). Suppose -4*y = f - 15. Suppose -y*t + 6*t - a - 128 = 0, -3*a - 12 = 0. Does 12 divide t?
False
Let r be -2 + (-5 + 8 - -1). Suppose -1995 = -17*n + r*n. Is n a multiple of 4?
False
Let i = 7993 - -24174. Does 35 divide i?
False
Let a = -649 + 688. Suppose -a*s = -35*s - 608. Is 21 a factor of s?
False
Let x = 44170 + -30286. Does 89 divide x?
True
Let l be (-1)/((-14)/32) + 16/(-56). Suppose 408 = 14*h - l*h. Is h a multiple of 17?
True
Let h = 4488 - -15684. Does 41 divide h?
True
Let l = -957 - -5205. Is 118 a factor of l?
True
Let l be (-7)/((-105)/20)*(-3)/2. Let v be l/(-3)*(0 + 689 + 1). Suppose w - v = -4*a + 5*w, 0 = -5*w - 20. Does 5 divide a?
False
Does 40 divide (6 + (-18940)/1)/(-2)?
False
Suppose -3*b + 19 = -53*b + 19. Let z(d) be the first derivative of -2*d**3/3 - d**2 + 38*d - 1. Does 38 divide z(b)?
True
Let y = 57 - 46. Suppose 3*h + q + y = 3*q, 4*q - 16 = 4*h. Does 13 divide 5 + (-3 - h*21)?
True
Suppose 612362 = 80*t - 287349 - 297409. Is t a multiple of 12?
True
Let r(x) = 14*x - 17. Let v be r(-12). Let f = 244 + v. Is 4 a factor of f?
False
Let d(u) = 5*u + 29. Let j(y) = 11*y + 58. Let h(k) = 5*d(k) - 2*j(k). Does 5 divide h(12)?
True
Let a be (4/(24/18))/1. Suppose 5*d + 3*z = 44, a*z + 4 = -d + 20. Is d even?
False
Suppose 98*m = 70*m + 287392. Is m a multiple of 12?
False
Suppose -3*l + l + 1390 = 0. Suppose -913 = -6*w + l. Is w a multiple of 59?
False
Suppose 0 = 5*d - 8 - 2, 0 = -4*h - 2*d + 20. Suppose 3*v - 128 = -h*l, 67 = 2*v - 0*l - l. Is v even?
True
Suppose 2220*r = 2216*r + 17348. Does 9 divide r?
False
Let v be ((-18)/27)/(3/9). Let j be (7/v - -1)/((-2)/12). Suppose 4*y = j*y - 957. Is 12 a factor of y?
False
Suppose -94*x + 6*x = -3*x - 1493790. Is x a multiple of 29?
True
Let g = 11531 - -17135. Does 14 divide g?
False
Suppose s = -0*a - a + 1, -2*s + 14 = 5*a. Suppose -4*p + 137 = -67. Let n = p + s. Is 24 a factor of n?
True
Let s(x) = 7*x + 6. Let u be s(-3). Let l be (-1)/(-3*(-1)/u). Suppose -265 = -5*v + l*p, -v = 3*p - 5*p - 52. Is v a multiple of 9?
True
Suppose 6*t - 8*t + 4 = 0. Let h be ((6 - -1) + -1)*t. Suppose i = 