= f. Is 37 a factor of o?
True
Let v(l) = -18*l + 270. Is v(0) a multiple of 18?
True
Let i(f) = f**3 + 2*f**2 + f - 23. Let j be i(0). Let d(t) = t**2 + 15*t + 16. Does 50 divide d(j)?
True
Suppose 4*j + 6 = -h, 14 = 4*h - 2*j - j. Suppose -2*m - h*k + k = -37, -k = -2*m + 35. Does 3 divide m?
True
Let d(l) = -4*l + 1. Let g = -18 - -13. Let k(r) = r**3 + 6*r**2 + 6*r + 3. Let c be k(g). Does 9 divide d(c)?
True
Let y(f) = f**3 - 6*f**2 + 3. Let n be y(6). Suppose -2*i = -5*r - 34, -5*i + r = n*r - 143. Does 27 divide i?
True
Let w(v) = 4*v - 16. Suppose 28 = 2*g - 2. Is 11 a factor of w(g)?
True
Let v = 1065 - 1034. Is 2 a factor of v?
False
Suppose -4*w = h + 152 - 441, 2*w - 3*h - 155 = 0. Is 15 a factor of (w/(-3) - 3)/(5/(-15))?
False
Suppose -z = -8 + 4. Suppose 0 = z*g + 2*g - 606. Does 9 divide g?
False
Suppose 4*o = 9*o - 30. Let v = -12 + o. Is (-1 - 0)/(v/192) a multiple of 12?
False
Is ((-111)/9 - 0)/(17/(-153)) a multiple of 10?
False
Is (57 + 289)*(-6)/(-4) a multiple of 16?
False
Suppose -228 = -3*c + 201. Let i = c + -61. Suppose 3*l - i = 2*b, -2*l + 92 = l - 4*b. Is 12 a factor of l?
True
Let m be (-249)/(-6) - (-6)/4. Let r = 64 - m. Does 21 divide r?
True
Let p be ((-76)/(-57))/(1/(-3)). Suppose -b = 4*h - 0*h - 38, -b + 41 = h. Does 14 divide ((-20)/15)/(p/b)?
True
Suppose 0 = -2*p + m + 26, p - m = 13 - 2. Let l = -12 + p. Suppose 53 = 3*g - 4*n + l*n, -3*g = 2*n - 56. Is g a multiple of 6?
True
Suppose -31*z + 28*z = 0. Suppose -4*x + 228 = -z*x. Is x a multiple of 12?
False
Suppose -o = -5*u + 7158, 55*o - 58*o = -3*u + 4302. Is 53 a factor of u?
True
Let p(z) = 3*z**2 + 11*z - 21. Let y(g) = 7*g - 11 - 3 + 12*g**2 - 10*g**2. Let w(f) = 5*p(f) - 7*y(f). Is 29 a factor of w(-13)?
False
Is (-16)/20 - (3216/(-20) + -4) a multiple of 11?
False
Let m(c) = -6*c**2 + 2*c**3 - 5*c**2 + 3*c**2 + 5. Let d be m(4). Does 27 divide (d/(-2))/(3/(-90))?
False
Let j = 88 + -34. Is 3 a factor of j?
True
Let u be 4 - (-4*4 - -1). Let x = u - 14. Is x a multiple of 4?
False
Suppose 12*x = 11*x + 23. Suppose -8*b = -x*b + 2835. Is 35 a factor of b?
False
Let t(k) be the third derivative of -131*k**4/24 - 2*k**3/3 - 29*k**2. Does 30 divide t(-2)?
False
Let z = 69 - -300. Is 17 a factor of z?
False
Let f be 5/((-15)/(-27))*-1. Let h(p) = -p**2 - 14*p - 13. Let o be h(f). Suppose -z = -o - 33. Is 14 a factor of z?
False
Let c(q) = 21*q. Let p be c(1). Let h = p + -10. Let v(n) = -n**3 + 13*n**2 - 17*n + 15. Is 35 a factor of v(h)?
True
Let v(w) = -w + 25. Let m be v(17). Suppose -2*f = -m*f + 24. Does 4 divide f?
True
Suppose -2413 = -4*t + 173*a - 170*a, 4*t = -a + 2433. Is t a multiple of 7?
False
Suppose -5*c - 9885 = -2*r - 3730, -4*c - 40150 = -13*r. Is r a multiple of 103?
True
Let c(t) = -30*t**3 + 2*t + 1. Let y = -9 - -8. Is c(y) even?
False
Let f(q) = -3 + 112*q - 84*q - 3. Let d be f(5). Suppose -4*z + u + 223 = 0, -4*u + 150 + d = 5*z. Is 14 a factor of z?
True
Suppose -3*r = -3*f + 234, f - 5*f + r + 300 = 0. Suppose -p - g + 23 = 4*p, -4*p - g = -19. Suppose 58 = p*j - f. Is j a multiple of 23?
False
Suppose 2*o + 1 + 3 = 5*x, -3*x + 2*o = 0. Suppose -x*k = -6*k + 348. Suppose 0*y + 3*y = k. Is 6 a factor of y?
False
Let i(b) = b**3 - b**2 - 2*b + 2. Let a be i(2). Suppose d + a - 3 = 0, -p = d. Is (4/3)/(p/(-18)) a multiple of 24?
True
Let g = 588 + -271. Is 25 a factor of g?
False
Let l = 1598 + -684. Is l a multiple of 24?
False
Let t(s) = 85*s - 2. Let d(n) = n**2 + 2*n - 2. Let l(k) = k**2 + 4*k - 3. Let q be l(-4). Let b be d(q). Is 21 a factor of t(b)?
False
Suppose -35*v - 14154 = -56*v. Is v a multiple of 9?
False
Let n(f) be the first derivative of f**6/360 + f**5/120 - f**4/12 - 5*f**3/3 + 3. Let r(v) be the third derivative of n(v). Is 9 a factor of r(4)?
True
Let z(v) = v**3 + 13*v**2 - 15*v - 14. Let o be z(-14). Let r be -3 - (10 + -2)*-2. Suppose o*k + r = k. Does 4 divide k?
False
Suppose -4*b = 11*a - 12*a - 486, -490 = -4*b - a. Is b a multiple of 3?
False
Suppose -359 = -v - 2*s, 101*s - 100*s - 360 = -v. Does 9 divide v?
False
Let s be 3/2 - (-1)/2. Suppose 7*c = s*c + 230. Does 23 divide c?
True
Let g = -3023 + 4770. Does 28 divide g?
False
Let m(v) = -3*v**3 + v**2 - v - 2. Let k be m(-1). Suppose k*i + 5 - 17 = 0. Suppose -3*t = -i*z + 301, 2*t - 187 + 47 = -2*z. Is z a multiple of 23?
False
Let d = 19 - 14. Suppose -26 - 64 = -d*t. Let u = t - 0. Is u a multiple of 9?
True
Suppose 147 - 19 = 8*q. Is q a multiple of 11?
False
Suppose -2*f + 23 = 19. Is 19 a factor of (-104)/12*(-39)/f?
False
Let c = 20 + -15. Suppose -5*f + 2756 + 2689 = -c*t, t = 2*f - 1088. Is 11 a factor of (-2)/(-5) - t/25?
True
Let u = 11 - 18. Is (-4)/(16/(-633)) + u/28 a multiple of 24?
False
Let j = 14 + -13. Let r be (11 + 0 + 0)/j. Let k(o) = -o**2 + 15*o - 12. Is k(r) a multiple of 8?
True
Let l be 2 + 1 + (4 - 0). Let m = l + -7. Suppose 2*s = -m*s - 3*a - 4, a - 12 = -4*s. Does 3 divide s?
False
Suppose -2602 = -4*b + 5*h + 1186, 5*h = 2*b - 1894. Is b a multiple of 31?
False
Let q(w) = -17*w**3 + 3*w**2 - 8*w - 3. Is 25 a factor of q(-4)?
False
Let u(s) = s**2 - 5*s + 9. Let r be u(4). Let g(a) = 2*a**2 + 3*a - 5. Is 21 a factor of g(r)?
False
Suppose 0*z = 4*z - 32. Let t = z - 7. Suppose -4*n - 4*u + 12 = 0, -3*n + 20 - t = u. Is n a multiple of 3?
False
Suppose 14 - 142 = 5*d + k, -4*k - 12 = 0. Let g be (32/(-20))/(2/d). Suppose 350 = 5*t - g. Is 32 a factor of t?
False
Let i = -42 + 48. Suppose i*m = 225 - 51. Does 5 divide m?
False
Let l be (-565)/(-9) + (-8)/(-36). Let m = l - 15. Does 24 divide m?
True
Let r be 92/14 + ((-48)/14)/6. Is 9 a factor of (-40)/((-2)/r*(0 + 1))?
False
Is ((-864)/240)/((-2)/390) a multiple of 78?
True
Let u = 2803 + -1930. Is u a multiple of 31?
False
Let n(r) = -274*r**2 + r. Let m be n(1). Let i = -144 - m. Does 23 divide i?
False
Let g(c) = 9*c**2 - 3*c + 9. Let k be (-3 + 0)*2 - (3 + -5). Is 11 a factor of g(k)?
True
Suppose 8*t - 3005 = 9035. Does 3 divide t?
False
Suppose -100*y = -97*y - 1254. Is y a multiple of 19?
True
Let b(s) = -s + 4. Let l be b(0). Suppose -t - t = l. Let q(i) = -3*i**3 + 2*i**2 + 2*i - 1. Is 9 a factor of q(t)?
True
Let z be 3 - (2 + -1) - -1. Suppose z*r - 50 = 4. Is r a multiple of 18?
True
Let g(b) = -b**3 + 2*b**2 + b + 2663. Let a be g(0). Suppose -12*q - 179 + a = 0. Is 44 a factor of q?
False
Suppose 4*z + z - 759 = -3*r, -4*z - 3*r + 606 = 0. Is 12 a factor of z?
False
Suppose -16*v = -18*v + 100. Is 5 a factor of v?
True
Let b = 61 - -289. Suppose -b = -2*s - 88. Does 12 divide s?
False
Let g = -593 - -663. Does 5 divide g?
True
Let x = -505 - -802. Is x a multiple of 11?
True
Let p(q) = -q**3 - 19*q**2 - 8*q + 12. Is p(-19) a multiple of 4?
True
Suppose 0 = -3*w - 4*c + 23, 5*w - 27 = c - 2*c. Let i be w*(4 - 14/5). Suppose -2*j = -i*j + 32. Does 6 divide j?
False
Is 17 a factor of ((-106)/4)/((-3)/36)?
False
Let o(b) = -3*b + b + 3 - 2*b + 3*b. Let g be o(-4). Let r(x) = x - 1. Does 2 divide r(g)?
True
Suppose 0 = -3*x + 5*p - 10, 3*p - 9 = 3*x + 9. Let s(o) be the third derivative of -o**6/120 - o**5/6 + 13*o**3/6 + 2*o**2. Is 6 a factor of s(x)?
False
Suppose -3*w + 5*i + 3745 = 0, -1239 = -w + 2*i - 5*i. Is w a multiple of 83?
True
Suppose -2*y + 79 = y + t, 0 = 2*t - 2. Does 3 divide ((-13)/y)/(-1 + 46/48)?
True
Let g be 6/27 - (-208)/36. Let a(p) = 8*p - 7. Let l be a(7). Suppose -5*f - l = -g*f. Does 10 divide f?
False
Suppose -2*t - 8*t = -410. Suppose -t = -a + 57. Is a a multiple of 14?
True
Suppose -92 = 5*q + 2*h - 422, 3*q + h = 197. Suppose -y + 5*y - 78 = w, -3*y - 2*w = -q. Suppose 4*b + 0*b = y, -5*c + 160 = 2*b. Does 10 divide c?
True
Let m = -36 - -21. Let p = -17 - m. Does 36 divide 37/(p - (-9)/3)?
False
Let q be (-9 - -7)*(3033/2)/(-3). Does 12 divide 4/(-14) + -4*q/(-42)?
True
Let l = 27 - 42. Is 8 a factor of (-549)/l + (-12)/20?
False
Let u(v) = -27*v + 4. Let n be u(-4). Suppose l - 2*o + 36 = n, 0 = -4*l + 2*o + 334. Is 14 a factor of l?
False
Suppose -5*d + 19*b + 9435 = 15*b, -2*d = -3*b - 3767. Is 59 a factor of d?
False
Suppose 4*d = -5*a + 935, -2*a + 4*d - 362 = -4*a. Is 32 a factor of a?
False
Let g be (363 - -4) + 1 + -1. Suppose 0 = -5*y + m + 503, 0 = -5*y - m + 130 + g. Does 28 divide y?
False
Let r be 0 - 