f - 3*c = -c - 28. Let u be 2/f + (-378)/(-105). Suppose 0 = -u*m - 34 + 166. Is m a multiple of 10?
False
Let d(s) = -7*s**2 + 36*s + 6492. Is 67 a factor of d(0)?
False
Let a be ((-20)/35)/((-2)/14). Suppose 346 = a*w - 230. Does 36 divide w?
True
Let x(h) = -7*h**3 - 4*h**2 + 27*h + 74. Is 102 a factor of x(-5)?
True
Let f = 287 - 399. Let a = 73 - f. Is a a multiple of 10?
False
Let o(g) = 10*g + 16. Suppose -7*u = -2*u - 3*x - 21, -4*x = 2*u + 2. Suppose -u*i - 12 = 0, -6*i = -2*b - 3*i + 20. Is 14 a factor of o(b)?
True
Let z(q) = -q**2 - 9*q + 24. Let h be z(-11). Suppose -h*c + v + 51 = -93, 82 = c - 3*v. Suppose -3*f - 22 = -c. Does 4 divide f?
True
Suppose -57 = -3*b + 552. Suppose 0 = -198*z + b*z - 25. Let c(p) = 2*p**3 - 8*p**2 + 4*p + 7. Is 11 a factor of c(z)?
True
Let l(k) = k**3 + 9*k**2 - 31*k + 32. Is 9 a factor of l(12)?
False
Is (-7 + 12/3)/(-1)*(7 - 0) a multiple of 7?
True
Let c = 119 + 182. Suppose -3*x + 101 = v, -c = -3*v - 5*x - 6. Does 19 divide v?
True
Let f be (0 + -2)*4/8. Does 13 divide ((-2)/8)/(-5*f/(-11260))?
False
Let k = -7418 + 9149. Is k a multiple of 3?
True
Suppose 0 = g - 4*d - 64, -5*d - 109 = 5*g - 404. Let q be (-12)/10*10/(-3). Suppose 0 = 4*k - 4*y - 156, 3*k + q*y - g = k. Is k a multiple of 18?
True
Let l = -119 - -103. Let x(q) = -23*q - 44. Does 12 divide x(l)?
True
Let q(y) be the second derivative of 4*y**3/3 - 45*y**2/2 - 12*y. Let m be q(6). Suppose 0*g - m*g + 5*o + 47 = 0, 4*o = 3*g - 49. Does 2 divide g?
False
Is (-1868 + -2 + (-2 - -3))*11178/(-1449) a multiple of 18?
True
Suppose -p + 2*y + 38 = 0, 2*p + 3*y - 116 = -y. Suppose -p = 7*q - 1770. Is q a multiple of 41?
True
Let k = 4214 - 2834. Suppose -5*i = -8*i + k. Is 23 a factor of i?
True
Let y(l) = -399*l**3 + l**2 + 2*l + 1. Let f be y(-1). Suppose 5*z = 4*m - f, 5*z + 486 = 5*m + 3*z. Does 24 divide m?
True
Let u = 159 - 163. Does 20 divide (u/10)/(12/(-15))*280?
True
Let o be (4 - 1 - (0 - -3))/2. Suppose 549 = 2*w - o*w - 3*f, f = -4*w + 1091. Suppose -3*r = 2*j - w, 2*j - 30 = -r + 65. Does 22 divide r?
False
Suppose -22*h + 15*h + 11641 = 0. Let p = h - 1019. Is 46 a factor of p?
True
Suppose 0 = -4*u + 3*x + 13731, x - 73 + 3505 = u. Does 46 divide u?
False
Suppose 4*h = -n + 31, 3*h + 3*n = h + 13. Suppose -5*y + 5 = -10*t, 17*t - 1 = 20*t - y. Is 4 a factor of (t - -8)/(h/28)?
True
Let m = -145 - -132. Is 38 a factor of (-3122)/m + 16/(-104)?
False
Suppose 16*i - 2092 = 9355 + 6233. Is i a multiple of 17?
True
Let i be -59*(4 - (2 - -1)). Let d = -160 - -249. Let s = d + i. Does 10 divide s?
True
Let w(u) = 536*u - 3. Let o be w(1). Suppose -153 = k - o. Does 11 divide k?
False
Suppose -5*m + m = -2*m. Let k(t) = -t**3 + t**2 + t + 59. Let x be k(m). Suppose 4*j = x + 85. Is 6 a factor of j?
True
Suppose -5*y + 3*g + 30 = 2*g, 4*g = 0. Suppose z + 108 = -5*z. Does 8 divide 0 - (y/3 + z)?
True
Let r(o) = -93*o**3 - o**2 - 1. Let f be r(2). Is 1 - f - (-8 + 2 - -10) a multiple of 6?
False
Suppose -9*c = -7*c - 54. Let i be (-20)/(-9) + ((-48)/c)/8. Suppose 61 = v - 5*a, -435 = -5*v + a - i*a. Is 43 a factor of v?
True
Suppose 0 = t + 4*l + 130, -2*t - 3*l = -0*l + 245. Let s = -11 - t. Suppose -709 + s = -7*w. Does 20 divide w?
False
Let i(b) = 13*b - 29. Let c(g) = 40*g - 88. Let m(x) = -4*c(x) + 14*i(x). Suppose 6*k + 205 - 247 = 0. Does 50 divide m(k)?
True
Suppose 0 = 4*i, -3*g - 5*i + 2*i = -6. Does 2 divide 360/26 - (g - (-56)/(-26))?
True
Let v = 42 - 39. Suppose -4*u + v - 3 = 0. Suppose u = 6*h - 201 - 45. Is 14 a factor of h?
False
Let i be (5 + -3)*2 - -3. Suppose -4*h = -3*o - 295, 3*o - 396 = i*o - 4*h. Let d = o + 115. Is 2 a factor of d?
True
Is 4/16 + 224580/(-40)*1/(-6) a multiple of 4?
True
Suppose 41*k - 33*k - 32 = 0. Let q(r) = r**2 + r. Let h be q(1). Suppose 2*v + 4 = 0, h*l + k*v - 272 = -2*l. Does 7 divide l?
True
Let u(d) be the third derivative of -d**6/120 + 13*d**5/60 - 13*d**4/12 + 10*d**3/3 - 5*d**2. Suppose 2*m + 8 = 0, 4*m = 10*k - 14*k + 24. Does 15 divide u(k)?
True
Let p = -11 + 8. Let f(y) = 6*y**3 + 7*y**2 - y - 2. Let u(k) = -7*k**3 - 7*k**2 + 2*k + 2. Let g(i) = p*u(i) - 4*f(i). Does 26 divide g(-3)?
True
Let g be (-5 + ((-1)/1 - -5))*-719. Let x = -248 + g. Does 32 divide x?
False
Does 106 divide (-4)/(-5 + (-95457)/(-8679) + -6)?
False
Let u(z) = -237*z + 2772. Does 150 divide u(-44)?
True
Let l(p) be the first derivative of -2*p**3/3 + 3*p**2/2 + 4*p + 1. Let o be l(-2). Is (16/o)/(3493/700 + -5) a multiple of 10?
True
Let y be (-8 + (-44)/(-3))*39/4. Suppose 2808 = y*h - 59*h. Does 18 divide h?
True
Let a(f) = -26*f + 65. Does 3 divide a(-62)?
True
Let p be 12/22*(19 - 8). Is 40 a factor of 74*p + (27 - 22)?
False
Let q = -5597 - -8012. Does 69 divide q?
True
Suppose -2*q + q = -28. Let i(y) = -38 - y**2 - 3*y + q + 47 + 50. Is 21 a factor of i(0)?
False
Let b = -3129 - -3688. Is 43 a factor of b?
True
Let m(v) = 641*v**2 - 15*v + 10. Is m(2) a multiple of 6?
True
Let o(d) = 847*d - 22. Is o(1) a multiple of 25?
True
Let r be 6*40/(-12)*26/5. Let l = r - -91. Let a(y) = -y**3 - 12*y**2 + 4*y + 8. Is 39 a factor of a(l)?
False
Is (-7 - (-88)/11)*3611 a multiple of 8?
False
Is ((-109)/2)/(27*26/(-398736)) a multiple of 49?
False
Let t be (-4 - -3) + 1 + (-798)/(-3). Suppose -4*p + 2*i = -518, -2*p - 17 + t = -3*i. Let k = p - 66. Does 22 divide k?
True
Let z = -62 + 65. Does 7 divide z + 4/((-8)/(-50)) - 0?
True
Let f(j) = 23*j + 25. Does 14 divide f(19)?
True
Let x(a) = 6*a - 1. Let p be x(-2). Let y(j) = j + 15. Let t be y(p). Suppose 391 - 15 = t*v. Does 12 divide v?
False
Suppose -3*c + 43 = 7. Let g be (308 - 2)/(c + -10). Let p = -46 + g. Does 18 divide p?
False
Let g(c) = c + c**2 - 6*c**2 - 4 + 7*c**2 + 18*c. Is g(-17) a multiple of 19?
False
Let q = 10099 - -11120. Is 12 a factor of q?
False
Suppose 0*z = -4*t + 2*z + 88, -5*t + z = -110. Suppose -226 = 20*r - t*r. Is r a multiple of 2?
False
Let t(q) = -q + 4. Let n be t(4). Let y = -1085 - -1085. Suppose -273 = -x - 3*u, y = -x - n*u + u + 257. Is x a multiple of 24?
False
Suppose 2*h + h - 5333 = -g, -21308 = -4*g - 4*h. Suppose -88*d + g = -77*d. Does 48 divide d?
False
Suppose d = 4*b + 109, 0 = d - 3*d + 3*b + 243. Suppose 9*i = d + 249. Does 6 divide i?
True
Is 5 a factor of 7080964/(-184)*(-12)/33?
False
Let j = 233 - 226. Suppose 19*p - 1014 = -j*p. Is 3 a factor of p?
True
Suppose -14 = -5*k - p, 0 = -2*p - 3*p - 5. Let g(d) = d + d + k*d - d. Is g(7) a multiple of 7?
True
Suppose 5 = 2*w + 21. Let l(n) = -15*n - 6. Is l(w) a multiple of 19?
True
Let h = 51 - 47. Suppose -7*v + 225 = -h*v. Does 5 divide 12/10*v/6?
True
Let h = -171 + 170. Is 134277/297 + h/9 a multiple of 5?
False
Let w = 11301 + -4055. Does 12 divide w?
False
Let k = 261 - 225. Is (4 - k/8)/((-1)/1404) a multiple of 50?
False
Let h = 36 + -33. Suppose -2*o - 1 = -z, 2*o + 1 = -2*z - h. Does 2 divide ((-10)/5)/(4/38*o)?
False
Suppose -3*w - 2*z = -8*w + 10, 5*z - 37 = -3*w. Suppose 0 = -w*k + 26 - 14. Suppose k*u - 4*o + 15 - 84 = 0, -5*u + 4*o + 123 = 0. Does 8 divide u?
False
Suppose 0 = 4*x - d - 5934, -3*x - 5*d = x - 5898. Is 39 a factor of x?
True
Suppose 29*w - 33*w = -360. Suppose -45 = -9*v + w. Is v a multiple of 15?
True
Suppose -18*i + 23*i = -35. Is ((-381)/i - 7)*(-14)/(-4) a multiple of 12?
False
Suppose -4*g + 6*g - 5*c - 226 = 0, -5*g = -c - 611. Let p = -88 - -157. Let u = g - p. Is 6 a factor of u?
True
Let s be 12720/39 - 2/13. Suppose 0 = -2*m - 5*d + 35, 11*m - 9*m - 25 = -3*d. Suppose 10*j = 6*j - 2*l + s, -5*l = -m*j + 385. Does 20 divide j?
True
Is 56 a factor of 15/((-75)/(-820))*-35*(-12)/10?
True
Let y be -2 - (-984)/4 - -4. Let r = y - -282. Is r a multiple of 53?
True
Let s(p) = p - p**2 - 3 - 8 + 6. Let f be s(0). Does 10 divide (74/(-10) - 2)*f?
False
Is 233 a factor of -11 + 22 + -8 + (8852 - 1)/1?
True
Let k(i) = 11*i - 3. Let u(a) = 10*a - 2. Let g(b) = 5*k(b) - 6*u(b). Let y be g(-4). Suppose y = -j + 25. Does 5 divide j?
False
Let z be 51024/21 + 14/49. Suppose 0 = -3*a - 2*a - 5*d + z, 5*d + 2450 = 5*a. Is a a multiple of 16?
False
Suppose 72*q = 69*q - 45. Is 36 a factor of (((-72)/q)/(-6))/(3/(-1080))?
True
Let v(m) = -m**2 + 2*m + 3. Let b be v(0). Suppose 825 = 4*f - b. Suppose f = 3*p + 2*p + 2*x, -