t l = 1 + 1. Let t(q) = -2*q**3 - q**2 + q - 1. Let y be t(1). Is l smaller than y?
False
Let l = 28 + -31. Which is smaller: -2/5 or l?
l
Let p(v) = -3*v**2 + 6*v + 1. Let i be p(2). Are i and -2/129 non-equal?
True
Let k = -190 + 1708/9. Which is smaller: k or 3?
k
Let w = 0.9 + -2.2. Is 0.1 less than w?
False
Let w(q) = q**3 + 5*q**2 + 2*q - 2. Let r be w(-3). Which is greater: 19/2 or r?
r
Let b = 85 + -107. Is b bigger than -18?
False
Let x = -26 + 27. Suppose -3*z = -5*b + 6, 2*z + 3*z = -10. Do b and x have different values?
True
Let k(r) = -r - 2. Let j be k(-3). Let c be -1 + j - (-2)/(-7). Let s = 102 + -102. Are c and s nonequal?
True
Let d be (7 - -1)*(-9)/12. Let q be 4/d - 5/(-3). Is q at least as big as 2?
False
Let a(k) = -k**2 + 3. Let s be a(0). Is 2 != s?
True
Suppose -3*t - 6 = 0, l + 4*t + 22 = -l. Suppose -36 - 3 = 5*r - o, -5*o + 27 = -r. Is l smaller than r?
False
Suppose -5*y = 2*b + 2, 2*y = -3*b + 4*y - 3. Let d be (-84)/147*(-14)/(-6). Is d less than b?
True
Suppose 0*c = -2*c - 12. Let z(v) = -v**2 - 6*v - 1. Let n be z(c). Which is smaller: -3/14 or n?
n
Let u = -817/9 + 91. Let f = -5 + 8. Suppose -3 = f*r - 0. Which is smaller: r or u?
r
Let b(a) = -a**3 + 9*a**2 - 3. Let w be b(9). Suppose y + 12 = -0*y. Let x = y - -9. Is w less than or equal to x?
True
Let b be (-2)/12 + (-34)/12. Let c = -2 - b. Which is bigger: c or 2/11?
c
Suppose -6*n = -4*n + 8. Let y be (-3 - (-3 - n))*-5. Is 19 greater than y?
False
Suppose 0 = -2*t - 8 - 2. Is t less than or equal to 0?
True
Let a(z) = -3*z**2 + 22*z - 1. Let o be a(7). Is o greater than 7?
False
Let r = 2.2 + -2. Let s = 0.2 + -0.3. Let a = 0.1 - s. Does r = a?
True
Let b = 111 + -111. Which is smaller: b or 38?
b
Suppose n - 2 = 1. Let x(h) = -h**2 + 2*h - 3. Let m be x(n). Let v be 2/(-12) + (-4)/m. Do 3/4 and v have different values?
True
Suppose 4*w - 12 = 0, -w - 4*w = -4*l + 93. Suppose 4*o - o = l. Let g be -2 + 0*(-3)/o. Is -2 < g?
False
Suppose -30 - 42 = 4*w. Which is smaller: -16 or w?
w
Let r = -0.34 - -0.6. Let q = -0.06 + r. Which is greater: 2/7 or q?
2/7
Let x = 0.32 + -0.21. Let i = x - 0.11. Let y be (-2)/3 - 40/(-42). Are i and y nonequal?
True
Let m(v) = v + 17. Let g = -99 + 143. Let f be g/(-11)*14/8. Let j be m(f). Do 10 and j have the same value?
True
Let q = -0.48 - -0.54. Are -2 and q equal?
False
Let p = 4 + 0. Suppose -5*m = b - 20, -3*b - p*m - m + 50 = 0. Let a be (-2)/10 - 57/b. Which is smaller: a or -2?
a
Suppose 4*k - 5*t = 1, 0*t = -4*k + 4*t. Which is greater: k or 0?
0
Suppose 8*y + 138 + 62 = 0. Is -24 > y?
True
Let c = 1 - -2. Suppose c*w + 4 - 1 = 0. Is w at least -3?
True
Suppose 4 = 2*g - i - 1, -2*g = 3*i + 7. Let w = 55/3 + -18. Which is bigger: g or w?
g
Let h = -52 + 158/3. Which is greater: -6 or h?
h
Let u = -11 - -12. Which is smaller: u or 2/15?
2/15
Suppose 2*x - 12 = 6*x. Let f(d) be the first derivative of -d**2/2 - 2*d + 2. Let t be f(0). Which is greater: t or x?
t
Let i = -24560/1131 - -282/13. Is i less than or equal to -0.1?
False
Suppose s - 2*s - 7 = 5*i, -s = -i + 1. Is -1/35 at least i?
True
Let u = -877 + 1797/2. Let c = u + -22. Is c bigger than 4?
False
Suppose 0 = -6*x + 2*x + 8, 3*x - 78 = -3*j. Suppose -9 = -3*v + 3*r, -3*r + 7*r = -5*v + j. Let c be -2 + v + (-40)/18. Which is smaller: c or 0?
c
Let i = 91 + -92. Which is greater: -1/10 or i?
-1/10
Let r = 0 + 1/3. Let l be (-6)/(-4) - (-10)/(-4). Is r at most as big as l?
False
Suppose 5*r + 0*y = -2*y + 20, 0 = -4*y + 20. Which is bigger: 3/5 or r?
r
Let i be 1/((-1)/4)*-1. Let p be (-4 + i)/(2 - 1). Let q be (-1)/(-2)*(0 + p). Which is bigger: -1 or q?
q
Suppose 2 = 2*n - 0. Which is bigger: n or -2/11?
n
Suppose -4*o = -0*o. Which is bigger: 2/9 or o?
2/9
Suppose 38 = 4*r + 38. Which is greater: r or -1/103?
r
Let t be (-16)/(-40)*(1 - -4). Let g = 7 - 3. Which is smaller: t or g?
t
Let s(d) = d**3 + 2*d**2 - d - 2. Let x be s(-2). Suppose u = 2, -y + 0*y - u + 3 = x. Suppose -k + 4 = -g, 0 = 2*g + 2*k + y - 9. Is g not equal to -1/2?
True
Let v = -0.04 - 0.76. Let n = v - -0.83. Let d = 0.33 - n. Which is bigger: d or 0?
d
Let s = 11 + -11. Let l = 4 - 3.98. Which is smaller: l or s?
s
Let k(t) = -1 + 6 + 3 + 1 - t. Let u be k(8). Suppose 0 = g + g + 3*w + 5, 2*w = -2*g - 4. Which is smaller: u or g?
g
Let i be 2/(-7) - (-13)/21. Let n(w) = 3*w + 5*w + w**3 - 7*w**2 - 2*w. Let b be n(6). Is i > b?
True
Suppose -15 = s + 2*s, -a = 3*s + 10. Suppose -3*y - 2*y = 2*i - 15, a*i - 25 = 0. Let d = -730/7 - -104. Which is bigger: y or d?
y
Let z be (0 + 0)*(-1 - -2). Let t be ((-14)/(-14))/((-2)/(-12)). Let f be 26/(-126) - t/(-14). Does z = f?
False
Let j(x) = -5*x - 4. Let t be j(-1). Which is greater: -1 or t?
t
Let q be ((-2)/12)/((-2)/(-4)). Which is greater: q or 1?
1
Let m(a) = -a**2 + 6*a - 15. Let l be m(8). Is -1 bigger than l?
True
Suppose -23*j + 26 = -22*j. Is j greater than or equal to 26?
True
Let b be (-27)/(-72)*4/3. Is 1 bigger than b?
True
Let n = 139 + -139. Let q = -1.25 - 0.05. Let g = q - -6.3. Which is bigger: n or g?
g
Suppose -4*w + 5*y = -0*w + 41, 4*y - 4 = -4*w. Which is greater: 0 or w?
0
Let f = 38 - 77/2. Which is smaller: 1 or f?
f
Let m be (8/5)/(10/25). Let k = 44 - 42. Is k > m?
False
Let n = -36 - -24. Which is smaller: n or -10?
n
Suppose -6*j + 10 = -j. Suppose 7*k - 2*k = 0. Which is greater: k or j?
j
Let p be 1/(-4) + (-410)/(-1160). Which is bigger: -1 or p?
p
Let g = -55 - -15. Let i be (-94)/g + (-3)/(-12). Which is greater: i or 2?
i
Let n = -611/2877 + 3/137. Is 1 bigger than n?
True
Let r = -20 + 18. Let s = 1.7 + r. Which is smaller: s or 4/7?
s
Let p = 222/7 - 32. Which is greater: 2/11 or p?
2/11
Let t = -1.2 - -0.2. Let f = -977 - -972.89. Let u = f + 0.11. Does t = u?
False
Let d(f) = 26*f**2 + f + 1. Let k be d(-1). Let w be k/(-10) - (-2)/(-5). Suppose 3*t + 8 = t. Is w >= t?
True
Let v(h) = -11*h - 85. Let n be v(-16). Is 90 equal to n?
False
Let s be -2*2/(-4)*0. Let k be (-3212)/(-60) - (-2)/(-6). Let b = -53 + k. Does b = s?
False
Let j be (-3)/((-18)/4) - 0. Let i be (1*10)/((-4)/4). Let f be ((-20)/i)/(0 + 1). Which is smaller: j or f?
j
Let r = -22 - -22.21. Let j = 0.11 - r. Which is greater: j or -1?
j
Let m = -20/7 + 73/28. Let t = 3 + -1. Suppose -3*p - 5 = t*p. Is p equal to m?
False
Let q = -2.1 - -2. Let m = q + 0.1. Which is greater: m or -0.2?
m
Let m be 2/(-8) + 9/36. Suppose 9 = q - m. Are q and 0 nonequal?
True
Let h = -0.4 + 2.4. Let w = -3 + h. Is -0.5 less than w?
False
Let g = 2.013 + -0.013. Is 4 < g?
False
Let t be -8*-2*1/4. Suppose 0 = -2*d + 3*i + 3, d - i - t*i = -2. Is d != 4?
True
Let v = 0.3 - -1.3. Let s = v + -2.6. Which is greater: s or -3?
s
Suppose 0*h = 3*h - 3*b - 21, -4*b - 14 = 3*h. Which is bigger: 1 or h?
h
Suppose 2*v = -12 + 4. Does -4 = v?
True
Let t = 20 - 16. Suppose a + 5 = 4*f + 29, 4*a + 4*f = -4. Let b be (-1)/(-1)*(a - 1). Is b at least as big as t?
False
Let p = 27 + -42. Let z = p + 22. Let j = 1.9 - 2. Which is bigger: z or j?
z
Let f(c) = c**2 - 10*c + 1. Let x be f(10). Which is greater: x or 4/9?
x
Let n = -24 + 13. Let r = n - -10. Do r and -3/7 have the same value?
False
Let g = -13227/868 + -5/434. Let z = -17 - g. Let c = z + 13/12. Is c less than or equal to 1?
True
Let o = -1.2 + 0.2. Let u = 4.1 + -0.1. Which is bigger: o or u?
u
Suppose -4*m + 11 = -53. Let s be 2 - (-7)/((-21)/6). Suppose s = -5*x + x + m. Which is smaller: x or 3?
3
Let p = 4 + -6. Suppose 2*t - t = 2. Suppose 4*n + t = 3*n. Is p bigger than n?
False
Let f = 16 + -15. Suppose -4*y + 3*y = 0. Which is smaller: y or f?
y
Let n be (2 - 1)*-1*1. Let t be 7/72 - (-6)/(-27). Is t at least as big as n?
True
Suppose -24*n - 15 = -19*n. Are -3 and n equal?
True
Let m = -1.951 + -0.099. Let q = -0.05 - m. Let a = 1 - q. Which is greater: a or -1/3?
-1/3
Let w(o) = -5*o. Let y be (-7 - -6) + 0/(-2). Let f be w(y). Is 5 less than or equal to f?
True
Let u be ((-10)/2)/(9/2). Which is smaller: 0 or u?
u
Let v(r) = -r**3 + 3*r**2 + 5*r - 2. Let f be v(4). Let g be (-1)/f*1*2. Is -1/4 at most g?
False
Suppose 5*n + 19 = 3*l - 0*l, -4*n - 14 = -2*l. Let h be (-1)/6*4/n. Is h at most as big as 0?
False
Let s = 51/4 - 957/76. Is 0 < s?
True
Let h = 0.056 - -0.944. Is h < 8?
T