et i = -492 + u. Let r be (2/3)/(3 + -1). Is r bigger than i?
False
Suppose -5*i = p - 21 + 34, -i = 3. Is -4/1121 not equal to p?
True
Let j = -29 - 0. Let b = -25.2 - j. Let x = b - 2.8. Which is smaller: x or -0.7?
-0.7
Suppose -29839 = 2*v - 3*r, v = -92*r + 89*r - 14924. Which is smaller: -1 or v?
v
Suppose -7 + 91 = 4*d. Let n be 1 - (-2 - 2/1). Suppose h = 26 - n. Do h and d have different values?
False
Let h(x) = x**3 + 24*x**2 + 41*x - 66. Let o be h(-22). Let z be (-9)/(-6)*1*106. Let m be 3/3*3/z. Which is bigger: o or m?
m
Let f = -9411 - -9410. Is f <= -54/227?
True
Let z(v) = v**3 + 2*v**2 - v - 1. Let h be z(-2). Let i = -51309 + 5490061/107. Is h greater than or equal to i?
True
Let x = -367.22 - -9.22. Let h = 358.2 + x. Is 98 not equal to h?
True
Let o = 6 + 12. Let x = 2179/3 - 707. Which is smaller: x or o?
o
Let t = 1/3 - -2/21. Let g be 8/4 + 0 + 1. Let v be 0 - g - (-296)/104. Which is bigger: t or v?
t
Let i be 2/4 - (66/(-12) - -7). Which is smaller: i or 1/18906?
i
Suppose 0 = -3*y + 13*y - 80. Suppose 11*x - 49 = 39. Is y < x?
False
Suppose 3*j + 4*s + 1471 = 0, s - 429 = j + 73. Let i = 497 + j. Which is smaller: i or 5/129?
i
Let v be 7/((-70)/125) + (-3)/(-6). Let l be v/(-21) + 409*1/7. Do 61 and l have different values?
True
Let a(y) = y**3 - y**2 - 2*y - 4. Let r be a(4). Suppose -5*b + 6*b + r = 0. Let i = 49 + b. Is i less than 13?
False
Let o = -186 + 100. Let v(y) = y**2 - 85*y + 1719. Let i be v(41). Are o and i equal?
False
Let x = 3580428/11339 + 66/391. Let v = 316 - x. Let a(l) = -l**2 + 1. Let g be a(-1). Does g = v?
False
Let g = -233 - -245. Suppose 60 + 396 = -g*a. Let p = -0.4 - -0.3. Which is greater: p or a?
p
Let q = 0.31 - 12.31. Let s = -3.88 + 8.71. Let l = s + -4.73. Is q at least as big as l?
False
Let t be 16/(-6)*(-12)/8 - 4. Suppose 0 = 8*w - 38*w - 900. Is w >= t?
False
Let x(t) = t - 1. Let u be x(-1). Let j(w) = -w**3 + 13*w**2 + 12*w + 12. Let i be j(14). Is i >= u?
False
Let b(c) = c**3 - c**2 - 59*c + 24. Let l be b(8). Which is bigger: l or -2/3031?
l
Let g = 765/1589 - 12/227. Which is bigger: g or 223?
223
Let f be (-190)/(-98)*949/169 + 1. Let m = f + -154/13. Is 0.1 greater than m?
True
Let k be (4/3)/(68/(-102)*3). Let f = 0 + 0.1. Are k and f equal?
False
Suppose 0 = 2*n + n + 4*h + 56, 8 = 2*h. Let f be (1 - (-22)/18)*n/10. Let m be (-5)/(-35)*2*-1. Which is bigger: f or m?
m
Suppose -g = -5*q + 91, 2*g - 14 = -q + 13. Let m(x) = 17*x - 24*x**2 + 26 + 23*x**2 + 4. Let h be m(q). Are 2/7 and h equal?
False
Let t(l) = l**3 + 11*l**2 - 12. Let d(y) = -y**3 + y**2 + 4*y + 1. Let z be d(3). Let c be t(z). Suppose 2*r = -c + 10. Which is bigger: -63 or r?
-63
Let d = -187517/22688414 + 8/973. Does 0 = d?
False
Let d = 40041814 - 2683083423/67. Let u = 4207 + d. Which is smaller: u or 1?
u
Let n(h) be the second derivative of 1/20*h**5 - 5/2*h**2 + 7/6*h**3 + 0 + 11/12*h**4 - 6*h. Let u be n(-10). Is u <= 25?
True
Let v(k) = 17*k + 331. Let g be v(-12). Which is smaller: g or 145?
g
Let v = 324 + -325.5. Let f = v + 1.6. Which is greater: -3/232 or f?
f
Let t = -35635519/683 + 52175. Does t = -1?
False
Let h be (-28)/16*2*-2. Let z(v) = -7*v**2 - 39*v - 17. Let d(f) = 3*f**2 + 19*f + 8. Let o(u) = 9*d(u) + 4*z(u). Let p be o(15). Which is greater: h or p?
h
Suppose -3*p = -12, 13 = w + 4*w + 2*p. Let z be w*3 - (-420)/42. Is z at least 13?
True
Let q = 19.61 - 24.41. Is q > 1.3?
False
Suppose 35230 = 108*a - 88754. Which is bigger: a or 1149?
1149
Let i = 148 + -184. Let d be 68*(i/(-16))/(-9). Which is smaller: d or -14?
d
Let g = 1.58 + 176.42. Let m = 278 - g. Which is bigger: -1 or m?
m
Let t be (-88)/(-1100) - (-4656)/(-75). Which is greater: -556/9 or t?
-556/9
Suppose 9*m = 3*m - 2232. Let g = m - -371. Do g and 2/497 have different values?
True
Let s be 488480/(-286) - (-8)/52. Which is bigger: -1709 or s?
s
Let t be (-1967)/56 - (0 - 13). Which is smaller: -0.1 or t?
t
Let x = -0.0999 - 516.9001. Let l = x - -510. Let z = -12.7 + 12. Which is smaller: z or l?
l
Let h(f) = 21*f + 283. Let s be h(-13). Let l be s/50 - 2/(-5). Is 0.08 less than l?
True
Suppose 34*t - 10 - 34 = -10. Which is bigger: t or -2/26143?
t
Suppose -165200 + 141296 = -78*c + 280686. Which is smaller: 3906 or c?
c
Let q(c) = 1420*c**3 - 2*c**2 - 7*c - 5. Let t be q(-1). Is t equal to -1413?
False
Suppose 2*n = -2*n + 1272. Let f be (((-243)/15)/9)/((-1)/(-10)). Let a be (-2 + -1)*(n/f - -1). Is -0.1 < a?
True
Let x = 4362.8 - 4363. Which is smaller: x or 250?
x
Let l = -764.5195 + 762. Let n = l + -0.0805. Is n at most as big as 12?
True
Suppose -3164 = 5*b - w, -3*b - 3*w = -706 + 2626. Is -646 >= b?
False
Let x = -2620 - -2620. Which is bigger: -163/57 or x?
x
Let o be 137/27 + (-54)/729 - -21. Let m = -0.1 - 0.9. Are o and m equal?
False
Let a be ((-4)/(-6))/(4/18) - (-467694)/(-155925). Which is greater: 0.3 or a?
0.3
Suppose -3*t = 6, -4*l + 0*t + 5*t - 822 = 0. Let z = l - -221. Is z greater than 11?
True
Let k = 3332.69 - 3332. Is k less than 1?
True
Let h be (-360)/(-35) + (-4)/14. Suppose -h = 3*x - x. Let q be (2/x)/((-5)/((-25)/6)). Is q greater than 0.7?
False
Let c(v) = -3*v**2 + 60*v - 3. Let d = 256 - 236. Let w be c(d). Which is bigger: -46/15 or w?
w
Let d be (-8)/(-8) + 0 + -5. Let o be 122 + -123 - d/((-2)/(-1)). Let i be 0 + (-16)/9 - (-10)/5. Which is smaller: i or o?
i
Suppose 3*k - 5*v - 30 = 4*k, -52 = 4*k + 3*v. Let q be (k/(-12))/(-5) - 239/(-30). Suppose 67*m = 64*m + 24. Is q < m?
True
Let n be (-1)/4 - (-8602)/34848. Is -1 at least as big as n?
False
Suppose -i = 16*b - 14*b + 2643, -5*b = i + 6603. Do b and 5 have the same value?
False
Let b = 20 - 31. Let q = b + -21. Let i = q + 47. Which is smaller: 16 or i?
i
Let a = -38980/9 + 4331. Which is smaller: a or -2?
-2
Suppose 3*v - u = -29, 3*v + u + 13 = -6. Let q be -1 + 15/(-210) + (-164)/56. Let z be q/v*(-3 + 741/249). Is z <= 1?
True
Let a = 10901380/125697 + -2/11427. Is 87 <= a?
False
Let f be -1 - 3 - 984/88 - -1. Let o = f + 635/44. Which is bigger: o or -1.6?
o
Let k = -5.95635 - 0.04365. Let o = 1.96 - -0.04. Let i = o + 3. Is i < k?
False
Let z be (4716/(-168))/(1/(-2) - 0). Let c = 9839/175 - z. Let d = 3 + -2.9. Which is bigger: c or d?
d
Let t = -2452 - -2453.279. Let b = t - -0.081. Let c = b + -0.36. Is c at least 0.13?
True
Let y = 20747 - 20725. Which is smaller: y or 488/21?
y
Suppose 3*z - 3*a = 31 + 86, -z + 54 = -4*a. Let o = -16 + z. Let c = 664/37 - o. Is -1 at most as big as c?
True
Let a = 6305 - 8340. Do -2034 and a have different values?
True
Let c be ((-7)/(-63))/(4/(16/(-1))). Let n = -8 + 10. Suppose 4 = -n*q + 2. Which is smaller: c or q?
q
Let t(s) = 2*s + 1. Let l be t(1). Let v be 1/12*98 - (2 - (-1 + -3)). Which is greater: l or v?
l
Let r(v) = -2*v**2 - 16*v + 3. Let h be r(-8). Suppose -s + 7*s - 12 = 0. Suppose -8 = -s*i - 2*i. Do i and h have the same value?
False
Suppose h + 2*n + 3 = 0, 2*h - 5*n + 7 = -8*n. Which is smaller: -103/23 or h?
h
Suppose 2806 - 655 = -5*u + 3*r, 0 = -5*u + 4*r - 2148. Which is greater: -440 or u?
u
Suppose 14*j = 8*j + 84. Let i(n) = -n**3 + 4*n**2 + 14*n - 10. Let d be i(6). Suppose d*k + 3*k - 70 = 0. Are j and k nonequal?
False
Suppose -3*s - 82 - 230 = 0. Let a be 78/s - (-51)/4. Suppose a*b + 101 = -139. Which is greater: b or -23?
b
Let c = -135 - -244. Suppose -4*i + 2*y + 334 = -52, -c = -i + 3*y. Let a = i + -76. Which is smaller: 2/3 or a?
2/3
Let i be (51/(-1530)*-9)/(6/10*-1). Let j = -13 + 2. Which is bigger: j or i?
i
Let y(w) = -w**2 - w + 1. Let l be y(-2). Let x be (6/(-9))/(l/6). Suppose -x = -6*b + 5*b. Which is smaller: b or 5?
b
Let o = 20 - 21. Let y be ((0 + -166)*o)/(41 + -42). Let h = y + 2156/13. Is h at most 1?
True
Let m be -1*20*-3 + 0. Let p = 65 - m. Let x(t) = t**3 - 2*t**2 - 8*t + 9. Let n be x(p). Are 2/7 and n non-equal?
True
Suppose 5*u - 32 = -4*t, 0 = -0*u + 3*u + 2*t - 18. Let y be (42/(-252))/((3 - 33/9)/20). Which is smaller: y or u?
u
Let d = 1034.721 - 1034. Let f = 0.279 + d. Let h = -25.4 - -23. Which is smaller: h or f?
h
Suppose 19*o - 248 = -172. Let t(s) = -40*s**2 - 10*s + 6. Let f be t(o). Is f >= -674?
True
Suppose -w + 62*d - 66*d + 129 = 0, 4*d + 636 = 4*w. Are w and 151 non-equal?
True
Let x