36) - (-137)/a?
False
Suppose 5*c - 28 = 3*z, 0 = -0*c - 4*c + 4*z + 24. Suppose -c*v = -5*o + 190, o + 2*v - 44 + 9 = 0. Is o a multiple of 37?
True
Is ((-12)/(-10))/(3/285) a multiple of 19?
True
Suppose 4*j = -20, 4*j = -2*k + 2*j. Suppose -k*d - 173 = -443. Is 18 a factor of d?
True
Let a(n) = -3*n**2 - 6 + 2*n**2 - 3 + 16*n + 0. Is 6 a factor of a(15)?
True
Suppose -5*o - 30 = -5*s, o + 14 = 4*s + 2*o. Suppose -325 = -s*f - f. Suppose 2*v = 7*v - f. Is v a multiple of 5?
False
Suppose -4 + 14 = 2*n. Let d(z) = z**3 - 5*z**2 + 2*z - 2. Let q be d(n). Suppose -2 = -f + q. Is f a multiple of 8?
False
Does 4 divide 3/(-5)*-6 - (-14)/35?
True
Let g(c) = -2*c**3 - 5*c - 3. Is g(-3) a multiple of 33?
True
Let b(t) = t + 5. Let i be b(-3). Does 10 divide (3/9)/(i/204)?
False
Suppose -1 = -5*f + 4. Suppose -f + 19 = 3*r. Does 7 divide 42/4*8/r?
True
Let c(n) be the first derivative of -2 - 3*n**2 + 1/3*n**3 + 4*n. Is c(6) a multiple of 2?
True
Let q be (36/21)/((-6)/(-21)). Suppose -q*c + 30 + 126 = 0. Does 19 divide c?
False
Let a be -2 + 5 + (-4 - -4). Is (4 - 2) + a/1 even?
False
Let t(f) = 38*f + 8. Does 32 divide t(4)?
True
Suppose -s - 3*s = 0. Is 3 a factor of 10 - 1/(s - 1)?
False
Let o(k) = 7*k - 2. Let r(j) = -2*j - 2. Let b be r(-4). Is o(b) a multiple of 20?
True
Let b be 1/1*1 - -10. Let w be (-4)/10 - (-39)/(-15). Is 16 a factor of w/(-3) - -2*b?
False
Let r = -9 - -14. Suppose 7*p - 41 = 3*p - 3*x, r*p - 55 = -5*x. Does 7 divide p?
False
Suppose -2*w + 218 = -14. Does 15 divide w?
False
Let r(p) = 12*p**3 - 3*p + 3. Let d be r(2). Suppose 11 = 4*w - d. Is 13 a factor of w?
True
Let d(g) = -g**2 - 4*g - 1. Let t = 4 - 8. Let n be d(t). Is 14 a factor of (-54)/(0 - -2)*n?
False
Let k = -2 - -86. Is k a multiple of 21?
True
Let o be (0/(-2))/(4/(-2)). Suppose o*f = f. Is 15 a factor of 16*1 - (1 + f)?
True
Let d be ((-2)/(-2))/(4/160). Suppose r + 5*y = 0, -5*r - 4*y = -2*y + 92. Let i = d + r. Is 10 a factor of i?
True
Let u = 16 - 11. Suppose -u*y + 475 = f + 2*f, 5*f = 3*y - 251. Is 24 a factor of y?
False
Let k(p) = 52*p - 13. Is 36 a factor of k(7)?
False
Let h = 4 - 3. Let b be 2/((2/(-4))/h). Is 6 a factor of ((-57)/12 - -2)*b?
False
Let a = -7 - -50. Let g = 91 - a. Is g a multiple of 16?
True
Suppose 224 = 65*d - 63*d. Is 16 a factor of d?
True
Let b = 17 - 15. Suppose -b*k + 29 = -91. Is k a multiple of 15?
True
Suppose 4*a + 728 = 4*y, -2*a = 2*y + a - 374. Suppose 0 = 6*x - 2*x - y. Is 9 a factor of x?
False
Suppose a + 0 - 2 = 0. Suppose 2*u + a*u - 136 = -4*d, 3*d + u = 106. Let i = 78 - d. Does 14 divide i?
True
Let l = 13 + -9. Suppose 78 = l*j - j. Does 16 divide j?
False
Let d be 2/(2 + -1 + 1). Suppose 0 = -x - d + 3. Is (x/5)/(3/150) a multiple of 10?
True
Suppose m = -4*m + 305. Is m a multiple of 23?
False
Suppose -4*k + 5*f + 51 = -208, -2*k = 3*f - 135. Suppose -2*d - 66 = -4*n, -4*n - 3*d + k = n. Is 11 a factor of n?
False
Does 11 divide (-67 + -7)*2/(-4)?
False
Suppose 2*v - 2 - 2 = 0. Suppose -3*t - v*j + 116 = 0, -3*j - 71 - 70 = -3*t. Is t a multiple of 23?
False
Does 6 divide (-8)/(-60) + 538/15?
True
Let u(j) = 6*j**2 - 1. Let z be u(1). Suppose -5 = -5*p + 4*w, p = -z*w + 6 - 34. Does 5 divide 16 + p + 1 + -3?
False
Let t(k) = 10*k**2 + 8 + 6 - 4 - k**3 - 9*k. Does 21 divide t(7)?
False
Suppose 8 = 2*a + m - 5, -a = 5*m - 2. Is a a multiple of 7?
True
Let u be 6 - (0 + -2 + 2). Let l = u - -1. Suppose -2*p - 40 = -l*p. Is 4 a factor of p?
True
Let r = 276 + -199. Is r a multiple of 11?
True
Let m(k) = -k - 1. Let v be m(-3). Let t(f) = 11*f**3 - f**2 + 4*f - 3. Let z be t(v). Let b = -56 + z. Does 18 divide b?
False
Suppose 3 - 5 = -f. Suppose 3*n - 282 = 2*p, -f*p - 9 = p. Let z = n - 53. Is z a multiple of 15?
False
Let l(h) = 3*h**2 + 2*h - 1. Suppose -4*n = -0*n - 12. Is 8 a factor of l(n)?
True
Is 5 - (4 + 1) - -364 a multiple of 14?
True
Let k = 9 - -19. Is k a multiple of 14?
True
Let l(o) = -o**3 + 2*o**2 + 3*o. Let h be l(-5). Suppose 3*j - h = 80. Suppose -4*q + j = -3*r - 2*r, -r - 100 = -5*q. Is q a multiple of 10?
True
Let w(j) = j**3 + j**2 - 2*j - 1. Let m be (-92)/(-22) + 8/(-44). Let i be w(m). Suppose 5*v = i - 6. Is v a multiple of 6?
False
Let r(q) = q**3 - 4*q**2 - 6*q - 2. Let n be r(5). Let i = n - -16. Is 9 a factor of i?
True
Let f be 3/6*2 - -1. Let a(g) = -g**3 + 2*g**2 - g + 1. Let w be a(f). Does 8 divide -4 - -2 - w*10?
True
Suppose 4*x - 101 = 5*o, -7*o - 39 = -x - 3*o. Is 6 a factor of x?
False
Let f = 409 - 284. Let o = -74 + f. Is o a multiple of 17?
True
Suppose c + 3*v + 12 = -14, 0 = -5*v + 10. Let n = -14 - c. Is 9 a factor of n?
True
Suppose -4*v - 3*m - 473 = -9*v, m - 375 = -4*v. Does 14 divide v?
False
Suppose 10*h = 6*h + 428. Does 13 divide h?
False
Let u = 179 + -59. Does 40 divide u?
True
Let b = 28 - 6. Let q = b + -10. Is q a multiple of 6?
True
Let s = 14 - 34. Is (-2)/1*s/2 a multiple of 4?
True
Let f be -2*((-45)/2 - 1). Let u = -14 + f. Is 8 a factor of u?
False
Let n be (-1)/(-1)*(-2 + 6). Is 10 a factor of (-8)/n*(-35)/2?
False
Let r be (-2)/10 + 456/30. Suppose r = 2*c + c. Suppose 0 = -3*z - 2*t + 82, -5*z - c*t + 117 = -28. Is z a multiple of 16?
False
Suppose 4*s + 2*q + 26 = 0, 3*s - 3*q + 9 = -6. Does 11 divide (-1)/2*s + 10?
False
Let f = 26 - -38. Is 17 a factor of f?
False
Suppose 5*m - 3*h = 4, 3*m + 0*m + 4*h = -15. Let b = m + 8. Is b a multiple of 3?
False
Let p = 54 + -114. Let c = -45 + p. Let g = -52 - c. Is 23 a factor of g?
False
Let z(l) = -l**2 + l. Let c be z(1). Let o = c + 0. Suppose -5*m + 32 + 78 = o. Is m a multiple of 17?
False
Suppose q + 8 = 13. Is 5 a factor of q?
True
Suppose 3*o + 5*j - j = 31, 3*j = 3. Is o a multiple of 9?
True
Suppose -3 = 5*p - 18. Suppose -d - 13 = -p*h - 3*d, -2*h + 6 = 2*d. Is 15 a factor of h*(5*-1)/(-1)?
False
Is 14 a factor of (-2)/(-4)*256/(-6)*-3?
False
Is (54/(-24))/(1/(-4)) a multiple of 6?
False
Let t(f) = 24*f**3 + 2*f**2 - 3*f + 1. Is t(2) a multiple of 39?
True
Let x(l) = 2*l**2 + 4*l - 3. Let i be x(1). Let h(n) be the third derivative of n**5/60 + n**4/8 - 2*n**3/3 - n**2. Is h(i) a multiple of 7?
True
Let f(v) = v**3 - 8*v**2 + 8*v - 9. Does 11 divide f(8)?
True
Let v = 29 + -3. Suppose -l = 5*k - v, -5*l + 234 - 48 = -3*k. Is 15 a factor of l?
False
Suppose i + 2*i + 192 = 0. Let n = 106 + i. Does 21 divide n?
True
Let o = 9 - 7. Suppose q = -3*q - o*l + 36, 5*q + l = 39. Suppose q = -5*c + 57. Is c a multiple of 6?
False
Let a be 21 - (-2 - -1)*1. Is 6 a factor of 136/a + 10/(-55)?
True
Let g = -10 + 142. Does 33 divide g?
True
Let l be 7/(-2)*(-8)/14. Suppose -w = -3*d + 34, -d + 24 = d - l*w. Is d a multiple of 3?
False
Let u(m) = 5*m**2 + 9*m - 3. Let p(j) = -j**2 - j. Let f(c) = 4*p(c) + u(c). Suppose 0*i + 5*i + 45 = 0. Is 11 a factor of f(i)?
True
Let y = -5 - -7. Suppose -y*k + 4 = -k. Suppose -65 = -o - k*o. Does 12 divide o?
False
Let g(r) = r**2 - 7*r - 4. Let l = 21 - 13. Is g(l) even?
True
Let p be 46/(4*3/12). Does 22 divide p + -3 + 1 + 0?
True
Let g = 164 - 275. Let v = g + 31. Is v/(-15) + (-4)/(-6) a multiple of 5?
False
Let j(t) = -t**2 + 5*t + 1 - t + 4. Let h be j(5). Suppose -12 = -2*f - 3*a, h = -3*f + 2*f - 5*a - 1. Is f a multiple of 9?
True
Suppose 0 = z + 2*p - 11, -4*z - z + 5*p + 40 = 0. Let v(n) = -n**3 + 8*n**2 + 10*n - 6. Let a be v(z). Suppose -s - 42 = -a*s. Is 8 a factor of s?
False
Let f = -701 - -1031. Suppose 0 = 5*c - 2*c - f. Is 11 a factor of c/8 + (-2)/(-8)?
False
Suppose -r = -16 - 19. Suppose r = 6*x - x. Does 6 divide x?
False
Suppose -4*y - 7 = 2*h + y, -15 = 3*h + 3*y. Let d = h - -52. Is d a multiple of 23?
True
Let c(k) = -k**2 + 6*k - 3. Let h be c(5). Suppose -207 = -5*s - 3*d, -2*d + 7*d + 5 = 0. Suppose -3*o - s = -3*t, -2*t + 58 = h*o + 14. Is 9 a factor of t?
True
Suppose -3*g + 4 - 1 = 0, -66 = -m - 2*g. Let c = m - -11. Let w = -32 + c. Is 15 a factor of w?
False
Suppose 3*b = 7*b. Let h(y) = y - 3. Let a be h(b). Let z = 2 - a. Does 2 divide z?
False
Suppose 0 = n - 5. Suppose 4*j + 2*y - 73 = 7*y, 4*j + n*y = 103. Is 22 a factor of j?
True
Suppose 16*o = 13*o + 27. Is 3 a factor of o?
True
Suppose 3*f = w + w + 72, 0 = -4*f + 2*w + 94. Is 11 a factor of f?
True
Let i(n) = 3*n - 3. Let l(a) = -2*a + 4. Let c be (-4 - (