True
Suppose -133 - 19 = -2*w. Does 28 divide w?
False
Let j(y) = 18*y**2 + y. Does 17 divide j(-1)?
True
Let s(o) = 14*o**3 + 3*o**2 - 2*o - 2. Let l(z) = -15*z**3 - 4*z**2 + 2*z + 3. Let q(w) = 3*l(w) + 4*s(w). Let y = 1 - 0. Is q(y) a multiple of 5?
True
Suppose 11 - 1 = 5*n. Suppose 2*w + 2*k = 12, -n*k = 4*w - 9 - 7. Suppose 2*v + 5*z = -w*v + 71, 0 = -2*v - 4*z + 28. Does 14 divide v?
False
Suppose -8*c = -3*c - 165. Is 4 a factor of c?
False
Suppose 3*v + 3 = a, 0 + 5 = -5*v + a. Is 16 a factor of v/((-2)/(58*1))?
False
Let l = -34 - -99. Is l a multiple of 9?
False
Let c(i) = -2*i + 2 + 2*i + 0 + i. Is c(4) a multiple of 6?
True
Suppose 72 = -0*o + 2*o. Let y be o*1*(-3)/(-2). Let h = -38 + y. Is 12 a factor of h?
False
Let y = 12 - 8. Is y a multiple of 2?
True
Let r(p) = 6 - 2*p**3 + 3*p + 0*p**3 - 4*p**2 + p**3. Let y be r(-5). Suppose 88 = 2*u + y. Is u a multiple of 15?
False
Let f be 1 + 0 - (-2 - 0). Suppose 3*v - 6*v - h + 60 = 0, 90 = 4*v - 2*h. Suppose -5*z + 3*q + 33 = 0, 0*q + f*q = 3*z - v. Does 5 divide z?
False
Does 15 divide ((-36)/(-24))/((-2)/(-60))?
True
Suppose -4*c + 5 = 21. Let s = c - -4. Suppose -2*d = -s*d - 38. Is 19 a factor of d?
True
Let t = -1 - -11. Is 316/20 + 2/t a multiple of 8?
True
Does 9 divide (-3*(-127)/2)/((-12)/(-16))?
False
Suppose -r + 5*r + 13 = -p, 5*r - 10 = 4*p. Let x be p/(30/368)*-3. Suppose 3*f + 2*f = -4*z + x, -2*z - 88 = -2*f. Does 20 divide f?
True
Suppose -11*c + 122 = -274. Is 14 a factor of c?
False
Let a be ((-12)/(-14))/((-1)/(-7)). Does 3 divide a - 4 - 2*-1?
False
Let r = -3 - -5. Let n = -1 + r. Suppose p + n - 3 = 0. Is 2 a factor of p?
True
Suppose 4*y + 1 = 41. Is 10 a factor of y?
True
Let y(p) = -3*p. Let l be y(-2). Let d be (-2)/(-14) - (-80)/28. Suppose 2*b - 4*q - 52 = 0, -123 = -5*b - d*q + l*q. Does 12 divide b?
True
Suppose -i + 5*q = 3*i + 15, -3*i = -4*q + 12. Is 13 a factor of 0 + (49 + 3 - i)?
True
Let f = -39 - -71. Suppose -2*h = 2*h - f. Is 8 a factor of h?
True
Suppose -3*u + 10*u = 294. Is u even?
True
Suppose -u - 6 = -99. Suppose u = -5*t + 33. Is 11 a factor of (18/(-4))/(2/t)?
False
Suppose 0 = l - 5*l - 12. Let k(a) = -a**3 - a**2 - a + 4. Let y be k(l). Let x = y + -13. Is 12 a factor of x?
True
Suppose -5*g - 14 + 2 = -3*z, 4*g = -z + 4. Let h = z + 0. Is 2 a factor of h?
True
Suppose -76 = -3*n + 26. Does 34 divide n?
True
Suppose 0 = 2*z - 4*z - 4, 0 = q - 4*z - 15. Let v = q + -4. Suppose -p - 3*l - l + 41 = 0, -p = -v*l - 62. Does 20 divide p?
False
Let k(m) be the first derivative of m**4/4 - 2*m**3/3 - m**2 + 3*m + 3. Let t be k(5). Suppose 28 = -2*u + t. Is 9 a factor of u?
False
Suppose 4*b = -0*b. Let x = 4 - 1. Suppose -2*f = -k + 2, -23 = -b*k - 5*k - x*f. Is k a multiple of 4?
True
Suppose 5*l - 15 = 5*a, 2*a + 7 = 3*l - 2*a. Suppose 5*h + y - 7 = 0, -l + 3 = 2*h + 2*y. Let s(u) = u. Does 2 divide s(h)?
True
Suppose -2*f - 5 = 1. Let a be (15/9)/((-1)/f). Suppose 2*s - a*p - 8 = 0, 0*s + 52 = 4*s - p. Does 10 divide s?
False
Let s = 166 - 28. Is 23 a factor of s?
True
Let f be 4/(-10) - 4/(-10). Let l be 42*(f + -2 + 1). Is 4 a factor of (l/(-35))/((-6)/(-20))?
True
Let v(g) = 6*g - 31. Is v(19) a multiple of 10?
False
Let b(i) = i**3 - 5*i**2 + 3*i - 4. Let t be b(5). Suppose 9 = 4*q - t. Suppose -7*r = -q*r - 38. Does 19 divide r?
True
Suppose 0 = 4*j - 9 + 1. Let x(u) = u**3 + 6*u**2 + 6*u + 5. Let l be x(-5). Suppose -5*w + 23 + 21 = 2*c, -c + j*w + 22 = l. Does 12 divide c?
False
Suppose -21 = -2*j + b, 2*j - 20 = -b + 7. Let w(r) = r**2 + 3*r - 3. Let l be w(-5). Let f = j - l. Is f a multiple of 5?
True
Let r(t) = -t**3 + 10*t**2 + 14*t + 6. Is 22 a factor of r(11)?
False
Suppose -6*l = -9*l + 192. Suppose -4*n + l = 4*t + n, 3*t + n = 48. Does 8 divide t?
True
Let f(p) be the third derivative of -7*p**4/12 - 2*p**3/3 - 6*p**2. Is f(-7) a multiple of 25?
False
Does 34 divide 5 + 174 + 5 - (-1 - -3)?
False
Does 7 divide 63/((-1)/(-2)*2)?
True
Let g = -27 + 77. Suppose 3*s + 48 = -3*j + 6*j, -3*j + 4*s + g = 0. Does 7 divide j?
True
Let s(k) = -2*k - 8. Let l be s(-6). Suppose 130 = 5*g + z + 4*z, -4*g = -l*z - 104. Is 11 a factor of g?
False
Suppose -8 = 2*p - 6. Let f(d) = 11*d**2 + d + 1. Is f(p) even?
False
Let t(u) be the first derivative of -3*u**2/2 + 4*u - 3. Suppose v - 7 = -3*f, -3*f = -4*v - 20 - 27. Is 18 a factor of t(v)?
False
Let a be 20/(-6)*9/(-6). Let v(b) = -39*b + 1. Let m be v(-3). Suppose m = a*s + 3*y, 10 = -s + 4*y + 52. Is 13 a factor of s?
True
Suppose 0 = -3*x - g + 13 + 28, -70 = -5*x - 2*g. Let q(b) = -4*b. Let t be q(-1). Suppose 0 = -z + t*c + 4, -c - 2*c + x = 3*z. Is z a multiple of 3?
False
Suppose 2*k - 3*k - 2 = 0. Suppose -2*t + 2*p + 15 = 5*p, 5*t - 2*p - 28 = 0. Does 4 divide t*(12/(-9))/k?
True
Is 10/25 - (-456)/10 a multiple of 23?
True
Suppose -58 = -5*m + 112. Is 17 a factor of m?
True
Suppose -6*r = -3*r - 12. Is ((-23)/(-2))/(r/8) a multiple of 11?
False
Suppose -2*m + 2 - 12 = 0. Let u(i) = -i**2 - 7*i - 4. Is u(m) a multiple of 3?
True
Suppose -5*t - 37 = 13. Let x = t - -6. Does 5 divide ((-10)/6)/(x/24)?
True
Let g(v) = -v**2 - 8*v + 3. Let q be g(-8). Suppose -q*x + 16 = x. Is x a multiple of 2?
True
Does 22 divide (-1 - 21)*16/(-8)?
True
Suppose -4*i + i = -3*c - 87, -5*i = -c - 153. Let w = i + -45. Let v = w - -20. Is v a multiple of 3?
True
Suppose -5 = j + 4*z - 21, 5*j = 3*z + 195. Is 12 a factor of j?
True
Let s = 45 + -19. Is s a multiple of 3?
False
Let w be (-4)/(-6) + 61/3. Let c be 0*2*2/4. Suppose c = -2*o + 19 + w. Is 10 a factor of o?
True
Let g be 3/(-3) - (-1 - 0). Suppose g = 4*c - c. Suppose -4*v - 59 + 215 = c. Does 13 divide v?
True
Is (-1 + 0)/((-7)/56) a multiple of 4?
True
Let x be 1 - ((-6 - -3) + 2). Suppose 0 = -x*t - 2*t + 96. Is t a multiple of 8?
True
Let d = 145 - 46. Is d a multiple of 11?
True
Let y(k) = -10*k**2 + 3*k + 1. Let u(w) = 10*w**2 - 4*w - 1. Let j(b) = -4*u(b) - 5*y(b). Suppose -4*p = 3*m - 8 - 11, 4*p = m + 15. Does 8 divide j(m)?
False
Suppose 9*i - 165 = 4*i - 5*n, 0 = -4*i - n + 147. Let s = i - -18. Does 28 divide s?
True
Suppose -4*d - 10 + 2 = 4*q, 6 = -2*d - 3*q. Suppose -4*h = 3*g - 73, 3*g + 7*h - 4*h - 69 = d. Does 3 divide g?
False
Let a = -15 - -5. Let q = a + 31. Is 10 a factor of q?
False
Suppose -3*h + 6 = -r, 102 = -4*r - r - 3*h. Let l be (-126)/15 - (-4)/10. Let u = l - r. Is 4 a factor of u?
False
Let c = 508 + -362. Does 7 divide c?
False
Suppose k = -0 + 5. Suppose -4*w + 52 = -2*w + 5*g, 3*w + k*g = 73. Is 21 a factor of w?
True
Let a(u) = 2*u**3 + 2*u**2. Let p be a(3). Suppose -6 = -2*l + p. Is l a multiple of 13?
True
Suppose -2*d - q + 7 = -28, -5*d + 5*q + 65 = 0. Does 16 divide d?
True
Let o(d) = 7*d - 1. Let k(t) = 7*t - 1. Let h(l) = 3*k(l) - 2*o(l). Let c be h(2). Is c - (-2)/((-2)/1) a multiple of 6?
True
Let a(h) = 11*h - 4. Let v be a(4). Let x = -14 + v. Is 13 a factor of x?
True
Suppose -3*d - 3*k = -6*d, d - 4 = 3*k. Let u be (-1)/1 + d + 9. Let f(z) = z**3 - 5*z**2 - 6*z + 9. Is f(u) a multiple of 3?
True
Let t(a) = 3*a**2 - a - 1 + 0*a - 2*a + 4*a. Does 20 divide t(-4)?
False
Let i(x) = 7*x**2 - 3*x + 2. Suppose 3 = a - 0. Is 26 a factor of i(a)?
False
Suppose -4*h - 3*o = -9*h + 440, -2*h = 2*o - 160. Suppose 0 - h = -5*m. Is m a multiple of 8?
False
Suppose -c = -5*c + 20. Let f(b) = 2*b + 2. Does 9 divide f(c)?
False
Suppose -5*l + 58 = -3*d - 9, -4*l = -4*d - 52. Does 13 divide 972/21 - 4/l?
False
Let j(v) = -v - 13. Let r be j(-10). Let w(o) = -o**3 - 3*o**2 - 3*o. Is 3 a factor of w(r)?
True
Suppose -2*z - 6*k = -k - 388, z - 4*k - 220 = 0. Does 46 divide z?
False
Suppose 0 = 2*c - 7*c + 10. Suppose 5*j = -3*a + 139, -4*a = c*j - 6*j - 164. Does 12 divide a?
False
Suppose -r + w = -0*r - 229, 0 = w + 3. Is r a multiple of 10?
False
Let l be (-9)/(-12)*4/1. Let a(y) = -y**3 - 8*y**2 + 7. Let o be a(-8). Let d = o - l. Is d a multiple of 2?
True
Let x = 51 + -39. Is 12 a factor of x?
True
Suppose 3*x - 2*x = 2. Suppose 0 = -4*l + 3*l + x. Let c = 5 - l. Does 2 divide c?
False
Suppose 119 = -14*m + 15*m. Is m a multiple of 17?
True
Let y(f) = 66*f - 30. Does 30 divide y(5)?
True
Let n(f) = f**3 + 5*f**2 + 3. Let g = 9 + -5. Suppose p + 0*p = -g. Is 15 a factor of n(p)?
False
Suppose 4*r + 5