= 122. Let m = g - n. Is m a multiple of 5?
False
Let k = 2081 + -971. Is 15 a factor of k?
True
Suppose 3*k + 3 - 12 = 0, t + 7 = 4*k. Suppose -6*x + 257 + 163 = 0. Suppose t*r - x = -0*r. Is 5 a factor of r?
False
Let t(s) = -5*s - 14. Does 12 divide t(-22)?
True
Suppose 0 = 794*c - 798*c + 3712. Does 9 divide c?
False
Let v(f) = f**3 - 12*f**2 + 10*f + 16. Let p be v(11). Let d be (3/2)/(3/8). Suppose -p*z = 4*a - 54 - 27, d*z - 70 = 2*a. Is 12 a factor of z?
False
Let s = 113 + -94. Let t = s + 152. Is 13 a factor of t?
False
Let x = 1479 - 867. Is x a multiple of 9?
True
Is 13 a factor of 269*(-6 + (2 - -5))?
False
Suppose 24*a - 19139 = -563. Does 70 divide a?
False
Suppose -4*x + 5*x - 16 = 4*h, -3*h - 12 = -2*x. Suppose -y + 3*y = x. Suppose y = -4*p + 5*p - 34. Is p a multiple of 17?
True
Suppose -v - 12 = -4*v. Suppose -4*j = -v*o - 96, 2*j - 3*o - 16 = j. Is j a multiple of 7?
True
Let v(r) = -3*r - 14. Let m be v(-4). Does 6 divide (43 - 1) + -2 - 4/m?
True
Let b(h) be the second derivative of -h**3/2 + 5*h**2/2 - 2*h + 14. Is b(-5) a multiple of 12?
False
Let p be 10/((-16)/(-12) + -2). Suppose 5*g + 140 = -3*s, -2*g - s + 2*s = 67. Let z = p - g. Does 3 divide z?
False
Suppose -36517 = -70*c - 8937. Is 13 a factor of c?
False
Let n(v) = -v**3 - 11*v**2 - 8*v - 25. Let j be n(-13). Let c = 600 - j. Does 17 divide c?
False
Suppose p - 4*p + 45 = 0. Suppose 0 = -p*t + 14*t + 34. Is 24 a factor of t?
False
Let l(s) = 17*s**3 + 7*s**2 + 3*s - 20. Let b(t) = 6*t**3 + 2*t**2 + t - 7. Let u(v) = 8*b(v) - 3*l(v). Is u(-4) a multiple of 13?
False
Let u(c) = 4*c**2 - 8*c + 9. Let w be u(1). Suppose 0 = w*d + 3*n - 923, 2*d - n - 137 = 241. Is d a multiple of 17?
True
Let u(d) = 84*d + 7 - 4*d**2 - 82*d - d**2 - d**3. Let s be u(-7). Let t = -37 + s. Does 9 divide t?
True
Let q(s) = -s**3 + 4*s**2 + 9*s - 16. Let h be q(5). Does 5 divide 41 - (h + -6 + 6/2)?
True
Suppose -230 = 2*i + 3*i. Suppose z + d - 103 = 0, 3*z = -z + 4*d + 428. Let q = z + i. Is 31 a factor of q?
False
Suppose n - j = 5*n + 204, 0 = 5*n - 3*j + 255. Let q = n - -91. Does 10 divide q?
True
Let h(k) = -3*k - 54. Let w be h(-7). Let f be ((-51)/(-4))/((-2)/(-8)). Let o = f + w. Is 9 a factor of o?
True
Suppose 4*g - 5828 = 4*h, 0 = -5*g - 43*h + 39*h + 7249. Does 95 divide g?
False
Suppose 119 = s - 137. Is 13 a factor of s?
False
Let k(u) = -19*u - 17. Let r(b) = 10*b + 8. Let h(v) = -4*k(v) - 7*r(v). Let f = 8 + -3. Is 14 a factor of h(f)?
True
Suppose -12*h + 10*h = 0. Suppose -15*j + 11*j + 360 = h. Does 30 divide j?
True
Suppose -3*l - 11*v + 5043 = -7*v, 3*l - 4*v - 5019 = 0. Is 13 a factor of l?
True
Suppose 12 = 2*i + 4*i. Is 2 a factor of i?
True
Let j(q) = q**2 + 25*q - 26*q + 8 + 0 - 2*q**3 + 3*q**3. Is 4 a factor of j(0)?
True
Let q be (0*3/(-6))/(-2). Suppose q = -6*h + 7*h - 2. Let b(l) = 19*l - 3. Is 14 a factor of b(h)?
False
Suppose -3*v + o + 3*o = -96, 3*v - 3*o = 99. Let h be 1 + (v/2 - -2). Suppose -h = -5*g + 39. Is 10 a factor of g?
False
Let v(b) = 2*b**3 - 67*b**2 - 27*b - 59. Is 2 a factor of v(34)?
False
Let o = -10 - -74. Let p = o - 43. Is 12 a factor of p?
False
Suppose -3*h - a + 4 = -2*h, 3*h - 12 = -2*a. Suppose -h*g = g - 675. Does 17 divide g?
False
Suppose -5*c = 5*g - 5305, 4*c - 3414 = -2*g + 838. Is c a multiple of 22?
False
Suppose -x + 3 = -0*x. Suppose -4*n - x*w = -w - 72, 0 = -5*w - 20. Suppose 0*h - n = -5*h. Is 4 a factor of h?
True
Suppose f + 5*m + 5 = 2*f, f = -m + 5. Suppose 59 + 5 = f*u - j, -3*u + 5*j + 56 = 0. Is 9 a factor of u?
False
Let u(c) = 2*c. Let d(v) = v**2 + v + 1. Let f(p) = 5*d(p) - u(p). Let m be f(5). Let w = m - 89. Is 14 a factor of w?
True
Is -3*6/(-54) - 5038/(-6) a multiple of 14?
True
Let a = -41 - -88. Let f = 142 - a. Is 15 a factor of f?
False
Let r = -208 - -230. Does 12 divide r?
False
Suppose 5*a + a - 912 = 0. Suppose 2*t - a = -54. Does 7 divide t?
True
Let v be 10/(-6) + 1/6*-2. Is -6*((-724)/24 - v/3) a multiple of 17?
False
Suppose -4*p + 112 = -8*p. Let k = -5 - p. Is 23 a factor of k?
True
Suppose 8 = -4*u, 10*u = 3*s + 5*u - 313. Let d = -77 + s. Is d a multiple of 24?
True
Let q be (-2 + -1)*4/(-6). Is 16 a factor of 18/((q/((-2)/(-2)))/9)?
False
Let g be ((-162)/(-15) + -6)/(4/10). Is (-1 - -43)*(1 + 4/g) a multiple of 7?
True
Let t(s) be the third derivative of -s**4/24 + 2*s**3 - 10*s**2. Let a be t(6). Is 146/a + 1/(-3) a multiple of 8?
True
Let z = 9 - 4. Suppose -5*i = -z*k, -k - 2*k = 5*i. Suppose -5*x - 95 + 260 = k. Is x a multiple of 31?
False
Suppose 2*v - 2*b + 19 = 75, 4*v = b + 97. Suppose 3*x + v = 59. Suppose -11 - x = -k. Does 6 divide k?
False
Let q(m) be the third derivative of -m**2 - 1/8*m**4 + 0*m + 0 + 1/20*m**5 + 1/6*m**3. Is 14 a factor of q(5)?
False
Let d = -417 - -740. Suppose d = -6*a + 851. Does 8 divide a?
True
Let h be (4/2)/(8/572). Suppose -3*x = -i - 0*i - 55, -h = 2*i + 5*x. Is (i/(-40))/((-4)/(-90)) a multiple of 8?
False
Let p(j) = -4*j**3 - 2*j - 1. Let s be p(-1). Suppose -5*g = s*z - 100, 4*z - 3 = -15. Suppose -4*x - t + 143 = -4*t, -5*t = -x + g. Does 13 divide x?
False
Let h(g) = 44*g**3 + 7*g**2 + 3*g. Let s(x) = -132*x**3 - 20*x**2 - 8*x. Let z(n) = -11*h(n) - 4*s(n). Is z(1) a multiple of 13?
False
Let k(d) = 2*d**3 + 2*d**2 + 3*d - 3. Let f(b) = -b + 6. Let m be f(4). Suppose 3*a = 5*p - 18, 5*p = m*a + 10 + 7. Is k(p) a multiple of 14?
False
Let f = 8 + -8. Suppose 4*y = -f*y + 8. Suppose -h - 181 = -3*x - y*x, -2*x + h + 70 = 0. Does 14 divide x?
False
Let n be -2*(-5)/(-15)*3. Let c(z) = -z**3 + 3*z**2 + 2*z + 2. Let f be c(n). Is 10 a factor of (f/8)/((-57)/(-760))?
True
Suppose -332 = -5*n - c, -5 = -4*c + 3. Suppose -3*p + 6*p - n = 0. Is 18 a factor of p?
False
Suppose 5*c - 55 = -4*v, -2 = -c + 1. Suppose -3*x + 21 = 3*s, 4*x = -3*s - v + 35. Suppose 47 = s*l - 100. Is 14 a factor of l?
False
Is 1*-10*(-2)/(-4) - -166 a multiple of 11?
False
Let v = 67 - 99. Is 10 a factor of 98/6 + v/6 + 6?
False
Suppose 4*p + 2*b - 3*b = -32, -p = 5*b + 29. Does 7 divide (-2110)/(-15) - (0 - 6/p)?
True
Suppose 17*p = -22*p + 28353. Is 10 a factor of p?
False
Suppose 3*x - 4*d = 3 + 6, -5*x - 3*d + 15 = 0. Suppose 2*r + 4*n - 23 - 29 = 0, -2*r + 52 = -x*n. Suppose 0 = -2*u + 26 + r. Is 13 a factor of u?
True
Let x(o) = o**2 - 4*o + 4. Let a be x(3). Does 7 divide a - 7/((-35)/160)?
False
Suppose p + 4*j - 63 = 0, 28 - 8 = 5*j. Is 8 a factor of p?
False
Suppose 17*p = -5*p + 32890. Is 115 a factor of p?
True
Let k be 3/12*0*1. Suppose -m + 1 = -k. Does 12 divide (-18)/12*m*-16?
True
Let a(r) = -10*r**3 + 25*r**2 + 4*r - 15. Let f(h) = -3*h**3 + 8*h**2 + h - 5. Let k(b) = 2*a(b) - 7*f(b). Suppose -o + 24 = 3*o. Is k(o) a multiple of 10?
False
Let v(b) = -2*b - 13. Let m be v(14). Let t = m - -24. Let q = t + 19. Is q even?
True
Suppose q - 3*z - z + 1 = 0, -5*z - 7 = -4*q. Let i = q + 1. Suppose i*k - k - 80 = -4*f, -2*k + 4*f = -40. Is 15 a factor of k?
False
Let i(s) = -s - 3. Let l be i(-7). Suppose -l*f = -f. Suppose -j + 48 = 2*v, f*v - 3*v = 6. Is j a multiple of 13?
True
Let i(h) = -188*h**3 + 3*h**2 + 3*h + 2. Is 8 a factor of i(-2)?
True
Suppose -r + 4*t = -4, -3*r + 12 = 5*t - 0. Suppose -r*m = 5 + 31. Is 7 a factor of ((-30)/m - 1)*9?
True
Let a(p) = p**3 + p**2 + p + 7. Let g be a(-3). Is g*(28/(-8) - 3) a multiple of 7?
True
Suppose -13*n = -15*n. Suppose 4*i - 58 - 86 = n. Does 9 divide i?
True
Suppose -30*x = -26*x - 136. Let s = 288 - x. Is s a multiple of 14?
False
Suppose 50*k + 420 = 54*k. Is 12 a factor of (0 + (-80)/6)*(-756)/k?
True
Let i = 38 + -14. Let j be (-2)/6 + 8/i. Suppose -5*r = -0*w - w + 29, j = 3*w - 4*r - 76. Is w a multiple of 12?
True
Let s = -764 - -1109. Is 13 a factor of s?
False
Let j = -776 - -1310. Is j a multiple of 20?
False
Let g(r) = 6*r - 18*r - 12 + 16*r. Is 4 a factor of g(5)?
True
Let v(m) = -m**2 + 4*m + 3. Let t be v(4). Suppose -6*z + t*j = -2*z - 243, 2*j + 302 = 5*z. Does 15 divide (z/(-8))/((-3)/12)?
True
Let u be (-1)/(-3) + (-9060)/(-36). Suppose 3*x = -x + u. Does 14 divide x?
False
Let r be (-2*2)/(-8) + 843/(-6). Let g = r - -146. Does 6 divide g?
True
Let i be -10*(28/8 + -3). Let g(q) = 3*q**2 + 4*q - 2. Let x be g(i). Suppose -3*v + 3*h + 0*h + 75 = 0, 2*v = h + x. Is 7 a facto