et h = 5 - 0. Let u be d(h). Let b = -23 - -70/3. Is u bigger than b?
True
Let h be (-4 + 7)/((-9)/(-111)). Which is bigger: 1 or h?
h
Let j = 0 - -4. Suppose j*i - 4 = -12. Is i less than -2?
False
Let i = -23 + 22. Let x = 2 + -6. Which is greater: i or x?
i
Let v(k) = -k**2 + k - 97. Let y(n) = n - 6. Let c be y(6). Let f be v(c). Let j = f + 488/5. Does j = 1?
False
Suppose 0 = o + 97 + 132. Let a = o - -1139/5. Which is greater: 0 or a?
0
Suppose -205*a + 203*a = -8. Let z = -1 - -2. Let v = z - a. Which is greater: -5 or v?
v
Let b(s) = -s - 3. Let m be b(0). Let z be -1 + m/(1353/(-500)). Let l = z + 3/41. Is l smaller than 1?
True
Suppose -2*q = -9 + 1. Suppose 0 = 2*p + 2 + q. Are p and -5/2 equal?
False
Suppose 5*t - 4*g + 44 = 0, -3*g + 2 = -1. Is t greater than -1?
False
Let l be (7/(21/(-18)))/(22/33). Let y = -13 + 6. Is l not equal to y?
True
Suppose -y + 15 = -2*q - 6*y, -3*y - 9 = 4*q. Is q at most as big as 2/43?
True
Let u be (-7)/(-8)*(-374)/(-119). Is -0.1 != u?
True
Let w = 3/25 - 187/100. Is 2 greater than w?
True
Let j = 0.04 - -8.96. Let n = -0.16 + 8.16. Let l = n - j. Which is greater: 4/3 or l?
4/3
Let g(v) = -v**2 - 15*v - 14. Let o be g(-9). Which is smaller: o or 41?
o
Let g be 3*(-2)/(-6)*-6. Let r(h) = h**3 + 6*h**2 + 1. Let c be r(g). Suppose 3*z = t - c, 2*z = z + 4*t + 7. Which is bigger: -2 or z?
z
Let m = 22 + -108/5. Let o be (16/(-28))/(150/70). Is o smaller than m?
True
Let g = 74 + -30. Is 44 at least g?
True
Let a be ((12/45)/(-4))/((-176)/10). Is 0 bigger than a?
False
Let b = 15 - 15. Let w be (b + -1)*(11 - 10). Let q = -27/92 + 1/23. Is q less than or equal to w?
False
Let h be 1/2*6/4. Suppose 0 = 22*i - 24*i. Which is smaller: i or h?
i
Let c be 0 + 1 + (5 - 5). Which is bigger: -1/20 or c?
c
Let z be 336/(-280)*(8/(-3) + 1). Is z bigger than 15/17?
True
Let t = -7.73 + 0.73. Does -0.01 = t?
False
Let c(l) = 3*l - 33. Let s be c(10). Does -18/7 = s?
False
Let o(h) = -h**3 - h**2 + 3*h - 4. Let k be o(-3). Suppose -k - 1 = -3*t. Let u be t*1/(2/(-4)). Are -4 and u equal?
True
Let h(v) = v**2 - 4*v + 5. Let n(z) = -z + 9. Let r be n(5). Let u be h(r). Suppose -u*w + 5 + 0 = 0. Is w less than or equal to 1?
True
Suppose 79 = -3*w + 5*v, 0 = 3*w - w - 3*v + 51. Is w at most as big as -16?
True
Suppose 9 = 3*o - 0*o. Suppose 0 = o*s - 5*s. Which is smaller: 6/5 or s?
s
Let b = -1.99 - -0.19. Is b >= 2/11?
False
Let g(t) = t**3 - t**2 + t + 24. Let k = 1 - 1. Let d be g(k). Let o be -14*(-3)/d - 1. Which is smaller: 2 or o?
o
Let j = 0 + 0. Suppose -4*p + 15 = -3*v, 0 = -p + 2*v + 3*v + 25. Are p and j non-equal?
False
Let f = -3431000783/1254 + 2736045. Let y = f - -13/38. Is y <= -1?
False
Suppose -4*d + 22 = 2*g, -2 = -2*d + g + g. Suppose -28 = -3*s - d. Let p be (-21)/(-12) + (-2)/s. Which is smaller: -0.1 or p?
-0.1
Let a = -0.28 - -0.36. Let r = 0.59 + -0.21. Let u = a - r. Which is smaller: -2/3 or u?
-2/3
Let p be (-9)/15 + (-6)/(-10). Let y(u) = 4*u - 2*u - 3*u - 7. Let w be y(p). Which is bigger: w or -6?
-6
Let t = 18 - 17. Is t equal to 18?
False
Suppose -5 = 2*g - 7*g. Let u be 5/4 + (-1)/4. Let x(m) = m. Let j be x(u). Are j and g equal?
True
Suppose 4 = r - 2*t, r + 0*r - 6 = 4*t. Let l be (-4)/(-5)*10/4. Suppose h - l = 1. Which is greater: r or h?
h
Let b = -32 - -51. Is 19 < b?
False
Let m(b) = b**3 - 4*b**2 - 4*b + 9. Let n be m(4). Which is smaller: n or -17?
-17
Let m = -0.08 - -0.16. Let s = 0.1 - m. Which is smaller: s or 0?
0
Let d be (-1)/((-1)/3 + 0). Suppose 0 = c - 4 + 1. Suppose 5*h + c*j - 23 = 0, h = -5*j + 11 - 2. Which is greater: h or d?
h
Let q(l) = l**3 - 5*l**2 + 2*l + 3. Let z be q(4). Let k = -3 - z. Suppose 0 = -x - 2*i - k, -3*x - 3*i + 2*i = -4. Do 2 and x have the same value?
True
Let k be 1/2 + 1/2. Is k smaller than 1/5?
False
Let s = -5.13 - -0.13. Let t = s + 1. Does t = 0?
False
Suppose -50 = -5*v + 8*k - 3*k, -v + 15 = -2*k. Let h be (-8)/(-10)*(12 + -8 - -1). Do v and h have the same value?
False
Let n = -0.19 + 0.09. Which is smaller: n or -6?
-6
Suppose -4*l = -l. Suppose -6*b + 3*b = l. Let x = -0.3 + -2.7. Which is greater: x or b?
b
Let u be (5/5)/(1/(-7)). Let f = u - -3. Let b = 4 + f. Is 1 >= b?
True
Let y = 0.2 + -0.11. Let c = y + -0.49. Which is smaller: c or -1?
-1
Let t = -56 + 170/3. Let l(k) = k - 7. Let g be l(-5). Let y be 8/g + 2/6. Which is bigger: y or t?
t
Let v = -0.2 + 1.06. Let j = v + -0.06. Which is smaller: -0.1 or j?
-0.1
Let f be (-6*1)/(-3) + 3. Is 2 greater than or equal to f?
False
Let b(r) = 2*r**2 + r + 1. Let n be b(3). Which is greater: 21 or n?
n
Suppose 3*w + 6 = -w + 2*c, -3*c + 16 = w. Which is smaller: w or 1/13?
1/13
Let r = -127.9 - -128. Is -33 equal to r?
False
Let z(a) = -a**3 - 11*a**2 + 12*a. Let y be z(-12). Which is smaller: y or -4/27?
-4/27
Let k = -5.8 + 5.6. Is 16 < k?
False
Suppose 2*y = 6*y + 4. Let n = -0.02 - -0.42. Which is bigger: n or y?
n
Let i = -67394/21 + 3208. Let k = -4/7 - i. Do k and -1/3 have different values?
True
Suppose 0*m + 18 = 3*m. Let l be (-36)/16*(-1)/m. Which is smaller: -1 or l?
-1
Let m = -2 - -6. Suppose -2*a = -m*a. Suppose -2*f + f = a, b + 1 = 2*f. Which is smaller: -2/27 or b?
b
Suppose -r = -26*r - 25. Is -1/138 at least r?
True
Let v be (-8)/(-10)*(-3)/(-60). Which is smaller: v or 0?
0
Let u(a) = a**2 - 4*a - 3. Let w be u(3). Let y(m) = -m**2 - 7*m - 8. Let l be y(w). Let x = l - -6. Is x smaller than 2?
False
Let h be 4/5*-10*1. Which is greater: -3 or h?
-3
Let s = 55 + -60. Which is smaller: -1 or s?
s
Let s = -3.2 + 3. Let j = s - -0.1. Let d be 1*4/(-24)*2. Which is bigger: j or d?
j
Let t = 1586 + -464700/293. Does 1 = t?
False
Let s = -102 + 1120/11. Let b = -27 + 6. Let o be 4/(-10) + b/(-15). Is s at most o?
True
Let w be (-1)/6 - (18/(-4) + 5). Is 3 at most w?
False
Let l be (93/6 - -2)*3/(-15). Is l less than 0?
True
Suppose 10 = -5*v, -2*v = 5*b - v - 38. Suppose 4 = 2*c + z, -2*z = c + z + b. Suppose c*l + 9 - 1 = 0. Which is smaller: -1 or l?
l
Let p = 126 - 126. Is -5 smaller than p?
True
Let z be 6*2*32/168. Is z at most 1?
False
Let m = -4.3 + 3.3. Are -6 and m non-equal?
True
Suppose -2*v + 3*z = v + 6, 2*z = 2. Let p(o) = o**3 - o + 1. Let d be p(1). Let g = 0 - d. Is g greater than v?
False
Let h = -7 + -15. Is h less than -21?
True
Let o = -42 + 79. Which is greater: o or 36?
o
Let m = -1223/5356 + -1/412. Let z be 7/21 - 3/9. Which is smaller: z or m?
m
Let l = 527/36 + -59/4. Suppose 0 = p - 5*p - 4, 0 = -c + p. Which is smaller: c or l?
c
Let p(x) = -2*x - 12. Let v be p(-7). Let h be (-4)/(-10) - 21/15. Let n = h - -4. Is n greater than or equal to v?
True
Let g = 10 + -10. Let y = g + 0.1. Let n = 4.1 - y. Is n > 1?
True
Suppose 12 = -3*j + 7*j. Suppose 0 = -2*p + 6, -2*p - 2*p = 2*q + 2. Let y = q - -11. Which is greater: y or j?
y
Let z be (-1 - (-1 + -1)) + 0. Let k = 161219/5 - 32477. Let c = k - -234. Which is greater: z or c?
z
Let p(n) = n**2 - 6*n + 1. Let r be p(4). Which is greater: r or -8?
r
Let b be (-5)/10 - 1/(-2). Let d = 1 - b. Suppose -d = u - 0*u. Which is bigger: -3 or u?
u
Suppose -2*i = -6*i + 4. Which is greater: i or 6?
6
Let v = -3.7 - -3.5. Is v > -7?
True
Let w(f) = -f - 1. Suppose 8*k - 3 = 9*k. Let b be w(k). Let y(a) = a + 6. Let v be y(-5). Which is greater: b or v?
b
Let t be 2 + 0 + (-3 - 0). Let m = t - 1. Suppose -l = 3*p - 9, -4*p + 8 = -5*l - 23. Which is smaller: l or m?
l
Suppose -2*y + 3*v + 842 = 0, -v = -5*y + 2139 - 47. Let q = 2932/7 - y. Which is smaller: 0 or q?
0
Let w = -4.6 + 5. Let c = 9 + -9.21. Let v = c - -1.21. Which is smaller: w or v?
w
Let h = -76 - -77. Let p be 3 + (0 - -2) + -1. Which is bigger: h or p?
p
Let f = -12 - -17. Suppose -4*k + 2 = -f*i, -3*k + 2*i + 2 = -2*k. Is -3/4 at least as big as k?
True
Let n = 75 - 37. Suppose f = -n + 2. Let d be 1/f + (-10)/45. Is d < -1?
False
Let f be (-2)/12 - 2075/(-30). Which is bigger: 67 or f?
f
Suppose -3*l = 3*j - 30, -3*l + 30 = 5*j - 8*l. Let q = 14 - j. Is 6 > q?
False
Let o be 3 - 4 - 2 - -3. Let f be (-1)/((-2 + 14)/4). Does f = o?
False
Suppose -2*y + 2*z + 6 + 4 = 0, -5*y = -3*z - 15. Which is smaller: y or -1/17?
-1/17
Let q = 32 + -39. Let i(z) = -z**2 - 6*z + 10. Let b be i(-8). Let o = b - q. Which is bigger: 0.4 