ctor of 54/(-10)*(-7 - b)?
False
Let k = 163 - 163. Suppose k = -6*l + 733 - 133. Does 21 divide l?
False
Let n(m) = m**3 + m**2 - 16*m - 42. Let k be n(-8). Does 3 divide (-5)/15 - (k/6 + 0)?
True
Suppose 382*f - 3301220 + 1129987 = 1652587. Does 77 divide f?
True
Let o = -4847 + 6717. Does 17 divide o?
True
Suppose -92*c = -7*c - 1974210. Does 43 divide c?
False
Let a(u) = u**2 + 5*u + 7. Let v be a(-5). Let r(f) = f + 8. Let o(g) = -15*g + 24. Let n(i) = -o(i) + 4*r(i). Is 13 a factor of n(v)?
False
Let l(x) = 60*x**2 - x - 2. Let w be l(-2). Let s be 1232/w - (-2)/(-15). Let p(v) = -v**3 + 6*v**2 + 8*v - 5. Is 30 a factor of p(s)?
True
Let j(r) = r**2 + 7*r + 2. Suppose 10 = -5*s + 95. Is j(s) a multiple of 12?
False
Suppose -656*g = -1311*g + 672*g - 393159. Is g a multiple of 291?
False
Let c(k) be the first derivative of k**3/3 - 11*k**2/2 + 13*k + 2. Let s be c(10). Suppose t + 3*v + 0 = 12, -s*v - 24 = -2*t. Is 4 a factor of t?
True
Let j = 7616 + 10402. Is j a multiple of 143?
True
Let l = -42 + 45. Suppose -l*s + 2*s - 5*f = 0, -4*s = f - 19. Suppose s*v + 40 = 2*h + 2*v, -3*h + 41 = 5*v. Is h even?
False
Let u(m) = 2*m**3 + 13*m**2 - 6*m - 68. Let p be u(-6). Suppose 5193 = 5*w + p*w. Is 9 a factor of w?
False
Let u(s) = 9*s + 23. Let r be u(-3). Let w be (r - 0 - -5)*60. Suppose 103 - w = m. Is 3 a factor of m?
False
Suppose -3*f + 2*f = -3. Suppose f*h + 2 = 290. Suppose 22*b = 19*b + h. Is 32 a factor of b?
True
Let q(y) = -9*y - 68 + 54 - y. Is 44 a factor of q(-19)?
True
Let h = 9712 - 5917. Does 5 divide h?
True
Is (9/(-6))/(6/4) + (6880 - -1) a multiple of 4?
True
Suppose 5*l - 43212 = -2*h, 2*l - 5*l - 6*h = -25932. Does 41 divide l?
False
Let j(m) = -57*m - 9. Let n(a) = -a**2 - a + 13. Let k be n(-6). Let f(x) = x**2 + 19*x + 31. Let l be f(k). Is 18 a factor of j(l)?
True
Let w be (492/15)/(-4)*-5. Is 10 a factor of (96 - w)/((-1)/(-34))?
True
Let o(p) = 20*p**2 - 4*p - 1. Let y be o(-1). Suppose 0 = -y*i + 27*i - 28. Is 3 a factor of i?
False
Let l = 8125 + -7173. Is l a multiple of 5?
False
Suppose 4*z - 20*n - 31738 = -18*n, -n - 7 = 0. Is z a multiple of 77?
True
Let a(p) = -p + 47. Let u be a(28). Suppose -24*l = -u*l - 80. Does 16 divide l?
True
Let m(a) = -4*a**3 - 2*a**2 + 43*a - 5. Let c(k) = -k**3 + k + 2. Let i(d) = -5*c(d) + m(d). Is 31 a factor of i(7)?
True
Let t(s) = 144*s**2 + 566*s + 11. Does 9 divide t(-8)?
False
Let l = 62 + -69. Let k(p) = p + 11. Let x be k(l). Does 5 divide x*1 - (-9 - 64)?
False
Suppose 7*k = 2*k - 135. Is 0 + k*(-4)/6 even?
True
Suppose -x + 5*x - 80 = -5*z, -2*z - 3*x + 32 = 0. Suppose t - 48 - z = -i, 5*t - 3*i - 328 = 0. Is 13 a factor of t?
True
Suppose 121643 = 4*y - 4*d + 38027, -d = 0. Is 39 a factor of y?
True
Let w(p) = -p**3 - 6*p**2 - 8*p - 4. Let g be w(-5). Is 475 + g + -10 + 4 a multiple of 15?
True
Let w = -10725 + 10773. Is w a multiple of 8?
True
Let v = 107 + -105. Suppose -h + i = -0 + v, 2*i - 11 = -5*h. Is -1*(-25 - (4 - 7 - h)) a multiple of 7?
True
Suppose 3 = -u + 13. Let h be u/(-4)*8/(-5). Does 8 divide 4 - (-80 + (4 - h))?
False
Let q(o) = -o**2 + 8*o + 6. Let s(i) = 2*i - 1. Let d be s(-7). Let r = 23 + d. Does 3 divide q(r)?
True
Suppose -2*k - 14 = 2*g, -k = 5*g - 10*g - 23. Is (-20)/150*-10*(-357)/k a multiple of 34?
True
Let m(r) = -2*r**2 + r + 1. Let w be (-174)/(-54) + -3 - 20/9. Let k(b) = 3*b**2 - 11*b + 32. Let s(d) = w*m(d) - k(d). Does 17 divide s(-17)?
True
Let v(g) = -g**2 - 7*g + 20. Let t be v(-9). Let a(c) = -c + 1. Let s be a(t). Is -1 + 459/6 - s/(-2) a multiple of 25?
True
Let m = 841 + 444. Suppose 3*q = -9, -2*l + m = 4*q + q. Does 65 divide l?
True
Suppose -3*w + y = 5*y + 174, 0 = -2*w + 3*y - 99. Let j = w - -55. Let h(f) = 43*f + 2. Does 9 divide h(j)?
True
Let u(a) = 104*a + 313. Let j be u(14). Let m = -1137 + j. Does 16 divide m?
False
Let a = 299 + -329. Let d = a + 74. Is 22 a factor of d?
True
Let g = 4531 + -3325. Is g a multiple of 6?
True
Let u(f) = 1120*f + 94. Let n be u(3). Suppose -n = -10*b + 2156. Does 32 divide b?
False
Suppose 2*b - 1 = -5*c + 5, 0 = -3*c. Suppose -13*o + 2*u - 86 = -16*o, b*u = -2*o + 64. Is o a multiple of 13?
True
Is 2 a factor of -2 + 325 + 8/(-280)*7*-5?
True
Let h(u) = -3404*u - 173. Does 11 divide h(-2)?
False
Is 9 a factor of 1769 + (-1)/(((-12)/8)/(-3))?
False
Let a(r) = -r. Let o(m) = -4*m + 39. Let n(x) = -6*a(x) + o(x). Suppose 0 = 18*g + 7 - 115. Does 10 divide n(g)?
False
Let z(o) = 4 - 9*o - 6 + 16*o**3 + 3*o**2 + 1 + 8*o. Let n be z(1). Suppose 5*k - 133 = n. Does 5 divide k?
True
Let k = 95377 - 62717. Is k a multiple of 16?
False
Let v(d) = 215*d**2 - 46*d + 219. Is v(6) a multiple of 2?
False
Let k = -8110 - -13050. Is k a multiple of 95?
True
Let f(b) = -4 + 9*b**2 - 3441*b + 46*b**2 + 3446*b. Does 16 divide f(1)?
False
Let y(o) = 39 + 59*o**2 + 44*o**2 - 6*o - 49 - 91*o**2. Suppose -f = -5*u - 18, -4*f + 2*f + 3*u = -8. Is y(f) a multiple of 10?
True
Let u(v) = -690*v + 18. Let w be u(-5). Suppose -20*j = -3*j - w. Does 12 divide j?
True
Suppose -3*p = 254*p - 8685572. Does 10 divide p?
False
Suppose 205 + 890 = 3*g. Let z = g + -292. Is 16 a factor of z?
False
Let n = 55094 + -37913. Is 18 a factor of n?
False
Is 41 a factor of 9/21 - ((-72450)/49 - -7 - 4)?
True
Suppose 0 = -3*b + 84 - 39. Does 47 divide 5/(75/(-10)) + 6880/b?
False
Let j(a) = -17*a + a + 3 + 4. Suppose 8*v = -5*v - 22*v - 140. Is 17 a factor of j(v)?
False
Suppose -3*f - 2*f + 25 = 0. Let w be 96/15 - 2/f. Does 15 divide 68 - w/9*3?
False
Let c = 97 - 87. Suppose 0*i - c = 5*i, 4*t = -2*i + 632. Is 30 a factor of t?
False
Does 15 divide -121886*((3/2)/((-93)/155) - -2)?
False
Let p be (0 - -2)/((-2)/4). Let j be 1 + 19826/138 + (-1)/(-3). Is 20 a factor of j - (p + 2) - 4?
False
Let f = 12362 + -746. Does 132 divide f?
True
Let r be 141/27 - (8/36 - 0). Does 14 divide (-4 + 3 + r)*(-2054)/(-8)?
False
Let l(n) = 2130*n**2 + 7*n - 5. Let v be l(1). Is 74 a factor of v/(-26)*14/(-4)?
False
Let y be -18*(50/(-4) + 2). Suppose 0 = -l - 29 + y. Is 8 a factor of 30/(-25)*l/(-3)?
True
Suppose 0 = 390*b - 41391 - 21009. Let k(g) = 31*g + 2. Let x be k(-3). Let n = x + b. Does 19 divide n?
False
Let x(p) = -7*p - 63. Let h be x(-17). Suppose -h = -a + 5*d, 2*a + d + 9 = 165. Does 5 divide a?
False
Let g(b) = b**3 - 4*b**2 + 4*b. Let k be g(3). Let u(p) = -61 + 34 + k*p + 34. Does 15 divide u(4)?
False
Suppose 5*m - 47 = 3*r, 0 = -5*r + m + 4 - 119. Does 54 divide (1215/60)/((-1)/r)?
True
Let u = -329 - -8369. Is 24 a factor of u?
True
Suppose -14*m - 952 = -28*m. Suppose -m = -2*j + 8*p - 4*p, 5*p = 3*j - 106. Is j a multiple of 42?
True
Let i(g) = 6*g**2 - 5*g - 6. Let u be i(-6). Let c = u + -219. Is 21 a factor of c?
True
Let s = -20 - -23. Suppose s = 3*j - 2*j. Suppose -a + t = a - 65, -4*t - 85 = -j*a. Is a a multiple of 5?
True
Suppose 0 = -3*s - 21 - 12. Let i(y) = y**2 + 12*y + 13. Let o be i(s). Suppose 4*j + 96 = -0*x + o*x, 4*x = -4*j + 192. Is x a multiple of 8?
True
Let n = -12 - -16. Suppose 0 = n*j - 2*j + 10. Let o = -2 - j. Does 3 divide o?
True
Suppose 8362 + 26464 = 22*b. Is 77 a factor of b?
False
Let c be -14*(-2)/36 - (-34)/153. Let h be (-2)/7 - (c - 32184/42). Suppose h = -11*f + 16*f. Does 17 divide f?
True
Suppose -2392 = 7*t - 14341. Does 40 divide t?
False
Does 15 divide (-2 + (-796)/(-8))/(91/22750)?
True
Is 8 + -1672*((-42)/7 + 5) a multiple of 42?
True
Let a be 10422/(-36)*8/6. Let w = 508 + a. Is 11 a factor of w?
False
Let x(t) be the third derivative of t**7/840 - t**6/144 + 7*t**5/20 + 4*t**4/3 - 35*t**2. Let j(m) be the second derivative of x(m). Does 40 divide j(6)?
True
Let h(n) = n**3 + n**2 - 8*n - 7. Let v = 94 - 87. Is 47 a factor of h(v)?
True
Suppose 5*f + 3 - 28 = 0. Let l be (1/(-2))/(f + (-55)/10). Suppose m - 1 = -3*z + l, 0 = m + z - 10. Is 14 a factor of m?
True
Suppose 5*y = 14*y - 2079. Suppose -4*b + y = n, 2*b + 127 + 98 = n. Does 21 divide n?
False
Suppose -2002 = 70*d - 81*d. Let g = d + 79. Does 23 divide g?
False
Suppose 355*f - 4507152 = 231*f. Is f a multiple of 12?
True
Suppose -3*z - 63 + 78 = 0. Let b be -4 + z + (391 - 4). Is b/7 - (-45)/(-105) a multiple of 21?
False
Suppose 0 = 3*u + 4*n - 16885, -3*u + 16876 = -4*n - n. Is u a multiple of 18?