1, 4 = -t. Suppose -7*w + 79 = 639. Let i = v - w. Is 13 a factor of i?
True
Suppose -19*k + 107 = -4054. Does 4 divide k?
False
Let p = 25 + -22. Suppose 0 = -4*o + 5 + 3. Suppose -4*u + 146 = p*i, -o*i + 123 - 24 = u. Is 20 a factor of i?
False
Let d = -2490 - -2522. Is d a multiple of 31?
False
Let z be ((-3 - -2)/3)/(1/(-3)). Is 7 a factor of (-122 - 2)/((1 + z)*-1)?
False
Let a = 448 + -256. Suppose -3*z - a = -2*l - 581, 3*z - 404 = -l. Is z a multiple of 27?
False
Let b(d) = -d**3 - 5*d**2 + 5*d + 2. Let r be b(-6). Is (r + 11)/(3/6) a multiple of 30?
False
Suppose -4*z - 4 = -5*h, z + 2 - 1 = h. Suppose h = 2*w - 6 - 12. Does 5 divide w?
False
Let w(h) = 3*h. Let v(c) = c - 1. Let n be v(3). Let d be w(n). Suppose 16*k + d = 18*k. Is 3 a factor of k?
True
Let r be ((3 - 1) + (-464)/(-40))*5. Suppose r + 76 = 4*z. Is z a multiple of 9?
True
Suppose -194 - 1 = 5*h. Is 9 a factor of 0/(-1) - (h + -2 + 1)?
False
Is (4 + 5/(-1))/(6/(-132)) a multiple of 14?
False
Let g be (8 + -11)*2/(-6). Let q = g + 28. Is q a multiple of 6?
False
Suppose -2*u + 0*u + t + 5 = 0, -4*t + 20 = 0. Suppose 3*o - 50 = -u. Is 3 a factor of o?
True
Let m(x) = -x. Let c(y) = -y**3 + 5*y**2 - 7*y + 2. Let a(s) = -c(s) + 4*m(s). Let h = 2 + 4. Is a(h) a multiple of 26?
True
Is (-18501)/(-168) - (-2)/(-16) a multiple of 22?
True
Let k = 13 + -1. Let s be 20/6 - 4/k. Suppose -4*v + 16 = -s*v. Is v a multiple of 8?
True
Is 14 a factor of (-26)/117 - 145*20/(-9)?
True
Let a = -468 + 243. Let m = 329 + a. Is 26 a factor of m?
True
Let r(k) = k**3 - 6*k**2 - 2*k. Let b be r(6). Let z = b - -13. Let x = z + 5. Is 5 a factor of x?
False
Let c = -88 + 55. Let h = c + 49. Does 8 divide h?
True
Let y = -10 - -5. Let v = y - -9. Suppose -v*x - 2*o = -113 + 5, -5*o = 3*x - 67. Is 16 a factor of x?
False
Let k = 172 - 258. Let f = k + 143. Is 12 a factor of f?
False
Suppose -3*v - v = o - 21, -4*v + 4*o = 4. Suppose k - l - 342 = -3*k, -2*k + 178 = -v*l. Is k a multiple of 33?
False
Suppose 0 = -2*g, 3*j - 2*g - 255 = -6*g. Is 17 a factor of j?
True
Suppose 0*r + r = 1, 3*p + 2*r - 59 = 0. Suppose -p = 3*s - 4*s. Suppose 5*n - 5*x - 24 = 11, -n - 5*x = -s. Is n a multiple of 3?
True
Suppose -6827 = -9*g + 1624. Does 12 divide g?
False
Is 9 a factor of ((-110)/10)/11 - (-2 + -170)?
True
Let l = 49 + -43. Suppose 342 = 15*y - l*y. Is 38 a factor of y?
True
Is 10 a factor of (7 + 52/(-20))/((-4)/(-1200))?
True
Let y be (-14)/(-5) - (-14)/70. Let x(l) = 13*l**2 - 5*l + 3. Does 21 divide x(y)?
True
Let w be (-1715)/(-40) - (-1)/8. Suppose 2*s + 1 = w. Suppose 2*j = l - 26 + 5, -3*j = l - s. Is l a multiple of 18?
False
Suppose 3*g = 5*k - 15, -4*k + 10 = -k - 2*g. Let s be -1 + (3 - (2 - k)). Suppose 2*b - 13 - 3 = s. Is b a multiple of 6?
False
Let t = 18 - 16. Suppose v + 5*o = 176, -o + 170 = v + t*o. Let a = -43 + v. Is 16 a factor of a?
False
Suppose 2*x + 4*h - 60 = 0, -2*x + 63 = -2*h - 9. Suppose 0 = x*j - 29*j - 500. Is 6 a factor of j?
False
Let a(s) = 35*s**2 - s + 4. Does 8 divide a(4)?
True
Let k(f) be the second derivative of f**5/10 - f**3/3 + f**2 - 3*f. Let r be k(-4). Let v = r + 172. Is v a multiple of 15?
False
Let j be (394 - (0 - 3))*-1. Let q = -277 - j. Suppose s + 4*s - q = 0. Does 6 divide s?
True
Suppose -3*v = -6*t + 9*t - 2871, 0 = t - 3. Is v a multiple of 18?
True
Let i be 20/(-2 - 4*-1). Let l(v) = 20 - i*v - 22*v - 21. Is 12 a factor of l(-1)?
False
Suppose 12 = 3*s - 4*n, -2*n - 41 = -4*s - 5*n. Let j(o) = o**3 - 8*o**2 - o + 15. Is j(s) a multiple of 2?
False
Let j = 7 - 4. Let h(z) = z**3 - 2*z**2 - z - 3. Let g be h(j). Suppose -2*n = 3*r - 20, -28 = -2*n - g*r + 4*r. Does 3 divide n?
False
Let k(o) = -29*o - 1. Let f be k(1). Suppose 13*r - 10*r = -972. Does 27 divide (r/f)/(2/10)?
True
Let g(x) = 6*x - 21. Let q be g(11). Does 21 divide (21/5)/(3/q)?
True
Suppose 2*c = -g + 3, 4 + 8 = 4*g - 3*c. Suppose 0 = -3*i + g*d + 198, -i + 156 = i + 4*d. Does 4 divide i?
False
Suppose -4*o + 0*b + 2144 = -2*b, -2*o - 2*b + 1084 = 0. Is o a multiple of 13?
False
Let o(s) = -s**2 + 13. Let z be o(-12). Let q = -77 - z. Is q a multiple of 7?
False
Suppose x + a - 6 + 3 = 0, -4*x + 3 = a. Suppose x = -2*g + 35 + 121. Is g a multiple of 6?
True
Let j be 122/4 - ((-3)/(-2))/(-1). Suppose -j = -2*z - 5*l + 43, -4*l = 2*z - 76. Is 13 a factor of z?
False
Let y(w) = 5*w + 95. Let t be y(0). Let p = t - 29. Is 22 a factor of p?
True
Suppose 3*b + 5*t = 23, b - 3*t - 4 = -1. Suppose r = -2*r - b. Is 26 + 0 - (-6)/r a multiple of 7?
False
Let l = -72 + 492. Is l a multiple of 35?
True
Suppose 42*b - 78993 = -9483. Is b a multiple of 48?
False
Let a = 58 - -30. Suppose 6 = 4*v - 2. Suppose -v*c - a = -3*d - 0*c, d = 3*c + 27. Does 10 divide d?
True
Let j be 8/(((-6)/40)/(120/(-25))). Suppose 0 = 5*w + 4*r - j + 97, 0 = -4*w - r + 136. Is 5 a factor of w?
True
Suppose 5*p = 3*r - 7 - 2, -5*p + 55 = 5*r. Suppose r*t = 10*t - 314. Is 10 a factor of t?
False
Suppose -47*f + 27*f = -1840. Is f a multiple of 4?
True
Let t be -17*(-3 - -4)*1. Let f be 620/14 + (-4)/14. Let g = t + f. Does 8 divide g?
False
Let q be 12/(-30) + 1284/10. Let s be (q/12)/((-2)/6). Is (s/(-6))/(16/72) a multiple of 12?
True
Let c(g) be the third derivative of -g**6/120 - g**5/30 + g**4/6 + g**3 - 4*g**2. Is c(-4) a multiple of 11?
True
Let v(x) = x - 9. Let s be v(9). Suppose 13*j - 8*j - 4*t - 789 = 0, s = 2*t - 8. Is 27 a factor of j?
False
Let y(z) = -13*z**3 + 2*z**2 - z - 2. Let t = 37 + -38. Does 2 divide y(t)?
True
Suppose 2*f + 3 = -5*t - f, -4*f - 4 = 2*t. Let d be -9 + 46 + (1 - t). Is 18 a factor of d - (0/(-1) - -2)?
True
Let h = 2752 - -1162. Is h a multiple of 15?
False
Let c(r) = -2*r**3 + 10*r**2 - 24*r - 5. Let m be c(4). Suppose 44 = -4*l + 4*d, -l = 5*d - 4*d + 9. Let x = l - m. Is 15 a factor of x?
False
Suppose 3*p + 9*q = 5*q + 468, -312 = -2*p - 4*q. Is 39 a factor of p?
True
Suppose 19*p = 32*p - 2834. Does 11 divide p?
False
Let s(f) = 4*f**3 - 12*f**2 + 32*f + 20. Does 8 divide s(7)?
False
Let q = -10 + 12. Suppose -q*l = 4*v - 56, -l + v + 0*v = -37. Suppose -3*d + l = -2*d. Is 13 a factor of d?
False
Suppose 0 = -5*w - 25, 3*w + 0*w = 3*k - 30. Suppose g = 118 + k. Does 15 divide g?
False
Let l(a) be the first derivative of -7*a**2/2 - 17*a - 5. Is 2 a factor of l(-4)?
False
Is (-48146)/(-16) + (-38)/304 a multiple of 51?
True
Suppose 20*i - 11999 = 11761. Is 22 a factor of i?
True
Is (-8)/44 - (0 - (-8632)/(-44)) a multiple of 28?
True
Let n = 72 - 68. Suppose 0 = -n*p + p + 117. Is p a multiple of 27?
False
Let x = 1857 + -1699. Is x even?
True
Suppose -18 + 6 = -4*j + d, 5*j - 2 = -2*d. Suppose 0 = -z + j*l + l + 183, 0 = 5*l - 10. Is 27 a factor of z?
True
Let w(n) be the first derivative of -1/2*n**2 + n + 10*n**4 - 5 - 1/3*n**3. Is 13 a factor of w(1)?
True
Let g(h) = h**2 - 8*h. Let b be g(8). Suppose 2*m + 8 - 72 = b. Let u = -19 + m. Does 10 divide u?
False
Let z = -185 - -1382. Does 21 divide z?
True
Let m be (-6)/8 - (-5)/(-20). Let p be -2*m*207/6. Let x = p - 47. Does 11 divide x?
True
Let v = 1 - -7. Let d(i) = -i + 6*i + i + i. Does 25 divide d(v)?
False
Let b(h) = 27*h + 6. Let o be b(-4). Let d = o + 153. Let p = d - 13. Does 10 divide p?
False
Suppose 0 = 5*d - 38 + 18. Is 12 a factor of d/26 - (-4674)/39?
True
Let x(q) = -3*q - 4. Let u be x(0). Is 15 a factor of (-40)/((-2)/u - 1)?
False
Let v be ((-1)/(-2))/(3/66). Let r = 14 - v. Suppose -20 + 74 = r*w. Does 4 divide w?
False
Let z(s) = s**2 - 6*s - 8. Does 8 divide z(10)?
True
Suppose -1359*w + 1362*w - 90 = 0. Does 30 divide w?
True
Suppose 2*c - 1887 = -5*a + 2458, 4*a - c = 3489. Is a a multiple of 21?
False
Suppose -2*y = -132 - 978. Does 37 divide y?
True
Is 41 a factor of (504/108)/((-4)/(-246))?
True
Let v(q) = 140*q - 771. Does 3 divide v(10)?
False
Let k(a) = a**2 + 6*a + 5. Let y be k(-6). Suppose 121 = -y*h - 3*z + 349, -226 = -5*h - z. Suppose 2*c + 19 - h = 0. Does 8 divide c?
False
Suppose 0 = 3*l + l - a - 15, -3*l - 4*a - 3 = 0. Suppose -3*w = -5*n + 250, -n - l*w - 150 = -4*n. Is n a multiple of 32?
False
Is 89 a factor of 1782/20 - 6/(15 + 45)?
True
Suppose -3 = 3*h - 12. Let v(n) = -63*n - h - 2 + 0 + 3. Does 15 divide v(-1)?
False
Suppose o - 8 = -6. Let w be (-2012)/(-4)*