 = 4 - -181. Does 37 divide m?
True
Let r(z) = 3*z**2 - 3*z + 3. Let n be (-5)/1*2/(-2). Does 24 divide r(n)?
False
Let s = -59 + 87. Is 7 a factor of s?
True
Suppose 3*i - 2*i = -2*o + 13, -2*i - 19 = -5*o. Suppose 13 = o*x - 87. Does 10 divide x?
True
Let c(a) = 2*a + 1. Let p be c(1). Is 22 a factor of -23*(-3 - 0)/p?
False
Suppose -105 = -2*v + 15. Does 15 divide v?
True
Is (-4)/30 - (-724)/30 a multiple of 18?
False
Let k be 1 + 3/3 - -2. Suppose s = -k*s + 30. Is 6 a factor of s?
True
Suppose 0 = p + 2*c - 64, -5*p + 436 = 2*c + 124. Suppose 3*r + 2*j = 3*j - p, j = -4*r - 92. Let n = 31 + r. Does 9 divide n?
True
Let w(s) = -s**2 - 11*s - 12. Let y(c) = -c**2 - 11*c - 13. Let a(r) = 2*r + 1. Let v be a(2). Let h(z) = v*w(z) - 4*y(z). Is 15 a factor of h(-7)?
False
Let d = -70 - -165. Is d a multiple of 19?
True
Let k(y) = y**2 + 6*y - 8. Suppose -4*m = -4*l - 2*m - 28, 2*m = -4. Let d be k(l). Suppose -5*x + 23 - d = 0. Is x a multiple of 3?
True
Let y(v) = -4*v**3 + 2*v + 1. Is y(-1) even?
False
Is 9 a factor of ((-12)/5*1)/((-14)/105)?
True
Let j = -39 + 64. Is j a multiple of 5?
True
Suppose 5*y + 2*c - 1184 = 0, 0 = -5*y - 0*c - c + 1187. Does 34 divide y?
True
Let k(q) = 44*q**2 - 1. Let c(t) = -133*t**2 + 3. Let v(l) = 4*c(l) + 11*k(l). Let p be v(1). Let s = p - -74. Does 11 divide s?
False
Let l = -6 - -11. Let w(p) = -11*p**2 - l*p**2 + 9*p - p**3 + 7*p**2 + 5. Does 11 divide w(-10)?
False
Suppose -33 = -4*c + r - 3, c - 6 = r. Is c a multiple of 8?
True
Let h(g) be the third derivative of -5*g**4/24 - g**3 - 7*g**2. Is 5 a factor of h(-7)?
False
Suppose 0 = -5*l + l. Suppose -5*j + j + 72 = l. Is j a multiple of 18?
True
Let v be 63/12 + 1/(-4). Suppose -74 = f - 4*h, h - 370 = v*f - 0*h. Let q = -45 - f. Does 14 divide q?
False
Suppose -5*x = -2*x - 174. Does 29 divide x?
True
Suppose -y = -0*y + 9. Let s = y - -17. Is 3 a factor of s?
False
Is (12/(-18))/((-1)/57) a multiple of 11?
False
Suppose 0 = -d - 0*y - 3*y + 18, 0 = 4*d - 4*y + 8. Suppose 10 = d*c - 2*c. Let b = -6 + c. Does 4 divide b?
True
Let h be -1*(2 - 3)*1. Does 11 divide 11/(1/h*1)?
True
Suppose 4*k - 75 = -k. Let u be 886/8 + k/(-20). Suppose 0 = -2*r + 7*r - u. Is r a multiple of 11?
True
Let l = 81 + -32. Is l a multiple of 14?
False
Suppose -2*i + 360 = i. Let z(g) = 5*g - 1. Let f be z(2). Does 6 divide i/f + (-2)/(-3)?
False
Suppose 0*t + 22 = 4*h + 2*t, -17 = -2*h - 3*t. Suppose 3*p - a - 6 = 37, h*p - 54 = 2*a. Is p a multiple of 8?
True
Suppose 5*l = -4*s + 215, -3*l - 2*s + 86 = -l. Is l a multiple of 7?
False
Let p(r) = 2*r**2 + 4*r. Is 15 a factor of p(-5)?
True
Let w be -2 + (-2 - -2) + 101. Suppose -v - 2*v + w = -3*y, -v = -3*y - 35. Is v a multiple of 16?
True
Let s(b) = -4*b - 17. Is s(-8) a multiple of 2?
False
Suppose -j + 60 = -38. Does 7 divide j?
True
Suppose -4*c + 5 = -5*c. Let g = c - -9. Suppose g*t - 56 = -5*b, -3*t + 56 = t - 5*b. Is t a multiple of 8?
False
Suppose -2*k + 257 = -2*i + 7*i, -k - 4*i + 136 = 0. Is k a multiple of 29?
True
Let r be 1144 + (1 - -2)/(-1). Let c = r - 533. Does 10 divide c/24 - 2/6?
False
Is 12 a factor of 2*96/(-28)*(-21)/2?
True
Let s = -172 - -372. Does 20 divide s?
True
Let z be 11/6 + (-10)/(-60). Is z + 26 + 1 + 2 a multiple of 7?
False
Suppose -5*r - 373 = -2*u, -u - r + 120 + 56 = 0. Suppose -y - u = -5*x - 4*y, x - 2*y - 28 = 0. Does 17 divide x?
True
Suppose -19 - 6 = -5*n. Suppose -5*f - 8*z + 159 = -n*z, -z + 123 = 4*f. Does 11 divide f?
False
Let r = 19 - -77. Is r a multiple of 40?
False
Let h be ((-8)/(-6))/((-10)/(-75)). Suppose 5*y + 15 + h = 0. Let d(z) = -z**2 - 12*z - 3. Is d(y) a multiple of 16?
True
Let z = 32 - 16. Is 6 a factor of z?
False
Let y = 12 - -23. Does 7 divide y?
True
Let w(o) = o**3 + 4*o**2 - 2*o - 1. Let b(t) = t**3 - 5*t**2 + 6*t - 6. Let u be b(4). Is w(u) a multiple of 8?
False
Suppose 0 = -2*l - 11 - 1. Is 16 a factor of -6 + 7 - 3*l?
False
Suppose -487 = -7*g + 101. Is g a multiple of 28?
True
Suppose 3*m + 91 - 433 = 0. Does 19 divide m?
True
Suppose -4*y + 2*a = 8, -5*y + a + 3 - 7 = 0. Suppose 5 + y = b. Is 4 a factor of b?
False
Suppose -3*n + 20 = 2*n. Let c = n + 1. Suppose -c*w + 3*u - u + 199 = 0, -3*w + 109 = 4*u. Is w a multiple of 11?
False
Let u(k) = -5 + 2 - 14*k + 5*k. Suppose i - 2*v = 2*i - 5, 0 = 2*i - 4*v + 30. Is u(i) a multiple of 21?
True
Let r(p) = p**3 - 6*p**2 + 8*p - 5. Does 10 divide r(5)?
True
Let b(j) = -j - 1. Let s(g) = 5*g + 5. Let v(m) = -15*b(m) - 5*s(m). Let w be v(-8). Suppose 8*t - 3*t - w = 0. Is t a multiple of 14?
True
Suppose -m + 15 = 3*f, 4 - 16 = 3*f. Does 27 divide m?
True
Let x = -10 + 14. Suppose x*d - 3*d = 0. Suppose d = -4*g - 4*v + 60, 2*v = 3*v. Is g a multiple of 5?
True
Suppose o - 52 = -0. Does 14 divide o?
False
Let t be 6/(-4) - (-2)/4. Let h = t - -4. Suppose 3*m - 32 = -2*m + g, -3*g = h*m - 30. Is m a multiple of 2?
False
Suppose -2*p + 2 = -4*p - 4*x, 4*p = -3*x + 6. Suppose p*r + 360 = 7*r. Let k = -51 + r. Is 18 a factor of k?
False
Let o be 2 - -42*15/6. Suppose -o = -4*q + 1. Let i = q + -7. Is 10 a factor of i?
True
Let d = 16 - 12. Suppose -4*p + 1 + 7 = 0. Let f = p + d. Is 4 a factor of f?
False
Let a(v) be the first derivative of 0*v + 0*v**2 + 5/4*v**4 - 2 - 2/3*v**3. Is a(2) a multiple of 16?
True
Let i(y) = 4*y - 4. Let t = 77 + -53. Suppose -3*k + t = 3. Is 7 a factor of i(k)?
False
Suppose -2*y = 1 - 5. Suppose 0 = -3*x - 3, 0*v + 58 = 3*v + y*x. Does 9 divide v?
False
Let n be ((-1)/3)/(2/(-30)). Suppose 0 = -4*y + 7 + n. Suppose -c = -17 + y. Is 7 a factor of c?
True
Let y(r) = 5*r + 9. Let n be y(12). Suppose 0*g - 3*v = g - 17, -3*g - 3*v = -n. Does 18 divide g?
False
Let s(w) = -2*w + 38. Is 11 a factor of s(0)?
False
Let n = -81 - -45. Let f = n - -55. Is 19 a factor of f?
True
Let m be 3/(6/(-5))*-4. Let o be 4*(27/12 + -1). Suppose 5*q - q = -4*v + 48, m = -o*q. Does 8 divide v?
False
Let r(a) = -a**3 + 4*a**2 + 6*a - 1. Suppose 0 = 4*f - 9 - 15. Let w be r(f). Let t = -18 - w. Does 19 divide t?
True
Is 17 a factor of (-3 + -1)*51/(-6)?
True
Suppose -5*b = -15, 2*b + 36 + 126 = 4*r. Suppose g + g - r = 0. Is 8 a factor of g?
False
Let k = 15 - 9. Suppose -3*h - v + 83 = 0, k*h = h + 3*v + 143. Does 11 divide (-4)/(-14) + 916/h?
True
Let q(h) = 52*h + 1. Let a be q(2). Suppose -6*k = -k - a. Is 6 a factor of k?
False
Suppose -2*r + 4 = -2*v - 0, -4*r + 26 = 2*v. Suppose -2*u + 4*p = -38, v*p - 81 + 27 = -4*u. Does 5 divide u?
True
Suppose -275 = -4*t - t + 5*u, -5*u - 51 = -t. Is 14 a factor of t?
True
Suppose -4*c - 2*m = -4, 2*c = 2*m + m - 6. Suppose c = b + 3*b + 12, 3*b + 81 = 4*z. Does 9 divide z?
True
Let c(f) = f**2 - 5*f + 2. Let d be c(5). Suppose 5*y = 5*b + 225, y - 67 + 16 = -d*b. Let a = 80 - y. Does 9 divide a?
False
Let h be (-231)/(-15) - 2/5. Suppose 5*x + 0 - h = 0. Is ((-15)/10)/(x/(-4)) a multiple of 2?
True
Suppose 0*a = -2*n + 2*a - 188, 0 = 3*a - 15. Let b be -4*1*62/4. Let q = b - n. Is 16 a factor of q?
False
Suppose 2*m = 6*m. Suppose -2*h + 5*h = 2*y + 45, m = h - 4*y - 5. Does 17 divide h?
True
Let j = 15 - -150. Does 15 divide j?
True
Let w(v) = 5*v + 12. Let l be w(6). Suppose -t + z + 44 = -3*z, t - 3*z - l = 0. Is t a multiple of 11?
False
Let h(r) = r**3 + 12*r**2 - 2*r - 8. Is h(-5) a multiple of 47?
False
Is 137/(-2)*4/(-2) a multiple of 18?
False
Let b(p) = p**2 - 5*p. Let h(i) = 4*i**2 - 15*i + 1. Let r(z) = -7*b(z) + 2*h(z). Is 8 a factor of r(-6)?
True
Let d(s) = s**2 - 6*s + 3. Let m be d(5). Let w = 29 + m. Let y = -14 + w. Is y a multiple of 10?
False
Let j(r) = 134*r**2. Is 10 a factor of j(-1)?
False
Let c = -10 - -19. Suppose 149 = 5*r + c. Does 14 divide r?
True
Let f = 8 + -6. Is 13 a factor of 0 + f/1 - -76?
True
Suppose -8*o + 484 = -4*o. Suppose o = 4*d + 17. Is d a multiple of 26?
True
Suppose k = -3*k + 264. Does 22 divide k?
True
Let q(w) = -w**3 + 7*w**2 + 8*w + 10. Let g be q(7). Let h be 22/4 + 2/(-4). Suppose 4*m + 3*u = 25 + g, -h*m + 110 = 5*u. Is 14 a factor of m?
False
Let s be -3*(0 + 2) + 2. Is (-3)/s - 18/(-8) even?
False
Let u(k) = -k. Let j be u(-4). Suppose 2*t = -6, j*t - 28 = -r - 3*r. Is 6 a factor of 4/(-10) + 124/r?
True
Suppose 82 = -5*p + 262. Is p a multiple of 10?
False
Suppose -866 = -10*p + 124. Is 