Let m = 0.657692 - 0.257692. Which is bigger: t or m?
t
Suppose 0 = -0*u + u - h, 2*u = 4*h. Suppose u = v + 1 - 8. Suppose v = i + 12. Which is smaller: -4 or i?
i
Suppose 5*y + 4*k + 9 = 0, -y - 2*k + 7 = k. Let i be (3 + 1 + 2)*-1. Let s(j) = 5*j**3 + 30*j**2 + 3*j + 12. Let b be s(i). Which is smaller: y or b?
b
Let c = -1258 - -47807/38. Let n = 203/76 + c. Which is bigger: n or 2?
n
Let b = 2/24847 - 31481157/99388. Which is greater: b or -318?
b
Suppose 0 = 4*u + 4, -2*w + 2*u = 2 - 14. Suppose 36 = w*t + 4*t. Is 5 bigger than t?
True
Suppose 464 = 4*t - 4*p, 40*p - 44*p + 472 = 4*t. Let x = 296 - 179. Is t at least x?
True
Let v(r) = -r**2 + 3*r + 6. Let l be v(5). Let j = 77 - -77. Suppose -4*a + 114 = j. Is a bigger than l?
False
Let o(k) = -3*k**2 + 4*k + 206. Let w be o(9). Is w equal to -1446?
False
Let w(f) = f + 8. Let b be w(-8). Let r = 20522/19 - 1080. Which is smaller: r or b?
b
Let f(r) = -2*r**3 - 47*r**2 + 36*r + 253. Let h be f(-26). Is h less than 2696?
False
Let o be (-4)/6 - 273/9. Let a = 212 + -249. Let b = a - o. Which is smaller: -7 or b?
-7
Suppose 3*w = 6, -4*u + 3 + 21 = 4*w. Suppose -3 - 1 = -u*k. Let m be ((-65)/2)/(880/(-64)). Which is smaller: m or k?
k
Let h = 7 + -10. Let u = -4 - h. Let p = -1.782 + -0.218. Is p < u?
True
Suppose -2*w + 5 = 3*w. Let l be -3*2/18 + w/3. Let d(q) = q**2 + 4*q - 5. Let x be d(-4). Which is smaller: l or x?
x
Let k = -0.085 - -7.985. Let z = 7.951 - k. Let g = z + -0.041. Is g < -3?
False
Suppose 0 = 3*h - 2*i + 7, -2*h + 3*i - 1 - 7 = 0. Which is smaller: h or -45/41?
-45/41
Suppose 24*u + 23*u - 38 = 9*u. Which is greater: 106 or u?
106
Let d(a) = -a**2 - 10*a - 2. Let k be d(-9). Let y(x) = 2*x**2 - 18*x + 24. Let j be y(k). Which is smaller: j or -2?
j
Let x = 32152/2057 - 266/17. Let u = -377/847 - x. Suppose 13 - 1 = 4*c - 2*t, c = -4*t + 21. Which is smaller: u or c?
u
Suppose -7*i = -3431 - 1077. Let f = i + -644. Which is smaller: f or 1/772?
f
Let n = 551.41 + -548. Let o = n + -2.9. Is -1 greater than or equal to o?
False
Let i = 42 - 37. Suppose 0 = 2*h + 2*n - 136, h + 10*n = i*n + 76. Are h and 68 non-equal?
True
Let r = -3651 - -3653. Is 9/17 smaller than r?
True
Let d = -101.5 - -83.5. Is 25 not equal to d?
True
Let z = 0.099 - 1.659. Let f = -1.36 - z. Is f != -17?
True
Let v = 1573.6 + -1697. Let b = 60 - -63. Let f = b + v. Which is greater: 1 or f?
1
Let k(v) = -6 - v - v**2 - 2*v + 0*v + 12*v. Let c be k(8). Let z be (1 + (-1)/c)*13. Which is smaller: 6 or z?
6
Let f = -39.21 - 1.63. Let t = 2.86 - f. Let y = 44 - t. Is y at most as big as -10?
False
Let v = -13021 - -13128. Which is smaller: 103 or v?
103
Let i = 3305/2 - 591607/358. Suppose 0 = -5*p + 3*o - 0*o + 2, 4*p + 5*o - 9 = 0. Is p smaller than i?
False
Suppose -24 = -2*b - 3*b + 4*m, -5*b - 4*m = 24. Is b != -12/277?
True
Suppose 0 = -4*b + 54 - 110. Let z(k) = k**3 - 5*k**2 + 2*k + 2. Let m be z(4). Let j be (4/(-10))/(m/(-210)). Does j = b?
True
Let j = 696994 - 2768745/4. Let y = -4758 + j. Are 50 and y equal?
False
Let z be (12/9)/((-31395)/117). Which is greater: 1 or z?
1
Let v = -10361.8 + 10362. Which is smaller: v or 1221?
v
Suppose -9*j - 9*r = -13*r + 343, 5*j + 193 = r. Is -39 >= j?
True
Let q = 7271/7 - 1039. Which is smaller: q or -0.99?
-0.99
Let n(t) = -41*t**3 - 3*t**2 + 5*t + 4. Let b(k) = -k**2 - 11*k + 9. Let d be b(-12). Let j be n(d). Let g = j + -2181/2. Are g and -23 equal?
False
Let r(a) = a - 10. Suppose 0 = 2*y + 5*l + 5, -9*l + 10*l = -3*y + 25. Let i be r(y). Is -6/101 > i?
False
Let y = 57.42 + -58. Let t = -1.58 - y. Let r = 3 + 4. Is t equal to r?
False
Let k = -37 - -43.7. Let x = k + -9.3. Is x > 3/5?
False
Let v be 17/((-136)/48) + (-3520)/(-596). Let z = v + 205/596. Let y = -0.2 + -1.8. Which is greater: z or y?
z
Let g be -5 - (18241/102)/(-37) - 14354/24. Is g at least -597?
False
Let f be (-19 - -2093)*(-28)/(-2). Is f at least as big as 29035?
True
Suppose 8*r - 245 - 59 = 0. Let z = r + -33. Suppose h + 1 = -2*f - 0, 0 = z*f + h + 1. Which is greater: 2/47 or f?
2/47
Let i = -7446 + 6592. Which is bigger: i or -848?
-848
Let v be 6/(-20) + (-177)/(-890). Let z be ((-3)/(-6141))/((-2)/(-58)). Let l = z + v. Which is bigger: -1 or l?
l
Suppose 0 = t + 2*g - 253, 2*t - 3*g = t + 278. Let c = -266 + t. Is c less than or equal to -6?
False
Let x = -37895 + 37952. Which is smaller: -0.196 or x?
-0.196
Let y = -243 + 247. Suppose 5*p = -14*z + 17*z - 554, 4*p + y*z = -424. Is -109 less than or equal to p?
True
Suppose -4*i + 2 = -3*i. Suppose -5*u = -5*g + 15, 3*u + 13 = -i*g + g. Let c be (g/(-2))/((-5)/15) - -2. Are c and 26 equal?
False
Let t = -1040 - -1042.2. Which is greater: t or 7/3?
7/3
Let f be (-5624)/2520 + (10 - 455/45). Which is smaller: f or -1?
f
Let u be (-2)/(1 + (-35)/21). Let i be (-2)/u*75/30. Do -1 and i have different values?
True
Let q = -60.63 + -1.37. Let m = 260.347 + -261.7. Let j = m - -1.253. Does q = j?
False
Let w = -363 - -534. Let x(r) = 2*r**2 - 5*r - 15. Let j be x(11). Which is smaller: j or w?
w
Let t = 367 - 365. Which is smaller: 79/72 or t?
79/72
Let m be (-341)/(-12) - (-1)/3. Let w(f) = -2*f**3 + 19*f**2 - 65*f + 167. Let i be w(6). Which is smaller: i or m?
m
Suppose -p + 9 - 3 = 3*k, 2*k = -5*p + 69. Let o be (-108)/(-6) - p/(-3). Which is greater: 121/5 or o?
121/5
Suppose 0 = -5*n - 2*o + 29259, 2*o = -4*n + 9224 + 14184. Is 5851 smaller than n?
False
Let r = -471/8 + 59. Let s = 18 + -15. Suppose 0 = -3*b - b - 3*c - 5, -5*c = -s*b + 18. Which is bigger: r or b?
b
Suppose 4*o + 0*o - 3*a = -21, 3*a = o + 21. Is o at least 2/3957?
False
Suppose 41*t - 48*t + 91 = 0. Suppose -4*s = -8, 0 = -2*j - t*s + 17*s - 780. Is j less than -1/3?
True
Suppose 3 = o - 0*o + 5*a, 9 = 3*a. Let s be 35/3 + 2 - o/(-18). Suppose -3*z - 9 = -3*b - 0, -3*b + s = -5*z. Do 2/89 and b have the same value?
False
Suppose 10*k - 16 = 14*k. Which is bigger: k or 17?
17
Suppose 5*j - v + 6 = 0, -1 = 4*j - v + 4*v. Suppose 5*m + x = -65, -27 = -5*x - 2. Let o be 2*(87/m + (65 - 59)). Is o < j?
False
Let j = -252 - -141. Let h be j/(-20) - ((-261)/(-45) + -6). Which is greater: h or 6?
6
Suppose c = -5*b + 2392, -b = 54*c - 52*c - 4847. Is 2430 smaller than c?
False
Let b be -45*(-18)/90 - 10. Which is bigger: 6305 or b?
6305
Let d = 2 - 3. Let b = -260/3699 - -35/137. Is d greater than or equal to b?
False
Let p = 9139 - 7638. Which is smaller: 1504 or p?
p
Let p = 1591.5 + -470.5. Which is bigger: 2/7 or p?
p
Let b(s) = -3*s + 3. Let w be b(21). Let g = w - -60. Suppose g = k - 10 + 10. Is -1/62 greater than k?
False
Let u = 0.33 - -0.38. Let o = -16.29 - u. Let p be ((-1)/4)/((-6)/8). Is o greater than p?
False
Suppose -287*c = -57*c - 10120. Is c <= 65?
True
Let k = 0.030185 - 27.037185. Let t = k - -0.007. Let v = -52.21 - -54.21. Is v != t?
True
Let c = 920386 - 113206267/123. Let t = c - 59/6. Which is smaller: -2 or t?
-2
Let n be (-9370)/4 + (-9)/(-18). Let v be 1/(8/3) - n/(-16). Which is smaller: v or 1?
v
Let g = 170 + -157. Let z = -12 + g. Is -5/68 at most as big as z?
True
Let o = -1083 + 24914/23. Let r = -2 + -82. Let k = -83 - r. Are k and o unequal?
True
Let v = -0.63 - 3.47. Let g = -58 + 53.9. Let i = g - v. Do i and -1/12 have different values?
True
Let w = -4363/94953 + 3/1021. Let z(c) = 19*c - 609. Let v be z(32). Which is bigger: v or w?
w
Let s be 2019/15 + (24/10)/6. Suppose -2*c + 5*u - 82 = u, 3*u - s = 3*c. Are -48 and c unequal?
True
Let g = -0.13517 - -5.13517. Which is bigger: g or 266?
266
Let g(t) = t**2 + 18*t - 13. Let d be g(-19). Suppose -d*f - 2*f + 96 = 0. Let v be (2 - -40)*1/3. Is v > f?
True
Let u be (1 + ((-4)/(-8) - 5))/(342/1206). Which is greater: -11 or u?
-11
Let m = -8170 - -8175. Which is smaller: m or 8/29?
8/29
Let p(f) = 2*f**3 - f**2 - 3*f - 2. Let r be p(3). Suppose -j = 38 + 54 + 12. Let m = j + r. Is -70 less than m?
False
Let m = 295 + -297.314. Let x = m - 0.086. Let q = 1.6 + x. Is 0 not equal to q?
True
Let f = -0.3 + 0.1. Let s = 9.8 - f. Let x be 0*-2*11/66. Which is bigger: x or s?
s
Let d be 3/(-9) - (-2871)/27. Suppose -d + 38 = z. Which is bigger: -66 or z?
-66
Let c(w) = w - 12. Let y(r) = r - 15. Let o be y(6). Let v = o + 20. Let l be c(v). Which is bigger: -2 or l?
