a multiple of 26?
True
Let i be 5 - 4/(-4) - 2. Suppose -8*n = -i*n. Suppose n = -0*m + 3*m - 60. Is m a multiple of 4?
True
Suppose 0 = -2*n - 13*w + 11*w + 35258, 0 = -5*n + 2*w + 88124. Suppose 0 = -21*i - 763 + n. Is 9 a factor of i?
False
Let a = -6898 - -13461. Is 54 a factor of a?
False
Let k be ((-4)/(40/(-14)))/((-2)/10). Let h(f) = -f**3 - 3*f**2 + 16*f + 38. Is 98 a factor of h(k)?
False
Let j(c) = c**2 - 27*c - 171. Is 16 a factor of j(-13)?
False
Suppose 0 = -118*m + 62*m + 52584. Is 162 a factor of m?
False
Let w be (-21065)/(-22)*(-24)/(-15). Let t = w + -944. Is 6 a factor of t?
True
Is (55 + -56)*(-173*67 + -1) a multiple of 8?
True
Let t(p) = 75 + 337*p + 327*p - 671*p. Does 12 divide t(-8)?
False
Let s be (-36)/(-30) - (-3895)/25. Suppose -132*p + s = -131*p. Is p a multiple of 14?
False
Suppose 634203 + 4775397 = 175*l. Is 21 a factor of l?
True
Suppose 0 = g + 5*a - 75, -4*a - 140 - 52 = -2*g. Suppose 5*z - 99 - 101 = 0. Let f = g - z. Is f a multiple of 12?
False
Let w(n) = 439 - 16*n - 640 - 20*n. Does 78 divide w(-23)?
False
Let t(d) = 355*d**2 + 263*d. Does 126 divide t(-5)?
True
Let l = 3518 + -1886. Is l a multiple of 293?
False
Suppose -109*s + 40*s = -2527608. Is s a multiple of 241?
True
Let k be (120/(-140))/(2*1/(-98)). Let z = k + -42. Suppose z = l - 4*m - 60, -m = -3*l - l + 270. Does 29 divide l?
False
Let v(j) be the first derivative of -173*j**2/2 + 4*j + 65. Does 14 divide v(-1)?
False
Let k(i) = 314*i**2 + 267*i - 3. Does 6 divide k(-3)?
True
Suppose 17*r + 0*r - 7170 = 2*r. Is r a multiple of 4?
False
Suppose 41 = -t - 3. Let u = 217 + t. Does 19 divide u?
False
Suppose -42*y = -37*y - 270. Let n = y - -14. Is n a multiple of 5?
False
Suppose 6308 = 34*y - 7564. Is 3 a factor of y?
True
Let w be (1*-3)/(12/80). Let r be 34*(-4)/(w/45). Suppose r = 4*y - 78. Does 16 divide y?
True
Suppose -2590 = -8*c + 13*c. Let s be 24/(-10)*(6580/3)/(-7). Let a = s + c. Is a a multiple of 13?
True
Let f = 444 - 335. Suppose -4*u - d = -3*u - f, -3*d - 3 = 0. Is 21 a factor of u?
False
Suppose 0 = 40*h - 301*h + 301194. Is h a multiple of 6?
False
Let h(m) be the first derivative of m**4/4 - 17*m**3/3 - 8*m**2 + 12*m - 3729. Let t(o) = 2*o**2 + 7*o + 3. Let r be t(-5). Is 8 a factor of h(r)?
True
Suppose -2*w - 18285 = -5*w - 3*h, -4*w + 4*h + 24388 = 0. Is 130 a factor of w?
False
Suppose 0 = 9*d - 2300 + 828 - 1255. Is 16 a factor of d?
False
Let z be 267/18 + 25/(-30). Suppose 0 = -z*h - 1474 + 6304. Does 39 divide h?
False
Let m be (-2 - -8)*152/(-3). Let x = 2893 - 3087. Let r = x - m. Is 11 a factor of r?
True
Suppose -2*c - 5*d + 116 + 2334 = 0, 5*c - 4*d - 6092 = 0. Is c a multiple of 13?
False
Let m = -59 - -54. Let v(u) = -11*u - 8. Let l be v(m). Suppose 0 = -f + 5*x + 72, 37 = f - 2*x - l. Is 5 a factor of f?
False
Let b = 4899 + -3567. Is 18 a factor of b?
True
Suppose 6*m + 4270 = m. Let r = -500 - m. Does 34 divide r?
False
Is ((200/(-30))/(3/(-336)))/(2/9) a multiple of 20?
True
Suppose -524 = -101*s + 2001. Is 24 a factor of s?
False
Suppose 37 = -2*z - 23. Let a be (-282)/z + (-2)/5. Let q = 54 + a. Is 9 a factor of q?
True
Suppose 0 = 12*k - 10*k - 1870. Does 17 divide k?
True
Suppose 2*k = d + 207, -d - 2*k - 231 = 2*k. Suppose 817 = 3*x - 404. Let u = x + d. Is u a multiple of 12?
True
Let v(z) = 13*z - 56. Let h be v(13). Let u = 119 + h. Let t = -88 + u. Does 12 divide t?
True
Let c(w) = -3 + 18 - w - 5. Let m be c(5). Suppose 11*u - 150 = m*u. Does 6 divide u?
False
Suppose 0 = 2*u - 5*u + 6. Suppose u*v + 0*b - 24 = -5*b, -3*b + 14 = v. Is 20 a factor of ((-2)/(-4))/(v/(-2160)*-3)?
True
Let z(r) = -6*r**3 - 14*r**2 - 8*r - 16. Let t(s) = 5*s**3 + 14*s**2 + 9*s + 16. Let c(a) = 5*t(a) + 4*z(a). Is c(-12) a multiple of 19?
False
Suppose -r = -4*w - 6 + 3, 0 = 4*r - 4*w. Let t(x) be the first derivative of 34*x**3/3 - 3*x**2/2 - 2*x - 301. Is 6 a factor of t(r)?
False
Suppose -f = 2*z - 26, -9 = -f + 2*z - 3. Suppose -f*d = 537 - 1353. Is d a multiple of 23?
False
Let j(d) = -d**2 + 7*d - 4. Let y be j(7). Let k be ((y - 8)/3 - 2) + -4. Is 32 a factor of 7*k/(-175)*25*19?
False
Let d be 404 + 11 + -7 + 4. Let l = d - 369. Is 2 a factor of l?
False
Let s be 1 - 0 - -11*4. Suppose 13*r = 16*r + t - 195, 5*t + 325 = 5*r. Suppose 2*m - r = -s. Is 2 a factor of m?
True
Let p(l) = -1. Let q(w) = -2*w + 44. Let c(u) = 2*p(u) + q(u). Let s be c(17). Is 4 a factor of (88/(-32))/((-2)/s)?
False
Suppose -1005882 = -71*b + 99003 + 1732417. Is 29 a factor of b?
True
Let r be (-4 + -1)*(0 + 1) - -349. Does 27 divide -34 + 33 - (-1 + r/(-2))?
False
Let o(k) = 87*k + 2470. Is o(-11) a multiple of 9?
False
Let j(y) = -y**3 - 15*y**2 - 27*y - 26. Let w be j(-12). Does 31 divide (-8 - w) + 4/(-2)?
True
Suppose -5*z + 15 = 0, 25*v - 26*v - 2*z = -788. Is v a multiple of 17?
True
Suppose 4*h + 0*h - 604 = -2*o, o - 3*h = 312. Suppose -o = -7*w - 10*w. Is w a multiple of 18?
True
Let n = 205 - 204. Does 37 divide 3 - (9 + -80)*(n + 0)?
True
Is 12 a factor of (130977/162)/((-12)/(-32))?
False
Let b = -2613 + 4609. Does 16 divide b?
False
Let c(g) = 57*g - 8. Let o be c(2). Let y = o + -87. Suppose 0 = -4*u + y + 221. Is u a multiple of 15?
True
Let r(h) = 70 + h - 70 + 34. Is r(5) a multiple of 2?
False
Let o(v) = -v**3 + 12*v**2 - 12*v + 11. Let y be o(11). Let x(a) = -5*a - a**2 + 71 + 5*a. Is x(y) a multiple of 15?
False
Suppose -2*h - 8 = -40. Let y = h - 12. Does 3 divide (-14)/(-4 + 4 + (-2)/y)?
False
Suppose -5*z + 25 = 4*t - 2*z, 4*t = 4*z + 4. Suppose -t*l - 2 = -2. Suppose l = 13*v + 112 - 528. Is v a multiple of 16?
True
Suppose 7*d + 3*w + 5058 = 10*d, 3369 = 2*d - 3*w. Suppose -1695 = -4*h - 5*n, 0*n = -4*h - 3*n + d. Does 20 divide h?
True
Suppose 18*b - 66549 + 5133 = 0. Does 32 divide b?
False
Let x(b) = 96*b**2 + 4*b + 50. Is 26 a factor of x(15)?
True
Let y(d) = -3 + 26*d**2 - 4 + 6 + 24*d - 16*d. Let w be y(6). Suppose 4*o - w = -51. Does 22 divide o?
False
Let p(k) = 8*k - 34. Let q = 60 - 46. Suppose -3*x + x + q = 0. Is 11 a factor of p(x)?
True
Let v = -8898 - -16633. Does 13 divide v?
True
Is 9 a factor of (-9)/((16/18)/2 - 369334/820512)?
True
Let h(m) = -8884*m - 15427. Does 264 divide h(-6)?
False
Suppose 16*p - 13*p = 45. Let d(v) = 7*v**2 + 5*v + 138*v**3 - v - 139*v**3 - 7 + p. Does 17 divide d(6)?
True
Suppose 68*l = -86820 + 277900. Is 8 a factor of l?
False
Let s be (7 - 3)/8*-48. Let o be (-9)/(-12) - (-2034)/s. Does 5 divide (4 + o/8)*-6?
False
Let o = 75 - 72. Suppose -o*b - 28 = h - 134, 142 = 4*b + h. Suppose 0 = -b*d + 32*d + 828. Is 24 a factor of d?
False
Suppose 66862 = -4*d + 68382. Is 20 a factor of d?
True
Let w(c) = -196*c - 492. Is w(-12) a multiple of 4?
True
Let c(u) = 28*u**2 + 25*u. Does 41 divide c(24)?
True
Let a(g) = 4*g**2 + 38*g - 272. Suppose -10*k + 42 = -4*k. Is 38 a factor of a(k)?
True
Let x(f) = 2*f**3 - 17*f**2 - 2*f - 5. Let y be x(7). Let r = 468 + y. Does 28 divide r?
False
Let p be (0 - -4) + (2 - 20). Let n be p/(-84) - (-74)/(-12). Is n*6*(-4)/8 a multiple of 18?
True
Suppose 18*k = 15*k + 24. Suppose -10*m + k*m = -6840. Is 17 a factor of m/35 + (-4)/(-14)?
False
Let o be -4 - (6 + -6 - 4). Is 11 a factor of -27 + 55 + o + -8?
False
Let n(j) = j**3 - 8*j**2 - 3*j + 9. Let l be n(8). Let r = l - -129. Does 59 divide r?
False
Suppose 2*y - 492 = 232. Suppose -4*f + 1484 = 2*x, 10*f - 9*f + 5*x = y. Is 62 a factor of f?
True
Let u(n) = 20*n**2 - 31*n - 93. Does 5 divide u(-4)?
False
Let t(c) = 43*c**2 + 36*c - 204. Is t(-15) a multiple of 18?
False
Let u = -41 + 38. Let k be (3 - (u + 3)) + 86. Let q = k + 100. Is q a multiple of 27?
True
Let d be 12/20 + 220/50. Let m(b) = -11*b**2 + 11*b + 22. Let r(j) = 5*j**2 - 5*j - 11. Let l(a) = 4*m(a) + 9*r(a). Is l(d) a multiple of 3?
True
Suppose 0 = -5*i + 2*k + 52899, 2*i = -4*k + 11658 + 9492. Is 15 a factor of i?
False
Suppose 5*z = -8 - 7. Let o(v) = -164*v - 65. Does 52 divide o(z)?
False
Let u(z) = 12*z - 117. Let d be u(10). Suppose -d*y + 4051 - 700 = -3*a, 3*y - 3354 = 2*a. Is y a multiple of 10?
True
Suppose 0 = 12*b - 9*b - 5484. Suppose 0 = -4*r - 4*k + b, 2*r + r + 2*k - 1369 = 0. Is 47 a factor of r?
False
Let s = -290 - -306. Is 11 a factor of (-90*1)/(-2) - s/8?
False
Suppose -y = a - 683,