a - 8 = 2*l - 88. Suppose -61 = -5*p + l. Is p a multiple of 9?
False
Let d = -1 - -7. Let j = -6 + d. Suppose j = 4*s + s - 110. Is 11 a factor of s?
True
Does 24 divide (-18)/27 + 545/3?
False
Let f(i) = 2*i + 1. Let a be f(-1). Let z(h) = 13*h**2. Let u be z(a). Is 9 a factor of 0 - (2 - 3)*u?
False
Suppose -720 = -28*l + 16*l. Is l a multiple of 12?
True
Let a = 20 + -17. Suppose -5*l - 2*q = -0*q - 396, 0 = a*l + 2*q - 240. Does 26 divide l?
True
Let k(g) = g - 1. Let f be k(0). Let y = 12 + f. Let l = -1 + y. Does 10 divide l?
True
Let o = 4 + -3. Let p be o/((10/12)/(-5)). Let q = p - -20. Does 7 divide q?
True
Let q(o) = -2*o**2 - 9*o - 5. Let a be q(-6). Suppose 21*l - 13*l - 296 = 0. Let s = a + l. Does 7 divide s?
True
Let y be (8 - 4/(-2))*1. Suppose 62 = -s - y. Is (s/(-21))/((-2)/(-14)) a multiple of 12?
True
Suppose -2*f + 430 + 318 = 2*z, 3*f + 733 = 2*z. Suppose 5*n = -31 + z. Is 18 a factor of n?
False
Suppose -3*r - 3*b = -66, 2*b + 3*b = 3*r - 82. Suppose -2*k = a - 17, -2*a - r = -6*a + 3*k. Is 9 a factor of a?
True
Let z be 2/(-9) + (-368)/(-36). Does 12 divide z/(-35) + 340/14?
True
Let k be 4/10 - (-52)/20. Suppose a - 5*a = k*q - 72, a = -4*q + 109. Let w = 39 - q. Is 5 a factor of w?
False
Is 3 a factor of (2/7)/((-10)/(-140))?
False
Let b = -43 + 79. Suppose -b = -2*t + 6. Is t a multiple of 7?
True
Let v = 144 + -42. Is v a multiple of 38?
False
Let i(h) = -h + 2. Let a be i(5). Let j = 5 + a. Suppose 0 = 2*m + j*l, m + m = 5*l + 14. Is 2 a factor of m?
True
Let u be (-4)/(-14) + 20/28. Let r be (-1 - -2)/((-3)/(-6)). Suppose -r*b - u = -15. Is 3 a factor of b?
False
Let t(f) = -f**3 + 16*f**2 + 17*f + 6. Let j be t(17). Is 13 a factor of (-3)/12*j*-26?
True
Let d(k) = k**3 + 8*k**2 - 10*k - 9. Let x be d(-9). Let i be (-7)/(-3) - 4/12. Suppose i*g + 20 = 6*g, 2*j - 5*g - 15 = x. Is 6 a factor of j?
False
Let r = -50 - -120. Is 15 a factor of r?
False
Let a(f) = 2*f**2 - f - 3. Let z be a(4). Does 10 divide (-5 + z)/(2/2)?
True
Let o be (-48)/(-9) - 1/3. Suppose -o*n + 58 + 2 = 0. Is n a multiple of 7?
False
Suppose 0*l - 2*t - 47 = -3*l, 5*l - 5*t = 80. Suppose 3*u = 3 + l. Is 13 a factor of 1 - -26*3/u?
False
Let c be (2 + (0 - 3))*53. Let s = -19 - c. Is 17 a factor of s?
True
Let b = -2 + 5. Suppose 0 = -b*w - 4*q + 34, -q + 2 + 2 = 0. Suppose -2*u = -w - 32. Is u a multiple of 8?
False
Let h = -1 - -25. Does 5 divide h?
False
Suppose 26 = 3*i - 34. Is i a multiple of 10?
True
Let j be (4/(-3))/(16/(-24)). Suppose -5*t + 96 = -j*t. Is 12 a factor of t?
False
Suppose -15*b + 12*b = -93. Does 11 divide b?
False
Suppose -2*a + 3 - 51 = 0. Suppose 0 = 2*z + 20 - 8. Does 4 divide ((-2)/z)/((-2)/a)?
True
Is (-52)/4*(-16 + 1) a multiple of 15?
True
Is 27 a factor of (-59)/(-2) + 6/4?
False
Let x = 1 - -3. Suppose -3*f - l + 32 + 2 = 0, x*f = -3*l + 52. Is 5 a factor of f?
True
Suppose 3*v = 5*x - 212, -v + 5*v = 4. Does 9 divide x?
False
Let o(h) = -2*h + 4*h + 4 - 8*h + h**2. Is 3 a factor of o(6)?
False
Let b(h) = h**3 + 3*h**2 - 4*h. Let n be b(-4). Suppose 15 = 5*a, n*a + 13 = 2*d + 3*a. Suppose -t = -3*r + 1, 4*t = -0*t - d*r + 10. Is t even?
True
Suppose 3*s - 2*d + 8 = -13, 0 = -4*s - 2*d - 14. Let i = s - -4. Does 13 divide 0 + (i - -2 - -23)?
False
Let v(d) = 6*d**3 - d**2 - 4*d + 3. Suppose -2*s + 2 = -s. Does 13 divide v(s)?
True
Let t(r) = r**3 + 2*r**2 - r - 4. Is t(3) a multiple of 19?
True
Let g = 49 - 23. Suppose f = 5*l - 2*f - g, -f = -3*l + 18. Does 3 divide l?
False
Let y(a) = -a - 3. Let h be y(-7). Suppose 0 = -4*k - 0*k - 4, -h*r + 5*k = -97. Is 9 a factor of r?
False
Suppose 12*t = 9*t + 9. Is t a multiple of 2?
False
Suppose 3*c + 164 = 416. Does 21 divide c?
True
Does 26 divide ((-78)/(-15))/(-4 - (-84)/20)?
True
Does 4 divide ((-6)/(-5))/(87/290)?
True
Let s = 7 + -4. Suppose 0*a = -s*a + 39. Is a a multiple of 5?
False
Suppose 4*b - 107 = 5*m - 2*m, -33 = -b + 2*m. Is 13 a factor of b?
False
Let i = 153 - -29. Is 7 a factor of i?
True
Let w = 7 + -3. Suppose -w*y + 20 = -16. Does 9 divide y?
True
Let n be 134/6 - (-6)/9. Suppose 0 = 19*z - n*z + 32. Is z a multiple of 7?
False
Suppose 2 = -4*y - 3*u, -2*y + 2*u + 8 = 2. Is y + -6*(-5)/2 a multiple of 7?
False
Suppose 4*y = 5*y - 3*d + 3, 4*y = d - 1. Suppose 0*j - 2*j + 138 = y. Suppose 5*s - 66 = j. Is s a multiple of 11?
False
Is (-5 + -1)*(-1 - 1) a multiple of 4?
True
Suppose 5*g = -5*u + 65, -4*u - 54 = -4*g + 14. Suppose -3*p - l = -13, -5*l + 0 + 25 = 5*p. Suppose -x = -p*x + g. Is x a multiple of 4?
False
Let j be -1 + 2 - (-1 - 0). Suppose -j*n + 2 = -22. Is 5 a factor of n?
False
Suppose -3*i = 2*i - 2*t - 236, i - 40 = -2*t. Is i a multiple of 17?
False
Let l(u) = 3*u**2 - 5*u + 5. Let o be l(5). Let c = -28 + o. Is 12 a factor of c?
False
Let y(m) = -2*m**2 + 4*m + 118. Is 5 a factor of y(0)?
False
Suppose 0 = -u - 3*u + 48. Is 2 a factor of u?
True
Let r(n) = n + 1. Let d be r(-5). Let u(a) be the second derivative of a**4/4 + a**3/2 - 2*a**2 - 4*a. Is u(d) a multiple of 11?
False
Let r = -59 - -34. Suppose y - 2*m = 48, 4*y + 0*y = -m + 219. Let u = r + y. Is 14 a factor of u?
False
Let b = 3 + -1. Let f be -1 + b - 0/(-1). Is (f - 3)/(1/(-10)) a multiple of 13?
False
Suppose 5*m = 6 + 4. Suppose -l = m*w + 9, 3 = 5*l + 2*w + 40. Let t = -1 - l. Is 3 a factor of t?
True
Suppose 4*q = 3*a + 14, -5*q + 2*a = -0*q - 21. Let f = q + -3. Suppose 0 = -4*j - f*u + 36, -2*j - 20 = -5*j + 2*u. Is 4 a factor of j?
True
Suppose -2*s + j + 100 = 0, 54 - 204 = -3*s + 5*j. Is s a multiple of 6?
False
Let r(x) = -x**2 + 15*x - 30. Let h be r(13). Suppose 28 = 5*k - k. Let q = k + h. Is q a multiple of 3?
True
Is (2 - -232 - -4) + 1 + 1 a multiple of 16?
True
Suppose 2*i - 12 = -0*i. Does 21 divide i*(1 + (-76)/(-8))?
True
Let q(h) = h - 12. Let g be q(11). Let t = 0 + g. Is t - 12/(-3 - -1) a multiple of 3?
False
Let r be (-219)/12 + 1/4. Let n = -92 - -37. Is n/(-4) - r/(-24) a multiple of 13?
True
Let r = -23 - -42. Does 8 divide r?
False
Suppose -3*v + 0*v = -12. Let y(b) = 11*b - 5*b - b**2 + 0*b**2. Is 3 a factor of y(v)?
False
Let k be (-8)/36 + 1300/18. Suppose 0 = -3*c - c + k. Suppose c = 4*h - 94. Does 12 divide h?
False
Let d be (-2)/(-3)*3/2. Let w be (0/(d + 1))/(-2). Suppose -2*z - 32 = -w*x - x, -5*x + 4*z = -148. Is 14 a factor of x?
True
Let k be ((-9)/(-2))/(2/12). Suppose 3*y - k = -0. Does 6 divide 1/(10/y + -1)?
False
Suppose 0 = 5*v - 0*v - 3*x - 105, -3*x + 39 = v. Does 7 divide -12*4/v*-4?
False
Let f be 2 + 0 - (-26)/2. Suppose b + 129 = f. Is 14 a factor of (-5)/10 - b/4?
True
Let k(d) = -d - 1. Let g be k(-1). Suppose 3*n + 0*n + 18 = g. Let p = n - -19. Is p a multiple of 13?
True
Suppose -2*p + 15 = p. Let v = p - -8. Is 5 a factor of v?
False
Let w(p) = p**3 + 3*p**2 - p - 2. Let k(b) = b**3 + 6*b**2 - 6*b + 10. Let u be k(-7). Suppose -3*m = 4*o + 2, -o - 1 = 2*m - u. Is w(o) a multiple of 3?
False
Let d be 68*(-2 - (-5)/2). Suppose -5*p + 102 = 2*l, -p - l = -4*l - d. Is 11 a factor of p?
True
Let x be (1*(-9)/(-3))/1. Suppose -5*h + 4*p + 11 = -5, x = 2*h - 5*p. Suppose -h*j = -c - c + 22, 3 = -3*j. Is 6 a factor of c?
False
Is 6/2 - 0 - -37 a multiple of 10?
True
Suppose -4*p + 587 = -p - g, 0 = -2*g - 4. Is 27 a factor of p?
False
Let g be (-150)/3*(-2)/(-5). Let j be -4*9/(-30)*g. Is 12 a factor of j*(-2 + 1) + -1?
False
Let p be (-7)/5 - (-4)/10. Let x = -3 + p. Does 21 divide (-2)/x - 303/(-6)?
False
Let s be 2/(-4)*4 + 4. Suppose 5*r - 4 - 9 = m, s*r = 6. Is m/(2/(3 + -1)) a multiple of 2?
True
Let i(d) = -12*d. Is i(-2) a multiple of 6?
True
Suppose 2*c + 5*b = 40, 2*c + 2*b - 7*b - 20 = 0. Let p = c + -6. Does 3 divide p?
True
Let p = -24 + 14. Does 9 divide 6/p - 2196/(-60)?
True
Suppose -3*z = -5*a + 113, 2*z - 32 = -a + 1. Let d = a + -18. Is 3 a factor of d?
False
Let h(u) = -u**2 - 8*u - 4. Let m be h(-7). Suppose 3*q + 0*o = m*o + 72, 0 = q + 5*o. Is 10 a factor of q?
True
Does 7 divide (-156)/(-15) + 4/(-10)?
False
Suppose 16 = 4*u, u + 644 = 4*g - 0*u. Suppose 0 = 4*k - 16 - 0. Suppose 5*s + l = 198, 0 = k*s - 8*l + 7*l - g. Is s a multiple of 20?
True
Suppose 10 = a + a. Let z(p) = -p**2 + 6*p + 6. Is z(a) a multiple of 4?
False
Let o = -762 + 434. Is 18 a factor of o/(-18) - 4/18?
True
S