-m + 42. Does 13 divide m?
True
Is 53/(-2)*(-2 - 0) a multiple of 18?
False
Let r = 10 - 6. Suppose -u + r = -4*x + 130, -2 = -u. Does 14 divide x?
False
Is 5/((-30)/(-18)) + (-52)/(-2) a multiple of 2?
False
Let j(t) = t**2 + 3*t + 1 - 6*t + 2*t. Let d be j(4). Suppose -2*m + l - d = -3*m, 4*m - 54 = -5*l. Does 11 divide m?
True
Let y(j) = j + 13. Let i be y(-7). Suppose -2*q + 32 = i. Is q a multiple of 13?
True
Let t = 0 + 3. Let s(h) = -12*h - 3. Let o(a) = -a. Let y(c) = 3*o(c) - s(c). Is 15 a factor of y(t)?
True
Let v be 1/(-2) - (-38)/4. Suppose 0 = 6*y - 3 - 9. Let s = y + v. Is 11 a factor of s?
True
Suppose -2*y - 553 = -5*g, 3*g - 173 = -4*y + 138. Does 16 divide g?
False
Suppose 7 = 2*k - 1, -4*q + 4*k = -28. Suppose -2*o + 3 = -q. Is 7 a factor of o?
True
Suppose 0*n + 48 = 5*l + n, -3*l + n + 32 = 0. Is 5 a factor of (0 - l)*(-2)/4?
True
Let s(l) = -2*l**3 - l**2 - 3*l - 1. Let g = -8 + 12. Suppose -12 = g*i, 5*w - i + 0*i + 7 = 0. Is s(w) a multiple of 10?
False
Suppose -8*n = -4*n + 4, -y - 4*n = 6. Let t = 30 - y. Suppose -h + 1 = 2*h + 5*x, t = 4*h - x. Is h a multiple of 7?
True
Let d(v) = -51*v - 5. Does 19 divide d(-2)?
False
Let u be 4 - (-2 + (-4)/(-4)). Suppose i - 18 = -d + 17, d = -u*i + 163. Does 16 divide i?
True
Let d = 2 + -4. Let u = -3 - d. Let r = 17 + u. Is r a multiple of 6?
False
Let i(r) = 99*r**3 + 2*r**2 - 1. Let q be i(1). Suppose 3*l - 7*l = -4*j - q, -2*l + 53 = -3*j. Does 22 divide l?
True
Let p(o) = o + 11. Let x be p(-8). Let a be x/((-4)/(8/(-3))). Suppose -122 = -4*i - 2*r, -i - 2*r = -a*i + 18. Does 14 divide i?
True
Suppose -88 - 47 = -5*v. Is 5 a factor of v?
False
Suppose 5*s + k = 319, -55 = -2*s + 4*k + 77. Is 13 a factor of s?
False
Does 16 divide (-412)/(-26) - (-6)/39?
True
Suppose 12 = 3*v - 0*v. Suppose -5*m = -4*f - 106, 3*m - 91 = v*f - 21. Does 18 divide m?
True
Let q = -14 + 34. Is 20 a factor of q?
True
Suppose -h + 5*d + 51 = 2, 0 = 5*h + 2*d - 272. Does 18 divide h?
True
Suppose 5*u - 13 = 4*b + 58, -3*b - 2*u - 82 = 0. Let q be -2 + 3 + 37 + 0. Let o = q + b. Is o a multiple of 11?
False
Let n be 1 + 0 - (35 - -2). Is (92/6)/((-6)/n) a multiple of 28?
False
Suppose 3*f = 4*c - 95, 0*c - 100 = -4*c + 4*f. Let g = c + 46. Is 18 a factor of g?
False
Let g = 834 - 429. Is g a multiple of 45?
True
Let k = -10 + 13. Suppose -2*r = -k*r + 15. Does 5 divide r?
True
Let j = 8 - -7. Suppose -2*a + 3*a = j. Is 23 a factor of 5/a - 274/(-6)?
True
Let b(h) be the third derivative of -h**5/60 + 7*h**4/24 - 2*h**3/3 + 2*h**2. Let w be b(6). Suppose 0 = w*f + 4, 0 = -0*g + 2*g + 4*f - 44. Does 12 divide g?
False
Let t = -2 - -7. Is (16/t)/((-10)/(-75)) a multiple of 7?
False
Suppose 0 = 3*k - 46 + 16. Does 5 divide k?
True
Suppose -5*i = d - 41, 3*d - 92 = -d - 2*i. Is 21 a factor of d?
True
Suppose 2*x + 4*k - 3 = 13, 3*x + 20 = 5*k. Is x/1 - (-6 - -1) even?
False
Suppose 5*q - 13 = 4*o, 0 = 3*q - 2*o + 5*o - 24. Let f be (-6)/q*60/9. Is 14 a factor of (2 - 53)/(12/f)?
False
Let k(u) = 4 + 2 - 5*u - 5. Does 24 divide k(-5)?
False
Let q(i) = i**3 + 7*i**2 + 6*i + 4. Is 7 a factor of q(-4)?
True
Let w = 9 - 6. Suppose -12 = -t - 2. Suppose -2*g + a + 26 = 0, w = g + 4*a - t. Is 8 a factor of g?
False
Suppose 0 = -6*v + v. Suppose v*m = 3*q - 2*m - 15, 0 = -3*q + m + 15. Suppose 5*n - n - 76 = -2*t, q*n = 10. Is t a multiple of 17?
True
Let a(r) = 8*r. Let t be (-2 - -5)/(-3) - -2. Is 8 a factor of a(t)?
True
Suppose -3*p + 300 = 2*p. Suppose 4*w - 3*o = -w + 185, w + 4*o = p. Suppose 0*m - w = -4*m. Does 9 divide m?
False
Let w(q) = -2*q**3 - 3*q**2 - 3*q - 3. Let r be w(-2). Suppose 0 = -c - r + 45. Suppose -2*g + 5*l = -4*g + 33, 3*g - c = 4*l. Is g a multiple of 7?
True
Suppose 2*x + 7 = c, 3*c - 25 = 5*x - 0*x. Is c a multiple of 6?
False
Let z = 147 - 84. Is z a multiple of 14?
False
Let q = 43 - 37. Is 3 a factor of q?
True
Let v be 2*1 - (-6)/3. Suppose -2*y + 27 = 2*z + 3*y, 0 = v*z - y - 21. Does 6 divide 6/(3/(1*z))?
True
Let b be 6 - -4*(-12)/16. Suppose -b*k - 34 + 214 = 0. Is k a multiple of 26?
False
Let z = 0 + 12. Is 4 a factor of z?
True
Let h = 325 - 141. Suppose 0*x = x - 2, 2*x = -5*b + h. Is 36 a factor of b?
True
Suppose 5*w - 25 = -0, -5*t = w + 35. Let v be t/(-10)*(0 - -5). Suppose v*j - 2*i - 30 = 0, -j - 7*i = -3*i + 15. Is j a multiple of 2?
False
Let j be (21/4)/((-15)/(-40)). Let k be 6/(-2 + j/4). Suppose -5*y = k*s - 21 - 46, 5*s = -y + 26. Does 11 divide y?
True
Let o(h) = -4*h. Let p be o(-1). Let w = p + -2. Let z = 11 - w. Is z a multiple of 9?
True
Suppose -569 = -12*h + 307. Does 13 divide h?
False
Suppose 0 = -15*f + 11*f + 168. Is f a multiple of 9?
False
Suppose -4*s - 17 + 5 = 0. Let c = s - -21. Is 9 a factor of c?
True
Let p be 2/10 - (-11)/(-5). Let c(m) = -m**2 + 1. Let u be c(p). Is 2/u*1*-51 a multiple of 17?
True
Let l be -23 + 2/2 + 1. Does 14 divide ((-108)/l)/((-2)/(-21))?
False
Let h(w) = w**2 - 5*w - 2. Let b be h(6). Suppose -c + i = 0, 9*c = b*c - i + 18. Suppose c*m - 2*x = 75, x + 38 = 2*m - 11. Is 8 a factor of m?
False
Suppose -q + 3*g = 2*q - 201, 2*q - 5*g - 119 = 0. Does 12 divide q?
True
Let c(m) = 6*m**3 + m**2 - 2*m. Does 8 divide c(2)?
True
Let u be (-10)/(-15) - (-4)/(-6). Suppose 140 = 5*i - u*i. Suppose -3*j + i - 10 = 0. Is 6 a factor of j?
True
Let w(i) = i. Let z be w(5). Suppose 0 = f - h - z - 8, -h = 3*f - 19. Is 8 a factor of f?
True
Let r = -2 + 27. Is r a multiple of 5?
True
Let n be 2/(-4)*(3 + -49). Let d be (-2)/5 + 7/5. Let o = d + n. Is 12 a factor of o?
True
Let d(n) = 14*n + 9. Let h be d(3). Let w = -34 + h. Does 5 divide w?
False
Suppose 2*w + 7 = -4*u + 29, -3*u - 5*w = 1. Does 4 divide u?
True
Let n = -3 - -8. Let u be -1*3*n/(-3). Suppose 28 = u*p - 2. Is 3 a factor of p?
True
Let z = 3 - 5. Suppose 3*n - 24 = -3*i, 3*i - 24 = -3*n + 8*i. Let c = z + n. Is c a multiple of 6?
True
Suppose -4*w + 31 = -2*c - 25, -3*w = -4*c - 37. Suppose w = 5*s - 2*s. Suppose 0 = -s*g + g + 56. Is g a multiple of 14?
True
Suppose 8*m - 3*m - 50 = -2*r, -4*m = 2*r - 48. Does 3 divide r?
False
Suppose 2*x - 4*j - 168 = 0, 82 - 3 = x + 3*j. Is x a multiple of 21?
False
Let z be (-238)/(-4) + (-10)/20. Let m = z + -20. Does 13 divide m?
True
Suppose -9 = 3*r, -4*a = 3*r - 20 - 23. Let o = 2 + 1. Is 12 a factor of o/(-2 - 1) + a?
True
Let u(w) = -w**3 + 5*w**2 - 2*w - 5. Let v be u(4). Let m(z) = z**2 - 3*z + 4. Let b be m(v). Suppose -10 + 86 = b*h. Does 15 divide h?
False
Let b = 5 + -2. Suppose -2*i - b*i + 100 = 0. Is i a multiple of 10?
True
Suppose 13 = 4*o - 7. Suppose -x = o*t - 1 - 6, -4*x + 3 = -5*t. Suppose z + 27 = 2*u, z + 6 = t. Does 3 divide u?
False
Suppose 4*v + 22 = 3*z, 24 + 4 = -5*v + 4*z. Let i = 4 + v. Suppose 0 = -i*o - 3*o - j + 29, -31 = -2*o - 3*j. Does 4 divide o?
True
Let o = -10 + 7. Is 12 a factor of (-22)/6*o + 1?
True
Let l(y) = y**3 + 18*y**2 + 12*y + 23. Does 54 divide l(-17)?
True
Suppose 2*t - k = 235, -134 = -t - 0*t - 5*k. Does 7 divide t?
True
Let s be 19 + (-2 - (4 - 2)). Suppose -5*i + 35 = 3*x, 3*i - x - 2 = x. Suppose -i*a + s = a. Does 3 divide a?
True
Let q = 84 - 32. Is q a multiple of 13?
True
Does 4 divide 15 + -1 - (4 - 0)?
False
Suppose 0 = -4*i + i + x + 150, 4*i - 2*x = 198. Is 31 a factor of i?
False
Suppose 2*m = -5*n + 289, 4*n + 548 = 4*m + 8*n. Does 11 divide m?
True
Let l = -5 + 3. Let u(s) = -2*s**2 - 2*s - 2. Let b be u(l). Let q(w) = w**2 - 5. Is q(b) a multiple of 13?
False
Let i(x) = 36*x**2 + 3*x + 3. Does 12 divide i(-1)?
True
Let z(m) = m + 1. Let i be z(-1). Suppose 5*s - 4*v = -5, i*s - 5*v = -4*s - 4. Let l(k) = 15*k**2 + k + 1. Does 10 divide l(s)?
False
Let p(j) = -j**3 + j**2 + j - 1. Let d be p(2). Is (9*d)/((-6)/4) a multiple of 15?
False
Suppose -11*r + 5*r = -258. Is r a multiple of 12?
False
Suppose 5*d + 122 = 3*h + 3*d, -4*h + 157 = 3*d. Let f(r) = 27*r**2 - 1. Let v be f(1). Let x = h - v. Is x a multiple of 5?
False
Suppose -3*l = -4*y + 2*y + 176, -5*l = 4*y - 396. Does 12 divide y?
False
Let n = -24 - -2. Is (2 - (3 + 0))*n a multiple of 11?
True
Let q(o) = 158*o**2 - 1. Let y = 9 + -8. Let l be q(y). Is 16 a factor of (-15)/(-25) + l/5?
True
Suppose -3*m + 2*q + 150 = 0, 3*m = 5*q + 233 - 92. Is 13 a factor of m?
True
Let z(d) = 2*d**2 + 9*