2*k - 30. Suppose 0 = 3*o + 72 - 27. Let x be n(o). Suppose x = 24*s - 22*s - 52. Does 4 divide s?
False
Let n(g) = -g**3 + 8*g**2 - 4*g - 17. Let l be n(6). Let c = 82 - l. Is c even?
False
Let x(m) = -1314*m + 3990. Is 12 a factor of x(-29)?
True
Let c = 9961 + -2562. Is c a multiple of 206?
False
Suppose -3*f = 4*f - 112. Let n(r) = 5*r + 1. Let l be n(f). Suppose l = 3*o + a, 0*o - a = -4*o + 101. Is o a multiple of 14?
False
Let t(j) = j**2 + 7*j - 94. Let s be t(10). Is 9 a factor of (-13)/((-312)/36)*s/6?
False
Suppose -924*g + 927*g = 159960. Does 124 divide g?
True
Suppose 3*q = -0*q + 2*r + 78, 4*q = -2*r + 90. Is 34 a factor of (-4 - -1)/(q/(-2864))?
False
Suppose 4*f - 4*c = 92, 3*c = f - 12 - 15. Suppose -2*k = 5*k - f. Suppose -k*h + 155 = 5*r + 2*h, -2*h - 112 = -4*r. Does 17 divide r?
False
Let r = -4904 + 4966. Is 43 a factor of r?
False
Suppose -2191592 - 187200 = -101*n - 77*n. Is n a multiple of 243?
False
Let c(g) = -18*g - 13. Let w be c(-4). Suppose -1 = -i - 0. Let n = w + i. Is 15 a factor of n?
True
Suppose -451*z - 9215 = -456*z. Let h = -1213 + z. Is 63 a factor of h?
True
Suppose -3*g - 3*b - 2 + 11 = 0, -3*g + 9 = 2*b. Let y = -530 + 535. Suppose -3*o - 90 = -y*z, -z - 36 = -g*z - o. Is z a multiple of 8?
False
Let y be (-32427)/(-12) - 0 - (-10)/(-40). Let s = -1654 + y. Is s a multiple of 38?
False
Suppose 936*y - 948*y + 44148 = 0. Is y a multiple of 44?
False
Suppose -2*j + 29432 = 3*w, 5*w - 16033 = -3*j + 28112. Is 64 a factor of j?
False
Let z(p) = p**2 - 7*p + 2. Let h be (288/54)/((-4)/(-6)). Is 10 a factor of z(h)?
True
Suppose -3777*w + 1897*w + 1839*w = -791587. Is 90 a factor of w?
False
Let f(u) = -u**3 + 3*u**2 + 11*u - 1. Let c be f(5). Suppose 0 = -c*a + 440 + 1536. Is 13 a factor of a?
True
Let z = 6664 - 0. Is 98 a factor of z?
True
Suppose -83*g - 5*w - 17 = -79*g, 2*g - 14 = 2*w. Suppose 10304 = 14*i + g*i. Does 44 divide i?
False
Suppose -8*t - 20 + 52 = 0. Suppose -328 = -4*g - t*h, -h - 364 = -4*g - 16. Let d = 110 - g. Is d a multiple of 7?
False
Let q = 3281 + 4098. Is 40 a factor of q?
False
Is 148 a factor of 22/(-176) - (568375/(-120) + (-1)/(-3))?
True
Suppose -5*i + 17 + 248 = 2*v, i = 3*v - 423. Let c = 98 - v. Let g = 88 + c. Is g a multiple of 9?
False
Let y be -155*(2 + -3) - -2. Suppose 3*x - 3*n = -x + 606, x = -2*n + y. Does 17 divide x?
True
Suppose -5*l + 15 = 0, -85*s = -90*s - 4*l + 17017. Suppose -s = -28*t + 7463. Is 49 a factor of t?
False
Let g be ((-14)/(-3))/(5/15). Suppose 0 = -31*q + 33*q - 22. Suppose g*x = q*x + 30. Is x a multiple of 10?
True
Let s be 66/429 + 1 + (-204)/(-26). Suppose s*n - 4*o - 192 = 5*n, 3*n = -4*o + 109. Is n even?
False
Let z = 1332 - -3073. Is z/25 - (0 - 2/(-10)) a multiple of 22?
True
Let j = 276 - -253. Does 2 divide 66/297 + j/9?
False
Let o = -213 + 378. Suppose 2*y - o + 37 = 0. Does 6 divide y?
False
Let y(z) = z**3 + 8*z**2 + 4*z - 6. Let k be y(-8). Let o = -37 - k. Is 15/(o + -3 + 3) a multiple of 3?
True
Let q(p) = 63*p**2 + 17*p + 280. Is 51 a factor of q(-11)?
False
Let a(n) = -18*n**2 + 10*n + 44. Let h be a(-6). Let k = 1049 + h. Is 55 a factor of k?
True
Suppose -5*n + 154245 = 5*s, 4*s - 64471 - 58935 = -2*n. Is s a multiple of 19?
False
Is 2531115/486 - (-2)/(-72)*2 a multiple of 168?
True
Let q(u) = -82*u**3 - 3*u - 1. Let p be q(-1). Is 37 a factor of p*((-14)/(-3) + -2)?
False
Let f(o) = -16*o**2 - 16*o + 89. Let k(z) = 3*z**2 + 3*z - 18. Let j(p) = 2*f(p) + 11*k(p). Let m = -2926 - -2915. Is 18 a factor of j(m)?
True
Let p be (-12)/(-21) + 2 - 28/49. Suppose -5*v - 12 = 4*d, -3 = p*d + 3*v + 5. Suppose -7 - 185 = -d*c. Is c a multiple of 24?
True
Suppose 8259 = s + 5*g, 4*g = -s + 8259 - 4. Is s a multiple of 7?
True
Let w = 23850 - 14282. Does 16 divide w?
True
Suppose 3*w - 5*i - 1175 = 0, -5 = 3*i - 20. Let j = -24711 + 24725. Suppose -22*l + j*l + w = 0. Is l a multiple of 7?
False
Let r = -402 - -405. Suppose m = -2*m + x + 2544, 3*m + r*x = 2532. Is 25 a factor of m?
False
Let j be 18/14 - 196/686. Let l(t) = t**3 + 3*t**2 - 5*t - 1. Let c be l(-4). Does 8 divide 75 + c + j + 1/1?
True
Let d(h) be the first derivative of -13*h**2/2 + 10*h - 27. Does 35 divide d(-13)?
False
Let x(o) = o**2 + 13*o + 22. Let s be x(-10). Let f be ((-1806)/(-12))/((-4)/s). Suppose 440 = 5*c + 3*m, 5*m - f - 64 = -4*c. Is c a multiple of 5?
True
Let i = -2618 - -3317. Is i a multiple of 13?
False
Let y(x) = -17 + 6*x - 5*x + 5*x. Let c be y(5). Suppose c*q = 1860 + 948. Is q a multiple of 18?
True
Suppose b + 4*z - 29884 = 0, -2*b - 75*z + 59684 = -79*z. Does 32 divide b?
True
Let v(g) = 2*g**3 - 10*g**2 + 45. Let p be v(6). Suppose 1260 = -116*l + p*l. Is l a multiple of 45?
True
Suppose -3*x = -15*x + 60. Does 9 divide ((-7)/(-4))/(((-10)/(-96))/x)?
False
Let w(u) = 1100*u - 1676. Is w(16) a multiple of 20?
False
Let i = 1210 - -806. Is i a multiple of 24?
True
Let r = 2737 - 1833. Is 8 a factor of r?
True
Let d(j) = 3*j**2 + 3*j - 2. Let o be d(1). Suppose -o*m - 2*m = 0. Suppose m*t + 6*t - 78 = 0. Is t a multiple of 2?
False
Let l = -915 - -1945. Let v = l - 211. Is v a multiple of 9?
True
Let w be -1 + 4/8*32. Suppose w*u - 11*u = -8. Does 55 divide 57 + u + -2 + 4?
False
Does 21 divide 3*(-41)/(861/(-64358))?
False
Suppose 3*d = -2*d - 5*g + 340, -4*g = 0. Let l = d + 23. Does 7 divide l?
True
Let o(x) = -4332*x**3 + 42*x + 42. Is o(-1) a multiple of 57?
True
Suppose -4*n + 2*z = 1008, -z + 1014 = -4*n + 4*z. Let o = 575 + n. Does 36 divide o?
True
Let u(i) = 32*i + 14. Let m(b) = 2*b**2 - 3*b - 17. Let a be m(5). Does 62 divide u(a)?
False
Let x be (-56)/10 - ((-54)/(-15))/9. Is 180*(x - (-78)/12) a multiple of 9?
True
Let a(b) = 1184*b + 8*b**2 - 1184*b. Is a(5) a multiple of 50?
True
Suppose 37*l - 44*l + 2821 = 0. Does 8 divide l - 4*(-1)/(-2)?
False
Let z = -111 - -65. Is 18/(-207) + (-7042)/z a multiple of 51?
True
Let z = 140 - 90. Let k be z/(-13) - (72/78)/6. Is 23 a factor of 181/(k/4)*-1?
False
Suppose 37619 + 8141 = -45*s + 50*s. Is 143 a factor of s?
True
Let x(h) = -h**3 + 5*h**2 - 5*h + 5. Suppose 0 = -0*q + 5*q - 15. Let c be x(q). Does 10 divide (-126)/3*c/(-6)?
False
Let f be 5*16/(-40)*-108. Is (f + -46)*(1 - -2) a multiple of 34?
True
Suppose 0 = 1697*w - 1677*w - 18360. Does 17 divide w?
True
Suppose -4*f = -119*d + 118*d + 10530, -2*d = -2*f - 21060. Does 62 divide d?
False
Let m(l) = -8*l - 22. Suppose -188 = -13*c + 17*c. Let h = c - -33. Does 18 divide m(h)?
True
Suppose 25*n - 4*n - 160055 + 19124 = 0. Does 15 divide n?
False
Suppose 2779 + 536 = 3*t. Let n = 1900 - t. Let m = n + -563. Is 12 a factor of m?
False
Suppose -8*j + 6*j = 3*y + 63, 4*y - 48 = j. Is (-30)/j + 727/6 a multiple of 61?
True
Let l = -108 - -99. Is 70*5 - (l - (-6 - 1)) a multiple of 32?
True
Does 6 divide ((-960)/4)/((-86)/(-11) - 8)?
True
Let i(n) = -n + 6. Let t be i(2). Suppose 4*v = t*d - 136, 2*v + v = -d + 42. Does 8 divide d/4*(-16)/(-18)*3?
True
Let w = -44 + 45. Does 16 divide w + (-12)/11 + (-394995)/(-561)?
True
Let h = -130 - -137. Is (-107280)/(-280) + (-1)/h a multiple of 18?
False
Let w(c) = c**3 + 4*c**2 - 4*c - 4. Let x be w(-4). Does 6 divide 34/12*3*x?
True
Suppose -2*c + 72668 + 85302 = 2*g, -236950 = -3*c + 2*g. Is 14 a factor of c/171 + (-4)/(-38)?
True
Let h be (390 - (-2 - 2))*(-6)/(-4). Suppose 0 = -3*a + m - 4568, -2*a + 2*m - 3631 = -h. Is a/(-8) + (-2)/(-4) a multiple of 42?
False
Let y(u) = u**3 - 9*u**2 + 12*u + 14. Let t be y(7). Suppose 35*p - 46*p - 21318 = t. Does 5 divide p/(-48) - 3/8?
True
Let c(a) = 252*a + 11121. Is 3 a factor of c(-19)?
True
Let s(y) = y**3 + 7*y**2 - 5*y - 1. Let x be s(-5). Let g be x/3 - 9/(-27). Let k = g - -94. Does 9 divide k?
False
Let c(b) = -542*b - 212. Is 15 a factor of c(-16)?
True
Is 10 a factor of 17252/(-57)*(-6 - (-2424)/(-32))?
False
Suppose 0 = -q - 5*q + 5*o + 116362, -5*o + 19382 = q. Is 64 a factor of q?
True
Suppose 12 = 76*d - 72*d. Suppose 2*j = -25 + 33, d*j - 232 = -q. Is 20 a factor of q?
True
Suppose -2*p - 366 = -4*z, -4*z + p + 363 = 2*p. Let u = z - 12. Is 3 a factor of u?
False
Let v = 457 - 464. Let x(h) = 7*h**2 - 12*h - 54. Is x(v) a multiple of 27?
False
Let p(j) = -j**3 - 6*j**2 + 4*j - 8. Let d(f) = f. Let m(x) = 3*x + 43. Let c