2. Let y be t(l). Suppose y*o - 80 = -0*o. Is o a multiple of 11?
False
Suppose 62*w - 1818 = 53*w. Suppose 141 + w = 7*h. Does 7 divide h?
True
Suppose -1315 + 489 = -2*d. Suppose -5*g - d = -h, -8 = g - 7. Is 68 a factor of h?
True
Does 16 divide 62118/783*3/1*200?
True
Let a = 19823 + 791. Is a a multiple of 116?
False
Suppose 1769*p + 197883 = 1778*p. Is 21 a factor of p?
True
Is -22510*((-1218)/(-105) - 12) a multiple of 34?
False
Suppose -272*s + 4197962 = -146*s - 525148. Is 45 a factor of s?
True
Let v = -260 - -280. Suppose 3*a + 4*l + 620 = 4*a, -4*l + v = 0. Is a a multiple of 11?
False
Let o(r) = -206*r - 38 + 20 + 215*r. Let z(x) = 7*x**2 + 2*x - 1. Let v be z(1). Does 18 divide o(v)?
True
Suppose 0 = 6*x - 3898 - 2102. Suppose -61*y + x = -56*y. Is 40 a factor of y?
True
Suppose 8*t - 101*t + 133524 = -906774. Is 17 a factor of t?
True
Let n be (-6)/((3 - 2)*-1). Suppose -1 = s + 2*j, s = j - n*j + 8. Let v(t) = -2*t**3 - 10*t**2 + 3*t + 2. Is 13 a factor of v(s)?
False
Suppose 428005 = 275*m - 109895. Is m a multiple of 58?
False
Let v(t) = 17*t**2 - 37*t - 35. Is v(-5) a multiple of 12?
False
Suppose 5*c - 24103 = -2*n, -8*c + 12*c - 19292 = -4*n. Is c a multiple of 10?
False
Suppose 5*v = 9 + 6. Let z(y) = 12*y + 168. Let u be z(-14). Suppose u = -2*f - v + 11, h - 48 = -f. Does 22 divide h?
True
Is 89 a factor of 4692756/156 - 15/(-65)?
True
Let x = -5 - -7. Suppose -x*d - 11 = 5*o + 6, 3*d - 3*o = 27. Suppose -d*i + 119 = -1. Is 3 a factor of i?
True
Suppose 0 = 5*s - 20, 0 = -4*v - 4*s + 1994 + 2182. Suppose 0 = -5*h - 5*i + 1330, -2*h + v = 2*h - 4*i. Does 35 divide h?
False
Let l(o) = -9*o**3 + 73*o**2 + 4*o. Let a be l(6). Let y = 58 + 14. Suppose -y - a = -10*x. Is x a multiple of 26?
True
Let a = 43 + -38. Suppose -4*g + 4*x - 108 = 0, -5*g + a*x + 95 = -10*g. Let s(f) = -f**2 - 27*f - 32. Is 10 a factor of s(g)?
True
Let w(k) = 4*k**2 + 11*k + 11. Suppose f + 5*t + 28 = 0, -f - 7 = 3*t + 13. Let x be (-10)/(5 - 11 - f/2). Is w(x) a multiple of 31?
False
Let o(w) = -w - 32. Let l be o(-18). Does 29 divide (-78)/273 - 5128/l?
False
Let k = -1 + 3. Suppose -5*a - k + 7 = 0. Is (-4)/2*-23*a/2 a multiple of 23?
True
Suppose 10847 + 11329 = 36*q. Is q a multiple of 14?
True
Let a(w) = -69*w + 92. Let s be a(-22). Is 7 a factor of (s/(-40))/(2/(-8))?
True
Let p = -11 - -7. Let h be ((-2)/(-3))/(p/(-36)). Suppose -15 = 3*q - h*q. Is q even?
False
Let y(j) = 71*j + 41. Let v(b) = -12*b - 8. Let t(p) = -11*v(p) - 2*y(p). Suppose z - 4*k + 18 = 0, -2*z - 18 = -5*k + 6. Is 5 a factor of t(z)?
False
Suppose 6*s = 2*v + 3351 + 279, -3*s + 2*v + 1821 = 0. Is s a multiple of 9?
True
Let f(d) = d**2 - 12*d - 93. Is 30 a factor of f(-21)?
True
Suppose 4*x - 2*t - 17854 = 0, -2*x + 3*t - 4706 + 13631 = 0. Is x a multiple of 12?
True
Suppose 87*x = 338945 + 69085. Is 3 a factor of x?
False
Let v(k) = k**2 + 20*k + 12. Let x be v(-20). Is 16 a factor of (216 + x)/(6/8)?
True
Is (3075/6 - -16)/((-1)/(-2)) a multiple of 6?
False
Let r(p) = p**3 - 18*p**2 - 22*p + 56. Let d be r(16). Let x = -515 - d. Is x a multiple of 44?
False
Suppose 8 + 8 = 4*s. Suppose m + 4*m = h - 72, 312 = 4*h + s*m. Is 11 a factor of h?
True
Let u = 187 - 181. Is (-353)/((-7 - -1)/u) a multiple of 67?
False
Let u = -1010 - -2032. Let z = -473 + u. Is 64 a factor of z?
False
Suppose 4*x - 2*j + 27 = 93, -x - 2*j + 24 = 0. Let l = x + -13. Suppose 0 = l*c - 74 - 136. Is c a multiple of 14?
True
Let m(r) = 67*r + 5350. Is m(18) a multiple of 6?
False
Let p(t) = -406*t - 1368. Does 71 divide p(-31)?
True
Suppose -10*x + 75276 = 24*x. Suppose 0*h - x = -3*h. Is 18 a factor of h?
True
Let a(i) = 6614*i - 2696. Is 17 a factor of a(6)?
False
Let s = -893 - -1415. Is 3 a factor of s?
True
Is 8 a factor of (12 - 168/14) + 1 + 1671?
True
Let h(o) = 2*o**2 + 3*o + 6. Let p(m) = -m**2 - m - 2. Let n(w) = -6*h(w) - 17*p(w). Let k be n(-1). Suppose -41 - 127 = -k*t. Is 10 a factor of t?
False
Let m(h) = 2*h**3 - h**2 + h + 246. Let x = 57 - 57. Let y be m(x). Suppose 2*r - 3*a - 274 = -5*a, 2*r - 5*a = y. Is r a multiple of 10?
False
Let g = -22902 + 42259. Is 67 a factor of g?
False
Let f = 349 + -528. Is 3 + (-4 - (f + -2)) a multiple of 20?
True
Let p(m) = -3*m**2 + 6 + 4*m**2 - 2 - m**3 - 3*m - 5*m**2. Let h be p(-3). Is (0 - h/(-26)) + (-16832)/(-104) a multiple of 54?
True
Let m = -14 - 53. Let o = m + 69. Suppose 56 = o*z - 744. Is z a multiple of 50?
True
Let j be 2/6*(87 + 6) + 0. Suppose 23*p + 176 = j*p. Is 2 a factor of p?
True
Suppose -4*s + 12155 = 3*j, 6*s - 2*s - 12160 = -4*j. Suppose 4*i - 3*g = 4065, 3*i = 3*g + 2*g + s. Does 12 divide i?
True
Let l(f) = 4*f**2 - 10*f - 3. Let s(c) = -2*c**2 + 1. Let x(m) = l(m) - 6*s(m). Does 7 divide x(3)?
True
Let r = 27473 - 23973. Is r a multiple of 50?
True
Let v(m) = -5*m**3 + 24*m**2 - 58*m - 376. Does 106 divide v(-21)?
False
Let y = 87 - 83. Suppose 4*c = 5*c - 4, -5*o + y*c + 2109 = 0. Is o a multiple of 54?
False
Let r be (-3)/(-2) + 3/2. Suppose -n - 2*z - 78 = 3*n, 0 = -z - r. Is 4/n - 4386/(-54) a multiple of 27?
True
Suppose 3*f + 980 = 8*f. Suppose -2*x - 10 + f = 0. Let j = -21 + x. Is j a multiple of 24?
True
Let o(x) be the first derivative of 13*x**2/2 + 2*x - 33. Suppose 0 = 4*a - 7 + 3. Is o(a) a multiple of 8?
False
Suppose 0 = 5*u - 15, -3*w = 3*u. Suppose v - 48 = -5*v. Is 13 a factor of (9/w + 1)*(-156)/v?
True
Let x be 27 + (120/144)/(2/12). Suppose -x*z = -1871 - 209. Does 5 divide z?
True
Suppose -3*m = 4*j + 75 + 6, -27 = m + 5*j. Is ((-18)/m)/(3/153) a multiple of 34?
True
Suppose -5*i - 3 = -6*i. Suppose -5 = -5*x, -x = -3*o - i*x + 32. Suppose 0 = -6*k - o*k + 2800. Is 38 a factor of k?
False
Let m(a) = a + 15. Suppose -5*f + 2*n = 82 - 14, -2*n + 8 = 0. Let d be m(f). Suppose -383 = -4*l + 3*o, 4*o - d = -7. Is l a multiple of 11?
False
Suppose -3*v - 19 = -0*m + 2*m, -4*m = -4*v + 8. Let n be m - (-7)/((-28)/(-72)). Suppose 17 - n = 2*i. Is 2 a factor of i?
True
Suppose 66*r - 69*r = 5*t - 17390, 0 = 3*r - 2*t - 17404. Is r a multiple of 8?
True
Suppose 4*v = 4*x + 2692, 0 = 4*x + 3*v + 615 + 2056. Let u = -330 - x. Does 17 divide u?
True
Suppose v + 2*y - 26 = -4*v, 0 = 2*v - 5*y + 7. Is ((-1526)/(-35) - 4)*(1 + v) a multiple of 22?
True
Suppose -94*y + 97*y - 294 = 0. Let t be 4 - 3 - -3 - y*-5. Suppose b + t = 5*z - b, 2*b - 106 = -z. Is z a multiple of 10?
True
Suppose 4*s = 1579 + 2149. Does 13 divide (-56)/(-84)*(s - -1)?
False
Suppose 46*u - 4*m - 114048 = 14*u, u - 3564 = 2*m. Does 6 divide u?
True
Let o be (-142)/(-6) - 1/(-3). Suppose 3*k + l + 2*l = o, -l + 28 = 5*k. Let y(j) = j**2 + j - 2. Is 28 a factor of y(k)?
True
Let k(v) = -1273*v - 256. Does 186 divide k(-4)?
True
Let z(a) = -a**3 + 47*a**2 - 66*a + 100. Is z(41) a multiple of 85?
True
Suppose 39*a - 140720 = 10*a + 19*a. Is a a multiple of 4?
True
Is (-9)/(-126) - 2911/(-14) a multiple of 3?
False
Let d(y) = 0*y - 41 - 3*y**2 + 31 - 8*y + 8*y**2. Let p be d(5). Suppose 0 = -6*c + 2*c + 2*r + 318, c = -r + p. Does 26 divide c?
True
Let l(y) = -24*y - 216. Let j be l(-11). Suppose -57*g + j*g + 6201 = 0. Is g a multiple of 59?
False
Let b(a) be the second derivative of 2*a**3 - 51*a**2 - 13*a + 2. Is b(29) a multiple of 41?
True
Suppose -31*x - 8959 = -14*x. Let b = x - -884. Is 17 a factor of b?
True
Suppose -4*u + 7220 = 5*b, 222*b - 5780 = 218*b - 4*u. Is b a multiple of 20?
True
Let w be -5*1*((-29988)/(-35) + 2). Is 15 a factor of 16/36 + w/(-18)?
False
Let q(r) = r**2 - 15*r - 82. Let v be q(18). Is v/(-7 + 0) - (2 + -103) a multiple of 6?
False
Let p(d) = -39*d - 226. Is 56 a factor of p(-102)?
True
Let u(s) = s**2 - 12*s + 37. Let d be u(8). Suppose 1975 = 5*m + 5*y, -8*m + d*m - 2*y = -1190. Is 25 a factor of m?
True
Suppose -1568*s = -1590*s + 87472. Is 72 a factor of s?
False
Let g = 6126 + -3865. Is g a multiple of 8?
False
Suppose -4*g + 8 = 0, 4*b - 4*g - 7899 - 10573 = 0. Does 7 divide b?
True
Let w = 16 - 10. Suppose 9*a - 6 = w*a. Is (a + -1 - -3)*177/12 a multiple of 13?
False
Suppose q - 20 = -2*z, -4*q + 3*q + 34 = -5*z. Suppose q*h = 27*h. Is 14 a factor of ((-4)/(-6))/2*(849 - h)?
False
Suppose 47*x - 5361 = 54*x - 22721. Is 40 a factor of x?
True
Let j(d) = d**2 - 19*d + 49. Let u be j(18). Suppos