lse
Is 12 a factor of (-1380)/184*(-1864)/3?
False
Let m be 13/2 - (-30)/(-12). Suppose 0 = -2*q, 0 = 5*v - m*v + 5*q - 64. Is 8 a factor of v?
True
Is ((-64949328)/(-78))/24 - (-2)/(-13) a multiple of 9?
True
Let x be ((-3)/6)/(1/(-2)). Suppose 3*p - x + 13 = 0. Is (-3 - -6) + p - -45 a multiple of 16?
False
Let z be 262*(-3)/(-6)*-1. Let t = z - -538. Is t a multiple of 37?
True
Let a(s) = -2*s + 232. Let q be a(-22). Let d = q + -190. Is d a multiple of 29?
False
Let b(r) = -7 - 13 - 8 - 9 + 179*r + 6. Is 9 a factor of b(3)?
False
Suppose 140 = 4*y - 2*o - 26, 3*o + 117 = 3*y. Let p(x) = y + 2*x - 4*x + 16*x**2 - 45. Is 8 a factor of p(-1)?
False
Let m be 1117/(4/20*5). Suppose -10*l = m - 8077. Is ((l/(-16))/((-3)/(-4)))/(-2) a multiple of 3?
False
Let y = -2457 + 2467. Let z be (-42)/1 + 6/3. Is 24 a factor of (z/(-2) - 2)*(y + -6)?
True
Suppose -5*d + 9 = r - 11, 4*d - 16 = -5*r. Suppose 19 = 5*c - d*o - 0*o, 3*o = -4*c + 9. Is 11 a factor of -9*(-1)/c + (40 - -2)?
False
Let z be -6 - (-1)/((-1)/(-89)). Suppose 5*y - 36 = w + 357, -2*w = y - z. Is y a multiple of 3?
False
Let f = -2312 - -3787. Does 7 divide f/15 + (-2)/(-3 + 9)?
True
Let z(j) = 10*j**3 - j**2 + 76*j + 63. Does 78 divide z(9)?
True
Suppose -z - 9 = -53. Let i = -41 + z. Suppose 0 = -i*u - 0*u - 4*g + 164, 0 = u - 3*g - 59. Is 11 a factor of u?
False
Suppose 41*b = 46*b - 25. Suppose 4*n - 4*s = b*n - 199, -s - 728 = -4*n. Is 14 a factor of n?
False
Let h(g) be the first derivative of g**2/2 + 13. Let l be h(2). Does 6 divide (-4)/8 - (-131)/l?
False
Let f(y) = 224*y + 744. Is f(0) a multiple of 6?
True
Let n = -28 + 40. Let z be -1 + (n/(-3))/2. Let r = z - -28. Is r a multiple of 6?
False
Let z(u) = -6*u + 38. Let m be z(6). Let n be 105/(2/6 + m/3). Suppose -2*k + s + 2*s = -n, s = -5*k + 271. Does 6 divide k?
True
Let h = 2279 - 1891. Does 11 divide h?
False
Is 20 a factor of ((-2)/4)/((315/1778400)/(-7))?
True
Suppose -74*p - 31*p + 128820 = -29*p. Is p a multiple of 27?
False
Let s(p) = 60*p + 10523. Is 20 a factor of s(0)?
False
Let l be -17 + 19 + (0 - -2) + -104. Let v = -63 + -205. Let k = l - v. Does 12 divide k?
True
Suppose -2462*g + 50732 = -2440*g. Is 52 a factor of g?
False
Suppose -480*w = -475*w - 5*a + 5, 2*w = -4*a + 16. Let i(o) = -4*o**3 - o**2. Let v be i(-1). Is (v + w)/(6/18 - 0) a multiple of 5?
True
Let k(v) = -6*v - 11*v + 35 - 78 + 30. Suppose 9 = -3*n + 5*b, n - 4*b + 4 = 1. Is 8 a factor of k(n)?
False
Suppose -2*a - 4*o = -1 + 15, -a - 6 = 3*o. Let p(f) = -568982 + 568973 - f**2 - 2*f + 2*f**2. Is 6 a factor of p(a)?
True
Let x be ((-205280)/(-25))/4 - (-2)/10. Suppose -19*l + 2906 = -x. Does 27 divide l?
False
Let v = -69 + 73. Suppose 3*p - 992 = -p + v*h, -3*p - 2*h = -719. Is p a multiple of 26?
False
Suppose 12 = 21*c - 30. Suppose -4*o + 3*r = -1983, 811 + 168 = c*o + r. Does 22 divide o?
False
Let y(g) be the first derivative of 120*g**2 + 111*g - 13. Is 63 a factor of y(4)?
True
Let o be 30/(-105) + 130/14. Suppose 0 = 2*u + 5*b + 16, 0 = -3*u + 4*b - o*b - 14. Suppose -2*i = d + 2*i, u*i - 6 = -d. Is d a multiple of 3?
True
Let i(n) = 1154*n**2 + 6*n - 8. Does 48 divide i(1)?
True
Let a(t) be the third derivative of -t**6/24 - 7*t**5/60 + t**4/24 + t**3/2 - 6*t**2. Suppose 0 = 4*y - 3*o, 2 = y - o + 1. Is a(y) a multiple of 8?
True
Let u(o) = -o**3 + 7*o**2 + 5*o + 9. Let p be u(8). Let i be (11/3 - 3)/(14/(-14280)). Is i/p + 1/(-3) a multiple of 19?
False
Let h = 468 - 515. Does 6 divide h*(-8 - -4) - 5?
False
Let q(o) be the third derivative of 3*o**4/2 + 9*o**3 - 6*o**2 + 7*o. Does 45 divide q(6)?
True
Let a(h) = -2*h**3 - 7*h**2. Suppose 9*i - 8*i = 2*y - 4, 4*y = -i - 10. Is 12 a factor of a(i)?
True
Is 6 a factor of (5/(105/648))/((-165)/(-22330))?
True
Does 50 divide (-252)/(-35) - 7 - 41802/(-15)?
False
Let r = -41 - -20. Let a be (-7554)/r - (-4)/(-14)*-1. Suppose 0*z + a = 4*z. Is z a multiple of 10?
True
Let u = 69 + -67. Suppose -18 = -s + 3*n, 3*s + u*n = 4 - 5. Suppose -5*z + 227 = -3*p, s*z + 2*p - 186 = -z. Does 6 divide z?
False
Let h be 3562/130 - (-2)/(-5). Suppose 28*c - h*c - 16 = 0. Is c a multiple of 2?
True
Let t = 1645 + -3349. Let b = 2666 + t. Is 52 a factor of b?
False
Suppose -4*s - 3012 = -h, -h = 8*s - 3*s - 3039. Suppose h = -837*j + 840*j. Does 16 divide j?
True
Let u = -337 - -340. Suppose 4*p - 27 = -3*l + 276, -5*l - 171 = -2*p. Is p/u*(1 - 0) a multiple of 6?
False
Let c = -4358 - -9550. Is 44 a factor of c?
True
Let v(u) = -u + 33. Let s(h) = -h + 65. Let j(f) = 2*s(f) - 5*v(f). Let y = 597 - 581. Does 5 divide j(y)?
False
Let p be (1 + (-1)/(-2))/((-9)/(-12)). Suppose 0 = 2*c - 4*k - 184, -3*c + 3*k = p*c - 467. Suppose -c = -3*m + 122. Does 14 divide m?
False
Let k(g) = -5*g**3 - 5*g**2 - 6*g - 10. Let b be k(-3). Let r = 82 + b. Suppose -r = 4*u - 640. Is u a multiple of 23?
True
Suppose -3*i - 5*r = -1367, 2*i - 18*r - 909 = -19*r. Suppose 384*y + i = 386*y. Is 10 a factor of y?
False
Let r = 12 - 28. Let h(t) = 5 - 14 + 0 - 12 - 2*t. Is h(r) a multiple of 11?
True
Suppose -2*i - 3*d + 2940 = -5034, -3*i = d - 11954. Is i a multiple of 24?
True
Suppose 4*o - 2*k = 12589 + 31887, o = -2*k + 11124. Does 10 divide o?
True
Let w = 126 - 116. Suppose 0 = -w*s + 6*s - 24. Is 16 a factor of 10/15 + (-788)/s?
False
Suppose 5*z - 1395 = -5*s, 0*s = -3*s - z + 833. Let v = s - 162. Is 7 a factor of v?
False
Let d = -52 + -89. Does 17 divide (-17*1)/(567/d + 4)?
True
Let y be 36*(-9)/(-12)*3/9. Suppose 681 = w + 4*o, -5*w = -y*w + 2*o + 2670. Is w a multiple of 27?
False
Let v = -209 + -30. Let t = -159 - v. Does 10 divide t?
True
Let r(x) = -486*x - 24. Let p be r(-4). Suppose -8*k + p = -2*k. Suppose -k = -3*w - 50. Does 30 divide w?
True
Let m be (-1373 - -3)*(3/6)/(-1). Let p = -144 + m. Is p a multiple of 26?
False
Suppose 176*f - 169*f - 1134 = 0. Suppose -2*a = -5*a + f. Is 3 a factor of a?
True
Let a(b) = -b**3 - 3*b**2 - 3*b - 5. Let i be a(-3). Suppose -i*f = -71 - 489. Is f a multiple of 13?
False
Suppose -k = -4*k + 15. Suppose 0 = 3*g - 11 + k. Does 18 divide (4/(-9)*-3)/(g/81)?
True
Let m = 7686 - 15053. Does 48 divide 1/8 - m/8?
False
Suppose 2*b + 0 = 3*w - 7, 4*w = -4*b + 36. Suppose 2*y - w*m = 33, -3*y - 1 = 2*m - 3. Suppose 4*p - 238 = t + y*t, -2*t = 4. Is 9 a factor of p?
False
Let c(t) = t**3 - t**2 - t + 77. Suppose -2*z = -0*r - 3*r + 60, -4*z = 12. Let g(h) = h**3 - 19*h**2 + 18*h. Let d be g(r). Is 14 a factor of c(d)?
False
Suppose h - 4 = 0, 125 - 469 = 5*o - h. Let j = o + 68. Does 11 divide (-432)/162*-6*(1 - j)?
False
Let c(a) be the third derivative of a**6/120 + 11*a**5/60 + 5*a**4/24 - a**3/6 + 3*a**2. Let h(p) = -p**2 + 3*p + 9. Let o be h(-3). Does 15 divide c(o)?
False
Suppose 0*h - 4*u = -h - 12, 4*u = 2*h + 12. Suppose 57*c - 6156 = 48*c. Suppose 3*g + c = 4*o, -5*g - 154 = -h*o - o. Is 40 a factor of o?
False
Let v be 6/15 - (-46)/10. Let g(u) = -34*u + 283. Let k be g(8). Let q = v + k. Is 4 a factor of q?
True
Suppose 0 = -165*q + 168*q + 4*x - 144920, 5*x = q - 48275. Is 42 a factor of q?
True
Let n = 46 - 80. Let k = 115 + n. Suppose 0 = 9*r - 6*r - k. Is r a multiple of 9?
True
Suppose 4*r + 773 = 189. Let t = r + 224. Suppose a + 3*w - t - 15 = 0, -3*w + 9 = 0. Is a a multiple of 28?
True
Let l(w) = -2175*w**3 + 3*w**2 + 3*w + 1. Let a be l(-1). Suppose 3*y - 7*f = -2*f - a, -3*y - f - 2200 = 0. Let q = -492 - y. Is 48 a factor of q?
True
Let o(r) = 2152*r**2 + 116*r - 238. Is o(2) a multiple of 17?
True
Suppose -x = g - 229, -1574 = -6*x - 2*g - 216. Is x a multiple of 2?
False
Let r(i) = -3*i**3 + 12*i**2 - 42*i - 286. Does 214 divide r(-14)?
False
Suppose -7*o = 16*o + 7*o - 390600. Is 105 a factor of o?
True
Let f(r) = -11*r + 3575. Does 44 divide f(-51)?
True
Suppose 5 + 67 = 18*u. Suppose x - 294 = -9*b + 7*b, -2*b - u*x = -288. Is 4 a factor of b?
True
Suppose -y = -2*s + 880 - 191, 2*s - 4*y - 704 = 0. Does 6 divide s?
True
Suppose -2*j - 150 + 1120 = 2*f, j = -3*f + 491. Is 23 a factor of j?
False
Suppose -6*x + 2015 = -x. Let v = x - 134. Suppose -5*j = 5*a - 242 - 203, 3*a = -2*j + v. Is 13 a factor of a?
True
Let i = 7 + -4. Suppose 680 = m + i*m. Suppose -5*f + 701 = -2*q + 6*q, -4*f = -q + m. Is q a multiple of 50?
False
Let b = -49 - -