 15 - h. Does 13 divide o?
True
Let r(u) = 4*u. Let i be r(1). Suppose -2*l + 176 = -i*v, -v + 50 = -2*l + 223. Is 16 a factor of l?
False
Let w(s) be the first derivative of 26*s**3/3 - s**2 + 3*s - 6. Let o be w(2). Let i = o + -60. Does 29 divide i?
False
Let k(o) = 29*o**2 + o - 1. Let f be k(3). Let y = -188 + f. Suppose 4*u - 3*n - 63 = 12, y = 3*u + 4*n. Is u a multiple of 9?
False
Let r(m) = -m**2 + 10*m - 5. Let d be r(9). Suppose -4 = -4*w + 2*w - d*u, -u = 5*w + 26. Is (25 + -34)/(2/w) a multiple of 9?
True
Suppose r = -o + 48, 0 = -3*o - 5*r + 113 + 39. Is 6 a factor of o?
False
Let b be ((-4)/8)/((-2)/16). Suppose 0*h - 2*h + 7 = k, b*h - 4*k - 20 = 0. Suppose h*y + 22 = 106. Is y a multiple of 6?
False
Let v be ((-48)/(-40))/(2/15*3). Let m(b) = 22*b + 18. Is m(v) a multiple of 12?
True
Let w(z) = 54*z**3 + z**2 - 1 - 5*z + 4*z + 7*z**3. Does 12 divide w(1)?
True
Let u = -66 + 66. Suppose 0 = -q - 0*w - 4*w + 56, 5*w - 10 = u. Does 12 divide q?
True
Let n be ((-1)/1 - -2)/1. Suppose 5*w - n = 9. Let z = w - -25. Is z a multiple of 8?
False
Let n(m) = 120*m - 4. Let a(k) = -30*k + 1. Let c(t) = -26*a(t) - 6*n(t). Is 45 a factor of c(1)?
False
Suppose 0 = -2*x + 2, 4*x = 3*q - 0*x + 4. Suppose k + i - 123 = q, 4*k - 2*i - 492 = -i. Suppose 4*w - 2*w = s + 75, 3*w = 5*s + k. Is w a multiple of 21?
False
Suppose -2*i = 3272 - 11740. Let h be 6/(-27) - i/(-18). Suppose 3*j - 8*j + h = 0. Is 12 a factor of j?
False
Suppose 0 = 2*o + 97 - 87. Let z be (1 - 5/3)*1776. Is 1/o - z/20 a multiple of 22?
False
Let l = -18 - -198. Suppose 50 - l = -13*p. Is p a multiple of 5?
True
Does 21 divide 58/(-493) - 11156/(-34)?
False
Let i = -29 - -44. Suppose 5*d - i = 0, 5*d = -5*g + 206 - 51. Does 14 divide g?
True
Let h = -12 + 15. Let r be (3 + 0 + -7)*h. Is 7 a factor of r - -4 - -4 - -43?
False
Suppose 3*i - 26 - 28 = 0. Let t = i + -16. Suppose -2*x = t*d - 140, 3*x + 34 = -d + 244. Is x a multiple of 13?
False
Suppose 5*z + 9729 = 2*y + 29059, 4*z = -5*y + 15431. Is z a multiple of 138?
True
Let t = 286 + -225. Is t even?
False
Is 6/(-12) + 82433/26 a multiple of 10?
True
Let n(m) = m - 23. Let l be n(26). Suppose g + l*k = 32, 0 = -3*g - 3*k + 23 + 67. Is 3 a factor of g?
False
Suppose 0 = -3*s + 2*v + 2216, s - 185 - 555 = 2*v. Is s a multiple of 19?
False
Let v = -1009 + 1069. Is v a multiple of 22?
False
Suppose 0 = -4*x - 2*l + 282, -2*x - 131 = -4*x + l. Suppose 0*o = o + 2*s - 29, -2*o - 2*s + x = 0. Is o a multiple of 10?
False
Let p(r) = -r**2 - 67*r - 492. Is p(-12) a multiple of 13?
False
Suppose -2*v - 3*t = 3*v + 78, -27 = 2*v - 3*t. Is 29 a factor of (-2)/(-3) + (-2165)/v?
True
Suppose -4*r = 5*s - 46 - 39, 5*s = 2*r + 85. Let b = 73 + s. Is 9 a factor of b?
True
Suppose -65*f = -5*d - 70*f + 9825, -3*f - 5889 = -3*d. Is 8 a factor of d?
False
Suppose 37*b - 38*b = -115. Is b a multiple of 5?
True
Suppose 6*o - 648 - 432 = 0. Does 6 divide o?
True
Let c(p) = -p**3 - p. Let z be c(0). Let b be (-6 - z)*(-12)/18. Suppose 4*u + 8 = -0, 0 = -r - b*u + 23. Is 12 a factor of r?
False
Let v be (-4)/((-2)/(-2 - -4)). Let z(d) = d**2 - 7*d + 9. Let n be z(6). Suppose x - n*x = -k + 13, 52 = v*k + x. Is 3 a factor of k?
False
Suppose -3*a + 3*i = 7*i - 2359, 2*i = -a + 785. Is 10 a factor of a?
False
Let o = 2 - 0. Suppose 0 = -0*d - 3*d + o*q - 3, 0 = q - 3. Is d*(7 - 4 - -6) a multiple of 9?
True
Let v(x) be the second derivative of 8*x**3/3 - x**2/2 - 14*x. Let t = 6 - 2. Is 23 a factor of v(t)?
False
Suppose 3*b = -5*y + 1701, -8*y = -7*y + 3*b - 345. Is y a multiple of 20?
False
Suppose -9*p + 6*p + 15 = 0. Let s = 17 + -8. Let f = p + s. Is f a multiple of 7?
True
Is ((-152)/(-24) - 7)/(1/(-147)) a multiple of 9?
False
Suppose -7*y = -5*y - 20. Is 7 a factor of y/(-15) - (-508)/6?
True
Let t be 2846/14 + (-20)/70. Let g = 333 - t. Does 13 divide g?
True
Is 1499/4 - (-6 + 161/28) a multiple of 75?
True
Is 21 a factor of (-324)/18*(1120/3)/(-4)?
True
Let d(j) = 11*j**2 - 44*j - 407. Is d(-13) a multiple of 11?
True
Let k = 167 - -2. Let g be ((-10)/30)/(4/912). Let n = k + g. Is 30 a factor of n?
False
Suppose 4*o = 5*d + 167, 0*d = o - 3*d - 40. Is 4 a factor of o?
False
Let r(p) be the first derivative of p**4/4 - 4*p**3 - 5*p**2/2 + 16*p + 4. Let k be r(13). Suppose -5*u = -3*u - k. Does 20 divide u?
True
Let q be (0 + 1 + -4)*4310/(-30). Suppose -757 = -5*l - 4*j, -j + q = 2*l + 127. Does 30 divide l?
False
Let o(g) = -g**3 - 3*g**2 + 4*g + 4. Let v be o(-4). Is (-46 - v/(-4))*-1 a multiple of 15?
True
Suppose 16*f = 5*f + 737. Is 11 a factor of f?
False
Let h(f) = -37*f - 5. Let r be h(-3). Suppose -t - t - r = -2*j, -5*t - 25 = 0. Is j a multiple of 12?
True
Let j(o) = 20*o**2 + 26*o + 170. Is j(-5) a multiple of 27?
True
Let z(a) = a**3 + 4*a**2 + 4*a + 3. Let b be z(-2). Let w = -23 + 46. Suppose -w + 5 = -b*c. Is c a multiple of 6?
True
Does 8 divide (-78)/(-26)*(1 - 70/(-3))?
False
Suppose -636 - 42 = -o. Does 11 divide ((-64)/12 - -6) + o/9?
False
Let b be (1 - 5)/(-4)*-10. Let h = -48 - -13. Let v = b - h. Is 9 a factor of v?
False
Suppose 3 + 442 = 5*j. Let g = j + -26. Suppose k = -2*l + 27, 3*k = 3*l - 0*k - g. Is l a multiple of 8?
True
Let l = -16 - -22. Suppose l*w + w = 70. Does 2 divide w?
True
Suppose -5*h + 2*h + 87 = 0. Suppose h = z + 5*k, 3*z - 5 - 2 = k. Suppose 4*r - 22 = -b, -z*b + 4*r - r = -126. Does 8 divide b?
False
Suppose 0 = -2*a + 49 + 23. Suppose -5*v + 2*k + a = 0, -2*v + 5*k + 45 = 3*v. Is v a multiple of 4?
False
Let k be 3/(9/6) - -4. Let i(x) = -5*x**3 + 2*x**2 - 13*x - 3. Let j(f) = 4*f**3 - f**2 + 12*f + 2. Let a(b) = -5*i(b) - 6*j(b). Is a(k) a multiple of 10?
False
Let v(w) = -238*w + 412. Is 24 a factor of v(-13)?
False
Let o(x) = 6*x**2 + 12*x. Let w be o(-2). Does 13 divide (w + -6)/((-12)/144)?
False
Let r(g) = 205*g**2 + 6*g + 4. Does 29 divide r(-1)?
True
Let s be (0 - 2)*-4 + -2*2. Suppose -f + 77 = j, 5*f - 298 = -s*j + 3*f. Is j a multiple of 36?
True
Let g(a) be the second derivative of a**5/60 - a**4/8 + 5*a**3/6 + a**2/2 - 4*a. Let z(i) be the first derivative of g(i). Is 2 a factor of z(4)?
False
Let s be (-3 - -3)*1 - -4. Let h(w) = w**2 - 2*w + 8. Let y be h(s). Is (y/12*-39)/(-2) a multiple of 13?
True
Suppose 4*s - m - 14 = 0, -8 = -2*s - 0*s + m. Suppose s*r + 5*a + 0*a - 64 = 0, 0 = -r - 3*a + 20. Let t = 33 - r. Does 2 divide t?
True
Let s(x) = 209*x**3 - x**2 - 3*x - 3. Let n be s(-1). Let a = -14 - n. Is a a multiple of 14?
True
Let l = -473 + 683. Does 5 divide l?
True
Suppose 0 = p - q - 401, -4*p = -9*q + 4*q - 1606. Suppose -p = -4*h - 111. Is h a multiple of 24?
True
Let h(z) be the first derivative of 4 - 32*z + 5*z**2 + 1/3*z**3. Is h(-13) a multiple of 2?
False
Let f(h) be the second derivative of h**5/20 + 5*h**4/6 - h**3/6 - h**2 - 23*h. Is f(-10) a multiple of 4?
True
Suppose 3*t + 243 = l, 2*t = -2*t - 2*l - 314. Let o = t - -221. Let x = -101 + o. Is 20 a factor of x?
True
Suppose 5*p + 20 = 0, 11*p - 9*p - 37 = -5*l. Suppose i + 5*r + 3 = -21, -2*i + 2*r = -12. Is 9 a factor of (l/5)/(i/5)?
True
Suppose 2*f = 3*q + 8, -f + 16 = 3*f + q. Suppose 4*a + 16 = -f*n - 12, 3*n + 17 = -2*a. Let i(m) = 8*m**2 + 3*m + 9. Is 12 a factor of i(n)?
True
Is -3 - 1 - (-6 + (9 - 1702)) a multiple of 68?
False
Suppose -3*n = 6*n - 10*n. Does 24 divide 72 + (n + 0)/(-5)?
True
Is 6 a factor of (-584)/(-10) + 48/80?
False
Suppose -a - 1453 = -1511. Does 10 divide a?
False
Let u = -284 - -1022. Is u a multiple of 82?
True
Let t(p) = -p**3 - 55*p**2 + 41*p - 329. Is 21 a factor of t(-56)?
False
Is -1*-84*4/(32/12) a multiple of 7?
True
Let l = -1449 + 1933. Is 44 a factor of l?
True
Let y(l) = 18*l - 7. Let d be y(14). Suppose 6*f - d = 11*f. Let j = -6 - f. Is j a multiple of 11?
False
Let j be (-1)/(-6) - (-356)/24. Is 10 a factor of (-5)/(-30)*j*40?
True
Let b(k) = -2*k - 30. Does 4 divide b(-18)?
False
Suppose -5*w + 35 = -n, 0*w = 2*w + n - 21. Suppose 2*h + 0*h = w. Suppose -h*y = -6*y + 114. Is 23 a factor of y?
False
Suppose -5*s + 20 = -3*x, 2 = -3*s + 2*x - 3*x. Let g = s - 23. Does 13 divide 11/g - (-226)/4?
False
Suppose 3*v + 4*f - 8 = 0, -3*v - 6*f = -f - 10. Suppose 3*n - 54 = n. Suppose v = 6*m - 3*m - n. Is 6 a factor of m?
False
Suppose 4*d - 4 = 4. Supp