((-60)/8) + 698/5. Suppose -x + j = 2*x - 105, 0 = 4*x + j - o. Is 35 a factor of x?
True
Suppose 2*n - 5*n - 5*x + 10 = 0, 3*x = 4*n + 35. Let b = -3 - n. Suppose 0 = -4*c + 6*h - 2*h + 344, -c + 74 = b*h. Does 21 divide c?
False
Suppose 4*x = -0*x + 16. Is 24/32 + 557/x a multiple of 10?
True
Let n(s) = 5*s**2 - 59*s - 27. Does 99 divide n(26)?
False
Let f(b) = b - 6. Let o be f(6). Suppose -2*z + 6*z + 24 = o. Let w = z - -12. Does 4 divide w?
False
Is ((-2)/(-7) - (-19247)/133)*10 a multiple of 70?
False
Suppose 4*x - 218 - 214 = 0. Let l = x + -59. Is l a multiple of 17?
False
Let l = -516 + 912. Is 9 a factor of l?
True
Suppose 27*o - 85586 = 17878. Is 20 a factor of o?
False
Suppose -7 - 8 = -5*b. Suppose -m - 24 = b*m. Is 3 a factor of (-20)/m - (-3)/(-9)?
True
Let h(r) = -32*r + 243. Does 5 divide h(-11)?
True
Let w(m) = -m**2 - 8*m + 15. Is 11 a factor of w(-7)?
True
Let n = -57 - -53. Does 41 divide 4 + 15/n - 1910/(-8)?
False
Let t = 17 + -13. Suppose -t*r = -0*r + 272. Is r/(-6)*3/2 a multiple of 8?
False
Is (1872/(-27))/(2 + 24/(-9)) a multiple of 3?
False
Let b be (0 + -1)/((-11)/44). Suppose -4*l - 8 + 3 = -3*g, 17 = b*g + 5*l. Suppose g*d + 2*d = 210. Is d a multiple of 11?
False
Suppose -4*i - c = -137, 5*i - 5*c - 165 = -0*c. Is i a multiple of 2?
True
Let v be 2/10 + 14103/(-15). Is 2/(-9) - v/18 a multiple of 13?
True
Suppose -3*n - 2*z + 454 = 0, 3*z = -5*n + 2*n + 450. Is 14 a factor of n?
True
Let v(x) = 49*x**3 + 2*x - 1. Suppose 2 = 4*t - 3*g - 6, 3*g = -5*t + 37. Suppose 0*i + i - t = -c, -5*i - 11 = -4*c. Is 20 a factor of v(i)?
False
Let x(w) = w + 9. Let c be x(-7). Suppose -c*h + h - 20 = 0. Let i = 44 + h. Is i a multiple of 24?
True
Let o = 8 - 6. Let x(l) = -o*l + 5*l + l + l**2 - 2 - 2*l. Is x(-4) a multiple of 5?
False
Let v(b) = -27*b - 101. Is v(-24) a multiple of 26?
False
Let r(x) = 3*x**3 - 3*x - 4. Let j(n) = -12*n**3 + n**2 + 12*n + 15. Let v(w) = -2*j(w) - 9*r(w). Is 27 a factor of v(-3)?
False
Is 28 a factor of (28/6)/(((-22)/(-12))/11)?
True
Let j(t) = -6*t**2 - 30*t - 7. Let i be j(-7). Let o = i - -128. Does 6 divide o?
False
Suppose 2*v + 111 = -103. Let k(f) = -24*f - 7. Let d be k(7). Let r = v - d. Is 34 a factor of r?
True
Suppose 0 = 14*i - 2135 - 2429. Is 63 a factor of i?
False
Suppose -y + 52 = u + y, 2*u - 114 = y. Let v = u - 28. Is v a multiple of 7?
True
Let q(l) = -10*l**3 - l**2 + 1. Let d be q(-1). Suppose -d = -2*y + 38. Is 13 a factor of y?
False
Let q be 2/6 - 56/(-21). Suppose -155 + 29 = -q*k. Is k a multiple of 14?
True
Let x(z) = z + 1. Let w(f) = -f + 14. Let v(q) = -w(q) - 2*x(q). Let u be v(-13). Does 2 divide ((-1)/3 + -1)*u?
True
Let k(d) = -3*d**2 - 10*d + 7. Let b be k(-5). Let h = b + 18. Suppose -2*u + 3*a + 26 + 67 = h, 5*a = 15. Does 13 divide u?
False
Let u = 18 - 27. Let f be (6/u)/(4/(-6)). Let a(c) = 30*c**2 - 2*c + 1. Is a(f) a multiple of 29?
True
Let b be (-104)/(-20) - (-2)/(-10). Suppose 0 = i - b*y + 24, -2*i + 0*y = -y + 21. Let c = i - -34. Does 16 divide c?
False
Let s = 23 + -20. Is 18 a factor of (-1 - s/(-3)) + 54?
True
Suppose -5*h = 5*y + 25, 5*h + 6 = 5*y - 19. Let x = 5 - y. Suppose 43 = 3*s - 3*k + 2*k, x*k = -4*s + 51. Is 7 a factor of s?
True
Let t(k) = 2*k**2 - 8*k + 8. Let r be t(4). Let o = r - -4. Is o a multiple of 6?
True
Is 10 a factor of 713/9 + 48/(-216)?
False
Suppose -2*l + 5*y - 89 - 104 = 0, 4*y - 95 = l. Let x = l - -194. Does 19 divide x?
True
Let q = 54 - 51. Let y(r) = 28*r + 7. Is 13 a factor of y(q)?
True
Let l be (((-48)/(-10))/4)/((-3)/(-10)). Suppose l*r - r + 2*d - 102 = 0, -d - 75 = -2*r. Is 9 a factor of r?
True
Let n be 0/2 - 33/(-11). Suppose -4*q + 4*f + 61 + 31 = 0, n = q + 4*f. Suppose 4*v + 5*z - 73 = 0, v - 5*z + q - 6 = 0. Does 4 divide v?
True
Suppose -98*n = -100*n + 152. Does 19 divide n?
True
Let p(u) = -u**2 + 3*u + 4. Let s be p(4). Let j(r) = r**2 + r + 3. Let q be j(s). Suppose q = 5*m - 127. Does 13 divide m?
True
Let i(s) be the first derivative of -s**4/2 + 4*s**3/3 + s**2/2 - 7*s + 10. Does 20 divide i(-3)?
True
Let t(w) = 90*w**2 - 10*w + 19. Does 3 divide t(2)?
False
Suppose 26 = 2*i - 3*i. Let j = -31 - i. Is 6 a factor of j - -28 - (3 + -4)?
True
Suppose -4 = -4*j, 2*c + 2*c - 17 = 3*j. Suppose 5 = 2*t + m, 7 = c*m + 2. Suppose -t*r + 17 + 25 = 0. Is 21 a factor of r?
True
Let k = 694 - -307. Is 8 a factor of k?
False
Let k be (0 - 2)*(-7)/(-7). Is 13 a factor of (-10)/(-2) + -1 + k - -24?
True
Let o = 120 + 37. Is o a multiple of 19?
False
Let y = 8 - 7. Let d be (-1 + -4)/(y/(-45)). Suppose -d + 21 = -6*k. Does 6 divide k?
False
Let y(r) = 372*r - 34. Is y(4) a multiple of 8?
False
Let h be 8 + 0 - (8 - 4). Let f be 38/h - 10/20. Suppose 4*n = l + 18, -n + 4*l = 6*l - f. Is n a multiple of 5?
True
Does 33 divide -4 + 1 + -26*(-7)/2?
False
Does 27 divide 27684/48 + -10 - 1/(-4)?
True
Suppose 288*y = 293*y - 880. Is y a multiple of 23?
False
Suppose 2*f - 16 = 14. Let o(k) = -k**3 + 72*k**2 - 83*k**2 - 2*k - k + f. Does 12 divide o(-11)?
True
Let k(m) = 17*m**2 + 2*m. Let w be k(-2). Suppose 0 = -v + 3*v - 2*u + 46, -2*v - 4*u = w. Is 13 a factor of v/3*(-6 - 3)?
True
Let h be (80/(-25))/((-5)/25). Suppose -h = -4*m + 2*m. Does 2 divide m?
True
Is 111*2 + (46 - 46) a multiple of 3?
True
Suppose 2*t + 2*o + 10 = 0, 2*t - 5*t - o = 15. Let y = 11 + t. Suppose 4*v - y*v + 132 = 0. Is v a multiple of 16?
False
Let p = -3994 + 5674. Does 30 divide p?
True
Suppose -3*z = 9*m - 10*m + 270, z = 2. Is m a multiple of 46?
True
Let c(v) = -17*v - 25. Let g be (-5)/(-3*(-1)/3). Is c(g) a multiple of 12?
True
Suppose 17*o - 7486 = 402. Is o a multiple of 9?
False
Suppose -57 = -5*b + 3. Let l be b/(-9)*(-12)/8. Suppose -40 = -l*v - 5*c, 0*c = 5*v - c - 73. Is v a multiple of 5?
True
Let k = 408 - 168. Suppose -k = -8*q + 56. Is q a multiple of 23?
False
Let r = -49 - -110. Is r a multiple of 19?
False
Let v = 354 - 335. Is 2 a factor of v?
False
Let x(c) = c**2 + 4*c - 321. Is 2 a factor of x(-21)?
True
Let w(y) = y**3 - 22*y + 33. Is 57 a factor of w(9)?
False
Let v be (10*12/(-720))/((-2)/204). Suppose a + 294 = u + u, -3*a = 5*u - 735. Suppose u + v = 2*s. Does 12 divide s?
False
Let d(a) = a**2 + 14*a + 34. Is d(29) a multiple of 4?
False
Let l = 22 + 8. Let m = l + 2. Does 5 divide m?
False
Let f(j) = -j**3 - 5*j**2 + 6*j + 9. Let i be f(-6). Suppose v + i = 4*m, -2*v - 3*v - 45 = -5*m. Is (v + -5)*18/(-7) a multiple of 12?
True
Let h = 2650 + -1782. Is 7 a factor of h?
True
Suppose -4*f + j = -49, -40 = -2*f - 2*f + 4*j. Suppose 0 = -f*d + 176 + 344. Is 10 a factor of d?
True
Suppose 38*k + 16448 = 104380. Does 26 divide k?
True
Let q be (-3)/5*(-10)/1. Is (219/q + -1)*2 a multiple of 16?
False
Is 8 a factor of (-466)/(-1) - (1 + -6)?
False
Let y be (-17)/(12/8 - 2). Let n = y - 30. Suppose -3*k = -n*k + 36. Does 18 divide k?
True
Let c be 6 - (1 - (-6)/(-3)). Suppose -2*r = -c + 3. Suppose 3*u = r*u + 76. Is u a multiple of 38?
True
Let t = 20 - 17. Let h be (1 - t)*-3 + -4. Suppose -3 = h*i - 75. Is 9 a factor of i?
True
Let f = -341 - -465. Is f a multiple of 34?
False
Suppose 5*i + 8 = 2*l, 4*i = 4*l + i - 2. Is 10 a factor of 69 - (-3)/(-1) - l?
False
Suppose -16 = 9*v - 5*v. Is (66/55)/(v/(-170)) a multiple of 10?
False
Let z = -10 + 11. Let p(i) = 13*i**3 + 0*i**2 - 2 - i**2 + 2*i + z. Is 4 a factor of p(1)?
False
Let r = 255 - 201. Does 6 divide r?
True
Let u = -1635 + 3031. Does 39 divide u?
False
Let k(s) be the second derivative of s**5/20 + s**4/4 + s**3/2 + s**2 + 4*s. Let o be k(-2). Suppose -10 = -y - 4*a, o*a - 2 = 2*a. Is y a multiple of 14?
True
Suppose -5*o = a - 5*a - 86, 0 = 3*a + 4*o + 80. Let s = -20 - a. Suppose -5*g = -v + 27, 0*v + 30 = v - s*g. Is v a multiple of 6?
True
Let g(k) = 57*k**2 - 7*k - 5. Let i be g(3). Suppose i = -6*s + 1909. Is 31 a factor of s?
False
Let x(c) = 7*c**2 + 14*c + 27. Is 94 a factor of x(19)?
True
Suppose 0 = 4*w + 2*o - 4560, w + 16*o - 1140 = 18*o. Is 15 a factor of w?
True
Suppose -6 = -r - 2*r, 3*r = -3*i + 801. Suppose -2*m - 3*m = -i. Is 8 a factor of m?
False
Let r(n) = -22*n + 28. Is r(-6) a multiple of 16?
True
Let n(f) = -f**2 + 8*f - 17. Let u be n(9). Does 2 divide (5 - u) + -1 + -5?
False
Suppose 2*g - 321 = -63. Suppose 3*d +