0 a factor of f(c)?
False
Does 20 divide (-2)/((3/(-111))/(1/2))?
False
Suppose 0 = -2*b - b - 9. Let s be -2 - 1 - (0 + b). Suppose 4*m - 3*g + 4*g - 77 = s, 4*g = 3*m - 53. Is 14 a factor of m?
False
Let o(r) = 4*r + 4. Is o(9) a multiple of 10?
True
Is 34 a factor of -16*(612/(-8))/9?
True
Let u be (-3 - 22)/(1/3). Let x = -45 - u. Does 10 divide x?
True
Let h = -5 + 5. Let a = -11 - h. Let l(s) = s**3 + 11*s**2 - 2*s - 14. Is l(a) a multiple of 8?
True
Let n(v) = 4*v**2 - 13*v + 8. Is 37 a factor of n(6)?
True
Let i(r) = -17*r - 12. Does 32 divide i(-6)?
False
Suppose 5*x - 20 = 0, 2*x + 8 + 72 = 2*m. Let k be (-4)/(-26) + (-5598)/(-117). Suppose 0*v + 5*v - k = -g, 2*g - 3*v - m = 0. Is g a multiple of 14?
True
Suppose -5*r + 2*r - 6 = 0. Let j = 5 - r. Suppose -j*m + 3*m + 32 = 0. Is 8 a factor of m?
True
Suppose -3*a - 5*w - 1 = 1, 0 = -2*w - 8. Suppose 2*h + 23 = 3*n, -2*n + a*n - 54 = -2*h. Is 5 a factor of n?
False
Let w = 55 - 29. Is w a multiple of 13?
True
Suppose 0 = -8*b + 7*b + 23. Is 8 a factor of b?
False
Let u(f) = -f**2 - 6. Let d(x) = x**2 + 5. Suppose -4*h - h - 26 = -4*b, 3*b - 4*h - 20 = 0. Let j(z) = b*u(z) + 5*d(z). Is 3 a factor of j(2)?
False
Let j(a) = 10*a**2 + 9*a - 5. Let m(w) = -4*w - 3 - 5*w**2 - 1 + 6. Let s(o) = -2*j(o) - 5*m(o). Is s(-2) a multiple of 16?
True
Suppose -6*z - 10 = 32. Let j(y) be the second derivative of y**4/6 + 5*y**3/3 - y**2 - y. Does 13 divide j(z)?
True
Suppose m + 2*m + 9 = 0. Let v = 4 - m. Let o(r) = r**2 - 4*r - 9. Does 12 divide o(v)?
True
Let x be (18/(-3))/(-4 - -2). Let v be x/(((-18)/(-4))/3). Suppose 0 = v*c - 42 - 20. Is c a multiple of 11?
False
Let a be (-2 - 1)/((-3)/5). Suppose 0 = -2*u + a*u - 18. Is 3 a factor of u?
True
Let z(d) = -8*d - 9. Let g(h) = 4*h + 5. Let u(n) = 5*g(n) + 3*z(n). Is 13 a factor of u(-6)?
False
Let i = 3 - -2. Suppose i*w = 2*w + 27. Does 3 divide w?
True
Let y = -21 - -33. Is 9 a factor of y?
False
Let y = -104 + 273. Is y a multiple of 13?
True
Suppose 25 + 5 = j. Is 9 a factor of j?
False
Suppose -2 = -u - 1. Does 15 divide 440/12 + u/3?
False
Let m(f) = 2*f + 2. Let q be m(-2). Let d = 13 + -7. Is (q*1 - -2) + d a multiple of 6?
True
Let x be (-57)/(-21) + (-4)/(-14). Suppose 3 = -i + x*a - 3, 5*a - 10 = -2*i. Suppose i = -2*t + 4*w + 24, 4*w = -4*t + 2*t. Is 3 a factor of t?
True
Suppose 0 = -6*q + 2*q + 5*g + 8, -3*g = 0. Suppose -q*o = -5*p + o + 36, -4 = 2*o. Is 3 a factor of (p/(-7))/((-5)/35)?
True
Suppose b + 315 = 6*b. Is 9 a factor of b?
True
Suppose 8 = 5*v + 3. Let w be 3/6 + 9/2. Is 2 a factor of w + (0 - v)/1?
True
Let b = 90 - 60. Is b a multiple of 10?
True
Suppose -v + 0*v = -20. Let o = 3 + v. Suppose -3*j + 2*j = -o. Is 11 a factor of j?
False
Let f = -120 + 174. Is f a multiple of 18?
True
Is 53 a factor of (786/(-15))/(-1 + 12/15)?
False
Let z(m) = 2*m + 2. Let t be z(-2). Let w be 2/(-8) - t/8. Suppose 3*g + 5*s - 17 = w, 0 = 4*g + 2*s - 12 - 34. Is 5 a factor of g?
False
Is 15 a factor of (118/10)/((-7)/(-35))?
False
Is (-12)/(-8)*36/3 a multiple of 18?
True
Suppose -5*y = -q - 2, y = -q + 1 + 3. Is q a multiple of 3?
True
Let v(n) = -n**3 + 3*n**2 + 6*n - 5. Let s be v(4). Let u be 1/(((-5)/s)/(-5)). Suppose 3*a - 13 = o, 7 = 4*a - u*a + o. Is a a multiple of 3?
False
Let s = -49 + 89. Is s a multiple of 8?
True
Let k = -15 + 15. Suppose -3*b + 4 = y, 2*y = -k*y - 10. Is b a multiple of 2?
False
Let o = -3 + 1. Is 13 a factor of (1/o)/((-2)/152)?
False
Let v(a) = -4*a - 6. Let n be v(-3). Suppose n*r - 415 = r. Is 23 a factor of r?
False
Let x = -35 + 113. Does 26 divide x?
True
Let x be (-6)/(-4) + (-8)/(-16). Suppose 3*k = -x*k + 250. Is 16 a factor of k?
False
Let v(b) be the second derivative of -5*b**3/6 + b**2/2 - 7*b. Is 21 a factor of v(-4)?
True
Let o(g) = 7*g**2 + g + 3. Let v be o(2). Is 11 a factor of 1/(69/v + -2)?
True
Let m = 2 + 0. Does 31 divide (83 + 6 + -3)/m?
False
Suppose 0 = 4*n + 3 - 11. Let d = 12 - n. Is 5 a factor of d?
True
Is 7 a factor of -56*(-1)/(-2)*-1?
True
Suppose 5*y + 3*j = 18, 2*y - j = -0*y + 16. Suppose -i = -2*v + 6, -28 = 2*v - y*v - 2*i. Suppose v*m + l - 229 = 26, 166 = 3*m - 2*l. Is 26 a factor of m?
True
Suppose 1 + 6 = -l. Let p(h) = h**3 + 9*h**2 + 8*h - 7. Let m be p(l). Let t = -12 + m. Is t a multiple of 10?
False
Let r be (0 - -1)/(1/35). Suppose 52 = m - 2*w, -2*w + r + 1 = m. Is 22 a factor of m?
True
Let i(o) = 7*o**3 + o**2 + o. Let f be i(-1). Does 8 divide f/14 - (-38)/4?
False
Is 4 a factor of -3 + 87/27 - (-1776)/27?
False
Let j = -45 + 80. Does 11 divide j?
False
Suppose -4*h = -h - 33. Suppose 1 = 4*v - h. Is v a multiple of 3?
True
Let j(p) = p**2 - p + 27. Does 12 divide j(0)?
False
Let w(f) = 2*f + 3. Let j be w(-6). Let b = j + 14. Suppose 0*g - 20 = -4*h + 4*g, b*g - 15 = -3*h. Is 5 a factor of h?
True
Suppose 15 = 5*i + 75. Let z(l) = -l**3 - 11*l**2 + 11*l + 11. Is z(i) a multiple of 23?
True
Let b = -80 - -146. Let s(h) = 4*h + 9. Let t be s(-14). Let i = b + t. Is 13 a factor of i?
False
Let k be 5 - (2 + 0 + 0). Does 8 divide k/6*(14 - -2)?
True
Does 10 divide (2 - -57)/(4 - 3)?
False
Let l(j) = j**2 + 13. Is 13 a factor of l(0)?
True
Suppose -5*u - 48 = -13. Let d = 14 + u. Is 7 a factor of d?
True
Let h be (-4)/(-10) - (-16)/10. Let j(c) = 0 + 2 + 4*c**2 - 3 - 2*c**h + 4*c. Does 4 divide j(-3)?
False
Let q(h) = -h**3 - 4*h**2 - 2*h - 3. Is q(-4) even?
False
Let k(u) = 3 - 2*u - 5 - 3*u**2 + 1. Let j be k(-1). Is j + 30/(-4)*-4 a multiple of 15?
False
Suppose 0 = f - 3*s + 8, 3*f - 4 = 5*s - 12. Let i(m) = m**3 - 2*m**2 + 2*m + 2. Is i(f) a multiple of 14?
True
Let y(k) = 4 + 2 - 12*k - 2 - 5. Is 23 a factor of y(-2)?
True
Let y(p) = -3*p - 3. Suppose -2 = 4*f + 5*j, 26 = -4*f + 5*j + 4. Is y(f) a multiple of 3?
True
Suppose 2*z = -2*z + 72. Does 9 divide z?
True
Suppose -2*c - 13 = 5*d - 2, 2*c + 4*d = -8. Suppose 0 = 2*k + 4*o - 192, 4*k + k + 4*o - 498 = 0. Suppose -c*n = n - k. Is 17 a factor of n?
True
Suppose 5*o - 62 = 313. Does 13 divide o?
False
Suppose -4*h + 7 = 2*u + u, 4*u = -4*h + 16. Let y = u - 17. Let w = -1 - y. Is 5 a factor of w?
False
Suppose 5*o + 36 = 1. Let t = 59 + o. Does 15 divide t?
False
Does 12 divide (-9)/(-6) + 207/6?
True
Let x(g) be the second derivative of -8*g**3/3 + 3*g**2 + 6*g. Is 22 a factor of x(-5)?
False
Suppose 66 = 3*j - 2*n, -2*n + 45 = 5*j - 65. Suppose 3*h = 5*o + j, -3*o + 41 = 5*h - 7. Does 3 divide h?
True
Let x(r) = 4*r**3 - r**2 + 3*r - 3. Let v be x(2). Let w = -17 - 3. Let l = v + w. Is l a multiple of 10?
False
Let a(p) be the second derivative of p**4/12 + 3*p**3/2 + 3*p**2 + 4*p. Is a(-9) a multiple of 6?
True
Let o = -49 + 83. Is o a multiple of 8?
False
Suppose 7*v - 460 - 1507 = 0. Does 45 divide v?
False
Suppose w - 5*u - 161 = -33, -4*u = 16. Let d = w - 74. Does 16 divide d?
False
Suppose -4*p + 296 = 2*k, 0 = -3*p - 4*k + 111 + 116. Is p a multiple of 21?
False
Let r be 3 + (-3 - -1) + 1. Suppose -d = -r, -29 - 37 = 4*y - 5*d. Let n = y + 23. Is 3 a factor of n?
True
Does 11 divide ((-12)/(-14))/(-1*1/(-98))?
False
Let i be 333/(-12) - 2/8. Is (-2)/(-1) + -2 - i a multiple of 14?
True
Let n be 1*(4 + 1/1). Let h(f) = 4*f - 4. Is 16 a factor of h(n)?
True
Suppose -5*f + d = -3*d - 33, 3*d + 31 = 5*f. Suppose -f*o - 30 = -w, w = -4*w + 5*o + 190. Is w a multiple of 11?
False
Suppose t - 5*l = 4*t - 264, 3*t + 3*l - 270 = 0. Is t a multiple of 7?
False
Let i be 7 - ((-1 - -1) + -2). Suppose 0 = 5*m - 3*m, -11 = -p - 2*m. Let f = i + p. Is 20 a factor of f?
True
Let l(o) = o**2 + o - 1. Let r be l(-3). Suppose 7*i = 3*i + 16. Suppose -q = -4*h + 168, -5*h = -r*q + i*q - 210. Is 23 a factor of h?
False
Suppose t = -3*a + 3, -t - 5*a = -2*t - 5. Suppose -4*r - 34 = -3*g, t = 4*g - 0*g + 3*r - 62. Is g a multiple of 7?
True
Let l be 14/21*(174 + 0). Suppose -u - l = -0*v - 3*v, 208 = 5*v + 2*u. Is 20 a factor of v?
True
Suppose 112 = t + t. Let h = -31 + t. Does 17 divide h?
False
Let n = 4 + -2. Suppose -n*g + 36 = -2*h + 6*h, 0 = 4*h + 20. Does 10 divide g?
False
Let v(b) = -b**3 + 10*b**2 + 26*b - 11. Is v(12) a multiple of 8?
False
Let j be (4/(-4))/(1/11). Let y = j - -27. Is y a multiple of 12?
False
Suppose -2*l = -3*f - 103, -2*f = -3*l + 3*f + 153. Is l a multiple of 14?
True
