i**2 + 10*i + 9. Let w be d(-8). Let q = w + 28. Suppose 4*f - 69 = -q. Does 6 divide f?
True
Suppose 1323 = 5*i + 2*c, 0*c - 5*c = 3*i - 809. Is 63 a factor of i?
False
Suppose -2*d - 43 = 5. Let f = d + 36. Is 9*(0 - (-28)/f) a multiple of 21?
True
Let j be (14/8 - 1)*36/3. Suppose -8*a + 1071 = j*a. Is 11 a factor of a?
False
Suppose -4*w + w - d = 3, w + 4*d + 12 = 0. Let g be 1/5 - (-1)/(-5). Suppose w = -g*a + a - 13. Is 13 a factor of a?
True
Let b = 3 + 0. Suppose -2*f + 3*w = w - 218, -b*f + w = -317. Suppose 4*p - r - 114 = 0, -4*p - 3*r = r - f. Does 14 divide p?
True
Let n(i) = 4*i + 15. Let t be n(20). Let l = 64 + t. Does 30 divide l?
False
Let x = -69 - -23. Let j = 11 - 3. Does 3 divide x/(-6) - j/(-6)?
True
Suppose 0 = 3*f - 89 - 274. Suppose 0 = 2*v - 55 - f. Does 22 divide v?
True
Let m(a) = 5*a + 10. Let i(l) = -2*l**2 - 4*l - 2. Let q be i(-2). Let r be (q + -3)*8/(-4). Is m(r) a multiple of 15?
True
Let l(u) = 2*u**2 + 12*u - 12. Let b be l(-6). Let m(h) = h**3 + 12*h**2 - 5*h + 8. Does 17 divide m(b)?
True
Let g = 1714 - 1362. Does 88 divide g?
True
Suppose 0 = x - 502 - 106. Is 32 a factor of x?
True
Let g(c) = 47*c**2 - 20*c + 8. Does 34 divide g(4)?
True
Let v be (3 + -3 + 5)/1. Suppose 88 = v*s - 192. Is 15 a factor of s?
False
Suppose 21*u - 9006 = -396. Does 41 divide u?
True
Let n be (-3 + -41)*(-1 - (-9)/12). Suppose 0 = -n*l + 27*l - 688. Is l a multiple of 11?
False
Suppose -5*p + 1 = 3*l, 2*l + 0 = -3*p + 1. Is 9 a factor of 835/30 - p/6?
False
Suppose 0 = 2*j + 4*w - 1552, -5*w + 1534 = 2*j - 7*w. Is 77 a factor of j?
True
Suppose j + 3*j - 20 = 0. Suppose j*o - 448 = -5*v + o, 2*v - 174 = o. Does 22 divide v?
True
Let g(j) be the third derivative of -31*j**5/60 + j**3/6 + 2*j**2. Let m be g(1). Is (m/25)/(4/(-10)) a multiple of 2?
False
Let q(y) = y + 10. Let r be q(-9). Is 31 a factor of r + 0 + ((-16)/(-4) - -119)?
True
Let a be ((-95)/(-190))/(4866/(-4868) - -1). Suppose 11*g = 103 + a. Does 15 divide g?
True
Let o(h) = h**3 + 8*h**2 + 5*h + 10. Let n be o(-7). Let l(x) = -x**3 + 25*x**2 - 23*x - 11. Does 6 divide l(n)?
False
Suppose -2*h + 0*h = 0. Let l be -34*((h - -2) + -3). Let g = l + -19. Does 9 divide g?
False
Let b = 10 - -82. Let t = 29 - b. Let k = 16 - t. Does 37 divide k?
False
Let a(c) = -c - 1. Let w be a(1). Does 9 divide (-31 + w/(-2))*(-38)/95?
False
Let d be (-2 - 2)/((-6)/9). Suppose 0 = 5*o + v + 51, -5*v = 4*o + d + 39. Is 13 a factor of ((-132)/o)/((-8)/(-20))?
False
Let l = 13 - 11. Suppose 3*v - l*v + 2*c - 12 = 0, 2*c + 48 = 5*v. Is 8 a factor of (v/(-4))/((-7)/70)?
False
Suppose 5*h - 3*a = -6*a + 9045, 3*h - 5428 = -2*a. Does 86 divide h?
True
Let m = -3 + 9. Let q be ((-2)/(-6))/(-2 - 165/(-81)). Is m*8 - (5 - q) a multiple of 13?
True
Let d(f) = f**3 - 8*f**2 - 4. Let h be d(7). Let k = 168 + h. Does 23 divide k?
True
Suppose 33*v - 37*v + 12 = 0. Suppose 9*b + v*b - 612 = 0. Does 24 divide b?
False
Suppose 6*p - 5*a = 4*p + 178, 0 = 4*p + 4*a - 300. Is 11 a factor of p?
False
Let i(p) = p + 2. Let g be i(0). Suppose -r = -g*r. Suppose z - 255 = -5*b, -4*b + r*b = 2*z - 210. Does 10 divide b?
True
Let l be (-2 - -1)/(-1 + (-4)/(-6)). Suppose 0*c - l*c = -177. Is 6 a factor of c?
False
Let f = 9 + -15. Let x(v) be the third derivative of v**5/60 + 7*v**2. Is 18 a factor of x(f)?
True
Suppose 3*u = 3*i, 4*i - 5 - 13 = -2*u. Suppose -5*r + o = -u*o - 256, 50 = r - 2*o. Is r a multiple of 17?
False
Let j(z) = 17*z**2 + 10*z + 1. Let n(x) = -18*x**2 - 11*x - 2. Let v(g) = 3*j(g) + 2*n(g). Does 15 divide v(-2)?
False
Suppose 2*p - 5*b + 8 = 0, b = 3 + 1. Suppose -5*y = x, -x + p*y = 5*y - 12. Is x a multiple of 5?
True
Suppose -8*g + 3*g + 15 = 0. Suppose -4*z + 16*f - 15*f = -16, -5*f = 4*z - 16. Suppose -5*s + 449 = g*t, -2*s = -s + z*t - 83. Is s a multiple of 19?
False
Suppose -5*v = 438 + 547. Let q = v - -279. Is 23 a factor of q?
False
Suppose 2*r = 11 + 223. Suppose -11*x = -12*x + r. Does 9 divide x?
True
Let n(y) = 11*y**2 + 3*y + 4. Let k(p) = -23*p**2 - 5*p - 7. Let v(o) = -3*k(o) - 5*n(o). Is 14 a factor of v(-1)?
False
Let t be (7/(-2) - -3)*34. Let y = 10 - t. Let v = y - 1. Does 13 divide v?
True
Let v = 380 - 372. Is 4 a factor of v?
True
Let t = 13 + -24. Let o be (t + 6)/(2/4). Let u(a) = -a**2 - 13*a - 24. Is 6 a factor of u(o)?
True
Is 20 a factor of (-302552)/(-124) - 2/(-31)?
True
Let s be (-159)/(-9) - (-4)/12. Let n be (-3 - -1)/(3/s). Let t = 12 - n. Is t a multiple of 13?
False
Suppose -2*a - 3*d = -135, 5*a - 4*d - 320 = a. Let z(g) = 8*g**2 - 2*g - 1. Let x be z(2). Suppose 0 = 3*t - x - a. Is t a multiple of 17?
True
Suppose 3*m = 7*m - y - 356, -12 = -3*y. Suppose 7*n = 10*n - m. Is 5 a factor of n?
True
Let g be 141/9 + (-4)/6. Let z = g + -8. Is z a multiple of 7?
True
Suppose -4*r + 8 = -4*f, -3*r + 4*f - 7 = -4*r. Suppose 0 = 3*o + 4*g - 541, -r*g + 279 = 2*o - 83. Is o a multiple of 30?
False
Is (-8 + 3)*1137/(-15) a multiple of 4?
False
Let a be 4 - (2 - (3 + -2)). Suppose c = -3*n + 5, a*n + 0*n + 15 = 3*c. Suppose n*o - 248 = -4*o. Is o a multiple of 24?
False
Suppose 3*l + 6 = 2*u, -3*l - l - 8 = 2*u. Suppose u = 3*x + 3, -5*f + 50 = 2*x - 78. Is 26 a factor of f?
True
Let p(i) = 2*i**2 + 20*i - 1. Is 5 a factor of p(7)?
False
Let l(q) = -q**3 + 7*q**2 - 2*q + 15. Let c be l(7). Does 16 divide -1 - c*(-325)/5?
True
Suppose -g + 1174 - 3895 = -4*y, -4*g - 4 = 0. Is y a multiple of 4?
True
Let a be (1845/(-60))/((-6)/8 - -1). Let w = a + 163. Is w a multiple of 8?
True
Let f = 0 - 4. Is f/((12/(-58))/3) a multiple of 10?
False
Suppose 4*w - 76 = -4*n, 0 = -4*w - 3*n + 50 + 23. Is 5 a factor of 10*-7*(-8)/w?
True
Let z(k) = 3*k**2 - 24*k - 31. Does 5 divide z(11)?
False
Suppose 0*d + 8 = 4*d. Suppose r + d = 7. Is r a multiple of 4?
False
Let n = -21 - -158. Is 17 a factor of n?
False
Suppose 48 = 3*i + a, -i = 4*a + 1 - 28. Suppose 0*f = -5*f + i, 0 = -4*t + 3*f + 471. Is t a multiple of 17?
False
Let z(b) = b**3 - 4*b**2 - b + 4. Let w be z(4). Let x = 2 - w. Suppose x*h - 48 = 8. Does 10 divide h?
False
Suppose -5*h + a - 30 = 0, -a + 12 = -2*h - 3*a. Let m(c) = -2*c. Let f(p) = 3*p. Let o(b) = h*m(b) - 5*f(b). Does 2 divide o(-1)?
False
Let y = -685 + 1290. Is y a multiple of 20?
False
Let s = -28 - -40. Does 13 divide 758/s - 2/12?
False
Suppose -29*o - 154548 = -83*o. Is o a multiple of 18?
True
Suppose -16 = -7*q + 3*q. Suppose -q*b + 6*b = -2*h + 52, -116 = -4*h - b. Is 13 a factor of h?
False
Let v be 3*-1*17/(-3). Suppose -3*b - v = 31. Let w = 32 + b. Is 4 a factor of w?
True
Let l(w) = -19*w**3 - 6*w**2 - 5*w - 6. Is l(-3) a multiple of 28?
False
Let z(d) = 2*d + 244. Suppose -2*s - 5*t + 25 = 0, 0 = 2*t - 3 - 7. Let g be z(s). Suppose -f = -w - 4*w + 256, -5*w + 4*f = -g. Does 13 divide w?
True
Suppose 88 = t + 52. Is 7 a factor of (t/30)/((-6)/(-70))?
True
Suppose -1800 = -4*f + 4328. Suppose 2*r - 354 - 252 = -5*g, 0 = -5*r - 4*g + f. Does 44 divide r?
True
Let y be 9*(20/(-12) - -2). Let l(n) = 20*n - 5. Is 11 a factor of l(y)?
True
Suppose 74*w - 88*w = -294. Is 2 a factor of w?
False
Suppose -3*o + 6*o - 3*v = -18, 5*v = 5. Let n(k) = 11*k**2 - 2*k - 9. Let a(w) = 4*w**2 - w - 3. Let t(l) = -8*a(l) + 3*n(l). Is t(o) a multiple of 6?
True
Let v(h) = -h**2 - 38*h + 77. Is v(-37) a multiple of 19?
True
Let v = 43 + -45. Is ((-24)/(-10))/v*(-20 - -15) a multiple of 6?
True
Let l = -571 + 1393. Is 12 a factor of l?
False
Let o(n) = 3*n**3 - 11*n**2 - 2*n + 2. Is o(9) a multiple of 25?
False
Let h(x) = 5*x**2 - 4*x - 1. Let m be h(-3). Let a = m - 9. Is 34 a factor of a?
False
Let s be -2 + (-195)/(-21) + (-6)/21. Let v = -9 + 6. Does 7 divide s*(v/(-1) + 0)?
True
Let l(v) = -40*v + 14. Let r be l(-5). Let m = r + -100. Is m a multiple of 19?
True
Let p = 118 + 90. Is p a multiple of 15?
False
Let t(p) = p**2 - 2*p - 9. Suppose -g + 6*g + 2*z = 53, -3*g - 5*z = -47. Does 18 divide t(g)?
True
Is 5 a factor of 2/(-13) - (-146124)/533?
False
Let v(i) = 22*i - 384. Is v(37) a multiple of 43?
True
Let t(g) = 8*g + 12. Let c be t(-3). Let i = c - -29. Suppose 12*q + 65 = i*q. Is q a multiple of 13?
True
Let u(t) be the third derivative of t**4/4 + 15*t**3 + 5*t**2. Is 27 a factor of u(0)?
False
Let z be (320/3)/1 + (-13)/(-39). Suppos