= -r + 96. Is h a multiple of 18?
True
Let q = 200 + 2570. Suppose n = 5*k + 789, -q = -3*n - 4*k - 422. Is 49 a factor of n?
True
Let d(f) = -f**3 - 4*f**2 + 8*f + 2. Let y be d(-6). Suppose -3*k + 1271 = -o, -k + y = 2*o - 400. Is 52 a factor of k?
False
Is 46 a factor of (2 - (-168)/(-70))*-12190?
True
Is 15 a factor of (-2)/6*65868/48*-12?
False
Suppose 4*p = 240 + 264. Suppose -4*z = -z - p. Is 193/7 - (-18)/z a multiple of 4?
True
Does 26 divide 2 + 1398888/57 - (-3)/((-171)/(-6))?
True
Let o be -6*((-10)/(-8) + 7/(-28)). Let l = -3 - o. Is 6 a factor of ((l - 3 - -2) + 3)*4?
False
Suppose -2*j + 3*z = 4, 0 = -4*j - j + 5*z. Let s(d) = -2*d**3 + 8*d**2 - 15*d + 2. Let r be s(j). Let n = -29 - r. Does 3 divide n?
False
Let d be 2 - -102*5/10. Let h = 100 - d. Suppose 7*w - h - 1087 = 0. Does 9 divide w?
True
Let a = -157 - -168. Suppose 0 = -a*d + 1292 + 1161. Is 26 a factor of d?
False
Let j = 2668 - 1383. Let p = j + -765. Does 26 divide p?
True
Suppose 3*t = -3*v + 6756, 4*v - 5688 = -t + 3320. Is v a multiple of 26?
False
Let w(i) = -612*i - 3434. Is w(-7) a multiple of 25?
True
Let h(b) = -60*b**3 - b**2 - b - 1. Let a(i) = 0 + 5*i + 5 + 0 + 220*i**2 - 221*i**2. Let x be a(6). Is 35 a factor of h(x)?
False
Suppose 2*g - 2*i - 2*i - 2352 = 0, -3*g - 5*i = -3594. Does 33 divide g?
True
Suppose 65*w = 61*w + 16. Suppose 0 = 4*j + 5*f - 0*f - 25, 4*f = w*j - 16. Suppose j*y - y - 620 = 4*p, 0 = -3*y + p + 467. Is y a multiple of 13?
True
Let c(i) = 2*i + 0 - 6*i + 75*i**2 - 68*i**2 - i**3 + 3. Let n be c(6). Suppose -12*l - n = -171. Is l a multiple of 13?
True
Let y be 115/(-2) + (-18)/12. Is 18 a factor of (-4 + y)/(4/(-8))?
True
Let s(p) = 57*p**3 - 7*p**2 + 8*p - 37. Is 17 a factor of s(5)?
True
Let h be 3 - (6 + -3 + -4). Suppose 4*r + r - 4614 = -3*z, -920 = -r - 2*z. Suppose -h*c = -18*c + r. Is 11 a factor of c?
True
Let x = -127 + 127. Let s be 23733/9 - (0 - (x - -2)). Is 13 a factor of (1 + -3)*s/(-58)?
True
Let g(y) = 10*y - 5 - y + 3 - 2. Let b be g(4). Let i = b + -2. Is i a multiple of 5?
True
Suppose 64*u + 234 = 55*u. Is 452/6*(u - -41) a multiple of 40?
False
Let x(k) = -16*k + 201 - 17*k - 27 + 15. Is x(-32) a multiple of 45?
False
Let s = 78 + -56. Suppose -2*g + 26 = -3*p, -s = -2*g - 5*p + 6*p. Is g/(-70) - 128/(-14) a multiple of 2?
False
Let y be (2/(-4))/((-2)/(-24)). Let o be 8 - (12 + y) - (-1 - 0). Let k(a) = 51*a + 6. Is k(o) a multiple of 30?
False
Does 11 divide (264/330)/(18/164585) - (-2)/18?
True
Let v(r) = 2*r + 18. Let d = 59 + -64. Let z be v(d). Suppose -z*m + 27 = -165. Is 8 a factor of m?
True
Let j(s) = 14*s + 256. Let k be j(0). Suppose k = -3*v + 7*v. Does 16 divide v?
True
Is 8 a factor of -20 + (1897 - (28 + -24))?
False
Let g be (1 - 15) + (-18)/(-1 + -5). Does 10 divide 3/((g/132)/((-19)/9))?
False
Let a = 54585 - 38543. Suppose -4*g + 2063 = 1335. Does 8 divide a/g - (-2)/(-14)?
True
Suppose 5*b - 47042 - 89748 = -2*r, 109429 = 4*b + r. Does 28 divide b?
True
Suppose -4*w + 5338 = 2*k, 2*k - 5348 = -104*w + 102*w. Is 19 a factor of k?
True
Let y = -440 - -177. Let o = -39 - y. Does 7 divide o?
True
Let r = -540 - -8577. Does 47 divide r?
True
Let p be 1 + (14402 - (-1 - -3)). Suppose -5*t - 12219 = 5*k + p, -4*k + t = 21276. Does 20 divide (-4)/6 + k/(-60)?
False
Let o(l) = -l**3 - 6*l**2 - 3*l + 13. Let s be o(-5). Suppose -504 = s*x - 11*x. Is 3 a factor of x?
True
Suppose -116*g = -82*g - 102. Suppose 2*a - 1724 = -2*a - 4*n, 2*a - 867 = g*n. Does 48 divide a?
True
Let r(i) = 3*i**2 + 21*i + 119. Suppose 0 = -7*l + 11*l - 4*w + 68, 0 = 3*w - 15. Is 12 a factor of r(l)?
False
Suppose 0 = 2*s + 992 - 18570. Is 84 a factor of s?
False
Let r(v) be the third derivative of -6 + 1/30*v**6 + 0*v + 1/30*v**5 + 1/4*v**4 - 7/3*v**3 - 3*v**2. Is r(4) a multiple of 14?
False
Let h(a) = -5*a - 32. Let z be h(0). Let i = z + 35. Suppose c + 5*p - 70 = 0, 3*p + 159 + 15 = i*c. Is c a multiple of 10?
True
Let i(s) = -2029*s + 2448. Is i(-3) a multiple of 15?
True
Suppose 3*k = -t + 41260 - 7741, 15 = -5*t. Is 74 a factor of k?
True
Let i be 1 - (-3 + 5 - 1). Let p = 235 - 232. Suppose i*j - p*j = -114. Is 16 a factor of j?
False
Let x(q) = -q**3 - q**2 + q + 11. Let i be x(0). Let g = -772 - -937. Let t = g - i. Does 22 divide t?
True
Suppose 0 = 4*w + 5075 - 30095. Does 25 divide w?
False
Let q(m) = 2*m**2 + 150*m - 300. Let f be q(2). Suppose -2*n - 2*n = -1596. Suppose -f*s = -s - n. Does 12 divide s?
False
Let d(z) = 6*z**2 + 5*z. Let v = 76 - 34. Let c be (v/70)/(2/10). Is d(c) a multiple of 14?
False
Suppose -8*p + 2*w = -13*p + 50, -w = -4*p + 53. Suppose -2*f - 1840 = -p*f. Does 8 divide f?
True
Let j(q) = 2*q**3 - q**2 - 2. Suppose 0 = -2*i + 2*g - 2 - 4, -3*g + 19 = 2*i. Let x be j(i). Suppose 2*v = -b + 16, -3*v + 4*b + x = 2*b. Is v a multiple of 3?
True
Suppose 0*j + 17 = 3*j + 5*u, -u + 1 = 0. Suppose q - 516 = -j*b, 6*q - 1572 = 3*q - 4*b. Does 48 divide q?
True
Let x = 49 + -35. Let o = 25 + -10. Let u = o + x. Does 8 divide u?
False
Suppose 0*i + 8 = 2*i. Suppose 155 = 3*b + 49*u - 50*u, -b + 2*u + 50 = 0. Let a = i + b. Is a a multiple of 22?
False
Let n = -691 + 981. Suppose -5*u - 2*b = -n, 0 = -2*u - 3*b - 2*b + 116. Suppose -a = 5*v - u, a - 59 - 6 = 2*v. Is a a multiple of 8?
False
Suppose 5 = -5*z, m - 4*z = -7*z. Let p be 2660/14*(0 - 2)*-1. Suppose -m*i = d + i - 112, -4*d = -i - p. Is 24 a factor of d?
True
Suppose 0*h - 2*h = -4*m + 20, -2*h + 4 = 2*m. Let o be 2/1*(h - -2 - -1). Let w = 39 - o. Is w a multiple of 3?
False
Let h(o) = 63*o**2 + 117*o - 76. Does 100 divide h(12)?
True
Let m(y) = -y**3 + 5*y**2 - 4*y + 25. Let a be -1 + 5 - (0 - -1 - 1). Does 2 divide m(a)?
False
Let f(z) = 8*z + 66. Let y be f(-8). Let u(v) = 6*v**3 - 3*v**2 - 3*v + 4. Is 2 a factor of u(y)?
True
Let r(g) = -5*g + 26. Suppose 18*l = 30*l - 36. Does 4 divide r(l)?
False
Suppose 3*m - 11 + 3 = 2*o, 2*m = 4*o. Suppose -1415 = -m*w + k, -2*w - 2*k + 730 = 2*k. Is 55 a factor of w?
False
Let l(q) = -q**3 - 5*q**2 + 4*q + 6. Let z be l(-5). Let o(k) = k**3 + 58*k**2 + 2*k + 158. Let f be o(-58). Does 36 divide 4/z + 4 + 2868/f?
True
Suppose 5*y + 2*k - 30 = 0, -3*k + 19 = 3*y - 2*k. Suppose 21 = -y*j + 9*j. Let o(w) = -w**2 + 24*w - 28. Is 9 a factor of o(j)?
False
Let n be 26/6 + (-4)/12. Suppose -16 = -6*x + n*x. Does 30 divide ((-984)/32)/((-3)/x)?
False
Is 35 a factor of (-8 + 9)*-15 - -3248?
False
Suppose 8 = -3*n + 2, -3*q = -5*n - 2791. Suppose 0*y = 9*y - q. Is y a multiple of 3?
False
Let x(p) = -p**3 + 100*p**2 - 26*p - 102. Is x(99) a multiple of 57?
True
Let k be -3 + ((-81)/(-9) - -3). Suppose 0 = k*r - 10*r - h + 190, -5*r = 2*h - 959. Does 22 divide r?
False
Suppose 11*x - g = 14*x - 14568, 0 = 2*g - 12. Does 3 divide x?
True
Let u be 4*(-3)/12*(0 + 2). Let j be (-21 + 19)/(u/54). Suppose 0*q - 2*l - 23 = -q, -3*q + l = -j. Is q a multiple of 5?
False
Let t be (0 - -1)*(14 - 11) - -5. Suppose -4*k = 3*z - t, -5*z + k + 4 = 3*k. Suppose -3*l + 356 + 214 = z. Does 19 divide l?
True
Let r(j) = 29 + 32*j - 28*j**2 - 2*j - 30*j**3 + 29*j**3. Let y be r(-29). Suppose 4*i = -5*t + 232, 3*t - 224 = -4*i - y*i. Is 10 a factor of i?
False
Suppose -153597 = -79*y + 481089. Does 13 divide y?
True
Let j = 27512 - 24860. Is j a multiple of 13?
True
Suppose 0 = -w + 3*b + 11, 5*w - 27 = b - 0*b. Suppose 4*y + 3*j = 4812, -4387 = -w*y + j + 1647. Does 67 divide y?
True
Suppose 120*l - 117*l + 10 = 4*f, 0 = -3*l + 6. Does 18 divide f/(-10) + (20904/60 - 6)?
True
Let m(c) = -c**3 + 5*c**2 + 7 + 5*c**2 - 11*c + 3*c + 14. Suppose 0 = 13*y - 11*y + 4*h - 2, 3*h = 5*y - 57. Is m(y) a multiple of 3?
True
Let k(j) = -j**2 + j. Let m(c) = -6*c**2 - 10*c - 6. Let x(p) = -6*k(p) - m(p). Let t(h) = -11*h**2 - 3*h - 6. Let b(r) = -3*t(r) - 2*x(r). Does 18 divide b(3)?
True
Suppose 115 = -j + s, 13*j + 3*s + 495 = 9*j. Is 25 a factor of 174/8*(-5)/(50/j)?
False
Suppose -52*h - 10140 = -91*h. Is h a multiple of 26?
True
Suppose -a + 10*a = -3114. Does 30 divide (-16)/(a/86 - -4)?
False
Suppose 26*s - 109104 - 317712 = 0. Does 5 divide s?
False
Let o = -24 - -28. Suppose c = -0*u - u - 1, 3*c - 18 = o*u. Does 9 divide ((-11)/4)/((-28)/(-16) - c)?
False
Let g = 10 - 46. Is 15 a factor of ((-56)/g)/7 - (-2829)/27?
