 - -7. Is o a multiple of 6?
False
Let y(q) = q**3. Let w be y(1). Let f be 2/(4/(-3))*(79 + -81). Is 21 a factor of w*(57 - (1 - f))?
False
Suppose 2*z - 7 = -3. Is 4 a factor of -2 + 42 + -6 + z?
True
Let o be (4/5)/((-9)/(-2025)). Let w = -96 + o. Is 28 a factor of w?
True
Let j be (-7)/((-35)/15) - -1. Is j/(-6)*-6 + 4*12 a multiple of 52?
True
Let i(o) = -o**2 + 7*o + 6. Let z be i(-11). Let d = -76 - z. Does 19 divide d?
False
Let c(p) = 8*p**2 - 74*p - 53. Is c(22) a multiple of 8?
False
Let k(m) = 6*m**2 + 2 + 2 - m**3 - 7*m**2. Let l be k(2). Is 8 a factor of (6/10)/(l/(-520))?
False
Suppose 0 = -16*n + 10*n + 330. Does 4 divide n?
False
Suppose -1230 = -6*k - 0*k. Is k a multiple of 3?
False
Let u(n) = -49*n - 1. Suppose i + 18 = 4*i - 3*x, x + 14 = 5*i. Suppose 4 = 4*o, -i*b + 5*o - 6 = o. Does 16 divide u(b)?
True
Suppose 4*j = -0*h + 2*h + 24, 5*j - 31 = 3*h. Let m(l) = l**2 - 5*l + 6. Let p be m(j). Let i(u) = u**2 - 4*u - 5. Does 7 divide i(p)?
True
Suppose 656 = 4*k + 4*t, -5*k = -5*t - 378 - 402. Is 5 a factor of k?
True
Suppose -11495 = -5*b + 5*r, 3013 - 716 = b - 3*r. Is b a multiple of 48?
False
Let g = 5 - 5. Let y be 33/11 - (-3)/((-3)/(-113)). Suppose -5*n + y + 104 = g. Is 22 a factor of n?
True
Let k be 136/(-10) - 2/5. Let n = 0 - k. Suppose n = h + z - 3*z, -z + 65 = 4*h. Is 4 a factor of h?
True
Let b(t) = t**3 - 14*t**2 + 5*t + 26. Let a be (15/30)/(-2*1/(-56)). Is 12 a factor of b(a)?
True
Suppose 3*k = -6*p + 5*p + 270, 0 = -2*k - 8. Is p a multiple of 47?
True
Suppose 2*w - w - d = 206, -2*w = d - 406. Does 4 divide w?
True
Let y(s) = s**3 + 2*s**2 - s + 9. Let z be y(0). Suppose -5*r = -6*r - z. Let n = -5 - r. Is n a multiple of 4?
True
Suppose -2*z - 5*q - 2980 = 0, q = -3*z + 2*z - 1487. Is 41 a factor of (-1)/2 + z/(-18)?
True
Let h = 75 + 552. Is h a multiple of 30?
False
Suppose 1692 = 983*i - 982*i. Does 59 divide i?
False
Let k(x) = -x**3 + 13*x**2 + 6*x - 10. Is k(-5) a multiple of 14?
False
Let i be (-14)/8 + (-5)/20. Is 25 a factor of (64 + 1)*(-2)/i?
False
Suppose 2*p = 7*p + 355. Let i be (-12)/(-66) - (-387)/(-11). Let n = i - p. Is n a multiple of 12?
True
Let u = -29 - -32. Suppose -5*p + 110 = 5*o, 3*o - u*p - 69 = 27. Is o a multiple of 27?
True
Let a(r) = 3*r + 7. Let w be a(-10). Is 3 a factor of (-4)/(-16) + w/(-4)?
True
Suppose 54 = -k + 117. Is 9 a factor of k?
True
Suppose -2*f = -2*w, -2*w = f - 0*f + 15. Is ((-38)/(-4))/(w/(1*-10)) a multiple of 11?
False
Suppose 51 = -4*j - 4*i + 791, 0 = -2*j + 4*i + 340. Is j a multiple of 60?
True
Let x = 74 + -70. Suppose 70 = 3*r + x*r. Is 10 a factor of r?
True
Let i be (-80)/6*(-24)/20. Suppose 0 = 4*h + i, 3*h = -y + h + 71. Suppose -y - 101 = -3*n. Does 16 divide n?
False
Suppose 0 = 3*w + 5*n - 174, -116 = -2*w - 0*w - 5*n. Suppose -2*x - w = -2*r + x, -x = 3*r - 109. Is r a multiple of 8?
False
Suppose 20*f - 53298 = -22*f. Does 47 divide f?
True
Let i be 2/(-3)*45/6. Let n = 7 + i. Suppose 3*z - 5*o - 180 = 0, -7*z - n*o = -3*z - 214. Is z a multiple of 11?
True
Let q(w) = w**3 - 7*w**2 - 4*w. Let o be q(8). Let p = o - 18. Does 14 divide p?
True
Let l(u) = 6*u - 9. Let m be l(-6). Let o = m + 129. Is 14 a factor of o?
True
Let h = -8 - -10. Suppose -13 = h*i + 23. Let k = 42 + i. Does 5 divide k?
False
Suppose -22*j = -9*j - 19227. Does 16 divide j?
False
Is 23 a factor of -1 + (-19138)/(-28) - 6/(-4)?
False
Is 57 a factor of 18207/11 - (-72)/(-396)?
False
Does 12 divide 240/(-56)*(1 + -8)?
False
Let w(q) = -4*q**3 - 5*q**2 + 6*q + 24. Is 28 a factor of w(-5)?
False
Suppose 55 = 6*o + 5*o. Suppose -t + 346 - 12 = 3*a, -5*a + 3*t = -538. Suppose -o*v + a = -0*v. Is 20 a factor of v?
False
Let j = -19 - -24. Suppose -3 = 2*s - 1, -j*q = 3*s - 87. Is q a multiple of 13?
False
Let s = -75 - -74. Is 27 a factor of ((-18)/7)/(1/(s + -83))?
True
Suppose 0 = -2*r - 4*b + 900, 0*b - 2*b = -3*r + 1358. Suppose -27 + r = 5*n. Suppose 4*o + n = 5*y + 18, -o - 58 = -4*y. Is 15 a factor of y?
True
Let i = 385 + 44. Is i a multiple of 6?
False
Suppose -8*d = -3*d - 3955. Let f = d + -490. Suppose -5*m - 46 = -f. Is m a multiple of 22?
False
Let m(d) = 7*d + 462. Is 33 a factor of m(0)?
True
Let s(n) be the first derivative of 14*n**2 + 76*n + 34. Is s(7) a multiple of 16?
True
Let q = -73 - -15. Let p = q - -62. Is p even?
True
Suppose 0 = 9*b - 10*b - 388. Let m be (2/6)/((-3)/(-9)). Is b*(20/(-16) + m) a multiple of 16?
False
Suppose -7*a + 3*a - 12 = 0. Let u be ((-6)/a - 1)*2. Suppose 5*q + 4*y - 92 = 0, 5*q + u*y + 27 = 113. Does 7 divide q?
False
Let b(q) = 2*q**2 + 25*q + 39. Let z(a) = a**2 + a + 1. Let w(p) = -b(p) + 3*z(p). Is 5 a factor of w(24)?
False
Suppose -7*s + 23 = -33. Suppose 714 = s*h - 294. Is h a multiple of 42?
True
Let k = -29 - -31. Suppose 5*c = k*c + 165. Is 11 a factor of c?
True
Let q(f) = 2*f**2 + f + 2. Let k(j) = j + 1. Let a be k(-9). Let v be q(a). Suppose 3*y - 5*y = -v. Does 14 divide y?
False
Let h(b) = 2*b**2 - 20*b + 12. Does 51 divide h(-23)?
True
Is 36 a factor of ((-63)/(-12) + 2)/(5/340)?
False
Suppose -11*u - 360 = -5*u. Is (-15)/(-4) + 3*(-5)/u a multiple of 2?
True
Let v(k) be the third derivative of -k**6/120 + k**5/12 + k**4/12 + k**3/6 - 3*k**2. Let q be v(5). Suppose 0 = -2*r + 3*r - 1, q = a + 3*r. Is 2 a factor of a?
True
Let s(b) = 2*b**3 + b**2 - b - 1. Let n be s(3). Let g = 80 - n. Does 6 divide g?
False
Is 15 a factor of 7419/(-6)*1*-2?
False
Suppose -16*x + 27*x - 1122 = 0. Does 17 divide x?
True
Let f(y) = 8*y + 2. Is f(8) a multiple of 3?
True
Suppose 15*u = 9*u + 30. Suppose -j + 124 = 3*j + u*d, 0 = 3*j + 3*d - 96. Is 36 a factor of j?
True
Let c = 40 - 50. Let u = 0 - c. Is 10 a factor of u?
True
Let z = -519 + 931. Is z a multiple of 11?
False
Let n be (42/(-2))/((-6)/62). Suppose -8*s = -s - n. Does 18 divide s?
False
Is 5 a factor of (31 - 7)*15 + 0?
True
Suppose -29*p + 87*p = 121394. Is 62 a factor of p?
False
Is 37 a factor of 1223 + -4 + 1 + 1?
True
Let w(d) = d**2 + 8*d + 5. Let b be 5 + -3 + 0 + -9. Let k be w(b). Does 9 divide 0 + (-40)/k + -2?
True
Let h(a) = -20*a. Let y(b) = 41*b + 1. Let g(v) = -5*h(v) - 2*y(v). Let m be g(1). Suppose -d + 9 + m = 0. Does 7 divide d?
False
Let m = -62 + 276. Is m a multiple of 16?
False
Let i = 1 - -125. Let j be (-2 - 24/(-9))*i. Suppose -j = -2*t - 0*t. Is t a multiple of 14?
True
Suppose 0 = -3*z + 10 + 32. Let j(s) = -11 + 7*s - 4*s + 14 - 27. Is 9 a factor of j(z)?
True
Let f be (-2)/5 - 21/35. Does 10 divide 4*f + 12 + 2?
True
Let m(n) = 37*n - 162. Does 3 divide m(6)?
True
Is 21 a factor of (-583383)/(-695) + (-6)/(-10)?
True
Suppose -4*m = -2*g + 1888, 15*g - m = 10*g + 4738. Is 13 a factor of g?
False
Suppose 4*y - 40 = -i + 5*i, 3*y = 2*i + 20. Let p(m) = 3*m**2 + 19*m - 16. Is 6 a factor of p(i)?
False
Let a be (0 + (2 - 5))*1. Let x be a/12 - 578/(-8). Is -1 + (-2)/(-3)*x a multiple of 12?
False
Suppose -10 = 6*w + 8. Is 24 a factor of ((-2300)/w)/10 - (-4)/(-6)?
False
Let a(n) = -2*n**3 + 16*n**2 + 22*n + 9. Let x be a(9). Let q = 11 + 13. Let g = x - q. Is 7 a factor of g?
True
Suppose -1053 = -3*r + 5*n, -45*r - 343 = -46*r - n. Does 5 divide r?
False
Suppose -j + 164 - 41 = -3*v, 239 = 2*j + v. Suppose 44*r - j = 42*r. Is r a multiple of 20?
True
Let h be (-4)/(-5)*5/(-1). Let v be (-1)/h + (-700)/(-16). Suppose v = 3*m - 181. Is m a multiple of 20?
False
Let m(y) = -y**3 - y**2 + 6*y + 1. Let f be m(-4). Let o = f + 145. Is 16 a factor of o?
False
Let k = 1725 - 728. Does 17 divide k?
False
Suppose 10*w = 2*w + 3688. Is w a multiple of 4?
False
Let s be 4/14 - 24/42*-10. Suppose -812 = -s*r - r. Does 18 divide r?
False
Let g be (-3 - 256/(-44)) + (-2)/(-11). Suppose -2*v + g*c = -648, c + c = 8. Is 39 a factor of v?
False
Suppose -5*z + 4 - 589 = 0. Let f = -35 - z. Does 41 divide f?
True
Suppose 0*g - 4*g + 704 = 0. Let k = -88 + g. Is 30 a factor of k?
False
Suppose 94*k - 154*k + 41760 = 0. Does 24 divide k?
True
Suppose -6 = -9*a + 6*a. Suppose -2*c + 6 + 2 = 0, -a*c = 3*g - 284. Let u = g - 61. Is u a multiple of 8?
False
Suppose -8*f + 11*f = -4*k + 1282, -3*f + k + 1307 = 0. Does 6 divide f?
False
Let c = 2184 - -475. Does 13 divide c?
False
Let i be 35/14*(84 - 0/(-2)). Let a = i - 23. Does 11 divide a?
True
Supp