7*w. Is 19 a factor of w?
True
Suppose -5*g - 4*h = -234, -5*h - 87 - 133 = -4*g. Let b = g + 44. Is b a multiple of 27?
False
Let q = 117 - 42. Does 5 divide q?
True
Let t be 19 + -9 - (-2 - -3). Suppose 4*c + 20 = t*c. Is c even?
True
Suppose 4703 = 20*f - 3077. Does 5 divide f?
False
Let d = 41 - -809. Does 16 divide d?
False
Suppose -23*b + 7678 + 16104 = 0. Is 47 a factor of b?
True
Let q = -9 + 20. Let l(g) = -g**3 + 11*g**2 + 4*g - 16. Let i be l(q). Let z = 68 - i. Is 13 a factor of z?
False
Let t = 57 + -31. Let r(d) = d**2 - 25*d + 32. Is r(t) a multiple of 8?
False
Let u = -44 + 160. Suppose -4*x = 74 + 102. Let j = x + u. Is 21 a factor of j?
False
Let s(b) = b**2 + 9*b - 12. Let v be s(-10). Let u be 0 + (v - 2)/(-2). Suppose -q = -4*k + 153, -q - 79 = -u*k + 2*q. Is k a multiple of 14?
False
Let r(a) = -33*a + 1. Let t be r(9). Let v = t - -137. Let j = -62 - v. Is j a multiple of 25?
False
Let l(f) = 4 - 4 + f**2 + 4 - 4*f - 2. Does 17 divide l(-4)?
True
Let k = -6 - -6. Let x be 378/12 - (-1)/2. Suppose 5*f + v - 116 = 0, -f + k*v = -2*v - x. Is f a multiple of 8?
True
Does 11 divide (1/(-1) + -449)/(-11 + 9)?
False
Let b = -53 + 171. Suppose 3*c + 1 = b. Let t = c + -24. Does 15 divide t?
True
Suppose -n + 481 = 5*m, 4*m = 3*n + 819 - 2243. Suppose -4*g = -n - 376. Does 14 divide g/4 + (-3)/12?
False
Suppose 0 = 11*b - 6*b - 10. Suppose -105 = -b*y + 65. Does 9 divide y?
False
Let v = -64 + 189. Does 5 divide v?
True
Suppose 0*f - h = 3*f + 22, 3*h = 5*f + 32. Let s = f - -16. Suppose s = 2*k + k. Is 3 a factor of k?
True
Let d be 1 + (-3)/(3/7). Is (-2 + d/(-8))*-4*19 a multiple of 32?
False
Suppose -6*d + 13 - 1 = 0. Does 5 divide (-2 - 8)*d*(-4 - -1)?
True
Let i(m) = 119*m - 761. Is i(23) a multiple of 44?
False
Suppose 0 = 17*p + 439 - 3006. Is 10 a factor of p?
False
Let g(o) = -4*o**2 - 5*o + 4. Let y be g(-4). Let c be (70/y)/(1/4). Let u = c - -14. Is u a multiple of 2?
False
Let b = 56 - 86. Let r be (b/(-3))/(6/(-27)). Is (4/12)/((-3)/r) even?
False
Suppose 3*c + 2*k + 8 = -0*c, 3*k + 12 = 4*c. Suppose -4*o + 336 = -c*o. Suppose -x + 3*x - o = 0. Is 13 a factor of x?
False
Let l = 321 + -105. Is 9 a factor of l?
True
Does 12 divide -4 + (574 + 3 - -4 - -2)?
False
Let k(z) = -39*z - 3. Let p be k(-5). Suppose -3*w + 6*w = p. Suppose 2*m = -2*m + w. Is m a multiple of 4?
True
Suppose 44 = -2*s + 4*s - 5*f, -64 = -4*s - 2*f. Suppose -5*g + 18 + 247 = 0. Let y = g - s. Does 12 divide y?
True
Let n(k) = 11*k + 173. Does 6 divide n(-5)?
False
Suppose 4*z = -5*l + 58, 8 - 21 = -2*l - 5*z. Is 4/l + (-1897)/(-49) a multiple of 5?
False
Let o = -179 - -431. Does 14 divide o?
True
Suppose 3*w = -4*v + 625, -2*w + 333 + 53 = -5*v. Is w a multiple of 18?
False
Let u(s) = -s**3 - s**2 - s. Let m be u(-1). Suppose 0 = -y + m - 0, -4*d = -y - 575. Is d a multiple of 12?
True
Suppose 2*p + 164 = n, 2*n + 4*p - 20 = 284. Does 30 divide n?
False
Suppose 5*r - 13 = 2, -3*k - r = -129. Let q = k + -37. Suppose 0 = -5*w - 4*z + 245, -q*w - 5*z + 0*z + 240 = 0. Is 11 a factor of w?
False
Suppose -13*c + 19*c - 12 = 0. Suppose -30 - 9 = -3*f. Suppose -d + f = z, 5*z + 1 = c*d + 2*z. Is d a multiple of 8?
True
Suppose 10 = 3*c + 13. Is 4/10 - (c + 78/(-5)) a multiple of 10?
False
Suppose f + 2*a - 32 = 4*f, 4*f + 50 = -a. Let o = 14 + f. Is 3 a factor of -6*(1 - 3)/o?
True
Let n = 54 + -102. Let q = 72 - n. Is q a multiple of 25?
False
Let l(d) = -d**3 - 19 + 4*d + 24 - 9*d + 10*d**2. Is 39 a factor of l(7)?
True
Let h be 1*(-1 - 3) + 352 + 20. Suppose 3*p + 5*p - h = 0. Is 23 a factor of p?
True
Suppose 3*y + 2*m = 1296, 6*y - 9*y + 1317 = -5*m. Is 14 a factor of y?
True
Suppose 0 = -90*h + 94*h - 104. Suppose 5*g - 3*r = 46, 4*g + r - 21 = h. Is g even?
False
Suppose 7*i + 444 = 13*i. Let d = i + -23. Is d a multiple of 17?
True
Suppose 800 = 5*p + 250. Suppose 0 = 4*d - 5*w + 284, -3*w - 2*w = 5*d + 400. Let j = p + d. Is 17 a factor of j?
True
Suppose n + 3*n + 836 = 0. Let s = -89 - n. Does 10 divide s?
True
Let q(k) = 28*k - 8. Is 9 a factor of q(8)?
True
Let b be (-1)/8*-50*-4. Let p = -43 - -27. Let d = p - b. Does 6 divide d?
False
Suppose 52 = -4*s + 168. Suppose -s*j + 32*j = 348. Is j a multiple of 8?
False
Let f(r) = r**2 + 5*r - 11. Let z(w) = w**2 + 11*w + 13. Let s be z(-8). Does 14 divide f(s)?
False
Suppose -5 = -5*k + 5*y, -2*k - k = 4*y - 17. Suppose 32 = k*v - 169. Let j = v - 18. Is 19 a factor of j?
False
Let y(k) be the third derivative of 11*k**5/20 - k**3/3 + 21*k**2. Does 31 divide y(-1)?
True
Suppose s - 53 = -4*c, -5*s + 320 = -c - 8. Let t = 122 - s. Does 37 divide t?
False
Let m = -777 + 1155. Does 42 divide m?
True
Suppose 5*a - s - 6964 = 0, -5*s - 6980 = 3*a - 8*a. Does 87 divide a?
True
Let y(z) = z - 2. Let h be y(0). Let m = 156 + h. Does 11 divide m?
True
Suppose -363 = -u + 5*x, -u + 4*x = -6*u + 1786. Is 31 a factor of u?
False
Let u(o) = -11*o - 449. Is 26 a factor of u(-49)?
False
Let s be (-2)/2 - (-5 + 0). Suppose d = s*d - 144. Does 35 divide d?
False
Let j = -212 - -287. Is j a multiple of 6?
False
Suppose q = -2*p + 84, -76 = p - 3*p - 5*q. Suppose -13 = -4*s + p. Is s a multiple of 8?
False
Let y(f) = 6*f**2 - f - 1. Let n be y(-1). Let l be (-4)/(-10) + n/(-15). Is 7 a factor of l/(-11) + 5*4?
False
Suppose 1191 = 21*k - 2904. Is k a multiple of 27?
False
Does 31 divide (-465)/(-4*(-7)/(-56))?
True
Let w(p) = p**2 - 10*p - 17. Let k be w(-3). Suppose -19*t = -k*t + 63. Does 7 divide t?
True
Let h(y) = -y**2 - 54*y - 250. Does 51 divide h(-23)?
False
Let l be 1 + -7 + (-3 - -3). Does 26 divide 0 - (-102 + (l - -4))?
True
Let g(t) = t**3 - 26*t**2 + 93*t - 13. Is 97 a factor of g(24)?
True
Let y(c) = c**3 + 19*c**2 - 24*c - 33. Is 4 a factor of y(-19)?
False
Is 120 a factor of ((-10)/(-6))/(69/178641)?
False
Suppose 0*t = 2*r + 2*t - 4, -2*t - 8 = -2*r. Suppose -u + 161 = 3*a + 3*u, -r*a - u = -164. Is 11 a factor of a?
True
Suppose 7*q = 9*q - 40. Is 5/q - 214/(-8) a multiple of 9?
True
Let z(w) = 5*w + 2. Let b(v) = 2*v**3. Let q be b(1). Suppose -4*m + 18 = -q. Is 8 a factor of z(m)?
False
Does 45 divide ((-160)/28)/((-6)/189)?
True
Suppose 3*j + 3*u - 73 = -2*u, -4*u + 100 = 5*j. Let c = -18 + j. Let o = 9 + c. Does 7 divide o?
True
Suppose 5*w + o - 4748 = 0, -4*w - w + 4756 = -3*o. Is w a multiple of 54?
False
Let u(w) = -8*w + 1. Let k(l) be the first derivative of l**2/2 - 10*l + 1. Let i be k(6). Is u(i) a multiple of 7?
False
Let k(h) = 12*h**2 - 2*h + 9. Let y(i) = 24*i**2 - 2*i + 17. Let q(j) = -7*k(j) + 4*y(j). Is 22 a factor of q(4)?
False
Let c be (2 - 2)*(-4)/(-12). Suppose -r - 4 = c, 0 = 5*t - 2*r - 3*r - 545. Is t a multiple of 15?
True
Suppose -10 = 5*z - 5*h + 5, -20 = -4*h. Suppose -4*r + 3*g = -3, -4*g - 4 = z*r - 22. Suppose -92 = r*m - 5*m. Does 13 divide m?
False
Let h = -281 + 350. Is 9 a factor of h?
False
Let b be -18*((-16)/6)/2. Suppose 3*s - s = b. Is s a multiple of 12?
True
Let v be (-34)/255 + 596/(-30). Let w = v + 41. Does 5 divide w?
False
Suppose -17*a + 16*a + 21 = 0. Suppose -4 = 2*b - 10. Suppose a = -b*w + 69. Is 8 a factor of w?
True
Suppose -2*t + 6 = -0. Let w = -24 - -12. Is 14 a factor of (56/t)/((-4)/w)?
True
Let h be (7 + 0 - -2)*-1. Let t be -6*(6/h + 0). Suppose 3*a - 52 = 5*v, -a = -4*a + t*v + 47. Does 2 divide a?
False
Let k = 21 - -35. Is 9 a factor of (-1 - -8)*160/k?
False
Let g = 56 - -65. Is g a multiple of 11?
True
Suppose 0 = 23*p - 22*p + 43. Let y = -31 - p. Is y a multiple of 3?
True
Let z = -41 - -36. Let n = 77 + z. Does 24 divide n?
True
Suppose 0 = -13*t - 12*t + 10000. Is t a multiple of 25?
True
Suppose 0 = 4*i + 25 + 3. Suppose -161 = -4*d - 53. Let p = d + i. Is p a multiple of 9?
False
Suppose 0 = -2*j - 4*s + 2*s - 32, -5 = -s. Let k = 74 + j. Is 15 a factor of k?
False
Let r = 5 + 0. Suppose -r*t - 3*f = -7, -3*t + 5 = -3*f - 4. Suppose 4*s - 46 - t = 0. Is s a multiple of 8?
False
Let h(j) = -14*j + 120. Does 10 divide h(-10)?
True
Let o(r) = 3 - 1 + r**3 - 3 + 0*r**2 - 4*r**2 - 4*r. Let v be o(5). Let k = v + 11. Does 9 divide k?
False
Let w(q) = q**3 - 10*q**2 + 10*q + 6. Let h be w(10). Let n = h + -51. Suppose -3*v + n = 2*v. Does 4 divide v?
False
Let j(y) = -y**2 + 14*y + 17. Let w be j(10). Let u = w - 50. I