 of 51?
True
Let u = -443 - -1669. Let p = -928 + u. Does 2 divide p?
True
Let z = -27938 + 52563. Is 36 a factor of z?
False
Let s be (-156)/18*3/(-2). Suppose -2*x + s - 5 = 0. Suppose -5*o - 181 = -3*n, -x*n + 2*o = -3*n - 62. Does 16 divide n?
False
Let v = 119 + -422. Let w = 835 + v. Is w a multiple of 19?
True
Let o(p) = 2569*p - 11272. Does 73 divide o(23)?
True
Let l(b) = 2*b**3 - 36*b**2 - 10*b - 15. Let w be l(17). Let u = w - -1232. Is u a multiple of 18?
False
Let n(j) = 307*j + 1713. Is 45 a factor of n(6)?
True
Suppose r + 14 = 2*a - 44, 138 = -3*r - 3*a. Let w = r + 54. Let g(o) = 4*o**2 - 8*o - 8. Is g(w) a multiple of 4?
True
Let i(n) = 51*n**2 - 250*n + 5327. Does 31 divide i(21)?
True
Suppose -4*t = -14*t + 74430. Is 32 a factor of t?
False
Let n be (20/60)/(2/48). Suppose -n*w + 2097 = w. Is 65 a factor of w?
False
Let y(r) = -210*r**2 + 9*r - 6. Let c be y(-6). Does 17 divide c/(-28) + (-3 + -1)/28?
True
Is 86 a factor of (243208/(-140))/(2/(-30))?
True
Let c be -8*2/(-4) + 0. Suppose 0*y + 2*d = 3*y - c, -3*y + 4*d = -2. Suppose -y*l + 394 + 104 = 5*n, 2*n + 2*l - 198 = 0. Is n a multiple of 4?
True
Let j(p) be the first derivative of p**3 - 9*p**2/2 + 56*p - 129. Is 14 a factor of j(10)?
True
Suppose 4*n = -3*j + 182, 2*n = 3*j - 219 + 13. Is j a multiple of 33?
True
Let q(p) = 5*p**2 - 21*p + 836. Is 52 a factor of q(21)?
True
Let m be -4 - -1 - (-4 - (-8 + 2)). Let g be -2 - ((-7)/(-1) + m). Does 14 divide (5/g + (-2)/(-8))*-198?
False
Let r = -2535 + 1753. Does 2 divide ((-5)/2 - -1)/(51/r)?
False
Let t = 39 + -35. Let p(r) = r - 1 + t + 3. Is p(-2) a multiple of 2?
True
Let f = -1799 + 2853. Suppose 5*v = -3*n + f, 2*n + 4*v - 696 = -v. Is n a multiple of 18?
False
Let k = 511 + -508. Suppose 0*s + 132 = 2*q - 2*s, -195 = -k*q + 2*s. Is 7 a factor of q?
True
Is 111 a factor of 1102 - (-10 - -11)*-8?
True
Suppose 2*m - 19856 = -5*n, 2217 = n + 5*m - 1722. Is 18 a factor of n?
False
Let w(g) = 9*g + 32. Let v be w(-12). Suppose -2*x = -5*x + 3, -x - 524 = -3*p. Let l = v + p. Does 24 divide l?
False
Suppose 17 = -2*s + 13. Let b be -21*(-1)/3 + s. Suppose 2*r - 42 = -2*x, b*r - x - x = 98. Does 4 divide r?
True
Suppose -2*r + 6386 = -6*i, -10*r = -6*r - 3*i - 12763. Does 10 divide r?
True
Does 24 divide 23/((-115)/(-5568))*5?
True
Let b = 38038 + -20438. Is b a multiple of 21?
False
Let j be ((-12)/(-9))/4 - 330/(-9). Let w = -1 + j. Let c = -33 + w. Does 3 divide c?
True
Let p(k) = -596*k**3 + 19*k**2 - 3*k - 14. Is p(-2) a multiple of 156?
True
Suppose 3*s = -608*i + 610*i - 175243, 0 = -5*i + 4*s + 438097. Is i a multiple of 41?
True
Let n = 12667 + 5686. Is 5 a factor of n?
False
Let q be 28 - 12*(-4)/(-8). Suppose -10*r - q*r + 34304 = 0. Is r a multiple of 31?
False
Let u = -41 + 43. Suppose 4*o - 2189 = w, -u*w = -w + 1. Does 44 divide o?
False
Suppose 14*i = 184 - 44. Is (i/4 + -2)/(20/7760) a multiple of 39?
False
Is 5 a factor of (-3)/(-4) - (18510387/28)/(-21)?
False
Is -5 + 663 - ((0 - -8) + -4) a multiple of 8?
False
Suppose -10*v - 8*v + 16056 = 0. Let z = -292 + v. Is 30 a factor of z?
True
Suppose -4*v + 7*v + 5*m - 64 = 0, -v - 4*m = -33. Suppose -y - 5*q = -1277, -4*q + 1280 = -v*y + 14*y. Does 34 divide y?
True
Does 116 divide (-4872)/(-2)*12/140*10?
True
Is 266 a factor of ((-9)/(-12) + 50210/(-24))*(-105)/10?
False
Let a(i) = -292*i - 1079. Does 61 divide a(-39)?
True
Let m(x) = 115*x**3 + 10*x**2 - 32*x + 4. Is 47 a factor of m(3)?
False
Let o = -794 - -1570. Suppose -2*d + o = 2*u, 10*d + 1549 = 4*u + 13*d. Does 11 divide u?
True
Let h be 20/5*3/2. Suppose 5*q - 429 = -p, -3*p - q = -h*p + 1319. Is 9 a factor of p?
False
Let b = -162 - -165. Suppose b*u - 319 = 353. Does 32 divide u?
True
Let l = 472 + -470. Suppose l*f - 243 = 5*o, -8*f + 2*o = -11*f + 317. Is 16 a factor of f?
False
Let w(k) = k**3 + 8*k**2 - 12*k - 3. Suppose -5*z = 0, -3*y + 0*y + 5*z + 54 = 0. Let t = -27 + y. Is w(t) a multiple of 4?
True
Is (-2)/((-28)/126) + 25406 - 5 a multiple of 70?
True
Suppose 8*n = 9272 + 18000. Is n a multiple of 20?
False
Is 44 a factor of ((-2 - -8)*33)/(345/3220)?
True
Suppose -14*g - 184 = 32*g. Let f = 25 + -12. Let b = f + g. Is 3 a factor of b?
True
Suppose -5*r = o - 2325, 2*o = -r - 3*o + 465. Let n = -281 + r. Suppose -4*z = 2*b - n, -3*z + 59 = 3*b - 202. Is 9 a factor of b?
False
Let n = -1529 - -2516. Suppose 488 + n = 5*g. Is 4 a factor of g?
False
Suppose l = 200 + 1060. Let n = 1890 - l. Does 7 divide n?
True
Let v(c) = -6*c + 3 + 20*c + 17. Let f be v(7). Suppose -2*b + 4*s + 0*s = -f, 0 = -b + s + 61. Is 9 a factor of b?
True
Suppose 67*q + 76*q = 1468181. Is q a multiple of 59?
False
Suppose 45 = -6*a - 81. Let r be (-54)/(-7) - 6/a. Let d(f) = 9*f - 26. Is d(r) a multiple of 8?
False
Suppose -4*u + 0*u = -u. Let v = 48 + u. Does 9 divide v?
False
Let d(f) = -341*f - 663. Let p(l) = -226*l - 442. Let c(m) = 5*d(m) - 7*p(m). Is 21 a factor of c(-6)?
False
Let z = 184 + -244. Let h = 146 + z. Is h a multiple of 9?
False
Suppose 2*j - q = 3541, -4*j + 124*q = 126*q - 7070. Is j a multiple of 14?
False
Let d(g) = 13*g**2 + 13*g - 32. Is 14 a factor of d(9)?
False
Let q = -44 + 56. Suppose 5*h - 3*d - 27 = 0, d - q = 4*d. Suppose -b + h*b = 24. Is 4 a factor of b?
True
Suppose -1 = -5*k + 14. Suppose -8*v - 15 = -k*v, 0 = 3*d + 5*v. Suppose 0 = 3*r - 2*a - 40, 0 = -r - 3*r - d*a + 38. Is r a multiple of 6?
True
Let d = 224 + -178. Suppose 54*i - 80 = d*i. Does 10 divide i?
True
Let f(g) = -2*g**3 - 18*g**2 + 21*g - 149. Is f(-15) a multiple of 43?
True
Let y be -49 + (4/(-10))/((-4)/(-20)). Let q = -21 + y. Is ((-270)/72)/(2/q) a multiple of 27?
True
Does 5 divide (-220344)/(-60) - (-8)/(-20)?
False
Let h(z) = -6*z**3 + 105*z**2 - 20*z - 29. Is 110 a factor of h(12)?
False
Let q(s) = -11*s**3 - 23*s**2 + 20*s + 40. Is 33 a factor of q(-17)?
False
Suppose -245425 = -7*i - 10*i - 53750. Is i a multiple of 41?
True
Let m(p) = 36*p**3 - 8*p**2 + 8*p - 3. Is 6 a factor of m(2)?
False
Let p be (-20)/6*(-36)/15. Let s(q) be the first derivative of 7*q**2 + q + 230. Is s(p) a multiple of 29?
False
Let u = 3237 - 952. Is u a multiple of 5?
True
Let g = 949 + -755. Let b(u) = u**3 + 6*u**2 - 3*u + 1. Let i be b(-5). Let s = g - i. Does 9 divide s?
True
Let b be (-184 + -2)*(26/(-6) - -4). Let l be (2/4)/((-1)/b). Let k = l + 51. Does 10 divide k?
True
Let w(n) = -50*n + 243. Let f be w(-10). Suppose -4*q + 4*h + f = 275, -3*h - 591 = -5*q. Is q a multiple of 24?
True
Let s(u) = 688*u - 7144. Does 76 divide s(19)?
True
Is ((-3)/21)/((-8)/28) + 29422/4 a multiple of 12?
True
Suppose -18*q + 6*q + 1080 = 0. Suppose -95*c + q*c + 210 = 0. Does 14 divide c?
True
Let i(c) = 2*c + 334. Suppose 3*n - 20 = -4*d, 28*d = -5*n + 30*d - 10. Does 32 divide i(n)?
False
Is ((-12933)/15)/(3/(-10)) a multiple of 37?
False
Let h be (0 - -10)/(4 + -3). Does 72 divide 82/(-410) + (14404/h)/2?
True
Let p be (-83)/(-9) + 8/(-36). Suppose o + 24 = p*o. Suppose d + 2*u - 209 = -o*u, 5*d - 5*u = 985. Does 17 divide d?
False
Let i(g) = g**3 + 38*g**2 + 123*g + 146. Does 12 divide i(-22)?
True
Let n(d) = d**3 + 6*d**2 + 5*d - 7. Let v be n(-3). Suppose 0 = -3*u - 14 + 5, 0 = -3*p - v*u + 183. Suppose 186 = 2*r - p. Is 14 a factor of r?
True
Suppose k - 56 = 4*q, -4*k - q + 278 = q. Let z = 143 - k. Is z a multiple of 32?
False
Let r = 5986 + 5917. Is 4 a factor of r?
False
Let d(b) = 4282*b**2 + b + 3. Is d(1) a multiple of 20?
False
Suppose -194 = 18*q - 104. Let w(n) = -2*n**3 + n**3 + 4*n - 10*n - 9 - 5*n**2. Does 21 divide w(q)?
True
Let d(y) = -4*y**2 + 155*y - 69. Does 5 divide d(17)?
True
Let b(p) be the second derivative of p**3/3 - 23*p**2/2 - 5*p. Let o be b(13). Suppose o*k + 4 = 376. Is k a multiple of 34?
False
Let i(m) = 7*m**3 - 4*m + 2. Let k be 2 - 0/4 - (1 + -1). Let s be i(k). Suppose -7*u = -n - 3*u + s, -n + 43 = 3*u. Is 23 a factor of n?
True
Suppose -4*i - 3*a + 9 = 0, 0 = a + 4*a + 5. Let m be (-80)/(-3)*(-144)/(-30). Suppose h - i*h + m = 0. Does 16 divide h?
True
Let x(b) = 340*b**2 - 11*b + 18. Let o be x(2). Let c = -892 + o. Is 58 a factor of c?
True
Suppose -73*z + 290121 = -389655. Does 24 divide z?
True
Suppose 138*p = 131*p - 3164. Let h = 1021 + p. Is h a multiple of 18?
False
Let b