 Suppose 120 = -j*f + 5*f. Does 5 divide f?
False
Let m(c) = -5*c + 23. Let i(f) = 5*f - 28. Let p(t) = -5*t + 29. Let h(n) = -6*i(n) - 5*p(n). Let o(d) = -5*h(d) + 6*m(d). Is 9 a factor of o(-7)?
False
Let a(h) = -h + 7*h - 4*h**2 + 14 + 5*h**3 - 11*h**3. Is 2 a factor of a(-3)?
True
Suppose 0 = -49*g + 95308 + 407383. Is 8 a factor of g?
False
Suppose 5*p + v = -15, -21 = -v - 16. Does 25 divide (-97695)/(-135) - p/3?
True
Let a be 8/24*(-9)/(-1). Suppose -2*n + 188 = a*i, 4*n = n - 4*i + 282. Let p = n - 91. Does 3 divide p?
True
Let z(b) = 5*b**3 - 59*b**2 - 13*b + 13. Is 47 a factor of z(18)?
True
Let x(o) = o**3 - 11*o**2 + 13*o - 23. Let s be x(10). Let z(f) = -28 + 11 + s + 34*f. Is z(3) a multiple of 15?
False
Let p(f) be the third derivative of -f**5/60 - 13*f**4/24 - f**3/6 - 14*f**2. Suppose -3*h = 2 + 28. Does 29 divide p(h)?
True
Let z = -741 - -743. Suppose -z*k + 198 = 4*a - 2*a, -2*k - 5*a + 195 = 0. Does 6 divide k?
False
Does 8 divide (-4)/(-12 + (-71327)/(-5944))*(-1)/(-2)?
True
Suppose -3*z + 855 = 2*i, 1760 = 4*i - 41*z + 37*z. Let n = 572 + i. Is n a multiple of 53?
True
Let o(q) = 3*q**2 + 13*q + 32. Suppose -6*f + 36 = -0*f. Suppose -f*g + 12*g + 48 = 0. Does 9 divide o(g)?
False
Is 356/6*(-7 + 664/16) a multiple of 39?
False
Let z be (-2 - (-8)/5)*(-151 + -4). Suppose 5*f + 25 = 0, 2*x = 5*f - z - 39. Let a = x + 67. Is 4 a factor of a?
True
Let d be (4 + 16/(-10))*(-5)/(-2). Suppose -d*w - 5*w = -66. Suppose w*i - 3*i - 324 = -3*r, 0 = 3*i + 4*r - 323. Is 36 a factor of i?
False
Let h be 12 - 8 - (-1 + 41). Let a(n) = n**3 - 9*n**2 - 6*n - 8. Let l be a(9). Let p = h - l. Is 14 a factor of p?
False
Suppose 0 = -2*p + 3*x + 31, 6*p - 10*p + 2*x = -58. Suppose -3*m + 132 = -0*m. Let y = p + m. Is y a multiple of 29?
True
Suppose 19*u - 16*u - 29125 = 5*j, 1 = j. Is 69 a factor of u?
False
Suppose 3*m + w - 39 = 0, 17 + 7 = m + 4*w. Let q(t) = t - 4 + m*t**2 + 6*t - 11*t**2. Is q(-11) a multiple of 6?
False
Does 190 divide (364/42)/(11/70899) + 134/737?
True
Let p = -10850 - -13240. Is p a multiple of 13?
False
Let k(v) = 78*v + 126. Let z be k(31). Suppose 0 = -3*c + 2*o + 2350, -4*c - 3*o = -z - 561. Is c a multiple of 48?
False
Suppose 2*o = -v + 12819, 41*o + 38460 = 3*v + 46*o. Is v a multiple of 171?
True
Suppose -25 + 10 = -5*i, 60 = 5*w + 5*i. Let f(b) = 2*b - 18. Let k be f(w). Suppose k = -0*o + 4*o - j - 94, -5*j = -4*o + 86. Is 24 a factor of o?
True
Let z = 57 - 52. Suppose 0 = z*u - 472 + 112. Suppose 0 = 3*k + i - 74 + 12, 0 = 4*k + 4*i - u. Does 11 divide k?
True
Suppose -4*q + 129 - 393 = -s, -4*q = 0. Suppose 10*x - s = -12*x. Is 3 a factor of x?
True
Let p(i) = 2*i**2 - 37*i + 26. Let b be p(18). Let d(x) = 7*x - b - x - 7*x**2 + 18*x**2 + x**3. Is 16 a factor of d(-4)?
True
Let j = 38 + -27. Let u = -7 + j. Suppose 2*c = u*i + 16, c = i - 3 + 13. Is 7 a factor of c?
False
Let n(c) = -30*c + 5. Let w be n(-3). Let l = 137 - w. Suppose -124 = l*r - 43*r. Is r a multiple of 15?
False
Let d be 5 + -2 - 8/(-2). Let w = d + 11. Suppose w*k - 695 = 13*k. Is k a multiple of 16?
False
Let f = -260 - -26804. Is f a multiple of 168?
True
Let t = 10702 + -27514. Is 6 a factor of t/(-44) + (8 - 6)/(-22)?
False
Let b be 9/21 - (34784/(-14) - -1). Suppose -8*t + b - 4 = 0. Does 17 divide t?
False
Is 9 a factor of (48/5)/(9/1035)?
False
Is 147 a factor of -8 + 12678 - (-256)/16?
False
Let n(o) = 5*o - 5*o + 11*o + 79*o**2 - 74*o**2. Does 4 divide n(4)?
True
Is 41 a factor of (-9 - -10)/(-3) - 22244/(-6)?
False
Let q(t) be the second derivative of 25*t**4/12 - t**3/6 - t. Let a be 1/2*12/(-15)*-5. Does 7 divide q(a)?
True
Let g(v) be the third derivative of v**5/60 - 5*v**4/12 - 3*v**3/2 - 20*v**2. Does 11 divide g(-12)?
False
Let i(g) = -5*g - 6. Let b(v) = -16*v - 17. Let l(m) = -3*b(m) + 8*i(m). Let d be l(-2). Let y(r) = -5*r - 16. Is y(d) a multiple of 12?
False
Is 528/187*5 + -14 - 292976/(-17) a multiple of 162?
False
Suppose 3*a + 2*h = 4*h - 55, -2*a = 4*h + 42. Let k(n) = -n**3 - 19*n**2 - 6*n - 44. Does 35 divide k(a)?
True
Let k(o) = 244 - o - 52 + 108 - 3*o - 6 - 5*o**2. Is 42 a factor of k(0)?
True
Let q be (49 + -25)/(2/13). Suppose -7*v = -q + 30. Is 3 a factor of v?
True
Let y(j) = -46*j + 4. Let c be y(-3). Suppose 4*w - c = -46. Does 24 divide w?
True
Let t = 228 - 69. Suppose 3*a - 211 = 3*x - a, x = -4*a - 81. Let w = t + x. Does 18 divide w?
False
Let j = 37785 + -31368. Does 2 divide j?
False
Let k be ((-2919)/14)/(6/(-16)). Let f = k + 92. Is 18 a factor of f?
True
Let d = 1905 - 824. Is d a multiple of 47?
True
Is ((-226)/3)/(-4*(5 + (-116)/24)) a multiple of 7?
False
Let v = 91 + 130. Let x = 192 + v. Is 59 a factor of x?
True
Suppose -2*b = s - 6*s + 24306, 2*s = -4*b + 9732. Is 35 a factor of s?
False
Let c(p) = -16*p + 143. Let b be c(9). Is (-30 - -31)*(-112)/b a multiple of 56?
True
Suppose -64*p + 298457 + 291047 = 0. Does 44 divide p?
False
Let n(j) = 13*j**2 + 18*j. Let q(p) = -2*p**2 - 10*p + 64. Let t be q(4). Is 11 a factor of n(t)?
False
Let m(l) = 4*l**2 - 68*l - 810. Does 3 divide m(-25)?
True
Suppose 1 = -4*w + 21. Suppose -4*z + 11 + 12 = -w*r, -5*z - r = -36. Suppose 3*d = z*d - 104. Is d a multiple of 6?
False
Let m(z) = -3*z + 25. Let s be m(10). Is 31 a factor of (14 + 141)*(-18)/s?
True
Let k(j) = -j - 52. Let r be k(-17). Let u = -5 - -5. Is 5 a factor of r/(u + (-4)/4)?
True
Let x = 7670 + -7291. Is 4 a factor of x?
False
Suppose 0 = 6*i - 2*i - 4*r - 88, 3*i + r - 62 = 0. Suppose -i*g = -2*g - 4256. Is 28 a factor of g?
True
Let p = -123 - -364. Let r = p + -232. Is 8 a factor of r?
False
Suppose -10 = -4*r + x, -8*r + 4 = -5*r + x. Suppose -1777 = -5*y - 3*g, -5*g + 436 - 1153 = -r*y. Does 21 divide y?
False
Let z(t) = t**2 + 42*t + 469. Is 29 a factor of z(-33)?
False
Let n(c) = 4*c + 0*c**2 + 2*c + 33 + 2*c**2. Is 3 a factor of n(-5)?
False
Suppose 2 = -f - 2*n, -2*f + 5*n = f + 17. Let r be (-3 - 0)*f/2. Is 33 a factor of (21/r)/(134/132 + -1)?
True
Let q = -105 - -86. Let g(s) = -s**3 - 20*s**2 - 33*s + 45. Does 70 divide g(q)?
False
Suppose -3 = -j - 0, 3*z + 2*j - 876 = 0. Suppose -z = -a + 3*n - 8*n, 859 = 3*a + 4*n. Does 15 divide a?
True
Suppose -14*k + 3828 = -13*k. Does 11 divide k?
True
Suppose 3*t + 20 = l, -45 = -3*t - 60. Suppose -l*d + 2*p + 203 = -p, 0 = -4*d - 5*p + 155. Is 4 a factor of d?
True
Suppose -49*z + 1030409 = 131308. Does 12 divide z?
False
Let m(v) = 4*v**3 - 140*v**2 + 107*v - 37. Is m(38) a multiple of 13?
False
Suppose -7157*v + 7143*v + 97440 = 0. Does 87 divide v?
True
Let c(a) = -3*a - 2. Let i be c(-2). Suppose -q + 2*h - 4 = 0, -5*q - i*h - 68 = -2*h. Does 2 divide 13/3 + 4/q?
True
Let h = -18 + 14. Let s = h + 16. Suppose s - 38 = -r. Does 26 divide r?
True
Suppose -13*q + 202 = -266. Suppose 144 = 2*d - q. Does 10 divide d?
True
Suppose 11*s + 472 + 254 = 0. Let w = s - -81. Does 14 divide w?
False
Suppose 4*y - 40 = -0*y. Let q = -14 + y. Does 18 divide -18*(q + (1 - 3))?
True
Let x be 0 - (-2 + 8 + 1). Let i be (-3)/9 - x/3. Suppose 5*p = -i*b + 77 - 8, -4*b + 126 = -2*p. Is b a multiple of 21?
False
Let u(x) = -x**3 - 14*x**2 - 10*x + 15. Let n be u(-13). Let v be (1 - 3*(-4)/n)*6. Suppose 2*a + 28 = 3*a + v*r, a = 4*r + 7. Does 13 divide a?
False
Suppose 7*g + 4*p = 5*g, 0 = -3*p + 6. Is (-1208)/g*((-42)/12)/(-7) a multiple of 24?
False
Suppose 750*z - 751*z = -3. Suppose k - 1080 = -5*i, 2*i + z*k + 0*k - 445 = 0. Is 13 a factor of i?
False
Let n = 9 - -9. Let t be 9 + (-5 - (0 - -4)/(-4)). Suppose -121 = -n*d + t. Does 2 divide d?
False
Let x = -864 + 2458. Is x a multiple of 66?
False
Suppose 616 = 8*s - 200. Let u = s + -102. Suppose -181 = -5*i - 2*j + 1103, u = -i - 2*j + 260. Is 12 a factor of i?
False
Let w(i) = 0*i**2 - 14*i + i**3 - 2*i**2 + 10*i**2 - 7. Suppose -3*x = 3*o + 30, -3*o - 46 = 23*x - 18*x. Does 21 divide w(x)?
True
Suppose -7*x = -10*x + b + 10, 0 = -3*x - 2*b + 16. Suppose 2*n = x*w - 1454, 7*w - n = 11*w - 1457. Is 10 a factor of w?
False
Suppose -2*v = 14*v - 32. Suppose -3*u = v*u - 55. Is 2 a factor of u?
False
Let y(m) = 9 + 70*m - 27 - 25*m + 12*m. Is 10 a factor of y(2)?
False
Suppose -v - 5*s + 20 = 0, -70 = -v + 3*s + 2*s. Is 15 a factor of v/(-2)*(-540)/50?
False
Let f = -51 + 52. Su