-7*b + 8*b + 104. Is -41 smaller than b?
False
Let q = -666.0313 - -666. Let k = -0.1313 - q. Does k = 23.9?
False
Let i be 2/((-8)/6) + 45/18. Let g be 1/(3 + -3 + i). Which is smaller: -4 or g?
-4
Let p = 1153 - 427. Let r be ((-2)/p)/(4/12). Let y = r - 117/484. Which is bigger: y or -1?
y
Let b = -1028.73 - -3.73. Let a = -1070.88 - b. Let k = a + 46. Which is greater: 6 or k?
6
Let y = 10.322 + 0.678. Let f = 3 + -20/7. Which is bigger: f or y?
y
Let p(r) = -3*r**3 - 39*r**2 + 43*r - 5. Let o(f) = -4*f**3 - 58*f**2 + 63*f - 8. Let m(d) = 5*o(d) - 7*p(d). Let n be m(16). Is -38 smaller than n?
True
Let t be (-5)/1 + (-16)/(-56)*-28. Let g = -2/19675 - 3108624/255775. Which is smaller: g or t?
t
Let v be 100/45 + -14*(-8472)/3780. Suppose 2*w - 89 = -21. Is v greater than or equal to w?
False
Let n(d) = -d + 1. Let h be n(0). Let u be 1*(0 + -2 + (h - -1)). Suppose 5*a + 2*l - 4 = -2, u = -l + 1. Which is bigger: a or -2/59?
a
Suppose 14 = -3*j - 34. Suppose 1 = 4*k - 15. Suppose -k*u + 138 - 190 = 0. Is u greater than j?
True
Let q be (-1 - (6 + 9396)) + (-39 - -51). Which is smaller: -9389 or q?
q
Suppose 3*a - 17 = -2. Suppose -m - 10 = l - 6*m, 40 = 5*l + a*m. Suppose 0 = -5*s + s - 5*c - 191, -l*c = -2*s - 73. Is -45 > s?
False
Let i = -4747205/149 + 95581/3. Is 0 equal to i?
False
Suppose -1570488 = -112*m - 1575080. Suppose -3*x + 42 + 78 = -3*r, -5*r - 2*x = 235. Which is smaller: m or r?
r
Let u = 54 + -24. Suppose -58*d - 780 = -28*d. Let s be (126/u)/(d/20). Which is smaller: s or -2?
s
Let c(g) = -22*g - 731. Let d be c(-12). Do d and -468 have the same value?
False
Let p = -9449 - -9450.03. Which is bigger: 1/6 or p?
p
Suppose -17 = -2*b - 0*m + m, 0 = 4*b - 4*m - 40. Suppose 603 + 573 = b*p. Let q = 499/3 - p. Is 0 at most as big as q?
False
Let p = -381 - -4227/11. Let r be ((-23)/(-46))/(1/66). Let k be (-6)/(-18) - (0 + r/(-9)). Which is smaller: k or p?
p
Let p = -7938.96 + 7736. Let b = 203 + p. Is -1/4 at most b?
True
Let d = 932 - 931. Let q = 21.8 + -44.8. Which is smaller: q or d?
q
Let x = 411.2553 + -0.2553. Which is smaller: 0 or x?
0
Let f be 2 - 1 - 81*2. Let q be ((-5025)/(-100) - 50)/((-3)/1932). Does q = f?
True
Suppose -4*m - l = -7*m + 5, -2*l = m + 3. Let g be (156/78 + (-18)/4)*10/(-55). Is g >= m?
False
Let r be (-8)/2 - 9/(-50850)*22588. Which is smaller: r or 1?
r
Let o = -17707 - -13051. Which is smaller: -0.1 or o?
o
Let k = -364 - -538. Let u be 30/k*(2 + 88/(-45)). Which is greater: -1 or u?
u
Let d be (-2330)/(-11) - (-10)/55. Let p(q) = -2*q + 202 + 3*q - d + 0*q. Let c be p(9). Which is smaller: c or -1/8?
c
Let n be (-32)/10*(1122/(-44) + 23). Is 10 greater than n?
True
Suppose 161*g + 182*g = 69*g + 274. Which is smaller: g or 108/391?
108/391
Suppose 24 - 7 = -24*u + 17. Is u greater than or equal to 0.811?
False
Let h be (2*(-12)/(-42))/((-2)/(-7)). Let l(r) = -9*r**h + 16 + 18 - 2*r**2 - r**3 + 6*r. Let v be l(-12). Is 106 at most as big as v?
True
Let y = -38 + 40. Let i be (-32)/(-40) - y*2/(-20). Let s be i - 7/((-14)/10). Is 2 != s?
True
Let y = -0.08131 - -0.18131. Suppose -5*c - 15 = -4*x, 3*x + 2*x - 3*c - 22 = 0. Suppose 0 = -5*b - d - 3, -b = -4*b - 4*d + x. Is y equal to b?
False
Let s be 26/(-4)*(5 - 9). Suppose -12 = -l + 2*q, 2*l + 3*l - 20 = 2*q. Suppose c = -l*b + 51, 0 = -4*b - c + 54 + 47. Is b > s?
False
Suppose 12 = -5*s + 8*s. Suppose -3*c - 4*a = 26, 2*c - 2*a - s = 2. Let u be -4 - 26/c - -1. Which is smaller: u or 9?
9
Let y = -171 + 3586/21. Let w(o) = 73 - 453*o + 914*o - 452*o. Let h be w(-8). Which is smaller: y or h?
y
Suppose -3*k = 3*v - 27, k = 2*k + 5*v + 11. Let x(i) = i**3 - 16*i**2 + 22*i - 15. Let z be x(k). Are -99 and z unequal?
False
Let j = -0.171 + -1.419. Let z = j + -2.81. Is z < 1/7?
True
Let d(m) = -m**2 + 13*m - 16. Let f be d(14). Let p be f/8*-1 + 0. Do 4 and p have different values?
True
Suppose -11*v + 16*v + 5 = 0. Let g be 52/(-34) + (-33 - -30). Let i = g + 72/17. Are i and v equal?
False
Let a = 236524/5 + -48446. Let x = 73988/65 + a. Is x less than -2?
True
Suppose -5*p = 4*t - 13864, -5*t + 10472 = 5*p - 6858. Is 3469 greater than or equal to t?
True
Let r = -44 - -43.969. Let k = r + 0.131. Is -3/58 at least k?
False
Let p(f) = 18*f - 59. Let s = -233 - -245. Let r be p(s). Which is greater: 158 or r?
158
Let k(y) = -2*y**2 + 64*y + 18. Let l be k(32). Let g(z) = z**2 - 20*z + 32. Let v be g(l). Is -20/7 at least v?
True
Let l be 72/(-64) + 3 + 7/56 - 3. Let r = -0.635 + 0.38. Does l = r?
False
Suppose 0 = 5*u + 3 + 7, 5*f = -u - 57. Let g be ((-156)/(-40))/((-2706)/9020). Which is smaller: f or g?
g
Suppose 5*y = 10 - 0. Let r be ((-196)/(-42))/(y/(-6)). Let f be (63/r)/(3/8). Are f and -13 equal?
False
Let u be (1/(-6) + 6685/294)*7. Let c = 17 - u. Is c bigger than -141?
False
Let s = -3256 + 3247. Is 0.069 greater than or equal to s?
True
Suppose 3*d - s = -201, -2*d - 5*s = 13 + 138. Does 0.02 = d?
False
Let s = -53075 - -52987. Let l = -187 + 98. Is s equal to l?
False
Let a(c) = -c**3 + 6*c**2 - 5*c - 2. Let f be a(5). Suppose -2012 = -v + 5*v. Let u = v + 3529/7. Which is bigger: u or f?
u
Let o be (-62)/34 + (2 - 1). Let w = o + -94/51. Let k(t) = -t**2 + 27*t + 88. Let d be k(30). Which is bigger: w or d?
d
Suppose -2*x = -3*f + 36 - 5, 2*f - 9 = -x. Let m be -5 - 50 - (f + -2 + -2). Does -55 = m?
False
Let w = -9.1052 - -0.1052. Let t be 700/1078 + 4/(-14). Is t less than w?
False
Let d(q) = -11*q + 41. Let f be d(16). Let t = 137 + f. Suppose 193 = -5*a + t*a - 5*x, 2*x + 262 = -4*a. Which is bigger: -65 or a?
-65
Let o be 27/(-15) - (450 - 4). Which is smaller: -448 or o?
-448
Let h = -6 - -9. Let c be ((-6)/(-12))/(h/(-6)). Let j = 14 + c. Which is greater: 14 or j?
14
Let s = -78 - 5. Let l = s + 58. Let b = 0.151 + -0.051. Is b < l?
False
Let p(f) = -4*f - 20. Let n be p(-5). Suppose n = 2*x - x. Let k(c) = -c**3 + 26*c**2 + 25*c + 49. Let y be k(27). Which is smaller: y or x?
y
Let m = 7/3 + -2. Let f = -97.229 + 0.229. Let b = f + 101. Is m > b?
False
Suppose 8*f + 1 - 17 = 0. Suppose -f*v = 3*t - 4*v - 777, t - v = 260. Let m = t + -2857/11. Is m less than -4?
False
Suppose 5*l - 493 = 3*l - 3*q, 2 = 2*q. Suppose 3*w - l = -128. Which is smaller: w or 40?
w
Suppose -4100 = 37*h + 25*h - 21*h. Which is greater: h or -102?
h
Let k be 448/(-48) - (-4)/(-6). Let h be 15644/(-4760) + (-4)/k. Let r = h + 1/34. Is -4 at most r?
True
Let o = -9371/8 - -18311/104. Let g = o + 993. Which is smaller: -2 or g?
g
Let n(b) = -158*b**2 + 38*b - 4. Let w be n(4). Let v be (-28)/(-35) - (-1924)/w. Is v less than or equal to -0.3?
False
Suppose -4*h + 18 = 5*h. Suppose -3*y + 5 = -7, 4*d - h*y + 4 = 0. Which is greater: d or -5/48?
d
Let c = -1621896.044 + 1621896. Let a = -5 + 3. Let w = a + 3. Which is bigger: c or w?
w
Suppose -6*z + 12 = -5*z - 4*w, -4*w - 12 = -3*z. Is z greater than 48?
False
Let d be (-2 - 1 - (-6 + 2)) + 0. Let w be (d/(-526))/((-6)/(-144)). Which is smaller: w or -1?
-1
Suppose 3*n = -4*r - 4, 140*n - 143*n - 12 = 0. Is r <= 47/92?
False
Let d = 981 + -2879/3. Let w = d + -21. Let y = w - -7/6. Is y greater than 3?
False
Let n(d) = d - 1. Let u be 2/(1/1*2). Let w be n(u). Suppose -a = -3, 4*a + 33 = 5*s - w. Is 10 at most s?
False
Suppose 151*u + 223*u = -62*u + 17876. Suppose 0 = -4*m + 8, 2*b + 3*m - 5*m = 76. Is b <= u?
True
Suppose -21*m + 304 = 17*m. Suppose 2 = 2*t - 3*t. Let b be t/(-7) + 150/14. Is m at most as big as b?
True
Let f = -248 + 10662/43. Let d = 4 - 102. Let t = -99 - d. Which is smaller: f or t?
t
Let b be 9652/57855 - 1/6. Which is smaller: b or 1?
b
Suppose 37*i - 32*i - 5*r - 14175 = 0, 11286 = 4*i + 5*r. Is 2833 less than i?
False
Let o = 25 - 35. Suppose -r + 5*r - 3*g - 31 = 0, 0 = 2*r - 3*g - 23. Suppose 0 = -r*k - 347 + 307. Is o <= k?
True
Let d be (1688/110)/(38/(-2375)*-25). Is 39 at least d?
True
Let m be (-8)/(-1122)*15/40. Let s = -6156 + 6157. Which is smaller: s or m?
m
Suppose 2014 = -4*m - p, 8*m + 4036 = -293*p + 295*p. Which is smaller: m or -491?
m
Let x = -155 - -263. Let g = 3441 - 3559. Let o = g + x. Is 3/4 at most o?
False
Let k be 828/219 + (-55)/5 - -7. Which is bigger: k or 1.8?
1.8
Suppose b + 2*a = 811, -b + 632 + 175 = a. Let o = -813 + b. Is -13 > 