= -5*k + 3*m + 133. Is k a multiple of 6?
False
Let r be 4 - 2 - (-15)/(-3). Is (r/(-5))/(6/390) a multiple of 24?
False
Let c(l) = l + 2. Let y be c(0). Suppose -y = -5*d + 23. Is 5 a factor of d?
True
Suppose 0 = -2*s - 2*s + 112. Is 22 a factor of s?
False
Suppose -65 = 3*u + 4*z, 3*u - 2*z + 73 = 2*z. Let a = 37 + u. Suppose -3*f + f + a = 0. Is 3 a factor of f?
False
Suppose 2*v + 2 = 2*y, y + 0*v = 5*v + 5. Suppose y*q - 3*q = -30. Does 10 divide q?
True
Suppose 0 = 5*d - r - 132, 0*r - 62 = -2*d + 5*r. Suppose v - d + 10 = 0. Let n = -9 + v. Is 4 a factor of n?
False
Let n = -73 + 107. Does 25 divide n?
False
Let d be 1/(-5) - (-336)/30. Suppose -1 + d = 2*p. Suppose 4*w + 3*u - 89 = -w, -p*w = 5*u - 85. Is w a multiple of 12?
False
Suppose 31 + 236 = 3*g. Does 12 divide g?
False
Suppose 2*k - 4*a + 23 - 89 = 0, -126 = -3*k - 3*a. Is 13 a factor of k?
True
Suppose -116 = 3*a - 4*a - q, -119 = -a - 2*q. Does 30 divide a?
False
Does 9 divide ((-128)/(-12))/(8/12)?
False
Let a(f) = 13*f**2 - 5*f + 5. Does 12 divide a(2)?
False
Suppose -20 = 5*s + 5*c, -4*s + c + 4 = -0*c. Suppose 3*o - 36 = -w, -3*w - 3*o + 2*o + 108 = s. Does 15 divide w?
False
Let o(f) = f**2 + 6*f. Let j be o(-7). Let x be 2/j + 24/14. Suppose 2*s - g = 2*g + 62, -4*g - 62 = -x*s. Does 14 divide s?
False
Suppose -2*l = -a - 2*a + 9, 6 = 2*l. Suppose -5*m + 10 = 0, 3*m = -a*k - 32 - 37. Is (-2)/5 - 141/k a multiple of 8?
False
Let q(k) = -43*k**3 + 2*k + 2. Does 20 divide q(-1)?
False
Suppose 5*x - 24 = x. Suppose o + 30 = x*o. Is o/1 - (0 - -2) a multiple of 2?
True
Let r(f) = -6 - 9*f + 5 + 5. Does 31 divide r(-3)?
True
Suppose 0*i - 15 = -5*i, -2*u + 19 = i. Suppose u*r - 585 = 3*r. Let l = r + -75. Is 11 a factor of l?
False
Is 21 a factor of (-446)/(-4) + (0 - (-1)/(-2))?
False
Suppose -x + 33 = -5*u + 135, -x = -3*u + 60. Is 3 a factor of u?
True
Let t(g) = -6*g - 1. Let b be t(-1). Suppose 0 = -b*f - 2*i - 40, 4*f = 4*i - 2*i - 50. Does 7 divide (-2)/(-5) + (-66)/f?
True
Let q = -6 - -6. Suppose q = -4*r + 104 - 28. Does 6 divide r?
False
Suppose 4*w + 3*q = -2*q + 373, 4*w - 2*q = 366. Suppose 5*o = o + w. Suppose -3*n + 5*s + 41 = 0, n - o = -0*n - 3*s. Is n a multiple of 13?
False
Let n = 499 - 247. Does 36 divide n?
True
Let u = 6 - 4. Does 6 divide (12/u)/((-1)/(-2))?
True
Suppose -3*g = -12, -g + 6 = 5*d - 23. Suppose d*f - 43 - 182 = 0. Does 12 divide f?
False
Suppose 2*o - 1 = -3, 0 = -2*t - 4*o + 68. Does 9 divide t?
True
Suppose 4*j + 1 = -z, -z - 3*z - 2*j + 10 = 0. Suppose 4*k + 12 = 0, z*k - 6 = -4*u + 5*k. Suppose -4*t + 3*r = -47, u = -0*t + 3*t + 4*r - 54. Does 7 divide t?
True
Suppose -2*c = -2*i + 2, i + 0 = 2*c + 1. Suppose c = -u - 3*u + h + 45, 2*u - 3*h = 15. Does 12 divide u?
True
Suppose -51 = -4*o + 5*n, -39 = -3*o + n + 2*n. Is o a multiple of 3?
False
Let p be 22/(-6) + (-18)/(-27). Does 19 divide 21 + (p - (-1 - 0))?
True
Suppose -15*y + 18*y - 360 = 0. Is 8 a factor of y?
True
Let j(u) = u**3 + u**2 - u + 52. Does 11 divide j(0)?
False
Is 15 a factor of 0 + 2 + -5 - -46?
False
Suppose 0*f + 2*f + 3*c = 165, 4*f = -3*c + 345. Is f a multiple of 18?
True
Does 16 divide 2*(-2)/(-4)*16?
True
Suppose 0 = -2*p - k + 125, 4*k = -5*p + p + 260. Is 15 a factor of p?
True
Let d(s) = s**2 - 4*s - 10. Is d(-6) a multiple of 8?
False
Let b be 14/(-7)*386/4. Let y = -125 - b. Is 17 a factor of y?
True
Let d = 12 - 8. Suppose 3*z - d = 2. Suppose 2*j = z*i + 5*j, 4*i - 5*j - 22 = 0. Is i a multiple of 3?
True
Suppose 3*r - 57 + 3 = 0. Is r a multiple of 9?
True
Let k = 237 + -5. Let s be (-4)/10 - k/(-5). Suppose 0 - s = -2*y. Is 8 a factor of y?
False
Let h(j) = 2*j + 6*j - 15 - 5*j. Is 3 a factor of h(8)?
True
Let x(a) = 6*a**2 + 16*a - 4. Is 5 a factor of x(-7)?
False
Let w be (-22)/10 - 7/(-35). Let g(n) = -17*n - 2. Is 12 a factor of g(w)?
False
Suppose -3*u + 398 = 2*w, 4*u - 285 = -4*w + 515. Let x be w/22 - (-12)/(-66). Let a = 0 + x. Is a a multiple of 5?
False
Let b be (-42)/(-4)*16/12. Suppose -17 = -o + b. Is 22 a factor of o?
False
Is 26/3*(-231)/(-14) a multiple of 10?
False
Suppose 9 = -3*k + 2*k. Let o be 53 - -3*3/k. Suppose 2*b - l - 37 = -11, -4*b + 3*l + o = 0. Does 4 divide b?
False
Let t(y) = y**2 + 9*y + 10. Let r be t(-7). Let g(l) be the first derivative of -5*l**2 - 2*l + 1. Is g(r) a multiple of 13?
False
Let f(s) = 2. Let m(d) = d + 3. Let j(g) = 9*f(g) - 4*m(g). Let w be j(4). Let y = -6 - w. Is y a multiple of 3?
False
Let j = 5 - 2. Suppose -9 = j*o - 0*o. Let t(x) = -2*x**3 - 2*x**2 + 4*x. Does 12 divide t(o)?
True
Is 13 a factor of 1 + 39 - ((-4)/(-2) - 3)?
False
Suppose -5*m - 4*l + 102 = 0, -l = -6*m + 3*m + 51. Is 18 a factor of m?
True
Suppose t = -3*u + 60, -u = 5*t - 3*u - 249. Is 17 a factor of t?
True
Let q(c) = -c**3 + 2. Let v be q(2). Does 10 divide (-15)/(-2)*(-8)/v?
True
Let k(q) = -q**3 - 7*q**2 - 5*q + 1. Let p be k(-7). Let l = p + -6. Is 12 a factor of l?
False
Suppose -r + 79 = 3*l + r, l - 3*r - 19 = 0. Let x be (-15)/l - (-36)/10. Suppose -a = x*a - 64. Is 7 a factor of a?
False
Suppose 0 = -4*i - 16, 1 = -4*q - i - 11. Let v = q - -1. Is 8 a factor of (-1)/(0 + v/23)?
False
Let d be ((-2)/(-5))/(3/(-15)). Let y be (16/12)/(d/(-9)). Suppose 0 = -2*c + 4*c - 3*h - y, 5*h = 0. Does 3 divide c?
True
Suppose -3*t + 1 - 37 = -q, 4*t + 33 = q. Does 17 divide q?
False
Suppose 4*r - 112 = -w, -4*r + 244 = 3*w - 108. Is 30 a factor of w?
True
Let n(c) = c + 1. Let i be n(2). Suppose 2*t = i*v - 114, v + v - 77 = t. Suppose 16 = 4*p - v. Is 5 a factor of p?
False
Let c(m) = -2*m**3 - 3*m**2 + 3*m - 11. Is 7 a factor of c(-4)?
False
Let m(a) = 142*a + 2 - 3 - 139*a. Suppose -3*y + 8*y = 45. Is 11 a factor of m(y)?
False
Suppose 0 = -n + 5*x + 96, -2*x + 0*x = -5*n + 388. Suppose -4*q - u = -n, 5*q - 7 = 4*u + 109. Is q a multiple of 16?
False
Let f = 73 + -16. Is f a multiple of 13?
False
Let n(q) = q**3 + 8*q**2 + 3*q - 10. Suppose -2*c = c + 21. Does 9 divide n(c)?
True
Is 2/(-11) - 9652/(-209) a multiple of 16?
False
Let r = 51 - 41. Does 8 divide r?
False
Suppose 6*n - 111 = 3*n. Is n a multiple of 3?
False
Let s(d) = d**3 - d**2 - 2*d. Let l be s(2). Suppose -4*y = -l*y - 132. Let c = -17 + y. Is 10 a factor of c?
False
Let t(m) = 7*m - 35. Does 5 divide t(12)?
False
Let g(k) = 7*k**2 - 2*k - 33. Let x(p) = -4*p**2 + p + 17. Let h(w) = -3*g(w) - 5*x(w). Is 7 a factor of h(0)?
True
Let x = 84 - 129. Let k be x/((-9)/3) - 2. Suppose 5*d - 45 = j, -4*d + k = 3*j - 4. Is d a multiple of 4?
True
Suppose v - 2*a = 96, 75 = -5*v - 3*a + 529. Suppose -g + v = g. Is g a multiple of 16?
False
Suppose 3*y - 3*l = -2*l + 74, 4*y = l + 99. Let k = 52 - y. Is 19 a factor of k?
False
Let s = -139 - -249. Suppose d + 4*d = s. Let k = d + -13. Is 3 a factor of k?
True
Let o(v) = 2*v + 3. Let q be o(-3). Does 6 divide 30/3 - (-3 - q)?
False
Let y(v) = -v**3 + 5*v**2 + 2*v + 1. Let x be y(5). Let o = 16 - x. Suppose 127 = o*c + 7. Is 12 a factor of c?
True
Let b(h) = 2*h**3 - 11*h**2 + 2*h - 9. Does 13 divide b(6)?
True
Let f = 1 + 41. Does 21 divide f?
True
Suppose -2*d = -5 - 3. Suppose 0*l + 52 = d*l - k, -l = -2*k - 6. Is l a multiple of 7?
True
Let r = -73 - -369. Suppose -5*q + r = 4*m, m - 5*q - 28 - 21 = 0. Is 13 a factor of m?
False
Suppose -3*z = 4*g - 20, -4*g + 0 = z - 12. Suppose -h = z*d - 62, 5 = -4*h - 3. Is 8 a factor of d?
True
Let t(n) = n**2 - n + 10. Is 15 a factor of t(7)?
False
Let j(r) = 12*r**3 - 3*r**2 + 3*r. Let c be j(2). Suppose 2*s = -3*s + c. Let t = s + -10. Is t a multiple of 8?
True
Suppose 0 = -2*v + 1 + 3. Suppose -60 = v*a - 4*a. Does 15 divide a?
True
Let y be 1/(-4) - 194/(-8). Let k = 51 - y. Does 12 divide k?
False
Suppose -3*k + 3*u + 24 = 0, 23 = 5*k + 2*u - 45. Is k a multiple of 3?
True
Let p(h) = -h**3 + h**2. Let t be p(0). Let q = 15 + t. Does 6 divide q?
False
Let d = 17 - 10. Is 2 a factor of d?
False
Let c be (-6)/(-27) - (-52)/9. Let p be 0 + -2 + 7 + -1. Let d = p + c. Does 4 divide d?
False
Let j = 16 - -6. Is j a multiple of 16?
False
Let d = 13 + -19. Let b be (-39)/2*d/9. Let y = b - -10. Is 16 a factor of y?
False
Suppose b - 2 = 0, 2*z - 24 = -3*z - 2*b. Let f = -1 + z. Suppose -2*g + f*g = 23. Does 23 divide g?
True
Suppose -7 + 4 = -z. Let d(s) = -1 + z + 9*