 Is v(31) a multiple of 17?
False
Suppose 12355 = -12*b + 57283. Is 96 a factor of b?
True
Suppose 0 = 5*k + 11 - 1. Let v(h) = -31*h - 13. Is v(k) a multiple of 11?
False
Suppose 0*z - 2*z + 14 = 0. Let o(y) = -y**3 + 8*y**2 - 5*y - 9. Let k be o(z). Suppose -k = -x + 1. Is 6 a factor of x?
True
Suppose -3*m - 2*l + 6 = 0, -l + 7 = 4*m - 1. Suppose m = 5*i - v, -2 = -2*i - 2*i + v. Suppose i = 4*d - 5*d + a + 75, -d + 78 = -2*a. Does 24 divide d?
True
Suppose -2*a + a + 4*j = 240, 0 = -4*a - 4*j - 980. Let i = -153 - a. Is i a multiple of 17?
False
Suppose 1078 = 4*m - 2*u, -4 = -5*u + u. Is m a multiple of 30?
True
Suppose 807 = 2*k + q, 7*q - 2*q + 431 = k. Is k a multiple of 21?
False
Let i be (-3 + 5/3)*9/(-6). Suppose 107 = i*v + y, 0*v - 3*y = -5*v + 273. Does 54 divide v?
True
Suppose -3*l = -1 - 11. Suppose 5*q = -2*a - 4, l*q + a + 4 = -a. Suppose 20 = -q*c + 4*c. Is c a multiple of 4?
False
Let r(l) = 2*l**2 + 15*l - 6. Let w be r(-9). Does 30 divide (108/(-2))/(w/(-14))?
False
Let j(b) = b**3 + 7*b**2 + 7*b + 6. Let x be j(-4). Is 3 a factor of x/(-1)*(-3)/6?
False
Suppose 3*d - 4300 = -21472. Does 27 divide ((d/(-15))/6)/((-2)/(-5))?
False
Let a = 6945 - 3633. Is 12 a factor of a?
True
Let y(t) = t**2 - 21*t + 12. Let v be y(18). Is (v/24)/(1/(-16)) a multiple of 7?
True
Let d = 2667 - 2412. Does 2 divide d?
False
Suppose -4*k + 631 = -2033. Does 18 divide k?
True
Suppose -3*h = -3, -5*x - h + 4 = -7. Suppose 0 = j - 2 - x, -4*i - 5*j = -140. Is 15 a factor of i?
True
Suppose 0 = 2*p - 5 - 3. Suppose -i - 14 = -2*d - p*i, 2*d - 6 = i. Suppose -5*m - 4*h = -123, 0 = d*m + 2*h + 2*h - 100. Does 11 divide m?
False
Suppose -12 = -2*k + t - 6*t, 0 = 2*k - 4*t - 12. Let v(l) = k*l**2 - 8*l**3 + 7*l**3 + 2 + 8*l + 15. Is 8 a factor of v(7)?
True
Let v = 12 + -10. Suppose v*i + 2*i - 21 = -5*x, x = -5*i + 21. Suppose -2*p = -i*p + 54. Is p a multiple of 9?
True
Let l = 311 - 271. Is 5 a factor of l?
True
Let l = 364 + 834. Is l a multiple of 106?
False
Let s = -3 + 23. Let y = 55 + s. Does 25 divide y?
True
Let c = 1803 + -48. Does 30 divide c?
False
Let n(f) = -f**3 + 7*f**2 + 2. Let r be n(7). Let o be (-12)/(-2) + -3 - r. Is 7 a factor of 8/(-12)*o*-39?
False
Suppose 3*x - 5*v - 230 = 0, 4*v - 165 = -2*x + 5*v. Is x/(1 + (-1)/2) a multiple of 17?
True
Suppose 3*z + 23 = 38. Suppose 0*o + 3*o + z*x = 719, 3*x + 454 = 2*o. Is o a multiple of 26?
False
Let a = 47 + -45. Is 5 a factor of (-31)/((-6 + 4)/a)?
False
Let f = 56 - 121. Let m = -128 - f. Let g = -17 - m. Does 13 divide g?
False
Let y(p) be the second derivative of -p - 3/2*p**2 + 0 + 4/3*p**3. Is 7 a factor of y(2)?
False
Suppose -4*u + 3*u = -11*u. Suppose u = 52*v - 55*v + 294. Is 14 a factor of v?
True
Suppose 3*q - q = 2, 0 = -2*o + 5*q + 397. Is 4 a factor of o?
False
Suppose 4*l - 11*l = -6524. Does 14 divide l/5 - (12/5)/6?
False
Let k(a) = -a**3 + 11*a**2 - 9*a - 7. Let y be k(10). Suppose 19 = 4*t + y. Suppose 8*u - t*u - 128 = 0. Is 15 a factor of u?
False
Is 21/2*792/54 a multiple of 20?
False
Suppose -31 + 187 = 4*h. Does 17 divide (h/15 - 2) + 544/10?
False
Let z(p) = -3*p**3 - 5*p**2 + p - 8. Suppose -6*w = -2*w + 16. Is z(w) a multiple of 25?
True
Let q(j) = j**3 + 7*j**2 + 2*j - 1. Suppose -12 = 4*m + 2*n, -5*m - 63 = -4*n - 22. Is 10 a factor of q(m)?
False
Suppose -1098 = 5*k - 11*k. Let o be (-1 + 0 - -2) + 2. Suppose -4*q + 46 = -3*q - p, k = 4*q - o*p. Does 16 divide q?
False
Suppose 0 = 4*i - 16*i - 108. Let n(r) = -2*r**2 - 19*r + 10. Let a(x) = -3*x**2 - 29*x + 15. Let c(v) = 5*a(v) - 8*n(v). Is 6 a factor of c(i)?
False
Let n(o) be the second derivative of o**5/20 - o**4/2 + 4*o**3/3 - 2*o**2 + 13*o. Does 11 divide n(5)?
True
Suppose 0 = 2*m + 3*a - 108, 0*m - 3*m + 2*a + 188 = 0. Suppose -10*i + 0*i = -m. Does 2 divide i?
True
Suppose -1 + 7 = -i. Is 14 a factor of 378/(-9)*8/i?
True
Let u(t) = -t**3 - 14*t**2 + 15*t - 22. Let f be u(-15). Does 11 divide f*(171/(-54) + (-2)/(-3))?
True
Suppose -i - 69 = 3*i + 5*z, -i = -4*z - 9. Let u = 2 - i. Suppose -g + u = -20. Does 9 divide g?
False
Is (-64180)/(-45) + (-4)/18 a multiple of 36?
False
Let t = 6 + -6. Let r(o) = 20*o + 7 - 20*o + o**3. Is r(t) a multiple of 3?
False
Let n(s) = -4*s - 29. Let p be n(-6). Let w(b) be the third derivative of b**5/20 + 7*b**4/24 - b**3/3 - 9*b**2. Does 14 divide w(p)?
False
Let v be (-2)/9 + 1640/90. Let p = 40 - v. Is 4 a factor of p?
False
Suppose -2*f - 2640 = -2*n, 3*n + 44*f - 3948 = 43*f. Does 3 divide n?
True
Let n = 29 + -26. Let x(i) = 5*i**2 + 4*i - 6. Is 3 a factor of x(n)?
True
Let r be (-3 + -3)/(3/178). Is 20 a factor of 5*8/60 - r/6?
True
Suppose -5*f - 312 + 887 = 3*b, 0 = 4*b + 20. Suppose -5*w + 50 = 2*y + 4, -4*y + 3*w + f = 0. Is 5 a factor of y?
False
Let d(v) be the second derivative of v**3/6 + 8*v**2 - v. Let q(t) = t**3 - t**2 + 3*t - 4. Let l be q(0). Does 6 divide d(l)?
True
Let c(w) = 2*w**2 + 9*w - 5. Is c(10) a multiple of 49?
False
Let y be (-14)/(-4) - 5/(20/(-6)). Let b be 0 + 2*19*3. Suppose 2*n + b = y*n. Is 12 a factor of n?
False
Let v(k) = k**2 - 4*k + 6. Suppose -3*c = -26 - 34. Suppose -3*q + 0*q + c = 5*d, -24 = -3*q - 3*d. Does 22 divide v(q)?
True
Suppose 0 = -9*j + 2481 - 276. Does 49 divide j?
True
Suppose -4*r + 34 = 3*o, 2*o - 4*r = -0*o + 56. Is 735/27 + (-4)/o a multiple of 9?
True
Let w(d) be the second derivative of -2*d**3 - d**2 + 27*d. Let q(l) = -l**2 - 2*l - 2. Let g be q(-2). Is 8 a factor of w(g)?
False
Let x(r) = 2*r**3 - 4*r**2 - 6*r - 2. Let j be (-96)/(-15) - 2/5. Let v be x(j). Suppose l - 3*d + 200 = 5*l, -5*l = 2*d - v. Is l a multiple of 14?
False
Let r be (1 + 1)*(-120)/16. Let w = r + 31. Suppose -2*u + 4 + w = 0. Is 5 a factor of u?
True
Let j = 14 - 4. Let p be (-6)/j - 36/(-10). Suppose -p*w = 2*w - 150. Is 29 a factor of w?
False
Let f = 11 - 15. Let x(d) = -d - 4. Let q be x(f). Suppose q = 2*l - l - 41. Is l a multiple of 15?
False
Let q = -16 + 21. Suppose 3*w - 44 = i, 0 = -4*w - q*i + i + 32. Does 3 divide w?
False
Is ((-57)/(-9))/((2 - 8)/(-378)) a multiple of 21?
True
Suppose -5*i + 8 + 7 = l, -4*i + 33 = 5*l. Suppose -l*f - g + 13 = 2*g, -4*g = 5*f - 14. Suppose -f*z + 219 = 45. Is z a multiple of 29?
True
Let i(x) = -x**3 - 3*x**2 + 6*x - 4. Suppose 0 = -l + d - 6, -3*d = 2*l + d + 6. Is i(l) a multiple of 4?
True
Let q = 45 - 72. Let r = -48 - q. Does 9 divide (14/r)/((-1)/15)?
False
Is 9776/14 + (-134)/469 a multiple of 4?
False
Does 19 divide (-6)/12*1140/(-10)?
True
Suppose -q + w = -26, 4*q + w = 3*w + 100. Is 2 a factor of (-1)/(92/q + -4)?
True
Suppose -3*x + 2146 = 2*x - 2*r, -5*r - 1299 = -3*x. Suppose 0 = -2*a + 6*a + x. Let q = -56 - a. Is q a multiple of 17?
True
Suppose 4*h + 3 = i + 3*h, -2*i - h + 12 = 0. Let j = i + 0. Does 4 divide j?
False
Let x(r) = -6*r**2 - 4*r - 4. Suppose 15 = 3*k - 8*k. Let j be x(k). Let f = -16 - j. Does 15 divide f?
True
Let c(i) = 3*i**3 - 2*i**2 + 1. Let w be c(-2). Let f = w - -25. Is -10*f/(30/25) a multiple of 10?
True
Let u = -287 + 432. Is u a multiple of 12?
False
Suppose -5*i - 25 = 0, x + 3*i - 46 = 7*i. Does 14 divide (13/x)/(1/28)?
True
Let x be 3/4 - (-33)/(-44). Let l be 0/(-4) + (2 - x). Suppose -m = l, 2*d - m - 32 = 4*m. Is d a multiple of 3?
False
Let b(x) = x**2 + 2*x - 6. Let w be b(-4). Suppose -w*a + 28 + 54 = -2*k, a - 29 = -3*k. Is 38 a factor of a?
True
Let s(i) = i**2 - 11. Suppose 2*w - 5*w = k + 16, 5*w + 2*k + 27 = 0. Is 3 a factor of s(w)?
False
Let t(j) = -j**3 + 26*j**2 - 36*j - 28. Is t(24) a multiple of 11?
False
Let f(b) = -b**3 + 15*b**2 + 15*b + 19. Let v be f(16). Suppose -21 = -6*c + v. Is 4 a factor of 3 - (-4 + c) - -21?
True
Suppose 6*u - 18 + 24 = 0. Does 4 divide (u - (-9)/3) + 34?
True
Suppose -2*y = -y + 5*i + 18, 3*i + 16 = 2*y. Suppose -2*a - 24 = -q, -36 = -q - y*a - 2*a. Is q a multiple of 11?
False
Let q(z) = 5*z + 13. Let i be q(-7). Let v = 6 - i. Let n = 44 - v. Does 8 divide n?
True
Let v = -43 - -37. Let c = v - -14. Is c a multiple of 8?
True
Let p(s) = s**2 + 16*s + 40. Let t be p(-18). Let d = t + -60. Is 4 a factor of d?
True
Suppose -5*g - 5*o = -2 + 7, 0 = -5*g + o + 25. Let w be g/(-5) - (-438)/(-15). Let a = 21 - w. Is a a multiple of 12?
False
Let g be 4/(-14) - 869/(-77). Let k 