tor of w?
True
Does 3 divide 5/(-25)*-2 - (-1016)/10?
True
Let i(f) = -115*f - 235. Is 6 a factor of i(-7)?
True
Let x(p) = p**2 - 7*p + 12. Let k be x(4). Suppose k*h + 92 = h. Is h a multiple of 21?
False
Let o(y) = -7*y**2 - 4*y. Let l be o(-3). Let b = l + 89. Is 19 a factor of b?
True
Let m = 165 - -222. Is m a multiple of 43?
True
Let s = -33 - -24. Does 40 divide (2 - (-34)/3)/(s/(-54))?
True
Is (-660)/8*130/(-39) a multiple of 5?
True
Suppose 6 = 6*z - 4*z. Suppose -3*v = -18 + z. Suppose -49 = i - 2*i + 5*w, v*i + 4*w - 187 = 0. Is 12 a factor of i?
False
Let n(c) = 4*c + 2. Let v be n(0). Suppose -v*x + 3 = -k, 5*k + 5*x - 27 = k. Is 3 a factor of k?
True
Let t be 222/11 - (162/(-99))/(-9). Is t*((-7)/((-140)/(-32)) - -2) a multiple of 6?
False
Let m(w) = -w**2 + 15*w - 31. Let k be m(11). Suppose 0 = -k*f + 5*f + 56. Is f a multiple of 5?
False
Let n(i) = i - 19. Let k be n(0). Let g = -1 - k. Is g a multiple of 3?
True
Let m be -13*9/(-4 + 1). Suppose 0 = -4*p - 3*d + m, 2*d = -4 + 14. Is p a multiple of 6?
True
Is (49 + 2)*(-2)/((-12)/10) even?
False
Let g = 62 - 68. Let s(w) = -3*w + 42. Is 30 a factor of s(g)?
True
Suppose -4*q + q - v = -265, -4*v - 245 = -3*q. Is 4 a factor of q?
False
Suppose r + 1 - 5 = 0. Let w = r - -62. Suppose -8*o + 7*o + w = 0. Is o a multiple of 22?
True
Let h = 29 + -27. Suppose -h*d - 16 = -4*p - 70, -d - 3*p + 17 = 0. Is 23 a factor of d?
True
Let v = -45 - -44. Does 13 divide (v/(-7))/1 - (-2182)/14?
True
Suppose 3*k - 2*k = -3*i + 1209, i + 3577 = 3*k. Is k a multiple of 45?
False
Suppose 0 = j + 5, 4*k - 2*j = 2*j + 36. Suppose -92 = -2*h + 2*p, 1 = p + k. Suppose 4*z - 119 + h = 0. Is z a multiple of 3?
False
Let d(f) be the second derivative of 7*f**4/12 - f**3/2 + f**2/2 - 13*f. Let r be d(1). Suppose 0 = q + 5*z - 0*z - 52, -r*q + 172 = 3*z. Is 10 a factor of q?
False
Suppose 2*d + 4*r - 5*r - 329 = 0, -4*d + 5*r + 649 = 0. Is d a multiple of 3?
False
Suppose -10*p + 603 = -967. Does 18 divide p?
False
Let j(u) = 3*u + 192. Is 30 a factor of j(-14)?
True
Let m = -38 + 53. Suppose -24*t + m*t = -81. Is t a multiple of 5?
False
Let f be 3/(-12) + (-190)/8. Is 10 a factor of (-4 - 2) + 2 - f?
True
Let q(o) = -o**3 + 6*o + 7. Let b be q(-2). Suppose -b*w + 113 + 40 = 0. Does 16 divide w?
False
Suppose 0 = -4*z - 5*p + 1441, -20*p - 9 = -17*p. Is z a multiple of 4?
True
Suppose -z = -4*j + 2*j - 3, -5 = 5*j. Suppose 5*c = 2*t - 0*c + 6, 4*c - 6 = t. Suppose 0 = t*h - z - 7, -3*h = 3*d - 27. Is d a multiple of 3?
False
Let j(w) = -w**3 + w**2 - 7*w - 162 - 6*w**2 + 157. Is 6 a factor of j(-5)?
True
Does 9 divide ((-279)/(-6))/((-40)/(-1200))?
True
Let o = 915 + -221. Is o a multiple of 13?
False
Let i(k) = -k**3 + 5*k**2 - 2*k - 1. Let j be i(3). Let p = -49 + j. Is (-2)/3 + p/(-3) a multiple of 12?
True
Suppose 6*u - 9*u = -6. Suppose -3*l = 2*a - 150, l - 40 - 6 = -u*a. Is 13 a factor of l?
True
Let r be (-3 - (-9)/2)/((-2)/(-36)). Suppose 0 = -29*o + r*o + 28. Does 14 divide o?
True
Suppose -146 = -2*k + 2*a, -9 = 5*a - 2*a. Let p = k - -370. Suppose -5*l = 2*z - 410, -5*l + 4*z = -0*l - p. Is 14 a factor of l?
True
Suppose -4*y = -5*t - 4230, -4*y + 3*t + 3991 = -243. Is 11 a factor of y?
False
Suppose 0 = -l + 2 + 1. Let u = l + -3. Suppose -3*k - 5*b + 75 = -u*k, -5*b - 25 = -2*k. Is k a multiple of 14?
False
Let w(u) = 7*u - 13. Let h be w(-18). Let t = 69 + h. Let m = t + 142. Is 12 a factor of m?
True
Suppose -u + 5*u + 16 = 0, -2*u - 968 = 5*l. Let n = l + 352. Does 20 divide n?
True
Let c = 49 + -46. Does 20 divide (-4 + c*-4)*-5?
True
Let b(h) = 3*h + 12. Let z be b(10). Let y(a) = -a**3 - 7*a**2 - 8*a + 6. Let i be y(-6). Let l = z + i. Is 20 a factor of l?
True
Let t(v) = 9*v**2 - 30*v - 30. Let k be t(22). Suppose 5*l - k = -8*l. Is 46 a factor of l?
False
Suppose 0 = f - 6 - 2. Suppose -f*x + 9*x = -222. Let g = x - -354. Is g a multiple of 44?
True
Suppose 0 = -5*a - q + 3*q - 410, 5*q - 328 = 4*a. Let b be 12/24 + a/4. Does 15 divide (-145)/(-4) - 15/b?
False
Let g(i) = 5*i - 5. Let b be g(7). Is ((-56)/70)/((-1)/b) a multiple of 8?
True
Suppose -4*p + 7*p = 3. Let d be p/2 - (-30)/(-4). Let o = d - -23. Is 16 a factor of o?
True
Let n = 250 + -211. Does 39 divide n?
True
Suppose -f - 2 = -0*f. Let b(y) = 4*y**2 - y + 2. Does 5 divide b(f)?
True
Suppose b + 4*f + 2570 = 6*b, 4*b - 2*f - 2062 = 0. Does 20 divide b?
False
Let g(l) be the second derivative of 2*l + 0 - 9/2*l**2 + 2/3*l**3. Does 10 divide g(6)?
False
Let o(z) = -9 + 3*z**2 + 7*z - z - 2*z**2. Let n(v) = -v**2 - 11*v - 9. Let w be n(-11). Does 9 divide o(w)?
True
Suppose 33*f + 3*t = 35*f - 1622, -2*f = t - 1622. Does 20 divide f?
False
Let k(x) = 8*x - 2 - 2 - 1. Is k(3) a multiple of 4?
False
Let w(q) = 2*q**2 + q - 8. Let f be 6/(-10)*(0 - (-4 + 9)). Does 11 divide w(f)?
False
Let j be (36/(-16))/((-1)/4). Let h = -5 + j. Is h a multiple of 4?
True
Let v = -17 - -33. Let q(m) = 3*m**2 - 38*m - 13. Is q(v) a multiple of 21?
True
Suppose 12 = -5*s - 33. Is ((-3)/2)/(s + (-1938)/(-216)) a multiple of 6?
True
Suppose -k - 5*h = -15, -4*k = k + h - 3. Let m be -1*3*(k - -10). Is 1*-9*m/18 a multiple of 9?
False
Suppose 3*g + 2*g = -4*h + 74, 2*g + 25 = h. Is h - 4/(-12)*0 a multiple of 7?
True
Let i(n) = n**2 - 6*n - 9. Let c be i(-6). Suppose -17 = 2*y - 85. Let d = c - y. Is d a multiple of 10?
False
Is 37 a factor of (-1 - -2)/(32/26048)?
True
Suppose 0 = -5*t + 3*b + 2694, 4*t - 4*b - 967 = 1185. Is t a multiple of 30?
True
Let b = -67 + 67. Suppose m + 64 = 2*m + 3*l, -m - l + 62 = b. Does 14 divide m?
False
Let n = -26 + 29. Suppose n*v - v = 34. Is 4 a factor of v?
False
Let j be 2/(-6) - 506/(-6). Let r(a) = 2*a**3 - 3*a**2 + 5. Let o be r(6). Suppose -5*q + o - j = 0. Does 14 divide q?
False
Suppose 2*t - 156 = -3*n, -29 = -4*t + 2*n + 251. Suppose 2*f + t = 4*f. Does 18 divide f?
True
Let n be (1 - 3) + (0 - -3) + 2. Suppose 5*b = -n*p - 0*p + 719, 0 = -3*p - 6. Is b a multiple of 14?
False
Let l be (-1 - -3) + -8 + 9. Suppose -163 = u - 4*u + 5*q, -l*q - 109 = -2*u. Is 7 a factor of u?
True
Let q(o) = 4*o**2 + 2*o + 2. Let y(g) = 4 + 0*g + g**3 + 0 - 4*g**2 + 7*g**2 + 2*g. Let c be y(-3). Is 14 a factor of q(c)?
True
Let i(s) = s**2 + 10*s + 6. Let z be i(-11). Let f(r) = r**2 - 16*r + 16. Is 5 a factor of f(z)?
False
Suppose 5*o = 5, -2*a + 2043 = 2*a - o. Is a a multiple of 18?
False
Suppose -4*j + q + 162 = 0, 4*j = 2*q + 109 + 51. Is 10 a factor of j?
False
Let f = 22 - 20. Is (f - (3 - 0))*-17 a multiple of 7?
False
Is (1/(-2))/((-25)/13250) a multiple of 6?
False
Let g be -1 + 85/(1 + 0). Let y = -188 + 193. Suppose 0 = -h - 3*h + 2*r + g, -h - y*r - 1 = 0. Is 9 a factor of h?
False
Let h(n) = n**2 + 37*n + 23. Is 8 a factor of h(-50)?
False
Does 34 divide 46/345 - 16676/(-30)?
False
Let w = 59 + 105. Is w a multiple of 11?
False
Let q be (3/5)/((-1)/5). Let p = q - 4. Let c = -4 - p. Is c a multiple of 3?
True
Suppose 0 = -2*y - 2, 4*p + y - 559 = 0. Does 15 divide p?
False
Suppose 3*d - 2*f + 5*f = 7053, -9388 = -4*d + 4*f. Is d a multiple of 87?
True
Suppose 0 = 9*y + 28 + 26. Let f(c) be the first derivative of -2*c**2 + 3*c + 1. Is f(y) a multiple of 6?
False
Let x(v) = -12*v**2 - 3*v - 14. Let h(k) = -4*k**2 - k - 5. Let q(f) = 17*h(f) - 6*x(f). Does 10 divide q(-2)?
False
Suppose v + q = 5*v - 82, v = -4*q + 12. Is 7 a factor of v?
False
Let q(f) = 7*f**2 + 181*f - 1. Does 13 divide q(-34)?
True
Let a be (-15)/10 + (-5)/2. Does 17 divide (-6)/a*(-1078)/(-7)?
False
Let z(s) = s**3 - 20*s**2 - 22*s + 25. Let x be z(21). Suppose w + c = 4, x*w - 12 = -5*c - 1. Is 2 a factor of w?
False
Let p(m) = -34 - 4*m**3 - 23*m**2 + m**2 - 14 + 5*m**3 + 3*m. Is 6 a factor of p(22)?
True
Let x be 8/6*(-24)/(-16). Suppose -r + 3*d - 45 = -x*r, -4*d - 4 = 0. Does 8 divide r?
True
Let q(y) = 182*y - 52. Let c be q(18). Suppose c + 1096 = 16*i. Is i a multiple of 11?
False
Let h = -203 - -942. Suppose 8*d - h = -235. Does 10 divide d?
False
Let g = 2170 - 1081. Is 121 a factor of g?
True
Suppose -416 = -n - 3*n. Is (n/16)/(2/12) a multiple of 13?
True
Let s = 22 - 20. Suppose s*r + 10 = -26. Let a = r + 58. Is a a multiple of 20?
True
Is 4 a factor of 4/(-2 - (0 - 360/177))?
False
Suppose 448 = 10*o - 4002. Doe