o - 2*o = -333. Let d = 349 - o. Is 238 equal to d?
True
Let r = 0.04654 + -0.12454. Is r smaller than 0.12?
True
Let j = 125/104 + -9/8. Let m be (-2 - (-8)/(2 + 0))/2. Which is smaller: j or m?
j
Let n = 739776/5 - 143765. Let k = -4137 + n. Which is bigger: k or 53?
k
Let x be 7*18/(-315)*15/(-6). Is x bigger than -88?
True
Suppose -4006 = -2*z + 43*p - 41*p, 0 = -4*z + 5*p + 8014. Is z smaller than 2000?
False
Suppose -3*j - 2*v + 17 + 0 = 0, 0 = 5*j + 5*v - 20. Suppose 3*m + 5 + j = -2*d, 4*d + 5*m = -24. Which is smaller: d or 3/80?
d
Let v be (0 + -3)/(3/(-44)). Let t be (0 + 3)*(-168)/9. Let k = v + t. Which is smaller: k or -13?
-13
Let v = 4836 + -4833.18. Are v and 4 unequal?
True
Suppose 4*c + 8 = 0, 0*c - 2*c = -2*f + 34. Is 247 >= f?
True
Suppose -4*x + 127 = 35. Suppose 4 + x = h - 3*t, -5*t = -3*h + 85. Let v = 0.07132 - 0.07132. Is h at least v?
True
Let o(t) = t**3 + 8*t**2 + 4*t - 12. Let z be o(-7). Suppose 5*w + 110 = 5*b, z*w - 4*w = 4*b - 90. Let g = 20 - 20.2. Are b and g unequal?
True
Suppose -16*j + 12*j = -4. Suppose -4*q - 5*a + 6 = j, 4*q = -2*a + 14. Suppose -q*x = -71 + 176. Which is greater: -20 or x?
-20
Suppose 39*t = -13*t - 64*t + 992728. Which is greater: 8557 or t?
t
Let n(i) = i**3 + 35*i**2 - 85*i + 771. Let y be n(-33). Is y > 5757?
False
Let z(c) = -467*c - 2343. Let r be z(-5). Let y be ((-186)/(-4))/((-21)/1). Let o = -68/7 - y. Which is greater: o or r?
o
Let x = -2277264/31 - -73480. Which is smaller: 19 or x?
19
Let n be (-28)/(((-100)/(-45))/10). Let v = n - -127. Is v != -3/34?
True
Let t = -184/3 + 62. Let l(b) = -15*b**3 - 2286*b**2 - 914*b - 162. Let q be l(-152). Is q at least as big as t?
True
Suppose -17*a + 1 = 290. Is a bigger than 10?
False
Suppose -3*f + o = 69, 4*f = f - 5*o - 33. Let k be 2/((-8)/82 - 0). Does k = f?
False
Let y be 2 + 105/40 - 2*2. Let b = 9 + -7. Suppose -4*v + 2 = 5*p, 3*p - b*v - 12 = -p. Which is smaller: y or p?
y
Let o = 37.35 - 42. Let y = o - -5. Let l = y - 2.35. Is 1 at most as big as l?
False
Let g = -0.663 + 9.533. Let y = g + -9.07. Which is smaller: y or -29/8?
-29/8
Let x = 460.5 + -460.6. Which is greater: 198/7 or x?
198/7
Suppose 4*g = 4*a - 16, -6*g = -3*g + 4*a - 23. Let n be 3/2*g - (-4)/(-3). Are 0.09 and n equal?
False
Let q = 251995/335202 - -9/4858. Which is greater: q or 1?
1
Let o be 1/((-3)/33) - 1. Suppose -p = 3*a - 2 - 33, 73 = 5*a - 2*p. Let b = o + a. Is b < 5?
True
Suppose -5*q + 396 = 4*s, s + q - 5*q - 99 = 0. Let c = -296/3 + s. Is c equal to 0.2?
False
Let n = 17189 - 17181.743. Let f = n + -7.2. Which is smaller: 0 or f?
0
Suppose -2*k - 3*k = -1500. Let u be (-1)/(4 - k/76). Let p = u - -20. Which is smaller: p or 10/9?
p
Let x(y) = -442*y + 2744. Let p be x(9). Is p bigger than -1235?
True
Let h = 516812/7 - 73956. Let w(y) = -2*y**2 + 12*y + 18. Let o be w(12). Let c = o - h. Is c bigger than -7/5?
True
Let q = 137 + -76. Let g = q - 65. Let w be 51/(-6)*(-1)/(g/8). Is -18 greater than or equal to w?
False
Let x be 8/(-3)*(-160425)/(-620). Which is bigger: -688 or x?
-688
Let k(f) = -f**2 - f - 1. Let z(s) = -s**3 - 9*s**2 + s + 13. Let c(j) = 4*k(j) + z(j). Let w be c(-10). Let d = 2869/11 + w. Which is greater: -1 or d?
d
Let f be 72/20*(-30)/12. Let j(g) = 11*g**2 - 3*g + 2. Let b be j(2). Let p be f/(-6)*b/6. Which is smaller: p or 9?
9
Let u(a) = -a**2 + 7*a + 8. Let l be u(8). Let c = -4609403445/704 + 6547447. Let d = -1/64 + c. Which is smaller: d or l?
d
Let o = -0.20814 - 0.79186. Is o greater than 3403?
False
Let b be 3/(-126)*-4*(8 + (-496458)/62064). Is b <= -1?
False
Suppose 0 = -2*z + 3*p - 8*p + 37, -3*z = -2*p - 46. Suppose z*o + 186 = 18*o. Suppose -o*l + 9 = -90*l. Which is smaller: 3/2 or l?
3/2
Let h = 34 + 1144. Suppose 5*p - h = 5*s - 3643, 8 = -4*s. Is p greater than -494?
False
Suppose -30*f = -54*f + 29*f - 9175. Is f >= 1833?
True
Let d(p) = -p**3 + 3*p**2 + p - 1. Let w(r) = -2*r**3 + 5*r**2 + r - 2. Let l(n) = -5*d(n) + 3*w(n). Let q be l(0). Which is smaller: q or 3?
q
Let h(x) = -x - 6. Let l be h(-5). Let j = 383 + -380. Let b be 3 - j*137/138. Which is bigger: l or b?
b
Let i(c) = -25*c + 2*c**2 - 37*c + 5 + 26*c**3 - 22*c**2 - 27*c**3. Let j be i(-17). Do j and 193 have different values?
True
Let q be (14478/304)/((-78)/(-8)) + -6. Which is smaller: -2 or q?
-2
Let r = 15 + -14.62. Let b = -5.62 - r. Let g be (78/60)/(-13)*(-8)/6. Which is smaller: g or b?
b
Let u be 35*(232/(-300) - 4/(-5)). Let x be (3/4)/((-3)/(-12)). Let v be -4*-1*x/6. Is u less than v?
True
Let i(d) = -d**3 + 18*d**2 - 12*d - 34. Suppose 15*a + 60 - 315 = 0. Let r be i(a). Which is smaller: r or -1?
-1
Let j(s) = s**2 + 3*s - 36. Suppose -4*w - 32 = 5*h, 4*w - 5*w - 30 = 4*h. Let y be j(h). Let f be ((-14)/(-3))/1 + -1. Which is bigger: y or f?
y
Suppose 0 = 2*p + p - 30. Suppose 2*c + 2*r + 68 = 0, 4*r + 173 = -p*c + 5*c. Is c at most 2?
True
Let v = 672 - 356. Let m = -319 + v. Which is smaller: m or -2?
m
Let x = 3157 + -3160.061. Let c = 0.061 + x. Suppose -10 = 4*b - 3*m, -2*m + 10 = -7*m. Do c and b have the same value?
False
Suppose 3*l + 11 + 0 = 2*x, -3*x + 8 = 4*l. Suppose 3*v - 67 = 5*i, -3*v - 44 + 120 = 4*i. Suppose -4*a = 40 - v. Is x less than a?
False
Let u = 122 + -81. Let r = -45152 - -45190. Which is smaller: u or r?
r
Let m = -168 + 141. Let r be 880/8 - (2 - 1). Let v be (-7)/(-28) - r/4. Does m = v?
True
Let d = -123 - -188. Let y be ((-39)/d + 8)/((-1)/(-5)). Which is smaller: y or 75/2?
y
Let g(a) = -a**3 - 18*a**2 - 52*a + 55. Let j be g(-14). Is -85/158 less than j?
False
Let w = -1.64 - -2.65. Let n = -48.01 + w. Which is smaller: n or 0.3?
n
Suppose -3*o = -6*o + h - 1222, -5 = h. Is -416 greater than or equal to o?
False
Let q = 5585 - 5363. Is q at least 222?
True
Let p = -234 + 270. Let l be ((-25)/15)/((-10)/p). Let s(v) = 3*v - 8. Let c be s(6). Which is smaller: l or c?
l
Let s = 330 - 306. Suppose -11*x - 64 - s = 0. Which is smaller: -7 or x?
x
Let x = -1553 - -1904. Which is greater: 1758/5 or x?
1758/5
Let z be 1/(-6) - (-20)/(-24). Let j = 137527/34 + -4045. Which is smaller: j or z?
z
Let z(a) = -13*a + 3. Let l be z(-23). Suppose -3*m + 55 = -l. Let g = m + -118. Which is greater: g or 2/205?
g
Let c = 34390 + -31075. Which is smaller: c or 3318?
c
Let d be 2*((18/(-45) - 0) + (-16)/(-15)). Is -0.89 smaller than d?
True
Let r be (-24)/(-40) - 104/(-10) - 1. Let l(c) = -1. Let k(h) = -h**2 + 2*h + 35. Let u(i) = k(i) + 2*l(i). Let a be u(r). Is -47 not equal to a?
False
Let q be -21*11/(-539) - (-156)/28. Which is smaller: q or 155/28?
155/28
Let d be -280 - ((-34)/85 + (-34)/(-10)). Let s = d - -284. Which is greater: s or -15?
s
Let p = 9533 - 9526. Are p and 28 nonequal?
True
Let s = -0.07 - -0.14. Let d = 387071 - 387057. Which is smaller: d or s?
s
Let v(d) = -451*d - 451*d + 18 - d**2 + 895*d. Let q be v(-7). Let a(o) = 4*o - 3. Let t be a(5). Is t < q?
True
Let a(c) = -13*c + 7549. Let m be a(-96). Which is smaller: m or 8798?
m
Suppose -4*d - 18*d = 17*d. Suppose v + 12 = -3*v. Let m be 1/15 + d + v/(-9). Which is greater: -2 or m?
m
Let x = 5776 - 5785. Let c = 0.0536 + -4.0636. Let u = 0.01 + c. Which is bigger: u or x?
u
Let g be (-4)/6 + (-15)/((-495)/22). Is -913 >= g?
False
Let j = 2166995/1674 + -2589/2. Is -1 < j?
True
Let c = -7411.22 - -7208. Let j = 203 + c. Which is greater: 1 or j?
1
Let f = -3422 - -3690.3. Let a = -268 + f. Which is greater: 23 or a?
23
Let g = 16622.988 + -16625. Which is smaller: 1 or g?
g
Let r(u) = u**3 + 10*u**2 - 2*u - 22. Let g be r(-10). Let j be (-2)/(-1)*(-1)/(-12)*g. Let v be ((-3)/9)/((-4)/(-3)). Which is bigger: j or v?
v
Suppose -127*u = -128*u + 11. Suppose 137 = -u*l - 28. Which is smaller: -17 or l?
-17
Let v be (-27)/81*(-4 + 6)*-1233. Which is bigger: -13 or v?
v
Suppose 433*l + 848 = -29462. Which is smaller: l or 2/23?
l
Suppose 0 = o + 4*o - 150. Suppose 16*q - 1265 = 671. Let r = -91 + q. Does r = o?
True
Suppose 3*q = -40 - 41. Let i = q - -24. Let z be ((-6)/12)/(i/18). Is 3 at least z?
True
Let v(b) = -7 - 3*b + 34 + 24 + 21. Let n be v(24). Suppose n - 3 = w, 0 = -a - 5*w - 13. Is a <= -8?
False
Let f be (-3)/9 + 2705/(-3) + -2. Let a be f/105 - 1 - (-4 + 3). Let h = a + -4/21. Is -9 less than or equal to h?
