4*b + 108. Let m be q(20). Let g = m - -284. Is 13 a factor of g?
True
Let k = -77 - -133. Let p be k/((-4)/(304/68) + 1). Suppose 8*g = 12*g - p. Is 19 a factor of g?
True
Let o be (4 - 366/18)/(2/(-6)). Suppose -2*f = -5*h + 61, -3*f - o = -4*h + 39. Let k = f + 70. Is 6 a factor of k?
True
Let p(b) = 11*b - 1. Let s(u) = -11*u + 2. Let m(n) = -5*p(n) - 4*s(n). Let i be m(-1). Suppose i*c = -354 + 1290. Is 39 a factor of c?
True
Let z(m) be the first derivative of 29*m**2 + 3*m - 77. Is z(1) a multiple of 6?
False
Suppose -14*t - 89 - 191 = 0. Is (-5 + t/(-12))*423/(-2) a multiple of 15?
True
Suppose 6*z = 7*z + 137. Is 45/1 + -1 + 136 + z a multiple of 3?
False
Suppose 0 = -5*x - 100 - 300. Suppose -4*o + 5*i = -7*o + 440, -3*o - i + 424 = 0. Let s = o + x. Is s a multiple of 15?
True
Let l = 49 - 45. Does 20 divide 2/l*(3 - -117*3)?
False
Suppose 5*z - 2*w = -w + 6, -3*z + 4*w - 10 = 0. Let v be (-60)/(z/(-3 + 0 + 1)). Let o = 123 - v. Is o a multiple of 21?
True
Suppose -7686 = -3*i + 4*t - 1143, -2*t = 3*i - 6507. Is 53 a factor of i?
True
Suppose 0*z - 122 = -2*z. Let v = z - 44. Suppose 0 = -d + 2*w + 13, -2*d + v = d + 5*w. Is d a multiple of 9?
True
Let n = -14480 + 15689. Does 75 divide n?
False
Let x be -8 + (-4 - 2/((-4)/10)). Let i be (-2 - x)*(-18)/60*-2. Suppose -5*p + 108 = 4*n, -i*n + 57 + 24 = p. Is n a multiple of 3?
True
Let o = -11586 + 16997. Is o a multiple of 17?
False
Let x = -125 - -130. Suppose 0 = -x*n - 25, -n + 3 = 2*q + 4. Suppose -q*w = -9*w + 1589. Does 24 divide w?
False
Let f(z) = 3*z + 20. Let c be f(-7). Let o(s) = -38*s**3 - s**2 + s + 2. Is 3 a factor of o(c)?
False
Suppose -2890 - 190 = -11*m. Does 5 divide m?
True
Let c(k) = 50*k**2 + 12*k - 79. Is c(-13) a multiple of 31?
True
Suppose 4*z - 2*o = -30 - 16, -o = 2*z + 17. Let x be (-142)/z - 3/15. Let a(d) = d**3 - 13*d**2 - 12*d - 10. Is 18 a factor of a(x)?
True
Suppose 5*o + 11 = 1. Let p(f) = 3*f**2 + 4*f - 1. Let l be p(o). Suppose 60 = -2*r + l*r. Is r a multiple of 12?
True
Let t = 2 - 2. Let a = 5532 + -5526. Suppose -2*l + 210 = 4*b - a*b, -4*b + 12 = t. Is 27 a factor of l?
True
Suppose -d = 10*d - 5709. Suppose -w + 3*w + z - d = 0, w + 4*z = 270. Is 43 a factor of w?
True
Suppose 123*c = 128*c - 10. Does 75 divide -2 + (-437)/(-3) - c/3?
False
Suppose 2*x - 12885 = 3*o, 48*x - 49*x + 2*o = -6445. Is 14 a factor of x?
False
Let a(j) = -32 + 69*j**2 + 87*j**2 - 14*j - 77*j**2. Is 24 a factor of a(-2)?
True
Let p(j) = -j**3 + 9*j**2 - 32*j + 29388. Is p(0) a multiple of 73?
False
Suppose 0 = -r - 3*c + 8337, -5*r = -15*c + 13*c - 41600. Is r a multiple of 114?
True
Let m = 7396 + -4975. Does 23 divide m?
False
Let l(c) = -4*c - 22. Let r be l(-6). Suppose -5*h = -5*b, -6 = r*b - 3*h - 3. Suppose b*j - 2*n + 3 = 43, -5*j + n = -55. Is 4 a factor of j?
False
Let g(n) = n**2 - 17*n - 92. Let r be g(11). Let d = r - -490. Does 24 divide d?
False
Let n(v) = -6*v - 64. Let a be n(-10). Let u be 3/((-3)/(-83)) + (-1 - a). Let k = -25 + u. Is 18 a factor of k?
False
Let b be 4 + -1 - -3*(-8)/6. Let n be 10 - (b + (8 - 3)). Let q(t) = -t**2 + 4*t + 15. Does 3 divide q(n)?
True
Let q be (0 - 3)*20/6. Let h(w) = -5*w**3 + 29*w**2 - 116*w - 37. Let y(l) = 3*l**3 - 19*l**2 + 76*l + 25. Let a(c) = 5*h(c) + 8*y(c). Does 7 divide a(q)?
True
Suppose -31*m = -54115 + 20232. Does 2 divide m?
False
Let l = -5120 - -10587. Is l a multiple of 11?
True
Let b(n) = 0 + 13*n**3 + 2 - 12*n**3 + 1 - 7*n**2 - 24*n. Let m be b(10). Is 7 a factor of m/(-14)*38/(-3)?
False
Let l = -29 - -33. Suppose -4*x + 8*x = b - 57, -5*x = -l*b + 228. Is 19 a factor of b?
True
Suppose 25 = 3*q - 4*k, 2*k - 4 = 2*q - 6*q. Suppose -r - 7 - q = -5*t, r = 0. Suppose -5*a + 582 = -2*a - 4*m, t*a - 4*m = 384. Is 11 a factor of a?
True
Let u(x) = x**3 + x**2 + 517. Let b = -35 + 35. Let n be u(b). Suppose n - 145 = 6*f. Does 17 divide f?
False
Let u(n) = n**2 + 3*n - 5. Let f be u(-5). Suppose 4*j = 12, 0*j = -f*s + j + 177. Suppose 0 = -3*o + o + s. Does 17 divide o?
False
Suppose -3*r - 7320 = 7*r. Let a = -417 - r. Is 15 a factor of a?
True
Let a = -17464 + 21379. Is 3 a factor of a?
True
Let g = -2835 - -7025. Is g a multiple of 7?
False
Suppose 13524 = 2*n + 3*o, 0 = -n - 2*o + 7352 - 592. Suppose -j + 9*j - n = 0. Suppose -154 - j = -8*h. Is h a multiple of 25?
True
Is (20492/545)/((-2)/(-5)) even?
True
Let q = -246 - -248. Suppose 15 = 2*u - q*l - 829, -u - 4*l = -437. Is 15 a factor of u?
False
Suppose 0 = -2*v - 4*l + 178, 3*v + 8*l - 307 = 10*l. Does 10 divide 4 - 374/v - 2878/(-9)?
True
Let c = -1937 + 3960. Let n = c - 1294. Is 6 a factor of n?
False
Let z(q) = -q**3 + 2*q**2 + q - 2. Let r(x) = -5*x**3 + 21*x**2 - 2*x - 6. Let c(b) = r(b) - 4*z(b). Is c(12) a multiple of 5?
False
Let f(l) = -l**3 - 6*l**2 + 19*l + 4. Suppose -b = 5*q - 5*b + 63, -2*b - 29 = 3*q. Is f(q) a multiple of 30?
False
Let u(l) = -l + 6. Let k be u(5). Let s be 200*(1/2)/k. Suppose s = c + 2*q, 0 = 4*c - 0*c + 3*q - 425. Does 11 divide c?
True
Is (-2 - -154)/(0 + (-14)/(-854)) a multiple of 19?
True
Let m(w) = w**3 + w**2 + 7*w - 4. Is m(16) a multiple of 20?
True
Let t = -389 - -392. Suppose -3*h + 846 = t*f, -7*h - 2*f - 297 = -8*h. Is 16 a factor of h?
False
Suppose -9*w = -194 - 310. Suppose -59*j = -w*j - 612. Is j a multiple of 17?
True
Let w(x) = 20*x**2 - 18*x - 58. Is w(-6) a multiple of 7?
True
Let a(y) = 10*y**3 + 10*y**2 + 21*y - 5. Does 139 divide a(6)?
True
Let m(c) = 2*c**3 - 5*c**2 + 5*c - 1. Let v be m(2). Let r be 68/20 + -3 - (-2993)/v. Let n = r + -371. Does 34 divide n?
False
Let o = -1 + 5. Suppose -16*b = -18*b - 2*a + 314, -o*b + 649 = -3*a. Is b a multiple of 9?
False
Suppose -5*d + 1351 = -2*a, -5*d + 2*d + 807 = -3*a. Let v = -226 + d. Is 15 a factor of v?
True
Let c be ((-8)/(-10))/(1/60). Let z = 307 - c. Let v = 367 - z. Does 27 divide v?
True
Suppose -2*v + 136 = -2*x - 2*x, -v = -x - 70. Is 9 a factor of (10 - 114/8)/((-2)/v)?
True
Suppose 1384 = 2*p + w, 44*w - 2776 = -4*p + 40*w. Is p a multiple of 10?
True
Let x(b) = 6*b**2 - b + 6. Suppose -5*n - 12 = -3*r + 4*r, 3*r = n - 4. Is 15 a factor of x(n)?
False
Suppose 1663 = 6*t + 415. Suppose -t*c + 213*c = 725. Is c a multiple of 20?
False
Suppose 5396 - 14234 = -9*p. Suppose p = -5*u + 67. Is 28 a factor of (u/6 - -1)/((-1)/4)?
False
Let u = -6133 + 6782. Is u a multiple of 11?
True
Let o(y) = y**2 + 3*y + 6. Let g be o(-5). Let v be (292/6)/((-11)/(-33)). Let l = v - g. Is 13 a factor of l?
True
Suppose 0 = -2*v - 3*o + 1115, -7*o + 5*o = 10. Suppose -i = -4*w + v + 736, 3*w = -5*i + 970. Is w a multiple of 9?
False
Suppose 0*r + 5*r = 0. Suppose -b + 3*b + 2*i = r, 5*i = 3*b. Suppose b = 19*h - 14*h - 165. Is h a multiple of 33?
True
Suppose 2237 = 129*u - 40506 - 29755. Is u a multiple of 3?
False
Suppose -11*f + 23955 + 8847 = 0. Suppose -2*s + 6*s = -d + 504, f = 6*d + 3*s. Does 62 divide d?
True
Suppose 0 = 5*z - 4*z + 880. Suppose 5*y + 68 + 102 = 0. Is z/y + 8/68 a multiple of 13?
True
Let q be -1*(-3 + 4)*-2. Suppose -3*x = q*i + 2*i - 619, 2*x + i = 416. Let v = -149 + x. Is 10 a factor of v?
True
Let s(i) = i**3 + 50*i**2 + 27*i - 290. Is s(-29) a multiple of 4?
True
Suppose 2*d - 27410 = -5*t, 10955 = 201*t - 199*t - d. Does 9 divide t?
False
Let g = -9468 + 9639. Is g even?
False
Let j be 6/(-33) + 3633/77. Suppose -55*r + 4680 = -j*r. Does 55 divide r?
False
Is 17 a factor of (-19)/((-2052)/18)*(0 - -218634)?
False
Let f(j) = -103*j - 10. Let p(x) = -51*x - 2. Let o(r) = -6*f(r) + 11*p(r). Does 58 divide o(3)?
False
Let v = 3746 - 2402. Suppose -4*z + v = 2*x, 119 + 1587 = 5*z - 4*x. Is 13 a factor of z?
True
Suppose -341*q + 169*q - 316200 = -177*q. Does 20 divide q?
True
Let d(c) be the first derivative of 3*c**2/2 - 20*c - 8. Let m be d(9). Let n = m - -70. Is n a multiple of 19?
False
Let z = 39 - 70. Let f be (1 - z/(-7)) + 184/(-322). Is 52 a factor of (-549)/f + (-36)/(-48)?
False
Suppose -462024 = 18*g - 99*g. Does 31 divide g?
True
Let q(l) = 20*l**3 + 14*l**2 - 62*l + 131. Is 5 a factor of q(5)?
False
Let c = -700 + -218. Is 23 a factor of ((-80)/(-5))/8 - c?
True
Is (-258)/((((-24)/70)/(-2))/((-940)/329)) a multiple of 43?
True
Let m = 41434 - 28765. Is 103 a factor of m?
True
Let n(a) = -16*a 