3/(-6) + g/8?
True
Let b = -483 - -1024. Is 12 a factor of b?
False
Suppose 6*q - 5*q - 735 = 0. Suppose 2*d = 2*i - 274, -3*d - 26 + q = 5*i. Suppose k + 4*k = i. Is k a multiple of 14?
True
Let x = -1380 - -2980. Is 50 a factor of x?
True
Let n = 848 - -1671. Does 66 divide n?
False
Let t(a) = 4*a - 5. Let k be t(2). Suppose f - 3*u = -17 + 156, -4*f = -k*u - 511. Is 33 a factor of f?
False
Let r(j) = -j. Let q be r(-2). Suppose 5*v - 2*b = 526, -v - q*b + 132 - 34 = 0. Does 13 divide v?
True
Let n be 1/6 - (-62631)/54. Is 29 a factor of 6/((-404)/n - (-2)/5)?
True
Suppose -98*j + 100*j = 1728. Does 36 divide j?
True
Suppose 10*l + 4147 = 21*l. Is 13 a factor of l?
True
Let f(p) = 590*p**3 - 3*p**2 + 3*p - 2. Is 6 a factor of f(1)?
True
Suppose 0 = 2*t - 12 - 28. Suppose j = -2*f + 5*j + t, 63 = 5*f + 3*j. Suppose -p + 3*b + b + f = 0, -2*p = -2*b - 24. Is 6 a factor of p?
True
Let g(k) = -201*k + 69. Is 9 a factor of g(-7)?
True
Suppose -3*c + 597 = 135. Let w = c - 106. Is 12 a factor of w?
True
Suppose 3*t + 3*o = 31 - 10, 5*t + o = 23. Suppose -5*m + 827 = -k, 4*m + 145 = -t*k + 821. Does 21 divide m?
False
Suppose r - 2*b + 276 = -2*r, 0 = -4*r + 2*b - 368. Let y(n) = 5*n - 23. Let q be y(-5). Let p = q - r. Is 24 a factor of p?
False
Let u = 3 + 0. Is 0*u/6 - -115 a multiple of 20?
False
Suppose 46*w - 476 = 12*w. Is w a multiple of 12?
False
Let a(q) = q**3 - 7*q**2 - q + 1. Let t(h) = h**3 - 8*h**2 + 1. Let j(i) = -4*a(i) + 3*t(i). Let y = 8 - 11. Is j(y) a multiple of 16?
False
Let n(d) = 22*d - 41. Is n(13) a multiple of 35?
True
Let d = -410 + 650. Does 22 divide d?
False
Suppose -l + 141 = 3*m + l, -177 = -4*m + l. Let j = -86 - -131. Suppose -j = -5*s + m. Does 6 divide s?
True
Let l = 9 + -6. Let b(y) = 9 - l + 2 - y**2. Is 4 a factor of b(0)?
True
Suppose -53 = -3*j - 5*v + 367, -j + 126 = -3*v. Does 27 divide j?
True
Suppose 0 = -i + s - 7, s = 2*i - 2*s + 9. Let n be (6/(-18))/(2/i). Suppose 0 = n*z - 45 + 5. Does 12 divide z?
False
Suppose 10 = m - 3*m, 3*f - 26 = 4*m. Let q(p) = -p**3 + 4*p**2 + 5*p - 4. Let o be q(5). Is 26 a factor of -1 - f*54/o?
True
Let i(q) = -16 + 6 + 6 + 6 + q. Let w be i(-3). Is 10 a factor of 511/21 + w/3?
False
Let u be 2/2*20/4. Suppose 0 = -u*a + 107 + 108. Is 8 a factor of a?
False
Suppose 157*j = 150*j + 973. Does 28 divide j?
False
Let x(i) = -6*i**3 - i**2 + 9*i + 5. Let n(u) = u**2 - 11*u + 7. Let y be n(10). Let k be x(y). Suppose 5*h + k = 511. Does 19 divide h?
True
Let h be (-2)/4 - 411/6*-1. Does 17 divide (3/6*-13)/((-2)/h)?
True
Suppose 9 = 2*h + 3, -10 = -2*r - 2*h. Suppose -u - 1735 = -6*u. Suppose 0 = -5*y + 3*v + u, v + r*v - 73 = -y. Does 23 divide y?
False
Let g(b) = 3*b. Let f = 8 + -7. Let j be g(f). Suppose 117 = 5*n + j*d, -n - 2*d = -3*d - 25. Is 17 a factor of n?
False
Suppose 0*c - 4 = -2*c. Suppose -c*a = a. Is 2/(a - 3/(-18)) a multiple of 4?
True
Let a(b) = 2 - 7*b**2 + 2*b**2 + 79*b - 83*b - b**3. Is a(-7) a multiple of 12?
False
Let t(b) = -122*b - 83. Is 31 a factor of t(-5)?
True
Let j(i) = -i**3 + 8*i**2 + 7*i - 8. Let r = -8 - -10. Suppose -2*q = r*q - 32. Does 11 divide j(q)?
False
Let z be (-70)/(-25) - (-4)/(-5). Suppose -z*n + 2*y = -5*n + 38, 4*n - 2*y - 32 = 0. Does 10 divide n?
True
Let l be ((-230)/(-6))/(4/12). Suppose -5*r - 40 = -l. Does 3 divide r?
True
Let n = 428 + -241. Let h = 285 - n. Let l = h - 52. Is 11 a factor of l?
False
Suppose 0 = 5*k + x - 3696, 4*x - 495 - 229 = -k. Does 74 divide k?
True
Let k(p) = -8*p**2 - 8*p - 8. Let w be k(-8). Let t = -256 - w. Is 25 a factor of t?
True
Suppose -3*y + 2*y = 1. Let t(j) = -6*j - 27*j + 2118 - 2119. Is 16 a factor of t(y)?
True
Let a(l) = l**3 - 16*l**2 + 73*l - 7. Does 7 divide a(9)?
False
Let i = -255 + 426. Is 19 a factor of i?
True
Let h be 10/40 + (-63)/(-4). Let o = h + 57. Is o a multiple of 14?
False
Suppose u = -5*i + 679, -i + 3*i - u - 266 = 0. Suppose 2*q - 5*n - 105 = 0, -q - 5*n + i = 3*q. Is q a multiple of 8?
True
Let j(v) = -2*v**2 + 74*v + 4. Does 5 divide j(17)?
False
Let q = 13 - -7. Let u = 20 - q. Suppose u*x = 5*x - 4*k - 132, -3*x + 2*k + 78 = 0. Is x a multiple of 12?
True
Let q be -1*10*(7 + -8). Suppose -2*m - q = -66. Suppose 0*i = i - m. Is 7 a factor of i?
True
Let s be ((-3 - -4) + -1)/(-2). Suppose 4*f - 5 + 1 = s. Does 8 divide (f + -16)*-2 + 2?
True
Let m = 1473 - 708. Is m a multiple of 17?
True
Suppose -4*t = 5*b + 225, -219 = 5*t + 4*b + 51. Let d = -235 + 150. Let f = t - d. Is f a multiple of 14?
False
Let a(r) = 4*r - 16. Let p be a(7). Suppose 0 = 3*i - p*i + 738. Let b = i - 16. Is 22 a factor of b?
True
Let t(c) = 14*c**3 - 2*c**2 + 4*c + 2. Does 38 divide t(2)?
True
Let b(k) = -k**2 - 2*k. Let r be b(0). Suppose r*i + 2*i - 28 = 0. Is 12 a factor of i?
False
Is 3 a factor of ((-6)/(-24)*46)/((-2)/(-20))?
False
Suppose -6 = -5*t - 1, 4*p - 2404 = -4*t. Is 17 a factor of p?
False
Let s = 43 + -40. Suppose -3*f - f + 120 = i, 0 = 4*f + s*i - 120. Does 15 divide f?
True
Let i = 83 - 80. Suppose 0 = 3*b + s - 51, -19 - 32 = -i*b - 3*s. Is b even?
False
Let x = 7 + -4. Suppose 0 = -x*o - 21 - 36. Let q = o + 32. Does 10 divide q?
False
Let m(a) = a**3 + 13*a**2 - 1. Let o be m(-13). Let v(k) = -k**3 - 3*k**2 - 2*k + 2. Let z be v(-2). Is 5 a factor of (o + z)/((-3)/(-39))?
False
Let t = 33 + -31. Does 6 divide (-182)/(-8) + t/8?
False
Let h = -645 + 5613. Is h a multiple of 54?
True
Let l be 68/20 - (-4)/(-10). Let g(o) = 5 - 3*o + l + 2*o. Is g(-13) a multiple of 17?
False
Suppose -17*u - 756 = -13319. Is 16 a factor of u?
False
Suppose 11*c - 13*c + 52 = 0. Suppose 2*y = -0*y + 196. Suppose 2*a = c + y. Is a a multiple of 31?
True
Let k be ((-8)/6)/(1/(-3)). Suppose 545 = 18*v - 715. Suppose 17 - v = -b - 4*y, k*y - 151 = -3*b. Does 26 divide b?
False
Let r(m) = -m**2 + 43*m - 283. Is 4 a factor of r(31)?
False
Let y(d) = -d**3 + 8*d**2 + 3. Let c be y(8). Suppose -35 = -c*v + 25. Is 20 a factor of v?
True
Suppose 9*l = 6*l. Suppose 3*g - 4*p + 14 = -l*p, -4*p + 10 = -5*g. Suppose c = -2*i + 53, -5*i - 3*c + 125 = -g*c. Is 7 a factor of i?
False
Let x(k) = -k**2 - 9*k + 3. Let p = 33 + -38. Is x(p) a multiple of 4?
False
Let u = 324 + 248. Is u a multiple of 26?
True
Does 24 divide 35/(-5) + 5 + 185?
False
Let c = 29 + -26. Let l = c - 1. Suppose l*v + 30 = 4*v + 3*u, -8 = -v - 5*u. Is v a multiple of 6?
True
Let w = 120 - 68. Suppose -8 + w = 4*c. Does 2 divide c?
False
Let i(s) = -19*s + 40. Is 5 a factor of i(-5)?
True
Suppose 0 = -5*a + 101 + 79. Suppose 2*y + a = 5*y. Is 3 a factor of y?
True
Suppose 3*j - 17 = -5*o, 0 = 4*j - 2 + 6. Is 40 a factor of (-271)/(-4) + 1/o?
False
Let i(o) = 12*o + 0*o - o + 6. Is i(14) a multiple of 23?
False
Let r be 20/90 - 482/(-18). Let a(d) = 2 + 5 + r*d - 6. Is 18 a factor of a(1)?
False
Let p(l) = -l**2 + 6*l + 1. Let b be p(-8). Let v = -17 - b. Does 47 divide v?
True
Does 7 divide -1*(-2)/(2/259 + 0)?
True
Let z(s) = s**2 + 4*s - 13. Is z(-8) a multiple of 3?
False
Suppose 4*v - 3419 = 3*y, -2*v - 6*y = -5*y - 1697. Is 8 a factor of v?
False
Let h(m) = 7*m - 2. Let r be h(1). Does 7 divide ((-4)/r)/(2/(-70))?
True
Let f = -46 - -85. Suppose 3*z = 12, 5*z - 65 = -4*i + f. Is i a multiple of 7?
True
Let z(t) = 12*t + 163. Is z(8) a multiple of 31?
False
Let o = 50 - 44. Let x(t) = t**3 - 7*t**2 + 7*t + 4. Is 5 a factor of x(o)?
True
Let k(j) = 2*j**3 - 3*j**2 - j - 5. Let z = 2 - -1. Is k(z) a multiple of 9?
False
Let h = -1 + 79. Is 39 a factor of h?
True
Suppose -3*l + 5*k + 2 = 0, 0 = 5*l - 3*k - 5 - 9. Does 14 divide 138 + (-6 - (0 - l))?
False
Suppose 8*y + 672 = -0*y. Is 8 a factor of ((-37)/(-4))/((-21)/y)?
False
Suppose 5*a = 15, 0*a - 62 = -5*i + a. Let p(h) = h. Let x(o) = o + 1. Let f(z) = -5*p(z) + 6*x(z). Does 19 divide f(i)?
True
Let n = -487 + 1866. Is 21 a factor of n?
False
Let c(z) = 9*z + 8. Does 21 divide c(2)?
False
Let l = 1762 - 592. Is 65 a factor of l?
True
Is 8 a factor of (-1883)/(-84)*15 + (-15)/12?
False
Suppose -3*f - 2*u + 133 = -0*f, -4*f + 149 = -3*u. Suppose f*o = 39*o + 192. Is 48 a factor of o?
True
Let n be 7909/66 - (2/(-12) - 0). Suppose 4*c + 31 = -u + n, 5*u - 4*c = 325. Does 4 divide u?
False
Let p(g) = 4*g**2 - 35*g + 40. Does 2 divide p(10)?
True
Let j(s) = -s**3 - 2