ue
Let z(l) = 17*l - 8. Let i be z(9). Suppose 3*v - 41 = i. Is v a multiple of 23?
False
Suppose -6 = -y + 5*u, 2*y + u + 74 = 5*y. Is y a multiple of 13?
True
Suppose 5*w + 166 = 436. Is w a multiple of 27?
True
Let m = 11 - 6. Suppose 2*b = t - 0*b, -2*b = m*t - 12. Suppose -6 = -t*h + 12. Is 5 a factor of h?
False
Suppose j + j + 134 = 0. Let i = -47 - j. Does 10 divide i?
True
Let t(v) = -103*v**3 + 2*v**2 - 1. Is 26 a factor of t(-1)?
True
Let f(d) be the second derivative of d**7/840 - d**6/360 - d**5/60 + d**4/4 - d. Let h(k) be the third derivative of f(k). Is 3 a factor of h(2)?
True
Suppose 3*w = -g + 46, 0*g + 44 = 4*w - 3*g. Suppose -w = -5*x + 11. Suppose -44 + 4 = -4*p + 4*d, x*d = 2*p - 35. Does 3 divide p?
False
Let y be 1*3*(1 - 0). Suppose l - 120 = -y*l. Is 8 a factor of l?
False
Is (5 - 6)/(1/(-63)) a multiple of 21?
True
Let x be ((-15)/(-10))/(1/2). Suppose -x*w + 22 = -w. Suppose 45 = 4*a - w. Does 7 divide a?
True
Does 15 divide 6/21 + ((-9000)/21)/(-5)?
False
Suppose -8 = 4*k - 0. Suppose 12 = 3*a, -4*u - a = -2*u - 2. Is (-14)/4*k - u a multiple of 4?
True
Let b be 5*(51/15 + -3). Suppose -32 - 34 = -b*p. Is 12 a factor of p?
False
Let q(g) = -g**2 - 8*g - 3. Let v be q(-8). Let n = 7 + v. Is 2 a factor of n?
True
Let l(m) = 13*m**2 - 3*m - 3. Is l(3) a multiple of 26?
False
Suppose -3*v = -6 - 3. Suppose -2*y + 3*w + 123 = 0, w + 0*w = -v. Is y a multiple of 19?
True
Let z(q) = -19*q + 4. Let a(h) = 13*h - 3. Let n(g) = -7*a(g) - 5*z(g). Is n(2) a multiple of 3?
True
Let y(x) = 31*x**2 - 3*x - 4. Is 6 a factor of y(-1)?
True
Suppose -3*a + 9 = 5*o, 0 = 2*a - a + 2*o - 3. Suppose -c - 283 = -a*x, -2*x + 3*c = -2*c - 167. Is 17 a factor of x?
False
Let g = 176 - 83. Does 17 divide g?
False
Let j(i) = i**3 - i**2 + i - 2. Let c be j(2). Let o = c - -1. Suppose -5*n = -3*z - 34, -o = z - 2. Is 3 a factor of n?
False
Let y = -32 + 136. Is y a multiple of 26?
True
Suppose p - 4*p = 0. Let x(o) = o**2 - 5*o + 5. Let g(v) = v. Let w(u) = 6*g(u) + x(u). Does 5 divide w(p)?
True
Let a = 2 - -3. Suppose -2*w = -2*j + 1 - 31, -5*w - a*j + 65 = 0. Does 7 divide w?
True
Suppose -3*f - 2*v + 114 = f, -5*f = 4*v - 147. Suppose -f = -4*h - 4*r + 41, 2*h - r - 19 = 0. Is h a multiple of 3?
True
Let x be (4/(-10))/((-2)/10). Does 10 divide 40/x - (4 + -4)?
True
Suppose -2*i - 10 = d, -5*d + i = 3 + 14. Let w = 6 + d. Suppose -5*l + 0*j = -5*j - 50, j = -w*l + 26. Is l a multiple of 12?
True
Let i = -22 + 37. Let l = i - 9. Is 2 a factor of l?
True
Let a(m) = -21*m - 9. Does 24 divide a(-5)?
True
Let w = -2 + 17. Let u be (w/(-20))/(1/(-4)). Suppose -3*r + 19 = 2*x, -r = -0*x + u*x - 18. Is 5 a factor of x?
True
Let j(p) = 3*p + 4. Let c(w) = -3*w - 4. Let i(y) = 2*c(y) + 3*j(y). Suppose -9*h + 24 = -3*h. Is 7 a factor of i(h)?
False
Let y(z) = -z**3 + 9*z**2 + 16*z + 16. Does 19 divide y(10)?
True
Let p(x) = -11*x - 6. Is 15 a factor of p(-11)?
False
Let y be 8/5 + 2/5. Let q be -1 - (y - 1*46). Suppose 2*b + 4*a - 66 = 0, -3*a + 7*a - q = -b. Does 12 divide b?
False
Let d be (-106)/(-22) - 2/(-11). Let x = d + -3. Suppose x*r - 42 = 8. Does 10 divide r?
False
Suppose -2*d + 41 = -31. Is d a multiple of 18?
True
Suppose 5*r = 9 + 61. Let w = 16 - r. Is w a multiple of 2?
True
Let h(x) = -8*x - 2. Let v be h(-3). Suppose -3*w + 3*g + 5 = -2*g, 4*w + g - v = 0. Is w a multiple of 4?
False
Let h(l) = l**2 + 2*l**2 - 2*l**2 + 3*l - 2. Let k be h(-4). Suppose 30 = -0*r + k*r. Does 15 divide r?
True
Let c = 2 - 9. Is 25*1 - (-6 - c) a multiple of 8?
True
Let q = -10 - -19. Suppose -2*z + z = q. Is ((-50)/(-6))/((-3)/z) a multiple of 17?
False
Suppose -4 = -u - 0*u. Suppose 3*i - 4 = l, 0 = i - u - 0. Is 8 a factor of l?
True
Suppose 4*n - 4*i = -12, 7 = -n - 5*i + 2*i. Suppose 45 = -4*o - 15. Is 2 a factor of o/n - (-5)/20?
True
Let q = 18 - 10. Let i = q - 4. Is 14 a factor of 27 - 4 - i/2?
False
Suppose f + 1 = 2*k - 5*k, 0 = 3*f + 2*k - 4. Suppose f*r + 0 - 4 = 0. Is (r/(-4))/((-2)/84) a multiple of 12?
False
Let i = -114 - -280. Does 28 divide i?
False
Let o = 10 + -8. Suppose o*l - 9 = 55. Is 9 a factor of l?
False
Does 11 divide 48 + -2*4/(-8)?
False
Let q = -59 + 114. Does 11 divide q?
True
Let y(w) = 2*w**3 - w**2 + w - 1. Is y(2) a multiple of 11?
False
Let q = 52 + -27. Is q a multiple of 8?
False
Let j = 14 + -10. Suppose -4*g = -2*b - 54, -j*g + 52 = -6*b + 2*b. Is 14 a factor of g?
True
Suppose 0 = 8*y - 12*y - 8. Is 12 a factor of y*(33/(-6) + -2)?
False
Let h = -15 + 17. Let f = 36 - h. Is f a multiple of 8?
False
Suppose -v + 3*a + 62 = -0*v, -5*a + 78 = v. Is 31 a factor of v?
False
Let s(o) = -o**3 + 4*o. Let g be s(2). Suppose -4*a = -4*c - 28, g = -7*c + 2*c - 15. Is a a multiple of 4?
True
Let t = 12 - 8. Suppose -3*k = 2*k - 3*c, -t*k - 3*c = -27. Suppose 0 = -5*n - h + 25, 2*h - 11 = -4*n + k*h. Does 2 divide n?
True
Suppose -7*f + f = 42. Does 11 divide (2/(-6))/(f/231)?
True
Let t(g) = -g + 1. Let n be t(-6). Suppose -3*a - 5*q + 105 = 2*a, 0 = 5*a - 2*q - 70. Let f = a - n. Does 4 divide f?
False
Let z = -13 - -23. Let u = z + -2. Does 5 divide u?
False
Suppose 6*w - 40 = w. Is (10/w)/((-9)/(-324)) a multiple of 15?
True
Let t = -1 - -7. Suppose -2*j - 3*h = -6, -5*j - 3*h = -0 - t. Is 8 a factor of 19 + j + (-1 - 1)?
False
Is 291/9 - 3/9 a multiple of 8?
True
Suppose -4*j = 27 + 125. Let b(c) = 6*c**2 + 3*c - 3. Let t be b(3). Let a = j + t. Is a a multiple of 17?
False
Let s = -52 + 148. Is 6 a factor of s?
True
Let t(j) = -j**3 + 2*j**2 - 1. Let r be t(-2). Suppose 5*q + 5 = r. Does 2 divide q?
True
Suppose 5*w = 5*d + 225, -4*d - 60 = 2*w - 3*w. Suppose 0*u = -5*u + w. Is u even?
True
Let q(h) be the third derivative of -h**7/5040 + 17*h**6/720 + h**5/60 + 2*h**2. Let u(v) be the third derivative of q(v). Is u(0) a multiple of 7?
False
Let h = -22 + 16. Let q(k) = k**3 + 6*k**2 + k + 5. Let c be q(h). Is 12 a factor of (2 - c/(-1)) + 16?
False
Suppose -4*m + 56 = -12. Suppose 15 - 87 = -3*a. Let o = a - m. Does 3 divide o?
False
Let f(o) = 11*o + 2. Is 14 a factor of f(2)?
False
Let n(i) = -i**2 + 6*i - 5. Let t be 42/8 - 1/4. Let y be n(t). Suppose -d + 34 = -y*d. Is d a multiple of 13?
False
Let u(c) = -c**2 - 8*c - 4. Let t be u(-3). Does 19 divide (-2)/(-11) + 625/t?
True
Let a(s) = -s**2 + 19*s - 7. Is 9 a factor of a(17)?
True
Suppose -3 = -4*z - i, -5*z - 5*i + 9 = -6. Suppose a - 21 - 21 = z. Is a a multiple of 9?
False
Let u(i) = -i**3 + i**2 - 1. Let b(f) = -5*f**3 + 12*f**2 + f - 10. Let v(l) = -b(l) + 6*u(l). Is v(-6) a multiple of 5?
True
Suppose -o = 3*o - 20. Is o a multiple of 5?
True
Let k(v) = v + 20. Let q be k(0). Suppose 3*r + 4*s - q = 0, 15 = -4*r - 0*s + 3*s. Suppose r*x = -x + 16. Is x a multiple of 16?
True
Let x = 10 + -7. Let a be ((-17)/x)/(3/9). Let n = 41 + a. Is n a multiple of 17?
False
Let f(a) = a**2 - 5*a + 4. Is f(8) a multiple of 7?
True
Does 32 divide -3*(192/(-30))/((-6)/(-20))?
True
Suppose 5*c + 3*l + 35 = 0, 2*l + 8 = c + 2. Let d = -2 + 4. Let u = d - c. Does 2 divide u?
True
Suppose 16 = -7*s + 8*s. Is 8 a factor of s?
True
Is 12 a factor of (-90)/(-4) - 14/(-28)?
False
Let m be (-6 + 6)/(0 - 1). Suppose m*l - 60 = -4*l. Suppose p = -0*p + l. Is 5 a factor of p?
True
Suppose -13*s = -3*s - 2130. Does 18 divide s?
False
Suppose -1893 = -4*p + 939. Let j be 2/11 + p/(-22). Let f = j + 51. Is 19 a factor of f?
True
Is (-105)/(-10)*136/12 a multiple of 17?
True
Let v = 11 - 5. Does 4 divide v?
False
Is 12/48 - (-271)/4 a multiple of 37?
False
Let q = -7 - -10. Suppose 7*i - 5*i + 2*f - 86 = 0, q*f - 12 = 0. Suppose 2*t - i = 33. Is t a multiple of 18?
True
Let r be ((-21)/(-6))/((-2)/(-8)). Suppose -i + 5*g = -55 + r, -2*g - 42 = -2*i. Does 16 divide i?
True
Is 6 a factor of 1*3 - (-3 + -41)?
False
Suppose 3 = 3*q - 9. Is 2 - (-1 - 2)*q a multiple of 14?
True
Let h(z) = z**3 - 9*z**2 + 3*z - 7. Let r be (-14)/(-3)*(-2 + -1). Let b = 23 + r. Is 10 a factor of h(b)?
True
Suppose 3*i + 0*i = 3*a - 3, 25 = 3*i + 4*a. Suppose c + 2*q = 4, i*c = -c - q + 30. Is c even?
True
Let y(g) = g**2 - 2*g + 3. Let r(p) = -p**3 + p**2 - p + 3. Let d be r(0). Is y(d) even?
True
Let y(o) = 11*o**2 - 4*o. Let i(r) be the third derivative of -7*r**5/20 + 3*r**4/8 + 2*r**2. Let g(l) = 3*