 k or v?
v
Let o(s) = -41*s**3 - 5*s**2 + s**3 + 37*s**3 - 9 + 5*s. Let k be o(3). Which is smaller: -121 or k?
-121
Suppose 6*w - 12*w = 0. Suppose w*i - 5*i = 95. Let j = 24 + -41. Is j smaller than i?
False
Suppose -13*n = n - 4732 - 14112. Is n at most 1348?
True
Let y be (((-4545)/36)/((-25)/40))/(8 - 1). Is y != 0.1?
True
Suppose 0 = -5*c + 13 - 8. Let q be c/((-2)/(-188)*(2 - 4)). Suppose 0 = 4*f - s + 194, -2*s + 100 = -4*f + 2*f. Which is smaller: f or q?
f
Let z = 46473 - 46472. Let t be -49 - -1*1/1. Let u = t - -1441/30. Which is smaller: u or z?
u
Let o = 23.98 - -0.02. Let i = -43.1 - -19. Let c = i + o. Which is smaller: c or 10/3?
c
Let g = -1223/7 - -173. Let j be (1 + 1)*(-22)/44. Which is smaller: g or j?
g
Let v be (-33)/(-22)*(-24)/36. Which is smaller: v or -1/8254?
v
Let n = 80 + -22. Let h = n + -57. Suppose -4*i = s - 2 + 1, s - h = 0. Is i at least 3?
False
Suppose 0 = -2*l + 4, 26*k - 5*l + 8 = 24*k. Is 1907/7 bigger than k?
True
Let t(m) = m**3 - 17*m**2 - 17*m - 24. Let h be t(18). Let v be 6/(-15)*-5*(-27)/h. Do 11 and v have different values?
True
Suppose 0 = -11*t + 2*t + 34074. Let n be t/630 + 3 + -9. Are n and 1 equal?
False
Let k = 7/400 - 163/3600. Which is smaller: k or 1?
k
Let v be 1 - (-5 - -4)*43. Suppose -2*z = -4*s + 6, 5*s + 3*z + 9 = v. Suppose 3*h - s*h - 3 = 0. Is h less than or equal to -0.7?
True
Suppose 4*r = 3*p + 38, 3*r + 0*r - 39 = 4*p. Do r and 427 have the same value?
False
Let q(w) = -135 + 6*w**2 + 60*w - 3*w + 63 + 62. Let g be q(-7). Which is greater: -0.1 or g?
-0.1
Let p be 5*1/5*-22. Let j = -27 - p. Let t = 1/204 - -131/1020. Which is smaller: t or j?
j
Let m(c) = -2*c**3 - 43*c**2 + 82*c + 53. Let s be m(-23). Let p be s/(-24) + (30/(-8) - -3). Let o be ((-6)/4)/((-2)/12). Which is smaller: p or o?
o
Suppose 3354 = -376*k + 378*k. Is k != 1677?
False
Suppose -w + t = -0*t + 103, -w = 3*t + 95. Let y = w - -60. Let b = 61 + y. Which is smaller: b or 21?
b
Let j = -1424 + 32747/23. Let y = -4 + 3. Which is smaller: y or j?
y
Let z(l) = 50*l + 3157. Let q be z(-63). Which is greater: q or 197?
197
Let v(x) = -7*x + 2. Let m be v(-4). Let s(z) = -173 + 35 + 44 + 61 + z. Let o be s(m). Are -7 and o nonequal?
True
Let l(b) be the third derivative of b**4/24 - 25*b**3/6 - 81*b**2. Let g be l(24). Which is greater: g or 2/55?
2/55
Suppose 0 = p + 4*u, 0 = -7*p + 3*p + 3*u. Let f be 1/(474/173)*-885. Let y = 323 + f. Is y less than or equal to p?
True
Let x be (-4)/6 + (-6040)/(-24). Let u = x - 146. Let d = u + -423/4. Which is smaller: 0 or d?
d
Let x = 3090 - 24817/8. Let c = x - -427/24. Let a(l) = l**3 - 11*l**2 - 13*l + 18. Let z be a(12). Which is smaller: z or c?
c
Let r = -51761 + 51762. Let c = 0.09 - 0.46. Let y = c + 0.6. Is y bigger than r?
False
Let q be 6/33 - -1 - (0 - (-36)/198). Which is smaller: q or -10/1857?
-10/1857
Let a(f) = 10*f**2 - 9*f + 4. Let v be a(8). Suppose 3*z + 1010 = -5*n, -z - 4*z = -3*n - v. Which is smaller: -200 or n?
-200
Let o = -74 - -77. Suppose -o*a = a - 4. Let u be (a + 10/(-6))*(-18)/6. Which is bigger: u or 8?
8
Let k = -5595 - -5595.021. Is k at least as big as -0.11?
True
Let c be (-1 + (-743)/7)/((-19)/(-133)). Let f(o) = -16*o**2 - 108*o - 231. Let n be f(-10). Which is greater: n or c?
c
Suppose -223 - 502 = -7*y + 311. Do y and 143 have the same value?
False
Let t(w) = -w**3 + 2*w**2 - w + 12. Let l be t(3). Let m be 2/12 + (-64420)/72. Let g = m - -896. Which is smaller: l or g?
l
Let l be -8 - ((-168872)/10554 - (-40 - -32)). Is -1 equal to l?
False
Let n be (-122)/(-427) + -1 + 5475/6097. Let v = -2/67 + n. Which is bigger: v or 3?
3
Let y be 272/10*40/16. Suppose -4*i = -12*v + 7*v + y, 40 = -2*i + 4*v. Suppose 4*q + 61 = -3*p, -5*p + q - 4*q - 87 = 0. Which is smaller: i or p?
p
Let g = 622.052 - 622. Let q = g - 0.152. Which is smaller: q or 161?
q
Let t = -0.054 + 45.054. Let d = -0.0496 + 45.4496. Let h = d - t. Are h and 0 non-equal?
True
Let l be 289/2346 - 1/2. Let z = -4688/12075 - l. Is z >= 1?
False
Suppose -3*s = -3*h + 444, s + 115*h - 111*h + 113 = 0. Which is bigger: s or -561/4?
-561/4
Suppose 4*r - 260 = -r. Suppose 3*p + 252 - 70 = -5*n, 0 = -2*p - 5*n - 128. Let o = r + p. Which is greater: -5/6 or o?
-5/6
Let b(l) = 2*l**3 + 43*l**2 + 56*l - 63. Let m be b(-20). Which is smaller: 24 or m?
m
Let h = -162.89 - -3416.89. Which is smaller: h or -0.1?
-0.1
Let u = -6800.2 - 1112.8. Let b = 7996.06 + u. Let o = b - 83. Is o > 0.9?
False
Let c be ((-13)/(-30) - (-15)/(-150))*519. Suppose 15*a - c = -143. Is -0.2 at most as big as a?
True
Let q = 2456.3 + -2458. Which is greater: -2/53 or q?
-2/53
Let d = -209 + 672. Let t = 122693/265 - d. Which is smaller: t or 1?
t
Suppose 47*w + 31 = -63. Is w greater than 2259?
False
Let r = 15981 - 15974. Are 13 and r unequal?
True
Let z = -27.8 - -27.6. Is 311 at most z?
False
Let q = 96823/2 + -48411. Let g(x) = -x**2 - 1. Let u be g(0). Let w be (-3 - u - 2)/(-2). Is w bigger than q?
True
Let k be (6/8)/((-8)/(40/(-15))). Are 2/105 and k unequal?
True
Let w = -634.9 + 652.9. Suppose -5*t + a + 63 = 1, 0 = 3*t + 4*a - 28. Which is bigger: w or t?
w
Suppose 0 = 2*d - 0 - 2. Let h be (-155)/(-62)*16/(-10). Let c be (1/(1/h))/((-8)/36). Are d and c non-equal?
True
Suppose 2*r + 29 = 35. Suppose 6*w - 21 = r*w. Do 3 and w have different values?
True
Let w = 3128 - 3131. Suppose 3*u + 0*u = -120. Let t be u/12*(-12)/(-10). Which is greater: t or w?
w
Suppose 5*i + 3*s = -2*s - 50, 0 = 3*s - 3. Let h = 7 - 3. Suppose 6 = b - 0*g - h*g, 2*b = -4*g - 36. Are i and b equal?
False
Suppose -57 = 41*n + 148. Which is smaller: n or -343/61?
-343/61
Let m = 4592 + -4613. Is 5/8 not equal to m?
True
Let h = -71.1 - -75.1. Let i = -0.55 + -29.45. Is h bigger than i?
True
Suppose -s = -6*s + 2*t - 33, 4*s - 5*t + 23 = 0. Let l(n) = 2*n**2 + 3*n - 43. Let v be l(s). Which is bigger: 33 or v?
v
Let r be 6/(-11) + (32/(-22))/((-7)/(-238)). Is r less than or equal to -748/15?
True
Let t(x) = x**2 - 68*x - 44. Let s be t(67). Does s = -99?
False
Let h(m) be the first derivative of -245*m**3/3 + 4*m**2 - 6. Let t be h(1). Is -237 >= t?
True
Suppose 4*o - 2*q = 152 + 120, 144 = 2*o + q. Suppose -10*c + 769 + 404 = 7*c. Do c and o have the same value?
False
Let o = -4216.4 + 4143.4. Which is greater: o or 1.65?
1.65
Suppose -5*g - 142 = -2*p - g, 0 = -3*p + 2*g + 201. Suppose -39*v + p = -34*v. Suppose -3*w = 28 - v. Is -34/7 >= w?
True
Suppose -471*o = -444*o - 324. Which is smaller: 264/23 or o?
264/23
Let t(w) = -w**3 - 9*w**2 - 3*w + 23. Let g be t(-9). Suppose 0 = -d - 2*s + 20, 5*s + 29 = 9. Let l = d - g. Are l and -22 equal?
True
Let w(q) = -4*q**3 + 9*q**2 + q + 9. Let d be w(8). Let a be 1/(5 + d/290). Is a < 1/2?
True
Let u = 6637 + -7827. Are u and -0.1 nonequal?
True
Let j be 6992/1150 - (-2)/(-25). Let g = 0 - -8. Suppose o + g = 2*o. Is j bigger than o?
False
Let y be 3 + (5 - 4 - 1)/2. Suppose -3*b = -d - 24, 3*d - y = -b + 5. Is b not equal to -2?
True
Let o = 6573 + -6538. Suppose 4 = -4*i, 6*i - i = -2*m - 11. Is o not equal to m?
True
Let r be (0 - -70)/(-14 - -16). Suppose 3*g - r = 25. Let c be -22 + g + (-22)/(-26). Which is smaller: c or -1?
c
Let c(r) = -r**2 + 15*r + 15. Let h be c(16). Let f = 0.7 - 2.1. Let j = f - -3.4. Which is bigger: j or h?
j
Let b = -7.2 + -0.2. Let q = 7.6 + b. Which is bigger: q or -21?
q
Let u = 155 + -159. Let d = -308 - -303. Is u not equal to d?
True
Let y = -32 - -32. Let i be (y/(-2))/((-1)/1). Suppose -v = -v + 4*v. Is i <= v?
True
Let s(b) = -b**3 + 2*b**2 - 16*b - 822. Let r be s(0). Is -822 less than r?
False
Let t(z) = -z + 1. Let k(f) = -44*f - 1. Let x(p) = -k(p) - 2*t(p). Let q be x(1). Let y = q - 53. Are y and -4 nonequal?
True
Let r(p) = p**3 + 24*p**2 + 22*p - 17. Let l be r(-23). Suppose -11 = 2*t - 9. Let n be ((-11)/(-12) + t)*-2. Which is smaller: l or n?
n
Suppose -12*t + 2066 = -2326. Suppose 0 = 359*o - t*o - 14. Which is smaller: -4/7 or o?
o
Let o = 1883 + -1820. Which is greater: o or 60?
o
Let q = -21416888/5 + 4301556. Let w = 18079 - q. Let y = -99 - w. Which is greater: y or -1/4?
y
Let w = -17 - -18. Let z(b) = 8*b**3 - b**2 + 1. Let m be z(w). Suppose m*u + 3 = -29. Which is smaller: -7 or u?
-7
Suppose 2*n + 5*