 + 0*q + 0 - 3*q - 4*q. Let k be h(-6). Suppose -4*b - 131 = -w - k, 214 = 3*w + b. Does 19 divide w?
False
Suppose -4*h + 600 = h. Suppose y = -4*y + h. Is 12 a factor of y?
True
Suppose -5*p + g = -0*g - 37, 0 = -2*p - 2*g + 22. Does 27 divide -3 - (-61 - p/(-2))?
True
Let c = 327 + -207. Does 40 divide c?
True
Suppose 2 + 6 = 4*x. Suppose 5*m + x = 12. Suppose m*d - 32 = -4*k + 6, 0 = -d + 3. Is k a multiple of 3?
False
Suppose 4*t + 117 = h, -4*h + 468 = -0*t - t. Is h a multiple of 19?
False
Suppose -2*u - 2 - 6 = 0. Let t(m) = -m. Is 4 a factor of t(u)?
True
Suppose -3*m = m - 12. Suppose 5*x - 2*f = 350, m*x + 5*f = -2*x + 385. Is x a multiple of 24?
True
Let p(r) = 33*r**2 - 2*r - 4. Does 11 divide p(-2)?
True
Is 19 a factor of 18/27 + (-112)/(-3)?
True
Suppose -5 = -3*b - o + 6, 26 = 3*b + 4*o. Is b/(-6) - (-328)/12 a multiple of 9?
True
Suppose 0 = -4*k - 131 + 367. Is 5 a factor of k?
False
Let h(b) = b**3 - 3*b**2 - 6*b - 5. Let z be h(5). Suppose -4*c + 46 = 3*d, -2*d - z = -3*c + 11. Is 5 a factor of c?
True
Let u(k) = -74*k**3 + 2*k - 1. Let s be u(1). Let d = s - -106. Does 11 divide 6/(-9)*d/(-2)?
True
Does 4 divide -4*((-75)/12 + 3)?
False
Let n(f) = -f**2 - 3*f. Let y = -9 + 5. Let r be n(y). Let i = r - -8. Does 3 divide i?
False
Let u(y) = -16*y - 6. Let o(v) = v + 1. Let x(c) = -8*o(c) - u(c). Suppose -5*h - h = -36. Is x(h) a multiple of 12?
False
Suppose 29 = -4*c + 437. Let k = -20 + c. Is k a multiple of 21?
False
Let l = -3 + 11. Is 1 + 2/(l/20) a multiple of 4?
False
Let y(k) = -k + 10. Let w(o) = o + 6. Let l be w(-6). Let q be y(l). Suppose -5*v - 95 = -q*v. Is 15 a factor of v?
False
Suppose 5*a = 552 - 162. Suppose 3*m = a + 18. Is 16 a factor of m?
True
Let p(c) = c**2 - 8*c + 7. Is 7 a factor of p(8)?
True
Let v(m) = -m**2 + 6*m + 3. Let t be v(-8). Let f = t - -172. Is 14 a factor of f?
False
Let n be 8/(-28) + 130/14. Let v(d) = -d**3 + 8*d**2 + 11*d - 10. Is 6 a factor of v(n)?
False
Suppose 5*k = -0*k. Does 4 divide (1 - k/3) + 7?
True
Let t(p) = -14*p**3 - 39*p**2 - 36*p + 20. Let k(z) = -5*z**3 - 13*z**2 - 12*z + 7. Let f(q) = -11*k(q) + 4*t(q). Is f(-12) a multiple of 2?
False
Let u(w) = w**2 + 4*w + 4. Does 9 divide u(-5)?
True
Let t(q) = -q + 8. Let r be t(4). Suppose -2*b - 110 = -r*d, b = 3*b - 10. Is 15 a factor of d?
True
Let b(i) = i**2 + 7*i - 5. Let j be b(-7). Let v be 5 + 0 + (j - -3). Suppose 0 = v*u + 2*d - 60, u = -u - 5*d + 40. Is u a multiple of 20?
True
Let z(j) = -j - 3. Let m(b) = b + 4. Let p(q) = -7*m(q) - 6*z(q). Let r be p(-9). Does 9 divide (0 - r)/((-3)/(-27))?
True
Let j(b) = 8*b - 2. Let r be j(2). Suppose 44 - r = 3*a. Does 5 divide a?
True
Let v be (-2)/(-4) - 3/2. Let k(u) = -u**2 - 1. Let y be k(v). Is 12 a factor of 23 + (-3)/6*y?
True
Suppose j + 5 = 4*s + 13, -5*j + 135 = -s. Let h = 62 - j. Is h a multiple of 12?
False
Let g(m) = -8*m**3 - 3*m - 2. Does 14 divide g(-2)?
False
Suppose -5*g + 5 + 0 = 3*r, 3 = -r + 3*g. Suppose 2*h + 5*j = -2*h - 64, r = -3*h - 5*j - 48. Let k = h - -22. Is 6 a factor of k?
True
Does 45 divide (20/(-2))/((4 - 0)/(-72))?
True
Suppose 0 = 3*u + 89 - 8. Is u/3*(-3)/9 a multiple of 2?
False
Suppose -5*b - 14 = q, -b = q + 4*q + 22. Let g be (3 + q/(-1))/(-1). Let f(i) = -2*i - 1. Does 5 divide f(g)?
False
Suppose -122*x - 120 = -126*x. Is x a multiple of 13?
False
Let b(d) = -d - 7. Let i be b(-5). Let l be (-460)/8 - i/4. Let c = -38 - l. Is c a multiple of 11?
False
Suppose 0 = -2*h + 3 + 1. Suppose 4*i - h*i - 190 = -5*v, -2*v + 4*i = -100. Suppose v = n + 3*n. Is n a multiple of 5?
True
Let b(f) = -f. Let q(h) = -8*h + 12. Let t(i) = 6*b(i) - q(i). Let o be t(9). Let l = o + 0. Is l a multiple of 4?
False
Suppose 4*c + 15 + 19 = 2*g, 4*g - 78 = 3*c. Let h = 40 - g. Is 12 a factor of -1 - 0 - h*-1?
False
Suppose 0 = -2*g + 1 + 3. Is 5/(-10) - (-13)/g a multiple of 2?
True
Let f(x) be the second derivative of 0*x**3 + 1/12*x**4 + 7*x**2 + 1/20*x**5 + 0 - 3*x. Is f(0) a multiple of 14?
True
Let g(k) = k**3 + 6*k**2 + 4*k - 3. Let m be g(-5). Suppose 3*l + r + 36 = 7*l, -m*l = 5*r - 40. Is 10 a factor of l?
True
Let k be -1 + 0 + (-128)/1. Let u = -89 - k. Does 20 divide u?
True
Let b = 16 - 11. Suppose -b*t - 6 = -m - m, -2*t = 5*m - 15. Suppose -4*f + m*f + 38 = 0. Is f a multiple of 19?
True
Suppose 5*n - 36 = 3*a + 9, 30 = -2*a + 4*n. Let h = -8 - a. Is h a multiple of 7?
True
Does 8 divide 1 - -41 - ((-5 - -2) + 5)?
True
Let n = -17 - -22. Suppose -n*h = -5*d - 0*h + 215, -8 = -4*h. Is d a multiple of 15?
True
Is 9 a factor of (1 - -15)/((-6)/(-12))?
False
Suppose -2*n + 3*g + 8 = 0, -3*n - g - 3*g + 29 = 0. Is 3 a factor of n?
False
Let b(h) = -h**3 - 7*h + h - h**2 + 7*h**2 + 2. Let y be (-56)/(-49)*(-7)/(-2). Is 4 a factor of b(y)?
False
Let q(z) = -z + 16. Let o(f) = -f**2 - 3*f - 2. Let t be o(-2). Let i be q(t). Suppose -29 = -5*x + i. Does 4 divide x?
False
Suppose 0 = -4*a - a + 135. Does 10 divide a?
False
Let w(j) = -j**3 + 6*j**2 - 5*j - 5. Let q be w(5). Let h(s) = s + 10. Does 2 divide h(q)?
False
Let d = -124 - -328. Is 17 a factor of d?
True
Suppose 3*k - 2*k - 117 = 0. Is 29 a factor of k?
False
Let g(o) = 57*o**2 + 7*o - 1. Is 7 a factor of g(1)?
True
Let y = 55 - 21. Is y a multiple of 3?
False
Suppose 4*w + 4*y + 113 - 433 = 0, -5*w + 360 = -5*y. Is 23 a factor of w?
False
Suppose 1 = -2*b + 3. Does 5 divide 10*1 + -1 + b?
True
Suppose -2*q + f - 187 = -486, 2*f - 152 = -q. Is 17 a factor of q?
False
Let c(k) = 28*k**2 - 4. Let l be c(-4). Is l/14 + 8/28 a multiple of 16?
True
Suppose -5*b + 35 = -4*a - 14, 4*b = -4*a + 32. Does 4 divide 212/18 - (-2)/b?
True
Let y = 107 - 44. Is 21 a factor of y?
True
Suppose -3*m + 1 + 53 = 0. Does 4 divide m?
False
Suppose -9 + 1 = -2*a. Suppose 0 = -5*h - 2*g + 1, -5*h - a*g + 0 - 3 = 0. Suppose -h = -b + 13. Is b a multiple of 14?
True
Suppose -f - 201 = -4*f. Suppose -q = -5*q + 192. Let i = f - q. Does 19 divide i?
True
Let f be 62/5 + (-2)/5. Suppose 4*w + 0*w - f = -2*t, 0 = -4*t - 5*w + 21. Suppose -j - 4*j + 30 = t*g, -5*j - 2*g + 30 = 0. Is 3 a factor of j?
True
Suppose -f + 5*l + 41 = 4*l, -4*f + l + 176 = 0. Is f a multiple of 17?
False
Is 288/(-60)*5/(-2) a multiple of 12?
True
Does 4 divide 6/8 - 170/(-8)?
False
Let m be 26/7 + (-4)/(-14). Suppose -116 - 80 = -m*u. Is 13 a factor of u?
False
Suppose -4*n + 5*n = 2. Suppose n*l + s - 5*s = 52, 0 = 4*l - s - 83. Is 6 a factor of l?
False
Suppose -2*g + 7 = 3*k + 14, -23 = 4*g - 3*k. Let n(r) = -4*r - 2. Is n(g) a multiple of 14?
False
Let q(u) = u**3 + 3*u**2 - 6*u - 5. Let a be q(-4). Suppose -4*i - a*s - 240 = -779, -4*i = 2*s - 534. Let y = i - 81. Does 18 divide y?
False
Suppose 12*j = -117 + 981. Does 42 divide j?
False
Let v(n) = n**3 + 2*n**2 + n. Let b be v(-2). Let t(g) = -g**3 - g - 1. Let y be t(b). Suppose -4*u - 15 = -y*u + 5*l, -4*l = 4*u - 36. Is u a multiple of 6?
True
Let c = -33 + 105. Suppose -f + c = 4*v, f + f = 5*v - 77. Is 17 a factor of v?
True
Let f = -10 - -34. Let o = f + 8. Let u = -22 + o. Is u a multiple of 5?
True
Let c = -3 - -3. Suppose -2*v + 6 - 2 = 0. Suppose 2*k - 46 = v*z, c = k - z - 3*z - 17. Is 9 a factor of k?
False
Let a be 3/1 + -52 + 1. Let w = -21 - a. Is w a multiple of 9?
True
Let x(t) = t**2 - 8*t + 7. Let p be x(6). Let m = p + 11. Does 3 divide m?
True
Suppose 3*m - 4 = -2*n + 68, 4*n = -3*m + 132. Is 15 a factor of n?
True
Let w(a) = -a + 5. Suppose -16 = 2*j - m, 38 = -5*j - 3*m + 5*m. Is 4 a factor of w(j)?
False
Suppose a - 7 = 16. Let p be (30/9 + 2)*12. Suppose -z + p = 4*i + 3*z, -2*i = -z - a. Is i a multiple of 11?
False
Let j(a) = -2*a**3 - 5*a**2 + 2*a - 3. Let g be 12/2*(-4)/6. Is j(g) a multiple of 10?
False
Let j be 1/(-2) + 35/10. Suppose -5*d + 20 = 2*r, -r - 4*d - 2 = -j*r. Suppose -r*l + 20 = -30. Is 4 a factor of l?
False
Suppose 2*c + 3*f = -12, -2*c + f = 3*f + 8. Suppose 3*b + c*b = 72. Is b a multiple of 7?
False
Let f(v) = v**2 + 4*v - 5. Let z be f(-4). Let l(d) = -5*d + 8. Does 13 divide l(z)?
False
Let q = 1523 - 2283. Does 13 divide (-8)/36 - q/18?
False
Let g = 28 - 24. Is g a multiple of 4?
True
Is 26 a factor of 52/1*(-4)/(-8)?
True
Let l(u) = -2*u**3 + 2*u + 1. Let g be l(-1). Is 6 a factor of (g + (-3)/(-9))*9?
True
Let v = -94 - -169