r(-51) a multiple of 87?
False
Let d be (-466)/(-20) - (-24)/(-80). Suppose d*m - 3434 = 6*m. Does 101 divide m?
True
Suppose -16*y + 238647 = 25079. Does 50 divide y?
False
Let f = 128 - 123. Let b(i) = -2*i**3 + 14*i**2 + 2*i - 12. Let j be b(7). Suppose 2*g - 196 = -4*q, f*q + 78 = g + j*q. Is g a multiple of 6?
True
Suppose -35*n + 39*n + l - 5241 = 0, 0 = -2*l - 14. Is n a multiple of 171?
False
Suppose -2*p + 13898 = -h, -4*p - 5*h = -8*h - 27802. Does 10 divide p?
False
Suppose -s - 25 = -3*y, s - 3*s = 2. Let i(w) = -w**2 + 6*w + 18. Let q be i(y). Suppose -q*z + 28 = n - 4*z, 0 = 3*z - 9. Is 12 a factor of n?
False
Let h be -1 - (-11 + (0 - -4) + 1). Suppose -h*b + 37 = -g, 8*g = 2*b + 5*g - 20. Let u = 138 + b. Does 15 divide u?
False
Suppose 743*w + 260092 = 767*w - 38132. Is 19 a factor of w?
True
Let v be (-9 + 312/40)*870/(-4). Suppose -3*r + a + v = -333, 4*r - 784 = 4*a. Is 87 a factor of r?
False
Let t(r) = 243*r**2 - 4*r - 3. Let y be t(-2). Suppose -10*o = -y - 223. Suppose -31*b + o = -26*b. Is b a multiple of 13?
False
Let h be 12/(-8)*(-20)/(-3). Let n be 3/(-6)*h + -1. Suppose -n*t = -2*g - 200, 5*g = 5*t - 8*t + 163. Is 17 a factor of t?
True
Suppose -3*k - 24 = 0, -110*k = f - 115*k - 12892. Does 63 divide f?
True
Let q be ((-33)/9)/(-2*4/1152). Suppose 9*h + q = 20*h. Is 12 a factor of h?
True
Does 3 divide (-12)/33 + 43380/110?
False
Let q(n) = 7*n**3 - 5*n**2 + n + 14. Let m be q(3). Suppose 265 = 4*a + m. Let i = a + -4. Is i even?
True
Let a = 20549 - 3525. Is a a multiple of 16?
True
Suppose -494592 = -9*d - 55*d. Is d a multiple of 42?
True
Suppose 0*v - 1113 = -7*v. Suppose -f - v = -4*f. Let j = 9 + f. Is 7 a factor of j?
False
Suppose -3*g = -4*o + 32, 2*o + 11*g - 9*g = 30. Suppose 9*a = -o*a + 3040. Does 8 divide a?
True
Suppose -3*y = 54*y - 26526 - 39309. Does 62 divide y?
False
Suppose -5*z - 23*z + 79117 = -116995. Does 9 divide z?
False
Let u(h) be the first derivative of 23*h**2/2 - 34*h + 39. Let f be u(8). Suppose 412 = 2*n + 5*d + 109, -2*d = n - f. Does 18 divide n?
True
Let h = 2100 - 1494. Suppose -1110 = -26*y + h. Is 3 a factor of y?
True
Suppose 23*p = 1059908 - 279380. Suppose -31*j - 11*j + p = 0. Is j a multiple of 9?
False
Let w(c) = -36*c**2 + 2*c + 7. Let z be w(3). Let u = z + 799. Suppose 0 = 3*g - 0*l + l - u, 5*l + 619 = 4*g. Does 23 divide g?
True
Suppose -2*h + 10 = -h. Let o(g) be the third derivative of 11*g**4/24 - 5*g**3 + 3*g**2 - 20. Is 8 a factor of o(h)?
True
Suppose -5*r + 4*q = -8993, -8*r + 9*r - 4*q - 1789 = 0. Suppose -36*d + 287 = -r. Is d a multiple of 7?
False
Let x(m) = -m**3 - 8*m**2 - 2*m - 16. Let f be 9 + -7 + (-1 - 9). Let j be x(f). Suppose 5*v + l = 6*l + 705, j = -v - 2*l + 153. Is 29 a factor of v?
True
Let n = 11832 - -55273. Is 204 a factor of n?
False
Let o be (-389985)/(-20)*(48/18 - 0). Suppose 11426 = -23*m + o. Is 89 a factor of m?
False
Suppose -31*v = -27*v - 44. Suppose q - v = -4*k, -q = -4*q + 4*k + 97. Suppose 0 = -4*x + q + 37. Is 4 a factor of x?
True
Let q(m) = 3642*m - 631. Is 98 a factor of q(4)?
False
Suppose -15 = 3*p, 4*d - 3*p = -15 + 50. Suppose -2*w - 36 = -3*w - 2*t, d*w + 4*t = 162. Does 3 divide w?
True
Suppose -95*x - 2208 = -101*x. Does 31 divide (-2 - x/2)*(-31 + 28)?
True
Let f = 1435 - 2542. Let l = -215 - f. Does 25 divide l?
False
Suppose -6*n + 775 + 491 = 0. Let k = n + -115. Is k a multiple of 7?
False
Let s = 10 - 12. Is (s + 10 - 4) + 879 + -4 a multiple of 24?
False
Let v = 1463 - 896. Does 9 divide v?
True
Let b(i) = -227*i + 415. Is 54 a factor of b(-31)?
True
Let a(c) = -5*c - 33. Suppose -23 = 3*y + 2*i, -2*y = i - 2*i + 13. Let m be a(y). Suppose 0 = -d - p + 140, -p = m - 7. Does 17 divide d?
False
Let g be (-238)/21*(-9)/2. Let h = 42 - g. Is (-20)/90 + (-119)/h a multiple of 4?
False
Let o(l) = 59*l - 13. Suppose 0 = 4*c + 4*u + 92, 6*u = 4*c + u + 92. Let x(r) = -r**2 - 24*r - 21. Let p be x(c). Is o(p) a multiple of 35?
True
Let v(l) be the second derivative of 2*l**3/3 + 8*l**2 - l. Let d be v(-3). Is 25 a factor of (d/(-10) + 1)*125?
True
Let c be 4/(-12) + (-8)/3. Let b(n) be the second derivative of 5*n**4/12 + 5*n**3/6 + 3*n**2 - 228*n. Is b(c) a multiple of 18?
True
Suppose 14 = -2*m + v + v, -2*m + 6 = 3*v. Let y be (-545)/15 + (-1)/m. Is (-146)/(-6) - 3/(y/8) a multiple of 8?
False
Suppose -u = 3*u, -3*y - 3*u - 930 = 0. Let m be y/75 + 2 + 56/(-30). Is m/5*(310/(-4) - 0) a multiple of 9?
False
Suppose 0 = -2*k + 36 + 74. Is 5 + 8/(-44) + 16730/k a multiple of 9?
False
Let r = -63 - -60. Let o = r + 154. Let u = o - 68. Does 6 divide u?
False
Let l(u) be the third derivative of 2*u**5/15 - u**4/24 - u**3/2 - 12*u**2. Let a be l(-3). Suppose -6*n + a = -3*n. Is 12 a factor of n?
True
Let x(s) = 265*s**3 - s**2 - 3*s + 3. Suppose -5 = 5*v - 10. Is x(v) a multiple of 25?
False
Let c = 90 + -90. Suppose c = -5*y - 248 + 678. Is y a multiple of 21?
False
Let n = 14049 + -4257. Does 16 divide n?
True
Let y = 46 + -38. Let a be 179/((-8)/y*(-2 - -1)). Let k = a - 88. Does 35 divide k?
False
Is 43 a factor of (-4)/1 + (-1)/((11 - 6)/(-35925))?
True
Let b = 479 + -44. Let w = b + -289. Let k = w - 141. Does 5 divide k?
True
Suppose -c = 3*s, -s - 3*s = -4*c. Let q be 1 + 3/(3 - s). Suppose 4*u - 4*o - 111 = -o, -4*o = -q*u + 68. Does 8 divide u?
True
Let n = 21463 + -6028. Is n a multiple of 49?
True
Let i = 1171 + -348. Suppose -2*l + i = 127. Is 58 a factor of l?
True
Let j(w) = -5*w**3 + w**2 + 9*w - 22. Is j(-6) a multiple of 10?
True
Let n(f) = 134*f - 10. Let v be n(4). Suppose 5*s - 2682 = -m, -14*s - 5*m - v = -15*s. Is s a multiple of 12?
False
Is ((-15)/(-18) + 5/(-15))*10594 a multiple of 18?
False
Suppose 31*y - 12*y - 95 = 0. Suppose 0*j - j + y*c = -16, -2*c = -3*j + 61. Does 21 divide j?
True
Suppose -5*r = -3*t + 21583, -17*r = -t - 12*r + 7191. Is t a multiple of 4?
True
Suppose -y = -2*c - 940, -2*c = 7*y - 4*y - 2852. Is y a multiple of 6?
True
Suppose 14959 = -129*j + 134*j + 3*c, 0 = -4*j - 3*c + 11969. Is j a multiple of 26?
True
Suppose -i = 3*p - 13504, 7*i + 17984 = 4*p + 3*i. Suppose 10*q + p = 16*q. Suppose -13*w = -3*w - q. Is w a multiple of 15?
True
Let s(b) = b**2 - 7*b - 9. Let f(g) = -35*g - 24 + 3*g**2 - 22 + 2*g**2. Let p(x) = 2*f(x) - 11*s(x). Is 5 a factor of p(6)?
False
Let y(g) = -595*g - 2371. Is y(-18) a multiple of 31?
True
Let j = 6463 + -6095. Is 2 a factor of j?
True
Suppose 619*p - 612*p = 7056. Does 12 divide p?
True
Let c be (-957)/(-5) + -10 + 480/50. Suppose -1483 = -2*y + c. Does 31 divide y?
True
Suppose u + 61 = 66, -3*u + 12 = -m. Suppose -4*t - 4*i + 3477 = i, 0 = -m*t - 5*i + 2614. Is t a multiple of 10?
False
Let h(t) = -2*t**3 - 11*t**2 + t. Let g(f) = -3*f - 2. Let c be g(2). Let d be h(c). Suppose o + 5*o = d. Is 8 a factor of o?
False
Does 30 divide (-194)/(-6 - (-4256)/714)?
False
Let m = 4525 - 7124. Let x = m - -1156. Is 12 a factor of x/(-18) - (-1)/(-6)?
False
Let b = -3 - -8. Suppose -2*x + b*p = -228, 0 = 9*x - 14*x - 5*p + 640. Does 49 divide x?
False
Let t(y) = 346*y**2 + 19*y - 32. Is 60 a factor of t(4)?
True
Let i(y) = -75*y - 22 - 10*y - 27. Is 14 a factor of i(-7)?
True
Suppose 5*n + 103650 = 5*d, 8*n - 62155 = -3*d + 6*n. Is d a multiple of 17?
True
Suppose -9*g - 40 + 13 = 0. Let y be (g/2)/((-20)/40). Suppose 310 = y*d + s, -d - s + 4*s + 120 = 0. Is 45 a factor of d?
False
Let n(d) = 38*d**3 + 2*d**2 + 3. Let i be n(2). Let v = 441 - i. Does 14 divide v?
True
Let l be -1 + 7 - 5959/(-59). Suppose -100*i - 644 = -l*i. Does 3 divide i?
False
Let x = -71 + 71. Suppose r - 5*g + 17 = 0, -4*g - g + 15 = x. Let f = 18 - r. Does 10 divide f?
True
Let c = -15336 + 22784. Is 19 a factor of c?
True
Let x(g) = -g**3 + 8*g**2 - 6*g - 21. Let q(c) = c**3 - c**2 - c + 2. Let a(m) = -2*q(m) - x(m). Is a(-8) a multiple of 26?
False
Suppose 0 = 32*p - 63*p + 225749 + 283426. Does 75 divide p?
True
Let v(m) = 6*m**2 - 6*m - 37. Let h(r) = 2*r + 10. Let s be h(-4). Suppose 0*z + 2 = -s*z - 2*a, 4*z - 2*a + 22 = 0. Does 8 divide v(z)?
False
Suppose 0 = 13*j - 127 + 8512. Let z = j + 662. Is z a multiple of 2?
False
Suppose 2*r + 0*l + 5*l + 233 = 0, 0 = -r - 3*l - 114. Is (-4)/(-6) - r*49/63 a multiple of 10?
False
Let f(j) = 25*j**2 - 9*j + 9.