 8 = 3*l - 77, -4*l = j - 92. Does 10 divide l?
False
Let f = 10 + -11. Let q = -12 + 28. Let h = f + q. Is h a multiple of 15?
True
Let v(g) = 2*g**2 + 8*g - 24. Is 6 a factor of v(-7)?
True
Let f(i) = 34*i - 12. Let m be f(9). Suppose 3*g - m - 18 = 0. Suppose -x + 5*x = g. Does 13 divide x?
True
Let d(u) = 3 + 0 - u - 6 + 2*u. Let t(s) = s. Let a(k) = -d(k) + 3*t(k). Is a(5) a multiple of 8?
False
Let s(v) = 2*v**3 + v**3 + 5*v**2 - 10*v + v**2 - 2*v**3 - 3. Is 18 a factor of s(-7)?
True
Let x = -2 + 4. Let d be x/3*(-54)/(-12). Suppose d*t - 7*t = -80. Is 10 a factor of t?
True
Let p = 1 + -1. Let g(c) = -6*c + 13 - 3*c**3 + 4*c**3 + 5*c. Does 13 divide g(p)?
True
Suppose 2*b - 479 = -4*i + 213, -356 = -b - 4*i. Is 55 a factor of b?
False
Suppose z - 14 - 38 = 0. Suppose j + z = -3*j. Let x = 6 - j. Does 18 divide x?
False
Suppose 2*r - 2*l = 0, -2*l + 1 - 5 = -r. Let h = r + 5. Suppose -h = -o + 1. Does 2 divide o?
True
Suppose -3*c = 3*s - 405, 2*c + 63 + 327 = 3*s. Is s a multiple of 25?
False
Does 10 divide 96*(10/3 + -3)?
False
Let q(d) = -27*d - 9*d - 10*d. Is q(-1) a multiple of 23?
True
Let s(t) = 20*t - 1. Let a be s(2). Let p = a + -22. Is p a multiple of 17?
True
Let n(h) = -25*h**3 + h**2 - 2*h - 8. Is 17 a factor of n(-2)?
False
Let q be 58 + ((-4)/4 - -1). Suppose -2*k + 18 + q = 0. Is k a multiple of 19?
True
Suppose 120 + 30 = 2*d. Does 3 divide d?
True
Let o be 2/8 + (-5)/20. Suppose o = h + 15 - 26. Is h a multiple of 11?
True
Suppose 4*u + d = -d + 282, u = -4*d + 60. Does 18 divide u?
True
Suppose 0*q + 16 = 5*y + q, 0 = y - 4*q + 1. Suppose u + y*u = 300. Suppose 0 = -3*x + o + 110, 0 = -2*x - 2*o + o + u. Does 19 divide x?
False
Suppose -4*c + 141 = m, 2*m + 66 = 2*c + 4*m. Does 12 divide c?
True
Let m(b) = 2*b**3 + b**2 - 5*b + 2. Does 14 divide m(4)?
True
Suppose -60 + 2008 = 2*c. Suppose h = 5*x - c, 2*x + 3*x + 5*h - 950 = 0. Is 9 a factor of x/22 + (-4)/(-22)?
True
Let l = 1 - -2. Let s be l*(-6)/(-9) - 2. Suppose 5*k - 76 - 14 = s. Is k a multiple of 9?
True
Suppose 10 = -0*x + 5*x. Suppose -j - 4*j = x*m - 396, j - m - 82 = 0. Is 23 a factor of j?
False
Let m(h) = 14*h**3 - h**2 + 5*h. Let b(j) = 13*j**3 - j**2 + 4*j. Let t(n) = 4*b(n) - 3*m(n). Let w = -3 - -4. Is t(w) a multiple of 10?
True
Is -9 + 7 - (-120 + -1) a multiple of 17?
True
Suppose -2 = 2*v - 4*v. Let z be (31/1)/((-27)/(-27)). Suppose -5*h - v = -z. Is h even?
True
Suppose 5 = 3*q + 2*q, 0 = 4*l - 3*q - 677. Is l a multiple of 31?
False
Let n = -6 - -11. Is n a multiple of 3?
False
Let c = 55 + 1. Is 14 a factor of c?
True
Let g(k) = -2*k**3 - 2*k + 3. Let c be g(2). Let a = 48 + c. Is a a multiple of 13?
False
Let o = -10 - -22. Suppose o = 3*t, 0 = -i + t + 1 + 11. Suppose i - 53 = -c. Does 18 divide c?
False
Suppose 3*d + 7 = -14. Let r = -2 - d. Let h(l) = -l**2 + 7*l - 1. Is 3 a factor of h(r)?
True
Let c = 37 + -7. Suppose 2*m = m + c. Does 8 divide m?
False
Let i be (-15 + 0)/(6 + -7). Does 12 divide 9/i - (-114)/10?
True
Suppose 0 = 5*v - v - 20. Is v even?
False
Let u be 19 - 0/(-2) - -1. Suppose 20 + u = 2*f. Does 9 divide f?
False
Let n(l) = 18*l**2 + 5*l + 1. Let q be n(4). Let m = q - 214. Suppose -z = -3, 5*g - m = -5*z + 25. Is 10 a factor of g?
False
Let z(d) = d**3 + 2*d**2 + d. Let f be z(-3). Let b = -47 + f. Let c = -39 - b. Is 10 a factor of c?
True
Let g be (2 - 17)/((-9)/12). Suppose 2*q = w + 45, 2*q + w + g = 59. Is q a multiple of 21?
True
Let t = 127 + -64. Does 21 divide t?
True
Suppose 3*t = 2*t + 49. Does 7 divide t?
True
Let b(v) = 3*v**3 - 3*v**2 + 9. Let j(f) = -10*f**3 + 8*f**2 - 28. Let d(r) = -7*b(r) - 2*j(r). Let q be d(5). Let s = q - -23. Is s a multiple of 6?
False
Suppose k - 2*k = 32. Let c = -19 - k. Does 2 divide c?
False
Let v be 2/3*(-36)/(-8). Let n(q) = -q + q**2 + 0 + 3 + 1. Is 5 a factor of n(v)?
True
Let n(m) = 8*m + 60. Is n(10) a multiple of 17?
False
Let u be (2/(-4))/((-2)/(-36)). Let x be ((-3)/2)/(3/(-56)). Let y = u + x. Is y a multiple of 19?
True
Suppose -w - 366 = -2*u + 3*w, -900 = -5*u - 5*w. Is 9 a factor of u?
False
Suppose -3*h - 4*h + 308 = 0. Does 11 divide h?
True
Let n(x) = -x + 10. Let c be n(6). Suppose 3*r + 6*d - 12 = c*d, -5*r - 2*d + 20 = 0. Is 11 a factor of 174/8 + 1/r?
True
Let o(g) = 2*g**2 - 7*g - 4. Let m be o(-9). Suppose 4*w - y = m, y - 3*y + 62 = w. Does 14 divide w?
True
Let l(h) = h**2 - 4*h - 3. Let g be l(4). Let w be (-3)/2*(-16)/g. Does 5 divide (5/2)/((-4)/w)?
True
Suppose -2*a - 70 = -2*d - 0*d, -d + 5*a = -39. Let o = d - 10. Does 12 divide o?
True
Suppose -1 = a + 1. Let c = -3 - a. Does 3 divide c/3 + 13/3?
False
Let r(k) = -16*k - 20. Let y(x) = 5*x + 7. Let b(j) = 2*r(j) + 7*y(j). Let h be (2 + 0)/2*7. Is b(h) a multiple of 16?
False
Let r = -127 + 264. Is 23 a factor of r?
False
Let o(f) = 8 - 5*f**2 - f**3 + 11*f + 2*f**2 - 2*f**2. Is o(-7) a multiple of 15?
False
Suppose -5*n + 60 = 3*i - 3*n, -5*i - n + 100 = 0. Let s = i - 13. Does 7 divide s?
True
Suppose 4 = 2*k - 66. Does 7 divide k?
True
Let m = 3 + -4. Let s be -1 - (m + 27 + 2). Let k = -21 - s. Is 3 a factor of k?
False
Let o(z) = 104*z - 18. Does 10 divide o(2)?
True
Let m = 0 + 4. Suppose 0 = m*n - w - 21, -3*w + 5*w + 18 = 4*n. Does 4 divide n?
False
Suppose -3*c + 43 = o, 33 = 3*o - 5*c - 40. Let b = o - 16. Does 12 divide b?
False
Let t = 8 + 5. Is t a multiple of 4?
False
Suppose -n - 60 = -3*n. Does 10 divide n?
True
Suppose 29 = p - 2*b, 0*p - 51 = -3*p - 3*b. Suppose -p = 2*y - 113. Is 17 a factor of y?
False
Let r = 166 - 75. Does 7 divide r?
True
Let t(b) = 12*b**2 + b. Is t(1) a multiple of 13?
True
Let l(n) = 6*n + 0 + 4*n - 6. Is 18 a factor of l(5)?
False
Suppose 0*g = g - 14. Let c be (-4)/g - (-93)/7. Suppose c + 22 = 5*h. Is h a multiple of 7?
True
Suppose -330 = -8*g + 3*g. Is g a multiple of 14?
False
Is ((-612)/30)/(6/(-20)) a multiple of 17?
True
Is 3/(2/(-56)*-4) a multiple of 4?
False
Suppose 0 = z + 4*z - 25. Let k be (88/5)/(9/45). Suppose k = z*p - p. Is 11 a factor of p?
True
Let b(r) = 14*r + 113. Is 64 a factor of b(9)?
False
Suppose v = 6*v - 405. Is 21 a factor of v?
False
Let l(s) = -s**3 - 2*s**2 + 5*s - 3. Let z be l(-4). Suppose 15 = z*r - 4*r. Is (-1 + r)/2 + 1 a multiple of 2?
True
Suppose -437 - 238 = -5*t. Suppose v + t = 6*v. Does 12 divide v?
False
Suppose -2*y = y - 264. Suppose 0 = 4*t - 112 - y. Is 16 a factor of t?
False
Let p(k) = 4*k**2 - 3*k + 6. Is 29 a factor of p(4)?
True
Let w(h) = h**3 + 8*h**2 + 6*h - 7. Let f be w(-7). Let a be 0/(f + -3 - -1). Suppose a*o + o = 13. Is o a multiple of 13?
True
Suppose 147 = 4*v - 121. Let w = 100 - v. Let h = 9 + w. Is h a multiple of 21?
True
Suppose -4*w + 4 = -8. Suppose -5*g + 34 = w*f, 4*f + 4*g = 58 - 10. Is f a multiple of 6?
False
Let o = -2 - 0. Is 15/(-2)*o + -1 a multiple of 8?
False
Suppose -7 - 10 = q. Let r = 165 - 114. Let l = q + r. Is 13 a factor of l?
False
Let v = -7 + 4. Let h(w) = -2*w + 1. Let l be h(v). Suppose u - l = -2*i, 6 + 2 = -4*i. Is 4 a factor of u?
False
Let p be (1/1)/((-2)/(-114)). Let v be ((-3)/4)/(2/(-8)). Suppose 36 = v*a - p. Is 13 a factor of a?
False
Let d = -23 - -101. Does 21 divide d?
False
Let q(t) = t - 3. Let n be q(6). Suppose -o + n*o - 8 = 0, 40 = i + o. Suppose 0 = 2*k - 20 - i. Is k a multiple of 14?
True
Let g = 0 + 17. Is 7 a factor of g?
False
Suppose -4 = 3*k + q, 0*q + 5*q = -2*k - 20. Suppose 4*z - 5*c = 99, 5*c + k*c = -2*z + 57. Is 13 a factor of z?
True
Suppose -11 - 5 = -w. Is 8 a factor of w?
True
Suppose 3*v = 5*d - 45, 0 = -0*v - v - 5. Let c = d + 2. Is 4 a factor of c?
True
Let g = -4 + 5. Let h be g/1*(-39)/(-3). Suppose 2*q - h = 3. Is q a multiple of 4?
True
Does 8 divide 24/10*(-1)/(4/(-80))?
True
Suppose 20 = -5*t, -s - t - 16 + 105 = 0. Is s a multiple of 18?
False
Does 9 divide (17 - 463)*(-1)/2?
False
Let w = 0 - 0. Suppose 4*z + w = -3*b + 5, 0 = -4*z + 2*b + 30. Suppose z*q - 8 = 77. Is 13 a factor of q?
False
Let q(w) = -4*w - 8. Let o(h) = -4*h - 7. Let u(f) = 4*o(f) - 3*q(f). Suppose z - 38 = 4*m - 14, 0 = -5*z + 20. Does 8 divide u(m)?
True
Suppose -5*i = -i - 3*z + 233, -3*i - 201 = 3*z. Is 14 a factor of (i/6)/((-2)/6)?
False
Suppose -4 = -g - 3*g. Let w be 22 - (-1 - g) - -1. Suppose 3 + 32 = t - 5*n, 0 = -2*t