 r. Suppose -c - c + 40 = w. Is 6 a factor of c?
False
Let h(l) = -806*l - 21. Let m be h(-6). Suppose 5*p + 4*p = m. Is p a multiple of 10?
False
Let a(p) = -2*p**2 + 15*p - 5. Let u(r) = -2*r + 3. Let m be u(-2). Let t be a(m). Is 2 a factor of (-1)/1 + 24/t?
False
Let d be (72/(-20) - -3) + (-6292)/(-20). Let r = d - 295. Does 3 divide r?
False
Let n(d) = 130*d**2 - 262*d**2 + 15 + 128*d**2 - 4*d + d**3. Is 9 a factor of n(6)?
True
Suppose 2*u + s - 36 = 6*s, -2*s = 4*u - 120. Let l = -21 + u. Suppose 0 = o - t - 110, 2*t - 3 + l = 0. Does 30 divide o?
False
Let y(t) = -t - 19. Let m be y(-8). Let s(c) = -3*c**3 - 1. Let x be s(-1). Let i = x - m. Is 13 a factor of i?
True
Suppose 3*s - n + 2*n - 8 = 0, 0 = 2*s - 3*n + 2. Suppose s*v = a - 11, -6 = 2*a + 2*v + v. Suppose 4*d = a*d + 12. Is d a multiple of 4?
True
Suppose 5*s - t = 115, -2*t - 109 = -5*s + 11. Let n(u) = 63*u - 149. Is 11 a factor of n(s)?
False
Let p(w) = 11*w + 13. Let r(i) = -4*i**3 - 3*i + 2. Let o be r(1). Let m(y) = y + 8. Let k be m(o). Is p(k) a multiple of 16?
False
Let s(l) = 7*l**2 + 35*l + 138. Is 4 a factor of s(14)?
True
Let b = 289 + 134. Let w = -413 + b. Is w even?
True
Suppose 483*i - 503*i + 42430 = -198370. Does 40 divide i?
True
Let y(s) = -s**3 + 2*s**2 - s + 19. Let r be y(0). Suppose -198 = -r*l + l. Is l a multiple of 11?
True
Suppose 4*o + 67 = 5*n, -5*o = 2*n - 38 + 130. Let g(x) = -13*x + 26. Does 5 divide g(o)?
True
Let c(l) = 10*l - 33. Let u be c(4). Suppose -u*d + 360 = -3*d. Does 21 divide d?
False
Suppose -10 = -4*x - 2. Suppose -5*n - 128 = -37*n. Suppose 0 = j - n*u - 8, -5*u + 81 = x*j - 0*j. Is 14 a factor of j?
True
Suppose w + 0 + 0 = 0. Suppose 4 = -d - w*d - 2*v, -5*v - 10 = 4*d. Suppose 2*q - 382 = -i, 0 = -d*i + 3*i. Does 18 divide q?
False
Suppose -503 = 4*u - 1511. Let o = u + -37. Is o a multiple of 14?
False
Suppose 0 = -2*g - 3*u + 7, 0 = 2*g - u + 5. Is 137 + g - (-8 + 8) a multiple of 11?
False
Let v(s) = 2*s - 14. Let h = -14 + 17. Let u be v(h). Is 4 a factor of (u - (-24)/(-8))/((-2)/2)?
False
Let d = 24991 - 18197. Is d a multiple of 79?
True
Let n(t) = t**2 - 8*t + 9. Let o be (-9)/2*(-34)/51. Suppose j - 5*r = o, -3*j - 6*r + 2*r - 29 = 0. Is n(j) a multiple of 43?
False
Suppose -2*x + c + 737 = 155, 0 = -x - 5*c + 291. Let n = x - -28. Is n a multiple of 11?
True
Let j(c) be the second derivative of -c**3/3 + 47*c**2/2 - 2*c + 25. Is 6 a factor of j(-21)?
False
Let q(z) = -42*z - 5. Let h be q(-16). Suppose -5*i - 2*f = -h - 1630, 0 = 2*i - 3*f - 934. Does 11 divide i?
False
Is 12138/136*240/18 a multiple of 7?
True
Suppose -u - 16 = 20. Let l = u + 35. Is (-2 + 1)*(l + -56) a multiple of 20?
False
Let m be 2 + -3 + 529*1/1. Suppose m = 13*g - 2*g. Does 4 divide g?
True
Let i(m) = m**3 + m**2 + m - 4. Let w be i(3). Suppose -7 = 4*s + 4*x - 3, -5*x = -3*s - w. Is 3 a factor of s/(50/55)*-2?
False
Let x be 3 + 3177 - -2 - -3. Let t be (4/10)/((-13)/x). Let m = t - -162. Is 8 a factor of m?
True
Let o(f) = f**2 + 17*f + 34. Let j(u) = -u**2 - 16*u - 39. Let r be j(-13). Suppose r = b + 4*b + 4*i + 73, -b + 5*i - 32 = 0. Is o(b) a multiple of 5?
False
Let n(h) = h**2 - h + 7. Let l be n(-5). Suppose -l = -2*o - 9. Suppose -r + o = -5*a, 5*r + 3*a = a + 43. Is 4 a factor of r?
False
Suppose -3*h + 15*p - 18*p = -20031, 2*h - 3*p - 13319 = 0. Does 46 divide h?
True
Suppose 0 = -5*s - 174 - 66. Let u be ((-16)/s)/((-5)/(-6) - 1). Does 6 divide ((-22)/u)/((6/(-8))/(-3))?
False
Suppose 3*o - 401 - 126 = 5*b, 0 = -4*o - 3*b + 693. Let s = 324 - o. Is s a multiple of 15?
True
Let o(g) be the first derivative of -g**4/4 - 5*g**3/3 + g**2 - 16*g + 147. Let t(y) = 4*y + 5. Let v be t(-3). Does 23 divide o(v)?
False
Is 157 a factor of (-156)/((-1)/(-10)*-10*(-26)/(-65))?
False
Does 16 divide -2*(27986/(-7) - -7)/1?
False
Suppose -3*v = -8459 + 503. Is v a multiple of 78?
True
Suppose -73755 = -4*a - 3*r, -225 = 4*r - 229. Does 23 divide a?
False
Let d(u) be the third derivative of -2*u**3 - 1/10*u**5 + 13/24*u**4 + 0 + 0*u - 28*u**2 + 1/120*u**6. Is 18 a factor of d(8)?
False
Suppose -9*a - 4*a = -47263 + 2439. Is 8 a factor of a?
True
Suppose -27*l + 98868 = -23739. Is l a multiple of 19?
True
Suppose -4 = -2*b, -8*q + 4*b = -3*q - 12. Let v be -9*3/2 - (-2)/q. Let i(s) = s**3 + 14*s**2 + 10*s + 13. Does 6 divide i(v)?
False
Let t = -2014 + 2144. Is t a multiple of 5?
True
Let x(t) = -t**3 + 13*t**2 - 6*t + 13. Let p be x(11). Let v = -165 + p. Does 18 divide v?
False
Let l be 3/(-4 - -1) - -121. Let x = -86 + l. Is 5 a factor of x?
False
Suppose -22*q + 8093 = 25*q + 1043. Does 15 divide q?
True
Suppose -5*v + q + 92 = -58, 2*v - 4*q - 60 = 0. Suppose -225 = -3*b + 3*n, 2*n = -b - 0*b + 84. Let y = b - v. Is 14 a factor of y?
False
Let y(f) = -79 - 76 - 5*f + 2*f**2 + 139. Let z(a) = a**3 - 2*a + 3. Let u be z(2). Does 15 divide y(u)?
False
Let s(y) = y**3 + 5*y**2 - 9*y - 11. Let j be s(-8). Let f = j + 152. Is 10 a factor of f?
False
Let s be 2463/(-17) + 8/(-68). Let n = s - -355. Does 30 divide n?
True
Suppose -9*j + 1040 = 374. Let t be (j - (0 + 0 - 3))*-5. Does 5 divide 158/22 - 7/(t/(-10))?
False
Suppose -192 = -8*l - 40. Let k(m) = 3*m + 1. Let c be k(5). Let z = c + l. Is 14 a factor of z?
False
Let m(n) = n**3 - 3*n**2 - 2*n - 5. Let o be m(4). Suppose 260 = -7*x + 10*x + 4*l, -o*x = -2*l - 248. Is x a multiple of 12?
True
Is ((-68661)/36 - -10)*-4 a multiple of 23?
False
Suppose -19*n + 96480 = 71*n. Does 14 divide n?
False
Let d = -1507 + 6736. Does 118 divide d?
False
Let d(f) = 21*f**2 - 15*f + 8. Let j be d(7). Let v = j - 769. Does 5 divide v?
False
Let t(j) be the first derivative of -j**4/4 + 7*j**3/3 - 6*j**2 - 7*j + 16. Let g be t(8). Let p = -144 - g. Does 9 divide p?
False
Is 17 a factor of -3*(7 - 291/(-4))*(-136)/3?
True
Let f = -98 + 101. Suppose -x = -5*d + 3821, -f*d + x + x = -2287. Is 9 a factor of d?
True
Is 12 a factor of (1 + 619/5)/(43/645)?
True
Suppose 9*b - 62 + 17 = 0. Suppose 2*l = -b*r + 24, -4*l + r + 48 = 6*r. Suppose -2*h + 199 + 695 = 5*t, 4*h = -l. Does 9 divide t?
True
Let b = -5237 + 6581. Is 48 a factor of b?
True
Does 45 divide 38/152 - (44/6)/((-24)/23121)?
True
Let t(r) = 5*r**2 - 400*r + 102. Does 4 divide t(81)?
False
Let i(c) = -c**3 - 7*c**2 - 3*c + 2. Let r(o) = o**2 + o + 1. Let j(m) = i(m) + 3*r(m). Let a(s) = s**2 - 6*s + 5. Let t be a(3). Does 5 divide j(t)?
True
Suppose -17*z - 27001 = -47*z + 17*z. Is 31 a factor of z?
True
Let t(o) = -3*o**3 - 239*o**2 - 674*o - 40. Does 30 divide t(-77)?
False
Suppose -2*d - 96 = -8*d. Suppose d*b - 380 = 21*b. Let x = b + 100. Is 12 a factor of x?
True
Let b(q) be the second derivative of -2*q**3/3 + 15*q**2 - 41*q. Let g be b(7). Suppose 76 = g*a - 2*d + d, 2*a - 2*d - 76 = 0. Does 23 divide a?
False
Let t(f) = f**3 + 6*f**2 - 9*f - 20. Let c be t(-6). Suppose -7*v + c = -1. Suppose 2*d + 2*q - 10 = 4, -5*q = d + v. Is d even?
True
Suppose -2448 = 4*t - 2576. Is t a multiple of 2?
True
Let w = 12284 + -1831. Does 37 divide w?
False
Let v(c) = 8934*c**2 - 11*c - 3. Does 99 divide v(-1)?
False
Let z(y) = 2*y**2 + 11*y + 9. Let i be z(-5). Does 41 divide -738*(33/9 - i)?
True
Let h be 4 + -1 + 1015 - (-1)/(-1). Suppose -h = -2*g + 615. Is 6 a factor of g?
True
Suppose -3*c = -2*b - 11631, 2*c - 7728 = -19*b + 16*b. Is 41 a factor of c?
False
Let y = 20598 - 13710. Is y a multiple of 328?
True
Suppose -4*q + 8698 = -4*s + 74, -5*s = -4*q + 8627. Let f = -1511 + q. Is f/(-2)*40/(-60) a multiple of 32?
False
Let n = -16 - -93. Suppose -833 = -14*g + n. Is 13 a factor of g?
True
Let x = -1123 + 3080. Does 9 divide x?
False
Is 3 a factor of (1 - -1)/((2/4738)/(679/194))?
False
Suppose -2*u + 4*u = 0. Suppose u = -4*t - 2*b + 554, -5*t + 5*b + 685 = 10*b. Does 35 divide t?
True
Let v(j) = -j + 13. Let b(x) = x**3 - 3*x**2 - 1. Let y be b(4). Let f be v(y). Does 5 divide (-73)/(-2) - (f + 12/8)?
False
Let t = 4077 + -3126. Is 7 a factor of t?
False
Let y be ((0 - 0)*(-4 + 3))/(-2). Let d(h) = h**3 + 8*h**2 - 8*h - 8. Let w be d(-6). Suppose 2*j - 176 - w = y. Does 36 divide j?
True
Suppose 12*f - 5*f - 3556 = 0. Suppose -9*n = -8*n - f. Suppose -4*p - 160 = -n. Is 30 a factor of p?
False
Let i be 2 + ((-5)/(-3))/((-6)/(-18)). Suppose -i