 - u*j**2 - 4 + 2*j**3 + 3. Does 20 divide v(3)?
True
Suppose 0 = -44*s + 123 - 35. Suppose 0 = -s*c + 2*d + 306 + 60, 4*c = -d + 717. Does 30 divide c?
True
Let g = -231 + 238. Suppose 2236 = g*w - 3*w. Is w a multiple of 43?
True
Let x be (1220164/33)/22 + (-2)/3. Suppose 15*c - x = -9*c. Does 9 divide c?
False
Suppose 0 = -8*b + 5 + 35. Suppose 2*h = -3*i - h + 816, b*h + 20 = 0. Is i a multiple of 2?
True
Let u(q) = -8*q - 42. Let v be u(-6). Suppose 0 = 4*w + 12, z - v = -5*w + 27. Does 12 divide z?
True
Suppose -5*z + 393642 = -2*l, -5*z - 108*l + 393636 = -104*l. Does 25 divide z?
False
Let b(x) = 3*x - 37. Suppose -3*a = s - 7, -4*a + 0*s + 10 = s. Let q(v) = v**3 - v**2 + v - 3. Let r be q(a). Does 13 divide b(r)?
False
Let z = 27 - 30. Does 9 divide z/(-1 - 156/(-162))?
True
Suppose 1145616 = 54*n - 478596. Is 6 a factor of n?
True
Let h be (-12)/(-210)*7 - 46/(-10). Suppose h*g - 6 + 1 = 0. Does 11 divide 1/g - (-954)/9?
False
Let u(s) = 11*s**2 - s. Let i be u(1). Suppose 0 = i*w - 2429 - 1021. Does 69 divide w?
True
Suppose 4*c + 4698 = 2*y, 64*y - 60*y = 2*c + 9414. Is 157 a factor of y?
True
Suppose -4*s + 3*g = -g + 72, 5*g - 45 = 2*s. Let x(r) = -7*r + 17. Let b be x(s). Is 42 a factor of b - (-8 + 8 + -4)?
True
Suppose -7*o - 2*o + 45 = 0. Let l be -1 + (-2 + 8 - -48). Suppose o*q - l - 172 = 0. Is q a multiple of 9?
True
Let b be 3 + (-2)/(-5) + 534/(-10). Let p = b - -44. Let a(f) = 2*f**2 + 9*f + 3. Is a(p) a multiple of 11?
False
Is 71 a factor of (21 - 948/44) + (-3)/((-99)/1071462)?
False
Suppose 1315 = 5*y + 3*x, -2*x - 68 = y - 338. Suppose 4*l + 296 = 2*b, -3*l + y = 2*b + 2*l. Is b a multiple of 13?
False
Suppose 13094 = 4*v - 2*m, -6556 = -35*v + 33*v - 2*m. Is 18 a factor of v?
False
Let o(v) = v**2 - 7*v - 15. Let j be o(9). Does 39 divide 58/((-33)/12 + j) + 2?
True
Let k(h) = -1856*h + 29. Is k(-5) a multiple of 143?
False
Suppose 2*v = 2*v + 2*v. Suppose -4*r + 4*w = v, 7*w - 2*w = -2*r. Suppose -2*f + 4*b = -4*f + 46, 5*b - 10 = r. Does 4 divide f?
False
Is 21/(-42) + 1758/(-4)*-1 a multiple of 16?
False
Let s be (-2372)/(-2)*-1*(-4)/8. Let d = -488 + s. Does 8 divide d?
False
Suppose 39*y = -26*y + 30*y + 234465. Is 21 a factor of y?
True
Let x be (8 - 0) + -6 - -1651. Suppose 0 = 22*g - 9353 + x. Is g a multiple of 7?
True
Is 7 a factor of 28962/9*(-1 + -2)/(-3)?
False
Suppose 0 = 2*j - 5*j - 2*r + 2999, 5*r = 20. Let t = j - 670. Does 54 divide t?
False
Let n(m) = 7*m - 19. Let z = 48 + -30. Suppose 11*k = z*k - 70. Is 14 a factor of n(k)?
False
Let m(n) = n + 23. Let g be m(-7). Suppose 9*p = g*p - 259. Does 2 divide p?
False
Let j = 281 + 491. Let i = j + -427. Suppose 5*g = 5*k + 24 - 359, 5*k = 3*g + i. Is 10 a factor of k?
False
Is 16 a factor of 45780/54 + (8/44 - (-4)/99)?
True
Suppose -b = 4*g + 222, -4*g - 277 = g + b. Is g/(-10)*(0 + 2 + 132) a multiple of 15?
False
Suppose -10339 = -5*r + 4*f, r - 2093 = -106*f + 111*f. Is 13 a factor of r?
False
Is 84 a factor of (-14485 - 1)/(112/(-63)) - 9/24?
True
Let g = 2238 - -4555. Is g a multiple of 29?
False
Let w(k) = 7*k + 35. Let h be w(-7). Let g(b) = b**3 + 15*b**2 + 14*b. Let j be g(h). Is j + 15/5*56 a multiple of 14?
True
Let r(c) = -155 - 3*c + 190 - 17*c. Does 39 divide r(-8)?
True
Let r(w) be the first derivative of 5*w**3/3 - 17*w**2/2 + 34*w - 32. Let s be r(-14). Is 21 a factor of 6/9 - s/(-12)?
True
Let c(f) = -15*f + 2*f**2 + 7*f - 4 + 11*f. Let j be c(-4). Is 7 a factor of j/6*((-231)/2)/(-11)?
True
Let l = -18 - -23. Suppose 0 = -l*t - 5*n + 720, 288 = 2*t + n + 2*n. Suppose b - t = -0*b. Does 10 divide b?
False
Suppose 2*j - d = 9836, -3*d = 130*j - 134*j + 19680. Does 54 divide j?
True
Suppose -4*o - p = 4*p + 23, -o - 11 = -4*p. Let g be (o - 8)*(-87)/9. Let t = -97 + g. Is 3 a factor of t?
True
Is -1*1 + 8 - (-1006 + 13) a multiple of 5?
True
Let w = 355 - 469. Let t = 264 + w. Does 6 divide t?
True
Let z be 1*(0/(-1) + (12 - 12)). Suppose h - 3*m = m + 82, -4*m + 20 = z. Let g = -41 + h. Is 5 a factor of g?
False
Suppose -3*z - z - 164 = 0. Let j be (-35 + 7)*z/(-4). Is (1 + j/21)/(1/(-3)) a multiple of 38?
True
Let t(c) = -97*c + 2507. Is t(0) a multiple of 25?
False
Let v be -6 - ((-2152)/(-4) + -5). Let g = v - -819. Does 14 divide g?
True
Suppose -2*k = -3*o + 31, -5*o + 51 - 12 = 3*k. Let q(s) = s. Let w(r) = r**2 + 2*r - 4. Let a(u) = -2*q(u) + w(u). Is 23 a factor of a(o)?
False
Let o be (-4)/(-3) + (-23)/(621/90). Is -51*((-6)/8 - o/(-8)) even?
False
Suppose 0 = 12*m + m - 2275. Let l = 277 - m. Does 4 divide l?
False
Is 16 a factor of 27711 + 4 - 3 - (-6 + 6)?
True
Suppose 9*y = -65*y - 18*y + 19044. Does 69 divide y?
True
Let a(o) = -o**2 - 11*o - 4. Let h be a(-9). Suppose -15*z = -h*z + 16. Let t = z - -22. Is t even?
True
Let r(v) = 4*v**3 - 2*v + 1. Let p = -6 + 7. Let q be r(p). Suppose -2*d + 85 = d + 5*c, -71 = -q*d + 2*c. Does 8 divide d?
False
Suppose 2*f + 2*k = 94, 0 = f + 4*f - 2*k - 270. Suppose 9*i - 8*i = 23. Let g = f - i. Is 9 a factor of g?
False
Let u be -2 - (-11 + 6/3). Let o(c) = -2 + 14871*c**2 + 5*c - 14863*c**2 - c**3 - 1 + 1. Is o(u) a multiple of 4?
False
Let h(b) = 278*b**3 + 3*b**2 - 6*b + 5. Let w be (-94)/470 + (-12)/(-10). Does 14 divide h(w)?
True
Suppose g = 5*q + 19, 0 = 2*g + 2*g + 3*q - 168. Is 2 a factor of (-444)/(-2)*13/g?
True
Let b = 333 + 65. Suppose -3*v + 5*f + 278 + 295 = 0, -2*f + b = 2*v. Is 24 a factor of v?
False
Is 52 a factor of (-2 - 1/(-2))*1126002/(-67)?
False
Let o(v) = -v**3 + 11*v**2 + 10*v - 11. Does 13 divide o(-21)?
False
Let n = 150 - 150. Is 14 a factor of (-15 + 0)*(-8 - n)?
False
Let p(q) = q**2 - 14*q - 28. Let s = 59 + -43. Let b be p(s). Does 12 divide 39 + (-1 - b - -2)?
True
Is 55 a factor of (-5512892)/(-1372) - 22/7?
True
Suppose 0 = 3*t + v - 4661, 473 = 4*t - 3*v - 5746. Is 13 a factor of t?
False
Let k(f) = 3*f - 4. Let i = 43 + -40. Let a be k(i). Suppose 2*d = -4, 4*v + 0*d - a*d - 46 = 0. Is v a multiple of 3?
True
Suppose -s + 3*q + 54108 = 0, -s - q = -5*s + 216432. Is s a multiple of 108?
True
Let i(n) be the third derivative of n**4/8 + 53*n**3/3 + 139*n**2. Is i(8) a multiple of 13?
True
Let u = 6 - -14. Suppose 0 = -u*j + 6681 - 1561. Does 32 divide j?
True
Is -5*(-880594)/325*5/2 a multiple of 145?
False
Let j(i) = 1858*i**2 + 5. Is 46 a factor of j(2)?
False
Let p = -126 - -128. Does 9 divide 420 - p*(-24)/(-8)?
True
Let q(y) = -3 - y**2 - 6*y + 8*y**3 - 7*y**3 + 5*y**3. Let g be q(3). Let c = -21 + g. Does 21 divide c?
False
Suppose 2237*r - 3*a = 2233*r + 7638, -3*r = 2*a - 5754. Is r a multiple of 6?
True
Is 30 a factor of -10 + (5 + 21145)/9?
True
Suppose 3*n + k - 26 = -3*k, 7 = -4*n + 3*k. Suppose 0 = 5*f - 4*x - 79, -5*f + n*x = -9 - 68. Does 3 divide f?
True
Suppose 28071 = -4*i - 4*y + 212795, 0 = 5*i - 18*y - 230790. Is 111 a factor of i?
True
Let l(d) = d**2 + 18*d - 2067. Does 8 divide l(-88)?
False
Suppose 0 = -3*j - 13 - 11. Let k(s) = 20*s + 65. Let a be k(-3). Is j/(-10)*a*3/6 even?
True
Let g(z) = 7*z - 3. Let r(b) = -b**2 + 12*b + 5. Let n be r(12). Let y be g(n). Is 3 a factor of y - (-4 + 4)/(-1)?
False
Suppose -23682 = -32*u + 30*u - 5*s, 5*u - s - 59286 = 0. Does 104 divide u?
True
Let p be 15/6*(-32)/(-10). Suppose -3*k = t - 9, -3*t - 3*k = -p*k + 15. Suppose t = -5*r + 122 - 47. Does 5 divide r?
True
Suppose -4*c = -18*u + 385842, -3*u - 5*c = -44736 - 19605. Is 97 a factor of u?
True
Suppose -3*f + 4*z = -5, 0 = -f - 4*f - 2*z - 9. Let j be 5 + f - (0 + 7). Is 26 a factor of (0 + (-9)/j)/1 - -105?
False
Suppose -44 + 6 = -3*q - 2*s, -2*q - 4*s = -36. Suppose -2*v = -q*v + 536. Suppose -5*h = -58 - v. Does 25 divide h?
True
Let o(r) = r - 7*r**3 + 11 - 10 - 2. Let s be o(-2). Does 16 divide (3 - (-12)/(-6)) + 2*s?
False
Let f(z) = -826*z - 904. Does 25 divide f(-29)?
True
Suppose 35 = 2*v - 3. Let c(y) = -y**2 + 16*y + 35. Let n(p) = -5*p**2 + 79*p + 173. Let m(t) = 11*c(t) - 2*n(t). Is 20 a factor of m(v)?
True
Suppose -3*u = -3*a - 1866, u + 18 - 646 = -a. Does 127 divide u?
False
Let g be (-56)/10 - (-2)/(-5). Let h(a) = 39*a - 26. Let o(s) = 38*s - 21. Let r(x) = 3*h(x) - 4*o(x). Is r(g) a multiple of 27?
True
Suppose 4*l - 2 = r, 4*r - 5*l = -0*r - 41. Let p be 4/(((-2)/r)/1). Is 9 a factor of 124/7 +