alse
Suppose -3 = 74*u - 75*u. Suppose -4*f - 8 = 2*g, -4*g - 3 = -u*f - 20. Suppose g*b = -0*b, 16 = t + b. Is 3 a factor of t?
False
Suppose 725 = 137*j - 142*j. Let s = -28 - j. Is s a multiple of 24?
False
Suppose -24*u = -31*u - 4613. Let o = 672 + u. Is o even?
False
Let u be (-6)/10*(-22 + 7) - 4. Suppose 0 = -u*y + 2*b + 1768, 4*y + 9*b - 8*b - 1404 = 0. Does 8 divide y?
True
Let h(z) = z - 5. Let v be h(10). Suppose v*o - 3*o = 38. Suppose o - 69 = -5*d. Is d a multiple of 9?
False
Let b(m) be the third derivative of m**6/120 - m**5/6 + m**4/2 - 24*m**2. Let q be b(9). Suppose 5*u - q = -i, -6*i - 5*u = -3*i - 81. Does 9 divide i?
True
Suppose 29*d - 158272 = 175*d - 513344. Is 68 a factor of d?
False
Let s(p) = 80*p + 56. Let v be s(8). Let y = v - 465. Is y a multiple of 11?
True
Let z = 224 - 40. Let h = 25 + z. Is h a multiple of 28?
False
Is 181 a factor of (-9)/(-6)*(11 + 200415/45)?
True
Suppose -2*w + 2*v = w - 31026, v = -6. Is 93 a factor of w?
False
Let x be (-13541)/(-99) + -1 + 4 + (-170)/45. Suppose 0 = 5*s - a - 56, -3*s - s + 5*a + 28 = 0. Let o = x - s. Is o a multiple of 29?
False
Let u(n) = -n**3 - 5*n**2 - n + 10. Let z be u(-3). Let t be 1/z + 96/5. Let y = t - -16. Does 9 divide y?
False
Suppose 40*o = 27*o + 361504. Does 7 divide (o/264)/((-1)/(-3))?
False
Let y = 2461 + 15619. Is y a multiple of 20?
True
Suppose 63*y - 8389925 = -362*y. Is y a multiple of 34?
False
Suppose 2 - 356 = -3*d. Let l = -75 + 155. Let q = d - l. Is q a multiple of 7?
False
Suppose 24 = 5*z - 3*p, -4*p = -z + 4*z + 3. Does 3 divide (39/(-6))/(z*1/(-108))?
True
Suppose 128164 + 192407 = 10*o + 17*o. Is o a multiple of 6?
False
Let n be (117/(-52))/((3/4)/3). Is n*2191/(-28) + 3/4 a multiple of 43?
False
Let f = 299 - 281. Is 39 a factor of (3 - 210/f)*-36?
True
Let v(m) = -14*m**2 + m + 2. Let x(z) = -15*z**2 + 1. Let l(r) = 3*v(r) - 4*x(r). Let w be 2/4*216/(-36). Is l(w) a multiple of 40?
False
Suppose 4*z - 5113 = 11538 + 8513. Is z a multiple of 9?
True
Suppose 14 + 8 = 11*h. Does 10 divide (-4)/h - (3 + 3 + -35)?
False
Let j be (15/18)/(5/30). Suppose -2*x + j*v + 19 = 0, -x + 1 + 3 = 3*v. Does 2 divide x?
False
Does 19 divide -35*22/275*(-2110)/4?
False
Let n(i) = 7*i**3 - i**2 + 5*i + 2. Let w(b) = -2*b**3 + b**2 - b + 1. Let v(z) = n(z) + w(z). Is 19 a factor of v(3)?
False
Let z(k) = 3258*k - 270. Is 20 a factor of z(5)?
True
Suppose 2*x - 3600 = -3608, 83900 = 3*f + 4*x. Is f a multiple of 63?
True
Let f be ((-9)/(-6))/(3 - 10/4). Suppose f*h = 3*q + 6, 4*h - 2*h + 4*q - 16 = 0. Suppose -20 = -h*c, 7*d - 6*d + 5*c = 64. Is 5 a factor of d?
False
Let l(x) = x**3 + 14*x**2 - 2*x + 1. Let w be l(-7). Suppose 7*p + w - 3508 = 0. Is p a multiple of 75?
True
Suppose 2*i + 3*b - 1288 = -0*i, 0 = -4*i + 5*b + 2554. Let l = -213 + i. Is 11 a factor of l?
False
Suppose -62*t = -5*v - 51*t + 42420, -3*v - 5*t + 25510 = 0. Is 24 a factor of v?
False
Let m = 100 - 97. Suppose -4*b + 270 = m*h, 0*h = 3*b + 2*h - 203. Does 23 divide b?
True
Let s(x) = -x**2 + 18*x + 21. Let i(m) = m - 1. Let r be i(6). Suppose -68 = l - r*l. Does 6 divide s(l)?
False
Suppose -o - 3836 = -8*o. Let u = o + -300. Suppose b - 224 = -2*m, 4*b = -2*m - 12 + u. Is 10 a factor of m?
True
Let s(b) = b**2 + 44*b + 84. Let x be s(-42). Suppose x = -91*o + 69*o + 11660. Does 33 divide o?
False
Suppose -1565 = -3*t - p + 592, 15 = -5*p. Suppose 16*s - t = -8*s. Is s a multiple of 10?
True
Let m be (1/1)/(3/87). Let g = m + -32. Is 5 a factor of 1/3 - 74/g?
True
Suppose 7*g - 2264 = 396. Suppose k + 5*i = -4*k + g, -148 = -2*k + 2*i. Suppose -k = 3*q + 4*t - 217, 5*t = 20. Is q a multiple of 21?
True
Suppose 301*z - 294*z - 35 = 0. Suppose -20*j + 7485 = -z*j. Is j a multiple of 44?
False
Suppose -37*r + 26*r - 3036 = 0. Let w = r + 307. Does 20 divide w?
False
Let v = 82 + -64. Suppose -6*m = -v*m + 1860. Is 5 a factor of m?
True
Suppose -94*u + 93*u - o + 7896 = 0, u = o + 7908. Does 19 divide u?
False
Let o(j) = 55*j - 132. Suppose -3*z = -2*a - 24, -2*a + 3 + 5 = z. Is 32 a factor of o(z)?
False
Let k(g) = -g**3 + 12*g**2 - g + 25. Let o be k(12). Suppose -592 = -o*j + 8*j - 4*r, 4*j + r = 478. Is 60 a factor of j?
True
Let h(d) = -d**2 + 18*d - 29. Let f be h(16). Let m be ((f - 3)/3)/(-1). Suppose -2*b + 95 + 65 = m. Is 20 a factor of b?
True
Let g(j) be the second derivative of -j**3/6 + 13*j**2/2 + 47*j. Let n be g(10). Suppose 0 = n*m + 6, -5*m - 118 + 44 = -4*x. Does 14 divide x?
False
Suppose d - 2*d - 1 = 3*u, -5*u + 25 = -5*d. Let p = u + 55. Is p a multiple of 14?
True
Let p(n) be the first derivative of 2*n**3 - 3*n**2 - 13*n + 43. Let b be p(-6). Suppose b = 5*y - 2*f - 501, 5*y + 2*f - 740 = 0. Is 23 a factor of y?
False
Let o be (-2 - -14) + (-6)/3*-2. Let s(g) = g**3 - 15*g**2 - 17*g + 18. Let z be s(o). Suppose z*v + 5*x = 9, 2*v - 4*x + 0 = 54. Is v a multiple of 3?
False
Suppose -4*f + 887 = -5*u - 613, f = -4*u + 354. Let t(s) = 20*s**2 + s + 2. Let x be t(3). Suppose q - x = -a, 2*a - q - f = q. Is 37 a factor of a?
True
Suppose 2*h = 4*m + 1 + 7, 0 = 3*h - m - 12. Let q be (h/8*0)/((-2)/1). Suppose q = -4*c + 49 + 11. Is c a multiple of 15?
True
Suppose 7*j - 31 = -h, 0 = -5*h + 10*j - 7*j + 3. Let w = 10 + -7. Suppose w*g = i + 227 + 40, -g + h*i + 81 = 0. Is 18 a factor of g?
True
Is 47 a factor of (-4)/((-224)/238294) - (-2 + (-27)/(-12))?
False
Let q = -8933 - -16026. Does 44 divide q?
False
Suppose 30*f - 290466 = 3*f. Suppose 32*y = -y + f. Is 12 a factor of y?
False
Suppose -873 = -14*q - 229. Does 3 divide q?
False
Let l(i) = -9 - 4*i - 13 - 35 - 7*i + 24*i**2 + 2*i. Is l(-5) a multiple of 36?
False
Suppose 111522 = 5*h + c, 40*h - 89208 = 36*h - 4*c. Is 79 a factor of h?
False
Suppose 5*c = -54 + 9. Let w be -5 - 7347/c - 4/(-6). Suppose -2*x - u + 392 = -3*u, 4*x + 3*u - w = 0. Does 20 divide x?
True
Let v(f) be the third derivative of -3*f**4/8 + 5*f**3/6 - 15*f**2. Is 10 a factor of v(-15)?
True
Let m(f) = -8*f**2 - f - 2. Let k be m(4). Let w be k/14 - 4/(-7). Is 16 a factor of (2 + -4)*w - 2?
True
Let c = 26 - 23. Let y = 3 + c. Suppose y*h = 14*h - 240. Does 4 divide h?
False
Suppose 0 = g + 3, 4*f = 3*g + 15690 - 1169. Is f a multiple of 3?
False
Suppose -14 = -7*n + 14. Let y = 6 + n. Is (-3760)/(-28) + y/(-35) a multiple of 15?
False
Let i(x) be the second derivative of 7*x**3/2 - 99*x**2/2 + 106*x. Is 16 a factor of i(7)?
True
Let o(p) = p**3 - 7*p**2 + 9*p - 18. Let g be o(6). Suppose 3*u = -5*d + 212, g*d + 172 = 3*u - 5*d. Is 8 a factor of u?
True
Suppose -17*l + 12*l + 23520 = 5*c, -2*c + l = -9405. Is c a multiple of 86?
False
Let o(j) = j**3 + 13*j**2 - 6*j + 39. Let c be o(-15). Let h = -240 - c. Is h a multiple of 9?
True
Let q(k) be the first derivative of -7*k**4/4 + 2*k**3 + 7*k**2 - 4*k + 200. Is 8 a factor of q(-2)?
True
Let v be (10/8)/((-5)/11420*1). Is -4*v/80 - (-9)/(-12) a multiple of 8?
False
Let a be (-8)/(-20) + (-1465)/(-25). Suppose -i = -a + 55. Suppose -89 = -i*h + 7. Does 8 divide h?
True
Let j = 0 - 667. Let r = -51 - j. Is r a multiple of 14?
True
Let z(i) be the third derivative of i**8/10080 + i**7/2520 + i**6/144 + i**5/12 + 4*i**2. Let j(n) be the third derivative of z(n). Is j(-5) a multiple of 9?
True
Let i(m) = -98*m + 24. Let k be i(-4). Suppose -4*p - 969 = -3*c + 279, -4*p = -c + k. Does 18 divide c?
False
Suppose -5*n = 10 - 20. Does 11 divide 765/n + (-45)/(-30)?
False
Let r be 162/(-20) - 68/(-680). Is 88938/90 - r/10 a multiple of 77?
False
Suppose -379*f = -322*f - 54492. Does 4 divide f?
True
Suppose 2*i + 1128 = 3*l - 61408, l + 2*i = 20840. Is 108 a factor of l?
True
Suppose 5815*t = 5797*t + 589806. Is t a multiple of 33?
False
Suppose 287*z - 1467967 - 1548977 = 0. Is z a multiple of 48?
True
Let c(w) = -w**3 + 9*w**2 + 27*w - 9. Let k be c(12). Let n be 3/(k/6) + (-74)/26. Is -2 - (-1 + -22)/(n/(-12)) a multiple of 18?
True
Let g(v) = v**2 + 9*v + 910. Is 35 a factor of g(-35)?
True
Suppose 0 = -17*c + 30*c + 39104. Is c/(-36) + ((-40)/(-9) - 4) a multiple of 21?
True
Suppose -2*l - l = 27. Let a(b) = 6 + 30*b - 12*b - 16 - 17*b - 5*b. Is 13 a factor of a(l)?
True
Suppose 2*s - 25 = -13. Suppose 7*v - 2*v = -3*i + s, 0 = -2*i + 3*v + 4. Suppose -i*z - 260 = -5*x, -3*x + 54 = 