e y(-6). Let l = -22 + 15. Let b = p - l. Is 5 a factor of b?
True
Suppose 0*m = -3*m + 6. Suppose -2*g = 3*f - 3*g - 47, 0 = 3*f + 2*g - 41. Let t = f - m. Is 12 a factor of t?
False
Let y be (-6 - -2)/(1/(-10)). Let k = y + -64. Let i = 12 - k. Is 23 a factor of i?
False
Let g(t) = 2*t**2 + 3*t + 29. Is 11 a factor of g(-7)?
False
Let o(f) = -f**2 - 5*f + 6. Let m be o(-5). Is (-5)/(-2) - m/(-12) a multiple of 3?
True
Suppose 5*y + 48 = 2*u, -3*u + 2*y + 86 = -2*y. Does 18 divide u?
False
Suppose -4*r - 28 = -2*x, 5*x + 13 = 2*r + 43. Let c be 6/(-10) - (-12)/r. Is 16/3 + c/9 a multiple of 2?
False
Let j = 99 + -50. Is 7 a factor of j?
True
Let i = 26 - -6. Let f = i + -23. Is 6 a factor of ((-3)/f)/((-1)/18)?
True
Does 14 divide (14 + 4)*2*10/8?
False
Let d = 56 + 1. Is 13 a factor of d?
False
Suppose 5*b - 55 = 2*z + 4, 4 = -2*z. Is b a multiple of 11?
True
Let y be -3 - (-100 - (-3)/(-3)). Let u = y + -60. Does 13 divide u?
False
Let z(q) = -14*q + 1. Let h be z(3). Let p = h - -66. Is p a multiple of 10?
False
Let y(v) = -v + v - v - 2. Let h be y(-2). Suppose h = 3*z - 4*o + o - 24, z = -2*o + 8. Does 4 divide z?
True
Suppose -6*b + 4*d = -2*b - 108, -3*b + 5*d + 89 = 0. Is 23 a factor of b?
True
Suppose 1032 = 10*m - 4*m. Does 43 divide m?
True
Let t(z) = 7*z**2 + 4*z + 9. Let c be t(-4). Suppose -4*b + 7 = -c. Is b a multiple of 28?
True
Let l(m) = 14*m - 1. Suppose 3*c = -4*i + 19, -2*i + 9 = c - 0*i. Is l(c) a multiple of 4?
False
Suppose k = -0*k + 10. Does 3 divide k?
False
Suppose 3*w = -w + 180. Is w a multiple of 30?
False
Let j = 83 + -31. Let s = j - 106. Let k = s - -96. Is 11 a factor of k?
False
Let w = 112 + -60. Is w a multiple of 13?
True
Let a(k) = k**3 - 4*k**2. Let s be a(4). Let f = s + -1. Is 12 a factor of 14*(f + (-26)/(-14))?
True
Let z = 240 - 150. Is 6 a factor of z?
True
Let k(h) = h**2 - h - 1. Let l(s) = s**3 - 2*s**2 - 4*s - 8. Let p(i) = 3*k(i) - l(i). Let y be p(5). Is 13 a factor of y*(-2)/(-4)*7?
False
Let n be 7/(-3) + 3/9. Let k(w) = -w**2 - 2*w + 2. Let v be k(n). Is 12 - (v - 4/1) a multiple of 7?
True
Suppose -5*h = -2 - 43. Let m = 1 + h. Does 10 divide m?
True
Let f(u) = u**2 + u + 13. Let o be f(0). Let a = o - 7. Is a a multiple of 3?
True
Suppose -b + 49 = 2*c - 38, -129 = -3*c - 2*b. Is 28 a factor of c?
False
Let x be (-1 + (-4)/(-3))*6. Let w be (1/(-3))/(x/(-558)). Suppose 0*i + w = 3*i. Does 27 divide i?
False
Let c = 103 + 78. Is c a multiple of 34?
False
Suppose 67 = 2*r + 15. Is r a multiple of 7?
False
Suppose x + 8 = 3*x. Let d = -7 + 7. Suppose 4*a + d*r - 29 = -r, -x*a + 4*r + 24 = 0. Is a a multiple of 6?
False
Let o be 2/(-2)*6/(-2). Suppose -4*y = 0, -2*a - 2*y + 60 = o*y. Is 15 a factor of a?
True
Suppose -7*z + 22 = -8*z. Let b = -13 - z. Is (-124)/(-6) - (-3)/b a multiple of 7?
True
Let u = 16 - 45. Is 2 - 2 - (5 + u) a multiple of 12?
True
Let v(z) = -33*z + 6. Is v(-3) a multiple of 15?
True
Let z = 68 - 32. Suppose 2*j + 0*j + 4*m - 24 = 0, 3*j = 2*m + z. Does 11 divide 2 + 1 + 1 + j?
False
Is 234/15*(-5)/(-2) a multiple of 16?
False
Let c(y) = -y + 12. Suppose -5*r + 2*f = -38, -4*f = 5*r - 10 - 4. Let s be c(r). Does 14 divide 189/s*6/9?
False
Suppose 4*k = -g + 48, 0 = -7*k + 3*k + 3*g + 64. Let p = 24 - k. Is 11 a factor of p?
True
Let z = 154 - 113. Is 41 a factor of z?
True
Suppose r - 90 = -4*r. Suppose 4*d = d + r. Does 16 divide (-1)/2 + 105/d?
False
Let c be 26/4 - 1/2. Is 6 a factor of (72/(-40))/(c/(-20))?
True
Let t = -8 - -5. Let d(q) = 4*q**2 + q - 3 + 6 + q**3 + q. Is d(t) a multiple of 3?
True
Let g(j) = -9*j + 1. Let n be g(-2). Suppose n = 5*a - 6. Suppose -3*w + 4*h + 122 = 0, a*w = -0*w + 4*h + 206. Is 16 a factor of w?
False
Suppose -2*i - 2*n - 14 = -218, -2*n = -i + 96. Does 14 divide i?
False
Suppose -2*x = -x + 6. Is 5 a factor of ((-8)/x)/(3/27)?
False
Let z(f) = 2*f + 1. Let c be z(-3). Let w(l) = -l**3 - 4*l**2 + 3*l + 5. Is 5 a factor of w(c)?
True
Let y(b) be the first derivative of 7*b - 2 - 3/2*b**2. Does 11 divide y(-5)?
True
Suppose q + 2*q = 6. Let y(d) = 6*d**2 - 3*d. Let v be y(q). Suppose -2*i = i - v. Is i a multiple of 6?
True
Let k(n) = -n - 1. Is k(-6) even?
False
Let m be ((-5)/(-15))/(1/21). Let p = m - -3. Is 5 a factor of p?
True
Let h(o) = -o**3 + 5*o**2 - o + 10. Is 2 a factor of h(5)?
False
Suppose 3*c - 5*f - 287 - 259 = 0, -932 = -5*c + f. Does 20 divide c?
False
Let t be 1 + 16/(-2) + -2. Let a be (-39)/(-9) + 3/t. Suppose 2*i - 14 = -2*h, -2 = -2*h - 2*i + a*i. Is h a multiple of 3?
False
Suppose 5*g + 0*g + 5*f = 50, 4*g = 4*f + 80. Does 15 divide g?
True
Suppose -d = -3 + 6. Let s = 0 - -1. Let j = s - d. Is j a multiple of 2?
True
Let r(c) = -8*c**3 - 2*c**2 - 3*c - 4. Let n be r(-3). Suppose 4*q = 3*p - 132, 0*p + n = 5*p - q. Is p a multiple of 8?
True
Let u = 3 + -3. Suppose 4*d - 12 - 4 = 0. Suppose -2*m + 121 = 5*v, d*v + u*v = m + 89. Does 20 divide v?
False
Let j(f) = -4*f**3 + 3*f**2 - 8*f + 1. Let s(h) = -5*h**3 + 3*h**2 - 8*h + 2. Let d(t) = -6*j(t) + 5*s(t). Does 14 divide d(-5)?
True
Suppose 3*k - 2*l - 134 = 0, k - 110 = -2*k - 4*l. Suppose -3*q = t - 0*t - k, 3*t = 0. Is 14 a factor of q?
True
Let o(p) = 2*p**2 + 6*p + 5. Let b = 31 - 12. Let h = 13 - b. Is o(h) a multiple of 22?
False
Suppose 6*y - 20*y + 462 = 0. Is y a multiple of 9?
False
Let a be (-2)/3 - (-6)/9. Suppose -r = r, -3*v - 3*r - 33 = a. Is 2/v + 277/11 a multiple of 16?
False
Suppose -129 = -3*g + 30. Does 5 divide g?
False
Let l(x) = -x**2 + 5*x - 2. Let t(k) = k. Let h be t(2). Is 3 a factor of l(h)?
False
Suppose -h + 5*a - a = 87, -h - 5*a = 78. Let m = -47 - h. Is 11 a factor of m?
False
Is 21 a factor of 6/(1 - (-6)/(-7))?
True
Suppose 10 = -a + 3*a. Let f(m) = 2*m**2 - m - 5 + 4*m - 6*m. Does 22 divide f(a)?
False
Let q(f) = 4*f**3 + 2*f**2 - 2*f + 1. Let h be q(1). Let v(w) = 2*w**2 - 6*w - 7. Does 4 divide v(h)?
False
Suppose 4*h + 4 = 0, -2*h = a + 3*h - 1. Let x = a - -45. Does 23 divide x?
False
Suppose y = 3*u - 353, -4*u + 2*y = -3*y - 489. Suppose 2*l + 22 - u = 0. Is l a multiple of 16?
False
Suppose -6*t + 227 + 481 = 0. Is t a multiple of 13?
False
Let z(l) = -l**3 - 4*l**2 + 3*l + 17. Is z(-5) a multiple of 22?
False
Suppose -5 = -3*s + 2*s. Suppose 4*a + 2 = -3*w, s*w + 6*a - 5 = a. Does 6 divide w?
True
Let j(u) = -u - 1. Let c(m) = -2*m. Let a(q) = -3*c(q) + 4*j(q). Is 10 a factor of a(7)?
True
Let r(j) = 7*j**3 + j**2 - 2*j + 1. Is 7 a factor of r(1)?
True
Let o(w) = w + 3. Let p be o(-3). Let f(v) = 2*v**2 + 4 - 7*v**2 - 2*v**3 - v + p*v**3 - 2*v. Does 13 divide f(-3)?
False
Let q = -26 + 17. Let z(w) = 11*w - 14. Let v(i) = -5*i + 7. Let b(d) = -13*v(d) - 6*z(d). Is b(q) even?
True
Let d be 14/(-1 + 3)*1. Suppose 0 = 2*g - d*g - 75. Let h = -11 - g. Is h even?
True
Suppose -41 = -2*o + 121. Is 27 a factor of o?
True
Let m(f) = 2*f**2 + 25*f - 21. Is 13 a factor of m(-16)?
True
Let x(j) = j**3 - 2*j + 2. Let c be x(2). Let b be (-2)/3 + 16/c. Suppose -7*v + 70 = -b*v. Is 6 a factor of v?
False
Is (-2 - 877/(-7)) + (-10)/35 a multiple of 14?
False
Let k(y) = y**3 - y**2 + y + 165. Let p be k(0). Suppose -4*j - 206 = -5*b - 0*b, 3*j = 4*b - p. Is b a multiple of 11?
False
Suppose 5*m - 24 = -124. Let z be m/6*3/(-2). Suppose -100 = -z*c - 0*c. Is c a multiple of 7?
False
Let o = -138 - -193. Is o a multiple of 11?
True
Suppose -29*s = -24*s - 520. Is s a multiple of 13?
True
Let z = 91 - 57. Does 3 divide z?
False
Let s(q) = q**2 + 8*q - 14. Let i = 0 - 10. Is 6 a factor of s(i)?
True
Suppose 0*o - 5*o + 10 = 0. Suppose -6*s + 152 = -o*s. Does 18 divide s?
False
Let u(l) = 62*l**2 - 1. Is u(-1) a multiple of 12?
False
Let i = -83 - -118. Is 16 a factor of i?
False
Let x be 6/(-2) - (-2 + -9). Suppose x = -4*q - 5*j, 5*j = -2*q - q - 11. Is 3 a factor of q?
True
Suppose 2*q - 2*p = 178, 0 = -5*q - p + 95 + 350. Is q a multiple of 10?
False
Let n(f) be the second derivative of f**5/20 + f**4 + 5*f**3/3 - 2*f**2 - 2*f. Let o be n(-11). Let l(a) = a + 7. Is 14 a factor of l(o)?
True
Suppose 5*l - 173 - 69 = -g, -g - 142 = -3*l. Does 15 divide l?
False
Let a(o) = 25*o - 4. Is 7 a factor of a(1)?
True
Let p = 16 - 9. Let l = -12 + p. Let f = l - -12. Is 3 a factor of f?
False
Let k(o) = -o**2 - 4*o - 3. Let l be k