de n?
True
Suppose -86*k - 3 = -83*k. Let a(s) = -27*s**2 + 7*s + 12. Let t(i) = 9*i**2 - 2*i - 4. Let g(w) = -3*a(w) - 8*t(w). Does 5 divide g(k)?
True
Let z = 8 + -1. Suppose -4*w + 7*b + 500 = 3*b, 0 = -4*w - 4*b + 476. Suppose w = 9*g - z*g. Is 8 a factor of g?
False
Suppose 6*o + 468 = -0*o. Let x be o/(-91)*7/2. Let b(u) = 5*u**3 - 4*u**2 - 2*u + 7. Does 25 divide b(x)?
True
Suppose 6*b + 0*b - 120 = 0. Suppose -b*y + 20 = -15*y. Suppose 0 = 5*x - 6*v + y*v - 1154, v + 2 = 0. Is x a multiple of 46?
True
Is 16 a factor of ((-1015)/87 + 5)*6828/(-5)?
True
Let t be -1 + 0/3 - 9225/15. Let n = t - -1540. Is 44 a factor of n?
True
Suppose 0 = -5*u + 5*f + 2480, 2*u + 5*f = -2*u + 2011. Suppose -509 = -9*n + u. Is 7 a factor of n?
True
Suppose 5*g = -3*c + 36, 6*g - c - 39 = 2*g. Suppose -6352 = g*u - 17*u. Is 17 a factor of u?
False
Suppose 21 = 4*x + 5. Let a = -3960 + 3960. Suppose q = 2*o + 47, q + a*o = -x*o + 59. Does 5 divide q?
False
Let g(a) = -a - 6. Let b be g(-3). Let s be b/18 - 52/(-24). Is 14 a factor of 5412/77 + s/(-7)?
True
Suppose 11*y = 10*y - 8. Let q be ((-12)/(1 + 2))/(-2). Does 14 divide (4/y)/(q/(-168))?
True
Let i = 12068 + -3108. Is 16 a factor of i?
True
Let a(h) = -47*h**3 - 6*h**2 - 36*h - 77. Does 4 divide a(-3)?
False
Does 118 divide (30/(-18) + -1)*689061/(-68)?
True
Let v(z) = -3*z**2 - 2*z + 10. Suppose 2*m + 8 = 5*w - 2, -5 = m - 2*w. Let a(i) = -7*i**2 - 4*i + 19. Let n(d) = m*v(d) + 2*a(d). Does 6 divide n(-8)?
True
Let c(u) = -3*u**2 - 4 + 3 + 4*u + 1 - u**3. Let n be c(-4). Suppose -5*t = 5*d - 230, 5*d + 4*t - 51 - 178 = n. Is d a multiple of 15?
True
Is 8 a factor of 4/22 - 8376246/(-1034)?
False
Suppose 5*b + 2916 = -0*m + 4*m, -3*m - 2888 = 5*b. Let v be b/(-15) + 12/9. Suppose n - 115 = v. Is n a multiple of 31?
True
Suppose 198840 = 16*x - 69384. Is x a multiple of 22?
True
Let f be ((-2782)/2 - 1)*(-217 - -213). Suppose -11*x + f = 420. Is 12 a factor of x?
True
Let c be (-112)/(-6)*39312/392. Suppose 26*w - c = 18*w. Does 39 divide w?
True
Let z(x) = -x**3 + 16*x**2 - 29*x + 17. Let d be z(14). Suppose -d*l + 593 = -2*f, 6*f + 605 = 3*l + f. Is 13 a factor of l?
True
Let o(n) = -189*n - 5. Let r be o(-4). Suppose -3*b - 4*g + 451 = -5*g, -5*b + g + r = 0. Is 15 a factor of b?
True
Let t(c) = -c**2 + 6*c - 4. Let r be t(5). Let z(v) = 4*v - 1. Let w be z(r). Is 13 a factor of -26*((-34)/4 + w)?
True
Is 62 a factor of (-152)/532 + ((-51834)/(-9))/(7/3)?
False
Let m be (-2 - 4) + (2 - 0). Let q(h) = -68*h - 193. Does 79 divide q(m)?
True
Let b(k) = -98*k + 34*k + 33*k + 178 + 34*k. Does 47 divide b(-30)?
False
Let r(g) = -28*g - 13. Let f be r(-7). Let v = f - 10. Is v a multiple of 17?
False
Let h(g) = g**3 + 38*g**2 + 30*g - 81. Is h(-26) a multiple of 13?
False
Let m be 1*956 + 0/(-1). Let i = 418 + 35. Suppose x = -2*d - 71 + i, 0 = 5*d + 2*x - m. Is d a multiple of 48?
True
Let f = 206 - -41. Suppose f = b - 112. Suppose 3*h + 347 = 5*a + h, 5*a - b = -h. Does 6 divide a?
False
Suppose 3*p + 3*n + 2*n + 1386 = 0, -3*n = -2*p - 905. Let t = p - -729. Does 17 divide t?
True
Let x be (-3 + 2 - -2)*(-1 + 1). Suppose -2*h + 4*t = -x*h - 16, -3*t = -2*h + 12. Suppose 2*f = -h*f - k + 174, 4*f + 4*k - 352 = 0. Is 28 a factor of f?
False
Suppose -10*w + 33548 = 3113 - 33025. Is 8 a factor of w?
False
Suppose 3*j + 5 = 4*x, 2*x = 5*j + 6*x - 45. Suppose u + h = 18, -72 = -4*u + j*h + 9. Is u a multiple of 6?
False
Let b = -19 - -1350. Suppose b = 19*o - 8*o. Is o a multiple of 2?
False
Let u(z) = -4*z + 33. Let p be u(8). Suppose 0*i - i - p = 0. Is 20 a factor of 6/(-8) + i/(12/(-1197))?
False
Suppose 2*u = p - 55, -4*p - u = -315 + 68. Let x = 403 + p. Suppose 5*v = -n + x, 4*v - 2*v - 4*n - 168 = 0. Is v a multiple of 12?
False
Let p = 24 + 13. Let v = p + 8. Let l = 115 - v. Is 10 a factor of l?
True
Suppose -4*s - 20670 = 5*n - 53020, -4*n + 32356 = 4*s. Does 28 divide s?
False
Let f = 3243 + -2113. Does 5 divide f?
True
Let n(f) = -13*f + 30. Let o(q) = -q**3 + 10*q**2 - 15*q - 10. Let h be o(8). Is n(h) a multiple of 7?
True
Suppose -12*i - 4*g - 28032 = -14*i, 28050 = 2*i + 2*g. Is 38 a factor of i?
True
Let q be (2 + -18 + -1)*(25 - 0). Let p = -271 - q. Is p a multiple of 7?
True
Let g be (-20)/(-8) - (-1)/2 - -36. Let z = g + -38. Let w = 15 + z. Is 16 a factor of w?
True
Let r(i) = -17*i - 11. Let l be r(-1). Let n(s) = s**3 - 3*s**2 - 2*s - 26. Is 10 a factor of n(l)?
True
Let x(v) = -122*v - 67. Let a be x(5). Let q = a + 917. Is q a multiple of 15?
True
Let q(b) = b**3 - 5*b**2 - 57*b - 183. Is 8 a factor of q(16)?
False
Suppose 3*j = 4*j + 1143 - 4510. Is j a multiple of 32?
False
Suppose 4*n = -10*n + 770. Suppose 3*j = -2*o + 165, n = j + 6*o - 11*o. Is j a multiple of 5?
True
Let v(b) = b**3 + 27*b**2 + 94*b - 1. Is v(-21) a multiple of 6?
False
Suppose 0 = -4*d + 232 - 212. Suppose d*a = -a + 1716. Does 13 divide a?
True
Suppose -3*p = -3*o - 756, 365 + 155 = 2*p + 2*o. Suppose -2*g + 1210 = -4*w, 2*g + 4*w = p + 914. Is g a multiple of 55?
False
Suppose -3*j = -3*h - 4*j + 399, -h = 5*j - 133. Let g = 243 - h. Is 24 a factor of g?
False
Let n = -8089 + 8781. Is 14 a factor of n?
False
Suppose -5*j = -4*a + 88, -4*a - 4*j + 0 = -52. Suppose u + a*u - 3456 = 0. Is u a multiple of 16?
True
Suppose 0 = 6*t - 10*t + 4*k + 28, 0 = -2*t - 5*k + 35. Let u be 4/6*6795/t. Let q = -321 + u. Is 12 a factor of q?
True
Let t(l) = -58*l + 11. Let f be t(-7). Let q(b) = -b**3 + 12*b**2 + 15*b + 11. Let p be q(13). Suppose p = -5*o + f. Does 24 divide o?
False
Suppose 40*r - 34*r = 6. Is 3*((-130)/(-15) - (r + -5)) a multiple of 3?
False
Let i = -767 + 1387. Does 22 divide i?
False
Let f(q) = q**2 + 2*q + 1. Let t(c) = 2*c**2 - c. Let s(x) = f(x) + 2*t(x). Let p be s(0). Does 22 divide 191 - (-3 - p - (-6)/2)?
False
Suppose 3*t - 48 = 5*n, 1 = 2*t - 2*n - 31. Does 2 divide 50 - ((-4)/t + 17/4)?
True
Suppose -55*r + 169837 = -140088. Is 115 a factor of r?
True
Let b = 39 + -42. Is 35 a factor of b*3/9 + 445?
False
Suppose 8 = 2*y, t = -57*y + 61*y + 8284. Is 83 a factor of t?
True
Let t be (-1505)/(-126)*3 + (-3)/(-18). Suppose -t*w = -30*w - 1728. Is 16 a factor of w?
True
Let o(q) = q + 24. Let n(m) = 11*m**2 + 2*m - 1. Let v be n(1). Let x be o(v). Suppose -2*j = -x - 22. Is j a multiple of 7?
False
Suppose -d - 42 = -m, 0 = -5*d + 3*d + m - 82. Let f = 44 + d. Suppose -10*b = -f*b - 366. Is b a multiple of 25?
False
Let d = -29 - -30. Suppose 0 = r - 1 - d. Suppose -j + 231 = 3*l - 286, -3*l - r*j = -521. Is 19 a factor of l?
True
Suppose 0 = -4*l - 312*v + 309*v + 7713, -2*l + 3849 = 3*v. Does 16 divide l?
False
Let x(l) = -4*l + 6. Let p be x(17). Is ((-4)/((-48)/90))/((-1)/p) a multiple of 31?
True
Let y(v) = -6*v + 90. Let g be y(15). Suppose g = -5*j + 3*p + 5520, 0 = 16*p - 11*p. Is j a multiple of 23?
True
Suppose 1251621 = 18*y + 58221. Does 52 divide y?
True
Let k(t) = t**3 - 7*t**2 - 4*t + 8. Let x = 56 - 48. Does 40 divide k(x)?
True
Suppose -28 = -7*l - 7. Let v(j) = -69*j - 4. Let o be v(l). Let x = o + 325. Is 19 a factor of x?
True
Let g(t) = 11*t**2 - 117*t - 62. Let l(f) = 17*f**2 - 175*f - 93. Let s(x) = -8*g(x) + 5*l(x). Is 12 a factor of s(20)?
False
Suppose -18*r + 42800 + 22000 = 0. Is 50 a factor of r?
True
Suppose 525 = -5*y - 4*l + 2*l, -3*l = y + 92. Let z = y - -386. Is z a multiple of 9?
True
Let y = 9 + 31. Let q = y - 60. Let n = q - -71. Is n a multiple of 50?
False
Let v(r) = 16 + 16 - 30 + 2*r + 66*r**2. Does 11 divide v(-2)?
False
Let o = -1 + 0. Let j(w) = -263*w - 45. Let n(x) = -787*x - 123. Let i(c) = -11*j(c) + 4*n(c). Is 51 a factor of i(o)?
False
Is 48 a factor of (-3 + -2)*(-19488)/7?
True
Suppose -2*l + 124 = 3*j, 3*l - 191 = 2*j - 4*j. Suppose -l = 61*t - 66*t. Does 13 divide t?
True
Let b(f) = -13*f**2 - 18*f - 20. Let l be b(-6). Let g = 356 - l. Is g a multiple of 23?
True
Let o(v) = -3*v + 20. Let a be o(8). Let k be ((-2)/a)/((-2)/(-56)). Let f(x) = -x**3 + 13*x**2 + 23*x - 29. Is 28 a factor of f(k)?
False
Let l = 10143 + -5703. Suppose l = -53*c + 63*c. Does 74 divide c?
True
Let y(n) = 1. Let w(a) = -3*a**2 - 18*a - 20. Let j(s) = -w(s) + 6*y(s). Is 11 a factor of j(-15)?
False
Let k(d) = -2*d**3 - 44*d**2 + 175*d + 19. Is 112 a factor of k