= 51 - 104. Let j = 59 + g. Let d = 57 - j. Is d a multiple of 20?
False
Suppose 4*r - 2*r + 0*r = 0. Suppose r = 4*j + 2*v + 1 - 57, 2*v = 2*j - 16. Let n = j - 2. Does 10 divide n?
True
Let b(u) = -u**3 + 3*u**2 + 5*u - 4. Let d be b(4). Suppose 3*m - 205 = -p, d = -2*p + 3*p + 5*m - 215. Suppose -2*r + 0*r = -p. Is r a multiple of 37?
False
Suppose -6*p - 4 = -136. Let s(u) = 5*u**2 + 5*u**2 - 13*u**2 - p + 4*u**2 - 9*u. Is s(13) a multiple of 14?
False
Suppose -18*v + 45808 = -66944. Is v a multiple of 18?
True
Let f(c) = c + 6. Let b be f(-4). Let k be -3 - (b - (-16)/(-2)). Suppose -j - k*l + 99 = 0, j + 0*j + 4*l = 100. Does 8 divide j?
True
Let q be 3/27*3*6. Is -1 - (3762/(-45) + q/(-5)) a multiple of 9?
False
Let l(b) = -b**2 + 22*b + 37. Let i be l(23). Suppose 18*o - i*o = 64. Is 4 a factor of o?
True
Let k be (0 + (-3)/6)*-42. Suppose 3*r + 9 = k. Suppose -5*j = r*n - 6*n + 62, -2*n - 5*j = -42. Is 26 a factor of n?
True
Suppose -j + 13 = -4*i + 9*i, i - 71 = -4*j. Is (-2)/j - 52312/(-36) a multiple of 13?
False
Let g(h) = 7*h**2 - 9*h**2 + 17 - 14*h + 4*h**2 + 31. Is g(24) a multiple of 18?
True
Suppose 0 = 3*j + 4*m - 14856, -5*j + 44*m + 24744 = 48*m. Is 10 a factor of j?
False
Let z = 80337 - 51552. Does 101 divide z?
True
Let h(y) = 30*y + 546. Let w be h(-18). Suppose 3*j = -w*t + 5*t + 1688, 5 = -j. Does 13 divide t?
True
Suppose 27*n = 28*n, -5*y - 1270 = -n. Let l = y + 482. Does 19 divide l?
True
Let m = -45 + 54. Is 51 a factor of -1 + 554 - ((6 - m) + 1)?
False
Let y = 3855 - -834. Does 9 divide y?
True
Let x = 8614 + -5875. Is x a multiple of 83?
True
Let w(y) = y**3 + 6*y**2 - 13*y + 6. Let r be w(-8). Is 9 a factor of (-41525)/(-95) - r/(-171)?
False
Suppose -3*z + 2*z = 8. Let m(j) = j**3 - 5*j**2 + 17*j - 5. Let v(i) = -5*i**3 + 20*i**2 - 69*i + 19. Let y(g) = 9*m(g) + 2*v(g). Does 10 divide y(z)?
False
Let i = 91 + -2. Suppose 0 = -5*n - 831 - i. Let f = n - -262. Is f a multiple of 13?
True
Is ((-25061)/57 - 0)*(-2 - 13) a multiple of 6?
False
Let p(x) = 2 + 0 + x + 7 - 16 + x**2. Let q be p(3). Suppose 0 = -q*m - 3*j + 1115, 0*m - m = 4*j - 240. Does 17 divide m?
False
Let w be 2/8*-1 - 567/(-252). Suppose -4*r = w*o - 710 - 412, -o - 3*r = -562. Is 13 a factor of o?
True
Let i be (-7 - -6)/(2/(-4)). Let f(l) = 6*l + 8*l + 7 + 6*l**i - 9*l. Does 33 divide f(-5)?
True
Let i(q) = 412*q - 9. Let t be i(2). Suppose 25 + 45 = 7*r. Suppose 2*f + t = 5*y, -r = -4*f + 10. Is y a multiple of 13?
False
Let y be ((-117)/(-52))/(3/(-8)*-1). Suppose 0 = -y*v - 323 + 1625. Is v a multiple of 45?
False
Suppose 0 = 5*w - 3*c - 234, 29 = w - 5*c - 9. Let g = 39 - w. Is (-3 - 39/g)*48 a multiple of 15?
False
Suppose -2*i = -2*r + 75036, -r + 46690 = 3*i + 9172. Is r a multiple of 74?
True
Suppose -78*a + 62531 = -69055. Does 124 divide a?
False
Let a(s) = 232*s**2 - 1533*s + 7692. Does 168 divide a(5)?
False
Let q(k) = k**2 + 13*k + 4. Let a be (-3)/7 - (545/35 - 3). Let c be q(a). Suppose -5*d + 45 = 5*l, 4*l - 4 - c = 0. Is d even?
False
Suppose -3*h - 167 = -2*a, 4*a = -5*h + 217 + 84. Suppose 10*y - a = 41. Suppose -228 = -y*f + 8*f. Is f a multiple of 14?
False
Let r(j) = 21*j**2 + 131*j + 426. Is 11 a factor of r(-35)?
False
Let b(y) = -32*y**2 + 2*y + 1. Let m be b(-1). Let d = m - -35. Suppose 1 - 3 = -d*l, 3*l + 147 = 2*i. Does 10 divide i?
False
Suppose 5 + 9 = -14*l. Let w be -6 + 5 - (-1)/(l/(-41)). Suppose -w*j + 34*j = -588. Is 25 a factor of j?
False
Let b be 1285/5*-1*(3 - 2). Let w = b + 577. Is 16 a factor of w?
True
Let d be (-10)/(-65) + 20106/(-39)*-9. Suppose 1560*g - d = 1550*g. Is g a multiple of 16?
True
Let q = 6774 + -2836. Does 22 divide q?
True
Suppose -5*w = -208 - 72. Let q = -57 + w. Is 10 a factor of (q + (-4)/(24/(-9)))*40?
True
Let a be 8/(-28) + 2 + 9540/21. Let d = 740 - a. Does 24 divide d?
False
Let b = -18 + 38. Suppose -4*j = -b, 2*j - 35 = -5*n - j. Suppose n*l = 4*w - 100, -4*w = -w - l - 83. Is 3 a factor of w?
False
Let c = 158 - 117. Let p = c + -2. Is 9 a factor of p?
False
Suppose 1 = 3*n - 11, 0 = -5*f - 5*n + 1510. Let a = -203 + f. Is a a multiple of 19?
True
Suppose 0 = 12*i - 46984 - 1348 - 4228. Does 66 divide i?
False
Let y be (-4851)/44 - (-1)/4. Let x = 239 + y. Suppose -14 = 5*b - x. Is 16 a factor of b?
False
Let b(o) be the second derivative of o**5/8 - 13*o**4/12 + 5*o**3/3 - 42*o. Let u(s) be the second derivative of b(s). Is 29 a factor of u(4)?
False
Suppose -3*j - 27375 = -2*l, l + 5*j - 6813 - 6842 = 0. Is 59 a factor of l?
False
Suppose -5*w + 11 = -f, 4*w - 7 = -5*f + 4*f. Suppose -2*m + 14 = w. Let n(v) = 2*v**3 - 8*v**2 - 14. Does 22 divide n(m)?
False
Let w(s) = 252*s - 5. Let f be w(1). Suppose f + 9 = 8*a. Suppose -10 = c - a. Does 11 divide c?
True
Let b(q) = -q**3 - 8*q**2 - 12*q + 2. Let o be b(-6). Suppose 0 = -j + 2*n + 172, -o*j - 2*n + 185 = -171. Is 7 a factor of j?
False
Let d(q) = -q**2 - 13*q - 21. Let l be d(-9). Let r(n) = 3*n - 1. Let m be r(2). Is 16 a factor of 759/l + (-3)/m?
False
Let o = -7269 + 9977. Is o a multiple of 40?
False
Let u = 19858 + -4588. Is 12 a factor of u?
False
Suppose -104536 = -3*a + 4*m, -2*m = a - 50330 + 15508. Is 15 a factor of a?
False
Suppose -5*o + 192311 = 14*k - 18*k, 76929 = 2*o + 3*k. Does 17 divide o?
False
Let i be (4/5)/(54/10 + -5). Suppose 0 = 3*c - m - 238, -2 = m - i*m. Suppose -4 = -t - 0, 4*z = 4*t + c. Does 8 divide z?
True
Suppose 0 = -u + 4*k + 9124, 9962 = 2*u + 4*k - 8250. Is u a multiple of 134?
True
Let u(z) be the second derivative of -z**4/12 - 10*z**3/3 - 7*z**2/2 - 2*z. Let j be u(-8). Let x = 126 - j. Is x a multiple of 15?
False
Suppose 81*x + 2819475 = 216*x. Does 56 divide x?
False
Suppose -3*h + 178 = -0*v + 5*v, 3*v - 106 = -2*h. Is v/18*3*42 a multiple of 19?
True
Suppose 4*y + 3*d - 1942 = 1661, -5*y = -5*d - 4495. Is y a multiple of 5?
True
Suppose -43*v + 198042 + 1627853 + 71738 = 0. Is v a multiple of 23?
False
Suppose 6*l - 5*l + 2 = v, -2*l - 19 = -5*v. Let k(w) = -w**3 + w**2 + 2*w**l - 14*w + 7*w**2. Is 28 a factor of k(-9)?
False
Let s = -107 - 546. Let b = s + 798. Is b a multiple of 12?
False
Let o(u) = 15*u**2 + 16*u + 38. Let p be o(-5). Let k = p + 16. Is 32 a factor of k?
False
Let g = 280 - 252. Suppose g*z = 10*z + 1872. Is z a multiple of 2?
True
Suppose 5*p - r = 67502, -5*p - 3*r = -6*r - 67496. Does 26 divide p?
False
Let w(n) be the third derivative of n**6/30 + n**5/30 - n**3/6 - 16*n**2. Let j be w(1). Suppose 0 = -j*x + i + 781, -x + 0*x = 4*i - 152. Does 26 divide x?
True
Let h(s) = -13*s - 118. Let z be h(-9). Does 2 divide -1*(-558)/(-6)*z?
False
Let j(w) = -w**3 + 6*w**2 + 7*w. Let p be j(7). Suppose p = -15*f + 13*f + 860. Is f a multiple of 43?
True
Let d(n) = n**3 + 6*n**2 - n + 3. Let t be d(-4). Let f = t + -39. Suppose f = q - 22 - 20. Is q a multiple of 6?
True
Suppose 2*k + 5*s + 404 - 19634 = 0, -2*s + 9617 = k. Is k a multiple of 90?
False
Let h = -497 + 1628. Let z = h + -438. Is 11 a factor of z?
True
Let y be 0 - (-9)/(36/176). Suppose -145 = 7*a + y. Let r = a + 123. Is r a multiple of 32?
True
Suppose 4*y - 445 + 61 = 0. Is y even?
True
Let k(b) = -5*b**3 - b**2 + 5*b + 6*b**3 + 16*b**2 + 1. Let f be k(-13). Suppose -3*u + 230 = -f. Does 12 divide u?
True
Suppose 0 = -5*t - c + 45, 10*c - 7*c - 31 = -2*t. Suppose t*g = 390 - 38. Is 9 a factor of g?
False
Let y(n) be the second derivative of n**8/1680 - n**7/2520 - n**6/720 + n**5/120 + 13*n**4/6 - 13*n. Let i(m) be the third derivative of y(m). Is i(1) even?
False
Let h = -8 + 14. Let s(n) be the first derivative of 21*n**2/2 - 22*n + 931. Is s(h) a multiple of 26?
True
Let p(y) = y**3 - 24*y**2 - 27*y + 51. Let w be p(25). Is 81/w*(6 + -3) a multiple of 39?
False
Let o(g) = -g**2 + g - 1. Let t(r) = 6*r**2 - 5*r + 7. Let b(q) = 5*o(q) + t(q). Let y be b(4). Let v = y + -2. Is v a multiple of 16?
True
Suppose 2*a - a - 6384 = 5*y, -4*a = 5*y - 25536. Let j be (2 + 8/(-6))/(16/a). Let i = -138 + j. Is i a multiple of 16?
True
Let r(l) = -l**3 - 16*l**2 - 20*l - 14. Let b be r(-15). Let c = b + -66. Let a = 34 - c. Does 12 divide a?
False
Let i = -223 - -457. Suppose 2*y - 20 = i. Let c = 292 - y. Is 33 a factor of c?
True
Let b(z) = 78*z**2 - 8*z + 29. Let y be b(-8). Suppose -5*q = 