+ i*b, -l - 8 = -4*b. Suppose -10*m + 560 = -l*m. Is m a multiple of 35?
True
Suppose 5*p - 2*n + 2212 = 0, -3*p - 4*n - 1340 = -2*n. Let x = -228 - p. Does 24 divide x?
True
Let x = 59 + 4. Is 17 a factor of -1*(-142)/2 - x/21?
True
Suppose -57 = -5*b + 2*j + 2, -5*b = 4*j - 47. Let y = 18 - b. Is 10 a factor of 25*2/y*7?
True
Let s = -16135 - -30405. Does 19 divide s?
False
Let k = -148 + 251. Let l = k + 137. Is 24 a factor of l?
True
Suppose 7*z + 168 = -119. Let t = -75 - 26. Let c = z - t. Does 20 divide c?
True
Suppose 572*j = 7668115 + 7981233. Is j a multiple of 71?
False
Let l = -324 + 329. Suppose -2401 = -5*p - r, 0 = 2*p + l*r - 850 - 115. Is 16 a factor of p?
True
Suppose 74*c - 205489 - 383331 = 15*c. Does 3 divide c?
False
Let f be 1/(-2) - 741/(-6). Let c(u) = -6*u**3 - u**2 + 2*u - 2. Let m be c(-2). Let x = f - m. Is x a multiple of 10?
False
Suppose 36*q + 13*q - 204940 = 29*q. Is 136 a factor of q?
False
Let f(h) = 18*h - 10. Let x be f(28). Let i = x + -347. Is 26 a factor of i?
False
Let z(j) be the second derivative of j**5/20 - j**4/6 + j**3 + j**2 + 3*j + 2. Does 7 divide z(2)?
True
Suppose 4*i + 465*z = 461*z + 30104, -5*i + 4*z = -37675. Is i a multiple of 17?
True
Suppose -1832 = -23*k + 1043. Suppose r = -k + 445. Does 10 divide r?
True
Suppose s = -3*h + 82838, -2*h + 14987 = -2*s - 40241. Is h a multiple of 132?
False
Let n be ((3*75)/3)/(27/(-18)). Let a = -48 - n. Suppose -157 = -a*h + 103. Is h a multiple of 13?
True
Let a(o) = 23*o**2 - 46*o - 30. Is 21 a factor of a(22)?
False
Let t = -7 + 53. Let k = t + -41. Suppose 0 = -z - h - 19 + 130, -2*z = k*h - 207. Is z a multiple of 29?
True
Does 82 divide (102663/396)/((-1)/(-8))?
False
Let x(g) = -28*g - 40. Suppose 36*i + 1019 = -61. Does 20 divide x(i)?
True
Suppose 90952 = 51*a + 14962. Is 10 a factor of a?
True
Let r(h) be the first derivative of -h**4/2 + h**3 + h**2/2 - 4*h + 48. Does 56 divide r(-4)?
True
Suppose 3*g - g - 32318 = -2*q, 5*g - q - 80801 = 0. Does 97 divide g?
False
Suppose -2*h - 5*j + 2483 = -0*j, -6 = -2*j. Let z = h - 530. Does 32 divide z?
True
Let g(s) = 126*s**2 + 16*s - 29. Is g(-6) a multiple of 61?
False
Suppose -3311 = -34*o + 33*o + 3*z, 0 = -2*z + 14. Is 98 a factor of o?
True
Suppose -190*z = -138*z - 559624. Does 78 divide z?
False
Let g(b) = -b**2 + 19*b - 29. Let x be g(21). Let o = x + 282. Does 16 divide o?
False
Let l(a) = -172*a - 44. Let g(m) = -8*m - 85. Let p be g(-10). Is 45 a factor of l(p)?
False
Let f be 6/(0 - 2/(-3)). Suppose 1029 = 3*c - 3*s, 4*c + f*s - 1390 = 7*s. Is c a multiple of 24?
False
Let z = 8338 - 4067. Is 68 a factor of z?
False
Let l(y) be the first derivative of -6*y**4 + y**3/3 - 9*y**2/2 - 12*y + 68. Is l(-2) a multiple of 9?
False
Suppose 0 = -4*k - 0*a - 2*a + 96, -k - 3*a + 14 = 0. Suppose k*p - 1543 = 6153. Does 11 divide p?
False
Let j = 11658 - 10006. Is j a multiple of 11?
False
Let v = 1207 + -938. Is v even?
False
Suppose -38*c = 185287 - 909337 - 294198. Is c a multiple of 58?
True
Let i be 7*(13/7 - 1). Let s(n) = 3 + 4*n**2 + 2 + i - n. Is 28 a factor of s(7)?
False
Let w be 1/4 + 5/(20/119). Is ((-6)/33 - (-14)/77) + w a multiple of 4?
False
Let j(m) = 253*m - 8527. Is j(38) a multiple of 3?
False
Let t(s) = -16 - 5*s + 34*s**2 - 16 + 9. Is 10 a factor of t(-3)?
False
Suppose 2*c + 87 = -7*k + 2*k, 4*c + 2*k + 150 = 0. Let j be 3/((-27)/c) + 236/2. Suppose 5*p - 4*n - 128 = 0, 2*p = -3*p + n + j. Does 24 divide p?
True
Suppose 288*i + 43344 = 330*i. Is i a multiple of 2?
True
Let c = 10 - 10. Let x(o) = o**2 - 2*o + 184. Is x(c) a multiple of 8?
True
Suppose 15 + 5 = 2*j. Let c(s) = 2*s**2 + 10*s**2 - 10*s - j*s - s**3 - 2*s**2 + 6. Is c(6) a multiple of 8?
False
Let d(r) = 47 - 12*r**2 - 211 + 9*r + 88 + r**3. Is d(13) a multiple of 6?
True
Let p be 3 - (-1242)/(-4) - 3/(-6). Let m = p - -185. Let c = 152 + m. Is 15 a factor of c?
True
Let j = -101 + 95. Is 28 a factor of 4 - (-5124)/18 - 2/j?
False
Suppose -4*d + 32 = 20. Let v(n) = 10*n**2 + n + 7. Let w be v(d). Let o = w - 71. Is o a multiple of 29?
True
Let b be (18/(-54))/(1/45). Let p = 70 - b. Does 21 divide p?
False
Let d(c) = -2*c**3 - 4569*c**2 + 25 - 4*c**3 - 6*c + 3*c**3 + 4*c**3 + 4586*c**2. Suppose 0 = 5*t + 64 + 21. Does 20 divide d(t)?
False
Let u = -17441 + 26415. Suppose u = 7*b - 1778. Is 34 a factor of b?
False
Suppose 2*z - 10 = -2*s - z, -2*s + 14 = 5*z. Suppose -8 = -5*p + s, -171 = -d - 3*p. Suppose -4*i + 2*a = -668, 4*i = -a + 839 - d. Does 42 divide i?
True
Suppose 0 = -5*d - 3*f + 45584, 10*d - 5*d - 45528 = 4*f. Is 16 a factor of d?
False
Let u = 13 - 9. Let b be (-5)/((u/48)/1). Is (-12)/b + (-448)/(-10) a multiple of 10?
False
Let c = 1160 - 2084. Let q = 1740 + c. Suppose -q = -18*h + 15*h. Does 14 divide h?
False
Let w(i) = -10*i - 5. Let y(z) = z**2 + 4*z. Let n(p) = w(p) - y(p). Let m = -14 + 10. Does 7 divide n(m)?
True
Let t = -519 + 549. Let x be (-11)/4*(-15 + 3). Suppose -3*n = -x - t. Does 8 divide n?
False
Let r(g) = -g**3 - 15*g**2 - 15*g + 11. Let c be r(-14). Suppose i - c - 37 = 0. Suppose 4*k - i - 26 = 0. Is k a multiple of 11?
True
Let q(f) = 106*f**2 - 60*f + 155. Is 181 a factor of q(14)?
True
Let f be ((-18)/4 + 6)/(3/1712). Let d = f - 528. Does 41 divide d?
True
Suppose 287*q - 351*q + 324224 = 0. Does 7 divide q?
False
Let o = 140 + -32. Suppose 3*c + q = 304, -c - q = -2*q - o. Suppose -6*s + c = -275. Is 12 a factor of s?
False
Let k = 4396 - 771. Is k a multiple of 145?
True
Suppose -29 = -4*t + o, -o - 11 = -t + 3*o. Suppose -t*m + 2*m + 2378 = 3*h, 0 = 5*m + 5*h - 2370. Is 39 a factor of m?
False
Suppose 10*k - 24768 = -6*k. Suppose i = -5*n + 1935, 0*n = -4*n + 3*i + k. Let t = n + -223. Is 41 a factor of t?
True
Suppose 619047 = 110*x - 11*x. Does 13 divide x?
True
Let p = 2881 + -2550. Is p a multiple of 19?
False
Suppose 5*u + 5*f = 31306 + 32059, f = -4*u + 50707. Is 63 a factor of u?
False
Let o = 32 + 3. Suppose -b - 17 = 3*v, -4*b - 4*v - o = -7. Is 4706/65 + b/5 a multiple of 12?
True
Suppose 0 = 4*q + 2*w - 1188, 0 = q - w - 106 - 185. Is q a multiple of 176?
False
Let l = -104 + 183. Suppose 0 = 5*j - 535 - 335. Let q = j - l. Is 27 a factor of q?
False
Suppose 5*p - 87 = 358. Let s = p - 55. Suppose r + s = 2*t, -3*t - r + 50 - 4 = 0. Is t a multiple of 4?
True
Suppose 6*g - 71 = -11. Let w(m) = 42*m - 18*m - 17*m + g. Is w(6) a multiple of 26?
True
Suppose 52 = a + 204. Let u = 60 - a. Is u a multiple of 10?
False
Let x(i) be the third derivative of 8*i**5/5 + 5*i**4/24 + 5*i**3/3 - 6*i**2 + 3*i. Is x(-2) a multiple of 52?
False
Suppose 836 = 7*o - 998. Suppose 4110 = 8*p + o. Is 13 a factor of p?
True
Suppose -3*g + 8 - 5 = 0. Let v be g/(-5) - (48/(-15))/(-4). Is v/(((-11)/200)/11) a multiple of 50?
True
Let y = -9371 + 13774. Is y a multiple of 17?
True
Suppose 3*c = 8*c. Suppose -4*t = -2*j - 13 - 1, -j + 3 = c. Suppose 0 = t*b + p + 95 - 324, 0 = -p + 4. Is 3 a factor of b?
True
Let x(p) = 4*p + 14. Let m be x(-5). Let b(h) = 2*h**2 - h - 12. Does 3 divide b(m)?
True
Suppose 253*u - 3612 = 250*u. Suppose u = 18*m - 290. Is m a multiple of 3?
False
Let a be (-4)/(16/12) + 33. Suppose 6*f + a = 11*f. Suppose f - 46 = -5*y. Does 4 divide y?
True
Suppose 1689 - 109738 - 27239 = -36*h. Is 38 a factor of h?
False
Let v(i) = -2*i + 71. Suppose -3*r + 133 = 6*c - c, -4*c + 5*r + 136 = 0. Is v(c) a multiple of 4?
False
Let h be ((-16)/(-10))/((2820/450)/(-47)). Suppose 0*y = -2*y - 20. Is 25 a factor of y*15/h*14?
True
Suppose -242*t + 5668518 = 104*t. Does 127 divide t?
True
Suppose -10421 = -4*t + 3*a, 4*t + 26*a - 10431 = 27*a. Is t a multiple of 31?
False
Suppose 0 = -12*k + 9*k + 4*c + 136, -2*c - 88 = -2*k. Let g(n) = -n + 35. Let v be g(0). Let l = k - v. Does 5 divide l?
True
Let t be -2356*(-13)/((-91)/(-28)). Suppose -18*i + 49*i - t = 0. Is 9 a factor of i?
False
Suppose -6 - 6 = -4*m. Let h(n) = -10*n**2 + 16 - 4*n**3 + 2*n**2 + m*n**3 - 7*n. Is h(-7) a multiple of 4?
True
Suppose -36*t - 7600 = -26*t. Let j = t - -1572. Is j a multiple of 58?
True
Suppose 0 = -9*r - 7 - 20. Let p be (-2)/r + 228/(-18) + 0. Let q = p - -56. Is q a multiple of 30?
False
Suppose -16 = 4*v, 9*v + 8 = -f + 7*v. Suppose f = 28*t - 27*t + 3*b - 935, -4*t + 3761 = 5*