5. Is 10 a factor of x(c)?
True
Suppose -l + 1552 = -v + 15, l - 1546 = -2*v. Does 44 divide l?
True
Let i = -75 - -101. Suppose i*y = 31*y - 875. Is 16 a factor of y?
False
Let k(z) = 118*z**2 + 7*z - 44. Does 13 divide k(4)?
True
Suppose -64*m + 3839992 = 122*m + 342262. Does 12 divide m?
False
Suppose 9*m = 3*b + 4*m - 49, 4*b - 37 = m. Let l(o) = 3*o**2 - 15*o + 66. Does 6 divide l(b)?
True
Suppose 3*x + 156*d = 155*d + 2238, 3728 = 5*x + 2*d. Is x a multiple of 11?
True
Let s be 1/4 - 502/(-8). Let n be 6 + ((-18)/6)/((-21)/14). Suppose 2*p = 3*u + s, -n*u + 3*u = p - 25. Is p a multiple of 15?
True
Let i(t) = -t**2 + 8*t - 9. Let q be i(5). Let l(h) = 4*h - 27. Let z be l(q). Is (8/(-3) + -1)*z a multiple of 4?
False
Let r be (5 + -9)/(4/(-2*1)). Let k be 15 + (r/1 - -1). Suppose 2*s - 48 = -2*g, -2*g + g - 4*s = -k. Is 9 a factor of g?
False
Let s(v) be the third derivative of 43*v**6/15 + v**5/20 + v**4/24 - v**3/2 - 6*v**2. Is s(1) a multiple of 38?
False
Let x be (-3)/7 + (-3771)/(-63)*25. Let l = x - 957. Is 9 a factor of l?
False
Suppose -4*l - 8 = -20. Suppose 5*v - 30 = -l*h, -5*v + 0*v = -3*h - 30. Is 15 a factor of ((-30)/(-4))/(v/156) + 1?
False
Let p = 39 + -29. Suppose 1294 = p*z - 556. Let h = z - 107. Is h a multiple of 13?
True
Suppose -454*l + 449*l = -3*p - 41147, -32920 = -4*l + 2*p. Is l a multiple of 88?
False
Suppose -5 = -4*b + w + 15, -4*w = -5*b + 36. Suppose 1585 = b*t + 141. Suppose 3*a + 240 = 2*g, 0 = -3*g - 0*g + 5*a + t. Is 13 a factor of g?
True
Let y(s) = 79*s**2 + 52*s - 91. Is y(-14) a multiple of 23?
False
Is 5 a factor of (183 + -1)*(84/(-63) - (-116)/24)?
False
Suppose -4*q - 10 = -2*h, -6*q - 8 = -2*q - 4*h. Does 8 divide (738 - 2)/2*q/(-6)?
True
Let u = -339 - -344. Suppose -2*c - 2*c = -3*z - 1665, u*z - 445 = -c. Is c a multiple of 60?
True
Let g(c) = 5*c**2 + 10*c - 22. Let x(j) = 9*j**2 + 19*j - 45. Let s(d) = 5*g(d) - 3*x(d). Let i be s(5). Let p = -46 - i. Does 3 divide p?
False
Suppose -v - 5*s + 2 = -3*v, 12 = v + 4*s. Suppose -2*g + 3*g = -v*g. Suppose g = 7*p - 1013 - 93. Does 20 divide p?
False
Suppose 0 = 18*u - 11*u - 28. Suppose -8 = u*t, -4*a + 3*t + 566 = -0*t. Does 7 divide a?
True
Let z = -3388 + 6198. Does 26 divide z?
False
Is 10 a factor of (16 - 4302/36)/((-2)/516)?
False
Suppose -4*q - 3*h + 0*h + 35 = 0, -30 = -q - 5*h. Suppose 3*k - 12*g - 475 = -16*g, k = q*g + 171. Does 3 divide k?
False
Let z = 53934 + -8434. Is z a multiple of 175?
True
Let b(q) = -q**2 - 32*q + 36. Let y be b(-17). Suppose 17*d = y + 1885. Is d a multiple of 6?
False
Suppose -5*b + 65 = -4*d, -2*b + 2*d + 2*d = -38. Does 37 divide ((b/3)/(-6))/(13/(-5772))?
True
Suppose 5*t = -c + 67, -t = -2*c + 159 + 8. Suppose -f - 4*m - 30 = 0, 0 = -f - 2*f - 4*m - c. Let i = 46 + f. Is 10 a factor of i?
True
Let r be (97/(-2))/((-175)/42 - -4). Suppose -11*n + 14*n + r = 0. Let t = 121 + n. Does 8 divide t?
True
Let d = -357 + 368. Suppose 32*t - 18564 = d*t. Is 13 a factor of t?
True
Let r be 2/8 + (-42)/(-24). Suppose 10*b - 11*b + 332 = q, -q = -r. Is 30 a factor of b?
True
Let q(k) = 17*k**2 + 200*k - 2662. Does 39 divide q(12)?
False
Let k(x) = x**2 - 15*x - 3. Let l be k(15). Let y be -1 - (-1 - l) - -15. Suppose -49 = -u + y. Is 19 a factor of u?
False
Suppose -2*o = 121*h - 124*h + 13666, -3*o = 5*h - 22821. Does 80 divide h?
True
Is 358 a factor of (868700/25 - -20) + 1?
False
Does 195 divide (14703/4)/(-3 + 4 - 141/188)?
False
Let y = -285 - -989. Suppose -9 - 8 = -b. Suppose b*j - y = 6*j. Does 16 divide j?
True
Let c be 1*-1 - (-9 + 0) - 3. Suppose -c*a - 4 = -4. Is (a + 3/3)*19 a multiple of 7?
False
Let u(h) = 121*h + 69. Let p be u(14). Suppose 0*d - 359 = -t - d, p = 5*t - 3*d. Does 25 divide t?
False
Suppose 15 = -4*p + 7*p. Suppose -v = -p*v. Suppose 11*i - 6*i - 460 = v. Is 23 a factor of i?
True
Let g = 7 - 4. Is (7 + -6 - g)*(-103)/2 a multiple of 18?
False
Suppose 7*z = -77 + 112. Does 49 divide (z*(-2)/6)/(4/(-588))?
True
Suppose 0 = 5*s - 5*p - 6616 - 42259, 12 = 4*p. Is 69 a factor of s?
False
Let j(k) = -17*k**2 + k + 2. Let t be j(-1). Let n = 21 + t. Suppose 0 = 4*c + 3*y - 351, -c + n*y = 3*c - 375. Is 25 a factor of c?
False
Let y(a) = -a**2 + 11*a + 3. Let f be 1/(3/9) - (1 + -9). Let v be y(f). Suppose -588 = -v*u + 8*c - 7*c, u + 2*c - 196 = 0. Is 28 a factor of u?
True
Does 122 divide 1477/(-844) + (-4062)/(-8)?
False
Suppose -j - 5 = 0, -2*o - 5*j - 3 = 22. Suppose o = 5*v - 25, 4*v - 6 - 2 = 3*d. Suppose -9*i + 3*y = -d*i - 34, -2*y = -i + 4. Does 8 divide i?
True
Let x(c) = 18*c**2 - 105*c - 6. Let q(y) = -2*y**3 - 2*y**2 + 18*y + 36. Let a be q(-2). Is 18 a factor of x(a)?
True
Suppose 0 = -79*x + 88*x - 3384. Suppose -k + x = 2*m - 6*m, -772 = -2*k + 3*m. Is 7 a factor of k?
True
Suppose -32*c = -21*c + 22. Is 35 a factor of ((-7513)/(-33) - 6)*(1 - c)?
True
Suppose -w + j + 208 = 0, 170*w + 2*j - 644 = 167*w. Is 5 a factor of w?
False
Let l = -20703 + 29595. Is 18 a factor of l?
True
Let t = 195 - 53. Suppose 430 = j + t. Does 16 divide j?
True
Suppose 6*q = 10*q + 16. Let u be ((-3345)/11)/(-5) + q/(-22). Suppose 0*f = f + 3*i - u, 0 = -i + 2. Is f a multiple of 5?
True
Let k = -1472 - -1540. Suppose 513 = 3*i + 3*o + 174, 0 = 2*i - 5*o - 233. Let y = i - k. Is y a multiple of 9?
False
Let m = -1837 + 5599. Does 38 divide m?
True
Suppose 2*d = -3*x - 16359, 0*x + 5*x = -2*d - 16349. Does 59 divide d/(-15) - 40/50?
False
Let f(u) = 8*u**3 + 8*u**2 - 7*u - 4. Let z(i) = i**2 + 13*i + 40. Let w be z(-4). Is f(w) a multiple of 8?
True
Let j = -1 - -6. Suppose -4*c = 0, 3*b + 390 = j*b + c. Is 15 a factor of b?
True
Suppose 0 = -90*t + 101*t - 3070 - 14684. Does 65 divide t?
False
Let b(v) = 5*v**2 + 4*v + 3. Let w be b(-1). Suppose 4*j - 5*h = j + 1270, 6 = -3*h. Suppose w*l + j = 8*l. Is 21 a factor of l?
True
Suppose 34*s - 39*s + 185814 = -i, 3*s + i - 111482 = 0. Is s a multiple of 34?
True
Suppose 8*s - 24*s - 24909 = -35*s. Does 16 divide s?
False
Is 20 a factor of (9/3 - -8) + -11 + 33610?
False
Let d(s) = 12 + 16*s - 14*s**2 - 7 + 10 - 5*s**3 + 4*s**3. Let o be d(-15). Suppose 13*f - 10*f - 48 = o. Is 8 a factor of f?
True
Suppose 18 = 4*n - 6*n - 2*z, 3*n = 5*z + 13. Let d = 28 + n. Let p = 32 + d. Is 28 a factor of p?
True
Let s(g) = -112 + 120*g - 252*g + 110*g. Is s(-9) a multiple of 23?
False
Let h(g) = 12*g**3 + 181 - 8*g**2 + 0*g**2 - 164. Is 17 a factor of h(4)?
False
Let l(i) = i**3 + 5*i**2 - 11*i - 3. Let y be l(2). Suppose -4*w + 585 = -3*u, -y*u + 270 = 2*w - 9. Is 18 a factor of w?
True
Suppose -4*b + g + 1085 + 2237 = 0, 3*b - 2484 = -3*g. Suppose -18*s + 1546 = -b. Does 4 divide s?
True
Suppose 6*q + 15 = 51. Is (q + (-324)/(-6))/1 a multiple of 5?
True
Let p = -191 + 207. Suppose 0 = 14*j - p*j + 68. Does 2 divide j?
True
Does 28 divide (4/10*-38)/(-7 + 979/140)?
True
Suppose 0 = -0*x + 2*x - 5*b + 28, 4*b = -x - 40. Is 91 + (-6)/x + 9/(-4) a multiple of 3?
False
Let j(x) = -4*x**2 + 94*x - 32. Let a be j(24). Let r = 422 + a. Is r a multiple of 18?
True
Let q(l) = l**2 - l - 22. Let y = -61 + 75. Does 16 divide q(y)?
True
Let y(j) = 29*j**2 - 6*j - 15. Is y(7) a multiple of 22?
True
Let d be (-6 - -2) + (-1 - -2). Suppose -8*v + 2*w - 138 = -12*v, -2*w - 107 = -3*v. Let q = d + v. Is q a multiple of 32?
True
Suppose 5*q + 11 = -9. Let b be (q/4 + 3/2)*24. Suppose -9*s + b*s - 102 = 0. Is s a multiple of 18?
False
Suppose -2*v + 5*t + 33 = -4*v, 0 = 4*t + 12. Let x(z) = -z**3 - 7*z**2 + 10*z + 16. Is x(v) a multiple of 22?
True
Let g = 33 + -38. Let k(m) = -m**2 - m + 13. Let i(l) = l**2 + 2*l - 13. Let c(d) = g*k(d) - 6*i(d). Is c(-7) a multiple of 5?
False
Let s = -38 - 16. Let u = 5 - s. Is 52 a factor of u?
False
Suppose 2*n - 24 = -6*n. Suppose -454 = -n*h + 2*s, 3*h + 4*s = 434 + 44. Does 6 divide h?
False
Suppose 8*k - 728 = k. Suppose -2*b = -i - 22, 5*i - b = 12 - k. Is 2 a factor of (38/57)/((-1)/i)?
True
Suppose b - 4*o + 16 = 0, 0 = -o + 5 - 0. Let z(f) = 5*f**3 + 5*f**2 - 4*f - 7. Is 4 a factor of z(b)?
False
Let o(x) = x + 2. Suppose -q - 8 + 11 = 0. Let m be o(q). Suppose 3*s + i - 689 = -2*s, -m*s + 5*i = -695. Is s a multiple of 24?
False
Let g = -717 + 8253. Does 29 divide g?
False
Let l = 1518 + -566. Is l a multiple of 28?
True
