 b?
False
Let w be 84/8*(11/3 + -3). Let q(x) = 4*x**3 - 21*x**2 - 14*x - 16. Does 21 divide q(w)?
False
Suppose -5*k + 35 = -5*b, -7*b = k - 4*b + 9. Suppose -2*z = k*w - 389, 6*z = 9*z + 3*w - 579. Is 38 a factor of z?
True
Let g = -4571 - -9701. Is 12 a factor of g?
False
Let h(b) = b**2 - 4*b - 12. Let r be h(-3). Is 114/r*372/8 a multiple of 19?
True
Let j(h) = 10*h**3 + 16*h + 15. Let f be j(-1). Let z(q) = q**3 + 17*q**2 + 6*q + 11. Does 11 divide z(f)?
True
Let w = -432 - -1415. Suppose -3*n = c - 509, 0 = -2*c + 2*n - n + w. Is c a multiple of 38?
True
Let f(a) = -2*a + 17. Let r be f(7). Let p(m) = 2*m**2 + 3*m + m**2 - 6*m - r*m. Is p(3) a multiple of 9?
True
Let t(r) be the second derivative of 11*r**3/3 + 4*r**2 - 8*r - 2. Is t(4) a multiple of 24?
True
Suppose 3*f - 122 = -2*a + 6*a, -f = 4*a - 30. Let i = -165 + 137. Let v = i + f. Does 10 divide v?
True
Let l(a) = 3390*a**2 - 6*a - 4. Is 20 a factor of l(1)?
True
Let r be -15*(-5)/(-60)*4. Let l = r - -8. Suppose 2*u = -3*f + 602, -4*f + 0*f = -l*u - 780. Is f a multiple of 22?
True
Let w = -438 - -450. Suppose w*r = -5*r + 2975. Is 9 a factor of r?
False
Let m = 268 + -579. Let r = -168 - m. Does 13 divide r?
True
Let g be 6/(-14) - 312/(-91). Let i be ((-45)/(-30))/(g/(-8)). Does 7 divide (i + 4)/1 - -20?
False
Let c = 5776 + -169. Suppose 0 = 25*z - c - 25868. Does 17 divide z?
False
Let n = -269 - -164. Is 75/2*5/(n/(-28)) a multiple of 3?
False
Suppose -1252625 = -245*f + 433220. Is 92 a factor of f?
False
Let q be -3 + (3 + 3 - -1) - 2. Suppose -5*o + 0*o = q*k + 60, 5*k = -3*o - 36. Let w = 0 - o. Is 6 a factor of w?
True
Let l = 35 - -11. Let u = 106 - l. Is 7 a factor of u?
False
Suppose -4*r - 95 - 37 = 0. Let o be (-1 + 13)*(-11)/r. Suppose -5*s - o = -64. Is s a multiple of 6?
True
Suppose 2*c + 3*c = -3*z + 6918, -4*c - z = -5540. Does 33 divide c?
True
Suppose 0 = -6*x - 79*x + 14*x + 4281726. Does 19 divide x?
True
Let r(j) = j**2 + 6*j - 7. Let x be r(2). Suppose -x = 3*f + 3*n, 5*f - 20 = -n + 3*n. Suppose 68 + 108 = f*g. Is g a multiple of 15?
False
Let j be ((-2)/2)/((-2)/(-6)) + 4. Let h be j - -3 - 5 - -50. Suppose -21 = -4*y - 3*t + h, -y + 22 = 3*t. Is y a multiple of 8?
True
Let d = -21 + 25. Let p(j) = j**2 - 5*j + 4. Let i be p(d). Let k(h) = 4*h + 128. Does 32 divide k(i)?
True
Suppose 47484 = 51*s - 43*s - 12916. Does 25 divide s?
True
Let k be ((-12)/(-15))/(6/(-45)). Let v(d) = d**3 + 8*d**2 + 7*d + 9. Let y be v(k). Suppose 6*r = y + 9. Does 8 divide r?
True
Suppose 10524087 = 122*z + 66*z + 81*z. Is z a multiple of 63?
True
Let k(o) be the first derivative of -59*o**2/2 - 67*o + 89. Does 22 divide k(-3)?
True
Suppose -5*m + 5*w + 14 = -6, -6 = -5*m - 2*w. Suppose -5*g + 3792 = -a, m*a + 1062 = 2*g - 450. Is 69 a factor of g?
True
Let h(b) be the first derivative of 3*b**2 + 26*b - 55. Is h(9) a multiple of 10?
True
Let n = 221 - 217. Suppose -n*i + 12*i - 5472 = 0. Is 6 a factor of i?
True
Suppose 20*q + 2*a = 22*q - 14, q + 4*a + 8 = 0. Is q even?
True
Suppose -3052 = -21*o + 1484. Does 6 divide o?
True
Let g(j) = 0*j**2 + 3 + 103*j - 85*j - 19 + j**2. Does 53 divide g(-25)?
True
Let v(z) = 345*z**2 - 9*z - 12. Let b be v(-2). Let u = b - 936. Does 33 divide u?
False
Let i = 55537 + -26223. Is i a multiple of 28?
False
Suppose 118*u - 123*u - 15 = 0, -y = -4*u - 9360. Does 57 divide y?
True
Suppose -23 = -b - 8. Suppose -3*c + 5*y = y + 5, y = -2*c + b. Suppose -49 = -u - 3*v, -4*v - 98 = -c*u + 90. Does 5 divide u?
True
Suppose 7 = 5*b + 32. Let g(f) = 2*f**2 + f + 3. Let m(t) = -t - 1. Let y(x) = g(x) + 4*m(x). Does 16 divide y(b)?
True
Let h be (-3 + (-22)/(-4))*(-1 + 3). Suppose 4*t = 21*t - 12138. Suppose 6*s - h*s - t = -5*z, -z = -s - 144. Is 26 a factor of z?
False
Let c(i) = 37*i**2 + 92*i + 2444. Does 114 divide c(-24)?
False
Let m(o) = 70*o - 1492. Is 23 a factor of m(66)?
True
Let w(k) = -4*k - 61 + 138 + 76. Is 5 a factor of w(7)?
True
Let k(f) = -7*f**2 + 10. Suppose 0 = 5*d - z - 14 - 16, 5*z = -2*d + 39. Let r be k(d). Let t = 501 + r. Does 14 divide t?
True
Let s(n) = -19*n**3 + 6*n**2 - 3*n. Let w(z) = 2*z**2 - z - 1. Let r(q) = s(q) - 3*w(q). Is 37 a factor of r(-3)?
False
Suppose -28*f + 21*f + 77 = 0. Let h(w) = 16*w - 85. Is h(f) a multiple of 6?
False
Let o be (-3)/7 + ((-354)/(-42) - 3). Suppose -o*a - 2 = 3. Let n = a + 14. Is n a multiple of 3?
False
Suppose 17*h = 16*h + 185. Let s = h + -161. Does 8 divide s?
True
Is 22/(44/3)*15418/3 a multiple of 13?
True
Let n be 1/((-13)/(-15)) - 4/26. Suppose 0 = -3*f - x - n, -5*x - 5 = -2*f - 0. Suppose f = -s - c + 117, 0*c - c = -1. Is 26 a factor of s?
False
Suppose l = 4*i + 55, i - 4*i = 6. Suppose l*u = 66*u - 3838. Is u even?
True
Suppose 11*r - 7*r - 3*o = 110599, -3*r = o - 82933. Is 23 a factor of r?
True
Suppose 4*m - 2*m = -196. Let i be (-322)/m - (-2)/(-7). Suppose -32 = -i*j + 13. Is 3 a factor of j?
True
Let s(g) = -2 + 37*g - 19 + 9 - 105*g. Is 44 a factor of s(-6)?
True
Suppose 8*j - 4096 = 96. Let x = -436 + j. Does 2 divide x?
True
Let w(t) = t**2 + 3*t - 7. Let v be w(5). Let k be (-13 + 8 + -1)*-1 - -81. Suppose v*g + k = 36*g. Does 10 divide g?
False
Let d be 12*2*(-15)/30 - -5. Does 44 divide -220*d/((-140)/(-8))?
True
Suppose 12 = -5*l + 2*l. Let b = 4936 + -4844. Let d = b - l. Is d a multiple of 24?
True
Suppose 165*y - 177*y = -4212. Is 13 a factor of y?
True
Let t be 2/((-9)/(-6) + -1). Let d be 1 + (4 - t) + 107. Let u = -46 + d. Is u a multiple of 11?
False
Let c be (-870)/(-27) - (-6)/(-27). Let o = 95 - c. Is o a multiple of 9?
True
Let w = 5356 + 2069. Does 45 divide w?
True
Suppose 0 = -d + 4 - 3, 2*p - 4*d = 218. Let z = p + -86. Is 25 a factor of z?
True
Let x = 127 + -88. Let a = 51 - x. Is (a/6 - -94)/((-1)/(-1)) a multiple of 12?
True
Let r(t) = 2*t + 24. Let l be r(-8). Let i = 10 - l. Is 13 a factor of 1 - (5 - i - 57)?
False
Suppose -27865 - 14414 = -15*x - 4839. Does 15 divide x?
False
Suppose -38*q = 2*o - 46*q - 5798, -5*o + 2*q + 14603 = 0. Does 14 divide o?
False
Let n(t) = -15*t + 7. Let s = 40 + -43. Let w be n(s). Suppose -z - 4*z + 4*i + 318 = 0, z + 5*i = w. Is z a multiple of 13?
False
Let j(y) = -10*y**2 - 7*y - 23. Let r(u) = -5*u**2 - 3*u - 12. Let l(g) = -6*j(g) + 11*r(g). Is l(16) a multiple of 65?
True
Let z(m) = 1. Let h(x) = x**3 + 13*x**2 + 11*x - 17. Let c be h(-12). Let y(l) = -l**2 + 7*l + 3. Let j(s) = c*z(s) + y(s). Is j(5) even?
True
Let i = -16964 + 17467. Is i a multiple of 124?
False
Let k be (0/(-14))/(-6*(-1)/2). Suppose k = 4*b - 496. Is 39 a factor of b?
False
Let a = -10071 - -12807. Is 38 a factor of a?
True
Let g = 203 + -185. Does 12 divide (8/10)/(g/810)?
True
Let k(t) = 9*t + 12. Let n be k(12). Is n + -2 + 10 + -3 a multiple of 16?
False
Suppose 71*b - 127807 - 365556 = 151317. Is 59 a factor of b?
False
Is (18396/16 + -3)*896/48 a multiple of 22?
True
Suppose -2*y + 5 = q, -4*q + 11 - 3 = 4*y. Suppose y*u + 2*o = u + 796, -2*o = u - 397. Suppose -12*i + 753 + u = 0. Is 37 a factor of i?
False
Let m be (-34)/8 - (-3)/12 - 0. Let t be -5 - (-9 - -1 - m). Does 12 divide (236 + t)*(-2)/(-10)?
False
Let w(r) = 3*r**3 - 5*r**2 + 5*r - 17. Let k be w(5). Let i = k + -71. Is 19 a factor of i?
False
Suppose 0 = m + 4*f + 1, -f = -m + 6 - 2. Suppose 1305 + 15 = m*t. Does 9 divide t?
False
Let n be 24/(-18)*(3043/(-2) - 1). Suppose n = 8*g + 2*g. Let r = g - 127. Does 17 divide r?
False
Let t be (279/(-39) - -7) + 6/39. Suppose 0 = -2*v - 3*q + 8*q + 1350, t = 3*v + 3*q - 2046. Is 17 a factor of v?
True
Suppose -26*k + 20*k = 32*k - 1794056. Does 11 divide k?
True
Let i(q) = -21*q - 4 + 3*q - 8*q + 26. Is i(-3) a multiple of 13?
False
Suppose 141*l + 76455 - 172078 = 164945. Does 28 divide l?
True
Let v(w) = 1. Let x(l) = -7*l - 801. Let r(s) = -5*v(s) - x(s). Let m be r(0). Is 5 a factor of (1 - m/(-8))*(-2)/(-3)?
False
Let a(n) = 3*n + 12. Let l be a(-5). Let j(x) = 10*x**2 + 5*x - 4. Let y(p) = 19*p**2 + 10*p - 8. Let k(t) = 7*j(t) - 3*y(t). Is k(l) a multiple of 17?
False
Suppose 8*a + 7084 + 420 = 0. Let z = a + 1482. Is z a multiple of 16?
True
Let u be ((-4 - -6) + -2)/(-3). Suppose u = -9*h - 3*h + 72. Suppose b + 545 = h*b. Is 25 a factor of b?
False
Suppose 301*t - 302*t = -2*h + 10006, 4*t 