alse
Suppose 2*c = 5*x + 3*c - 14, -3*c + 8 = -2*x. Suppose -5 = -x*r + 25. Does 10 divide r?
False
Suppose -6 + 18 = 4*c. Suppose c*f - 320 = -35. Suppose 0 = -5*y + f + 100. Is y a multiple of 13?
True
Suppose 0 = -l - 3*j + 29, 3*l + 0*l - 80 = -2*j. Suppose -b + l - 10 = 0. Is b a multiple of 7?
False
Let b = -7 + 21. Let p = b - 10. Suppose 0 = -p*o + 3*w + 29, -3*w - 31 = -4*o - 2*w. Does 4 divide o?
True
Does 6 divide 400/28 - 4/14?
False
Suppose -2*y = 3*h - 60, 3*y - h = -18 + 97. Is 9 a factor of y?
True
Suppose 5*t + 12 = -13. Let u = 5 + t. Suppose 0 = -2*d - u*d - 4, 0 = 3*n - 2*d - 58. Is 9 a factor of n?
True
Suppose 5*h + 4*h = 180. Does 11 divide h?
False
Suppose -6*x = -11*x. Suppose 0 = 3*w + v - 41, -2*v + x = -5*w + 72. Is w a multiple of 14?
True
Let f = -3 - -3. Suppose f*v = -v. Suppose -4*j + j + c + 66 = v, 5*j - 110 = -c. Is j a multiple of 11?
True
Let f be (-5124)/(-57) + 2/19. Let d = f - 62. Is d a multiple of 14?
True
Let i = -1 + 3. Let k(p) = 5*p - 2. Does 8 divide k(i)?
True
Let m be 1*-23*(-4 - -2). Suppose 0*x - m = -x. Is 23 a factor of x?
True
Let j = -22 + 40. Is j a multiple of 6?
True
Suppose -2*f + k - 1 = -0, -2*f - 3*k = -3. Suppose z - 3*i + 4*i - 10 = f, -z + 18 = -i. Is 7 a factor of z?
True
Suppose -12 = -v - 2*v. Let j(l) = 13*l - 4. Is j(v) a multiple of 16?
True
Let c(u) = -2*u**2 - 11*u - 6. Let i be c(-7). Let t = i + 47. Does 20 divide t?
True
Let w = 14 - -51. Let d = 111 - w. Does 23 divide d?
True
Let f = 3 + 2. Let m(u) = 7*u - f*u + 4*u - 6. Is m(6) a multiple of 10?
True
Let i(z) = 40*z**2 + 3*z + 1. Let w be i(-2). Suppose -5*y + w = -5. Does 16 divide y?
True
Suppose 4*x = 2*x. Suppose -l + 15 = q + 4, 2*l - q - 28 = x. Does 9 divide l?
False
Let c(j) be the first derivative of -j**4/4 - j**3/3 + 7*j**2/2 + 6*j + 1. Is c(-4) a multiple of 13?
True
Let w(t) = t**2 - 5*t - 2. Let r be w(4). Let j = r + -1. Let m = 12 + j. Is 2 a factor of m?
False
Suppose -15 - 30 = -t. Is t a multiple of 10?
False
Suppose -5*y = -6 - 24. Suppose 0 = t - 5*b - 29, t + 3*b - y*b = 19. Suppose 5*a - o - 113 = 0, 2*a - 2*o + 38 = t*a. Is a a multiple of 6?
False
Let z = -6 + 8. Suppose -5*b - z*k + k + 137 = 0, 2*k = 5*b - 146. Is b a multiple of 12?
False
Let c(b) be the first derivative of b**4/4 + 7*b**3/3 + 2*b**2 - 8*b - 1. Let i(f) = -f**3 + 2*f**2 - f + 6. Let m be i(3). Does 3 divide c(m)?
False
Suppose -17 - 15 = -4*f. Does 3 divide f?
False
Suppose 426 + 282 = 3*c. Does 29 divide c?
False
Suppose -4*n - n + 305 = 0. Is n a multiple of 4?
False
Let k(b) = b**3 + b**2 - b + 1. Let w(z) = 4*z**3 + z - 1. Let a(t) = -2*k(t) + w(t). Does 3 divide a(2)?
False
Let m(q) = -32*q + 4. Is m(-2) a multiple of 17?
True
Let i(x) = -x. Let n(k) = k**2 + 3*k - 2. Let f(b) = 3*i(b) + n(b). Suppose -2*z - q - 13 = 0, -5*q - 9 - 16 = 0. Does 14 divide f(z)?
True
Let g(r) = 68*r**2 + 3*r - 2. Is 8 a factor of g(-2)?
True
Let c = 6 - 3. Suppose 24 - 2 = 5*o + f, c*f = -9. Suppose o*t = 14 + 36. Is 10 a factor of t?
True
Let c = -1 - -3. Is (3/2)/(c/12) a multiple of 2?
False
Let h(f) = 2*f**3 - 4*f**2 - f + 1. Let v be h(4). Suppose 102 + 46 = 5*u + 2*x, -2*u + x = -v. Suppose 6*k - u = 3*k + 3*s, 2*s - 12 = -2*k. Does 8 divide k?
True
Suppose -11 = 4*w + s + 2, -3*w - 24 = -4*s. Let h be 3*(-112)/(-12) + 1. Let k = h + w. Is k a multiple of 16?
False
Let q = -16 - -26. Let b = q - -10. Is 12 a factor of b?
False
Let d = -4 + 0. Let q be d + 3/1 - -3. Suppose q*c = 4, b + 3*c - 35 = -15. Is b a multiple of 6?
False
Let r(y) = y**2 + 6*y + 3. Let n be r(-6). Suppose 0*i = -n*i + 15. Is i even?
False
Let s = 7 - 2. Suppose -48 = -s*l + 37. Does 5 divide l?
False
Suppose 2 = 2*s - 14. Does 19 divide 567/12 - 2/s?
False
Suppose 5*x - 4*g + 10 = 0, -5*g = -24 - 1. Let j = 3 + x. Suppose -2*r - 44 = -2*l, -3*l - j*r + r + 52 = 0. Is l a multiple of 10?
True
Suppose -91 = -5*t + 144. Does 47 divide t?
True
Suppose 0 = 7*t - 2*t. Suppose n = -0*n + 4. Suppose t*f - 3*r = 3*f, n*f - 9 = -r. Is f a multiple of 2?
False
Suppose 20 = a - 0*a. Let y = a - 11. Is 4 a factor of y?
False
Let d = 6 + -6. Suppose d = -r + 5*t + 69, 0*r - 2*r - t + 83 = 0. Is 11 a factor of r?
True
Let l be (-30)/(-75) + 1156/10. Let t = 200 - l. Is t a multiple of 28?
True
Does 30 divide (-7 + 12)/((-1)/(-6))?
True
Suppose -t = -0 - 5. Suppose -16 = t*j - 196. Is j a multiple of 14?
False
Suppose 2*o - 3*o = -4. Let x(p) = p**3 - 5*p**2 + 7*p - 5. Does 4 divide x(o)?
False
Let x(f) = 3*f**2 + 3*f + 2. Let c be x(4). Let m = c + -34. Is m a multiple of 14?
True
Let p be 45/(-6)*(-12)/(-5). Let n be (-106)/(1*(1 + -3)). Let t = p + n. Does 19 divide t?
False
Let l = 92 - 57. Is l a multiple of 7?
True
Let k be (-1 - 0) + (-80)/(-5). Is 14 a factor of 1*21*10/k?
True
Is ((-220)/8)/(1/(-2)) a multiple of 13?
False
Let l(m) = m**2 - 5*m. Let c be l(5). Suppose 2*h - 4*n + c*n - 56 = 0, 2*n = 5*h - 172. Does 18 divide h?
True
Let j(z) = 6 - 10*z**2 + 6*z + z**2 - z**3 + 2*z**3. Let i be j(7). Let b = 72 + i. Is b a multiple of 11?
True
Suppose 0 = 4*c + 2*v + 8, 0 = -2*c - 2*v - 0*v. Let r be (5/2)/((-2)/c). Suppose -r*l + 25 = 0, 5*q + l = 4*l + 25. Is q a multiple of 8?
True
Suppose -3*m - 2*m = -20. Let l be m/14*(-1 + 8). Suppose -l*w - 4*i = -0*w - 30, -w + 27 = -2*i. Is 9 a factor of w?
False
Let w be ((-6)/4)/3*-8. Suppose 5*u + 28 = u - 4*t, -2*u = -w*t - 4. Does 11 divide u/(-18) + 388/36?
True
Suppose -2*i = 3*q - 20, -2*i + 3*q + 0 = 4. Suppose 3*t + 4*x + 25 = 0, t + i*x + 12 = -7. Is 9 a factor of 132/9*t/(-2)?
False
Suppose 2*g + 2*g = 0. Suppose -5*x + 0*x = g. Suppose -26 = -3*r - 2*b + 74, -4*r - 3*b + 134 = x. Is r a multiple of 16?
True
Suppose w - 129 = -4*k - 4*w, -3*k = 3*w - 96. Let n = k + 128. Suppose l - s - 149 = -2*l, -3*l = -3*s - n. Is l a multiple of 21?
False
Let q(v) = -v - 1. Let f = 15 - 10. Suppose -k = -y + k - 9, -f*y = -2*k + 29. Is q(y) even?
True
Let v = -30 - -68. Is v a multiple of 7?
False
Let c be -3 + 4/(-1) + 2. Is 10 a factor of (3 + 13/c)*100?
True
Let b(j) be the third derivative of -1/60*j**5 + 0*j - 2*j**2 + j**3 + 0 + 11/24*j**4. Is 16 a factor of b(6)?
False
Let q be 4*(-5)/(-4)*-2. Let h = q + 18. Suppose g - h = 9. Is 10 a factor of g?
False
Suppose n = -5*j + 13 - 53, -2*j = n + 16. Let o = j - -13. Does 5 divide o?
True
Let a(b) = -b**2 + 2*b - 6. Suppose 3*j + 18 = -2*w, -2*j - 11 = -4*w + 17. Let x be a(j). Does 15 divide (-12)/(-18) - x/6?
True
Let o(x) be the second derivative of 0 - x - 2/3*x**3 + 7*x**2. Is 15 a factor of o(-11)?
False
Let p = -89 + 173. Is 14 a factor of p?
True
Let j = -209 - -307. Is 36 a factor of j?
False
Let f(q) = -4*q**2 + 1. Let a be f(1). Let h be 3/((-4)/(320/a)). Let y = h + -53. Is 13 a factor of y?
False
Suppose 2*y = -0*y + 50. Is y a multiple of 14?
False
Is 13 a factor of 6/(-3) + 0 - -26?
False
Suppose -5*n - 26 = -q, 0*n = -2*n - 10. Let p = 13 - 6. Let m = p + q. Is m a multiple of 6?
False
Let l be 532/35*5/2. Let v = l + -19. Is v a multiple of 9?
False
Suppose -3*m - 20 = 2*m + 5*g, 2*m + g + 4 = 0. Suppose m = -8*x + 6*x + 16. Is 3 a factor of x?
False
Suppose 4*g + 6*g = 1970. Does 41 divide g?
False
Let s = 2 + -10. Let k(z) = -7*z - 5. Is 10 a factor of k(s)?
False
Is 18 a factor of (-3 - 55/(-25))*5 - -58?
True
Is -3 - -82*(-3 - -4) a multiple of 7?
False
Suppose 0 = -4*w - 0*w + 8. Does 8 divide (2 - 3) + 50/w?
True
Let p = 134 + -46. Is p a multiple of 12?
False
Does 8 divide (-5)/(-35) - 1244/(-14)?
False
Let b(a) = -4*a - 6 - 4*a**2 + 2 + 0 - 2*a + a**3. Let q be b(5). Let w = q + 31. Does 9 divide w?
False
Suppose -3*a = -a - 30. Let k = -6 + 8. Is 16 a factor of k*a*1 + 2?
True
Suppose -5*q = w + 3*w - 324, -2*w = -2*q - 144. Let v = -54 + w. Is v a multiple of 11?
True
Let f(k) = -6*k - 2. Let d be f(-2). Let t be (3 - 1 - 3) + -4. Let r = d + t. Is 5 a factor of r?
True
Let t(u) = -u**2 - 6*u + 4. Let p be t(-6). Suppose p*j = -0*j + 36. Is 3 a factor of j?
True
Is 43 a factor of 16/12 - (-10010)/30?
False
Suppose 0 = 8*m - 10*m. Suppose 3*l - 1 - 71 = m. Is 7 a factor of l?
False
Let g = -7 + 12. Let d(y) = -3*y**2 - 1 + g + 4*y**2 + 2*y. Is 7 a factor of d(-3)?
True
Suppose 3*t = 5*a + 4*t + 25, 0 = -2*a - 4*t - 28. Is a/14 - 3483/(