= -d*r. Is r a multiple of 8?
True
Let o = -2 - 1. Does 20 divide 23 + 1 - (o + 1)?
False
Suppose 0*a - 47 = a - 3*d, 4*a + 174 = -2*d. Let j = a + 29. Let o = 3 - j. Is 9 a factor of o?
True
Let x(j) = -3*j + 3. Let z be x(-8). Suppose 3*t - 2*t = z. Suppose -5*b = -2*b - t. Is 9 a factor of b?
True
Let f = -1 + 5. Suppose -f*o - m = -65, 4*m - m = 5*o - 60. Is o a multiple of 5?
True
Let h(g) be the first derivative of -g**3/3 - 9*g**2/2 + 6*g + 1. Does 10 divide h(-7)?
True
Is 10 a factor of 12/(-10)*150/(-9)?
True
Let t(c) = 5*c + 5. Let g be t(-3). Does 18 divide (-165)/(-1)*(-4)/g?
False
Let c(y) = 10*y**2 - 10. Is c(5) a multiple of 16?
True
Does 24 divide (-216)/2*((-95)/15 + 5)?
True
Suppose -4*i = -5*h + 24 - 144, 150 = 5*i - 5*h. Is 6 a factor of i?
True
Suppose -9*w - 381 = -1515. Is 18 a factor of w?
True
Is (24/(-14))/(12/(-126)) a multiple of 18?
True
Let s(n) = -n**3 - 2*n**2 + 5*n + 4. Let t be s(-3). Let a(m) = 6*m**2 + 2*m + 1. Is 21 a factor of a(t)?
True
Let s = 2 + 4. Suppose -b + s = b. Let w = 31 - b. Is 14 a factor of w?
True
Let u = -22 + 33. Is u a multiple of 11?
True
Suppose -263 = f - 6*f - 3*p, 4*f - 3*p - 232 = 0. Is f a multiple of 6?
False
Is 30 a factor of -33*(-32)/12 + 2?
True
Let b(y) = y. Let l be b(5). Suppose 3*h - 2*q - 22 = 0, 3*h - l*q - 19 = -0*h. Is 8 a factor of h?
True
Suppose -g = -4*a + 2*a - 36, -2*a + 68 = 3*g. Is g a multiple of 13?
True
Suppose -5*a = 6 - 71. Is 2 a factor of a?
False
Suppose 15 = 3*n + 3*x - 87, 75 = 2*n - 5*x. Is 18 a factor of n?
False
Let b = 237 - 149. Is b a multiple of 4?
True
Let t be (-24)/(-9) + (-1)/(-3). Let v(o) = -o**2 + o - 2. Let j be v(t). Does 6 divide j*-3*(-3)/(-12)?
True
Let q be (12/24)/((-2)/(-16)). Suppose -2*l = -l + k - 32, -q*l + 131 = 5*k. Is 21 a factor of l?
False
Suppose 0 = 10*t - 6*t - 20. Suppose t*a + 49 + 4 = 2*i, 0 = -i - 3*a + 43. Does 10 divide i?
False
Let x(t) = -11*t - 6. Let c be 3 + 6/(2 + 1). Let b be x(c). Let d = 103 + b. Does 21 divide d?
True
Let i = -164 - -251. Is i a multiple of 33?
False
Let b(r) = 8*r + 1. Let v be b(-3). Let m = -33 - v. Does 13 divide (144/(-20))/(3/m)?
False
Suppose -5*f + 90 = -3*n, 2*f - 27 = n + 2*n. Does 11 divide f?
False
Is 11 a factor of (6/(-8))/((-4)/176)?
True
Let m(g) = 5*g - 1. Let i be m(1). Suppose -4*j = -a - 17, -i*j - 4*a + 1 = 9. Let b = j - -4. Is 3 a factor of b?
False
Suppose 4*v + 2*g - 4*g = 12, 3*v - 2*g = 10. Does 17 divide ((-17)/2)/((-1)/v)?
True
Let u(s) = -8*s. Let z be u(-5). Suppose -2*o = 2*m - 7*m + 77, 3*m = -5*o + z. Suppose 3*a - 2*k - 40 = 0, 2*k = 2*a - 13 - m. Is 6 a factor of a?
True
Let b be 5/(15/(-264)) + 0. Is b/(-6) - (-10)/30 a multiple of 7?
False
Suppose 4*f - 111 = 65. Is 4 a factor of f?
True
Suppose 3*i - 20 = -c - 3, -c = 4*i - 16. Suppose -c - 16 = 4*x. Is 12 a factor of ((-8)/(-2))/((-3)/x)?
True
Is 2/4 - 98/(-4) a multiple of 25?
True
Is -1 + -3*65/(-15) a multiple of 7?
False
Suppose 0 = -n + 2*n + 5*o + 22, 3*n - 29 = 4*o. Suppose -15 = n*v + 5*h - 157, 0 = -5*v + 2*h + 278. Is 18 a factor of v?
True
Let d(r) be the third derivative of r**6/120 + r**5/15 + r**4/24 + 2*r**3/3 + 2*r**2. Is d(-3) a multiple of 5?
True
Suppose 3*u - 40 = 2*u. Suppose 6*z - u = z. Is 6 a factor of z?
False
Suppose 0 = -2*o + 3*l - 71, 2*l - l = 3*o + 117. Let r = 74 + o. Is r a multiple of 17?
True
Let x(l) = 7*l**2 - l. Let c be x(-1). Suppose -2*o + 3*o = -5*i + 15, i = 2*o - c. Does 2 divide i?
True
Let j(n) = 3*n**2 - 5*n - 3. Let y(q) = 10*q**2 - 16*q - 9. Let g(l) = 7*j(l) - 2*y(l). Is g(-3) a multiple of 15?
True
Let j = 46 - 7. Suppose 3*f = 4*x - j, -2*x + f = -8 - 11. Is 11 a factor of 18*3*2/x?
False
Let u(o) = -82*o + 6. Let l be u(-2). Let d = l - 116. Is 18 a factor of d?
True
Is 22 a factor of ((-1)/(-2))/(2/176)?
True
Suppose 6*s - 384 = -0*s. Is 4 a factor of s?
True
Let a(j) = j**2 - 11*j - 12. Is a(14) a multiple of 16?
False
Let x(j) = -j**3 + 6*j**2 + 8*j + 2. Let v be (-6)/(-3) - (-10)/2. Let b be (3 - 3)/(-2) + v. Is 9 a factor of x(b)?
True
Let z(g) = -23*g + 3. Let s be z(3). Is s/9*(-3 + 0) a multiple of 15?
False
Let z = -82 + 174. Is 12 a factor of z?
False
Let p(d) = 37*d**3 - d**2 + 3*d - 6. Is 18 a factor of p(2)?
False
Suppose 1 = p - 3. Let q(o) = o**3 - o**2 - 4*o + 1. Is q(p) a multiple of 12?
False
Let p be ((-2)/2 - 0)*6. Let b(w) = w**3 + 5*w**2 - 7*w - 5. Let u be b(p). Is 4 a factor of ((-20)/2)/(u - 2)?
False
Suppose 0 = 2*c + 3 - 13. Suppose -5*x = -0*l - 3*l + 209, 3*l = -2*x - 71. Does 12 divide (-2)/c + (-1056)/x?
False
Suppose -1140 = -l - 4*l + 5*y, 663 = 3*l + 4*y. Is 25 a factor of l?
True
Does 3 divide (-1)/(3/15)*-1?
False
Let c be 12/(-42) + 61/(-7). Let n = 60 + c. Is 17 a factor of n?
True
Suppose 53 = -2*t + 3*f, -140 - 11 = 4*t + 3*f. Let r = -22 - t. Is r a multiple of 8?
False
Let g = -278 + 422. Does 12 divide g?
True
Does 9 divide -2 - -24 - 8/(-2)?
False
Suppose 3*u + 93 = 3*p, 3*p = 4*u + 111 - 13. Is p a multiple of 13?
True
Let k(i) = 2*i + 4. Suppose q = 5*q - 28. Is 18 a factor of k(q)?
True
Let o = 29 - 17. Is o a multiple of 3?
True
Let j = -4 - -1. Is 8 a factor of (-1 - j) + 11 + -2?
False
Let v = -688 - -1022. Is v a multiple of 46?
False
Let j(u) = -u**3 + 4*u**2 + 7*u - 3. Let w be j(5). Suppose 2*x + 4*h = -15 + w, -3*x + 2*h = -28. Does 3 divide x?
True
Suppose 208 = -5*d + 888. Does 34 divide d?
True
Let p(u) = -u**2 + 5*u - 8. Let g be p(6). Let i = 44 + g. Let d = 46 - i. Is 5 a factor of d?
False
Let u(z) = z**3 + 23*z**2 + 34*z + 12. Is u(-21) a multiple of 9?
True
Let c be (14/3)/(12/198). Suppose 4*t - 11 = c. Is 11 a factor of t?
True
Suppose 0 = -2*p - 3*p - 5*v + 885, 2*p = -v + 355. Is p a multiple of 11?
False
Does 20 divide (-128)/12*84/(-8)?
False
Let s(v) = -v**3 + 13*v**2 - 3*v + 17. Let k be s(13). Is 7 a factor of -3 - (k - (5 - 3))?
True
Suppose 0 = i - 5*o + 13 + 2, -5*i - 3*o + 9 = 0. Suppose i*h = 4*h - 16. Suppose h*q = -4 + 32. Is q a multiple of 5?
False
Let h = -20 + 37. Let t = 32 - h. Is 5 a factor of t?
True
Let n = -95 - -152. Is 12 a factor of n?
False
Suppose -3 + 1 = -z. Suppose l - z = 2. Suppose -26 = -l*i - 10. Does 2 divide i?
True
Let t = -9 + 15. Let q(x) be the first derivative of -x**3/3 + 7*x**2/2 - 1. Is q(t) a multiple of 6?
True
Suppose -2*m + 6 = -4*m, 5*y + m = 22. Let x = 12 - y. Let a = x + 6. Is 13 a factor of a?
True
Let a be 0/2 - 16 - 1. Let s = -10 - a. Suppose 63 - s = 4*h. Is 14 a factor of h?
True
Suppose 5*w + 19 + 126 = -k, 5*w + 2*k + 140 = 0. Let c be ((-16)/10)/(2/w). Let a = c - -38. Does 22 divide a?
False
Let z(k) = -48*k. Let v be z(-1). Suppose 4*h - v = j, -3*h + 1 = 5*j - 12. Let w = 12 + h. Is 10 a factor of w?
False
Let x be (-108)/(-20) + (-2)/5. Suppose 0*y = y - x, -3*z - 4*y = -158. Suppose -3*a + z + 44 = 0. Is a a multiple of 15?
True
Suppose 4*x + 0*x = -3*i, -12 = -3*i. Is 676/91 - x/(-7) a multiple of 7?
True
Suppose -2*l = -50 - 24. Is l a multiple of 28?
False
Let u(a) = a**3 - 9*a**2 + 5*a - 9. Is 5 a factor of u(9)?
False
Does 5 divide (-3)/(-6) + 90/4?
False
Let i(f) = 5*f**2 - 1. Let c be i(-1). Suppose 5*x + 14 = -u + 138, -c*u = -16. Is 15 a factor of x?
False
Let b(g) = -29*g**2 - 11*g + 4. Let q(f) = 44*f**2 + 17*f - 6. Let w(l) = -8*b(l) - 5*q(l). Is 5 a factor of w(1)?
False
Let f(s) be the third derivative of s**5/60 - s**4/8 + s**3/2 - 2*s**2. Let j be f(4). Let d(o) = o**2 - 2*o - 5. Is d(j) a multiple of 15?
True
Let s(t) be the third derivative of -t**4/6 - t**3/3 + 3*t**2. Is s(-4) a multiple of 13?
False
Suppose -4*t = 3*f - 301, 2*t = -4*f - 2*t + 400. Does 24 divide f?
False
Let v = -81 - -116. Let a = v - 15. Does 20 divide a?
True
Let j(h) = -h + 80. Suppose -d + 1 = 5*r, 0*r = -2*r - 4*d + 4. Let n be j(r). Suppose -2*q - 2*q + n = 0. Does 11 divide q?
False
Is 70*1/(5/5) a multiple of 7?
True
Suppose 2*c + 13 = 3*c. Does 13 divide c?
True
Suppose -2*f = 3*f + 2*g - 70, -3*f - 5*g + 61 = 0. Suppose -4*d + d = 2*h - 15, f = 4*h. Does 3 divide d?
True
Let l = 9 + 73. Let w = -40 + l. Is 21 a factor of w?
True
Let x = 20 + -6. Is x a multiple of 6?
False
Let n(b) = 4*b**3 + b**2 - 1. Let v be (-2 + -1 + 2)/(-1). Let s be n(v). Suppose -s*t + 3*a + 5 = -2*a, 0 = 5*t - 3*a - 16. Is t a multi