ctor of (-6)/14 + g/7?
False
Let v = 172 - 160. Does 12 divide v?
True
Let o(t) be the first derivative of t**4/4 - 5*t**3 - 13*t**2/2 - 9*t + 25. Is o(17) a multiple of 47?
False
Suppose t + 2*z = 222, z - 847 = -4*t + 20. Is 36 a factor of t?
True
Let z(w) = -2*w - 1. Let a be z(-5). Let h(p) be the second derivative of p**3/6 - p**2/2 + p. Is h(a) a multiple of 4?
True
Let o be (-2 + 0)*-1 + 61. Suppose 0*h + 4*h = -4*b, -3*b = -9. Let g = o + h. Is 10 a factor of g?
True
Let u be ((-1)/(-3))/(18/810). Let d(g) = 7*g - 25. Is 28 a factor of d(u)?
False
Let n(f) = 3*f + 12. Let z be n(-9). Let k = -17 - z. Is (k/(-4))/(2/108) a multiple of 8?
False
Let a = -484 + 731. Is 13 a factor of a?
True
Suppose -v - 217 = -5*v - 5*t, 2*t = 5*v - 230. Suppose v = x + 5*x. Let q(b) = -b**3 + 9*b**2 - 8*b + 6. Is q(x) a multiple of 6?
True
Let b(h) = 33*h + 29*h - 18 - 65*h. Let k be b(-8). Suppose 62 + 34 = k*x. Is 4 a factor of x?
True
Let s(b) = 34*b + 23. Is 2 a factor of s(0)?
False
Let m = -163 - -93. Let f = 125 + m. Suppose 63 = 2*k + n, 3*k - f = 5*n + 59. Is 19 a factor of k?
False
Suppose -f - 8 = -524. Is f a multiple of 52?
False
Suppose 3*s - 481 = -4*a, -2*a = 2*s - a - 329. Suppose 0 = -5*c + 3*f + s, -c + 13 + 22 = -f. Is c a multiple of 13?
False
Let a(g) = g**2 + 3*g + 2977. Is 10 a factor of a(0)?
False
Let p be (-3 + 2 - 0)*9. Let k be 2/p + 77/63. Let b(z) = 40*z - 1. Is 13 a factor of b(k)?
True
Suppose 3*q - 5*r = -2*r - 9, -2*r + 16 = 3*q. Let w be q*11/2 + -2. Does 6 divide 117/w - (0 - -1)?
True
Is 6 a factor of (-1 - -7) + -3 + 29?
False
Let z(b) = 301*b - 41. Does 21 divide z(2)?
False
Let s(b) = 3*b - 1. Let a(y) = y - 8. Let c be a(10). Suppose 0*o - 4 = -c*o. Does 5 divide s(o)?
True
Let v(q) = q**3 - 5*q**2 + 4*q + 1. Let y be v(6). Let g be -1*5*(-224)/(-35). Let r = y + g. Does 29 divide r?
True
Suppose i + 3*l = 7, 5*i + 3*l - 7*l = 54. Suppose 0 = -p + i + 16. Is p a multiple of 13?
True
Is 5 a factor of (2 - -22*7)*4?
False
Suppose 0 = 7*f - 14*f + 4417. Is f a multiple of 23?
False
Let n(b) = 116*b + 618. Is 21 a factor of n(7)?
False
Let i(o) = o**3 - 15*o**2 + 18*o - 7. Let a be i(14). Suppose 0*l + 3*l + 78 = 0. Let h = l + a. Is h a multiple of 6?
False
Suppose 6*u = -0*u + 816. Let t = u + -34. Does 9 divide t?
False
Let w(k) = k**3 - 11*k**2 - 12*k + 7. Let o be w(12). Does 12 divide 2/(-7) - (-373)/o?
False
Does 16 divide (-24395)/(-28) - (-6)/(-24)?
False
Let b(i) = -i**3 + 24*i**2 - 19*i - 23. Let w be b(23). Let s = w + -24. Is s a multiple of 5?
True
Let l be (-1)/(-5) - (-11990)/50. Suppose 26*g = 31*g - l. Is 12 a factor of g?
True
Suppose 3*i - 4*q - 1 = 0, 0 = -3*i - 4*q - 0*q - 7. Is (-340)/(-4) - -3*i/(-1) a multiple of 26?
False
Let g(p) = -62*p - 187. Is g(-9) a multiple of 19?
False
Let t(n) be the second derivative of n**4/6 + 3*n**3 + 11*n**2 - 30*n. Is 9 a factor of t(-14)?
True
Let a = 820 - 380. Does 10 divide a?
True
Suppose 0 = -3*h + 3*g + 777, -14*h + 10*h = 3*g - 1071. Is h a multiple of 8?
True
Suppose -8*y + 6*y + 1356 = 4*p, -5*y = 3*p - 3369. Does 32 divide y?
True
Let r = 344 + 319. Is 39 a factor of r?
True
Let r be (3 - 1)/(10/(-40)). Let a be ((-4)/r - 1)*0. Suppose 2*b - 11 + 5 = a. Does 3 divide b?
True
Let g(s) = -16*s + 10. Let m(k) = 17*k - 9. Let v(h) = -3*g(h) - 4*m(h). Is 12 a factor of v(-5)?
False
Let v be 8/(-2) + 4 + -9. Let z = 210 - 137. Let i = z - v. Does 41 divide i?
True
Suppose -2*p - 617 + 1961 = 0. Does 28 divide p?
True
Let z be 38/6 - 4/(-6). Let n(r) = -2*r**2 - 4*r**2 - 4 + 1 + 5*r**2 + z*r. Does 4 divide n(5)?
False
Let r(d) = -d**2 + 16*d + 1. Let s be r(16). Does 5 divide -26*2/(s - 5)?
False
Let s(t) = -t**2 + 46*t + 108. Is s(45) a multiple of 10?
False
Let i = 15 + 24. Let j = i + 21. Does 20 divide j?
True
Suppose -63*r - 226 = -65*r. Let w = r + 29. Does 23 divide w?
False
Let y(o) = -o**3 - 13*o**2 + 7*o - 18. Let c be y(-14). Is 5 a factor of 248/10 - (-16)/c?
True
Let s = 107 + 5. Suppose 2*a - 2*v = 266, -s - 24 = -a + 4*v. Does 13 divide a/4 + 0 + -2?
False
Suppose 1 = 3*m - 14, -m = -5*f - 20. Is 23 a factor of 36/((-1 + f)*(-18)/96)?
False
Let z be (4/4)/((1 - -1)/6). Suppose 3*b - 101 = -5*w, 0 = z*b + 3*w - 0*w - 99. Is b a multiple of 2?
True
Suppose 0 = 4*d - m + 26, 11 = -4*m + 3. Let b(a) = -8*a - 16. Let y be b(d). Is 12 a factor of (-236)/(-10) + 16/y?
True
Does 9 divide 228/10*(-30)/(-12)?
False
Let l be 1/2 + 10/4. Suppose -4*t + 143 + 49 = 0. Suppose -t = -l*o - o. Does 6 divide o?
True
Let w(r) = -63*r + 662. Is 4 a factor of w(6)?
True
Let y = -1177 - -1335. Does 2 divide y?
True
Let p = 499 - 174. Suppose 5*t - 4*y - 780 = 0, y = 2*t + 2*y - p. Is t/(-15)*-1*3 a multiple of 9?
False
Let m be (2/4)/(1/(-2)). Let a(w) = 18*w - 555. Let u be a(31). Let t = u + m. Is t even?
True
Let w(v) = -24*v. Let p be w(-1). Suppose 2*b - 3*b + 5*g + 1 = 0, -4*g + 1 = -b. Let c = p + b. Is 11 a factor of c?
False
Let l(y) = y**3 + 22*y**2 + 21*y + 14. Is l(-21) a multiple of 14?
True
Let p = -73 - -63. Is 2 a factor of 12/(-9) + (-1)/(-3) - p?
False
Suppose -9*y + 58*y = 128282. Does 77 divide y?
True
Let l(d) = d**2 - 1. Let z(x) = -x**3 + 14*x**2 + x - 9. Let g(k) = -6*l(k) + z(k). Let f be g(8). Suppose 0 = 2*u - 0*u, f*s - 5*u = 45. Does 5 divide s?
False
Suppose 200 = 32*h - 27*h. Is 6 a factor of h/(-60) - (-148)/6?
True
Let t(w) = 9*w + 3. Let b be t(-3). Let d = b - -69. Is 9 a factor of d?
True
Let m = -140 + 287. Is m a multiple of 9?
False
Let v be 1/((-5)/30*3). Does 8 divide 13/v*(3 - 5)?
False
Let y(r) = -8*r**2 - r - 7*r**2 - 10 + 16*r**2 + 3*r. Does 9 divide y(-7)?
False
Let q(s) = s**3 + 18*s**2 + 8*s - 12. Is 18 a factor of q(-8)?
False
Is (84/15)/(13/390) a multiple of 6?
True
Suppose 10 = 5*b - 5. Suppose -64 = -7*c + b*c. Is 11 a factor of c?
False
Suppose 8*w - 2200 = 1960. Does 14 divide w?
False
Let i = -1235 + 1803. Does 5 divide i?
False
Let t be 5 + -7 - ((-1 - -2) + -10). Suppose 8*w = -o + 4*w + 16, -2*w - 10 = -4*o. Suppose -4*q + 4*y = -108, -4*q + t*q - o*y - 86 = 0. Does 22 divide q?
True
Let l(a) = -a**2 + 7*a + 10. Suppose 6 - 4 = 2*y, 0 = -3*q - 2*y + 26. Let d be l(q). Suppose 0 = -d*g + 5*g - 45. Is g a multiple of 5?
True
Suppose -z + 280 = -8*z. Let m = z + 70. Is m a multiple of 18?
False
Let q = -54 + 61. Suppose q*u - 8*u + 18 = 0. Is 6 a factor of u?
True
Suppose 59*b = 4*x + 62*b - 107, -5*x = b - 142. Is x a multiple of 15?
False
Suppose 9*r = 2*r + 12754. Is r a multiple of 65?
False
Let o = 671 + -231. Is 44 a factor of o?
True
Let u = -10 - -16. Let i = 94 + -94. Suppose i = u*l - 10*l + 12. Does 2 divide l?
False
Suppose -12*w - 7*w = -48336. Does 24 divide w?
True
Suppose 0 = -30*l + 33*l - 6. Suppose l*x - 60 = -4*t, -5*x + 156 = -3*t + 32. Is x a multiple of 13?
True
Let v(w) be the third derivative of -w**6/360 + w**5/10 + w**4/6 + w**2. Let b(g) be the second derivative of v(g). Does 8 divide b(-6)?
True
Let i = -18 - -108. Does 18 divide i?
True
Suppose -4*f = -23 + 3. Is (2/f + 0)/((-3)/(-165)) a multiple of 3?
False
Is 24 a factor of (-23120)/100*5/(-2)?
False
Suppose 0 = 9*w - 4*w - 160. Let f = 68 - w. Is 18 a factor of f?
True
Suppose -29 = -3*y - 17. Suppose -7*r + 96 = -y*r. Is r a multiple of 10?
False
Suppose -r = r - 6. Suppose r*h + 4 = 1, 4*f + 3*h = 9. Suppose -5*l + 34 = -2*m + f, -4*m - 32 = -4*l. Is 5 a factor of l?
True
Suppose 2*m = -86 - 152. Let k = m + 276. Is 37 a factor of k?
False
Let b(w) = -w + 86. Is 9 a factor of b(-6)?
False
Suppose -4*r + 3*q = -4, -2*q - 2*q = -16. Let s be 2/10 + (-424)/(-5) + 3. Suppose r*j - l - 33 = 40, 5*j - s = -2*l. Does 18 divide j?
True
Let t(d) = 132*d - 26. Does 14 divide t(2)?
True
Suppose -21*q + 6 = -19*q. Suppose -q*z - 208 = -7*z. Suppose 5*x - z = 33. Is 17 a factor of x?
True
Let z(u) be the second derivative of u**4/12 + u**3/6 - 4*u**2 + u. Let i(f) = -2*f + 22. Let d be i(7). Does 16 divide z(d)?
True
Let c(b) = 5*b**3 + 6*b**2 - 5*b + 1. Let q be c(4). Let g = -15 + 20. Suppose 2*p = -5*d + q, 0*d = -2*d + g*p + 153. Is 13 a factor of d?
False
Suppose 3*b = -2*b - 3*z + 198, -5*z = 5*b - 200. Is 2 a factor of b?
False
Suppose -4*y = 5*z + 59, 3*z + 46 + 23 = -4*y. Is (-7)/y - (-658)/6 a multiple of 11?
True
Suppo