de 8 - -9 - 2/t?
True
Suppose -2*p - 6 = 5*r, -7 = -2*p + 5*r - 33. Let t(z) = z + 31. Does 5 divide t(p)?
False
Let i(k) = -4*k + 52. Let p be i(-7). Let n = p - -73. Is n a multiple of 17?
True
Suppose -45*a = -138*a + 7254. Does 13 divide a?
True
Let n = -39 + 41. Suppose -3*s = -2*g + g - 102, s = n*g + 39. Is s a multiple of 8?
False
Suppose 0*s - 7*s = -2121. Suppose 2*h = -h + s. Does 18 divide h?
False
Let z(b) = 2*b**2 + b. Let d be z(1). Suppose -d*r - r = -12. Is (-2 - r)*(0 - 3) a multiple of 10?
False
Suppose 0 = -5*s - 2*v - 0*v + 2, -2*s = v. Suppose -4*x - 2*i + 210 = 0, -s*x + 5*i = -0*x - 123. Does 6 divide x?
True
Suppose -3*w + 9 = -6. Suppose -w*n = 7 - 27. Suppose t - 2 = n. Is t even?
True
Suppose -w - 25 = j, j + 0*w - 2*w = -10. Let h be 52 - (1 + -3)/(-1). Let s = h + j. Does 19 divide s?
False
Let h(y) = 2*y**2 - 22*y + 16. Suppose -3*t - 29 = -b, 0 = 5*b - 2*t - 80 - 0. Is 20 a factor of h(b)?
True
Let q(p) = p**3 + 5*p**2 - 4 + 4 - 7*p - 3. Let x be q(-6). Suppose t + 4*u - 69 = 0, -5*u = -x*t + 65 + 142. Is t a multiple of 15?
False
Let n be 4 + -1*(-118)/(1 + 1). Let s = 88 - n. Does 6 divide s?
False
Let u = 126 - -6. Suppose -3*b - b + 4*c - 252 = 0, -4*c + u = -2*b. Let g = 0 - b. Is g a multiple of 20?
True
Suppose -f + 2*y + 14 = -y, 3*y - 1 = -2*f. Suppose -114 = -s + 5*k, -3*k + f*k = -3*s + 274. Is s a multiple of 54?
False
Let h(p) = 6*p - 12. Let c(q) = -q + 2. Let z(v) = -28*c(v) - 4*h(v). Suppose 2*f = -0*f + 10. Is z(f) a multiple of 5?
False
Let z = -48 - -57. Suppose 4*n - 4*f = 20, 4*n = 3*n - 3*f + z. Does 2 divide n?
True
Let y = -2285 - -3653. Is y a multiple of 13?
False
Let q = 2024 - 945. Is 13 a factor of q?
True
Let r be ((-20)/(-6))/(4/54). Suppose -10*f + r = -7*f. Is f a multiple of 5?
True
Let j = 2151 + -1263. Is 5 a factor of j?
False
Is 22 a factor of 135*(-4 + (-16)/(-3))?
False
Let g(r) = r**2 - r + 2. Let u be g(2). Let j be (-50)/u*(-336)/70. Suppose -n = n - j. Is 15 a factor of n?
True
Let h = -286 + 1479. Is h a multiple of 7?
False
Let k(x) be the first derivative of 2*x**3 - 3*x**2 + 5. Let t be ((-6)/(-4))/((-5)/(-10)). Is k(t) a multiple of 12?
True
Let r(y) = -y**3 - y**2 + 4*y + 4. Suppose -l - 7 = h, -5*h + 0*l - 5 = -5*l. Does 8 divide r(h)?
False
Suppose -4*t + 9 = -t. Let m be ((-12)/(-3))/(2/t). Does 19 divide (0 + -1)*(m - 39)?
False
Let c(n) = 59*n**2 - n - 1. Suppose -3*w - 5 = -2. Is c(w) a multiple of 16?
False
Let c = -96 + 159. Suppose -4*h - h = 3*o - 185, -2*h = -o - c. Does 17 divide h?
True
Suppose 5*b - v = 14, 3*b + 4*v + 0*v + 10 = 0. Does 42 divide (20/25)/b - (-1088)/5?
False
Suppose 0 = 18*n - 15*n. Suppose 0*a - a + 99 = n. Suppose -z - 2*z = -2*m + a, 2*m - 5*z = 109. Is m a multiple of 16?
False
Let k(v) be the second derivative of -v**5/20 - 13*v**4/12 + 5*v**3/2 - 7*v**2 - 2*v. Let s be k(-14). Let x = s - -102. Is 19 a factor of x?
False
Let w = 30 - -68. Is 49 a factor of w?
True
Let v(c) = -5 + 5 - 3 + 2*c - 1. Let r be v(0). Let d = 58 - r. Does 19 divide d?
False
Let f be (2 + -2 + -9)*(-8)/6. Does 51 divide 1262/9 + f/(-54)?
False
Suppose 4*p - 3602 = -4*x + 2*x, -p + 9005 = 5*x. Does 61 divide x?
False
Let f be 1/3 + 78/9. Let v(g) = g**2 - 9*g. Let x be v(f). Suppose x = 2*a - 22 - 28. Is 14 a factor of a?
False
Suppose -f - 952 = -3*i, i + i - 630 = 3*f. Suppose -4*p - 2*n = -8*p + 430, -3*p + 3*n + i = 0. Is 15 a factor of p?
False
Suppose 2*s - 415 = -5*d, -102 + 296 = s - 2*d. Does 12 divide s?
False
Suppose 0 = 10*x - 11*x + 4. Suppose 0 = -4*w + 3*k + 108, 3*w - 70 = x*k + 18. Let c = 42 - w. Does 9 divide c?
True
Is 7 a factor of 14 + 7/((-35)/30)?
False
Suppose -4 + 16 = -4*w. Let o be w/4 + 270/40. Suppose 4*f = b - 56, 180 = 4*b - o*f + f. Is b a multiple of 20?
True
Let k(w) = 375*w - 39. Let p(l) = 75*l - 8. Let x(b) = 5*k(b) - 24*p(b). Let d be x(2). Suppose 447 = 5*o + d. Is o a multiple of 10?
True
Let o be ((-30)/(-9) - 2)*-21. Let c be -22*1*14/o. Suppose -d + c = -32. Does 10 divide d?
False
Suppose -17*y + 132 = -15*y. Let n = -50 + y. Is n a multiple of 2?
True
Does 11 divide (-844)/(-11) + 18/66?
True
Let b = 107 - 102. Suppose -b*x - 257 + 829 = -4*m, 0 = -3*x - 3*m + 354. Is 29 a factor of x?
True
Let k(f) be the third derivative of f**4/12 + 2*f**2. Suppose -6*y = -4*y - 26. Is k(y) a multiple of 13?
True
Suppose 30*b - 10682 = 12838. Is b a multiple of 7?
True
Suppose 4*h - 11849 - 1187 = 0. Is h a multiple of 15?
False
Let w be -10 + 6 - ((-6)/3 - 5). Is 12 a factor of w/5 - (-3 + 889/(-35))?
False
Let x be 743/4 - (-3)/12. Suppose -8*u + 414 + x = 0. Is 25 a factor of u?
True
Suppose -6*q = -11*q. Suppose 4*i - 8 = 0, q = 2*r + 4*i - 235 - 1. Does 44 divide r?
False
Let r = -102 - -259. Let q = 224 - r. Is 13 a factor of q?
False
Let f(t) = 57*t + 45. Is 49 a factor of f(25)?
True
Let b = 63 - 18. Let k = -5 - -12. Let y = k + b. Is y a multiple of 13?
True
Suppose 0 = 4*w + 2*y - 3400, -5*w = -7*w - 4*y + 1700. Is 85 a factor of w?
True
Let y = -48 - -39. Let j = y - -22. Is j a multiple of 10?
False
Let g = 39 + -63. Let b = -20 - g. Suppose -b*r - 2*j + 80 = 2*j, r + 2*j = 17. Does 23 divide r?
True
Does 3 divide 2387/93 + (-1)/((-3)/(-2))?
False
Let r be -1 + (4 + -1)*1. Is (-1105)/(-34) + r/(-4) a multiple of 8?
True
Let b = -66 - -1944. Is b a multiple of 92?
False
Suppose 4*q + 2 - 14 = 0. Suppose 4*k - 22 = -2*a + 30, 0 = -5*k - 5*a + 70. Does 3 divide 8/k - (-7)/q?
True
Suppose -w + 51 = -4*f, -f + 84 = -7*w + 9*w. Is w a multiple of 10?
False
Suppose -l + 8 = -0*l. Is 3 a factor of l?
False
Let h(p) be the first derivative of p**2/2 - p + 1. Does 2 divide h(7)?
True
Let b = 920 + -288. Is b a multiple of 7?
False
Let z be 111/6*8*1. Suppose -w + 3*w + d = z, 2*w - 154 = -4*d. Let y = -34 + w. Is 14 a factor of y?
False
Suppose -4*j + 9 + 3 = 0. Is j/6*52/1 a multiple of 13?
True
Suppose 0 = -489*a + 497*a - 12160. Is a a multiple of 10?
True
Let t = 47 + -45. Is (-3)/(-1)*1 - -73*t a multiple of 12?
False
Let g = 11 + 34. Let b = 981 - 977. Let h = g + b. Is h a multiple of 11?
False
Let m(b) = 32*b + 21. Let x be m(9). Suppose 0 = 3*v - c - x, 3*c + 0*c = -9. Suppose -v = -4*r + 46. Is r a multiple of 18?
False
Let o = 64 - 60. Suppose 2*p - 96 = -p + o*x, 2*x = -p + 42. Does 4 divide p?
True
Let b(y) = y**3 + 11*y**2 - y + 1. Suppose -3*t - 4*o = 49, -t + 6 = -3*o + 5. Does 6 divide b(t)?
True
Let f be (7/(-2))/(11/(-770)). Suppose -6*l = -37 - f. Suppose -5*w - r = -l, 4*w = -w + r + 53. Is 2 a factor of w?
True
Suppose 30762 = 183*n - 165*n. Is n a multiple of 10?
False
Let g(c) = 2*c**2 - 17*c + 25. Let m(q) = 9*q - 7. Let x be m(2). Does 11 divide g(x)?
False
Let s = -31 + 62. Suppose -5*q = s - 511. Does 16 divide q?
True
Let p(s) = -s**3 + s**2 + 6*s + 3. Let c be p(-4). Is c - 8*(-1)/2 a multiple of 8?
False
Let d = 82 + -20. Suppose -94 + d = -2*t. Is 4 a factor of t?
True
Suppose 2*x - 984 = 4*x - 2*p, -5*x + 3*p = 2454. Let c = -324 - x. Does 29 divide c?
False
Does 7 divide -5 - (-5034)/45 - (-2)/15?
False
Suppose 27*p = 29*p - 330. Is p a multiple of 19?
False
Suppose 0 = 50*w - 37*w - 1092. Does 10 divide w?
False
Let f(p) = p**2 - 6*p. Let u be f(6). Suppose 304 = 4*s - 2*h, u = 4*s + 4*h - 66 - 238. Suppose y + 3*k + 28 = 69, 2*y + 4*k = s. Is y a multiple of 16?
True
Let l(j) = j**3 + 9*j**2 + 5. Let n = 8 + -17. Let x be l(n). Suppose g + 5*d - 32 = -g, -4*g + x*d + 64 = 0. Is 4 a factor of g?
True
Suppose 707 = 6*f + f. Does 21 divide f + -1 - 32/(-8)?
False
Let d(l) = -l**3 + l**2 + l. Let n(o) = 5*o**3 - 12*o**2 + 8*o - 5. Let w(q) = 6*d(q) + n(q). Let c be w(-8). Let v(s) = s**2 - 9*s - 2. Is 20 a factor of v(c)?
True
Suppose -7*z = -8*z + 2. Suppose -4*u - 8 = n, 0*n - 2*u = -z*n + 14. Suppose 53 = -x + 6*x + 4*h, -64 = -4*x + n*h. Does 6 divide x?
False
Let q(d) = -d**3 + d**2 + 240. Let g be q(0). Suppose 0*a = a - g. Suppose k = -5*c + 42 + 6, 5*k - 4*c = a. Is k a multiple of 12?
True
Suppose -3*p = -12, -2*p = 3*r + 705 - 1739. Is r a multiple of 3?
True
Let m be (1/((-2)/4))/2. Let d(s) = 103*s - 9. Let g(v) = -52*v + 5. Let y(q) = -4*d(q) - 7*g(q). Does 11 divide y(m)?
False
Suppose 4*x = 2*p + 196, -5*p = -4*x + 299 + 167. Suppose 2*b = -3*b + 15. Is 25 a factor 