t = 1.4 + h. Which is greater: t or 6?
6
Let w = 386/885 - 10/59. Which is smaller: 1 or w?
w
Let g be (6/9)/(2/(-6)). Let v be (5/(-2))/5*g. Let c = -1 + 1. Is c less than v?
True
Let c = 6 + -6. Let v be ((-1)/(-45))/(1/(-1378)). Let l = v - -152/5. Is l > c?
False
Let c = -51 - -52. Which is bigger: 2/25 or c?
c
Suppose 10*v - 13*v - 3 = 0. Is 2/21 >= v?
True
Let v = -222 + 2440/11. Is 0.4 <= v?
False
Suppose 0 = -3*m - 5*l + 27 - 9, 0 = -3*m + 5*l - 12. Suppose 2*s - s = m. Which is greater: -1/3 or s?
s
Let b be (-5)/(10/6) - -15. Suppose 28 = 5*o - b. Suppose -i = i + o. Which is smaller: -5 or i?
-5
Suppose 7 = 3*n - 17. Let a be 2*1/3*336/32. Which is smaller: n or a?
a
Let s = 547/2 + -16969/62. Is s equal to -1?
False
Let x = 2/193 - -153/3860. Which is smaller: x or -1?
-1
Let w = 93/287 - -180/41. Which is smaller: w or 4?
4
Let k = 15.81 - -0.19. Let i = k - 16. Which is bigger: i or -4?
i
Suppose 2*d + 22 = 2*j, 0 = -5*j + 3*d - 5*d + 34. Let c = j - 6. Is 1/2 at least c?
False
Let p = -0.1 - -0.2. Let m = -2 - -1.96. Which is greater: p or m?
p
Let d be (-85)/25 - 2/(-5). Let s = 2 + d. Which is smaller: 1/2 or s?
s
Suppose -5*c + q - 4 = 0, -4*c - 4*q = -5*c + 3. Let i = 11 + -8. Let y be 12/8 + i*c. Is y at least as big as -1?
False
Let s be 13/(-91) - 2/(-210). Which is bigger: s or -1?
s
Let i be (-5)/(-2)*(5 - 3). Let o = i - 6. Is o at least 1/4?
False
Let g be (-32)/(-14) + 2/(-7). Suppose -2*d + 4*d = 4. Is g <= d?
True
Let y be 2/3*(-216)/48. Which is bigger: y or -2?
-2
Let t(p) = -p**3 + 8*p**2 - p + 6. Let b be t(8). Let w = 6737/4 + -1638. Let f = w - 47. Which is smaller: f or b?
b
Suppose 2*m - 3 = -7. Is -7/3 at most m?
True
Let v = 9 - 8. Is -2/31 smaller than v?
True
Suppose 12 = -3*l, -4*l - 8 = 4*j + l. Suppose -15 + 1 = 5*z + j*n, -2*z - 10 = -n. Let f = -20 - -16. Is f less than z?
False
Let b = 4 + -6. Let k be 1/(b*3/(-18)). Suppose -k*h + 12 = 2*h - 3*c, 4*h - c = 4. Is -1 less than h?
True
Let k = 48351/79 + -612. Which is smaller: 0 or k?
0
Let b be -4*(-1)/(1 - 0). Let k be -1 - 0 - 1*-2. Suppose -u = -h - k, -2*h + 7*u = 2*u - b. Do h and -3 have different values?
False
Let b = 444 + -3124/7. Which is smaller: b or -3?
-3
Let z = 2 - 1. Suppose 2*m + 4*d - 4 = 0, -4*m + 0*m + 3*d - 3 = 0. Is z > m?
True
Let u be 3 + -2*(-23)/(-18). Suppose 0 = 5*r + 4*w - 7, 2*r + r = 3*w - 12. Which is greater: u or r?
u
Suppose 11*r = 6*r. Let p = -0.14 - -0.08. Which is bigger: r or p?
r
Suppose -202 = -3*h - l, 3*h - 6*l + 4*l - 217 = 0. Suppose -h = -5*r + m, -2*m = -5*r - 0*m + 73. Which is smaller: r or 14?
r
Suppose 5*q + 0*q - 3*m - 37 = 0, 2*q + 2*m - 2 = 0. Suppose 7*l - q*l + 4 = 0. Which is smaller: -2/3 or l?
l
Let i be -8 + 5 - 18/(-2). Suppose 0 = -d + 3*d + i, 0 = 2*v + 5*d + 1. Is 7 at most v?
True
Let b = -6 + 5. Let p = b - -4. Which is bigger: p or 0?
p
Let v = 1.3 - 1.2. Do -7 and v have different values?
True
Let r be (-10)/(-4)*(-40)/(-50). Is r > 1?
True
Let y = 87 + -88. Which is smaller: y or 2/151?
y
Let b(h) = -4*h**3 - 8 + 7*h + 7*h**3 + 9*h**2 - 2*h**3. Let x be b(-8). Which is smaller: 2/9 or x?
x
Let j = 0.39 + -0.29. Which is smaller: -6 or j?
-6
Let t be (2 - 1)*((-64)/12 + 5). Let n = 13 + -9. Are t and n nonequal?
True
Let i = -3 + 3. Suppose 7*q - 2*q = i. Is q at least as big as -1/2?
True
Let n be 19/22 - (-3 + 3). Let k = 4/11 - n. Let q = 6 - 6. Is k >= q?
False
Let l be (0/(-1))/((-2)/(-1)). Let o be 8/(-38)*(-1)/(-2). Which is smaller: l or o?
o
Let g = 649798/27115 - -164/2805. Let h = g - -38/29. Let m = h - 842/33. Which is smaller: m or 0?
m
Let f be -1*1 + (-3 - -4). Suppose 3*i = 4*r + 28, f = -r + 6*r - 5*i + 30. Let y be (4/r)/(4 - 1). Which is bigger: y or -1?
y
Let j be ((-7)/(-42))/(1/2). Which is greater: j or 1?
1
Let x = -4.34 + 0.34. Let y = 0.02 + -4.02. Let o = x - y. Is o bigger than -1/2?
True
Let u(i) = -i. Let k be u(-7). Is 7 greater than k?
False
Let i = 29/148 + 2/37. Which is smaller: i or 0?
0
Let d be (-10)/(2/8*4) + 2. Which is greater: -3 or d?
-3
Suppose -2*l = 2*w - 0*l + 2, 0 = 5*w - 5*l + 5. Which is smaller: w or -5/8?
w
Let o = 6 + -8. Let v = o + -1. Is v smaller than 0?
True
Let h(y) = -11*y**2 - 4*y. Let w be h(4). Let o be 88/w + 2/6. Which is smaller: o or 0?
o
Let q = -6 + -1. Let x = -7 - q. Is x not equal to -9?
True
Suppose 0 = 2*g - 0*g + 5*y + 39, 0 = 5*g - y + 57. Is -13 < g?
True
Suppose 2*m - 29 = -3*g - 2*g, -4*m = -4*g + 12. Let u = 51 - 50. Which is smaller: g or u?
u
Let x be (-6)/(-10) + (-30)/50. Let g(m) = m**2 - 2*m + 1. Let h be g(1). Are x and h nonequal?
False
Suppose 0 = -2*u + 4, -4*u = v - 4 - 3. Which is smaller: -4/9 or v?
v
Suppose -4*a = 13 + 11. Let t be (a/4)/(9/(-12)). Let k be (3/((-3)/2))/t. Which is smaller: 2/5 or k?
k
Let q be 1*(1*-2 + 3). Let b be (-3)/(((-9)/(-2))/(-3)). Let z be (-4)/(-7)*b - q. Which is smaller: -1 or z?
-1
Suppose -1 = c - 0. Let b be 6/(-9)*6*-1. Let x = b - 5. Is x greater than c?
False
Let x = -3.1 - -3. Are -13 and x equal?
False
Let s be 49/(-1) - (5 + -9). Which is smaller: s or -44?
s
Let m(u) = u - 5. Let n = 21 + -15. Let y be m(n). Let d = 1 + y. Is d < 1?
False
Let h be (3/(-1))/(1161/(-6)). Which is smaller: 0 or h?
0
Let s be (28/(-24))/(-2*(-6)/8). Which is smaller: -1 or s?
-1
Let y = -1 + 3. Is 3 greater than or equal to y?
True
Let r(w) = -w - 2. Let n be r(-3). Suppose -5*v + 12 = -13. Suppose -v*h + 0*h = 0. Is h at least n?
False
Let n = -2.6 + 3.7. Let p = 0.1 - n. Let a = -0.9 - p. Is a less than -0.2?
False
Suppose -1 - 15 = -4*k. Suppose -c = n + 12, -k*c + 2*c = 5*n + 45. Is -7 greater than or equal to n?
True
Let o = -23 + 12. Let w = -6 - 3. Which is smaller: w or o?
o
Suppose 2*v - v - 61 = -m, -2*m = -v - 116. Which is smaller: 58 or m?
58
Let a be (-279)/(-21) - 4/14. Which is bigger: a or 11?
a
Let c = 4 + 0. Suppose -3*t = c*z - 43, -4 = 4*z + 2*t - 42. Suppose -3*q - 1 + z = 0. Which is smaller: 3/5 or q?
3/5
Let r be ((-8)/(-132))/((-2)/(-30)). Which is smaller: 1 or r?
r
Let p = 14.04 - 14. Let v = -9 + 8.86. Let k = p + v. Which is greater: k or 2/5?
2/5
Let g(q) = -q**2 + 11*q + 46. Let h be g(14). Is h at least -4?
True
Suppose -3*j + 7 - 28 = 0. Let u = j - -4. Let r = -4 - u. Which is bigger: 1 or r?
1
Suppose n + 2*b = 3*n + 62, -2*b = -4*n - 116. Which is bigger: -26 or n?
-26
Suppose 5*p - 3*o = 11, 1 - 7 = -2*o. Let x = p - 1. Suppose 6*q - 3*q + x = 0. Which is smaller: 2/9 or q?
q
Let t = 46 + -45. Which is bigger: 3 or t?
3
Let x = 5 - 7. Let p be 2/(-24)*-2 + -1. Is p smaller than x?
False
Let x = -0.01 + 7.01. Let c = 16 - x. Let z = 12 - c. Which is bigger: -1 or z?
z
Let a be -17 + (12/(-4))/(-3). Let t = a + 21. Is t greater than 5?
False
Let r be (-5 + 1)*(-2)/2. Let z be r/18 + 8/(-36). Which is bigger: 3 or z?
3
Let j be ((-18)/(-948))/(1/4). Which is bigger: j or -1?
j
Suppose -1 - 1 = -2*y. Let w = 1.3 + -2.5. Let u = 1 + w. Which is bigger: u or y?
y
Suppose -3*i + 72 = -i. Let m be (i/21)/((-6)/(-21)). Which is bigger: 5 or m?
m
Let a = 0.087 + -0.587. Which is smaller: 0.2 or a?
a
Let i = -10 + 12. Which is smaller: 7/8 or i?
7/8
Let h = -3 + -51. Is h at most -2/7?
True
Let v be 4/((-352)/166) - 0. Let m = 18/11 + v. Which is smaller: -1 or m?
-1
Let c = -62 - -60. Which is smaller: 3 or c?
c
Let t(j) = j**3 - 6*j**2 - 6*j - 3. Let v be t(7). Let k = 4 - v. Let i be (-12)/18 - (-1)/3. Is k greater than i?
True
Let l be 2/(-5) - (-156)/(-10). Is -117/7 at least as big as l?
False
Suppose -4*z - z = -20. Suppose z = v - 2*o - 10, -4*o = -v + 24. Which is greater: 5 or v?
5
Let y be 0 + 2 + (-35)/15. Is 0 greater than y?
True
Let z(q) = 4*q. Let j be z(-1). Let a = 2 + j. Is a less than 0.2?
True
Let s be (-1)/(-1) + (-10 - -9). Let j(f) = 2*f + 3. Let a be j(-3). Let h be s/(0/a - -1). Is 0 smaller than h?
False
Let v(c) = c - 2. Let z be v(4). Let g be (-2)/z + 3 + -4. Which is greater: -8/3 or g?
g
Suppose -5*p = -10*p + 125. Is p bigger than 25?
False
Let h = -20 - -13. Let j = h + 8. Is 1 bigger than j?
False
Let d(l) = l**3 + 7*l**2 + 5*l - 1. Let g be d(-6). Suppose -2*u + 1 = g. Let k = 4 + u. Which is bigger: 3 or k?
3
Let o = 29/5 + -314/55. Let m(p) = -p**2 + 9*p + 14. Let u be m(10). Suppose 3*b + 4*j + 