t l(i) = -6*i**3 - 2*i**2 - 3*i - 2. Let f be l(-1). Suppose 4*x = -f*p + 1142, 0 = -0*p + 3*p + 6. Is x a multiple of 9?
True
Suppose 3*k - 14 = -y, 4*y - 5 = 3. Does 12 divide (-30)/72*k*(1 + -217)?
True
Suppose -2*t + u + 28 = 3*t, 2*t - 7 = -u. Suppose 36 - 66 = -t*s. Suppose 2*g = g + s. Is g a multiple of 6?
True
Suppose -201 = -8*y - 57. Suppose y*s - 26866 = 4*s. Is 12 a factor of s?
False
Let u(s) be the first derivative of 10*s**3/3 - 37*s**2/2 + 124*s - 1. Is u(4) a multiple of 9?
False
Suppose -109*m + 245646 = -68819. Is 5 a factor of m?
True
Let g(a) = 7*a**2 - 6*a + 8. Suppose 4*j + 57 + 19 = 3*y, -5*y = 3*j - 88. Suppose -t + y = 15. Is 9 a factor of g(t)?
True
Suppose -y = -9*n + 4*n + 3658, 4*y + 2205 = 3*n. Suppose -u + 214 = 5*z, 0*z + 5*z = 4*u - n. Is u a multiple of 54?
False
Suppose 3*f - 14*f + 114367 = 0. Suppose 15*h + 3347 = f. Is 47 a factor of h?
True
Let z(x) = -14*x + 6 - 2 - 3*x**2 + 7*x**2. Let c(f) = -106*f + 3079. Let p be c(29). Is z(p) a multiple of 34?
True
Suppose 1433*a = 1427*a + 58164. Is a a multiple of 37?
True
Let n(a) = 0*a + 58 - 2*a - 86 + 6*a. Let z be n(8). Suppose -z*b + 6*b - 132 = 0. Is b a multiple of 9?
False
Let a(s) = -10*s + 63. Let o be a(6). Suppose 3*p = 3*r - 2217, 2*r = o*p + 430 + 1048. Does 91 divide r?
False
Is (-4)/2*1620/(-120) a multiple of 3?
True
Does 11 divide 3 + 0 - (-290842)/31?
False
Let p = 4582 + -2382. Is p a multiple of 50?
True
Suppose -r - 339 = -2*v - 4*r, -4*v + 643 = -r. Let h = -201 - -138. Let z = v + h. Is z a multiple of 11?
True
Let u(l) = -17*l**2 - 43*l - 31. Let t be u(-13). Let s = -1509 - t. Is 11 a factor of s?
True
Let r(i) = -891*i + 277. Is 8 a factor of r(-1)?
True
Let l(b) = 32*b + 9. Let n be l(-2). Let a = n + 52. Does 6 divide 18*(-1)/(a/2) - 0?
True
Suppose 17*q + 7 - 75 = 0. Suppose -2273 = -q*b + 3*r, r - 2293 = -7*b + 3*b. Is b a multiple of 65?
False
Suppose 5*d - 8*d = 1014. Let p = d + 217. Let n = p - -181. Does 20 divide n?
True
Let o be 3/((-132)/80) - 8/44. Does 58 divide (-4 + -7)/(o + 460/232)?
True
Suppose s - 3 = -p, 5*p = 4*s + 3*p - 24. Suppose s*j + 1558 = 3*d, 4*j + 1036 = 6*d - 4*d. Does 18 divide d?
False
Let l(f) = 10*f**2 + 5*f + 1. Let h(q) = 19*q**2 + 11*q + 2. Let t(m) = -2*h(m) + 5*l(m). Does 25 divide t(-3)?
True
Let y = 96 + 21. Suppose 0 = 2*q + q - y. Let i = q + -23. Is i a multiple of 7?
False
Let k(n) = 2877*n + 1827. Does 63 divide k(3)?
True
Let r(a) be the first derivative of -5*a**2/2 + 12*a + 4. Let y be r(3). Does 13 divide -68*((-4)/8 - -2)/y?
False
Let a(s) = 2738*s + 3454. Is 17 a factor of a(6)?
False
Suppose 2*g = 22*g + 660. Is 52 a factor of (-1 - 41)*(5 + 451/g)?
True
Suppose 2*u = x - 8 - 4, 3*x + 3*u = 45. Let n be 4/x - ((-33)/7 + -5). Is 3 a factor of (-64)/(n/5 + -4)?
False
Let b(a) = -102*a - 1320. Does 15 divide b(-90)?
True
Let g be 2557 - ((-3 - 3) + -1). Does 52 divide (11/(-88)*2)/((-1)/g)?
False
Let a(z) = -79*z + 60. Let p be a(-30). Suppose -5*k = 5*m - p, 8*k - 1000 = -2*m + 13*k. Is 15 a factor of m?
False
Let d(t) = 2*t**2 - 3*t + 7. Let r be d(3). Suppose -r*p + 21*p = 20. Suppose -p*w = -5*v - 128, 2*v - 85 = -3*w + 11. Is 12 a factor of w?
False
Let j be (183/(-12) - -15)/((3/(-4))/(-3)). Let z(o) = -14*o + 3. Let t(d) = 27*d - 6. Let u(y) = 4*t(y) + 9*z(y). Is 5 a factor of u(j)?
False
Let r(p) = 41*p - 2. Let m be r(1). Let u = -39 + m. Suppose -n + 4*x + 128 = u, 2*x = -n - x + 93. Is 27 a factor of n?
True
Let j(x) = -11*x - 3. Let g be j(-1). Let f be (g - 12) + -2*6. Is 3 a factor of (-2 - -3)*2 - f?
True
Suppose -z + 25 = 4*z, -5*z - 5 = -5*a. Does 3 divide (1 + -25)*(-10)/a?
False
Let c(z) = -5947*z**3 - 9*z**2 + 20. Is 58 a factor of c(-2)?
True
Let o(b) = -11*b - 8. Suppose 0 = -4*s - 44 - 16. Let q be o(s). Does 16 divide (q + 7 + -4)*4/8?
True
Let r = 3903 - 2615. Is r a multiple of 13?
False
Suppose 4*k - 39 = o, 4*k + 14 = 3*o + 51. Suppose 15 = k*h - 5*h. Suppose -5*y = g - 92, -2*y + h = -5. Is g a multiple of 24?
True
Let x = 30368 - 2983. Does 125 divide x?
False
Suppose -4*y + 3*y = -f - 2248, 9004 = 4*y + 2*f. Suppose 10*m - y = -8*m. Is 20 a factor of m?
False
Suppose -4*t = -c + 118 + 190, 5*c + 4*t - 1660 = 0. Suppose 0 = 2*x - 5*x - 3*r + 978, 0 = -x - 2*r + c. Is x a multiple of 54?
True
Let x(n) = -3*n**3 - n**3 + 3 - 2*n**2 + 4*n**3 + 3*n**3 - 2*n. Let s be 6/12*6 + 0. Does 20 divide x(s)?
True
Suppose -s + 39 = 4*v, -2*v - 5*s + 14 = -1. Let b be (624/15)/(1/v). Is 16 a factor of 1010/9 + (b/72 - 6)?
True
Let u(s) = -23*s - 10. Let z(r) be the second derivative of r**2/2 + 18*r. Let x(b) = -u(b) - 2*z(b). Is x(9) a multiple of 16?
False
Let t = 141 - 137. Suppose d + t*y - 1 = 0, 4*d = -3*y - 9 - 0. Does 19 divide (353/d)/(13/(-39))?
False
Let z(s) = 2*s**2 - s - 2. Let g be z(-3). Let h(y) = -y + g*y**2 + 51*y**2 - 2 + 0*y**2 + 12*y**2. Is h(-1) a multiple of 9?
True
Suppose -15*n - 1426 + 51653 = -6218. Does 53 divide n?
True
Let l(w) = 189*w + 9. Let q be l(-5). Let r = q - -1446. Does 15 divide r?
True
Suppose 19*l - 5*s = 17*l + 9545, -4*s = 12. Is l a multiple of 16?
False
Let d(c) = 3*c**2 - 5*c - 4. Let t = 21 + -26. Let g be d(t). Suppose -g = -6*i + 4*i. Is i a multiple of 4?
True
Let r(n) = n**3 - 2*n**2 + 3*n + 3. Let g be -2 + 0 + (4 - 2). Let b be r(g). Suppose -4*z = 5*d - 73, -2*z = -0*z - b*d - 9. Does 2 divide z?
True
Let v = -168 + 174. Is 8 a factor of 1/(1/(1156 + 24/v))?
True
Let y = 887 + -387. Let n = 905 - y. Is n a multiple of 15?
True
Let x(g) = 109*g**2 + 2*g + 3. Let k = 9 + -12. Let c be x(k). Suppose 2*r - c = -4*r. Is 21 a factor of r?
False
Let p = 872 + 26. Let x = p + -318. Does 29 divide x?
True
Let w be 856/11 - 18/(-99). Let p = 117 - 123. Let c = w + p. Does 24 divide c?
True
Does 60 divide 4/(-10) + (446685/25 - -5)?
False
Let x(f) = 10*f**3 - 68*f**2 + 544*f - 25. Does 83 divide x(9)?
False
Let f = 37 + -35. Suppose -a = -3*t - 13, 2*a - f*t = 3*t + 23. Suppose -4*z + 48 = j - 28, a*z - 96 = 4*j. Does 20 divide z?
True
Suppose 15*w = -17*w + 3008. Suppose d = 54 + w. Is d a multiple of 7?
False
Suppose -8*i + 887 = -2585. Suppose 4*u - 1734 = 3*k, 0 = -4*u + 3*u + k + i. Does 72 divide u?
True
Suppose 23*s - 24*s - 34900 = -3*w, 3*w - 34890 = 3*s. Suppose -37*n + 18335 = -w. Is n a multiple of 54?
True
Suppose 5 = -6*k - 7. Let o be (-38)/(-1) + 4 + k. Suppose 5*t - 10 = o. Does 2 divide t?
True
Let d = -9241 - -16385. Is d a multiple of 19?
True
Let q be (-1 + (-2)/10)*850/(-51). Let v be (-8104)/q - 2/(-10). Does 29 divide ((-118)/8)/(5 + v/80)?
False
Suppose -8*r = -13645 - 240922 - 25945. Does 80 divide r?
False
Suppose 0 = -3*c + 11 + 61. Suppose 5*v = -v + c. Suppose -105 = -m + v*g, -3*m = 2*m - 2*g - 489. Is 47 a factor of m?
False
Let q = 29 - 29. Suppose 38*r - 33*r = q. Suppose r = 13*f - 120 - 179. Is 23 a factor of f?
True
Let f = 424 + -278. Let x = 294 - 294. Suppose -3*q = -2*n + f, x = -n - n + 2*q + 144. Does 14 divide n?
True
Let u(v) = v**2 - 16*v - 19. Let k(n) = 2*n**2 - 32*n - 37. Let m(l) = 4*k(l) - 7*u(l). Let c be m(17). Suppose s - 156 = -c*s. Does 7 divide s?
False
Suppose -4275*b + 30404 = -4271*b. Is b a multiple of 93?
False
Let j(a) = -2*a**3 + 9*a**2 - 4*a + 4. Let p be j(4). Suppose -6*h + 3*h - 5*w = -404, -3*h + 368 = -p*w. Is 16 a factor of h?
True
Let q = -52 - -52. Suppose -15*u + 14*u - 248 = q. Is 11 a factor of 2/5 + 0 - u/5?
False
Let s = 191619 - 113919. Is s a multiple of 55?
False
Is 32 a factor of (-15)/(-6)*(-1972376)/(-770) + 4/22?
False
Suppose q = 4*a - 3*q - 84, -57 = -3*a + 5*q. Let v = 211 + -67. Suppose -a*l = -20*l - v. Is 4 a factor of l?
True
Suppose -3*l + 5 = -1. Let a be (12/18)/(3*l/18). Suppose -3*p + p - a*t + 70 = 0, -5*p = 4*t - 176. Is p a multiple of 15?
False
Suppose 7*j - 7358 = -6*j. Is (-2 + j)/6*(2 - 1) a multiple of 5?
False
Is (189/(-14))/(-27) - 16642/(-4) a multiple of 73?
True
Let l be (-44)/3*57/(-38). Is 4/l - (-2460)/22 a multiple of 6?
False
Let s = -704 + 1016. Suppose 6*g = 2*g - s. Let k = 4 - g. Is 31 a factor of k?
False
Let n = 3 + 315. Suppose -4*f + n = -1142. Is 9 a factor of f?
False
Suppose -12 = -n + 124. Suppose -n - 312 = -2*w. Is w a multiple of 10?
False
Let x(j) = -24*j - 108. Suppose 3*d + 2*f + 4 = d, 