f - 4*x - 162. Is -28 greater than f?
True
Suppose 23*w = -45*w - 748. Is w != 3.5?
True
Let m(h) = -h**3 - 12*h**2 + 21*h + 40. Let y be m(-17). Is 1128 < y?
False
Suppose 240 = -t - 3*a, -2*a + 3 = 9. Let l be t/(-490) - 4/10. Which is smaller: 1 or l?
l
Let j = 257 + -257. Is 1/203 > j?
True
Let g be (-6)/21*14/(-8)*808. Is 403 smaller than g?
True
Let r = 15.6 + -2.6. Let j = r + -18. Does -1 = j?
False
Let n = 58 + -141. Let m = n + 52. Let y = 43 + m. Which is greater: y or 1?
y
Suppose 8*l - 3*m - 463 = 4*l, 0 = -5*m - 25. Is 110 equal to l?
False
Suppose -l - 2*l = 0. Suppose l = -5*c + 16 + 9. Let q = c - 7. Which is greater: q or -1?
-1
Let g = 49 + -536/11. Let u = 73/28 + -20/7. Which is greater: g or u?
g
Suppose 2*k + 8 = 0, s - 4*k - 1 = 3. Let c be (-2)/8 - (-141)/s. Which is smaller: -38/3 or c?
-38/3
Let w = -280 - 654. Do w and -934 have the same value?
True
Let t = -0.3 + 0.1. Let f = -379 + 379.3. Which is greater: f or t?
f
Suppose 5*h + 25 = 0, -4*f - 4*h = 3 + 13. Let m(p) = 5*p**2 - 2*p. Let c be m(2). Let r be (-6)/c*(-4)/(-6). Is f less than r?
False
Let m = -48/13 + 257/52. Let k = 10 + -10. Suppose -3*i = -k*i. Do i and m have the same value?
False
Let m be (-600)/(-27) + 12/(-54). Is m less than 23?
True
Let k(f) = -9*f + 17. Let u be k(5). Let g be (-11)/(-5) + (2 - u/(-20)). Which is greater: g or 4?
4
Let h = 0.1826 + 0.2174. Is 190 less than h?
False
Suppose 0 = -13*t - 369 + 954. Which is smaller: t or 47?
t
Suppose -3*o - 2*y = -7, 4*o + 3*y - 9 = -0*y. Suppose 2*n = n + o. Let v be n + 0 - (3 + 4). Is v >= 1/4?
False
Suppose -51*r + 13 = -38. Let c = -373/6 + 62. Which is greater: c or r?
r
Let s(m) = m**2 - 15*m - 17. Let c be s(16). Suppose 0*r - 4*a = -r - 12, 3*r - 9 = 3*a. Which is greater: r or c?
r
Suppose 408 = 472*r - 475*r. Is r bigger than -136?
False
Let i be 5214/(-1505) - (3 + 25/(-7)). Let v = 4/43 + i. Is -4 less than or equal to v?
True
Let b = 2/241 - 2197/3374. Suppose 5*f + 4*f = 0. Which is smaller: f or b?
b
Suppose -5*i - 137 = -172. Is 5 not equal to i?
True
Let h be ((-20)/(-2850))/(2/3). Which is smaller: h or 0?
0
Let h = 2527 - 2330. Which is smaller: h or 198?
h
Let a = -52/841 + 97066/1597059. Is -1 greater than a?
False
Let s be ((-12)/9)/4 + 0. Let d(t) = -2*t**3 - 2*t**2 + 1. Let o be d(-2). Suppose -6*z + o*z = -3. Which is smaller: s or z?
z
Suppose 0*h = -0*h - 3*h. Let w be 7/(-28)*(0 + 2)*h. Is -0.07 greater than w?
False
Let q = -1 + 0. Suppose -372 = 4*u + 472. Let y = 2949/14 + u. Which is smaller: y or q?
q
Suppose -2*k = 4*m - 116, 2*m - 5*k + 38 = 3*m. Suppose -7*y = -3*y - m. Let u = y + -7. Is u less than or equal to 2/15?
True
Let v = -1/20619 + -185467894/226809. Let x = -819 - v. Is x equal to 0.2?
False
Let o = -826.81 - -827. Does -1 = o?
False
Let s be 9 - (-3 - (-2808)/63). Is -34 <= s?
True
Let k be (-5)/15 + 166/282. Which is smaller: k or 1?
k
Let a(x) = -x**2 + 7*x - 9. Let q be a(3). Let p be -11 - (q - 2 - 0). Which is bigger: p or -14?
p
Let h be (1/173)/((-621250)/(-207083) - 3). Let i = -1197 + h. Is i greater than or equal to 0?
True
Let k = -321 - -5779/18. Is 15/2 at most as big as k?
False
Suppose 127 = 4*b - 3*p, 14*p = -b + 12*p + 18. Which is bigger: 33 or b?
33
Let z = -1 - 0. Let b be 316/(-234)*-3 + -4. Is b <= z?
False
Suppose s = -a + 31, 3*a + 5*s = -0*a + 91. Suppose -2*l + 4*y + a = 0, -5*y + 4 + 1 = 0. Is l bigger than 18?
False
Let o = 359/1744 + -2/109. Does 1 = o?
False
Let r be 28/13 - (-72)/(-36). Suppose -24 + 6 = 3*h. Let v be (h/(-9))/((-4)/(-6)). Is r at most v?
True
Suppose 2*k - 2*a - 7 = k, 2*a = -2*k + 14. Let h = k + -13. Let l be (80/(-24))/(14/h). Which is smaller: 1 or l?
1
Suppose -o + 5*o = 4. Let m = -12/245 - -3072/2695. Which is bigger: o or m?
m
Suppose 2*m - 4*m = -3*o - 6, 4*m + 4*o + 28 = 0. Let x(f) = f**3 - 4*f**2 - 8*f + 12. Let i be x(5). Is i at least m?
True
Suppose -17*j - 448 = -45*j. Is j at most 16?
True
Let g = 282 + -246. Let r(m) = -m**3 - 6*m**2 + 11*m - 3. Let c be r(-8). Is c greater than or equal to g?
True
Suppose -56 = -3*a - 5*g + 3*g, a = -4*g + 12. Let z = -21 + a. Let c be z/1*(-26)/39. Which is greater: c or 1?
1
Let s(c) = -13 - 7*c**3 + 5*c + 8*c**3 + 11*c**2 - 13*c - 2*c**3. Let l be s(10). Do 9 and l have the same value?
False
Let p be ((-4)/230)/(3 + (-145)/(-25)). Is 1 > p?
True
Suppose -4*i - 3 = 3*b, 19*i - 18*i + b = -1. Let p = -820 + 9833/12. Is i != p?
True
Let h be 7/84 - (-19)/(-192). Which is greater: h or 1?
1
Suppose 3*a = 20*u - 25*u - 14, 4*a + 15 = -3*u. Let c be -2 - ((-8)/10)/2. Which is smaller: u or c?
c
Let c = 751/318 - 3/106. Is c greater than or equal to -2/9?
True
Suppose 2*y - 5*y - 4*w - 4 = 0, -3 = 4*y + 3*w. Suppose v - 3*v - 20 = y. Let k = v + 12. Is 2/3 bigger than k?
False
Let g = 3122 - 655621/210. Is g < 1?
True
Let p be 40/10 + (-2 - -4). Let v = -13 + 8. Is p < v?
False
Let a be 6*(4 - 35/(-15)). Let q = a - 40. Which is bigger: q or -1?
-1
Let c be 4/42 + (-4088)/(-294). Is 53/4 >= c?
False
Let t = 166 - 165. Which is smaller: t or 11/10?
t
Let c = -0.9556 - 0.0444. Which is smaller: 9/85 or c?
c
Let s be (-91611)/13091 + -3 + 10. Which is smaller: -1 or s?
-1
Let z(b) = -4 - 5*b - 6 - 25 - 8. Let d be z(6). Which is bigger: d or -0.1?
-0.1
Let i = -20 - -24. Suppose -2*c - 3*q - 2 = -7, -i = 4*q. Suppose -c + 9 = -f. Is -5 at most as big as f?
True
Let n be (-1)/(-2) - 9/((-54)/(-5)). Is 2/81 greater than or equal to n?
True
Suppose 2*d = 6*d - 40. Suppose -d*g = -6*g - 12. Suppose -i + g = 4. Are 2/15 and i unequal?
True
Let m = 117 - 197. Let x be (45/m)/(6/8). Suppose -6*l - 1 = -5*l. Which is smaller: x or l?
l
Let s be (20 - (-2 + 3)) + 4/2. Suppose 0 = 20*d - s*d - 1. Let m = -3/58 + -17/232. Which is greater: d or m?
m
Let v = -5.06 + 0.06. Let h(d) = 2*d + 2. Let w be h(-2). Let x be (1/6)/(w/(-6)). Which is bigger: v or x?
x
Let z be (-4)/((2/17)/1). Let w be (-10)/(-1)*(3 + (-78)/12). Do w and z have the same value?
False
Suppose 112 = 3*o + c, c - 188 = -21*o + 16*o. Do o and 43 have different values?
True
Let s = -0.06 + -0.94. Let l = 15.24 + -0.24. Let n = l + -13.5. Does s = n?
False
Suppose 0 = -5*z + 4*p + 115, p = -p + 10. Suppose z*t - 28*t = -2. Which is smaller: 20/9 or t?
t
Let p = 5 + -3. Suppose -v + z = p*v - 2, 4*v - 2*z = 4. Is 0 at most v?
True
Suppose -2*y + 6 = -4. Let c(l) = 3*l + 2. Let d(b) = 2*b + 1. Let u(m) = y*d(m) - 2*c(m). Let z be u(2). Which is smaller: z or 8?
8
Suppose 9*c + 53 = -1. Let a(v) = v**2 + 12*v + 30. Let d be a(c). Suppose -2 = z + 3. Which is greater: d or z?
z
Let c = -12310022 + 603159961/49. Let q = c + 635. Is 1 greater than or equal to q?
True
Suppose g - 2 = -4*n, 0*n - 5*g + 10 = -4*n. Let h(m) = -2*m - 3. Let z be h(n). Let k be 2/6*(-2)/(-3). Which is greater: z or k?
k
Let z(s) = s**3 - 5*s**2 + s - 5. Let w be z(5). Suppose 3*m - 2*m = w. Suppose m = -h + 1 - 2. Is 5 less than h?
False
Let x be 2/(-7) - (10 - (-44070)/(-4284)). Is -1 greater than x?
False
Suppose -2*y - 3*t + 4 = 0, 3*y + 6 = 5*t - 7. Which is greater: y or 603?
603
Let y(v) = 2*v**3 - 18*v**2 + v + 7. Let s be y(9). Which is greater: s or 12?
s
Let m = -9 - 8. Let q = -19 - m. Which is bigger: -16 or q?
q
Let b(i) = -i**2 - 14*i - 24. Let s be b(-10). Which is smaller: 6 or s?
6
Suppose -12 = -3*p - 3*z + 8*z, 5*p + 5*z = 20. Suppose 5*g - 2*i - 3*i = -45, -p*i - 9 = 5*g. Let n(s) = -2*s**2 - 9*s + 7. Let u be n(g). Is 0 bigger than u?
False
Let l(q) = 148*q + 4. Let s be l(-1). Let w be s/(-18)*8/(-2). Which is bigger: w or -33?
w
Let m = 59 - 60. Let u be (-42)/27*(9/(-7) + m). Which is bigger: u or 4?
4
Let j be (((-24)/(-45))/((-352)/80))/(-1). Is 1 < j?
False
Suppose 1026 = 4*x + 110. Is 227 less than x?
True
Let q be (496/(-6))/((-14)/(-21)). Do q and -249/2 have the same value?
False
Suppose 4*s - 4*b = -140, 62 = -5*s - 3*b - 73. Are -23 and s nonequal?
True
Let y be (-9)/(-45)*(-1660)/(-4). Is y not equal to 918/11?
True
Let q = -6 + 10. Let s = 13 + 10. Let h = -20 + s. Is h smaller than q?
True
Let u be (60/(-50))/(73/5). Which is greater: u or 1?
1
Suppose 0 = 3*n - 7 - 77. Let v be (n/8)/7 - (-110)/(-236). Are v and 1 equal?
False
Let r = 0.8 - -11.2. Let g = r - 15. Are g and -2 non-equa