e (-3 - (1 + 1))/(-1). Suppose t + 2 = -3*p, -x*p = -3*t - 3 + 25. Suppose 15 = 3*o, -o - 7 = -t*l - 0. Which is bigger: l or 4?
4
Let b = -42 - -708/17. Which is bigger: 0 or b?
0
Let o be (-3 + (-1360)/(-469))*-3. Let t = o + -1/67. Let h = 2 + -1. Is h > t?
True
Suppose 0*g = 4*g - 4. Let v(u) = u**2 - 6*u - 3. Let p be v(6). Which is smaller: p or g?
p
Let u be 19/7 + 2/7. Let f be 1/u - 10/12. Suppose 0*j - 2 = 2*j. Is f < j?
False
Let o = -4.2 - -4. Suppose 5*r = -2*j - 6, -5*r + 5*j + 4 + 11 = 0. Is o < r?
True
Let c = -22 + 33. Which is smaller: 9 or c?
9
Let l be 0 + 1 - (3 + -3). Suppose -w = 3 - l. Let p be w/(-5)*5/(-6). Are p and -1 unequal?
True
Let q = -118 + 828/7. Let n be 1/5*-7 - -2. Which is bigger: q or n?
n
Let l(c) = c**3 + 3*c**2 + 2*c + 3. Let j be l(-3). Let a be ((-2)/j)/((-56)/(-21)). Which is greater: -1 or a?
a
Suppose -14 = -4*w + 2. Suppose 0*h = -2*h + 5*t, t = -w*h. Let m = 1 + h. Which is smaller: 3 or m?
m
Let y be -2*((-3)/(-18))/1. Let t be (-4)/16 + 1/2. Is y greater than t?
False
Let h = 21.075 - -0.025. Let v = -20 + h. Let u = 1 - v. Is 1 smaller than u?
False
Let r(u) = -2*u + 0 + 2 - 1. Let m be r(-1). Is m > 1?
True
Let z(s) = s. Let y(f) = -5*f + 6. Let n(i) = y(i) + 6*z(i). Let w be n(-7). Let b be 0 + 0 + (-8)/28. Are w and b nonequal?
True
Let p(h) = -h**3 + 6*h**2 - 9*h + 21. Let y be p(5). Are -2/287 and y equal?
False
Let u be 5/8*2*(-630)/(-50). Is 16 less than u?
False
Suppose -2*z = 5*n + 56, 4*n + 47 - 159 = 4*z. Which is greater: z or -27?
-27
Suppose 5*v + 7 - 2 = 0. Does v = -1?
True
Let d = 24422/22407 - -2/2037. Is 2 less than or equal to d?
False
Let d = -17 + 30. Which is smaller: d or 12?
12
Let o be 2 - ((3 - 2) + -2). Let n be -1 - (2 - o - 1). Let j = 2 - n. Is 0 greater than j?
False
Let m = -3 - -1. Let o = 6 - 4. Let c be (0 + -2)/(o + 2). Is m greater than or equal to c?
False
Let w be ((-10)/(-25))/(14/(-10)). Let h(s) = -s**2 + s. Suppose g = -1 + 2. Let o be h(g). Is o at most as big as w?
False
Let m = -4 + 2. Suppose -a = -6*a + 15. Suppose -2 = -d + 3*x, a*x + 1 = 2*x. Which is greater: m or d?
d
Let a = 0.04 - 0.14. Is -16 less than a?
True
Let y = 51 - 52.8. Which is smaller: -1 or y?
y
Suppose 6*o + 24 = 2*o. Let i be (4/(-3))/(o/(-9)). Which is smaller: -3 or i?
-3
Let c be ((-25)/(-2))/((-1)/4). Let y be 10/(-8)*(-4)/c. Which is bigger: 1 or y?
1
Suppose 3*a - 11*a - 224 = 0. Does a = -1/4?
False
Let u = -13 - -14. Is u at most -1/6?
False
Let c be -2 + (-27)/(-6) + -1. Let m = -8 + 10. Which is smaller: m or c?
c
Let j(u) be the third derivative of -u**6/120 + u**5/10 - u**4/24 - 7*u**3/6 - u**2. Let v be j(6). Is -14 at most v?
True
Suppose -4*x - 16 + 4 = 0. Which is bigger: x or 0?
0
Let p(w) = w**2 + 7*w. Let t be p(-7). Which is greater: 0.01 or t?
0.01
Let w = -6 - -10. Suppose w*x = 2*k - 78, -2*x = -2*k + 72 + 12. Suppose 5*o + 0*u = -5*u - k, -5*u - 25 = 0. Is -3 >= o?
True
Let k be -1*(-1 + 36/30). Suppose 4*f - 12 - 8 = 0. Let i(c) = c**3 - 5*c**2 - c + 4. Let s be i(f). Which is greater: k or s?
k
Suppose 0 = -n - 10 - 5. Let q = n - -43/3. Is 9 greater than q?
True
Let d(y) = -5*y**2 - 1. Let u be d(-1). Let m be 7 + u + (-3 - -6). Suppose 4 = 4*p - m. Are 2 and p unequal?
False
Let l be ((-2)/(-5))/((-5)/(-50)). Is l < 6?
True
Let l = -4 + 6. Let u be l/(-1)*(-2)/4. Let b(v) = v + 5. Let y be b(-4). Are y and u unequal?
False
Let t = 8 - 7. Is 4/13 at most as big as t?
True
Suppose 0 = -52*y + 56*y - 44. Is 88/9 bigger than y?
False
Suppose -34*d = -36*d - 10. Let q(z) = -2*z**3 + 3*z**2 - z + 1. Let l be q(2). Is d less than l?
False
Let z = 8727/29 - 301. Let d(b) = -b**2 + 9*b - 7. Let l be d(8). Are z and l nonequal?
True
Suppose -3*u + u - 2 = h, -2*u - 2*h - 4 = 0. Suppose -4*t + x = 3*x, 2*t + 3*x = u. Suppose -4 = 5*j + a - 0*a, 2*a + 8 = 0. Is t not equal to j?
False
Let m be (-1 - -1) + (-1)/6. Let a be (62/10)/((-6)/15). Let v = a + 15. Are m and v nonequal?
True
Let d be (-1)/3 - 4/(-9). Suppose 6*g = g + 80. Let p be (-12)/g + 1/(-4). Is d at most as big as p?
False
Let u be (-1)/(-7)*(-1)/(-7). Is 0 less than or equal to u?
True
Let j be (2 - 0) + 2/2. Suppose 0 = 8*w - j*w. Let a = 540/7 + -77. Which is smaller: w or a?
w
Let c = 0.6 - 0.7. Let h = 7.9 - 7. Let y = h + 0.1. Which is bigger: c or y?
y
Let b = -14 - -14. Which is smaller: b or 22?
b
Let u = 0 + -0.1. Let o = -2 - -0.8. Let k = o - -0.2. Which is bigger: u or k?
u
Let x be (-8)/(-20) + (-1)/65. Let r = x - 2/39. Are 0 and r equal?
False
Let x = 40/7 + -6. Let v = 34 - 33.6. Do v and x have different values?
True
Suppose -19*p = -4*p - 810. Which is smaller: 56 or p?
p
Let q be ((-8)/6)/((-2)/(-3)). Is -4 greater than or equal to q?
False
Let n be (1/2)/(2/4). Suppose -6*f + f - 15 = 0, 2*f = 4*z - 10. Is n <= z?
True
Let z be 36/46*((-30)/(-18) + -1). Which is bigger: z or 1?
1
Let r = -0.3 + 0.1. Let n = -2.4 + 0.4. Is n at least as big as r?
False
Suppose 4*k = 10 + 2. Let j be (k/(-14))/(9/24). Which is bigger: -1 or j?
j
Let d(q) = q**2 - 9*q + 2. Suppose 7*x + 3*f - 28 = 2*x, -4*f - 24 = -x. Let l be d(x). Let h be (12/16)/(l/2). Is h less than or equal to -1/8?
True
Let p(f) = f + 14. Let l be p(-12). Let o be 6*8/21 - l. Is o less than or equal to 7/4?
True
Let u = 18 + -13. Let s(p) = 2 - 4 - 6*p + 5*p - 4. Let k be s(-11). Is k at most u?
True
Let z = 0 - -0.1. Let d = z - 0.1. Let h be (5 - 3)/(2 + (-3)/(-3)). Is d >= h?
False
Let y be ((-45)/(-27))/(4/(-6)) + 3. Let j be 0 - (-1 + (-11)/(-5)). Which is bigger: y or j?
y
Let c = 0.9 + -4.9. Let m = 4.2 + c. Is -1 greater than m?
False
Let b be 1 + 11/(11/6). Which is bigger: 8 or b?
8
Let f = 0 + 0.1. Let a be (-216)/(-462) - 4/14. Which is smaller: a or f?
f
Let b(h) be the third derivative of h**5/60 + h**4/8 - 5*h**3/6 + 2*h**2. Let a be b(-4). Which is smaller: -2 or a?
-2
Let x(p) = -p**3 + 6*p**2 + 6*p + 6. Let q be x(7). Which is bigger: q or -2?
q
Let k = -6 - -4. Let i = 0 - 0.1. Which is bigger: i or k?
i
Suppose 17 = -g + 58. Which is smaller: g or 40?
40
Suppose 0 = -6*a + 11 + 25. Which is greater: -0.1 or a?
a
Let d = 31 - 34. Which is smaller: d or 6?
d
Let i = -14223/25 + 569. Which is smaller: i or 0?
0
Let y = -5 - -5. Let v = y - 0.2. Let k = 16 + -31/2. Which is greater: v or k?
k
Let q = 0.06 - 0.26. Let p = 0.17 + q. Is p > 1?
False
Let z = 0.5 - 1.5. Let i = 4 - 4. Let v = i + -1. Is v >= z?
True
Let b be (-57)/(-38)*((-2)/12 - 0). Is b <= -7?
False
Let a = -299.7 + 287. Let k = 13 + a. Let b be ((-2)/(-6))/(1 - 0). Which is bigger: k or b?
b
Let h(j) = j**2 - 4*j - 7. Let q be h(5). Which is greater: q or -7/6?
-7/6
Let s be (-7)/((3 - -1)/8). Which is greater: s or -6?
-6
Let l = -7.8 - -8. Which is greater: l or 0.1?
l
Let s = 17295/16 - 191297/240. Suppose -9*k + 1420 = -4*k. Let u = s - k. Is 0 <= u?
False
Let s(d) = d + 2. Let l be s(-2). Which is smaller: l or -1?
-1
Let q = -100.97 + 102. Let z = -0.03 + q. Let f = 0.1 + -0.2. Which is smaller: f or z?
f
Let m = 7 + -7. Which is bigger: -2/15 or m?
m
Let o(k) = k**2 + 12*k. Let l be o(-9). Let x be (l/12)/((-3)/8). Is 7 greater than or equal to x?
True
Suppose 1 = q - 6. Let n be q - 4 - (-1 - -2). Suppose s = -5*i - 8 + 2, 3 = n*i - 5*s. Which is smaller: -5/4 or i?
-5/4
Let j(u) = -u**3 - 5*u**2. Let k be j(-5). Suppose 8 = -5*t + 9*t. Which is bigger: t or k?
t
Let p(b) = b - 10. Let l be p(7). Let z = 0.4 + -0.3. Is z > l?
True
Let x = 17/40 - 1/40. Which is smaller: -3/20 or x?
-3/20
Let s = -7025967937/1287 + 5459182. Let d = 4/429 - s. Which is greater: d or 2?
2
Let a be -4*(-5)/((-40)/(-6)). Suppose 0 - a = v. Does -2 = v?
False
Let a be 6/10 - (-2382)/5. Suppose 3*f - 93 = a. Let v = f - 1332/7. Is v bigger than 2/9?
False
Let y(k) = k**3 - 3*k**2 + 3*k - 2. Let v be y(2). Suppose b + 1 = -v. Suppose -2*s + 3*s + 3 = 0. Is b > s?
True
Let a(y) = y**3 - 4*y**2 - 4*y - 4. Let r be a(5). Let q be (r/4)/(7/28). Let f = -256 + 1284/5. Are q and f nonequal?
True
Let q = -7.95 + -0.05. Let t = -5 + 10. Let s = t + q. Is -1/4 less than s?
False
Suppose s + s = 0. Suppose -3*v + 7 = 4*j, 7*j - 4*j + 6 = s. Do 5 and v have different values?
False
Let q(u) = -u**3 + 6*u**2 + 11*u - 10. Let c be q(7). Let t be 4/1*3/c. Do 1 an