. Let o be (-16)/12*-1*l. Does 19 divide (o/(-12))/((-1)/(-6))?
True
Let x be (-20)/130 + (-2)/(-13). Suppose x = -11*i + 13*i + 38. Let g(p) = -p**3 - 19*p**2 - 2*p - 23. Does 3 divide g(i)?
True
Let d be -3*((-28)/12 + 1). Suppose -f + w = -d*w + 13, 0 = f - 4*w + 11. Is (-5 - f/1) + 29 a multiple of 9?
True
Let f(o) = -3*o**3 - 8*o. Does 66 divide f(-3)?
False
Suppose 218 = -p + 2*p. Let h = p - 128. Is 18 a factor of h?
True
Let t be 37*1/1*-1. Let a(u) = -11*u - 80. Let i be a(-13). Let n = i + t. Is 25 a factor of n?
False
Suppose -2*i + 1 = -4*u + 25, 3*i - u + 26 = 0. Suppose 5*q - 4*m = 52, -2*q - 2*m = -6*m - 16. Let r = q + i. Is r a multiple of 4?
True
Let r(x) = -x**3 - 3*x**2 + x + 3. Let l(p) = p - 12. Let k be l(8). Let i be r(k). Does 11 divide 5/i + (-196)/(-6)?
True
Is 4 a factor of (75 - -7)/((-125)/(-20) - 6)?
True
Suppose -4*b - 235 = 2*k - 2695, k + 2 = 0. Is b a multiple of 28?
True
Let c(g) = 3*g**3 - 2*g**2 - 8*g. Let h be c(6). Suppose 2*t + t - h = 0. Let l = t + -113. Is 20 a factor of l?
False
Let m = -807 + 1145. Suppose c - m = -5*z - 3*c, 0 = 3*z + 3*c - 201. Is z a multiple of 10?
True
Let m be 1/(4/580) + -4. Suppose -3*p - 65 = x + 354, x - m = p. Let g = -90 - p. Is 11 a factor of g?
False
Let n(h) be the second derivative of h**2/2 - 2*h. Let w(r) = 2*r**2 - 3*r - 6. Let m(i) = 2*n(i) + w(i). Is m(5) a multiple of 8?
False
Let g(w) = w**3 + 11*w**2 - w - 5. Let b = -1 - -6. Suppose 2*r + 5*c + 49 = 7, b*r + 39 = 4*c. Is 2 a factor of g(r)?
True
Let p = -33 + 53. Let b be 5/2*24/p. Suppose -69 = -q + 4*c, -5*q - 3*c + 94 = -b*q. Is 15 a factor of q?
False
Let z(g) = 13 + 24*g + 9*g + 4*g - 6. Let x be z(5). Suppose -x = -10*c + 6*c. Does 16 divide c?
True
Let o(t) be the third derivative of t**5/30 + t**4/12 - t**3/6 - 2*t**2. Let q be (4 + 2)*(-2)/(-4). Is 7 a factor of o(q)?
False
Suppose 8*u + 132 = 4*u. Let k = 23 + u. Is (-556)/k - 22/(-55) a multiple of 8?
True
Let x be (-2)/((-25)/(-10) + -1 + -2). Suppose 0 = 4*z - x*k - 32, k + k - 2 = 0. Is z a multiple of 2?
False
Let w = 1569 - -489. Does 42 divide w?
True
Suppose 52*p = 51*p + 336. Is p a multiple of 7?
True
Is ((-3551)/(-134))/((-2)/(-92)) a multiple of 16?
False
Let v(i) = i**2 - i - 8. Let k be v(4). Is 13 a factor of k + 1 + -19 + 378?
True
Let c = -193 - -396. Is 8 a factor of c?
False
Suppose 4*p - 30 = 2*j, j + p + 2*p + 35 = 0. Let z = 5 - j. Is z a multiple of 28?
True
Suppose 3*p + 36 = 7*p. Is 13 a factor of p/6*(-104)/(-6)?
True
Let i(n) = -2*n - 25. Let l be i(-11). Does 3 divide l/(-24) - 183/(-8)?
False
Let y = -4 - -5. Let i be -3*(1 - (y + -1)). Is 7 a factor of 42 - (1 + i/(-3))?
False
Let o(m) = -m**2 + 53*m + 3. Is 15 a factor of o(26)?
True
Suppose 0*k + 8*k = 3200. Suppose 0 = -2*x + 4*w + 670, -k = -x + 3*w - 64. Does 37 divide x?
True
Suppose 5*f = 8*f + 48. Is 26 a factor of ((-12)/f)/(-3) + (-834)/(-8)?
True
Let g = 172 + 419. Is 47 a factor of g?
False
Does 5 divide (-6)/72*-15 - 8175/(-4)?
True
Suppose 5*f = 10 - 0. Suppose f*l - 5*l = -9. Suppose v = l*v - 36. Is 6 a factor of v?
True
Does 76 divide 839 - ((-1)/(-2))/(8/48)?
True
Suppose 6*w = 10*w. Suppose 0 = -w*z - 3*z + 6. Is 14 a factor of 4/(4/z) + 12?
True
Let q(j) = -3*j + 101. Let v be q(35). Suppose -4*r = -3 - 21. Is 7 a factor of (-5 + -3)*r/v?
False
Suppose -4*f - c + 4*c - 2735 = 0, c = -4*f - 2747. Let d = f - -997. Suppose 3*u - a - 93 - 140 = 0, a = 4*u - d. Is u a multiple of 26?
True
Let p = 58 - 89. Let t = p + 83. Does 13 divide t?
True
Let i(d) = -3 + 45*d + 0 - 7 + 1. Let y be i(5). Suppose o - 5*o + y = 0. Does 14 divide o?
False
Suppose 16 = 4*l + 32, -3*n + 5*l + 3065 = 0. Is n a multiple of 55?
False
Does 39 divide (0 - (-15801)/27) + 2/(-9)?
True
Suppose -12 + 2 = -2*f. Suppose 0*z + 2*z - 93 = -v, f*z + 65 = v. Is 6 a factor of v?
False
Suppose 3*f = 302 + 52. Suppose -180 + 24 = -4*b. Suppose 3*c = 5*m - 159, f + b = 5*m - 4*c. Is m a multiple of 16?
False
Suppose 2*q = 5*f - 3*q - 1455, -1445 = -5*f + 3*q. Does 22 divide f?
True
Suppose -36*i = -15*i - 18690. Is 5 a factor of i?
True
Let c(j) = -j**3 + 17*j**2 + 5. Let a be c(17). Suppose -3*s - 4*l - 127 = 154, -a*l - 79 = s. Is (s - (0 - -1))/(-1) a multiple of 39?
False
Let z be -2 - (2 - 2) - -188. Let l = -95 - 36. Let i = l + z. Is 17 a factor of i?
False
Let z(u) = u**3 - 5*u**2 - 6*u + 18. Let n(m) = -5*m**3 + 26*m**2 + 30*m - 90. Let x(c) = 2*n(c) + 11*z(c). Is x(6) a multiple of 9?
True
Let y(n) = 3*n**3 + 1. Let b be y(-1). Let a be b/2 - (-7)/1. Let z = a - 3. Is z a multiple of 3?
True
Suppose -13*u + 1540 + 1372 = 0. Is 7 a factor of u?
True
Suppose r = 5*d - 2160, 997 = 4*d - r - 731. Is 11 a factor of d?
False
Let q(j) = -2*j**3 - 8*j**2 - 5*j - 5. Let l(w) = 8*w - 6. Let s(p) = -4*p + 3. Let z(g) = -6*l(g) - 11*s(g). Let u be z(2). Does 14 divide q(u)?
True
Let t be -20*(-1 - (-33)/15). Let r be 11/4 + (-6)/t. Suppose 0 = 4*b - 21 - r. Is 6 a factor of b?
True
Let r be (-4 - 7/(-2))*-12. Is 7 a factor of (112/r)/((-8)/(-12))?
True
Let s(z) = -z**3 - 11*z**2 + 12*z - 11. Let c be s(-12). Let r = c - -22. Does 3 divide r?
False
Suppose -x - 52 = -4*n, 21 = 4*n - 3*x - 39. Let s = n + -12. Suppose 4*w = c - 3*c + 170, -5*w + 5*c + 205 = s. Does 21 divide w?
True
Let d(l) = l**3 + 6*l**2 - 8*l - 7. Let y be d(-7). Suppose -18 = -y*w - 2*w. Does 11 divide 17 - w/(-6)*2?
False
Let q(j) = -218*j**3 + 3*j - 2. Let m be q(1). Let s = m + 457. Is 16 a factor of s?
True
Let g(n) = 9*n - 31. Let c(z) = z**2 + 5*z + 2. Let t be c(-4). Let q be (76/(-8) - -3)*t. Is 19 a factor of g(q)?
False
Let y = 8477 - 4352. Suppose 0 = 2*i - 7*i + y. Is i/77 - (-2)/7 a multiple of 4?
False
Let v(z) = -15*z - 3. Suppose 28 = 6*j - 10*j. Is 34 a factor of v(j)?
True
Let l(w) = 8 + 0*w + 4*w + w**3 + 6*w**2 - 14. Let j be l(-5). Let g = j - -7. Is 2 a factor of g?
True
Does 58 divide (360/(-210))/((-6)/1624)?
True
Does 14 divide (1/2 + 1)*(-6560)/(-12)?
False
Let u be (0 - 4 - -4)*-1. Suppose x + u*x - 22 = 0. Does 10 divide x?
False
Suppose 201 = -4*z - 127. Let c = 140 + z. Is 17 a factor of c?
False
Suppose -i - 140 = -5*i. Suppose -4*y - 52 = -5*a, 5*a - 4 = 2*y + 22. Let g = y + i. Is 22 a factor of g?
True
Let y be (1 - 9/(-2))*2. Let f = 8 - y. Is 61 - 1/(-4 - f) a multiple of 16?
False
Suppose -23*t - 14 = -16*t. Is 26 a factor of (-810)/(-20) + (-1 - 3/t)?
False
Suppose 0 = -3*r + 2*r - 86. Let z = -21 - r. Does 13 divide z?
True
Suppose -i = -5*r + 5600, 7*r - 8*r = -3*i - 1120. Is r a multiple of 28?
True
Suppose b + 11 = -3*s + 6*b, 10 = -5*b. Let d(i) = -i - 4. Let o be d(s). Suppose -x = o*x - 24. Is x a multiple of 2?
True
Suppose 0 = -c + 2*m - 2, 4*c + 7 = 8*c - 3*m. Is 16 a factor of c*4/(-2 + 3)?
True
Suppose -870 = -2*d - 12*h + 8*h, d + 5*h = 432. Is 5 a factor of d?
False
Let b(l) = -l**2 + l + 20*l**3 - 1 - 1 - 13*l**3. Let w be b(2). Suppose 0 = -5*g + 492 - w. Is 22 a factor of g?
True
Suppose 2*c - 2 = c. Suppose 522 = 4*t + 5*k, -c*t - 3*t - 3*k = -659. Does 19 divide t?
True
Suppose -2*f = -4*q - 248 + 40, -5*q = -4*f + 254. Let p = q - 23. Let h = -48 - p. Is h a multiple of 8?
False
Let f = 20 + -20. Suppose 0 = 3*u - f*u - m - 29, 2*m - 30 = -5*u. Is u a multiple of 6?
False
Suppose 0 = n - 0*n. Suppose -4*v + h = -3*v - 1, 5*v + 3*h + 3 = 0. Suppose -3*k + n*k + 234 = v. Is k a multiple of 26?
True
Let v(x) = 20*x. Let j be v(2). Is (0 + 2 - 5)/((-15)/j) a multiple of 4?
True
Is 4 a factor of (-8)/(588/74 - 8)?
True
Suppose -2*i + 6 = 2. Suppose -i*k - 29 = -n, 4*k - 94 = -2*n - k. Does 8 divide n?
False
Let x(u) = 2*u - 14. Let q be x(11). Suppose 5*y - 3*y - q = 0. Suppose y*d = -4*a + 360, 5*d + 106 = a + 28. Is a a multiple of 13?
False
Let v(i) = 9*i**2 - i - 3. Let c be v(2). Suppose -c = -5*l + 84. Let q = 40 - l. Is 5 a factor of q?
False
Let b(i) be the third derivative of 7*i**4/6 - i**3/6 + 4*i**2. Is 9 a factor of b(1)?
True
Let j be ((-88)/55)/(28/(-15) + 2). Is 17 a factor of ((-56)/j)/(2/90)?
False
Let l(y) = -69*y + 14. Let x be l(-9). Suppose 2*r + g = 294, 2*g - 63 = 4*r - x. Is 29 a factor of r?
True
Suppose 5*x + 3*c - 3 = -13, 0 = 3*c. Let u(m) = -m**3 - 5 + 4085*m**2 + 7 - 4085*m**2. Is 10 a factor of u(x)?
True
Suppose -3*i + b + 16 = -89