s 17 a factor of q?
False
Let x be (-154)/(-55) + 8/(-10). Suppose -2*t + 85 = k, 0*t - 175 = -x*k - 5*t. Does 14 divide k?
False
Suppose 3*f + 15 = 0, 2*o - 24 = o + 4*f. Suppose 8*j - 4*j - 196 = 4*z, o*z - 39 = -j. Does 47 divide j?
True
Suppose 0*m + 3*m = -0*m. Suppose 4*b - 5*p + m*p - 715 = 0, -3*p = 4*b - 755. Does 37 divide b?
True
Suppose -2*k = 2*r + 8, k = r - 9 + 3. Let g be (r - 2)*-1 + 2. Suppose -2*a - 43 = -g*a. Is 12 a factor of a?
False
Let y = 94 + -38. Suppose 4*w - y = 40. Does 4 divide w?
True
Suppose 24*i - 649 = 671. Does 6 divide i?
False
Let d(f) be the third derivative of -f**7/840 - f**6/45 + f**5/24 - f**4/8 + f**3/3 + 3*f**2. Let x(b) be the first derivative of d(b). Does 11 divide x(-9)?
True
Suppose 3*t - b - 1463 = 300, 0 = -5*t - 5*b + 2965. Is 16 a factor of t?
False
Let h = 57 - 34. Let i = h - 80. Is (i/(-6) - 1)*6 a multiple of 18?
False
Suppose -12*t - 7956 = -21*t. Does 26 divide t?
True
Suppose -w = -4*w - u - 17, -2*u + 8 = 0. Is 8 a factor of 292*(2/(-8))/(w/14)?
False
Let s(r) = 2*r + 15. Let c = 17 + -12. Suppose c*y - y = 0. Is s(y) a multiple of 15?
True
Let f = -38 - -311. Is f a multiple of 21?
True
Does 62 divide -1401*16/(-24) + -2?
False
Suppose 19*i = 18*i. Suppose i = -p + 40 + 121. Does 23 divide p?
True
Let o(d) = 17*d - 20. Suppose -4*q = -4*m - 8, q + 0*m = 2*m. Does 12 divide o(q)?
True
Let k(f) = 7*f**2 - 3*f + 5. Let p be k(5). Suppose -2*w = -7*w - p. Let i = -12 - w. Is i a multiple of 7?
True
Let v be 1379/2 + 2/(-4). Suppose -13*u = -676 - v. Does 21 divide u?
True
Let f = 109 - -76. Is f a multiple of 19?
False
Let d be -18 + (-1)/(1/2). Does 15 divide (-1347)/(-15) + (-4)/d?
True
Let d = 47 - -1. Suppose d + 0 = 2*k. Is 5 a factor of k?
False
Let s = -111 + 266. Let b = s + -59. Is b a multiple of 16?
True
Let t(x) = x**3 + 2*x**2 - 3*x - 3. Suppose -10 = -i + 6*i. Let j be t(i). Suppose 0 = j*s + 4*s - 119. Is 9 a factor of s?
False
Let c(m) = 340*m + 141. Does 9 divide c(3)?
True
Suppose -6*v + 2*v = -56. Let n = 6 - v. Does 18 divide 27*3*n/(-18)?
True
Let o(u) be the second derivative of u**3 + 197*u**2/2 + 20*u. Does 20 divide o(0)?
False
Let j be ((-15)/10)/((-3)/32). Let h = j - 4. Does 4 divide h?
True
Let m(c) = 18*c + 201. Is 16 a factor of m(0)?
False
Suppose 1360*i = 1357*i + 3045. Is 35 a factor of i?
True
Suppose 24 = -3*s - 5*d + d, 2*s - 2*d = -30. Let j(l) = -l - 10. Let o(u) = 14. Let x(h) = 7*j(h) + 3*o(h). Is x(s) a multiple of 13?
False
Suppose 7*y + 1049 - 4227 = 0. Is 32 a factor of y?
False
Let w(d) be the first derivative of -2*d**4 - d**3/3 - d**2/2 + 20. Does 8 divide w(-1)?
True
Does 45 divide ((-11)/(231/(-1080)))/((-7)/(-49))?
True
Is 13 a factor of (-88)/(-220) - (-1798)/5?
False
Let a(m) = -m**2 + 13*m - 19. Let r be a(3). Let i(z) = -z**3 + 11*z**2 + z + 4. Does 5 divide i(r)?
True
Let m(v) = -53*v**2 + 56*v**2 + 7*v - 1 - 6. Does 26 divide m(-9)?
False
Suppose -4*i = 2*a - 20, 0*a - 3*a = -5*i + 3. Is (i - 7)*58/(-4) a multiple of 21?
False
Let v(z) be the second derivative of 2*z**3/3 + 9*z**2/2 + 6*z. Is v(5) a multiple of 17?
False
Let v = -370 + 540. Does 5 divide v?
True
Let g(t) = 94*t + 266. Is 46 a factor of g(5)?
True
Suppose 2*i + 4*h = 20, 0*h = 5*i + 5*h - 30. Suppose 0 = -o + i*o - 133. Is o a multiple of 36?
False
Let k(a) = -9*a**3 + a**2 - 19*a - 115. Is k(-5) a multiple of 5?
True
Suppose 2*o = 7 - 1. Let h = 521 + -116. Suppose 0 = 2*t + 4, 5*i - h = o*t + 151. Is 38 a factor of i?
False
Let t(q) = -3*q**3 - q - 1. Let o be t(-1). Let m(w) = w**3 - 4*w + 1. Does 3 divide m(o)?
False
Let c be 15/2*(-10)/(-15). Let z = 56 - c. Is 39 a factor of z?
False
Let h be (2 - (-9)/(-4))*-12. Suppose -5*l - m - 325 = -10*l, 0 = -5*l - h*m + 325. Suppose -3*s - 4*t = -87, -3*t - l = -5*s + 51. Is s a multiple of 10?
False
Let s = -13 + 17. Suppose -6 = -s*b + b. Suppose 0 = x + 2*x - b*y - 145, x - 39 = -4*y. Is x a multiple of 13?
False
Let y = -602 - -1095. Is 5 a factor of y?
False
Suppose -30*y + 2 = -29*y. Suppose 5*w + 27 = 3*p, p - 6 = -y*p - 2*w. Suppose 16 = p*u - 32. Is 3 a factor of u?
True
Suppose l + 23 = 2*j - 2*l, 0 = -2*j + 4*l + 28. Let g(o) = 7*o + 5. Let d be g(4). Suppose -121 = -j*q - d. Does 22 divide q?
True
Let y(j) be the second derivative of j**5/20 - j**4/6 - j**3/2 + 7*j**2 + 21*j. Does 8 divide y(4)?
False
Let g(d) = -d - 5*d**2 + 9*d**2 + 2*d - 3. Suppose 2*y + 2*s + 4 = 2, -3*s = -9. Is g(y) a multiple of 19?
True
Let t = 983 + -639. Is t a multiple of 53?
False
Suppose 191 + 65 = 2*t. Does 34 divide t?
False
Is (-7 - (-128)/20) + 33309/15 a multiple of 60?
True
Let w(n) be the third derivative of n**4/8 - 15*n**3/2 - 23*n**2. Is 6 a factor of w(17)?
True
Suppose -6*i + 8 = -2*i. Suppose 82 = i*q + 22. Is 5 a factor of q?
True
Let n be (-6)/9 + 86/(-6). Let s(k) = 29*k**3 + k. Let o be s(1). Let a = o + n. Does 7 divide a?
False
Suppose 0 = -3*c - 6*r + 2*r + 1628, 2154 = 4*c - 3*r. Is c a multiple of 20?
True
Suppose -6 = -2*n - o + 4*o, -4*n + 12 = 4*o. Suppose -n*v + 71 = 221. Is 16 a factor of (160/v)/((-2)/50)?
True
Let n be 2*(-3 - -2) + (-66)/3. Let c = 60 - n. Is 25 a factor of c?
False
Suppose 19 = 2*v + 5. Let b(d) = -d**3 + 6*d**2 - 2*d + 9. Let o be b(v). Is o/(-8)*(-96)/(-18) a multiple of 6?
True
Let o(w) = -51*w + 11. Let p be o(-3). Suppose 5*h - 40 - 30 = -2*f, 4*f - p = -4*h. Is f a multiple of 15?
True
Let f(q) = -15*q**3 + 3*q + 2. Let d be f(2). Let g = -253 - -476. Let w = d + g. Is w a multiple of 16?
False
Suppose 9*r - 12*r + 3 = 0. Is 21 a factor of (-578)/(-16) + r/(-8)?
False
Let b be (-1206)/3*4/(-6). Suppose -2*d = 4*w - b, -3*w + d + 38 = -163. Suppose u - 5 = w. Is 13 a factor of u?
False
Let j be (-806)/(-12) + 3/(-18). Let t = 119 - j. Is t a multiple of 13?
True
Suppose -4*o = -20, 0 = -3*w + w - o + 6547. Does 84 divide w?
False
Suppose 3*q + 3*z = 255, 2*z = 3*z - 1. Is q a multiple of 28?
True
Let l = 667 + -307. Is 10 a factor of l?
True
Let s(j) = -18*j + 6. Suppose -5*c + 4*v + 26 = 0, 5*c - c = -v + 4. Let f be s(c). Is 25 a factor of 90/(-3)*f/12?
True
Is 2 a factor of -1 - (-7 - (7 + 257))?
True
Let c(b) = -b**3 + 4*b**2 + 5*b + 6. Does 6 divide c(3)?
True
Suppose -h - 2*v - 27 = -4*v, -5*h - v - 179 = 0. Let n = 44 + h. Is n a multiple of 9?
True
Let y be (-27)/(-2)*1540/165. Let u = -230 - -409. Let r = u - y. Is 14 a factor of r?
False
Let d(v) = -41*v - 3. Let z be d(-4). Suppose 41 + 16 = a - 2*t, 3*a - t - z = 0. Is 9 a factor of a?
False
Suppose -5*p + 2378 = 4*f - 1140, 4*p + 890 = f. Does 14 divide f?
True
Let v(z) = -4*z + 311. Is v(-14) a multiple of 10?
False
Suppose v = -3*v + 12. Suppose -7*s + 2*s = 0. Suppose 0 = -3*j - v*k + 162, 5*j + 2*k + 0*k - 261 = s. Does 17 divide j?
True
Suppose 2*z - 10 = -y - 2, 4*y - 5*z - 32 = 0. Suppose -4*k - y = -s - s, -3*s - 5*k + 12 = 0. Suppose 21 = -3*g + s*g. Does 13 divide g?
False
Let j = 37 + -59. Let i = 33 + j. Suppose 4*b = 2*x + 2*b - 46, x + 2*b = i. Is 19 a factor of x?
True
Suppose -510 = -7*j - 3*j. Does 5 divide j?
False
Let v be (-10 - 2)*(-1)/(9/30). Suppose -2*z + 2*p + 2 = -v, 3*z - 59 = 2*p. Does 3 divide z?
False
Let y be 2*5*(-66)/(-22). Does 17 divide (y/(-12))/(3/(-150))?
False
Suppose d + 4*z = 969, 0*d + d + z - 981 = 0. Does 67 divide d?
False
Let o be 2/(-9) + (-94)/(-18). Suppose -u = -5*l - 8 + 704, l + u = 138. Suppose -o*c + l = -16. Is 7 a factor of c?
False
Let s be ((-126)/35)/((-2)/(-10)). Let x be (-27)/s*(-2)/3. Let g(v) = 38*v**2 - v. Is g(x) a multiple of 11?
False
Is 43 a factor of (-5*8142/(-30))/(2 + -1)?
False
Suppose -6*o + 10*o = 1884. Let c = o + -251. Does 13 divide c?
False
Suppose -2*z - 4*u = -3*z + 3, -3*z - 3*u + 39 = 0. Suppose 0 = 5*x + 2*n - z, -5*x + 11 = -3*n - 10. Is x even?
False
Suppose -11*d = -2004 + 343. Is 6 a factor of d?
False
Suppose 4*n - 264 = -0*n. Suppose -6*m + 54 = -n. Suppose 5*i + 0 = m, 5*k - 352 = -3*i. Is k a multiple of 29?
False
Suppose 5*p + v + v = 21, -p + 3*v - 6 = 0. Suppose -d = -5*a - 3*d + 195, -p*a + 86 = -5*d. Does 12 divide a?
False
Let q = 91 - 142. Let u = 107 + q. Does 7 divide u?
True
Let r(c) = -c**2 - 12*c - 23. Let v be r(-10). Is (0 + -16)/(v - -1) a multiple of 2?
True
Let x be (5 - 8)*6/9. Is 9 a factor of 3/