alse
Let w(l) = 12*l**2 + 9*l - 5. Let j be w(3). Is 56 a factor of 2*(j - -3) - 0 - -4?
False
Let u = -37 - -41. Suppose -4*c = -3*c - 2*o - 15, 0 = 5*c - 5*o - 50. Suppose 51 + c = u*k. Is 4 a factor of k?
False
Suppose b - 5*s + 13 = 0, -47 = -5*b - 2*s - s. Let k(o) = -o**3 + 9*o**2 - 10*o - 4. Does 5 divide k(b)?
False
Let t = 514 - -85. Does 10 divide t?
False
Let y(c) be the first derivative of c**3/3 + 7*c**2/2 - 5*c - 3. Let l be y(-8). Suppose l*o = -0*o + 132. Is o a multiple of 14?
False
Let m(n) = -5*n - 5. Let v be m(-3). Let q be 22/v + (-4)/20. Suppose 0*x + q*x = 70. Is x a multiple of 12?
False
Suppose 0 = 6*g + 2128 - 7984. Does 61 divide g?
True
Suppose 2*d = 5*d - 15. Suppose 4*c = y + 393, -y + d = -2*y. Does 18 divide c?
False
Let k(d) = 71*d. Let z be k(3). Suppose 5*t = -187 - z. Let i = -23 - t. Is 15 a factor of i?
False
Let w be -3*(-3)/(-27)*3 + 1. Suppose w = -7*n + 587 + 141. Is 13 a factor of n?
True
Suppose -5*i + 33 - 8 = 0, 2*c = 5*i - 9. Suppose -z + 173 = 3*s, -5*s = c*z - 4*z - 685. Is z a multiple of 25?
False
Let l(y) = 7*y + 1. Let o(x) = 36*x + 6. Suppose 2*q - 14 = 2*m, -5*m + 0*q + 4*q - 31 = 0. Let p(a) = m*o(a) + 16*l(a). Is 10 a factor of p(7)?
False
Let u = -1133 - -1754. Does 23 divide u?
True
Suppose 519 = 5*t + 24. Let n = -21 + t. Is n a multiple of 10?
False
Let b be (-12)/((-7)/4 + 1). Let s be 4 + -6 + b + -1. Suppose -8*u + s*u = 355. Is u a multiple of 37?
False
Suppose -4*f - 252 - 52 = -4*a, -4*f = 16. Let o be 1*-2 + (a - 2). Suppose -o = -n - 3*n. Is n a multiple of 6?
False
Let c(y) = -y**2. Let r(x) = -x**3 - 2*x**2 + 3*x - 4. Let o(s) = -c(s) - r(s). Let b be o(-4). Suppose b = 2*m - 35 - 45. Is m a multiple of 8?
True
Suppose 2*o + 5*p - 13 - 9 = 0, p - 2 = 0. Let m(n) = n - 4. Let v be m(o). Suppose -2*q = -5*w + 4*w - 19, 0 = 2*w + v. Is q a multiple of 3?
True
Suppose -1 = -2*v + 3*t, t + 2 = 3. Suppose 2*q = v*a + 8, 2*a + 6 = 4*q - 20. Is 4 a factor of q?
False
Suppose -3352 = -26*w + 16304. Is w a multiple of 18?
True
Suppose -2*x + 20 = -4*b, 4*x = 3*x + 5*b - 2. Let o be (-6)/(-7)*84/x. Let k = 1 + o. Is k a multiple of 4?
False
Let c(n) = n**2 - 2*n + 2. Let h(k) = -k**2 - 9*k - 6. Let j be h(-9). Is c(j) a multiple of 10?
True
Suppose -x = -36 + 31. Suppose -t + 2*f = -2*t + 149, -3*f = t - 151. Suppose 8*s - 3*s = z - 8, x*z - 4*s = t. Is z a multiple of 11?
True
Let k be 1/(5/(-4))*(-15)/2. Does 5 divide 1100/12 - (-2)/k?
False
Does 3 divide (78/52)/((-533)/178 + 3)?
True
Let k(m) = 23*m**2 - 97*m + 11. Is k(-5) a multiple of 9?
True
Suppose 0 = -15*p - 12*p + 13851. Does 12 divide p?
False
Is ((-34056)/220)/(((-1)/5)/1) a multiple of 18?
True
Suppose 20 = -5*n, 5*n - 286 + 66 = -a. Does 10 divide a?
True
Let b(f) be the third derivative of -f**4/24 - 5*f**3/6 + 5*f**2. Let m be b(-5). Suppose 2*r + 4*t - 136 = -2*r, 2*t - 2 = m. Does 11 divide r?
True
Suppose -1154 = -3*k + 1207. Does 19 divide k?
False
Suppose -b + 394 - 14 = 3*z, 0 = -5*z + b + 628. Is 18 a factor of z?
True
Let g be (-20)/(-3)*6/4. Let a be 24/15 + (-6)/g. Let j = a - -6. Does 4 divide j?
False
Suppose 0 = -i - i. Suppose i = 5*l + 5*w - 140, -3*w + 0*w = 2*l - 57. Is 9 a factor of l?
True
Let g be (-6)/12 - 14/(-4). Let z be 76/8 - g/(-6). Suppose -5*w = -z*w + 20. Is w a multiple of 2?
True
Let p = 9 - 16. Let v = 12 + p. Suppose 2*h - v*h = -213. Is h a multiple of 27?
False
Let q = -1056 + 2330. Is 91 a factor of q?
True
Let j(t) = -t**2 - t + 22. Let i be j(0). Suppose i*c = 25*c - 279. Is 31 a factor of c?
True
Suppose 0*v = 5*v - 2*w - 16, 4*v = 3*w + 17. Suppose 4*h - 28 = -4*n + 8, 3*h + v*n = 26. Is 8 a factor of h?
True
Suppose -x = g - 575, -2*g - 5*x = 303 - 1462. Suppose -98 - g = -5*t. Suppose -2*a + 0*a = -t. Is a a multiple of 19?
False
Suppose -4*g - 4*j + 1260 = 0, -2*g - 5*j = -354 - 261. Is 40 a factor of g?
True
Let r(d) = -2*d - 15. Let g be r(-10). Let x = g - 0. Suppose n - 2*h - 24 = 0, -x*n + 3*h + 14 = -113. Is 13 a factor of n?
True
Let s = -2275 - -3321. Does 16 divide s?
False
Let z(j) = j**2 + 3*j - 8. Let f be z(-5). Suppose -4*n + f*n = -10. Suppose -91 = -n*c + 3*b, -65 - 1 = -3*c - 2*b. Does 10 divide c?
True
Suppose -3 - 9 = -2*f. Suppose -3*s - 7 = -4*a, -s + f*s + 29 = -2*a. Let t(v) = -6*v - 2. Is 5 a factor of t(a)?
True
Let o(m) = 13*m + 8. Let l(t) = -14*t - 9. Let k(j) = -2*l(j) - 3*o(j). Does 10 divide k(-4)?
False
Let i(t) = 111*t + 13. Let f be i(-8). Let g = -357 - f. Suppose 0 = 4*n + 4*d - 680, 3*n - d = 4*d + g. Is n a multiple of 43?
False
Let a(f) = f**3 - 15*f**2 + 26*f + 3. Let u be a(13). Is (-2)/((21/(-6) + u)/10) a multiple of 10?
True
Let u(z) = -2*z - 1. Let o be u(-2). Suppose 331 = o*x + 61. Is 18 a factor of x?
True
Is 7355/2*(-20)/(-25) a multiple of 32?
False
Let f(h) = 6 - 2*h**2 + 6*h**2 + 6*h**2 + h + h**3 + h**2. Let j be f(-7). Suppose 50 = 5*t - j. Is 14 a factor of t?
False
Let o be ((-6)/(-4))/(2/4). Let t be -3 - (-15)/((-25)/(-5)). Suppose -3*f - o*f + 144 = t. Does 4 divide f?
True
Let i = 59 - 54. Suppose i*c - 137 = -2*z, 0 = 11*z - 16*z + c + 275. Is 8 a factor of z?
True
Let b be ((-1)/(-3))/((-6)/(-252)). Suppose 13*x + 105 = b*x. Is x a multiple of 21?
True
Let t(w) = -2*w + 31 + 37*w - 17*w. Is 17 a factor of t(3)?
True
Let g(y) = 9 - y + 4*y**2 - 6 - 3. Let c = 5 - 4. Is g(c) even?
False
Is -8 - (14/2 + -1093) a multiple of 77?
True
Let j(v) = -15*v**3 - 4*v**2 - 5*v + 2. Let q = -10 - -8. Let t(k) = 15*k**3 + 3*k**2 + 4*k - 1. Let d(i) = q*j(i) - 3*t(i). Does 5 divide d(-1)?
True
Let x(i) = -4 + 2*i + 8*i**2 + i**3 + 5*i - 3*i - 7. Let d be x(-7). Is (30/4)/(1/d) a multiple of 25?
True
Let a(g) = 2*g**2 + 16*g + 8. Let w = 16 - 27. Let d be a(w). Suppose -5*l - 4 + d = 0. Is 9 a factor of l?
False
Suppose -732 = 2*p - 8*p. Let y = p + -26. Is 29 a factor of y?
False
Let v = -478 - -886. Is v a multiple of 12?
True
Let f(a) = 7*a - 6 + 2*a**2 - 6*a**2 - 2*a**2 - 3*a. Let x be f(-5). Does 24 divide (-4784)/x + 4/(-22)?
False
Does 9 divide ((-2)/(-6))/(161361/40338 + -4)?
True
Let b(z) = -4*z**3 - 6*z**3 - 14*z + 0*z**3 + 16*z + 3*z**2. Is b(-2) a multiple of 22?
True
Let y = -1661 - -3036. Is y a multiple of 83?
False
Let y = 69 - 44. Let n = y + -20. Suppose n*a - 9*a = -352. Is a a multiple of 22?
True
Let h(j) be the second derivative of -j**5/20 + 3*j**4/4 + 2*j**3 - 11*j**2/2 - 17*j. Is 3 a factor of h(10)?
True
Suppose 7*j - 9*j - 4 = 0. Does 6 divide 8/j - (-27 - (3 - 6))?
False
Suppose 131 + 21 = 4*u. Suppose 14*q = 13*q - 1, 5*d = -5*q + 5. Suppose -u = -4*o + d. Is 6 a factor of o?
False
Let f = -929 - -1930. Is 81 a factor of f?
False
Let y = -1872 + 3695. Is 12 a factor of y?
False
Let j(m) = m**3 - 6*m**2 + 9*m - 8. Let s(d) = -d**3 - 2*d**2 - d + 3. Let z be s(-2). Suppose -g + 1 + z = 0. Does 19 divide j(g)?
False
Let u = 3096 - 2135. Is 13 a factor of u?
False
Let m(g) = 106*g**3 + g**2 - 2*g + 1. Suppose -10 = -4*x - 2*h, -3*x + 5*h = -0*x + 12. Is 8 a factor of m(x)?
False
Let d(w) = 8*w**2 + 14*w + 26. Is 42 a factor of d(-17)?
True
Suppose 4*n + 10 = -86. Does 37 divide 5/40 - 1149/n?
False
Let x = 126 - 144. Is (-3)/(-6) - 5283/x a multiple of 21?
True
Let u(q) be the first derivative of 2*q**2 - 5*q - 2. Let w be u(4). Does 22 divide 1/(1/2)*w?
True
Let f be (3/(-2) - -1)*0. Let o(u) = -u - 1. Let a be o(-7). Let c = f + a. Is 3 a factor of c?
True
Suppose 0 = 5*p - 245 - 340. Is p a multiple of 13?
True
Let a(q) = 476*q**2 + 169*q + 515. Is a(-3) a multiple of 17?
False
Suppose -5*w + 48 = 2*l, -56 = -4*l - 3*w + 12. Suppose -l*h + 1652 = 252. Is 10 a factor of h?
True
Suppose 3*q = -5*b + 40, -2*b + 23 = q + 8. Suppose -4*y + q*y = 57. Does 29 divide y?
False
Let p be (3/9 + 0)/((-1)/(-9)). Let n = 45 + p. Is n a multiple of 12?
True
Suppose -932*z + 465 = -927*z. Is z a multiple of 34?
False
Suppose 2*h - 31 - 75 = 0. Does 3 divide h?
False
Suppose -4*f = -6*f + 50. Suppose 2*m - 34 = 5*j, 0 = -3*j - m - 2 - f. Let r(n) = -5*n - 18. Does 18 divide r(j)?
False
Suppose y - 271 = 4*p, -218 = -y + p + 65. Is y a multiple of 26?
False
Let w = 61 + -72. Let g(b) = -4*b + 24. Is 17 a factor of g(w)?
True
Suppose 0 = l + 4*k - 139, -2*l - 2*k = l - 367. Let d = l + -56. Let v = d - 36. Is v a m