es 4 divide a(9)?
True
Suppose 2*d - 30 = 3*d. Suppose -2*x - 116 = j - 6*j, 3*j - 174 = 3*x. Let z = d - x. Is 14 a factor of z?
True
Let t be ((-6)/(-5))/(27/90). Suppose -3*z + 5*b = -288, 4*z = t*b + 289 + 87. Does 11 divide z?
False
Let c(b) = 40*b + 6. Let g(z) = 2*z - 7. Let a be g(5). Does 23 divide c(a)?
False
Let w(n) = 5*n**3 - 4*n**2 - 4*n - 4. Let i be w(-3). Let c = 253 + i. Suppose -t + c = t. Is 15 a factor of t?
True
Let b be 0 - -3*((-40)/(-12))/2. Suppose 2*q + b*t - 198 = -0*q, 5*t = 0. Is q a multiple of 21?
False
Let d = -1003 + 3245. Does 19 divide d?
True
Suppose -3*d = 6, 808 = 5*p - 4*d - 795. Is p a multiple of 11?
True
Suppose -a + 2*a + 3 = 0. Let r be (a - -2)/(7/(-21)). Suppose r*x = o - 44 + 113, 3*o = -3*x + 57. Does 11 divide x?
True
Let d(v) = v**3 - 28*v**2 + 35*v + 24. Is 12 a factor of d(27)?
True
Let n be (-1)/(((-1)/(-51))/(1/3)). Does 26 divide n/((-340)/624)*(-20)/(-6)?
True
Suppose 0 = -4*l - 3*v + 14 + 17, 5*l - 2*v = 10. Suppose 4*k = 4*b - 12, -k + 9 = l*b - 18. Does 6 divide b?
True
Suppose 0 = 5*c - 23*p + 21*p - 168, p = -5*c + 156. Does 4 divide c?
True
Does 20 divide (-3102)/15*5/(-2)?
False
Suppose -2*x + 2764 = -99*p + 103*p, -3*x + 4166 = p. Does 93 divide x?
False
Let y(q) = -1623*q - 767. Is 11 a factor of y(-3)?
False
Suppose 5*f = 3*g + 193, 2 = 4*f - 18. Let r = 171 + g. Suppose 0*m - r = -5*m. Is m a multiple of 19?
False
Suppose 0 = -7*i + 4*i + 9. Suppose 0 = i*y + 2*y - 15. Suppose 2*o + 2*a + 2*a - 124 = 0, -183 = -y*o - 3*a. Is o a multiple of 17?
False
Let x(r) = -2*r - 35. Let z be x(-20). Suppose -z*i + 108 = -i. Does 3 divide i?
True
Is 72 a factor of 77486/29 - 136/(-1972)?
False
Let h be (0 - 4) + (-15)/(-5). Let q = 4 + h. Suppose 4*f - 4*i - 12 = 0, i = -q*f - 3*i + 2. Is f a multiple of 2?
True
Let r(v) = 101*v**3 + v - 1. Let j be r(1). Let w = 66 - j. Let m = w - -53. Is 18 a factor of m?
True
Let s = 69 + -49. Suppose 3*t + 5 = s. Is t even?
False
Let i be (-1)/2*-2 + 190. Let r = i - 48. Does 11 divide r?
True
Let p be ((-4)/10)/(1/215). Let v = 18 + p. Let f = v + 130. Does 20 divide f?
False
Suppose -2*z - 108 = 4*r, 5*r + 135 = -z - 3*z. Let i = r - -15. Let n = i + 20. Does 4 divide n?
True
Let u(a) = 10*a - 1. Let p be u(1). Suppose 5*q = p*q. Suppose -k + 0*k + 16 = q. Is 8 a factor of k?
True
Let r be (-1 + 3 - -14) + -3. Let f = r - 1. Does 6 divide f*-3*(-2)/12?
True
Suppose k - 2*h - 868 + 160 = 0, -5*k + 3540 = -2*h. Is 12 a factor of k?
True
Let p = 547 - 427. Is 11 a factor of p?
False
Let v = 1060 - 983. Is v a multiple of 2?
False
Suppose 2*r + 3*a - 996 = -r, 0 = 4*r + a - 1316. Suppose -v = -5*z + v + r, -4*z + v = -260. Suppose 0 = c - 5*c + z. Does 12 divide c?
False
Let y(x) = x**2 + 1. Let a(q) = -7*q**2 - 15*q - 38. Let c(n) = -a(n) - 6*y(n). Let s be c(-13). Suppose -f + 11 = -s*o + 5*o, -4 = 2*o. Is 3 a factor of f?
True
Let k = 462 + -190. Suppose k = 40*y - 36*y. Does 17 divide y?
True
Let b = -54 + 184. Is b a multiple of 5?
True
Let u = -402 + 638. Let v be 1/3*286 + 1/(-3). Is 23 a factor of 38/v + u/10?
False
Suppose -30634 = 666*v - 700*v. Is 41 a factor of v?
False
Let m(j) = j**3 - j**2. Let v be m(-1). Let k = -4 - v. Let w(b) = -20*b + 1. Is w(k) a multiple of 13?
False
Does 21 divide (-4018)/(-10) + 88/(-110)?
False
Suppose -l - 334 = -5*v, -5*l + 5*v - 1366 = -l. Let o = -866 + l. Does 6 divide o/(-33) - 2/3?
True
Suppose -165 = -3*i - 3*z, 1 + 3 = 4*z. Is 9 a factor of i?
True
Suppose 0 = 3*f + 2*f + 45. Is 16 a factor of (-1)/(f/(-219))*(3 + -6)?
False
Suppose -5*c = 3*o - 2545, -14*o + 1018 = 2*c - 9*o. Is c a multiple of 27?
False
Suppose -14 = -2*t - 2. Let h(i) = -2 + 27*i - t*i - 5*i. Does 30 divide h(2)?
True
Let o(i) = i**3 - 5 - 10*i**2 - 10*i + 18*i + 2*i. Let t be o(9). Suppose t*h + 0*h - 92 = -k, -176 = -2*k - 4*h. Is k a multiple of 28?
True
Suppose -20 = 2*u + 3*u. Let c(q) = q**2 + 4*q. Let h be c(u). Suppose 2*r = 4*b - 0*r - 48, h = -3*r - 6. Does 4 divide b?
False
Let t = -110 - -20. Let x be (-6230)/t + (-2)/9. Suppose 4*g + 0*s = 3*s + x, s - 72 = -5*g. Is g a multiple of 4?
False
Let t(o) = o**2 + 5*o + 14. Suppose 0 = 5*q + 3*n - 27, -4*n - 16 = -4*q - 5*n. Suppose 4*x = -5*u - 14 - 29, q*x + 2*u = -27. Is t(x) a multiple of 13?
False
Let b(l) = 2*l**3 - 7*l**2 + 13*l - 230. Does 30 divide b(10)?
True
Let x(m) = 204*m + 291. Is 9 a factor of x(16)?
True
Suppose 32*x - 23*x - 999 = 0. Is x a multiple of 3?
True
Let s = 328 - 312. Is 8 a factor of s?
True
Let h(n) = 6*n + 6. Let i(z) = -7*z - 6. Let m(y) = -6*h(y) - 5*i(y). Let b be m(-8). Is b/(-13) - (-3804)/52 a multiple of 11?
False
Suppose 4*p - 40 = -0*p. Let h be (-60)/(-25)*p/4. Suppose d = h - 2. Does 2 divide d?
True
Suppose -3*l + 1297 + 1280 = -4*u, 15 = -5*u. Is l a multiple of 9?
True
Let f = -111 + 297. Let t = f - 114. Does 12 divide t?
True
Let u be 8 + -2*(-3)/2. Suppose 0 = -u*f + 8*f - 228. Let b = f - -146. Is b a multiple of 14?
True
Let j be ((-35)/10 + 2)*-4. Suppose -2*r - o + 236 = 0, 0 = -3*r + j*o - 3*o + 363. Is r a multiple of 17?
True
Let j(m) = m**2 - 17*m + 6. Let x be j(-6). Suppose x = 4*b + w + w, 4*w = -5*b + 186. Is 13 a factor of b?
False
Let l(v) = v**3 + 3*v**2 + 2*v + 2. Let i be l(-3). Let p(h) = 9*h - 23. Let n be p(7). Is 14 a factor of 1110/n + (-1)/i?
True
Let p(k) = -k + 2. Let f = 19 + -22. Let o be p(f). Suppose 0*s = 4*t + o*s - 156, -5*s = -4*t + 116. Is t a multiple of 17?
True
Let a = 1926 - -293. Is 72 a factor of a?
False
Let o be (-2 - 1)/((-12)/16). Suppose 0 = -l + 2*k + 108, -o*l + 5*l - 108 = k. Is 28 a factor of l?
False
Suppose 3*g = 4*s - 2*g - 10, 6 = 4*s - 3*g. Suppose s*i + 33 = -3*i. Let a = i + 20. Is 9 a factor of a?
True
Let w be (-1215)/(-18)*(-16)/(-6). Let s = 310 - w. Does 22 divide s?
False
Suppose 4*k + 5*z = 7, 2*k + 1 + 0 = -z. Let j(d) = 2*d**3 + 2*d**2. Let y be j(k). Is (y/(-10))/(2/15) a multiple of 2?
True
Suppose -5*f = 0, -2*f = 3*p - p - 12. Let t be 0 + (-11)/(11/p). Is (-1990)/(-30) + 2/t a multiple of 7?
False
Let h(w) = 13*w - 36. Let o be h(9). Suppose -4*j + o = 3*l, 108 = 3*l + l + 2*j. Does 3 divide l?
True
Let t = -33 - -63. Let o = t - 25. Suppose 2*s = -o*w + 56 + 139, -3*s = -5*w + 170. Is w a multiple of 34?
False
Let a(d) = -d**2 + 6*d - 3. Let s be a(5). Let w = -79 + 114. Is ((-40)/w)/(s/(-7)) even?
True
Suppose -1160 = -7*s - 1090. Is 5 a factor of s?
True
Suppose -5*r = 5*a - 20, 5*r - 4*a - 4 = 52. Does 5 divide r?
False
Let q = -8 - -10. Suppose 10 = -2*o + 2*n, -4*o - 6*n = -q*n - 12. Is 12/o*(-14)/21 even?
True
Let a be 6 + ((-20)/5 - -1). Let y be 1*(a - 28/4). Is 10 a factor of y + 260/5 - -1?
False
Suppose 3*m + 176 = -2*q + q, -4*q - 44 = m. Let g = m - -135. Is g a multiple of 31?
False
Let c = -64 + 66. Is 5 a factor of ((-744)/36)/(c/(-3))?
False
Suppose l - 408 = -0*l. Suppose -14*z = -11*z - l. Is z a multiple of 17?
True
Let j(g) = -g**3 - 18*g + 394. Is 7 a factor of j(0)?
False
Let r = 118 + -65. Is 9 a factor of (1 + r)*(-30)/(-20)?
True
Suppose 3*m = -5*k + 2*m + 11, -2*k + 6 = 2*m. Suppose -5*v + 10 = 0, -3*j - k*j = v - 167. Is j a multiple of 11?
True
Suppose 2*l - l = -381. Let d = -181 - l. Is d a multiple of 50?
True
Suppose -38*m - 150 = -44*m. Does 5 divide m?
True
Let k be 8/2 - (7 - 9). Let w = k + -22. Let b(v) = -4*v - 20. Is b(w) a multiple of 11?
True
Suppose 3 = 5*k - 2. Let s = 3 - k. Let j = 18 - s. Does 8 divide j?
True
Let c = 11 + -3. Let d be (0 - -1 - c) + 0. Is 12 a factor of (8/(-6))/(d/126)?
True
Suppose 5*k - 2*k + 18 = -3*b, -4*k - 17 = -3*b. Let p be (b + 0)*44/(-4). Suppose p*z - 15*z + 72 = 0. Does 5 divide z?
False
Let t(y) = y**3 + 17. Let a be t(0). Let c = 57 - a. Suppose -2*q + c = -0*q. Is 7 a factor of q?
False
Suppose -4*o + 2152 - 792 = 0. Is 17 a factor of o?
True
Let v(q) = -q**3 + 6*q**2 + 10*q - 7. Let z be v(7). Let u = z + -12. Suppose u*f = -f + 21. Is 5 a factor of f?
False
Suppose -5*h = 3*x - 3883, x = 3*h - 2*x - 2325. Suppose 7*g - h - 386 = 0. Suppose 3*p + g = 2*a, -116 - 133 = -3*a - p. Is a a multiple of 26?
False
Let c = 51 + -131. Is c/(-3) - (-2)/6 a multiple of 21?
False
Let j = -255 + 279. Is j a multiple of 24?
True
Let c(k) = -9*k**3 - 4*k**2 + 18*k + 9. Is c(-7) a multipl