False
Suppose 2*v + 5*p + 17 = 0, 3*v - 11 = -5*p - 29. Does 2 divide 36 - v - ((-15)/5 - 1)?
False
Let y(q) = 0 - 5 - 3*q + 0. Suppose -4*t - 4*b - 40 = 0, -2 = -t + 8*b - 3*b. Is y(t) a multiple of 4?
False
Suppose -394 - 647 = -2*w + 5*q, q + 3 = 0. Is 10 a factor of w?
False
Let i = -5 + 8. Suppose -i*t + 1 = 5*x, -3*t + 0*t + 5 = 4*x. Suppose -3*w - 5*m + 29 = -3*m, 0 = w + 2*m - t. Is w a multiple of 5?
False
Let l be 3 - (-5)/((-15)/21). Let w be l/((-4)/4) - 7. Does 4 divide -1*(w + 1 - 2)?
True
Let n = -35 - -112. Is n a multiple of 11?
True
Let a be 8/(-6)*63/(-2). Suppose y - 2*y = -a. Let d = 59 - y. Is 17 a factor of d?
True
Suppose 5*q + f + 2*f = -1555, 5*q = f - 1575. Let m = 475 + q. Does 15 divide m?
False
Let l = -79 + 140. Suppose -63*s + 198 = -l*s. Is s a multiple of 9?
True
Let s = 357 + -184. Suppose 2*c = 2*b + 33 - s, 0 = -4*b + c + 271. Does 41 divide b?
False
Suppose 4*l + 3*x - 6*x - 108 = 0, -2*x = -4*l + 104. Let v be 0*3*4/l. Suppose -z + v = -11. Is 8 a factor of z?
False
Let g(f) = -f**2 - 16*f + 34. Let c be g(-18). Is 70 + -1 - 6/c a multiple of 13?
False
Let p be ((-4 + -137)/(-3))/1. Let s = p + -11. Is s a multiple of 12?
True
Let n(m) = 6*m - 53. Let k be ((-3)/9 - (-10)/3)*4. Is n(k) even?
False
Let a(s) = -1197*s + 79. Does 22 divide a(-2)?
False
Let v(t) = 242*t**2 - 3*t + 1. Let y be v(1). Is y/14*(-2 - -9) a multiple of 40?
True
Suppose 653 = 4*f - k, -5*k + 137 = 58*f - 57*f. Is 3 a factor of f?
True
Let f(v) be the first derivative of v**5/20 + 5*v**4/12 - 7*v**3/6 - v**2/2 - v + 9. Let q(t) be the first derivative of f(t). Is q(-6) a multiple of 2?
False
Let v = -34 - -37. Suppose 11 = 4*c + u, -2*c - v*u = 2*c - 1. Is ((-6)/c)/(9/(-282)) a multiple of 9?
False
Let y = -57 - -56. Let i(s) be the first derivative of -71*s**4/4 + s**3 + s**2 + 4. Is 24 a factor of i(y)?
True
Let p(u) = -u**3 - 4*u**2 + 2*u - 5. Suppose 2*z + 3 = -5. Let y be p(z). Let o = -4 - y. Does 3 divide o?
True
Let i = 488 - 351. Does 9 divide i?
False
Let k(u) = -20*u**3 + 21*u**3 + 21*u**2 - 4*u**2 - 4*u - 20. Is k(-17) a multiple of 5?
False
Let b(q) be the first derivative of 22*q**2 - q + 2. Let m be b(4). Suppose 2*l - i = -4*i + 74, -5*i = 5*l - m. Is 6 a factor of l?
False
Suppose -3*h + 4*h + o + 77 = 0, 4*o = -4. Let x = h - -142. Does 22 divide x?
True
Let b be 8/16 + (-81)/(-2). Let j = -11 + b. Does 3 divide j?
True
Suppose -6*i - 5 + 5 = 0. Suppose i = 4*c - 6 - 442. Is c a multiple of 28?
True
Let g be -4 + 9/((-1 - 2)/(-9)). Let q be 7/((3 - 5)/(-14)). Let k = q - g. Is 13 a factor of k?
True
Suppose -f = -2*y - 25, 4 + 1 = -5*y. Let j be (-10)/(-35) - 124/(-7). Suppose j*n - f*n = -250. Does 25 divide n?
True
Let o(r) be the second derivative of -r**4/12 - 4*r**3/3 + 3*r**2/2 + r. Let v be o(-7). Suppose -g + v = -9. Is g a multiple of 6?
False
Let x(m) = -8*m + 41. Let s be x(10). Suppose -4*h - 1 = 7. Does 15 divide -3 - s - (h - -3)?
False
Let r be ((-12)/24)/(2/(-12)). Suppose r*s + 3*h - 7*h = 339, -5*s - h = -588. Does 9 divide s?
True
Let c be (6 + -2)/(2/(-43)). Let u = 214 - c. Is 50 a factor of u?
True
Let f(p) = 5*p**2 + 87*p - 71. Does 41 divide f(-21)?
False
Suppose 6 = -3*g, -3*g = -t - 2 - 1. Is 78 + (6/t)/(1/(-3)) a multiple of 19?
False
Is 9 a factor of 262 - (5/(-20) + 1/4)?
False
Let t(c) = 720*c**2 + 52*c + 4. Is t(2) a multiple of 16?
False
Let l = 83 - -443. Does 26 divide 20/(-30) + l/6?
False
Let j be (-9)/(2 + 0 + -3). Let f be 3/(4*j/24). Is (-35)/(-2)*(0 + f) a multiple of 18?
False
Let n(f) = 463*f**2 - 2. Is n(-1) a multiple of 65?
False
Let j = -1239 + 2382. Is 48 a factor of j?
False
Suppose 4 = 2*h + 2*k, -k - k + 4 = 4*h. Suppose -w = 3*f + 6, 2*w = -3*f + 2*f - 2. Suppose h = -g - w*g + 44. Does 28 divide g?
False
Suppose 3*x - 4 - 5 = 0. Suppose -x*c + 3*y = 1 + 2, -2*c + y = 0. Does 4 divide (20/(-14))/(c/(-7))?
False
Suppose -m + 0*m - 5 = 0. Is 13 a factor of (-903)/(-12) + (45/(-12))/m?
False
Let x(g) = -g**3 - 3*g**2 - g + 2. Let a be x(-2). Let z = -3 + 3. Suppose z*b + b = 3*h + 84, a = -2*b - 2*h + 144. Is 19 a factor of b?
False
Suppose -3*j = -12, 3*i + 31*j = 33*j + 5443. Does 79 divide i?
True
Suppose 8*h = -19*h + 4023. Is 3 a factor of h?
False
Suppose -4*s - 5*r - 159 = 0, 0 = -3*s + 5*r + 10 - 103. Let z be (20 + 2)/(-7 - -6). Let j = z - s. Is j a multiple of 14?
True
Suppose u = 10 - 20. Is (-3)/9*(4 + u) even?
True
Let l be (-2)/1*5/2. Let j be (-4)/(-20) + 42/15. Is (j - (-54)/(-15))*l a multiple of 2?
False
Let x = -927 + 1329. Is 15 a factor of x?
False
Let a(w) = 4*w + 0*w - 13 + 0*w. Is a(8) a multiple of 16?
False
Let j(g) = 6*g**2 - 34*g - 25. Does 47 divide j(-10)?
False
Suppose -4*o + 2 = -5*h, h = -h + 4. Suppose -3 - o = 3*j, 0 = -5*x - 4*j + 47. Suppose 0 = t + 5*q - 10, -2*q + x + 29 = 4*t. Is t a multiple of 4?
False
Suppose 0 = -125*u + 126*u - 3. Suppose -c = -d - 89, -4*d + u*d = -3*c + 263. Is c a multiple of 20?
False
Suppose -2*r = -j - 4 + 3, -4*j - 14 = 2*r. Does 15 divide r*6*(4 + -9)?
True
Let v = -2 + 61. Is 4 a factor of v?
False
Suppose 4*x - p = 2033, 4*x - 1024 = 2*x + 2*p. Let q = -298 + x. Is 19 a factor of q?
True
Let g(u) = -u**3 - 4*u**2 - u - 4. Let z be g(-4). Suppose -v - 64 = -5*v + 2*b, b + 4 = z. Does 14 divide v?
True
Let d(b) = -b**3 - 3*b**2 + 9*b + 9. Let n be d(-6). Let p = n + -41. Does 11 divide p?
True
Suppose 0 = -2*g + 5*g. Suppose -5*x + d = -968, g = x - 3*d - 108 - 94. Is x a multiple of 15?
False
Let v(j) = 32*j - 116. Does 7 divide v(5)?
False
Suppose 0*j - 4 = 2*j - 3*s, -5*j + 3*s = -8. Let v be (-1 + j)/(4/(-4)). Is (-3 + 2)*156/v a multiple of 14?
False
Let d be (0 + -7)*3/(-3). Let h(q) = 2*q**2 - 7*q + 8. Let p be h(3). Let x = d + p. Is x a multiple of 6?
True
Suppose -y + 2*q = -109, 0 = -5*y - 3*q - 109 + 719. Suppose h = -17 + y. Suppose 0 = -g - 5*g + h. Is g a multiple of 10?
False
Suppose -5*t + 117 = s, -4*t - 4*s = t - 108. Is t a multiple of 3?
True
Let l(m) = -2*m + 4. Suppose 2*o = -o. Let s be (-3)/1 + (o - 3). Is 15 a factor of l(s)?
False
Let k(z) = 3*z**2 - 6*z - 25. Let t be k(11). Suppose -3*p + 5*h = -t, -4*p + 164 = -2*p + h. Does 28 divide p?
True
Suppose 16*d - 2*j - 2304 = 13*d, -5*d - 2*j = -3856. Does 2 divide d?
True
Let r(a) = 6*a**2 + 1. Suppose 13 - 3 = -5*w. Does 5 divide r(w)?
True
Let j = 38 - 22. Let v be (-8)/(-12) - j/(-12). Suppose -2*n + 48 = v*r, 5*r - 88 = -2*n + 5*n. Is r a multiple of 8?
False
Let b(m) = 164*m + 7. Let j = 141 + -140. Is 13 a factor of b(j)?
False
Suppose 14*l = 28*l - 3822. Is l a multiple of 18?
False
Suppose -5*w - 108 = -8*w. Suppose -w = -4*m + m. Does 4 divide m?
True
Suppose -9 = -3*t, 4*v = -t + 3*t + 18. Suppose -3*j = v*j - 1449. Does 28 divide j?
False
Suppose 660 = 3*s - 132. Is 11 a factor of s?
True
Suppose 5*d - 2866 - 219 = 0. Let o = -400 + d. Does 13 divide o?
False
Let v = -4140 - -8392. Is v a multiple of 12?
False
Let c(g) = -g + 11. Let b(x) = -x**2 - x + 2. Suppose -5*v + 15 = -0*v. Let o be b(v). Is c(o) a multiple of 7?
True
Let a(b) = -58*b - 991. Does 4 divide a(-31)?
False
Let o(k) be the first derivative of k**5/20 + k**4/2 + 5*k**3/6 + 2*k**2 + 4*k - 6. Let v(m) be the first derivative of o(m). Is v(-2) a multiple of 10?
True
Let n(k) = -k**3 + 7*k**2 + 3*k - 13. Let a be n(7). Is 19 a factor of (-8 - (3 - 7))*(-268)/a?
False
Suppose 0 = 2*d + 4*g - 1068, -3*g = 4*d + g - 2152. Does 37 divide d?
False
Let g(u) = -u**3 + 6*u**2 + 9*u - 7. Let n be g(7). Suppose -x - 9 = n. Does 6 divide (-39)/(-52)*x/(-1)?
True
Suppose 7*g - 1851 - 662 = 0. Is 9 a factor of g?
False
Suppose -10*l - 4921 = -47*l. Does 5 divide l?
False
Suppose 4*h - 2*h = 6. Suppose -2*a - h*a + 760 = 0. Does 10 divide a/6 + 2/3?
False
Let w = 268 - 264. Is w even?
True
Let h(a) be the first derivative of -a**7/840 + a**6/45 + a**5/40 - 5*a**4/12 + 8*a**3/3 + 3. Let b(w) be the third derivative of h(w). Is 3 a factor of b(8)?
False
Suppose 2*y = j - 38, -221*y - 5 = -216*y. Does 9 divide j?
True
Does 51 divide 4/18 + 0 + 665260/1305?
True
Let r be (-179)/(-2) - 12/(-24). Suppose 5*x = i - r, -3*i + 260 = -0*i - 5*x. Does 12 divide i?
False
Suppose 0 = n - 6 + 1. Suppose 0 = n*k + 3*j - 147 + 40, 4*k - 3*j - 64 = 0. Suppose -3*t - 2*a = -38