 be (-12)/8 - (1 + -5). Which is greater: m or 4?
4
Let p = -0.52 + 8.72. Let a = 0.03 + -8.03. Let r = a + p. Which is smaller: 1/3 or r?
r
Let o = 18 - 15. Let m = -0.04 - 2.96. Let h = m + o. Which is greater: 2 or h?
2
Let x = -77/276 + 2/69. Let j(q) = -q**2 - 2*q - 1. Let w be j(-3). Let p be w/15 - 4/(-6). Which is greater: x or p?
p
Let i = 10 - 8. Suppose 0 = -g + v + 15, -2*g - i*v - 12 = -3*g. Which is bigger: 17 or g?
g
Let o = -0.11 - 9.89. Let f = o + 12. Which is smaller: -7 or f?
-7
Suppose -21*u = -34*u - 117. Do u and -72/7 have different values?
True
Suppose -3*y + 2*y = 0. Suppose 3*m - 4*m + 2*a - 20 = y, -4*m = -a + 108. Let r = 113/4 + m. Which is greater: -0.3 or r?
r
Suppose -4*g + 1 = -3*g. Let l = 1 - g. Let d = -16/45 - -5/9. Is d smaller than l?
False
Let m = -0.9 - -4.9. Let k = -22.4 + 18.4. Is k at least m?
False
Suppose -13 - 11 = 2*p + 3*i, -2*i = 0. Is -12 bigger than p?
False
Let h = -23.7 + 26. Let o = h + -3.3. Is o greater than or equal to 3?
False
Suppose -4*g = -2*y + 8, -3*y + 5 = -4*g - 17. Let l be 2/(-9) + y/(-18). Suppose 4*m = 2*m - 4*u + 6, 5*m = -3*u + 8. Do l and m have different values?
True
Suppose -2*v = -9*v + 2*v. Which is smaller: v or -3/11?
-3/11
Let y be (-5)/(-7) - 10/(-35). Which is smaller: -1/12 or y?
-1/12
Let p = -20854/13 - -2459953/1534. Let q = p + 2/59. Let h = -8 + 11. Which is greater: h or q?
h
Let z = 451 + -4965/11. Suppose -25 + 26 = v. Which is smaller: z or v?
z
Let t = 2 - -12. Let y be (-2 - (-24)/t)/(-2). Is -1 less than y?
True
Let a(y) be the first derivative of y**3/3 + 2*y**2 - 4*y - 2. Let v be a(-5). Let m(t) = t + 1. Let p be m(v). Is p at least as big as 1?
True
Suppose -4*b + b = 3. Let x be -4*-1*3/(-42). Is x < b?
False
Let y be 0/(-1) - (-10)/175. Let x = 183/140 - y. Let v = 2 - 2. Which is smaller: x or v?
v
Suppose -3*i - 7 = -25. Are i and 0.3 nonequal?
True
Suppose -3*n = -n. Suppose n*g + 25 = -5*g. Is -1/2 not equal to g?
True
Suppose -4*i - 3 = 1. Let f(x) = -2*x**2 - x. Let d be f(i). Suppose 0 = r + 1 + 1. Is r < d?
True
Let n be 2 - (-9 + 2 + 1). Let l be -3 + 4*6/n. Is l less than 0?
False
Suppose -i = -2*i + 4*x - 37, 0 = -3*i + 2*x - 71. Let n = -23 - i. Is 2/17 <= n?
False
Let j = 5 + 0. Which is greater: 3/16 or j?
j
Let n = -7 - -12. Let u be (0 - -1) + n/(-15). Are u and 1 non-equal?
True
Suppose 2*k = 5*z + 3*k + 75, 8 = -2*z + 4*k. Let n = 14 + z. Let c = -84/11 + 566/77. Which is smaller: n or c?
c
Let j = 13 - 11. Let q = 3 - j. Is -3/8 >= q?
False
Let k = 18 + -17. Is k at most -3/25?
False
Let n(r) = 2*r**3 + 18*r**2 - r. Let m be n(-9). Do m and 4 have the same value?
False
Suppose 0 = -2*v + 3*a + 10, 3*v + 3*a + 4 = 19. Suppose 5 = -i - 4*h - v, -h = -i. Which is greater: -1/2 or i?
-1/2
Let x be (-4)/6 - (-12)/(-9). Let v be (x/(-3))/((-2)/(-9)). Is v less than or equal to 2?
False
Let p = -13.18 + 13. Let s = 0.08 + p. Which is bigger: 10 or s?
10
Let v be 0 + ((-3)/7)/3. Let w be 4/3 + 16/24. Let r = w - 2. Which is greater: v or r?
r
Let t(n) = 0*n**3 - 4*n**3 - 17*n + 3*n**3 - 18*n**2 - 12. Let w be t(-17). Is w greater than or equal to -11?
False
Suppose 0 = 2*l + 2*l. Suppose -4*c = -2*c. Suppose c*h = 4*h. Is h less than l?
False
Suppose -11 = 5*o + 3*i + 1, 2*o = -4*i - 16. Let f = 1 - o. Let q be (f*(0 + -1))/(-4). Which is bigger: q or 1?
1
Let y = 23.8 + -24. Which is smaller: -12/11 or y?
-12/11
Let j be ((-2)/4)/(2/8). Let d = 111 - 109. Let f = j + d. Is -3/8 <= f?
True
Let v(q) = 2 + 8 - 2*q - q**2 + 0*q + 10*q. Let i be v(9). Which is smaller: i or 1/25?
1/25
Suppose 6 + 6 = -2*a. Which is smaller: -5 or a?
a
Let w = -3569985/196 + 18211. Let a = 2/49 - w. Is a <= 4?
True
Let t = -60 + 58. Which is greater: t or -7/11?
-7/11
Let r(w) = w**3 - 5*w**2 - 6*w - 1. Let k be r(6). Is 1/13 less than k?
False
Let i = 981400/9 - 109224. Let l = i + 180. Let x = -8/9 - l. Is x greater than 0?
False
Suppose -2*w = w. Suppose 2*p - 9 + 3 = w. Suppose 0 = -3*u - p*b - 1 - 5, -4*u + 1 = -5*b. Does u = 0?
False
Let l = 88 + -262/3. Let n = -8 - -9.2. Is l less than n?
True
Suppose 0*q + 2 = -2*q. Is 6/13 less than or equal to q?
False
Let h(w) = -w**3 + 6*w**2 - 4*w - 1. Let u be h(5). Suppose 9 = 2*l - u*x + 37, 2*l = 2*x - 26. Let s be ((-10)/4)/(l/(-8)). Is s at least as big as -2?
True
Let i be (-4)/(-3) - 14/(-21). Let g be 1/(-1)*22/i. Let m be (-5)/(-20) - g/(-12). Which is greater: -6 or m?
m
Let m = -1238.04 + 1197. Let s = m + 39. Let w = s + 0.04. Which is smaller: 0.1 or w?
w
Let h be 0/(-2) - 4/(-6). Let m = 0.07 + 0.23. Let b = -0.1 + m. Is h <= b?
False
Suppose -8 + 4 = v. Are -5 and v equal?
False
Let g = -68 + 37. Let k be (-1)/5 + g/(-5). Let l = 4 - k. Is -3/2 < l?
False
Suppose 4*p = 534 + 210. Let v be (-1)/2 - p/18. Let k = 11 + v. Is k < -1?
False
Let v = -465 + 733. Let w be (-1 - 7)*-1*1/2. Let x be v/(-52) - w/(-26). Which is smaller: -4 or x?
x
Let y be 2*9/6 + 2. Let m = y - 8. Let g be 6 - (1 + (m - -3)). Is -1/4 >= g?
False
Let u = -8 - -23. Let q be -1 + 3 + (-36)/u. Suppose -2*n = -0*n + 2. Which is smaller: n or q?
n
Let g = -1.75 + -0.25. Let r = -4 + 4. Which is bigger: g or r?
r
Let r(n) = -n**3 + 7*n**2 + n - 6. Let l be r(6). Which is greater: l or 35?
l
Let h = 32 - 31. Which is smaller: h or 4?
h
Let z(o) = -o**3 + 22*o**2 + 26*o - 79. Let a be z(23). Let n(q) = 6*q + 3. Let v be n(-2). Is a at most as big as v?
True
Let p be (-6)/21 - 54/56. Suppose 0*k - 3*k = 0. Does p = k?
False
Suppose -57*b - 12 = -53*b. Which is greater: b or 0?
0
Let m be -280 + (-2 - (-1 + 1)). Let w be 1/(-2) + (-171)/m. Let h = w + 153/329. Which is smaller: h or 1?
h
Let h = 10 - 6. Let p = 2 + 6. Let v be (-6)/h*p/42. Which is smaller: v or 1?
v
Let l be 12*(-4)/((-8)/(-1)). Is -33/5 greater than l?
False
Let l be ((-50)/40)/(2/16). Does -10 = l?
True
Let w(f) = f**2 - 2*f - 32. Let n be w(8). Which is smaller: n or 2?
2
Let y = -9 - -14. Suppose 4*i - 4*r + 4 = 0, 3*r = i + y*r + 7. Which is greater: -2 or i?
-2
Let b be -9*((-26)/8 + 3) + -2. Is b smaller than 2/3?
True
Let j be (-4)/(4/3) + 2. Let u be 7/12 - j/(-3). Is u != 1?
True
Let f(h) = -h**2 - 6*h - 10. Let y be f(-3). Do y and 1/33 have the same value?
False
Suppose 0 = -u + 2*u - 1. Suppose -4*v + 20 = -4. Let a be 8/12*v/34. Are u and a nonequal?
True
Let p = 114 - 113. Which is smaller: p or 3/26?
3/26
Suppose -5*l + k - 1 = 0, -3*l - 2*l = 5*k + 25. Suppose 0 = -2*w - 5 + 1. Is w at most as big as l?
True
Let v = 7/39 - -2/13. Suppose -20 = -2*m - 4*g, -4*m + 2*g = 6*g - 20. Let p(s) = -s**3 - s**2 - 3. Let o be p(m). Which is bigger: o or v?
v
Let h = 36 - 59. Which is smaller: h or -24?
-24
Let b = 40 - 50. Is b less than -1?
True
Let l(n) = -n + 8. Let g be l(8). Suppose 5*a + 15 = -0*a. Let v = a + g. Is v > -4?
True
Let m = 14 - 17. Let i(w) = 2*w + 3. Let y be i(-3). Is y greater than m?
False
Let d = -26/81 + 2398/405. Let b = -21/10 + d. Is b greater than 3?
True
Let t = -0.09 - -6.09. Let c = 7 - t. Let d be 1/2*(-2)/(-5). Are c and d non-equal?
True
Suppose u - 1 = -0*u. Let j be (u/4)/(6/(-8)). Which is bigger: 1 or j?
1
Let q be (-3 + (-114)/(-39))/1. Which is smaller: 1 or q?
q
Let y = 111 - 112. Which is greater: -14 or y?
y
Suppose -9*z = -z - 16. Is 37 less than z?
False
Suppose 5 = -4*j + 29. Suppose -2*s - j = -5*c, -2*c + 3 = -c - s. Which is bigger: c or 1?
1
Let q be 12/9 + (-4)/6. Let f = -3 + 6.1. Let i = f + -3. Is q equal to i?
False
Let q be 0 + 1 - (-13 + 2). Is 11 at least as big as q?
False
Let d = -3 - -9. Is d not equal to 6?
False
Let y = 0.8 - 0.88. Let o = 0.52 - y. Let v = o - 0.5. Is -0.1 < v?
True
Let m be (12 - 10)*(-1)/2. Let f = 1022/15 - 474/5. Let b = f + 26. Is b greater than or equal to m?
True
Suppose -5*g = -g - 24. Let n = g + -9. Let q be 0 - (-1 - n) - 0. Is q at most -2?
True
Suppose -13*o + 10 = -15*o. Is 0.7 greater than or equal to o?
True
Suppose -5*g + 2*i = -g - 54, -g - 4*i - 9 = 0. Suppose a + 2 = m, -5*m - a - g = a. Let r(u) = -u + 5. Let y be r(4). Is y at least m?
True
Let n = 2 + 0. Suppose -2*k - 2 = -k. Let s = n + k. Do s and -2/7 have the same value?
False
Let t = 0.09 - 0.06. Let p = -5.97 - t. Is 1 bigger than p?
True
Let q be 7*(-2 + 2 + -1). Let y be 94/(-14) + (-2)