)?
True
Is 46 + 46 + (2 - 7) a multiple of 36?
False
Let y = 39 + -48. Does 12 divide (42/9)/((-2)/y)?
False
Let k = 72 + -58. Is ((-376)/k)/(48/(-168)) a multiple of 4?
False
Is 18 + 2 + -13 - 1*-1106 a multiple of 37?
False
Suppose -4*w = 2*v - 224, 0 = -3*v - v - w + 413. Suppose 8*x - 294 = 6*x. Let l = x - v. Is 17 a factor of l?
False
Let l be 1 + 3 + (2 - (-2 + 8)). Suppose l = -4*h + h + 108. Is h a multiple of 5?
False
Let h = 1287 - 827. Does 46 divide h?
True
Suppose -14740 - 20936 = -12*b. Is 16 a factor of b?
False
Let a(k) = -329*k + 124. Is 18 a factor of a(-4)?
True
Let g(j) = 0*j + j**2 + 6*j**2 + j**3 + 4*j + 3. Suppose 14 = -2*p + z, -2*p + 4 = 3*z + 2. Is 15 a factor of g(p)?
False
Let d(b) be the third derivative of -17*b**4/24 - b**3/6 + 18*b**2. Is 4 a factor of d(-1)?
True
Suppose -5*p - 3*h + 128 = h, 3*h = 6. Let r = p + 44. Is 14 a factor of r?
False
Suppose w = 2*u + 214, 4*w - 1300 = u - 437. Suppose 11*g = 8*g + w. Is g a multiple of 9?
True
Let h(f) = -2*f**3 + 16*f**2 - 7*f - 23. Is h(7) even?
True
Suppose 5*i + 6 = -9. Is (-45)/18*(i + 1) a multiple of 2?
False
Suppose 5*q + 20 = q. Let h be (3/q)/(4/(-20)). Suppose -100 + 26 = -4*l - 3*t, h*l = 5*t + 70. Is l a multiple of 4?
True
Suppose 53 = l - 13. Let o = l - 9. Is 19 a factor of o?
True
Let m(l) = 2*l + 2. Let q(c) = -2*c - 2. Suppose -2*y - 4 = 6. Let d be q(y). Is 9 a factor of m(d)?
True
Is 42 a factor of (504/3 + -4 + -5)*1?
False
Suppose 0 = -6*r - 3*r + 1044. Is 12 a factor of r?
False
Let f(a) = a**3 + 20*a**2 - 6*a - 5. Does 50 divide f(-5)?
True
Let k = 739 + -462. Is k a multiple of 72?
False
Suppose 53*w - 57*w + 5428 = 0. Is w a multiple of 23?
True
Let i(n) = 4*n + 19. Let a(q) = -3*q - 18. Let p(h) = -3*a(h) - 2*i(h). Let v be p(13). Suppose 5*o - 74 = o + b, v = o + 5*b. Is o a multiple of 15?
False
Suppose -p = -4*y + 59, 2*y + p - 2*p - 31 = 0. Is y a multiple of 6?
False
Let g(f) = 10*f**2 - 4. Let k be g(2). Let r be (-4)/12*0 - 10. Let c = k - r. Is c a multiple of 10?
False
Suppose o - j + 10 = 59, 0 = 5*o + 2*j - 259. Suppose -2*m + o = -3. Let g = m - 3. Is 6 a factor of g?
True
Suppose 236*o - 227*o - 16299 = 0. Is o a multiple of 93?
False
Suppose 0 = 4*k + 26 + 10. Let j(g) = -g**2 - 5*g + 30. Let r be j(-9). Does 2 divide k/(-6)*(-8)/r?
True
Suppose 0 = 3*w - 8*q + 4*q - 9, -q = 3. Is w/(-2) + (-441)/(-14) a multiple of 6?
False
Does 5 divide (-920)/(-12) - -20*(-5)/60?
True
Let b(t) = -4*t**2 - 2*t**2 + 3*t**2 + t**3 - 2*t - 5*t - 8. Is 29 a factor of b(6)?
True
Let h(y) = -y - 12. Let r be h(-9). Let p(t) = t**3 + 4*t**2 + t - 2. Let v be p(r). Suppose 4*l - 48 = -4*i, 0 = -v*i - l - l + 48. Does 3 divide i?
True
Is 13 a factor of (160/16)/(4/(-2)) + 124?
False
Suppose -2*m = 24 - 16. Is 17 a factor of m/(-12) + (-170)/(-3)?
False
Suppose 3*t = 4*u - 125, -2*t - 50 - 37 = u. Let g = -25 - t. Is g a multiple of 6?
True
Let v(m) = m**2 - 4*m + 8. Let c be v(3). Suppose c*d + 6 = -24. Is 7 a factor of (d/9)/(7/(-252))?
False
Suppose 4*r - 2*r + 10 = 0, 4*r + 25 = -z. Let y be 1/z + (-11)/(-55). Suppose 86 = -0*b + 4*b - 2*i, 3*b - i - 62 = y. Is b a multiple of 12?
False
Let w(l) be the second derivative of -l**4/12 + 13*l**3/6 - 11*l**2/2 + l. Let x be (132/11)/((-3)/(-2)). Does 8 divide w(x)?
False
Suppose 4*y - 121 = -k + 2*y, -4*y = 4*k - 504. Is 34 a factor of k?
False
Suppose -4*h + 2*v = -2*h + 6, -4*v + 14 = -2*h. Is 23 a factor of (0 + -1)*(h + -24)?
True
Let t(v) = -3*v**2 + 4*v**2 - 2*v**2 + 8*v. Is 7 a factor of t(7)?
True
Let c be 2/21 + 360/189. Let l be 1/(-5) - (-16)/5. Suppose -4*z = l*f - 19, -4 = -f + 3*z - c*z. Is f a multiple of 4?
False
Suppose -66*o + 1930 + 4406 = 0. Is 30 a factor of o?
False
Suppose 9285 = 19*i + 1077. Is 24 a factor of i?
True
Let f(s) = 71*s + 17. Is 30 a factor of f(2)?
False
Let f be (-3)/7 - 1374/(-21). Let o = 88 - f. Does 3 divide o?
False
Let o be (-7 + 6)*(-5 + 1). Let h = 46 - o. Suppose 2*v + 5*z = h, -2*z - 50 = -2*v - 3*z. Is 13 a factor of v?
True
Let z(p) = p + 74. Let r be z(-22). Let g = r - 17. Does 5 divide g?
True
Let u(w) = -w**3 + 5*w**2 + 6*w + 3. Let n be u(6). Suppose -3*i - 3*m = n - 0, m = -4. Suppose 5*s - 168 = -i*s. Is 8 a factor of s?
False
Let q = 20 - 17. Suppose 0 = 6*s + q*s - 153. Is 17 a factor of s?
True
Suppose -4*s = -2*d - 334, 3*s - 4*d - 238 = -0*d. Is s a multiple of 43?
True
Suppose -5*k - 25 = 3*m, m = 2*k - 0*m + 10. Let o(r) = -7 + r**3 - 2 - 7*r + 2 + 7*r**2. Does 29 divide o(k)?
False
Suppose -2 = -y - 3*k, 6*y + 22 = y + k. Let f(w) = -w**2 - 4*w + 4. Is f(y) even?
True
Let r(v) = v**2 - 2*v + 7. Let n be r(5). Suppose -w = 4*y + y, 0 = 3*y + 5*w - n. Let t(j) = -31*j**3 - j. Is t(y) a multiple of 16?
True
Is (9859/6)/1 + (-32)/192 a multiple of 31?
True
Suppose 9*v - 4*v = -1515. Is -1 + (-12)/(-15) - v/15 a multiple of 4?
True
Let z = -1894 - -3888. Is 20 a factor of z?
False
Let t be 2/12 - (-34)/12. Suppose -z = -t*x + 31, z = x + 3*z - 8. Let a(o) = -o**2 + 13*o + 3. Is a(x) a multiple of 9?
False
Let r(m) = -5*m + 14*m + 5 - 3. Let c be r(2). Does 5 divide (-87)/(-12)*c/5?
False
Suppose -4*w = 2 + 2. Let q be w + 130 + 1 + -1. Suppose 0 = 3*i - 2*r - q + 40, -5*r = i - 7. Is i a multiple of 12?
False
Let t = -2299 - -2307. Does 5 divide t?
False
Let h(x) = 12*x**2 + 21*x + 3. Is h(9) a multiple of 4?
True
Suppose 0 = j - 4 + 1. Suppose -11 = -2*a + j. Does 3 divide a?
False
Let z be 4/10 + (-124)/10. Let b(x) = 7 + 6*x - 1 - 7*x. Is 9 a factor of b(z)?
True
Let p be ((-8)/4 - -2) + 10. Suppose 5 = -5*x - p. Does 12 divide 44 - (4 - (11 + x))?
True
Let g be 2376/20 - 8/10. Is 36 a factor of (g/(-4))/(5/(-10))?
False
Does 12 divide 7/(-2)*14/(-98)*428?
False
Let l = 235 - 210. Is l a multiple of 3?
False
Does 22 divide (-6 - 8)*(-18 + -4)?
True
Suppose 0 = 2*m - 3*a - 3963, -5*m + 2*a = 3*a - 9882. Does 8 divide m?
False
Suppose -f + 3*o + 1691 = -o, o + 6779 = 4*f. Is f a multiple of 13?
False
Does 2 divide -4 + (133/7 - 2)?
False
Let r(g) = 3*g**2 + 12*g - 19. Let j(y) = -7*y**2 - 25*y + 39. Let b(c) = -2*j(c) - 5*r(c). Let s be b(-9). Let q = s + 22. Does 16 divide q?
True
Let u be (-2)/7 - 2024/(-28). Suppose -5*d + 15 = -3*o, -5*o - 7 - 8 = -5*d. Is 1/(217/u - d) a multiple of 20?
False
Suppose -2*s = -4*s + 8. Let h(a) = 0*a + a + s*a - 2 + 10*a. Does 14 divide h(2)?
True
Suppose -g - g = -28. Suppose 5*a - g = 4*a. Let b = 50 + a. Is b a multiple of 16?
True
Let u(j) = j**3 - 3*j**2 + 3*j - 1. Let t be u(3). Is 10 a factor of 34*4/t - -3?
True
Is 9 a factor of 3/((4/(12/9))/569)?
False
Suppose 2*a - 4*j - 830 = 784, -8 = 2*j. Does 47 divide a?
True
Suppose -2*r - 181 = -53. Let t = 162 + r. Does 12 divide t?
False
Suppose 5*t - m = -6691, m = -3*m - 16. Let a = t + 4135. Does 12 divide a/78 - 2/(-13)?
True
Let k(r) = 3*r**2 + 10*r - 2. Let m be k(-8). Let g be m*(-3 - (-7)/2). Let v = -22 + g. Does 11 divide v?
True
Let n(q) = q**3 + 2*q**2 - 5*q + 839. Is n(0) a multiple of 16?
False
Suppose -4*k = f - 1, -6*k + k = -5*f - 20. Does 7 divide (f*6/54)/(2/(-570))?
False
Suppose 0 = -6*l + l. Is 8 a factor of 60/3 - (4 - l)?
True
Let w be (2781/(-12))/3*-4 + -3. Suppose 254 + w = 5*i. Is 28 a factor of i?
True
Let k(u) = 35*u + 3. Suppose 4 = 7*d - 3. Does 13 divide k(d)?
False
Let m = -2449 + 4122. Is m a multiple of 6?
False
Let r = 19 - -1. Suppose r + 5 = m. Does 3 divide (15/m)/(1/5)?
True
Let k(f) = -f**3 - 25*f**2 + 31*f + 81. Is 31 a factor of k(-28)?
False
Suppose 0 = 7*q + 29*q - 111240. Is q a multiple of 103?
True
Suppose 2*x - 5*d = 25, -2*d - 37 = -4*x - 11. Let m(q) be the third derivative of q**6/120 - q**5/20 - 5*q**4/24 + q**3 + 4*q**2. Is 7 a factor of m(x)?
False
Let p be 77/4 - (-4)/(-16). Let x = -38 - p. Let z = x - -84. Is z a multiple of 9?
True
Suppose -10 = u - 19. Is 5 a factor of (84/u)/(-2 + 68/33)?
False
Is -6 - (-5 + -135 - 5) a multiple of 4?
False
Let u be (0/(-17))/((-4)/2). Suppose u = 5*j, 4*z + 2*j - 85 = 71. Does 19 divide z?
False
Let j(o) = 3*o**2 - 23*o + 23. Does 7 divide j(13)?
True
Let p(a) = 2*a - 7. Let t be p(5). Suppose 0*o + 312 = t*o. Is 16 a factor of o?
False
Suppose m = -3*s + 3189, m = 1 - 4. Is s a multiple of 14?
True
Suppose 17*k - 18*k - 1 = 0, -4*n + k + 37 = 0. Doe