t - 2*t + 20 = 0. Which is smaller: t or 22/5?
22/5
Let t = 47 - 20. Let z be t/((-1)/4 - 0). Let o be 63/z + (-3)/(-4). Is -1 != o?
True
Let f be 2/4 - 23/2. Let g be -2 + 4 + 1 + 6. Let l = g + f. Are l and -5/2 non-equal?
True
Let z(x) = x**2 - 5*x + 4. Let j be z(2). Let i = -2 + 6. Is i less than j?
False
Let y = 1.2 - 1. Which is bigger: y or -0.2?
y
Let f be (-14 - (-2 + -2)) + 1. Which is bigger: f or -10?
f
Let v = 0.23 + 0.77. Which is bigger: v or -2/11?
v
Let x be -2*(3/2 + -2). Let a be (x + (-3)/6)*-2. Let j be 0 + (-4)/(-3) + a. Are j and 1 nonequal?
True
Let b = -1213/7 + 173. Suppose 2*w - 5*o - 45 = -w, w + o - 23 = 0. Let g = 21 - w. Which is smaller: b or g?
b
Let c be ((-54)/(-4))/((-3)/(-5)). Let b = -24 + c. Let j = 11 + -12. Does b = j?
False
Let x(u) = -5*u**2 - 6*u - 6. Let n(z) = 14*z**2 + 18*z + 17. Let l = 2 - 13. Let r(f) = l*x(f) - 4*n(f). Let y be r(-6). Which is smaller: -2/3 or y?
y
Let b = 2/3 + -50/57. Which is smaller: 0 or b?
b
Let f be (28/(-6))/(20/30). Is -8 bigger than f?
False
Let i(x) = x + 1. Let d be i(0). Let g be 7/((-14)/4) - -1. Which is smaller: d or g?
g
Let w be (-14)/(-12) + 1 + 15/5. Is w <= 5?
False
Let l be 5*2/(-4)*12. Is l equal to -30?
True
Suppose 5*d = -4*x + 110, -4*x - 16 = -4*d + 2*d. Let v be (-3)/(3/d*-2). Are 9 and v equal?
True
Let l be 0/(-6 - -4) + 1. Suppose 6*p - 2*p - 8 = 0. Which is smaller: l or p?
l
Let j(n) = n**3 + 7*n**2 - 8*n + 1. Let p be j(-8). Suppose 5*x = 133 + 42. Let f be 8/(-70)*x/(-30). Is f at least as big as p?
False
Let s = 34 - 51. Which is bigger: -18 or s?
s
Let r = 0.16 + 5.84. Let d = r - 5.9. Which is greater: -10 or d?
d
Suppose 4*k - n + 2*n - 20 = 0, -4*k + n = -28. Suppose 0 = b - k + 5. Is b at most as big as -0.3?
False
Suppose -w = 3*w + 36. Let u(f) = -2*f - 4. Let r be u(3). Which is smaller: w or r?
r
Let s = -37 + 36.5. Is s != 3/4?
True
Let z = 82 + -81. Which is bigger: z or 2/97?
z
Let w = -1.8 - 5.2. Let s = 6 + w. Suppose -10 = 2*t - v - v, 0 = 4*v - 12. Does s = t?
False
Suppose 3*d = -2*a - 3*a + 65, -3*a = 3*d - 57. Suppose 2*o - 4*u = -d - 1, -o - 16 = -4*u. Let j = o - -1. Which is smaller: 1/5 or j?
1/5
Let m = -1 + 1. Suppose 2*d = -m - 2. Let n be (-4)/6 - 1/3. Is d bigger than n?
False
Let s = -1.5 + 1.4. Let c = -0.4 + 0.5. Which is smaller: s or c?
s
Let q be (5/(-3) - -2)*-3. Let l be (-1 - -4)/(1*q). Which is smaller: -2 or l?
l
Let x be 6/5*30/18. Is 7/3 bigger than x?
True
Let p(y) = y**2 + 6*y - 7. Let x be p(-6). Let n = x + 6. Which is smaller: n or 2/17?
n
Let f = -25 - -15. Let i(b) = -b**2 + 12*b + 36. Let t be i(15). Which is smaller: t or f?
f
Let h = -23 + 24.6. Let y = 1.6 - h. Is 4 smaller than y?
False
Let n(t) = -5*t**2 + 15*t + 3. Let d(q) = -11*q**2 + 31*q + 6. Let b(h) = -6*d(h) + 13*n(h). Let k be b(-7). Which is greater: k or -12?
k
Suppose -3*m + 3 = 4*s, 0 = 2*m + 2*s - 3 + 1. Let x = 1 - -1. Which is greater: m or x?
x
Suppose 3*s - s = 10. Is s less than 5?
False
Let t(p) = 3*p**2 - 16*p - 9. Let o be t(7). Which is smaller: 25 or o?
25
Let w = 3.16 + -3. Let z = w + -1.96. Let g = z - -2.5. Which is smaller: g or -1?
-1
Suppose -4*j - 5 = -4*u - u, 0 = -3*u + 2*j + 3. Let r(v) = -2*v - 1. Let b be r(u). Let g be 1 + b + 4/2. Is g less than or equal to 1/2?
True
Let q = 116/11 - 10. Let i be (-8)/(-3) - 4/6. Is i > q?
True
Let m = -1 - 11. Do m and 0.1 have the same value?
False
Let c(k) = 5*k + 13. Let m(a) = -9*a - 25. Let i(x) = -11*c(x) - 6*m(x). Let t be i(7). Suppose t*b = b. Which is greater: 2/5 or b?
2/5
Let l = -0.032 + -11.068. Let w = l - -11. Is w less than 1/4?
True
Let d(x) = -2*x**3 - 3*x**2 + 1. Let n be d(-2). Suppose 0 = n*u - 0*u + 10. Is -1 >= u?
True
Let w = 0.09 - 0.04. Let s = w + 0.25. Are s and 0 unequal?
True
Let v(d) = d**3 - 4*d**2 + 2*d + 4. Let t be v(3). Suppose 2*p = -3*m - 1, -2*p + 1 + 7 = 0. Are t and m non-equal?
True
Let l(w) = 2*w + 2*w**2 + 19*w**3 - 10*w**3 - 11*w**3. Let t be l(-1). Suppose 4*o - 9 = -1. Is t smaller than o?
False
Let s be (-20)/(-130) - 6/208. Let y = 30 + -31. Which is smaller: s or y?
y
Let m = 51 + -50. Is m equal to 5/24?
False
Let n = -7.2 - 15.8. Is 0.2 greater than n?
True
Suppose 0 = -2*q + q - 2. Suppose 5*p - 25 = 0, -5*j + 3*p - 22 = 8. Which is bigger: q or j?
q
Let i be -5*4*(-2)/20. Let d(m) = -m**2 + m + 1. Let l be d(i). Are -2 and l equal?
False
Let j be 5/(30/(-9)) + (-7)/(-42). Which is greater: 0 or j?
0
Let g be 89*(-6)/3150 + (-2)/(-14). Which is smaller: 0 or g?
g
Let f be 0 + 1 + (-38)/6. Is f at most -6?
False
Suppose -4*c - x = c + 37, -4*c - 5*x = 17. Let b = -5 - c. Let l = -1 + 2. Are b and l unequal?
True
Suppose 78 = w + 2*w. Suppose -p - k = -5*k - 9, p + w = -3*k. Do -11 and p have different values?
False
Let x = 1/97 + 479/582. Which is greater: x or 0?
x
Let m = 67/21 - 10/3. Suppose 2*z = 7*z - 2*a + 11, 3*a - 13 = 4*z. Is m < z?
False
Let n be (6/(-4))/((-6)/(-8)). Let q(r) = r**3 + r**2 - r + 1. Let o be q(n). Is o < 2/3?
True
Let z(c) = c**3 - 5*c**2 - 2. Let d be z(5). Let s(y) = y + 2. Let g be s(-3). Let r be 3/(-1) + (g - -4). Is r greater than d?
True
Let s(l) = l**2 + 10*l + 8. Let n be s(-9). Are 1/67 and n unequal?
True
Let w(h) = -h**2 + 6*h + 9. Let u be w(7). Is u at least 4?
False
Let h(d) = -5*d**2 - 7*d + 9. Let j(f) = -9*f**2 - 14*f + 17. Let i(v) = 7*h(v) - 4*j(v). Let n be i(-8). Let a = 4 - 0. Is n >= a?
False
Let x = -3.4 + -0.6. Let t = -5 - x. Let v = t - -1.1. Is v less than or equal to 2?
True
Let l be 1*-3*(-4)/(-42). Which is smaller: 39 or l?
l
Let n = 581/5700 - -1/300. Is 0 greater than n?
False
Suppose t + 6 = 5*u, -4*u - 2*t = -7*t + 12. Let c be -4 + u + (-15)/(-3). Which is smaller: 1 or c?
1
Let o(v) = -v**2 - 9*v - 3. Suppose c - 4*c = -4*h + 74, 0 = c - 5*h + 43. Let q = c + 9. Let w be o(q). Which is bigger: w or -2?
-2
Suppose w - 20 = -5*q + 2*q, -15 = -2*w - q. Suppose -3 = w*t + 2. Let f be -2 + 0 + (t - 0). Does f = -3?
True
Suppose -2*s - 4 + 2 = 0. Suppose 0*l + 2*l - 2*h + 10 = 0, -4*l - h = 0. Let m be l*-1*(1 - 0). Is s < m?
True
Suppose 0*r - 4*r = -24. Let l be (4/r)/(1/(-3)). Suppose -d + 0 = -2*u + 2, 10 = -2*u - 2*d. Is u > l?
True
Let w be 4/(2*4/20). Is w less than 9?
False
Let c be (-2)/(-12) + 28/(-24). Let p = c + 3. Suppose 5*n + 4*g = 1, 5*n = p*g - 3*g + 4. Which is smaller: 1/6 or n?
1/6
Let x(f) = f + 15. Let o be x(-14). Which is greater: 2/269 or o?
o
Suppose 5*y - 1004 = -3*u, -u + 8*y = 3*y - 328. Let f = -2993/9 + u. Is f at most -1?
False
Suppose 4*z - 2*z - 6 = 0. Suppose 1 + 5 = -z*v. Is v != -5/2?
True
Suppose -n + 4 = -2*g - 3, -g + n = 5. Let i be (-4)/(-22) + (-24)/11. Is i > g?
False
Let l = -1.72 + -1.34. Let v = l + 0.06. Let z = 1.35 - 0.35. Which is smaller: z or v?
v
Let o = 27/260 - -1/20. Suppose -f + 4*f + 3 = 0. Which is greater: f or o?
o
Let v = -0.15 + 0.05. Is v equal to 0.05?
False
Let c = 5679/104 - 435/8. Which is smaller: 1 or c?
c
Let y = -0.02 - 0.28. Let s = y - 0.1. Which is bigger: s or 0?
0
Let i(u) = u - 1. Let m be i(4). Is 3 less than m?
False
Let q = -12 - -5. Let x = -9 - q. Which is smaller: -3 or x?
-3
Let f = -0.24 - 0.76. Which is smaller: 4/81 or f?
f
Let t = -36 - -35. Is 5/13 not equal to t?
True
Let i be 24/36*6/10. Which is bigger: i or -0.1?
i
Let j = -163241/846 - -1479/94. Let f = -177 - j. Suppose -4*q + 7*q + 3 = 0. Which is smaller: q or f?
q
Let d be (8/(-20))/((-2)/(-10)) - -9. Which is bigger: -1 or d?
d
Let q = -1969748139/4070 - -967935/2. Let w = 2/185 + q. Which is bigger: w or -1?
w
Let z = 283/5 + -56. Which is smaller: z or 2?
z
Let x = 0.7 - 1. Let u = -4.5 + 4. Let j = x - u. Is 0.2 greater than j?
False
Let c(j) = -j**3 - 9*j**2 - 8*j - 8. Let m be c(-8). Let l be m*4/(40 + -4). Which is smaller: -2 or l?
-2
Let m = -721 - -20910/29. Let z be (1 - 2)/((-2)/(-2)). Which is greater: m or z?
m
Let f = -0.05 + 4.05. Let u = f + -5. Is -5/3 less than u?
True
Let j = 0.01 - 0.21. Let n = -1.2 - j. Are n and -1 equal?
True
Let z = -563.2 - -614. Let k = -58 + z. Let d = k + 7. Which is greater: d or -1?
d
Let g be 78/(-48) + (-6)/12. Which is smaller: g or -3?
-3
Let r be (-2)/(-3) + 5/15. Is r at most as big as -3/8?
False
Let r be -1569*(22/(-10) + 2). Let b = r - 346. 