 Suppose -4*t + 55 = -c. Is t a multiple of 2?
True
Let x be ((-5)/(-2))/(3/6). Suppose 5*s - x = -j, -2*s + 16 = -2*j + 2. Suppose 0 = -s*g - g + 36. Is 6 a factor of g?
True
Suppose 0 = -26*b + 63846 - 3422. Is 49 a factor of b?
False
Suppose -112 = -3*x - 4*u, 0 = -2*x - 3*u + 97 - 22. Is 9 a factor of x?
True
Suppose -2*s + 1582 = -5*l + l, 5*l + 2*s = -1982. Does 24 divide (l/28 - 3)*-14?
True
Let b(z) = z**2 + 9*z - 28. Let g be 4 + (-1)/1 + 119/(-7). Does 14 divide b(g)?
True
Let g = -7 + 15. Let c(m) = 2*m - 1. Let q be c(g). Is 2 a factor of (-1 - -5)*q/12?
False
Suppose 5*z + 2*v = 6902, v + 2459 = 3*z - 1680. Is z a multiple of 12?
True
Let r(m) = 63*m**2 - 7*m - 5. Is r(-1) a multiple of 13?
True
Suppose 0*q - 12 = -2*q - f, 0 = -2*q + 2*f + 12. Suppose 2*r = q - 12. Does 6 divide 22*(7 + r + -3)?
False
Let g = 2027 - 993. Does 16 divide g?
False
Suppose 3*n + 252 = 2*r, 2*r = -r. Let a = n + 167. Is a a multiple of 18?
False
Is 415 + 1 - (68 + -72) a multiple of 42?
True
Suppose 4*y - 3*u - 143 = 0, 3*u + 69 = 2*y + 4*u. Let i = 35 + y. Is 17 a factor of i?
False
Let k(f) = -16*f - 79. Is 19 a factor of k(-18)?
True
Let u = -107 + 723. Is u a multiple of 13?
False
Suppose 3*n + n - 4*p = 112, -2*n + 3*p = -54. Let c = n - 57. Let h = c + 51. Does 12 divide h?
True
Suppose -5*k = -b - b + 14, 0 = -5*b + 3*k + 16. Let m(t) = 25*t + 6. Is 25 a factor of m(b)?
False
Let j = 1448 + -398. Is j a multiple of 5?
True
Let c = 22 + -8. Suppose -p - c = -t + 3*p, 0 = t + p + 1. Suppose -l + 0*g = -4*g - 29, t*l = 3*g + 78. Does 9 divide l?
True
Suppose 0 = 4*b + 80 - 240. Suppose 6*f - 5*v - b = f, 4*f - 14 = -2*v. Suppose p - 4*w = 55, f*p = -w + 177 - 7. Does 6 divide p?
False
Let c be 18/(-15)*(-10)/4. Suppose -18 = -3*z - c. Suppose z*n - 127 = 53. Does 12 divide n?
True
Suppose 9*z = 8*z. Suppose z = 3*q - 70 - 59. Does 13 divide q?
False
Suppose 46*k - 2951 - 24373 = 0. Is k a multiple of 8?
False
Let r = 682 + -275. Does 37 divide r?
True
Suppose -5*r + q = -26, -3 = -0*q + 3*q. Suppose r*d = 8*d - 252. Is d a multiple of 14?
True
Suppose 12*m - 11*m - 15 = 0. Is 13 a factor of 2923/m - 32/(-240)?
True
Suppose 0 = -2*f + 4*a + 30, 4*f - 11 = -3*a + 38. Suppose 0 = -2*l + 11 + f. Does 2 divide l?
True
Is -44*((-8)/16 - 0) a multiple of 4?
False
Let r be -1*(2 - -3)/1. Let i(j) = -4*j**2 + 2*j - 6. Let q be i(r). Let v = -76 - q. Does 14 divide v?
False
Let b(q) = q**3 - 3*q**2 - 6*q + 3. Let i be b(3). Is 46 a factor of ((-368)/6)/(5/i)?
True
Suppose -3*p + p = 0. Let r be 1 + p/(0 + 1). Let k(s) = 47*s. Is k(r) a multiple of 18?
False
Let h(f) = 4*f - 1. Let z be h(2). Let i(n) = n**3 - 8*n**2 + 10*n - 6. Let g be i(z). Suppose g + 30 = 5*j. Is 9 a factor of j?
True
Suppose 5*f + 3*u = 1991, -32*f + 1985 = -27*f + 5*u. Does 10 divide f?
True
Let f(j) = 2*j + 18. Let o be f(-8). Is 155 - (-2 + -5 + o) a multiple of 32?
True
Let b = 1633 + -1193. Is b a multiple of 22?
True
Let k = 15 - 12. Suppose k*h - 6*h = -189. Is h a multiple of 20?
False
Let c = -5 + 6. Suppose -2*t + c + 47 = 0. Suppose 64 + t = 2*u. Is 11 a factor of u?
True
Suppose -2*a + 7*a + 4*n - 208 = 0, 2*a - 3*n = 97. Suppose -a + 169 = 5*b. Is b a multiple of 21?
False
Let f = 30 - 30. Let a(h) = 2*h**3 - 3*h**2 + 2*h - 12. Let u(i) = -3*i**3 + 4*i**2 - 3*i + 12. Let c(s) = -4*a(s) - 3*u(s). Does 3 divide c(f)?
True
Suppose 0 = 17*g - 1123 + 69. Is g a multiple of 29?
False
Suppose 0 = 7*k - 6*k + 20. Let w = 50 + k. Does 30 divide w?
True
Suppose 5*k - 17 = 3. Suppose -24 = -k*g - 8. Suppose -j - g*p + 8 = -0*p, 5*j = p + 103. Is j a multiple of 10?
True
Suppose -2*v - 3*v + 20 = 0, -d + 5*v - 12 = 0. Let w be (12/15)/((-408)/200 - -2). Let k = d - w. Is k a multiple of 14?
True
Does 14 divide 94*5/(25/30)?
False
Let w(i) = 67*i**2 - 7*i + 19. Does 39 divide w(2)?
True
Does 57 divide (12 - 16)*(-790)/8?
False
Let s = -390 + 588. Does 8 divide s?
False
Let w(u) = 42*u**2 + 296*u + 10. Is w(-8) a multiple of 15?
True
Suppose 12*x = 3*x + 189. Is x even?
False
Suppose f + 4*i - 228 = 0, -f - i = -3*i - 210. Suppose 5*c + 159 = -f. Is 5 a factor of c/(-12) - (-1)/(-4)?
False
Suppose -3*f + a = -6, -3*f + 2*a + 0*a + 6 = 0. Suppose -56 = -6*d + 3*d + 2*z, f*z = d - 24. Let g = 30 - d. Does 7 divide g?
True
Suppose -t = 2*q - 4*t - 14, -q = -5*t - 14. Suppose q*c - 30 = 2*j, 0 = -j + 3*c - 11 - 4. Is (-4)/20 + (-153)/j a multiple of 4?
False
Let g = -10 + 10. Suppose g = 10*f + 141 - 1021. Is f a multiple of 28?
False
Let j(y) = -6*y**3 + 3*y**2 + 3*y + 5. Let b be j(-2). Suppose -5*u = -i + 120, -u - 402 = -4*i + b. Does 23 divide i?
True
Suppose -5*n = 3*u - 8*n - 2991, -5*n + 2022 = 2*u. Is u a multiple of 29?
False
Let h(z) = z**3 - 3*z**2 - 29*z - 9. Let n be h(7). Does 18 divide (-1746)/(-24)*n/(-6)?
False
Suppose 4*l = -l - 195. Let z = 31 + l. Is 20*(4/z + 1) a multiple of 10?
True
Suppose 21*r - 534 - 2133 = 0. Is 10 a factor of r?
False
Let u be (3 - -1)/(9/12 - 1). Is 0 + -3 + u*(-12)/2 a multiple of 31?
True
Suppose -12 = -c + 3*k + 36, -2*c = 2*k - 56. Suppose 3*z - 27 = c. Is z a multiple of 4?
True
Let g = 1020 - 772. Is 7 a factor of g?
False
Let s(k) = k**3 - 13*k**2 + 19*k - 37. Is s(12) a multiple of 5?
False
Let l = -107 + 47. Let r = -43 - l. Suppose j - r - 16 = 0. Is 11 a factor of j?
True
Let m = -381 + 885. Suppose -m = t - 4*t. Is t a multiple of 14?
True
Let q = 366 + -67. Suppose -4*v + q + 1 = 0. Is (-6)/(v/26 - 3) a multiple of 13?
True
Let s(w) = -2*w**3 - 2*w**2 - 5*w - 4. Suppose 37 = 6*p - 77. Let k = -21 + p. Does 2 divide s(k)?
True
Let z(v) be the second derivative of -v**5/20 - 5*v**4/6 + 3*v**3/2 + 11*v**2 + 7*v. Is 9 a factor of z(-11)?
False
Is 39 a factor of (-441)/42*260/(-7)?
True
Let o be 8/72 + (-1)/9. Suppose -5*u - b = -0*u - 552, o = -4*b - 12. Does 38 divide u?
False
Suppose 13*z = 7587 + 7454. Does 89 divide z?
True
Suppose 4*j = -2*t, -3*j - j - 28 = -5*t. Does 8 divide j + 4 + -6 - -52?
True
Let p be (3/(-5))/((-2)/(-10)) + -20. Let k(b) = 56*b + 1. Let z be k(1). Let a = p + z. Does 17 divide a?
True
Let k(p) = 152*p**2 + 21*p + 19. Is k(-1) a multiple of 15?
True
Let i(w) = 7*w**2 + 5*w - 7. Let d(s) = -6*s**2 - 4*s + 6. Let m(a) = -4*d(a) - 3*i(a). Let q(n) be the first derivative of m(n). Is q(1) a multiple of 7?
True
Suppose -75 + 1115 = 2*q - 4*a, q - 490 = -4*a. Does 39 divide q?
False
Let w(g) = -g**2 + g - 2. Let i be w(5). Let c be 4/i + (-474)/(-66). Does 15 divide (-598)/(-10) - c/(-35)?
True
Let o(t) = t - 5. Let g be o(7). Let k be -57 + 1 + (-4)/g. Let a = -20 - k. Is a a multiple of 8?
False
Suppose 15*f - 5993 = -1628. Is 53 a factor of f?
False
Does 29 divide 0 + 7 + 7 + 258?
False
Let v(j) = -j**3 - 8*j**2 - 9*j - 10. Let r be v(-7). Suppose -12 + 0 = -r*i. Suppose -4*l = -i*l - 37. Does 13 divide l?
False
Let f(g) = 3*g**2 + 14*g - 4. Let h = 73 - 83. Is 13 a factor of f(h)?
True
Let w(q) = 5*q**2 - 6*q - 8. Let i(g) = 6*g**2 - 5*g - 7. Let d(u) = 5*i(u) - 4*w(u). Is d(3) a multiple of 21?
True
Suppose 0 = 4*y - 4*f - 793 - 3047, 5*y - 4821 = -2*f. Is y a multiple of 4?
False
Let j(k) = 4*k + 1. Let n be j(3). Is 4 a factor of (n/(-2))/(13/(-26))?
False
Let n(c) = 2*c**2 + 60*c + 59. Is n(-35) a multiple of 5?
False
Suppose 5*y = -4*t, -3*t = 5*y - t. Suppose 0*z - z + 273 = y. Is 14 a factor of (2 - 0)/(13/z)?
True
Suppose -2*u = -4*i + 6, 0 = -2*i + i + 2*u. Suppose -i*t = 2*j - 278, -4*j + t - 144 = -680. Is j a multiple of 9?
True
Let l(b) = -1 - 1 + 0 + 4 - 128*b. Does 30 divide l(-1)?
False
Let u = 125 + -36. Suppose u = -2*f + 13. Is 13 a factor of 5/((-5)/f) + 1?
True
Let r(w) = -3*w - 5. Let v be r(-2). Is ((-1)/2)/(v*2/(-644)) a multiple of 42?
False
Let s(g) = 770*g**2 + 47*g - 47. Does 35 divide s(1)?
True
Let c(z) = 44*z**2 + 19*z - 3. Does 45 divide c(3)?
True
Let x be (-610)/(-6) - 4/6. Let w = -41 + x. Does 15 divide w?
True
Let m = 4 - -26. Suppose 8*a + m = 5*a. Does 9 divide (-1 - a)*(2 - 0)?
True
Suppose 2*u + 2*o = 66, 134 = 4*u - o + 3*o. Let h = u - 9. Is ((-60)/h)/((-3)/90) a multiple of 12?
True
Suppose 0*p - 5*p = -360. Let x = -30 + p. Is x a multiple of 7?
True
Suppose -h + 2*f + 652 = 0, -2*h + f + 196 = -1111. Does 40 divide h?
False
Suppose k - 5*v - 439 = 0, -1631 =