= 28*q - 2036. Let u be i(0). Let b = -1428 - u. Is 38 a factor of b?
True
Let b = 23 - 20. Suppose 5*i - 20 = -3*u, -5*u - i - 9 = -35. Suppose 168 = b*x + u*x. Is x even?
False
Suppose 0 = 131*x - 41*x + 1620. Let j = 34 - 92. Let f = x - j. Is f a multiple of 20?
True
Suppose -12 = 2*t, 3*k + 795 = 5*t + 5220. Is k a multiple of 18?
False
Let c(f) = 2*f + 100. Let v be c(0). Suppose 6*j = -4*j + v. Let k = j + 39. Is k a multiple of 9?
False
Suppose -299091 = -67*j + 73965. Does 23 divide j?
False
Let h = 3309 + -2079. Does 8 divide h?
False
Let g = -145 - -154. Suppose g*c - 1120 = 4*c. Suppose -6*m - c = -14*m. Is m a multiple of 7?
True
Let o(b) = -6 + 2*b + 4 - 10*b**2 - 3 - 5. Let r be o(8). Does 7 divide ((-7)/21)/(-1 + r/(-636))?
False
Let o(w) = w**2 - 59*w - 160. Does 16 divide o(-12)?
False
Let g(q) = -q**3 + 18*q**2 + 26*q - 65. Let m = 79 + -61. Does 13 divide g(m)?
True
Suppose 267*b - 20585 = 262*b. Is 23 a factor of b?
True
Let b(q) = 63*q**2 + 121*q - 53. Does 174 divide b(-16)?
False
Let l(i) = -15*i**2 - 13*i - 8. Let a(j) = 8*j**2 + 7*j + 4. Let b(n) = -7*a(n) - 4*l(n). Let q be b(5). Is 31 a factor of ((-1074)/(-7) - -2) + (-51)/q?
True
Suppose 0 = 24*y - 40*y - 432. Does 43 divide 61132/153 + (-12)/y?
False
Let m(d) = 41*d**2 + 2*d + 7. Let c be m(3). Suppose 5*u - 143 = c. Suppose -u = -k - 3. Is k a multiple of 17?
True
Does 14 divide (-50)/15*(-1113)/53?
True
Let f(p) = 31*p**2 - 8*p - 34. Let j be f(8). Suppose 2*g + y = -83 + j, 4*g - 2*y = 3594. Is g a multiple of 30?
True
Let o(h) = 282*h**2 + 7*h - 89. Is 13 a factor of o(7)?
False
Let q(o) be the first derivative of -81*o**2/2 + 5*o - 38. Is q(-1) a multiple of 21?
False
Let m(r) = -7*r**2 + r - 46. Let v(p) = -p**2 - p - 1. Let o(l) = -m(l) + 6*v(l). Is o(0) a multiple of 4?
True
Suppose 27244 - 6124 = 10*f. Is 16 a factor of f?
True
Suppose 0 = -3*z + 2*n + 23, 0 = 3*n - 6. Let y(h) be the third derivative of 5*h**4/24 - 13*h**3/6 - 157*h**2 + 2*h. Is y(z) a multiple of 32?
True
Suppose 5*z = 145 + 1510. Suppose 5*k - 559 = -5*x + 3*k, -3*x + k = -z. Is 5 a factor of x?
False
Let y(r) = 7*r**3 + 3*r**2 - 4*r - 4. Let c be y(-4). Let h = -269 - c. Suppose -3*k + h = -436. Does 20 divide k?
False
Let r = 63 + -71. Let p = -6 - r. Suppose -7*u + 3*u + 5*o + 103 = 0, p*o + 72 = 3*u. Is u a multiple of 4?
False
Suppose -275470 = -2385*m + 2359*m. Is 13 a factor of m?
True
Let z be (12/(-9))/(2/(-6)). Suppose -13 + 45 = z*f. Let b = 38 - f. Is 3 a factor of b?
True
Let m = 51 - 45. Suppose 11*a = m*a + 15. Suppose -a*q = 3*q - 480. Does 16 divide q?
True
Let h(t) be the first derivative of -t**7/840 + t**6/360 - t**5/20 - 7*t**4/12 + t**3 + 7. Let p(w) be the third derivative of h(w). Is 30 a factor of p(-4)?
True
Let o be -1*((-20)/(-8) + -1)*-34. Suppose 46*v - 370 = o*v. Let a = 105 + v. Is a a multiple of 15?
False
Let m(z) = -z**2 + z + 2. Let r(y) = 9*y**2 - 4*y - 20. Let k(q) = -3*m(q) - r(q). Is k(0) a multiple of 14?
True
Let t(q) = 4*q - 3. Let m be t(5). Suppose m*i = 9*i - 72. Is 13 a factor of -39*(-14)/i*-3?
True
Suppose -5*m + 21089 = 3*s, m + 1183 - 5384 = 5*s. Does 31 divide m?
True
Suppose 8*c + 116 = 92. Is 2 a factor of (-1)/(-3)*15 - c?
True
Let v = -14206 + 22946. Does 23 divide v?
True
Let n be 422/6 - -5*(-1)/15. Let i = n + -25. Suppose -4*d - 5*w = -i, 3*d + 3*w = -w + 34. Does 10 divide d?
True
Let g be -2 + (-4*9/(-12) - -1). Suppose i = -u - 23, -3*i + g*u - 12 - 32 = 0. Does 42 divide (i/(-8))/(45/(-30))*-56?
True
Suppose -75 = -3*c + 60. Suppose -w - c = -a + 14, 3*w = 2*a - 118. Suppose -853 - a = -3*j. Does 38 divide j?
True
Suppose 7054 + 2406 = 4*l + 4*t, -t = 3*l - 7085. Is 59 a factor of l?
True
Let v = -515 - -654. Suppose -137*u - 492 = -v*u. Is u a multiple of 11?
False
Let u = 8255 - 12771. Is 5 a factor of u/(-32) + 4/(-32)?
False
Suppose -4*y + y = 4*o - 486, -4*o - 4*y + 488 = 0. Is ((-516)/(-5))/(396/o + -3) a multiple of 79?
False
Let w(u) = -3384*u - 3368. Is 52 a factor of w(-8)?
False
Let t be (-2 - -9) + 1 - -3. Suppose -t = -2*a + 35. Suppose -4*z - 24 = -5*h + 28, -h = -5*z - a. Is 8 a factor of h?
True
Let s(p) = p**3 - 7*p**2 - 4*p + 21. Let f be s(6). Let w = 29 - 13. Let l = w - f. Is 7 a factor of l?
False
Suppose 5*a = -2*q - 190, 4*q = -0*a - 2*a - 364. Let d be 201 + (-18)/6 + 0. Let m = d + q. Is 12 a factor of m?
True
Suppose -36*l - 39*l + 28*l + 518692 = 0. Is l a multiple of 137?
False
Is -11 - (-4 - -8 - 18891) a multiple of 11?
True
Let n(p) = -2*p - 20. Let r be n(-10). Let s(m) = 3*m + 6 + r + 0. Is 3 a factor of s(6)?
True
Suppose -401 + 1625 = 18*k. Suppose -u - 1135 = -4*a, -5*u = a - 221 - k. Does 9 divide a?
False
Suppose f - 3*c - 415 = 0, 5*c = 3*f - 67 - 1198. Suppose 3*x + f = 2*y, -3*y + 644 = x - 6*x. Does 12 divide y?
False
Suppose 207*v - 107*v - 678810 = 78*v. Does 15 divide v?
True
Let b be ((-18)/6 - -2)*210. Let r = 325 - b. Is r a multiple of 53?
False
Suppose -106*o - 443354 = 172*o - 1961234. Is o a multiple of 26?
True
Let y = -4514 - -4927. Is 7 a factor of y?
True
Suppose -4*x = 2*o + 20, -4*o = -x - o - 12. Is (x/9)/((-9)/(36207/6)) a multiple of 42?
False
Let i be (4/3)/4 + 406/6. Suppose -4*p + 924 + i = 0. Does 62 divide p?
True
Is 8 a factor of 651/1 + 8 + (-6 - -3)?
True
Let b(t) = 7*t**3 + 17*t**2 - 24*t + 6. Let d(g) = g**3 + g**2 - 2*g. Let m(n) = b(n) - 6*d(n). Is 6 a factor of m(-11)?
True
Suppose -54*y = -16*y - 37620. Let h = y - 157. Does 17 divide h?
True
Let q be 4/6 - 686/(-42). Suppose -18*m + 216 = -q*m. Suppose -m = -7*x + 4*x. Is 18 a factor of x?
True
Let r be -1*3/(-4) + 4961/484. Suppose 14*d = r*d + 162. Is d a multiple of 8?
False
Let n(q) = q**3 + 3*q**2 - 3*q + 10. Let t be n(0). Does 16 divide (t/75*144)/(4/50)?
True
Let g(j) = -j**3 + 11*j**2 + 15*j - 7. Let z(n) = -3*n - 2. Let r be z(-5). Let v be g(r). Is 10 a factor of v/12*-8*1?
True
Suppose -40*l - 3*z = -42*l + 10165, l = -5*z + 5115. Does 52 divide l?
False
Suppose -5*a - 30741 = -4*u, -3*u + 2*u - a = -7692. Is 7 a factor of u?
False
Suppose 1011 = x - 3*r, -2*r = -20*x + 24*x - 4142. Is 24 a factor of x?
True
Let l(r) = -r**2 + 7*r + 4. Let u be l(8). Let z(b) = -2*b**3 - 6*b**2 - b - 2. Let m be z(u). Suppose y - 5*v = -0*y + 10, -m = -y - v. Is y a multiple of 18?
False
Let m(l) = 47*l**2 - 42*l - 402. Let q(c) = 24*c**2 - 20*c - 201. Let t(a) = 3*m(a) - 5*q(a). Does 19 divide t(-6)?
False
Let n = 10414 - 4906. Is n a multiple of 162?
True
Let c = 11147 + -6955. Is 32 a factor of c?
True
Let g = 55035 + -38895. Is 20 a factor of g?
True
Let s = 276 + -271. Suppose 0*i + 5*i - 5*x - 450 = 0, -280 = -3*i + s*x. Is i a multiple of 5?
True
Suppose 3*n - 298 = -0*n - 5*u, -n + 81 = -2*u. Let b = 141 - 190. Let x = n + b. Is 21 a factor of x?
True
Let w(h) = 165*h - 4296. Is w(40) a multiple of 64?
True
Suppose 21*b - 21*b = 38*b. Suppose -3*u + 8 = -s, -s = 2*u + 4*s - 11. Suppose -3*g - 3*x + 303 = b, 0 = 4*g + g - u*x - 513. Is g a multiple of 18?
False
Suppose 7*z = 6*z + 40. Let h = -39 + z. Suppose -3*d - 11 - h = 0, -5*d = -5*w + 425. Is 27 a factor of w?
True
Let f = 47 - 67. Let r be 4/f - 33/(-15). Suppose -v - 4 = 0, 4*g = -v - r*v + 20. Is 4 a factor of g?
True
Let d(g) = -49 + g**2 + 127 - g**3 + g**3 - 63 + 6*g + 2*g**3. Does 14 divide d(6)?
False
Suppose -m = 3*x + x - 12, -3*x - 10 = -4*m. Let s be 5/x*(-60)/(-50). Suppose -4*d - 7 - 4 = -s*b, -d + 4 = 0. Is 9 a factor of b?
True
Let a(w) = 74*w**2 - 12*w - 23. Is 11 a factor of a(-2)?
True
Let w(r) = 12*r - 6. Let u(f) = f**2 + 59*f - 31. Let p(l) = -l**2 + l - 2. Let i be p(5). Let n(d) = i*w(d) + 4*u(d). Does 12 divide n(12)?
False
Let m = 14459 - 9815. Is m a multiple of 12?
True
Suppose 26376 = 438*n - 410*n. Is n a multiple of 6?
True
Let x(w) = -6*w - 54. Let v be x(-9). Suppose -2*z - p + 2*p + 15 = v, z - 2*p - 6 = 0. Suppose z*i - 6*i - 180 = 0. Is 3 a factor of i?
True
Let a = 7849 - -25335. Is 144 a factor of a?
False
Suppose 138*q + 63825 = 161*q. Is q a multiple of 92?
False
Suppose 61 = 3*x + 43. Suppose 4*f - 1126 = -2*v, -2*f - 4*v - 1096 = -x*f. Is 31 a factor of f?
True
Let n = 4004 + 11099. Is n a multiple of 49?
False
Let c = -44 + 49. Suppose -2*p + 3*u = -63, -3*p - 53 = -c*p + 5*u. Suppose 5*l =