*f - j*f + 9000 = 0. Is f a multiple of 20?
True
Suppose 7 - 11 = -4*c. Let g(o) = 74*o. Let n be g(c). Suppose 5*a - 46 - n = 0. Is a a multiple of 3?
True
Let c = -72 + 33. Let w be (-6792)/c - 6/39. Suppose w = f + 42. Is 12 a factor of f?
True
Suppose -8114 + 20658 = 14*h. Suppose -h - 890 = -2*v. Is 19 a factor of v?
True
Let r(h) = -2*h**2 - 2*h. Let d be (-4)/22 - 8/(-44). Let v be r(d). Suppose 5*n = -c + 352, 0 = -v*n + n + 4*c - 78. Is n a multiple of 14?
True
Suppose 24*s + 196*s + 2*s - 942390 = 0. Does 8 divide s?
False
Suppose 3*w + 156265 = 5*q + 19739, -6*w = 4*q - 109246. Is q a multiple of 34?
False
Let d(o) = -43*o - 13. Let w be d(-2). Suppose 0 = -v + 40 + w. Let j = v + -93. Is 5 a factor of j?
True
Let h = -2417 + 2783. Is h a multiple of 153?
False
Let h(i) = -3*i**2 - i**3 - 21 + 18*i - 12*i**2 - 24. Is h(-17) a multiple of 18?
False
Let i(q) = 375*q**2 - 72*q - 99. Is 74 a factor of i(-6)?
False
Suppose -5*z = 3*d + 297, 2*z - 53 = d + 35. Suppose t + 2*l + 5 = 0, l + 77 = -5*t + 7. Does 7 divide (0 - d) + t + 19?
True
Let a be 5*(-9)/(18/(-4)). Let j(d) = d**2 + 24*d - 15. Does 25 divide j(a)?
True
Let g(n) = 28*n**3 + 74*n**2 - 660*n - 71. Is g(11) a multiple of 14?
False
Let n = -158 + 158. Suppose 14*o - 23*o + 7236 = n. Is o a multiple of 21?
False
Let p = 28848 - 24693. Is p a multiple of 5?
True
Suppose -k - 12 + 0 = 0. Let z be (-42)/k*(444/21)/1. Let m = z + -30. Is 19 a factor of m?
False
Let n(p) = -p**3 - 3*p**2 + 6. Let o be n(-3). Let d be ((-340)/o)/(4/(-12)). Let l = d + -116. Is 29 a factor of l?
False
Let x(i) = -i. Let b(u) = -2*u + 3. Let d(n) = b(n) - 3*x(n). Let y be d(0). Suppose -83 - 508 = -y*v. Does 52 divide v?
False
Let p = 1346 + -491. Does 4 divide p?
False
Let p = -41 - -44. Suppose p*t + 104 = -5*s + 1078, -3*t + 190 = s. Is 28 a factor of s?
True
Let x = -73 - -74. Let g = x - 6. Let p(a) = 3*a**2 + 3*a + 4. Is 15 a factor of p(g)?
False
Let l be ((-6)/(-13))/3 + 19470/26. Let f = -399 + l. Let s = f + -220. Does 19 divide s?
False
Let w be (-4)/3 + -2*12/(-18). Suppose w = k + 552 - 1452. Is 11 a factor of k?
False
Let b(q) = q**3 - 22*q**2 + 126*q - 33. Let p be b(10). Suppose -5*n - 5*a - 35 = -2*n, 5*n - 5*a + 85 = 0. Let f = p - n. Does 14 divide f?
True
Let m = 1172 - 751. Let i = -266 + m. Suppose -2*s = 3*s - i. Does 9 divide s?
False
Is 5 - 34/6 - (-29)/(261/28842) a multiple of 6?
True
Let j(c) = -25*c - 39. Let b be j(-8). Does 8 divide ((0 + -1)*-3)/(b/19320)?
True
Suppose -2016 - 1052 = -5*m - 3*z, 0 = -5*m + z + 3084. Suppose -5*r = -r - m. Let o = r + -52. Does 34 divide o?
True
Let m(c) = -c**2 - 26*c + 88. Let u be m(-29). Is (-1 + 2)*u*79 - 1 a multiple of 45?
False
Let g = 4463 - 181. Does 74 divide g?
False
Suppose -25*s + 11760 = 45*s. Is s even?
True
Let p be (69*(-7)/28)/((-1)/(-20)). Let q = -11 - p. Does 17 divide q?
False
Suppose 7*m - 11928 = -5*m. Suppose -m = -4*c - 6*l + 3*l, 258 = c - 4*l. Is 22 a factor of c?
False
Let a = 385 + 2054. Is a a multiple of 9?
True
Suppose -113*q + 117*q + 119164 = 5*k, 3*k + 4*q - 71492 = 0. Is 36 a factor of k?
True
Suppose -4308 = 22*h + 4976. Let g = -251 - h. Does 19 divide g?
True
Let a(j) = j**3 + 24*j**2 - 6*j + 68. Let u be a(-24). Let i = 4 + u. Is i a multiple of 9?
True
Suppose -88 = -12*t - 10*t. Suppose 0 = t*k - 3*r - 1157, -4*r + 562 = 2*k - 0*r. Is k a multiple of 38?
False
Suppose -4*l = -28*l - 216. Is (12/8)/(l/(-2118)) - -2 a multiple of 6?
False
Let n(k) = 26*k**2 + 10*k + 7*k - 23*k**2 - 7*k - 22. Does 11 divide n(-7)?
True
Suppose 11*b = -b + 132. Let w(l) = -l**3 + 10*l**2 + 9*l + 22. Let x be w(b). Suppose x = 12*d - 531 + 171. Is 5 a factor of d?
True
Let i = 2333 + -1430. Is 6 a factor of i?
False
Suppose -2*s - 1505 = -7*s - 5*o, 2*s = o + 590. Let d = s - 18. Is d a multiple of 31?
True
Let x = 1694 - 1153. Suppose y = z + x, 0 = -3*y - z + 5*z + 1622. Is y a multiple of 33?
False
Suppose -123 = 6*q - 141. Suppose -5*v = -2*u - 2410, -826 = -5*v + q*u + 1584. Is v a multiple of 30?
False
Let d(c) be the third derivative of c**6/120 - c**5/20 + 5*c**4/24 + c**3/6 - 20*c**2 + 1. Is 7 a factor of d(11)?
False
Suppose 31*y - 231 = -2*y. Suppose 1283 = y*l - 2077. Is 32 a factor of l?
True
Let k = -182 + -10. Let t = k + 261. Does 4 divide t?
False
Suppose -q = 3*p + 862, 4*p - 6*q + 1150 = -7*q. Is 32/(-18) - -2 - 308384/p a multiple of 63?
True
Let p(k) = 39*k**2 + 63*k + 272. Is p(-4) a multiple of 26?
False
Let j(p) = 26*p**2 + 10*p - 122. Is j(6) a multiple of 38?
True
Let v = -343 + 216. Is v/(-2)*(-2 + 4) a multiple of 9?
False
Let v(i) = -2*i**3 + 13*i**2 - 4*i + 14. Let p(o) = -o**3 + 4*o**2 + 11*o + 13. Let g be p(6). Let f be v(g). Is 14/f - (-2 + (-2058)/27) a multiple of 13?
True
Let u be (5/((-15)/(-306)))/(12/8). Suppose 83*l = u*l + 7740. Does 12 divide l?
True
Suppose k + 4 = -t, 0*t + 5*t = -k + 12. Let z(o) = -27*o + 11. Let j be z(k). Suppose -72 = -j*a + 226*a. Is a a multiple of 15?
False
Suppose 4 = 6*f - 8. Suppose -f*b - 35 = -2*u - 5*b, -60 = -4*u - 4*b. Suppose -u*c - 23 = -143. Is 3 a factor of c?
True
Let k(m) = -1473*m**2 - 14*m + 1. Let n(a) = -1473*a**2 - 12*a + 1. Let h(t) = 5*k(t) - 6*n(t). Does 22 divide h(1)?
True
Let j = 2297 - 1409. Suppose j = 2*i + 10*i. Does 11 divide i?
False
Is (-60995)/(-35) + (-20)/(-130)*26/14 a multiple of 7?
True
Let t = -193 + 201. Suppose 2484 = 4*c + t*c. Does 19 divide c?
False
Let v(j) = 4 - 2*j**3 - 7*j**3 + 0*j**2 - 4*j**2. Suppose 9*r - 20 = -21*r - 80. Is v(r) a multiple of 15?
True
Let u(r) = -6*r**2 + r + 11. Let j(z) = -17*z**2 + 3*z + 32. Let b(y) = -4*j(y) + 11*u(y). Is b(-12) a multiple of 55?
False
Let k = -477 + 469. Let s(q) = -139*q - 56. Is s(k) a multiple of 16?
True
Suppose -t + 2382 = 2*u - 2837, -3*t - 13064 = -5*u. Suppose -6*o - 847 = -u. Is o a multiple of 14?
True
Let j = 36786 + -14034. Does 36 divide j?
True
Let y = 6 + 18. Let u = 181 + y. Suppose -5*p + d = -u, 5*p + d + 16 = 211. Is 8 a factor of p?
True
Let r = 872 - -1607. Is r a multiple of 67?
True
Suppose 0 = 3*c + 3 - 105. Let q = c + -32. Does 34 divide 169 + 1 - (q + 3)?
False
Suppose -4*f + 1140 = 4*g, -2*f = -4*g + f + 1175. Let t = 416 - g. Let l = -22 + t. Is 13 a factor of l?
True
Is 51 a factor of (-6)/(-33) - -348375*(-16)/(-528)?
True
Suppose -1017*h + 15870 = 5*o - 1022*h, 4*o + 4*h = 12744. Does 15 divide o?
True
Let j(i) be the third derivative of i**4/12 + 121*i**3/6 + 4*i**2 - 7. Is 13 a factor of j(-15)?
True
Suppose 0 = -3*y + 5*f - 594, -f - 158 = 2*y + 225. Let v = y - -315. Is v a multiple of 22?
False
Let g = 86 - 74. Suppose 0 = g*k - 11*k - 129. Suppose 122 + k = a. Is a a multiple of 37?
False
Let p = -5073 - -7763. Suppose 2060 = 10*b - p. Is b a multiple of 25?
True
Let w(g) be the second derivative of g**4/12 - g**3/6 - 7*g**2 + 2*g. Suppose 0 = 32*t + 32 + 192. Is w(t) a multiple of 10?
False
Let n(y) be the second derivative of y**5/5 - y**4/3 + y**3/6 + y**2 + 2*y - 6. Is 33 a factor of n(4)?
True
Suppose -3*u + 4*f = f - 12, -3*u = -5*f - 8. Let m be (-3604)/u - ((-11)/3 - -3). Does 7 divide (-2)/7 + m/(-42) + 7?
True
Suppose -22*x = -18*x - 5*b - 133420, 0 = b + 8. Is x a multiple of 135?
True
Suppose 2*q + 204 - 222 = 0. Is (4840/120)/((0 + 1)/q) a multiple of 7?
False
Let a = -862 + 1486. Let v be a/168 + (-2)/(-7). Suppose -p - v*q = -59, -5*q = -5*p - 2*q + 272. Is p a multiple of 7?
False
Suppose 95 = 2*h - 81. Does 13 divide (26/(-8))/((h/1312)/(-11))?
True
Let o(j) = -5*j + 4. Suppose -6*p + 3*p + 2 = -2*k, -2*p = k + 1. Let c be o(p). Suppose c*b - 267 = 433. Does 20 divide b?
False
Let o(j) = 8*j**2 + 5*j - 23. Let s be o(6). Suppose -4*f + 2*c + 3*c + 1180 = 0, -f + s = 3*c. Is 8 a factor of f?
False
Suppose -a = 47 - 47. Suppose -2*l - 348 = -2*b, -2*b + a*b = -5*l - 348. Is b a multiple of 29?
True
Suppose 0*v + 5*t = 3*v - 563, -2*v + 4*t = -374. Let p = 209 - v. Is p a multiple of 9?
True
Let j = -84 + 86. Let l(t) = 5*t**3 + 2*t**2 - 8*t. Does 26 divide l(j)?
False
Suppose -4*i - i = 3*c - 9, 2*c - i - 6 = 0. Suppose d - 5*b - 70 = c*d, 4*b - 61 = d. Let s = d + 58. Is s even?
False
Let a = 279 - 275. Suppose a*w - 516 = -3*x, -2*x + 0*x + 333 = -w. Does 24 divide x?
True
Let x(i) = -i**3 + 2*i**2