+ d = 0, -3*x - 2*x = -5*d. Let n = -10 + 14. Is 16 a factor of 2 + x/n + 46?
True
Suppose -a = 4*y - 18 + 6, 2*y - 4*a = 6. Is 14 a factor of -4 + y - (-106 - -1)?
False
Let a = -20469 + 24428. Is 27 a factor of a?
False
Does 81 divide (((-20619)/(-2))/(-3))/((-23)/46)?
False
Let a(m) = 793*m - 4109. Is a(41) a multiple of 9?
True
Let m(i) = 9*i + 13. Suppose 119 = 2*z + 1. Let p = z + -56. Does 2 divide m(p)?
True
Let f(j) = -214*j + 936. Is f(-18) a multiple of 36?
True
Let i(t) = -10*t + 204. Let k be i(20). Suppose 0 = 7*z - 8*z + k*l + 367, -4*l = -5*z + 1835. Is 12 a factor of z?
False
Suppose 4*x + 130 - 802 = 0. Suppose c - 432 = -4*c - y, 2*c + 2*y - x = 0. Let k = -59 + c. Is k a multiple of 4?
True
Let j be ((1112/5)/(-2))/(10/25). Let l = 385 + j. Is 5 a factor of l?
False
Let i(q) = -q**3 + 4*q**2 - 5*q + 16. Let k be i(3). Suppose k*f + 267 = 2437. Let y = f - 82. Is 11 a factor of y?
False
Is 58 a factor of (3 + 30/(-12))*-2*-3016?
True
Let r(z) = -z**3 - 12*z**2 + z + 14. Let u(y) = -y**3 + 5*y**2 - 7*y. Let n be u(4). Let c be r(n). Let s(o) = 17*o - 4. Is 6 a factor of s(c)?
True
Is 13 a factor of (-3 + (-573)/(-6))/((-1)/(-2))?
False
Let f(q) be the first derivative of q**4/4 + q**3/3 + q + 48. Let x(z) = -z**3 + 12*z**2 + 23*z + 24. Let m(t) = 2*f(t) + x(t). Is 28 a factor of m(-9)?
True
Let j(r) = -905*r + 447. Is j(-28) a multiple of 197?
False
Is ((-46)/184)/((-2)/58648) a multiple of 73?
False
Let p be (-15)/((-60)/1664) - -5. Let g = 825 - p. Is 24 a factor of g?
False
Suppose 26*i = 3*i + 2785 + 135652. Is 3 a factor of i?
False
Let y(j) = -j**3 + 19*j**2 - 1. Let d be y(19). Let a(r) = -20*r**3 - r**2 - 3*r - 1. Is a(d) a multiple of 21?
True
Is 27 a factor of 41004/((-96)/(-16)) + 24?
True
Suppose -79*c + 77*c + 1674 = 0. Does 4 divide c?
False
Suppose -2*j - 23 = -81. Let s(d) = j*d - 7 - 23*d + d**2 + 8*d. Is 20 a factor of s(7)?
True
Suppose -44*u + 41*u + 14755 = 4*q, -2*u - 6*q + 9860 = 0. Is 36 a factor of u?
False
Suppose 1948 + 512 = 5*b. Let m = -101 + b. Is 23 a factor of m?
True
Let p(a) be the first derivative of -18*a**2 - 29*a + 267. Does 8 divide p(-8)?
False
Let q(a) = 41*a - 36. Let u be q(6). Suppose p - 2*w - u = 0, 396 = 2*p + w + 3*w. Is p a multiple of 12?
True
Suppose 3*a + 3 = -3*f + 15, 20 = -3*a + 5*f. Let m(n) = -18*n**3 + 0*n**2 - n**3 - 2*n + 3*n**2 - 2*n**2 + 20*n**3 + 18. Does 18 divide m(a)?
True
Suppose -585961 = -87*g + 1507694. Does 41 divide g?
False
Suppose -4*l = -11669 + 4709. Suppose -3*f = -s - 1051, -7*f + 4*s = -2*f - l. Is 32 a factor of f?
True
Let u(t) = 9*t - 20. Let f be u(-7). Let h = f - -138. Let p = 118 - h. Is 7 a factor of p?
True
Suppose -327*d = -279*d - 167104 - 406304. Does 22 divide d?
True
Let i(r) = r**3 + 35*r**2 + 128*r - 27. Does 27 divide i(-27)?
True
Suppose -3*a + 243 = -3*z, 0*z + 4*z + 8 = 0. Let u = 111 + a. Does 38 divide u?
True
Let a(s) be the second derivative of -s**3 + 31*s**2/2 + 31*s. Let m be a(5). Is 46 a factor of 4 - (-131 + m) - (-2 + -2)?
True
Let t be 68/51*(-15)/2. Let g = t - -43. Is 7 a factor of g - 1 - (4 - (-1 + 1))?
True
Let p = -32 + 37. Let b(q) = q**3 + 13*q**2 - 7*q + 12. Let z be b(-12). Suppose -5*x - p*x = -z. Is x a multiple of 6?
True
Let p(k) = -k**3 + 22*k**2 + 5*k - 50. Let i be p(22). Suppose -10 = -2*g - 2. Suppose -2*b = -3*w + w + 42, 3*w = g*b + i. Is w a multiple of 8?
True
Let o = -17986 + 65638. Does 76 divide o?
True
Let p(b) = b**3 - 2*b**2 + 4*b - 1. Let s be p(2). Let m(t) = 2*t**3 - 8*t**2 + 14*t - 45. Is 19 a factor of m(s)?
False
Let j(m) be the third derivative of 19*m**6/60 - m**3/6 + m**2. Let f be j(1). Let s = -17 + f. Is 5 a factor of s?
True
Let b(x) = 4*x**3 + 2*x - 414. Let l be b(0). Is l/15*30/(-12) a multiple of 2?
False
Let x be ((-1)/(-2))/(10/220). Suppose -m = o - x, 2*o + 10*m = 9*m + 27. Is 12 a factor of o?
False
Suppose -4*q - 12*v + 1670 = -7*v, 1268 = 3*q - 4*v. Let z = q + -2. Is z a multiple of 19?
True
Let j = 84 - 60. Suppose 0 = -5*u + j - 64. Does 3 divide 2*36/u*-1?
True
Suppose -86*p + 91*p = 10. Let f be p/10*(6 - 1). Does 10 divide (-19)/(f/(-21) - (-12)/(-42))?
False
Let s(y) = 2*y**2 - 4*y + 36. Suppose -4*t + 2 = 3*g + t, 4*t + 4 = -g. Does 41 divide s(g)?
False
Suppose 9*m - 14934 = 2993 - 1745. Does 5 divide m?
False
Let i = 3 - 524. Let d = 845 + i. Does 27 divide d?
True
Suppose 2595 = 5*t + 2*k - 4765, 0 = t + 2*k - 1464. Is 134 a factor of t?
True
Let p be (1/(-1))/(-2*4/3088). Suppose -11*d + 10*d + 2*i + 183 = 0, 2*d + i = p. Does 34 divide d?
False
Suppose -2*k + 14 + 32 = 0. Suppose 4*w = -3*o - 55, -5*w - o - 4*o = 65. Let l = k - w. Is l a multiple of 5?
False
Suppose -q = -2*l + l - 12, -3*q = -5*l - 32. Suppose -q*y - 356 = -16*y. Does 24 divide y?
False
Let s = 6979 + 3562. Does 24 divide s?
False
Suppose -7*u = -12*u + 240. Suppose -47*d = -u*d + 289. Is 100 a factor of d?
False
Let a = 4655 - 2542. Does 46 divide a?
False
Let f be ((-1)/2 + 0)/((-20)/(-120)). Let a be 0 + (f - 1) + 187. Let d = -23 + a. Is 20 a factor of d?
True
Let j(n) = n**3 + 7*n**2 - 12*n - 7. Let y(b) = b**3 + 23*b**2 + b + 15. Let f be y(-23). Let u be j(f). Suppose 0 = -29*t + u*t + 252. Does 7 divide t?
True
Let y = -31978 - -47383. Does 13 divide y?
True
Suppose 11997 = l + 4*l + 3307. Does 145 divide l?
False
Suppose 0*x + 5*x = x. Suppose x = -2*l + 7*l - 20. Suppose -3*a = -a - 5*f - 207, -2*f + 378 = l*a. Does 29 divide a?
False
Suppose 4*x = -3*x + 42. Let k be ((-994)/18 - 2/(-9))*x. Let w = -228 - k. Is w a multiple of 34?
True
Let i = -52 - -64. Let w be (-3 + 0)/i - (-981)/(-12). Is (1 - (-10)/(-6))*(1 + w) a multiple of 27?
True
Let i = 20 - 20. Suppose i = 3*v - 0*v. Suppose -38*f + 42*f - 364 = v. Is 13 a factor of f?
True
Let u = 44879 - 27719. Suppose 2*o + 22*o = u. Does 65 divide o?
True
Let d = 411 + -407. Suppose 0*y - 2*l = d*y - 928, -5*y + 5*l = -1130. Does 23 divide y?
True
Let v(z) = 95 - 19*z + 16 + 49*z - 12*z. Is 13 a factor of v(22)?
True
Let t(l) = 5*l + 122. Let k be t(5). Let n = 115 - 191. Let q = k + n. Does 4 divide q?
False
Suppose -2*m = -3*m - 3, -10 = v + 5*m. Suppose -y + v*x = -384, -3*y - x + 1232 = 4*x. Suppose 0 = 8*z - y + 84. Does 20 divide z?
True
Does 76 divide 2*(3 - 6) - -9164?
False
Let v be ((-1)/(-2))/((-1)/(-606)). Suppose v + 47 = 7*g. Suppose -4*c + 2*o + g = -0*o, 4*c = -4*o + 32. Is c a multiple of 2?
False
Let k(t) = 21*t**2 + 96*t - 806. Is k(-38) a multiple of 65?
True
Let j = -51 - -2418. Is 4 a factor of j?
False
Let k(y) = 10*y**2 + 21*y + 9. Is k(-27) a multiple of 22?
True
Is (-1 + 6/((-252)/(-186)))*1092 a multiple of 14?
False
Let c(i) = 15*i**2 + 42*i + 3804. Is c(-43) a multiple of 17?
True
Suppose 0 = -5*h + 3*z - 54, 2*h + 45 = -2*h + 3*z. Let t = 707 - h. Is t a multiple of 24?
False
Let c(h) = 156*h + 28381. Is 16 a factor of c(0)?
False
Suppose 75*l - 1416 = 72*l + 2*y, 0 = -l + 4*y + 462. Is 16 a factor of l?
False
Let j = 90 - 56. Suppose 4*l - 80 = 5*u, l = u + 2*l + 16. Let v = j + u. Is 18 a factor of v?
True
Does 185 divide (-291 + 293)*(-7955)/(-1)?
True
Let w(y) = -129*y**3 - 229*y**2 - 1153*y - 10. Does 39 divide w(-5)?
False
Let z = 12530 - 10934. Does 14 divide z?
True
Let j(s) be the first derivative of s**2/2 - s - 9. Let t(v) = 11*v + 14. Let x(w) = j(w) + t(w). Is 19 a factor of x(3)?
False
Suppose -6*x + 4454 = -6634. Is 8 a factor of x?
True
Suppose -5*d = -o - 80, 41 + 29 = 4*d - 2*o. Let w = d - -131. Is 17 a factor of w?
False
Let i be 1635/12 + (-2)/8. Suppose 26*k + 3769 - 1377 = 0. Let w = i + k. Does 29 divide w?
False
Let g be (-154)/(-84) + 2/(24/2). Suppose 2*o + 690 = g*w - 134, w - 406 = -2*o. Is w a multiple of 10?
True
Let i(a) = 16*a - 4. Let d be i(1). Suppose 16*r - 13*r = d. Suppose 171 = 13*f - r*f. Is 3 a factor of f?
False
Suppose h - 3*d = 16, -3*h - 2*d + 23 = -25. Suppose -5*y + 4*b = -1369, 13*y + b = h*y - 820. Does 44 divide y?
False
Let h(n) = -n**3 - 7*n**2 + 15*n - 13. Let t be (27/6 + -3)*44/(-6). Let y be h(t). Is 35 a factor of (-2 + y/(-2))/(-1)?
False
Suppose 0 = 5*o - 5, 0*o = 4*c + o + 139. Let b = c - -283. Is b a multiple of 26?
False
Let i be 0 + -4 - (-355 - -3). Let h = i - 249. Suppose 27 - h = -4*q. Is q a multiple of 9?
True
Let n = 