de u?
False
Let n = 545 - 541. Suppose -n = 2*g, 7*c - 10*c + 3507 = -3*g. Is 85 a factor of c?
False
Suppose -43 = 2*b - 5*s - 172, 3*b - 186 = 5*s. Suppose 69*f - 1440 = b*f. Is f a multiple of 12?
True
Let t(h) = -h**3 - 3*h**2 - 2*h + 4. Let a be t(-2). Suppose -n - 2*g + 649 = 0, 11*n - 16*n + 3275 = a*g. Does 17 divide n?
False
Suppose 2574392 - 3258 = 158*u. Is 31 a factor of u?
False
Let j = 6679 + -4379. Is (12/10)/(23/j) a multiple of 20?
True
Let u = -776 + 8527. Does 72 divide u?
False
Suppose 3*i = -3, 0*a + 2*a - 3*i - 11 = 0. Suppose -2*w + 2*k + 20 = 0, -1 = -a*w + 3*k + 35. Let g = 32 + w. Does 6 divide g?
False
Let n(j) = -17*j + 203. Let q be n(12). Is 30 a factor of (-10 + 19)*34/(-2)*q?
False
Let x = 199 - 196. Let v(s) = s**2 + 3*s + 1. Let l be v(-2). Does 39 divide (-2 - -2 - -42) + x/l?
True
Suppose 0 = 10*m + 4457 - 36067. Does 14 divide m?
False
Let c = 11791 + -7463. Does 63 divide c?
False
Let u = -159 + 171. Suppose 15*j - u*j = 1008. Is j a multiple of 21?
True
Let d(k) = -195*k + 6577. Is d(-10) a multiple of 18?
False
Let v(u) = 14*u**3 + 18*u + 5. Is v(12) a multiple of 9?
False
Let a(c) = 3*c + 93. Let r be a(-6). Let f = 115 - r. Does 20 divide f?
True
Let v = -48 - -61. Suppose 9*j = -v*j + 1100. Is 4 a factor of j?
False
Suppose -2956*w = -2964*w + 60480. Is 16 a factor of w?
False
Let w = -210 - -206. Does 24 divide 197 + w - (-5 + 3 + 3)?
True
Suppose 10*o - 4*o = 672. Let k = -72 + o. Is k a multiple of 5?
True
Let c be (0 + -16)*(-3)/(-2). Let a(o) = -1 - 5 - 30*o + 23*o**2 - 15 + o**3 - 5. Is a(c) a multiple of 6?
False
Let m be 6/((-12)/(-718))*1. Let o = m - 93. Is o a multiple of 15?
False
Suppose 77*o + 32072 = 76*o. Does 14 divide o/(-36) - (-2)/18 - 0?
False
Suppose -4*d = 12*b + 2*b - 398562, -2*b + 56933 = 5*d. Is 9 a factor of b?
False
Suppose -53 + 157 = 2*c. Let j = -44 + c. Let h(p) = 9*p + 11. Is 13 a factor of h(j)?
False
Suppose 0 = -2*f + 4*f - 8. Suppose f*a + 55 = 67. Suppose -a*m - 7*m = -890. Does 10 divide m?
False
Let l(i) = 791*i**2 - 515*i - 3583. Is 56 a factor of l(-7)?
False
Suppose -333 = -3*t + 1992. Suppose i = 3*w + 208, -4*i + t + 87 = 3*w. Is i a multiple of 14?
False
Let f(n) = -2085*n**3 + 2*n**2 - 2*n - 4. Is f(-1) a multiple of 15?
True
Does 175 divide (236 - 243)/((1/(-2))/((-4425)/(-2)))?
True
Let f(v) = -5*v - 59. Let c(n) = 2*n + 25. Let o be c(-19). Is f(o) even?
True
Suppose 59*k - 8 = 55*k. Suppose -715 = -5*w + 3*t - 0*t, -k*t = -10. Is 18 a factor of w?
False
Suppose 0 = 3*x - 3*f - 3, 0 = 5*x - 3*f - 0*f - 1. Let o(k) = 303*k**2 + 5*k + 4. Does 15 divide o(x)?
False
Let f = -47 + 49. Suppose 5*j + f*a - 2145 = 87, -2233 = -5*j - 3*a. Suppose -6*d + j - 44 = 0. Does 14 divide d?
False
Let y(k) = k**3 + 26*k**2 - 2*k + 15. Let u be y(-26). Let n = u + -64. Suppose -3*t + 159 = -3*h, -n*t - 4*h + h = -177. Does 13 divide t?
False
Let c = -400 + 400. Suppose c = -5*p + 56 + 39. Is 6 a factor of p?
False
Let a be (-10)/(-50) - (-4)/(-20). Does 24 divide 2/(-8)*a + (-10 - -35)?
False
Is (114/3)/((6/(-228))/((-2)/4)) a multiple of 5?
False
Suppose o + 2*n = 68, -4*o + 21*n + 296 = 25*n. Does 4 divide o?
True
Is (-21)/(-141 + -27) + (-2)/(16/(-10879)) a multiple of 16?
True
Let z = 50 + -26. Suppose -7*b - z = -8*b. Suppose -3*j + 0*j + b = 0. Is 3 a factor of j?
False
Suppose 0 = -3*v - 9, 4*n + 4*v - 23 = 5*v. Suppose -3*d + 3*c + 339 = 0, 0 = n*d - 3*c - 264 - 295. Does 67 divide d?
False
Let t(m) = -2*m**3 + 46*m**2 - 47*m - 108. Is t(21) a multiple of 2?
False
Let q = 2360 - 4282. Let u = q + 3396. Is u a multiple of 48?
False
Suppose 0 = -o + 3*o + 4, -4683 = 5*j - o. Let g = -406 - j. Is g a multiple of 59?
True
Suppose 79*n - 1414592 = 33*n. Is n a multiple of 27?
False
Let o(f) = -3*f + 122. Let j(z) = -9*z + 365. Let u be (-25 + 23)/((-2)/(-2)). Let g(k) = u*j(k) + 7*o(k). Is 25 a factor of g(0)?
False
Let u(z) be the third derivative of z**4/12 + 2*z**3 + 2*z**2. Suppose -m = -4*r + 39, 7*m - 9*m - 51 = -5*r. Is u(r) a multiple of 15?
True
Let g be 14/21*(-1 - -7). Suppose g*w = 3*w + 2. Suppose -28 - w = -5*f. Is f a multiple of 3?
True
Suppose 3*j + g - 2313 = 4242, 0 = -g + 3. Is j a multiple of 6?
True
Let z(o) = 4*o**3 + 15*o**2 - o - 14. Let d(q) = q**3 - q**2 - q + 1. Let x(a) = -2*d(a) + z(a). Does 31 divide x(-7)?
True
Let k = 3277 + 289. Does 11 divide k?
False
Suppose 41*c = -68*c + 7*c + 618324. Is 14 a factor of c?
True
Let h(a) = 34*a - 5. Let m(y) = -y**2 + 67*y - 11. Let g(p) = -5*h(p) + 2*m(p). Let d be g(-18). Let q = 5 + d. Is q a multiple of 8?
True
Let l(h) = -5*h**2 + 6*h + 7. Let c(z) = -16*z**2 + 19*z + 20. Let j(d) = 2*c(d) - 7*l(d). Does 3 divide j(-5)?
False
Let j be 1/(4/(-16)) - -7. Suppose -4*u = -16, j*y - 40 = 2*y - 5*u. Is ((-55)/y)/1*-4 even?
False
Suppose -3*g - 4*d + 8969 = -5314, -4*g - 4*d = -19048. Is 25 a factor of g?
False
Let f be 4*3/36*(-18)/(-1). Is 78 a factor of 0 - ((f - 2) + -316)?
True
Let x = 489 - 489. Let v(r) = 25*r + 182. Does 6 divide v(x)?
False
Suppose -b = 9*b - 1010. Let g = b + -43. Suppose -2*t + m = -144, -2*t = -t + 3*m - g. Is 5 a factor of t?
True
Suppose 4*f - 3493 - 9443 = 0. Suppose 11*g = 5*g + f. Does 20 divide g?
False
Let t be (-3)/(((-12)/(-16))/(-1)). Suppose 21 = 4*k + 3*j + 2, 5*j = -t*k + 21. Suppose k*l - 25 - 23 = -3*z, 4*l - 48 = 5*z. Is 3 a factor of l?
True
Let n be (8 + -2 + -5)/((-1)/417). Let q = n - -753. Is q a multiple of 7?
True
Let q(a) = 390*a**3. Let o be q(1). Let s be (3/(-2))/1*(-364)/39. Suppose -9*w - o = -s*w. Is w a multiple of 13?
True
Let d(w) = w**3 - 11*w**2 + 13*w - 27. Suppose -6*f = -11 - 49. Let o be d(f). Suppose 3 = -o*q + 15, 3*a - 3*q = 123. Is a a multiple of 9?
True
Suppose 2*b - 134504 = -5*z, 80*b - 81*b + 53803 = 2*z. Is z a multiple of 10?
False
Suppose 5*u + 2*l = 7*u - 48, -l = -3. Is u a multiple of 27?
True
Suppose 16*p = 1515 + 197. Let j = 113 + p. Is j a multiple of 5?
True
Suppose -9026711 = -847*a + 11500334. Does 31 divide a?
False
Let u(s) = -s**2 - 9*s + 4. Let n be u(-9). Let d(q) = -33*q - 6 + 7 - n. Is 29 a factor of d(-2)?
False
Let g = -109 - -111. Suppose x - 2*f - 21 = 0, -5*f + 54 - 12 = g*x. Is 9 a factor of x?
False
Suppose 3*b - 296 - 142 = 0. Suppose 2*u + v + 177 = 0, -4*u = v + 146 + 203. Let i = b + u. Is 15 a factor of i?
True
Let g(o) be the second derivative of -o**5/20 - o**4/12 - o**3/2 + 17*o**2/2 - 82*o. Does 6 divide g(-5)?
True
Suppose 2*d - 3*d = 5*h + 4, 3*d - 7 = 4*h. Is (2 - d) + 50 + 270 a multiple of 11?
False
Suppose -4*v + 61 + 63 = 0. Let j = v - -47. Is j a multiple of 3?
True
Let i(r) = 3*r**3 - 32*r**2 + 52*r + 35. Is i(15) a multiple of 56?
False
Let b(t) = 91*t**3 - 26*t**2 - 26*t + 66. Does 138 divide b(6)?
True
Suppose -2*y + y - 66 = 0. Let j = 11338 - 11411. Let t = y - j. Is t even?
False
Suppose 5*i + 4*v = -130, 4*i - 5*v + 63 = -0*i. Let f be -75*(-2)/(-22) - (-4)/i. Does 12 divide 18/42 + (-837)/f?
True
Suppose -13*z = -5*z + 968. Let k = 123 + z. Suppose -2*b - 188 = -2*d - 4*b, 4*b - 186 = -k*d. Is 33 a factor of d?
False
Suppose 3*n + 2*i - 6705 = 0, 42*i + 6 = 44*i. Does 103 divide n?
False
Suppose -6*u = -5*l - u - 20695, -5*l = 2*u + 20730. Is 5 a factor of (-1)/3 - l/48?
False
Let f(u) = -2*u**3 + 27*u**2 + 9*u + 27. Let a be f(14). Let p = 191 - a. Is 9 a factor of p?
True
Suppose 0 = -4*i + b + 16162, 0 = -4*i + 28*b - 24*b + 16168. Is i a multiple of 40?
True
Let o(t) = 1989*t + 10364. Is o(5) a multiple of 101?
False
Let t(m) = 34*m**2 - 3*m + 2. Let a be t(1). Let r be 17/119 + (-26)/(-14). Let u = a + r. Is 21 a factor of u?
False
Suppose -5588 = -3*g + 4*c, -3727 = -2*g + 3*c - 2*c. Is 57 a factor of g?
False
Suppose -l = 3*s - 23624, 2*s + 5*l - 15279 - 479 = 0. Is s a multiple of 24?
False
Suppose 5*u - 3*l = -4*l - 330, -132 = 2*u + 2*l. Does 4 divide -2 + -1 + 1 - u?
True
Suppose 127*c + 44*c = 2830392. Is 40 a factor of c?
False
Let x be (-72)/21 + (25/(-7) - -4). Let n be 1 + 1/x*3. Suppose 51 = -n*b + b. Does 17 divide b?
True
Suppose -m = -3*m + 32. Suppose 3*o + m = 34. Let v(y) = 12*y - 12. Is 12 a factor of v(o)?
True
Let q(i) = i**3 - 13*i**2 + 15*i - 31. Let o be q(12). Does 22 divide o - 1/(3/(-357))?
False
Suppose 0 = 2*k + 50*l - 52*l - 8, 0 = 