 - -4) + -3). Is l(t) a multiple of 9?
True
Suppose 3*q + 2*q - 1610 = 0. Suppose -v - q = -8*v. Is 25 a factor of v?
False
Let c = -649 - -1201. Is c a multiple of 23?
True
Let o(y) = -2*y**3 + 5*y**2 + 2 - y + 4*y - 3*y**2 + 0*y. Let v be o(-2). Suppose i = -q + 6*q - 479, 5*i = -v. Does 27 divide q?
False
Let x(m) = -m**2 - 5*m + 2. Let a be -6 - ((-6)/1)/3. Let l be x(a). Let g(k) = 7*k + 6. Is g(l) a multiple of 24?
True
Let h = 10 - 8. Suppose -n = -0*z - 2*z - 53, -5*n = -h*z - 305. Does 23 divide n?
False
Let z(p) = -p**2 + 10*p - 7. Let j be z(9). Suppose -3*l = -3*n - 4 - 5, 3*l - j*n - 6 = 0. Suppose 7*d - 3*d - 84 = l. Is 3 a factor of d?
True
Suppose 1072 = 3*j + 2*z, -2*j + 696 + 32 = -2*z. Does 15 divide j?
True
Suppose 17*q + 14*q = 21762. Is q a multiple of 27?
True
Let t(q) = -q**3 + 7*q**2 + 9. Let u be t(7). Let l(p) = p**2 - 8*p - 8. Let i be l(u). Let w = i + 47. Does 12 divide w?
True
Suppose 0 = 2*j - 5*b + 209 - 2094, 0 = 3*j + 5*b - 2840. Does 27 divide j?
True
Let z(x) be the first derivative of x**2/2 + 11*x - 5. Let j be z(-8). Suppose 0 = j*q + 96 - 279. Is 29 a factor of q?
False
Let t(x) = 12*x**2 - 1. Let g be t(1). Suppose -5*a = -3*n + 254, 3*n + n - 344 = 4*a. Does 17 divide 3976/n - 2/g?
False
Let i = -24 + 2. Let r = i + 40. Does 3 divide r?
True
Suppose -128 = -5*n - 4*i + 612, 3*i = 15. Suppose -2*l - l + n = 0. Let c = 117 - l. Does 14 divide c?
False
Suppose 0 = 2*t + 27*t - 493. Does 7 divide t?
False
Suppose -19 + 7 = -3*r. Suppose r*c - 1 = -2*s + c, -c + 2 = s. Suppose 360 = 5*g - s*b, 0 = -2*g + 4*g + 2*b - 136. Is 28 a factor of g?
False
Let s(c) = 81*c**2 - 2*c + 1. Let f = -85 + 86. Is s(f) a multiple of 10?
True
Suppose -58 - 17 = -5*j. Suppose -j*q + 10*q = 0. Does 37 divide (40 - -1) + (q - 4)?
True
Let z = -47 - -55. Is (-2)/z + 108/48 even?
True
Let i = 331 + 216. Is i a multiple of 4?
False
Suppose 5*k + 2*a = 15, 3*k + 3*a - 35 = 7*a. Suppose 12 = k*i - 38. Does 4 divide i?
False
Let m be 44/7 + (-4)/14. Suppose -3*a = -m*a + 3*x - 1122, 0 = 2*a + 5*x + 734. Is 22 a factor of (-2)/7*(a - -1)?
False
Suppose -4*m - 5*p = m + 5, p = -5*m + 11. Suppose -3*w - 28 - 16 = -5*a, -2 = a + m*w. Is a a multiple of 3?
False
Suppose 3*x + 1702 = 5*h, 0 = 5*h - 9*h - x + 1365. Is h a multiple of 3?
False
Let w be (1 - -52)*(-2 + 3) + 4. Suppose w*q = 60*q - 111. Is q a multiple of 37?
True
Let h(r) = 6*r**2 - 17*r - 72. Is 7 a factor of h(-7)?
False
Let m(y) = -y**3 - 2*y**2 + 3*y - 6. Let u be m(4). Let k = u + 161. Is k a multiple of 22?
False
Is 3327/9*3 - -2 a multiple of 11?
True
Suppose 8 = 5*u - u. Suppose v = -u*h + 5*h, 0 = 2*v. Suppose h = 9*c - 6*c - 261. Is 26 a factor of c?
False
Suppose -4*u - k = -399 - 584, -4*u + 989 = -5*k. Is u a multiple of 6?
True
Let t be 1 + (-3)/((-12)/(-1676)). Let p be 12/(-54) - t/18. Let u = p - -6. Does 6 divide u?
False
Let i be 1513/3 + 18/(-54). Suppose 4 = -5*r + i. Is 20 a factor of r?
True
Let x = 17 + -11. Let w be (26/x)/(9/27). Suppose 3*i - 13 = -4*r + w, 0 = -i - 2. Does 2 divide r?
True
Suppose 4*g = 1 + 15. Suppose 175 + 125 = g*x. Is 21 a factor of x?
False
Let h be 8 + -7 + (291 - -1). Suppose -59 = -2*v + h. Is 11 a factor of v?
True
Let g = -10 + 20. Let n be (g - 11)/((-2)/(-32)). Let f = 41 + n. Is f a multiple of 25?
True
Let b(l) = -l**3 + 8*l**2 - 6*l. Let r be b(7). Suppose -2*p + r*p + 5*u = 10, 0 = 2*p - u + 11. Let h(x) = -x + 2. Does 3 divide h(p)?
False
Suppose 2*w + 0*w = 3*u - 78, 0 = -3*u - 2*w + 66. Suppose -26*g + 228 = -u*g. Is 29 a factor of g?
False
Let u be (-27 - -25) + (47 - (0 - 1)). Let g = 106 - u. Does 4 divide g?
True
Suppose -3*q - 12 = -7*q. Let z be 1/(q/(-39) + 0). Let x = 55 + z. Is 11 a factor of x?
False
Let l = -110 - -113. Suppose -679 = -4*m - l*f + 8*f, -5*m = 3*f - 895. Is 11 a factor of m?
True
Let y = 5636 + -2971. Is 27 a factor of y?
False
Suppose 4*a + 6 = -2. Is 13 a factor of (a - -3)/((0 + 3)/195)?
True
Let j(q) = 3*q - 25. Let v be j(16). Suppose -16*f = -17*f + v. Is f a multiple of 23?
True
Let r(g) = -2*g**2 - 8*g + 32. Is 8 a factor of r(-6)?
True
Let l(s) be the second derivative of 3*s**5/20 + 7*s**4/4 - 5*s**3/6 - 3*s**2 - 33*s. Is l(-7) a multiple of 6?
False
Let b be (3 + -8)*(1 + 3). Let j = b + 34. Is 3 a factor of j?
False
Let i = 5 + 6. Let p(z) = z**2 + 9*z + 9. Let u be p(-6). Let v = i + u. Is v a multiple of 2?
True
Suppose r - 2*b = 859, -16*r + 18*r + b - 1728 = 0. Is 46 a factor of r?
False
Let t = 2839 - 2090. Is 107 a factor of t?
True
Let l = 7 - 7. Suppose l*b + 3*b - 53 = 5*p, 0 = 2*b - 5*p - 27. Let t = b + -3. Is t a multiple of 23?
True
Let s = 333 - 229. Is 4 a factor of s?
True
Suppose -31*s + 36*s - 5 = 0, 0 = 4*t + 4*s - 2220. Does 56 divide t?
False
Suppose 1384 = 2*h + 2*b, 7*h = 9*h - 4*b - 1354. Is h a multiple of 22?
False
Let j = 367 + -223. Is j a multiple of 48?
True
Let s(n) = 5*n**2 - 13*n + 106. Is s(15) a multiple of 14?
True
Suppose 4*d - 5*d + 255 = -k, -513 = -2*d + 3*k. Is d a multiple of 11?
False
Suppose -70*m + 7535 = -65*m. Is 4 a factor of m?
False
Let c = -25 + 86. Is 18 a factor of c?
False
Let v(w) = 0 - 31*w - 11 + 3. Is v(-4) a multiple of 9?
False
Suppose -v + 41 = v - u, 5*v - u = 101. Suppose 4*k = -v, -266 = -5*i + k - 46. Is i a multiple of 16?
False
Let y(j) = -j**3 + 4*j**2 + 4*j + 2. Suppose 5*n = -2*b + 18, -n - 18 = -4*b - 2*n. Is y(b) a multiple of 10?
False
Suppose -193*m = -197*m + 352. Is 11 a factor of m?
True
Let l(y) be the third derivative of -y**6/120 + y**5/30 + y**4/24 + 7*y**2. Let x be l(2). Suppose 213 = x*u + 63. Does 25 divide u?
True
Suppose 7*b - 36 = -2*b. Suppose -3*s + 796 = 5*o, 434 = 3*o + b*s - 37. Is o a multiple of 15?
False
Let n = 57 + 84. Is n a multiple of 47?
True
Let r = 413 + 1349. Is r a multiple of 29?
False
Let y = 2 + 16. Suppose 48*g = 17*g - 186. Let c = g + y. Is 12 a factor of c?
True
Let g be (-5 - -11)/(3/(-16)). Let w = g + 23. Let o = w + 28. Is 10 a factor of o?
False
Suppose 2*h = -2*h + 8. Suppose -4*x + 4*s = -132, -h*x + 2*s = -7*x + 151. Does 14 divide x?
False
Let o = -2 + -2. Does 20 divide 3 - (-100 + (-12)/o)?
True
Suppose -4*m + 0*m = 4*g - 624, -5*m - 20 = 0. Is 16 a factor of g?
True
Let n(f) = 11*f**3 + 5*f**2 - 2*f + 5. Let w(g) = g**3 + g**2 + 1. Let j(s) = n(s) - 4*w(s). Let p be j(1). Does 21 divide p/((1 - 2)/(-6))?
True
Let z(u) = 55*u - 187. Does 23 divide z(8)?
True
Suppose -50*p + 99 = -39*p. Does 9 divide p?
True
Let h(o) = -5*o - 6. Let q be h(-2). Suppose 0*i - 328 = -q*i. Is 16 a factor of i?
False
Let r = 46 + -42. Let c = r + 32. Does 11 divide c?
False
Let n(r) = -r**3 - 8*r**2 - 4*r - 3. Let v be n(-8). Let l = v + -10. Is l a multiple of 4?
False
Let g(r) = -r**3 - 20*r**2 - r + 3655. Is g(0) a multiple of 65?
False
Is 1*(1590/21 - (-14)/49) a multiple of 32?
False
Suppose x + 2*p - 2 = 0, -2*x - 3 = -4*x - 3*p. Suppose x = 5*l - 7 - 443. Is l a multiple of 9?
True
Is 68 a factor of 4 + (133/2)/(16/352)?
False
Let v = 818 - 297. Is v a multiple of 68?
False
Let r(x) = x**2 + 2*x - 14. Is 21 a factor of r(5)?
True
Let k(c) = -4*c**3 - 2*c + 1. Let f be k(2). Let z = -26 - f. Is z a multiple of 3?
True
Let t = -25 + 14. Let f(n) = -6*n + 9*n - 5*n + 25 + 1. Is f(t) a multiple of 12?
True
Let g = -1 + 5. Suppose 3*x - 5*j = 75, g*j = 2*x - j - 50. Is 9 a factor of x?
False
Let s(r) = -11*r - 2 - r - 6*r**2 - 6 - r**2 - r**3. Is 7 a factor of s(-6)?
True
Does 41 divide 2 + 2 + (-3666)/(-6)?
True
Does 8 divide (-13 - (-468)/16)*100?
False
Suppose 0 = 7*g - 5*g + 8. Let x(f) = 2*f**2 - 3*f + 4. Let z(m) = -2*m**2 + 4*m - 4. Let h(o) = g*z(o) - 3*x(o). Does 8 divide h(5)?
False
Suppose 0*s + 4 = 3*o - s, -5 = -s. Suppose -o*m - 16 + 4 = 0. Is (9/m)/(7/(-56)) a multiple of 6?
True
Let l = -3631 - -7877. Is 12 a factor of l?
False
Is 0 - -3432 - 19/((-285)/(-90)) a multiple of 75?
False
Let t(p) = p**2 + 3*p. Let h be t(-2). Does 19 divide ((-1)/(14/665))/(h/4)?
True
Let u(o) = 7*o**2 - 8*o - 5. Does 13 divide u(3)?
False
Suppose -6*n + 7*n = 100. Is 10 a factor of (-21)/(5/(n/(-15)))?
False
Suppose -2*c + a = 7, 4*c + 4 = -4*a - 16. Is 48/(0 + -1 + c)*-5 a multiple of 3?
True
Suppose x + 27 = 4*y + 11, 0 = -x. Let h = y - -8. Does 4 divide h?
True
Does 