 -67. Is 19 a factor of v?
False
Suppose 6*q + u + 14 = q, -2*q + u = 7. Let w = q - -7. Suppose 2*f = w*f - 102. Is 17 a factor of f?
True
Suppose 9 = 5*k - 6. Let b be (-988)/12 - 2/k. Let q = b - -129. Is 23 a factor of q?
True
Suppose 2*k = -x - 2*x + 7, 5*x - 5 = 0. Suppose j + j = -k*o + 72, 2*j - 2*o - 56 = 0. Is j a multiple of 11?
False
Suppose 0 = c - 64 - 23. Let u be (c + 3)/((-3)/(-4)). Suppose 0 = -2*t - 2*t + u. Is 15 a factor of t?
True
Suppose -q + 0 = -2. Let s(v) = 22*v - 9. Does 28 divide s(q)?
False
Let v = 30 + -26. Suppose v*n - 258 = -66. Is n a multiple of 22?
False
Let h(x) = x**3 - 3*x**2 + 2*x - 4. Suppose -4 = -2*f + 2. Let s be h(f). Suppose 5*b - 5*c = 170, -268 + 84 = -5*b - s*c. Is 18 a factor of b?
True
Let d(c) = -3*c + 9. Suppose 6*r - r - 25 = 0. Suppose -2*p + r*p - 18 = 3*w, 9 = -2*w + 5*p. Does 15 divide d(w)?
True
Let m = -25 + 27. Suppose m*q - 2*k + k - 115 = 0, -5*q - k + 291 = 0. Is 5 a factor of q?
False
Does 3 divide 33/198 + -1 + 1342/12?
True
Let w(d) = -2*d - 4. Let z be w(-3). Suppose 4*l + 56 = 4*f, -3*f - z*l - 38 = -6*f. Suppose 2*n - 104 = f. Does 16 divide n?
False
Is 2 a factor of 49 - (-5 + 8 + 0)?
True
Let w(o) = o - 7. Let g be w(10). Suppose -f - g*f = 0. Suppose f*s + 72 = 3*s. Does 6 divide s?
True
Suppose 4*f + 3 + 10 = i, -4*i = -3*f - 13. Let d be 4 + (3 - 171)/f. Let x = 8 + d. Does 16 divide x?
False
Suppose -87 - 41 = -4*s. Let h = s - -1. Is h a multiple of 11?
True
Let d = 15 + -13. Suppose 2*k + 144 - 34 = 2*o, -5*k = d*o - 103. Does 9 divide o?
True
Does 29 divide 1226/14 + 55/(-35) + 2?
False
Let n(g) = g**2 + 11*g + 6. Let m be n(-8). Let x = m - 5. Let l = -13 - x. Is 10 a factor of l?
True
Let q be (-65)/(-30) - (-1)/(-6). Let u = q + 47. Is 3 a factor of u?
False
Let o(q) = -345 + 709 + 2*q - 354. Suppose -5*v = -3*v. Does 3 divide o(v)?
False
Let a(u) = -3*u - 1. Let f be a(-1). Let d be (14/(-6))/(-1*14/12). Suppose -f*l = -10, -2*s = -d*l - l - 15. Does 11 divide s?
False
Let i(u) = -u**2 + 9*u + 7. Let r be i(10). Is 3 a factor of 6/9 - 34/r?
True
Suppose 0 = -20*c + 327 + 673. Is c a multiple of 25?
True
Suppose 4*m = -4*p + 5*m + 5117, -3*m - 15 = 0. Does 14 divide p?
False
Let z = -25 + 25. Suppose 3*r - 22 = -z*r + 2*b, r - b - 6 = 0. Is r a multiple of 2?
True
Let y(i) = -3*i + 211. Is y(-16) a multiple of 5?
False
Let m = 469 + -109. Does 40 divide m?
True
Let b(u) = 3*u**2 - 10*u + 15. Let c(i) = 2*i + 18. Let t be c(-6). Is b(t) a multiple of 21?
True
Let v(c) = -5*c - 14. Let g be v(-8). Let r be (-20)/14*(-91)/g. Suppose -29 - 51 = -r*h. Does 8 divide h?
True
Let g be (-4 - -6)*(-5)/2. Let k = g + 62. Is 15 a factor of k?
False
Suppose -2*b - 25 = -7*b - 4*h, h = -4*b + 20. Suppose 4*a = 5*m + 738, -b*a + 1243 = -3*m + 327. Is 13 a factor of a?
True
Let j(o) = o**3 + 15*o**2 + 26*o + 12. Let s = 91 - 101. Is 42 a factor of j(s)?
True
Suppose -16 = -10*a + 84. Suppose -5*d - a = -605. Is 41 a factor of d?
False
Let u = 3 - -1. Suppose 0*s = -2*s + 8, 3*s = 3*j + 6. Suppose j*q + u*q = 54. Is 8 a factor of q?
False
Suppose 0 = -8*z + 11*z - 333. Is 3 a factor of z?
True
Let k = -68 + 156. Is 8 a factor of k?
True
Suppose -x + 5*j + 1 = 4, 1 = x - j. Suppose -2*c = 6*q - 2*q + 16, 14 = 2*c - x*q. Suppose -2*u = -0*u + c*l - 38, -u - 5*l + 19 = 0. Does 10 divide u?
False
Let a be (-16)/(-24) - 2890/6. Does 35 divide 4 - (-42)/(-12) - a/2?
False
Let x(r) = r**3 - 13*r**2 - 21*r - 15. Let y be (0 - 2)*15/(-2). Let c be x(y). Does 16 divide 12/5*c/9?
True
Let k = 106 + 3035. Is k a multiple of 7?
False
Suppose -13 + 14 = y. Is 23 a factor of 3 + 216 - y*2?
False
Let b = 1613 - 1073. Is b a multiple of 30?
True
Let v be (-9)/(-27)*3/(-1). Let m be (5/2)/(v/(-2)). Let u(h) = h + 11. Does 6 divide u(m)?
False
Suppose 29*p - 30*p = -174. Suppose -f + p = 62. Is 16 a factor of f?
True
Suppose 615 = -5*y + 9145. Does 11 divide y?
False
Let a(l) = l**2 + 3*l + 10. Let g be a(-4). Let k = -11 + g. Suppose 0 = 5*c - f - 294, -k*c + c + 136 = -5*f. Does 29 divide c?
True
Suppose -2*l + 19 - 1 = 0. Let u(t) = -t**3 + 10*t**2 - 3*t + 1. Is 11 a factor of u(l)?
True
Suppose -16 = 5*g - 4*k, 0*k + 4 = g + k. Suppose 2*d + 7 - 69 = g. Is d a multiple of 4?
False
Let t = 1159 - 583. Is 33 a factor of t?
False
Suppose -2*j - 2*k = -j, j + 5*k + 9 = 0. Suppose j*n - 112 = -2*n. Is 5 a factor of n?
False
Suppose -3*c - 2*w + 32 = 0, -4*c + 0*w + 20 = -3*w. Suppose -7*s - 76 = -c*s. Is s a multiple of 20?
False
Suppose -9*k + 209 = -43. Is k a multiple of 14?
True
Suppose -9*p = 5*n - 11*p - 624, -15 = -5*p. Is n even?
True
Suppose -2*d + 728 = 3*m, 2*d - 489 = -2*m - 3*d. Is 48 a factor of m?
False
Let k(n) = -14*n - 3. Let g(f) = 10*f + 4 - 8*f - f**3 + 5 - 6*f**2. Let r be g(-6). Is 13 a factor of k(r)?
True
Suppose -2*v - 5*i = -377, 5*v + 4*i - 3*i = 931. Is 31 a factor of v?
True
Let g = 265 - 176. Is g a multiple of 21?
False
Let w(h) = h**2 + 10*h + 2. Let q be w(-10). Suppose -2*a + 5*m + 16 = 0, q*a - 4*m = 3*a + 5. Suppose 0 = 4*g + a*o - 34, 0*g + o - 8 = -g. Does 10 divide g?
True
Suppose 0 = 8*r - 30*r + 4224. Is 20 a factor of r?
False
Suppose 3*t = q + 59, -2*q = 5*t + 3*q - 125. Suppose 22*z = t*z + 24. Does 6 divide z?
True
Suppose 4*k + 28 - 388 = 0. Does 24 divide 20/k - (-1 - 410/18)?
True
Is 7 a factor of (-15300)/(-156) - 2/26?
True
Let p be 26 + -1 - (2 + -1). Let n be 208/p - 2/3. Is (-4)/16 - (-362)/n a multiple of 15?
True
Let q = -154 - -120. Let n = -28 - -15. Let t = n - q. Does 17 divide t?
False
Let w(p) = 16*p**2 + 12*p + 9. Is 46 a factor of w(-11)?
False
Suppose 0 = -166*m + 160*m + 636. Is 6 a factor of m?
False
Let b(t) = 2*t**2 - 16*t + 2. Let s be b(8). Suppose -s*a + 4*j = 4, -1 - 9 = -2*a - 3*j. Does 2 divide a?
True
Suppose 54 = -5*c + 19. Let v = 13 + c. Suppose -v*q - 42 = -9*q. Does 5 divide q?
False
Let s(u) = 11*u - 26. Let x(i) = 10*i - 25. Let m(b) = -3*s(b) + 4*x(b). Does 10 divide m(6)?
True
Let k = 5 - 25. Let y be (-1)/(k/(-8) + -3). Suppose 0 = -5*t + y*h + 235 + 171, 0 = -5*h - 15. Is 13 a factor of t?
False
Suppose y = 2*s - 2*y - 33, 0 = -s - y + 9. Is (-24)/2*(-32)/s a multiple of 31?
False
Let r = -230 + 338. Suppose -4*x = r - 324. Is 9 a factor of x?
True
Let j = 1013 + -824. Is j a multiple of 9?
True
Suppose -4*y + 2*i = 4, -3*y - 2 = -4*i - 9. Does 20 divide (-750)/(-15) - (0 + y)?
False
Suppose -10*i = -15*i + 15. Suppose -7*y = -i*y - 12. Let b(a) = 3*a + 1. Is b(y) a multiple of 8?
False
Let d be (-3)/(-5) - 756/35. Suppose 4 = 4*q - 164. Let f = q + d. Is f a multiple of 7?
True
Let g(r) be the third derivative of 13*r**4/24 + 35*r**3/6 - 4*r**2. Does 20 divide g(5)?
True
Let v = -283 + 331. Does 8 divide v?
True
Let s = 206 + -115. Is s + 4/((-8)/6) a multiple of 22?
True
Suppose 6*y - y + 10 = 0. Let g be 18*(32/(-12))/y. Suppose 4*x - 124 + g = 0. Does 24 divide x?
False
Let j = -83 + 85. Suppose 5*l - n = 424, -4*l - 4*n = -j*l - 174. Is l a multiple of 5?
True
Let x be 0/2 + 0/2. Let i = x + 1. Is 8 a factor of -16*((-5 - -3) + i)?
True
Let w(r) = -r**3 - 7*r**2 - 17*r - 17. Suppose -80 = -4*l + 14*l. Does 18 divide w(l)?
False
Let j be 155 - (1 - (3 - 0)). Let z(f) = -4*f**2 - 41*f - 6. Let t be z(-10). Suppose -t*q - 3*p = -j, 3*p - 114 = -2*q - q. Is q a multiple of 36?
False
Is (174/9)/((-22)/(-1188)) a multiple of 26?
False
Let a = 57 + 53. Is a a multiple of 7?
False
Suppose 0 = 4*k + 74 - 2. Let u = k + 33. Suppose -10*p + u*p - 650 = 0. Does 28 divide p?
False
Suppose -13*l = -0*l. Suppose 0 = -2*r - l*r + 22. Is r a multiple of 6?
False
Let b(w) = w - 8. Let x be b(7). Does 11 divide 4 - (x + -1 + -34)?
False
Suppose -8 = -4*d - 28. Let m be 7/35 - 29/d. Does 10 divide (-760)/(-15) - 4/m?
True
Let i(a) = a + 3. Let r be i(5). Suppose 0*o + 136 = r*o. Let z(j) = j**2 - 14*j - 16. Does 35 divide z(o)?
True
Let v = 30 - 25. Suppose -2*j + 211 = 4*y - 9, 0 = -3*y + v*j + 139. Is 12 a factor of y?
False
Let v(u) = u**3 - 3*u**2 - 2*u - 3. Let i be v(4). Suppose -3*h = -2*f + 3*f - 19, i*f = -4*h + 40. Suppose h*g = 44 + 91. Is g a multiple of 9?
True
Let s(g) = 14*g**3 - 6*g**2 + 28*g - 2. Is s(3) a multiple of 6?
False
Suppose 49*c - 45*c = -5*x + 8420, -5*x = 3*c - 8415. Is x a multiple of 10?
Tru