et w be 18/30 + 411/140. Let t = 13/4 - w. Are t and -2/7 non-equal?
False
Let t(h) = h**3 - 9*h**2 - 2*h + 18. Let y be t(9). Let w = 0 + -1.2. Let j = 1 + w. Do y and j have different values?
True
Suppose -2 = -4*p + 6*p. Suppose 0*l + k - 5 = l, l + 11 = 3*k. Is l > p?
False
Let z = 546 + -311. Let q = z + -461/2. Suppose 20 = -5*k, -4 + 16 = -2*l - 5*k. Which is smaller: q or l?
l
Let p = 4991519/110 + -45377. Let u = p - 1/22. Let q = -3 + 7. Is q less than or equal to u?
False
Let s be ((-12)/(-28))/(-3) + (-108)/(-21). Let b be ((-3)/(-4))/((-2)/(-16)). Is b > s?
True
Let m(u) = u + 2. Let i be m(1). Let w be (-34)/48 + 1/i. Which is smaller: w or -1/4?
w
Let s(r) = r**3 + 5*r**2 + 4*r - 2. Let f be 10/((-4)/(-2)) + -1. Suppose -b - 20 = f*b. Let n be s(b). Do -2 and n have the same value?
True
Let u(r) = -r**2 - 11*r + 5. Let j be u(-11). Let a = 5 - j. Suppose 2*n + a*n - 4 = 0. Which is greater: 3 or n?
3
Let w = 29/5 - 73/10. Let h = 4/3 + w. Which is smaller: 0 or h?
h
Let l be -2 + 1 + (-21)/(-14). Let f = -3 + 3. Is f at least l?
False
Let b = -1985/6 + 330. Let u = -1 - -1. Which is greater: b or u?
u
Let l = 0.02 + -0.12. Let m = l + 0.3. Let d = 2 - 4. Which is greater: d or m?
m
Suppose 14 - 8 = -3*g. Which is smaller: -1 or g?
g
Suppose -3*b = -4*l, l = 5*b - 4*l + 5. Let j(f) = f**2 + 6*f - 1. Let p be j(-6). Which is greater: p or b?
p
Let m = 429 - 241. Let f = m + -62. Let h be (-2)/(-7) + (-64)/f. Do -1 and h have the same value?
False
Let g = -97/527 - 32937/2108. Let x = g - -902/17. Let b = x + -37. Which is greater: b or 0?
b
Suppose -4*w + 9 = -7, -2*w + 6 = 2*k. Which is bigger: k or 2/133?
2/133
Let o = 1381/4 + -347. Is o not equal to -3?
True
Let j be (-6)/40*(5 - 1). Let w = 12/5 + -43/20. Which is smaller: j or w?
j
Let y = 0 + -1. Let l be 2/4 + 190/(-300). Is l <= y?
False
Let v be -1*((3 - 1) + 2). Let w = -2 - v. Is -0.1 bigger than w?
False
Let l = -65 + 68.1. Let h = -3 + l. Suppose 5*b - 2*b = -6. Does b = h?
False
Let s = -1 - -4. Let b = 1 - s. Let i = b + 2. Is 2 equal to i?
False
Let x be 0 + (-2 - 0) - -1. Is x <= 16?
True
Suppose 17 = -5*h + 67. Suppose -f + 0*c = 4*c - 10, 4*f + c = h. Let q be (-16)/24*f/20. Is q at least as big as 0?
False
Let v be ((-1)/(-6))/((-1)/2). Let o be 4/10 - (-72)/(-30). Let g be ((-4)/o)/(-4 + 2). Are v and g non-equal?
True
Suppose -i - 3 = -1. Let u be 4*-1 + 1 - i. Let g be (-5)/((1 - 0)*u). Is g bigger than 4?
True
Let m be 4/2*1 - 35. Let z be (-286)/8 - (-5 - -3). Let j = z - m. Is j less than or equal to -1?
False
Suppose -19 - 9 = -t. Let c be 4/6*12/t. Which is bigger: c or -0.3?
c
Let b be -3*(-1)/(-3)*-2. Let w be 21/3 - (-1 + 2). Let r(d) = d - 4. Let s be r(w). Does b = s?
True
Let w(d) = 2*d**2 - 3. Let j be w(2). Suppose x = -3, j*p = -5*x + 1 - 6. Let v = 0.3 - -0.7. Which is smaller: p or v?
v
Let z = -0.13 + 0.23. Let w = 0.3 - z. Which is smaller: w or -7?
-7
Let d(b) = b + 5. Let m be d(-4). Let v = -22.8 + 25. Let f = v - 2. Is m greater than f?
True
Let s be 10/((4/(-8))/(2/(-4))). Which is smaller: 11 or s?
s
Let i = -16 - -16. Which is smaller: -1 or i?
-1
Let y = 0 - -1. Let u = -5 - -3. Let s = 2 + u. Are y and s non-equal?
True
Suppose 58 - 6 = 4*l. Suppose 3*h + 0*q = q + l, h + 3*q = 1. Let i(u) = u - 1. Let j be i(6). Which is bigger: j or h?
j
Let f = 4 + -5. Let s be ((-2)/2)/(-19)*-2. Which is greater: s or f?
s
Suppose 0 = -4*f + 4*r + 4, 3*f + 0*r - 5*r = -3. Let i(o) = o + 6. Let m be i(-1). Let k = m - f. Which is smaller: k or 0?
0
Let s be 60/(-33) + (-6)/33. Which is greater: s or -17/5?
s
Let s be 2/(-3) + 2/(-6). Let z = -6 + 8. Let t = 1 - z. Is s >= t?
True
Let q be (16/20 - -1) + (-8)/10. Let r = -52/55 - -6/11. Is r not equal to q?
True
Let u be (-2 - -3)/((-2)/14). Let x(s) = -s**3 + s - 12*s + 11*s**2 - 158 + 2*s**3 + 162. Let n be x(-12). Is u bigger than n?
True
Let c(r) = -2*r**2 - 2*r - 1. Let t be c(-2). Let a = 6 + t. Let h be 2/5*a/(-2). Is h <= 1?
True
Let v(w) = w - 8. Let r(o) = 8*o**3 - 2*o**2 + 1. Let q be -1 + (1 - (-1 + 0)). Let h be r(q). Let d be v(h). Which is bigger: -0.1 or d?
-0.1
Let j = 29 + -24. Which is bigger: 29/5 or j?
29/5
Let s = -0.9 - -0.92. Is -2/9 not equal to s?
True
Suppose -3*j + 2*j - 12 = 2*l, 3*j = -l - 16. Let q = 3 - 7. Let g(t) = 2*t + 4. Let r be g(q). Is j bigger than r?
False
Let o(f) = f**3 + 5*f**2 + 4*f - 4. Let z be o(-4). Let a be -5*6*4/40. Are a and z equal?
False
Let h = -179 - -190. Which is bigger: 1 or h?
h
Let t = -6474 - -32572/5. Let w = 40 - t. Do -2/9 and w have different values?
True
Let o be (-1 - 3/(-2))*-6. Let p be (-28)/1*o/6. Suppose -2*u + p = -0*u. Is 7 > u?
False
Let s(u) = 7*u + 2. Suppose 4 = 5*q - q. Let o be s(q). Is o at least as big as 9?
True
Let o(j) = -3*j - 14. Let z be o(-4). Is -2/35 at least z?
True
Let y = -11/798 + 196363/3990. Let n = y - 49. Suppose -3*l - 31 = -28. Is l <= n?
True
Let m be 2/(-4)*(-4 - -2). Let p = 31 - 30. Is p at least m?
True
Let i = -13 + 18. Let s(w) = -w**3 - w**2 + 11. Let q be s(0). Suppose -3 = x + j, i*x + 2*j + 1 + q = 0. Are x and -1 non-equal?
True
Let w be 0*4/16*-2. Which is smaller: w or -1/18?
-1/18
Let q = 144/13 - 1322/117. Suppose -3*s = -5*x + s, 3*x = 2*s. Which is bigger: x or q?
x
Let d(q) = q**2 + 2. Let y be d(0). Suppose y*c + 26 = -3*n, -c - 10 = 2*n + 9. Let t = -8 - n. Is 4 != t?
False
Suppose 4*p - 4*t = 0, -2*p - 4*t = -0*p + 12. Let z be (p - -5)/(1/(-1)). Let o(v) = 6*v + 1. Let d be o(-1). Which is smaller: d or z?
d
Let d be 5*(-2)/(-14) - (-3)/(-3). Which is bigger: -11 or d?
d
Let r be (-40)/(-108)*3/(-2). Are r and -1 non-equal?
True
Let z be 178/8*(-10)/(-145). Let p = 1/29 - z. Which is bigger: p or -2?
p
Suppose 0*x = -2*x - 8. Let c be ((-14)/x - 2)/(-6). Let u(v) = v**3 - v. Let w be u(0). Which is greater: c or w?
w
Let x(h) = h**2 - 3*h - 6. Let r be x(5). Suppose -17 = -b + 1. Suppose 2*n - b = -n. Is r > n?
False
Let l = -12580885/3783 - 112/3783. Let z = l - -3371. Let f = z + -46. Which is greater: -0.3 or f?
-0.3
Let a be -1*2/(4 + 0). Suppose 0 = y - u - 1, -4*u + 20 = -0*u. Let g be ((-1)/3)/(2/y). Which is greater: a or g?
a
Let h = -17 + 37/2. Which is bigger: 3 or h?
3
Let p(x) = x**3 - 7*x**2 + 6*x + 2. Let j be p(6). Suppose y = -j - 3. Let w = -8 + 4. Is y less than w?
True
Let v(d) = 4*d + 36. Let k be v(-10). Which is greater: k or 0?
0
Let f = -644/99 - -61/9. Let k = -223 + 223. Which is greater: k or f?
f
Let p = -138 + 35. Let j = p - -107.03. Let w = -0.03 + j. Is -0.1 smaller than w?
True
Suppose 0 = 4*v - 3 - 1. Let f be (-63)/(-15) + v/(-5). Is 4 less than f?
False
Let n = 22 + -133/6. Which is bigger: n or 0?
0
Let v be (1 - (-4)/(-2))*(-7)/(-14). Let t = -95 - -853/9. Is t at least v?
True
Let f be 11/28 - 2/8. Let a be 2/(10/25 + 16/10). Which is smaller: f or a?
f
Let f = -26 - -24. Let k(v) = 8*v. Let c be k(7). Let r = 166/3 - c. Which is greater: r or f?
r
Suppose 0 = 5*f - 3 - 2. Let s be (f - 5) + (-310)/(-80). Which is bigger: 0.1 or s?
0.1
Let u be (-3)/(-2)*(-24)/(-18). Let d(b) = b - 2. Let f be d(5). Is f at least u?
True
Let b(m) = 5*m - 40. Let o be b(8). Is 16/13 equal to o?
False
Let v be 6/21 - 26/(-7). Suppose -6*d = -v*d - 2. Let j be (2/5)/(1/5). Which is greater: d or j?
j
Let g be 2 - ((-6)/13 + 2). Which is bigger: -0.1 or g?
g
Let n(p) = 5*p + 10. Let k be n(-4). Which is bigger: -11 or k?
k
Suppose -29*p + 28*p - 6 = 0. Which is smaller: p or -8?
-8
Let t be ((-2)/4)/((-3)/36). Suppose 0*o = -3*o - t. Is o < -2?
False
Suppose -2*k - c = -2*c - 4, 0 = 4*k - 5*c - 20. Is k less than or equal to -5/4?
False
Let j = -1/58 + 263/116. Let n(i) = -i**2 + i + 8. Let w(m) = -m**2 + 2*m + 9. Let g(d) = 4*n(d) - 3*w(d). Let r be g(-3). Which is greater: r or j?
j
Let l be 5 - (0 + 612/124). Let u be (-3 + 0)/3 - -1. Do u and l have different values?
True
Suppose 0*b - 3*b = 0. Is b >= -2?
True
Let t be (-1)/(1 - 4/(-16)). Do t and -2 have different values?
True
Let s = 333 - 2335/7. Which is smaller: s or 0?
s
Let n be 196/(-42) + 4/6. Let d be (-1 - 0)*(-4 - -8). Is n greater than d?
False
Let x = 36 + -34. Which is bigger: -17 or x?
x
Let f = -11 - -16. Suppose 0*z - 5*z = 4*u - 2, f*u + 4*z + 2 = 0. Is -1 < u?
False
Suppos