alse
Let w be (-1)/((-10)/3) - (-846)/(-2820). Which is smaller: w or -1/4546?
-1/4546
Let u be 1*-3*(30/(-12))/(-5). Let t = -43/30 - u. Which is smaller: 0.9 or t?
t
Suppose -254*f + 135408 = 61*f - 3*f. Which is smaller: f or -5?
-5
Let q(s) = -s**3 + s - 4. Let b be q(-6). Suppose 0 = -12*f - f + 494. Suppose b - f = 7*h. Do 25 and h have the same value?
False
Let m = -408 + 442. Let y = m + -140/3. Which is bigger: y or -3?
-3
Let h = 389.3 - 421. Let q = 34.7 + h. Which is greater: -11/5 or q?
q
Let z be (541800/4509)/20 - (-5)/((-10)/12). Is 1 not equal to z?
True
Let z = 1 + -2. Let f be 9 - ((-20)/(-8) + 2/(-4)). Let o be (8 - 108/f) + 6. Is o greater than or equal to z?
False
Suppose -1467 - 3582 = -17*w. Which is smaller: 293 or w?
293
Let u be 21/((-2205)/(-1428))*(-1950)/(-4). Which is smaller: 6632 or u?
u
Suppose -62 = 486*k - 980*k + 525*k. Is k greater than or equal to -285.3?
True
Suppose 20 = 71*a - 76*a. Let z be -2 - (-327)/21 - a/(-7). Which is smaller: z or 8?
8
Let p = -2109.9584 - 0.0416. Let a = p - -2125.01. Let j = -0.01 + a. Which is smaller: j or -3?
-3
Let r be 10*9/675 - (-809)/(-330). Which is smaller: r or -3?
-3
Suppose 9*f + 5099 + 11254 = 0. Are -1818 and f equal?
False
Let q(f) = f - 1. Let b(o) = -10*o - 62. Let z(u) = b(u) + 2*q(u). Let r be z(-8). Are -9 and r unequal?
True
Let x be 1 + 2 + 1 + 0. Suppose -x*z + 32 = 3*o, z - 4*z + 31 = 4*o. Let p be 57/38*o/267. Is p equal to 1?
False
Let p = 565.1 - 566. Let r(h) = -h**3 - 4*h**2 + h - 9. Let n be r(-5). Is p less than or equal to n?
True
Let u be (5705/(-10) - 4)/(-6). Let z = -100 + u. Is 0 equal to z?
False
Let h(w) = -470*w + 3754. Let c be h(8). Which is greater: c or -199/43?
-199/43
Suppose -7*m + 38 = 58*i - 56*i, -3*i = 2*m - 6. Do i and -166/61 have different values?
True
Let z be 2/(2 - -2)*-2. Suppose -17 = d - 4*a - 5, 3*d - a + 3 = 0. Let c be (1 + z)/(d + 2). Is -2 not equal to c?
True
Let a = 0.91578 + 0.08422. Which is smaller: a or -141/14?
-141/14
Let o be -2*(-25)/30*3. Suppose 3*k = -1 - o. Let l be 8/k - 288/(-75). Is -1 equal to l?
False
Let d = -143 - -134. Let o be -1 + (-3)/d + (-368)/(-548). Which is smaller: o or 0?
0
Suppose 3*a = w + 32, 3*w - 3*a = -a - 61. Let j = w - -20. Suppose -2*y + 30 = -2*l, j*y - l - 27 = 14. Which is bigger: y or -0.1?
y
Suppose -48 = -16*y + 8 + 328. Is 16/3 greater than or equal to y?
False
Let m = 2572646/8217 + -3444/11. Let t = m + 2468/363789. Which is greater: t or -1?
t
Let l = -4333 - -5957. Which is smaller: 1625 or l?
l
Let y = -54028 - -6321334/117. Let r be ((-12)/(-10))/(((-273)/20)/(-7)). Let v = y + r. Which is greater: v or 1?
v
Let i = 53.5 + -47. Let l = -10 + i. Let v = l - -3.37. Which is bigger: -1/4 or v?
v
Let m be (-1 + (1 - 183))*(-24926)/(-363). Is m bigger than -12565?
False
Let s = -11326 + 11326. Which is smaller: -2946/5 or s?
-2946/5
Let a = -26706 + 32107. Which is smaller: 5402 or a?
a
Suppose -44*s + 26*s = -15*s - 20*s. Suppose 0 = -3*c + 3 + 6. Let j be c*(-5)/(690/(-4)). Is j at most s?
False
Let y(x) = -3281*x - 3367. Let p be y(-1). Let i = 17 - 105. Which is smaller: i or p?
i
Let g = 1679/42 + -555/14. Are g and -5.61 unequal?
True
Let s be (19/3)/((55/(-33))/(-5)). Suppose -2*f - 11 = j, -5*f - j - 10 = s. Is -8 at least f?
False
Let v be -34 + 0 - -16 - -13. Which is smaller: v or -207/37?
-207/37
Let d be ((-8)/6)/(62/(-279)). Suppose -s = -y + d*y + 86, 3*y + 76 = -s. Which is smaller: -63 or s?
-63
Let j = -1939.791 + 1939. Let n = -0.209 + j. Are n and -0.02 equal?
False
Let j = 222/115 + -211459/109480. Which is smaller: -1 or j?
-1
Let s = 0.3399 + -0.3329. Is s smaller than 0.1?
True
Let x = -28723/7 - -4103. Which is bigger: x or -931?
x
Suppose 0 = 2*z + 2*z - 52. Let w be (4/(-6))/(z/3). Suppose -409*t + 1226 = 1635. Is w less than t?
False
Suppose 0 = 3*y - 15, 5*t + 0 = y + 20. Suppose -25 = -t*l + 30. Let v = -52326 - -52331. Is l bigger than v?
True
Let x = -556 + 555. Let h = -60 - -26. Let u = h - 0. Is u < x?
True
Let a = 0.873 - -129.927. Let f = a + -144. Let p = f + 13.5. Which is smaller: -19 or p?
-19
Let m = -92.732 - -93. Let h = -2.268 + m. Let b = 2/59 + -67/236. Which is bigger: b or h?
b
Let p = -2 - -2.5. Let n = p - -0.5. Let l = 576.8 + -557.8. Are n and l nonequal?
True
Let q be (10/(-20))/((-2)/(-2588)). Let u(t) = t**3 - 34*t**2 - 22*t + 100. Let j be u(34). Which is bigger: q or j?
q
Let x = -4.86 + 5.86. Suppose p + 15 = 3*o, -p - 2*o = 2*o - 20. Suppose p = -2*b - 15 - 5. Which is smaller: x or b?
b
Suppose -5*a - 3*l + 0*l = 2610, 3*l + 1566 = -3*a. Which is greater: a or -2614/5?
a
Suppose -40*w + 98 = h - 43*w, 0 = 2*h - 3*w - 193. Which is greater: h or 1347/14?
1347/14
Let m = 19.36 - -0.64. Let c = m + -24.34. Let w = -4.4 - c. Is w < -4?
False
Suppose -9 - 36 = -3*q. Suppose -598 = -8*w - q*w. Which is greater: w or 124/5?
w
Suppose 0 = -3*z + 3, -124 - 162 = 3*p + 2*z. Let u = p + 149. Let v = 81 - u. Is 27 at least as big as v?
False
Suppose -2*o + k + k - 4 = 0, 4*o - 24 = -4*k. Suppose 8 = o*p + 4*f, 5*p = 4*p - f + 3. Suppose d - 27 = p*d. Which is bigger: -26 or d?
-26
Suppose -6*u + 229 = -2*u + 3*b, 4*u - 236 = 4*b. Let a = u + -59. Let r be 2 + 3/2 + a. Which is smaller: r or 3?
r
Suppose 14*x = -2*q + 18*x - 2, -5*q + 3*x + 37 = 0. Suppose -2*b = -3*b + 38. Which is smaller: b or q?
q
Let p = -18.7 + 73.7. Let z = 63 - p. Is z not equal to 8?
False
Let r(y) = -112*y**3 - y**2 - 3*y - 1. Let b be r(-1). Let k = b + -110. Suppose n - 5*n - 4*x + 36 = 0, 4*n + 3*x = 31. Which is smaller: k or n?
k
Let u = 68.946 + -69. Let h = u + 0.154. Let c(i) = -2*i + 3. Let l be c(-6). Which is smaller: l or h?
h
Let h = 3 + -6. Let p = 549882/13 + -42299. Which is bigger: p or h?
p
Suppose -16*q + 457 = 121. Let b be 210/224*(q/9 - 3). Which is greater: b or 0?
0
Let c = 586 - 917. Is c smaller than -2?
True
Let s = 40.74 - 41.35. Let t = -0.56 + -0.01. Let x = t - s. Which is greater: -0.1 or x?
x
Suppose n + 3 = y, -2*y + 3*n = 2 - 10. Which is smaller: y or -10/907?
-10/907
Let f be (-34)/2*(-28)/(-2065)*(-2)/8. Is f < 0?
False
Let p be 13 + (-5628020)/(-1122) + 1/33*-2. Is 5030 < p?
False
Suppose -5*f - 106 + 1136 = 5*z, -2*f = -z + 209. Let y = z + -211. Which is smaller: y or -38/7?
-38/7
Let u be -4 - (-1 - (0 - 0)). Let y = u + 8. Suppose n - 19 = -4*f, -3*f + y*f = 3*n + 13. Which is bigger: -2/103 or n?
-2/103
Suppose 7*s - 23 = 2*g + 12*s, 0 = 5*g + 3*s + 10. Let d = 5328 - 1390606/261. Do d and g have different values?
True
Suppose -5*u = -3*k + 95, -5*u = -15 + 5. Let h = -247/31 + 2161/279. Is h less than or equal to k?
True
Let q = -7838 - -7835. Let n = -614/11 + 56. Is q > n?
False
Let a = 19438125/47 + -413577. Let h = -3 + 2. Is h at most a?
True
Let v(x) be the first derivative of x**4/4 + 2*x**3 + x**2 - 3*x - 17. Let r be v(-6). Let a be ((-8)/(-10))/((-42)/r). Which is greater: -1/14 or a?
a
Let r = 5721651/3619 + -1581. Is -1 at most r?
True
Let m be ((-8)/(-6))/((-5)/30). Suppose -5*n + 10 = -0*n. Let u be -4 - (8/4)/n. Which is bigger: m or u?
u
Let x be 14035/7025 + (-6 - (-7 + 3)). Which is greater: 0 or x?
0
Let j = 5866/1665 + 6/185. Is j less than -1/2?
False
Let h = 13 + -12.93. Suppose -5*d = 3*w + 64, 5*d + 1381 = -4*w + 1294. Is w at least h?
False
Suppose 7*v = 382 + 4028. Let w be (2/136)/(v/(-291132)). Let a = 1/238 - w. Which is bigger: 8 or a?
8
Let r = -41.7764 - 2.9236. Is 1/15 greater than or equal to r?
True
Let a be 22/(-33)*((-10)/50)/(8/(-15)). Suppose -2*s = 5*i + 142, 2*s + i = 3*s + 71. Is s greater than a?
False
Let t be 8 + ((-2 + 0)/(-1))/(450/8325). Which is bigger: t or 6?
t
Let c = -56 + 192. Let q be 11/(-24)*-2 - 34/c. Is q < 75?
True
Suppose 6928 = -83*p - 131848. Which is greater: p or -1671?
-1671
Let s(d) = -d**3 - 9*d**2 + 5*d + 3. Let c be 225/(-27) + (-4)/6. Let r be s(c). Let w = r - -34. Are w and -2/9 unequal?
True
Let l = -5.5 + -24.5. Let f = 33 + l. Let z = -0.032 - -1.032. Does z = f?
False
Suppose -297*n = -3069 - 1648 - 629. Is n smaller than 525/29?
True
Suppose 0 = -3*k + 12 + 90. Suppose 29*q - 33*q = -p + 2758, -4*q = 4*p + 2748. Let a be (-106)/q - 5/(65/2). Is a equal to k?
False
Suppose -77*b - 18267 = -2405. Is 0.01 not equal 