5. Which is greater: t or 0?
0
Suppose -4 = 2*y + 3*m, -4 = -y + m - 1. Let f be -6 + 1 + 0/(-1). Let i be 2/15*f/(-3). Which is bigger: y or i?
y
Let h be 3 - (-1)/(1/(-2)). Let u be 8/(-2)*105/(-20). Let t be (-2)/3*(-9)/u. Is h equal to t?
False
Let w = 134594/29 - 4642. Let k = w + 158/261. Which is greater: 0.3 or k?
0.3
Suppose 0 = t - 2*t + 25. Suppose m = 5*p + t, 44 = -5*p + 3*m + 9. Let o be -1 - 1 - (2 + p). Is o smaller than -1?
False
Let h = -0.29 + -10.71. Let i = -10.9 - h. Is i equal to 7?
False
Let f = -1.4 - -0.5. Let k = 0.1 - f. Is -0.6 greater than or equal to k?
False
Suppose 3*x - 15 = -2*k, k = -3*x + 2*k + 15. Which is smaller: 7 or x?
x
Suppose -26 = 5*s + 2*z, 0 = -s - 4*s + 4*z - 38. Let w be 98/(-16) + 6/48. Is s equal to w?
True
Let t be (-2 + (-4 - -8))/(-2). Let d = 277/705 + 1/141. Is d greater than or equal to t?
True
Let t be ((-11)/(-2))/(3/6). Suppose -4*y - 65 = -4*j - j, 0 = -y - 3*j - 12. Let q = t + y. Is q <= -3?
True
Let b = 60 - 36. Is b equal to -0.2?
False
Let h(f) = -f + 3. Let j(y) = 2*y - 7. Let p(v) = -5*h(v) - 2*j(v). Let g be p(1). Let w = 3/14 + 5/42. Which is bigger: g or w?
w
Let v = 0.2 - 0.1. Suppose 0 = 2*h + 10, 0 = -5*a + a - 5*h - 5. Which is smaller: v or a?
v
Let t = -0.93 + 0.03. Let a = -36 + 36.6. Let b = a + t. Is 2 greater than b?
True
Let x(f) = -f**3 - 9*f**2 - 10*f - 12. Let l be x(-8). Suppose -4 + 0 = l*u. Let g = -1/55 + 62/385. Is g smaller than u?
False
Suppose 0 = 5*t + 5 - 10. Let r = -5.2 - -6. Which is greater: r or t?
t
Let s(c) = c + 12. Let i be s(0). Suppose 2*u = 5*j + i, -3 = -4*u + 5*u + 2*j. Does u = 5?
False
Suppose 8*u = 3*u. Let x be (-2 + (1 - -2))*u. Let n be 1*(x - 1)*-1. Which is bigger: -3 or n?
n
Let w = 9 - 14. Does w = -2?
False
Let l be -2 + 40 + (-1 - -3). Let b = 0 - l. Let k = -121/3 - b. Which is bigger: 1 or k?
1
Let k = -18.86 + 19. Is -1/2 != k?
True
Let f = 26 + -26. Which is bigger: 1 or f?
1
Let s = 177 + -173. Which is smaller: s or 30/7?
s
Let l be 2 + -2 - (-1 - 1). Suppose l*j = -0*j - 6. Is j < -3?
False
Let o be 1 + (10/(-19) - (1 + 0)). Is 0 != o?
True
Let m be 0 - (-2 + (2 - 3)). Suppose 0 = -m*v - v - 20. Let g be v/(-12) - 2/(-8). Is -0.4 > g?
False
Let s = 17 - 28. Let u = 13 + s. Let m be (-4)/(-4 + (4 - 1)). Is m >= u?
True
Suppose 112 = -2*a - 2*a. Which is greater: a or -29?
a
Suppose -3*c + 7*c - 4 = 0. Let j(b) = 6*b. Let l be j(-1). Let r(h) = -h - 6. Let s be r(l). Is c >= s?
True
Let v(r) = r + 25. Let f be v(-15). Which is smaller: 12 or f?
f
Suppose 16*f - 11*f = 0. Suppose t - 4 + 5 = f. Is 1/3 at least t?
True
Let q = 17 - 18. Let l = 4 + -3.8. Is q not equal to l?
True
Suppose 10 = 5*a - 5. Let f(m) = m**2 + 2*m - 8. Let k be f(-4). Suppose -j - 2*j + 12 = k. Do a and j have different values?
True
Suppose -4*v + 2*v = -18. Is v less than 0.1?
False
Let z = -32 - -33. Is -3/13 greater than z?
False
Let f(d) = d**3 - 8*d**2 + 6*d. Let y be f(7). Let z be -2 - y*(-3)/(-9). Is z bigger than -1?
True
Let m(s) = -2*s + 7. Let c be m(7). Let t = 6 + c. Is t at most as big as -1/7?
True
Suppose -4*y - 4*v - 24 = 0, -4*y = -7*y + 3*v + 12. Let f be 3*(-6)/(-9) - 0. Suppose 5*l - 3*l = -f*r + 10, -5*l + 15 = 0. Is r less than y?
False
Suppose 0 = d + s - 8 - 5, -3*d + 31 = s. Is 9 less than d?
False
Let r = 1.12 - 1.2. Is r equal to 0.1?
False
Suppose -t - 5 = -7. Let f be -1 - t*(-20)/28. Is f greater than -1?
True
Let u(j) = j**2 + 6*j + 3. Let z be (1 + 0)/(-1)*-13. Suppose 5*a + z + 17 = 0. Let x be u(a). Does x = 3?
True
Suppose -3*i = -0*i - 6. Let w(l) = l - 2. Let k be w(4). Are k and i equal?
True
Let l be (1/4)/((-1)/(-6)). Let g = -0.06 - 0.34. Let z = 0.4 + g. Which is smaller: l or z?
z
Let k(y) = -y**2 + 8*y - 2. Let f(c) = c**2 + 1. Let i(n) = -2*f(n) - k(n). Let r be i(-8). Which is bigger: 1/6 or r?
1/6
Suppose 0 = -9*r - 75 + 237. Does 18 = r?
True
Let b = -0.5 - -0.8. Let t = b - 0.8. Is -1 bigger than t?
False
Let p be 157 + -149 - (5 - 1 - -2). Let l = 2 - -3. Is l bigger than p?
True
Let g = -0.08 + -10.92. Let i = g - -4. Let y = i - -7. Is 0 < y?
False
Let u be (-105)/539 + 2/7. Is u bigger than 1?
False
Suppose -3*t = 4*z + 93, t + 3*t + 96 = -4*z. Let y be 3*1 + 69/z. Is 1 greater than or equal to y?
True
Let k = -0.016 - -0.026. Are 6 and k non-equal?
True
Let t = -18494771/152505870 - 167/40186. Let h be (8/66)/(46/(-3)). Let c = t + h. Which is smaller: c or 0?
c
Let m be 1*-6*4/112. Is m greater than 0?
False
Let z be (-2)/6 + 37/3. Is 12 > z?
False
Let l(v) = v**2 + 6*v - 10. Let h be l(-7). Is h greater than or equal to -0.2?
False
Let y(g) = g + 15. Let o be y(-14). Which is bigger: -3/23 or o?
o
Let v(o) = o**3 - 6*o**2 + 5*o - 1. Let c be v(5). Let j be (2 + -4)/(-2) - 18. Let f = -117/7 - j. Which is smaller: f or c?
c
Let t(b) = 3*b**2 + 25*b + 8. Let q be t(-8). Is q not equal to 0?
False
Let g = 2 + -5. Let o be 0/(g*4/(-6)). Let a = -217/3 + 73. Which is smaller: a or o?
o
Suppose 0 = 2*n - 5*u - 27, 3*u - 27 = -n - 8. Let j be n/88 - (-26)/(-22). Is j at most 0.2?
True
Let d = -0.16 + 0.12. Are -3 and d unequal?
True
Let n be 10/(-15) - (-8)/30. Let z = -1 + 1.03. Let f = 1.97 + z. Which is bigger: f or n?
f
Let j be 86/(-44) + (5 - 3). Is 1 smaller than j?
False
Let y = 0.3 - 0.2. Let m = y + -0.1. Let p = 0.16 - 0.26. Is m greater than p?
True
Let n be 256/(-936) - 4/(-18). Which is smaller: -1 or n?
-1
Let k = 1235/8 - 154. Which is bigger: k or -1?
k
Let i = -1 - -2. Let o(y) = -3*y**2 + 2*y - 1. Let u be o(i). Let p be (-4)/(-6)*3/u. Are p and 0.3 unequal?
True
Let h = -1.2 - -0.5. Let p = -0.71 - h. Which is bigger: 1/3 or p?
1/3
Let y be (-5)/30*-5*6. Which is smaller: -1 or y?
-1
Let g = 0.6 - 1. Let i = 0 + g. Let w = 31/70 + 2/35. Which is bigger: w or i?
w
Let p = -13630 - -81973/6. Let g = p - 32. Let u = -107/396 + 2/99. Is u < g?
True
Suppose 0 = 6*t - 2*t + 8. Let y be t/((-5 - -2)/3). Is y at most as big as -1?
False
Let x be 36/(-10)*(-20)/6. Let u be (4/85)/(x/30). Is u greater than 0?
True
Let v = -4 - -6. Let m be 1*(v - 0) - 1. Which is bigger: m or 4/7?
m
Suppose 4 = g + g. Suppose 5*j - 4*v - 63 = -0*v, 4*j + v = 63. Suppose -4*d = d - j. Which is greater: g or d?
d
Let l = 1.9 - -6.1. Let f = -0.29 + 0.19. Which is smaller: f or l?
f
Let n(m) = m - 7. Let a be n(10). Let b = -2 + a. Let u be (-72)/33 + 1 + b. Is 0 not equal to u?
True
Let t(f) = -3*f**2 - f + 8. Let r be t(-4). Is r < -35?
True
Let f = -181/3 - -61. Let m = 7 - 5. Suppose m*k + 3*k + 5 = 0. Which is greater: f or k?
f
Let u = 14 + -9. Let l = u + -8. Is 2 smaller than l?
False
Let y = 24 - 28. Which is smaller: y or 0.5?
y
Let n = 3/379 - 4569/2653. Which is smaller: -2 or n?
-2
Let c(z) = -z**3 - 3*z**2 + 4*z - 1. Let n be c(-4). Let p = 1 + n. Let y be (16/12)/(22/3). Which is bigger: y or p?
y
Let n = -69/2 - -33. Let x be -1 + 3 + 222/(-15). Let y = x - -458/35. Which is bigger: n or y?
y
Suppose -10 = 2*n - d, 3*n + 0*d = 2*d - 13. Let m = -9 - n. Are m and -4 equal?
False
Let g = -5 + 1. Let p = g - -3. Which is greater: -0.1 or p?
-0.1
Let m(j) = -j**2 + 6*j - 4. Let x be m(4). Let q be x/(-14) + 2/7. Which is bigger: 2 or q?
2
Let p be (-14)/4*1*-2. Suppose -25 = 2*a - p*a. Let j be ((-6)/a)/(-3)*-5. Is -2 bigger than j?
False
Suppose -6*y - 7 = y. Are y and 2/27 equal?
False
Let p = 122 + -1100/9. Is -1 at most p?
True
Let h = 5.4 - 5.3. Is h > 22?
False
Let k = 7 - 33. Let n be (-2)/10 + k/(-5). Suppose -2*c - f + 1 = 0, -5*c + n*f - 5 = -0*f. Is c <= -3?
False
Suppose -3*p + 24 = -3*q, -10 = -4*q + 10. Which is smaller: p or 12?
12
Suppose 5*h - 4*f = -77, -7*h - 5*f - 50 = -2*h. Is -64/5 not equal to h?
True
Let g = 25 + -29. Which is smaller: 2/5 or g?
g
Let v(i) = -i**2 - i + 7. Let f be v(-3). Is -2/325 equal to f?
False
Let b = 0.38 - 0.08. Let j = -3.03 + 3. Let t = j + 0.23. Is b < t?
False
Let k = 4.1 + -4. Is k != -0.04?
True
Let w(t) = -t**3 + 3*t**2 - 3*t + 1. Let g be (-40)/(-22) + 8/44. Let y be w(g). Let h be y/2*(-5 + 4). Which is smaller: 1 or h?
h
Let g = 0.13 + 7.87. Let w = g - 7. Let j = w - 0. Is j smaller than -0.4?
False
Let p(i) = i**3 + 7*i**2 + 6*i + 3. Let q be p(-6). Suppose -2*s + 11 = -5*t, q*s - 11 = t + t. Suppose 0 = s*v + 1 + 2. Do v and -2/