7 divide v?
False
Let u be (-22)/(-187) - (-925)/85. Does 27 divide (u/(-33))/(3/9)*-262?
False
Let a = -4883 + 6676. Is 45 a factor of a?
False
Let b be (-2)/((-4)/12*3). Suppose r + r - b = 0. Is 3 a factor of 2/(r - (-5)/(-15))?
True
Let a(u) = 4*u + 22. Let o be a(0). Is 9 a factor of 2*5/20*o*15?
False
Let i = -978 + 2038. Suppose a - 41 = -5*n + 1735, -3*n = 2*a - i. Is 53 a factor of n?
False
Suppose 13*w - 48 = 381. Suppose -4*n + 47 + 17 = -o, -n - 4*o + w = 0. Let b = n - -3. Is b a multiple of 4?
True
Let b = 1208 - -618. Does 16 divide b?
False
Let i(z) be the first derivative of z**4/4 + 10*z**3/3 - 4*z**2 - 10*z - 4. Let j = -222 - -212. Is 14 a factor of i(j)?
True
Suppose -3*r - 12 = d, 5*d + 10 = 352*r - 357*r. Suppose 0 = -5*c + 5*m + 396 + 234, -630 = -5*c + 2*m. Is 2 a factor of 20/d + -7*(-6)/c?
False
Let f be (-403 + 9)*-2*(-3)/(-6). Let n = f - 212. Is n a multiple of 14?
True
Let l = 17590 - 9791. Does 91 divide l?
False
Let y = -1398 - -4385. Is 29 a factor of y?
True
Suppose q + 2*u = 3091 + 1350, 4*u + 22219 = 5*q. Is q a multiple of 37?
False
Let v(g) = 2*g + 1. Let u be v(2). Suppose -j = 5*z - 10, u*z = z + 3*j + 27. Suppose -5*n + 350 = z*q, -2*q + 3*q = 4*n + 145. Is q a multiple of 19?
False
Let p(n) = -3*n**3 - 11*n**2 + 6. Let q be p(-3). Let y(c) = c**3 + 13*c**2 + 11*c - 11. Let x be y(q). Is 26 a factor of 8 - (x - (-12)/4) - -126?
True
Let i = 180 + -173. Suppose -2776 + 235 = -i*d. Is 11 a factor of d?
True
Let o(v) = 10*v**2 + 4*v - 2. Let i be -6*(-4)/36*-18. Let q = -14 - i. Is 6 a factor of o(q)?
True
Is (17 - 16)/((-3)/(-31413)) a multiple of 72?
False
Is 10 - (-58284)/45 - (-12)/15 a multiple of 12?
False
Let g = 261 - 258. Suppose 4*m = p - 9, p + g*p + 5*m - 99 = 0. Is p a multiple of 3?
True
Suppose -8*p + 9873 = -17455. Is 7 a factor of p?
True
Suppose -6*b = 3 + 3. Let t be -10*(3 + (b - -1 - 4)). Suppose -6*q = -t*q + 372. Is 31 a factor of q?
True
Let s(g) = 32*g + 15*g - 1 - 35*g + 4*g**2. Suppose -t + 4*z = -11 - 4, 0 = 4*t - z + 15. Is 13 a factor of s(t)?
True
Let s be ((-6)/4 - -1)*(-11 - -1). Suppose 2992 = s*g + 2*w, 16 + 0 = -4*w. Is g a multiple of 20?
True
Let w be 72/198 - (-51)/11. Suppose -5*j + 8*j - 1197 = -w*u, -1 = j. Is 60 a factor of u?
True
Let a be (-4)/(-6)*(29 + 1). Suppose 0 = -a*q + 19*q - 6. Is 35 a factor of ((-34)/q)/(2/72)?
False
Suppose 2*v + 43*x - 4482 = 42*x, 2259 = v + 5*x. Let l = -1327 + v. Is 16 a factor of l?
True
Suppose -4*x - 2*j - 28 = 0, -9*j + 5*j - 21 = x. Does 10 divide 6/42*2*x*-21?
True
Let z = 25 + -22. Suppose 0 = -3*y + z*g - 294, -y + 2*g + 110 = -2*y. Is (4 + 48/(-9))*y/4 a multiple of 5?
False
Let h be (1 - -2 - 4)*(-4 - 0). Let s(b) = 130*b - 44. Is 9 a factor of s(h)?
False
Let m(d) be the third derivative of d**4 - d**3/2 - 9*d**2 + 12*d. Suppose 3*u + u = 12. Is 23 a factor of m(u)?
True
Suppose 66785 + 35138 = 4*u - 5*i, -25480 = -u + 2*i. Is 28 a factor of u?
False
Suppose -73 + 107 = 2*s. Let m = 23 - s. Is 3 a factor of (-5)/((-10)/m) - -28?
False
Let a be 7 + (-7 - -7) + 1*-2. Suppose -a*r + 318 = -4*v, -5*r - 2*v + 72 = -4*r. Does 9 divide (19/2 - 8) + r/4?
True
Let o = 33 + -31. Suppose 3*t - 6*f + 123 = -o*f, -f = -2*t - 82. Let b = t - -53. Is b a multiple of 3?
True
Let s = -95 + 98. Suppose s*h - 335 = -5*j, -9*h + 5*j + 625 = -4*h. Is h a multiple of 16?
False
Let o(a) = 271*a + 2101. Is 15 a factor of o(-4)?
False
Suppose 6*s + 3*j - 1763 = s, -5*s = 5*j - 1755. Suppose -5*g - s = -90. Let w = g - -117. Is 32 a factor of w?
True
Let n(v) = -v**2 + 25*v - 6. Suppose 2*q = i + 2*i - 49, -2*q = 4*i - 42. Is 6 a factor of n(i)?
True
Let s(z) = -2*z + 18. Let o be s(7). Suppose -o*g + 3*u = -25, 2*g + 0*u = -5*u - 7. Is 15 a factor of (g + 320/25)*(-25)/(-2)?
True
Suppose 8*w - 38125 - 1001 = 2*w. Is w a multiple of 3?
False
Let i(b) = b**3 - 6*b**2 + 7*b - 14. Let m be i(6). Let w(k) = -9*k**2 + k - 1. Let g be w(1). Let t = g + m. Is 13 a factor of t?
False
Let j = -61 - -64. Suppose -u - 5*r + 66 = u, 4*u + j*r = 104. Is 7 a factor of u?
False
Suppose 4*w = 5*f - 1416, -2*w = -15*f + 20*f - 1392. Does 5 divide f?
True
Let w(t) = -t**2 + 7*t + 7. Let h be w(6). Suppose -9 = 16*b - 19*b. Suppose -4*i = -12, -32 = -b*y - i + h. Is 14 a factor of y?
True
Is (-14 + 97)/(-7*36/64 - -4) a multiple of 37?
False
Suppose 2*t = 3*a + 1110, 2*t - 4*a = 611 + 497. Is 18 a factor of t?
True
Is -2*(1 - 3) - 5944/(-4) a multiple of 14?
False
Let b be 1012/10 + 56/70. Suppose b*s - 104*s = -34. Does 10 divide s?
False
Is 26 a factor of ((-22)/3 + 8)/(22/202125)?
False
Let j be (-5)/2 - (-438)/(-12). Is (-14948)/(-12) + (-13)/j a multiple of 45?
False
Let r(a) = -65*a - 230. Let h(d) = -2*d - 107. Let j be h(-47). Does 12 divide r(j)?
False
Let h(b) = 2*b**2 - 3*b + 3. Suppose -5*c + 3*c = 6. Does 10 divide h(c)?
True
Suppose -84*p = 59337 - 385761. Does 58 divide p?
True
Suppose -10*p + 17*p = 8*p + 5*p. Let t(n) = -n**2 - n. Let f(d) = 2*d**2 + 4*d - 47. Let u(k) = -f(k) - 4*t(k). Does 17 divide u(p)?
False
Let k be 15/(45/(-2)) - (-16)/6. Suppose -5*p + k = -q - 2, p - 5 = 0. Is 2 a factor of q?
False
Let r be (8/(-10) + 4 + -4)*-30. Let o = -28 + r. Let p = 1 - o. Does 2 divide p?
False
Suppose 5*j - 13 = 3*z - 0, 1 = -z + j. Let f(v) = -8*v + z*v - v**3 + 14*v - v + 11 - 8*v**2. Is 13 a factor of f(-10)?
False
Let g = 471 + 7836. Let c = g - 5711. Suppose 0 = 4*f + 7*f - c. Is f a multiple of 21?
False
Is 6 a factor of 435/(-25)*(-220)/11?
True
Let m(l) = -l**2 - 12*l + 32. Let c be 83/3 - (-1)/(-6)*4. Suppose -3*n + c = 66. Is m(n) a multiple of 2?
False
Suppose 140 = 9*u - 5*u. Suppose -9 = -d - u. Let w = d + 116. Is w a multiple of 45?
True
Let j = -525 + 528. Does 33 divide (j/(-5))/(56/(-10920))?
False
Is 40 a factor of (-2 - 12336/(-7)) + 158/(-553)?
True
Let q = 1219 + -863. Suppose -3*m - 182 = -j - 2*m, -2*m = 2*j - q. Is 27 a factor of j?
False
Let c(y) = y**2 - 4*y - 2. Let d be c(4). Let l(q) = -741*q**2 + 3 - 743*q**2 - 1 - q**3 + 1483*q**2. Is l(d) a multiple of 6?
True
Let f be 0 + 3 + 0 + 2. Suppose 0 = -h - f*z + 8, 2*h - 4*z - 51 = -7*z. Suppose 2*b + 0*b - 5*k = h, 0 = 3*b + 3*k - 60. Does 17 divide b?
False
Let m(b) be the third derivative of -29*b**4/8 + 3*b**3 + b**2 - 2. Is 33 a factor of m(-5)?
False
Let v(a) = 4*a**2 - 12*a - 2. Let y(t) = 2*t + 14. Let g be y(-10). Is 27 a factor of v(g)?
False
Let d = -40 + 172. Suppose -2*r + 4*o = 94, -3*r - 4*o + o - d = 0. Let h = 15 - r. Does 10 divide h?
True
Let u be (4/(-6))/(15/((-2025)/30)). Suppose -u*f - f = -3200. Is 5 a factor of f?
True
Let f = 73 - 61. Is -1 - f/(-2) - -355 a multiple of 30?
True
Let d be (-2)/4 - (-3 + (-2964)/8). Suppose 14*w - d = 131. Does 12 divide w?
True
Does 69 divide (-1382670)/(-378) + (-30)/35?
True
Let x(l) = 21*l + 48. Let u be x(-2). Is 88 a factor of 1074 + 90/u + -7?
False
Let u = 358 - 104. Let b = 282 - u. Is 18 a factor of b?
False
Does 7 divide (2/(-4))/(40/(-30)) - (-2114383)/472?
True
Let d(s) = -4*s - 21. Let g be d(-6). Suppose -m - g*p = -436, -5*m + p + 872 = -3*m. Does 8 divide m?
False
Let i = 1520 + -1011. Let f be 7 + -9 + 1/(3/1998). Suppose 0 = -5*p + 3*z + f, 4*p = 2*z - 7*z + i. Is 32 a factor of p?
False
Suppose 3*b = 5*b + 12. Let i be (2 - (-44)/b)/(12/108). Is (i/(-5))/(19/190) a multiple of 12?
True
Suppose 7*o - 409 = 893. Let k = o + -163. Is 11 a factor of k?
False
Let k(q) = -5*q**3 - q**2 + 36*q - 11. Is 19 a factor of k(-6)?
True
Let i(y) = 157*y + 9. Let l be i(5). Suppose 9*h - l = 1942. Is 18 a factor of h?
False
Let h = 439 - 441. Let s(z) = -99*z + 49. Is 13 a factor of s(h)?
True
Suppose 4*t + 6 - 2 = 0, -t = -i + 3. Does 29 divide (i - (-2 - 2)) + 23?
True
Let u(i) = 3*i**2 + 16*i + 18. Let z be u(9). Let r = 863 - z. Is r a multiple of 20?
False
Is (-1)/(5 - (-216)/(-42)) - -975 a multiple of 10?
False
Let h = -3496 + 8835. Is 92 a factor of h?
False
Is 159 a factor of (102*1/(-2))/(13/(-1183))?
False
Suppose 30 = -5*q - 5*a, -q + 4*q - a + 6 = 0. Let l(r) = 24*r**2 + 11*r + 39. Does 7 divide l(q)?
False
Suppose -66*x + 6*x - 62*x + 1001742 = 0. Is x a multiple of 51?
True
Let p = 536 - 536. Suppose -2*s + 3*y + 1764 + 1005 = p, -y = -s + 1387. Is 12 a factor of s?
True
Suppose 5*o + 4*