 -2. Let u = 23 - q. Is 22 a factor of -6*4/(-12) + u?
True
Suppose 8*n - 99 = 5*n. Let d(o) = o**2 - 3*o**2 + 34*o - 8 - 2*o**3 - n*o + 4*o**2. Does 9 divide d(-4)?
False
Suppose -30*x + 71131 = -52739. Is x a multiple of 6?
False
Suppose h - 6390 = 18*b - 20*b, h = -3*b + 9588. Does 11 divide b?
False
Let h(s) = s**3 + 37*s**2 + 68*s - 68. Let c be h(-35). Suppose -4*q + 8*q - 1177 = -3*y, 4*q - c*y = 1162. Is q a multiple of 40?
False
Suppose -31248 = -99*q + 85*q. Is q a multiple of 129?
False
Let s = -96 - -107. Suppose 0 = 2*d - m - s, 4*d = -9*m + 4*m + 1. Suppose -5*r + 4*b + b + 570 = 0, -d*b = 16. Does 10 divide r?
True
Let z = -24660 + 38294. Is 183 a factor of z?
False
Does 184 divide -1*(-30)/(-10)*-1213?
False
Suppose -45143*c + 90613 + 210527 = -45115*c. Is 45 a factor of c?
True
Let g = -93 - -93. Let v = -3 - -7. Suppose -2*p - l + 16 = 0, -3*l - 52 = -g*p - v*p. Is 3 a factor of p?
False
Suppose -517 = -14*c + 3039. Suppose c*f - 258*f = -120. Is 10 a factor of f?
True
Let k(w) = 122*w + 604. Does 5 divide k(33)?
True
Let o(h) = -h**3 + 11*h**2 + 20*h - 3. Let w(b) = -b**2 + b + 1. Let s(f) = -o(f) - 2*w(f). Let d be s(11). Suppose -j + 8 = d. Does 4 divide j?
False
Let j(m) = m**3 + 16*m**2 - 17*m + 4. Let o be j(-17). Suppose 17*x = 2*x + o*x. Suppose x = -4*h + 2*b + 286, h - 5*b - 31 = 36. Is h a multiple of 6?
True
Let b be (-1)/((8/10 + -1)*1). Suppose -2*u = 3*g - 422 - 1, -b*u = 2*g - 1074. Does 8 divide u?
True
Suppose 2*p - 4*m - 994 = 0, -2*p - 2*m - 2461 = -7*p. Let q = -197 + p. Is 21 a factor of q?
True
Let n = 2046 - 1037. Suppose 24*g = 28*g - 2*t - 4024, g = -t + n. Is g a multiple of 19?
True
Suppose 23*n - 4478 = -0*n + 283. Is n a multiple of 2?
False
Suppose -3*y - 16*o + 14348 = -12*o, -3*y - 5*o + 14356 = 0. Does 25 divide y?
False
Suppose 0 = -x - 4*x - 2535. Let g = -98 - x. Suppose -368 - g = -3*u. Is u a multiple of 37?
True
Does 23 divide (-243180)/(-75) - 22 - 2/5?
True
Let y(t) = -212*t + 21. Does 50 divide y(-13)?
False
Suppose -3*o + 3*p + 1758 = 2*o, -5*o + 1750 = 5*p. Let r = -180 + o. Is 24 a factor of r?
False
Let x(f) = f**2 - 7*f + 27. Suppose -2*t = -t - 10. Is 19 a factor of x(t)?
True
Let d be (-4)/18 - 2972/(-9). Suppose 768 = 4*r - 2*h, 58*h - 56*h = -12. Let x = d - r. Does 16 divide x?
False
Let j(b) = -22*b + 138. Let d be j(6). Suppose -4*y + d*y = 1918. Does 11 divide y?
False
Suppose l - 144 = -5*l. Suppose -s + f + l = 0, -f + 48 = 4*s - 2*s. Is 18/48 - (-4599)/s a multiple of 10?
False
Suppose 3*v - 4 = -x, 4*v = -5*x - 0*x + 9. Let g be x*158*(10/4 + -3). Let n = -42 - g. Is n a multiple of 6?
False
Suppose -369*k + 15 = -372*k, 0 = -5*d + 4*k + 13895. Does 25 divide d?
True
Let g = 28200 + -19932. Is 106 a factor of g?
True
Let z be 951 - ((2 - 0) + 1). Suppose 15*m = 11*m + z. Suppose m = 5*t - 238. Is t a multiple of 12?
False
Let t = -14456 + 19712. Is 24 a factor of t?
True
Let k = -486 + 10826. Is k a multiple of 109?
False
Let q be (10/(-25))/(11/(-5) + 2). Suppose -i - 42 = -3*i - q*x, -5*i + 95 = 3*x. Is i a multiple of 4?
True
Let y(v) = 24*v**2 - 3*v + 8. Let l be y(4). Suppose -d + l = 3*g - 6*d, -d + 545 = 4*g. Let c = g + -71. Does 8 divide c?
True
Suppose -421*y - 4*r = -418*y - 85946, -r = y - 28651. Is y a multiple of 178?
True
Suppose -28*r + 4608 = -20*r. Suppose 4*f - r = 2*q, 4*f = 4*q - 18 + 590. Is f a multiple of 48?
False
Suppose 7*t - 3*t - 20 = 0, 5*x - t = -10. Let v be ((-1)/2)/(x/92). Suppose v = b + 1. Is b a multiple of 7?
False
Let c be ((-45)/(-54))/(1/6). Suppose -c*w - 848 = -13*w. Does 4 divide w?
False
Let n = -40 - -42. Suppose -n*u - w + 11 = 0, -8 = -3*w + 7. Suppose u*m + 4 - 1 = 0, 0 = -4*r + 5*m + 61. Is 7 a factor of r?
True
Let g be (-4 + 22/3)*3. Does 21 divide (g/75)/1 + (-628)/(-15)?
True
Let o(f) = -f**2 + 6*f - 11. Let t be o(5). Suppose 21 = 2*l - 5*u, -u = -4 + 1. Does 3 divide -6*(22/l + -1)*t?
False
Let v = 65 + -67. Let f(t) be the third derivative of 11*t**5/60 - t**4/12 - 20*t**2. Is 16 a factor of f(v)?
True
Let g be 2 + 46/(-16) - 1/8. Let s(q) = 2*q**2 - q**2 - 18*q**3 + q**2 + q. Is s(g) a multiple of 19?
True
Suppose -164 = 10*p + 156. Let l be 0/(-1) + 15 - (p + 31). Is (24/l)/((-1)/(-42)) - -3 a multiple of 3?
True
Suppose 17*t = 13*t + 52. Suppose 6 = 15*b - t*b. Suppose -9 = -b*w + 51. Is w a multiple of 20?
True
Let l(a) = a**2 - 21*a + 40. Let c be l(19). Suppose -5*r = 5*z - 15, c*r = 3*r + 3*z - 9. Suppose b + r*b = 24. Does 4 divide b?
True
Is (-2*(-354)/(-18))/((-6713)/(-1680) + -4) a multiple of 80?
True
Let x(c) = 77*c**2. Let n(k) = k**3 - 3*k**2 + k - 3. Let y be n(3). Suppose 4*u - 29 = -7*j + 2*j, y = -3*u + j - 2. Is x(u) a multiple of 12?
False
Suppose 5*w = 2*y + 5481, 4*y = -388 + 396. Does 8 divide w?
False
Let c = -4 + 10. Let a be 57/21 + c/21. Suppose 438 - 42 = a*j. Does 33 divide j?
True
Let v(z) = -19*z + 44. Suppose -2*r - 4*q = 16, -4*r - 3*q + 4*q = 59. Is 10 a factor of v(r)?
True
Let c(l) = -11*l**2 - 68*l - 11. Let k be c(-6). Is (31 + -10)*(k + (-100)/(-3)) a multiple of 36?
False
Is 42 a factor of 2555 - ((-12)/(-8))/(3/(-14))?
True
Suppose -2*r + 4*o = 300, 0 = 7*r - 4*r - 4*o + 458. Let f = 270 + r. Does 8 divide f?
True
Let d(w) = -3*w**2 - 2*w - 28. Let x be d(7). Let h = -124 - x. Let k = h - 35. Is k a multiple of 10?
True
Suppose -5*v + 127475 = -5*z, -1491*v - 5*z - 101975 = -1495*v. Does 25 divide v?
True
Let v(x) = -4*x**2 + 28*x + 8. Let g(d) = -8*d**2 + 55*d + 15. Let m(b) = -6*g(b) + 11*v(b). Does 25 divide m(-9)?
False
Let c = -401 - -713. Let p = -279 + c. Is p a multiple of 5?
False
Let n(s) = -s**3 + 10*s**2 - 2*s + 33. Let q be n(10). Suppose q*v - 3*v - 11990 = 0. Is 51 a factor of v?
False
Suppose 4*a = 5*d + 42565, -4*d + 12832 = -2*a + 34104. Is 75 a factor of a?
True
Let h be 1 + 5 + (-826)/(-2). Let t = 23 + h. Is 37 a factor of t?
False
Suppose 3*r = 2*m + 15, 0*r - 17 = -2*r - m. Let t(x) = 6*x**2 - 3*x - 3. Let q be t(3). Is 590/r - (-2)/q*-6 a multiple of 28?
True
Let k(t) = -24*t + 11. Let b be k(1). Does 19 divide ((-429)/6)/(((-91)/(-14))/b)?
False
Let p = -3547 + 4972. Suppose 3*w = -4*a + 1336, -101 + p = 3*w + a. Does 18 divide w?
False
Suppose 15 = -3*f, -3*f - 113 = -4*o - 2*f. Let j = o - 22. Suppose k - 4*k = 2*z - 181, -k + j = 0. Does 16 divide z?
False
Suppose -3*w + 6553 = 5*y, -6*y = -9*y + 4*w + 3926. Suppose 509 = 2*f - 5*r, -6*r + y = 5*f - 11*r. Is 5 a factor of f?
False
Suppose -2*i = -2*y - 25136, -5*i = 2*y - 23814 - 38984. Is 9 a factor of i?
False
Is 354/(-885)*-2305*1 a multiple of 97?
False
Suppose 67*z - 64*z = 13140. Suppose -z = -26*s + 4044. Is 27 a factor of s?
True
Let r(v) = -739*v - 144. Let g be r(-18). Suppose 11*b = 28*b - g. Does 10 divide b?
False
Is 7 a factor of 7*(6/(-21) - (30 - 226))?
False
Let g(m) = 5*m. Let z(i) = -15*i - 1. Let x(h) = -10*g(h) - 5*z(h). Let p be x(-4). Let d = p + 140. Is 9 a factor of d?
True
Let h(k) be the third derivative of 1/6*k**3 - 1/24*k**6 + 0*k + 0 - 5/12*k**4 + 3*k**2 - 2/15*k**5. Is 20 a factor of h(-3)?
False
Let c(s) = 99*s - 810. Is 36 a factor of c(38)?
True
Let j = 2345 + -1850. Is j a multiple of 5?
True
Let p be (11 - 4 - 84)*(-2)/7. Is 14 a factor of -1 + p*(-25)/(-10)?
False
Suppose -14462 = -57*r + 46*r + 40956. Is r a multiple of 11?
True
Let s(k) = 5*k**3 + 19*k**2 - 35*k + 99. Is s(4) a multiple of 53?
True
Suppose -5*a - 511 = -y - y, y - 254 = 3*a. Suppose 367 + y = 3*n. Is 6 a factor of n?
True
Let w be 20 + -2 + 2 + 5 + -5. Suppose w = -n + 2. Let h = n - -30. Is 2 a factor of h?
True
Let s = 16071 - 13420. Is s a multiple of 11?
True
Suppose 0 = -81*s + 84277 + 10817. Does 7 divide s?
False
Let t(g) = -g**2 - 6*g - 8. Let x be t(-4). Suppose -4*k - 5*p - 66 = x, -4*k - 4*p = 88 - 24. Let m(o) = -4*o + 25. Is m(k) a multiple of 10?
False
Suppose 2*j = u - 16893, 61*u - 58*u + j = 50721. Is u a multiple of 55?
False
Let s(u) = u - 17. Let w be s(22). Suppose w*r - 4*k - 577 = 0, 0 = -3*k - 0*k - 9. Does 7 divide r?
False
Let g(z) = 7801*z**3 + 6*z**2 + 44*z - 51. Is 20 a factor of g(1)?
True
Suppose -32676 - 38609 = -53*f. Is f a multiple of 6?
False
Let k = 1928 + -248. Suppose 81*t = 76*t + k. Does 21 divide t?
True
Does 6 divide ((-578)/10)/(-1*12/60)