e of 39?
False
Suppose 159187 = 13*h - 99877. Is 5 a factor of h?
False
Let v(y) = 2*y**2 + 11*y - 57. Let u be v(-19). Suppose 22*g = 21*g + u. Does 24 divide g?
True
Let w(y) = -846*y - 2819. Does 278 divide w(-19)?
False
Let d(g) = -g. Let a(r) be the third derivative of -5*r**5/2 - r**4/3 - r**3/3 + 38*r**2. Let u(j) = -2*a(j) + 20*d(j). Is 15 a factor of u(1)?
True
Let q = -9550 - -10752. Is q a multiple of 39?
False
Let t(k) = 2*k**2 - 6*k - 7. Let q be t(5). Let l be (79 - (16 - 9)) + -7. Let h = l - q. Is 42 a factor of h?
False
Let d(j) = -j**3 - 2*j**2 + 50*j + 810. Is d(-15) a multiple of 15?
True
Suppose 247*b - 36953 = -2*g + 244*b, -3*g + 55412 = 2*b. Does 14 divide g?
True
Let r be ((-664)/(-6))/(16/(-48)). Let s = -195 - r. Is s a multiple of 53?
False
Let m = -28 - -21. Let r(q) = q**2 + 9*q + 20. Let o be r(m). Let s(i) = 7*i - 2. Is s(o) a multiple of 33?
False
Let p(o) = -o**2 + 2*o - 2. Let v(w) = w**2 - 2*w + 3. Let r be v(0). Let s be p(r). Let x(t) = -t**3 - t**2 + 16*t + 2. Is x(s) a multiple of 11?
True
Suppose -10*f = -9*f + 5*q - 2940, 5*q = 4*f - 11735. Is f a multiple of 2?
False
Suppose 2*s - 2*v - 2188 = 2756, 0 = -2*v - 10. Is s a multiple of 49?
False
Suppose -14 = 4*q - 2*m, -5*m + 5 = -3*q - 16. Does 17 divide (-4)/q*(-3)/6*-265?
False
Is 5 a factor of ((-351)/108)/((-84)/80 - -1)?
True
Suppose 0 = 3*v + 5*d - 214, 2*v - 4*d = -3*v + 369. Suppose 4*g - 242 = -2*a, -4*g + 2*a + v = -3*g. Suppose g = 2*n + 31. Is 2 a factor of n?
True
Let q(o) = 13*o**3 + 26*o**2 + 3*o. Let m be q(6). Is 3/((-3)/(-2)) - m/(-11) a multiple of 43?
True
Suppose 3*q - 2*t = 6335, 32*q + t + 4222 = 34*q. Is 19 a factor of q?
True
Let a(n) = 3*n**2 - 10*n + 17. Suppose 3*s - 39 = 33. Let g = 29 - s. Does 3 divide a(g)?
True
Let a = 27675 + -16143. Is a a multiple of 156?
False
Suppose 12*y = -18*y + 17*y + 30030. Does 30 divide y?
True
Suppose 6*n + 6055 = 13*n. Suppose n = 69*q - 64*q. Is 12 a factor of q?
False
Let o = -136 + 11. Let q = o + 127. Suppose -q*b - 4*n - 4 = -3*b, -4*b + 2*n = -58. Is 5 a factor of b?
False
Let u(k) = 3889*k**2 + 34*k + 31. Is 68 a factor of u(-1)?
False
Suppose 1823 = 13*x - 3637. Suppose -318 = -6*o + 3*o + 3*b, -x = -4*o + 5*b. Is 10 a factor of o?
True
Let n(u) = -5*u**2 + 7*u + 1. Let i(c) = -15*c**2 + 20*c + 3. Let j(s) = -3*i(s) + 8*n(s). Let h be j(5). Suppose -x - h = -5*x. Is x a multiple of 8?
False
Suppose -12*s + 2830 - 22582 = 0. Is 2/((-60)/s) - (-100)/750 a multiple of 4?
False
Let o(d) = -274*d + 690. Is o(-15) a multiple of 30?
True
Let m = 11558 + -8818. Does 5 divide m?
True
Let q(y) = -18*y + 95. Suppose s - 4*v + 13 = 0, -s + 3*v = -0*v + 11. Is q(s) a multiple of 3?
False
Let x(c) = 2*c**3 + 22*c**2 - 3*c + 10. Let o be (-50)/5 + 0 + 0. Is x(o) a multiple of 16?
True
Suppose 60*u - 26*u = -107*u + 2265588. Is u a multiple of 65?
False
Let o(h) be the third derivative of h**5/60 - 5*h**4/24 + 5*h**3/6 - 25*h**2. Let c be o(6). Suppose c*t = 7*t + 344. Is 16 a factor of t?
False
Suppose 25252 = 4*a - 2*x, -6*a - 3*x = -11*a + 31564. Suppose -a = -310*h + 299*h. Is h a multiple of 14?
True
Let o = -11910 - -20464. Does 60 divide o?
False
Suppose 16*u - 35171 = -3*v + 11*u, 4*u + 58680 = 5*v. Is v a multiple of 23?
False
Let s(c) = 12 - 18*c - 27*c - 15*c - c**2 + 11*c - 20. Is 4 a factor of s(-44)?
True
Let x = 20660 - -4462. Is 158 a factor of x?
True
Let s = 47608 + -27682. Is s a multiple of 23?
False
Let b(d) = -d**3 + 20*d**2 + 26*d + 33. Let g(m) = -m**3 + 3*m**2 + 3*m - 1. Let a be g(4). Let r be (1 - -34)*(-3)/a. Is 23 a factor of b(r)?
True
Let g(l) be the first derivative of 55*l**2/2 + 35*l + 37. Is 25 a factor of g(3)?
True
Suppose 2*u = -3*r - 0*u + 3099, -8264 = -8*r - 5*u. Suppose 0 = 18*p - 10559 - r. Does 23 divide p?
True
Suppose 25*o + 28*o - 4*o - 57624 = 0. Does 65 divide o?
False
Let l = 24277 + -16937. Is 20 a factor of l?
True
Let g(n) = 19*n + 161. Let l be g(34). Let k = l - 435. Is k a multiple of 14?
False
Suppose -35848 - 139714 = -89*g + 15610. Is 12 a factor of g?
True
Let u be (-1 + 0)/((-1892)/(-948) - 2). Suppose 7*c - 2*c + 2*g = 606, -g - u = -2*c. Let d = c - 82. Does 38 divide d?
True
Suppose -3*n - 8 = 3*w - 4*w, 4*w + 4*n = 16. Suppose -4*t = -5*c - 2 + w, -c + 3 = 0. Does 9 divide t + (24 - (-9)/(-3)) + 3?
True
Let g(z) = z**3 + 5*z**2 - 4*z - 6. Let c be g(-7). Let j(r) = -r**2 + 9*r + 66. Let s be j(-7). Let t = s - c. Does 2 divide t?
True
Let n = 25769 - -11203. Does 156 divide n?
True
Suppose 45660 = -3*m - 13*m + 201244. Does 11 divide m?
True
Let j be 1/(-3) - 165/45. Let s be (-1)/(j + (-54)/(-14)). Suppose s*u = 5*u + 158. Is u a multiple of 30?
False
Let j(s) = -10*s + 4. Suppose -3*k + 8*k - 20 = 0, -a - 7 = 3*k. Is j(a) a multiple of 87?
False
Let g = -257 - -263. Let m(i) = -28*i + 196. Is m(g) a multiple of 3?
False
Let k(r) = -r**3 + 8*r**2 + 13*r - 12. Let t be k(9). Let g be 1/((-5)/(-14 - -4)). Suppose -t = -g*p + 16. Is 9 a factor of p?
False
Is (14 - -14 - 20)/(2/9652) a multiple of 304?
True
Let d(y) = 2*y**3 + 3*y**2 - 7*y + 46. Let r be d(-6). Does 16 divide 5/((-80)/r)*(-1 + 9)?
False
Let f = -51 - -51. Suppose -n + f*y + 152 = y, 2*y + 288 = 2*n. Suppose -2*p + 56 = -n. Is 34 a factor of p?
True
Let r be (-2034)/(-10) + 2/(-5). Let o(y) = -y + 21. Let p be o(21). Suppose -r = -3*w + 4*h, h - 139 = -2*w - p*h. Is 13 a factor of w?
False
Let j(n) = -14*n**2 - 119*n - 5. Suppose 0 = -0*s - 5*s + 4*a - 52, 30 = -3*s + 2*a. Is j(s) a multiple of 17?
True
Suppose -4*w = -m - 67, 2*w - 34 = -2*m + 12. Suppose 3*r - 62 = -2*j, -12*r + 7*r + 78 = -3*j. Suppose -4*g = -2*k + w, k - 3*g + r = 3*k. Does 3 divide k?
True
Suppose -k + 14528 = -a, -1626*k + 3*a - 72624 = -1631*k. Does 18 divide k?
True
Suppose 4*o - 4*k + 1208 = 0, 4*k + 1168 = -7*o + 3*o. Is 6 a factor of -4 - (-1 + 4) - o?
False
Suppose 192161 - 8901 = 22*j. Is 7 a factor of j?
True
Let z(n) be the third derivative of n**5/30 - n**4/12 - 13*n**3/6 - 15*n**2. Let h be z(9). Suppose h + 664 = 5*j. Does 53 divide j?
True
Let c = 485 - 482. Suppose -4*u + 1480 = 4*t, c*t + 1360 = 5*u - 458. Is 28 a factor of u?
False
Suppose 0 = 14*r - 23*r + 1602. Suppose -4*k + 141 = 3*n, 10*n = 14*n + 2*k - r. Is n a multiple of 8?
False
Suppose 4394 = -10*n + 28144. Is 19 a factor of n?
True
Suppose c - 777 = 2*f, 0 = 3*c - 524*f + 523*f - 2361. Is 9 a factor of c?
False
Suppose -2 = f - 34. Let w = f + -28. Suppose -w*o = -179 - 413. Is o a multiple of 20?
False
Let g = 389 - 284. Let w = 258 - g. Is w a multiple of 51?
True
Suppose 138*h - 23448 - 2936 = 104*h. Is h a multiple of 20?
False
Let h = -10 + 13. Suppose 3*s + 10*f - 545 = 6*f, 4*s - 760 = 3*f. Suppose h*i - s - 125 = 0. Is 26 a factor of i?
True
Let l(g) = -10*g**2 - 5*g - 3. Let i be l(-1). Let r be 14/(((-9)/(-96))/(18/i)). Let j = 486 + r. Is 36 a factor of j?
False
Suppose -16*v = -20*v + 5116. Let x = v - 505. Is 43 a factor of x?
True
Suppose 48*t - 50*t = -96. Let j = 77 - t. Is j a multiple of 6?
False
Suppose 4*u - 3*v - 4880 = 0, 0 = -3*u - 11*v + 7*v + 3660. Does 5 divide u?
True
Let r(s) = -41 + s**3 + 18*s**2 - 13 + 18*s + 69. Is r(-12) a multiple of 51?
True
Is -108858*(-14)/(66 - 24) a multiple of 65?
False
Let y(h) = -4*h + 25. Let c be y(4). Suppose 0 = c*n - 12*n - 162. Is (-6492)/n + 4/(-18) a multiple of 40?
True
Let k(z) = 28*z**2 + 9*z + 17. Let d(b) = -14*b**2 - 5*b - 9. Let r(c) = -5*d(c) - 2*k(c). Let f = 598 + -601. Is r(f) a multiple of 14?
False
Suppose -5*j = -3*b + 428, -254 = 4*b - j - 853. Suppose b*g - 147*g = 364. Is g a multiple of 13?
True
Let t(w) be the second derivative of w**4/12 - w**3 - 7*w**2 + 7*w. Let q be t(8). Is 18 a factor of ((-395)/20 + -2)/(q/(-8))?
False
Let l(t) = -9*t - 28 - 10*t - 18*t**3 + 31*t**2 - 9*t**2 + 17*t**3. Is 7 a factor of l(20)?
True
Let n(d) = -11*d + 12. Let w be n(7). Let x = 28 + -63. Let q = x - w. Is q a multiple of 24?
False
Suppose 34263 = 5*h + d - 32271, 2*d = -h + 13305. Is h a multiple of 22?
False
Suppose -87202 = -4*n + 19322. Does 33 divide n?
True
Suppose 5*p = 5*r + 30, 4*r + p - 18 = 8*r. Let d be (2/(-2))/(r/20). Suppose 3*l = -4*g + 59, 0 = -l + d*g + 3 + 4. Is 4 a factor of l?
False
Suppose -7 + 14 = -g - 4*o, -3*g + 4*o =