uppose 4*u - 2389 = 5*r - 6*r, 2*r + 2*u = 4748. Is 103 a factor of r?
True
Suppose 1 = -4*i - a - 0, 0 = 3*a + 3. Let x(s) = -s**3 + s**2 + 2*s + 114. Does 38 divide x(i)?
True
Suppose -17*m - 248 = -21*m + 2*c, -5*c - 53 = -m. Is m a multiple of 7?
True
Suppose -159*g + 163*g - 2728 = 0. Does 62 divide g?
True
Let i(w) = -2*w + 5*w - 4*w + 12. Let t be (1/(-1) + 1)/(-6). Is i(t) a multiple of 6?
True
Let g = 102 - 100. Suppose 0 = -4*s + g*s + 8, -3*q + 49 = 4*s. Does 4 divide q?
False
Suppose -5*z + 4921 = -4*o - 6814, z - 4*o - 2347 = 0. Is z a multiple of 16?
False
Suppose -2 = -2*f, -f = 4*z + f - 22. Suppose i - 5*l - 74 = -2*l, 4*i - 3*l - 305 = 0. Suppose 0 = -z*x + 43 + i. Is 8 a factor of x?
True
Suppose -4*h + 424 = 4*y, -5*y + 5*h + 286 + 204 = 0. Is 3 a factor of y?
True
Let p = 4 + -7. Let o be (3 - 2)*p + 5. Suppose -j + 7 = -o. Is 3 a factor of j?
True
Let k = 3 - 4. Let a = 27 + k. Is a a multiple of 26?
True
Is 11 a factor of (-12 + 14)*(-418)/(-4)?
True
Let u = -44 + 58. Does 7 divide u?
True
Suppose -10*u - t - 13340 = -15*u, -4*u - t = -10672. Does 58 divide u?
True
Suppose -3*a - 3*i = -5*i + 52, -8 = a - 3*i. Is 15 a factor of ((-8)/a)/((-3)/(-465))?
False
Let p be 2*2*23/46 + 999. Let l = p - 676. Does 25 divide l?
True
Let k(b) = -b**3 + 8*b**2 - 2*b - 29. Let n be k(7). Let c be 12 - (-2 + (0 - -2)). Is 3 a factor of 1/2*(n + c)?
True
Does 14 divide 6/(-1) - (15 + 1449/(-9))?
True
Suppose 13*n + 16 = -88. Let z = n + 153. Is 10 a factor of z?
False
Let p(q) = q**3 - 6*q**2 + 8*q - 5. Let w be p(5). Let v(k) be the third derivative of k**4/24 + k**3/3 - 22*k**2 - 3. Is 10 a factor of v(w)?
False
Suppose 0 = -o + 5*n + 9, 0 = -2*o - 3*n + 6 - 1. Suppose 39 = o*g - 57. Is 12 a factor of g?
True
Suppose -l + 7 = -2*y, l = -2*y + 1 + 10. Is ((-24)/2)/(l/(-6)) a multiple of 4?
True
Suppose -5*g = -2*r - r + 6, -3*g = r - 16. Suppose -r*k + 476 + 35 = 0. Does 14 divide k?
False
Suppose 2*f - 6*f = -1368. Suppose -4*p - f = -7*p. Is 22 a factor of p?
False
Let w(u) = -u**2 + 21*u - 26. Let v be w(20). Is 32 a factor of (-4)/v + 6585/45?
False
Let g = -13 - 47. Let s = -26 - g. Does 10 divide s?
False
Let o = 8 + -32. Does 5 divide (o/(-7))/((-6)/(-21))?
False
Is 7 a factor of (14/(-6)*-1)/(4/84)?
True
Let z(u) = 2*u + 5. Let m be z(0). Suppose 3*p = 5*q - 20, -5*p - m*q = -2*q + 90. Is 8 a factor of 4/10 + (-354)/p?
True
Let a = 6175 + -3375. Is a a multiple of 80?
True
Let h(n) = 7*n**2 - 8*n + 1. Let f(b) = -7*b**2 + 9*b - 2. Let c(i) = 4*f(i) + 5*h(i). Let t be -1*(-2 - -3) + -1. Is c(t) a multiple of 9?
False
Let h(p) = -p**3 - 5*p**2 + 9*p + 20. Let y be h(-8). Suppose -11*i + y = -7*i. Is i a multiple of 23?
False
Suppose -3*o - 5*q + 21 = 0, -2*o + 0*q - 8 = -4*q. Suppose p - o*t = 4*p - 774, t - 258 = -p. Suppose -p - 29 = -7*c. Is 12 a factor of c?
False
Let r(w) = -w**3 - 14*w**2 - 6*w + 8. Let i = -93 + 79. Is 20 a factor of r(i)?
False
Is 14 a factor of (-3)/(-2) + -4 + 2620/8?
False
Suppose 6 = 3*k, 2*k = -2*v + 818 + 1530. Suppose -5*m - 3*j + v = 0, 3*j - 201 = -m + 31. Suppose 0 = -5*g + 25 + m. Does 17 divide g?
False
Let a = -7 + 7. Let g = 10 - 7. Suppose a = q - g*q + 78. Is q a multiple of 13?
True
Let k = 1609 + -411. Does 29 divide k?
False
Let s(o) = -6*o + 4*o**2 - 22 - 4*o**2 - 12*o - o**2. Let v be s(-16). Is 6 a factor of 1*2 + 6 + v?
True
Is 28 a factor of (361/38 - 12) + 346/4?
True
Let i = -305 + 187. Does 5 divide 3/(-6)*(-3 + 4)*i?
False
Let i(h) = -h**2 - 30*h - 8. Let w be i(-17). Suppose -2*c + w = c. Is c a multiple of 13?
False
Suppose v = d + 53 + 90, 0 = -5*v - 20. Is (d/(-42))/(2/68) a multiple of 17?
True
Suppose 325 + 74 = 3*z + 4*c, -2*z + 266 = -5*c. Is z a multiple of 19?
True
Let b(p) = -p**3 - 6*p**2 - 6*p - 3. Let j be b(-5). Suppose -j*l = -4*l + 5*i - 24, 0 = -l - 4*i + 14. Is (-1 + 260/(-8))*l a multiple of 17?
False
Let a = -194 + 220. Does 6 divide a?
False
Let f(m) be the first derivative of -m**4/4 + 7*m**3/3 - 2*m**2 + 6*m - 21. Does 3 divide f(6)?
True
Let p(s) = 10*s**3 - 9*s**2 - s + 12. Is p(5) a multiple of 4?
True
Let i(r) = 3*r - 7. Let a be i(6). Suppose -5*x + 5*z = -8*x + a, 2*z = 2. Is 3 a factor of (x/3)/((-4)/(-18))?
True
Let c(f) = -6*f - 4. Let r be c(-2). Suppose 0 = -7*x + r*x - 87. Is 29 a factor of x?
True
Let q(f) = f**2 + 8*f + 4. Let l be q(-4). Let o = 87 + l. Is o a multiple of 15?
True
Suppose 0 = -s + 2*c + 33, 2*s - 20 - 37 = -5*c. Is 19 a factor of s?
False
Let b = 1708 - 976. Is b a multiple of 61?
True
Let h = 638 + -434. Is h a multiple of 20?
False
Let f = 119 + 665. Is f a multiple of 49?
True
Let i(d) = d - 13. Let p be i(3). Does 3 divide (18/(-30))/(2/p) + 2?
False
Suppose 0 = -8*z + 4*z - 20, 5*z - 167 = -4*x. Suppose 0 = -a - 8 + x. Does 17 divide -255*(a/(-12) - -3)?
True
Suppose i = 117 + 415. Suppose 5*k + l - i = 0, -4*k + 226 = l - 199. Let n = -64 + k. Is n a multiple of 9?
False
Suppose -8*r + 4*r = 5*t - 12, -5*t = 3*r - 14. Let y = -76 + 87. Is 9 a factor of r*y*12/(-8)?
False
Let r = -14 + 16. Suppose 3*p + l = 38, -r*p = 2*p - 4*l - 40. Let j = 19 + p. Does 31 divide j?
True
Let v(h) = 3*h + 115. Suppose 2*g - 5*y = 76, 5*g - 2*y - 136 = g. Is 8 a factor of v(g)?
False
Let x(l) = l**2 + l - 15. Let w be (4/6)/((-2)/(-15)). Does 15 divide x(w)?
True
Let h(p) = 10*p + 4*p**3 - 2*p + 2*p**3 - 1 - 5*p**3 + 12*p**2. Is h(-11) a multiple of 8?
True
Let b = 392 + -192. Is 10 a factor of b?
True
Let h(l) = l**3 - 9*l**2 - 4*l + 12. Let k be h(10). Let t = k - 30. Is t a multiple of 17?
False
Suppose 3*g - 2 + 11 = -3*s, g - 1 = 0. Let v be (-752)/(-18) + s/(-18). Is 15 a factor of (-12)/v - 380/(-7)?
False
Suppose -2*f + 395 = t, 88*f + 1961 = 5*t + 91*f. Is 3 a factor of t?
False
Let m be (-298)/(-14) + 16/(-56). Suppose -5 + 0 = -n, o - m = -2*n. Is o a multiple of 3?
False
Suppose 0 = -23*y + 32*y - 1710. Is 19 a factor of y?
True
Let s be (-3 - (-56)/12)*3. Let v = s - -117. Does 11 divide v?
False
Suppose -2*q - 6 = 0, 5*j - 868 = q - 0*q. Let z = j + -93. Suppose -3*h = 5*b - 239, b + b - z = 4*h. Is b a multiple of 23?
True
Suppose 4*i - 19 = 5*g + 7, -5*g + 6 = 4*i. Suppose -154 = -2*p - 5*w + 118, -5*p = i*w - 680. Does 17 divide p?
True
Let n(v) = -108*v + 46. Does 16 divide n(-3)?
False
Let v = -116 + 119. Let y = 10 - 6. Suppose -v*a = -y*a + 5. Is a a multiple of 5?
True
Let c = 1124 + -584. Suppose -5*b - c = -14*b. Does 20 divide b?
True
Let s = 7 + 288. Is 5 a factor of s/30 - (-1)/6?
True
Suppose -14*s = -0*s - 756. Does 8 divide s?
False
Let l(v) = -11*v**3 + 3*v**2 - 7*v + 4. Let b(f) = -44*f**3 + 11*f**2 - 29*f + 17. Let i(n) = 2*b(n) - 9*l(n). Is 19 a factor of i(2)?
True
Let b(o) = -o**2 + 11*o - 7. Let s be b(10). Suppose 3*t + 2*l - s*l = 411, 0 = -5*t - 3*l + 671. Is t a multiple of 13?
False
Let m(v) = 62*v**2 + 55*v - 264. Is 40 a factor of m(6)?
False
Let c(l) = l**2 - 4*l + 6. Let f be c(4). Let t be (-3 - -3) + (81 - 0). Is 4 a factor of t/f - (-2)/(-4)?
False
Suppose 3*m = 11874 + 4830. Is 16 a factor of m?
True
Let n = -312 - -498. Suppose -138 - n = -4*c. Does 11 divide c?
False
Suppose -5*k - 393 + 1768 = 0. Is k a multiple of 25?
True
Let h = 32 + -19. Let f = 39 - h. Suppose 4*d - 2*d + t - f = 0, 5*d = 4*t + 78. Is 3 a factor of d?
False
Let p(a) = 25 - 17 + 0*a - 4*a + a**2 - 10. Let k = 25 + -17. Does 6 divide p(k)?
True
Suppose -22 = 2*o + 18. Is 20 a factor of (76/(-5))/(o/50)?
False
Suppose 13*k + 311 = -157. Let h(n) = -6*n**3 + 3*n**2 + n. Let v be h(-2). Let a = v + k. Does 11 divide a?
True
Suppose 5 = 3*b - 4. Suppose 0 = -3*z + 2*i - 4, -4*i + b + 5 = -5*z. Suppose z*l - 75 = -5*l. Does 3 divide l?
True
Suppose -z - 2*z - 36 = 0. Let k be 6/(-8) - 93/z. Suppose k = 3*o - 14. Does 3 divide o?
False
Let s be (0 - -6)*(-9)/(-6). Let n = s + 113. Is 35 a factor of n?
False
Let g(u) = -11*u**3 + u**2 + 3*u + 3. Let q be g(-2). Suppose -4*z = q + 47. Let b = z + 75. Is b a multiple of 11?
False
Suppose -3*y + 2*f - 27 = 0, 4*y - 4*f + 32 = -0*y. Let g = y + 11. Suppose 63 = q - 3*c, 2*q + 3*q + 4*c - 372 = g. Is 26 a factor of q?
False
Let n = -1056 - -1495. Suppose 3*v - 2*a + 269 = -3*a, -5*v + 3*a - n = 0. Does 11 divide (-2)/16 - v/8?
True
Let r(t) = 145*t - 10. Let g be r(-2). 