de l?
True
Suppose 139 = n - 127. Is n a multiple of 14?
True
Suppose 0 = -2*j + 676 + 582. Is 37 a factor of j?
True
Suppose 0 = -3*x + x. Let o = 13 - x. Is o a multiple of 13?
True
Let n(o) = -o**2 - 9*o - 8. Let r be n(-9). Let w be r - -6 - 34*1. Let y = w + 70. Does 17 divide y?
True
Suppose -49*b - 16600 = -54*b + 3*a, -2*b = -2*a - 6636. Does 120 divide b?
False
Suppose 4*c = -3*c + 903. Is c a multiple of 8?
False
Suppose -3*a + 4360 = -1220. Is 31 a factor of a?
True
Suppose 41*r - 15 = 46*r. Is (r + 5 + 0)/((-2)/(-15)) even?
False
Let x(o) be the second derivative of -o**3/6 + 15*o**2/2 + 2*o. Suppose 64 = 18*q - 116. Is 4 a factor of x(q)?
False
Let q(l) = 8*l - 8. Let h be q(4). Suppose -28 = -4*o - 5*j, -4*j = 4*o - 0*j - h. Suppose 7*m = 3*m + o*w + 84, -22 = -2*m - 4*w. Is 11 a factor of m?
False
Let a(j) = 3*j**2 - 27*j - 60. Is 32 a factor of a(-19)?
True
Suppose -4*d - 3*p = 3, -d - p - 2*p - 12 = 0. Suppose m - 10 = d*g, -2*m - 22 = m + 4*g. Is 10 a factor of (-18)/(4/m - -1)?
False
Is 14 a factor of ((-18)/12)/(8/16) + 1259?
False
Let k(m) = 6*m**2 + 93*m - 13. Does 8 divide k(-21)?
True
Suppose 12 = -2*b + 2, 4*b = 4*o - 6828. Does 13 divide o?
False
Suppose 4*r - 7 = 5*s, -r + s = 5*s - 28. Is 7 a factor of 3/12 + 446/r?
True
Let v(y) = -y**3 - 7*y**2 - 13*y + 9. Let w be v(-6). Suppose 3*o + w = -5*z + 315, 0 = z + 2*o - 57. Does 17 divide z?
True
Let t = 683 - 256. Suppose 8*c - c = t. Is 20 a factor of c?
False
Let u(t) be the third derivative of -t**6/120 - t**5/5 - 7*t**4/12 - 5*t**3/3 + 39*t**2. Does 19 divide u(-11)?
False
Let a(f) = -2*f**2 - 100*f + 33. Is a(-23) a multiple of 48?
False
Let q = 1800 + -1028. Let z = -415 + q. Is 38 a factor of z?
False
Suppose -2 - 2 = -2*k. Suppose 5*n = 2*h - h - 60, -3*h - k*n = -112. Is h a multiple of 20?
True
Let y be (-3165)/(-24) - (-3)/24. Suppose -2*l - 4*v = v - y, -4*v = -5*l + 330. Is 11 a factor of l?
True
Let d(b) = 2*b**2 - 31*b - 33. Does 23 divide d(28)?
True
Let k be (-2 + 30)*2/2. Does 25 divide (-2090)/(-14) - (48/k)/6?
False
Let o = -32 + 36. Suppose -4*b = -3*f + f + 156, o*f - 3*b - 297 = 0. Is 9 a factor of f?
True
Let x(y) = -y**3 + 6*y**2 + 4*y + 7. Let b be x(7). Let c = 14 + b. Suppose -4*g + 144 = 2*s + 2*s, 4*s - 3*g - 123 = c. Is s a multiple of 26?
False
Suppose -157 - 179 = -n. Is n a multiple of 7?
True
Let a(f) be the third derivative of -13*f**4/24 - 11*f**3/6 - 12*f**2. Is a(-19) a multiple of 18?
False
Does 2 divide (-6)/(99/21 - 5)?
False
Let p = -16 + 45. Suppose -281 + p = -7*y. Suppose -6*c = -12 - y. Is c a multiple of 8?
True
Is (-60 - -7886)*(-3)/(-6) a multiple of 91?
True
Suppose -372 = -2*y - 264. Is 3 a factor of y?
True
Suppose y + 0*y - 22 = 0. Suppose 0*c + 5*c - y = -3*v, 10 = 5*v - 5*c. Suppose 0 = 2*u - v*o - 56, -u - u = -2*o - 50. Does 14 divide u?
False
Let i be (-3 - (-196)/8)*14. Suppose 3*z - i = 2*b, 3*z + 0*b - 281 = -2*b. Is 32 a factor of z?
False
Let b = -10 - -10. Suppose b = 7*j - 6*j - 10. Is j a multiple of 3?
False
Suppose -2*p + 6 = -0. Does 14 divide (1/(-3))/((-2560)/852 + p)?
False
Let j be 5 + 45/(-36) - 6/8. Suppose q - 17 = y + y, -j*q = 2*y - 51. Does 2 divide q?
False
Let o(t) = -t + 9. Let l be o(7). Suppose -l*f - 10 = -7*f. Suppose -u + 81 = f*u. Is u a multiple of 9?
True
Suppose -4*h = 5*n - 11292, h - 1287 = 3*n - 8052. Is 94 a factor of n?
True
Suppose 0 = 6*x - 4*x. Suppose x = k - 3*k. Suppose 84 = 5*n + 2*u, k = -n - 0*n + u + 21. Is 6 a factor of n?
True
Suppose -2*r + 0*r + 8 = 0. Suppose r*d - 45 = 7. Let o = -5 + d. Does 8 divide o?
True
Let r(x) = 71*x**2 + 2*x - 28. Does 100 divide r(-4)?
True
Let q(a) = -84*a - 2*a**2 + 93*a - 1 + 4*a**2. Does 17 divide q(-6)?
True
Suppose -5*q - 3*p + 25 = 0, -8 = q - 2*p - 0. Let o be (q + -14)/(-3) + -1. Is 37/o + 2/(-6) a multiple of 12?
True
Let o(q) = 1 - 11*q**2 + 5*q**2 - 2 - q + 7*q**2. Let m be o(-2). Suppose 4*b = y + 2*b - 18, -m*y - 5*b = -105. Is 11 a factor of y?
False
Suppose 0 = -2*j + 5*b + 362, -2*b = 4*j - 3*b - 760. Let m = j - 57. Is 38 a factor of m?
False
Suppose -439 = -9*u + 1451. Is u a multiple of 7?
True
Let u = 74 - 85. Let k(r) = -r**3 - 10*r**2 + 5*r + 3. Does 6 divide k(u)?
False
Let d(p) = -272*p + 11. Let h(b) = -91*b + 4. Let u(y) = 6*d(y) - 17*h(y). Is u(-1) a multiple of 12?
False
Let m = -9 - -90. Is 27 a factor of m?
True
Suppose -6*d + 10186 = 13*s - 9*s, 5*s = -2*d + 12738. Is 91 a factor of s?
True
Suppose -48 = -0*y + 6*y. Let k(v) = -v**3 - 7*v**2 + 5*v - 14. Is 10 a factor of k(y)?
True
Suppose 5*w + 50 = -5. Let m be w/(-2)*2*7. Let o = m - 49. Is 14 a factor of o?
True
Suppose 0 = -4*k - 2*h + 54, -2*h - 21 = k - 2*k. Suppose k = 3*j, 0 = -u + j + 3 - 4. Suppose 3*r - 6*b + 3 = -b, 4*b - u = 2*r. Is r a multiple of 2?
True
Let b = -20 - 11. Let u(l) = -l**3 - 32*l**2 - 34*l + 20. Is u(b) a multiple of 14?
False
Let q(b) = -b**3 - 4*b**2 + 2*b - 1. Let v be q(-3). Let x be v/16*(-60 - 0). Let m = x - 22. Does 19 divide m?
True
Let z = -350 + 644. Does 14 divide z?
True
Let w(i) = -i**2 + 7*i + 5. Let n be w(7). Suppose 2*d = -n*t + 273, -5*d + 3*t = -d - 585. Does 9 divide d?
True
Let o = 254 - 383. Is o/(-4)*(-2 - 42/(-9)) a multiple of 43?
True
Does 18 divide (9/(-3) - 108)/(1*-1)?
False
Suppose 492 = -3*k + 2979. Does 43 divide k?
False
Suppose 1917*a = 1907*a + 18690. Does 18 divide a?
False
Suppose 3*o - o - 454 = 4*z, -2*z = 2. Is 45 a factor of o?
True
Let u be (-6)/5*(-35)/2. Let x = u - 15. Suppose -x*w + 365 = -w. Is 13 a factor of w?
False
Let f(n) = 9*n - 1. Let c(i) = 36*i - 3. Let p(l) = 4*c(l) - 15*f(l). Let q be 68/24 - (-2)/12. Is p(q) a multiple of 15?
True
Suppose 0 = -w + 3*w + 24. Let y = w - -23. Suppose 0 = 3*m - y - 31. Is 8 a factor of m?
False
Suppose 2 = 12*q - 11*q. Suppose -q*g = -0*g. Suppose -56 = -g*w - 4*w. Is w a multiple of 3?
False
Suppose 0 = -d + 5, 4*y - 2*d = -0*y - 34. Let z(i) = 3*i**2 - 2. Let u be z(-4). Let c = u + y. Is 26 a factor of c?
False
Let a be 7/((-21)/4)*30. Is (a/(-6))/(10/15) a multiple of 2?
True
Suppose 4*w - 6*w - 5*z + 181 = 0, 4*z - 180 = -2*w. Does 8 divide w?
True
Let a(d) = 22*d**3 + 2*d**2 - 2*d - 2. Let r be a(-1). Suppose u - 3 = 1. Is (-1515)/r + (-3)/u a multiple of 15?
True
Let n = -551 - -865. Is n a multiple of 16?
False
Let f be ((-30)/(-50))/(6/20). Suppose 4*i + f*o = 6*i - 60, 0 = 5*i + o - 180. Is i a multiple of 15?
False
Let j be ((-38)/6)/((-1)/(-30)). Is 2 a factor of j/57*72/(-10)?
True
Suppose m = -2*i + 14 + 2, 3*i = m - 26. Suppose -2*k = -6*k + m. Suppose 6*y = k*y + 2*g + 15, 2*y - 2*g - 32 = 0. Is y a multiple of 3?
False
Let w(o) = -2*o - 8. Is 3 a factor of w(-9)?
False
Let z be (-1)/((4/(-6))/(1 + 1)). Suppose z*l - 888 = -3*l. Does 26 divide l?
False
Let w = 281 + -191. Suppose -6*j = -390 - w. Is 8 a factor of j?
True
Suppose -2*o + 2 = -o. Let y be (-6)/(-10) + o/5. Suppose -2*n = -3*n - y, 2*x - 5 = -n. Is x a multiple of 3?
True
Suppose 39 - 481 = -5*j + 4*d, 335 = 4*j + 3*d. Is 16 a factor of j?
False
Let n = -8 - 3. Let x = n - -13. Suppose -x*s + 30 = 2. Does 14 divide s?
True
Let t(o) = 2*o + 2*o**3 - 1 + 5*o**3 + 0*o**3. Let g be t(1). Let s(y) = y**3 - 9*y**2 + 13*y - 9. Is s(g) a multiple of 13?
False
Suppose -v - 4*u = 4, 2*v - 3*u - 3 = 4*v. Suppose -4*p - 8 = 3*m - 0*m, v = -p + 5*m + 21. Suppose -7 = 2*i + p, w + 3*i - 7 = 0. Is 9 a factor of w?
False
Does 8 divide (64/(-40))/(1/(-15))?
True
Let q(u) = 8*u + 72. Is q(12) a multiple of 8?
True
Let s = -18 - -24. Does 3 divide (5 + -1)/(8/s)?
True
Let j = 7 - 2. Suppose -4*y = 4, 25 = j*m - 0*y - 5*y. Is m even?
True
Let r be 2 + 3 - (7 + -82). Let a = r + 3. Is a a multiple of 12?
False
Let s(v) = v**2 + 7*v + 3. Let x = 1 + -8. Let q be s(x). Does 7 divide 3/(-6)*(q - 45)?
True
Suppose -4*f - 26 = -4*g + g, 5*g - f - 15 = 0. Suppose -8*x + 50 = -6*x + g*t, -5*t = -25. Is 7 a factor of x?
False
Suppose -6*s = -3*s + 3. Let o be (241 - 9)*s/(-2). Suppose 136 = 3*q - o. Is 21 a factor of q?
True
Let u(h) = -159*h - 7. Let p be u(-3). Let j = -336 + p. Does 23 divide j?
False
Is 400/3*1 + (-36)/27 a multiple of 2?
True
Let m = 524 - 344. Does 4 divide m?
True
Let a = 13 - 12. Does 13 divide a*4 + 793/13?
True
Let l be (-35)/(-14)*(-486)/(-5). Le