de i?
True
Let s(x) = -2*x**3 - 4*x**2 + 9*x + 14. Is s(-4) a multiple of 3?
True
Let l(m) = -m**3 + 4*m**2 + 6*m - 6. Let q be l(4). Let v = -12 + q. Is (-78)/(-9) - (-2)/v a multiple of 9?
True
Suppose 0 = 5*a - 2*a - 6. Suppose 3*p - 8 = -2*n + 31, a*p - 4*n = 26. Is p a multiple of 6?
False
Let u(j) = -9*j - 7. Let i be u(-7). Does 7 divide (-14)/(-3)*144/i?
False
Let a = -37 - -64. Suppose 131 - a = 4*f. Is f a multiple of 21?
False
Let m be (-3)/(-6)*4*2. Suppose -n = m*u - 55 - 28, -4*n + 59 = 3*u. Does 7 divide u?
True
Suppose 13 = j - 3. Is 7 a factor of j?
False
Suppose 14 = r - 4*k, -k = -0*k + 1. Is 2 a factor of r?
True
Let g = 7 + -3. Does 14 divide g/16 + (-222)/(-8)?
True
Let m = 77 - 21. Is m a multiple of 7?
True
Let v(y) = 14*y**2 - 4*y - 27. Let m(d) = 5*d**2 - d - 9. Suppose -4*i - 40 = 4*x, -3*i - i - 3*x = 36. Let a(u) = i*v(u) + 17*m(u). Is 3 a factor of a(-6)?
True
Let r = -10 + 15. Suppose 8*i - 75 = r*i. Does 25 divide i?
True
Let s(h) = h**2 + 14*h. Is s(7) a multiple of 31?
False
Suppose -3*d + 0*d = 0. Let u = d + 3. Is 13 a factor of u/1 - 2 - -14?
False
Let d = -143 + 200. Suppose 2*v + 0*g = 3*g + d, 3*v - 2*g = 88. Is v a multiple of 8?
False
Suppose -5*y + 28 = 4*r - 16, -4*y - 96 = -5*r. Does 8 divide r?
True
Is -10*3/(-5)*2 a multiple of 6?
True
Let q(j) = 14*j + 11. Let d be q(7). Let o = 205 - d. Is o a multiple of 32?
True
Let b be (2/4 - 0)*30. Suppose -2*o = -4*d - 0*o + 6, 2*d = 2*o + 2. Suppose -d*g + b = g. Is 2 a factor of g?
False
Let p = 381 - 96. Suppose -4*a + 312 = 2*w, 5*a - p - 95 = -5*w. Does 20 divide a?
True
Suppose -4*t - 2*c = -0*c, 0 = c. Suppose t = -5*h - 0*h + 255. Is h a multiple of 17?
True
Suppose 7*a - 3*a - 16 = 0. Suppose 68 = -4*q + a. Let v = q + 39. Does 14 divide v?
False
Suppose 0 = -4*y + 8, l = -0*y + 3*y. Is l a multiple of 4?
False
Let l(d) = -d**2 + 52. Let a be l(0). Suppose -3*k - a = -136. Is 14 a factor of k?
True
Let l = -104 - -216. Is 16 a factor of l?
True
Let m = 40 - -38. Is 39 a factor of m?
True
Suppose 5*o - 152 = 2*f, 0*o - 5*o + 146 = 4*f. Is 15 a factor of o?
True
Suppose 2*t - i - 165 = 0, i - 3*i = 3*t - 265. Suppose 5*z = 170 + t. Does 15 divide z?
False
Does 25 divide 0/(-3 + -1) + 112?
False
Let i = -122 - -136. Does 8 divide i?
False
Let b(a) = 3*a - 9. Let h be b(5). Suppose -h = -4*l + 10. Does 3 divide l?
False
Suppose 0 = -5*h - 5*n + 21 + 44, -5*n = -3*h + 63. Let s = 26 - h. Does 6 divide s?
False
Let g(u) = u**3 + 7*u**2 + 7*u + 8. Let x be g(-6). Let t be 1/(21/9 - x). Suppose 67 = t*y - 4*v, -y = 4*y - 5*v - 110. Is 9 a factor of y?
False
Suppose 143 - 807 = -4*z. Let o = z - 89. Is 2/6 - o/(-3) a multiple of 13?
True
Let q be ((-10)/8)/((-3)/12). Let b(w) = w + 3. Is b(q) a multiple of 4?
True
Let u(g) = g**2 + 1. Let q(y) = -3*y**3 + 4*y**2 - 2*y + 4. Let k(d) = -q(d) + 5*u(d). Does 17 divide k(2)?
False
Does 24 divide (-8)/(-14) + 1836/21?
False
Suppose a + 4*j = 3*a + 6, -4*a + 8 = -4*j. Is a a multiple of 7?
True
Let d(t) be the second derivative of 5*t**3/3 + t**2 + 4*t. Is d(1) a multiple of 11?
False
Suppose 0 = 2*v + 2*v - 16. Suppose -v*i = -338 + 54. Is 22 a factor of i?
False
Suppose 4*i - 2*i + 40 = 0. Let n = i - -38. Is n a multiple of 14?
False
Suppose 0 = 9*g - 11*g + 42. Is 14 a factor of g?
False
Does 23 divide (-5)/((-210)/12) - 640/(-14)?
True
Suppose -4*v = 3*g - 345, -3*v + 0*g = -3*g - 285. Is v a multiple of 9?
True
Suppose 4*a = -0*a + 56. Is a a multiple of 7?
True
Let x = 102 - 15. Is x a multiple of 27?
False
Let p(x) = 8*x**2 - x + 2. Let q = -25 - -23. Is p(q) a multiple of 19?
False
Is 11 a factor of -5*(116/(-20) - 4)?
False
Suppose -2*j - 3 = -r, -44 + 7 = 3*j + 5*r. Is j/18 + 173/9 a multiple of 9?
False
Let i(k) = k**3 + 7*k**2 - 6. Is i(-5) a multiple of 12?
False
Is 30 a factor of 80*((-6)/4 - -3)?
True
Let b(a) = -a**3 + 16*a**2 - a + 22. Does 3 divide b(16)?
True
Let v(i) = 14*i - 29. Is 30 a factor of v(12)?
False
Suppose 4*u - 4 = r, -4*r = -3*u + 2 - 38. Is 2 a factor of r?
True
Suppose -c - 50 = -88. Is c a multiple of 23?
False
Suppose -2*f + 0*g + 74 = 5*g, 2*f - 5*g - 114 = 0. Let w = f - 21. Is 13 a factor of w?
True
Let h = 129 + -75. Suppose -r - 2*r - h = 0. Is 3 + 1/((-2)/r) a multiple of 12?
True
Suppose -m + 2 = -3*n, n + 2*m = -0*m + 4. Let r be -5 + 4 - (n + -3). Is ((-8)/r)/((-4)/14) a multiple of 14?
True
Suppose -2*y - 2*h = -42, 11*h - 7*h + 123 = 5*y. Is 23 a factor of y?
True
Let h(z) be the first derivative of z**4/4 + 2*z**3/3 - z**2 - 2*z + 1. Let t be ((-2)/6)/(2/(-12)). Is h(t) a multiple of 8?
False
Let d(m) = -m**2 - 8*m - 4. Let k be d(-7). Let x be 8/k - 3/(-9). Suppose 6 = 2*j + 4*u - 34, x*u = j - 40. Is 14 a factor of j?
True
Let t = -7 - -7. Suppose 0 = -3*g - t*g + 9. Is 3 a factor of g?
True
Let j = -161 - -101. Let n = 86 + j. Let l = n - 15. Is l a multiple of 11?
True
Let u = -2 + 7. Let o(g) = -g**2 + 10*g - 5. Does 8 divide o(u)?
False
Suppose 0 = 3*v - 6*v. Let t(u) = 2*u**2 + v*u**3 + u**3 + 0*u - u + 2 + 2*u**2. Does 14 divide t(-3)?
True
Let r(j) = j + 1. Let g be r(3). Suppose 0 = -2*i - g*k + 78, k - 159 = -4*i - 31. Let y = 3 + i. Is 16 a factor of y?
False
Let x(w) = w**3 - 6*w**2 + w. Let z be x(6). Suppose 4*l - z = 2*l. Suppose 9 = 3*f - l. Is 2 a factor of f?
True
Suppose -g + 6 = -21. Does 27 divide g?
True
Let g be 5 + -2 + (4 - 3). Suppose -4*t + 9*n + 108 = g*n, -27 = -t - 3*n. Does 10 divide t?
False
Is 18 a factor of (13/2 + -1)*4?
False
Suppose -3*o - 2*k = -16, -2 = o - 5*k + 4. Suppose -3*t - 24 = -2*l - 2*l, 5*t = -o*l - 8. Suppose l*z - 74 = -8. Does 11 divide z?
True
Let c = 4 + -3. Let p be (0/1)/(c + -3). Suppose p = -4*t - 4*g + 28, 2*g = 3*t + g - 33. Is t a multiple of 10?
True
Let d(g) be the first derivative of -g**5/30 + g**4/12 - 2*g**3/3 - 2. Let x(t) be the third derivative of d(t). Is x(-6) a multiple of 13?
True
Suppose -6*c = -11*c - q + 22, 2*q = c. Suppose -x + 97 = c*k - 2*x, 5*k + 2*x - 131 = 0. Does 21 divide k?
False
Let m be ((-8)/(-1))/(4 + -2). Let d(h) = -h**3 - 3*h**2 - 2*h. Let s be d(-3). Suppose m*u + s = 62. Is 7 a factor of u?
True
Suppose -3*o = -2*o - 11. Suppose -j + o = w - 4, -j = -2*w + 42. Is 11 a factor of w?
False
Suppose -7 = 5*w - 4*z - 2, 0 = -3*w + 5*z - 16. Suppose w*f - 70 = f. Is 9 a factor of f?
False
Suppose -2*x - 86 = -2*z, -2*z + 116 = -0*z + 4*x. Does 12 divide z?
True
Suppose 4*o + 5*n = 83, o + 2*o = 3*n + 96. Suppose -5*q - 2 = -o. Is q a multiple of 5?
True
Does 12 divide 338/14 - (3 + 60/(-21))?
True
Suppose 0 = 4*o + o - 10. Let r(c) = -11*c - 1 - 3 - c**o + 0. Does 10 divide r(-8)?
True
Suppose 0 = -2*o + 2 + 6. Suppose v - o = -0*v. Does 4 divide v?
True
Let b(f) = 5*f**2 - 5*f**2 + 3*f**2 + 4*f**2 + 2. Let u be b(-2). Suppose d = -d + u. Does 7 divide d?
False
Let h(y) = y. Let r be h(-1). Let j(x) = -22*x - 1. Let b be j(r). Is ((-18)/b)/((-2)/56) a multiple of 12?
True
Suppose -4*p - 8 = -0*p. Does 11 divide ((-3)/(-6))/(p/(-88))?
True
Let r(t) = 3*t**3 - 1. Suppose -m = 3*m - 4. Let b be r(m). Is 3*b/(-3)*-7 a multiple of 10?
False
Suppose -3*v = -12 - 3. Suppose -v*z - 20 = -z. Is 5 a factor of (-1 - z)*(-14)/(-4)?
False
Suppose -18 = 2*g - 0*g. Let s(b) = -b**3 - 8*b**2 + 5*b + 7. Is s(g) a multiple of 21?
False
Let v = -989 - -690. Is (-2)/(-6) - v/3 a multiple of 25?
True
Suppose -4*b + 3 - 43 = 0. Let d = -1 + 7. Does 14 divide 12/b*(-140)/d?
True
Let t be (-2392)/(-20) + (-4)/(-10). Suppose -7*u + 2*u = -t. Is 8 a factor of u?
True
Let w(c) = -3*c + 14. Does 8 divide w(-15)?
False
Let y(z) = -2*z + 22. Does 12 divide y(-7)?
True
Let t(d) = -d. Let u be t(-2). Suppose -5*p + i + 20 = 0, u*p + 2*i - 3 = 5. Suppose -p*x = -24 - 52. Is 19 a factor of x?
True
Let i = -23 - -95. Is 9 a factor of i?
True
Let w(h) = -2*h**3 + 3*h**2 + 8*h - 5. Let t(a) = -3*a**3 + 3*a**2 + 9*a - 6. Let k(b) = 4*t(b) - 5*w(b). Let q be k(-4). Let f = q - 43. Does 27 divide f?
True
Let t(f) = 2*f**3 - 6*f**2 - 5*f + 9. Let i be t(5). Suppose -r = -4*r + i. Does 14 divide r?
True
Let a(m) = -14*m - 36. Is a(-9) a multiple of 15?
True
Let j = 54 + -130. Let o = -40 - j. Is o a multiple of 12?
True
Let n = 1 + 4. Let w(d) = 2*d**2 - 11*d + 11. Let m(t) = t**2 - 6*t + 5. Let v(b) = -5*m(b)