 106729 = -89*v - 3*f, 21378 = v + 4*f. Does 70 divide v?
True
Let t(f) = 58*f + 77. Let r be t(8). Let j = r + -409. Is j a multiple of 11?
True
Let z(l) = 5*l**2 - 58*l + 8. Does 11 divide z(-8)?
True
Suppose -49 = -8*j - 265. Let s be (-8)/(-44) + j/(-33). Does 22 divide (2 - (-3 + 4/s)) + 165?
False
Suppose 2287*x - 2286*x - 171694 = -5*h, -h - 2*x = -34346. Is h a multiple of 59?
True
Let t(g) = 1008*g - 550. Is t(12) a multiple of 48?
False
Suppose 7*h + t = 2*h + 15, 11 = -2*h + 3*t. Let s be 762/6 - h*1. Suppose 4*p + 4*w - 63 = s, -109 = -2*p + w. Does 16 divide p?
False
Let g be 6 - 5 - 6 - 111. Is 29 a factor of ((-3)/6)/((3/g)/3)?
True
Let d = -171 - -487. Let l = d - -49. Is l a multiple of 43?
False
Is 102 a factor of ((-4)/(-10))/((-6)/(-20) + 102114/(-340740))?
False
Let p = 181 + -61. Suppose -4*n = 2*v - 120, 0 = -4*v + 3*n + p + 76. Let y = -34 + v. Is y a multiple of 9?
True
Suppose 14749 = 33*x - 827. Is x a multiple of 59?
True
Let d be -14*(3/(-6))/((-3)/(-195)). Suppose u + 4*l - 115 = 0, -2*u + 4*l = 3*u - d. Is u a multiple of 13?
False
Let l(r) = r + 6. Let k be l(-4). Suppose 6*w = k*w + 504. Does 14 divide (-1)/(-3 + 375/w)?
True
Let s = -87 + 90. Let d be 0 + (6 - 3) - -3. Is 4 a factor of ((-2)/s)/(d/(-108))?
True
Let m be -2 - (-6 - (-2 + -2)). Suppose 0 = -2*j + 2*y - m*y + 364, -532 = -3*j - 4*y. Suppose -4*v + j = 5*z, 2*z = -7 - 1. Is v a multiple of 9?
False
Let p = 4957 + -2680. Is p a multiple of 11?
True
Let n = -166481 - -112966. Is 9 a factor of -1 + 4/6 - n/165?
True
Suppose 3*w - 2*t - 45353 = 0, -30257 = -20*w + 18*w - 3*t. Is 31 a factor of w?
False
Suppose -37*r - 100000 = 3*r. Let l = r - -3545. Is l a multiple of 55?
True
Let y(b) = b + 40. Let o(v) be the second derivative of v**3/6 - 3*v**2/2 + 20*v. Let a be o(-12). Does 19 divide y(a)?
False
Let v(n) = n**2 - 2*n + 4. Let a be v(2). Suppose u - a*l = 2*u + 16, 4*l = u - 8. Does 5 divide 12 - (3/3*-4)/u?
False
Let c(f) = f**2 - 8*f + 8. Let w be c(5). Let q be (w + -1)*(-6)/12. Suppose 0 = -q*l - 152 + 508. Does 15 divide l?
False
Suppose -j - 2*p = -24, 5*p + 59 = -0*j + j. Suppose 3*n = -5*f - j, -3*f = -4*n - 8*f - 42. Is 13 a factor of 4*(-10)/n*62/5?
False
Suppose -2*k + 2*r = -23034, -4*k - 5*r + 46075 = -2*r. Does 44 divide k?
False
Let i = 2260 - 260. Is 29 a factor of i?
False
Let s(u) = -11*u**2 + 16*u + 23. Let r(i) = -54*i**2 + 83*i + 116. Let h(v) = 2*r(v) - 11*s(v). Is h(10) a multiple of 9?
True
Let h(z) = -4*z**3 - 13*z**2 - 4*z + 25. Does 4 divide h(-9)?
True
Suppose 0 = l - 3*t - 5, 4*l + 5*t - 20 + 0 = 0. Suppose 0 = n - l*x - 779, -2*x + 3*x - 3137 = -4*n. Does 16 divide n?
True
Let r be 2/(((-2)/(-15))/((-7)/(-35))). Is 4 a factor of (-1)/(r - 154/49)?
False
Let n be -4 + -4 + 11 + -1. Suppose 7*l - n*l = -20. Does 7 divide (12 - l) + -3 + 1?
True
Is 33/12*(-678 - -6)/(-12) even?
True
Let o = 24323 - 14391. Is 26 a factor of o?
True
Suppose 0 = 694*x - 684*x - 6750. Is x even?
False
Suppose 3*j + 516 = -27. Let i = j - -630. Is 17 a factor of -2 + (1 - i)/(-4)?
False
Suppose -391820 = -17*y - 35*y. Is 21 a factor of y?
False
Let w = 22366 + -10289. Is 17 a factor of w?
False
Suppose 0 = 2*l + 5*b + 5, -5*l + 0*b = 2*b - 19. Suppose l*x = -4 + 14. Is 8 a factor of (-343)/(-21) - x/6?
True
Let j(t) = -41*t + 88. Let a be j(9). Let s = 447 + a. Is s a multiple of 13?
False
Suppose f = -0*f + 2*x - 4, 4*x = 8. Suppose -5*c + f = u - 9, -c = -u + 3. Suppose 3*d - 138 - 134 = u*a, 0 = 3*d - 2*a - 262. Does 12 divide d?
True
Let b = 455 + -341. Let o = b - -157. Does 20 divide o?
False
Does 111 divide (48357/(-108))/((-1)/48)?
False
Let d be 7/14 + 41/(-2). Let m = 26 + d. Let q(x) = x**3 - 7*x**2 + 6*x + 10. Is 5 a factor of q(m)?
True
Let l(c) = -2*c**3 - 39*c**2 - 189*c - 28. Is 29 a factor of l(-13)?
True
Suppose -70431 = -35*v + 77199. Is 101 a factor of v?
False
Suppose 0 = 30*h - 172*h - 2*h + 742176. Does 6 divide h?
True
Suppose -i + 5*t + 589 - 66 = 0, -9 = 3*t. Let g = -114 + i. Is 24 a factor of g?
False
Suppose 73*x - 65275 - 51368 + 16560 = 0. Is 2 a factor of x?
False
Let m = 71 - 63. Suppose 0 = -6*s + 4*s - m. Is 6 a factor of s - (736/(-28) + 8/28)?
False
Let u be (-5)/(-1) + -1 - (-2123 - -13). Suppose 3*j + 6*c = 4*c + u, j - c = 698. Is j a multiple of 18?
True
Suppose -14*v - 58*v = -271514 + 76034. Is v a multiple of 181?
True
Let f(v) = -37*v + 738. Is 6 a factor of f(-18)?
True
Let f(b) = 2*b**3 - 14*b**2 + 10*b + 16. Let l be f(6). Suppose l*v - 4*n - 476 = -176, 5*v = -5*n + 345. Is v a multiple of 8?
True
Suppose 3*h = 7*h - 8. Suppose s + 3*b - 35 = -0*s, 4*s - h*b = 210. Is (-526)/(-10) - (-20)/s a multiple of 12?
False
Let s be (-1812)/(-28) - (64/(-28) + 2). Suppose 38 = 5*x - b - 80, 4*x - 2*b = 98. Let o = s + x. Is o a multiple of 8?
True
Suppose -110*q + k = -113*q + 4903, 6534 = 4*q + 2*k. Is 9 a factor of q?
False
Let h(d) = 5*d - 61. Let k(l) = -5*l + 60. Let b(t) = -4*h(t) - 5*k(t). Let j be b(19). Let f = j - 18. Is 13 a factor of f?
False
Let s(q) = -6*q + 4. Let y be s(-9). Let n = 60 - y. Suppose n*m - 101 = -1. Does 16 divide m?
False
Suppose 8*i + i = 18. Suppose -i*p + 6 = 0, 4*p - 29 = 2*y - 83. Does 2 divide y?
False
Let x = 37 + -36. Let b(s) = -19*s**2 - 3*s - 3. Let l(i) = -i**2 + i + 1. Let p(d) = -b(d) - 2*l(d). Is p(x) a multiple of 23?
True
Suppose 317*i + 8493 = 320*i. Suppose 9*s - 14225 = -i. Does 18 divide s?
False
Suppose 13*a + 10 = 18*a. Let z be (a/(-5))/(9/45). Is 7 a factor of -38*z/4 - (-3 - -1)?
True
Let c be (1 + -3)*(-12)/8. Suppose r + 5*f = 199, -2*f = -c*r + f + 543. Is (-1 - r)*(-36)/60 a multiple of 37?
True
Let v = 103 - 66. Suppose v = o - 128. Suppose 0 = -5*s + o + 310. Is 19 a factor of s?
True
Let s = 10954 - 7262. Is s a multiple of 16?
False
Let h(u) = u - 18. Let b be (-9)/6*1*120/(-9). Let k be h(b). Suppose -2*v = -5*o - 0*v + 205, -k*o - v = -73. Is 6 a factor of o?
False
Does 27 divide 0 + (-34)/14 + 3 - 25925455/(-1085)?
True
Suppose -467 - 529 = -3*l. Let r = 700 + l. Is r a multiple of 43?
True
Let b(v) = -v**2 + 21*v - 16. Suppose 2*u - 40 = 2*z, -u = -4*u - z + 60. Let h be b(u). Is 7 a factor of (105/(-10))/(h/(-8))?
True
Let l be -4 - ((-2)/(-4))/((-5)/820). Let d be (-2 - l)*(-4 + 18/4). Let a = 86 + d. Is a a multiple of 23?
True
Suppose 22*i = -4*y + 17*i + 35, 5*y + 3*i - 34 = 0. Is 34 a factor of (10 - 6)/(y/(-4505)*-2)?
True
Let a = 17458 + -13538. Is 49 a factor of a?
True
Let f(o) = o**2 - 7*o - 5. Let p be f(7). Let s = 6 - p. Suppose s*d = -162 + 481. Is 5 a factor of d?
False
Let k be 11/3 - 11/(-33). Suppose -4*u + k*t + 868 = 0, 1133 = 5*u + 2*t + 69. Suppose 5*p - u = -3*y, y + y = 2*p - 92. Is 11 a factor of p?
True
Is (-2)/8 + (38 - 10556134/(-152)) a multiple of 37?
True
Suppose 3*t - 6*t = 0. Suppose t = d - 2*u - 7, -3*u - u - 16 = 0. Is (d - -11)*4/8 a multiple of 3?
False
Let o = -1275 - -2570. Is o a multiple of 37?
True
Suppose -4*m - 3*i - 2*i - 7 = 0, -3*m + 5*i + 21 = 0. Let n(v) = v**3 - 2*v**2 - 3*v - 7. Let r be n(10). Suppose m*x - r = -167. Is x a multiple of 22?
False
Suppose -i = 2*i - a - 7114, 3*i - 7126 = 4*a. Is i a multiple of 34?
False
Let i be 9/(-36) - 3/(-12). Let o(d) = d**2 - 18*d + 136. Is 34 a factor of o(i)?
True
Let u = -8142 - -8772. Is u a multiple of 7?
True
Suppose 31*p - 1100 = 26*p. Suppose -v + p = v - 4*z, -2*v + 220 = -5*z. Is 11 a factor of (-6)/(2*(-5)/v)?
True
Let q = 985 + -289. Let t = q - 1143. Let o = -196 - t. Is 55 a factor of o?
False
Let s(t) = 430*t - 15791. Is s(150) a multiple of 39?
False
Suppose 9*n + 54 = 36. Does 7 divide 1/(((-1)/(-777))/(n/(-6)))?
True
Let b = -6390 + 14321. Is b a multiple of 103?
True
Suppose 1460*f = 1336*f + 638352. Does 4 divide f?
True
Let n be 6/42 + (-100)/(-35). Suppose 0 = 5*s + 3*v - 417, 2*s + n*v - 165 = -0*v. Is 12 a factor of s?
True
Suppose 0 = -4*r - 32 - 16. Let v(f) = -f + 1. Let g be v(r). Suppose g*s = 2*s + 638. Is 29 a factor of s?
True
Suppose -3*k + 3090 - 703 = -2*h, 3*k - 4*h - 2383 = 0. Suppose -4*i = 4*b + b - 1081, b - k = -3*i. Does 18 divide i?
False
Let b(u) = -117*u + 41. Does 17 divide b(-8)?
False
Suppose -2*y - 4 = 4*b, 0 = -b + 3*y - 2 + 8. Suppose -3*t + 11*t - 256 = b. Does 8 divide t?
True
Suppose 