12*t - 44. Let n(y) = 145*y - 525. Let q(z) = -2*n(z) + 25*w(z). Does 19 divide q(21)?
False
Let f = -597 + 599. Suppose -1 + 3 = 2*r. Does 9 divide 25*(r + 0) + f?
True
Let d(z) = -10*z**3 - 10*z**2 - 126*z + 42. Is d(-9) a multiple of 88?
True
Let v(q) = q**2 + 3*q + 2. Let o be v(-2). Suppose 57*m - 54*m - 6 = o. Suppose 5*f - 55 = -0*f - 5*g, -3*f + m*g + 48 = 0. Is 4 a factor of f?
False
Suppose -5*w + 372 = -1548. Let c = w - 84. Is 20 a factor of c?
True
Let r(j) = -j**3 + 9*j**2 - 10*j + 10. Let i be r(8). Let o be 1/((-1)/4 + i/8). Let v(k) = -36*k**3 - k - 1. Is 18 a factor of v(o)?
True
Suppose -4*b + 266 = j - 536, 2*j = -5*b + 1004. Suppose -28 = -4*f - 0. Suppose f*o = -39 + b. Is 8 a factor of o?
False
Let u(w) = w**2 - 9*w - 37. Let a(s) = -3*s - 1. Let f(i) = 3*a(i) + u(i). Does 5 divide f(-10)?
True
Suppose -5*w + 6 = -289. Let g(a) = 56*a**2 - 3*a - a - 5 - w*a**2 - 49*a**3 + 3. Does 12 divide g(-1)?
True
Suppose g - 2344 = 4*j, 0 = -2*g + 7*g - j - 11739. Does 32 divide g?
False
Let i = 1723 - 939. Is 16 a factor of i?
True
Suppose -4620 = -17*y + 4. Let q = 722 - y. Does 50 divide q?
True
Suppose -r + 2*r = 3. Suppose v = r*g + 106, 4*v = -7*g + 3*g + 504. Let l = v + -110. Is l a multiple of 11?
True
Suppose 2*s - 187 = -35. Suppose 436*f - 430*f = -36. Let w = s + f. Is 7 a factor of w?
True
Let b = 125 - 75. Suppose 387 = -47*t + b*t. Suppose -4*v + t = -3*v. Does 14 divide v?
False
Let h = -27302 + 39906. Does 92 divide h?
True
Let z(q) = 35*q**3 - 4*q**2 + 11*q - 15. Let j(c) = -17*c**3 + 2*c**2 - 6*c + 8. Let f(i) = 5*j(i) + 3*z(i). Suppose -14 = -2*r - 10. Is f(r) a multiple of 51?
True
Let r(t) = -41 - 3*t**2 + t**3 + 42 + 3*t**2. Let k be r(2). Suppose 0 = -3*w + k, 329 + 14 = 5*v + w. Is 29 a factor of v?
False
Let r(y) = -y**3 + 24*y**2 - 19*y - 74. Let d be r(23). Is 16 a factor of (4 - 74/d) + (-4177)/(-9)?
True
Suppose -2*c = 3*c. Let k(l) = -2*l**3 + 4*l**2 + 5*l - 56. Let r(q) = -q**3 + 3*q**2 + 4*q - 57. Let y(w) = 2*k(w) - 3*r(w). Is y(c) a multiple of 6?
False
Suppose 0 = -a - 4 + 11. Suppose -a - 5 = -4*c. Suppose 84 = 3*g - c*n, 0 = 5*g - 0*g + 5*n - 140. Is 15 a factor of g?
False
Suppose 19*k - 16*k = -3606. Let u = -751 - k. Is u a multiple of 23?
False
Suppose 0 = -2*p + 49*d - 54*d + 20984, 4*p - 42022 = -d. Is 79 a factor of p?
True
Suppose -441*m = -445*m - 3004. Let y = -531 - m. Is y a multiple of 44?
True
Let j be 3/(-6)*-8*(-3)/(-6). Suppose -4*n - 10 = -j*m, -5*n - 11 + 1 = 0. Is 28 a factor of 3 + (4 - (m - -7)) - -225?
True
Let r be 9 + (-33)/3 - (-3 - 0). Does 9 divide r/1 + 3 - -194?
True
Let u be -33 + (-4)/(8 + -4). Let s = -26 - u. Suppose 2*v + 58 = 5*o - s, -o = -2*v - 10. Is 4 a factor of o?
False
Suppose 13*k + 5806 = -10353. Is 7 a factor of (68/374)/((-1)/k)?
False
Suppose -83 = 4*s - 3*x, -4*s - 91 = -5*x + 2. Does 12 divide (2 + s)/((-2)/18)?
False
Suppose -4543*n = -4547*n + 1736. Is n a multiple of 42?
False
Suppose -2 - 2 = 2*y, -3*w = -y - 14. Suppose w*v = 39 + 37. Suppose 171 + v = n. Does 10 divide n?
True
Let l(z) = -6*z**3 - 3*z. Let s be l(3). Let b(h) = -47*h - 21. Let f be b(-7). Let a = s + f. Is 30 a factor of a?
False
Let s(x) = 51*x - 261. Let q be s(7). Is (-3741)/(-9) + 32/q a multiple of 16?
True
Let y = 2 - 0. Suppose 2 = -2*r, -y*s + 2*r = -r - 29. Does 8 divide s?
False
Suppose -4*z - w = -9199 + 2307, 2*z - 3*w = 3446. Is z a multiple of 5?
False
Let x = -360 + 372. Suppose 0 = -3*w + 10*n - x*n + 1094, 4*w - n = 1444. Is 8 a factor of w?
False
Let s be 12/(-15)*(-60)/96*0. Suppose s = -5*n - y + 358, -4*n + 5*y = -7*n + 206. Is 67 a factor of n?
False
Let z(f) be the first derivative of 5*f**3/3 - 3*f**2/2 + 3*f + 16. Let r be z(1). Suppose -5*b - 3*d + 156 + 59 = 0, r*b - d = 195. Is b a multiple of 20?
True
Let q be 12 - 42/(-98)*-14. Suppose -u - 3*u = -5*l + 256, -256 = 4*u + 5*l. Is q/(-16)*2 - 944/u even?
True
Let j(g) = 3*g - 3. Let k(c) = 3*c - 3. Let f(p) = -5*j(p) + 4*k(p). Let d be f(-1). Does 6 divide (5 - -4)/(9/d)?
True
Let f = 441 + -636. Let r be -3 + (f/(-27) - (-2)/(-9)). Suppose 0*h - 536 = -r*h. Does 22 divide h?
False
Suppose -70*q + 73*q = -f + 7499, 4*q = 4*f - 30012. Is 11 a factor of f?
True
Let m(k) = -2*k**3 + 14*k**2 - 7*k - 28. Let b be m(9). Let l = b + 515. Is l even?
True
Let n = 38182 - 37577. Does 5 divide n?
True
Let x(g) = -110*g + 42. Let b be x(7). Let l = b + 782. Is 6 a factor of l?
True
Suppose 0 = -3*r + 2*n + 7722, -9*r = -14*r - 3*n + 12851. Does 2 divide r?
True
Let w(u) = 64*u + 479. Suppose -2*o + 20 = 2*k - 2, o - 7 = -3*k. Does 69 divide w(o)?
True
Suppose 118*p - 123*p + 1045 = 0. Let a = p - -148. Does 54 divide a?
False
Suppose 0 = 5*j + 3*x - 9997, 2*x - 5363 = -2*j - 1365. Is j a multiple of 16?
True
Is 192836/(-582)*(-24)/7 a multiple of 113?
False
Suppose 16*v = -x + 18*v + 16, -5 = v. Is (x/21 + (-80)/(-14))*92 a multiple of 21?
False
Suppose 9*d - 53892 + 3672 = 0. Is 180 a factor of d?
True
Suppose 0 = -3*k - 2*z + 3, -3*z = 2*k + z - 10. Let a be (0 - (k - -2)) + 3. Suppose 2*x - 281 = -a*x - 5*g, -x + 44 = -4*g. Is x a multiple of 23?
False
Let a = 12846 - 9738. Is a a multiple of 28?
True
Let n(t) = 3*t**2 - 4*t + 2. Let d be n(1). Let v(g) = 72*g**2 - 4*g + 4. Is 16 a factor of v(d)?
False
Suppose 3*d + 238 = 217. Let b(m) = -3*m**3 + 3*m**2 - 16. Is 33 a factor of b(d)?
False
Let w(q) = 3*q**3 + 46*q**2 - 69*q + 66. Is 17 a factor of w(-16)?
False
Let u = 868 + -817. Suppose -2*h + u = -3*m - 376, -h - m = -221. Is h a multiple of 31?
False
Suppose 3*o = 15, 263*v + 8881 = 267*v + 5*o. Does 8 divide v?
False
Is 59 a factor of 0 - (-7 + 6 - 2305 - -5)?
True
Suppose -40254 = -5*q - 6*l, 0 = 2*q + 4*l - 7613 - 8479. Does 102 divide q?
True
Suppose w - 3*s = -19*s + 8919, 2*w + s = 18024. Is w a multiple of 131?
False
Let k be (-54)/(-252) + 6385/(-70). Let t = 19 - 77. Let h = t - k. Is h a multiple of 8?
False
Let b(f) = 3*f - 10. Let u be b(11). Suppose 0 = -6*p + u + 85. Let c = 78 + p. Is 48 a factor of c?
True
Suppose 0 = l - 4*b + 12, b + 12 = -3*l + 5*b. Suppose -26*p - 3*p + 1305 = l. Is 5 a factor of p?
True
Let c = -1997 + 1994. Suppose -5*u - 5 - 5 = 0. Does 28 divide u - (-246)/((-9)/c)?
False
Let m = -358 + 488. Suppose 355 - m = 5*g - d, 2*d = 0. Is 5 a factor of g?
True
Let p = -86 - -93. Suppose 0 = -4*r + p*r - 156. Let z = r + -25. Is z a multiple of 9?
True
Let p(j) = 37*j + 949. Is p(-21) a multiple of 43?
True
Suppose v - 8 + 5 = 0. Suppose 8 = 4*n, -2*n + 116 = v*c + 2*n. Is 22 a factor of c?
False
Suppose 8*n + 23 + 393 = 0. Let p = 57 - n. Is 8 a factor of p?
False
Let d = 12 - 9. Suppose 5*b - d = 2. Is 5 a factor of 4 + -2 + b + (10 - -37)?
True
Suppose -b = -0*h - 3*h - 340, h = -4*b + 1412. Let o = b - -40. Suppose 0 = 5*t + 4*f - o, 2*f - 28 = 3*t - 272. Is 20 a factor of t?
True
Suppose 2*t = -29 - 139. Let u(c) = c**3 - 10*c**2 + 10*c - 15. Let p be u(6). Let g = t - p. Does 4 divide g?
False
Let s(d) = -d**3 + 10*d**2 - 14*d - 26. Let h be s(8). Let w(x) be the second derivative of x**4/3 + 3*x**3/2 + x. Does 29 divide w(h)?
False
Suppose 97*h = 228489 + 224404. Does 108 divide h?
False
Let b(z) = -6*z - 13. Let g be b(-3). Suppose 4*a + 123 = 3*t, 4*t + 4*a = -0*a + 136. Suppose 4*p = -g*l + t + 13, 0 = 4*l + 2*p - 40. Is l a multiple of 2?
True
Let j = 18627 - 16503. Is 9 a factor of j?
True
Let j(w) be the third derivative of 175*w**4/12 + 73*w**3/2 + 5*w**2 + 22. Is j(3) a multiple of 47?
True
Let b = 3813 + -2186. Let k = 2295 - b. Is k a multiple of 8?
False
Suppose 10*s + 15*s - 103200 = 0. Is 43 a factor of s?
True
Let z(j) = 129*j**2 - 69*j + 182. Is 8 a factor of z(-14)?
True
Let o(z) = 52*z**2 + 5*z + 1. Let s(g) = 699*g**2 + 66*g + 12. Let b(q) = 27*o(q) - 2*s(q). Let h = 0 + -3. Is 9 a factor of b(h)?
False
Let b = -387 + 410. Suppose 8*x - 15035 = -b*x. Does 5 divide x?
True
Let n(q) = q**3 - 21*q**2 + 38*q + 3. Let t be n(19). Suppose -6*p - 619 = -10*p + t*v, 322 = 2*p - 4*v. Is 9 a factor of p?
False
Let s(m) be the second derivative of -m**5/20 - m**4/6 + m**3/3 - 3*m**2/2 - 15*m. Let g be s(-3). Is 7 a factor of (0 - -1)*(97 + g)?
False
Suppose -3*l - 15 = -6*l. Suppose -l*h - 169 = -1324. Is 21 a factor of h?
True
Suppose 2*h - 178*z + 