 Suppose 0 = -2*w - v*y + 168, -37 + 313 = 3*w - 3*y. Is w a multiple of 23?
False
Suppose -212 + 86 = -9*c. Let n(r) = r**2 - 6*r + 1. Is n(c) a multiple of 8?
False
Suppose -5*t = 2*k - 6*k + 132, 4*t - 132 = -4*k. Suppose -k + 6 = -3*x. Is x a multiple of 4?
False
Let c(j) = -j**2 + 9*j - 32. Let z be c(10). Is 22 a factor of (110/7)/((-258)/z + -6)?
True
Is (61 - 9) + 0 + 0 a multiple of 3?
False
Let r(u) = 3*u**3 - 21*u**2 - 13*u - 46. Is 12 a factor of r(12)?
False
Suppose 0 = 35*h - 27*h - 2024. Is h a multiple of 23?
True
Suppose -7*n = -0*n + 1743. Is 3/((-9)/n) - -3 a multiple of 15?
False
Let j be (4/(-16))/((-3)/60). Suppose -3*x = -l + 19, -j*l + 10 + 9 = 4*x. Does 3 divide l?
False
Is 54 a factor of 3041 - (3/9)/(2/6)?
False
Let d = 27 - 24. Is 295/d + (-30)/(-45) a multiple of 33?
True
Let t = -56 + 101. Suppose -4*i + 35 = -r - t, -r = 4. Does 5 divide i?
False
Suppose 3*h - 2*k - k + 93 = 0, 3*h - 5*k + 91 = 0. Let m = 51 + h. Does 15 divide m?
False
Let w(u) = -3*u**3 + 11*u**2 + 9*u - 2. Does 10 divide w(4)?
False
Suppose 5481 - 370 = 5*s - 4*z, -5*s = -3*z - 5107. Is 53 a factor of s?
False
Let c(x) = -x**2 - 10*x - 5. Let y be c(-9). Is (-1)/(y - (-165)/(-41)) a multiple of 22?
False
Let g = -2187 - -4958. Is g a multiple of 22?
False
Suppose -2*i - d - 12 = -0*d, d = -3*i - 17. Let p = -3 - i. Suppose -86 = -3*l + l - 3*g, -g = p*l - 78. Is l a multiple of 8?
False
Let c = -46 - -49. Suppose 0 = -5*z + 2*v + 202, -2*z - v + 199 = c*z. Is 28 a factor of z?
False
Let a be ((-6)/(-2) + -1)*1. Suppose -a*g = b + 3*b - 20, -5*b + 2*g = -34. Suppose 3*d - 18 = b. Is d a multiple of 4?
True
Suppose -5*u - 2*s + 2 = -6, -3*u - 8 = -2*s. Suppose u*i = -4*i - 96. Let z = -11 - i. Is z a multiple of 13?
True
Let b(m) = 32*m**2 - 13*m + 9. Let q(f) = -8*f**2 + 3*f - 2. Let a(o) = 2*b(o) + 9*q(o). Let z be a(-1). Let d(k) = -5*k + 20. Is 13 a factor of d(z)?
True
Let t = 30 - 23. Suppose -2*v + t = -89. Is v a multiple of 10?
False
Let m = 125 - 52. Let d = -34 + m. Is 10 a factor of d?
False
Let f be (4/(-6))/(18/(-81)). Suppose -f*h + 120 = -0. Does 11 divide h?
False
Let t(p) = p**3 - 2*p**2 - 2*p + 6. Let u be t(-3). Let s = u - -46. Suppose -5*c = -4*x + 29, -2*x + 4*c = c - s. Does 2 divide x?
False
Let d(s) be the second derivative of s**5/20 - s**4/12 - s**3/3 - 3*s**2/2 - s. Let m be d(-2). Let q(t) = -t**3 - 10*t**2 + 7*t + 14. Does 14 divide q(m)?
False
Let m(b) be the third derivative of 1/120*b**6 + b**2 - 7/24*b**4 + 5/6*b**3 + 0 + 0*b - 1/10*b**5. Does 2 divide m(7)?
False
Let f(w) = w**3 + 3*w**2 + 11*w + 9. Is f(4) a multiple of 6?
False
Suppose -59*y + 15 = -54*y. Suppose -3*i + 37 = 4*k, -k = -0*k - y*i + 2. Is k even?
False
Let k = 0 - -3. Suppose -k*c + 117 = -0*c. Is c a multiple of 13?
True
Let u be -2 + 80/4*(-156)/(-15). Suppose 3*s = -4*g + u, -13*s + 8*s = 2*g - 362. Is s a multiple of 11?
False
Let w(f) = -19*f. Let u be w(-3). Suppose -2*z - r + 38 = -u, -2*r - 186 = -4*z. Let i = z - 29. Does 6 divide i?
True
Suppose -5*w = 4 + 21. Let j be 202/10 + w/25. Suppose 24 = 2*v - 2*x + 4, 3*v - x - j = 0. Is 5 a factor of v?
True
Let s(o) = -o - 4. Suppose -3*c = i - 6, 0 = i + 2*c - 3 - 1. Let z be s(i). Let q = 2 - z. Is 3 a factor of q?
True
Let n = 218 + 192. Is n a multiple of 29?
False
Let h = 7 + 7. Let c = h + -9. Suppose -5*p + 2*n = -6, -2*n = c*p + 2*n - 18. Is 2 a factor of p?
True
Suppose -4*y + 7*y + 174 = 0. Is 28 a factor of (-1)/(-1) + (-4 + 1 - y)?
True
Is (62/5)/(1/20) even?
True
Suppose 0 = 56*n - 54*n - 504. Is n a multiple of 6?
True
Let n(t) = -4 - 1 + 14*t - 1. Let w = -707 - -710. Is 5 a factor of n(w)?
False
Let c(f) be the second derivative of f - 1/6*f**3 + 0 + 0*f**2. Is c(-4) a multiple of 2?
True
Suppose 175 = -0*b + b. Is 37 a factor of b?
False
Let w(s) = s**3 + 3*s**2 + 1. Let z be -6*-3*2/(-12). Let n be w(z). Does 36 divide 153 + -16 - 4*n?
False
Let u(r) = -60*r**3 + 3*r**2 - r + 1. Is 45 a factor of u(-2)?
True
Let r = 5477 + -3671. Is 42 a factor of r?
True
Let t = 3122 + -2134. Does 26 divide t?
True
Suppose 5*d + 18 - 3 = 0. Does 5 divide -4 + 18 + d - 1?
True
Suppose -2*z = 4*v + v - 5, -4*z + 3*v - 29 = 0. Let r = z + 9. Suppose c - 32 = 5*j, -4*c + 3*j - r*j = -170. Does 19 divide c?
False
Let t = -7 - -12. Suppose -t - 13 = 3*f. Is (-249)/(-15) - f/(-10) a multiple of 16?
True
Let h = -2814 + 4217. Does 68 divide h?
False
Suppose 0 = 4*w - 1463 + 215. Suppose m - w = -5*m. Is m a multiple of 10?
False
Let t(f) = -f - 55. Let g be t(0). Let h = g - -84. Is h a multiple of 12?
False
Suppose 3*w = 28 + 62. Suppose -18*a - w = -20*a. Is a a multiple of 13?
False
Suppose -2 = -5*h - 17, 0 = 5*w - h - 13. Suppose w*g - 71 = 2*v + 227, -4*v = -8. Suppose -4*i - 2*d = -7*d - g, 96 = 3*i + 2*d. Is 26 a factor of i?
False
Let u(y) be the second derivative of -y**3/6 + y**2/2 + y. Let c be u(-1). Is 25 a factor of (3 + (0 - c))*75?
True
Let v(j) = -j**3 - 14*j**2 - 18*j - 17. Let q be v(-11). Let z = -127 - q. Is z a multiple of 11?
True
Let z(b) = 6*b**2 + 7*b - 15. Does 20 divide z(-5)?
True
Let i be (-21)/7*7/(-3). Is 3 a factor of (i + 1)/((-9)/(-18))?
False
Suppose -5*u = 3*r - 2225, -2*r = 2*u - 5*u + 1316. Is u a multiple of 34?
True
Suppose -12*q - 4*r - 744 = -13*q, q = -3*r + 751. Is q a multiple of 31?
False
Let m(p) be the second derivative of 10*p**2 + 0 - 6*p + 1/6*p**3. Is 10 a factor of m(0)?
True
Let f be (10/(-3))/(26/(-39)). Suppose 20 = -10*z + f*z, -h = 4*z + 28. Is 8 a factor of h/(-5)*(-175)/(-14)?
False
Suppose -2 - 102 = -2*s. Suppose -5*u + s = -u. Is 4 a factor of u?
False
Let k = 29 - 26. Is 4 a factor of 1/(-3)*k*-12?
True
Let o(j) = j**3 + 18*j**2 + 46*j + 42. Does 5 divide o(-15)?
False
Let i be 10680/(-36) - (-1)/(-3). Let n = -197 - i. Is ((-6)/(-4))/(3/n) a multiple of 19?
False
Does 6 divide (5 + -7)/(-2)*56?
False
Let h = 18 - 14. Is 5 a factor of (5 - h)/((-3)/(-21))?
False
Does 36 divide 11340/(-84)*1/((-10)/48)?
True
Is 11 a factor of (30 - 85)*(-14 - 3)?
True
Let q = 1336 + -55. Does 21 divide q?
True
Suppose -5*z - 1436 - 184 = 0. Let q = z - -649. Does 23 divide q?
False
Let q = 13 + -11. Let z = -41 - q. Let s = z - -84. Is 25 a factor of s?
False
Suppose 2*g + 9 = 5*a, g - 4*g = -3*a. Let b be g + 12*20/8. Suppose b*q - 28*q = 190. Is 7 a factor of q?
False
Let q(s) = -s**2 + 2*s + 9. Let l be q(5). Is 12 a factor of 4/6 + 428/(-36)*l?
True
Let u = -44 - -52. Suppose 13*n = u*n + 120. Is n a multiple of 6?
True
Let z = 88 + -149. Let y = 13 - z. Is 20 a factor of y?
False
Let p(h) = h**3 + 2*h**2 - 4*h - 4. Let g be p(-3). Is 8 a factor of ((-60)/48)/(g/40)?
False
Suppose -10*m + 162 = -9*m. Is m a multiple of 6?
True
Suppose 0 = -4*j + i + 95, -2*j = i + 2*i - 65. Suppose -2*z = 5*v + 36, -3*z - 2*v = -j + 57. Is (-480)/(-14) + z/28 a multiple of 17?
True
Suppose 1580 = 4*q - q + 4*r, 0 = 3*r + 12. Suppose -8*i = -q - 44. Is i a multiple of 36?
True
Suppose z = 5*s + 29, 5*z - 2*s - 10 - 20 = 0. Suppose 0 = -d + n - 3*n + 16, 0 = d - z*n - 4. Is 8 a factor of d?
False
Is 3 a factor of (9 + 2 + (-11 - -5))*1?
False
Suppose 60 = a - 37. Suppose 0 = 2*s + 53 - 133. Suppose 5*w + 3*o - a = 7*o, 0 = -2*w + 2*o + s. Does 10 divide w?
False
Let h be (3*46/6)/(-1). Let q(x) = x**3 + 21*x**2 - 49*x - 24. Does 5 divide q(h)?
True
Let r(w) = w**3 + 7*w**2 + 9*w + 15. Let c = 55 - 59. Is 2 a factor of r(c)?
False
Suppose 0 = 2*g - 0 - 22. Suppose -2*c - 5*v = 10, -c = 3*v - 4 + g. Does 5 divide c?
True
Suppose 4*t - 5258 = -t - 2*u, -4*u + 3166 = 3*t. Does 14 divide t?
True
Let u(m) = 49*m - 4. Let z be u(3). Suppose -3*w = -5*w - 2*t + 142, z = 2*w + t. Suppose 0*d - 2*d + j + w = 0, 5*j = -3*d + 108. Does 18 divide d?
True
Let q = 1528 - 1474. Is q a multiple of 9?
True
Suppose 3*t = s + 555, 4*t = -4*s + 8*s + 732. Is 8 a factor of t?
False
Suppose 0 + 4 = -g. Let v(b) = b**3 + 2*b**2 - 3*b - 5. Let x be v(g). Let o = x + 33. Is 8 a factor of o?
True
Let u = 1136 - 1129. Is u a multiple of 6?
False
Let c(l) = l - 1. Let w be ((-26)/8)/((-3)/(-4) + -1). Does 2 divide c(w)?
True
Suppose 3*b + 2*v = -b + 22, 5*v = 4*b - 1. Suppose 33 = w - b*d, 4*w + 3*d = d + 78. Is 5 a factor of w?
False
Let n(g) = g**3 - g**2 - 5*g + 2. Let w be n(3). Su