. Is v a multiple of 3?
False
Let x(b) = 2*b**2 + 2*b + 1. Let u be 4/2 - (3 - 4). Let m = 7 - u. Is x(m) a multiple of 6?
False
Suppose -4*j = -2*j - 2. Let h(w) = 11*w**3 - 2*w**2 + 3*w - 2. Let a be h(j). Suppose 0 = -u + 9 + a. Is 19 a factor of u?
True
Suppose -15*b + 2*b = -1742. Let s = b + -57. Does 3 divide s?
False
Let r = -13 + 30. Let j = r + -34. Let s = 48 + j. Does 10 divide s?
False
Let d(v) = -31*v - 11*v - 8 + 2 - 1. Let i be d(4). Let m = -39 - i. Is m a multiple of 17?
True
Let w(v) = 281*v + 664. Does 3 divide w(17)?
False
Let m = 24841 + -14071. Is m a multiple of 82?
False
Suppose -51*j + 24599 + 65671 = 0. Does 30 divide j?
True
Let w(x) = 2*x**3 + 32*x**2 - 36*x - 7. Let j be 66/(-3) - (-10 + 2 + 3). Does 2 divide w(j)?
False
Let y be 1/((-8)/(-10))*4. Suppose 3995 = 5*b - 4*r, -3*r = 4*b - 8*r - 3196. Suppose -54 + b = y*s. Is 12 a factor of s?
False
Suppose 45*w - 38731 + 7141 = 0. Is (1 + 3)/(2/w) a multiple of 78?
True
Suppose -k + 195201 = 122*k. Is k a multiple of 19?
False
Suppose -14*n + 378 + 98 = 0. Is 32 a factor of n?
False
Let r = -213 - 448. Let n = 1062 + r. Is n a multiple of 19?
False
Let f be -3*12*(-10)/15. Is 800/f*6 - 9 a multiple of 5?
False
Let v(f) = -39*f + 135. Let q be v(-24). Suppose 0*g - 3*g + q = -i, 0 = g + 2*i - 357. Is g a multiple of 38?
False
Let r(z) = 840*z - 1566. Is r(6) a multiple of 45?
False
Suppose -4*k + 32856 = 2*c, -2*k - 16*c = -19*c - 16444. Suppose 3*n - 2140 = -2*t, k - 2880 = 5*t + 4*n. Does 27 divide t?
False
Let d(h) = 2*h**3 - 5*h + 3. Let q be d(2). Let k be (((-108)/(-10))/(-1))/(q/(-120)). Suppose -l + 78 = -5*v, 0 = -l + 3*l - 4*v - k. Is 17 a factor of l?
True
Suppose 3*i - 3*k - 12 - 972 = 0, 2*i - 647 = 5*k. Suppose -4*r + 265 = -i. Is r a multiple of 14?
False
Suppose 5*w + 2*x = 6*x + 740, 5*x = 0. Suppose 0 = -3*g - 4*i + w, 0 = -g + 5*g - 5*i - 249. Does 36 divide g?
False
Is 2785 - (109 + 17)/(-7) a multiple of 49?
False
Suppose 5*j = c + 1922, 4*c - c = -5*j + 1914. Let k = j + 452. Is k a multiple of 22?
True
Does 144 divide 4411 + (5 - 1) + 12/(-42)*-7?
False
Let i(g) = -26*g**2 + 46*g**2 - 19*g**2 + 6 + 1. Is i(3) a multiple of 8?
True
Suppose -k + 2463 = 5*i, 14*k - 4*i = 9*k + 12402. Is k a multiple of 10?
False
Let x(m) = 5239*m + 8885. Is x(6) a multiple of 120?
False
Let w = -6924 - -8633. Does 107 divide w?
False
Suppose 77*g + 149926 - 1191736 = 0. Is g a multiple of 110?
True
Let j = -170 - -290. Let a be 6/(-15)*j/(-2). Suppose -2*f + a = 4. Is f a multiple of 10?
True
Suppose -4*m - 28 = -2*n - 8, -25 = 5*m + 5*n. Is 22944/80 - 1/m a multiple of 7?
True
Let w(q) = 84*q**3 - 10*q**2 + 13*q - 10. Let g(n) = 42*n**3 - 5*n**2 + 7*n - 5. Let j(s) = -5*g(s) + 3*w(s). Is j(2) a multiple of 29?
True
Let j(z) = 19*z + 7*z - 2 - 8*z + 8*z. Is 8 a factor of j(1)?
True
Suppose n = -s - 3, 2*n - s - 3 + 0 = 0. Let o be (-231)/66*(0 - 6/7). Suppose 2*m + 5*i = 15 + 111, -m - o*i + 61 = n. Is m a multiple of 5?
False
Let t(c) be the third derivative of c**4/24 + 3*c**3 - 49*c**2. Let z be t(-14). Suppose -z*n + 5*r + 512 = 0, 2*n - 3*r - 315 = -61. Is 16 a factor of n?
False
Let f = 3422 + 2265. Does 15 divide f?
False
Suppose 7*z = -0 + 14. Suppose -3*o = -0*o - 4*y - 276, z*o = 3*y + 185. Does 22 divide o?
True
Suppose -4*v + f - 4*f + 17 = 0, -v - 5*f = 17. Is 28 a factor of v - (8 + -10 + -522)?
True
Suppose -2*x - 11459 = -c, 5*x = 2*c + 7*x - 22918. Does 96 divide c?
False
Suppose 0 = 26*u + 2431 - 29991. Is 5 a factor of u?
True
Let b = -123 - -130. Suppose 5*f = c + 29, f + b = -5*c - 8. Suppose -77 = -i + 5*u, f*i - 261 = -4*u + 182. Is 8 a factor of i?
False
Let f = -7186 + 10410. Does 26 divide f?
True
Suppose -5*n - 7*p = -2*p - 25, -2*n = -4*p - 22. Suppose -n*v + 10*v = 768. Is v a multiple of 12?
False
Let m(x) = x**3 - 7*x**2 + 9*x + 10. Let c be m(5). Is 8 a factor of (3 - -128) + c + -3?
False
Let d(v) be the second derivative of -2*v**3/3 + 31*v**2/2 + 15*v. Let q be d(7). Suppose 19 + 68 = q*o. Is o a multiple of 8?
False
Let y(z) = -13*z**2 - 49*z - 38. Let p(n) = n**2 - n + 3. Let b(j) = -6*p(j) - y(j). Does 22 divide b(-11)?
False
Let w(l) be the first derivative of l**4/4 + 3*l**3 - 39*l**2/2 - 8*l + 61. Is 6 a factor of w(-10)?
True
Suppose 2*t + 2700 = 3*y, -t = 4*y - 5*t - 3600. Suppose -y = -9*f + 1692. Is 48 a factor of f?
True
Let d be (12/9 + -1)/(7/63). Suppose d = -6*h + 9*h. Is 39 a factor of ((-273)/(-4))/(h/4)?
True
Let u(d) = -d**3 + 33*d**2 - 83*d + 210. Is 4 a factor of u(23)?
False
Let y(i) = i - 2. Let l be y(8). Is (-568)/(-10) - (130/(-25) + l) a multiple of 8?
True
Suppose 6 = -g - 0*g. Is (1 - 5) + 290 + g a multiple of 14?
True
Suppose -2*q = -3*q - 2. Let x = 2153 + -2159. Does 33 divide -6 + (q - x) - -67?
False
Let q = 8641 + -6871. Is q a multiple of 40?
False
Let x = 42942 + -30486. Is 3 a factor of x?
True
Suppose -13*k - 2*s = -17*k + 1984, -4*s = 16. Is 9 a factor of k?
False
Let f = -1122 - -541. Let u = -295 - f. Is 26 a factor of u?
True
Let x(i) = 123*i**3 - 4*i**2 + 2*i - 1. Let p(z) = 122*z**3 - 5*z**2 + 2*z - 1. Suppose -2*q - 28 = -9*q. Let b(m) = q*x(m) - 3*p(m). Is 16 a factor of b(1)?
False
Let z = 24036 + 6999. Suppose 32*n + 6491 = z. Is n a multiple of 16?
False
Let m(a) = a**2 + a + 1. Let h(d) = -2*d**2 - 15*d + 17. Let x(r) = h(r) + 3*m(r). Let j be x(11). Let n = 61 + j. Does 14 divide n?
True
Suppose -o = 2*a - 2113, -9*o = 2*a - 12*o - 2117. Does 151 divide a?
True
Let q be (-3*(-4)/36)/(1/15). Suppose 31 = q*o + 36. Let w(j) = -237*j**3 + j**2 - 2*j - 2. Is 49 a factor of w(o)?
False
Let c(m) = -41*m - 12. Let t be c(-5). Let n be t - 3*(-5)/(-3). Does 12 divide ((-2162)/n)/(((-2)/16)/1)?
False
Let c = 39 + 6. Let h = 1 + c. Is 17 a factor of h?
False
Does 6 divide ((-2454105)/(-658))/(6/35) - 1/4?
True
Let q be ((-10)/4)/((-3)/(-1440)*-1). Suppose 17*c = 7*c + q. Is 3 a factor of c?
True
Is 109 a factor of (1/1)/((-90)/(-1000620))?
True
Let i(u) be the second derivative of 23*u**3/3 + 3*u**2/2 - 13*u. Let h be i(-6). Does 13 divide 2/(((-24)/h)/4)?
True
Let m = -34 - 15. Suppose -61 + 273 = 4*d. Let j = d + m. Does 4 divide j?
True
Suppose 4*x - 2803 = 3*m, 699 = -5*x + 6*x + m. Is 2 a factor of x?
True
Suppose -v + 3*b = -15184, 43781 = 3*v + 4*b - 1732. Is 25 a factor of v?
True
Let w be ((-4)/(-5))/(3 + 39/(-15)). Is (-47)/((2 + -4)*1/w) a multiple of 11?
False
Let r = 338 - 494. Let f = r - -199. Does 5 divide f?
False
Let h = 8941 - 226. Is 21 a factor of h?
True
Let f be (3 + -6991)/(-1 - 1). Let n be f/9 + 8/(-36). Suppose -70*l - n = -72*l. Does 40 divide l?
False
Is 193 a factor of ((-306)/(-170) - (-147)/(-90))*145086?
False
Suppose 3*s = 0, -8*o + 6*o = -5*s - 15804. Is 60 a factor of o?
False
Let y = -93 - 51. Is (-2 - (-3)/(-2))*(y - -6) a multiple of 21?
True
Is (-563 - -551)*(1 + ((-4081)/3 - -2)) a multiple of 16?
True
Suppose 0 = 5*m - 3*m. Is (-7 + 5 + m)*-113 a multiple of 8?
False
Let n be 5*((-45)/(-10))/(-9)*-2. Suppose 3*u + 1543 = 2*q, 5*u = -n*q - 2111 + 5981. Is 13 a factor of q?
False
Suppose -v = -3*c + 5508, v = -c - 3*c + 7330. Is 7 a factor of c?
True
Is 23 a factor of (510/255)/((-4)/(-2986))?
False
Let h = -25 + 22. Let r be (-2)/h + 3*12/(-54). Suppose -o - 35 + 92 = r. Is o a multiple of 10?
False
Let m(s) = 38*s**2 + 73*s - 973. Is 64 a factor of m(21)?
False
Let w(o) = -o**3 - 11*o**2 + o + 37. Let q be (18/4)/(24/(-64)). Is 20 a factor of w(q)?
False
Is 261204/21 + 26/(-91) a multiple of 34?
False
Suppose -j + 5*a + 91 = 0, 6*a = 2*j + 4*a - 150. Let l = 600 - j. Is l a multiple of 82?
False
Suppose 2*m + 0*m + 4 = 0. Let h = 337 + -340. Is h*74/(-11) + m/11 a multiple of 5?
True
Let k(y) = 100*y**2 + 46*y + 372. Is k(-7) a multiple of 18?
True
Suppose -2*w - 3*f = -7585, 13*f - 8*f = w - 3760. Is w a multiple of 104?
False
Suppose -5*z = 2*p - 151, 0 = 7*p - 4*p + 5*z - 214. Suppose 495 = 6*i + p. Does 9 divide i?
True
Let x = -10 - -13. Suppose -2*n = -5*z + 9, 2*n = 5*z + 3*n - 18. Suppose -2*r + 15 = z*r, -x = -g + 2*r. Does 9 divide g?
True
Suppose 6*w - 16 = -22. Let z be 0/(-1 + (w - -3)). Suppose -3*k + 206 = a, a - 206 = -z*k + k. Is 30 a factor of a?
False
Let a(q) = 20*q - 10. Let n be a(4). Suppose 5*i - 85 + n = 0. Suppose -