+ 4*c + 4. Let l be r(-1). Suppose l*d = t + 59, d = -3*d - t + 88. Does 7 divide d?
True
Let q be -1 + (-26)/(-4)*2. Let h = -12 + q. Suppose f - 4*f + 159 = h. Is f a multiple of 12?
False
Let h(y) = -y**3 - 8*y**2 + 10*y + 17. Let w be ((-3)/(-18))/(-1) + (-106)/12. Does 4 divide h(w)?
True
Let x(u) = -u**2 - 15*u + 9. Let q be x(-15). Let l(g) = 9*g + 6 - 25*g + 11*g + q*g. Is l(6) a multiple of 22?
False
Suppose -10 = -t - t, -4*b - 705 = -5*t. Let h = -352 - b. Is 4 a factor of (-12)/54 - h/9?
True
Let h be -10*(-3 - 26/(-10)). Suppose -g = -3*n + g + 65, 0 = n - h*g - 5. Is 405/n + (-2)/10 a multiple of 9?
False
Suppose 122*m + 1368 = 128*m. Does 41 divide m?
False
Let p(x) = -5*x + 17. Let q(b) = -b**3 - 10*b**2 + 12*b + 11. Let t be q(-11). Let w = -9 - t. Is p(w) a multiple of 13?
False
Let x = -1 + -2. Let g be x/(-5) + 7/5. Suppose -g*a = 2*a - 64. Is a a multiple of 13?
False
Suppose 7*u - 4*u + 4 = 2*h, 2*h - 4 = -3*u. Suppose 160 = h*m - 26. Does 31 divide m?
True
Suppose 29*i - 14359 = 1823. Is 6 a factor of i?
True
Let n(s) = s**3 - 15*s**2 - 33*s - 15. Let v be n(17). Let y(k) = 37*k + 4. Is 13 a factor of y(v)?
True
Let m be -15*(13/(-3) - -4). Suppose 316 = m*d + g, 2*d + 0*g = -g + 127. Is 21 a factor of d?
True
Let c be 10/4 - (-2)/(-4). Suppose -k = c*k - 144. Suppose 6*s = -0 + k. Is s even?
True
Suppose 0 = 12*q - 8*q - 1624. Let t = -266 + q. Is t a multiple of 20?
True
Let u(h) be the second derivative of h**3/6 + h**2/2 - h. Let m be u(3). Suppose -2*l - s = 3*s, 5*s - 6 = -m*l. Is 4 a factor of l?
True
Let b = -64 + 30. Suppose 3*x + 320 = 4*z, -251 = 2*z - 5*z + 5*x. Let j = z + b. Does 9 divide j?
False
Let s = -271 - -279. Does 2 divide s?
True
Let h = 4835 + -2336. Does 17 divide h?
True
Let i(a) = 5*a**2 + 13*a - 4. Let o(b) = -b**2 - b. Let g(u) = -i(u) - 4*o(u). Let m(v) be the first derivative of g(v). Does 5 divide m(-7)?
True
Suppose -326*t - 2*m + 3062 = -325*t, 4*t - 5*m - 12248 = 0. Is t a multiple of 20?
False
Suppose 2*k - 6 = -2*n, 3*n - 7*k + 2*k - 17 = 0. Suppose n*y = -2*o - 110, -3*y = -2*o + 154 - 54. Is 15 a factor of (-30)/4*y/9?
False
Let n(h) = 9*h**2 + 14*h + 37. Does 18 divide n(5)?
False
Let x = 10 - 3. Let y(m) be the first derivative of 2*m**2 - 14*m + 12. Is 7 a factor of y(x)?
True
Let t = 890 + -806. Is 14 a factor of t?
True
Let x(m) = m**2 + m + 1. Let c be x(-1). Let k be (-11*(-2)/c)/2. Does 14 divide k + (-8)/(-2) + -1?
True
Suppose 0*m = 4*m. Is -6*(m + (-12)/4) a multiple of 15?
False
Suppose -7*t - 775 = -3603. Suppose 3*y = 7*y - t. Is y a multiple of 21?
False
Let o be 0*-1*(-1)/2. Suppose o = -8*s + 7*s + 58. Is 29 a factor of (4 - 1)/6*s?
True
Let s = 15 + -8. Let a(l) = s - 3 - 3 + 2*l. Is 4 a factor of a(2)?
False
Let v be 5*5/15*3. Does 9 divide (-34)/((-20)/(-5) - v)?
False
Suppose 0 = 5*v + 3*k - 10152, -2*k + 557 = 3*v - 5534. Does 4 divide v?
False
Suppose -3*y + 85 = -335. Suppose 0 = o - 4, -4*u - 2*o + 7*o + y = 0. Is 3 a factor of u?
False
Let v = -26 - -36. Let g be (40/25)/(2/v). Is 94/g + (-21)/28 a multiple of 11?
True
Let p = -465 - -579. Is p a multiple of 4?
False
Let b(p) be the second derivative of 109*p**4/12 - p**3/3 + p**2 + 18*p. Does 37 divide b(1)?
False
Suppose -4*u = -0*u - 416. Let y = 24 - 24. Suppose 4*o - u = -y*o. Is o a multiple of 26?
True
Suppose 2*i + 71 = 169. Is i a multiple of 10?
False
Let t(n) = -4*n**2 - 27*n + 16. Let y(x) = x**2 + 9*x - 5. Let f(l) = -2*t(l) - 7*y(l). Let d be (14/21)/(2/39). Is f(d) a multiple of 9?
False
Let w(y) be the third derivative of y**5/60 - y**4 + 17*y**3/2 + 39*y**2. Is w(23) a multiple of 14?
True
Let d(f) = f**3 - 6*f**2 - 7*f + 4. Let s = 13 + -18. Let q(t) = t**3 + 6*t**2 + 5*t + 7. Let h be q(s). Is d(h) even?
True
Let w be (26/39)/(2/87). Let i = w + -27. Is i a multiple of 2?
True
Let c(u) = 11*u**2 + 3*u + 2. Let z(t) = t**2 + 5*t - 8. Let v be z(-6). Let d be c(v). Is 4 a factor of 12/(-10)*d/(-6)?
True
Let c(v) be the first derivative of -2*v**2 + 3*v - 4. Let u be (-6)/(-30) - 138/15. Is 13 a factor of c(u)?
True
Let t(f) = -f**3 + 3*f**2 + 4*f - 12. Let p be t(-7). Suppose -p = -3*l - 2*l. Is 18 a factor of l?
True
Let m = -230 - -481. Is m a multiple of 9?
False
Let u = 33 - 25. Suppose 285 - 29 = u*z. Is z a multiple of 8?
True
Let f(w) = 2112*w - 37. Is f(1) a multiple of 5?
True
Suppose 5 + 1 = 2*s. Let z be 231/18 + s/18. Let t = 56 + z. Is t a multiple of 23?
True
Suppose -3*c - 2*p = -228, 234 = 3*c + p + 3*p. Suppose 5*t - c = b, 5*b - 11 = -t + 9. Suppose -13*n - 42 = -t*n. Does 7 divide n?
True
Let i(v) = v**3 + 4*v**2 + 4*v + 5. Is 21 a factor of i(13)?
False
Let a(h) = h**2 + 3*h + 6. Let f be a(-5). Let r = f + -14. Suppose -r*x - 5*l + 70 = x, 5 = l. Does 7 divide x?
False
Let j(w) = w**3 - 17*w**2 - 15*w + 10. Is j(18) a multiple of 4?
True
Suppose 3*k - 3 = 0, 4*o + k - 5 = -4*k. Suppose 2*m = 4*x - 8 - 20, o = 5*x - 2*m - 36. Is 23 a factor of (-137)/(-2) - x/(-16)?
True
Suppose 3*i = -2*i. Suppose -8*s + 13*s = 25. Suppose i*b = s*b - 125. Is b a multiple of 8?
False
Suppose y = 3*y - o - 209, -3*y + o + 315 = 0. Suppose -4*s - 3 + y = z, -485 = -5*z - 5*s. Is 16 a factor of z?
False
Let b be 5/((-3)/(-3) - 0). Suppose 121 = -b*n + 636. Does 10 divide n?
False
Let p(f) = -3*f**2 + 112*f + 17. Does 24 divide p(36)?
False
Let b(n) = 2*n + 9. Let f be 0*(-4 - (-2 - 1)). Is 2 a factor of b(f)?
False
Let d = 65 - 61. Let g = -10 - -18. Suppose -g = -2*b + d*h, 3*h - 12 - 26 = -4*b. Is b a multiple of 4?
True
Suppose 4*q = -5*s + 20, 2*q + 14 = 5*q + 4*s. Is 28 a factor of (q/15 - 0) + 458/6?
False
Let f = 415 + -272. Is f a multiple of 23?
False
Let l = -8 + 12. Let r(t) = -t + 8. Let v be r(l). Suppose v*g = 16 + 32. Is 3 a factor of g?
True
Let o be 14/2 - (-6)/(-3) - 1. Is (o - (0 + 1))*64/3 a multiple of 16?
True
Suppose 4*z + 4*h = 3636, 6*z + 3*h = 5*z + 915. Is 69 a factor of z?
False
Suppose 21*g - 26*g + 9820 = 0. Is g a multiple of 40?
False
Let x = -632 + 684. Is 26 a factor of x?
True
Suppose -5 = 6*k + 7. Is k/6 - (-1205)/15 a multiple of 40?
True
Let x = 1522 - 1271. Does 28 divide x?
False
Suppose 2842 = 19*t + 714. Is 8 a factor of t?
True
Suppose 179 - 35 = 3*y. Suppose l = -3*l + y. Is l a multiple of 7?
False
Let u(t) = 3*t**2 - 13*t + 12. Let y be u(5). Does 22 divide 38/(-57)*y*-3?
True
Let i(m) = -m**2. Let u(a) = -2*a**2 - 25*a - 43. Let d(v) = -i(v) + u(v). Is d(-20) a multiple of 19?
True
Suppose -3*c = -0*c - 102. Suppose 42 = -j + 68. Let o = j + c. Is 30 a factor of o?
True
Let s(g) be the second derivative of 3*g**6/40 + g**4/12 - g**3/3 - 11*g**2/2 + 4*g. Let d(h) be the first derivative of s(h). Is d(1) a multiple of 3?
True
Suppose -1 = 21*b - 106. Suppose -12 = -3*z, b*z = 4*o - 467 - 345. Does 36 divide o?
False
Let h = -25 + 1. Does 16 divide (16/h)/(2/(-129))?
False
Suppose -348*a = -344*a - 308. Does 7 divide a?
True
Suppose 0 = -2*b + 5*c + 1033, -1157 - 373 = -3*b + c. Is 15 a factor of b?
False
Let p(i) be the second derivative of -21*i**5/20 - i**4/6 + i**2/2 + i. Let a = 2 - 3. Is p(a) a multiple of 14?
False
Let g(t) = 4*t - 28. Let k = -6 - -18. Let r be g(k). Is 3 a factor of (-1)/(-7) + r/7?
True
Suppose -4*z + 5*s = -1507, -3*z + s + 4*s = -1124. Is z a multiple of 42?
False
Suppose 5*n + 37*a - 3705 = 34*a, 0 = n + a - 743. Does 82 divide n?
True
Suppose -4*k = -8*k + 396. Let j = 183 - k. Is 8 a factor of j?
False
Suppose -3*s - 1542 = -4*z, -5*s = -2*z + 300 + 478. Is 4 a factor of z?
True
Let o be ((-10)/(-4))/((-2)/(-76)). Let n = -36 + o. Is 22 a factor of n?
False
Let u = -26 + 31. Suppose -9*w = -u*w - 416. Is 1098/39 - 16/w a multiple of 14?
True
Let z(f) = 2*f**2 - f + 32. Let w(p) be the first derivative of -p**4/4 + p**3/3 - 1. Let m(r) = -w(r) + z(r). Is 16 a factor of m(0)?
True
Suppose -14*j = -46*j + 1280. Does 2 divide j?
True
Suppose -4*b = -3*z + 912, -5*b = -4*z + 1611 - 394. Does 14 divide z?
True
Let i(z) = 4*z + 21. Let t be i(-7). Does 19 divide (t/(112/36))/(3/(-152))?
True
Is 7 a factor of -70*-3*477/54?
True
Let l = -69 - -95. Let v = l + -12. Is 7 a factor of v?
True
Suppose 218*w - 24297 = 205*w. Is 89 a factor of w?
True
Let n(w) = -1. Let h(b) = -6*b + 8. Let k(a) = h(a) - 3*n(a). Is k(-6) a 