et i = 156 + -171. Is 13 a factor of i*((-40)/r + 0)?
False
Let g = -11 + 11. Let q(h) = -21 + 28 + 3 + 70 + h. Does 20 divide q(g)?
True
Let f = -19 - -30. Let r = 8 - f. Is 26 a factor of 28*r*25/(-60)?
False
Let v = -64 + 68. Suppose -v*n = -4*a - 28, n + 3*n + 4*a = 20. Suppose -n*y + 2*w - 29 = -7*y, 0 = 3*y - w - 52. Does 2 divide y?
False
Let a = -14 - -8. Let g(v) = 11*v**2 - 9*v + 1. Does 15 divide g(a)?
False
Let k be (687*(-6)/27)/(12/(-90)). Suppose 5*c = -k + 6790. Is c a multiple of 29?
False
Let c(a) = -a**3 - 5*a**2 + 3*a - 5. Let g = 57 - 62. Let i be c(g). Let q(j) = j**3 + 20*j**2 - 3*j - 9. Does 17 divide q(i)?
True
Let a be 0/(-2)*1/(-2). Suppose -66*j + 20*j + 414 = 0. Suppose a*r - j*r = -747. Does 18 divide r?
False
Is 31 a factor of 456964/22 - 48/44?
True
Is 1198271/249 - (-8)/3 a multiple of 5?
True
Let b(a) = 1055*a + 4. Let g(q) = -4*q - 37. Let h be g(-9). Let n be b(h). Is 9 a factor of 48/216 + n/(-9)?
True
Let o be (218/(-3))/((-96)/(-2448)). Let g = o + 3161. Is 109 a factor of g?
True
Suppose 3*f + 2*o = f + 26, 0 = -3*f + 3*o + 15. Suppose -384 = c - f*c. Suppose c = 10*m - 2. Is 2 a factor of m?
False
Suppose -384 = -12*b + 1200. Is 66 a factor of b?
True
Suppose -5*v - 36 = -v. Let d be ((-15)/(-10))/(v/12). Does 20 divide (-2)/(d - 1360/(-685))?
False
Suppose 4245 = 2*u - 5*o + 556, 5*u - 9215 = 5*o. Suppose -u = -4*l + 478. Suppose 0*j - l = -5*j. Is j a multiple of 30?
False
Let j(u) = 52*u + 93. Let v(h) = -53*h - 94. Let s(i) = 4*j(i) + 3*v(i). Is s(16) a multiple of 46?
True
Suppose 5*r + 3*f = 6 + 37, 3*r + 2*f - 25 = 0. Let t(g) = 15*g - 13. Let l be t(r). Let k = l - 24. Does 32 divide k?
True
Suppose 0 = -10*v + 15*v - 50. Let k = -6 - -5. Is ((-112)/v)/(k/5) a multiple of 14?
True
Let g(q) = -10*q - 2. Let r be g(1). Let c be (388/r)/(2/(-6)). Let u = c - 68. Does 2 divide u?
False
Let c = 295 - 294. Let u be (-49)/(1/(6 - 3)). Is 5 a factor of (-1)/c - (-2)/((-14)/u)?
True
Is 30 a factor of (882/343)/(2620/(-875) - (-2 - 1))?
True
Suppose 2*j - 4424 = -2*n, 0 = 5*j - 2*n - 2*n - 11051. Suppose 0 = -8*b + j + 221. Is 12 a factor of b?
False
Let v(u) = -2 - 8*u + 8*u - 9*u + 10 - 6*u**2 + u**3. Let d(i) = i**3 - 14*i**2 + 24*i + 8. Let x be d(12). Does 16 divide v(x)?
True
Let u = -296 + 296. Suppose -4*l = 8*t - 6*t - 130, -5*l - 10 = u. Does 2 divide t?
False
Let d = -179 - -344. Let y = 365 - d. Does 10 divide y?
True
Let y = 197 - 349. Let s be (y/(-10))/(13/(-65)). Let i = -4 - s. Is 36 a factor of i?
True
Let l be (6/3)/((-20)/(-1910)). Let p = l - 70. Is p a multiple of 3?
False
Let z be (1/((-4)/538))/((-23)/138). Suppose -2406 = -9*b + z. Does 17 divide b?
True
Suppose -6*k - 641 = 139. Is -56*(k/(-20) + -7) a multiple of 14?
True
Let i = 4564 + -2518. Is i a multiple of 17?
False
Let q(x) be the first derivative of -x**3/3 - x**2 + 22*x - 8. Let p be q(-5). Suppose -4*v + p*v - 39 = 0. Is v a multiple of 4?
False
Let f(k) = 8*k - 12. Let o be f(2). Let x(a) = -1. Let p(r) = -9*r - 9. Let j(u) = -p(u) - 6*x(u). Is 9 a factor of j(o)?
False
Suppose -146268 - 284486 = -74*l. Is 26 a factor of l?
False
Let b(k) = -94*k - 1. Let u be b(-1). Let c(v) = -2*v**3 + 5*v**2 + 102*v - 426. Let o be c(4). Let r = o + u. Does 8 divide r?
False
Let p(s) = -s**3 - 8*s**2 + 22*s - 9. Suppose 68*m = 62*m - 66. Is 16 a factor of p(m)?
True
Suppose -d = -5*r - 342 - 18, -5*r = -2*d + 730. Let j = d + -259. Is j a multiple of 2?
False
Let t(i) = 5*i - 60. Let j be t(18). Let z be (3/5)/(j/5550). Let l = z - 99. Is 2 a factor of l?
True
Let t = 11347 + -7160. Is t a multiple of 53?
True
Let z(h) = h**2 + 10*h + 5. Let i be z(-10). Suppose -i*a - 8 = -a. Is 15 a factor of (-2)/4 + (-61)/a?
True
Suppose -2*p + 2*a + 3968 = 844, 0 = -p - 4*a + 1592. Does 16 divide p?
True
Let n be 21*-1 + (-2)/(-3)*-3. Let j = -21 - n. Suppose j = c - 62. Is c a multiple of 8?
True
Let l = -4216 + 12778. Is 30 a factor of l?
False
Let p be 3/(18/(-4)) - (-20)/30. Suppose -3*q + 2*q + 54 = p. Is q a multiple of 5?
False
Suppose 3*w + 239 = -4*c, 5*w = -3*c - 595 + 193. Let p = w + 82. Suppose 14 + p = d. Does 7 divide d?
False
Suppose 14415 = 4*t - p, -14*p + 10*p = -t + 3600. Is 68 a factor of t?
True
Let o be 3*(1 + 2*4). Let p = -214 - -211. Let y = o - p. Is y a multiple of 6?
True
Let d = -67 - -81. Let y = 31 - d. Suppose y*o + 216 = 20*o. Is 8 a factor of o?
True
Let f be (-42)/(-49)*-1142*21/(-6). Is (1/2)/(3/f) a multiple of 15?
False
Let x = 35 - 72. Suppose 277*t = 278*t + 58. Let s = x - t. Is 2 a factor of s?
False
Suppose 3*j + 3 = 4*j. Suppose 2*t + 3*l - 24 = -t, 9 = j*l. Suppose t*u = u + 512. Is 16 a factor of u?
True
Let h(c) = -13*c - 1. Let s(r) = 3*r. Let g(x) = -2*h(x) - 9*s(x). Let o be g(-2). Is 22 a factor of (-9)/o + 2 + 2643/12?
True
Let l(g) = 4*g**2 + 9*g + 35. Let i(x) = x**2 + 13*x + 28. Let b = 54 - 58. Let y be i(b). Is 35 a factor of l(y)?
False
Let o = 12260 - -26586. Is o a multiple of 194?
False
Let r = -11676 - -23692. Does 24 divide r?
False
Suppose -110 = 31*o - 9*o. Let n(f) = 14*f**2 + 13*f - 8. Does 49 divide n(o)?
False
Let j(o) = -o**3 + 7*o**2 + o + 5. Let t be j(7). Suppose t*c - 13*c + 92 = 0. Suppose -17*i + c = -16*i. Is i a multiple of 47?
False
Suppose 0 = 5*c - 28*k + 26*k - 30256, 3*c - 18165 = 5*k. Is 11 a factor of c?
True
Let g(t) = 3*t**2 - 25*t - 1056. Is g(37) a multiple of 168?
False
Suppose -49*l - 89937 = -86*l + 51773. Is l a multiple of 5?
True
Let b(v) = -15*v + 8. Let s be b(-2). Let h = -31 + s. Let l = h + 165. Does 46 divide l?
False
Let r = -1955 + 9973. Is 211 a factor of r?
True
Is 103 a factor of 9 + (-7335)/(-36)*2*2?
True
Suppose -5*l + 1 + 0 = -j, 5*l + 4*j = -4. Let h(d) = 3*d - 7. Let q(p) = -45*p + 99. Let m(k) = -72*h(k) - 5*q(k). Is 2 a factor of m(l)?
False
Is 14 a factor of (7 + -4)/(9*2/22848)?
True
Let c(n) = 143*n**3 - n**2 - 2*n + 2. Let a(m) = -2*m**2 + 31*m - 41. Let b be a(14). Is 6 a factor of c(b)?
False
Let k = -503 + 343. Let d = -31 - k. Suppose 3*w - 366 = 3*o + o, w = -o + d. Does 17 divide w?
False
Suppose 2*t - 2312 = -3*h + 169828, t = 0. Is h a multiple of 76?
True
Let d = 7308 + -5945. Is d a multiple of 3?
False
Let s(c) = 86*c**3 + 3*c**2 + 21*c - 39. Is 13 a factor of s(3)?
False
Suppose 0 = 26*f - 21*f + 1240. Let v = f - -682. Is 26 a factor of v?
False
Suppose 13 + 4 = -d. Let i(m) = m**2 - 26*m - 10. Let z be i(24). Let j = d - z. Does 41 divide j?
True
Suppose y = -0*y - 4, 3*y = 4*s - 68. Let c be 144/42 + 8/s. Suppose 268 = 3*t - 0*t - c*q, -q + 332 = 4*t. Is 21 a factor of t?
True
Suppose 0 = -4*r - 3*g, -5*r - 3 = 5*g + 2. Suppose 4*h = -b + 199, 358 - 104 = 5*h + r*b. Let p = -5 + h. Is p a multiple of 13?
False
Is -2 - (3/14 - (-3472920)/(-112)) a multiple of 39?
False
Suppose 9*d - 32*d - 575 = 0. Let z(p) = -37*p - 125. Does 62 divide z(d)?
False
Let u(a) = 40*a + 366. Is u(-6) a multiple of 3?
True
Let x = -193 + 189. Is (-84)/(((-2)/x)/(-1)) a multiple of 28?
True
Let x(l) = 3*l - 23. Let v be x(3). Does 9 divide 52 + (-21)/v*(-16)/(-6)?
False
Let l(n) = -37*n**3 - n**2 + n - 2. Let q be l(-2). Let j = 4752 + -4952. Let o = q + j. Does 38 divide o?
False
Suppose 0 = -4*r - a + 8 + 6, -r - 7 = -5*a. Let q(y) = 85*y - r + 4 + 14. Is q(3) a multiple of 27?
True
Suppose 777 = -2*v + 1987. Is 25 a factor of (-24)/6 - (-3 + 4 - v)?
True
Suppose 7*p - 11*p = -3244. Suppose 2189 = 8*i - p. Is i a multiple of 9?
False
Suppose 5*n - d = 55, d - 2*d - 35 = -3*n. Let a(r) be the first derivative of r**4/4 - 11*r**3/3 + 13*r**2/2 - 18*r - 400. Is a(n) even?
True
Let a be 0 - 0/2 - -2. Let t(i) = -6*i**2 - 3*i + 1. Let n be t(1). Is -52*(n/4)/a a multiple of 26?
True
Let d be (0 - (1 - 3)) + 140. Suppose 2*a = 3*z - d, -a - 7*z = -5*z + 85. Let s = 109 + a. Is 16 a factor of s?
True
Let u(c) = 3*c - 41. Suppose -3*v - 12 = 0, 0 = -9*f + 5*f + 3*v + 64. Let k be u(f). Is 18 - 21 - (73*k - 1) a multiple of 19?
False
Let o be 99 + 0 + 0 + -1. Let r = o + 342. Is 21 a factor of r?
False
Let y = 2664 - 1488. Is y a multiple of 2?
True
Let n = 1450 + -834. Is n a multiple of 4?
True
Let i(q) = q - 12. Let j be i(3). Let h be 47*(-3)/j*15. Suppose -2*k + 3*d + h = 0, -2*k - 6*d + 230 = -4*d. Is 29 a factor of k?
True
Suppose