). Does 4 divide f(4)?
False
Suppose -3*m - 21 = -t, -2 - 4 = 2*m + 2*t. Let c be m/10 + (-2)/(-10)*643. Suppose -y - c = -3*y. Does 32 divide y?
True
Let f(y) = 77*y**2 + 7*y + 12. Let s be f(-5). Let n = s - 1148. Does 58 divide n?
True
Suppose 57*l + 165222 = 3*m + 60*l, -4*l + 55050 = m. Is 113 a factor of m?
False
Let t(d) = -d**3 + 2*d + 40. Let k(l) = -18*l**2 + 12 - 26 - 5 - 18*l + l**3. Let q be k(19). Does 16 divide t(q)?
False
Let b = 23 + -37. Let w = b - -10. Does 9 divide 25 - 5 - w/2?
False
Let x(u) be the third derivative of 1/120*u**6 - 8/3*u**3 - 7/30*u**5 + 0*u + 1/3*u**4 + 0 - 15*u**2. Is x(14) a multiple of 8?
True
Let l(p) = -p**3 - 11*p**2 + 11*p - 35. Let m be l(-21). Suppose 10*t = 18*t - m. Does 37 divide t?
True
Suppose -20*c + 23*c = 4*h + 725, 0 = c + 5*h - 210. Let j = c + -181. Is j a multiple of 27?
True
Suppose 5*a - 203 = -l, -2*a - a - 458 = -2*l. Let b = l - 41. Let t = 322 - b. Is t a multiple of 28?
True
Suppose 8*s - 16 = 4*s. Let t be ((-4)/(-6)*s)/(4/(-72)). Is 208/6 - (-4)/t*-4 a multiple of 23?
False
Suppose -702870 = -20*c + 50570. Is c a multiple of 34?
True
Suppose 0*t + 4*i = -2*t + 22, -23 = -5*t - 2*i. Suppose 3*y = 5*p + 433, 0 = -t*y + p + 476 - 51. Is y a multiple of 35?
False
Let j be 1*1/((-3)/(-9)) + -3. Let b(g) = -g**3 - g**2 + 4*g + 144. Is b(j) a multiple of 36?
True
Suppose 2*d = -4*r - 3162, -5*r = d + 460 + 1124. Let p = d - -2253. Does 43 divide p?
False
Let o(b) = -63*b - 221. Let j(a) = 31*a + 110. Let w(h) = -5*j(h) - 2*o(h). Does 35 divide w(-6)?
False
Suppose 31 + 6 = 3*g - 5*b, -2*g + 24 = -3*b. Suppose 5*x = g*x - 2312. Is 20 a factor of x?
False
Let d be 4 + (1 + -1)/(-4). Suppose 6 = 5*t - d*a, 0*a - 10 = -4*t - 2*a. Suppose -10 = -5*x - 2*b, -t*x + 6*x + b = 11. Is x a multiple of 4?
True
Suppose 0 = 195*i - 200*i - 200. Let m = 236 + i. Does 28 divide m?
True
Suppose -12*h + 16509 = 3*g - 13*h, -5*h = -4*g + 22001. Is g a multiple of 31?
False
Suppose -85*b - 624 = -93*b. Suppose 87 + 31 = 3*u - 5*c, -3*c = -2*u + b. Is u a multiple of 6?
True
Let w(c) be the third derivative of -c**5/60 - 11*c**4/24 - 13*c**3/3 + 43*c**2. Let u be w(-7). Suppose 0 = -u*y + 94 + 16. Is 15 a factor of y?
False
Suppose -5*h - 7*h + 7*h = -96485. Is h a multiple of 14?
False
Suppose 0 = -5*w - 34*m + 32*m + 35924, 0 = 5*w + m - 35932. Does 6 divide w?
True
Let g be 4/(-78)*3 - 1188/(-286). Suppose 0 = -g*k - 8, -3*k - 208 = -2*v - 0*k. Is v a multiple of 23?
False
Let z(o) = o**2 - 11*o + 28. Let x be z(10). Suppose -12 = -x*w + 15*w. Suppose 870 = w*c + 294. Is c a multiple of 12?
True
Let f = -92 + 392. Suppose -21*v = -15*v - f. Does 3 divide v?
False
Suppose u + 2*x - 158 = 30, u - 183 = -x. Is u a multiple of 32?
False
Let j(z) = -z + 7. Let u be j(-5). Suppose -2*w = -2*k - w + u, 9 = k - 2*w. Suppose 0 = a - 23 + k. Is a a multiple of 5?
False
Let p = -474 + 474. Is (p + 7)*8*(-244)/(-56) a multiple of 13?
False
Let l(n) = -n**2 + 1. Let k be l(0). Let w be -3 - (-4 + k + -5). Suppose -w*a = 4*g - 801, -5*a + 2 = -23. Is 43 a factor of g?
False
Suppose 0 = 3*n - 3 - 3. Suppose -3*b = -2*q + 13, 2*b + q + 7 = n*q. Let r(a) = -55*a**3 - 2*a**2 - 3*a - 1. Is 14 a factor of r(b)?
False
Is 52173558/1458 - (-4)/(-6)*-1 a multiple of 41?
False
Let g be ((-8)/20)/(2 - 426/210). Let u(z) = -2*z**2 + 30*z + 62. Is u(g) a multiple of 24?
False
Let d = 3877 - 3508. Is d a multiple of 123?
True
Suppose 60*j = 38*j + 562804. Does 11 divide j?
False
Suppose 3*k - 2*v - 19 = -2*k, -k + 4*v - 7 = 0. Suppose 7*i = 6*i + k. Suppose -i*y = 3*h - 325, y + 521 = 5*h - y. Is h a multiple of 21?
True
Let t be -37*5/5 - -1. Let i = 68 + t. Let n = 107 - i. Does 15 divide n?
True
Suppose -4*m + 11*m = 7077. Let q = 1853 - m. Suppose 5*i - q + 203 = -4*k, 0 = 3*i + 5*k - 386. Is i a multiple of 12?
False
Let h be (-15)/(-40)*-4*1094. Is 81 a factor of 1*h*13/(-13)?
False
Let i(t) = -8*t**3 + 57*t**2 + 58*t - 163. Let n(r) = -3*r**3 + 19*r**2 + 19*r - 54. Let z(b) = -4*i(b) + 11*n(b). Does 27 divide z(-20)?
True
Is 8 a factor of 1340 - ((-34)/9 - 78/351)?
True
Suppose -14*j = -6*j - 448. Does 5 divide 7*(1 - (-2808)/j)?
False
Let r(q) = -7*q + 13. Suppose 0 = 3*x + 46 + 14. Let h be r(x). Suppose 7*z + 34 = h. Does 17 divide z?
True
Let w(t) = t**2 - 94*t + 455. Let f(x) = -x**2 + 63*x - 304. Let i(a) = -7*f(a) - 5*w(a). Is 21 a factor of i(9)?
False
Suppose -2*s + 15*d + 13732 = 16*d, d = 2*s - 13740. Does 34 divide s?
True
Let m = 33 + -31. Suppose -4 = -2*k + m. Suppose -4*q + 9*q + k*c - 401 = 0, -419 = -5*q + 3*c. Is 11 a factor of q?
False
Let j(b) = 10*b**2 - 34*b - 12. Let d be j(4). Is (d/30*1835)/2 a multiple of 19?
False
Suppose -j - 7 = -2*r, 3*r + 0*j - 3*j = 6. Suppose -6 + 51 = -r*z. Let c(o) = o**3 + 10*o**2 + 10*o + 14. Is c(z) a multiple of 3?
False
Let z(g) = 2*g**2 - 17*g + 51. Let p be z(9). Suppose -u - 3 - 27 = 0. Let y = u + p. Is y a multiple of 2?
True
Let d = -80 - -137. Suppose v = -w + 153 + d, -2*v = 0. Does 11 divide w?
False
Suppose -20*q - 35*q = 20*q - 634800. Is 4 a factor of q?
True
Let j be ((-40)/12)/(10/(-15)). Does 13 divide (-2)/(1*4/(-1378)) - j?
False
Let y(w) = -w**3 + w**2 + 9 - 28 + 26 + 3*w. Suppose 1 = -3*t - 11. Does 11 divide y(t)?
False
Suppose -3*r = -3*n - 2*n + 65, 2*r - 74 = -4*n. Suppose 4*x + 0 = -n. Is (-620)/(-28)*4 + x/7 a multiple of 22?
True
Let y(f) = 8*f - 90. Let v be ((-88)/12)/(3 - (-30)/(-9)). Is 13 a factor of y(v)?
False
Let u(a) = -1. Let h(s) = -s - 7. Let k(q) = -h(q) + 6*u(q). Let m be k(-4). Is 37 a factor of 72 + 2/(-2)*m?
False
Let n(l) = -3*l - 17. Suppose 0 = k - 2*d + 1, -5*k - d - 13 = 14. Let t be n(k). Is 2/(t*(-4)/616) a multiple of 19?
False
Let l = -937 - -952. Suppose -5*n = l, 40*d - 35*d - 495 = 5*n. Is 4 a factor of d?
True
Suppose 3*k - 38 = -23. Suppose -k*j - 7*j + 828 = 0. Let y = 88 - j. Does 19 divide y?
True
Suppose -240922 = 5*h - 12*h - 15*h. Is 169 a factor of h?
False
Does 157 divide (1 - 26063)*((-40)/16)/5?
True
Suppose 9*d - 185 + 149 = 0. Suppose -2*x = -8*f + 6*f - 286, -d*f = 2*x - 292. Is 24 a factor of x?
True
Let u be ((-15)/10)/(6/8). Let k be -10*1/((u - -6)/(-4)). Does 10 divide (-2)/k + 2460/50?
False
Let c be (8/(-12))/(2/(-606)). Let o = c - 61. Is o a multiple of 66?
False
Let l(y) = 4*y + 18. Let j be l(-8). Let z = j + 18. Suppose -2*h + w + 505 = -0*w, h - z*w = 256. Is h a multiple of 42?
True
Let h(k) = 629*k + 1239. Is h(24) a multiple of 45?
True
Suppose 4*y + 33 = -a + 34, 5*a + y - 43 = 0. Suppose -4*p = -2*w + 1388, 0 = -20*p + 17*p + a. Does 50 divide w?
True
Suppose 3*z + 3*x + 850 = 2*x, 4*z - 3*x + 1129 = 0. Let h = z - -833. Is h a multiple of 15?
False
Let f(k) = k**3 - 4*k**2 - 9*k - 19. Let t be f(6). Does 9 divide ((-162)/(-15))/((6/(-15))/t)?
True
Let v = 54 + -46. Let p(o) = 6*o**3 + 14*o + v - 7*o**3 + 8*o**2 - 10*o. Is p(8) a multiple of 20?
True
Let v = 982 - -2043. Is 16 a factor of v?
False
Suppose 819 = -3*c + 2*c + 7477. Does 216 divide c?
False
Suppose -56*x + 61*x - 20 = 0. Let h be (-1)/(x/(-208)*2). Suppose -146 + h = -l. Is 30 a factor of l?
True
Suppose -289 = -4*l + 719. Let n = -121 - -126. Suppose 468 + l = n*g. Does 24 divide g?
True
Does 56 divide 1 + (-8)/10 + (-4787700)/(-1500)?
True
Suppose -176518 = -92*r + 175750. Is r a multiple of 8?
False
Suppose 2*o = -0*o + 4. Suppose 10 = -2*j + m, 4*m - 2*m = o*j + 12. Let b(x) = 5*x**2 - 7*x - 8. Does 20 divide b(j)?
True
Suppose 132*j + 47080 = 197*j + 155*j. Is j a multiple of 2?
True
Let u(w) be the second derivative of w**5/5 - 4*w**4/3 - w**3/2 - 19*w**2/2 + 107*w. Does 15 divide u(5)?
False
Let o be (-3 + -2 - -1) + 6. Is (-1)/((o/(-18))/(24 + -1)) a multiple of 23?
True
Let q(g) = -2*g**3 - 3*g**2 - 44*g + 35. Let u(h) = -h**3 + h**2 - h + 1. Let z(a) = q(a) - 3*u(a). Is 4 a factor of z(11)?
False
Suppose 285903 = 37*v + 44*v - 190053. Is 113 a factor of v?
True
Suppose -152*g = -150*g - 144. Is (g/(-15))/(-3*1/10) even?
True
Suppose 11*i - 20295 = d, -49*d + 9225 = 5*i - 46*d. Is i a multiple of 9?
True
Does 20 divide (41265/(-210))/(3/(-2 + -4))?
False
Suppose -8*m + 16524 = 43*m - 110823. Is m even?
False
Suppose -h - 388*b + 7178 = -385*b, 0 = -4*h - 5*b + 28663. Is 4 a factor of h?
False
Let d b