or of d?
True
Let k = 32 - 19. Suppose 2*y = y + k. Does 6 divide y?
False
Let q(n) = -8*n + 2. Let i be q(5). Let j = i - -77. Does 8 divide j?
False
Let v = -29 - -55. Suppose -4 = -6*s + v. Does 3 divide s?
False
Let k(x) = -x**2 + 7*x + 4. Let u be k(7). Suppose 2 = -2*o - u*d, -4*o - 7 + 23 = -2*d. Is 18 a factor of 54/o - (0 - 0)?
True
Let w = -11 - -27. Is 3 a factor of w?
False
Is (-4 - -6) + 49 - 5 a multiple of 46?
True
Let o(d) = 9*d + 1. Let n be o(3). Is (n + 1)/(1/1) a multiple of 20?
False
Let k(g) = -2*g**2 - g + 24. Is k(0) a multiple of 21?
False
Let v(z) = 35*z - 1. Is v(2) a multiple of 23?
True
Suppose -y + 93 = -3*n + 1, 0 = -4*n + 16. Is 13 a factor of y?
True
Let s = -139 - -142. Does 3 divide s?
True
Let z = 248 + -132. Is z a multiple of 29?
True
Let h be (-4)/(-14) - (-4)/(-14). Suppose h = -2*z + 3 - 1. Let l(v) = 12*v**3 + v**2 - v + 1. Is l(z) a multiple of 13?
True
Let j be 4/3*18/4. Suppose -3*a - 2*a + 20 = 0, f + j = 3*a. Is 6 a factor of f?
True
Suppose -36 = -4*m - 2*n, -3*n = -6*m + 2*m + 36. Let k(x) = x. Let w(r) = 6*r - 7. Let s(z) = -2*k(z) + w(z). Does 10 divide s(m)?
False
Does 26 divide 231 - ((-12)/(-8))/((-1)/2)?
True
Suppose -a = 4*v - 210, 3*a - 266 = -7*v + 2*v. Does 13 divide v?
True
Suppose 3*j + 16 = 4*f + 3, -f + 1 = -3*j. Suppose -5*y + 3*m + 2 = f, -3*y - 6 = -3*m. Does 14 divide y/(-2) + (-52)/(-2)?
False
Let s = 3 + 14. Let r = -11 + s. Let z(c) = -c**2 + 8*c - 6. Is z(r) a multiple of 6?
True
Let j = -14 + 34. Suppose -x = -w + j - 76, -5*x + 2*w = -283. Does 19 divide x?
True
Let w(i) = 2*i - 2 - 14 - 3*i. Let m(d) = -2*d - 31. Let c(t) = 2*m(t) - 5*w(t). Is c(0) a multiple of 9?
True
Let x(a) = -a**2 + 7*a + 3. Let k(y) = -y. Suppose -2*q - 1 = 5. Let b(c) = q*k(c) - x(c). Does 12 divide b(7)?
False
Suppose 0 = 6*x - 2*x + 160. Let z be (-16)/x + (-12)/5. Does 4 divide (0 + z)/((-1)/2)?
True
Let j = -7 - 0. Is 12 a factor of (-268)/j + 6/(-21)?
False
Let o(t) = t**2 - 6*t - 10. Let p be o(8). Suppose 5*f = p*f + 2*x + 6, 0 = -f + x. Is 14 a factor of 38 - (f + 2 + 0)?
False
Suppose t = 2*t - 2*n - 71, -3*t = -2*n - 221. Let b = -7 + 12. Is 4 a factor of b/(t/6)*20?
True
Let t(i) be the second derivative of 5*i**3/2 + 3*i**2/2 + 3*i. Let h be t(3). Suppose -3*m + 9 = -h. Does 19 divide m?
True
Suppose h - 4 = -t + 4*t, -60 = 5*h + 5*t. Let n be (-34)/h - (-1)/(-4). Suppose -8 = -n*j + 24. Does 8 divide j?
True
Let l = 6 + -13. Let t(u) = u**3 + 7*u**2 + 2. Let i be t(l). Is (i + -4 + 1)*-29 a multiple of 12?
False
Suppose -4*k = -6*k + 148. Suppose k = 5*l - v, 3*l - 4*l + 13 = -2*v. Does 5 divide l?
True
Let z(c) = -c**3 + 3. Let r be z(0). Suppose -y + r*k + 8 = 0, 5*k - 4*k - 8 = -5*y. Is (16/20)/(y/55) a multiple of 11?
True
Suppose -7*v + 40 = -3*v. Is 10 a factor of v?
True
Let b = 6 - 4. Suppose 2*z + b*u = 4*u + 24, -u - 72 = -5*z. Is z a multiple of 15?
True
Let o be (3/2)/(3/4). Suppose -74 = -o*c - 0*c. Suppose 0*z - z = d - 18, 4*z - 3*d = c. Does 9 divide z?
False
Let l(k) = -k**3 + 3*k**2 + 2*k - 3. Suppose 3*x - 7*q = -3*q + 12, -x + 4 = -4*q. Let h be l(x). Let o = 6 - h. Does 6 divide o?
False
Let j(i) = 33*i - 3. Suppose c = 8 - 7. Is 15 a factor of j(c)?
True
Suppose y - 75 = -11. Is y a multiple of 16?
True
Suppose 0 = -15*b + 16*b - 52. Is 13 a factor of b?
True
Suppose -4*n - 3*x = -65, 2*n + n = 2*x + 53. Is n a multiple of 17?
True
Let m = 5 - 2. Suppose -m*g + 87 = 4*y, 88 = 3*g + 5*y - 2. Suppose -3*s + 38 + g = 0. Is s a multiple of 21?
True
Let n(p) = -p + 2. Let j be n(6). Let g be (-1)/4*-2*j. Does 2 divide 3*3/(-9)*g?
True
Let x = 62 + -135. Let i = 111 + x. Does 19 divide i?
True
Suppose 2*g - 42 - 56 = 0. Does 11 divide g?
False
Suppose 0 = 22*s - 24*s + 208. Is s a multiple of 7?
False
Let t(i) = i**2 - 5*i + 2. Let h be t(5). Is 9 a factor of 1/1*(h + 15)?
False
Let f = -7 + 13. Suppose -5*l = 2*x - 28, -x + 1 = -l - f. Suppose d = 5 + x. Does 7 divide d?
True
Let a = 6 + 9. Is a a multiple of 4?
False
Let t = -1 + 4. Let a be 3 - 1/(t/3). Let v = 16 + a. Is v a multiple of 18?
True
Let o = 18 + -11. Is 5 a factor of (2/(-4))/(o/(-210))?
True
Let q(i) = i**2 - 5*i + 9. Let c be (1/1)/((-1)/(-7)). Let h be q(c). Suppose 2*r - 21 = h. Is 11 a factor of r?
True
Suppose y = -0*y + 5. Suppose -j = -h + 10, -y*j + 3*h - 54 = -0*j. Does 3 divide ((-9)/(-4))/(j/(-32))?
True
Suppose -1 = -2*z + 3. Let c = z - -33. Suppose c = 5*b - 15. Is 5 a factor of b?
True
Let m = 0 - 1. Let v be -1 + 6*(m - -4). Suppose 88 = 5*s - v. Is s a multiple of 14?
False
Let o be -2 + 7 + (-8)/4. Let y be (-1 - o) + 21/7. Is 9 a factor of -6*6/4*y?
True
Let o be -132*(-1 + -1)/4. Suppose 5*z - 3*r = -158, o = -2*z + 2*r + 2. Let i = -14 - z. Is 6 a factor of i?
False
Let o(m) = m**3 - 8*m**2 - 3*m + 5. Let j(t) = t**3 - 7*t**2 - 4*t + 4. Let x(z) = -3*j(z) + 4*o(z). Is x(11) a multiple of 4?
True
Let z(u) = u**3 + 2*u**2 - 2*u + 1. Suppose 5*x - 15 = 5*y, x + 2*y - 5 = 5*y. Let o = x - 1. Is z(o) a multiple of 2?
True
Is 43 a factor of (408/2)/4 + 3?
False
Let o = 7 + -1. Suppose y - o = -y. Suppose 4*b - 28 = -q, -1 - y = -b. Is 11 a factor of q?
False
Suppose -4*s = -5*k + 51, 3*k = 5*k - 5*s - 34. Is k even?
False
Suppose 0 = -5*g + 106 + 304. Let h = g + -58. Does 12 divide h?
True
Let o be (-2)/(1*2/(-2)). Let l = 95 + -62. Suppose -o*q + 29 + 26 = 5*p, 4*q - l = -3*p. Is p a multiple of 4?
False
Suppose -b + 363 = 4*m, -4*m + 480 = m - 4*b. Is 46 a factor of m?
True
Suppose 2*j - 1 = -9. Does 6 divide -3 + 17 + 2 + j?
True
Is (-6)/(2 + 52/(-24)) a multiple of 12?
True
Let v = 90 - 20. Suppose 2*i - v = -3*i. Is i a multiple of 9?
False
Let y = -30 - 7. Let t be 9 - (-3 + 6 - 2). Let q = t - y. Does 17 divide q?
False
Suppose 5*m + 225 = 5*k, -4*m + 172 = 4*k - 0*m. Suppose -3*w + 2*s = -4, -5*s + 57 - 17 = 5*w. Is 23 a factor of w/6*3 + k?
True
Let q(s) = 20 - 20 + 3*s. Is q(4) a multiple of 6?
True
Let o = -83 - -48. Is (-2 + 1)*(o - 4) a multiple of 13?
True
Let q(b) = -b**2 - 10*b. Let l be q(-6). Let v(s) = -s**3 - s**2 + s + 4. Let a be v(0). Suppose -a*p = -6*p + l. Is 9 a factor of p?
False
Let t(r) = r**2 - r - 1. Let k = -16 + 12. Does 12 divide t(k)?
False
Suppose -b - 1 + 0 = 0. Let t = 29 + b. Does 14 divide t?
True
Suppose 4*x + 119 = 3*v, -2*x + 127 = 3*v - 4*x. Suppose 4*r - 5*i = v, -i + 6*i = 2*r - 35. Let k = 2 + r. Is k a multiple of 7?
True
Let a(f) = 2*f**2 - 2*f + 5. Let u be a(-7). Let v = u - 80. Is 20 a factor of v?
False
Suppose -188 = -l - 3*l - 3*g, 5*l + g - 246 = 0. Let t = -1 - -4. Suppose -t*o + l = 2*o. Is 3 a factor of o?
False
Let y(p) be the first derivative of -p**4/4 + 7*p**3/3 - p**2/2 - 4. Does 17 divide y(6)?
False
Suppose 3*s - 113 - 113 = 4*w, 4*s + 5*w - 260 = 0. Is s a multiple of 14?
True
Let q = 20 - 14. Let g(d) = d**3 - 3*d**2 - 4*d + 6. Let x be g(q). Suppose 5*o = -0*o + x. Is 9 a factor of o?
True
Let t(a) = a**3 - 10*a**2 - 28*a - 31. Does 11 divide t(13)?
False
Suppose -w + 0 + 6 = 0. Suppose -w*s = -2*s - 208. Is s a multiple of 13?
True
Suppose 252 = -2*a + 5*a. Suppose -5*w = -3*w - a. Let o = w + -10. Is o a multiple of 16?
True
Suppose 0 = -4*k - 12 - 12. Let l = k + 18. Is l a multiple of 4?
True
Let q(g) = g**2 + 10*g + 9. Let c be q(-9). Let v be (6 - c)*20/8. Let d = -2 + v. Is d a multiple of 7?
False
Suppose 2*h = -2*h - 8. Let s be -2 - (2 + (-4)/h). Let b = s - -12. Does 3 divide b?
True
Let l be (-184)/(-48) - 2/(-12). Suppose -3*k = -4*b - l*k + 332, 2*b + 3*k = 156. Is b a multiple of 28?
True
Let p(a) = 18*a**2 + 3*a - 2. Is 7 a factor of p(1)?
False
Suppose 3*u + u - 3*x - 35 = 0, -u - 4*x = 15. Suppose -u*d = -62 + 7. Is 6 a factor of d?
False
Let h(j) = 2*j**3 - 4*j**2 + 7*j - 14. Is h(4) a multiple of 26?
True
Suppose 0 = -5*j + 3 + 7. Let v be (0 + j)*(-2)/2. Let i = 27 + v. Is i a multiple of 8?
False
Let g(b) = -b**3 + 10*b**2 - 3*b - 27. Is g(8) a multiple of 4?
False
Suppose 0*q + 36 = 2*b - 2*q, 5*q - 48 = -b. Is b a multiple of 8?
False
Suppose -5*p - 11 = -2*h, -3*h + 0*p - 4*p + 5 = 0. Let v(z) = -z**3 + 2*z**2 - z + 2. Let n be v(2). Suppose n*y = -h*y + 60. Is y a multiple of 10?
True
Suppose 0 = 7*i - 47 - 51. Is i a multiple of 7?
True
Let f = -5 + 1. Let d be 113/4 - f/(-16). Suppos