r of c?
True
Let q = -1680 + 2688. Suppose -3*v + q = 4*v. Is v a multiple of 21?
False
Is 2/9 - ((-12760)/90 + 9) a multiple of 7?
True
Let c(r) = -r**3 + r**2 + r - 1. Let x(p) = 6*p**2 + 2*p - 6. Let n(u) = 6*c(u) - x(u). Let k(j) be the second derivative of n(j). Does 10 divide k(-1)?
False
Let k = -188 - -403. Is k a multiple of 10?
False
Let q = 932 - 859. Is q a multiple of 2?
False
Suppose -4*w + 25 = -23. Does 3 divide w?
True
Let w(n) = 3*n - 11. Let c be w(8). Suppose -s = -4*d + 6 + 19, -25 = 3*s - 2*d. Let k = c + s. Is k a multiple of 4?
True
Let w be 6 + -9 - (-126)/3. Suppose -7*u - w = -452. Does 12 divide u?
False
Let u(c) = 2*c**2 - 4*c. Let s be u(3). Suppose 0*r = 3*r + s. Let h(i) = -5*i**3 - 2*i**2 - 2*i. Is h(r) a multiple of 18?
True
Suppose 254 = 5*j + 5*a - 296, 0 = -j - 3*a + 116. Suppose -3*l = -l + 3*b - j, 5*b = 2*l - 83. Is 7 a factor of l?
True
Suppose 0 = 4*w + w + 4*f - 15194, 3*w - 4*f - 9110 = 0. Is 62 a factor of w?
True
Let z(r) = -53*r + 2. Suppose 12*l - 9*l + 3 = 0. Let k be z(l). Suppose -d + k = 4*t - 141, 5*d = 5*t - 270. Is 9 a factor of t?
False
Let x(y) = 991*y + 32. Does 93 divide x(1)?
True
Suppose 6*d + 16 = 2*d. Is (2/d + -1)*2590/(-105) a multiple of 37?
True
Let v = -10 - -13. Suppose -2*a = -v*a. Suppose 3*h = a, 0 = -3*o + 4*h + 38 + 58. Is o a multiple of 14?
False
Let x be (-96)/(-60)*(-5)/(-2). Suppose 0 = 2*v - 3*c - 86, 5*v - x*c - 210 + 2 = 0. Is v a multiple of 18?
False
Let x be -2 - 4*56/4. Let s = 65 + x. Is s a multiple of 2?
False
Suppose -212 = -2*y + 4*k, 2*y + 2 = 2*k + 206. Is 16 a factor of y?
False
Let i = 4 + -1. Suppose -5*r = -5*w + 15, -2*w - 5*r + i = -w. Suppose -3*l + 195 = w. Is 19 a factor of l?
False
Let r(b) = 0*b + 3*b - 1 + 0 + 5*b. Let d be r(5). Suppose -4 = s - d. Is s a multiple of 9?
False
Let p(y) be the first derivative of -23*y**2 + 27*y + 8. Does 33 divide p(-3)?
True
Let n(i) = 563*i + 31. Is 11 a factor of n(1)?
True
Let v(x) = 5 - 6 - 8*x**2 + 1 + 1. Let t be v(-1). Let u = 39 + t. Is u a multiple of 16?
True
Suppose u + 5*d = 55 + 56, -4*u + 498 = 2*d. Does 3 divide u?
True
Let l(m) = 4*m**2 + 7*m. Let w be l(-5). Let c = w + 67. Is c a multiple of 12?
True
Suppose 0 = -3*d + p + 4*p + 28, -2*d + 7 = -p. Let w(b) = -2*b**2 + 6*b + 16. Let g be w(5). Does 14 divide (d*g)/2 - -30?
True
Suppose 0 = -3*l + 5*n + 2629, 3*n = l - n - 888. Is l a multiple of 31?
True
Let c be (7/21)/(1/6). Let t be (0 - c)/4*0. Suppose -d - d + 124 = t. Is d a multiple of 14?
False
Let q = -201 - -301. Does 9 divide q?
False
Suppose -2*a - a - 30 = -5*f, 54 = -3*a - 3*f. Let x(t) = -t**2 - 21*t - 20. Let h be x(a). Suppose 2*u - 12 - h = 0. Does 12 divide u?
False
Let w be ((-25)/10)/(2/(-4)). Suppose 6*x - w*x = -4*g + 105, -5*x + 3*g = -617. Let h = x - 46. Is h a multiple of 11?
False
Let k(o) = -o**2 - 9*o - 5. Let w be k(-8). Suppose 5*d - w*d = -2*r + 496, 720 = 3*d - 5*r. Is 35 a factor of d?
True
Let j = -66 - -31. Let g = j + 41. Is g even?
True
Let i = -114 + 212. Suppose 3*k + i = g - 50, -5*k - 142 = -g. Does 11 divide g?
False
Is 57 a factor of (-40 - (-6 + 4))*(-6)/4?
True
Let t(h) = 116*h - 6. Is t(3) a multiple of 54?
False
Suppose 5*s + 10 + 5 = 3*c, 0 = -2*c - s + 10. Suppose c*i + p - 1126 = -p, 5*i + p - 1123 = 0. Is 16 a factor of i?
True
Suppose -71*n + 63*n = -792. Is n a multiple of 3?
True
Let i = 669 - -40. Is 16 a factor of i?
False
Suppose -3*l = -k - 75, 3*k = 4*l - k - 100. Suppose 0 = -3*q + l + 32. Let r = q + 0. Is 7 a factor of r?
False
Let l(q) = 3*q + 2. Let i be l(0). Suppose -i*b - 152 = -6*b. Let n = -22 + b. Is 6 a factor of n?
False
Is 756/(-8)*20/(-15) a multiple of 14?
True
Let o be 0 - (1 - 2) - (-4 + 1). Is (-1)/(-1) - 2*(-166)/o a multiple of 12?
True
Is 12 a factor of 13/((-117)/(-36))*252?
True
Let j(s) = 106*s**3 + 16*s**2 - 11*s + 11. Let p(w) = 21*w**3 + 3*w**2 - 2*w + 2. Let y(v) = -2*j(v) + 11*p(v). Is y(1) a multiple of 20?
True
Let y(k) = k**3 - k**2 - k. Let n(o) = -7*o**3 + 2*o + 6. Let q(b) = n(b) + 6*y(b). Let t be q(-5). Suppose -j + 7 + t = 0. Is j a multiple of 6?
False
Let h(d) = 16*d**2 + 2. Let k(y) = y + 11. Let u be k(-12). Let f be (1 - 2) + 1/u. Is h(f) a multiple of 10?
False
Let b(w) = -14*w**2 + 2*w + 4. Let a(y) = 15*y**2 - 2*y - 4. Let q(i) = 6*a(i) + 5*b(i). Does 12 divide q(2)?
True
Let q(o) = 37*o - 16. Let n be q(-20). Does 22 divide n/(-5) + (-1)/5?
False
Is 42 a factor of 31 + -32 + 379/1?
True
Suppose 0 = -6*d - 3*d + 144. Suppose d*b + 84 = 19*b. Is b even?
True
Suppose -4*v + 987 = -5*q, 0*v - 742 = -3*v + 2*q. Is 48 a factor of v?
False
Let x = -3056 + 5170. Does 100 divide x?
False
Let x = 8 + 19. Suppose x = f - 1. Does 10 divide f?
False
Let a be (-78)/(-15) + (-3)/15. Let s(n) = 7 + n**2 + n + 3*n - a - 6. Does 8 divide s(-6)?
True
Suppose 4*a - 9 = 3*a. Let r = 8 - a. Let x(p) = -33*p - 1. Does 16 divide x(r)?
True
Suppose 3*p - 154 = 10*p. Let h = p + 18. Does 22 divide (-438)/h - 3/6?
False
Let k(n) = 13*n**3 + n**2 - 4*n + 3. Does 39 divide k(3)?
True
Does 48 divide (5 + 88/24)*144?
True
Is (0 - -3) + (70 + -1 - 1) a multiple of 11?
False
Suppose 0 = -4*c + 2*j + 284 + 382, 0 = c - 5*j - 153. Is c a multiple of 16?
False
Let o(n) = 5*n**3 + n - 1. Let x be o(1). Suppose -5*t = -2*f - 23 + 7, x*f = -2*t - 69. Let b = 21 + f. Is 4 a factor of b?
True
Let v(b) = 73*b - 20. Does 17 divide v(4)?
True
Is (490/(-21))/((-8)/648) a multiple of 70?
True
Let d be 112/21*18/4. Suppose -o = 4 - 12. Is (6/2)/(o/d) a multiple of 8?
False
Let y be 3 + -3 - (-3 - -1). Let r(u) = 14*u - 12. Let o be r(12). Suppose -2*l - 25 + 76 = 3*x, -5*l + o = -y*x. Is l a multiple of 10?
True
Let m be (-37)/3 - (-6)/(-9). Let o = m - -121. Is o a multiple of 36?
True
Let q(m) = -13*m**3 + 2*m**2 + 27*m. Does 14 divide q(-5)?
True
Let j(k) = k**3 + 226*k + 226*k - 454*k + 5 - k**2. Suppose -3*x + 0*x + 12 = 0. Is 15 a factor of j(x)?
True
Let o(s) = 2*s**2 + 4*s - 6. Let g be o(-4). Suppose -g*r - 28 = -11*r. Is r a multiple of 17?
False
Let y = 9 + -7. Let f be y/((-8)/(-92)) + -2. Suppose -m = -18 - f. Is m a multiple of 13?
True
Let a be (-2)/11 + (-14064)/(-33). Suppose 17 = 5*b - 23. Suppose 5*k - b*k + a = 0. Does 25 divide k?
False
Let o(l) = -l**2 + 8*l + 5. Let n be o(9). Let g be ((-2)/n)/(2/(-4)). Is 2/((-6)/33)*g a multiple of 10?
False
Suppose -4*h = -3*h - 323. Let f = 500 - h. Is 31 a factor of f?
False
Let w(z) = 34*z - 26. Is w(9) a multiple of 13?
False
Let l(p) be the first derivative of -43*p**4/4 + p**3/3 + p**2/2 + p - 5. Is 11 a factor of l(-1)?
True
Let m be 12/30 + 2 + 36/(-15). Suppose 0 = 5*j + 4*x - 155, m*j = 4*j + 4*x - 124. Does 11 divide j?
False
Suppose f - 2 = 21. Suppose 5*m = -4*z + f + 6, -2*m = -4*z - 34. Is m even?
False
Suppose 23*m + m - 9984 = 0. Does 16 divide m?
True
Let h be 4/16 + 46/8. Suppose -2*l + 5*u = -49, -3*l + h*u = u - 61. Is l a multiple of 12?
True
Let f(w) = 173*w + 55. Let v be f(13). Is 22 a factor of v/18 + (0/(-1))/(-2)?
False
Suppose 15 = 12*k - 7*k. Suppose 3*z = 4*s - 977, -z + k*z + 6 = 0. Is s a multiple of 22?
True
Let p(r) = 2*r + 3. Suppose -a = -0*a - 5. Let y(x) = -2*x - 2. Let l(b) = a*p(b) + 4*y(b). Does 19 divide l(6)?
True
Let r be 11/5 - (-6)/(-30). Let y be (r/4)/(9/(-1170)). Let m = -35 - y. Is 9 a factor of m?
False
Suppose -p + 6*a + 292 = 2*a, 0 = 4*p + 3*a - 1092. Suppose 6*k = -0*k + p. Does 23 divide k?
True
Let q(c) = c + 10. Let k(u) = -u - 1. Let y be k(11). Let v be q(y). Is v/(-2)*(-72)/(-8) a multiple of 9?
True
Let v(a) = 2*a - 12. Let f be v(6). Let z = 3 - -101. Suppose -2*m - 8 + z = f. Is m a multiple of 10?
False
Let a(b) = b**2 + 9*b + 10. Let t be a(-9). Let j = 15 - t. Suppose -2*z + j*z - 5*r = 79, 48 = 2*z - r. Is z a multiple of 23?
True
Let h = -8 + 13. Suppose r - i + 3 = 5, -h*r - 2*i = -24. Suppose -2*p - r = -3*p. Is 4 a factor of p?
True
Is (76570/260)/(1/(-16)*-2) a multiple of 62?
True
Let w(p) = -p**3 - 8*p**2 - p + 8. Suppose 40*o - 38*o = -16. Is w(o) a multiple of 3?
False
Let b(n) = n**2 - 20. Let q be b(-5). Suppose -6*y + 4*k + 40 = -4*y, 3*y + q*k = 49. Does 4 divide y?
False
Let g(z) = -14*z**2 + 9*z + 9. Let p be g(-5). Let v = -199 - p. Is v a multiple of 30?
False
Suppose -5*u = -0*u