5*u = 250, -m*c - c = -4*u - 286. Is c a multiple of 18?
True
Let s be 1/(-2) - 2/(-4). Suppose s = 2*p + 3*d - d, 5*d = -2*p - 6. Suppose p*n = -5*u + 74, 6*n - 4*n - 4*u - 74 = 0. Is n a multiple of 13?
False
Let k be 1/(((-3)/4)/(-3)). Let x = -5 + k. Let w(r) = -23*r + 1. Is w(x) a multiple of 12?
True
Let p = -33 - -110. Does 7 divide p?
True
Suppose w + 2*h = 33, -2*w - 5*h = -31 - 34. Let y(o) = o**3 - 2*o**2 + 2*o. Let a be y(2). Suppose -9 + a = -n, 2*z + 3*n - w = 0. Is 10 a factor of z?
True
Let n be (-4)/10 - (-387)/(-45). Let v(g) = -g**3 - 10*g**2 - 11*g - 9. Is v(n) a multiple of 3?
True
Let b(d) = -d + 7. Let p(q) = 3*q - 20. Let l(c) = 11*b(c) + 4*p(c). Let i(r) = r**3 - 3*r**2 + 2*r + 2. Let j be i(3). Is l(j) a multiple of 3?
False
Suppose 3*d - 155 = 64. Does 13 divide d?
False
Let f(b) = -b - 1. Let k(m) = 8*m + 9. Let d(r) = -f(r) + k(r). Is 14 a factor of d(5)?
False
Let i = -7 + 7. Does 5 divide (-8 - -5) + (i - -22)?
False
Let o(m) = m**3 + 29. Suppose 3*j = -2*j + 5*s, -5*s = -3*j. Does 11 divide o(j)?
False
Suppose -4*m + 2*m = 0. Suppose -k - k + 22 = m. Is k a multiple of 11?
True
Let m = -18 + 23. Is 4 a factor of m?
False
Let r(t) = -t - 9. Let i be r(-10). Suppose 3*k - 37 = -i. Does 4 divide k?
True
Does 8 divide -7*2*(4 + (-6 - 0))?
False
Let r = -109 + 167. Does 23 divide 2*(r/4 + -3)?
True
Suppose -3*m + 188 = -5*g - 11, -2*m + 138 = -2*g. Is 4 a factor of m?
False
Suppose 25*u - 20*u = 390. Is 26 a factor of u?
True
Let r = -25 - -53. Is 14 a factor of r?
True
Suppose -u + 0*u = 0. Let h(f) = -f + 24 - f + f. Is 12 a factor of h(u)?
True
Let m = -37 - -83. Is 7 a factor of m?
False
Is 3 a factor of (-5)/5 - 8/(-2)?
True
Let s be 3 - (-1 + 0 + -1). Suppose 0*t = s*t - 235. Is 12 a factor of t?
False
Suppose 0 = 3*i + k - 311, 2*i + 0*i + 3*k - 198 = 0. Is i a multiple of 35?
True
Is 13 a factor of -13*(-7)/(35/20)?
True
Suppose t - 33 = -4*j + 2*j, 2*j = t + 39. Is j a multiple of 18?
True
Does 13 divide ((-1)/(1/(-182)))/(-1 - -3)?
True
Suppose -3*g - 143 + 32 = 0. Suppose 4*z - 97 = 8*z - i, -z = -3*i + 16. Let k = z - g. Is k a multiple of 12?
True
Let u be 7/(-2) + (-3)/(-6). Is (u/(-3))/(-1)*-29 a multiple of 12?
False
Let x be 1/(-1) + 9 + 147. Let n = x - 105. Is 18 a factor of n?
False
Let b(n) = n**3 + 6*n**2 + 7*n + 5. Let m be b(-4). Is 3/m - (-105)/9 a multiple of 4?
True
Let n(j) = -j**2 + 0*j**2 + 2 + 3 - 6*j. Let u be n(-7). Is 6 a factor of (3 - 14)*(u + 1)?
False
Suppose 0 = 2*v + 3 - 187. Is 22 a factor of v?
False
Suppose 5*c - 61 - 34 = 2*x, -5*c + x = -100. Does 4 divide c?
False
Suppose 4*n - 5 = 11, -5*n = 3*v - 47. Is 2 a factor of v?
False
Let t = 4 - 6. Let w = t + 6. Suppose -w*y + 5 + 11 = 0. Is y a multiple of 4?
True
Let y(f) = -f**3 - 7*f**2 + 10*f + 8. Let u be y(-8). Let w = u - -30. Does 9 divide w?
False
Let w = 3 - -4. Let h(o) = o + w*o - 2*o. Is h(3) a multiple of 13?
False
Let c be (36/(-3))/4 + 5. Suppose -2*o - c*o + 120 = 0. Does 10 divide o?
True
Suppose 2 = 5*a - 18. Suppose -a*q - 10 + 50 = 0. Is q a multiple of 7?
False
Suppose 0 = -4*v - 0*o - 3*o + 26, -3*o = v - 11. Suppose -47 = -v*j + 33. Does 14 divide j?
False
Suppose -3*q = q - 16. Is 13 a factor of 32 + q*(-3)/(-6)?
False
Suppose -m + 29 = 3*l, 4 - 56 = -5*l + 2*m. Does 5 divide l?
True
Suppose -76 = -0*c - 2*c. Does 23 divide c?
False
Suppose 0 = 2*r + 3*m - 137, -r = -5*m - 72 - 29. Is 38 a factor of r?
True
Let a = 13 + -73. Let m be (-5)/(-10)*1 + 346/4. Let l = a + m. Does 9 divide l?
True
Let v(t) = -4 - 3*t - 1 + t. Let d be 33/(-4) - (44/16 - 3). Does 11 divide v(d)?
True
Suppose 0 = 4*c + 16, -c + 12 = 3*t - 4*c. Suppose 6*f - 3*f - 186 = t. Is f a multiple of 23?
False
Suppose 3*f - 98 = -c, f + 4 = 3*f. Does 11 divide c?
False
Let a be (-4)/(-18) - 16/(-9). Suppose 2*c = 5*b - 7, -2*b + 10 = 3*c - a*c. Is b/12 + 39/4 a multiple of 6?
False
Suppose -o + 14 = -0*p - 2*p, -3*o + 14 = p. Suppose -o*l + 5*l = -30. Is l a multiple of 15?
True
Suppose -2*a - 67 = -75. Let t = 346 - 170. Suppose -8*z + t = -a*z. Is z a multiple of 13?
False
Suppose 0 = 4*u + 4*l - 20, -4*l + 12 = -8. Suppose u*j = -j + 5. Suppose -j*v + 100 = -0*v. Is 15 a factor of v?
False
Suppose 2*f = -o - 4, -6 = 4*o + 7*f - 4*f. Let m be 0 + (o - (-9 + -1)). Suppose -35 = -3*v + m. Is 6 a factor of v?
False
Let w(q) = q**2 - 13. Is w(-8) a multiple of 3?
True
Is 14 a factor of 11/3*(22 - 1)?
False
Suppose -k + 2*k = -2*x + 6, -18 = -3*k - 3*x. Let b = -3 + k. Suppose -b*y = -2*y - 2*n - 14, -4*n - 6 = -y. Is y a multiple of 22?
True
Let b = -86 + 257. Is 19 a factor of b?
True
Let x(q) = q**2 + 2*q - 8. Is x(-7) a multiple of 22?
False
Suppose 0*i - 120 = -5*i. Does 7 divide i?
False
Suppose 4*r + 2*f - 86 = 0, -2*r + 0*r + 28 = -2*f. Suppose 4*j - 5 = r. Suppose -30 = -5*s - 5*w, 2*s = w - 0*w + j. Is s a multiple of 4?
True
Let t = 17 + -10. Is t a multiple of 5?
False
Let k(t) be the second derivative of -t**4/12 - 4*t**3/3 - 2*t**2 + 2*t. Let d be k(-6). Let p = 20 - d. Is 6 a factor of p?
True
Suppose 3*q - 110 = -5*p, 8*q = 3*q - 3*p + 178. Does 12 divide q?
False
Let z = 123 - 73. Is z even?
True
Suppose 0 = -5*r + r + 240. Does 30 divide r?
True
Let b(w) = -w. Let q be b(-4). Suppose 0 = -q*s + 87 + 25. Is 11 a factor of s?
False
Let n = 11 + 37. Let g = -24 + n. Is 12 a factor of g?
True
Let b(g) be the first derivative of g**4/4 - 8*g**3/3 + 9*g**2/2 - g + 1. Let o(z) = z**2 - 2*z - 1. Let c be o(4). Is 7 a factor of b(c)?
False
Suppose -3 = 4*v - 339. Is v a multiple of 21?
True
Let f be -1*((-1 - 2) + 2). Let s = 2 - f. Is 2*((-66)/(-4))/s a multiple of 14?
False
Let o(q) = -3*q + 3. Let a(l) = l**3 - l**2 - 3*l - 3. Let t be a(-2). Is 15 a factor of o(t)?
True
Let d = 22 + 13. Does 7 divide d?
True
Let d = -15 - -37. Is 6 a factor of d?
False
Let d be ((-1)/(-3))/(3/(-9)). Let f be (-6)/8 - d/(-4). Is 8 a factor of -5*(26/(-10) - f)?
True
Let s = 236 - 129. Is s a multiple of 12?
False
Let q(z) = -23*z - 5. Let f be q(-6). Let y = 196 - f. Is 21 a factor of y?
True
Is 116/(12/3) + 0 a multiple of 17?
False
Suppose q + 9 = v, q + 2 = 2*v - 14. Let z = v + 37. Does 13 divide z?
False
Suppose v + 5*b + 5 + 8 = 0, 0 = -3*b - 9. Suppose 5*g + a = -39 - 9, -8 = -4*a. Let f = v - g. Is f a multiple of 6?
True
Let d = -28 - -36. Let l(r) = r**3 - 6*r**2 - 9*r + 17. Does 13 divide l(d)?
False
Suppose 16*m = 11*m - 40. Is 12 a factor of m/20 + 644/10?
False
Let h be (-84)/(-15) + 3/(-5). Suppose -h*o + 11 = -264. Is 11 a factor of o?
True
Let f = 39 + 93. Is 22 a factor of f?
True
Let l(j) = j**3 + j**2 - 1. Let d(s) = -2*s**2 - s + 3. Let z(o) = d(o) - l(o). Let n(g) = g**2 - 7*g - 11. Let v be n(8). Is z(v) a multiple of 7?
True
Let j(a) = a**2 + 12*a + 14. Is j(-13) a multiple of 9?
True
Suppose -q + 2 = -1. Suppose q*z - 20 - 10 = 0. Let g = 23 - z. Does 12 divide g?
False
Is 18 a factor of (0 + (-24)/(-5))/(1/5)?
False
Let d(r) = -r**2 - 7*r - 2. Let n be d(-6). Let i(t) = t**3 - 3*t**2 + 2*t + 5. Does 14 divide i(n)?
False
Let t(n) = n**2 - n + 1. Is 7 a factor of t(-2)?
True
Let m(d) = 4*d + 4. Is m(8) a multiple of 6?
True
Let a(g) = 14*g + 10. Does 43 divide a(7)?
False
Suppose r = -8*z + 3*z + 6, 2*r = 3*z - 14. Suppose -6 = -z*d, -5*i - 2*d = -0*d - 36. Is i a multiple of 3?
True
Let p be (1 - 0)*5/5. Let c be -1 - -57 - p - 0. Suppose 0*o + c = 5*o. Is 4 a factor of o?
False
Let c(g) = 3*g**2 + 4*g - 2. Let y(j) = 2*j**2 + 3*j - 1. Let a(b) = 3*c(b) - 4*y(b). Is a(-3) a multiple of 6?
False
Let w(b) = -b + 7. Let y be w(5). Is (1 + y)*(-5)/(-3) a multiple of 5?
True
Let b = -6 + 11. Suppose -m - a = -b*m + 11, a + 7 = 2*m. Suppose -m*x = -8, 0 = -3*y + 2*y - 2*x + 14. Is 6 a factor of y?
True
Does 11 divide (8 - 7) + (3 + -1)*5?
True
Let y(d) = 2*d + d**2 + 6 + 1 + 4*d. Let m be y(-5). Suppose -m = -2*j + 6. Is j a multiple of 2?
True
Let w(p) be the first derivative of -p**2/2 + 6*p + 1. Let j be w(3). Let g = j - -2. Is 2 a factor of g?
False
Let r be (0 - 1)*(-9 - -10). Let s be ((-120)/(2 + 1))/r. Suppose -5*f - 3*g = -114, 3*f - 4*g - 120 = -s. Does 8 divide f?
True
Suppose 2*c + 6 = 5*c. Suppose 5*r = -p + 2*p - 28, c*p = r + 38. Suppose -3*d + 0*f + 51 = 3*f, -d - 2*f = -p. Does 14 divide d?
False
Let 