 x - d. Suppose -5*t + x = -7. Suppose t*k + 5*h - 27 = 0, 0 = k + 2*h + 2*h - 16. Is k even?
True
Let q be 8*4/(48/9). Suppose 3*g = -0*g + q. Suppose g*i = 0, -3*f + 2*f + 2*i = -38. Is f a multiple of 14?
False
Does 5 divide 1610/23 - (1 - 5)?
False
Let w(p) = 18*p - 57. Is 11 a factor of w(9)?
False
Let u be -2 + (-1)/2*-8. Suppose -2*j + 260 - 84 = -4*n, -5*n = -u*j + 181. Suppose -z = 4*b - 27, -4*b - 6 = 4*z - j. Is z a multiple of 6?
False
Let d = -12 + 17. Let p = d + 17. Let m = p - 11. Does 6 divide m?
False
Suppose -3 = n - 17. Suppose 5*h - n = -4. Suppose 5*o - 33 = -3*j, 0 = 2*j - h*o - 8 - 30. Is 8 a factor of j?
True
Suppose -4*x + 4 = -8. Suppose 11 = o - 13. Suppose -t = 3*z - o, -x*z + t = -t - 33. Is 4 a factor of z?
False
Let p(c) = -21*c. Suppose -4 = b + 3*b. Is 6 a factor of p(b)?
False
Let m = -63 - -303. Is 42 a factor of m?
False
Suppose -8*h = -3*h - 45. Is (-30)/h*72/(-2) a multiple of 30?
True
Let p = 162 + -127. Is p a multiple of 7?
True
Let h = -15 + 5. Let i = 6 - h. Is 8 a factor of i?
True
Suppose 4*l - 19 = 3*l. Let p = -10 + l. Is p a multiple of 4?
False
Let d be (-6)/33 + 480/(-22). Let l = d - -46. Is 7 a factor of l?
False
Suppose -9*m = -210 - 78. Does 10 divide m?
False
Let j(l) = l**3 + 12*l**2 + 7*l - 26. Does 13 divide j(-10)?
True
Let s(b) be the third derivative of -3*b**4/8 + 3*b**2. Is s(-1) a multiple of 4?
False
Let p(q) = -1. Let w(u) = -u + 87. Let m(v) = 5*p(v) + w(v). Let t be m(0). Suppose -3*a + 16 = 3*x - 50, 2*x = 4*a - t. Is 16 a factor of a?
False
Is 12 a factor of (-6 + 3 - 18)*24/(-7)?
True
Suppose -4*l = -20, -4*l - 244 = -2*p - 0*l. Is 12 a factor of p?
True
Let v = 12 + -10. Suppose -2*m = -6, -v*a = -0*a - 3*m - 39. Is a a multiple of 12?
True
Let l be ((-40)/6)/((-14)/63). Suppose 2*h - 74 = -n, -l = -2*h + n + 40. Does 13 divide h?
False
Let q(h) = -3*h - 12. Let c = -13 + 3. Is 9 a factor of q(c)?
True
Suppose -3*y + 2*q + 12 = -2*y, -q = -5*y + 15. Let z be (-8)/16*(0 - (-1 + 1)). Suppose z*a = -y*a + 30. Is 5 a factor of a?
True
Let q = -3 - -1. Let x be (-1 - q)/(-1 + 2). Is x - 1 - (-10 + -1) a multiple of 11?
True
Suppose -80 = 4*v - 240. Is (-1*1)/((-5)/v) a multiple of 7?
False
Let d(r) be the second derivative of -r**5/20 - 7*r**4/12 + r**3 - 3*r. Does 12 divide d(-8)?
False
Let r(f) = f**3 - 5*f**2 - 6*f + 2. Let t be r(6). Suppose 3*l + 5*j = 2*l, -t*l - 5 = 5*j. Let b = 1 - l. Does 6 divide b?
True
Let i(t) = 5*t**2 - 2*t - 3. Let p(m) = 2*m + 4. Let s be p(-3). Does 14 divide i(s)?
False
Let f(r) = -r + 20. Does 19 divide f(0)?
False
Let n = 5 + 0. Let m = -7 - -12. Suppose -n*p = -4*p - z - 4, -m*p = -4*z - 18. Does 2 divide p?
True
Let j = -19 + 53. Let u = j + -6. Is 14 a factor of u?
True
Let o(d) be the first derivative of 9*d**2/2 + 2*d - 2. Is o(4) a multiple of 14?
False
Does 21 divide 253*3/9 + 8/(-24)?
True
Is 29 a factor of (-17 + 16)*3/(6/(-116))?
True
Let b(a) = a**3 - 6*a**2 + 6*a - 2. Let p be b(5). Is 11 a factor of p + 26/2*3?
False
Suppose l - 7 - 26 = 0. Is 5 a factor of l?
False
Let a be -4*1*(-2)/4. Let v(o) = -o**a + 0*o**2 + 0*o**2 + 3*o**2 - 3*o. Does 3 divide v(3)?
True
Let i be (10/(-4))/((-3)/6). Let d(w) = w**3 - 5*w**2 + 2*w + 4. Let z be d(i). Let v = -7 + z. Is v even?
False
Let y(t) = -23*t - 18. Is 13 a factor of y(-4)?
False
Suppose 6*x = 5*s + 4*x - 9, 21 = 3*s + 4*x. Let v(c) = s*c + 1 - 7*c + 23*c**2 + 6*c. Does 22 divide v(-1)?
True
Suppose -k = 3*k - 8. Suppose g = -k*g + 66. Does 22 divide g?
True
Let x = -6 + 8. Is (-9)/(-2) - 3/x a multiple of 3?
True
Let t(s) = 2*s**2 - 4*s - 12. Is 28 a factor of t(6)?
False
Is (10/(-8))/(14/(-168)) a multiple of 4?
False
Does 26 divide 107 + (0 - -4) + -7?
True
Suppose -4*b = t - 20, -2*t + 33 = 3*b + 8. Is t a multiple of 8?
True
Suppose 434 + 66 = 4*k. Is 37 a factor of k?
False
Is 3 a factor of (-174)/(-16) - 16/(-128)?
False
Suppose 0*h - 5*h = 0. Suppose h = k + k - 72. Does 12 divide k?
True
Let x(o) = o**3 - 2*o**2 + 3*o + 1. Is x(2) a multiple of 3?
False
Let f = 84 + -37. Let p = 73 + f. Suppose -c = -5*b + p, -3*c - 55 - 41 = -4*b. Is b a multiple of 7?
False
Let x be -2 + 21/(3 + 0). Suppose 5*v = -x + 20. Is v even?
False
Let n(i) = 4*i + 3. Let l be n(-2). Let f = 3 + l. Is -2 - (12 - 2)*f a multiple of 9?
True
Suppose 7 - 19 = -3*m. Suppose 2*w + 5*q = -3*w - 1185, w - m*q + 212 = 0. Does 12 divide w/(-9) + 6/27?
False
Let l(t) be the first derivative of -2*t**2 - t + 3. Let o be l(1). Let g(h) = -7*h - 5. Is 15 a factor of g(o)?
True
Suppose 2*q - 5*a - 39 - 37 = 0, 0 = 5*a. Is q a multiple of 19?
True
Suppose 3*d + q = 31, -7*q - 25 = -5*d - 2*q. Does 2 divide d?
False
Suppose -2*h + 5*y = -72, -5*h - y = -150 + 24. Let l = 49 - h. Is l a multiple of 8?
False
Let x = -17 + 82. Does 10 divide x?
False
Suppose -3*l + 50 = -4*o - 82, -4*l = 3*o - 176. Suppose 2*q = 4*q - l. Is 7 a factor of q?
False
Let i(d) = -3*d**2 + 11*d - 9. Let w be i(7). Let t = 143 + w. Let c = t + -42. Is c a multiple of 11?
True
Suppose 220 = -59*y + 64*y. Does 4 divide y?
True
Suppose h - 160 = -3*h. Suppose -3*t + h + 12 = -4*w, -4*w + 8 = 0. Is t a multiple of 10?
True
Let r(i) = 4*i**2 - 12*i + 17. Let a(p) = p**2 - 3*p + 4. Let o(j) = -9*a(j) + 2*r(j). Let y be o(2). Suppose 4*t + y*t - 52 = 0. Does 5 divide t?
False
Let p(c) = 3*c + 136. Is p(0) a multiple of 28?
False
Suppose j = 0, 4*p + j = 13 - 1. Suppose p*k - 435 = -15. Suppose -9*z + k = -4*z. Is 13 a factor of z?
False
Let m = -3 + 3. Let w be ((-3)/(-2))/((-6)/(-8)). Suppose m = w*j + 3*j - 10. Is j a multiple of 2?
True
Let b(j) be the third derivative of -j**4/24 + 5*j**3/3 + 5*j**2. Is 10 a factor of b(0)?
True
Suppose 4*s + s - 210 = 0. Does 7 divide s?
True
Let m(y) = -20*y**3 - y. Let c be m(1). Let x = c + 142. Is x a multiple of 25?
False
Let z(y) = y**3 + 7*y**2 + 3*y - 11. Is z(-6) even?
False
Suppose 0 = -4*m - 0*m + 36. Suppose 0 = -r + 2*r - m. Is 3 a factor of r?
True
Let c(o) = -o**2 + o + 14. Let f be c(10). Let y = -49 - f. Does 23 divide y?
False
Suppose h = 5*z - 178, 2*z + 2*z - 137 = -h. Let a = z - 24. Does 5 divide a?
False
Let d = -7 + 10. Suppose 4*j - 152 = -4*r, r - d*j = 2*j + 38. Does 8 divide r?
False
Let t = -32 + 54. Does 19 divide t?
False
Let l = 63 + 3. Does 11 divide l?
True
Let x be -1 + 2 - (-24 + -1). Let c = 73 - x. Let i = c + 0. Is i a multiple of 17?
False
Suppose 0 = q + 2*a - 46, 5*a + 65 = -5*q + 270. Let j = 51 - q. Does 5 divide j?
True
Let f(g) = -2*g**2 + g - 1. Let x be f(1). Let l = x - 23. Let j = l - -35. Does 10 divide j?
True
Suppose -5*h + 2*v + 303 = 0, h - 4*v - 134 = -h. Is 5 a factor of h?
False
Let g(n) = n**2 - 7*n + 4. Let f be g(6). Let q = 13 + f. Does 11 divide q?
True
Let n = 5 + 0. Suppose i - 87 = 2*u - 7*u, i = n*u - 93. Suppose 39 = 4*d + x + 2, -u = -d - 2*x. Is d a multiple of 5?
False
Let r = -1 + 3. Let g be r*2/(-4) + 5. Suppose -26 = -g*n - 6. Is n a multiple of 5?
True
Suppose -f = -2*x - 1 + 2, 5*x = 4*f - 2. Suppose -3*b + c = 3, -5*b - c - f = -2*b. Is 2 a factor of (b - -3) + (0 - 0)?
True
Suppose -4*w + 69 = 5*c - 0*w, 0 = 4*c - 5*w - 88. Suppose 3*x + 22 = q - c, 0 = -5*q + 2*x + 234. Does 14 divide q?
False
Let v be 3 + -3 + 3 - -6. Let g = v - -3. Is g a multiple of 9?
False
Let j(x) = -x**2 + 7*x + 8. Let r be j(8). Suppose r*s - 16 = -4*s. Is 2 a factor of s?
True
Suppose -5 = -o - y + 10, 2*o + 3*y - 34 = 0. Is o a multiple of 11?
True
Suppose -5*m + 59 = -2*s, -3*s - 3*m = -4*s - 30. Let c = -15 + 9. Let w = c - s. Does 14 divide w?
False
Suppose 0 = -4*p + 4*y + 940, -3*p - 945 = -7*p + 3*y. Is p a multiple of 20?
True
Let g = 41 - 5. Does 10 divide (g/15)/((-3)/(-15))?
False
Let t be (-3 + 1 - -1) + 6. Suppose -t*q + 4*v + 28 = 0, -q + 5*v - 47 = -5*q. Is q a multiple of 7?
False
Let i = -11 - -19. Is 4 a factor of i?
True
Suppose 24 = 11*p - 86. Does 10 divide p?
True
Suppose 0*t = -t + 3. Let y = t + 8. Is 5 a factor of y?
False
Let p(b) = -3*b. Let o be p(3). Let x = -1 - o. Let k(i) = 2*i + 3. Is 11 a factor of k(x)?
False
Does 11 divide 4 - (-2 - (14 + -1))?
False
Suppose 5 = w - 11. Let n = 10 + w. Suppose 0 = -5*h - 5*b + 100, 5*h + 2*b + n = 126. Does 10 divide h?
True
Let s be (-4)/2*11/(-2). Suppose -4*o + 7 = 4*f - 3*o, -