5*z + z + 12, 5*z = -5*d + g. Is 11 a factor of d?
True
Suppose 0 = -p + 2*p + 2*b - 3, 19 = 3*p + b. Does 7 divide p?
True
Let v = -6 - -2. Let z be (5/v)/(2/(-8)). Suppose -3*i + z*i + 3*d - 24 = 0, -2*i + d + 40 = 0. Is i a multiple of 18?
True
Is 17 a factor of (9792/(-160))/(3/(-10))?
True
Is -1*12*3/3*-1 a multiple of 12?
True
Let y = -2 + 5. Let x = 3 + -1. Suppose -4*s + 48 = -q, -y*q + 19 = x*s - 5. Is 12 a factor of s?
True
Let t = -12 + 13. Does 6 divide (t/2)/(4/80)?
False
Suppose -3 - 5 = -4*s, 0 = 3*g + 5*s - 16. Let q = 6 - g. Is q a multiple of 4?
True
Let b be 60/9 - (-4)/(-6). Suppose f - b - 34 = 0. Is f a multiple of 11?
False
Let t = 1 + 4. Suppose -o + 1 = -t. Does 3 divide o?
True
Suppose 50 = -2*v - 3*v. Let c(s) = -s**2 - 11*s + 7. Is c(v) a multiple of 6?
False
Suppose -5*z = 5*d - 2*z - 85, 5*d + 5*z = 95. Let a = d + -6. Is a a multiple of 8?
True
Suppose -2*l - 11 = 6*q - 3*q, -2*l = -5*q - 29. Suppose -5*z = -l*g - 30, 0*z - 4*g = -2*z + 28. Is 4 a factor of z?
True
Let g be 4/10 - (-1358)/5. Let j = -174 + g. Is j/8 + (-2)/8 a multiple of 7?
False
Suppose -3*k + 9 = -2*g, 3*g - k - k = -6. Let t(q) = q + 30. Does 16 divide t(g)?
False
Does 2 divide 10*(7 - 4)/6?
False
Let s = -13 + 18. Suppose -o + 4 = -s. Is o a multiple of 3?
True
Let p(g) = -g - 3 + 4*g + 6*g - 3. Is p(4) a multiple of 10?
True
Let s be 1 + (-31)/(-4 + 3). Is 14 a factor of ((-27)/(-12) - 1)*s?
False
Suppose 3*o + 6 = 0, 2*f - 2*o + 6*o = 280. Is f a multiple of 12?
True
Suppose 5*l + 4*g - 177 = 0, -l + 43 = -0*g - 3*g. Suppose 3*z - 95 = l. Is 9 a factor of z?
False
Suppose 0 = -t - 3 + 9. Let d(w) = 2*w + 4. Let g be d(t). Suppose -g - 14 = -c. Is c a multiple of 16?
False
Is 134 + 0 + (1 - (3 - -1)) a multiple of 16?
False
Suppose -5*k + 20 = 5*n, 3*k - 1 = 2*k + 2*n. Suppose -3*c = -2*c - 1. Let s = c + k. Is s a multiple of 3?
False
Is 14 a factor of 3/(-6)*-2 - -55?
True
Suppose -5*r = -0*r - 5*q - 110, 38 = 3*r + 4*q. Is r a multiple of 7?
False
Suppose -9 = 2*n - n - 2*p, -n + p - 4 = 0. Let c = -44 + 129. Suppose -c + n = -3*o. Is o a multiple of 14?
True
Suppose 3*t - 11 = 2*i - i, 0 = 3*t + 3*i - 3. Suppose -g = 2*g + x - 109, 2*x = -t*g + 113. Let u = g + -17. Is 18 a factor of u?
True
Suppose -l + 2*u + 12 + 3 = 0, 2*u + 10 = 0. Is (168/35)/(1/l) a multiple of 8?
True
Let w = 241 + -133. Suppose -w = 5*u - u. Does 2 divide (-86)/(-18) + (-6)/u?
False
Does 9 divide -1 + (-6 - -4) + 192?
True
Suppose 42 = a - j, -2*a + 31 = 3*j - 53. Is 10 a factor of a?
False
Is 23 a factor of (1/(-4))/(2/(-184))?
True
Let q = -2 + 10. Let m(w) = w**2 - 5*w + 4. Does 14 divide m(q)?
True
Let t be (-4)/(-6)*(144 + 0). Suppose l - 3*l = -t. Does 12 divide l?
True
Let h(p) = p + 7. Let w be h(0). Let m(k) = 8 + 4*k**2 + 2*k**2 - 5*k**2 - 7*k. Does 5 divide m(w)?
False
Let f(h) = -23*h - 12. Let t be f(-5). Suppose 0 = 5*a - n - 308, -2*a - 3*n + 27 + t = 0. Is a a multiple of 13?
False
Suppose -t + 5*u + 10 = -63, 5*t - 3*u = 343. Suppose i + 0*i = t. Is 14 a factor of i?
False
Suppose 2*v - 240 = -0*v. Is v a multiple of 28?
False
Let u = 26 - -14. Does 19 divide u?
False
Let i(g) = g**3 + 11*g**2 - 19*g - 6. Does 8 divide i(-12)?
False
Let k be -10*-3*12/45. Suppose 4*a = -0 + k. Suppose 0 = -a*v - v + 75. Is 13 a factor of v?
False
Suppose -2*f - 37 - 104 = -x, 5*f = -4*x + 603. Suppose 4*y + 8*l - 3*l = x, -3*y + 5*l = -84. Is y a multiple of 11?
True
Let o = -3 - -7. Let v = 33 + -37. Is o/(v/(0 - 2)) a multiple of 2?
True
Let o = -10 + 19. Is o a multiple of 7?
False
Suppose -9 = -5*o + 2*o. Suppose 4*m - 4*r = 136, 5*m + o*r = m + 101. Suppose -4*s - 5 = -m. Is 3 a factor of s?
True
Let w(s) = -s**3 + 5*s**2 + 7*s + 1. Let y be w(6). Suppose 0 = 2*o - y*o + 20. Let d(u) = 9*u - 2. Is 11 a factor of d(o)?
False
Suppose 190 = 2*c + 2*p, -4*c - 3*p = -2*p - 365. Is c a multiple of 15?
True
Let o be (-83)/2 - 2/4. Is -3 - o/(1 - -2) a multiple of 10?
False
Suppose -15*h + 20 = -13*h. Is 6 a factor of h?
False
Let h(a) = -7*a - 2. Let f be h(-6). Let i = 3 + -2. Does 11 divide ((-8)/(-10))/(i/f)?
False
Let u(o) = -o**2 - 6*o - 3. Let x be u(-5). Suppose 12 = 2*k + x*k. Is 5 a factor of 4/(1 + k/(-9))?
False
Let z = -7 + 25. Is z a multiple of 9?
True
Let b(f) = -f**3 - 5*f**2 + 7*f + 7. Let q be b(-6). Suppose r - 17 + q = 0. Does 8 divide r?
True
Let b = 1 - 2. Suppose 0*u - 183 = -5*o - 3*u, -5*u + 136 = 4*o. Is 3 - 2 - o*b a multiple of 15?
False
Let m(h) be the second derivative of -h**3/3 + h**2/2 - 5*h. Is 17 a factor of m(-8)?
True
Suppose -540 = -4*w + 460. Does 57 divide w?
False
Let u(z) be the second derivative of z**4/12 - z**3/2 + z**2 + 2*z. Let j be u(4). Is j/4*100/15 a multiple of 5?
True
Suppose -7*b + 291 = -185. Is 6 a factor of b?
False
Let j = 14 - 9. Suppose -j - 71 = -4*u - 4*b, 5*u = -b + 99. Is 20 a factor of u?
True
Suppose -2*b + 2 = -y - 0, -4*b = 8. Let p(a) = a**2 + 7*a + 9. Is 3 a factor of p(y)?
True
Suppose 6*z - 4*z + 232 = 4*t, 4*z - 316 = -5*t. Is t a multiple of 10?
True
Let g = 4 - 4. Suppose 4*n + 0*n - 16 = g. Suppose 3*l + 2 = n*q + 37, -2*q = 2*l - 14. Does 9 divide l?
True
Let n = -4 + 6. Let k be ((-1)/(-1))/(n/6). Suppose -k*s + 0*s + 42 = 0. Does 14 divide s?
True
Let d = -21 - -43. Is d a multiple of 22?
True
Is 6 a factor of 2/(6/(-9)) + 42?
False
Let w = 130 - 34. Suppose g = 5*g - w. Suppose 2*n + 2*s = 100 - g, 0 = n + 2*s - 36. Does 20 divide n?
True
Suppose -2*m - 14 = -4*m. Let k = 21 - m. Is k a multiple of 7?
True
Let d(f) = f**3 - f**2 - f + 50. Let c be d(0). Suppose 5*o = 20, -2*o - 2 = -4*a + c. Does 6 divide a?
False
Let x(l) = 8*l - 23. Let a be x(7). Let r = a - 13. Is r a multiple of 4?
True
Suppose -2 = -2*g - 88. Let h = 98 + g. Is h a multiple of 20?
False
Let h be ((-22)/(-8) + -2)*4. Suppose -3*v - 57 = -h*l, -2*l + 22 = -5*v - 25. Does 8 divide l?
True
Suppose 4*w = -20 - 64. Let l = 34 + w. Is 4 a factor of l?
False
Let q = -4 + 7. Suppose -2*r = g - 13, 4*r - q*g - 11 = -0*g. Does 4 divide r?
False
Suppose -2*x = -326 + 86. Suppose 0*z + 2*z = 2*b + 120, -x = -2*z - 3*b. Suppose 3*d - 5*c = 16, -z = 2*d - 6*d - 3*c. Is d a multiple of 6?
True
Suppose -5*m = 156 - 6. Let y = -11 - m. Is 4 a factor of y?
False
Let l be 56/3*15/5. Suppose 3*b - 113 = 4*h - 3*h, b - 4*h - l = 0. Suppose 2*c + b = 4*c. Is c a multiple of 6?
True
Suppose -r = -15 + 7. Is r a multiple of 7?
False
Let r be (8/(-6))/((-2)/6). Suppose -3*x + 23 = q, 2*x + 5*q - 2 = -r. Let z = 1 + x. Is 5 a factor of z?
True
Let w = 10 - 8. Suppose 0 = a - 4*a + 5*p + 37, -2*a + w*p + 22 = 0. Is 3 a factor of a?
True
Let j = -1 + 7. Suppose -10*o = -j*o - 56. Does 12 divide o?
False
Suppose 2 = -5*v - 23. Let p(h) = -h**2 - 4*h + 7. Let x be p(v). Does 6 divide 25/2 + x/(-4)?
True
Let c be (-39)/(-9) + (-3)/9. Suppose c*x - 5*d - 94 + 15 = 0, -3*x = 4*d - 36. Does 8 divide x?
True
Suppose -47 - 217 = 3*g. Let n be (6/4)/((-4)/g). Is (4/(-6))/((-2)/n) a multiple of 9?
False
Suppose 3*k - 2*k = 2, -2*d = 5*k - 18. Let s = d - 6. Let m = s - -14. Is 6 a factor of m?
True
Let f(x) = x + 4. Let j be f(0). Suppose -j*s + 4*i = -8, 4*s + 4*i + 0*i - 16 = 0. Does 3 divide s?
True
Let p(l) = l**3 + l**2 - l + 53. Let u be p(0). Suppose -2*x + x + 2 = 0. Suppose -3*f + 265 = x*f - g, -g - u = -f. Is 18 a factor of f?
False
Let c = 11 + -15. Let g = 44 - c. Is 8 a factor of g?
True
Let m be 0 + 22 - (-3 - -5). Suppose -m = -x + 6*x. Let n(w) = w**3 + 5*w**2 + 2*w - 1. Does 7 divide n(x)?
True
Let v = 0 + 0. Let g be v/(2 + (0 - 1)). Is (0 - -11)*(g - -2) a multiple of 15?
False
Let p(v) be the third derivative of v**4/8 + v**3/2 + v**2. Is p(5) a multiple of 9?
True
Is -12 + 15 + 37 + -1 a multiple of 22?
False
Suppose 3*k = 4*g - 2*k - 1394, -1376 = -4*g - 4*k. Let s = -45 + 66. Does 16 divide g/14 - (-6)/s?
False
Let f be 1*(-1 - 0)*3. Let l = f + 7. Is -1 - 1 - (-38 - l) a multiple of 20?
True
Let h = -123 - -219. Does 25 divide h?
False
Let x = 2 + 1. Suppose c - 45 = -x*h, -3*h - 3*c = -c - 48. Is 7 a factor of h?
True
Suppose 4*x + 23 = a + x, 0 = -2*a + x + 56. Is a a multiple of 14?
False
Suppose 5*u = 4*u - 24. Is (-4)/((-20)/u + -1) a multiple of 12?
True
Suppose -7*b = -90 + 13. Is b a multiple of 2?
False
Suppose 