ultiple of 98?
False
Suppose -658 = -6*m + 248. Let n = 274 - m. Let y = n + -59. Is 32 a factor of y?
True
Suppose 0 = -273*d + 67*d + 4945648. Is d a multiple of 175?
False
Suppose 14 = 3*c - 2*c. Let q be 0 + (20*c)/(-4). Let n = -50 - q. Is n a multiple of 5?
True
Suppose 24 = 2*v - z - 0*z, -v = 5*z - 12. Let d be 4*v/16 - 232/(-4). Suppose 45 = g - d. Is 33 a factor of g?
False
Is 64 a factor of ((-161)/(-21) - 11)*(-281088)/40?
True
Does 26 divide 3/(135/1950)*3546/15?
True
Suppose -1791050 = -191*o + 78*o. Is 19 a factor of o?
False
Let g = -3133 + 3946. Is 34 a factor of g?
False
Let b(h) = 3*h**3 - 19*h**2 - 96*h + 446. Is b(11) a multiple of 3?
False
Let k be ((-3594)/(-8))/((-3)/(-28)). Suppose 5*j + 2*g - 6963 = 0, j - 5*g + k = 4*j. Is 13 a factor of j?
True
Suppose -9*i - i = -150. Let z be (2/(-3) - -2) + (-5)/i. Is z/(-4) - 2002/(-8) a multiple of 50?
True
Let p = 371 + -356. Suppose 361 = p*w - 1934. Is w a multiple of 7?
False
Suppose 11*i - 14448 - 19190 = 0. Is i a multiple of 22?
True
Suppose -5*x = -3*w - 3396, -w = x - 9 - 667. Let r(a) = -a**3 - a**2 - 2*a + 6. Let i be r(0). Is 15 a factor of x/(18/i)*(-2)/(-4)?
False
Is 178629/14 + 1548/(-7224) a multiple of 54?
False
Let a(s) = 12*s**3 - 45*s**2 + 20*s - 216. Does 119 divide a(12)?
True
Is 0 + 17183 + 10/(-50)*50 a multiple of 14?
False
Suppose -2*p + 2300 = 3*p. Let l = p - 413. Does 5 divide l?
False
Let p(n) = 767*n - 717. Is 47 a factor of p(5)?
False
Let f(h) = 6 + 3 + h**2 - 24*h + 0. Is 17 a factor of f(25)?
True
Suppose -4*c + 4*i + 58688 = 0, -155*i + 158*i = 4*c - 58688. Does 28 divide c?
True
Let o(j) = j**3 + 59*j**2 + 176*j - 140. Is 133 a factor of o(-27)?
False
Suppose 42*n - 44591 - 1651 = 0. Does 3 divide n?
True
Does 19 divide -1 + 6630/8 - (290/(-40))/29?
False
Let f be 561 - (-3)/(-1 - (1 - 1)). Suppose 3*x - f = -c, -x = 2*x - 2*c - 549. Let y = -94 + x. Does 33 divide y?
False
Suppose -42245 = -26*i - 28*i + 37*i. Is 7 a factor of i?
True
Let w(t) = t + 143. Let m be 1 + 0 + (-14)/(-14). Let u be -4*1 - (m + -3*2). Does 26 divide w(u)?
False
Let i = -20 - -20. Suppose -2*p + i = -24. Suppose -5*v + 2*s = -182, -5*s + p = v - 19. Is v a multiple of 5?
False
Let m(w) = -w**2 + w. Let b(x) = -4*x**2 + 3*x + 46. Let h(z) = -b(z) + 3*m(z). Let g be h(0). Let p = 56 + g. Is 2 a factor of p?
True
Let x(f) = 6*f**3 + 3*f**2 + 6*f + 3. Let v(t) = -2*t**3 - t**2 - 2*t - 1. Let z = -9 + 6. Let i(s) = z*x(s) - 8*v(s). Is 12 a factor of i(-2)?
False
Suppose s + 2 = 0, 0 = -r + 4*s - 6*s + 170. Suppose 3*o + u - 2*u = 261, 0 = -2*o + 5*u + r. Is 13 a factor of o?
False
Suppose 2*g - 55 = -3*g + 5*n, -3*g - 5*n + 57 = 0. Let d(p) = p**3 - g*p**2 + 77 - 30 + 13*p - 5. Does 9 divide d(13)?
False
Let m = -190 + 194. Is 8 a factor of m + (0 + 65)*36/45?
True
Let h be (21*-2)/(-3)*(-1 + 2). Suppose -4*b = h*b - 900. Is 6 a factor of b?
False
Let a be 25002/36 - (-2)/(-4). Suppose 144 = -2*q + a. Suppose k - q = -10*k. Is k a multiple of 3?
False
Suppose -3*c + 128 = -2*z, c - 82 = -c + 2*z. Let d = c - 32. Suppose d = v - 7. Is v a multiple of 7?
True
Let k(i) = -3*i**3 - 15*i**2 - 16*i + 19. Let l be k(-11). Let u = l - 1509. Is 12 a factor of u?
True
Let v(d) = -13 + 4 - d**2 - 4 + 8*d**2. Let c be v(6). Does 45 divide (-2*c/(-3))/(36/54)?
False
Let l = 61 - 35. Let v be 39/l*(0 - -82). Suppose 0*f + v = 3*f. Is f a multiple of 14?
False
Suppose -l + 117 = 5*f - 124, -5*f = -5*l - 235. Suppose -f = -2*x + x. Suppose -x = -5*t + 402. Is 20 a factor of t?
False
Suppose 17520 - 3629 = 29*b. Let g = 942 - b. Is g a multiple of 16?
False
Is (-291144)/(-546) - 12/52 a multiple of 13?
True
Let w(s) = 6*s**2 + 2*s. Let v be w(-1). Suppose 2*h + 6 = 0, 0*l - v*l - 5*h = 7. Suppose -u = 5*b - 137 + 21, u = -l*b + 116. Is u a multiple of 27?
False
Suppose -13*d - 1111692 = -34*d + 274518. Is 70 a factor of d?
True
Let p(u) = -u**3 + 14*u**2 + 12*u + 48. Let h be p(15). Suppose 0 = 2*s - 3*r + 5*r - 2106, 0 = h*s - 3*r - 3183. Is s a multiple of 14?
False
Let b(p) = 2*p**2 - 2*p - 48. Let q(o) = -5*o**2 + 97. Let r(j) = -7*b(j) - 3*q(j). Does 28 divide r(9)?
True
Let h(c) = -6*c + 89. Let v = -43 - -31. Is 6 a factor of h(v)?
False
Let f = 30 - 41. Let z = 14 + f. Suppose 0 = -4*o + 3*t + 671, 5*o + 3*t + z - 808 = 0. Is 24 a factor of o?
False
Suppose -4365 = -4*c - 3*b + 8319, 2*c + b = 6344. Is 23 a factor of c?
True
Let v = -730 + 1063. Let o be (36/(-10))/((-9)/420). Let b = v - o. Is b a multiple of 25?
False
Let a(g) = -g**3 + 15*g**2 + 14*g + 14. Let o = 11 - -5. Let b be a(o). Let l = 70 - b. Is 22 a factor of l?
True
Does 12 divide (11 - 21) + 7 - (-1731 - 0)?
True
Suppose -3*m = 0, 0*x = -2*x + m + 16. Let j(u) = u + 64. Let r(v) = v + 32. Let n(g) = -4*j(g) + 9*r(g). Is n(x) a multiple of 8?
True
Suppose -x + 26 = -33. Let k = x + -48. Let f(l) = -l**3 + 11*l**2 + 10*l - 20. Does 14 divide f(k)?
False
Suppose -151*k + 178*k - 113400 = 0. Is k a multiple of 75?
True
Suppose 9*l = 2*l - 287. Let w = 28 + l. Is 18 a factor of 9*(w - 4)*-1?
False
Suppose -c + 153 - 153 = 0. Let x(z) = z**2 + 2*z + 18. Is 3 a factor of x(c)?
True
Let q(g) = -59*g - 2534. Is 5 a factor of q(-49)?
False
Let f(p) = p**2 - 6*p - 157. Let g be f(-13). Let o be ((-2)/(-3))/(1/18). Suppose 14*y = o*y + g. Is 9 a factor of y?
True
Suppose 4*d = -37 - 107. Suppose -23*t - 623 = -2256. Let q = d + t. Does 29 divide q?
False
Suppose 0 = 9*n + 2415 - 30. Let h = 391 + n. Is h a multiple of 29?
False
Suppose -3*m + m = 2, -2*v = 3*m - 3003. Does 167 divide v?
True
Let r be (45/(-21))/((-13)/91). Does 18 divide (8 - (-156)/(-15))*(0 - r)?
True
Let k = -825 + -350. Let l = 1751 + k. Is l a multiple of 55?
False
Let h = -229 - -229. Suppose -13*b - 284 + 5081 = h. Does 65 divide b?
False
Let b(d) = -d**3 + 3*d**2 + 5*d - 7. Let q be b(3). Let x(u) = 2*u**2 - 3. Let o be x(q). Suppose -5*h + o + 55 = 0. Is 12 a factor of h?
True
Suppose 4 = -2*j, -139 + 407 = -3*a + 4*j. Is 33 a factor of a/23 - (-336 - -1)?
False
Let p = -105 - 225. Does 8 divide (p/(-77))/((-2)/(-168))?
True
Let x = 49285 - 36061. Is x a multiple of 29?
True
Let v be (3/3)/(5/15) + -3. Let i(d) = -4*d - 78. Let z(k) = -1. Let j(a) = -i(a) - 2*z(a). Is 21 a factor of j(v)?
False
Let s(o) = 2*o**2 + 19*o - 5. Let u be s(-23). Suppose 9 = -3*z, 3*z + u = 2*y - z. Is 64 a factor of y?
False
Suppose w + 3*p = -0*p - 10, 3*w = -4*p - 10. Is ((-176)/11)/(w*(-3)/210) a multiple of 35?
True
Let t(v) = -v**2 + 20*v - 4. Suppose 2*x - 4*k = -98, k - 24 = x + 21. Let g = x - -57. Is t(g) a multiple of 9?
False
Let m be (-4 + 0)/(80/(-60)). Is 51 a factor of (-429)/(-13)*53/m?
False
Let l(k) = 2*k - 160 - 5*k + 153. Let v be l(-3). Suppose 0 = 3*b + w - 58, v*b = 3*w - 2*w + 42. Is b a multiple of 5?
True
Let f be (-2)/(-17) - 583/187. Let w be 6 + -3 + f + 0. Is (33 + w)/(6/10) a multiple of 11?
True
Let n(s) = -s + 1. Let d(u) = u**3 + 16*u - 6. Let i(g) = -d(g) - 6*n(g). Let b(w) be the second derivative of i(w). Is 5 a factor of b(-4)?
False
Let h(k) = 33*k**2 + 47*k - 1078. Is 41 a factor of h(15)?
True
Let t = -166 + 310. Let k = 441 - t. Is k a multiple of 27?
True
Let l(m) = 112*m - 786. Does 14 divide l(24)?
False
Is ((3166688/16)/(-14))/(-7 - -6) a multiple of 42?
False
Let t = 2130 + 915. Does 5 divide t?
True
Let g(c) = -c**2 - 5*c + 2. Let p be g(10). Let h be p/(-8)*60/6. Let b = -125 + h. Does 15 divide b?
True
Let z(x) = -x**2 + 31*x - 97. Let t be z(27). Let c(w) = 2*w**3 - 20*w**2 + 12*w + 9. Is c(t) a multiple of 16?
False
Let b be (-2)/12 + 1 + (-75)/(-18). Let x be (-6)/((-36)/42) + (-2)/(-2). Suppose -130 = -3*h - b*n, -34 = -h - 5*n + x*n. Does 3 divide h?
False
Suppose r + 4 - 1453 = -153. Does 9 divide r?
True
Let o be -5 + (-4 - -172) - (-3 - -7). Suppose 0*g = g + 4*w - 160, -g - 3*w = -o. Does 26 divide g?
True
Let x(v) = 3*v**2 - 2*v**2 + 0*v**2 + 0 - 35 + 6*v. Let o be x(-10). Suppose o*z - 4*z - 5*a = 36, 4*z = a + 125. Does 7 divide z?
False
Suppose 4*n = -2*f + 56, 3*f + 7 - 71 = -n. Suppose 32*c - f*c - 5148 = 0. Does 11 divide c?
True
Let l = 7740 - 7436. Does 8 divide l?
True
Suppose -12 = 5*w - s, 6*w - w + s + 18 = 0. Let a be -3 + (w - -4) - -3. Does 29 divide (-84 - a)*(-20)/25?
False
Suppose -9*s = 