+ 65*f - 44. Is 10 a factor of l(12)?
True
Let u(r) = 179*r + 3577. Is 11 a factor of u(32)?
False
Let h(a) = a**3 - a - 3. Let t be h(2). Suppose 0 = -t*j + 534 + 192. Is 22 a factor of j?
True
Let u(l) = 209*l + 63. Suppose -3*p = -3*t - 12, 0 = -31*p + 32*p - 4*t + 8. Is u(p) a multiple of 30?
False
Let p = -1221 + 1734. Suppose -160*a + 163*a - p = 0. Does 9 divide a?
True
Suppose 0 = -5*y - 4*y + 32760. Does 20 divide (108/(-21))/((-39)/y)?
True
Let m = 140 + -62. Suppose 8*i + m = -5*i. Is 7 a factor of i/14 - 2786/(-98)?
True
Let y be (0 - -625) + -13 - (-5 - 1). Let b = 744 - y. Is b a multiple of 42?
True
Let b(x) be the second derivative of 5*x**4/4 - 2*x**2 - 16*x. Suppose -8*v + 4*v = 8. Is 14 a factor of b(v)?
True
Is 25 a factor of 50/(12/(-7336)*(-25)/(75/4))?
True
Suppose 78 = -4*j + 86. Let q be j*((-14 - -17) + 3/(-2)). Suppose 0 = 2*f + 3*i - 39, 4*f - 2*f - q*i - 57 = 0. Is 12 a factor of f?
True
Suppose 4*u - 5*u + 2*z = -156, 645 = 4*u - z. Let w = u + 118. Is w a multiple of 28?
True
Suppose -18*k = -52*k + 19*k + 46485. Is k a multiple of 41?
False
Let s(h) = -7*h**3 - h**2 + 16*h - 2. Is s(-13) a multiple of 250?
True
Let m(t) = 140*t**3 - 2*t**2 - 7*t + 12. Let l = -434 - -436. Is 20 a factor of m(l)?
False
Suppose 4*z = 5*y - 4, z - 3*z + 4*y - 8 = 0. Suppose -982 + 338 = -z*l. Suppose 301 = 6*p - l. Is 7 a factor of p?
True
Let w(t) = 65*t - 56. Let z be w(-6). Let o = z - -456. Is 10 a factor of o?
True
Let j(u) = -22*u**3 - 6*u**2 - 9*u - 1. Let r be j(-2). Suppose 3*b - 2*b = -f + 59, 0 = -3*b + f + r. Is b a multiple of 22?
False
Let h = 6603 - -1236. Does 63 divide h?
False
Suppose -20 = -4*y - 0*y. Suppose -s = 3 - y. Suppose 5*n - 4*n = s. Is n even?
True
Let o(j) = -47*j + 279. Suppose -33*q - 114 = -27*q. Is o(q) a multiple of 7?
False
Let d = 122 - 149. Let z(o) = -10*o + 50. Is z(d) a multiple of 20?
True
Let v be ((-114)/95)/((-6)/40). Suppose -v*z + 1584 = 4*z. Is z a multiple of 44?
True
Let o = 3740 - 3443. Is 9 a factor of o?
True
Suppose -87*p = 37*p - 16864. Does 17 divide p?
True
Let a(c) = 148*c - 13. Let w = 26 - 31. Let t be a(w). Does 28 divide 2/6 - (0 + t/9)?
True
Suppose -6*j + 12*j = 42. Let d(s) = -j + 29 - 5*s + s. Does 21 divide d(-5)?
True
Let t(r) = -38*r**2 - 14*r. Let d be t(5). Does 17 divide 0 + (-1)/(2044/d - -2)?
True
Let y be 36/(-90) - 2/(-5). Suppose y*d = d - 1, -2*z - 6 = 2*d. Let t(w) = -w**2 - 7*w - 5. Is 3 a factor of t(z)?
False
Is ((-2388)/(-18))/(120/37620) a multiple of 19?
True
Suppose 0*a = -2*a - 5*d + 12, 0 = 5*d. Suppose -32 = -n + z, -z + a*z - 20 = -n. Does 15 divide (1 - -2)*880/n?
False
Suppose 2*t = 7 + 9. Suppose 6147 = t*d + 1363. Is 17 a factor of d?
False
Suppose -4*j - 35 = 13. Let t be 3/((j/8)/(-1)). Is 10 a factor of (-2)/(39/(-99) - t/(-6))?
False
Let i be (78/16 - (-19)/152) + 0. Suppose p - 222 = -3*a, 0 = -i*p + 6*a - a + 1150. Is 57 a factor of p?
True
Suppose 26*b - 3076 = 15592. Is 2 a factor of b?
True
Suppose 13 + 5 = -6*j. Let z be (-112)/(((-2)/j)/((-2)/3)). Suppose -2*l = -6*l + z. Does 10 divide l?
False
Is (2/(-13) - (-11403141)/481) + 30/6 a multiple of 103?
False
Let v(k) = -5*k**3 - 2*k**2 + 9*k + 16. Let x be v(-5). Suppose -6*z + 966 + x = 0. Does 18 divide z?
True
Suppose 0 = 6*c - 0*c - 558. Suppose 0 = -j - 59 + c. Suppose -10*t + 5*t + 170 = 3*z, t - j = -4*z. Does 4 divide t?
False
Does 62 divide (-20312)/(-10) - (125 + -117) - (-2)/(-10)?
False
Let y be 1*-18*7/(-14). Suppose y*z = 711 + 918. Is 27 a factor of z?
False
Suppose q + 5*s - 18 = 0, 40 + 0 = 4*q + 4*s. Let p(b) = q*b**2 + b + 5*b**3 + 8 + 8*b - 4*b**3. Is p(-6) a multiple of 14?
False
Suppose 10*o = 9*o + 1. Let k be (16/24)/(o + (-14)/18). Let j = k + 15. Does 4 divide j?
False
Let i(k) = -8*k + 72. Let l be i(9). Is 5 + 2 + l + 689 a multiple of 32?
False
Let g(r) be the second derivative of -2*r**3 + 17*r**2/2 - 71*r. Is 2 a factor of g(-4)?
False
Suppose -2*d + 4*j + 99 = -15, -2*d = j - 104. Suppose -54*g - 9 = -d*g. Is 12 a factor of 3 + (4 - g) - -2?
False
Suppose 0 = -5*r - 4*b + 63, -5*r - 35 = -8*r - b. Suppose 4*l - r = -a, 11 + 2 = -l + 5*a. Suppose -l*y - 31 + 79 = 0. Is 16 a factor of y?
False
Let r = -497 - -213. Let x = r - -530. Does 14 divide x?
False
Let c(z) = -z**2 + 15*z - 21. Let f be c(13). Suppose 233 = -f*q - 2. Let p = q + 62. Is 3 a factor of p?
True
Let f be -2 + 1964/(-8) - (-8)/(-16). Let c = f + 421. Is c a multiple of 2?
False
Suppose -9*g = -4*g - 30. Let w(a) = a**3 - 6*a**2 - a + 9. Let o be w(g). Suppose 0*k + 3*k - 5*l - 79 = 0, -o*k = 4*l - 88. Does 14 divide k?
True
Suppose -j = -2*b + 669, 0 = 2*b - 2*j + 180 - 846. Let s = b + -166. Does 44 divide s?
False
Let r(k) = 10*k**3 - 2*k + 2. Let g be r(1). Let v be 6/g*230/69. Suppose -4*c + 108 = v*t - 0*c, -2*t - 3*c = -104. Is t a multiple of 18?
False
Let w(i) = i**3 + i**2 + i + 1293. Is w(0) a multiple of 23?
False
Let s = 332 - 330. Suppose s*q - 436 = 720. Is q a multiple of 49?
False
Suppose 2*l = 8*l - 72. Suppose -6*z = -z + h - 15, 4*z + h = 13. Suppose -l = -3*s - z*d + 180, d = 3*s - 192. Does 8 divide s?
True
Let s be (6 - (-12)/(-2))*(-1)/2. Let c be s + 5 - (-70)/10. Does 37 divide 364/10 - c/(-20)?
True
Let w(l) = l**2 - 36*l + 42. Let o be w(35). Let r = o + 46. Is r a multiple of 5?
False
Let r(w) = 0*w**2 - 3 - 7*w**2 + 1 - 8*w**2 + 3*w. Let u be r(3). Is 4 a factor of u/24*(-9)/4?
True
Suppose -3*m - 4653 = 10*f - 11*f, 0 = -m - 1. Does 15 divide f?
True
Let z(o) = 2*o + 11. Let n be z(8). Suppose 29*f - 114 = n*f. Suppose 199 = 8*q - f. Is 8 a factor of q?
True
Suppose 2*f - 1008 = q, 3*q - 25 - 479 = -f. Let y = -320 + f. Is 8 a factor of y?
True
Suppose 2*z - 1743 = 693. Suppose 2814 = 21*b - z. Is 32 a factor of b?
True
Suppose 5*w = 3*w - 3*o + 11642, -3*o = -5*w + 29126. Is w a multiple of 182?
True
Let z(v) = 4*v**3 - 29*v**2 + 51*v - 135. Is z(11) a multiple of 42?
False
Let u = -8931 + 11877. Is u a multiple of 5?
False
Suppose 0 = -3*j - 4*p + 79, -4*j + 4*p - 3*p + 80 = 0. Let b = j - 7. Let g(w) = w**2 - 11*w + 13. Does 11 divide g(b)?
True
Suppose 0 = -2*g + 5 - 23, 0 = -4*i - g + 108819. Is i a multiple of 6?
False
Suppose -7 = -h + 52. Let j = 254 - h. Is 10 a factor of j?
False
Is 81 a factor of 52/117*-3 - (-4 + (-15574)/3)?
False
Let i = 27867 + -24062. Does 114 divide i?
False
Let h = -12411 - -14252. Does 30 divide h?
False
Suppose 472 = 7*h - 1740. Suppose h + 2180 = 8*z. Is 7 a factor of z?
False
Let b(j) = 928*j + 50. Let f be b(2). Suppose -5898 + f = -2*t. Is 35 a factor of t?
False
Let l be ((-261)/6)/(33/(-22)). Suppose -l*a - 2100 = -34*a. Does 32 divide a?
False
Let v = 32 - 34. Is (v - -1)/((-25)/4300) a multiple of 14?
False
Suppose 3 = -38*y + 39*y. Suppose 962 + 173 = 4*q + 5*a, 0 = -y*a - 15. Suppose q = 3*g - 256. Is 13 a factor of g?
True
Let m be -6*(3 - (-10)/(-4)). Let j(w) = -15*w**3 + 4*w**2 + 2*w + 7. Does 17 divide j(m)?
True
Suppose 3*k = j + 14, -5*j + 19 - 56 = -4*k. Suppose 0 = -3*i - k, 2*p - 35 = 4*i + 101. Does 6 divide p?
True
Is 9 a factor of (-1 - 139)*(-11)/((-132)/(-30))?
False
Let z = -13917 + 45062. Is 68 a factor of z?
False
Suppose 62*d - 2664 = 54*d. Let f = d - -184. Is f a multiple of 27?
False
Let x = 131 - 41. Suppose 13*m + x = 4*m. Let d(l) = l**2 - l - 20. Is 10 a factor of d(m)?
True
Let y = -2816 + 19238. Is y a multiple of 51?
True
Let b(u) = u - 12. Let n be b(11). Suppose 2*g = -g + 84. Is 17 a factor of n + 63/2*g/14?
False
Suppose 0 = 3*o - a - 74, 2*a + 18 + 78 = 4*o. Let b = o - -85. Is 12 a factor of b?
False
Suppose 2*o - 70 = -h, -o = 6*h - 11*h - 46. Suppose 0*v - v = -3*i - o, 3*v - 60 = -3*i. Is 8 a factor of v?
True
Let g(n) = -113*n + 1032. Let b be g(9). Let s(u) = 17 + 9*u - 12*u**2 + u**3 - 3*u**2 - 8. Is 12 a factor of s(b)?
True
Suppose -15660 = -8*q + 6*q + 2*n, n + 15656 = 2*q. Is q a multiple of 91?
True
Suppose -2*l - 3*t + 6*t + 7 = 0, 5*l = t + 11. Suppose -6 = -l*k + 4*i, 2*k + 3*i - 41 = -0*k. Let j = 51 - k. Does 16 divide j?
False
Let j = -646 + 648. Suppose 5*u - 3067 = 3*m + 2927, 4 = j*m. Is 51 a factor of u?
False
Let o be ((405/6)/9)/((-5)/30). Suppose v + 2*v - 411 = 0. Let b = o + v. Is b a multiple of 21?
False
Let w(h) = 47*h**2 + h - 2. Let q b