 -122 = -y*b + 142. Is b a multiple of 22?
True
Suppose 3*r + 1332 = 3*c + 5442, -5*r + c + 6842 = 0. Is r/22 - ((-26)/(-22) - 1) a multiple of 31?
True
Let p = 1838 - 728. Is 6 a factor of p?
True
Suppose 19*k - 20*k = 2. Is (61 - (k - -6))/1 a multiple of 7?
False
Let m = 898 + -410. Is m a multiple of 4?
True
Let d = 5 - 2. Suppose 13 = 4*n - 3*m + d, -2*m = 4*n. Is n*((-6 - -3) + 44) a multiple of 13?
False
Let u(k) = -2*k**3 - 8*k**2 - k - 20. Is u(-5) a multiple of 14?
False
Let x(g) = -4*g - 6. Let a be x(-11). Suppose 8*k + a = 10*k. Suppose 18*q = k*q - 20. Does 10 divide q?
True
Suppose 2*f - 17 + 5 = 0. Let x be f/(-14) + 59/7. Let j = x - 3. Is j a multiple of 3?
False
Suppose -727 = -7*j + 92. Let i be (-110)/(1 + 1) - -2. Let u = j + i. Is 16 a factor of u?
True
Let h = -681 + 1055. Is h a multiple of 17?
True
Suppose 0 = 4*c - 23 - 1. Suppose -a - 640 = -c*a. Suppose -3*j - j = -a. Is 16 a factor of j?
True
Let g(v) = v**2 + v - 1. Let t(u) = -4*u**2 - 2*u + 4. Let c(q) = -3*g(q) - t(q). Suppose 0 = 5*x - 4*a + 2, 0*x + 3*a = -x - 8. Is c(x) a multiple of 2?
False
Suppose 58 = 2*i - 248. Suppose 0 = -3*r + i + 63. Suppose 5*p - p = r. Does 9 divide p?
True
Let t(w) = w**3 + 5*w**2 + 11*w - 22. Does 30 divide t(10)?
False
Let k(a) be the first derivative of -a**3/3 - 2*a**2 + 7*a + 1. Let b be k(-5). Suppose 92 + 4 = 3*d - g, b*g - 87 = -3*d. Is 12 a factor of d?
False
Let k(u) = 12*u**2 + 5*u - 15. Is k(3) a multiple of 3?
True
Suppose 3*h - 3681 = -3*s, -3*s - 5*h + 320 = -3351. Is 34 a factor of s?
False
Let m(l) = 9*l**2 + 52*l - 434. Is 17 a factor of m(7)?
False
Let w(o) = -o**3 + 4*o**2 - 8*o - 4. Let q be w(4). Let u = 74 - q. Does 10 divide u?
True
Let d(o) = -o + 29. Let b be d(21). Is 9 a factor of (1 + 76/b)*12?
True
Suppose -67 + 8 = -n. Suppose -4*l + n + 5 = 0. Is 99 + l/4 - -3 a multiple of 31?
False
Let q(x) be the first derivative of 5*x**2 + 1. Let b be q(-1). Let w = b + 13. Does 3 divide w?
True
Suppose 6*s - 2*s - 192 = 0. Suppose -3*q - 92 = -j, 67 = 2*j + q - 82. Let c = j - s. Is 5 a factor of c?
False
Let b(n) = -2*n**3 + 10*n**2 - 45*n + 5. Is b(-8) a multiple of 74?
False
Let t be 8/(-14)*(-9 + 8 - 6). Is t*(5 - (-177)/4) a multiple of 29?
False
Suppose 3*v - 2*x = 2, 4*v - 4*x + 4 = 2*v. Suppose -50 = -v*p + p. Suppose -9*u + 4*u + p = 0. Does 8 divide u?
False
Suppose -1740 + 312 = -2*r. Is r a multiple of 6?
True
Let c be (-1 + -2)/(12/(-20)). Let s(x) = x**3 - 2*x**2 - 4*x + 6. Let v be s(c). Suppose -51 - v = -2*k. Does 21 divide k?
False
Suppose 2 = -2*h + 2*k - 6*k, 0 = 4*h + 5*k - 11. Let u = h - -66. Is 15 a factor of u?
True
Let j(b) = -b**2 - 15*b + 21. Let p be j(-16). Suppose -5*c + 10*w - 6*w + 372 = 0, 0 = -4*c - p*w + 273. Is c a multiple of 18?
True
Suppose 4*a = 5*a + 3*u - 49, -a + 44 = 2*u. Suppose i = -8*m + 4*m + a, 2*m = -i + 42. Is i a multiple of 10?
True
Suppose 5*s = 2*x + x + 194, -3*x = -s + 190. Let t = x + 73. Does 5 divide t?
True
Suppose 0 = 5*s - 20, 2*m + 0*m + 5*s = 24. Let l(c) = c**2 + c - 2. Let y be l(m). Suppose y*f - 39 - 177 = 0. Does 18 divide f?
True
Let w(i) = i**3 - i**2 + i - 5. Let v be w(0). Is 27 a factor of -3 - v - -1*106?
True
Suppose -4*r + w = -160, -3*r + 85 = 3*w - 20. Let x = 115 - r. Is x a multiple of 19?
True
Suppose 18 = -5*x + 78. Let t(l) = 2*l**2 - l - 7. Let g be t(-4). Suppose -g - x = -f. Is f a multiple of 18?
False
Let t(f) = -61*f + 4*f + 14 + 15. Is 34 a factor of t(-3)?
False
Suppose 0 = 2*o - 5*t + 23, 0*o + 2*o + 63 = -3*t. Let j be 4/o + 650/12. Suppose -4*k + j = -k. Does 9 divide k?
True
Let z = -2474 - -2814. Is 131 a factor of z?
False
Does 23 divide (-5)/(30/(-22))*69?
True
Let y(z) = -8*z**3 + 5*z**2 - 6*z + 6. Let h be y(3). Let o = h + 372. Is o a multiple of 27?
True
Let n(r) = 6*r**2 + 10*r + 36. Does 75 divide n(-18)?
True
Let u(g) = -g**3 - 6*g**2 + 5. Let p be u(-6). Suppose p*r = 35 - 5. Does 21 divide (-28)/(3 + (-22)/r)?
True
Suppose d - b - 3 = 0, -5*d = 5*b + 3 + 12. Suppose -2*s + 68 - 54 = d. Is 6 a factor of s?
False
Let a(o) = -o**3 - 9*o**2 + 5*o - 5. Let m be (-3)/(-2)*18*-1. Let c = m - -17. Is 15 a factor of a(c)?
True
Let p(m) = m**3 + 6*m**2 + 5*m + 6. Let j be p(-5). Let h(t) = -t**2 + 13*t - 22. Does 5 divide h(j)?
True
Suppose -15*v + 13*v = -352. Does 16 divide v?
True
Let o(v) = v**2 + 6*v + 5. Let z be o(-5). Let q = z + 0. Suppose q*l = 3*l - 57. Does 8 divide l?
False
Suppose -3*m + 60 = m. Suppose 0 = n - 3*x - m, -2*n + 3*x + 45 = 2*x. Suppose -2*p = 0, -6*v + 2*p = -2*v - n. Is 6 a factor of v?
True
Let u be 1 - (9 - -3)/4. Let f be u + -1*(-28 - 1). Let k = 51 - f. Does 8 divide k?
True
Let k(q) = q**2 - 4. Let w be k(3). Suppose -4*o + l = -0*o + 78, w*l = -2*o - 50. Let h = 10 - o. Does 10 divide h?
True
Suppose 6*l = -o + 4*l + 193, -5*o + 5*l = -890. Suppose 0 = -9*s + o - 75. Is 12 a factor of s?
True
Let a(b) = -b + b - 7*b**2 + b + 33 + 8*b**2. Is 9 a factor of a(0)?
False
Suppose 3 = -y + 8. Let b(d) = d**2 + 2*d - 24. Is 6 a factor of b(y)?
False
Let c = -1263 - -1467. Is c a multiple of 7?
False
Does 20 divide (-32 + 1)*-65 - (4 - 9)?
True
Suppose 4 = -2*n + 6*n, 2*w - 3*n = 1609. Does 31 divide w?
True
Does 96 divide (-52905)/(-35) + 5 - 8/14?
False
Let i = 27 + -124. Let n = 107 + i. Does 2 divide n?
True
Suppose 0 = 3*j - 8*j + 10. Does 5 divide (2/j)/((-6)/(-30))?
True
Suppose q - 234 = -2*u, -12*q = -15*q + u + 709. Is 9 a factor of q?
False
Let x(i) = i**3 - 7*i**2 + 2*i + 2. Let w be x(7). Suppose -11*u = -w*u + 465. Is u a multiple of 17?
False
Let v(r) = 10*r - 48. Is v(8) a multiple of 4?
True
Suppose 5*o = -2*r, 3*o = -r - 5 + 3. Suppose -r = -8*c + 3*c. Suppose -2*f + 3*f - 2*b - 7 = 0, -23 = -5*f - c*b. Is f a multiple of 2?
False
Suppose 8*x = x + 42. Suppose 110 = 2*s - a, s + 5*a + x = 61. Is s a multiple of 27?
False
Let p = -279 + 471. Does 32 divide p?
True
Let y(t) = 6*t + 378. Does 26 divide y(0)?
False
Let w be 20/6 + 12/18. Let z(m) = 3*m**2 - m - 2. Let c be z(w). Suppose -2*l = -l - c. Is l a multiple of 7?
True
Let y = 2719 - 520. Is 4/30 + y/45 a multiple of 49?
True
Suppose 8*u + 6*u = 560. Is u a multiple of 7?
False
Suppose -s - 3 = -4. Let v be 0 + s/((-4)/12). Let n(z) = 5*z**2 + 5*z + 2. Is n(v) a multiple of 30?
False
Let b(z) = 29*z**2 + 3*z - 24. Is b(9) a multiple of 48?
True
Let h = -23 - -45. Suppose 2*p + h - 6 = 0. Let l = p - -28. Is 5 a factor of l?
True
Suppose 4*l + 5*x - 4334 = -0*x, -2*l + 2164 = x. Is l a multiple of 23?
True
Is (-1482)/4*2*(6 - 7) a multiple of 57?
True
Suppose -5*o + 56 = -3*o. Is (o/(-5))/(10/(-350)) a multiple of 34?
False
Let u = 27 + 13. Is 3 - (1 + 0) - -1*u a multiple of 6?
True
Suppose 0 = 3*h - 165 - 228. Does 24 divide h?
False
Let y(j) = -2*j + 1. Let h be y(1). Does 4 divide (-6)/h - (0 - 1)?
False
Let b(m) = m**3 + 4*m**2 - 5*m + 8. Is 23 a factor of b(8)?
True
Let y(h) = h**2 + 11*h - 37. Let p be y(-14). Suppose 0 = 3*z + 3*t - 1288 + 166, 1532 = 4*z - p*t. Is z a multiple of 14?
True
Suppose -1184 = -21*p + 9316. Is 25 a factor of p?
True
Suppose 3*n + t - 169 = 0, 0 = 2*n - 3*n - 4*t + 49. Is n a multiple of 19?
True
Suppose 59*k - 58*k - 23 = 0. Does 23 divide k?
True
Does 139 divide 144 - (-6)/12*12?
False
Suppose -2 = b + 4. Is (3/b - -2)*30 a multiple of 15?
True
Let y(n) = n**3 - 15*n**2 + 22*n - 58. Does 9 divide y(14)?
True
Let a(j) = -2*j + 16*j + 137 - 137. Does 28 divide a(10)?
True
Suppose 9 = 20*t - 19*t. Suppose -4*z = -5*k + 1387, -2*k + 562 = -t*z + 5*z. Is k a multiple of 55?
True
Let u(o) = -o**3 - 4*o**2 - o + 1. Let r(i) = i**2 - 9*i + 10. Let b be -1 + 1/2*16. Let h be r(b). Is u(h) a multiple of 5?
True
Let h(j) = -j - 18. Suppose -3*s + 41 = -3*p - 5*s, 4*s + 14 = -2*p. Let v be h(p). Is (20/5 + -47)/v a multiple of 7?
False
Is 8 a factor of 4/54 - (-4153644)/2673?
False
Let s = -743 - -1157. Is 4 a factor of s?
False
Is (2 - -67) + 10/(-5) a multiple of 20?
False
Let i(z) = 10*z + 30. Let n be i(-4). Let w = 18 + n. Is w a multiple of 5?
False
Let p(c) = -2*c**3 - 9*c**2 + 7. Does 14 divide p(-7)?
True
Suppose 2*d + 2*c = -3*d + 26, 0 = -2*d + 2*c + 2. Let i be 418 + -1*(2 - d). Suppose -3*k - i = -5*m, -2*m - 86 = -3*m + k. Is m a multiple of 23?
False
Suppose 10 = -x