e
Let i = -52 + 55. Suppose i*q - 135 = -x, -5*x - 153 = -6*q + 3*q. Is 3 a factor of q?
False
Let g(u) = u - 4. Let c be g(8). Suppose 0 = -c*h - 4*t + 208, -8 = -3*h + t + 132. Is h a multiple of 12?
True
Let c = 41 - 30. Suppose 2 = 3*n + 3*l - 1, 2*n - l = c. Is n a multiple of 3?
False
Let o be 854/(-126) + (-2)/9. Let c = 20 + o. Does 13 divide c?
True
Let p(w) = -2*w**3 - 13*w**2 - 6*w + 2. Let o be p(-6). Suppose -152 = -5*x - o*j, 2*x - 4*j - 58 = -2*j. Is x a multiple of 15?
True
Let g = 1302 + -802. Does 20 divide g?
True
Let o = 46 + -20. Let c be 85/(-51) - (-4)/6. Is (5 + c)/4*o a multiple of 6?
False
Does 7 divide (-2)/4 + (-59432)/(-368)?
True
Is 0 + 145 - 30/6 a multiple of 12?
False
Suppose 111 + 234 = 5*k. Suppose 78*i - 2061 = k*i. Is i a multiple of 10?
False
Does 13 divide (-1 + (-260)/(-12))*21/14?
False
Let f = -1087 - -1465. Is 54 a factor of f?
True
Suppose 0 = -c - 12 + 37. Suppose -3*v - 5*s + c = 2*v, 4*v + 3*s - 25 = 0. Is v a multiple of 10?
True
Let a be 44/(15/(-24)*14/(-105)). Suppose 4*y - a = -2*b, b + b = 3*y + 521. Is b a multiple of 20?
False
Let t = -131 + 88. Let l = 106 + t. Suppose 41 = 8*b - l. Does 2 divide b?
False
Let y(w) = -w - 1. Let d(k) = 11*k - 4. Let a(m) = -2*d(m) + 6*y(m). Is a(-1) a multiple of 6?
True
Suppose 3*y - 8 = 2*t, y - 2*y + 7 = -5*t. Suppose 5*r - 15 = 5*w, -3*r + 2 = 2*w - y. Suppose m - 2*m = r*q - 18, -3*m = q - 54. Is 18 a factor of m?
True
Suppose -158*o = -161*o + 279. Is 10 a factor of o?
False
Suppose -13*n + 1043 = -6*n. Does 18 divide n?
False
Let y(d) = -d**3 - 8*d**2 + d - 4. Let m be y(-8). Let i = 47 + m. Does 8 divide i?
False
Is 52 a factor of (2222/6 - 6) + (-2)/6?
True
Let i(c) = 4*c + 79. Is 7 a factor of i(24)?
True
Suppose 0 = -5*j + 2*i - 57 + 333, -5*j - 5*i = -290. Is j a multiple of 47?
False
Let r(o) = -o**3 + o + 2. Suppose -20 = -3*a + 5*y, 0*y = 5*a + 4*y + 16. Let u be r(a). Suppose 454 + 48 = 5*l + u*b, -2*l + 184 = 5*b. Is 31 a factor of l?
False
Suppose 104 = f + 404. Let z = -174 - f. Is z a multiple of 24?
False
Let l(x) be the third derivative of x**5/10 + x**4/24 - x**3/6 - x**2. Suppose 5*c - 25 = 8*w - 5*w, 0 = -5*c - 3*w - 5. Is 13 a factor of l(c)?
False
Let m = 39 - -96. Suppose -4*z + 35 = m. Is 2/(-5) + (-785)/z a multiple of 14?
False
Suppose 0 = 5*k - 6*k + 14. Let t(m) = m**3 - 33*m**2 + 3*m - 99. Let w be t(33). Suppose 2*b - 3*b + k = w. Is b a multiple of 7?
True
Suppose 0 = 3*p + i - 3 - 11, 3*p - 2*i + 1 = 0. Let v(r) = 9*r**2 + r - 4. Is v(p) a multiple of 16?
True
Does 15 divide 238 + (9/(-45) - 2/(-10))?
False
Let m = 17 + -11. Suppose -3*o + 9 = -m. Suppose -3*g + 47 = -g - 3*a, a + 98 = o*g. Is 6 a factor of g?
False
Let c(d) = -d**3 + 4*d**2 - 2*d - 1. Let o be (-15)/10*(-4)/3. Let a be c(o). Suppose 0 = -a*t + 127 + 65. Is 18 a factor of t?
False
Let s = -928 - -1522. Is s a multiple of 11?
True
Let f = -1364 - -1604. Is 5 a factor of f?
True
Suppose 0 = p + 5*i - 208, 567 - 138 = 2*p - 3*i. Is (-1)/((-3)/2*2/p) a multiple of 13?
False
Let l(z) = 8*z - 1. Let q be l(1). Suppose q*j = 3*j + 12. Is 20 a factor of (j/(-5))/(8/(-280))?
False
Does 23 divide 5/(-6) - -1 - 396775/(-354)?
False
Let b = -1538 - -2713. Is b a multiple of 25?
True
Let g(z) = -24*z - 8. Let i be g(-5). Let j be (108/126)/(2/i). Does 25 divide 5508/j - (-2)/8?
False
Let q(l) = 13*l**3 + 2*l + 4. Let z(m) = -14*m**3 - 2*m - 4. Let h(a) = -5*q(a) - 4*z(a). Is 9 a factor of h(-2)?
True
Let s(v) = -208*v - 9. Is s(-9) a multiple of 27?
True
Let m = -101 + 94. Is (-12*m/63)/((-8)/(-18)) a multiple of 3?
True
Let d be (2 + -1)/(-2)*-2 - -7. Is 28 a factor of (d - 5)/((-2)/(-140))?
False
Does 7 divide (-3876)/(-15) - (-3)/5?
True
Suppose -5*z + w = -116, -3*w = 4*z - 4*w - 92. Is z a multiple of 4?
True
Suppose -3*n = -3*p - 33, 8 = 3*n + 2. Let t(o) = 2*o + 24. Does 4 divide t(p)?
False
Let k = 212 + 26. Suppose -797 = 5*w + k. Let m = -63 - w. Is 36 a factor of m?
True
Let y = 474 - -100. Is y a multiple of 15?
False
Suppose 4*l - x = 695, 0 = 4*l - 2*x - 616 - 82. Suppose -4*y = -4*p - 102 + 578, 5*y + 2*p = -623. Let o = y + l. Does 25 divide o?
True
Suppose -b + 3*r - 509 = 4*b, -4*b - 4*r = 388. Let j be ((-252)/35)/(2/b). Suppose 0*n + 4*n = j. Is n a multiple of 12?
False
Suppose 0 = -17*s + 29*s - 1512. Does 7 divide s?
True
Suppose 2183*w - 2185*w + 5858 = 0. Does 29 divide w?
True
Let q(v) be the first derivative of -v**3/3 - 11*v**2/2 + 3*v - 1. Let m be q(-12). Does 31 divide 3*((-930)/m)/5?
True
Let i(m) = 4*m**2 + 4*m + 806. Does 50 divide i(0)?
False
Suppose -2*s = 2*x - 432, -9*s + 8*s - 5*x + 216 = 0. Is s a multiple of 12?
True
Let f(w) = -w**3 + 12*w**2 - 11*w - 9. Let g be f(11). Let t(m) = 5*m + 8 - 7*m + 0. Does 10 divide t(g)?
False
Let m(o) = -69*o - 98. Is m(-5) a multiple of 5?
False
Suppose 0 = -2*t, 42*t + 1692 = 4*p + 38*t. Does 47 divide p?
True
Suppose 0*y + y + 4*r + 7 = 0, 5*y = r + 7. Let n be (-27 + y)*9/(-18). Suppose -4*u + n = -223. Is u a multiple of 25?
False
Suppose -24 = -4*p + 4*a, 2 = -2*p + 4*p + 3*a. Suppose p = 2*l - 0*l, r - 44 = -l. Is 21 a factor of r?
True
Let j(m) be the third derivative of m**4/4 + 5*m**3/3 - 5*m**2. Let z(s) = s - 1. Let b be z(8). Does 14 divide j(b)?
False
Suppose 2*j - v - 2*v - 23 = 0, 5*j + 3*v - 47 = 0. Let x(m) = -m**2 + 15*m. Is 50 a factor of x(j)?
True
Suppose 3*v - 4*v - 4 = -3*g, -4*v + 12 = 2*g. Let y(l) = -2 - 2 + 10*l**3 + 2*l + 2*l**2 - l**2. Does 21 divide y(v)?
True
Suppose 3*z - 684 = -12. Let b = 214 + -125. Suppose -b = 5*u - z. Is u a multiple of 5?
False
Suppose -6*s + 11*s = -25. Let i = 1 - s. Suppose i*c - 220 = c. Is c a multiple of 21?
False
Let p(c) = c**2 - 13*c - 25. Is 31 a factor of p(-29)?
False
Let z = 59 + -60. Is 2 a factor of (-12)/(z + -3) + (20 - -1)?
True
Let w = 766 - 112. Is w a multiple of 7?
False
Let o(c) = 6*c**3 + 2*c**2 + 8*c - 10. Is o(3) a multiple of 10?
False
Let b be 144/40*(-20)/6. Let i be (b/(-3) + -3)*-5. Let p = 59 + i. Does 18 divide p?
True
Let r(l) = -l**2 + l + 27. Let p(b) = -2*b - 8. Let j be p(-6). Suppose -4 = j*k - 4*d, -3*k = d - 1 - 0. Is r(k) a multiple of 9?
True
Let p be (-40)/(-6)*(-90)/(-25). Let b = p + 31. Does 20 divide b?
False
Suppose g = 3*j + 10, 0*j + 2 = -3*g + j. Let l be -4 - -114 - (-2)/g. Let i = -72 + l. Is i a multiple of 6?
False
Suppose 3*l = 2*u + 7*l - 364, -4*u = 5*l - 737. Suppose 0 = -2*x - 2*x + u. Let p = 22 + x. Does 16 divide p?
False
Suppose z = -3*z + 20. Suppose 28 = -z*s + 93. Is s a multiple of 3?
False
Suppose 0 = -11*m + 8*m + 6. Suppose 2*t = -m*t + 264. Is 33 a factor of t?
True
Suppose -32*r + 7624 + 728 = 0. Does 3 divide r?
True
Suppose 5 = -k, -5*k + 375 = 2*t - 6. Does 29 divide t?
True
Let f = -412 + 795. Is 23 a factor of f?
False
Suppose 0 = -3*o - 5*c + 2192, 3*c + c = -5*o + 3662. Does 36 divide o?
False
Suppose 3*t = 7*t + 3*o - 13, t + 3*o - 1 = 0. Let x(r) = -t*r + 4*r**2 + r + 9 - 2 + 2. Is x(4) a multiple of 20?
False
Suppose 0 = m + 3*m - 272. Suppose 13*f - 33 + 137 = 0. Does 16 divide -4*m/f - 2?
True
Let m(g) be the first derivative of -7*g**4/4 - g**3 - 5*g**2/2 - 6*g + 11. Let h(x) = -x**3 - 1. Let j(n) = -5*h(n) + m(n). Is j(-2) a multiple of 3?
False
Suppose 0 = -4*q + 2*v + v + 34, -3*q + 4*v = -29. Let m = q - 43. Is 4 a factor of (1 + -8)*m/21?
True
Let c = -3839 - -6422. Is c a multiple of 41?
True
Suppose -5*v = b - 699, 0 = 3*b - 0 - 12. Is v a multiple of 5?
False
Let m = 56 - -610. Suppose 642 = 2*s - t, -622 = -4*s + 3*t + m. Suppose -h + 3 = 0, 5*p - 178 = h + s. Does 20 divide p?
True
Let a = 2471 + -1389. Is a a multiple of 4?
False
Suppose 0 = 3*s - 7*s, u - 3*s = 349. Does 23 divide u?
False
Suppose -16*c + 12*c = -568. Is 45 a factor of c?
False
Suppose 162 + 354 = 4*x. Is 8 a factor of x?
False
Suppose 2 = -3*w + 3*j - 4, -3*j = -2*w - 2. Let q be (-8)/(-2) - w/(-4). Suppose 0 = q*x + 2*x - 55. Is x a multiple of 7?
False
Let s(a) = -a**3 - 5*a**2 + 7*a - 28. Is 7 a factor of s(-9)?
False
Let r = 68 - 64. Let y(o) = -2*o + 2. Let u be y(-6). Is 24 a factor of (r/6)/(u/2016)?
True
Suppose 3*h - 4*w - 1943 = 0, 324 = h + 4*w - 313. Is 19 a factor of h?
False
Let y be 0/(-1) - 20/(-5). Suppose -5*c = -y*c - 3. Is ((-38)/(-3))/(2/c) a mu