). Let r = -376 - u. Suppose 5*f - 3*j - r = 0, 5*j = 5*f - 0*f - 195. Does 10 divide f?
True
Let h = 1812 - -2482. Does 81 divide h?
False
Let n(w) = 2. Let v(d) = -9*d - 100. Let x(y) = -4*n(y) - 2*v(y). Is x(11) a multiple of 4?
False
Let o = -97 - -102. Is 23 a factor of 26*o/2 - 5?
False
Does 20 divide -1*(-5710)/3*12/10?
False
Suppose -1360 = -6*z + z. Suppose -10*f + 2202 = z. Does 2 divide f?
False
Let k = 192 + -416. Let f = k + 327. Let r = -19 + f. Is r a multiple of 21?
True
Let h(i) = 2*i**2 - 20*i + 6. Let v be h(10). Let c(x) = 2 - v*x + 0 + 7*x. Is 3 a factor of c(5)?
False
Let o(f) be the first derivative of -f**2/2 + 74*f + 16. Let i(d) = 2*d - 148. Let b(r) = 6*i(r) + 13*o(r). Does 10 divide b(0)?
False
Suppose -2*j - 840 = -5*h, -3*j + 4*j - 493 = -3*h. Let w = h + -118. Is 5 a factor of 1/(-3) + 3088/w?
False
Let p be (5*(-80)/300)/(-1*(-3)/(-27)). Let t(s) = 8*s - 6. Let u be t(4). Suppose m = p + u. Is 16 a factor of m?
False
Let y be ((-1)/(-2)*-4 + 0)*16. Let u = -29 - y. Suppose u*b - 111 = 3. Is 19 a factor of b?
True
Let f(k) = 4*k - 12. Let i be f(-13). Let u = 60 + i. Let o(b) = -b**3 + b**2 - 5*b + 2. Does 47 divide o(u)?
False
Suppose -25*d + 109109 = 26559. Is 21 a factor of d?
False
Let j be 20*(-8)/8*(-2)/8. Suppose -j*k = -7*k + 5*d + 410, -2*k + d + 402 = 0. Does 13 divide k?
False
Suppose -142*c + 135*c + 6006 = 0. Suppose -3*r - 218 = -a, 0*a - 5*r = -4*a + c. Does 53 divide a?
True
Suppose -33*p + 1538550 = 117*p. Does 39 divide p?
True
Let v = 19278 - -1572. Is v a multiple of 52?
False
Does 42 divide ((168/18)/(-14))/(12/(-126180))?
False
Let h(b) = 808*b**2 + 75*b + 152. Is h(-2) a multiple of 14?
True
Let q(g) = 1131*g**2 - g + 35. Does 31 divide q(-4)?
True
Let n(p) be the third derivative of -47*p**4/24 - 2*p**3 + 119*p**2. Is n(-2) a multiple of 22?
False
Let h be -295 + -7*(-6)/7. Let s = h + 459. Does 10 divide s?
True
Suppose 43*m = 38*m. Suppose -4*q + 6*t - t + 768 = m, 0 = 3*q - t - 565. Is 9 a factor of q?
False
Let p(c) = -c**2 - 2*c + 66. Let u be p(7). Suppose -5*m + 3160 = -2*k, 6*k - 1895 = -u*m + 7*k. Is 63 a factor of m?
True
Suppose -4*q + 2 + 66 = 0. Suppose 0 = 4*r - 5*h - 69, r - h = -0*h + q. Is 8 a factor of r?
True
Let h(q) = 3*q - 28. Let w be h(7). Is 2 a factor of 5*w/(-7) - -102?
False
Is -8*(-9 - (-57060)/(-80)) a multiple of 180?
False
Let h(l) be the first derivative of 16*l**3/3 - 25*l**2/2 - 21*l - 34. Is h(8) a multiple of 73?
True
Suppose 3*v + 25 = 4*m, 2*m - m + v = 8. Suppose 2*y + m - 21 = 0. Is 1844/14 - (-1 + 5/y) a multiple of 17?
False
Let f be (-5)/((-80)/(-4))*-8. Suppose -1186 - 334 = -f*h. Suppose -h = -m - 7*m. Does 19 divide m?
True
Let m be ((-70)/(-21))/(2275/(-759) + 3). Let z be m/(-15) - 2/3. Let c = 44 - z. Is c a multiple of 43?
True
Suppose -t = -6, -3*t + 8692 + 2801 = 5*s. Is s a multiple of 15?
True
Let o = -400 + 472. Is o/9 + 654 - 5 a multiple of 21?
False
Suppose -11 = -c - 3*j, -2*c - 3*j + 12 = -7*j. Let g be -4 - (-48)/9 - (-56)/21. Suppose 0 = g*l - 2*f - 182, 3*l - 3*f - 130 = -c*f. Does 9 divide l?
True
Suppose -10*i + 8*i - 6 = 0. Is 43 a factor of 1 + 2/i + 2313/27?
True
Suppose 0 = -4*i + 2*t + 27602, -2*i + 5*t = -0*i - 13805. Does 20 divide i?
True
Let b = 8867 - 5484. Is b a multiple of 2?
False
Is 55/10*(-7 + 3033 + 12) a multiple of 20?
False
Suppose 2*w = -4*v, -5*w + 3*v = 4*v - 27. Is (-3 + w + 1)/((-1)/(-60)) a multiple of 24?
True
Suppose -2*w - 9524 = -3*a, 0 = -3*a - 3*w + 7669 + 1835. Is a a multiple of 13?
True
Let q = 155 + -154. Suppose g = q, 7*g = 4*u + 4*g - 1845. Does 36 divide u?
False
Let k(r) = 2*r**2 - 670*r + 4755. Let g be k(7). Let c(j) = j**3 - 5*j**2 + 7*j - 6. Let i be c(4). Suppose 143 = i*l - g. Does 30 divide l?
False
Does 15 divide (-26406 - 0)/(-9) + -14 + 20?
True
Suppose 7 = u, 4209 - 43669 = -4*y + 4*u. Is y a multiple of 8?
True
Let j(m) = 41*m**2 - 81*m - 518. Is j(-6) a multiple of 76?
True
Let x(v) = v**3 + 12*v**2 - 10*v - 24. Let a be (-5 - -6)/(6/(-48)). Is x(a) a multiple of 12?
True
Let a be 616/52 + 4/26. Let v = -76 - -89. Suppose -v*b = -9*b - a. Is b even?
False
Does 7 divide 6234/21 - (220/154)/(-10)?
False
Let s be ((-2)/((-8)/(-3)))/(3/(-168)). Let f = 418 - s. Suppose 12*t - 8*t = f. Does 8 divide t?
False
Let p = -513 - -306. Let g = -70 - p. Is g a multiple of 9?
False
Let l(p) = 374*p - 270. Does 26 divide l(4)?
False
Let s(m) = 2*m**2 - 23*m + 39. Does 3 divide s(0)?
True
Let j(l) be the second derivative of -l**6/360 + 23*l**5/60 - 7*l**4/4 - 24*l. Let x(r) be the third derivative of j(r). Does 4 divide x(11)?
True
Suppose -5*v - 4*b + 1305 = 0, -b + 2*b - 1320 = -5*v. Is 14 a factor of (-2)/(-10) - (-25917)/v?
True
Suppose 0 = -460*j + 336*j + 2490912. Is 9 a factor of j?
True
Suppose 23*c = -27*c + 285000. Does 30 divide c?
True
Suppose -12*s + 4566 = -4158. Let r = s + -629. Is r a multiple of 14?
True
Let n = -93 - -97. Suppose 4*c = -5*w + 1364, 212 = c - n*w - 108. Is 6 a factor of c?
True
Let c = 31 - 33. Let l be (c/(-1))/(-8) + 222/24. Suppose 3*o - l = 81. Does 15 divide o?
True
Let y = -343 - -567. Is 148/(-16)*y/(-8) a multiple of 37?
True
Suppose -211503 = -3*f + 59*z - 58*z, 3*f - 3*z = 211509. Is f a multiple of 50?
True
Let k = -13 + 90. Let i = k + -40. Suppose 3*t - i = q, -3*q - 13 = -2*t - 0*q. Does 3 divide t?
False
Suppose 16*s - 4*s = -72. Let c = 96 + s. Is c a multiple of 11?
False
Let p(q) be the second derivative of 55*q**3/3 + q**2/2 - 3*q. Let v be p(1). Suppose 4*c - 253 = v. Is 13 a factor of c?
True
Is ((-327)/(-9) + 3)*-1*279/(-3) a multiple of 37?
False
Suppose -3*g = -s - 30, -8*g + 5*g - s = -36. Suppose g*d = 1107 + 2677. Is d a multiple of 94?
False
Suppose -5*k - 598 = -4*i, k = 4*i + 5*k - 580. Suppose 2*y + x - i = 0, -30 = -y + 2*x + 56. Is y a multiple of 19?
True
Let p(w) = -w**2 + 2*w. Let z be p(5). Let d be (7*(-2)/(-6))/(z/45). Is 6 a factor of (-9 - d)*22/(-4)?
False
Suppose -185*u + 60*u = -71*u - 336960. Does 26 divide u?
True
Suppose -5*k + 290 = -7*k + 5*p, 0 = 2*k - 4*p + 286. Let b = k + 151. Is b a multiple of 4?
True
Let y(k) = k**2 - 5*k - 18. Is 47 a factor of y(32)?
True
Let l = 14479 + -7241. Is 7 a factor of l?
True
Let y be (-2)/8 - 1/(-4). Let j(m) = -217*m + 128 - 2*m**2 + 220*m + 3*m**2. Does 16 divide j(y)?
True
Suppose 40010 - 8880 = 35*q - 26025. Does 4 divide q?
False
Is (1*-1)/(731964/(-28152) - -26) a multiple of 10?
False
Let u = 63 + -114. Let l = -35 - u. Let m = 124 + l. Does 17 divide m?
False
Let d = 14372 - 13836. Does 129 divide d?
False
Suppose 0 = -5*h + 3*n + 7425, 4*h - 5*h = n - 1477. Suppose 380 = 14*o - h. Is 30 a factor of o?
False
Let y(z) be the second derivative of z**5/10 + z**4/12 - 19*z**3/6 + 37*z**2/2 + 124*z. Does 3 divide y(5)?
False
Let a = -882 + 1487. Let g = a + 435. Does 80 divide g?
True
Suppose 350003 = 69*p - 372634. Is 31 a factor of p?
False
Let i be ((-8)/((-160)/(-45)))/(9/24). Let z(d) = -4*d**3 - 8*d**2 + 10*d + 15. Does 76 divide z(i)?
False
Suppose -12 = -3*u, 5*l = -7*u + 3*u + 1401. Suppose 4*h - 9 = 7, k + 3*h = l. Does 58 divide k?
False
Let f = 15 - 4. Suppose -f*v - 15 = -14*v. Suppose 5*q = q + 4*j + 268, -v*j - 211 = -3*q. Is 8 a factor of q?
False
Let x = -506 - -508. Suppose -s - 4*i + x*i + 86 = 0, i - 91 = -s. Does 24 divide s?
True
Let y = -58 + 56. Does 16 divide (0 - y) + 64 + -34?
True
Let h(a) = -a**2 - 37*a - 100. Let o be h(-34). Suppose -786 = -4*y + 2*z, -2*z = -o*y - 9 + 401. Is y a multiple of 41?
False
Suppose -5*b + 4*l = 2*l - 10, 4 = 2*b - 4*l. Suppose b*t - 14 = -3*m, -5*m + 11 + 4 = 5*t. Suppose o + m*n - 65 = 4*n, -67 = -o - 2*n. Is 6 a factor of o?
False
Let v(l) = 13158*l**3 + 10*l**2 + 24*l - 34. Is v(1) a multiple of 153?
True
Is 45 a factor of 19 - -24925 - 20 - (-11)/((-11)/(-6))?
True
Suppose -z + 8 = 3*z. Let d(n) = 6*n**3 - n**2 + 3*n + 2. Let f(h) = -5*h**3 + h**2 - 2*h - 1. Let i(q) = -4*d(q) - 6*f(q). Is i(z) a multiple of 20?
False
Let t(p) = -6224*p - 13913. Does 7 divide t(-7)?
False
Let h be (-4)/(-7) + (-15)/((-105)/52). Suppose -1300 = -h*p - 116. Does 13 divide p?
False
Suppose d + 2*p + 3 + 2 = 0, 4*p = -16. Suppose 5*b - 4*c = 650, -d*b + 4*c - 38 + 436 = 0. Suppose 0 = -0*a + 6*a - b. Is 7 a factor of 