3 + 2*t**2 - 2*t - 1. Suppose 5*u - 4*a + 22 = -a, 2*a - 14 = 3*u. Let g be z(u). Does 18 divide g/(-5) - 14/(-35)?
False
Let u = -15 + 15. Suppose k - 11 = -3*b, b - 7 = -2*k + k. Suppose k*d = -u*d + 150. Is 12 a factor of d?
False
Is 5 a factor of 100/325 + (-15272)/(-52)?
False
Suppose -2*q + 274 + 588 = 0. Is q a multiple of 24?
False
Let b be 59/2*(1 - 3). Let v = b + 120. Is v a multiple of 25?
False
Suppose 3*g - 69 + 265 = 4*s, -49 = -s + 5*g. Suppose -s + 1435 = 14*f. Does 8 divide f?
False
Let r(w) = 4*w**3 + 2*w**2 - 11*w + 4. Let v(n) = -n**3 + n**2 + n + 1. Let o(d) = r(d) + 5*v(d). Let u be o(6). Let h = u - 4. Does 3 divide h?
False
Let c(d) = 4*d. Let x be c(1). Suppose -3*j + x = -5*j. Is 4 a factor of (0 + j)/((-5)/50)?
True
Is 0/(-2) + -2 + 827 a multiple of 15?
True
Let q = -17 - -97. Let r = q - 28. Is r a multiple of 17?
False
Does 22 divide 128 + 1 - (20 - 24)?
False
Suppose 4*g + 123 = -81. Let c = g + 66. Is 3 a factor of c?
True
Suppose -130 = 5*u + 30. Let f = u - -32. Suppose f*g - 2*g = -36. Does 10 divide g?
False
Let s = 1061 + -350. Is 13 a factor of s?
False
Let w(l) = -17*l - 8. Suppose -n - 4*j = 8, 20 = -4*n - 0*n - 4*j. Does 12 divide w(n)?
True
Suppose 3*x = -3*v + 12171, 3*x + 12169 = 6*x + 4*v. Does 121 divide x?
False
Let v be 0 + 9 - (6 + -5). Let z be (12/v)/(2/40). Let r = 48 - z. Does 5 divide r?
False
Suppose 2 + 34 = 3*c. Let i be ((-160)/c)/((-4)/18). Does 18 divide (i/35)/(4/42)?
True
Suppose 0 = 5*r - 2*y - 74, 0 = 3*r - y - 2*y - 48. Is 7 a factor of 2/r - 586/(-14)?
True
Let w be (-231)/(-56) - 2/16. Suppose 3*o - 4*j - 88 = 0, 29 = -w*o + 5*o - j. Is o a multiple of 14?
True
Let h(i) = -9 - 51*i - 4*i - 4 + 12*i. Is h(-3) a multiple of 45?
False
Suppose -3*t + j = -4*t + 7, -25 = -5*j. Suppose t*p - p - 11 = 0. Suppose 4 = 5*r - p. Does 2 divide r?
False
Suppose 0 = -9*d + 42 - 6. Suppose -5*j - 3*a + 8*a = -185, -2*j + 80 = -d*a. Is j a multiple of 5?
False
Suppose 80*k + 480 = 84*k. Is k a multiple of 30?
True
Suppose 5*d + 45 = 10*d. Let j be (3 - (1 + 1))*d. Let a = -4 + j. Is a a multiple of 2?
False
Let a(j) = -j**2 + 9*j - 2. Let b be a(8). Suppose 7*s - 56 = b*s. Suppose z = -3*z + s. Is z a multiple of 13?
False
Suppose m - 3 = 0, -4*m = -3*j - 7*m - 474. Let q be 0 - (4 + -5) - j. Let h = -114 + q. Is 12 a factor of h?
True
Suppose 20 = 5*r - y - 20, -5*r - 3*y = -40. Suppose -3*x + r = -x. Suppose 2*b - x*b = -32. Is b a multiple of 12?
False
Let p be (0 + 3)/((-1)/(-17)). Suppose -3*x + 4*l = -l - 60, 2*l + p = 3*x. Is x a multiple of 11?
False
Let f(v) = -2*v + 1. Let z be f(-2). Let i(t) = 2*t - 3. Let r be i(z). Is 13 a factor of 2/r + 206/14?
False
Let b = 11 + -5. Suppose -b*v = -v - 420. Is ((-24)/14)/((-3)/v) a multiple of 12?
True
Suppose -2*p - 70 - 132 = 0. Let y = -31 - p. Does 14 divide y?
True
Let b be 40692/24 + 2/(-4). Suppose 5*d = 4*q + b, -4*q = 4*d - 0*q - 1320. Is 43 a factor of d?
False
Suppose 5*n + 4*m - 149 = 94, 2*n + 2*m = 96. Let a = n + -37. Does 2 divide a?
True
Let m(a) = a**2 + 9*a + 11. Let v be m(-8). Suppose 0*j - 12 = v*j. Does 5 divide 0 + 6*(j + 8)?
False
Let r(z) = -z**2 + 1. Let i be r(2). Let n(f) = -16*f + 5. Let t(s) = 17*s - 6. Let p(u) = 4*n(u) + 3*t(u). Is 12 a factor of p(i)?
False
Suppose 70*g - 120960 = -38*g. Is g a multiple of 35?
True
Let y(f) = 125*f**2 - 2. Let b be y(1). Let w = b - 91. Is w a multiple of 16?
True
Suppose -3*i - 29304 = -40*i. Does 11 divide i?
True
Let n be (0 - 20/6)*636/(-530). Suppose -246 = -10*g + n. Is g a multiple of 4?
False
Let r = -11 - -20. Suppose 2*b = -t + r, 3*b + t + 4*t - 10 = 0. Suppose b*v - 11 = 34. Is v a multiple of 9?
True
Does 42 divide 456/380*(-820)/(-6)?
False
Suppose 2*v + d - 4 = -2*d, -17 = -5*v - 4*d. Suppose -j - n = 4*j + 218, -4*n = v*j + 227. Let q = 17 - j. Does 30 divide q?
True
Suppose 2*f - 2*v - 4 = 0, 3*v = -4*f + v + 2. Let t be (-2)/4 - 1/2. Is t/(f/(-33 - 3)) a multiple of 12?
True
Suppose 2*s - 4 = -2*s, 2*o - 4*s = -22. Let d = 15 - o. Does 3 divide d?
True
Let x(r) = r**3 + 2*r**2 - 6*r - 4. Let h be x(-4). Let a = h - -24. Suppose o = 3*o - a. Is 6 a factor of o?
True
Let s(n) = 3*n - 2. Let w be s(8). Suppose -3*x - 3 + 0 = 0. Does 13 divide 6/2 - (x - w)?
True
Suppose -6 = -3*m + 36. Let s be m/5*15/6. Let r = s + -3. Is r a multiple of 4?
True
Let d(f) = 36*f**3 - f**2 + 3*f - 1. Suppose 0 = -5*p - 0*p + 15, -4 = 5*g - 3*p. Does 37 divide d(g)?
True
Suppose -d - d + 4 = 0. Suppose 0 = 3*i - 4*h - 244, -d*h + 0*h = -i + 78. Does 8 divide i?
True
Does 19 divide 180/(-27)*18240/(-50)?
True
Let c be 0 + (0 - (2 + 0)). Let b = c + 0. Is (9 + -8)/(b/(-10)) a multiple of 5?
True
Suppose -2*u = 5*q - 73 - 112, 5*u - 111 = -3*q. Let j = -5 + q. Does 16 divide j?
True
Let c be (17 + 2 + -5)/(2 - 0). Is 89/c - (-18)/63 a multiple of 3?
False
Suppose 36090 = -3*s + 21*s. Does 16 divide s?
False
Suppose q = 3*d + 146, -2*d + 696 = 7*q - 2*q. Does 70 divide q?
True
Suppose b = -h, 0 = h - 3*b - 10 + 2. Suppose -h*r - 3*r + 3*j = -22, j = r - 4. Suppose p - r*d = 29, 2*d - 27 = -3*p + 5*d. Does 4 divide p?
True
Does 44 divide ((-10)/5)/2*1 + 1101?
True
Suppose -23*d - 3064 = -15*d. Let j = d - -543. Is 20 a factor of j?
True
Let j(b) = -2*b - 4 - 2*b - 2. Suppose y = x + 8, 2*x + 4*y = 3*x + 17. Is j(x) a multiple of 11?
False
Let j(h) = h**2 - 2*h - 9. Let s be j(5). Let w be (-4)/s + (-96)/(-36). Suppose 0 = -w*g + 1 + 131. Is g a multiple of 34?
False
Suppose -33*u = -31*u - 4. Suppose 0*x = -4*a - x + 260, -a = u*x - 65. Is a a multiple of 13?
True
Is (((-200)/15)/10)/((-2)/1653) a multiple of 24?
False
Suppose k - 2*k - 24 = 5*n, 5*n = 5*k. Let v(l) = -l**2 - 3*l + 8. Let z be v(n). Let d = z - -5. Is d a multiple of 5?
False
Let m be 2*3*(12/(-3))/(-12). Suppose -m*z - 960 = -7*z. Is 48 a factor of z?
True
Suppose 5*k + z + z = 544, -2*z = -k + 116. Suppose 5*f = -0*f + k. Is 17 a factor of f?
False
Suppose -2*r - 3*o - 2*o - 29 = 0, 26 = -5*r + 3*o. Let d(c) = c**3 + 13*c**2 + 13. Is 32 a factor of d(r)?
False
Is 3 - (10*(-2)/4 - 196) a multiple of 17?
True
Let m(b) = 1 + 355*b**3 - 174*b**3 - 179*b**3 - 2 - 3*b**2. Let x(d) = -d**2 - 3*d + 3. Let o be x(-3). Is m(o) a multiple of 13?
True
Let s = 738 - 374. Suppose -6*b + s = -686. Is 25 a factor of b?
True
Let m(g) = -g**2 + 2*g + 7. Let y be m(5). Let r = y - -50. Is 16 a factor of r?
False
Suppose 0 = -3*n - 5*i - 143, -4*n - 3*i - 180 = i. Let k = n - -70. Is k a multiple of 5?
False
Let i(p) = -93*p + 9. Let g(f) = -185*f + 17. Let o(r) = 6*g(r) - 11*i(r). Does 9 divide o(-1)?
True
Let q be -5 + 0 - (-28)/(-7). Let y = q + 21. Is 12 a factor of y?
True
Suppose 9*p = 3*p. Suppose 3*d = d + 24. Let h = p + d. Is h a multiple of 6?
True
Suppose -3*l + 270 = t, -4*t - l + 1330 = 261. Is 11 a factor of t?
False
Let c = 1825 + -1108. Is 14 a factor of c?
False
Suppose -4*m + 6*m - 6 = 0. Suppose 2*j = m*j - 80. Suppose y = -4*n + j, 6*n = 4*n + 5*y + 62. Is 21 a factor of n?
True
Suppose -1964 = 3*m - 4*y - 8004, -8055 = -4*m + 5*y. Does 12 divide m?
False
Suppose -246*j + 307*j - 5490 = 0. Does 15 divide j?
True
Let g be 4 + 6/(-2) - -14*1. Does 8 divide (-10)/3*18*(-14)/g?
True
Suppose 2*s - 6*s = -32. Let z be 2 - 3*s/12. Suppose -4*c + 96 = -z. Does 12 divide c?
True
Let i(f) = -22*f + 1. Suppose 2*a - 3 + 7 = 0. Let n be i(a). Suppose 0*y - 3*y = -n. Is 4 a factor of y?
False
Let s be 4 - 5 - (-2 - -3). Let k(l) = 6*l**2 + 2*l + 4. Does 6 divide k(s)?
True
Suppose -3*c + 2*g + 724 = -668, c + 5*g - 447 = 0. Is 33 a factor of c?
True
Let l(i) = -17*i + 2. Suppose 6*w = -4*r + w - 21, -r - 5*w = 9. Is l(r) a multiple of 16?
False
Is 17 a factor of 746 - (-11 - -5)/6*-3?
False
Suppose 8*v = -23 + 71. Let i(s) = 2*s + 12. Is i(v) a multiple of 12?
True
Let u(r) = r**3 + 4*r**2 - 2*r. Let l(k) = -3*k + 3*k**3 + 9*k - 4*k**3 - 4 - 5*k**2. Let w be l(-6). Does 4 divide u(w)?
True
Suppose -4*l + 105*i + 4508 = 108*i, -2*i + 4508 = 4*l. Does 23 divide l?
True
Let r(p) = -2*p + 13. Let y = 12 - 6. Let c be r(y). Suppose -i - c = -71. Is 14 a factor of i?
True
Let o be 2/(-1)*(-34 + 17). Let y = 18 + o. Does 26 divide y?
True
Let k(i) = 77*i + 254. Is 34 a factor of k(10)?
False
Suppose 4*f - 9 = f. Let o(k) = 10*k**