- 2*b - 7 = -3*b. Let t(x) = 2*x**2 - 3*x - 2. Is 22 a factor of t(k)?
True
Let k(v) = v**2 - 11*v + 7. Let i be k(9). Let t(b) = -b**2 - 12*b - 6. Let c be t(i). Suppose -5*f + 0*f = -c*x + 10, -26 = -3*x - f. Does 7 divide x?
True
Suppose u - 69 = r, -2*u + 159 = 4*r + r. Suppose 2*j - u = -0*j. Suppose -2*i - 5*s = i - j, -s = -4*i + 48. Is 4 a factor of i?
True
Suppose 3*o - 3 = 4*o. Let w(b) = 8*b**2 + 3*b. Let h be w(o). Suppose -5*q - h = -0*f - f, 3*q + 269 = 4*f. Is f a multiple of 20?
False
Suppose 0 = -2*m + 7*m - 10. Suppose -16 = -m*k - 196. Is (18/(-15))/(6/k) a multiple of 9?
True
Let f = 639 - 441. Is 22 a factor of f?
True
Is 268 + -8 + (-5 - 4 - -3) a multiple of 2?
True
Suppose n - 6*n - 4*i + 1369 = 0, -5*i - 1087 = -4*n. Is n a multiple of 22?
False
Suppose 3*v = -g + 885, -4*v - 4356 - 50 = -5*g. Does 6 divide g?
True
Let w(s) = s**3 + 9*s**2 - 25*s - 24. Does 9 divide w(-10)?
True
Let t(g) = -g - 1. Let c be t(-4). Suppose 282 = c*j - 105. Suppose 0*u - 2*q = 3*u - j, 4*u = q + 161. Is u a multiple of 12?
False
Suppose x - 44 = -t, 2*x + 3*t - 31 - 61 = 0. Does 3 divide x?
False
Let y(i) = i - 2. Let g(r) = -1. Let z(a) = 6*g(a) - 3*y(a). Is 7 a factor of z(-11)?
False
Let v(k) = 1051*k**2 - 17*k + 19. Is 19 a factor of v(1)?
False
Let s = 609 - -496. Is s a multiple of 20?
False
Let j(u) = 4*u + 1. Suppose -4*o = -6*o + 16. Is 10 a factor of j(o)?
False
Is 23 a factor of (-1292)/(-6) + (-14)/42?
False
Suppose -5*q = 3*k - q - 14, -28 = 4*k - 4*q. Let b = k + 30. Is 9 a factor of b?
False
Is 32 + -25 + (-213)/(-1) a multiple of 5?
True
Suppose -190*c - 420 = -192*c. Is 6 a factor of c?
True
Suppose -2*k + 26 = 11*k. Suppose 350 = n + 4*n - k*u, 3*u = -3*n + 231. Does 24 divide n?
True
Let z = -72 + 74. Suppose 0 = g + q - 46 + z, 220 = 5*g - 3*q. Is 4 a factor of g?
True
Suppose -143 + 23 = -6*g. Let z = g - -1. Is 7 a factor of z?
True
Suppose -3*v = k - 78, 2*k + 2*v - 128 = 3*v. Suppose 0 = 3*i + 3*t - 324, 5*i = 5*t + k + 444. Is 17 a factor of i?
False
Let r(w) = w**2 + 12*w + 15. Suppose 0 = y - 5, m - 3*y = -6 - 26. Let v be r(m). Is (1/(-2))/((-2)/v) a multiple of 8?
False
Suppose 2*w + 2*q = -2, 0 = 4*w - 4*q - 0*q - 4. Let x = 3 - w. Suppose 3*y = a + 3*a - 59, 4*y + 46 = x*a. Does 12 divide a?
False
Let l(a) = a**3 - 10*a**2 - a + 14. Let y be l(10). Suppose -494 = -5*n - 2*o, 4*o = -y*n + 110 + 278. Does 13 divide n?
False
Let r be (3/(-9))/((-6)/(-18)). Let x(f) = 4*f**3 - 4. Let v(o) = o**2 + 1. Let g(k) = r*x(k) - v(k). Is 15 a factor of g(-3)?
False
Suppose 7*u - 8*u + 908 = 3*w, 0 = -2*w + 2*u + 616. Is 16 a factor of w?
True
Suppose 4*k + k = f + 25, k + 6 = -2*f. Let g be -5 + (-1 - (-106 - -9)). Suppose 4*y - g = -k*i + 5*i, -4*i = -y + 4. Is y a multiple of 7?
False
Suppose -s = 3, 5*s + 19 = 5*z - 16. Suppose -2*l + 52 = 2*v, 3*v - 4*l = z*v - 17. Is v even?
False
Let v(i) = -i**2 + 62*i + 110. Is v(32) a multiple of 3?
False
Suppose -1 = -5*a + 9. Suppose 2*s + 4*d = 10, -2*d - 10 = -a*s - 0*d. Suppose 0 = -0*j - j + 5*n - 15, 0 = -s*j - 5*n + 75. Is j a multiple of 10?
True
Let j = 64 - 84. Let m = -60 - -134. Let u = m + j. Is u a multiple of 18?
True
Suppose 470 = -3*j + 8*l - 3*l, -5*j - 3*l = 772. Let w = j - -219. Is 14 a factor of w?
False
Does 10 divide ((-1492)/6)/(3 + 22/(-6))?
False
Suppose -11 + 5 = -3*x. Suppose -x = 5*a - 7*a. Is 4/a*40/16 a multiple of 7?
False
Suppose -438*k + 433*k + 2495 = 0. Is k a multiple of 17?
False
Suppose 0 = 5*x - 2*z - 406, 0 = 5*z + 30 - 15. Is x a multiple of 20?
True
Let q(g) = 31*g - 38. Let o(y) = -y**2 + 19*y + 8. Let v be o(19). Is 30 a factor of q(v)?
True
Let r(k) = k**3 - k**2 + k + 1. Let z(n) = 4*n**3 - 11*n**2 + 5*n + 12. Let b(w) = -5*r(w) + z(w). Let y = -49 + 43. Is 6 a factor of b(y)?
False
Does 56 divide ((-2178)/(-12))/((3/1)/6)?
False
Let i be (1 - (-1579)/6) + 15/(-90). Suppose 2*a + 2*s - 3*s = i, -a - 4*s = -132. Is 9 a factor of a?
False
Let d(a) = -a**2 + a + 113. Let r be d(0). Let b = r + -54. Does 16 divide b?
False
Suppose 1842 = -5*x + 11*x. Is x a multiple of 43?
False
Suppose -6*o + 40 = 2*o. Suppose -2*c + c = -4*k + 135, 3*k - o*c = 114. Is k a multiple of 11?
True
Is ((-32426)/(-93))/((-4)/(-6)) even?
False
Let p be 3 + -3*2/(-6). Is (-68)/(-3) - p/6 a multiple of 11?
True
Let s = 1401 - 1356. Is s a multiple of 15?
True
Suppose -4*p = -2*q - 2*q + 536, 20 = -5*p. Is q a multiple of 26?
True
Does 6 divide (-267)/(-7 - 34/(-5))?
False
Suppose -16 = -4*k - 4*t, -2*k - 5*t = k - 12. Suppose 4*g + 100 = 3*r, 9*r = k*r - 5*g + 190. Is r a multiple of 12?
True
Let s be (0 - 1)/(21/(-84)). Suppose s*i - 3 = 5. Suppose 58 = -i*k + 4*k. Does 25 divide k?
False
Suppose 5*d = d - 56. Is 16 a factor of (-760)/d + -3 + (-114)/(-42)?
False
Let w(t) = 5*t - 107. Let z(b) = 2*b - 36. Let y(s) = -6*w(s) + 17*z(s). Does 7 divide y(10)?
True
Let k(u) = u**3 + 17*u**2 - 11*u + 51. Is k(-17) a multiple of 14?
True
Let l(k) = -k**2 + 11*k - 9. Let y(d) = 6*d + 1. Let v be y(4). Suppose -4*i = -v - 3. Is 5 a factor of l(i)?
False
Let z(a) = a**3 + 17*a**2 + 17*a + 24. Let x be z(-16). Suppose -3*s = -0*s - 18. Suppose -x = -s*t + 166. Is 10 a factor of t?
False
Let g(s) = 3*s**2 + 10*s - 4. Does 24 divide g(-13)?
False
Let v(j) = -j**2 - 13*j - 11. Let f be v(-8). Suppose f*q + 66 = 31*q. Is q a multiple of 11?
True
Suppose 0 = 18*n - 16*n + 44. Let g = 27 + n. Suppose -g*h + 2*h = -342. Is h a multiple of 15?
False
Suppose 562 = 4*s + 282. Is s a multiple of 7?
True
Let o(a) = a**2 + 14*a + 2. Let b be o(-13). Let q = 20 + b. Suppose -3*h = q, 2*j + 0*h = -5*h + 119. Is 25 a factor of j?
False
Suppose 4*h = 155 + 1273. Does 17 divide h?
True
Let f = 1917 - 1207. Does 36 divide f?
False
Let a(p) = p - 9 + 0*p + 0*p + 0*p. Let j be a(11). Suppose -2*s + 56 = j*s. Is 5 a factor of s?
False
Suppose -2009 + 2054 = 15*v. Is v even?
False
Let z = -130 - -115. Is 326/(3 + -2) + z + 12 a multiple of 19?
True
Let m(x) = 17*x**3 + x**2 + 2*x - 1. Let p be m(1). Suppose 17*q + 32 = p*q. Is 7 a factor of q?
False
Let v = -2 - -7. Suppose -v*l - 10 = -0, 29 = 3*c - l. Is c a multiple of 3?
True
Let o(g) = g**3 - 3*g**2 - 4*g - 10. Let m(a) = 2*a**3 - 5*a**2 - 7*a - 20. Let b(x) = -4*m(x) + 7*o(x). Let q be -1 + (1 - 0/1). Is 10 a factor of b(q)?
True
Let h(u) = -3*u**3 - 2*u**2 - 3*u - 7. Let l be h(-5). Let k = l - 37. Does 37 divide k?
True
Let y(h) = 4*h - 29. Suppose j = -2*j + 30. Is 6 a factor of y(j)?
False
Let f(r) = -2*r**2 - 25*r - 9. Let a be f(-12). Suppose -x - 2*x + 2*t + 512 = 0, 2*x - 338 = a*t. Is 43 a factor of x?
True
Let q = -407 - -1101. Suppose 5*z - q = 3*o - o, -4*z = 3*o - 569. Does 10 divide z?
True
Let f(y) = -2*y**2 + 10*y - 6. Let g be f(4). Let i = g - -6. Let z = 32 + i. Is 10 a factor of z?
True
Suppose 2586 = 17*q - 11*q. Is q a multiple of 8?
False
Is 88 a factor of ((-108)/2)/((-42)/616)?
True
Let u(d) = 3*d + 15. Suppose c - 16 = 11. Suppose 0 = 4*a - c - 1. Is u(a) a multiple of 17?
False
Suppose -3*v = d - 706, -5*v + 1190 = 4*d - 9*d. Is v a multiple of 59?
True
Let z(w) = 11*w - 32. Suppose 4*y + 24 = 2*o, -y + 6 = o - 0*y. Is 14 a factor of z(o)?
True
Let x(b) = -b**2 - 10*b - 6. Let r be x(-8). Is 17 a factor of 15*(-30)/(-9)*12/r?
False
Let p be 10*(3 - 28/10). Suppose 4*x = -5*w + 125, p*w + 11 = 4*x + 61. Does 12 divide w?
False
Let d = -1934 + 4107. Is d a multiple of 41?
True
Is 20/((-434)/(-284) - (-3)/(-2)) a multiple of 8?
False
Let q = 455 - 350. Is 4 a factor of q?
False
Let a(y) = -515*y - 29. Is a(-1) a multiple of 8?
False
Suppose 0 = 3*v - 2*q + 21 + 221, 2*q - 78 = v. Let y = -79 - v. Is y even?
False
Suppose -5*a + 16*g - 15*g = -725, 0 = -4*g. Is a a multiple of 53?
False
Let t = 7 + -11. Let c be (1/2)/(t/(-24)). Suppose c*v = 7 + 101. Is v a multiple of 12?
True
Let l = -17 + 20. Suppose l*g - 9 = 15. Let q(n) = -n**3 + 9*n**2 - 6*n + 8. Does 10 divide q(g)?
False
Let r = 44 - 17. Does 5 divide 6/r - 804/(-27)?
True
Let a(c) = 3*c + 4. Let r be a(-2). Let d(v) = 31*v**2 + 3*v + 1. Let n be d(r). Let t = -38 + n. Does 27 divide t?
True
Let c = 26 + 59. Does 10 divide c?
False
Let c(w) = 2*w**2 - 10*w - 84. Does 14 divide c(-16)?
True
Let f be 2 - (3 + -6 + 4). Let r(t) = 66*t + 1. Let k be r(