ue
Let f(o) = -18*o - 37. Let h(u) = 18*u + 37. Let x(t) = -3*f(t) - 4*h(t). Let a be ((-66)/(-9))/((-32)/12 + 2). Is 19 a factor of x(a)?
False
Let i(v) be the second derivative of v**5/20 + 25*v**4/12 - 15*v**3/2 - 15*v**2 - 8*v - 13. Is i(-26) a multiple of 8?
True
Let p = -8563 + 24988. Does 225 divide p?
True
Suppose 0 = -5*x + d + 75, 4*x = 7*d - 4*d + 49. Let h(o) = o**2 - 10*o + 34. Is h(x) a multiple of 10?
True
Let l = -3062 + 5129. Does 53 divide l?
True
Suppose 7*p = -5*p + 5617 + 3431. Is 26 a factor of p?
True
Let m be (-46)/345 + (-38481)/(-45). Let f = m + -772. Is f a multiple of 24?
False
Suppose 20 = -0*d + 4*d. Let p(v) = -d*v + 38 - 42 - 7*v. Does 10 divide p(-5)?
False
Let t(c) = 48*c. Let n be t(3). Suppose 22*u - 139 = -29. Suppose -4*y + n = b, 2*b = u*b - y - 419. Does 35 divide b?
True
Suppose -3*q = q - 284. Let n(d) = q*d - 70*d - 4*d**2 + 4*d**2 + d**2 + 1. Is n(-2) a multiple of 3?
True
Let z = -206 - -211. Suppose z*f - 2*f = 588. Does 16 divide f?
False
Let z be ((-11)/(-1) - -2)*(7 - 8). Let f be 14/(-4)*(z - 1). Is (-4)/(-14) - (-7)/(f/257) a multiple of 5?
False
Let f = 3 + -6. Let n be ((-10)/35)/((-2)/(-14)*-1) + -6. Does 2 divide (n/f)/((-3)/(-43 - 2))?
True
Let u(a) = 4*a**2 + 73*a + 2031. Is 13 a factor of u(-19)?
False
Let k = 26718 - 16768. Does 31 divide k?
False
Let r = 121 - 161. Is 3 a factor of (-18)/24 + (-2910)/r?
True
Let p = 119980 + -48050. Is 10 a factor of p?
True
Let s(l) = -51*l**2 + l**3 + l + 1 - 51*l**2 + 103*l**2. Let p(c) = -2*c**3 + 6*c**2 - 4*c + 10. Let u(z) = -p(z) - 3*s(z). Does 27 divide u(-10)?
False
Let j = -1869 + 1319. Let l = -380 - j. Is 17 a factor of l?
True
Suppose 0 = -3*o - 15, 3*d + 8 = -d - 4*o. Suppose 2*g + d*t = 120, 2*t + 13 + 117 = 2*g. Is 2 a factor of g?
False
Let i(c) = -551*c - 3492. Is 156 a factor of i(-12)?
True
Let m(n) = -n**3 + 16*n**2 + 5*n + 48. Suppose -35*z - 263 + 753 = 0. Does 10 divide m(z)?
True
Let h = 381 - 250. Let m be 28 + -10 + 1 + 0. Suppose -5*q - b + 5*b + h = 0, m = q + b. Is 23 a factor of q?
True
Let m = 66 + -54. Suppose 3*a = -4*w - 0*w + 935, m = -4*a. Does 37 divide w?
False
Let x = -400 + 6112. Does 51 divide x?
True
Let l be 48/(-32) - (-723)/6. Let h be -23*(2 + -3) - 0. Let s = l + h. Is 16 a factor of s?
False
Let p(y) = -286*y - 5252. Is 91 a factor of p(-54)?
True
Let d = -464 + 880. Suppose 3*i + 2*a - 1737 = -d, 3*a = 15. Is 15 a factor of i?
False
Suppose y = 3*a - 77, 4*y + 13 + 9 = a. Suppose -a = -x - 1. Is x a multiple of 25?
True
Let k = -200 - -180. Let q = k + 181. Does 6 divide q?
False
Suppose 2*k - 13613 = -5*f, -5*k + 177*f = 173*f - 34016. Is k a multiple of 108?
True
Suppose 0 = -x + 2*k + 16279, -5*x + 27*k + 81389 = 23*k. Is x a multiple of 15?
False
Let l(c) = -21*c**2 + 2660*c + 124. Is 6 a factor of l(124)?
True
Is 90 a factor of 21510 + -1*0/(-14)?
True
Suppose 2*k - 2 = 0, -v + 5*k - 2 = 2. Is 46 a factor of (-11580)/(-42) + (36/28 - v)?
True
Let s = 1925 + -942. Let y = s + -650. Does 37 divide y?
True
Suppose -166*d + 242488 = -30*d. Is 5 a factor of d?
False
Suppose -77*v - 3*w - 31138 = -84*v, -3*v = -2*w - 13342. Does 25 divide v?
True
Let c(x) = -x**2 + 241*x - 957. Does 39 divide c(37)?
True
Let l(p) = -2*p**3 - 19*p**2 - 12*p - 24. Let y be l(-9). Suppose -14 = y*g - 149. Is 15 a factor of g?
True
Let b = -489 + 484. Does 53 divide ((-25)/10)/b*-6*-187?
False
Let j(q) = 509*q - 799. Does 24 divide j(11)?
True
Is 110 a factor of (37/(-3) + 12)*-14634?
False
Let h = -6196 + 9042. Does 18 divide h?
False
Does 22 divide 4/(-36) - (-364928)/288?
False
Let n(q) = 143*q + 290. Does 10 divide n(27)?
False
Let p(i) = -i + 30. Let t(w) = -5*w + 181. Let k(l) = -34*p(l) + 6*t(l). Does 3 divide k(-8)?
False
Suppose -68 = 6*c + 328. Is 10 a factor of (-2288)/2*33/c?
False
Is 11 a factor of 2520*(33/6 - 4) + 4?
True
Let a be 2/(-3) - (-106)/6. Suppose -3*z + 63 = 2*r, z - 1 = 2*r - 84. Let n = r - a. Is n even?
True
Suppose 25 = -5*x, 3260 = 4*t + x + 241. Suppose r - 772 = -4*w + 740, -t = -2*w + 3*r. Is w a multiple of 27?
True
Let v be 2/(2 + -4) + -3. Let c be 2*(-74)/8*v. Is (66/(-9))/(4 + c/(-18)) a multiple of 12?
False
Let f = 255 - 116. Let g = 203 - f. Does 4 divide g?
True
Let h = 266 - 257. Suppose 3*v - h*v + 942 = 0. Is v a multiple of 15?
False
Suppose -17*l + 4*l = -3*l - 59550. Is l a multiple of 15?
True
Let b(x) be the third derivative of -x**6/360 - 11*x**5/60 - x**4/8 - 5*x**3/3 - 17*x**2. Let c(n) be the first derivative of b(n). Does 11 divide c(-10)?
False
Suppose 0 = 2*s - 0*s + 5*z + 12, -z = 5*s - 16. Suppose r + 2*o = -7 + 2, s*o = 2*r - 22. Suppose y + r*y - 252 = 0. Is 23 a factor of y?
False
Let n(h) = 71*h + 1197. Is n(39) a multiple of 50?
False
Suppose 3*f = 4*x + 16544, -4*f = -f + 4*x - 16576. Is 15 a factor of f?
True
Let v be -2 - ((-2)/(-1) - 4). Suppose -q - 273 + 259 = -4*z, 2*z + 3*q - 14 = 0. Suppose -y + 3*o - 165 = -z*y, -o + 3 = v. Does 13 divide y?
True
Suppose 2450 + 5005 = 15*i. Let u = 981 - i. Is 22 a factor of u?
True
Let x = 4350 - -488. Is 16 a factor of x?
False
Let j = -85 + 71. Let u be (-1)/(j/(-7172)) + 2/7. Is 16 a factor of (-5)/(10/u) - (-13 + 13)?
True
Let y be (21 + 0)*(12/(-14))/(-3). Let c(q) = 5*q + 56. Is c(y) a multiple of 17?
False
Let c(h) = 20*h**2 - 3*h - 2. Let g(o) = 8*o**3 - 2*o + 1. Let f be g(1). Suppose 2*x - f*x = -10. Is c(x) a multiple of 18?
True
Suppose -3*j - 234 = 333. Suppose -1127 = -3*v - 2*h, 37*h - 726 = -2*v + 42*h. Let o = v + j. Does 23 divide o?
True
Let z(p) = -2143*p + 16640. Is z(0) a multiple of 7?
False
Let z(u) = 273*u + 711. Does 87 divide z(8)?
False
Let d = -14645 + 18280. Does 61 divide d?
False
Let l = -6 + 8. Suppose 71 + 25 = 5*b - l*d, 2*b = 2*d + 42. Is b a multiple of 18?
True
Let t(g) be the second derivative of -g**3/3 - g**2 + 5*g. Let a = 72 + -85. Is t(a) a multiple of 7?
False
Let d be (-4)/((20/(-32))/(-5)) - -4. Is 7/d + 754/8 a multiple of 5?
False
Let d(x) be the first derivative of 7*x**2 - 48*x + 30. Let a be d(16). Is 22 a factor of -2*1 + 17 + a?
False
Let w(a) = -4*a + 49. Let p be w(10). Suppose -2*u - 224 = -p*u. Suppose -2*x + u = b + b, -4*b - 96 = -4*x. Does 14 divide x?
False
Suppose -24330*v + 107800 = -24290*v. Does 8 divide v?
False
Suppose 214427 = 6*m + 5*a, 0 = 8*a - 10*a - 10. Is 46 a factor of m?
True
Let z(y) = 2*y**3 + 5*y - 2*y + 2*y**2 - 111 - 3*y**3 + 114. Let l be z(-2). Is ((-12)/42)/(l/7 + -2) even?
True
Let j(s) = 96*s**2 - 41*s - 75. Is j(-2) a multiple of 17?
True
Let i = 1909 - -1094. Is 13 a factor of i?
True
Suppose -23421*c - 261072 = -23433*c. Does 147 divide c?
True
Suppose 5*r + 4*k + 31 + 9 = 0, 5*k + 40 = -5*r. Let z be (1 + -13)/(7 + r). Let o(v) = -v**2 + 12*v + 25. Does 17 divide o(z)?
False
Let q(z) be the third derivative of z**6/120 - z**5/12 + 5*z**4/24 - 5*z**3/3 - 6*z**2. Let i be ((-2)/(-4))/(28/336). Is 8 a factor of q(i)?
True
Suppose 14080 = -120*k + 130*k. Let f = -914 + k. Does 38 divide f?
True
Let l(n) = 3*n - 29. Let q be l(13). Suppose 2*z - 2*c - 806 = 0, -q*z = -5*z + 2*c - 2022. Is 31 a factor of z?
False
Let f(d) = 41*d - 11. Let a(t) = 2*t - 1. Let w(k) = -2*a(k) + f(k). Is 51 a factor of w(3)?
True
Let o = -1880 + 1987. Does 3 divide o?
False
Suppose -68*j - 173*j - 17293 = -219492. Is 36 a factor of j?
False
Let a = 219 + -150. Let o be ((-5)/(-4))/(2/(-104)). Let b = o + a. Is b a multiple of 3?
False
Let d be 59294/(-138) + 2/(-6). Let c = 506 - d. Is 36 a factor of c?
True
Let z = 241 - 236. Suppose -2*q = z*r, -r + 46 = -0*q + 5*q. Is q a multiple of 10?
True
Suppose -15*f = -54*f + 230*f - 2897279. Is f a multiple of 197?
True
Let o be 8 + -3 - (2 + -1). Suppose m - 2*p = -m + 10, 15 = o*m - 3*p. Suppose g + 12 - 45 = m. Is 11 a factor of g?
True
Let d(g) = 1348*g**3 - 6*g**2 - g - 4. Is d(2) a multiple of 72?
False
Suppose 5*z = 6*q - 122933, 2*q - 2*z = -4*z + 40996. Is 23 a factor of q?
True
Let y(n) = 0*n**3 + 8*n**2 - n**3 + 15 - 815*n + 807*n. Let v be y(7). Suppose 3*x + v = 125. Does 14 divide x?
False
Suppose 4*j = 3*j + 3. Suppose -5*m + j*b + 2 = 86, 3*m + 44 = 5*b. Does 8 divide 6/(-27) + (-292)/m?
True
Is 29 a factor of 8 + (143 - 144) + 2545 + 0?
True
Suppose -i + 36 = 8*i. Suppose -b + 36 = 2*l 