s?
True
Suppose 0 = -5*u + 20, 0 + 1 = d + u. Let j = 23 - d. Suppose 4*o + 2*s = 3*s + 18, -3*s - j = -5*o. Is 4 a factor of o?
True
Does 29 divide 119/4 + (-27)/36?
True
Let t be -5*1*(-6)/10. Let c(g) = -g**2 + t + 0*g - 6*g - 4*g. Does 12 divide c(-9)?
True
Let i(h) = -h - 1. Let j(v) = -7*v - 6. Let r(x) = 10*i(x) - 2*j(x). Is 8 a factor of r(2)?
False
Suppose -25 = -2*n + 5*j, 4*n = n - 4*j - 20. Suppose n*b - 6 = -b. Does 3 divide b?
True
Let m(b) = -b**2 + b + 1. Suppose -4*q + 4*j + 4 = 0, 4*j + 1 = -7. Let f be m(q). Is 21 a factor of ((-1 - f) + 21)/1?
True
Let x = 7 - 4. Is 16 a factor of 20*((-72)/(-15))/x?
True
Let q(k) = k**2 + k + 7. Let l = 9 + -14. Does 9 divide q(l)?
True
Let g(a) = a**3 + 5*a**2 - a + 5. Let n be g(-5). Is 23 a factor of (-92)/(-3)*15/n?
True
Suppose 0*b - l = 4*b + 6, 0 = 3*b + l + 5. Does 7 divide (-24)/(-2)*b/(-1)?
False
Is (-1 - 1)/(-1) + 14 a multiple of 8?
True
Let y be -3*(-3)/(-6)*2. Let b(z) = -6*z - 3. Let l be b(y). Suppose -68 = -4*v - 2*p, -2*p + 5 = v - l. Is 8 a factor of v?
True
Suppose -32 = 3*r - 5*r. Suppose -b + r = -x, 5*b + x + 1 - 69 = 0. Is 14 a factor of b?
True
Suppose 60 = -3*q + 8*q. Let l = 7 - 1. Let w = q - l. Is 6 a factor of w?
True
Let l = -51 - -79. Does 7 divide l?
True
Suppose -f + 12 = 3*f. Suppose 2*s = -f*s + 150. Does 10 divide s?
True
Let v = -7 + 10. Suppose -2*c = -3*r - r - 10, -5*r + 59 = v*c. Is c a multiple of 8?
False
Let h = -2 + -5. Let z(n) = -n + 6. Let l be z(h). Let d = l + -3. Is 10 a factor of d?
True
Suppose -84 = -4*y + 3*q, 5*y + 3*q = 34 + 98. Does 13 divide y?
False
Suppose -l + 1 - 3 = 0, 2*s + 4*l - 24 = 0. Is s a multiple of 6?
False
Let c be ((-630)/(-12))/(3/4). Suppose -5*l + c = -115. Is l a multiple of 16?
False
Let u = 2 - -4. Let k(b) = b**3 - 7*b**2 + 6*b. Let r be k(6). Let v = r + u. Is 4 a factor of v?
False
Is 10 a factor of -1 - (-3 - -6) - (1 - 55)?
True
Suppose 4*c + 183 = 551. Is 23 a factor of c?
True
Let c(f) = 36*f - 3. Let y = -12 + 14. Is c(y) a multiple of 22?
False
Suppose -5*a = -3*t + 307, -t + 3*a - a = -104. Let v be (2 - 4/2)/(-2). Suppose -3*b + t = 2*g + 25, v = b - 2*g - 23. Does 9 divide b?
False
Suppose 45 = u + 4*u. Let f = u + 5. Is 7 a factor of f?
True
Let v(t) = 5*t**2 - 2*t + 9. Is 27 a factor of v(4)?
True
Let l be (2/4)/((-1)/126). Let s be ((-24)/(-14))/(6/l). Let t = s - -32. Is 7 a factor of t?
True
Suppose -10 + 634 = 12*f. Is 8 a factor of f?
False
Let b(g) = -g - 10. Let q be b(8). Does 5 divide q/(-4) + (-4)/(-8)?
True
Let u = 74 - 3. Is 11 a factor of u?
False
Suppose u - 15 = 2*k, 5*k - 3*u + 8*u + 15 = 0. Does 15 divide k/30 + 221/5?
False
Let k be (-1 + 2)*1 - -5. Suppose 2*g - k*g = 140. Let q = g + 51. Is 8 a factor of q?
True
Suppose 0 = n + 4*x + 23 - 84, n + 3*x - 56 = 0. Is n a multiple of 4?
False
Let r(v) = v**3 - 4*v**2 + 3*v + 4. Let g be r(3). Let x be 5*4/(-10)*4. Is (g/(-5))/(x/220) a multiple of 20?
False
Does 22 divide (0 - -1)*(5 + -5 - -466)?
False
Let c(r) = 3*r**2 - 15*r - 15. Let j(h) = 5*h + 3*h + 0*h + 0*h - 2*h**2 + 8. Let z(f) = -4*c(f) - 7*j(f). Is z(-3) a multiple of 3?
False
Suppose -3 = 4*b - 3*h - 11, 2*b = 5*h - 10. Suppose q + 0*t = -2*t + 12, 4*t = -16. Suppose 3*g + 5*x = 15, b*g + x - 27 = q. Is 5 a factor of g?
True
Let u = -4 - -9. Does 2 divide ((-6)/1)/(-3) + u?
False
Is 10 a factor of 50 + 9/((-36)/(-8))?
False
Let b(l) = -l**2 - 6*l + 1. Let t be b(-6). Suppose -z + 59 = t. Does 19 divide z?
False
Let c(q) = -q**3 + 5*q**2. Let m be c(5). Suppose -k - 5*a - 9 = -m*k, -2*k - 3 = 5*a. Is k a multiple of 3?
True
Let v be ((-6)/4)/((-15)/20). Let s = -2 + v. Suppose 4*m - 13 - 7 = s. Is m even?
False
Let x be 26/(-3) - 2/(-3). Let p(u) = u**2 + 5*u - 4. Is 15 a factor of p(x)?
False
Suppose 5*k - 1 = -3*u + 27, -5*u - 4*k + 38 = 0. Suppose 0 = 2*j - 0 - u. Is j even?
False
Suppose 4*o - 122 = a, -13 = 4*o - 4*a - 141. Is o a multiple of 5?
True
Let x(w) = -29*w + 4. Let k be x(-4). Let r = k - 46. Is 19 a factor of r?
False
Let s be -42 - (-2 + -4)/3. Let i = -7 - s. Is 9 a factor of i?
False
Suppose 0 = j + 4*x - 21, -3*x + 5 = -3*j + 2*x. Let o = j + -1. Does 4 divide o?
True
Suppose -s = -6*s + 70. Is 3 a factor of s?
False
Suppose -3*g - 7*g = -100. Is g a multiple of 5?
True
Suppose 6 = -3*k - 9. Let z(w) = -3*w**2 + 3 + 0 + 7*w - 2*w**3 - 2*w**2 - w**2. Is z(k) a multiple of 24?
False
Suppose -3 = 4*d - 27. Is 12 a factor of (2 - 15/d)*-48?
True
Suppose -3*v + 4*h = -0*h - 100, -3*v + 2*h + 104 = 0. Is v a multiple of 18?
True
Let o(g) be the third derivative of -g**4/24 - 2*g**2. Let u be o(-5). Suppose -37 = -u*r + 3. Does 4 divide r?
True
Let s(y) = -6*y**2 - 6 + 16*y**2 + 12*y**2 + 7. Is s(-1) a multiple of 23?
True
Suppose 0 = -2*t + 2 + 4. Suppose g = -t*g + 48. Is 12 a factor of g?
True
Let o(z) = -z + 6. Let p be o(3). Suppose p*n = 3*l - 63, 4*n - 54 = -4*l + 2*n. Does 16 divide l?
True
Suppose 0*q = -q + 56. Does 14 divide q?
True
Let t(q) = -10*q + 5. Does 9 divide t(-6)?
False
Suppose 0 = 5*s - 2*m - 36, -5*s - 18 = -10*s - 4*m. Is (-2)/(-1) + (s - -16) a multiple of 6?
True
Let q be 2/(-11) + (-669)/11. Let z = q - -96. Does 14 divide z?
False
Let r = -8 + 6. Is (-146)/(-9) + r/9 a multiple of 5?
False
Suppose 0 = -8*t + 3*t + 275. Suppose 5*j - f - t = -2*f, 4*j = f + 53. Is 12 a factor of j?
True
Let y be (-2)/1 - (-320)/8. Let f = y + -28. Is f a multiple of 4?
False
Let z = -17 + 43. Suppose 2*g = z + 10. Does 6 divide g?
True
Suppose 3*m - 23 = -5*o, -2*m - 2*m - 8 = -3*o. Suppose 2*u - o*i = -0*u + 94, 0 = -2*u + i + 94. Is u a multiple of 19?
False
Let b = -13 + 77. Does 16 divide b?
True
Let k be (10 - 3)*(-6)/(-14). Suppose 11 = k*z - 1. Is 3 a factor of z?
False
Let j(k) = k**2 + 5*k - 2. Let c be j(-4). Let l = -7 - c. Is 2/6*(-69)/l a multiple of 7?
False
Suppose -3*t - 26 = -5. Suppose 2*i = -0*i - 96. Let q = t - i. Is 14 a factor of q?
False
Let k be (-3 + -2)/(2/(-2)). Suppose 2*d - 4*d - k*l = -10, -2*d + 18 = l. Is 6 a factor of (-3)/6*2 + d?
False
Suppose 26 + 22 = d. Does 24 divide d?
True
Let b be 1/(2*(-3)/(-18)). Suppose -2*r - 14 = -5*k, -b*r = -0*r + 5*k - 29. Is 3 a factor of r?
True
Let a be (-1 - -1)/(-1 + 0). Suppose -z = 3, -3*l - l = 5*z - 41. Does 8 divide 4 + -2 + l + a?
True
Suppose 2*l + 16 - 2 = -4*c, -3*c - 5*l - 21 = 0. Let w be (-1)/c + (-134)/(-4). Suppose -4*j = r - 77, 21 = 3*j - 2*r - w. Is j a multiple of 5?
False
Let l = -502 + 1143. Is l a multiple of 73?
False
Let c be (20/8)/(-5)*-6. Suppose -66 = -c*r - 12. Is r a multiple of 18?
True
Suppose -738 = -5*w - 3*n, -16*w + 13*w + 438 = -3*n. Does 7 divide w?
True
Let j(b) = b**3 + 8*b**2 + 8*b + 7. Let a be 6/(-9)*(-42)/(-4). Let m be j(a). Suppose -4*d + 0*v + 92 = -3*v, m = 2*v + 8. Is d a multiple of 10?
True
Let u(b) = 3*b. Let s be u(8). Suppose s + 63 = 3*t. Is t a multiple of 19?
False
Let q be 0/(1 - (-2 - -5)). Suppose q = 2*v - 1 - 5. Suppose -102 = v*h - 6*h. Is 17 a factor of h?
True
Let n(u) = u**3 - 6*u**2 + u. Let x = 3 - -1. Let h = x + 2. Is 4 a factor of n(h)?
False
Let i(p) be the second derivative of -p**8/6720 - p**7/1260 + p**5/40 + p**4/4 - 3*p. Let b(f) be the third derivative of i(f). Is b(-3) a multiple of 6?
True
Suppose -224 = -4*i - 4*z, -4*z + 8 = 24. Does 12 divide i?
True
Let y(s) = 2*s + 2. Let f(d) = d - 1. Let l(j) = -4*f(j) - 2*y(j). Does 16 divide l(-2)?
True
Let a = -49 + 143. Suppose 16 = -2*n + a. Is 13 a factor of n?
True
Let x(k) = 3*k - 6. Let v be x(10). Suppose -p - v = -2*p. Is 14 a factor of p?
False
Let n be ((-1)/3)/((-3)/333). Suppose 2*t + 82 = 2*z + 2*z, 2*z - n = -3*t. Is z a multiple of 10?
True
Let k = 14 + -9. Let p(l) = -l**2 + 10*l - 1. Does 12 divide p(k)?
True
Suppose 0 = -2*m - 3*l + 2*l + 11, l = 2*m - 9. Suppose 0 = -4*u + x + 4, -3*u + 0 = -m*x + 14. Does 4 divide u/9 - 106/(-9)?
True
Suppose -5*w + 3 = -12. Let k(u) = 13*u - 19. Let s(c) = -7*c + 10. Let j(z) = w*k(z) + 5*s(z). Is 7 a factor of j(6)?
False
Is ((-35)/(-10))/((-1)/(-2)) a multiple of 3?
False
Suppose -2*a = -2, x = -0*a + 2*a + 3. Does 21 divide 0 + x/((-5)/(-42))?
True
Let h be (2 - 6)*(-2)/4. Suppose 5*n - 25 = -5*x, -h*x + 2 + 26 = -4*n. Is x a multiple of 4?
True
Suppose -4*w - 29 + 1 = -2*s, -70 = -5*s + w