 be (-2 + r)/((-6)/9). Suppose 2*j + 0*y + 37 = -g*y, -5*j - 124 = -3*y. Is j at least -24?
True
Let v be 6/8 + 6/(0 - 3). Suppose -6 = 6*t - 3*t, -2*t = -o + 52. Let q be -3*(-4)/o*0. Which is smaller: v or q?
v
Let c = 62 + 350. Suppose c = 22*g - 314. Which is bigger: 31 or g?
g
Let o = -133 + 97. Let s be (-11)/(44/8) - o. Which is greater: s or -1/3?
s
Let b be 1/(-1*(0 - -1)). Let h = 3005/6 - 21401/42. Let r = h + 55/7. Which is greater: b or r?
r
Suppose -187 = 5*d - i + 870, -d - 223 = -6*i. Let s = d + 217. Which is greater: s or 5?
s
Suppose 0 = -y, 2*o + 2*y + 36 - 34 = 0. Which is smaller: o or -2/4097?
o
Let l = 28 - 28. Suppose -3 = c + 2*n, l*n = -4*c - 3*n - 2. Suppose -c = 4*u - 3*u. Which is smaller: u or -1/3?
u
Suppose -11*n = 93 + 171. Let w be 3 + n/5 + (-18)/(-45). Let l = 2.9 - 3. Are l and w nonequal?
True
Let n be ((-434)/4)/(((-76)/(-8))/(-19)). Let t = 33 - n. Which is smaller: t or -185?
-185
Let k = -118 + 121. Let i(o) = o**3 - 23*o**2 + 25*o - 24. Let b be i(22). Which is smaller: b or k?
k
Let g be 178/16 + 1/(-8). Let z be (-3 - g/(-3))*6/(-4). Which is greater: z or -8?
z
Let t(i) = -81*i - 291. Let x be t(-5). Suppose -5*b - 79 = -2*y + y, 3*b = 4*y - 265. Let q = y - x. Which is smaller: q or -51?
-51
Let a = -152/3 + 50. Let b(j) = -2*j**2 + 6*j + 10. Let u be b(4). Suppose -t + 2*m - 6*m - 18 = 0, u*m + 12 = -2*t. Is a bigger than t?
True
Let y = 1.7 - 2.77. Let f = -1.137 - y. Let d = -0.117 - f. Are 4/7 and d nonequal?
True
Let y be (2/4 - 1)*24. Let d = -26 - y. Let k be (d/(-8))/((-27)/(-12) + -3). Which is smaller: k or -2?
k
Let s(x) = 2*x + 15. Let b be s(-6). Suppose 0 = b*j + 4*u + 6 - 39, -5*u = -2*j + 22. Let o = -2 + 13. Is j >= o?
True
Suppose -k = 67*v - 65*v + 44, k = 0. Which is smaller: v or -32?
-32
Let k be 138/30 + (-6)/(-15). Let h(t) = t**2 + t - 2. Let p be h(-3). Suppose 0 = -p*y - y + k. Is 4 less than y?
False
Suppose 5*q - 17*s = -13*s + 20, -25 = -3*q + 5*s. Let w = -611 + 80042/131. Which is smaller: q or w?
q
Let r be 6 + 20/12 + (-36914)/66. Let f = -544 - r. Which is greater: f or 9?
9
Let m be ((-3)/(-7881))/(7/14). Which is smaller: -1 or m?
-1
Let o = 121 - 31. Let u = 87 - o. Is -5 > u?
False
Suppose 0 = 5*z + 3*f + 9 + 16, 3*z - 19 = 5*f. Let o be -3 + 7/133 + (-4)/(-2). Is o greater than or equal to z?
True
Let l(g) = -g**3 + 66*g**2 - 67*g + 150. Let w be l(65). Is w smaller than 153/8?
False
Let l be -4 + 11/(-33)*-9. Let s(p) = -p**3 + 2*p**2 + p - 4. Let t be s(2). Let m be 14/88*8/t. Which is greater: m or l?
m
Let w(t) = -t**3 - 59*t**2 - 76*t - 68. Let m be w(-57). Let v = m - -1593. Which is smaller: v or -640?
v
Let t(h) = h**3 + 49*h**2 + 8*h + 393. Let n be t(-49). Which is smaller: 1/2555 or n?
1/2555
Let c = -54448 + 54447. Suppose 0 = -2*z, 5*n = n - 2*z + 172. Which is greater: n or c?
n
Let n = -28.11 - -27.01. Is n smaller than -4.5?
False
Let k = -10421 + 10420.5. Which is bigger: k or -0.0863?
-0.0863
Let n be (-12)/(-9) + -75*4/(-18). Let s be (n/24)/(28/(-32)). Let d be (1/2)/((-2)/24). Which is greater: s or d?
s
Let g be (-404)/(-402) + (1 - 2). Let f be 1 - 16098/(-3618) - 5. Let c = f - g. Which is bigger: -1 or c?
c
Let s = 395791 - 395790. Let l be (-272)/(-870) - 1/3. Does l = s?
False
Let h be (3/2)/((-18)/(-4632)). Let q be (-14)/(-49) - h/28. Suppose 9*b - 8*b = j - 11, -52 = 4*b - 2*j. Is q at least as big as b?
True
Let g = -1756 + 1751. Which is greater: -379 or g?
g
Let h = -21945 + 9308. Is h greater than 1?
False
Let k = 1875 + -1937. Is -67 less than k?
True
Let d = 11239 + -11206. Which is smaller: 31 or d?
31
Suppose -w + 20*x + 561 = 19*x, -5*x + 2875 = 5*w. Which is smaller: 3979/7 or w?
w
Let c be 1*(-2 + (-43)/(-1)). Let o = 74964 - 74923. Is o <= c?
True
Let g = 6.366 + -0.866. Let b = -5.94 - 0.06. Let j = b + g. Is j greater than or equal to -1/3?
False
Let w = -1900 + 1951. Let b(h) = 70*h**3 + 2*h + 1. Let t be b(-1). Let o = t + w. Which is bigger: o or -19?
-19
Let z = 1298 + -515. Let y = -717 + z. Which is bigger: y or 70?
70
Let f be ((-63)/(-98)*-8)/(1/(-21)). Suppose 0 = -4*v - c + 109, -5*c + 47 + f = 5*v. Let b = 29 - v. Which is bigger: 2 or b?
b
Let u = 0.4993 - -0.0017. Let p = u - -0.009. Let b = 0.61 - p. Which is greater: b or 0.16?
0.16
Let f = 10731 - 10733.0268. Let z = -0.0268 - f. Which is greater: z or 0.11?
z
Let c(w) = w**2 - w + 6. Let l be c(0). Suppose -q + l = 4. Let p be 232/(-6) + 16/(-12) + q. Is p bigger than -39?
True
Let h = 8 + -16. Let j = 9 + h. Let f = -1/182 - 345/3458. Is f not equal to j?
True
Let b = -57 + 41. Let u(y) = y**2 + 15*y - 10. Let s be u(b). Let o be (2/s)/((-7)/6 - 0). Is -1 > o?
False
Let r(w) = 27*w**2 + w. Let g be r(1). Suppose 0*f + g = -2*f. Let a = 2656 + -2668. Which is smaller: f or a?
f
Suppose -7156*u + 7069*u = 18444. Which is smaller: -2327/11 or u?
u
Let t(x) = -3*x + 13. Let k(o) = -8*o + 38. Let v(d) = 4*k(d) - 11*t(d). Let c be v(3). Let z(w) = 3*w**2 - 56*w - 5. Let s be z(19). Is c > s?
False
Let o = -8705 - -17003/2. Suppose 1120 = -4*y + 304. Do o and y have the same value?
False
Let l(k) = 6*k**2 - 18*k + 2. Let d be l(3). Suppose -4 = -d*m - 4*o, -m - 6*o + 3*o + 3 = 0. Suppose m = 3*j - 6*j. Is j <= -1?
False
Suppose 27*o + 20412 = -37*o - 44*o. Which is greater: -200 or o?
o
Let c be (-4)/303*(-105)/(-84). Is c greater than 0?
False
Let q = -3424.9 - -3425. Is q greater than or equal to 969?
False
Let r be 20/15*(-26)/(-104)*(-4)/218. Is -3.8 less than r?
True
Suppose 32*p + 553350 = -83*p - 4*p. Is -4649 >= p?
True
Let r be 3*31 + (-29 - -29). Suppose -9*a = -93 + r. Which is bigger: 1/601 or a?
1/601
Let g(j) = -143*j + 3718. Let l be g(26). Let o be (-2)/10*36/26. Which is smaller: o or l?
o
Let y be 156/(-60) - (99/(-15) - (1 + -7)). Let u be (-4)/((-5)/5 + (-48)/(-14)). Which is smaller: y or u?
y
Let s = -737 + 419. Which is greater: s or -322?
s
Let n = 192405 + -192404.9. Let a = -1.02 + 56.02. Which is smaller: n or a?
n
Let n(v) = v**3 - 11*v**2 - 8*v + 59. Let j be n(11). Let x = -61 - -34. Which is bigger: j or x?
x
Suppose 0 = 4*l - 2*d - 22, -5*l + 3*d + 30 = -0*l. Suppose -l*z = 2*q - 6*q + 12, -3*q = 0. Let g = 0.4 + -1.4. Which is greater: g or z?
g
Let k be ((-32)/(-80))/((-2)/(-440)). Suppose 5*v = 47 + k. Suppose -4*l = 11 - v. Is 3 < l?
True
Suppose 8*k - 3*k + 630 = -5*g, 5*k + 640 = -3*g. Let o = k - -116. Let m be 9/o + 24/40. Which is smaller: m or -1?
-1
Let o be (-20)/(-16) - 152/96. Which is smaller: o or -929?
-929
Let u = -3055 + 3055. Is u bigger than -2/11021?
True
Suppose -1258*a + 1231*a = 44555 - 1760. Is a < -1580?
True
Let l(m) = -m**3 - 7*m**2 + 9*m + 8. Let h be l(-8). Let i = -52/691 + 738939/3455. Let q = i - 213. Which is bigger: q or h?
q
Suppose 3621*s = -5*d + 3622*s - 6307, -4*d - 2*s - 5054 = 0. Is d greater than or equal to -1264?
True
Let w = -22792 - -22870. Is w not equal to 18?
True
Let x = 1584 + -1496. Let w be (-495)/(-6) + 2 - -3. Is w != x?
True
Let d(l) = 3*l**3 + 19*l**2 + 7*l + 2. Let y(b) = 10*b + 24. Let u be y(-3). Let r be d(u). Is r at most as big as -17/6?
True
Let w = -8030 + 8029.7. Is w at least -3552?
True
Suppose 3*s = -4*d + d + 3, -4*d = -2*s - 22. Let y(c) = -3*c**3 - c**2 + 3*c + 2. Let r be y(-2). Let q be 9/d*r/(-3). Which is bigger: -9 or q?
-9
Let n = -0.07229 + 2.07229. Which is greater: n or -494?
n
Suppose 4*u - 274 = 5*m - 9, 122 = -3*m - 5*u. Let r = m - -8. Is -41 greater than r?
False
Let l(t) = t**2 + 166*t + 2132. Let a be l(-13). Let x = -1.5 - -0.5. Which is smaller: x or a?
x
Let r be 274966/98*(-2855)/(-25). Let h = 320418 - r. Let a = h - -8/49. Is a greater than 0?
False
Let r be (-8)/2 + 66/22. Suppose x - u - 1 = 2, 23 = x + 3*u. Let k be 1*(-16 + x - 0/r). Which is smaller: 1/2 or k?
k
Let s be 1/(34/(-46814)) + 3/((-204)/8). Does -0.1 = s?
False
Suppose 25*j = 21*j + 4. Suppose -15*h = -10*h - 205. Let c = h + -118/3. Is j greater than c?
False
Suppose 341 = 17*n - 18*n - 160. Which is bigger: -2502/5 or n?
-2502/5
Suppose -4*t = -2*v - 386, -2*t + 2*v + 71 = -117. Let k be (-88)/t - 10/(-45). Is k < -2/35?
True
Let k = 23422 + -23575. Is 52 > k?
True
Let v = 8 - 19. Let y = v + 13. Let b = -1660 - -1658.4. Is b > y?
False
Let o = -4516 + 4