*r + 5*t + 7. Is r even?
True
Suppose -35 = -5*h - 5*f, f = -3*h - 0*f + 11. Let x = h - -2. Suppose 0 = -x*s + 3*i + 442, i = 2*i - 2. Is s a multiple of 16?
True
Let o(x) = -696*x - 44. Does 34 divide o(-7)?
True
Let w be 5/(45/24)*(-3)/(-2). Suppose -4*t + p + 37 = 0, 0 = w*t - 4*p - 20 - 20. Let k(d) = 2*d + 30. Is 22 a factor of k(t)?
False
Suppose 16*y + 8*y - 172584 = 0. Is 153 a factor of y?
True
Is 12 a factor of (0 + (-357)/(-49) + -7)*97321?
False
Let q(d) = d**2 + 7*d - 8. Let f be q(-8). Suppose f = 2*x - 20 + 2. Suppose 260 = -x*t + 13*t. Is 13 a factor of t?
True
Suppose -367621 = -62*r - 22477 + 349318. Is r a multiple of 113?
False
Does 7 divide 2/14 + 7/(343/38409)?
True
Let c = -86 + -21. Suppose 24*t + 22*t - 8832 = 0. Let v = c + t. Does 18 divide v?
False
Suppose p - w = 25, -3*p + 2 + 94 = 4*w. Does 16 divide (p + -31)*154/(-6)?
False
Suppose -1587 + 177 = -7*y + 2804. Is 7 a factor of y?
True
Let p(s) = s**3 + 12*s**2 - 24*s + 8. Let b be -9 + 2 - (7 + -2). Let m be p(b). Let h = m - 107. Does 21 divide h?
True
Let i = 2847 + -2492. Is 5 a factor of i?
True
Let k(q) = q - 3. Let h be k(6). Suppose 4*u = h*i + 989, -3*i - i = u - 271. Suppose -2*v + 139 = -5*t + 2*t, -4*v + u = 3*t. Is v a multiple of 11?
False
Let s = 876 + -282. Suppose -6*m + s = -3*m. Is m a multiple of 35?
False
Suppose 4*u + 12 = 5*t - t, -5*t = -3*u - 15. Suppose 4*m - 740 = -3*z, -13*z = -14*z + t*m + 225. Is z a multiple of 40?
True
Let i be (-15)/30*(-3 - 1). Suppose 0 = i*f - 9 - 5. Does 3 divide 4/((-5)/f - -1)?
False
Let m = -256 + 205. Let u = m + 59. Does 2 divide u?
True
Suppose -30438 - 14336 = -11*q - 2193. Is 7 a factor of q?
True
Let o = 40 + -2. Let v = 36 - o. Does 5 divide (-1 - 5)/(-3) - v*14?
True
Let v(n) = -325*n**3 - 14*n**2 - 41*n - 8. Is v(-3) a multiple of 28?
True
Suppose -26*z - 21536 = 65642. Is ((-24)/5)/(-6 - z/560) a multiple of 49?
False
Let p(m) = 5*m**3 + 6*m**2 - 78*m - 22. Does 40 divide p(13)?
False
Does 2 divide 18*(0 - -2)*32034/152?
False
Suppose -5*l = 3*n + 140, 4*l + 5*n + 112 = 3*n. Let u = l - -33. Suppose -u*r + 119 = -131. Does 26 divide r?
False
Does 24 divide (-68)/102 - ((-548220)/(-9))/(-2)?
True
Suppose 3*g - 2*x - 67 = -4*x, -3*g - x = -68. Suppose g = -5*c + 43. Suppose -2*k - 5*d - 4 = 0, d + 36 = c*k - 0*k. Is k even?
True
Let s = 38 + -39. Let c(i) = 42*i - 1. Let l(f) = 40*f. Let z(q) = -3*c(q) + 2*l(q). Is 15 a factor of z(s)?
False
Let b be -7 - (-11 - 4)*1. Suppose -13*w + 840 = b*w. Does 5 divide w?
True
Suppose -15*b = -564 - 186. Suppose -b = 3*y - 461. Does 15 divide y?
False
Suppose -5*g - 69 + 84 = 0. Suppose 4*r - 103 = g*r - 2*c, -4*r = -5*c - 464. Is 37 a factor of r?
True
Suppose -4*m = -4*a + 243 - 639, 12 = 4*a. Is (18513/m)/(2/4) a multiple of 33?
True
Is 7114 - (510/135 - 8/(-36)) a multiple of 26?
False
Let s(r) = 9*r + 9. Let f be s(-7). Let d = f - -57. Suppose d*t + 4*u - 148 = -u, 128 = 2*t - 4*u. Does 14 divide t?
True
Let r(y) = y**3 - 28*y**2 + 9*y - 4. Let w be r(28). Let b = w + -203. Does 16 divide b?
False
Let a(n) = 18*n**2 + 13*n - 20. Let y be a(4). Let k = 862 - y. Does 17 divide k?
False
Let s(k) = k**2 - 7*k + 12. Let r be s(5). Suppose 0 = -r*q + 4*p - 8*p - 1320, 1321 = -2*q - 5*p. Does 18 divide (3 + -1)*q/(-28)?
False
Let j(y) = 35*y**2 - 8*y + 69. Let w(s) = -18*s**2 + 4*s - 34. Let o(f) = -2*j(f) - 5*w(f). Let n be o(-7). Suppose 0*l - n = -5*l. Is 26 a factor of l?
True
Let j(l) = 4*l**2 + 1347*l - 16. Is 30 a factor of j(26)?
True
Let s be (1 + -2)/(150/21 + -7). Does 84 divide (-4702)/s - ((-156)/(-42) + -4)?
True
Suppose -10384*s + 10392*s = 45904. Is 19 a factor of s?
True
Suppose -502*v = -174*v - 7790000. Does 12 divide v?
False
Let d(x) = 10*x - 10. Let z be d(-4). Let y = z - -45. Let c = y - -48. Is c a multiple of 17?
False
Let u(w) = -2*w**3 - 3*w**2 + w + 2. Let v = 36 + -34. Let r be u(v). Is (-669)/(-12) + (-6)/r a multiple of 24?
False
Is (1 - -5)*3/3 - -1644 a multiple of 6?
True
Suppose 28 = -14*a + 10*a, z + 2*a = 22465. Is 79 a factor of z?
False
Let b(f) be the first derivative of -f**5/20 + 11*f**4/12 - f**3 - 7*f**2 - 26*f + 17. Let j(w) be the first derivative of b(w). Is j(10) a multiple of 13?
True
Let v be 1/((-1 - 0)/(3*-1)). Suppose -v*d = d - 44. Suppose -6*n - 130 = -d*n. Does 2 divide n?
True
Suppose -728 = -9*o + 523. Let m = o + 219. Does 37 divide m?
False
Let x(b) = -2*b**3 + 7*b + 0*b**3 - 33 + 76 - 38 + b**2. Is 4 a factor of x(-4)?
False
Suppose 2*k + 37 = -q, 4*k - k + 158 = -4*q. Suppose 0 = -13*y + 260 + 494. Let g = y + q. Is 7 a factor of g?
False
Let s = -261 + 136. Let h = s + 120. Let g(v) = v**2 - 10*v. Is 5 a factor of g(h)?
True
Suppose -93*a - 59*a - 132*a + 9632144 = 0. Is 61 a factor of a?
True
Let i(m) be the third derivative of 7*m**5/30 + m**4/24 - 3*m**2. Suppose 10 = 8*c - 3*c - 5*a, 0 = c - 2*a - 6. Is i(c) a multiple of 18?
True
Suppose -8120 + 3724 - 12587 = -9*k. Is 11 a factor of k?
False
Let o(h) be the second derivative of -3*h**3 + 2*h**2 - 19/12*h**4 + 1/20*h**5 + 0 - 13*h. Is o(20) a multiple of 12?
False
Suppose -35283 = -14*q + 9629. Suppose 0*s + q = 8*s. Does 12 divide s?
False
Suppose 37*h = 216851 + 322424. Is 77 a factor of h?
False
Let o(t) be the second derivative of 7*t**4/3 + 7*t**3/6 - 41*t**2/2 - 34*t. Is 21 a factor of o(4)?
False
Let u = -14802 + 21690. Is 56 a factor of u?
True
Suppose 23148 = -33*j + 37*j. Does 33 divide 4 + j/36 + (-1)/(-4)?
True
Let t = -104 + 118. Let p(v) = 32*v - 101. Is 28 a factor of p(t)?
False
Let n(w) = 4059*w**3 - 31*w + 31. Does 34 divide n(1)?
False
Let f(v) = -12*v + 1. Let o be f(-4). Let r be 6/2 - (35 + 6). Let c = r + o. Is 11 a factor of c?
True
Let y be 0 - -5*1/1. Suppose -y*v + 1168 + 752 = 0. Is v a multiple of 8?
True
Let f be (-23)/(-5) - (3 - 48/20). Suppose -4*p - f*j + 10 = -2, 15 = 2*p + 5*j. Suppose p = -5*q + 3*q + 4*l + 102, q + l = 48. Does 6 divide q?
False
Let a(q) = -q**3 + 9*q**2 + 3*q - 11. Let s be a(9). Suppose -17*v + 392 = -s*v. Is v a multiple of 14?
True
Let c(x) = 2*x**2 + 14*x + 2. Suppose 0 = -4*s - 56 + 12. Let l be c(s). Is 5 a factor of (l - -2)/4 + -2?
False
Let o be 3/7 + (-36)/(-14). Suppose -o*g + 636 = i, -2*g + 11*i + 437 = 16*i. Does 9 divide g?
False
Suppose -13*f + 15 = -10*f, v = 3*f - 43. Is ((-2336)/v - -2)*14 a multiple of 23?
True
Suppose 0 = 15*k - 0*k - 160560. Is 12 a factor of k?
True
Let r be (-2000)/30 + 5 - (32/(-12))/4. Suppose -5*l + 188 = -3*l. Let u = r + l. Does 4 divide u?
False
Suppose 4*a + 2*v + v = 6, 3*a = -4*v + 1. Suppose -3*l - 227 = 3*m + 28, 0 = a*l. Let c = 127 + m. Is 6 a factor of c?
True
Suppose 3*i + 2 = 8. Suppose -w + 5*o + 163 = 0, 28 - 406 = -i*w - 3*o. Is 33 a factor of w?
False
Let s = 16409 - 9339. Does 40 divide s?
False
Let u = 2480 + -1400. Suppose -3*o = 7*o - u. Is o a multiple of 16?
False
Suppose 0 = 2*r - 3*r - 3*x + 51, -4*x + 288 = 5*r. Suppose 62*l - r*l = -2. Is l/4 - ((-4005)/20)/9 a multiple of 11?
True
Suppose 4*f = 2*h + 11696, -4*h = -4*f + 1789 + 9911. Suppose 0 = 3*w - o - 2201, -10*w + 6*w - o = -f. Does 33 divide w?
False
Let q(j) = -7*j + 209. Let t be q(35). Let h(o) = -18*o + 120. Does 58 divide h(t)?
False
Let r = 21 + -22. Let g be r*(-1 - 28)*1. Suppose -3*i + 79 = -g. Is i a multiple of 24?
False
Let r be 38*4/12*(0 - -18). Suppose 0 = -5*j - 20, -b + 2*j = -r + 45. Is 25 a factor of b?
True
Let p = 119 - 114. Let o be (-494)/(-10) - (-2)/(-5). Suppose -p*s + o = -z - 135, -4*z = 5*s - 164. Is s a multiple of 9?
True
Let t = 89066 - 22958. Is t a multiple of 84?
True
Let b = 36 - 27. Suppose o - 20 = -5*v, 0 = 4*v - 3*o - 25 + b. Suppose 5*x + 2*g - 99 = 0, -v = g - 1. Is x a multiple of 21?
True
Suppose -v - 6 = -4*f - 38, -4*v - 3*f + 33 = 0. Suppose 5*i = -2*a + 227, 0 = -3*a - 11*i + v*i + 332. Does 37 divide a?
True
Let g be ((-42)/(-56))/(1/32*4). Suppose g*k = 48*k - 12012. Is 18 a factor of k?
False
Let k(y) = 34*y - 42. Let l(q) = q - 1. Let c(r) = -k(r) + 6*l(r). Suppose -11*a = -28 + 72. Is 15 a factor of c(a)?
False
Let i = -1889 - -2647. Suppose -2*v - 4 = 0, 2*v + i = 2*m - 2*v. Is m a multiple of 11?
False
Suppose 0 = -41*s + 35*s + 25704. Is 17 a factor of s?
True
Suppose -12 = -4*u, -9*j + 4*u - 26844 = -