r - 12, -u*w - 8 = 2*r. Suppose -19 = -4*d + 1, -z - 5*d + 81 = w. Does 14 divide z?
True
Suppose 0 = 23*y + 4917 + 787. Let s = y - -423. Is 35 a factor of s?
True
Suppose 0 = -3*k + 2*v + 16213, 5196 = 2*k - 2*v - 5616. Is 130 a factor of k?
False
Suppose 10*q + 5 = 5*q. Let y be (-636)/(3 - 7) + (q - -2). Suppose -h - y = -11*h. Is 3 a factor of h?
False
Let q(s) = -12*s - s + 2*s + 15 + 3*s. Let c be q(8). Let p = 3 - c. Is p a multiple of 13?
True
Suppose -3*w + 0*w + 33 = 3*u, -5*u = -w - 19. Suppose 8*l - 710 = w*l. Does 53 divide l?
False
Suppose -171 = -20*q + 11*q. Suppose -13*y - 1260 = -q*y. Is y a multiple of 10?
True
Let x be 7/14*-1 - 564/(-8). Suppose 5*z - 846 = f + 220, -3*f = 5*z - 1082. Suppose 4*k - z = -x. Is k a multiple of 9?
True
Suppose -2*h = -2*a - 217 - 619, -3*a = 4*h - 1658. Suppose 4*p - 77 = -q + 59, -h = -3*q - 4*p. Is q a multiple of 10?
True
Let n be (-3 - -24) + -4 + -4. Let k = -11 + n. Suppose 0 = k*m - 334 + 112. Is 37 a factor of m?
True
Suppose 12478675 + 11931192 + 1560617 = 508*c. Is 10 a factor of c?
False
Let i = -70107 + 112553. Is 18 a factor of i?
False
Does 33 divide 18/15*(-60)/(-18)*(1710 - -4)?
False
Suppose 44*u - 174*u + 13000 = 0. Is 20 a factor of u?
True
Suppose 0 = 44*x - 50*x - 42. Is 924/(-12)*30/x a multiple of 55?
True
Suppose -13*y = -4*y - 14715. Suppose -y = -12*i + 321. Is 26 a factor of i?
False
Let t = 886 - -4415. Is 46 a factor of t?
False
Is 18 a factor of 156636/190*(-80)/(-12)?
False
Does 7 divide 856/(-321)*(-1 + -569)?
False
Let m be (926*1/(-6))/(7/(-42)). Let o = m - 301. Is o a multiple of 25?
True
Suppose 0 = -9*j + 14 - 221. Let v = j - -23. Suppose -3*m + 15 = 0, 2*c - 5*c - m + 107 = v. Does 6 divide c?
False
Suppose 0 = -2*d + 5*m - 13280, 10 + 6 = -4*m. Does 9 divide d/(-75) - 2/(-6)?
False
Let v = -23283 + 24418. Does 130 divide v?
False
Let j = -13268 - -24959. Is 27 a factor of j?
True
Let y be (4 - 7) + 24/6. Let d(c) = -3*c + 4 - 2 + c + 68*c**2. Is d(y) a multiple of 26?
False
Let v = -311 + 313. Is 12 a factor of v/(-8)*-12 - -213?
True
Suppose -4*t - y + 6574 = 0, 4*t + 2*y + y = 6570. Suppose 0*z = 4*z + 4*p - t, -p + 1235 = 3*z. Does 15 divide z?
False
Suppose u + f = 33, 5*u - 5*f + 70 - 185 = 0. Is 5 a factor of (u - -25) + (-1 - -4)?
False
Let c(i) be the second derivative of i**5/20 + 5*i**4/6 - 14*i**3/3 - 33*i**2/2 + 119*i. Is c(-7) a multiple of 41?
False
Let l be 2*(-54)/24*8/(-12). Suppose -j + 92 = 2*s - 5*j, 4*j = l*s - 132. Is s a multiple of 11?
False
Suppose -3*o + 2*b - 42 = 0, 5*o - 5 = -2*b - 75. Does 45 divide 651/o*((4 - 2) + -26)?
False
Is 147429/6 + 24/(-16) a multiple of 91?
True
Let h = 93 - 55. Let t = -35 + h. Suppose 4*s = t*s + 140. Is 11 a factor of s?
False
Let r(x) = -x**3 - 15*x**2 + 19*x - 30. Suppose -4*q - 69 = 5*c, -q = 3*c + 2*q + 39. Is r(c) a multiple of 11?
False
Suppose z - 17846 = -3*c, -17 = 2*z - 9. Does 14 divide c?
True
Let w(a) = -a**3 - 14*a**2 - 8*a + 65. Let j be w(-13). Suppose j*m - 2*r + 743 = 5*m, -5*m + 4*r + 719 = 0. Does 49 divide m?
True
Suppose 4 = -3*f + 28. Let j(i) = 66*i - 8. Let g be j(f). Suppose -3*l + 389 = -4*u, 3*l + 5*u = 7*l - g. Is l a multiple of 8?
False
Suppose 0 = v + c + 79, 5*c - 76 = -3*v - 315. Suppose -4*o - 9 = 227. Let h = o - v. Is 4 a factor of h?
False
Suppose 0 = -5*a + 45 - 10. Let w(b) = 1587*b + 49. Let q be w(a). Is 25 a factor of 3/4 + q/56?
True
Is ((-81)/6)/(48/80 - (-395)/(-650)) a multiple of 34?
False
Let l be ((-3984)/(-20))/((-12)/(-30)). Suppose o - l = -5*z, -5*z - 3*o + 250 = -254. Is 11 a factor of z?
True
Let o(l) = 7*l + 27. Suppose 6*k - 8*k + 32 = 0. Is o(k) a multiple of 14?
False
Let x(q) = -2*q**3 - 26*q**2 - 14*q + 50. Let m(h) = -h**2 - 2*h + 1. Let c(r) = -10*m(r) + x(r). Does 80 divide c(-12)?
True
Let c(z) = z. Let h(m) = 24*m + 60. Let o(d) = -28*c(d) - 4*h(d). Does 10 divide o(-5)?
True
Let i(d) = d - 1. Let o(g) = -16*g - 14. Let n(p) = 2*i(p) - o(p). Suppose 17 = 5*a + 3*m, 5*a + 6*m = m + 15. Does 21 divide n(a)?
True
Let y = 115 + -121. Does 25 divide (-11)/((-13 - y)/175)?
True
Let z = 6967 + -4478. Is 32 a factor of z?
False
Suppose 0 = 2*k + 5*n - 11723, -4*k + 20240 = 2*n - 3262. Is k a multiple of 5?
False
Let g(b) = 11*b**3 + 2*b**2 - 35*b + 41. Let p be g(9). Suppose 0 = 18*t - 3595 - p. Does 9 divide t?
True
Is 11 a factor of (4313946/(-637))/(8/(-28) + (-1)/(-14))?
False
Let b = 274 - 165. Suppose -4*z + 8 = 2*r - 84, 0 = 5*z + r - b. Is 21 a factor of z?
True
Let z(m) = -m**3 - 9*m**2 - 5*m - 164. Let w be z(-10). Let a(h) be the third derivative of h**5/60 + h**4/3 - 3*h**3/2 + 2*h**2. Is 5 a factor of a(w)?
True
Let o(u) = -82*u - 145. Let d be o(-24). Let h = d - 1254. Does 5 divide h?
False
Does 12 divide (-356814)/(-14) - 3365/4711?
False
Is 111 a factor of 13851/(((-162)/(-36))/3)?
False
Suppose -4*n - 12 = -5*p, -2*n - 5*p + 3 = -21. Suppose -3*a = -n*l - 2328, -a + 2*a = -2*l - 2336. Is 7*((-3)/(-6) - l/42) a multiple of 33?
True
Suppose 0 = -11*c - 257 - 436. Let r = 65 + c. Suppose -348 = -r*h + 5*t, 2*t = 7*h - 3*h - 696. Is 6 a factor of h?
True
Suppose 1583 = 9*b - 4663. Let l = b - 22. Is 42 a factor of l?
True
Let j(c) = 2*c + 62. Let a be j(-5). Suppose a*n - 43*n - 63 = 0. Does 7 divide n?
True
Let j be (-465)/(-21) + -4 + 3/(-21). Suppose 8*f = -j*f + 1872. Is f a multiple of 8?
True
Let d(r) = 2*r**2 - 16*r + 7. Let o be d(8). Suppose o*t - 35 = -0. Suppose 0*n + 96 = 2*n + 3*c, 0 = -t*n + 2*c + 240. Is 16 a factor of n?
True
Let s be (-88)/16*-652 + 5. Suppose 0 = -w + 3*c + 861, 5*w + c - 650 = s. Is 29 a factor of w?
False
Suppose 0 = -26*d + 2*d + 46608. Let t = 2939 - d. Is t a multiple of 22?
False
Suppose -5*v + 9560 = r, 0*r + 3*r = 4*v - 7648. Is 16 a factor of v?
False
Let m be ((-9)/2)/((-3)/4). Suppose 789 = -l + 794, -5*l + 210 = n. Suppose -n = m*y - 11*y. Is y a multiple of 4?
False
Suppose 194*f = 153*f + 61049. Is 5 a factor of f?
False
Let h = -79 - -58. Let d be (h - 9)*(-6)/(-9). Is d/(((-21)/(-15))/(-7)) a multiple of 6?
False
Let j be (-9)/(-4)*-2 - 2/(-4). Let d = j - -79. Does 3 divide d?
True
Let x(z) = -5*z**2 - 13*z - 7. Let t(v) = -3*v**2 - 6*v - 3. Let s(g) = 9*t(g) - 4*x(g). Let w be s(-1). Is 7 a factor of (-113)/w - 1/4?
True
Let v(j) = -j**3 + 7*j**2 - 13*j + 7. Let z be v(6). Is 4 a factor of (-560)/2*14/z - 0?
True
Let w(a) = -2*a**3 - 136*a**2 + 185*a + 830. Is 11 a factor of w(-70)?
True
Let s(z) = -5*z**2 - 4*z - 2. Let t be s(-2). Let a = t - -12. Is 25 a factor of 1/(-2) - 203/a?
False
Suppose -831 = -s + 3*v, 15*s - 19*s = -2*v - 3334. Is s a multiple of 4?
False
Suppose -9*p + 119 = -2692 + 543. Does 36 divide p?
True
Let z(f) = -9*f + 43. Let j be z(4). Suppose 3*k = j*k - 1024. Is k/(-5)*5/(-2) a multiple of 12?
False
Let d be 60/75*(2 - (-11)/2). Is 8 a factor of (30/d - 9) + 43?
False
Let h = 689 - 334. Suppose h - 249 = 2*n. Does 3 divide n?
False
Let j(s) = -115*s + 4. Let w be j(-3). Let d = w + -244. Does 8 divide d?
False
Let i be 7/(35/60) + -4. Suppose -i*f = -3 - 85. Is 4 a factor of f?
False
Let l(v) = -2*v**3 + 11*v**2 - 8*v + 28. Let u be l(5). Suppose 0 = n - u*n + 7560. Is n a multiple of 63?
True
Suppose 2*f + 157 = -115. Let a(x) = 3*x**3 + 177*x**2 + 2*x + 28. Let g be a(-59). Let o = g - f. Is 23 a factor of o?
True
Let v(r) = 16*r - 28. Let l(d) = 0 - 38 + 87*d - 102*d + d**2. Let i be l(18). Does 15 divide v(i)?
False
Let g(h) = 17*h - 81. Let u(l) = -l**2 + 3*l + 17. Let z be u(0). Is g(z) a multiple of 13?
True
Let g(q) = -q**2 - 11*q + 60. Let y be g(-13). Suppose -396 = -y*l + 28*l. Does 6 divide l?
True
Let m = -1303 + 3213. Suppose 6*k - m = -3*b + k, 2*b - 2*k = 1268. Does 33 divide b?
False
Suppose 0 = -114*h + 177 + 165. Let n = -3 - -3. Suppose n = -5*r + 3*r - h*k + 57, 4*r + 3*k = 117. Does 6 divide r?
True
Let y be (-3 - -6) + -126 + -1. Let r = y + 191. Is 6 a factor of r?
False
Suppose 0 = 537*r - 499*r - 32984. Is 4 a factor of r?
True
Let t(a) = 22*a**2 - 4*a + 8. Let f(q) = -23*q**2 + 2*q - 9. Let h(d) = -4*f(d) - 3*t(d). Is 18 a factor of h(-2)?
True
Is 6 a factor of (31 - (-63325)/100)/((-1)/(-4))?
False
Suppose 4 = j, 0*z - 2*j = 2*z - 368. Let s = z + -168. Is s a multiple of 6?
True
Is (70/21*(-8)/(-10))/((-2)/(-