a?
False
Let d(m) = -20*m**3 - 18*m**2 - 66*m - 435. Does 7 divide d(-6)?
True
Let r(w) = 2*w. Let a(d) = 15*d + 24. Let f(g) = a(g) - 5*r(g). Suppose -2*t - 2 = 2*y + t, -4*y + 2*t - 20 = 0. Is f(y) a multiple of 2?
True
Suppose 0 = -3*o - 7*w + 12*w + 16050, 4*w - 12 = 0. Is 51 a factor of o?
True
Suppose 44*d - 42*d - 5*p = 5065, -5064 = -2*d + 4*p. Suppose -3*q = -25*q + d. Is q a multiple of 23?
True
Let y = 41 + 91. Suppose 3*g - 4*v - 24 = 2*g, -3 = -2*g - v. Suppose w = g*w - y. Does 22 divide w?
True
Let z(i) = 69*i**2 - 16*i + 22. Let y be z(2). Let t = y - 18. Does 17 divide t?
False
Let y(h) = 8*h**2 - 4*h - 7. Let r be y(-9). Let t = 948 - r. Let z = -191 + t. Is z a multiple of 8?
True
Let q = 49 - 7. Let m be (1 - 18/10)/(q/105). Is (12*2/(-3))/(m/12) a multiple of 11?
False
Suppose 17*c + 14*c = 372. Let v(y) = y**3 - 4*y**2 - 22*y - 12. Is v(c) a multiple of 73?
True
Suppose 0 = 3*u + 3*j - 165438, 96*u - 92*u - 220614 = j. Is 24 a factor of u?
True
Does 28 divide (-10 + 688/10)/((-3)/(-2140))?
True
Let o = 148 - 103. Let s be -5 + o/(-4 + 9). Suppose -4*n - 458 = -3*q, -q = -s*q - 4*n + 466. Does 14 divide q?
True
Let r = -47 + 27. Is 18 a factor of (-1)/15*-9 + (-5028)/r?
True
Suppose 0 = -3*n - 5*r + 100 + 69, -3*n + 4*r = -205. Suppose -k - n = 4*z - 314, -5*z + 310 = 2*k. Is 5 a factor of z?
False
Let i(r) = r**3 - 10*r**2 - r + 8. Let v(s) = -2*s**3 + 10*s**2 + s - 7. Let k(w) = -3*i(w) - 2*v(w). Let c be 47/(-5) - (-4)/10. Is k(c) a multiple of 14?
False
Let n(q) = -22*q - 10. Let u(j) = j. Let f(t) = n(t) - 6*u(t). Is f(-10) a multiple of 45?
True
Suppose -195 = -9*t - 168. Suppose 2*r + g - 677 = -2*g, 0 = -3*r + 3*g + 1023. Suppose -t*m = 2*m + 5*a - r, 60 = m - 3*a. Does 11 divide m?
True
Let c = -37 - -45. Suppose 0 = c*d - 3*d. Suppose -2*q + 72 = -d. Is 6 a factor of q?
True
Let t = -1348 + 2824. Is 6 a factor of t?
True
Let w(r) = -r**3 - 14*r**2 - 23*r - 12. Suppose -4*f = 125 - 73. Is w(f) a multiple of 18?
False
Suppose 172*w - 167*w = 3200. Let o = w + -616. Does 3 divide o?
True
Suppose -3*u + 4*j + 6249 = 0, 15*j - 6 = 17*j. Is 27 a factor of u?
True
Let f = 3297 + 1455. Is f a multiple of 6?
True
Let b = 133 - -2. Suppose 6*g - 216 = -395 + 203. Suppose b = x - g*n, -n - n - 145 = -x. Is 31 a factor of x?
True
Let x = -74 + 26. Let v = x + 279. Let b = v - -12. Is b a multiple of 27?
True
Let d = 150 - 85. Suppose -d = -5*l - 15. Suppose l*v - 5*v - 160 = 0. Is v a multiple of 7?
False
Suppose 0 = 4*n - 3*h - 880, -2*n - 154 = 5*h - 594. Let w = n + 863. Is w a multiple of 19?
True
Let x(g) = -1320*g + 790. Is x(-6) a multiple of 10?
True
Let k(y) = 231*y**3 - 3*y**2 - 3*y + 4. Let x be k(1). Suppose -805 = -3*t - x. Let h = 340 - t. Is 37 a factor of h?
True
Let i = 43 + -95. Let d be (-197 + -1)*i/8. Suppose -d = -10*g + g. Is g a multiple of 13?
True
Let y(t) = 33*t**2 + 87*t + 306. Is 9 a factor of y(24)?
True
Suppose -463*d + 19956756 = -115*d. Does 27 divide d?
False
Suppose -3*a - 3*r = -17262, 40*r = 4*a + 39*r - 23046. Does 38 divide a?
False
Let v(h) = 4*h**3 + 2*h**2 - 3*h + 2. Let t be v(1). Suppose -t*k = -u + 1205, 0 = -2*k - 13 + 11. Does 80 divide u?
True
Is 84 a factor of 88/8 - 11 - -5544?
True
Let q = 13550 - 12149. Is 35 a factor of q?
False
Suppose -w + 223476 = 5*u - 64735, -13*w + 57655 = u. Is u a multiple of 78?
True
Let o(d) = -d**3 + 7*d**2 + 3*d. Let w be o(7). Suppose 23*n = w*n + 2. Is 10 a factor of (75/((-2)/(-8)*3))/n?
True
Let l(x) = -x**3 + 3*x**2 + 18*x + 7. Let y be 3/(-6)*(10 + 2). Does 27 divide l(y)?
False
Let q be (5 - 22/4)/((-1)/2260). Let v = -202 + q. Suppose -3*u + 3*t = -0*u - 708, 0 = -4*u - 4*t + v. Is 39 a factor of u?
True
Let t = -22312 + 25742. Is 2 a factor of t?
True
Let p = -3 - -8. Let l be (-8)/(-10)*155/62. Is 239 - ((-11)/22 - p/l) a multiple of 14?
False
Suppose -40*v + 51996 = -18*v - 18*v. Is v a multiple of 132?
False
Suppose -4*h + 2*s + 16 = s, 5*h + 5*s = -5. Suppose -5*m = -h*q + 35, -2*m - 2*m = 5*q + 28. Let d(i) = -11*i - 7. Is d(m) a multiple of 35?
True
Let x(o) = 20*o**3 - o**2 + 2*o - 1. Let m be x(1). Suppose 17*a - m*a = -408. Is a a multiple of 7?
False
Suppose 7*q - 4853 - 1482 = 0. Is q a multiple of 5?
True
Suppose -3*k = a + 1088, 0 = 4*k + 4*a + 990 + 458. Let t = 387 + k. Is t a multiple of 6?
True
Let m(s) = 23*s**3 + s**2 - 2*s. Suppose 0 = 13*w - 13. Let k be m(w). Let u(l) = -l + 55. Is 21 a factor of u(k)?
False
Let b be (1 - 0)/(-4 - -3). Let n(o) = -126*o + 5. Let y(r) = -25*r + 1. Let h(w) = -6*n(w) + 33*y(w). Is 18 a factor of h(b)?
True
Suppose 18*m - 64478 = 15*m - 5*a, a + 64454 = 3*m. Does 6 divide m?
True
Suppose -4*c + 33676 + 4450 = -5*y, -3*c + y = -28589. Is 16 a factor of c?
False
Let y be 43*(2 + -3 - -3). Suppose y = 30*c - 1834. Is 13 a factor of c?
False
Let p(z) = -3*z + 93. Let w be p(31). Suppose w = k - 4, 3*v = 5*v + 3*k - 86. Is v a multiple of 37?
True
Is 50 a factor of 200/125*109125/10?
False
Suppose 14*g - 18528 = 11*g. Suppose 1136 = -12*y + g. Is 28 a factor of y?
True
Suppose -q - 2*r = -3*q + 1116, -2*q + r = -1121. Suppose q - 27 = 2*u. Let n = u + -166. Is n a multiple of 27?
False
Let o(t) = -3*t**3 - 2*t**2 - 2*t - 17. Let u be o(0). Is (0 + (64 - -2))/((-17)/u) a multiple of 5?
False
Suppose 14*d = 4*d. Suppose 3*l - 2*g - 42 - 49 = d, 3*l - 85 = -g. Suppose -l = -5*p + 221. Is 6 a factor of p?
False
Let t(v) = 15*v**2 + 6*v + 12. Let p be t(-2). Does 25 divide (p/(-40))/((-2)/500)?
True
Suppose -5*p = 6*p + 22. Let z be (84/(-8))/((-2)/636). Is 46 a factor of ((-9)/(-4))/(p + z/1656)?
True
Suppose -2*w - 268640 = -25*w. Suppose 11*d = 31*d - w. Is 18 a factor of d?
False
Let q(x) = 12*x - 10. Let a be q(0). Is 8 a factor of (-3)/(-30)*4 - 796/a?
True
Let n(j) = 10751*j**2 + 11*j + 12. Is 12 a factor of n(-1)?
True
Suppose -5*j + 21 = -x, -3*x + x + 18 = 2*j. Suppose -j*u = 15 - 30. Suppose -4*z = -a + 29, -a = -u*a + 5*z + 67. Is a a multiple of 22?
False
Suppose 0 = -2440*m + 2425*m + 52335. Does 34 divide m?
False
Suppose 2*o + 0*w = 2*w - 1764, -o - 2*w = 882. Let m = o - -1282. Is 50 a factor of m?
True
Let j = 15 - -66. Suppose -j*q = -99*q + 5796. Is q a multiple of 7?
True
Suppose 373*j = 360*j - 1 + 1. Suppose 4*o + 3*u = -u + 8, 0 = 2*o - 2*u - 12. Suppose j = 5*g - 5*k - 125, 5*g - o*k = 141 - 21. Does 10 divide g?
True
Suppose -109*a + 180 = -103*a. Does 41 divide (0 + 6)/(a/1935)?
False
Let b(a) = a**3 - 136*a**2 - 249*a - 43. Does 29 divide b(138)?
True
Let x(y) = 3*y**2 - 241*y - 14. Is x(88) a multiple of 48?
False
Let c(r) be the third derivative of -25*r**4/8 - 38*r**3/3 - 21*r**2. Is c(-3) a multiple of 82?
False
Suppose -19*z - 9*z = -3500. Let u = 515 - z. Is 15 a factor of u?
True
Let p(g) = -g**3 - 19*g**2 + 22*g + 40. Let y be p(-20). Let x be y + (4 - 213*4/(-6)). Suppose -2*c + x = 3*j, 2*j = -2*c + 5*j + 158. Is c a multiple of 11?
False
Suppose 2*z + y = 2*y - 27, -68 = 5*z - 3*y. Let x(v) = -v - 43. Let m be x(z). Let i = m + 58. Is i a multiple of 16?
False
Let z = 24 - 19. Suppose 8*u = 4*u + d + 13, 0 = u - z*d - 8. Is 12 a factor of 0 - (1 + -58 + u)?
False
Suppose 3*k = -2*n + 4*n - 159, 4*k + 154 = 2*n. Suppose n = a - 58. Suppose -1489 = -4*o - a. Is o a multiple of 12?
True
Suppose 5*n - 603 = i, -i = 2*n + n - 365. Suppose 21 - n = -10*l. Suppose -2*d = -2*r + l + 228, -5*r - 3*d = -619. Does 40 divide r?
False
Let g be 930/21 + 12/(-42). Suppose -43*f - 214 = -g*f. Is 19 a factor of f?
False
Let z be (0 - 1)/(-6 + (-52)/(-8)). Is 7/7*(-186)/z a multiple of 51?
False
Suppose -22 = -8*p - 6. Suppose d - 7*g + 3 = -p*g, 4*d = 4*g + 4. Suppose d*z - 2*l = 268, 2*z = -4*l + 44 + 236. Is 12 a factor of z?
False
Let r be (114/2)/((-9)/(-336)*8). Let k = -263 + r. Is 3 a factor of k?
True
Let p(n) be the first derivative of n**4/4 - 22*n**3/3 + 11*n**2 - 17*n + 18. Let q be p(21). Suppose -q*v = -0*v - 124. Is v a multiple of 14?
False
Let t(a) = -17*a**2 - 13*a - 49. Let g be t(-7). Let x = g + 1584. Is 13 a factor of x?
True
Let a = 27316 - 19135. Is 47 a factor of a?
False
Suppose -3*y = -4*y. Suppose 5*p - k - 18 = 17, -2*p - 5*k + 14 = y. Is (2/(-4))/(p/(-70)) a multiple of 3?
False
Let v be -58*5/(-90) + 2/(-9). Is (-3)/(-2)*v/((-3)/(-122))