f o?
False
Suppose 8*l - 174 = 5*l. Let g = 35 - -5. Let k = l - g. Is k a multiple of 6?
True
Let k(m) = 13*m**2 + 5*m + 4. Is k(-6) a multiple of 13?
True
Suppose 0 = -3*y + 62*u - 59*u + 4104, 5*y - 4*u = 6840. Is y a multiple of 9?
True
Suppose -3*c = r - 1204, 5*r + 3*c - c = 6033. Does 27 divide r?
False
Let f(w) = -2*w**3 + 7*w**2 + 5*w - 4. Let n be f(4). Suppose 25 = 5*q - 3*q - 5*k, n = -2*q + 2*k + 16. Is 2 a factor of q?
False
Let f = 47 - 47. Suppose 3*m + 5*u - u - 285 = f, 9 = -3*u. Is 11 a factor of m?
True
Let m be ((-56)/5)/(3*(-12)/90). Suppose -656 = -4*z + m. Does 18 divide z?
False
Suppose 7 + 0 = 7*b. Let z(a) = 120*a**3 - a**2 + 3*a - 2. Is z(b) a multiple of 7?
False
Let x be 66/1*6/12. Let a = x + -30. Does 11 divide 382/6 + 4/a?
False
Let j = -41 - -142. Does 10 divide j?
False
Let b(x) = -6 - 15*x**2 + 10*x**2 + 4*x**2 + 10*x. Is b(7) a multiple of 5?
True
Let g = -42 + 72. Suppose 0 = -a + v - g, -90 = 3*a + a + 2*v. Let f = a - -32. Does 4 divide f?
False
Let a(o) = o**3 - 7*o**2 + 3*o + 7. Let j be a(6). Let c(l) = 3*l + 10*l**2 - 9*l - 8*l - 7*l**3 - 12 + 8*l**3. Is 21 a factor of c(j)?
True
Suppose -4*x + 10*x - 7350 = 0. Is 25 a factor of x?
True
Let z(d) = 2*d**3 - 4*d**2 + 11*d + 6. Is z(4) a multiple of 6?
True
Let n(i) = 818*i**2 - 5*i + 1. Is 22 a factor of n(1)?
True
Does 15 divide (-1)/(-1)*1453 + 12 + -10?
True
Suppose -5*z = s + 1 - 17, 160 = 5*s + 5*z. Is s a multiple of 14?
False
Suppose -190 = 89*k - 91*k. Is 12 a factor of k?
False
Suppose -3*p + p - 72 = 0. Is p*(0 - 3/3) a multiple of 9?
True
Suppose -2*l + 0*l + 4*t - 34 = 0, -l = -5*t + 14. Let p be l/((0 - 1) + 0). Suppose -2*o - 36 = -4*h, -6*h - 2*o = -5*h - p. Is h a multiple of 11?
True
Suppose 0 = 4*u - 413 - 339. Does 6 divide u?
False
Let m = -35 - -56. Suppose p = 5*i - 87, i - 4*p - m = 4. Does 2 divide i?
False
Is (-16)/(-14) + -1 + 341120/224 a multiple of 67?
False
Suppose 0 = -8*h + 288 + 168. Suppose w - r - h = -5, 2*w = r + 105. Does 6 divide w?
False
Let o(i) = -i**3 + 7*i**2 + 3*i + 7. Let p be o(7). Let w(j) = -3*j - 3. Let f be w(-1). Suppose f = 23*l - p*l + 110. Is 11 a factor of l?
True
Let d = -47 + 79. Suppose -288 = -35*u + d*u. Is 32 a factor of u?
True
Suppose -4*z + 42 = -z. Let q = z + 66. Suppose 4*i = 2*x - x + q, 5*i - 101 = x. Does 10 divide i?
False
Let o be 1/(2/8*2). Suppose o*d - 2 = 4. Suppose -1 = -y + d. Is 4 a factor of y?
True
Suppose z + 16 = -3*z. Let y be (-4)/6 - z/6. Suppose y*r + 2*r - 71 = -5*f, 2*r - 79 = 3*f. Does 21 divide r?
False
Let f be (-10)/4*-2 + (43 - 42). Suppose 16 = 7*p - f*p. Is 8 a factor of p?
True
Is 3060/5*(-6)/(-36)*22 a multiple of 44?
True
Let v(w) = -w**3 + 27*w**2 - 24*w - 4. Does 3 divide v(26)?
True
Let z(x) be the first derivative of 7*x**2 - 2*x - 47. Does 54 divide z(9)?
False
Let o be 4/((-4)/3*-1). Suppose -4*g = n - 22, 2*g - 13 = -o. Is 15 a factor of (-2)/(-1) - -46 - n?
False
Suppose 5*r + 101 = -39. Let l = r - -140. Is l a multiple of 14?
True
Let t(u) = 3*u**2 - u. Let q be t(-1). Suppose -2*b + 2*f + 32 = -2*f, -q*b - 5*f = -12. Is 5 a factor of 117/6 + 4/b?
True
Suppose 20 = -6*h + 4*h. Let i(b) = -7*b**3 - 4*b**2 + 5*b + 9. Let m(s) = -15*s**3 - 7*s**2 + 10*s + 17. Let j(v) = -13*i(v) + 6*m(v). Does 7 divide j(h)?
True
Let d(h) = 4*h**2 - 5*h - 3. Suppose -4*l = -2*l + 16. Let b(t) = -11*t**2 + 14*t + 9. Let q(i) = l*d(i) - 3*b(i). Does 8 divide q(-5)?
True
Let u(p) = -7*p - 3. Let q(k) = k**2 + 3*k + 3. Let b be q(-4). Let i(h) = h - 9. Let m be i(b). Is 3 a factor of u(m)?
False
Suppose 22*j = 83*j - 93574. Does 13 divide j?
True
Let a(m) = 1. Let y(c) = c + 5. Let x(r) = 4*a(r) - y(r). Let n be x(-5). Suppose 4*s - 25 - 17 = -z, -3*z = -n*s - 46. Is z a multiple of 11?
True
Let f(i) = 3*i**2 + 9. Let b(r) = 4*r**2 + 10. Let u(k) = 4*b(k) - 5*f(k). Let d be u(-3). Let n(j) = -j**3 + 5*j**2 + 3*j - 1. Is 7 a factor of n(d)?
False
Suppose -5*j = -2*z + 3131, z - 29 = -4*j + 1543. Does 56 divide z?
True
Suppose 0 = 4*o + 5*l + 39, 0 = -4*o + 4*l - 12 - 36. Let c = o - -17. Is (c/(-4))/((-5)/30) a multiple of 4?
False
Let s = 804 + 236. Is 3 a factor of (6/(-5))/((-78)/s)?
False
Let j(u) = -u**2 - 42*u - 43. Does 17 divide j(-24)?
False
Suppose -5*v = 20, 5*i - 2*v - 12 = v. Suppose i = 3*a + a - 260. Is a a multiple of 13?
True
Let w = 125 - 98. Let a(c) = 2*c - 1. Let v be a(-6). Let l = v + w. Is l a multiple of 7?
True
Let w = 40 - 67. Is 160/9 + (-6)/w a multiple of 9?
True
Let q(h) = h + 12. Let s be q(-8). Suppose -s*o = 2*b - 216, 5*o - 98 = 3*o + 4*b. Let w = 105 - o. Does 19 divide w?
False
Suppose 0 = -3*l - 359 - 592. Let g = 457 + l. Is g a multiple of 28?
True
Let f(z) = -z - 1. Let p be f(2). Let u(n) = -2*n**3 + 6*n + 9. Is u(p) a multiple of 15?
True
Suppose -19*y + 5499 - 977 = 0. Does 34 divide y?
True
Let p(u) = 4*u**2 - 3*u - 22. Let w be p(-4). Let y = -39 + w. Does 5 divide y?
True
Suppose 0 = -5*y - 4*d + 840, 94 = -4*y + 3*d + 766. Suppose 0 = -y*z + 173*z - 75. Is 10 a factor of z?
False
Let k = -6 - -9. Suppose 3*l + 2*z = 3311, -2348 = -k*l + 3*z + 973. Does 8 divide 3/7 - l/(-35)?
True
Suppose 2*l = -6, -2*q + 9 = -2*l - l. Suppose q = -5*n + 4*n + 40. Is 10 a factor of n?
True
Suppose z + 0*z - 69 = -2*r, 3*r + z - 106 = 0. Let a = 54 - r. Is a a multiple of 9?
False
Suppose 4*q - 37 = -2*f - 1, 2*f - 37 = -5*q. Suppose 4*y = -f, -3*l - 2*l = y - 71. Does 5 divide l?
True
Let j = 61 - 57. Suppose 0 = -j*t - 2*o + 846, t - 4*o - 828 = -3*t. Is t a multiple of 30?
True
Let z be 10 - (1 - (-4 - -9)). Suppose 0 = s - u - 62, s + 3*u - 48 = z. Suppose -h + 4*g = -s, 0*h - 5*g = -h + 58. Is 13 a factor of h?
True
Suppose o = 3*o - 72. Let i be 14*(204/(-42) + 4). Does 8 divide ((-8)/i)/(1/o)?
True
Suppose -23*t = -7106 - 1036. Is 41 a factor of t?
False
Suppose 2*o + 4*n - 37 = -n, 4*o - 2*n - 14 = 0. Let l(b) = -b**2 + 10*b - 9. Let m be l(o). Is (-6)/m + 885/25 a multiple of 7?
True
Let i be 0/1 + -4 - -6. Is (i + 0)*(-9 + 13) a multiple of 2?
True
Let a = -78 + 83. Suppose 3*w = -5*i + 284, 0 = 3*w + 6*i - a*i - 268. Is w a multiple of 14?
False
Let v(i) = 2*i**2 + 9*i + 166. Does 79 divide v(27)?
False
Suppose o = -3*u + 58, 3*o - 2*u = -0*o + 141. Let b = 82 - o. Is (1 + (-1)/3)*b a multiple of 22?
True
Let v be 1/(6/24) - -210. Suppose -v - 38 = -2*m. Does 9 divide m?
True
Suppose l - 3*a + 7*a = 32, 0 = -5*l + 3*a + 68. Suppose l*g - 1360 = 160. Does 33 divide g?
False
Let c(f) = f**2 - 14*f - 20. Is c(-11) a multiple of 15?
True
Let f(q) = -36*q**3 + 11*q + 5. Let s(k) = -24*k**3 + 7*k + 3. Let r(x) = 5*f(x) - 8*s(x). Suppose -2 = 2*n - 4. Is r(n) a multiple of 4?
True
Let r = 1578 + -390. Is 9 a factor of r?
True
Suppose r - 3*z - 971 = 0, 0 = -4*z - 10 + 6. Is r a multiple of 44?
True
Suppose 0*g - 39 = 5*a - 2*g, 3*g + 45 = -4*a. Let s = a + -1. Let q = s + 20. Is q a multiple of 2?
True
Suppose -y + 3*x = 1, -y - 4*x + 4 + 2 = 0. Suppose -2*z = y*u - 40, z + 4*u = -0*u + 8. Is (-3 - (1 - 5)) + z a multiple of 8?
False
Let f(y) = 6*y**3 - 28*y**2 - 10*y + 9. Does 29 divide f(7)?
False
Let q = 155 + 216. Is 11 a factor of q?
False
Let o(j) = -j**2 - 3*j + 2. Let l be o(-2). Suppose 2*r = -4*c + r + 15, 0 = -l*c + 3*r + 19. Suppose c*y + 52 + 12 = 4*f, 0 = -5*f + 2*y + 74. Does 7 divide f?
True
Let j be 580/(-14) - (-21)/49. Let y = -14 - j. Is y a multiple of 9?
True
Let b(h) = -h**3 + 2*h**2. Let j(m) = -5*m**3 + 28*m**2 - 10*m + 10. Let g(x) = -6*b(x) + j(x). Does 8 divide g(-16)?
False
Let l be (27/(-45))/(2/(-50)). Suppose 5*c = 575 - l. Is 28 a factor of c?
True
Let w be (6 + -3 - 2) + 15. Let s be w/(-6)*24/(-16). Suppose -3*p + 42 = 2*t, -2*t + 4*t - s*p = 56. Does 12 divide t?
True
Suppose -3*s - 69 = 2*c - 2*s, 177 = -5*c - s. Let h = c + 78. Does 4 divide h?
False
Let l(x) = -242*x**3 - x**2 + x. Let c be l(1). Let s = -374 - c. Is 2 a factor of ((-2)/(-4))/((-11)/s)?
True
Let m = -388 + 676. Does 38 divide m?
False
Suppose -5*u + 30 = -5. Does 19 divide (-19)/2*u/((-28)/8)?
True
Is (25 - 3)/(3/(0 - -39)) a multiple of 22?
True
Suppose 0*r = -5*r - 100. Let h be -1*5/(r/12). Suppose -4*z + h*s + 81 = -z, 3*s - 15 = 0. Does 16 divide z?
True
Let b(x) = x**2 - 4. Let h be b(3). Suppose 24 = -4*z + 4*i, 2*i = 