 h smaller than 2/5?
True
Let j = -26133/53 - -493. Suppose 0 = -155*l + 141*l. Which is bigger: j or l?
l
Let l be (-2)/(-15) + 46968/(-159885). Is l greater than 1?
False
Let z = 0.09 + -0.12. Let u = 5.03 + z. Let s = u + -4.6. Which is smaller: s or 0?
0
Let w = -160 - -164. Which is greater: w or 1.6?
w
Suppose 5*w - 2*v - 132 = 0, 3*w - 5*v + 36 = 100. Let r be (-10*(-35)/75)/(2/12). Is r greater than w?
False
Let l = -4 + 2. Let s = 48 - 29. Suppose -4 - s = -3*n + b, -5*n + b = -37. Which is smaller: n or l?
l
Let d = -3 - -2. Let i = 5.4 - 0.4. Let f = i + -4.9. Which is greater: d or f?
f
Let d = 473.22 - 481. Let o = d - -7.5. Do 0 and o have the same value?
False
Let t = 31269/962 + -2/481. Let d = t + -33. Which is greater: d or 9?
9
Let a = -46 - 246. Is -291 bigger than a?
True
Let f be (15/140)/(9/894). Let v = -32/3 + f. Is v smaller than 1?
True
Let r(f) = -2*f**2 + 14*f - 11. Let j(p) = -2*p**2 - 15*p - 19. Let w be j(-5). Let q be r(w). Is -1 at least q?
False
Let y = -283/90 - -27/10. Is -2/3 < y?
True
Let j = 11 + -15. Let k be ((-32)/120)/(j/(-6)). Do -17 and k have different values?
True
Suppose 4*w = d + 17, d - 3*w + 8 = -5. Is -11 >= d?
False
Suppose 60 = 2*j - 0*j. Suppose m + j = 31. Is 1/23 less than or equal to m?
True
Let w be (-424)/(-64)*-2 - (-3)/12. Is w bigger than -188/13?
True
Let j = 2084/7 + -288. Is 9 at least j?
False
Let f(z) = -31*z**2 + 2*z - 3. Let j be f(9). Let b be (-14)/8 + 1 - (-2736)/j. Which is smaller: b or 1?
b
Let d(b) = -6*b - 2. Let y be d(-1). Suppose -3*i - 9 = -4*a, -y*i + 1 - 12 = -5*a. Which is greater: a or -3?
a
Let r(i) = i + 10. Let u be r(-6). Suppose -u - 4 = 8*h. Let x be h/1 - 4/14. Which is smaller: x or -2?
-2
Let z = -9 + 6.1. Let q = 1.9 + z. Which is greater: q or 6?
6
Let o = 0.18 - -0.31. Let f = -0.29 + o. Are f and -5 non-equal?
True
Suppose -g - 4 = -1. Let s be g/5 + 2/5. Which is bigger: 0.03 or s?
0.03
Suppose -h - 4 = -13. Suppose h = -4*s - 7. Is s > -4?
False
Let f = 42 + -60. Let q = f - -20. Let z = 3898/7 - 556. Is q <= z?
False
Let z be 4 - 95/25 - 74/(-5). Which is greater: z or -0.05?
z
Suppose u = 3*u - 2. Let h be (-804)/(-132) + 21/11 + -2. Which is smaller: h or u?
u
Let b be (-3)/(-9)*(-36)/(-4). Is b less than -0.14?
False
Let l = -25 + -19. Let u = 45 + l. Which is bigger: u or 0.7?
u
Let j = 5 - 5.3. Let k = j - -0.3. Let i = -705 - -704. Which is smaller: k or i?
i
Let z = -2.873 - 0.127. Which is greater: -28 or z?
z
Let a be ((-4)/(-9))/((-155)/(-15) + -9). Let x = 9.28 - 9. Which is bigger: x or a?
a
Let u = 1622 + -1584. Which is greater: u or 35?
u
Let q be 1*(0/(-4) + 0). Suppose 4*d - 92 = -3*m, 5*d = -4*m + 24 + 90. Suppose 4*g + g - 4*x = d, 0 = 5*g + 3*x + 2. Is g equal to q?
False
Let i be ((-16)/68)/((-14)/119). Let o = -2/259 + 1303/1036. Which is bigger: i or o?
i
Let p = -62/5 + 377/30. Let t(y) = y**3 + 22*y**2 + 39*y - 18. Let z be t(-20). Which is smaller: p or z?
p
Let w be 47/(-94)*(-1)/(27/120). Let u = 0 + 1. Is w <= u?
False
Let u be (-12)/(-18)*9*-8. Let h be ((-4)/u)/(3*2/12). Is h greater than or equal to 1?
False
Let f = 3 + -7. Let a be (10/(-4))/(12/(-24)). Let r be 4 - (f + -3 + a). Are r and 7 nonequal?
True
Let y be 3/(-12) + (-1)/(-2). Let r = -0.314 - -18.534. Let n = r - 18. Which is smaller: n or y?
n
Let i = -44 - -52. Let b be (10 + -9)/(-1 + i/10). Is b at least -9?
True
Suppose -5*x + 31 = 4*q, 0*q = -x + q - 1. Let v be (1/2 + x)*-2. Which is smaller: -11 or v?
-11
Let z be (-32 - -31)*(-1 + (-5)/(-7)). Let s = -0.01 - -0.41. Let j = -0.7 + s. Which is smaller: j or z?
j
Let v be ((-16)/(-310))/((-70)/(-2625)). Are 3 and v equal?
False
Suppose -82 = -4*i + 4*h + 22, 2*i - 64 = 5*h. Let p = 748 + -744. Let n be (i/(-33))/(p/6). Which is bigger: n or 0?
0
Let s = 53 + -106. Let q = s - -40.96. Let t = q - -12. Is t >= -0.1?
True
Let m be 48/(-168) + 4194/(-70). Which is smaller: m or -61?
-61
Suppose 3*u = -183 - 87. Let g = 55 + u. Let d = g - -36. Which is smaller: 3 or d?
d
Let m(i) = -3*i**3 - 3*i**2 - 5*i - 3. Let c be m(-1). Suppose 0 = c*t + k + 2, 3*t = 7*t + k. Which is greater: 2/15 or t?
t
Let y = 522.8 + -475. Let g = -48 + y. Is 19 at least as big as g?
True
Let u be 0*2/((-8)/(-2)). Let o be 1/((-10)/(-1622)) - 2/10. Let l = o + -651/4. Is l smaller than u?
True
Let y = -19275 - -19277. Let t = -2516/5 - -506. Which is smaller: y or t?
y
Let l = -28 + 30. Suppose l*c - 15 = 5*c. Let y be 6/(0 + -1 - c). Which is greater: -0.05 or y?
y
Let t = 719 + -720.3. Is -33 at least t?
False
Suppose z - 155 = -4*s, -2*s - z + 194 = 3*s. Suppose -k = n - 23, -4*k + 5 = 13. Let r = s - n. Is 14 smaller than r?
False
Let v = 8 + -7. Let a = -0.0036 + -0.1164. Is a < v?
True
Let j be 6/(-14) + 0 + (-198)/(-21). Do 5 and j have different values?
True
Suppose -4*w + 4*p = 12, -15 = -0*w - 5*w - 5*p. Let z(d) = -d**3 - 27*d**2 - 89*d + 66. Let q be z(-23). Which is smaller: w or q?
q
Let m = -1028.94 - -1029. Is m < -0.17?
False
Let b(o) = -13*o. Let v be b(1). Let r = 16 + v. Suppose -r*w + w = 0. Which is bigger: -3/7 or w?
w
Suppose -5*j - 8*x = -3*x - 2390, -4*x - 980 = -2*j. Which is bigger: 483 or j?
483
Let w be -9 - (-7 - (-11 + 8)). Are 22 and w equal?
False
Suppose 5*d = 10*d + 235. Let r(p) = -11*p**2 + p - 2. Let c be r(-2). Which is bigger: c or d?
d
Let o(k) = k**3 + 12*k**2 + 34*k + 5. Let d be o(-6). Is d >= 37?
False
Let a = 47 - 47.21. Let y = a + 0.8. Which is bigger: -1/2 or y?
y
Let c be 938/(-8) - (-1)/4. Let m(g) = -15*g**2 - g + 16. Let f be m(-3). Is f at least c?
True
Let d = 46.9 - -12.1. Let n = -59.13 + d. Is 1 equal to n?
False
Let u = 0.3 + 3.7. Let h = -3.8 + u. Are 13 and h unequal?
True
Let q = -16 + 16. Let y = 27 - 67. Let o = -401/10 - y. Is q <= o?
False
Let n(d) = 57*d**3 + 2*d**2 + d. Let g be n(-1). Let v = -65 - g. Is v > -9?
False
Suppose -5*l - 510 = 3*s - 2*l, s + 145 = 4*l. Let r be 61/s + (-4)/(-10). Let d be (3 + -3)*(-18)/(-18). Which is smaller: r or d?
d
Let g = 5.1 + -104.1. Which is smaller: g or -1/4?
g
Suppose 4*n - 3*g = -0*n + 20, -4*n - 4*g = 8. Let a = 360 - 359. Suppose -3*m + n = -a. Is -2/15 <= m?
True
Let a = -9401/90147 - 1/597. Does 0 = a?
False
Suppose 0 = -13*s - 0*s + 520. Let w = s + -1081/27. Is w < 1?
True
Let q be 2/9 + (-4020)/(-135). Let r be (-189)/(-33)*q/9. Let d = r - 6057/319. Do 0 and d have different values?
True
Let h be 1 + 20 - 26/13. Let s = -53 - -31. Let f = h + s. Which is smaller: f or 1/5?
f
Let a(t) = -t**3 - 13*t**2 + 9*t - 27. Let n be a(-14). Let f = 43 - n. Is f <= 3/37?
True
Let c = -356 + 3214/9. Let n be 1 - (-1 - -4 - 2). Which is smaller: c or n?
n
Let j be ((-15)/9)/(30/(-18)). Is -9.2 smaller than j?
True
Let w = -1225267/163 - -7517. Which is bigger: -1 or w?
w
Suppose b + 4*b = -f - 15, 4*f + 2*b = -6. Let g = -2/7009 - 112026/413531. Let d = 541/472 + g. Is d bigger than f?
True
Let h = -0.113 + 0.18. Let s = -2.563 - h. Let v = s + 2.5. Which is smaller: 1/3 or v?
v
Suppose 10*a + 18 = 9*a. Let u(z) = -z + 5. Let g be u(5). Suppose -2*s + x - 32 = -g*x, -s = 5*x + 27. Which is smaller: a or s?
a
Let y be 20/(-8) + (-6)/(-4). Let f be y/4*4 - 1/1. Are f and -28/9 unequal?
True
Let m = 0.2 - 0.4. Let k = 0 - m. Let q(y) = y**3 + 5*y**2 - 11*y + 16. Let f be q(-7). Which is smaller: f or k?
f
Let z = 2.7 - -29.3. Let f = 31.93 - z. Is f > 1/3?
False
Let r(z) = 2*z**2 - 20*z + 50. Let k be r(10). Let d = k + -301/6. Suppose -5*w = -2*w. Which is bigger: d or w?
w
Suppose 3 = 5*u + 18. Let i = u + 2. Let x(q) = q**3 + q**2 - q - 1. Let c be x(i). Which is bigger: c or -3/16?
c
Let m(b) = b**2 + 3*b + 1 + 3*b - 8*b + 9*b**3 - 2*b**3. Let n be m(1). Let r be n/(-9) + (-28)/126. Is 3/13 != r?
True
Let k = 52 + -70. Let l be -3 + (61/k + 2)*-2. Do 1.1 and l have the same value?
False
Let i = -1398 - -1397.732. Which is smaller: 1 or i?
i
Let o be (-4216)/(-48) + (-2)/(-12). Let n be (6/6)/(-2)*o. Is -44 greater than n?
False
Let l be (0 + 2/(-10))/1. Suppose -7*q + 10*q + 5*j = -15, 4*q + 2*j = -20. Let g be ((-42)/9 - q)*3. Which is greater: g or l?
g
Let h(i) = 8*i - 256. Let q be h(0). Is q < -257?
False
Let n(u) = -3*u + 21. Let z be n(7). Let p be -1 - -2 - (-40)/(-56). Is z at least p?
False
Suppose 21