 397 - 1201/3. Let u = 778 + -412. Let n = u - 367. Is w greater than or equal to n?
False
Suppose 40*p - 35*p + 935 = 0. Let t be 8 + p/22 + 217/2. Is 107 smaller than t?
True
Let a(t) = t**3 - 7*t**2 - 6*t + 12. Let f be a(8). Let i = -1927 - -1961. Is i <= f?
False
Let v = 0 + 5. Let n(w) = 16*w + 33. Let p be n(-2). Suppose v*g - 9 - p = 0. Which is smaller: g or 5?
g
Let o be (-2)/(-8) + 17/(-4). Let f = o + 5. Let k = -12536 + 12540. Which is smaller: k or f?
f
Suppose -3*f - 46 + 48 = -4*n, 2*n + 4 = 0. Let l be ((-34)/(-2499))/(f/(-14)). Which is smaller: l or 1?
l
Suppose 62483 = -21*d - 32819 - 34541. Is d at least as big as -6184?
True
Suppose -3*z + 9 + 0 = 0. Let v be ((-9)/(-4) - z)*-4. Suppose -5*m - 5*n + 20 = 0, -m - 2*n = v*m - 6. Are -4 and m nonequal?
True
Suppose 0 = -3*g + 9, 0 = 3*u - 3*g - 7577 - 1459. Let o be (3/u)/(5/30). Are -1 and o unequal?
True
Let a = 0.247 - 0.247. Which is smaller: a or 0.07?
a
Let q = 5523 + -5522. Which is smaller: -1/63 or q?
-1/63
Let w be (-3025)/726 + -2 + 8. Which is bigger: -1.1 or w?
w
Suppose 0 = 2845*s - 2888*s + 13244. Which is smaller: 298 or s?
298
Let a(i) = 36*i + 143. Let w be a(6). Let q = -363 + w. Which is smaller: -12 or q?
-12
Suppose 22*p + 310 = 12*p. Let l(s) = -3*s**2 - 91*s + 12. Let j be l(p). Are 0.1 and j non-equal?
True
Let z = -0.3516 + 0.4516. Let h = 1.04 + 5.66. Is h at least as big as z?
True
Let g = 13.3128 - 0.0328. Let z = -0.686 + -0.034. Let b = z - g. Is b greater than -1?
False
Let c = -1933 + 1933. Let f be 3/(6417/(-4272)) + 2. Which is greater: c or f?
f
Suppose 0 = -3*u + 2*u + 5. Suppose u*n = 3*a - 56, -5*a - 4*n - 72 = -227. Suppose 0*v - 5*t - 6 = -3*v, 0 = -5*v - 4*t - a. Are v and -4 nonequal?
True
Let u = -109 - -295. Let h = u + -186. Let k = 8 + -49/6. Is h not equal to k?
True
Let u = -1011 - -1012. Which is greater: -3224 or u?
u
Let r = 231 - 227. Let u be r/((8/(-124))/1). Is u smaller than -63?
False
Let j(u) = -u**3 - 5*u**2 - 4*u - 7. Let s be j(-3). Let v be -15*(2/6)/(-1). Let l(k) = k**2 - 5*k - 12. Let z be l(v). Which is smaller: z or s?
s
Let r = 23 + -56. Let f be 1545/(-618)*(-8)/(-20). Is f less than or equal to r?
False
Let n be ((-50)/95125)/((-2)/20). Which is smaller: n or -1?
-1
Let c be -32*16/32 - 90. Which is smaller: -91 or c?
c
Let t be 10/45*204/17. Which is smaller: 0.047 or t?
0.047
Let c = -5087/8745 - 32/1749. Let p = 22.61 + -23. Let g = -0.01 + p. Is g greater than c?
True
Let l be ((-18)/(-27) - (-19)/12)*524. Is 1179 greater than l?
False
Let s = -3839 + 2343. Which is greater: s or -1494?
-1494
Let q = 6339 + -19004/3. Is q bigger than -0.099?
True
Let z = -188 - -192. Which is smaller: z or 151?
z
Let x(j) = j**3 + 19*j**2 - 3*j + 18. Let u be x(-18). Suppose -u = -2*n - 5*r, 2*n - 3*r - 515 = -135. Suppose -9*g + 49 - n = 0. Which is smaller: g or -2/3?
g
Let r = -206188/879417 - -120/517. Are 0 and r unequal?
True
Suppose 0 = 4*r + 5*d + 39, -630 + 598 = 4*r + 4*d. Let a be (447/448 + -1)*2. Is r less than a?
True
Let n = -31765121/755 + 42073. Is n <= -1?
False
Let l = 1698 + -1717. Is -31 greater than or equal to l?
False
Suppose 4*w + l - 182 = 0, 4*w - l - 72 - 114 = 0. Let x = w - 55. Are -7 and x non-equal?
True
Let h(g) = -2*g**3 - 4*g**2 + 5*g. Let v be (-18)/(-24) - 38/8. Let k be h(v). Let t(d) = d**3 + 4*d + 4. Let c be t(3). Which is smaller: k or c?
c
Let g = -94469/256610896 + 1/28487. Is g >= 1?
False
Let w be -2 + -3 - (-2 + -6)/(-2). Let n be (44/(-55))/(w/(-3)). Which is smaller: 6/7 or n?
n
Let c(b) = 1134*b + 3417. Let x be c(-3). Which is greater: x or 4?
x
Let j be 18/62*4/(-6) + 0. Suppose 3*m - 7*m = 0. Which is greater: m or j?
m
Let c be (-561)/6 - (-4)/((-8)/3). Let k = c - 152. Is k greater than or equal to -246?
False
Let b be 468/39 - (-824)/(-36). Let m(l) = -5*l - 2. Let v be m(2). Is b bigger than v?
True
Suppose 4*l + 7 = -n - 1, -4*n - 5*l + 1 = 0. Suppose 5*h - 960 = -5*o, 842 = 4*h - n*o + 58. Which is smaller: 195 or h?
h
Let m = -1 + 2. Let c(s) = -s**3 - 2*s**2 - 2*s + 27. Let z be c(0). Suppose 0 = z*k + 30 + 213. Is k bigger than m?
False
Let m be (-4)/((4/(-18))/((-6)/(-18))). Suppose 6 = 3*c + m. Let k be (-3)/2*(-1)/(18/3). Is c > k?
False
Suppose 0 = -r - 4 - 0. Let q = 5 + r. Let k be ((-14)/28 - 1)/((-2)/4). Do q and k have the same value?
False
Let x(s) = -2*s**3 - 82*s**2 - 149*s - 108. Let h(k) = k**3 + 41*k**2 + 74*k + 56. Let t(i) = 5*h(i) + 3*x(i). Let g be t(-39). Which is greater: g or -84?
g
Let m(q) = q + 12. Let a be m(0). Let d(h) = -h**2 + 14*h - 36. Let j be d(a). Suppose 0*l = 3*l - 6. Which is bigger: j or l?
l
Let h = -579.54 - -582. Let v = h - 2.5. Which is smaller: v or 5?
v
Let o be -7 + -4 - -3*66/18. Does o = 6/1577?
False
Let m = -130 - -130. Let v(c) = -c**2 - 12*c + 3. Let n be v(m). Is 41/14 bigger than n?
False
Let d = 93.05 - -292.95. Is d at most -0.04?
False
Suppose -11516 = 3*t - r, 4*t - 3*r = -7454 - 7899. Is t bigger than -3841?
True
Let j be (-715)/15 + -3 - 2/(-3). Let h = j + 68. Let w(m) = -m**3 + 18*m**2 - m + 11. Let l be w(h). Which is smaller: -23/4 or l?
l
Let h be (24871*-1 - 1) + 4. Let q = h - -467091/17. Let s = q + -2607. Which is greater: s or 0?
s
Suppose -3*z - 6*z = -27. Suppose k + 22 = z*q, 3*q + 92 = -0*k - 5*k. Is -18 at most k?
False
Let s be (24/8 - 44/14)/(5/(-35)). Which is bigger: 2/16103 or s?
s
Let o(u) = -31*u**3 + u**2 + u. Suppose h + 3 = -2*h. Let v be o(h). Let q = v - 32. Which is smaller: -7/6 or q?
-7/6
Suppose r + 2*a = -10 + 2, 0 = -4*r - 4*a - 16. Suppose -107*z = -108*z - 327. Let n = 2615/8 + z. Is n smaller than r?
True
Let o be (-17)/39100*16/(-108). Which is smaller: o or 1?
o
Let k be 21/6*(-15)/(-9)*6. Suppose 0*n - k = n. Let b = 33 + n. Which is greater: -4 or b?
b
Suppose 0 = 4*h - 216 + 32. Let z be -126 - 1/((14/(-4))/7). Let p be z/93 + 290/6. Do h and p have the same value?
False
Let b(f) = -f**3 + 9*f**2 - 8*f + 5. Let c be b(8). Let q(g) = -2*g**3 + 11*g**2 - 13*g + 15. Let o be q(4). Which is smaller: c or o?
c
Let a = -256 - -420. Let o = a - 1478/9. Is o > -1/91?
False
Let s = 18 + -15. Let t be (237/27)/(s/(-1 - -10)). Suppose -68 = -0*p - 3*p + 5*j, 5*p - 2*j - 126 = 0. Are t and p equal?
False
Let r(i) = -212*i**3 + 3*i**2 + i - 2. Let t be r(1). Let l be (12/t*5)/(12/427). Which is greater: -9 or l?
-9
Let y be (0/(1 - -1))/(-1). Suppose 8*h + 35 + 157 = y. Let s be h/(-40) - 33/30. Do 9 and s have the same value?
False
Let i = -3415 - -2335. Let m be (i/11970)/(2/7). Is m >= -3/4?
True
Let a = 2126 - 2140. Let v = 8 + -21. Let j = v - a. Which is smaller: 2.9 or j?
j
Let j = 7792035 + -179137937/23. Let s = j - 5713243/2047. Let q = s + -638. Is q equal to 0?
False
Let y = -1 + 0.22. Let n = -0.19 - y. Let r = 0.49 - n. Which is bigger: r or 0.45?
0.45
Let b be ((-2)/201)/(5848/(-258)). Does -1 = b?
False
Let h(i) = -90*i + 9. Let b be h(0). Let a(o) = o**3 + 6*o**2 + 3*o - 5. Let q be a(-5). Suppose q*n = 4*j + 40, 2*j = -4*n - j + 32. Which is smaller: b or n?
n
Let c(b) = -b**3 - 25*b**2 - 4*b - 92. Let f be c(-25). Let j be (f/(-28))/(-1) + (-944)/3276. Do j and 1 have the same value?
False
Suppose 12*l - 12*l = -32*l + 71488. Which is greater: l or 2235?
2235
Let w = 3083382 - 83265190/27. Let s = w - -514. Suppose 2*p = -4*k - 2 - 0, -k = 0. Which is greater: p or s?
s
Let j be 9 + (-305249)/21805 - -5. Is j at least as big as -1?
True
Let r = 46405 + -185621/4. Let w(q) = q**3 + 13. Let p be w(0). Which is greater: r or p?
p
Let c = -158.4 + -32.7. Let h = c - -191. Which is greater: h or -57?
h
Let a be 1 + -12 + (-1 - -3). Let p be 3 + a + (0 - -4). Let x be (-3 - -6)*(-5 - p)/3. Is -4 >= x?
False
Suppose -307*d = 4936 + 3660. Which is smaller: -13 or d?
d
Let x be 154/(-56)*1836/799. Which is greater: -7 or x?
x
Suppose -861 - 1378 = 124*z + 861. Let l = -19 - -7. Is z greater than or equal to l?
False
Let x = -0.03 - 2.87. Let h = -10864 + 10863. Which is greater: x or h?
h
Suppose -5*n = 5*d - 25, 0 = 5*d - 4*d - 2*n + 4. Suppose -d*o - 25 = -179. Which is greater: o or 151/2?
o
Let p = 51693187191/275 - 187974987. Let k = p - 275264137/1150050. Let w = k - -13/102. Which is bigger: 1 or w?
1
Let g = 1998 + -1964.67. Which is smaller: 0 or