 of c(b). Is t(-2) even?
True
Let r(b) = 21 + 12*b**2 - b**3 - 15 - 5*b**2 - 7*b. Let k be r(5). Suppose -4*x = -k - 15. Is x a multiple of 4?
False
Suppose 0 = -2*o - 0*o - 18. Let l = 17 - o. Is 13 a factor of l?
True
Suppose 3*k = -5*b + 1439, -3*b + 4*k + 400 = -446. Is b a multiple of 22?
True
Let c = 33 + -20. Suppose 4*l = -w - l - 19, w = -3*l - c. Does 12 divide (24/5)/(w/(-40))?
True
Let t(c) = -18*c - 5. Suppose -n - 1 = -7. Suppose -n*w + 14*w = -32. Is 19 a factor of t(w)?
False
Let h(k) = k**3 + 10*k**2 - 10*k - 5. Let g be h(-9). Suppose g = 4*s - 122. Is s a multiple of 9?
True
Suppose -4*m - 128 = 48. Does 11 divide ((-7)/21 - 2/3)*m?
True
Let q be (-28)/(-5)*(0 - 20). Let l = -48 - q. Let o = l - 44. Does 10 divide o?
True
Suppose 0 = 2*l - 1495 + 391. Does 24 divide l?
True
Let q(x) = 1. Let f(n) = 12*n + 30. Let d(w) = -f(w) + 24*q(w). Is d(-7) a multiple of 13?
True
Does 29 divide (154 - (-4 - -9))*29?
True
Let k(o) = -4*o - 20. Let w be k(-15). Suppose 0 = -64*l + 66*l - w. Does 10 divide l?
True
Let y be (-1 + -48)*(11 + -6). Let b = -125 - y. Is 40 a factor of b?
True
Let r(s) = -s**2 - 3*s + 8. Let a be r(-7). Let n be (-190)/(-6) + (-12)/(-36). Let o = a + n. Is 2 a factor of o?
True
Suppose -5*r + 2*d = 922, -2*r - 367 = d - 0*d. Does 9 divide ((-3)/2)/(6/r)?
False
Let s(y) = y**2 - y + 7. Let k = -18 + 18. Suppose 2*z - 4*z + 6 = k. Is 10 a factor of s(z)?
False
Suppose 2*p = -6, 2*n + p = -p + 2. Suppose n*o - 4*h = -0*o + 312, 0 = -5*o + 2*h + 390. Does 22 divide o?
False
Suppose q + 7 = -m + 3, -3*q - 7 = 2*m. Suppose 2*h - 27 + q = 4*v, h = v + 8. Does 16 divide h + (-90)/(-3) - 1?
True
Let s(u) = 4*u - 2. Let m(v) = -2*v - 1. Let z be m(-1). Let i be s(z). Suppose 0 = 2*n + i*y - 54, -n + 25 + 4 = 2*y. Is n a multiple of 7?
False
Is 19 a factor of (360/3)/10*51/2?
False
Suppose -47*d = -54*d + 16464. Is 25 a factor of d?
False
Let l = 29 - 33. Let t(i) = -5*i + 20. Does 10 divide t(l)?
True
Let p = 1937 + -581. Does 19 divide p?
False
Suppose 4*q - 18 = 3*o, -q + 2*o = -1 - 6. Let y be (-2)/(-11) + 252/66. Suppose -y*r - 20 = 0, 22 + 17 = 3*n + q*r. Is n a multiple of 18?
True
Suppose 2*q = -1 + 5. Let a(n) = -q + 6 + 14*n**3 - 6 + 3. Is 10 a factor of a(1)?
False
Suppose 9*u - 4*u = -5*h - 5, 0 = 5*h - 3*u - 19. Suppose -h = -2*x + 144. Is x a multiple of 5?
False
Suppose d = 3*c - 3, -c - 2 = 4*c - 4*d. Suppose -5*p + 4*s - 17 - 133 = 0, 3*p - c*s = -90. Is 10 a factor of (-1)/((-57)/p - 2)?
True
Let z(h) = 27*h**2 - 327*h + 24. Is z(16) a multiple of 71?
True
Is 19 a factor of 65/(-390) - 914/(-12)?
True
Does 33 divide (-20161)/(-11) - 16/(-88)?
False
Let i(f) = 80*f**2 - 77*f - 493. Is 77 a factor of i(-6)?
True
Let l = 36 - 33. Suppose -40 = -l*y + 5*m, 3*m = 3*y + y - 57. Is y a multiple of 4?
False
Suppose 2*x = 5*c + 10, -13 + 3 = -3*x + 5*c. Suppose 8*n - 13*n + 240 = x. Suppose 0*f = -2*f + n. Does 11 divide f?
False
Let v be 6/18 + (-11)/(-3). Suppose t = -0*t + v*s + 27, t - 9 = -5*s. Does 9 divide t?
False
Suppose 4*t + 5*a = -3, -t - 3*a + 8*a + 18 = 0. Suppose 0 = t*h + h - 280. Is h a multiple of 35?
True
Let f(n) be the first derivative of n**3/3 + 9*n**2 + 19*n - 27. Is 9 a factor of f(-19)?
False
Is 4 a factor of 3/60*5 - 1980/(-16)?
True
Let q = 81 - 25. Let o = 135 - q. Suppose -o + 279 = 5*z. Is 13 a factor of z?
False
Suppose -12 = j + 2*d, j + d + 4*d + 21 = 0. Let h(x) = -x. Does 6 divide h(j)?
True
Suppose 0 = i - 4*i - 75. Let v be 0/(-4) + (-5 - 200/(-5)). Let b = v + i. Is 10 a factor of b?
True
Let a(w) = -5*w**2 + 6*w + 6. Let d(u) = -4*u**2 + 6*u + 6. Let n(j) = -6*a(j) + 7*d(j). Does 19 divide n(-10)?
False
Let c = 3 + -1. Suppose c*d = 6*d - 240. Let h = 108 - d. Is h a multiple of 16?
True
Let n = -69 - -168. Is 9 a factor of n?
True
Let w be -12 + (-6)/(-1 + -1). Let c be w*(-4)/12 - 1. Is c + -1 + 18 - 2 a multiple of 4?
False
Let v(o) = o**2 - 12*o - 10. Let m be v(13). Let z be m - 3 - (1 - 17). Suppose -5*a + 165 = 5*s, 0 = 3*s + a - z - 81. Is 9 a factor of s?
False
Suppose -1 = 3*y - 7. Suppose -i = -y*i - 74. Let v = i + 120. Is v a multiple of 12?
False
Suppose 5*w - w = 3*x + 44, -2*x = w + 11. Is ((-84)/x - 6/(-4)) + 0 a multiple of 12?
True
Let d = 3088 - 2145. Is d a multiple of 23?
True
Suppose 3*t - t = 8. Suppose t*z + 2 = 10. Suppose -121 = -6*b + z*b + 5*v, b + 3*v - 9 = 0. Does 8 divide b?
True
Let a(w) = 555*w - 15. Is 25 a factor of a(3)?
True
Let v = -78 - -828. Is v a multiple of 25?
True
Let r(g) = -g**3 + 5*g**2 - 3*g - 1. Let f be r(4). Let m be -1*f - (-8 + 26). Let j = m - -36. Does 15 divide j?
True
Suppose -4 = -2*u + s, 5*s = 4*u + 1 - 9. Suppose f - 105 = -u*f. Does 35 divide f?
True
Suppose -2*z - 1 = h - 2, -7 = -2*z + 5*h. Let v be 3/(-9)*(22 - z). Let n = v - -14. Is 2 a factor of n?
False
Is 9/18*(442 + 0) a multiple of 7?
False
Is 41 a factor of ((-3)/(-2))/(33/8118)?
True
Suppose -4*x + 12 = 0, y = x - 5*x + 3222. Is y a multiple of 69?
False
Let k(z) = 6*z**3 - 2*z**2 - 2*z - 1. Let s be k(-1). Let u = -6 - s. Suppose 21 - u = 4*v. Is 3 a factor of v?
False
Suppose 4*d = 4*v + 672, 0 = 5*d + 4*v - 424 - 434. Does 5 divide d?
True
Suppose -3*a + 5*a - 4 = 0. Suppose 14 = 4*l - a*l. Suppose -95 + l = -2*i. Is i a multiple of 22?
True
Let c(j) = j**2 - 5*j + 1. Let q(k) = 2*k**2 + 9*k - 12. Let h be q(-6). Let n be c(h). Let m = n - -12. Is m a multiple of 16?
False
Let x = 131 + -53. Does 11 divide x?
False
Let c(a) = -a**3 + 18*a**2 + a - 32. Is c(-5) a multiple of 61?
False
Let y = 944 + -933. Does 7 divide y?
False
Let b(w) = 10*w**3 + 16*w**2 - 20*w + 43. Let a(g) = -3*g**3 - 5*g**2 + 7*g - 14. Let x(n) = -7*a(n) - 2*b(n). Is 5 a factor of x(-5)?
False
Let h = 16 - 10. Let q(y) = 6*y**2 + y - 27. Is 45 a factor of q(h)?
False
Suppose -1 = g - 5*b - 22, -12 = -2*g + 4*b. Let a(m) = 26*m - 8. Let p(x) = x - 1. Let w(u) = -a(u) + 6*p(u). Is 25 a factor of w(g)?
False
Suppose 5*a = 5, a = -3*m + 5*a + 566. Let g = -70 + m. Is 24 a factor of g?
True
Let v(l) be the third derivative of 13*l**5/20 - l**3/6 + l**2. Let x = 85 + -84. Is 12 a factor of v(x)?
False
Let x = 103 + 19. Suppose -4*y = -138 - x. Is 13 a factor of y?
True
Let b = 89 + -77. Suppose 5*c = -5, 4*c = -2*w + 6 + b. Is 11 a factor of w?
True
Let q(t) = 4*t + 5. Let k be q(11). Let o = k - 14. Does 5 divide o?
True
Suppose 2*z - 1 = 105. Suppose -5*i + 2*o = -131 - 5, -4*o - 38 = -i. Let k = z - i. Does 9 divide k?
True
Suppose -6*d = -2*d - 456. Suppose -19 = -5*q + 6. Suppose -d = -q*s + 86. Does 20 divide s?
True
Suppose 14*h - 52 = 13*h. Is 13 a factor of h?
True
Let a(z) = 7*z**2 + 9*z + 25. Is a(7) a multiple of 21?
False
Let s(f) = -f + 3. Let d be s(0). Let h be 0 - d - (1 + -4). Suppose -2*r - 3*r + 470 = h. Does 31 divide r?
False
Let g(y) = 16*y**2 - 46*y + 138. Is g(3) a multiple of 8?
True
Suppose 5*r - 27 = 23. Let v = 13 - r. Let f(m) = 2*m**2 - 3*m - 1. Is f(v) a multiple of 4?
True
Suppose 0 = -4*b + 2*i + 10, -2*i + 4*i = 5*b - 11. Let l(h) be the first derivative of 29*h**2/2 + 1. Does 15 divide l(b)?
False
Suppose 7*z - 4*z = 3*n - 651, -12 = -4*z. Is 22 a factor of n?
True
Is 28 a factor of 183 + (-28)/21 + 14/(-3)?
False
Let q be (165/(-9))/5*-18. Is q/(-4)*(-2)/3 + 3 even?
True
Let v = -40 - -33. Let h = v - -31. Is 12 a factor of h?
True
Suppose z - 3*b - 1249 = 0, 0 = 4*z - 7*b + 3*b - 4964. Is 39 a factor of z?
False
Suppose 2*m - 2*t = -2, 2*m - 3*t + 0*t + 7 = 0. Suppose z = -0 + 3. Suppose z*c + m = 235. Is 16 a factor of c?
False
Suppose -14*q + 9*q + 920 = 0. Suppose 0 = -u + 6 - 0. Is 31 a factor of q/u - 9/(-27)?
True
Suppose 0 = 2*p - 8*p. Suppose -2*x = -2*k + 30, p = -4*k + 2*k + x + 35. Let b = 54 - k. Is b a multiple of 17?
True
Let d(l) = -l**2 + 7*l - 1. Let x be d(6). Suppose -x*h + 108 = -87. Does 13 divide h?
True
Let u = 592 + -407. Is 5 a factor of u?
True
Suppose -4 = -2*n, 0 = 4*l + 2*n - 91 + 23. Suppose l*a - 15*a = 41. Let t = 29 + a. Does 14 divide t?
True
Suppose k - 276 = 5*g, -9*k + 8*k + 4*g + 274 = 0. Is 7 a factor of k?
True
Let x(c) be the first derivative of c**3/3 - c**2 - 4*c - 14. Is x(6) a multiple of 5?
True
Let p = 65 + -38. Suppose 63 = 3*o - 0*d + 3*d, p = o - d. Is o a multiple of 6?
True
Suppose -2*r - 