a - 9. Suppose -14 = 2*g - 0*g. Is 3 a factor of f(g)?
False
Let y(r) = r**3 + 5*r**2 + r. Let o be y(-5). Suppose 0 = 3*x - 5*p + 11, 2 = 5*x - 2*p - 5. Is 13 a factor of (-70)/4*(o + x)?
False
Suppose -12*r + 199 + 1997 = 0. Is r a multiple of 32?
False
Let d(x) = -x - 9. Let o be d(-6). Let j be o/(-9) + 55/(-3). Let m = j - -53. Does 14 divide m?
False
Is (17 + (-4 - -5))*4 a multiple of 18?
True
Is (35 + -10)*(4/5 + 0) a multiple of 10?
True
Let s(u) = -u**2 + 2*u + 5. Let x be s(-3). Let a = x + 15. Is 2 a factor of a?
False
Suppose 0 = -r - 0*r + 102. Suppose z = s - 34, -3*s + r = 3*z + 2*z. Is s a multiple of 9?
False
Is 18 a factor of (-4 + 2)*(380/(-8))/5?
False
Let o = 228 + -160. Does 27 divide o?
False
Suppose -3*u + 3*j + 19 = 2*u, 3*j = -2*u - 5. Let x be (u - 0)/((-2)/(-3)). Suppose -5*a - 142 = -4*p, 3*a = -x - 3. Is 13 a factor of p?
False
Suppose -4*r + 9*r = 115. Suppose -r = -2*f + 13. Is 8 a factor of f?
False
Is 4/5*(-35)/(-14) even?
True
Suppose 0 = -l - 0 + 2. Suppose -l*a = -4*a + 84. Is 21 a factor of a?
True
Let s(i) = 61*i**2 + i - 2. Is 15 a factor of s(1)?
True
Let w be -1 - 0/(-3) - 10. Let t(v) = -v**2 - 10*v + 15. Is t(w) even?
True
Let b be 0 + 7/1 + 0. Let t = b - 4. Is t a multiple of 2?
False
Let m = 28 - 24. Suppose 0 = 3*t - m*i - 85, 2*t + i = -2*t + 145. Is t a multiple of 7?
True
Suppose 3*a + 3*h = 15, -2*a - h + 5 = -4*h. Is 4 a factor of a?
True
Suppose 0 = -2*w + h - 32 - 5, 2*h - 36 = 2*w. Let n = w + 40. Is n a multiple of 21?
True
Is (-4)/6*1845/(-10) a multiple of 13?
False
Suppose 7*s - 35 = 2*s. Let z(h) = 2 + 8 + 2*h - 8. Does 12 divide z(s)?
False
Is (3 - 0/(-5)) + 78 a multiple of 11?
False
Let q = 17 + -9. Let v = -6 + q. Is 12 a factor of v + 0 + -1 - -23?
True
Suppose -5*w = -4*j - w + 32, 0 = -j - 3*w - 12. Suppose 2*n = 5*c + 54, -3*n - 2*c + 82 = -n. Suppose j*q + 13 = n. Does 8 divide q?
True
Let a = -20 - -20. Let n(i) = i**2 - i. Let t be n(2). Suppose a = 2*c + c + 4*v - 1, t*c + v = 9. Is 3 a factor of c?
False
Does 23 divide (828/(-9))/(-3 - -1)?
True
Let k(a) = a + 9. Let t be k(-8). Is 9 a factor of (-3)/(t + (-12)/9)?
True
Suppose -q = 2*k - 4*q - 89, 3*q = -2*k + 119. Does 11 divide k?
False
Let k(f) = 22*f**2 + 52*f - 30. Let b(y) = -9*y**2 + 3 + 9 + 2*y - 23*y. Let u(j) = 12*b(j) + 5*k(j). Is u(-6) a multiple of 11?
False
Let h be 4/(-5)*(0 - 10). Let m = 12 - h. Suppose -5*k = 10, -2*k = m*z - 22 - 26. Does 8 divide z?
False
Suppose 12*i + 35 = 17*i. Is i a multiple of 7?
True
Let d(x) = x**2 - x + 6. Is d(-7) a multiple of 31?
True
Suppose -6 = a - 5*a + 2*g, 0 = -5*a + 5*g. Let h be 1 - -1 - -4*1. Suppose -l - a*o = -22, -2*o = h*l - l - 84. Is 10 a factor of l?
False
Is -2 + (-344)/(-9) - (-28)/(-126) a multiple of 18?
True
Let i = -105 + 136. Is i a multiple of 4?
False
Let q = 29 + 21. Is 25 a factor of q?
True
Suppose 5*s + 4*c = 35, 0*c - 25 = 5*c. Does 4 divide s?
False
Suppose -153 = 5*g - 563. Is g a multiple of 14?
False
Suppose 3*g = -3*g + 30. Suppose -g*i + 5*w + 102 + 33 = 0, 4*i + 2*w = 132. Is i a multiple of 17?
False
Let n = -13 - -30. Is 8 a factor of 0 + n - (6 + -4)?
False
Let n(x) = -x**3 + 11*x**2 + 4*x + 2. Let c be n(11). Let u = c + -25. Is u a multiple of 10?
False
Let a(k) = -k + 10. Suppose i - 11 = -3*i + b, 4*b - 8 = 3*i. Suppose -i*l = -2*l. Is a(l) a multiple of 7?
False
Suppose 0 = -4*q - 0*q + 2*g - 18, 4*q = -g - 9. Let l = -4 - q. Let c = 26 - l. Does 20 divide c?
False
Let m = 62 + -14. Does 16 divide m?
True
Does 15 divide ((-210)/8)/(-7)*4?
True
Let r = 15 - 21. Let o(a) = -a - 15. Let x(l) = -3. Let d(b) = 4*o(b) - 22*x(b). Is d(r) a multiple of 13?
False
Is 44 - (-1)/(-2)*4 a multiple of 6?
True
Suppose -4*g - 45 = -5*f, -6*f + f + 45 = 4*g. Does 2 divide f?
False
Suppose 8*f - 10*f + 30 = 0. Is 14 a factor of f?
False
Let k(c) = 17*c + 19. Let h(s) = 6*s + 6. Let x(r) = 11*h(r) - 4*k(r). Let g be x(-7). Suppose 5*i - 106 - 69 = 5*q, -g*i - 3*q = -147. Is i a multiple of 10?
False
Let o = -24 - -44. Does 10 divide o?
True
Let r(w) = -3*w - 23. Let u be -3*(0 - -2) - 4. Does 7 divide r(u)?
True
Suppose -3*n + n = 3*v - 236, 0 = 3*v - 12. Let c = n - 70. Is c a multiple of 18?
False
Suppose 9*d - 6*d = 84. Does 14 divide d?
True
Suppose 5*h = 8 + 107. Let b = 41 - h. Is b a multiple of 5?
False
Let s(m) = -m**3 - 8*m**2 - 14*m - 39. Is 5 a factor of s(-7)?
True
Suppose -2*v + 0 = 4. Let n be 4 + v + 0/3. Suppose n*d + 5*z + 9 = 5*d, 5*d - 2*z = 15. Is 3 a factor of d?
True
Let v = 6 + 0. Let s be v/(-3) + 1 + 1. Suppose -z = -2*x - 3*x + 113, s = 2*z - 4. Does 19 divide x?
False
Let j(o) = 2*o**2 - 3*o - 12. Does 14 divide j(6)?
True
Suppose 275 - 47 = 2*r. Suppose 3*z - 5*z = -r. Is z a multiple of 18?
False
Let p be -12 + (1 - 2) + 2. Let x(s) = -s + 16. Is x(p) a multiple of 10?
False
Let n be (-6)/8 + (-10)/8. Let u = 1 - n. Is 3 a factor of u?
True
Is (-19 - -22)*3/((-18)/(-596)) a multiple of 16?
False
Let b be (-357)/14 + (-3)/2. Let g = b + 49. Is 8 a factor of g?
False
Let b(x) = 10*x - 3. Let m(s) = 169*s - 52. Let w(d) = 52*b(d) - 3*m(d). Does 13 divide w(3)?
True
Suppose 24 + 81 = -3*y. Let i = -19 - y. Does 5 divide i?
False
Let j(p) = -2*p**2 - 3*p. Let o be j(-2). Let z(l) = 4*l + 9. Let g be z(-6). Does 11 divide (-12)/g*(-75)/o?
False
Let x be 2 + 0/(-1) - 2. Suppose -v = -x*v - 12. Suppose -j = r - v, 2*r - 6 - 23 = 3*j. Is r a multiple of 13?
True
Let x = 11 + -12. Let f = -49 + 89. Let v = f - x. Does 16 divide v?
False
Let k(i) = -33*i + 7. Let x be k(-7). Let y(m) = m + 15. Let j be y(-7). Suppose j = -5*v + x. Does 17 divide v?
False
Suppose -r + 4*y = 4*r - 40, -3*y - 32 = -4*r. Let n = r + 0. Is 4 a factor of n?
True
Let l(n) = -7*n + 4. Let i be l(-3). Let m = -48 + i. Let d = m - -32. Is 9 a factor of d?
True
Let f = 10 + -6. Suppose 12 = c - 3*q, -3*q + f*q = -1. Suppose -x + 2 = -c. Is x a multiple of 5?
False
Suppose 21 = 2*a - 3*a. Let b = a + 45. Does 12 divide b?
True
Let k = -75 - -51. Let i = 38 + k. Does 4 divide i?
False
Suppose 4*g - 20 = -4*s, -4*s - 5 + 15 = -g. Suppose -2*o - 37 = -2*c + c, -s*o = -12. Is c a multiple of 15?
True
Let j = 11 - 0. Is 6 a factor of j?
False
Let u(h) be the second derivative of -4*h**6/15 + h**5/60 + h**4/12 + h**3/6 - 3*h**2/2 - 2*h. Let o(k) be the first derivative of u(k). Does 16 divide o(-1)?
True
Let g(k) = 0 - 9*k - 9 + k**2 + 11*k. Is 25 a factor of g(-7)?
False
Let w(m) = 4*m**2 + 8*m + 6. Is 11 a factor of w(-5)?
True
Let o be ((-4 - -3)*5)/(-1). Suppose d = -2*g + 59, o = -2*d + 3*d. Is 7 a factor of g?
False
Let w = 82 - -14. Suppose 0 = 5*x - w - 49. Let v = x + -20. Is 9 a factor of v?
True
Suppose 23*q - 18*q - 175 = 0. Is 35 a factor of q?
True
Let i(j) be the third derivative of -j**5/60 + j**4/12 - j**3/2 + 2*j**2. Let u be i(5). Is 8 a factor of 169/9 + (-4)/u?
False
Let z(x) = 2*x + 8. Does 2 divide z(-2)?
True
Suppose -5*d + 0*d + 243 = j, 4 = -2*j. Does 18 divide d?
False
Let w = -18 - -9. Suppose -8*a = 4*k - 5*a - 79, k - 36 = -4*a. Is 3 a factor of (k/(-24))/(1/w)?
True
Suppose 9*b - 150 = 4*b. Let s be 14/4*(-12)/(-21). Suppose s*d - b = -d. Is 10 a factor of d?
True
Let x(c) = 3*c**2 - 12. Is x(-4) a multiple of 6?
True
Let t(d) = -d**2 + 15 + 5*d - 30 - 8*d - 10*d. Does 5 divide t(-10)?
True
Let c = -55 + 37. Let h = c - -29. Let v = -8 + h. Does 3 divide v?
True
Let y be 2652/27 + (-6)/27. Let s = -61 + y. Is s a multiple of 11?
False
Let g(t) = -6*t + 5. Is g(-4) a multiple of 5?
False
Suppose 2*r = -4*q + 14, 0*q + 4*q = 4. Suppose 3*t + 21 - 5 = -2*x, -t = -r*x - 23. Is 2 a factor of (2 - 1)/((-1)/t)?
True
Let q(k) be the third derivative of -k**6/120 + k**5/12 + 3*k**4/8 - k**3 - 3*k**2. Let i be q(6). Let b = i - 7. Is 3 a factor of b?
False
Suppose -13 - 35 = -4*f. Does 12 divide f?
True
Suppose -q + 6 = -0*q. Suppose -5*m = -q - 4. Is 2 a factor of m?
True
Let m = 80 + -44. Does 20 divide m?
False
Let y(r) = -2*r**2 + 10*r - 9. Let b be y(6). Let w be b*(1 - -2)*2. Is w/(-3) + -2 + 1 a multiple of 14?
False
Let p(d) = d - d**2 + 0*d - 2*d. Let r be p(3). Let o = -7 - r. Is o a multiple of 4?
False
Let c(u) = -u**3 + 9*u**2 + u + 8. Is 47 a factor of c(6)?
False
Suppose 5*a - 9*a + 24 = 0. Suppose -a*x + 180 = -3*x. Is 