rue
Suppose 0 = -4*q - 16, -4*d + 11 = -2*q - 5. Suppose 0*j = d*j + 84. Is (6/7)/((-3)/j) a multiple of 11?
False
Suppose 412 = 8*r - 388. Is r a multiple of 5?
True
Suppose -3*h + 350 = t - 79, 2*h + 5*t - 273 = 0. Is 12 a factor of h?
True
Suppose 2*o - 958 = -4*v, -384 = -o - 4*v + 99. Does 25 divide o?
True
Let x(y) = 2*y**3 - 6*y**2 + 3*y + 6. Let b be x(5). Suppose 9*g + 2*g - b = 0. Is 11 a factor of g?
True
Let w(p) = 6*p - 15. Let l = -20 + 25. Does 7 divide w(l)?
False
Suppose 5*c - 2*o = -499 + 5364, -3*c + 3*o + 2919 = 0. Is 17 a factor of c?
False
Suppose -3*h + 2*p + 394 = -553, 3*h - 953 = -p. Let d = h + -112. Is 41 a factor of d?
True
Suppose 460 = -6*a + 1336. Is a a multiple of 2?
True
Let c be (-77)/(-28) - (-2)/8. Suppose c*f = f + 82. Is 16 a factor of (-1)/(-2 - (-81)/f)?
False
Let s(w) = -w**2 - 9*w - 8. Let l be s(-8). Suppose 2*m - 86 = -2*u, m + 2*m - 4*u - 101 = l. Is m a multiple of 13?
True
Let b = -15 - -14. Let j(z) = 15*z**2 - z - 1. Let r be j(b). Does 9 divide 138/r - 2/10?
True
Suppose -y = -1 - 1. Suppose -4*r = -u - 20, 0 = -5*u + r + y*r - 185. Let x = -17 - u. Is x a multiple of 11?
False
Suppose 6*c = 4*c + 8. Suppose 585 = c*x - x. Is x a multiple of 35?
False
Let v(j) = 26*j**2 + 6*j - 6. Does 14 divide v(4)?
True
Suppose m - 2*m = -4*r + 20, 5*r - 3*m - 18 = 0. Suppose 4*p - 30 = r. Is 21 a factor of 925/p + 14/63?
False
Suppose -3*x + 3*p + 2336 + 4222 = 0, 2*p = -4. Does 56 divide x?
True
Let j(u) = -6*u**2 + 13*u - 5. Let h be j(6). Let l = -47 - h. Does 12 divide l?
True
Let n(h) = 13*h - 122. Is n(21) a multiple of 8?
False
Let j = -36 - -22. Is ((24/21)/2)/((-4)/j) even?
True
Let f = 2021 - 830. Is f a multiple of 29?
False
Suppose -81 = 2*t + 13. Is 21 a factor of 2 + (-4 - -1) - t?
False
Suppose -9*i + 4*i = -20. Suppose -i*y - 1 = -17. Let n(k) = 6*k**2 - 5*k + 1. Does 20 divide n(y)?
False
Let j = 15 + 27. Let i = -119 + 104. Let f = j + i. Is 23 a factor of f?
False
Suppose -b = -5, -5*c - b - 13 = -3. Let j(x) = 212*x**2 + 211*x**2 - 413*x**2 + 4*x. Is j(c) a multiple of 21?
False
Let j(q) = -q + 12. Let f be 0*((-6)/2 + 2). Is j(f) a multiple of 3?
True
Let i = -5 + 14. Let s be (-6)/i - 8/(-3). Suppose -t = -4*t + 5*y + 125, 4*t + s*y = 210. Is 18 a factor of t?
False
Suppose 3*r - 9*r = -1842. Is 7 a factor of r?
False
Let h(y) = -y + 30. Let t be h(0). Is 50 a factor of (0 - (-1 - 0))/(t/4500)?
True
Let q(k) = -2*k**3 - 7*k**2 + k + 7. Let d be q(-5). Let h(y) = y**2 + 4*y - 5. Let r be h(6). Let x = d - r. Is 22 a factor of x?
True
Let b be 8 + -1 + -1 + (-2)/2. Suppose -5*a - 95 = -5*h, -4*h + 20 = -b*a - 55. Is 4 a factor of h?
True
Suppose -2 = u - 11. Suppose -u = -4*s + 47. Is s even?
True
Suppose 4*o - 118 = -3*j + 3*o, 5*o + 10 = 0. Suppose -v - 32 = -5*x, j = -4*v + v + x. Let i = 28 + v. Does 15 divide i?
False
Let m(d) = 9*d**3 - 64*d**2 + 2*d - 12. Does 12 divide m(8)?
True
Let d = 9 - 4. Suppose d*v - 164 = 3*v. Does 11 divide v?
False
Suppose -t = -0*t - 408. Is t a multiple of 34?
True
Suppose -y - 5*r = 19, -3*y + 4 = 2*r - 4. Let k be 1*4 + 0 + y. Is 12 a factor of 624/30 + 2/k?
False
Suppose 10 = -d + 13. Suppose -30 = -x - s, -s + 33 = d*x - 67. Does 5 divide x?
True
Suppose -4*n = 4*h - 2*n - 20, 4*n = -4*h + 28. Suppose -h*q = -4*q - 16. Let m = q + 62. Is 18 a factor of m?
False
Is 3 a factor of 30810/429 - (-2)/11?
True
Let t(r) = -r**3 + 31*r**2 - 8*r - 247. Is 46 a factor of t(27)?
False
Let l(v) = 12*v + 8. Suppose -6*p + 3*p + 6 = 0. Is 32 a factor of l(p)?
True
Let w(g) = -7*g**3 + g**2 + 3*g + 3. Let f = -17 + 15. Let d be w(f). Let v = d - 22. Is v a multiple of 7?
True
Suppose -1268 = -3*m - 3*v + 898, -3*m + 2168 = 4*v. Is m a multiple of 48?
True
Suppose 10602 - 852 = 26*h. Is h a multiple of 15?
True
Let m(o) = -o**2 - 9*o + 3. Let f be m(-8). Suppose -3*p + 7 = -f. Is 9 a factor of 6*(p + -3) + 1?
False
Let y(g) = -g**3 + 32*g**2 + 114*g - 14. Is 12 a factor of y(35)?
False
Let q(k) = 28*k**3 + 3*k + 3. Does 24 divide q(3)?
True
Let f = -17 - -13. Let t = 22 + f. Is t a multiple of 18?
True
Suppose -1685 - 1747 = -13*h. Does 24 divide h?
True
Is ((-24)/(-40))/(2/125)*4 a multiple of 15?
True
Suppose -7 = -3*u - 22. Let k be 2 + u + 20 + -3. Suppose 0 = 2*s - k - 98. Is 14 a factor of s?
True
Let m = -63 - -120. Suppose -97 = 5*y + 4*p + 39, -2*y = -p + m. Is 5 a factor of y/(-8) + (-9)/(-6)?
True
Let y(q) = 5*q + 2. Let u be y(-9). Let l be -4 + 7 + -94 - 4. Let w = u - l. Is w a multiple of 26?
True
Let s(i) = -3*i**3 + 6*i**2 + 17*i + 40. Is 12 a factor of s(-6)?
False
Let t = 35 - 27. Suppose -4*n + l - 3 + 17 = 0, -n - 4*l - 5 = 0. Suppose -n*o = b - 27, o - 15 - t = -b. Does 7 divide b?
True
Let k(x) = x**3 - 8*x + 4. Let z be k(3). Suppose -5*b = -z*b + 252. Does 18 divide b?
True
Does 8 divide (-70)/3*(-13 + 299/26)?
False
Let i = 20 + -18. Suppose 0*x + 2*g + i = 2*x, -3*g + 1 = -2*x. Does 19 divide (75 - 1) + (x - 3)?
False
Is (-6561)/(-297) + 1/(-11) a multiple of 11?
True
Suppose 5*t = -j + 559, -3*t - 2*j + 558 = 2*t. Suppose -4*i = -2*r + t + 64, 0 = -r + i + 86. Is r a multiple of 21?
True
Let f be 24/(-11) + 2 + (-26416)/(-88). Is 50 a factor of (-1 + 7)/(9*2/f)?
True
Let k(v) = v + 29. Let z be k(-21). Let r(y) = -4*y + 6*y - 9*y**2 + y**3 - 11 + 8*y. Is r(z) a multiple of 5?
True
Suppose 0 = 2*n - 4*a + 16, 5*n + 3*a = 2*n + 21. Let g(v) = 16*v - 7 + 5 + 6. Is 9 a factor of g(n)?
True
Let a(w) = -4*w. Let j be a(-1). Let k = 9 - j. Is 5 a factor of k?
True
Suppose -58*y = -50*y - 256. Let k = y - 18. Is 5 a factor of k?
False
Does 47 divide 11/(660/8) + 5638/15?
True
Let d = 524 - 351. Let x = d - 41. Is x a multiple of 22?
True
Let a = 129 + -89. Is 20 a factor of a?
True
Suppose -7*t = -3*t + 12. Let x(i) = -i. Let m(a) = 6*a - 18. Let y(h) = t*x(h) - m(h). Does 15 divide y(-9)?
True
Let h = 1023 + -429. Is h a multiple of 17?
False
Let b(t) = 59*t - 465. Does 25 divide b(10)?
True
Let m(f) = 3*f**2 + 21*f + 50. Is m(-24) a multiple of 59?
False
Let l = 67 - 35. Suppose l*y - 35*y + 24 = 0. Does 4 divide y?
True
Let j(k) = 5*k - 14. Let y(l) = l - 1. Let q(a) = -j(a) + 4*y(a). Let d be q(-8). Suppose 5*c = -4*g + d, -2*g - 6*c + 2*c = -6. Does 7 divide g?
True
Let r be (-10)/(-55) - (-9)/11. Is 11 a factor of 1 + r - (-5 - 4)?
True
Let d = -13 - -21. Let n be 48/d*1/(-2). Is (62 - (-12)/(-4)) + n a multiple of 14?
True
Let j(o) = 2*o + 4. Let s be j(-9). Let f = 20 + s. Let x = 23 - f. Is x a multiple of 10?
False
Let w be 4 + -2*(2 + 0). Suppose w = v - 1, -7*v + 5 = 3*i - 2*v. Does 23 divide (1 - -30)/(1 - i)?
False
Let n = -737 - -1056. Is 26 a factor of n?
False
Let l(c) = c**3 + 9*c**2 + 19*c - 31. Is l(8) a multiple of 31?
True
Let f(y) = 162*y - 139. Is 31 a factor of f(9)?
False
Suppose 3*v = n + 1400, 4*v + 7*n = 2*n + 1873. Let a = v - -211. Is (-5)/(-20) - a/(-8) a multiple of 18?
False
Let k be 6 - (12/3 - 1). Let b(m) = -m - 70 + k*m + 86. Does 11 divide b(10)?
False
Let k(t) = -t**3 - 15*t**2 - t + 21. Let n(w) = w - 7. Let s be n(8). Suppose i + 14 + s = 0. Is k(i) a multiple of 18?
True
Let s = -417 - -651. Is 9 a factor of s?
True
Does 11 divide (-52)/286 - 19584/(-22)?
False
Does 16 divide (-12)/(-2) - (-2070 - (4 + -1))?
False
Suppose 6*k = -0*k + 870. Let b = 3 + -3. Suppose 3*y - 5*p - k = b, -2*y + y + 20 = 4*p. Is 14 a factor of y?
False
Suppose 8 = -7*a - 6. Suppose 4*w = -w + 40. Let s = w - a. Does 5 divide s?
True
Let k = 18 + 23. Suppose 16 = a + k. Let x = a - -51. Does 13 divide x?
True
Suppose 4*k = -2*l + 1294, 2*l - 18*k - 1292 = -20*k. Does 18 divide l?
False
Suppose 0 = 2*l - l - 15. Suppose -5*d - 32 = -3*g + l, -g + 4*d = -4. Does 11 divide g?
False
Let w(f) = f**2 - 5*f - 12. Let b be w(7). Suppose 58 = b*r - 0*r. Does 29 divide r?
True
Suppose -4*o - 3*k - 566 = -5*o, -o = -5*k - 570. Is o a multiple of 15?
False
Suppose 90 = 5*r - 5*s, -58 = -5*r - 2*s + 18. Is 38 a factor of (285/(-24)*6)/((-6)/r)?
True
Let t be (-252)/(-54) + 4/(-6). Suppose -5*s + 4 = -t*s. Suppose -n + 2*k - 22 = -4*n, -s = -n - 4*k. Does 6 divide n?
False
Let n(d) = 50*d - 2. Let f = 21 + -18. Is 41 a factor of n(f)?
False
Suppose -8*d - 104 = -h - 12*d, -416 = -4*h - 2*d. Does 6 divide h?
False
Let o = 201 - 90. S