 = -2 - 4*y + 4 + 3 - 4. Let u be l(-2). Is (42/(-4))/(u/(-12)) a multiple of 10?
False
Let l be 219 + (-1 - -4 - 2). Suppose c + c = l. Let k = c + -66. Is k a multiple of 11?
True
Suppose -3*x + 234 = 3*z, 12*z - 3 = 9*z. Does 7 divide x?
True
Is 12 a factor of (69/(-46))/(18/(-16))*210?
False
Let t be (-44)/((4/40)/(-1)). Suppose 8*y - t = -3*y. Is y a multiple of 10?
True
Suppose 30*m - 25*m - 125 = 0. Suppose m = -2*q + 91. Does 6 divide q?
False
Suppose 0 = -3*f + 4*f. Suppose 2*v = 4*h - 6, h = 6*h - 10. Suppose f = 5*k - 5*t - 30, v + 1 = -2*t. Does 2 divide k?
False
Let b = -872 - -280. Is b/(-10) + (-12)/(-15) a multiple of 20?
True
Let w(i) = i**3 + 33*i**2 + 45*i - 30. Does 11 divide w(-30)?
True
Let t(r) = 7*r - 26. Suppose 3*c + 15*c - 144 = 0. Is 3 a factor of t(c)?
True
Suppose 4*d = 3*d - 498. Does 22 divide ((-8)/(-6))/(d/(-99) - 5)?
True
Let g(y) = y**2 - 2*y + 66. Suppose 0 = 4*x - 5*w + w, -2*w = 5*x. Is g(x) a multiple of 21?
False
Suppose 2*u - 2*m = -3*m + 723, 0 = 4*u + 3*m - 1441. Is u a multiple of 16?
False
Let b(l) = 20*l**2 - 5*l + 3. Let n be b(3). Suppose -396 - n = -4*g. Is g a multiple of 23?
False
Suppose -2*u = 6*u - 24. Suppose -3*f - 480 = -5*r, -7*f - 288 = -3*r - u*f. Does 10 divide r?
False
Is (273/(-42) + (-1 - -1))*-50 a multiple of 21?
False
Let i(v) = v**2 - 1. Let o(z) = 4*z - 1. Let x(h) = 2*i(h) - o(h). Does 3 divide x(3)?
False
Let i = 16 + 0. Let d(b) = b**2 - 3*b + 2. Let v be d(-4). Let g = v - i. Is 14 a factor of g?
True
Let n be (2 - (-1)/(-1))*0. Let f be -1 - (32 - 1) - n. Let g = f - -80. Is g a multiple of 16?
True
Suppose -v - 3*v - 3*x = -2084, -3*v + 1534 = -5*x. Is 37 a factor of v?
True
Let l(o) = 3*o + 10. Let d be l(-2). Suppose 126 = 2*c - q, 2*q = c + d*c - 314. Is 31 a factor of c?
True
Let f(i) = 52*i + 6. Let a be f(-3). Let s = a + 302. Is s a multiple of 38?
True
Let s(v) = -2*v**3 + 6*v**2 + 47*v + 7. Does 17 divide s(-9)?
False
Let b(q) = -164*q**3 - 2*q**2 - q + 1. Suppose -2*n - 15*n - 17 = 0. Is 41 a factor of b(n)?
True
Let a(u) = -359*u - 65. Does 48 divide a(-7)?
True
Suppose 5*d + 1731 = 5*m + 7*d, -3*m + 5*d + 1051 = 0. Does 9 divide m?
False
Let i be 8/2*(-27)/36. Let v be 3 - ((4 - -2) + 1). Is 37 + 2/(i - v) a multiple of 8?
False
Let k = 132 + -128. Suppose -2*d = -n - 220, -k*d = n + 14 - 460. Is 37 a factor of d?
True
Let y(x) = x - 1. Let w(i) = -71*i + 1. Let v(a) = -w(a) - 2*y(a). Does 7 divide v(1)?
True
Let w = 36 - -60. Is w a multiple of 9?
False
Let a(i) = i**3 - 5*i**2 - 8*i + 9. Let w be a(6). Let v = 13 + w. Does 3 divide v?
False
Let b(z) = -z**2 + 19*z + 37. Is b(10) a multiple of 12?
False
Suppose -5*c + 4*m + 334 = -49, 0 = -3*m - 6. Suppose 10*d - 305 = c. Is 19 a factor of d?
True
Let q = 1202 - 578. Does 26 divide q?
True
Suppose 3*t = -2*d + 762, -13*d + t + 1922 = -8*d. Is d a multiple of 32?
True
Suppose 4*q + s = 182 + 1467, -q + 415 = 3*s. Does 46 divide q?
False
Let t(s) = 2*s - 19. Let q(b) = 1. Let p(u) = 6*q(u) + t(u). Let m be p(9). Suppose -m*a + 118 = 8. Is 11 a factor of a?
True
Suppose 2*j = -2*j + 20. Suppose 4*h + j*h = 261. Does 11 divide h?
False
Let k(n) = 2*n**3 + 3*n**2 - 4*n + 6. Let b be k(3). Suppose -5*q = 3*c - b, 0*q - c = 2*q - 29. Is q a multiple of 12?
True
Does 18 divide 16/(-1 + (188/(-180))/(-1))?
True
Suppose c - 2*y = 17, -2*c = c + 5*y + 4. Suppose o - 12 = c. Is 11 a factor of o?
False
Is 35 a factor of (86789/(-118))/((-3)/6)?
False
Does 86 divide (132 - 25)/(15/(-9) + 2)?
False
Let a be (-1)/(-1) - (3 + 0 - 299). Let c = a - 207. Is c a multiple of 6?
True
Suppose 5*n + 985 = u + 22, -4*u + 3967 = 3*n. Is u a multiple of 15?
False
Suppose -4*f + 5336 = -o, 4*f + 11*o - 1542 - 3842 = 0. Does 24 divide f?
False
Suppose -20*z = -7*z - 3952. Is z a multiple of 3?
False
Let t = 239 - 98. Does 10 divide t?
False
Let o(l) = -68*l. Does 34 divide o(-4)?
True
Let y(r) = -17*r**3 + r**2 - r. Is y(-2) a multiple of 85?
False
Suppose -13 - 3 = 4*t. Let q be ((-24)/t)/(12/8). Suppose q*y - 136 = 24. Is y a multiple of 13?
False
Is 26 a factor of ((-139)/(-4))/((-535)/60 + 9)?
False
Suppose n = -6*n - 896. Let o = -83 - n. Is 41 a factor of o?
False
Let z(g) = -264*g**2 - 42. Let m(u) = -31*u**2 - 5. Let v(p) = 42*m(p) - 5*z(p). Let r = 12 + -11. Is 12 a factor of v(r)?
False
Suppose 3*c + 111*u - 12314 = 106*u, -2*u = 10. Is 25 a factor of c?
False
Let g(q) = 2*q**2 - 27*q + 27. Does 2 divide g(15)?
True
Let z = -125 - -82. Let o = z + 98. Does 55 divide o?
True
Let j(c) = 4*c - 11. Let k be j(3). Let w(g) = 72*g + 5. Does 7 divide w(k)?
True
Let d(f) = -50*f + 3. Let y be d(-3). Suppose -47 = -5*o + y. Is 20 a factor of o?
True
Let g = 2165 + -1848. Does 23 divide g?
False
Let y = -1 - -1. Suppose -5*d - p + 54 = y, 5*d = 3*d - 2*p + 28. Is 1 + (3 - (1 - d)) a multiple of 13?
True
Suppose -5*a + 1265 = -5*f, 2*a + 2*a - 972 = -4*f. Suppose a*c + 3 = 249*c. Is c a multiple of 3?
True
Suppose 22 = 5*k - 2*v, -3*v - 5 = -4*k + 7. Suppose 2*r = -4*l - r + 13, 5*r = 5*l - 25. Suppose -4*z - 3*n = -48, -l*n - 36 = -3*z - k*n. Is 3 a factor of z?
True
Suppose -14*o - 3*x = -17*o + 933, -5*x + 1595 = 5*o. Is 15 a factor of o?
True
Let k(m) be the third derivative of 7*m**4/12 - 5*m**3/2 + 11*m**2. Is 18 a factor of k(7)?
False
Suppose p = 0, g - 25 - 113 = -p. Is g a multiple of 3?
True
Suppose -619 = -5*m - 94. Let w = m + -73. Does 15 divide w?
False
Let m(b) = -11*b - 10. Is 2 a factor of m(-7)?
False
Let h be 21 - 14 - 4*1. Let k(q) be the third derivative of 7*q**5/30 - q**3/2 - 2*q**2. Does 33 divide k(h)?
False
Does 5 divide (75/2)/(-2*15/(-60))?
True
Let o(k) = -95*k - 450. Is 20 a factor of o(-10)?
True
Let q(y) = -y**3 + 7*y**2 + 10*y + 11. Let h be (-504)/30 + (-2)/10. Let w = h + 25. Is q(w) a multiple of 12?
False
Let v(t) = -5 + t**2 + 1 + 3 + 6*t + 2. Does 28 divide v(3)?
True
Suppose -13 = 7*o + 8. Does 24 divide 158 + 13 + (-1)/((-1)/o)?
True
Suppose 0 = -2*w + 85 + 161. Suppose -x = -w + 37. Let t = x + -52. Is t a multiple of 17?
True
Let u = 285 - 63. Is 58 a factor of u?
False
Let n = 316 + -115. Let j = -3 - -6. Suppose -j = -3*a, 10*w - 5*w = 4*a + n. Is w a multiple of 18?
False
Let n(l) be the first derivative of -l**4/4 + 8*l**3/3 + 2*l**2 - 9*l - 12. Does 21 divide n(7)?
False
Suppose 5*u = -3*y + 2356, -5*y + 2*u = -0*u - 3937. Is y a multiple of 39?
False
Let z = 1203 + -766. Is 15 a factor of z?
False
Let l(t) = 107*t - 1 - 68*t + 22*t. Is 23 a factor of l(1)?
False
Suppose 0 = -6*j + 7*j - 92. Let b = j - 7. Is b a multiple of 17?
True
Let m(s) = 83*s - 130. Is m(6) a multiple of 9?
False
Let t be 0/(2/4*4). Suppose 0 = 4*z + l - 125, t = -0*z + 4*z - 4*l - 120. Is 31 a factor of z?
True
Let w(v) be the first derivative of v**3/3 - 3*v**2/2 - 4*v + 1. Suppose -20 = -4*t - 32. Is 4 a factor of w(t)?
False
Let l(d) = -11*d**3 - 19*d**2 + 4*d + 6. Is 10 a factor of l(-8)?
True
Let d(z) = -6*z - 4. Let o(v) = 6*v + 5. Let f(h) = -6*d(h) - 4*o(h). Is f(1) a multiple of 3?
False
Let c = -182 - -665. Is 14 a factor of c?
False
Suppose -2*f = 2*c - 166, 9*c - 388 = 4*c + 4*f. Suppose c = -4*s + 9*s. Does 8 divide s?
True
Let r = -828 + 1392. Does 16 divide r?
False
Let a(r) = -r - 6. Let c be a(-4). Is 22 a factor of 50*5*(c/(-4))/1?
False
Let m = 114 - 110. Suppose -m*q - 601 = -1661. Is 53 a factor of q?
True
Let i = -41 + 29. Let f be (-3)/i + (-15)/(-4). Suppose -2*t + 25 = v - f*v, t + 2*v = 23. Does 10 divide t?
False
Let p = -140 - -1105. Does 40 divide p?
False
Let h be (-2)/(-4) - 1/2. Suppose h = -5*n + 13 + 7, -34 = -2*g - 4*n. Does 9 divide g?
True
Suppose -5*p = -2*m - 17, m - 5*p + 16 = -5. Suppose m*f - 105 = 43. Is 11 a factor of f?
False
Let f be (-2)/(-14) + 23972/364. Suppose u + 4*u - l = 2, 5*u + 10 = -5*l. Suppose 3*d - f = 4*t, -5*d + u*t + 96 = -2*t. Is d a multiple of 6?
True
Suppose 4*k - 4*t = 216, t = -4*k - 0*t + 196. Is k a multiple of 10?
True
Suppose 0 = s - 5*p - 231, 29*s + 5*p = 31*s - 442. Is 10 a factor of s?
False
Let z(y) = y**3 + 17*y**2 + 10*y + 6. Let p be z(-13). Suppose 2*k + p = 5*x, -k = 4*x - 163 - 276. Is x a multiple of 22?
True
Let f = 226 + 3032. Is f a multiple of 77?
False
Let k be 3/7 + (-6)/14. Suppose -2*w = 2*r - 66, -5*r = 4*w - k*w - 