s 8 a factor of p?
True
Let m be 646/9 - (-16)/72. Let z = 156 - m. Is z a multiple of 24?
False
Is ((-5)/(30/(-9)))/(1/82) a multiple of 22?
False
Suppose -5*c - 4*j = 46, c - 2*j + 42 = -3*c. Let k = c + 22. Does 6 divide k?
True
Let r be -3 - (-3 + 6 - 6). Suppose r = g + 3*g - 12. Does 2 divide g?
False
Let x(u) = 37*u**2 - 1. Let k be x(1). Suppose 4*m = 8*m - k. Does 9 divide m?
True
Let s = 51 + 44. Is 19 a factor of s?
True
Let s = 181 + -89. Does 28 divide s?
False
Suppose 0 = -3*c + 15, -2*o = 7*c - 2*c - 27. Is 23 a factor of (5 - 8) + (o - -28)?
False
Let j(n) = 6*n + 32. Is j(16) a multiple of 16?
True
Let h(l) = 10*l + 1. Let c be h(-5). Does 8 divide (-1610)/c + (-2)/(-14)?
False
Suppose 4*u + 174 = 4*n - 122, -u + 4*n = 62. Let c be (u/(-9))/(6/27). Suppose -o - 11 = -c. Is 14 a factor of o?
True
Suppose -3*d + 20 = -10. Is 10 a factor of d?
True
Suppose -2 = -3*q + 7. Suppose -q*a + 384 = a. Does 24 divide a?
True
Let m(u) = u**3 + 8*u**2 + 3*u + 1. Is 3 a factor of m(-5)?
False
Let a(r) = 3*r**3 + 4*r**2 - 5*r - 3. Is a(3) a multiple of 33?
True
Suppose y + 177 = 2*f - 43, -5*f + 520 = 5*y. Is 18 a factor of f?
True
Suppose 0 = -0*a - 3*a + 36. Let x = a + -7. Does 2 divide x?
False
Let l = -50 + 133. Is l a multiple of 9?
False
Let o = -111 + 191. Suppose 0 = -2*u + o - 28. Is 13 a factor of u?
True
Suppose 1 = 5*f - 14. Is f a multiple of 3?
True
Suppose -5*t = -0*f + 3*f - 19, 5*f = -4*t + 23. Suppose 2*z + t*z - 120 = 0. Suppose u - 30 = 2*q, z = u - q + 2*q. Does 15 divide u?
True
Does 4 divide (-2 - 0) + (0 - 3 - -26)?
False
Let z = -20 + 11. Let h = z + 9. Suppose -2*m + 4*w = -h*w - 8, 0 = m + 3*w - 14. Does 8 divide m?
True
Let r = 66 - 38. Is r a multiple of 20?
False
Let a(n) = -n**3 + 5*n**2 + 8*n + 6. Suppose 0 = -4*z + 6*h - h - 2, 5*z + h = -17. Let q(c) = -c**2 - c + 1. Let b(x) = z*q(x) + a(x). Does 13 divide b(9)?
False
Let f be (1 - -17) + (-4 - -1). Let x = f + 1. Is x a multiple of 16?
True
Does 19 divide (-38)/((7 - 6)/((-1)/2))?
True
Let q(x) = 3*x + 3. Let d = -1 - -6. Is q(d) a multiple of 14?
False
Suppose -2*c - 28 = -4*o, 4*o - 4*c - 26 = o. Is o a multiple of 2?
True
Let y be 2/(-7) - 2190/(-21). Suppose -9 - 11 = -5*w, 3*j - w = y. Is j a multiple of 12?
True
Let x be 6/21 + 19/7. Suppose 0 = 3*y - x*q - q + 14, -q = 2*y - 9. Suppose -p + 5 = -5*h, -y*h + 0*h - 54 = -3*p. Does 10 divide p?
True
Suppose 2*k = 6, 2*y = -5*k + 7*k + 138. Does 3 divide y?
True
Suppose -4*p + 2*w - 1 + 19 = 0, -4*w = -2*p. Suppose -v - 240 = -p*v. Suppose s + 2*s + 4*z = v, -6 = -2*z. Is 11 a factor of s?
False
Suppose 4*g + 19 = 63. Is 3 a factor of g?
False
Let p(q) = 7 - 9*q - 4 - 17*q + 6. Let o be p(-8). Suppose 0 = -4*l - 65 + o. Does 19 divide l?
True
Suppose 5*k + 25 = 0, -a - k + 12 = -4. Suppose 5*n - 10 = 5, 3*v + 3*n - a = 0. Suppose 0*r + 33 = v*r + 3*h, -4*r - 5*h = -39. Is r a multiple of 3?
True
Suppose -4*n - 5*m + 676 = -m, -5*n = -3*m - 805. Does 16 divide n?
False
Suppose 4 = 5*m - 6. Suppose -m*b = -b - 20. Is 10 a factor of b?
True
Suppose 2*i = 3*i. Suppose k + 2*w - 25 = i, -k = 2*k + 3*w - 78. Is 16 a factor of k?
False
Let k(s) = s + 5. Let n = 6 + -6. Suppose 6 = q + 2*i - n, 0 = 3*q - 3*i - 9. Does 3 divide k(q)?
True
Let s = 10 - 7. Suppose j - i - 15 = 2, -s*j - 2*i = -46. Is 8 a factor of j?
True
Suppose 9 = 6*y - 3*y. Does 9 divide (-18)/(-30)*5*y?
True
Let m(c) be the third derivative of c**5/20 - c**4/8 + c**3/2 + 9*c**2. Is 13 a factor of m(-3)?
True
Suppose -7*i + 5*i + 88 = 0. Does 11 divide i?
True
Let t = -1 + -6. Let l be 2*t*(-3)/6. Is 2/l - (-608)/28 a multiple of 22?
True
Suppose 3*u - 57 = 15. Let w = -18 + u. Does 6 divide w?
True
Let w(j) = 3*j. Let m be w(1). Let v be ((-42)/10)/(m/(-180)). Suppose -3*d + v = 5*h, -d = 3 - 7. Is h a multiple of 24?
True
Suppose 0 = 5*g - 5*a - 260, -g - 2*a = -45 + 2. Is 18 a factor of g?
False
Suppose 2*h = -2*h - 3*f + 15, 16 = 4*h + 4*f. Suppose 197 = 2*m + h*q, -4*q = -m - q + 121. Is 24 a factor of m?
False
Suppose -3*y - 536 = y. Is y/(-3) - (-4)/12 a multiple of 11?
False
Suppose -8*q + 7*q + 12 = 0. Does 9 divide q?
False
Let b(g) = -g**3 - 4*g**2 - 3. Let a be b(4). Let v = 201 + a. Does 14 divide (v/25)/((-2)/(-10))?
True
Let k(u) = u**2 + 4*u - 7. Let o = 12 - 18. Does 5 divide k(o)?
True
Is 9 a factor of (1 - -2)*-32*3/(-3)?
False
Let q be 2/(4/6) + -1. Suppose 6 + 0 = q*s. Suppose 2*k = s*h + 13, k = 3*h + 2*h + 10. Is 4 a factor of k?
False
Let n be -2 - (0 + 2 - 2). Let o be (-164)/2 - (2 - 2). Does 16 divide 3/n*o/3?
False
Suppose 0*j = 2*r - j - 7, 2*j - 10 = -4*r. Suppose r*c - 33 = -0*c. Is 7 a factor of 14/(-7) + 1 + c?
False
Let h(t) = -t**3 - 9*t**2 + 10*t + 3. Let m be h(-10). Suppose -v + 82 = -4*x, m*x + 112 = v + 5*x. Suppose v = 2*q + 32. Is 12 a factor of q?
False
Suppose 2*s + 25 = 7*s. Suppose 4*j - 4*b - 48 = 0, -3*j + 8*j + s*b = 80. Is 14 a factor of j?
True
Let c(n) = n**2 - 8*n + 5. Let t(d) = -d**2 - 6*d + 8. Let j be t(-6). Let x be c(j). Suppose -k + 55 = 4*w + x, 4*k - 115 = w. Is 12 a factor of k?
False
Suppose 4*g = 3*g. Suppose -n - n + 4 = g. Suppose 2*q + 0*q = -o + 2, n*o + 1 = -5*q. Does 4 divide o?
True
Let j be (-8)/(-32) - 29/4. Let w(m) = -m**3 - 11*m**2 - 10*m + 1. Let n(o) = o**3 + 10*o**2 + 9*o. Let f(b) = 3*n(b) + 2*w(b). Is f(j) even?
True
Let v = -19 + 32. Is 13 a factor of v?
True
Suppose 5*g - 2*v + 0*v = 159, 3*g - 5*v = 84. Suppose 5*x = -f + 3*f + g, 2*f + 23 = 3*x. Suppose 80 = 4*r + n - 3*n, -2*r + x*n = -24. Is r a multiple of 8?
False
Let b(h) = h**3 + 5*h**2 + 3*h + 3. Let y be (-18)/5 - (-8)/(-20). Is 4 a factor of b(y)?
False
Suppose 5*o - 2*o + 60 = 0. Let y = 50 + o. Is y a multiple of 30?
True
Let f(d) = d**2 + d + 35. Let w be (9/3)/(1/1). Suppose -2*k = -w*k. Is f(k) a multiple of 12?
False
Let g(v) = -v**2 + v + 5. Let c be g(7). Let q = c + 61. Does 12 divide q?
True
Suppose 16 = 3*b - 4*k - 2, 2*k + 14 = 4*b. Suppose -b*q = -m - 2, 3*m - 12 = -0*m - 3*q. Does 10 divide (54 - 0)*m/4?
False
Suppose 4*d - 5 = 27. Does 8 divide d?
True
Let c be 5/20 - (-63)/4. Suppose c = i + 3*i. Suppose -i*r + 4*d = -16, -2*r + 12 = r + d. Is r even?
True
Suppose 0 = -k + 6*k - 20. Is 3 a factor of ((-10)/15)/(k/(-18))?
True
Is 17 a factor of ((-17)/(-1))/(-10 + 11)?
True
Let f(g) = 2*g + 26. Let c(s) = -1. Let x(m) = 6*c(m) + f(m). Is 10 a factor of x(0)?
True
Let a be 18/5 - 2/(-5). Suppose 0 = -a*s + v + 127, s - 5*s + 3*v + 133 = 0. Is 14 a factor of s?
False
Let m(h) = 4*h - 6. Let p(t) = -t - 5. Let r(f) = f + 6. Let z(s) = 6*p(s) + 5*r(s). Let a(d) = m(d) - 3*z(d). Is 11 a factor of a(4)?
True
Suppose h = -4*h + 5. Let p be h/(2 + -1 - 0). Is 13 a factor of (5*4*1)/p?
False
Let h(t) = t**3 + 9*t**2 + 4*t + 8. Let s be h(-7). Suppose 2*f = f + 41. Let g = s - f. Is g a multiple of 14?
False
Suppose 3 = -z - 2, -d = -z - 149. Suppose 0 = -0*t - 2*t + d. Is t a multiple of 24?
True
Let x(o) = 22*o**2 - 2*o + 1. Let v be x(1). Suppose 0 = -4*u + u - v. Let q = 21 + u. Is q a multiple of 7?
True
Let d = 108 + -11. Suppose 4*p - d = 115. Does 24 divide p?
False
Suppose -4*a = -0*t - 2*t - 4, -3*t - 3*a = -21. Suppose -t*p - 3*y = -80, 4*p = 5*y - 2*y + 56. Does 7 divide p?
False
Let s be (3 - 4)*3/(-1). Let h = 8 - 4. Suppose s*k - 4*d = h*k - 23, 3*d - 131 = -4*k. Is k a multiple of 9?
False
Does 2 divide 1 + 6 + (-4)/2?
False
Let t(h) = h**2 + 7*h - 4. Let m be t(-8). Suppose c = m*q - 101, 5*q = -2*c + 4*c + 130. Does 15 divide q?
False
Let d = 0 - 4. Let x(p) = 4*p**2 - 3*p - 5. Let g(l) = -5*l**2 + 4*l + 6. Let t(n) = 2*g(n) + 3*x(n). Does 10 divide t(d)?
False
Let a = -129 + 247. Is 14 a factor of a?
False
Let j = 198 + -81. Is j a multiple of 13?
True
Suppose d - 27 = 2*m, 0 = -2*d + m - 4*m + 33. Is 5 a factor of d?
False
Suppose 2 = 2*x - 2, -120 = 4*z - 2*x. Let v = 63 + z. Is v a multiple of 23?
False
Suppose 9*k - 2520 = -5*k. Is k a multiple of 12?
True
Let n(i) = 17*i + 31. Is 25 a factor of n(7)?
True
Suppose -2*z + 5 + 131 = 0. Is 34 a factor of z?
True
Suppose 3*h + 21 - 162 = -3*b, -3*h - 4*b + 141 = 0. Is 7 a factor of h?
False
Suppose -d = d - 28. Is d a multiple of 14?
True
Suppose -m - 48 = 4*v - 164, 4*v + 5*m = 100. Is 10 a factor of v?
True
Let s(v) = 