6 a factor of k(y)?
False
Suppose 0 = -2*h + 194 - 34. Does 16 divide h?
True
Let v(s) = s**2 - 10*s - 17. Let p = 29 - 17. Is v(p) a multiple of 7?
True
Suppose -3*r + 3*u + 21 = 3, -4*r + u = -21. Does 2 divide r?
False
Let k = -4 + 9. Is k a multiple of 5?
True
Let q(j) = j**2 + 3*j - 8. Let t = -5 + 9. Does 4 divide q(t)?
True
Let c be ((-2)/6)/(2/(-12)). Suppose 5*h + 19 = 3*t, -c*t = 2*h - h - 30. Is t a multiple of 13?
True
Let j be (-1)/(3/(36 + 0)). Let y = j + 6. Is 8 a factor of (2/6)/(y/(-342))?
False
Suppose 3*n = 4*r + 7 + 7, 2*n = -2*r. Is 3 a factor of (-6)/(n - 3) - 3?
True
Suppose -3*g + 41 = z + 2*g, 5*z = -2*g + 136. Is z a multiple of 4?
False
Is 13 a factor of (-12)/(-6)*(-134)/(-4)?
False
Is 12 a factor of ((-2)/(-1) + -31)*(-3)/1?
False
Is (-144)/14*(-5 + 50/(-4)) a multiple of 53?
False
Is 11 a factor of -3 - -21*(-4)/(-6)?
True
Let i(p) = 2*p - 1. Let j be ((-5)/3)/((-1)/(-3)). Let g be i(j). Is 2/6 - g/3 a multiple of 2?
True
Let j = 0 + 4. Let c(d) = -5*d + j*d - 4*d**2 - 3*d**3 + 5*d**3 + 3*d. Is c(2) a multiple of 2?
True
Let q = -10 + 6. Is (-632)/(-32) - (-3)/q a multiple of 6?
False
Suppose -3*t - 119 = -7*t - 5*b, -128 = -3*t + 4*b. Is 9 a factor of t?
True
Suppose -5*j + 23 = -2. Suppose 8 + 42 = j*r. Suppose -2*t + r = t + d, -4*t + 5*d + 26 = 0. Does 2 divide t?
True
Suppose 0 = -3*a + 3*s + 6, 4*a + 3*s - 7 = -27. Is 44 + (a/(-1) - 0) a multiple of 23?
True
Suppose -3*k = -d + 3*d - 107, 3*k - 5*d - 121 = 0. Is 7 a factor of (-1)/2 + k/2?
False
Suppose -2*d + 5*s = 10*s - 88, 0 = 5*s + 20. Is d a multiple of 27?
True
Suppose 3*w + 5*o = 10*o + 675, 2*o - 926 = -4*w. Is w a multiple of 13?
False
Suppose -212 = -4*h - 4*c, 5*h - h - 4*c - 252 = 0. Is h a multiple of 26?
False
Let q be (-1)/5 + 48/15. Let y(k) = 10*k + 4. Is y(q) a multiple of 17?
True
Let v = 120 - 88. Is v a multiple of 5?
False
Let v(r) = -8*r - 27. Let m(f) = f**3 + 5*f**2 - 7*f + 1. Let i be m(-6). Let x(d) = -3*d - 9. Let u(l) = i*x(l) - 2*v(l). Is u(-7) a multiple of 9?
False
Suppose 4*c = 7 + 5. Is 2 a factor of 3 + (-1 - -7)/c?
False
Suppose 0 = -n + 2 + 1. Let k = -3 + n. Suppose -2*f + 3*f - 24 = k. Is f a multiple of 9?
False
Let v(f) = -3*f - 8*f + 3*f - 4 - 6*f. Does 13 divide v(-3)?
False
Suppose 16*a = 5*a + 264. Is a a multiple of 6?
True
Let c = 104 - 56. Is c a multiple of 16?
True
Let z(y) = y**2 + y + 30. Suppose -2*f = f. Does 16 divide z(f)?
False
Let k be 183/27 - (-4)/18. Let b be (10 - k)*(1 - 0). Suppose 0 = f - 34 - b. Is 10 a factor of f?
False
Is 18 a factor of (-218)/(-3) - (-6)/(-9)?
True
Let c = 41 + -38. Does 2 divide c?
False
Let m = -21 - -64. Is m a multiple of 14?
False
Let f(o) = 9*o. Let y = 9 + -7. Does 7 divide f(y)?
False
Suppose 5*a = -5*i - 63 + 893, -4*a + 668 = 5*i. Does 16 divide a?
False
Suppose 5 - 33 = -4*m. Let o(l) = m - 3*l**3 - 7*l**2 + 6*l**3 - 4 + 7*l - 2*l**3. Is 5 a factor of o(6)?
False
Let t(s) = s**2 + 8*s - 1. Let o = 7 + -16. Is 4 a factor of t(o)?
True
Suppose -4*b + v = -3*v - 176, b + 2*v - 56 = 0. Is 28 a factor of b?
False
Let m(t) = 7*t**2 + 14*t - 2. Let v(o) = -15*o**2 - 29*o + 3. Let b(x) = 13*m(x) + 6*v(x). Let d be b(-7). Does 8 divide (-3*1)/(d/80)?
True
Suppose i = 11 - 2. Let y = i + 3. Is y a multiple of 4?
True
Suppose 4*d + 4*h - 24 = 0, 5*d + 0*h = -h + 50. Does 3 divide d?
False
Let g(w) = 1 + 4*w + 0*w - 3*w. Let c be g(-6). Let q(f) = -4*f - 3. Is 17 a factor of q(c)?
True
Let o = -74 + 202. Is o a multiple of 16?
True
Let f = -48 + 74. Does 11 divide f?
False
Suppose -3*c + 108 = c. Suppose -i = -39 - c. Is 22 a factor of i?
True
Let y(x) = x**2 + x + 243. Let h be y(0). Is 27 a factor of (h/(-36))/((-1)/12)?
True
Suppose -3*w - 2*z = 78, -2*z - 5 - 1 = 0. Does 9 divide 6/(-2) + (-1 - w)?
False
Let z = 168 - 70. Is 25 a factor of z?
False
Suppose 5*y + 302 - 1754 = 2*c, -865 = -3*y - 5*c. Is 58 a factor of y?
True
Let c be 0/(-3 + 0 + 2). Is (c - -3 - 24)/(-1) a multiple of 7?
True
Let x = 39 - 30. Does 9 divide x?
True
Suppose -4*z + 2 = 6, 3*b - 195 = -3*z. Does 18 divide b?
False
Suppose -5*r + 693 = -162. Is r a multiple of 9?
True
Suppose -25*t + 24*t + 76 = 0. Is 19 a factor of t?
True
Suppose 0 = 3*n - 5 - 13. Is 7 a factor of ((-52)/3)/((-4)/n)?
False
Suppose -4*w + 3*w = -9. Is 6 a factor of w?
False
Suppose -3*g - 2*g = 0. Suppose 3*s + 4*f - 85 = g, -3*f + 30 = -3*s + 4*s. Is 9 a factor of s?
True
Let g(h) = 20*h - 53. Is g(10) a multiple of 21?
True
Let a(k) = 3*k - k - 6 + 2*k - k**2. Let t(v) = 2*v**2 - 3*v + 7. Let g(f) = -3*a(f) - 2*t(f). Does 6 divide g(-5)?
False
Let a = -9 + 37. Is a a multiple of 6?
False
Suppose 4*v + v = -45. Suppose -g = -2*a - 2*a + 162, -5*a + 207 = g. Let n = v + a. Does 10 divide n?
False
Suppose -b - 4 = 4*p + 21, -2*p + 10 = -4*b. Let x(v) = v**3 + 5*v**2 - 2*v - 7. Let t be x(p). Suppose -a = -5*h + t*a + 30, 5 = a. Is h a multiple of 5?
True
Let z(w) = -6*w + 1. Let y be z(-1). Let x be 42/(-9)*(-36)/y. Suppose 0 = 3*a - 0*a - x. Is a a multiple of 7?
False
Suppose -18 = -4*v + 2. Let b(o) = -7 + 0*o + v*o + 0 + 2*o**2 + o. Is 13 a factor of b(-5)?
True
Does 22 divide 197 + (2 + -3)*-1?
True
Suppose -13 - 22 = 5*v - 3*c, v - 2*c = 0. Let l(n) = -n**2 - 11*n - 4. Does 6 divide l(v)?
True
Let v = -5 - -4. Is 4 a factor of 0 + v + 2 + 8?
False
Let g = 281 - 137. Is g a multiple of 12?
True
Let b = 36 - 0. Suppose 0 = a - c - 9, 4*c - b = -4*a - a. Does 5 divide a?
False
Let v be (4/(-2))/((-3)/6). Suppose 0 = 5*a - j - 142 + 17, 0 = -v*a - 4*j + 76. Does 19 divide a?
False
Does 31 divide (2 + 1)/((-5)/(-175) + 0)?
False
Does 7 divide 87/2 - 1/(-2)?
False
Let s be ((-72)/(-28))/((-2)/(-14)). Let n = s + 0. Does 9 divide n?
True
Is 3 a factor of (-5*13/(-5))/(1 + 0)?
False
Let i(g) = -g**2 - 4*g - 5. Let r be i(-5). Let l = r + 20. Is l a multiple of 5?
True
Let t = 6 - 1. Suppose 0 = 4*q + t*r - 32, 4*q - 35 = q - r. Does 13 divide q?
True
Let q(b) = b**3 - 3*b**2 - 2*b + 3. Let u(g) = g**3 - 2*g**2 - 2*g + 2. Let w(m) = 2*q(m) - 3*u(m). Is 13 a factor of w(-3)?
False
Suppose 0 = 4*k + 4*m + 36, 5*m + 3 = -3*k - 18. Let b(u) = 4*u + 10. Let s be b(-7). Let g = k - s. Does 6 divide g?
True
Let h(u) = u**2 + 13*u - 8. Is h(-16) a multiple of 7?
False
Let c be (-6 - -48) + (2 - -1). Let h = -17 + c. Is h a multiple of 14?
True
Let n(a) = 16*a**2 - 2*a - 2. Is n(-1) a multiple of 7?
False
Let z(p) = -p**3 - 4*p**2 + 4*p. Is 12 a factor of z(-6)?
True
Let c be (1/(-2))/(2/20). Suppose -u - 37 = -2*h - h, 2*h - 30 = 2*u. Let l = h + c. Is l a multiple of 6?
True
Let x(a) = 3*a**2 - 32*a + 28. Is 13 a factor of x(12)?
False
Suppose 3*i + 63 = -i + 5*x, -3*x + 7 = -i. Let s = -14 - i. Is s a multiple of 3?
False
Let d be (-1 - -11)/(3 + -1). Suppose -17 = -3*m + d*s + 88, 0 = -4*s - 12. Does 16 divide m?
False
Suppose -q + 2*y + 34 = 4*q, -2*q + 22 = 2*y. Does 6 divide q?
False
Let o(v) = -8*v + 9. Is 10 a factor of o(-4)?
False
Suppose -3*a = -0*a - x - 59, -2*x + 8 = 0. Is 4 a factor of a?
False
Does 43 divide 52/(-78)*(1814/(-4) - -2)?
True
Let w = 4 + -2. Suppose w*i - 2 - 2 = 0, -3*i + 30 = 3*l. Is 3 a factor of l?
False
Let w(y) = -y - 14. Let h be w(0). Does 16 divide (-8)/(-28) - 668/h?
True
Let s(p) = p**2 + p - 2. Let g(v) = 2*v + 4. Let o be g(-7). Is s(o) a multiple of 18?
False
Suppose 2*w - 243 = 3*v, -4*w = -5*v - 43 - 448. Does 43 divide w?
True
Let i = -5 + 12. Suppose -5*c = n - 152, i*c - n = 2*c + 158. Is 14 a factor of c?
False
Is 13 a factor of 774/10 + (-20)/50?
False
Suppose -3 = d - 2*s, -s - 3 = 2*d - 4*s. Suppose -q = d*q - 8. Suppose -r = -q*r + 28. Is 14 a factor of r?
True
Suppose f = 6*f - 110. Suppose -58 = 4*r - f. Let l = 1 - r. Does 8 divide l?
False
Let f = -28 + -8. Let n = 64 + f. Does 20 divide n?
False
Suppose 2*x - 3*x - 3*p = 7, -x = 5*p + 11. Let f be 26*(x - (-3)/2). Is 3 a factor of f/2 + (-4)/8?
True
Suppose -4*b = x - 84, -5*b + 21 = -4*b + 4*x. Suppose 0*g = -m + 4*g + 18, -2*m = -3*g - b. Is m even?
True
Suppose 4*t + 2*a = 4*a + 10, -2*t = -5*a - 9. Suppose t*m = 7*m - 20. Suppose 2 = l, -4*s + 62 = 5*l - m. Is s a multiple of 9?
False
Let a(h) = h**3 + 4*h**2 - 1. Suppose 11 = 4*t + 23. Is 3 a factor of a(t)?
False
Suppose 129 = 2*d - 119. Is d a multiple of 31?
True
