ose -11*s - h = -14*s. Is 45 a factor of s?
True
Is 44 a factor of 5439 - -305 - (22 - 0)?
False
Let h = 115 + -95. Suppose 13*s - 45 - h = 0. Is s a multiple of 2?
False
Is 360942/33 - 6/132*-8 a multiple of 28?
False
Is 28 a factor of (-790228)/(-17) - (-3 - 19)?
False
Let p be ((-20)/5 - 3) + 287. Suppose -5*a + p = 5*v, 2*a = v - 2*a - 56. Does 7 divide v?
True
Let h = 3951 + -1199. Is 28 a factor of h?
False
Suppose -t + 28 - 236 = 0. Is ((-3)/8 + t/(-128))*120 a multiple of 25?
True
Suppose -11*q + 2 = -10*q. Suppose -5*j - 309 = -q*i, -2*j - j = -i + 155. Is 8 a factor of i?
True
Let f be -4 - -1*20/5. Suppose -3*w + 849 - 51 = f. Is w a multiple of 7?
True
Suppose -3*i + 488 = 5*a, -4*a + 8*a - 3*i = 412. Suppose -87*x - 6825 = -a*x. Does 15 divide x?
True
Suppose 88*q - 125296 = 34*q + 275654. Is 165 a factor of q?
True
Let c(l) = -821*l**3 - 6*l**2 + l - 2. Is c(-2) a multiple of 15?
True
Suppose 12 - 24 = -3*m. Suppose -3*u + 140 + 115 = 0. Is 5 a factor of (-4)/1 - (5 - m - u)?
True
Does 18 divide ((-54)/(-21))/((-1)/(-301))?
True
Suppose j - 5*u - 114 = -u, -2*j - 3*u + 173 = 0. Suppose -2*h = -3*h - 23. Let f = j - h. Is f a multiple of 33?
False
Suppose 2*h + 4 + 1 = -5. Suppose -9 + 3 = -2*c. Does 64 divide h/(-5) - c - -115?
False
Suppose -11*p + 13*p = -2*i + 11172, 3*i + 5*p - 16750 = 0. Is i a multiple of 65?
True
Let z(f) = -2*f**3 - 2*f**2 - 2*f - 3. Let h be z(-3). Suppose h*t = 40*t - 147. Is t a multiple of 21?
True
Let u = 16 + -11. Suppose 0 = u*i - 19*i + 252. Let x = 31 + i. Is 4 a factor of x?
False
Let o(w) be the first derivative of -52*w**2 - 40*w - 40. Does 48 divide o(-5)?
True
Suppose 5 - 15 = 5*y, 0 = 4*g + 5*y - 6. Is 1*(1 + g) + -3 + 61 a multiple of 9?
True
Suppose 1184 + 2476 = 2*k + 4*u, 5*u = 9*k - 16424. Is k a multiple of 190?
False
Let b(f) = 32*f**3 - 14*f**2 - 2*f - 8. Is b(5) a multiple of 13?
False
Let t = -49 - -13. Let a = 64 + t. Does 21 divide -46*((-3)/4 + (-63)/a)?
False
Is 5 a factor of 90360/144*(-8)/(-10)*2?
False
Let h = 218 + -322. Does 52 divide (-26)/h + 4990/8?
True
Let u = -94 - -102. Suppose 2*v = -u*v + 500. Is v a multiple of 29?
False
Suppose 19*n - 116441 + 64697 = 154672. Does 56 divide n?
True
Let k(m) = m**3 - 5*m**2 - 2*m + 21. Let q be k(5). Suppose 3*n = -3*i + 93 + 18, -4*i = -2*n + 104. Let j = n - q. Is 27 a factor of j?
False
Let t(p) = 655*p + 3 + 8 - 651*p. Let i be (5/(-2))/(2/(-4)). Is t(i) a multiple of 20?
False
Let l(f) = -29*f + 25. Let k be l(-7). Let n = 399 - k. Is 3 a factor of n?
True
Suppose 3*p = 39*u - 35*u + 1003, 313 = p + 4*u. Is 7 a factor of p?
True
Suppose z = -7, 1125*z = -2*g + 1126*z + 11135. Is 185 a factor of g?
False
Let d(x) = -x**3 + 14*x**2 - 4*x - 12. Suppose -2*z = -11*z - 7020. Let k be (-3)/2*z/90. Does 8 divide d(k)?
False
Let w be 20 + -19 - (0 + 1*-37). Suppose -4*y = -82 - w. Suppose 3*k - 49 = -2*q + 6, -y = -q - k. Is 35 a factor of q?
True
Suppose 5*p + 15 = -5*k, 19 = -k - 2*k - 5*p. Suppose v + 1422 = 3*f, 3*v - 958 = -k*f + 7*v. Is f a multiple of 11?
True
Let q(t) be the second derivative of 11*t**4/12 + 2*t**3 + 27*t**2 - t - 5. Is q(-4) a multiple of 9?
False
Let f(z) = z**2 - 4*z - 33. Let a be f(7). Does 42 divide (-144)/81*(-9)/a*-630?
True
Suppose 5*d = 2*t + 34145, -22*t = -d - 17*t + 6806. Is 9 a factor of d?
True
Is 7 a factor of (-11613)/5*44/((-132)/15)?
True
Let g = -852 - -874. Suppose 3*z - 3*k - g = 98, 3*z - 4*k = 124. Is z a multiple of 18?
True
Suppose -720 = -4*i - 0*y + 4*y, 4*i + y = 710. Suppose -2591 = -19*l - i. Is 3 a factor of l?
False
Suppose 0 = -3*l + l + 2*k + 12, 5 = -5*k. Suppose 0 = -15*t + 2440 - 2305. Suppose -n - 2*d + l*d + t = 0, 0 = 4*n + 3*d - 111. Is n a multiple of 3?
True
Let d(i) = -627*i + 11386. Is 9 a factor of d(0)?
False
Suppose 1168*s - 1169*s + 567 = 0. Does 27 divide s?
True
Let t(b) be the first derivative of -b**4/4 + 5*b**3 + 18*b**2 - 128*b - 130. Does 20 divide t(14)?
False
Let j be (1 + -1 + 0)/5. Suppose 2*w - 21 - 75 = j. Suppose -2*h + 5*h - 112 = 2*p, -h - 2*p + w = 0. Is 8 a factor of h?
True
Let n(p) = 19*p**3 - 13*p**2 - 38*p + 175. Does 49 divide n(7)?
False
Suppose 5*f = -4*s - 3, -5*s + f - 4 = 7. Let g be 86/(((-4)/(-5))/(s/5)). Let n = -22 - g. Is 4 a factor of n?
False
Is 122 a factor of 10/(40/11172) + 13?
True
Let u be (-2 + 205/10)*(7 - -3). Suppose -u = 9*l - 698. Does 7 divide l?
False
Let u(g) = -g**3 - 16*g**2 + 17*g + 17. Let a be u(-17). Let f(b) = -b**3 + 18*b**2 - 19*b + 2. Let j be f(a). Is 14 a factor of (j + 20)/((-6)/56)?
True
Let m = 2502 + -1746. Is 14 a factor of m?
True
Let b = -75 + 38. Is 130/(-4)*(29 + b) a multiple of 13?
True
Let r(k) = -6*k + 130 + 26 + 51 - 2*k**2 + 10*k. Is 23 a factor of r(0)?
True
Let w(b) = 9*b**2 - 2*b + 1. Let g be w(2). Let a(d) = 3*d**2 + 57*d + 55. Let z be a(-18). Let c = g + z. Is c a multiple of 18?
False
Does 31 divide 288/16*(-3 - (-228)/9)?
False
Is (-55*(-729)/135)/((-1)/(2 + -4)) a multiple of 66?
True
Let l(d) = 2*d + 10. Let n be (-8)/44 + (-101)/(-11). Let t be l(n). Is 10 a factor of 837/21 + 4/t*1?
True
Let o(l) = -143*l + 754. Let n(x) = -9*x + 47. Let u(s) = 65*n(s) - 4*o(s). Is u(-22) a multiple of 65?
True
Let i be (584/16)/(-1)*18. Let v = -606 - i. Does 4 divide v?
False
Let c(r) = 4*r**2 + 46*r + 10. Let w(u) = 2*u**2 + 25*u + 5. Let q(n) = 3*c(n) - 7*w(n). Let p = 12 + -23. Is q(p) a multiple of 20?
True
Suppose 0 = 3*w + 809*f - 808*f - 2447, -5*f - 821 = -w. Is w a multiple of 51?
True
Let b(s) = 46*s**2 - 4*s. Let o be b(4). Suppose 8*i - 4448 = o. Is i a multiple of 19?
True
Does 7 divide ((-3654)/(-15))/(884/425 - 2)?
True
Suppose -303*b + 298*b = 0, -5*i + 7620 = -2*b. Is 6 a factor of i?
True
Let f be (-11 - -11)/(-1 + -2) + -2. Is (-47 - -39)*(1 + 19/f) a multiple of 2?
True
Suppose 4*a - 547 = 41. Does 4 divide a*-6*(-1)/7?
False
Let v(a) = 82*a - 61. Suppose 19*b + 38 - 152 = 0. Does 18 divide v(b)?
False
Suppose -86 = -23*t + 52. Let v(p) = -p**3 + 9*p**2 + p - 38. Does 3 divide v(t)?
False
Suppose 350 = 5*x + 20. Suppose -5*j + 2 + 53 = 0. Let w = x - j. Is w a multiple of 11?
True
Let g be -5 + 9 + -3 - (-160 - -1). Suppose 2*y + 6*k - 4*k - g = 0, 0 = y - k - 88. Is 7 a factor of y?
True
Does 9 divide (-3*76223/21)/((-8)/24)?
False
Let f(i) = 111*i - 19. Let y be f(12). Suppose 6*k - y = 523. Is 56 a factor of k?
False
Suppose -2*i = 4*j + 4, 5*j - 31 = -6*i + 8*i. Does 41 divide i/88 + (-2400)/(-22)?
False
Let j = -38 + 35. Let y(o) = 2*o**3 + o**2 - 2*o - 5. Let h be y(j). Let l = 61 + h. Is 13 a factor of l?
False
Let m(z) = -303*z - 18*z**2 + 4*z**2 - z**3 - 6 + 294*z. Is m(-14) a multiple of 6?
True
Let l(c) be the third derivative of -79*c**4/4 - c**3 + 197*c**2. Does 12 divide l(-1)?
True
Suppose -4*j - 936 = -r, 0*j + 920 = -4*j + 5*r. Let b = -166 - j. Let t = b - 39. Is 6 a factor of t?
True
Let a = -6050 + 10138. Is 28 a factor of a?
True
Let s(v) = 3*v - 8. Let a be s(4). Suppose f - 6*f = -5*u - 125, -a*u + 3*f = 101. Is 42 a factor of u/65 - 1042/(-5)?
False
Suppose -d = -h - 477, 6*d + 497 = 7*d + 3*h. Let q = d + -332. Suppose q = -4*x + 10*x. Is x a multiple of 5?
True
Is 8 a factor of (-1 + (-12)/60)*-3140?
True
Let l(j) = j. Let f(h) = -h**2 + 5*h - 1. Let o(y) = -f(y) + 4*l(y). Let a(i) = 10*i**2 + 8. Let k(t) = a(t) - 5*o(t). Does 24 divide k(-8)?
False
Let h(z) = -19*z**3 - 6*z**2 - 6*z - 7. Suppose -5*o - 7 = 4*m + 3, 3*o - 2*m = -6. Is 4 a factor of h(o)?
False
Let p = -6 + 10. Suppose -3*s - p*r + 24 = 0, 0*s + 42 = 4*s + 2*r. Does 6 divide (s/7)/((-6)/(-189))?
True
Let c = -1703 + 4343. Does 22 divide c?
True
Suppose 2*c + 1122 = 5*c. Let q = c - 29. Does 17 divide q?
False
Suppose 8569*y - 8559*y = 34920. Is y a multiple of 18?
True
Suppose 18*n - 143 - 775 = 0. Suppose 4*y = 2*t - 960, -53*t - y + 950 = -n*t. Does 14 divide t?
True
Let o(w) = 2*w - 7. Let j be o(14). Suppose -5*n - 6 = -j. Let h(b) = 44*b. Is h(n) a multiple of 12?
True
Suppose 96*z + 90 = 98*z. Is ((-420)/25)/(2/z)*-1 a multiple of 54?
True
Let d(n) = 9304*n**2 - 724*n - 724. Is d(-1) a multiple of 8?
True
Let s(v) = 13350*v - 2517. Is s(2) a multiple of 169?
False
Let g(z) = -172*z + 17. Let h be g(3). Let d = -6 - h. Suppose 3*t - 98 = d. Is 25 a factor of t?
Fal