f 12?
True
Let y(u) = 1. Let s(a) = -a + 2. Let j(i) = s(i) - 6*y(i). Let t be j(-16). Suppose w + w = 4*o + 212, t = -4*o. Is w a multiple of 20?
True
Does 24 divide ((-243402)/226)/(1/(-4))?
False
Let t(k) = -36*k + 16. Let h be t(-15). Let y = 1106 - h. Does 11 divide y?
True
Suppose 23*f = 24*f - 2. Suppose 2*n + 0*n + 30 = -2*t, -f*n + 40 = -3*t. Let z(j) = j**2 + 10*j - 16. Is 8 a factor of z(t)?
True
Suppose -l - 93 = 5*g, 6*l + 5*g - 93 = 7*l. Does 5 divide (-15)/(-2)*(-682)/l?
True
Let x(j) = j**2 + 2*j. Let m be x(6). Let p be m/(-56)*(0 + -427). Suppose -5*l + p = -384. Is l a multiple of 30?
True
Let t be (-837 + 0)/(13 - 12). Let b = -481 - t. Does 46 divide b?
False
Suppose -6968 + 520 - 2252 = -n. Does 12 divide n?
True
Let f be ((-3)/(-4))/(60/(-160)). Is 4 a factor of (8/20 - 2)*25/f?
True
Let w(c) = c**3 - 40*c**2 - 30*c - 39. Let x be w(41). Let k = 594 - x. Is k a multiple of 20?
False
Suppose 2*t - 6*t = -12. Suppose t*d = 4*a - 427, 0 = -2*a + 5*d + 147 + 56. Suppose 3*b - a = 2*h, 4*b - 127 = -3*h + 2*h. Does 6 divide b?
False
Let t(i) = 2*i**3 - 56*i**2 - 27*i - 59. Is t(29) a multiple of 21?
True
Suppose -1288 = -k + 5*x, 366 = -2*k - 5*x + 2972. Let f = -111 + k. Is f a multiple of 31?
False
Is ((-64107)/(-36))/17*12 a multiple of 16?
False
Let o = -446 - -483. Suppose -293 - o = -11*h. Does 10 divide h?
True
Suppose 0 = -4*p + 28 - 12. Suppose 0 = -p*o + 6*o - 990. Suppose o = 5*y - 320. Is y a multiple of 9?
False
Suppose 18 = -2*n + 22. Suppose -4*y = -d - 927, n*d - 341 - 577 = -4*y. Is y a multiple of 21?
True
Let s(i) = -i**3 - 32*i**2 - 43*i + 60. Suppose 7*p = -311 + 94. Is s(p) a multiple of 9?
True
Let q(c) = c**3 + 15*c**2 + 23*c + 20. Let u be (-10 - -2)*-7 + -1. Suppose 5*y + u = -5*f, 2*f - 71 = 5*y - f. Is 9 a factor of q(y)?
False
Let l be (-26)/(-8) - (-2 + 1)/(-4). Let t(j) = 9*j**2 + 6*j - 16. Let h be t(l). Suppose -h = -3*u - 32. Is 17 a factor of u?
True
Suppose 0 = -207*n + 204*n + 21. Let w be (9 + 1)*(0 - -36). Suppose q + n*q = w. Does 9 divide q?
True
Is -4 + 3 - ((-13 - 10) + -7658) a multiple of 3?
True
Suppose -138*q = -1593140 - 1087976 - 331148. Is q a multiple of 214?
True
Let h = -5413 - -7723. Does 35 divide h?
True
Let i be 32/8 + -1305 + 1. Let l = -900 - i. Does 25 divide l?
True
Let t be 394 - (-8)/(-6 + 4). Suppose -5*h - t = 5*a, 5*a - 8 - 304 = 4*h. Is 9 a factor of (50/15)/((-4)/h)?
False
Let l(w) = 55*w**2 - 5*w + 4. Suppose 5*q + 4 = 9*q. Is l(q) a multiple of 18?
True
Suppose 4193 = 3*i + 5*d, 5*i - 45*d + 44*d - 7063 = 0. Is i a multiple of 17?
True
Let f(h) = h**3 + 4*h**2 - 8*h + 23. Let a be f(-6). Does 42 divide 15 - 13 - 147/a?
False
Let h = 7382 + -5496. Does 11 divide h?
False
Let h = -6 + 25. Let u = 12 - h. Let p(z) = -z**3 - 5*z**2 + 12*z + 10. Does 16 divide p(u)?
False
Suppose -5*p = q - 445, 860 = 2*q + 6*p - 2*p. Suppose -4*r + 4*o + q = 0, -3*o + 399 = 13*r - 9*r. Is r a multiple of 3?
True
Let p = -572 - -574. Is 33 a factor of ((-515060)/(-39))/20 - p/6?
True
Let x(j) = -j**3 - 39*j**2 - 11*j - 10. Let z be x(-39). Let l = z - 310. Is 30 a factor of l?
False
Let g(p) = p**3 + 21*p**2 + 11*p - 62. Let s be 245/28 + -8 - (-166)/(-8). Does 59 divide g(s)?
True
Let w = -1152 - -8908. Is 4 a factor of w?
True
Does 13 divide 411724/9 + (-26)/234?
True
Let j be (3 + 55/(-15))/(6/81). Let q(k) = -k**3 - 4*k**2 + 22*k - 18. Is 9 a factor of q(j)?
True
Suppose -5*t + 788 = -2*h, h - 24 = t - 421. Let u(r) = 48*r - 286. Let m be u(-6). Let f = h - m. Is 35 a factor of f?
True
Suppose 87*f = 333147 - 65187. Is f a multiple of 11?
True
Suppose -5*n = 536 - 2046. Let j = -198 + n. Does 33 divide j?
False
Let y be (-6)/5*500/(-3). Is (18/4 - 3)/(6/y) a multiple of 7?
False
Suppose -1 = -m, 2*m - 54167 = 168*k - 171*k. Does 23 divide k?
True
Let m = -85 + 168. Suppose -81*u - 878 = -m*u. Is u a multiple of 16?
False
Let j(b) = 13*b**3 - 34*b**2 + 7*b - 147. Does 18 divide j(10)?
False
Let v = -1785 - -2742. Suppose 0 = -o - 4*x + v, 0*o = -3*o + 2*x + 2913. Is 57 a factor of o?
True
Let r(x) = 3*x + 7. Let y be r(0). Suppose -y*v - 4 = -11*v. Let a = v + 71. Does 18 divide a?
True
Suppose -2*v = -15*q + 20*q - 7, -4 = 4*q + 4*v. Is 14 a factor of (((-315)/(-6))/(-5))/(q/(-8))?
True
Let x(o) = -3 + 9 - 112*o**2 + 225*o**2 - 111*o**2 + 31*o. Is x(-18) a multiple of 32?
True
Let c(j) = 14 + j**2 + 12*j + 8*j - 15*j + 0*j**2. Let b = -11 - 0. Does 16 divide c(b)?
True
Let b(v) be the third derivative of -v**6/10 - v**5/15 + 7*v**4/24 + 13*v**3/6 + 76*v**2. Is 13 a factor of b(-4)?
True
Let n(f) = 5. Let o(w) = -337*w + 235. Let i(v) = 5*n(v) + o(v). Is 24 a factor of i(-4)?
True
Let v(f) = f**3 + 6*f**2 + f - 22. Let a be v(-5). Is (-8 - 8/a) + 19 a multiple of 15?
True
Let l(r) = -2*r**2 + 24*r - 33. Let a be l(9). Let p be 1/(-2) - 23/2. Let j = a - p. Is 11 a factor of j?
True
Let j(z) = z + 8637. Is j(111) a multiple of 27?
True
Suppose 0 = -4*h + 2*m - 96, -4*h = -5*m - 25 + 121. Let b be 2*(-9)/h + 3/12. Is 11 a factor of (-1 + 3 + 9)*(b + 1)?
True
Suppose q + 5*s = 365, 4*q - 13*s - 1376 = -12*s. Suppose 22*g = 25*g - q. Is g a multiple of 23?
True
Does 37 divide (90/35)/(54/126) - -2325?
True
Let o(p) = 213*p - 4455. Does 11 divide o(54)?
False
Let b(o) = -o - 5*o**2 + 35*o**3 - 5 - 36*o**3 - 4 - 3*o. Let m be b(-5). Is -2*(-131)/m - 6/(-33) a multiple of 24?
True
Let z(x) = x**2 - 4*x - 4. Let c be z(7). Suppose c*d = 13*d + 100. Let s = d - -7. Is s a multiple of 16?
True
Let w(n) be the first derivative of 77/3*n**3 - 2*n + 3/2*n**2 - 12. Is 39 a factor of w(1)?
True
Let v be (20/210*7)/((-2)/9). Let u(b) = 77*b**2 + 8*b + 11. Is u(v) a multiple of 68?
True
Let a = 65110 + -33014. Is a a multiple of 10?
False
Let t be (-1)/((-2)/6 - 0). Suppose -v - t*v + 576 = -4*d, 5*v = 2*d + 717. Suppose -2*n + u + v = 0, -4*n + 94 = -3*n + 4*u. Is 37 a factor of n?
True
Let a be -1 + -1 + 2 + 0. Suppose -5*k + 253 + 32 = 0. Suppose -4*s + 337 - k = a. Is s a multiple of 22?
False
Let u(i) = 81*i**2 - 8*i + 7. Let x(w) = 81*w**2 - 8*w + 7. Let a(z) = 6*u(z) - 5*x(z). Let q = -1953 + 1954. Is a(q) a multiple of 7?
False
Suppose 14*a + 14*a - 323956 = 484880. Is 89 a factor of a?
False
Suppose 4*a + 2*c + 4080 = 15242, 0 = -2*a - 2*c + 5586. Is a a multiple of 140?
False
Let w(y) = 3*y**3 + y**2 - 12*y + 12. Let s be w(1). Suppose 0*h + 1792 = s*h. Is 14 a factor of h?
True
Let l(v) = -2*v + 37. Let n be l(17). Suppose -4*m - 924 = 3*h, h - 432 = n*m + 261. Let j = 329 + m. Is 12 a factor of j?
False
Suppose -413 = -y + 4*z, 0*y + y + 5*z = 404. Suppose 5*t = -29 + y. Suppose 4*f = -4*i + 636, -2*i - 4*f - t = -386. Does 18 divide i?
False
Let c be (-2 + (0 - -1))*85. Suppose 3*i = 3*l + 759, i = 3*l + 182 + 71. Let t = c + i. Does 12 divide t?
True
Suppose 2*u + 18 = -4*f + 5*u, -5 = 3*f + 2*u. Let y(h) = 4*h**3 + h**2 + h - 2. Let l be y(1). Is 25 a factor of 380/5 - (f + l)?
True
Let y be ((-85)/2 - 1)/(2/(-4)). Let m = y - 84. Suppose 0 = -w - 3*j + 1, -4*w + m*j + 43 = 2*j. Is w a multiple of 10?
True
Let s(y) = 3*y**2 + 22*y + 33. Let u be s(-8). Is 19 a factor of 21/u + 912/28?
False
Let q(d) = -5*d + 68. Let n be q(21). Let g = -8 - 0. Is 2/g + n/(-4) a multiple of 3?
True
Suppose 0*u - 2*p = 2*u - 2, -3*u = 4*p - 4. Suppose 0 = g + 4*h + 1, u = -g - g - 4*h + 10. Suppose 30 + g = 2*q + 3*t, 2*t = -5*q + 75. Does 13 divide q?
True
Let y = 105 - 82. Suppose -11*w - y*w + 19584 = 0. Is w a multiple of 18?
True
Suppose 4*g + 4*i = i + 65, 3*g - 52 = i. Suppose 4*d + 52 = g*d. Suppose 0 = 4*u - 3*r - 48, d*u + 3*r - 11 = 37. Is u a multiple of 4?
True
Let c(u) = -2 + 0*u - 2*u + 43*u**2 + 5. Let k be c(1). Let v = k + -17. Is 9 a factor of v?
True
Let g = -4 - -49. Let r(n) = n**3 - 50*n**2 + 302*n - 2. Let l be r(43). Suppose -l*y - 132 = -g*y. Does 11 divide y?
True
Suppose 265102 = 69*r + 7318. Is r a multiple of 206?
False
Let a(r) = -2*r**3 + 50*r**2 + 5*r - 60. Let z be a(25). Suppose 0*w - 70 = -4*w - 2*v, -4*w + 3*v + z = 0. Does 2 divide w?
False
Suppose 0 = 3*d + 3*a + 294, 335*d + 98 = 334*d - 4*a. Let v = 243 + -404. Let u = d - v. Is u a multiple of 26?
False
Suppose -17*p = -12*p - 6*p + 578. Does 11 divide p?
False
Let i(a) = -a**3 + 10*a**2 + a - 2. Let 