iple of 20?
True
Suppose -3*x + 4 = -2*t - 15, -2*x + 2*t + 14 = 0. Suppose 0*p - 4*p + s + 11 = 0, x*p = 5*s + 25. Suppose 4*q - 336 = p*q. Is q a multiple of 21?
True
Let c(z) = z**3 + 6*z**2 + 2*z - 3. Suppose -4*n = -41 - 35. Let o(b) = b**2 - 20*b + 15. Let p be o(n). Is c(p) a multiple of 7?
True
Let m(t) = 20*t**2 - 8*t**2 + t - 4 - 11*t**2. Let h(n) = -2*n**2 - 2*n + 7. Let w(v) = -6*h(v) - 10*m(v). Is 20 a factor of w(3)?
False
Suppose v = 3*l + 1, 5*v - 18 - 23 = -3*l. Suppose -8*u = 3*u - 121. Suppose u*q - 656 = v*q. Is 46 a factor of q?
False
Let n(g) = -13*g**3 + 4*g**2 - 39*g - 144. Is n(-8) a multiple of 59?
True
Suppose 4*t = -16*t + 4600. Let w = t - 133. Is 39 a factor of w?
False
Suppose -319*z + 639*z - 4536 = 319*z. Is 95 a factor of z?
False
Let w be (16 + 6 + -10)/(-2). Does 12 divide 1685/10 + w/12?
True
Let f(c) = c**3 - 11*c**2 - 34*c + 8. Let q = 452 - 438. Does 60 divide f(q)?
True
Let k(h) = 15*h + 37. Let r be k(8). Suppose 7*f - 577 + r = 0. Is f a multiple of 4?
True
Let c = 39377 + -25410. Is 23 a factor of c?
False
Let o(z) = -6*z - 20. Let c be o(-4). Let b = 110 - c. Suppose -278 - b = -4*n. Is 32 a factor of n?
True
Let o(z) be the third derivative of z**4/12 + 2*z**3/3 - 2*z**2. Let l be o(-4). Does 28 divide l/14 + (-788)/(-84)*6?
True
Let o(w) = -83*w + 833. Let l be o(10). Suppose -8 = -3*d - d, d = -2*c + 2. Suppose 0 = -4*f - c*f - 3*m + 264, -l*f + 198 = -m. Is f a multiple of 11?
True
Let f(l) = 40*l**2 - l - 2. Suppose 0 = 3*p - w - 20, -3*w + 5 = 5*p - 5. Let y(j) = -3*j + 13. Let b be y(p). Does 20 divide f(b)?
True
Let m(s) be the second derivative of s**4/6 - 43*s**3/6 + 51*s**2/2 - 201*s. Is m(24) a multiple of 3?
True
Suppose -4*g + 5 = -7, -2108 = -4*x + 4*g. Let m = x + -160. Does 5 divide m?
True
Suppose -6*d + 4*d = 14*d - 61120. Does 55 divide d?
False
Let y(a) = -5*a + 0 - 18 - 2*a + a**3 - 9*a**2 - 2. Suppose 3*i - 65 = -2*i - 3*k, -3*k = -4*i + 25. Is y(i) a multiple of 3?
False
Suppose 5 + 4 = -3*r, -213 = -3*j + r. Suppose -4*p + j = -6*p. Let a = -2 - p. Is a a multiple of 11?
True
Let n(p) = -38*p + 30. Let t be n(10). Let k = t - -820. Suppose 2*b - 4*b = -4*v + 464, -k = -4*v - b. Does 13 divide v?
True
Let d(r) = 2 + 11*r - 8 - 11. Suppose 47*b - 77 = 36*b. Does 6 divide d(b)?
True
Let z(c) = -c**2 - 3*c + 10. Let k = 93 + -100. Let v be z(k). Is 4 a factor of (1 - 3)*(v - (1 + -3))?
True
Suppose -4*h - 4*h = -2*h. Suppose h = -5*k - 3*x + 1616, k - 4*k - x = -968. Is 7 a factor of k?
True
Let q = 6012 + -36. Is q a multiple of 22?
False
Suppose -8*k + 23*k + 2222 = 17*k. Is 11 a factor of k?
True
Is 100 a factor of (-1120)/(-84)*(-3 + 63)?
True
Suppose -32*h + 278 = -30*h - 64. Does 67 divide h?
False
Does 66 divide (-2)/((-80928)/(-13491) - 6)?
False
Suppose 43 = 5*u + 3. Let s(f) = 17*f - u - 20*f + 2. Is 10 a factor of s(-10)?
False
Let t = -36105 + 66884. Is t a multiple of 29?
False
Suppose 0 = 5*y + 5*u + 90, 2*u + 2*u - 12 = 2*y. Does 8 divide (4 + 63/y)*(2 - 96)?
False
Suppose -3*a - 6*a = -16209. Suppose 5*t + 378 - 41 = n, -5*n + a = 4*t. Is 17 a factor of n?
True
Is 7 a factor of 32/(-28) + 1 - (3 - 98787/21)?
False
Let c(g) = 47*g**2 + 51*g - 683. Is c(19) a multiple of 71?
True
Suppose 4*i - 9*i = -30. Suppose -2*x = -i*x + 960. Suppose -574 = -5*s + r, -2*s + r = -2*r - x. Is 10 a factor of s?
False
Let y(o) = o**2 - 2*o + 3. Let v be y(0). Let b be (-2)/v - 314/6. Let z = b + 65. Is 12 a factor of z?
True
Suppose 0 = 14*j - 17*j + 7515. Suppose j - 12104 = -29*f. Is f a multiple of 8?
False
Suppose 0 = -2*g + 3*p + 7 + 3, 4*p + 10 = g. Suppose 0 = 5*j - c - 1023, j = g*c + 32 + 178. Is j a multiple of 6?
True
Let y(f) = -33*f + 1. Let i be y(-1). Let m = i + -29. Suppose 2*s - 40 = 5*x, 5*s = m*x + 94 + 6. Is 10 a factor of s?
True
Let p(x) = -25*x + 380. Let w be p(44). Let y = -672 - w. Is y a multiple of 8?
True
Let o(j) = 2*j**2 + 1 - 4*j**3 + 2*j + 9*j**3 - j**2. Let l be o(-1). Is (-2)/(-4)*(l + 9 - -10) a multiple of 7?
True
Let o(n) = -n**2 - 5*n - 3. Let s be o(-4). Let j = -101 - -154. Let p = j + s. Is 9 a factor of p?
True
Suppose -213*n + 138526 = -188*n + 45901. Does 19 divide n?
True
Suppose -2*w = -5*s + 22668, 5*w + 4266 + 4818 = 2*s. Does 8 divide (3/6)/(11/s)?
False
Suppose 4*j = -2*d + 1520, -55*d + 3*j = -66*d + 8284. Is d a multiple of 7?
False
Suppose 958*a = 968*a - 38880. Is 18 a factor of a?
True
Let j(r) be the second derivative of r**5/10 + r**4/12 + 2*r**3/3 - 17*r**2/2 + 47*r. Is j(3) a multiple of 3?
False
Let n be (1 - 0)*(0 + -23). Let t(r) be the third derivative of -r**6/120 - 2*r**5/5 - 23*r**4/24 + 4*r**3 - 4*r**2 - 42. Does 16 divide t(n)?
False
Does 70 divide 42/15 + -2 + (16490850/125)/29?
True
Suppose -2*o = -7*o + 40, -v + 2*o = -25384. Is 127 a factor of v?
True
Let j = 6195 + -3955. Is j a multiple of 5?
True
Let f(n) = 2*n**2 - 5*n + 132. Let q be f(26). Is 35 a factor of (q/(-4))/(-1 - 8/(-16))?
False
Suppose 5*h - 2*g - 4376 = 0, 0*g - 2620 = -3*h + 4*g. Is 8 a factor of h?
False
Let n(s) be the third derivative of -9*s**4/4 - s**3/2 + 3*s**2 - 73*s. Suppose i = 1 - 5. Is n(i) a multiple of 22?
False
Is (-11 - 1413/6)*-54 a multiple of 29?
True
Let o(w) = -10*w - 43. Let d(i) = -10*i - 39. Let a(g) = 4*d(g) - 3*o(g). Suppose -67 = 3*x - 19. Is 8 a factor of a(x)?
False
Let g be (-1 - (-1 + 5 + 1)) + 665. Let b = g - -303. Is b a multiple of 13?
True
Suppose 15*v = 20*v - 400. Suppose -h = -4, -4*m + 0*h = 2*h - v. Is 3 a factor of m?
True
Is 11 a factor of (8/5)/((-5)/(-6550))?
False
Suppose 4*u = -5*j + 20162, 1749*j = 1745*j + 5*u + 16105. Is 52 a factor of j?
False
Let l be 7/(-63) + (-103836)/54. Let s = -792 - l. Does 29 divide s?
True
Let t be (6 + -3)/((-2)/(-274)). Let a = -353 + t. Does 26 divide a?
False
Let l = -26 + 103. Let x = l - 5. Suppose 0 = -4*o - x + 744. Is 14 a factor of o?
True
Is (25619/(-34))/((-10)/100) a multiple of 74?
False
Let l(f) = f**3 - 10*f**2 - 29*f - 15. Let r = 22 - 9. Is 7 a factor of l(r)?
False
Let t = 122 - -859. Does 15 divide t?
False
Suppose 5*p - 10 = -y, 0 = 2*p - y - 4*y - 31. Suppose 5*q - 177 - 162 = -p*u, -113 = -u + 4*q. Suppose -5*z + u - 8 = 2*d, d - 53 = -2*z. Is 5 a factor of d?
True
Let z(u) = -8089*u - 89. Is z(-1) a multiple of 32?
True
Let y(s) = s**2 + 10*s - 2. Let t be y(-10). Let i be (-64)/12 + t/(-6). Let b(f) = -18*f + 6. Is 48 a factor of b(i)?
True
Does 74 divide (4/6)/((-6)/(-5796))?
False
Suppose -94*q + 97*q - 6129 = -4*y, -3*q + 1548 = y. Does 16 divide y?
False
Suppose -22*u = -62 - 70. Is 6 a factor of u + (-1 - 0) + 196?
False
Let d(m) = 2*m**3 + 9*m**2 - 39*m - 12. Let g be d(-7). Let s = g - -274. Is s a multiple of 11?
False
Suppose 3505 = 4*h - 5*d, -5*h = 12*d - 9*d - 4335. Let y = h + -483. Is 10 a factor of y?
False
Let h = 73 + -117. Let c = h + 163. Is 17 a factor of c?
True
Suppose 483*o - 480*o - 3*z = 20874, -3*o = z - 20882. Is o a multiple of 12?
True
Suppose -17 = 3*a - 5*n, 2*a = n + 4*n - 18. Let y = a - -505. Is y a multiple of 23?
True
Let u = -876 + 1273. Suppose w - 6*w + u = 3*z, -z + 3*w + 137 = 0. Does 6 divide z?
False
Is 44 a factor of ((-6422)/16)/(2/(-180)) + 26/104?
True
Is 9 a factor of ((-76)/16 - -6)/(2/(-31056)*-2)?
False
Suppose 2*o + 7 = 5*u, -10 = -4*o + 2*u - 0. Suppose -7*f = o*f - 33. Suppose x = -f*z + 174, 2*x + 5*z - 343 = -0*x. Is x a multiple of 19?
False
Is 15 a factor of ((-85)/15)/(-1*(-8)/(-1440))?
True
Let v = 51 + -9. Suppose 0 = 5*k - v - 58. Is 20 a factor of (49 - -1)*k/25?
True
Is 2208/36*32019/52 a multiple of 18?
False
Is (-723)/((-3 - (-12)/3)*(-9)/93) a multiple of 31?
True
Let n be (58/2)/((-4)/(0 + -4)). Suppose -3*y + y = -g - 28, 0 = 2*g + 5*y + n. Let z = g + 27. Is z a multiple of 5?
True
Let i(s) = 1001*s + 266. Is i(6) a multiple of 98?
True
Let q be ((-1)/3)/(-5 + 4764/954). Let u = q + -14. Suppose -g = -5*s - 5, -4*g - 2 + u = -3*s. Is 5 a factor of g?
True
Let h(n) = -43*n**3 - n**2 + 12*n - 11. Let j be h(1). Is (-21)/14 + j/(-2) a multiple of 11?
False
Let j(d) = -13*d**3 - 2*d**2 + 33*d + 120. Is 6 a factor of j(-5)?
True
Suppose 244 - 244 = -d. Suppose -18*b + 13710 + 8286 = d. Is 94 a factor of b?
True
Let w be (16/(-2))/(8 - (8 - 2)). Let d be (5 + 23)*w/(-8). 