e 0*v - 10 = -2*v. Suppose -2*i = -5*f + 238, v*i = f + 3*i - 54. Is f a multiple of 23?
True
Let v(g) = -16*g + 27. Is 24 a factor of v(-2)?
False
Let k(r) = -r**3 + r**2 + 4*r - 3. Let l be k(3). Let w = l - -30. Let o = w + -13. Is o a multiple of 8?
True
Suppose -c - 4 = -2*c. Let b(i) = 2*i**2 - 6*i. Does 4 divide b(c)?
True
Let q be (1 + (1 - 49))*-2. Let u = -25 + q. Does 21 divide u?
False
Let g be (2/3)/(2/51). Suppose -2*w = 3 - g. Is 7 a factor of w?
True
Suppose x = -x + 10. Let f = 11 - x. Does 3 divide f?
True
Suppose 2*v - 115 = 89. Suppose f + 5*b = 23, 0*f + 5*b - 11 = 3*f. Suppose 0*l = -4*l + f*c + 107, 2*c = -4*l + v. Is l a multiple of 13?
True
Let z be 7/5 + (-10)/25. Suppose 0 = 2*v + 6, 3*j - j = -3*v - z. Is 4 a factor of j?
True
Is 21 a factor of (0 - 40)/(3/(-6))?
False
Suppose -3*n + 2*d + 72 = 0, 4*n + 6*d = d + 96. Does 6 divide n?
True
Suppose -4*p + 3*q + 294 = 4*q, -5*q = 2*p - 156. Does 14 divide p?
False
Suppose 0*n + 25 = -5*n. Let j(o) = -4*o + 2*o - 7*o - 5. Is j(n) a multiple of 15?
False
Let k = 13 - -14. Is k a multiple of 9?
True
Let s be 2*((-21)/(-6) - -2). Suppose 2*o + s = 3*t + o, -4*o + 21 = t. Is 3 a factor of t?
False
Suppose -4*x + 239 = 5*a, -2*x + 78 = 5*a - 29. Does 33 divide x?
True
Let x(o) = 10*o**2 - 3*o**2 + 5 + o**3 - 14*o - 13 - 10. Is 10 a factor of x(-8)?
True
Let x = -14 + 10. Let m be x - (-3)/(2 + 1). Let z(a) = -3*a + 4. Is z(m) a multiple of 13?
True
Suppose -2*n + 3*f - 2 = 0, 5*f - 3*f = 8. Let g(o) = n*o + 0 - 1 - 4 + 0. Is g(4) a multiple of 5?
True
Suppose -2*n + 124 = 2*n. Is 6 a factor of n?
False
Is ((-9)/2)/((-18)/168) a multiple of 10?
False
Suppose -7*h + 2*h = 2*k - 75, 2*h + 4*k = 14. Suppose 37 = 2*g - h. Is g a multiple of 7?
False
Suppose k + 12 = 4*k. Suppose 0 = -4*d + k*i + 72, -d - i = -6*d + 74. Is d a multiple of 12?
False
Suppose -2*l = 3*l - 2*r - 260, 0 = l + 5*r - 52. Let d = -25 + l. Is 9 a factor of d?
True
Let t(i) = 4*i**2 - i - 7. Does 5 divide t(-4)?
False
Let f be (6/(-4))/((-1)/(-2)). Let x(g) = 15*g**2 - 2*g - 1. Let t be x(f). Let c = t + -87. Is c a multiple of 14?
False
Let c be 2 - (1 + 0)*-1. Let r(i) = 10*i**2 + i - c*i - 1 + 26*i**2. Is 19 a factor of r(-1)?
False
Let s be ((-1)/2)/((-10)/100). Suppose 2*y - 18 = -s*a, -3*a = 4*y + 2*a - 36. Is 3 a factor of y?
True
Let p be 815/5 - 4/2. Let i = -99 + p. Suppose 5*l - 38 = i. Is 9 a factor of l?
False
Suppose 0 = 4*x + 2*v - 3*v - 183, -5*x + v = -228. Is x a multiple of 11?
False
Let q = 94 - 51. Does 14 divide q?
False
Suppose -85 = -3*f - 22. Does 21 divide f?
True
Suppose -3*i + 5*i - 11 = 5*b, -5*i + 5*b + 5 = 0. Suppose -250 + 50 = 4*w. Does 16 divide (i - w) + -4 + 1?
False
Is 9 a factor of 5/(30/204) - (-3 + 1)?
True
Let m(d) = 2*d + 1. Let y be m(-1). Let k be 0 + -2 + (-21)/y. Suppose 2*z - k = -3. Is z a multiple of 6?
False
Let a(l) = 3*l**3 + 10*l**2 + 9*l + 9. Let x(t) = -4*t**3 - 15*t**2 - 13*t - 14. Let v(j) = 7*a(j) + 5*x(j). Does 4 divide v(6)?
False
Suppose 6*f = -11 + 365. Is f a multiple of 23?
False
Suppose -84 = 3*w + 4*y, -2*w + 0*w + 3*y = 39. Let v = -11 - w. Is v a multiple of 4?
False
Suppose -4*h + 235 = 83. Let k = 21 - 46. Let v = h + k. Is v a multiple of 9?
False
Let f = -19 + 26. Is f a multiple of 7?
True
Let v be 1 + -1 + (2 - -18). Let u = 37 - v. Suppose 4*p - 31 - u = 0. Is p a multiple of 6?
True
Let j(m) = -m**3 - 3*m**2 + 3*m - 2. Let i be j(-4). Suppose 3*d - 8 = w, -d + i*w = 4*d - 12. Let x = d - -3. Is 3 a factor of x?
False
Is 6 a factor of (-93)/(-4) + 6/8?
True
Suppose -151 + 396 = -5*s - 3*a, -5*s - 255 = 5*a. Let r = 124 + s. Is 26 a factor of r?
True
Let x(w) = -2*w**2 + 15*w - 7. Let k be x(10). Let g = 91 + k. Does 7 divide g?
False
Suppose 0*g - 40 = -2*g + 4*s, 2*g = s + 34. Let v be (-7)/(-5) - g/40. Is 9 a factor of (v/(-2))/(1/(-38))?
False
Suppose 3*w - 103 = -19. Suppose -5*r = -k - r + w, -r - 121 = -5*k. Is 8 a factor of k?
True
Suppose 0 = -9*n + 1087 - 142. Does 10 divide n?
False
Suppose 2*b + 44 = 6*b. Is 11 a factor of b?
True
Let j(k) = 3*k**2 - 8*k + 12. Let f be j(5). Suppose f - 18 = i. Is i a multiple of 6?
False
Suppose -9*g + 4*g - 33 = -4*w, 0 = 5*w - g - 36. Let s = 9 - w. Suppose s*a - 14 = 8. Does 3 divide a?
False
Suppose 2*y - 2*t - 384 = 0, 3*y - 2*y - 4*t = 189. Does 13 divide y?
False
Suppose 0 = -5*g + 10, -3*f + 506 = 2*f + 3*g. Is 32 a factor of f?
False
Let a(l) = 12*l**2 - 2*l - 1. Let z be a(-1). Suppose 7*t - 16 = 3*t. Let k = z - t. Is k a multiple of 4?
False
Suppose 3*o - 225 = -3*a, 3*o = -a + o + 78. Is a a multiple of 18?
True
Let l = -12 - -26. Suppose -f = -4*n - 8, -3*n + 6*f - f = -11. Let r = l - n. Is r a multiple of 8?
False
Let m = -7 - -12. Suppose 0*s - m*s - 36 = -j, 4*j + 5*s - 44 = 0. Is 16 a factor of j?
True
Does 21 divide ((-86)/4)/((-8)/16)?
False
Let i be (-8 - -7) + (0 - -3). Suppose -30 = -3*g - o, i*g + 2*o + 20 = 4*g. Is 6 a factor of g?
False
Let o(v) = -v**3 + 9*v**2 + 4*v - 5. Let z(g) = g**3 - 6*g**2 - 3*g + 3. Let y(j) = -5*o(j) - 7*z(j). Is y(-3) a multiple of 15?
False
Let l(z) = z**2 - z + 1. Does 10 divide l(5)?
False
Let d = 142 + -92. Does 10 divide d?
True
Suppose -132 = -2*z + 4*p, 4*z - 2*p - p - 279 = 0. Is z a multiple of 8?
True
Let h = -64 - -136. Suppose -i + 4*i = h. Does 9 divide i?
False
Let g = 5 + -1. Suppose 0*b + 3*m + 17 = b, -m + g = 0. Is 11 a factor of b?
False
Let p = -66 + 111. Let m = p + -9. Is 18 a factor of m?
True
Suppose 3*f + 15 + 126 = 3*m, 2*f = 4*m - 92. Let x be 10/25 + f/(-5). Suppose 0 = 5*o - x. Is 2 a factor of o?
True
Let s = 18 - 7. Suppose 0 = 4*r - 25 - s. Is r a multiple of 9?
True
Suppose 0 = -m - 5 + 2, 4*m + 62 = -5*p. Let l(n) = -n - 3. Let i be l(p). Suppose x - i = -2. Is x a multiple of 5?
True
Suppose 4*r = 2*r - 114. Let z = 15 - r. Is z a multiple of 24?
True
Suppose 270 = -38*k + 41*k. Does 15 divide k?
True
Suppose 5*y - 83 + 4 = 2*k, y = 3*k + 21. Is 15 a factor of y?
True
Let s = -73 + 84. Does 10 divide s?
False
Let c(o) = -o + 1. Let n(g) = g**2 - 8*g - 8. Let d(f) = -2*c(f) - n(f). Is 11 a factor of d(7)?
False
Suppose -2*m + v + 0*v = -64, 0 = 4*m + 5*v - 142. Let y = 62 - m. Let c = -3 + y. Is 15 a factor of c?
False
Suppose -4 = -u - 1. Suppose 4*i + 13 = u*n - 73, -68 = -3*n - 5*i. Does 26 divide n?
True
Suppose 0*x + 4 = 2*x. Suppose 0 = -4*l + x*m + 2*m + 320, -2*l = -3*m - 159. Suppose v - l - 26 = -5*g, 0 = -5*g - 4*v + 98. Is 10 a factor of g?
False
Let n = -77 + 231. Is 22 a factor of n?
True
Does 11 divide 1*(-3)/(-2)*22?
True
Let n = -8 - -11. Suppose -n*x + 108 = 3. Is x a multiple of 11?
False
Let l(a) = 2*a - 2. Let k be l(-7). Does 8 divide 3/(-2)*k/3?
True
Let c(o) = 2*o**2 + 8*o + 1. Let d be c(-7). Suppose -5*n = q - d, -34 - 121 = -5*q - 5*n. Suppose 96 - q = 4*u. Is 15 a factor of u?
False
Suppose 0 = 4*f - 17 - 35. Let d = 40 - f. Let v = 39 - d. Is v a multiple of 12?
True
Is 2/6 + -9 + 420/9 a multiple of 9?
False
Suppose -5*u + s = -4 - 56, 3*u - 36 = 2*s. Let y = u - 8. Suppose 5*a + y*x = 5*x + 34, -40 = -5*a - 5*x. Does 5 divide a?
False
Let t(x) = x + 1. Let p(b) = b**3 + 9*b**2 - 11*b - 13. Let w be p(-10). Let k be t(w). Does 14 divide ((-19)/k)/(5/10)?
False
Is 22 a factor of -144*(42/(-9))/7?
False
Let n(x) = 8*x - 116. Is 6 a factor of n(28)?
True
Suppose -4*h = -p + 2, -5*h + h = 3*p - 6. Let y be (2/p)/((-1)/(-6)). Suppose 3*v - y*v + 9 = 0. Is v a multiple of 3?
True
Let g = 470 + -266. Is g a multiple of 17?
True
Let l be 29/3 - (-2)/(-3). Let u(b) = l + 0 - b + 6*b. Does 19 divide u(8)?
False
Let m be (225 - 0)*(-16)/(-40). Suppose 5*t - m = 10. Is t a multiple of 6?
False
Let j = -7 + 9. Is 2 a factor of 6/(-10)*-5*j?
True
Let i(s) = -4*s - 21. Let n = -19 - -10. Is 11 a factor of i(n)?
False
Suppose 2*m - 6*m = -404. Let k = m + -62. Is 27 a factor of k?
False
Let t be 1/3*0/2. Suppose m = -4*k + 42, t = 2*m + 3*k - 61 - 43. Is 12 a factor of m?
False
Let d(t) = -t + 9. Let s be d(9). Let q(w) = w + 25. Does 8 divide q(s)?
False
Let c(v) = v**3 - 2*v**2 + 6*v + 4. Is c(4) a multiple of 20?
True
Suppose 3*n - 4*k = -6*k + 157, n = 4*k + 43. Is 9 a factor of n?
False
Let x be (21/(-4))/(6/16). Is x/(-4) + 3/2 a multiple of 3?
False
Suppose 0 = 2*c - 5*d - 27