rue
Suppose 0 = -13*n + 16*n - 33. Suppose n*r = 14*r - 432. Let l = r - 95. Is 7 a factor of l?
True
Let s(q) be the second derivative of q**3/6 + 5*q**2 - 14*q. Let a be s(-6). Suppose -2*d + 492 = a*v, 3*d + 264 = 2*v + 34. Does 13 divide v?
False
Let x(j) = 4*j**2 + 13*j + 3. Let c be x(-3). Suppose c = 4*a + 5*b - 215 + 33, -166 = -4*a + 3*b. Is a a multiple of 3?
False
Suppose -4*k + 20 = 0, 4*m = 6*k - 2*k + 6228. Suppose 13*f - 141 - m = 0. Does 12 divide f?
False
Suppose 3*x - 60 = -2*x. Suppose 0 = y + 2*y + x, 0 = 3*b + 4*y - 68. Suppose 5*q + 3 = b, -s + 2*q = -17. Is 6 a factor of s?
False
Let z = -3979 - -6705. Is z a multiple of 5?
False
Suppose 86 + 304 = 2*b. Suppose 0 = -m - 34 + b. Suppose -2*f - 5*q + 38 = -329, -f = -2*q - m. Is 33 a factor of f?
False
Let f(u) = u**3 + 2*u**2 + 7*u + 104. Is 8 a factor of f(0)?
True
Let h be 1 + -3 + 5 + -64. Let g = 32 + h. Let w = g - -36. Is 7 a factor of w?
True
Is (3 - (6 + -1284)) + 11 a multiple of 76?
True
Let d = 5917 - 4824. Does 4 divide d?
False
Suppose -129*v + 6*v + 2297823 = 56*v. Does 11 divide v?
True
Let s(o) = 9*o**2 - 46*o + 966. Is s(31) a multiple of 15?
False
Let y be 2/(-9) - (-264)/(-27). Is 7 a factor of 2/y + (-1410)/(-250)*5?
True
Suppose -19*l = -13*l - 18. Let y be l*(-2 - (-11 + 4)). Suppose -y = 5*i, 5*q + 5*i = -0*q + 480. Is q a multiple of 9?
True
Let i = -17100 - -29699. Is i a multiple of 111?
False
Let n(m) = -5*m**2 - 2*m - 371. Let f be n(0). Let x = f - -915. Is x a multiple of 16?
True
Let w(q) = -q**3 + 16*q**2 + 16*q - 1. Let r be w(17). Let v be 6*1*(-12)/r. Suppose v*f + f - 180 = 0. Does 21 divide f?
False
Suppose -42368 = -5*d + 9122. Does 152 divide d?
False
Let j = 437 + -433. Suppose -2*m = w - 41, 3*m = j*w + 2*m - 173. Is w a multiple of 5?
False
Let u(a) = -1001*a**3 + 9*a**2 + 5*a + 6. Does 40 divide u(-2)?
True
Suppose -5 - 15 = -2*j. Suppose j = 2*y + 4*d, -y - 4*y = 2*d - 17. Suppose 5*l = 4*u + 628, -3*l - 626 = -8*l + y*u. Is 31 a factor of l?
True
Is 3860/3 + 8/(-12) a multiple of 164?
False
Let h be (4 - 440/4)/((-10)/(-80)). Let j = h - -1473. Is j a multiple of 17?
False
Let f = 270 - 270. Let i(j) = -j**3 - 2*j**2 + 294. Is 41 a factor of i(f)?
False
Let b = -15 + 20. Suppose b*t - 3*g = 108, 0*t + 2*t = 4*g + 32. Is (-2)/((t/36)/(14/(-6))) a multiple of 7?
True
Suppose 7*g - 71 = 34. Let d(h) = 13*h + 81. Is d(g) a multiple of 21?
False
Suppose -57340 = -5*b - v, -4*v + 81 - 101 = 0. Is b a multiple of 12?
False
Let v be 395*(196/(-35))/7. Let q = v - -483. Does 17 divide q?
False
Suppose l = 3*l + 256. Is 8 a factor of (6 + l/20)*-240?
True
Let n = -24 - -33. Let u(f) = -f + 12. Let d be u(n). Suppose -285 = -d*c - 3*t, -t - 401 = -5*c + 80. Is 33 a factor of c?
False
Let m(s) = 4*s**2 - 9*s + 51. Let b be ((-30)/4)/15*-10. Is 4 a factor of m(b)?
False
Suppose 3*p - 4*z - 6521 - 26171 = 0, -z - 32716 = -3*p. Does 18 divide p?
True
Suppose 5*r = -4*k + 3, -2*k = -3*k - 2*r. Is (4 - 3)*(k + 415)/3 a multiple of 38?
False
Let k(a) = -2*a**2 + 72*a + 12. Let d(x) = x**2 - 70*x - 11. Let i(l) = -3*d(l) - 4*k(l). Is 13 a factor of i(16)?
False
Suppose 11*j - 16*j + 2805 = 0. Suppose -2*p - 3*l + 393 = 0, -3*p + 6*l - l + j = 0. Is p a multiple of 16?
True
Let b(l) = -l**3 + 35*l**2 - 8*l + 903. Does 64 divide b(26)?
False
Suppose -18 = -5*b + t, b + 10 = 5*t + 4. Suppose 0 = 3*f - 4*q - 440, -3*f + 712 = 2*f + 4*q. Suppose -f = -0*l - b*l. Is 15 a factor of l?
False
Let b(y) = 16*y**3 - y**2 - y - 2. Suppose 0 = -83*w + 91*w - 16. Does 3 divide b(w)?
True
Suppose 0 = -10*i + 17*i - 70. Suppose -5*u + i = -5. Suppose -2*o = u*o - 2*p - 485, 5*p = -3*o + 322. Is 22 a factor of o?
False
Let u(a) be the third derivative of 5*a**4/24 + 62*a**3/3 - 206*a**2. Is 18 a factor of u(4)?
True
Let k be 24 - (-9)/(9/(-2)). Let h(x) = k - 2*x + 4*x - 7 - 3*x. Is 7 a factor of h(7)?
False
Suppose 0 = -2*l + 37 + 47. Let g = -163 + 135. Let z = l + g. Is 5 a factor of z?
False
Suppose 16*g - 56 = -4*m + 12*g, 0 = 2*m + g - 25. Suppose 4375 - 1284 = m*f. Does 22 divide f?
False
Suppose -214 = 4*g - 32750. Suppose 2194 = -11*x + g. Is 9 a factor of x?
True
Suppose -4*x = -2*x - 4, -10482 = -2*c - x. Is c a multiple of 40?
True
Let t = 38 + -35. Suppose -t*a + 217 = 4*a. Let v = a - 19. Is v a multiple of 3?
True
Suppose 9*f + 666 = 46*f. Suppose f*b = -3*b + 504. Does 8 divide b?
True
Suppose -3*p + f + 2126 = 0, 7*p = 10*p + 3*f - 2118. Suppose 777 = 3*u - p. Is u a multiple of 46?
False
Is 2 a factor of (-2104)/2*(-4)/2?
True
Let q(n) = -n - 2. Let h(z) = -61*z - 21. Let c(x) = h(x) - 5*q(x). Is 15 a factor of c(-1)?
True
Is 45 a factor of ((34/38 - 1) + 4997572/(-4674))*-3?
False
Let d(f) = 33*f + 99. Let l(n) = 65*n + 194. Let b(x) = -5*d(x) + 3*l(x). Does 46 divide b(11)?
False
Let a be 33/2 + 5/(80/24). Suppose 5*m + 0*m + a = -c, 4*c - 18 = -2*m. Let o = 67 + c. Is 8 a factor of o?
False
Let c(o) = 2*o**2 - 8*o + 39. Let j(q) = -q**2 - 18*q - 32. Let y be j(-2). Is 2 a factor of c(y)?
False
Suppose -23*c - 42 = -24*c. Suppose -j + 347 = -c. Does 36 divide j?
False
Let h(n) = 11*n + 2. Let z be h(-1). Let g(r) = 10*r - 9. Let l be g(z). Let m = -8 - l. Is 15 a factor of m?
False
Suppose -4*q + 32 - 28 = 0. Let f = -58 - q. Let z = 64 + f. Does 5 divide z?
True
Let u = 48 + -38. Let o be 77/(-5) - u/(-25). Does 48 divide ((714/(-15))/1)/(3/o)?
False
Let g = -9398 - -27078. Is 208 a factor of g?
True
Let p(c) = -6*c + 62. Let l be p(11). Is l/(-24) - 34/(-12) - -67 a multiple of 5?
True
Is ((-3)/12)/((-165)/(-2530308))*-5 a multiple of 29?
True
Suppose -4*b - 15 = -11. Does 34 divide 9/3 - (b - 413)?
False
Let h(l) = l**2 - 25*l + 50. Let i be h(2). Let w be (-3)/2 + 5/(-2). Is 4 + (i - -33) - w a multiple of 42?
False
Suppose -g = -4*i - 5412, i - 302 = -g + 5100. Does 11 divide g?
False
Does 10 divide (1*(-42)/28)/((-2)/508)?
False
Let w(u) = -u - 23. Let m be w(-23). Suppose m*z = 7*z + 70. Does 53 divide (8/z)/((-2203)/(-315) - 7)?
False
Suppose -5*t + 658 = 48. Let j = 964 + -1026. Let f = j + t. Is 15 a factor of f?
True
Let n be (2/(-6))/(2/18). Let v be ((-2)/n)/(8/84). Suppose 513 = v*t - 75. Does 21 divide t?
True
Suppose 2*p = -4*r + 33538, 5*r - 7106 = -p + 9642. Does 253 divide p?
False
Let q(m) = -m + 1. Let u(b) = b**2 + 14*b + 21. Let c(t) = 3*q(t) + u(t). Let a be c(-10). Does 18 divide 4/a - (-500)/14?
True
Suppose -k = -h - h - 231, -2*k = -h - 456. Let p = -50 + k. Does 4 divide p?
False
Let j(c) = -c**3 + 30*c**2 - 24*c + 35. Let l be j(29). Is ((-64)/(-12))/((5/l)/1) a multiple of 11?
False
Let i(w) = -w**3 - 4*w**2 + 8*w + 20. Let b be i(-5). Let j = -3 - -9. Suppose 0 = -5*k + j*k + c - 77, 0 = -b*k + c + 355. Is k a multiple of 18?
True
Suppose -5*k = -8*j - 213594, -5680*k = -5677*k + 5*j - 128078. Is k a multiple of 50?
False
Let t(h) = h**2 - 4*h - 18. Let o be (12/9)/((-2)/9). Let z be t(o). Suppose -5*u + 290 - 79 = -4*b, -u = -b - z. Is u a multiple of 8?
False
Suppose 5341 = -23*m + 17853 + 3910. Is m a multiple of 45?
False
Let i = -1362 - -2532. Does 6 divide i?
True
Let o(z) = 487*z - 3181. Is o(7) a multiple of 76?
True
Suppose 3*x - 5*m - 22479 = 7170, 0 = 4*x + 3*m - 39561. Is x even?
True
Let n = 21 + -19. Suppose -4*k + 23 + 313 = n*p, -2*p + 346 = 2*k. Let d = p - 46. Does 37 divide d?
False
Suppose 0 = -86*x + 92*x - 270. Let k = -47 - -15. Let r = x + k. Does 2 divide r?
False
Let g = -451 - -757. Suppose -3*w = -2*l + 50 + g, -w = -4*l + 732. Does 21 divide (-23)/l + 1010/16?
True
Let i(q) = -2*q**2 + 13*q + 7. Let u be i(7). Suppose u = 3*n - 5*k - 28, -3*k + 2*k - 8 = -3*n. Does 2 divide (2 - 2*-3)/n?
True
Suppose 0 = 3*x - 5*c + 9, 0 = 2*x - 0*x + 5*c - 19. Suppose 444 + 440 = k - r, x*k - 3*r - 1770 = 0. Is 20 a factor of k?
False
Let g be 4/1*(-13)/2. Let k(r) = -3*r - 42. Let m be k(g). Is 1628/m - 6/27 a multiple of 5?
True
Let y(h) be the third derivative of -2/3*h**3 + 0*h + 18*h**2 + 0 - 35/24*h**4. Does 14 divide y(-3)?
False
Let q be 14/(-8)*(6 + -2 + -8). Suppose 20 = -q*y + 692. Does 12 divide y?
True
Suppose 5*n + 4*z = 3060, -5*n - z = 2*z - 3055. Suppose 6*u + 2*u = n. Is u a multiple of 7?
False
Let c = -797 + 824. Let o(v) = -v**2 + 40*v - 97. Is 21 a factor of o(c)?
False
Sup