+ 29. Does 5 divide d?
False
Suppose 0*n + n = 21. Suppose -3*x = -6*x + n. Does 2 divide x?
False
Let r be (6*4/(-6))/(-1). Suppose -6*k + r*k + 48 = 0. Suppose -4*w = 20, -5*w + k = 5*i - 21. Is i a multiple of 14?
True
Let t be ((-68 - -2) + -3)/(-1). Let h = t - 45. Is 3 - (-3 + (2 - h)) a multiple of 7?
True
Let l(k) = k**3 - 5*k**2 + 7*k - 6. Let y be -1 - 0 - (-7 - 4). Let q be l(y). Is 19 a factor of 3/9 - q/(-9)?
False
Let o = -2551 + 4017. Is 89 a factor of o?
False
Suppose 0 = 2*n + d - 332, 4*d = n - 66 - 91. Is n even?
False
Suppose 11 = 2*r + s, -2*r = r - s - 14. Suppose -t + r*t = 340. Does 30 divide t?
False
Let v = 5938 - 2999. Does 23 divide v?
False
Let a = -35 - 6. Let r = a - -105. Does 16 divide r?
True
Suppose -1 = -4*p - 21. Is 3487/55 + 1 + 2/p a multiple of 8?
True
Let w(j) = j**2 + 15*j + 67. Is 2 a factor of w(-6)?
False
Is 15 a factor of 5*(-1 + 2)*(32 + -5)?
True
Suppose -59 + 20 = -f - 4*n, 0 = f - 5*n - 3. Let r = 15 + f. Is 38 a factor of r?
True
Let h(z) = z**3 + 16*z**2 + 15*z + 6. Let b be h(-15). Let a = 40 + b. Is a a multiple of 23?
True
Let m = -174 + 97. Let p be (22/m)/((-1)/7). Suppose -p*t = -3*b - 125, 0 = -t - 3*b + 66 + 19. Is 35 a factor of t?
True
Let f(c) = c**3 + 41*c**2 + 53*c + 171. Is 97 a factor of f(-37)?
True
Suppose 6*k + 3 = 3*k. Suppose -2415 = 4*z - 3*b + 882, 3*z + 2478 = -3*b. Is 11 a factor of k/(-4) - z/12?
False
Let o(v) = -v**3 - 13*v**2 - 12*v. Let t be o(-12). Suppose k + t*k - 3 = 0. Suppose -k*x + 20 = -4. Is 5 a factor of x?
False
Suppose -6*s + 44 = -5*s. Let l be 0*2*2/8. Suppose l = -2*k + 4*b - 6 + s, 5*b + 10 = 0. Is k a multiple of 10?
False
Is 4 - 2*149/(-2) a multiple of 6?
False
Let n(r) = 532*r - 28. Does 28 divide n(1)?
True
Let j(v) = 7*v**2 - v + 3. Let q be j(6). Let a = q - 126. Suppose -4*x + x = 4*y - 319, -x + 2*y + a = 0. Is x a multiple of 23?
False
Let s(r) = -r + 1. Let l be s(-1). Suppose l*c = -2 + 12. Is c a multiple of 5?
True
Let c(y) = -3*y - 12. Let i be c(-6). Let t(q) = 5*q + 11. Let b be t(i). Suppose x = z - b, x = z - 5*z + 169. Is 14 a factor of z?
True
Let n = 90 + -49. Is n + -38 - (-75 + 1) a multiple of 4?
False
Suppose -9*m = 878 - 266. Let f = m - -191. Is f a multiple of 22?
False
Suppose -1412 = 3*g + g. Let v = 521 + g. Does 21 divide v?
True
Suppose -3*w + 107 = -763. Is 26 a factor of w?
False
Suppose -40545 = -82*q + 29*q. Is q a multiple of 15?
True
Suppose -2*g - 3*x + 7 = -g, 4*x = g. Let f be ((-30)/g)/((-15)/20). Suppose f = 7*b - 2*b. Is 2 a factor of b?
True
Let w(y) = 5*y**2 + 37*y + 171. Is w(-20) a multiple of 36?
False
Suppose 0 = 5*v - 2*g + 20, 5*v + 4*g - 10 = -0*v. Let k be v/((8/6)/2). Is 21 a factor of ((-16)/(-6))/(k/(-63))?
False
Suppose -n = -4*z + 667, -n + 3 = -z + 169. Does 14 divide z?
False
Let b = -7 + 17. Let m = 12 - b. Suppose -4*n = n + f - 133, 49 = m*n - f. Does 26 divide n?
True
Suppose -8 = -0*x - x. Let v = x + 19. Suppose 69 = 5*a - 2*j - v, 4*j + 66 = 3*a. Does 18 divide a?
True
Suppose 5*u + 12*s = 13*s + 18402, 5*s + 10 = 0. Is u a multiple of 16?
True
Let o = -2301 + 4069. Is o a multiple of 45?
False
Let d(j) = -j**3 + 2*j + 4. Let k be d(3). Let n be (-705)/5*2/6. Let b = k - n. Does 9 divide b?
False
Let l(t) = 5*t - 22. Let h be l(10). Suppose -24 = -2*k + h. Is k a multiple of 8?
False
Let f(d) = -19*d**3 + 2*d**2 - 1. Let g be f(-1). Suppose -2*o + 236 = g. Is o a multiple of 27?
True
Let s be (3 - 3) + (-2 - 138) + 0. Is (56/12 - 5) + s/(-6) a multiple of 9?
False
Suppose 0*f = -3*f - 2*z - 190, -2*z - 254 = 4*f. Let x = -1 - f. Does 9 divide x?
True
Is 2/36 - 285630/(-540) a multiple of 23?
True
Does 38 divide (392/6)/(((-264)/234)/(-22))?
False
Let w be -1 + (-14)/(1*-2). Let q(h) be the first derivative of 2*h**3/3 - 7*h**2/2 - h + 40. Is 11 a factor of q(w)?
False
Let z be 3/2*24/9. Suppose -n - 16 = -5*i, -2*i - 2*i - 64 = z*n. Let l = n - -48. Is 16 a factor of l?
True
Suppose -54 = -4*h - 2*h. Suppose -h*w = -4*w - 1055. Is w a multiple of 54?
False
Suppose -4*f - 3*v + 29 = 2*v, -8 = 2*f - 2*v. Is (2/f + 37)*1 a multiple of 13?
True
Let t(l) = -l**3 - l**2 - 2*l + 169. Let s be t(0). Suppose 2*f + 5*k - s = 0, -3*f + 0*k - k + 260 = 0. Is f a multiple of 29?
True
Let t = 90 - 64. Suppose 0 = f + 3*a + 2 + 23, -f - a = 17. Let s = t + f. Does 4 divide s?
False
Suppose -51*w + 90592 = -16763. Does 11 divide w?
False
Suppose -s = l - 2, -8 = -4*s + s - 2*l. Suppose -5*r + 4*r + 3 = 0, -s*n + 5*r = -161. Let t = n + -25. Is t a multiple of 19?
True
Let p(u) = 28 - u + 307*u**2 + 27 - 54. Is 51 a factor of p(1)?
False
Does 22 divide -5 + 5/(-15)*-13*57?
True
Let x(v) = -v**3 + 5*v**2 + 3*v - 7. Let f be x(5). Suppose 0*n - f = -4*n. Is 14 a factor of (1 + 52)*2/n?
False
Suppose 8*o = 237 + 539. Let z = o + -11. Is z a multiple of 12?
False
Suppose 8*i + 90 = 13*i. Is (-162)/((i/16)/((-21)/28)) a multiple of 32?
False
Suppose -5*c = 5*s - 669 - 6, 133 = s + 2*c. Suppose 4*j = -a + 301, 5*a = -0*j - 2*j + s. Is j a multiple of 27?
False
Let y = -3662 + 6722. Does 12 divide y?
True
Suppose 3*l - 5*d = 3290, d = -25*l + 30*l - 5498. Does 10 divide l?
True
Suppose 4*f - 46 = 2*f. Let z be 4/16 + f/4. Suppose -15*y - z = -16*y. Is y a multiple of 6?
True
Suppose -6*o + 16 - 4 = 0. Suppose -h + 0*u = o*u - 72, 2*h = -5*u + 147. Does 5 divide h?
False
Let h = 1235 + -641. Is h a multiple of 22?
True
Let o be (-4 + 5 - 3) + -10. Let g(q) = -2*q + 27. Does 26 divide g(o)?
False
Suppose 12*a - 3750 = 6*a. Does 32 divide a?
False
Let y(o) = -o**3 + 5*o**2 - 3*o + 4. Let c be y(5). Let m be 13/c + 6/33. Is 3 a factor of (2 - m/(-2))*2?
True
Let o(z) = 17*z**2 + z - 2. Does 8 divide o(6)?
True
Let t(q) be the second derivative of q**7/840 + 7*q**6/720 + q**5/30 + q**4/4 - 9*q. Let n(j) be the third derivative of t(j). Is 12 a factor of n(-4)?
True
Suppose 5*w + 70 = 3*y, 4*w - 2 - 23 = -3*y. Is 15 a factor of 87 - (20/(-6) - y/(-45))?
True
Let g(f) be the second derivative of -f**4/12 - 13*f**3/6 + 15*f**2/2 + 2*f. Let q be g(-14). Suppose 2*z + q = 85. Is 23 a factor of z?
False
Let r = -1 + 4. Suppose -2*v + 3 = -v. Suppose 2*d = -4*j + 56, -r*d + 3*j + 45 + v = 0. Is 5 a factor of d?
True
Suppose -f - 6*f = 0. Let m = 62 - -1. Suppose -k - 5*o + 23 = f, 0 = -3*k - 2*o + m + 19. Does 11 divide k?
False
Suppose 0 = 6*w - 5610 - 3210. Is w a multiple of 42?
True
Let h = -24 + 29. Let l(p) = 8*p - 8. Is l(h) a multiple of 4?
True
Is 4/(-16) - 78683/(-44) a multiple of 12?
True
Suppose -2*n + 27 = -7. Suppose 0 = 18*w - n*w. Suppose 61 = l - w*l. Does 18 divide l?
False
Let p(w) = -52*w**2 - 14*w - 22. Let b be p(-9). Does 6 divide b/(-338) - (-4)/(-26)?
True
Let p = 15 + 0. Does 12 divide p?
False
Let w = -348 + 453. Does 21 divide w?
True
Let g = -371 + 900. Does 23 divide g?
True
Let x(q) = 19*q**2 + 3*q - 3. Suppose 0 = -3*g + 3*f + 3, -g - 2*f - 3*f = -7. Does 14 divide x(g)?
False
Let i be (-3)/(-6) - 145/(-10). Suppose 0 = -3*x - i, -5*l + 8*l + 4*x + 11 = 0. Suppose 21 = l*m - 0*m. Is 5 a factor of m?
False
Let m(z) = -2*z - 5. Let p be m(-4). Let y = 6 - 6. Suppose 30 - 6 = x + 2*k, x - p*k - 19 = y. Does 11 divide x?
True
Let m be 2/6 + (-458)/(-3). Suppose 0 = 5*z - 142 + 562. Let b = m + z. Is b a multiple of 19?
False
Suppose 37687 = 43*c + 11586. Is c a multiple of 24?
False
Let z(x) = 18*x - 141. Does 21 divide z(9)?
True
Let l be ((-64)/(-12))/((-4)/(-6)). Is 40 a factor of 399/5 + l/40?
True
Let d(s) = s**3 - 14*s - 13*s**2 + 0 + 0 - 3 + 12. Does 4 divide d(14)?
False
Suppose -4*k + 20 = 0, 4*k = -2*c + 4*c - 380. Is c a multiple of 5?
True
Let b = -134 + 138. Suppose b*i - 167 + 17 = -y, -3*y - i = -406. Is y a multiple of 8?
False
Let p be 3/(-3) + 2 + 2. Suppose -5*k + 3*o = o - 1238, 0 = -p*k - 5*o + 718. Does 41 divide k?
True
Suppose 0 = n - 15*n + 8498. Let a = n + -429. Is a a multiple of 43?
False
Let g(k) = k**2 + 23*k + 34. Is 4 a factor of g(-26)?
True
Let u be (-3*(0 + 1))/(-1). Suppose -2*t = -4*m - 3*t + 168, 4*m + u*t = 168. Does 14 divide m?
True
Let r = -9 - -7. Let g = 65 + r. Is 7 a factor of g?
True
Suppose 2*t - 2623 = o, 2*t + 0*t = 2*o + 2626. Is 27 a factor of t?
False
Suppose -25*k + 34*k = 0. Let l(q) = q**3 - 8*q**2 + 8*q - 7. Let g be l(7). S