f = -324 - -503. Let z = -101 + f. Is z a multiple of 22?
False
Suppose -4*d = q - 698, 3*q + 2*d - 2150 = 4*d. Does 14 divide q?
True
Let a = -9 + 16. Let i = -3 + a. Suppose 4*k + f - 73 = 0, -i*f + 9 + 31 = 2*k. Does 9 divide k?
True
Suppose -3*a = 2*u - 69, 0*a + 5*a = -25. Suppose 0 = -5*p + t - 3*t + 187, 3*p = -3*t + 114. Suppose -34*y = -p*y + u. Is 14 a factor of y?
True
Let y(h) = h**2 + 4*h - 4. Suppose 7*m - 8*m = 4. Let w be y(m). Let d = 60 + w. Does 15 divide d?
False
Let o = 4 + 6. Suppose y - 28 = 4*a, 3*y - 2*a = -0*y + 64. Let c = y + o. Is 10 a factor of c?
True
Suppose 4*q = 3*p + 2409, 5*q - 1021 = -5*p + 1964. Suppose 0 = -4*i - 3*n + q, i - 769 = -4*i + n. Is i a multiple of 9?
True
Let r(s) = 5*s**2 - 4*s + 1. Let v be r(3). Let p = v - 24. Does 10 divide p?
True
Suppose -2624 = -20*k + 4*k. Does 4 divide k?
True
Suppose -2 = -5*p + 5*l - 12, 2*p = -l + 8. Suppose p*f - 628 = -2*q - 2*q, 0 = -3*f. Does 37 divide q?
False
Does 3 divide -5 - (0 - (0 - -99 - 1))?
True
Let a = -7 + 0. Does 8 divide 7/(a/171)*8/(-12)?
False
Suppose -2*c - x = -661, -4*c - 2*x = -5*x - 1297. Suppose -7*m + 330 = -c. Does 21 divide m?
False
Let w(c) = 116*c + 4. Does 16 divide w(3)?
True
Suppose 4*b = 2*i - i + 106, -4*b - 3*i + 98 = 0. Is 4 a factor of b?
False
Suppose 66*h - 10422 = 48*h. Does 17 divide h?
False
Is 2*260/(-8)*-27 a multiple of 12?
False
Let x(p) = -p**3 - p**2 - p + 46. Suppose 0 = -d - 5*d. Is x(d) a multiple of 20?
False
Let z = 5 - 5. Suppose 3*o + o = z. Suppose -b + 3 = o, -2*b - 202 = -y - y. Is y a multiple of 26?
True
Let j(f) = -11*f + 61*f - 1214 + 1208 + 45*f. Is j(1) a multiple of 17?
False
Let f(r) = 3*r**2 + 4*r + 1604. Is f(0) a multiple of 20?
False
Let m(u) = 19*u**3 + 2*u**2 - 2*u + 3. Let l(v) = -v**3 - v + 1. Let o(p) = 3*l(p) - m(p). Is 13 a factor of o(-1)?
False
Let p = -19 + 23. Suppose -2*y = -p*y - 8. Is ((-134)/3)/(y/6) a multiple of 13?
False
Let n = -881 - -1286. Suppose -2*f - 4*g + 222 = 0, -4*f - 4*g + n = -9*g. Is f a multiple of 21?
True
Suppose 2*g = 5*x, g + 3*x = 4*g - 9. Suppose g*s = 9*s + 5*f - 637, -4*f = -20. Is 17 a factor of s?
True
Let b be -1 + 1 + 5 + 4/4. Let m(l) = 2*l - 6. Does 4 divide m(b)?
False
Suppose -6*l + 4*d = -4*l + 100, 2*l = -5*d - 55. Suppose 0 = 5*h + 5*k - 0*k - 335, 0 = h + 2*k - 70. Let t = l + h. Is t a multiple of 6?
True
Let z = 188 - 138. Is 9 a factor of z?
False
Suppose -78*g + 76*g + 3446 = 4*r, 3*g - 2*r = 5177. Does 25 divide g?
True
Let r be (51/(-4))/((-1)/(-4)). Let k = r + 104. Does 17 divide k?
False
Is ((-21)/(-4))/((-52)/(-3328)) a multiple of 28?
True
Suppose 3 = -u, 3*a = -51*u + 50*u + 408. Is a a multiple of 6?
False
Let r(c) = -c**3 + 5*c**2 + 3*c + 2. Let g be r(4). Let q be 16/120 + 236/g. Suppose 2*p + 5*u - 5 = 0, -u + 5*u = -2*p + q. Is p a multiple of 7?
False
Suppose -2*a - 10*p + 1328 = -14*p, -1312 = -2*a - 4*p. Is 20 a factor of a?
True
Let f be ((-2)/3)/((-2)/(-393)). Let c = f - -222. Does 7 divide c?
True
Let x be (75/(-4))/(1/4). Suppose 1452 = -17*a - 1047. Let c = x - a. Is c a multiple of 24?
True
Let l = -11 - -15. Suppose -63 = -l*t + 233. Does 11 divide t?
False
Suppose 8*z - 5*z + v - 170 = 0, -169 = -3*z - 2*v. Does 9 divide z?
False
Is 5 a factor of (-10)/65 + 84/39 - -348?
True
Is 6 a factor of (5 - (-4 + 6)) + 83?
False
Suppose 145 = x - 3*t, 12*x - 2*t + 150 = 13*x. Does 22 divide x?
False
Suppose -3*y + 16 = y. Suppose 251 = y*b - 341. Is 33 a factor of b?
False
Suppose 255 = -2*u - 4*g + 321, u - g = 33. Is 5 a factor of u?
False
Suppose 4*c + a = -4*a + 186, -5*c + 235 = 5*a. Suppose -3*g + 87 = -5*k - 6*g, -k + 5*g + 5 = 0. Let j = c + k. Is j a multiple of 11?
False
Let j(k) = -k**3 - 2*k**2 - k - 2. Let o be j(-2). Suppose -l + 4*l + 15 = o. Does 25 divide 18/45 - 388/l?
False
Suppose 0 = -6*z + z - 675. Let m = 385 + z. Does 25 divide m?
True
Let z be 2/(-8) - 808/(-32). Suppose 0 = r - 5 - z. Does 15 divide r?
True
Let g(i) = i + 10. Let q = -47 + 43. Is 6 a factor of g(q)?
True
Let v be (-70 + 0)*2/(-5). Suppose 0 = -10*k + 168 - v. Is k a multiple of 3?
False
Let y(w) = -w**3 - 18*w**2 - 32*w + 40. Is y(-18) a multiple of 22?
True
Let o = 134 + -44. Suppose 36 + o = 3*k. Is k a multiple of 14?
True
Suppose 0 = -2*b + 3*b - 16. Suppose 5*p = 3*p + b. Suppose 0 = 3*d - p - 22. Does 3 divide d?
False
Let x = 6 - 40. Suppose -3*r + 146 = -2*b, -3*b = 2*r - 4*b - 99. Let p = r + x. Does 9 divide p?
True
Let c = 103 + -13. Suppose -2*v = v + 4*l - c, -4*l = -2*v + 60. Is 20 a factor of (v/(-4))/(21/(-112))?
True
Let k = -7 - -8. Suppose 3*j + 3 = 4*x, 3*x - 8*x = -j - k. Suppose s + s - 25 = -l, x = 2*l + 5*s - 53. Is 8 a factor of l?
False
Let g = 44 + -37. Suppose -3*n + 9 = -0*n. Suppose n*j - 79 = -g. Is 6 a factor of j?
True
Let x be 217 - (-4 + (-2)/(-2)). Suppose 4*v - 32 = x. Does 21 divide v?
True
Suppose 0 = u + 22*u - 1380. Is 15 a factor of u?
True
Suppose 10*v - 9*v - 4 = 0. Suppose 2*m = -3 - 3, 3*h - 255 = -v*m. Suppose 4 = -2*q - 2*q, 3*u = -4*q + h. Does 13 divide u?
False
Let j = 110 - 97. Suppose j*d = -0*d + 1859. Is 10 a factor of d?
False
Let c be 5*3*(-48)/36. Is 4 a factor of (-3)/15 + (-1444)/c?
True
Let r = -12 - -12. Suppose 3*a + r*i = i, -a = -i. Does 8 divide (0 - -30)*(1 - a)?
False
Suppose 2*k + 5*x + 14 = 0, 0*x = -2*k - x - 6. Let n be -3 - (-7 + 3) - k. Is 11 a factor of -55*((-65)/(-25) - n)?
True
Suppose 0 = -47*j + 6*j + 15539. Does 12 divide j?
False
Let m(z) = -224*z - 254. Is m(-3) a multiple of 11?
True
Does 51 divide (0 - 3060/8)/(6/(-8))?
True
Suppose 9 = -2*u + 3. Is 30 + (0 + -4 - u) a multiple of 15?
False
Suppose 0 = -7*k + 30606 + 7509. Is 121 a factor of k?
True
Suppose -10*j - 9*j + 7866 = 0. Is 2 a factor of j?
True
Suppose 5*d = 3*k - 6 - 3, -4*k + 3*d + 23 = 0. Let p(t) = -t. Let z be p(-3). Suppose 2*r = k, -2*g - r - 41 = -z*g. Does 9 divide g?
True
Suppose -2*q - 52 = d, -2*q = 2*d + 34 + 22. Is 19 a factor of (32/q)/(4/(-114))?
True
Let s be (-2)/8 - (-2159)/(-68). Let z = 23 + s. Is 832/18 + 2/z a multiple of 17?
False
Let i be (-288)/(-20) - (-4)/(-10). Let p be (-8)/(-56) - (-166)/i. Suppose 3*j = p, 61 = 3*s + 2*j + 5. Is 3 a factor of s?
False
Let h = 26 + -50. Let i(a) = -a**2 - 28*a + 15. Is 29 a factor of i(h)?
False
Let o(x) = -7*x + 20. Suppose -4*f + 11*f + 77 = 0. Is 34 a factor of o(f)?
False
Let s(r) = 312*r**2. Let a be s(-1). Suppose -71 = x + a. Is 5 a factor of (-12)/(-66) - x/11?
True
Let s = 54 + -83. Is s*(5 + -7 + -5) a multiple of 12?
False
Let r(j) = 9*j**2 + 7*j - 5. Let h be r(5). Suppose 17*y - h = 12*y. Does 17 divide y?
True
Let g = -514 + 262. Is 20 a factor of (-35)/(-2)*g/(-45)?
False
Let r = 42 + 135. Let c = 50 + -149. Let d = r + c. Is 13 a factor of d?
True
Let m be -3 + 23 + 1/(-1). Let k = m - 18. Suppose -k + 61 = 2*f. Is 10 a factor of f?
True
Let s(f) = f**2 + 8*f - 2. Let p be s(-4). Let t = p - -42. Is 8 a factor of t?
True
Let o = 60 - -60. Is o a multiple of 20?
True
Let h(p) = -p**2 - p + 4. Let m be h(5). Suppose -11*q + 10*q = 18. Let i = q - m. Does 3 divide i?
False
Suppose -1 = 2*z + 7, 1722 = 5*o - 3*z. Is o a multiple of 38?
True
Suppose 0 = 5*v - l - 17, -4*v - v + 8 = -4*l. Let g(d) = -2*d - 9. Let k be g(-6). Suppose -2*j = k*j + 15, 4*j = -v*i + 8. Is i even?
False
Let a(v) = -2*v**3 - 6*v + 3. Let o be 4 + (-8 - (0 + 0)). Is 10 a factor of a(o)?
False
Suppose -541 = -3*m - 4*g + 294, -2*m - 5*g + 552 = 0. Let t be (-10)/(-3)*3/2. Suppose m = t*q + 91. Is q a multiple of 23?
False
Suppose 0 = 5*t + z - 16, 0*t - 2*z = 5*t - 12. Suppose -t*y + 0*y = -88. Does 11 divide y?
True
Let n = 110 + 46. Is 26 a factor of n?
True
Suppose -945 = 8*d - 3*d. Let j = d - -273. Is 28 a factor of j?
True
Let c be -168 - (-2)/(-4)*4. Let n(w) = 6*w - 47. Let s be n(9). Is 12 a factor of (-6)/21 - c/s?
True
Let y(l) = -l**2 - 5*l - 1. Let n be y(-5). Let k be 6 - (n/1 - -1). Suppose -284 = -4*g + 4*w, -k*g + 3*g + w = -203. Is g a multiple of 22?
True
Let q = -3 - -7. Suppose y + 3*b - 78 = -17, 0 = -q*y + 4*b + 324. Does 38 divide y?
True
Let i = 3155 - 1504. Does 35 divide i?
False
Let y be ((-36)/15)/((-159)/30 + 5). Suppose -11*u - y + 228 = 0. Does 3 divide u?
False
Let v(n) = -n**3 + 4*n**2 - 4*n + 5. L