 = -683*d - 735. Suppose 15 - d = -2*a. Is 3 a factor of a?
True
Let o be (-1 - -5)*(3 + 10/(-5)). Suppose 351 = o*a - 117. Let w = -90 + a. Does 9 divide w?
True
Let b be (2 - (6 - 3))*-1 + 64. Let p be -1 - 13/(b/(-30)). Suppose 0*u = p*u - 425. Does 35 divide u?
False
Let t(x) = 6*x + 92. Let c be t(-15). Suppose 5*s - c*g = 2135, -11*s + 2*g + 419 = -10*s. Is s a multiple of 56?
False
Suppose 22*o - 52 = 21*o + 2*z, 58 = o - 5*z. Suppose 36*a = o*a - 1176. Is a a multiple of 44?
False
Let y(l) = -39*l - 16 + 136*l + 5*l**2 - 31*l. Is 35 a factor of y(-22)?
False
Suppose 84*b = 87*b + 102. Let y = 99 + b. Does 9 divide y?
False
Does 15 divide -23 + -23 + (-904631)/(-13)?
False
Let x = -3384 + 4786. Is x a multiple of 21?
False
Suppose -2*c = -3*o - 0 - 5, 2*c + 4*o = -30. Let i(j) = -j**3 + 2*j**2 - j - 7. Is i(c) a multiple of 26?
False
Let d = 15624 - 11561. Is d a multiple of 15?
False
Let x be 717/18 + ((-44)/(-24))/11. Let y(o) = -o**2 + 55*o - 72. Is y(x) a multiple of 11?
True
Let i(v) = v**2 + 36*v + 62. Let x be i(-31). Let c = 106 + x. Does 5 divide c?
False
Suppose -w + 4*t - 3 = 15, 0 = -2*t + 10. Is (-293)/w*(-11 - -9) a multiple of 62?
False
Let q(u) = 453*u**2 - 10*u + 3. Does 120 divide q(6)?
False
Let a = 7020 - -3355. Suppose 21*p - 503 = a. Is 14 a factor of p?
True
Suppose l + 190871 = -2*q, 81947 = -2*q - 3*l - 108922. Is 1 + 30/(-26) - q/1287 a multiple of 2?
True
Suppose 50*q - 60*q = -19826 - 48974. Is q a multiple of 160?
True
Let w(j) = 88*j**2 + 5*j - 17. Is 5 a factor of w(3)?
True
Suppose -446 - 352 = -o. Suppose 2*w - o = -170. Is 14 a factor of w?
False
Let c = 19583 + -16895. Is c a multiple of 192?
True
Suppose -5*x - 21 = -3*i, -5*x + 14 = 2*i - 25. Is 6262/i - 5/(-30) a multiple of 58?
True
Let r(o) = 18*o - 1130. Let b be r(63). Suppose 5*j + 3*h = -0*h + 19, h - 9 = -3*j. Suppose -j*c = -b*c + 292. Is 24 a factor of c?
False
Let o(c) = -14 - 8 + 5*c + c - 19. Let f be o(7). Let y(m) = 76*m**3 + m**2 - 2*m. Is y(f) a multiple of 15?
True
Suppose -2*k + u = -81, 0*u - 91 = -2*k - u. Let y be (-3)/(2/(-2)) + k. Suppose z + 9 = -a + 38, 2*a + y = 2*z. Does 7 divide z?
False
Let u = -394 - -3478. Suppose 4*f = -o + u, 18*f - 3844 = 13*f - 4*o. Is f a multiple of 30?
False
Let i be (-360)/(4/(-1))*19. Suppose 0 = -11*o - 8*o + i. Is o a multiple of 3?
True
Let g be -3 - (4 + -10 + 2 + 2). Let w(u) = -37*u**3 - 2*u**2 + 2*u + 3. Is w(g) a multiple of 10?
False
Let o be 0/(0 - -1) - 80/(-16). Let w(m) = m - 3. Let p be w(o). Suppose 3*g - p*h - 103 = 0, -3*g - h + 152 = g. Does 8 divide g?
False
Let p(u) be the first derivative of 673*u**3/3 - 17*u**2/2 - 18*u + 146. Is 14 a factor of p(-1)?
True
Let z(u) = 9*u**2 - 10*u - 50. Suppose -10*j - 27 = 23. Is 13 a factor of z(j)?
False
Let i(o) be the second derivative of 1/4*o**4 - 26*o + 0 + 15/2*o**2 + 0*o**3. Is 23 a factor of i(-8)?
True
Suppose 2*i - 5*b = i + 188, -12 = 3*b. Let r = i - 127. Is r a multiple of 11?
False
Suppose 24*s = 81 - 1209. Let i = 7 - s. Does 8 divide i?
False
Let r = 521 - -836. Is r a multiple of 59?
True
Is 3396128/116 + (-24)/(-696) a multiple of 27?
False
Suppose -5*w - 14*d = -15*d - 51480, -6*w + 61760 = 2*d. Does 6 divide w?
False
Let f(n) = 37*n + 13*n**2 - 51 + n**3 + 20 - 56*n. Does 8 divide f(-13)?
True
Let v(c) = -8*c**3 + 73*c**2 - 16*c - 25. Does 87 divide v(7)?
True
Let m(h) = 13*h**2 - 14*h + 1. Let i be m(-8). Suppose -934*w = -i*w + 4697. Does 14 divide w?
False
Let s(f) = -f - 1. Let z(b) = 22*b - 11. Let v(l) = -3*s(l) - z(l). Is v(-2) a multiple of 50?
False
Suppose -144*u + 140*u = -2112. Let k = u + -312. Is 9 a factor of k?
True
Let d = 5663 - 1707. Is d a multiple of 12?
False
Let r = -3 - -71. Suppose -3*h + 21 + 7 = 4*b, 5*h - b - 85 = 0. Is (r/h + 1)/((-5)/(-80)) a multiple of 14?
True
Is 54 a factor of ((-2376)/(-10))/((-1242)/(-52785))?
True
Is ((-1178)/70 + (-87)/(-203))*-140 a multiple of 4?
True
Let p(f) = -2*f**3 + 260*f**2 + 91*f - 316. Is 101 a factor of p(130)?
True
Let z(a) = -a**3 + 4*a**2 + 3*a - 10. Let f be z(4). Is 39 a factor of (-3)/18*f*-201?
False
Let c be 29 + (-3)/(((-60)/16)/(-5)). Suppose -2*i + 4*x + 372 = 0, 3*x - 8*x - c = 0. Is 12 a factor of i?
False
Let n(d) = -d**2 - 17*d - 43. Let m be n(-13). Does 43 divide (42 + 1)/((81/m)/9)?
True
Let f = 388 + -1597. Let r = f + 1855. Does 17 divide r?
True
Does 22 divide 3 + 14/7 + 3 + 66108/3?
True
Suppose 6*d = -6*i + 3*d + 60486, -5*d - 50435 = -5*i. Is i a multiple of 53?
False
Suppose 0*t - t - 5*d - 3 = 0, d - 57 = -5*t. Let s be -20 + 0/(-9) + (0 - -4). Is (-12)/s - (-1419)/t a multiple of 15?
False
Let p(i) = 149*i**2 - 143*i - 967. Does 20 divide p(-7)?
False
Suppose -3*a + 212680 = 23*a. Suppose 32*p - a = 7020. Does 25 divide p?
True
Let o(g) be the third derivative of 103*g**6/40 + g**5/60 + g**4/24 - g**3/3 + 84*g**2. Is 14 a factor of o(1)?
False
Let q = 18 - 287. Is (2 - q) + (0 - -4) a multiple of 11?
True
Suppose -12*l = -8*l - 12. Suppose -l*p + 14 = -2*n, 4*n - 2*p = 8*n + 44. Does 15 divide 157 + -2 - -5*8/n?
False
Let r be -30 + (-6)/(-12)*8. Does 9 divide 484/3 + r/(-39)?
True
Suppose 0 = -2*s - 32*n + 31*n + 2808, 4*s + 5*n - 5628 = 0. Is s a multiple of 13?
False
Let i(x) = -12*x - 81. Let j be i(-7). Suppose -j*t + 189 + 78 = -3*s, -4*s = -3*t + 263. Is t a multiple of 16?
False
Suppose 4088 + 20167 = 147*j. Is 15 a factor of j?
True
Let j(a) = -75*a + 2022. Is j(2) a multiple of 9?
True
Let h(l) = l**2 + 102*l + 49. Is h(24) a multiple of 55?
False
Let d = 7768 - 3283. Is d a multiple of 39?
True
Let f = 3965 - 4651. Suppose -2*g + 994 = -q, -g + 1153 = -3*q - 1814. Let u = f - q. Does 16 divide u?
False
Let m be (1 - 19*-1)*20/80. Suppose 2*b - m*y - 111 = 0, 2*b + 2*b = y + 177. Let h = b + -31. Does 5 divide h?
False
Let u be (22 + -1)/((-19)/(-8) - 2). Suppose 0 = -2*d + 4*t + 262 + u, d = 3*t + 161. Does 8 divide d?
False
Let z be 8/(-24)*(2 - (3 + -22)). Is 50 a factor of 198 + 1 + (-6 - z)?
True
Let m(b) = -185*b**2 + 4686*b - 21. Is 16 a factor of m(25)?
True
Let s(m) = -7*m - 2. Let b(f) = -f**3 - 6*f**2 + 10*f + 9. Let d be b(-8). Let x = d + -61. Is s(x) a multiple of 26?
True
Suppose -95 = -2*u - 101. Let p be -3*2*u/2. Is ((-6)/p + 0)*-57 a multiple of 2?
True
Suppose -3*k + 3*u = -1476, -42*k = -39*k + u - 1468. Let h be (3*-1 - -2)*-9. Suppose -h*f + 4*f + k = 0. Is f a multiple of 39?
False
Suppose -39*k + 40958 = -12*k - 13420. Is k a multiple of 38?
True
Let c = 39713 - 28313. Is 112 a factor of c?
False
Suppose 0 = -4*n + 4*c - 5264, -n - n + 7*c - 2652 = 0. Let x = 2348 + n. Is x a multiple of 14?
True
Let x = 78 + 17. Suppose 253 = -84*g + x*g. Is g a multiple of 7?
False
Let p = -701 + 704. Suppose y + 25*j = 21*j + 260, -p*y - 5*j + 787 = 0. Does 24 divide y?
True
Suppose -6*a = 208*a - 7176276. Is a a multiple of 18?
True
Let w(m) = 301*m**2 - 2. Let o be 1/((4 + 28/(-8))*2). Is w(o) a multiple of 43?
False
Let p(o) = 3*o + 23. Let d be p(-6). Suppose 0 = -7*n + 16 + d. Suppose n*c = 13*c - 380. Is c a multiple of 9?
False
Does 18 divide (-1 - -10) + -9 - -504?
True
Suppose f + 15 = -111. Let u = 64 - f. Suppose -3*j + u = -4*n, n + 24 = j - 38. Is j a multiple of 4?
False
Let d be (-4419)/(-6) - (-2)/(-4). Let r = d + -134. Is r a multiple of 37?
False
Let d = -20 + 2502. Does 17 divide d?
True
Let r be 50*((-8)/36 - 124/(-72)). Suppose -2*i = -r*i + 2482. Is 2 a factor of i?
True
Suppose 24*g + 21*g - 11664 = -9*g. Is 36 a factor of g?
True
Let y = -14278 - -29422. Suppose -121*v + 97*v + y = 0. Does 42 divide v?
False
Let h = -85 + 82. Is 61 a factor of 2/(-362*1/122 - h)?
True
Let q = 43066 - 25796. Is q a multiple of 11?
True
Let u be (-68)/(-16) - (-65)/(-52). Suppose d - 382 = -m + u*d, -2*m + 761 = -5*d. Does 44 divide m?
False
Suppose -17*s = -9*s - 24. Is 2 a factor of (0 - (-1422)/s)*8/24?
True
Let s be ((-828)/18)/(-2 - 16/(-10)). Suppose 0 = 4*j - j - 3*i + 18, -2*j - 2*i - 28 = 0. Let w = s + j. Is 21 a factor of w?
True
Let a(v) = -493*v - 5983. Is a(-39) a multiple of 14?
True
Suppose -5*l - 4*h = 25 + 15, 2*l + 13 = -h. Is 198 - l - (0/(-4))/3 a multiple of 6?
False
Suppose 4*n + 14*n + 36 = 0. Let p(j) = -3*j**2 + 4*j - 1. Let r be p(3). Does 11 divide ((-16)/r)/(n/22)