 Let n be v(-6). Let t be (8/n)/((-4)/(-170)). Let g = t - -114. Is g a multiple of 23?
True
Let y = 61 + -105. Is 11 a factor of (-18)/4*y/6?
True
Suppose 6*z - 430 = z. Does 15 divide z?
False
Suppose -6*v = 4*v - 620. Is v a multiple of 6?
False
Suppose d = -d + 10. Does 4 divide d?
False
Let o(s) = 2*s**3 - 4*s**2 + 3*s + 2. Does 4 divide o(3)?
False
Let q(h) = 2*h**3 - 2*h**2 - h. Let l be q(-1). Let b be (l + 2 - 1)*-2. Suppose -b*v = y - 3*y - 34, -5*v = 4*y - 23. Is v a multiple of 7?
True
Suppose 61 = a - 2*i, 8*a + 4*i - 319 = 3*a. Is a a multiple of 21?
True
Let i be -3 - (-3 + (-11 - 4)). Let a = 4 + i. Does 19 divide a?
True
Let c = 51 - 27. Is c a multiple of 6?
True
Let z be 45 - (0/2 + -2). Let q = -26 + z. Does 15 divide q?
False
Suppose -q = -0*q - 31. Let j = -20 + q. Suppose 1 + j = 4*m. Is m even?
False
Suppose -364 = -0*a - 4*a. Is a a multiple of 13?
True
Let k(o) = o - 3. Is k(12) a multiple of 7?
False
Suppose -2*r + 147 = -3*f + 2, -r + 95 = 3*f. Is r a multiple of 9?
False
Let i = -6 + 8. Suppose -i*t - t = -12. Suppose -t*j = -2*g - 100, -g - 2 = -0. Is 10 a factor of j?
False
Let l(z) = -z - 1. Let t(k) = 2*k + 6. Let q(m) = 5*l(m) + t(m). Does 5 divide q(-4)?
False
Suppose 4*i + 2*m = 14, 3 = 3*i - m + 5*m. Does 2 divide i?
False
Let c(s) = s - 17. Let t(f) = 1. Let b(o) = -c(o) - 4*t(o). Does 11 divide b(-9)?
True
Suppose 4*q = -0*q + 228. Is 19 a factor of q?
True
Let m = -17 - -11. Let l = 4 + m. Let j = l - -6. Does 4 divide j?
True
Let z = -12 + 14. Suppose -12 = -3*l, -3*o = -z*o + l - 28. Does 12 divide o?
True
Suppose 10*h - 1594 - 226 = 0. Is 12 a factor of h?
False
Let z = 154 + -15. Is 17 a factor of z?
False
Does 13 divide (-201)/(-7) - (-6)/21?
False
Suppose 2*z + 16 = 6*z. Does 13 divide 11 - z/(0 + -2)?
True
Suppose l + 3*l + 24 = -m, -5*m = -20. Let p = l - -7. Suppose -x + 3*s = -15, p = -4*x - 5*s + 40 + 88. Is 18 a factor of x?
False
Let p be 8*(0 + 2)/(-4). Does 10 divide (-150)/p + (-9)/6?
False
Let i = -1 - -3. Let d be (-4 + 3)/3*-18. Suppose 3*k = i*k + d. Does 3 divide k?
True
Let z(m) = 9*m**3 - 2*m + 1. Let r be z(1). Let d(u) = -2*u + 4. Let k be d(-6). Suppose 44 = 2*x - 5*a + r, x - 2*a = k. Does 4 divide x?
True
Suppose 15 = 3*g - 3*m, -4*g - 4*m = -10 - 2. Suppose -3*z = -g*z + 39. Is z a multiple of 13?
True
Suppose 5*a + 4*h + 5 = 0, 3*h = 5*h. Let b be a/2*2*-3. Is 5 a factor of (1*-1)/(b/(-15))?
True
Suppose 0*o = 2*o. Suppose -2*t - 2*t + 184 = o. Is 27 a factor of t?
False
Let j(w) = -9*w**2 + w. Let u be j(1). Let v be 56/10 + u/(-20). Does 5 divide (v/(-9))/((-1)/15)?
True
Let m(g) = -g - 1. Let u(w) = 2*w**2 - 2*w - 7. Let c(r) = -5*m(r) + u(r). Is c(2) a multiple of 12?
True
Let m = 56 - 33. Suppose -4*z + 2*l - l = -49, -2*z + m = -l. Does 8 divide z?
False
Suppose 3*c + 3*y - 4*y = 15, -3*c = y - 9. Suppose 2*d + 94 = -c*t, -d - 25 = 3*t - 2*t. Let l = -5 - t. Does 17 divide l?
True
Suppose -4*u - 29 = -5*j + 132, 2*u - 5*j = -93. Let v = u - -88. Does 16 divide v?
False
Let u(h) = -h**3 + 18*h**2 + 25*h + 4. Is u(19) a multiple of 16?
False
Let k = 35 - -55. Is k a multiple of 13?
False
Suppose -l = -4*j + 4*l + 30, -5*j + 23 = l. Suppose f = 6*f - 20. Suppose z - j*z = -v - 152, 2*v = -f*z + 152. Is z a multiple of 11?
False
Let f be -6*(0 + 9/6). Let p = f - -19. Does 4 divide p?
False
Let x(p) = 19*p**2 - p + 1. Let s be x(1). Suppose 0*f - s = -f. Does 11 divide f?
False
Suppose -o = -2*n - 124, -2*o + 6*o = -2*n + 536. Does 11 divide o?
True
Let k(f) = 8*f - 12. Suppose -18 = -5*c + 2*c. Is k(c) a multiple of 12?
True
Let o(b) be the first derivative of -b**2/2 + 5*b + 2. Let t be o(6). Does 13 divide 2/(t*2/(-26))?
True
Let y(h) = -h**2 - 10*h - 1. Is 10 a factor of y(-8)?
False
Let b(s) = -s**3 - 3*s**2 - 4*s + 1. Let j be b(-3). Let p = 31 - j. Is 9 a factor of p?
True
Suppose 5*n + 1 = 91. Does 6 divide n?
True
Does 23 divide 16/20 - (-401)/5?
False
Let s(j) = -j**3 - 6*j**2 + 5*j + 10. Let v = 7 + -5. Suppose v*c - 4*n = -18, 2*n - 24 = 4*c + 6*n. Does 12 divide s(c)?
True
Let j be (2/1 - 6)*-1. Suppose j*b + 0 = 28. Is b even?
False
Suppose 4*r - 1 + 5 = 0. Does 16 divide (-4)/(-6)*(23 - r)?
True
Suppose 0 = 3*d - 8 - 1. Suppose -c + 3*k = -6*c + 4, -d*c - 12 = -3*k. Is (-2)/(6/(-9)) - c a multiple of 2?
True
Let q = 325 + -226. Is q a multiple of 11?
True
Let g(h) = -h + 2. Let m be g(-3). Suppose -m*p + 15 = i + 4*i, -5*p = 5. Suppose -i*c = -t - 22, -3*c + 34 = 2*c + 2*t. Is 3 a factor of c?
True
Suppose 0 = 2*f + 2*f + 20. Let a(t) = -3*t + 1. Is a(f) a multiple of 5?
False
Suppose 0 = -2*b + 5*b - 84. Is b a multiple of 3?
False
Suppose -5 = 2*r - r. Let t(k) = k**2 - 5*k - 11. Is 13 a factor of t(r)?
True
Let t = -30 + 18. Let v = 31 + t. Does 12 divide v?
False
Let v be (0 - -5)*9/9. Suppose v = -5*y + 65. Is 7 a factor of y?
False
Let y = 4 - -5. Suppose -r = 2*r + y, 2*g + 2*r = 2. Suppose -4*w = g*c - 44, -3*c + 23 = -4*w - 45. Is 16 a factor of c?
True
Suppose 5*l - 3*m = m - 46, 5*m - 26 = l. Let g be (-8)/(2 + l + 2). Suppose q - 54 = -2*a, -g*q = -2*q. Does 12 divide a?
False
Let z = -50 + 63. Does 4 divide z?
False
Suppose 573 = 4*p - 227. Let q be 2*-1 + (7 - -3). Suppose q*i - 4*i = 4*x + 164, 4*i = -5*x + p. Is i a multiple of 13?
False
Let w = -64 - -82. Is w a multiple of 3?
True
Let c(j) = -6*j - 6. Suppose 0*n + 40 = -5*n. Is c(n) a multiple of 11?
False
Suppose 0 = -18*h + 16*h + 308. Is 21 a factor of h?
False
Let z = 5 + -4. Let c(i) = 23*i - 1. Is 22 a factor of c(z)?
True
Let r(p) = p - 5. Let o be r(5). Suppose 6*i - i - 130 = o. Is i a multiple of 13?
True
Suppose 4*i - 30 = -i. Is 5 a factor of i?
False
Let r(q) = q**2 - q + 27. Does 5 divide r(0)?
False
Suppose o = 4*o - 72. Is o even?
True
Suppose 0 = 3*j - 79 - 71. Is 10 a factor of j?
True
Suppose 108 = -16*u + 17*u. Does 6 divide u?
True
Suppose 0 = 6*g - 86 - 16. Does 2 divide g?
False
Suppose -f - m = 0, -2*m + 5 + 1 = 5*f. Suppose -3*r + r + 96 = -4*t, 28 = r + f*t. Does 10 divide r?
False
Let i(p) = p**3 - 7*p**2 - p + 7. Let y be i(7). Suppose 0*x + 3*x = y. Suppose x = 5*a - 57 - 8. Is a a multiple of 13?
True
Let i be ((-2)/4)/((-7)/(-84)). Does 14 divide (-9)/((-4)/((-128)/i))?
False
Suppose 5*h = x - 0*h + 24, 4*x + 4*h = 24. Suppose c = x + 39. Does 20 divide c?
True
Suppose -2*x + 4*x + 6 = 0. Does 4 divide 5 + 6/x*-1?
False
Let g(b) = 2*b**2 - b - 4. Suppose -n + 3*c = 16, 20 = 2*c + 2*c. Let y(r) = -3*r**2 + r + 1. Let w be y(n). Does 17 divide g(w)?
True
Let p = 7 + -5. Suppose -p*x + 12 = -2. Is x a multiple of 5?
False
Let s = -14 + 27. Let j(f) = -f**3 + 3*f**2 - 2*f + 1. Let q be j(2). Let b = q + s. Is b a multiple of 14?
True
Let g be (-2)/9 + (-272)/(-9). Suppose x - g = 20. Let r = 88 - x. Is 19 a factor of r?
True
Let i = -36 + 15. Is -1 + 1 - 3 - i a multiple of 18?
True
Let x(r) = 14*r - 4. Suppose 6*h - 3*s - 3 = 5*h, 0 = h - 4*s - 3. Is x(h) a multiple of 19?
True
Let d = -8 + 8. Let n = 2 - d. Suppose -n*f + 33 = f. Does 11 divide f?
True
Let o = 36 - 29. Is 7 a factor of o?
True
Let r be (-8)/4 - (-88 + -1). Suppose l - r = -g, 24 - 377 = -4*l - 3*g. Does 24 divide l?
False
Let a = 25 - 17. Let s = 34 - a. Is 17 a factor of s?
False
Does 5 divide (-4)/6 + 102/18?
True
Suppose 4*k + 13 = -5*s - 237, -245 = 5*s + 3*k. Does 4 divide s/(-4) - 1/(-2)?
True
Let a be 42/4*(-60)/(-18). Let u = a - 11. Is u a multiple of 5?
False
Suppose -19*p + 14 = -18*p. Does 7 divide p?
True
Does 22 divide (-11)/1*(-50)/5 + 0?
True
Let j(w) = -w**3 - 6*w**2 - 8*w - 13. Does 35 divide j(-6)?
True
Let o(t) = t**3 + 11*t**2 - t + 7. Let m be o(-11). Suppose m = -5*i + 2*i. Is (-97)/(-11) + i/(-33) a multiple of 4?
False
Let l(o) = -o - 6. Let x be l(-10). Is 17*-2*(-6)/x a multiple of 9?
False
Let s = 2 - -27. Let g(n) = -n**2 - 3*n + 5. Let x be g(-4). Suppose -s = -2*w + x. Does 10 divide w?
False
Suppose -2*b = -0 - 4. Suppose y + b*k = -3*k + 32, 5*y - 5*k = 10. Suppose 2*x + 75 = y*x + 3*r, 5*r - 65 = -5*x. Is x a multiple of 18?
True
Let o(h) = 5*h**3 - h**2 + 2*h - 1. Let u be o(1). Let l(r) be the first derivative of 3*r**2/2 + 2*r + 10. Is l(u) a multiple of 14?
False
Let w be (8/(-12))/((-4)/18). Let o(t) = t**2 + t + 4. Let a be o(0). Let f = a + w. Does 