 2*v + 25027 = 5*a. Does 35 divide a?
True
Suppose -5*r + 2 + 27 = g, -4*g - r + 21 = 0. Does 15 divide g/(24/1134) - 6?
False
Suppose 59*t = -40*t + 628650. Is t a multiple of 56?
False
Does 54 divide 3 - -1 - ((-1)/(7/(-42)) - 3566)?
True
Suppose -852 = -f - 3*f - 5*l, -4*f + 5*l + 892 = 0. Suppose -2*b = s - 218, s - 2*s - f = -2*b. Is 37 a factor of b?
False
Let h = 4719 + 221. Is 5 a factor of h?
True
Suppose 24 = -17*o - 27. Is 689 - (-3 - o - 7) a multiple of 8?
True
Let v = -11 + 7. Suppose -72 + 22 = 10*b. Is v + -3 + 4 - b a multiple of 2?
True
Let v be 35/(-21)*(-3 - (-1 - -1)). Suppose -v*l - 50 = 3*c - 7*c, 3*c = -l - 10. Is 3 a factor of (68/8)/((-5)/l)?
False
Suppose 0 = -197*t + 201*t - 98784. Is 63 a factor of t?
True
Let f(v) = 51*v - 4. Let x be f(-3). Let w be (0*1/(-3))/(-2) - 259. Let r = x - w. Is 38 a factor of r?
False
Let t be 1 - (1308/9 - -6)*3. Is 6 a factor of (-40)/(-90)*t*(-30)/8?
False
Let g(b) = 65*b**2 - 4*b + 5. Suppose 0 = -2*r - 8 + 24. Suppose -r*u = -9*u + 1. Is g(u) a multiple of 11?
True
Suppose 0 = -124*i + 59563 + 12096 + 59781. Is 2 a factor of i?
True
Let c(u) = 69*u**3 + 5*u**2 - 16*u + 12. Let r be c(6). Suppose 0 = -36*k + 46*k - r. Does 20 divide k?
True
Suppose 94*f + 5470 = 178900. Is f a multiple of 41?
True
Let z(o) be the second derivative of 23*o**3/6 - 48*o**2 + 106*o. Is 50 a factor of z(10)?
False
Suppose -2*x + 6*x - 5*w - 57 = 0, 4*x - 4*w = 56. Let y = 330 + x. Is y a multiple of 91?
False
Suppose 25*f = 31*f - 3552. Let g = f - 359. Is 13 a factor of g?
False
Suppose 0 = 8*o - 130558 + 19126. Is o a multiple of 52?
False
Let h = 4245 - -4043. Does 37 divide h?
True
Let x = 285 + -585. Is (x/(-9) - 0)*(-6600)/(-250) a multiple of 41?
False
Let j = 48 + -66. Let s be (9/(-6))/(j/2496). Suppose -101*f + 97*f = -s. Is 13 a factor of f?
True
Let b = 133 + 269. Let x = b - -13. Is x a multiple of 12?
False
Suppose w + 12 = 3*v, w + 2*w - 4 = v. Suppose 0 = 3*d + 2*f - 760, -v*d + 0*f + 5*f + 1250 = 0. Suppose -87*j = -83*j - d. Is j a multiple of 8?
False
Suppose -3*l - l + 16 = 0. Suppose l*j + 8*j - 48 = 0. Suppose -4*u - j*u = -672. Is 12 a factor of u?
True
Let y = -1061 - -1871. Is y a multiple of 15?
True
Let k = 457 - 450. Let f(b) = 84*b**2 - b - 2. Let n be f(-2). Suppose -3*u = -k*u + n. Is 14 a factor of u?
True
Let m(k) = -5*k**3 + 3*k**2 - 3*k + 5. Let n be m(2). Let h = n - -34. Suppose 3*r + 4*t = 374, -6*t = -2*r - h*t + 231. Does 7 divide r?
False
Suppose -1052*w - 4*d + 10436 = -1051*w, -41699 = -4*w - d. Is w a multiple of 25?
False
Let x be 5 - 5*(54/(-15) - -4). Let n(r) = -5 - 11*r - 20*r**3 + 10*r**3 + 9*r**3 + 1 - x*r**2. Is n(-4) a multiple of 8?
True
Let v(m) = -5*m + 161. Let o be v(30). Does 11 divide o/((-55)/(-500)) - 5/(-1)?
False
Suppose 3*d = -v + 12, 4*v - 1 - 2 = 3*d. Suppose -5*y + 2708 = -4*x, 0*y - 3279 = -6*y - 5*x. Suppose -389 = -v*j + y. Does 14 divide j?
False
Suppose 3*x - 4*x = -10. Let j = x + -6. Suppose -4*l + 156 = 3*z, -3*l + 52 = -2*l + j*z. Is l a multiple of 12?
True
Let w be (-28)/(-6)*7*84/686. Let b(m) = 3*m**3 - 8*m**2 + 10*m - 3. Is b(w) a multiple of 24?
False
Let a = 4859 + -3360. Suppose -2*v = -5*y - a, 49*y - 757 = -v + 53*y. Is 15 a factor of v?
False
Let q(m) = m**3 - 9*m**2 + 17*m - 11. Let w be q(11). Suppose 4*x = -20, b = -2*x + 396 + w. Is 8 a factor of b?
True
Is ((-15587)/33)/((-2 + 148/72)/(-4)) a multiple of 104?
True
Suppose 0 = 2*d + 4*d. Suppose d = -5*x + s + s + 4158, 2498 = 3*x + 2*s. Is x a multiple of 13?
True
Suppose -i = 14 + 1. Let x be i/(-3)*1*3/5. Suppose -5*w = -3*r - 90, 0 = -0*w + 3*w + x*r - 30. Is 5 a factor of w?
True
Let k = -12 + 16. Let b be (((-56)/3)/7)/(k/(-6)). Suppose -b*z = -2*d + 514, -277 = -4*d - 4*z + 739. Is d a multiple of 17?
True
Suppose 28 = -3*a + 34. Let t(n) = -n**2 - 5*n + 17. Let r be t(-7). Suppose -176 = -a*q + 4*x, 4*q + x = r*x + 358. Is 30 a factor of q?
True
Suppose -g - 14*g + 331632 = 27*g. Does 42 divide g?
True
Suppose 0 = -107*q - 147427 + 265791 + 306533. Is 19 a factor of q?
True
Suppose 5*x - 25 = 0, -4*q - 5*x - 7 + 8 = 0. Let w(i) be the first derivative of -9*i**2 - 21*i + 1. Is w(q) a multiple of 29?
True
Let u(d) = -120*d + 3225. Is u(-51) a multiple of 105?
True
Suppose 0 = -42*q + 34*q + 4496. Is q a multiple of 21?
False
Let r = -430 + 430. Suppose r = -h - 3*h + 240. Is 2 a factor of h?
True
Suppose -5*y + 622 = u, 4*y + 2*u = 374 + 120. Suppose -c - b = -107, -y = 4*c - 5*c + 5*b. Does 11 divide c?
True
Let s be -1*(3 - 1) + 3979. Let o = -2112 + s. Is o a multiple of 53?
False
Let w be (-28)/16*-2*(-80)/28. Let a(q) = -q**3 - 4*q**2 + 28*q + 25. Is a(w) a multiple of 13?
False
Let r(m) = 63*m + 18. Does 13 divide r(9)?
True
Let t be 30/(-12 - -9)*(-3 - -1). Suppose 4*i + 36 - 4 = 0. Is i*-1*(0 + t)/4 a multiple of 10?
True
Let l = 34357 - 25199. Is 77 a factor of l?
False
Let p = 6700 + -2228. Does 86 divide p?
True
Let x = -24331 - -35455. Is 108 a factor of x?
True
Suppose 120 = 16*g - 22*g. Let n(y) = -11*y - 40. Let o be n(g). Suppose o = 4*q - 0*q. Is 26 a factor of q?
False
Suppose -2*p - 2*j - 6 + 204 = 0, -2*p + 204 = -4*j. Suppose 0 = 105*k - p*k - 4440. Is k a multiple of 55?
False
Let d(s) be the third derivative of 0*s + 15*s**2 - 1/24*s**4 + 0 + s**3. Does 2 divide d(3)?
False
Suppose 0 = a - 2*a + 5. Does 14 divide 2229/a + (-14)/(-70)?
False
Let k(j) = -j**2 - 4*j + 2. Let x be k(-5). Let w = 151 - 106. Is (-442)/(-8) + w/12 + x a multiple of 13?
False
Let w(g) = -12*g**3 - g**2 - 25*g - 60. Is 19 a factor of w(-7)?
False
Suppose -4*s + h + 27389 = 0, 17*s + 13690 = 19*s - 2*h. Is s a multiple of 16?
True
Suppose 4*s + 7*c - 4*c = 4157, 0 = 6*s - 2*c - 6242. Does 26 divide s?
True
Let p = 20267 + -10767. Does 48 divide p?
False
Let t(j) = j**3 - 5*j**2 - 13*j - 217. Let y be t(10). Let v = 23 + -113. Let x = y + v. Is 21 a factor of x?
True
Let w(s) = -125*s + 25. Suppose -5*g - 25 = -i, -5*g - 2*i = -g + 20. Does 26 divide w(g)?
True
Is -21*(-14886)/108*2 a multiple of 10?
False
Let m = 765 - 769. Does 36 divide 180/(-10)*(-2 + m)?
True
Does 35 divide 123*(-45)/54*-14?
True
Suppose -23 = o + 5*f + 7, 0 = -5*f - 15. Let g(n) = 12*n + 61. Let q be g(o). Let p = -94 - q. Is 16 a factor of p?
False
Suppose -10*c + 59 = -9*c. Suppose 4*i + 93 + c = 0. Let h = i + 91. Is h a multiple of 5?
False
Let s(k) = -23*k**3 + k**2 + k + 1. Let j be s(-1). Let n(z) = z**3 - 8 + 3*z + z + j*z**2 - 18*z**2 - 11*z**2. Is 3 a factor of n(5)?
True
Let z(y) be the second derivative of 5*y**4/12 - 5*y**3/6 - 10*y**2 - 770*y. Let j be (8/10)/(2/(-10)). Does 20 divide z(j)?
True
Let r = 285 + -284. Is r - (-36)/(-42) - 3247/(-7) a multiple of 16?
True
Let b = -379 + 515. Suppose -q = -5*q + b. Does 7 divide q?
False
Let n(u) = -u**3 + 12*u**2 + 28*u + 11. Let d be n(14). Let q be -3 - 1 - (d + -6). Does 12 divide (-8)/12 - 978/q?
True
Does 4 divide (-2)/6*((-3672)/8 + 0 + 6)?
False
Let c(a) = -170*a + 53. Is c(-3) a multiple of 19?
False
Let m = 17 - 27. Let a = m + -30. Does 8 divide a/2*(0 - 2)?
True
Let v = 8049 - 5436. Does 13 divide v?
True
Let w(x) = 1704*x - 740. Is w(9) a multiple of 178?
True
Suppose 47*f = 57427 - 7184. Does 27 divide f?
False
Let x = 36 + -9. Let d = x + -30. Is 16 a factor of 52 + 4 - 3/d?
False
Suppose -p - 5*n = -17, -2*p + 0*p - n = -7. Suppose -19 = -p*q - 7. Suppose 0 = -7*a + q*a + 9. Is a a multiple of 6?
False
Let n = -3378 - -3991. Is n a multiple of 2?
False
Suppose 4*u - 315 = l - 0*l, 5*u - 375 = -5*l. Does 34 divide 4/(-3) - (-17498)/u?
False
Let i(m) = -23*m + 1338. Is i(19) a multiple of 7?
False
Suppose -5*v + 31 = -3*p, -5*v + 47 - 1 = 2*p. Is 308 - (6/(-1) + v) a multiple of 51?
True
Let m(t) be the third derivative of -2*t**4/3 - 5*t**3 + 11*t**2 + t. Does 15 divide m(-7)?
False
Suppose 0 = 4*w - 5*w - 1, -4*q + 840 = 4*w. Suppose -8 + 8 = -n. Suppose 6*s - q - 167 = n. Is 23 a factor of s?
False
Let q(b) = -2*b**3 + 33*b**2 + 18*b - 2. Let y be q(18). Let c = -438 - y. Is 6 a factor of c?
False
Let g(v) = -7*v + 58. Let d be g(9). Let i(s) = s**2 + s - 17. Let n be i(d). Suppose -250 = -n*w + 86. Is 7 a factor of w?
True
Suppose 0 = 5*h + 2*l - 130091, h - 119*l = -114*l + 26002. Does 55 divide h?
False
