*s - 24 + 0 = 0. Let b = 58 - s. Suppose -l = 2*l - b. Is 11 a factor of l?
True
Does 111 divide 385 + (-4 - (-1 - -3))?
False
Let g = 583 + -232. Is 27 a factor of g?
True
Suppose -8*w + 3*w - 5*d = 80, -12 = 3*d. Let r(y) = 10*y + 3. Let t(n) = -5*n - 2. Let l(m) = 4*r(m) + 9*t(m). Does 22 divide l(w)?
False
Suppose 4*t + 7 + 0 = -3*u, -2*t + 1 = 3*u. Suppose 118 = 2*s + 4*j - 20, u*s - 4*j - 167 = 0. Is 32 a factor of s?
False
Let v = -21 + 32. Let c = v + -11. Suppose -5*g + 108 = i - 1, c = 3*i + 3. Is 10 a factor of g?
False
Suppose 5*q + 1655 - 2600 = 0. Does 3 divide q?
True
Does 23 divide ((-11)/(99/(-1161)))/(3/52)?
False
Suppose 19*b - 3000 = 4*b. Suppose -4*p + 5*i + 403 = 0, -b - 314 = -5*p - 4*i. Does 6 divide p?
True
Let w(i) be the first derivative of 0 + 7 + 9*i**2 + 9*i**2 - 2*i. Does 14 divide w(1)?
False
Let r = -1 + 3. Let d(y) = -6*y + 3*y - 3*y + r*y. Is d(-6) a multiple of 10?
False
Let p(r) = -2*r + 6. Let s be p(-3). Does 8 divide (39/(-12))/(1 + (-13)/s)?
False
Suppose 0 = -7*p + 2*p + 3*x + 13, -2*p + 3*x = -7. Suppose -b = -p*b. Let r = b + 15. Is 9 a factor of r?
False
Let q be (-2 - -14)/((-8)/8). Does 24 divide q/(((-10)/12)/5)?
True
Let v be (38/(-8) + 2)*-4. Suppose -2*d - 603 = -v*d. Does 13 divide d?
False
Suppose -10164 = -58*k + 47*k. Is k a multiple of 44?
True
Let q be 3/((2 - 3) + 2). Suppose -q*l + 20 = l. Is l a multiple of 4?
False
Suppose -4*n - 93 - 145 = b, 2*b - 232 = 4*n. Let d = -2 - n. Is d a multiple of 11?
False
Suppose n + 4 = -3*n. Let c be n - (-2 - -1)*1. Let w(h) = h**3 + h + 8. Is 2 a factor of w(c)?
True
Let l be 8/1 - (11 + -14). Suppose 7*v + 152 = l*v. Suppose 5*b - v = 27. Is b even?
False
Let n(m) = -6*m**2 + 4*m + m**3 - 2*m - 2*m**3 - 3 + 4*m. Let f be n(-7). Suppose 0 = f*k - 45 - 35. Is k a multiple of 11?
False
Let v(q) be the first derivative of q**2 + 1/4*q**4 - 8 + 5/3*q**3 - 2*q. Is v(-3) a multiple of 2?
True
Does 65 divide 3293 - (-3 - (-5 + 7))?
False
Suppose 42 = 4*g + 2*p, -2*g + 3*g - 18 = -3*p. Let w = g - 8. Is 16 a factor of (6/(-4))/(w/(-22))?
False
Let r(p) = -86*p - 2. Let v be 3*2/3 - 4. Is r(v) a multiple of 10?
True
Let m(b) be the second derivative of -5*b**3/6 + 19*b**2 + 6*b. Is 6 a factor of m(-10)?
False
Suppose -g + 0*g + 2*p + 2 = 0, -5*g - 2*p - 14 = 0. Let h(b) = 33*b**2 + 2*b + 2. Is 24 a factor of h(g)?
False
Does 10 divide (-5253)/(-15) + (-3)/15?
True
Let l(n) = n - 11. Let s be l(19). Suppose 4*t - 64 + s = 0. Does 6 divide t?
False
Let w(v) = -v + 12 - 2*v + 2*v + 0*v. Let q be 10/(-15)*30/(-4). Is w(q) even?
False
Let z(t) = -t**2 + 5*t + 10. Let s be z(8). Let w = -8 - s. Suppose 0 = 2*v - w*v + c + 15, 0 = -3*v + 2*c + 15. Is v a multiple of 3?
True
Let f(c) = -11*c - 8. Let g = -14 - -7. Is 8 a factor of f(g)?
False
Let i(x) = 2*x**2 + 10*x - 58. Is 41 a factor of i(-28)?
True
Let p(u) = -u**3 + 5*u**2 + 2*u - 5. Let h be p(5). Suppose -19 = h*a + 26. Is 0 - 6/a*57 a multiple of 25?
False
Let i(z) = -2*z + 10 + 0*z + z + z**2 + 0*z. Is i(0) a multiple of 4?
False
Let y be (-20 + 6 + -3)*1. Let o = -13 - y. Suppose -177 = v - o*v. Does 19 divide v?
False
Let s = 995 - 582. Is s a multiple of 35?
False
Let f = 19 - 15. Is 4 a factor of 88/20 + f/(-10)?
True
Let f(d) = -d + 8. Let u be f(-5). Suppose 0 = -u*j + j + 336. Does 12 divide j?
False
Suppose -2*u - 4*o - 84 = 0, -8 - 82 = 2*u + o. Let t = 70 + u. Is 6 a factor of t?
True
Suppose -84*j + 146*j - 3472 = 0. Is j a multiple of 13?
False
Suppose -5*h - 222 = -d, -2*d - 2*h + 684 = 276. Is d a multiple of 7?
False
Let x(f) = -f**3 - f**2 - 3*f + 2. Let b be x(0). Does 10 divide 62/6 - (b - 15/9)?
True
Let v(o) = -o**2 - 6*o - 13. Let d be v(-3). Is -5 + 5 + 30 + d a multiple of 4?
False
Let f(m) = m + 1. Let i be f(-1). Suppose i*s + 294 = -2*s. Is 22 a factor of (s/12)/(1/(-4))?
False
Suppose 40*i + 45 = 35*i. Let v be (-2)/(-6) + 948/i. Does 4 divide (-3)/2 + v/(-6)?
True
Let v be 54 - ((2 - 0) + -1). Suppose -5*n - 2 = v. Let d = n + 22. Does 6 divide d?
False
Let a = 460 - -283. Is 11 a factor of a?
False
Let j = 0 + -8. Let a(b) = -b**3 - 6*b**2 + 6*b + 28. Is a(j) a multiple of 20?
False
Let z(l) = -l + 1. Let j be z(-1). Let t(s) = s**2 + 4*s - 4. Is 3 a factor of t(j)?
False
Let q(y) = 13*y**3 + 4*y**2 - 3*y. Let t be q(2). Let k = 29 + -29. Suppose -a - a + t = k. Is a a multiple of 22?
False
Let r be 3*((-12)/(-48) - 1/(-12)). Is 7 a factor of -7 + 84 - (1 - r)?
True
Let o be 123/15 + (-7)/35. Suppose 0 = 4*z - 20 - o. Does 4 divide z?
False
Let y be (0 + -1 + -3)/(-2). Suppose -5*x = y*d + 7, 6*d + 3*x + 1 = 4*d. Suppose d*z + 28 - 144 = 0. Does 8 divide z?
False
Let j(p) = p**2 - 17*p + 6. Let m be j(17). Suppose -3*c + 4 = 5*b, -3*c + 4*b - 10 = -2*c. Is 20 a factor of (c - -14)*(11 - m)?
True
Let m(f) = 2*f**2 - 10*f + 6. Is 9 a factor of m(6)?
True
Suppose -3*y = -7*y + 8. Suppose -2*l = x + 22, l + 3*x + y*x + 20 = 0. Is (0/4 - l)*1 a multiple of 3?
False
Let a be (1 + -2)/(10/(-3600)). Suppose x - 5*x + 2*k = -470, a = 3*x - 4*k. Does 29 divide x?
True
Let u(b) = b**3 - 5*b**2 - 8*b - 1. Let x be u(6). Let p = x - -17. Is 4 a factor of p?
True
Suppose -4*m + 48 = -m. Let t(q) = -2*q + m + q - q. Is 28 a factor of t(-6)?
True
Let v(o) = -2*o**2 + 44*o + 53. Is 19 a factor of v(21)?
True
Suppose -25*z + 17282 = -32468. Does 16 divide z?
False
Let u(q) = 3*q**2 - q + 3. Let d(t) = t**3 - t + 1. Let k(x) = -d(x) + u(x). Let f be k(3). Suppose -5 = f*w + 5, -3*w - 127 = -4*j. Is j a multiple of 8?
False
Let l = 1346 + -1216. Is l a multiple of 65?
True
Let v(t) = 45*t - 1. Let n be v(9). Suppose 150 + n = 4*h + 3*r, -5*r = h - 130. Let m = h - 73. Is m a multiple of 27?
False
Is 12 a factor of (3/9)/((-17)/(-77724))?
True
Suppose -5*x = -2663 + 493. Does 59 divide x?
False
Let y = 9 + 3. Let h = 119 - 59. Suppose 4*v + y = h. Is v a multiple of 5?
False
Let x = -250 + 844. Is x a multiple of 54?
True
Let q be 2/10 - 29*2/(-10). Let w(j) = 3*j**2 - 17*j + 17. Is w(q) a multiple of 3?
False
Let k(v) = -11*v - 1. Suppose -4*q + 2*u + 22 = 2, 2*q + 3*u = -6. Suppose 4*t - 5 = q*l, 3*l = -3*t + 4*l. Is 10 a factor of k(t)?
True
Suppose 4*z - 6 - 522 = 0. Let y be 2/5 - z/30. Is (y - (0 - 3))*-41 a multiple of 6?
False
Let o = 742 - 115. Does 3 divide o?
True
Suppose 2*u = -9 - 9. Let a = 21 - u. Does 15 divide a?
True
Suppose 3*c = 121 + 272. Is c a multiple of 22?
False
Suppose 2*y - j = 282, -4*y + 3*j = y - 704. Is 15 a factor of y?
False
Let x = -6 - -28. Let p(r) = -r**2 - 7*r + 1. Let z(l) = -4*l**2 - 28*l + 3. Let n(d) = x*p(d) - 6*z(d). Does 23 divide n(-11)?
True
Let x be (-1)/2*-40 + 2. Let w = x - 8. Does 2 divide w?
True
Let r(d) = -4*d**3 - 2*d**2 + 4*d + 4. Let s be r(-2). Let a = s - -1. Is a a multiple of 7?
True
Let c = 62 - 2. Suppose 5*h + 30 = 2*s, 0 = -4*s + 2*h + 3*h + c. Is s a multiple of 5?
True
Let w = 19 - 12. Suppose 0 = o + w - 12. Suppose -o*v = -0*v - 150. Does 30 divide v?
True
Let v(t) = 4*t**3 + 2*t**2. Let l be v(2). Suppose -l = 4*f + 12. Is 20 a factor of -2 + f/(13/(-42))?
True
Let v(y) = y - 1. Suppose 3*w - 4 = 4*w. Let n(q) = -3*q. Let d be n(w). Does 7 divide v(d)?
False
Let b(m) = m**3 + 8*m**2 - 7*m + 3. Let d be b(-9). Let c = d + 45. Does 3 divide c?
True
Suppose 29 - 329 = -3*m. Suppose -4*h = -240 + m. Is 35 a factor of h?
True
Suppose 0 = 4*m + m + 5*n, -4*n = m - 6. Let i be (7/(-5))/(m/10). Let d(t) = 13*t + 1. Does 21 divide d(i)?
False
Let d(b) = -b**2 - 2*b + 5. Let m be d(-4). Let y = m + 38. Does 7 divide y?
True
Let h(j) = 2*j + 37. Suppose 0*a - 50 = -5*a. Is 10 a factor of h(a)?
False
Let h(n) = n**3 - 2*n**2 - 17*n + 50. Is 14 a factor of h(4)?
True
Suppose -5*l + 55 = -0*l. Suppose 0 = -10*a + l*a + 10. Let z = a - -39. Does 5 divide z?
False
Suppose 0 = 2*j - 35 - 33. Suppose -5*b + 116 + j = 0. Does 7 divide b?
False
Let h = 85 - 487. Let t = -161 - h. Is t a multiple of 35?
False
Does 57 divide 8*(22 - 20 - (-1066)/4)?
False
Suppose -3*q - 26 = -q. Let x(h) = -21 - h**2 + 2 + 2*h - 17*h. Is 5 a factor of x(q)?
False
Let g be ((-54)/36)/((-2)/16 - 0). Let h be 1/(-2) + (-39)/(-6). Suppose -3*a = g, 4*d - 18 = -4*a + h. Does 2 divide d?
True
Let v(r) = 2*r**2 + 2*r. Let c be v(4). Let j = c + -32. Is 4 a factor of