e
Let q = -7.89 - 0.11. Let a = -8 - q. Is -2 bigger than a?
False
Let u(k) = k**3 - 7*k**2 - 7*k + 7. Let g be u(8). Let d be (-62)/g + (-6)/(-45). Is -7/2 > d?
True
Suppose 2*q = -3*p - q + 24, -40 = -5*p - 2*q. Let z be (-8 + p)/(2*1). Which is smaller: z or -2/29?
-2/29
Suppose 3*y - 67 = -4. Let k be (-18)/6 - (-65)/y. Suppose 0*s = 4*s. Which is greater: k or s?
k
Let v = 36 + -36. Is 1.6 < v?
False
Suppose -w + 3 = 9. Which is bigger: w or -7?
w
Suppose 2*m + 3*m + 5 = 0. Let t(d) = d**2 - 5*d - 6. Let a be t(6). Let o be 0*(a + -2 + 1). Which is smaller: o or m?
m
Let w(p) = -7*p**2 + p**3 + 2*p + 5*p**2 + 3 - 4. Let d = -1 + 2. Let z be w(d). Do 1/5 and z have different values?
True
Let h = -12 + 39. Which is smaller: h or 28?
h
Let x be (10/(-25)*1)/(3/30). Are 11 and x non-equal?
True
Let z(a) = a**2 - 6*a - 2. Let h be z(6). Let o = -3 - h. Suppose -5*d + 5*y = 5 - 0, 2*d - y = -2. Is o greater than d?
False
Let y be (-8)/(-7)*1/(-2). Let n be (1/3)/(2/6). Let f be (-5 + 4)*(1 + n). Is y > f?
True
Let d(w) = w**2 + 2*w - 1. Let b be d(-2). Let c be (b - -1) + 1 - 1. Does 1 = c?
False
Suppose -d - 2 = d - 2*t, -25 = -3*d - 4*t. Let r be 7/70*d*-4. Which is smaller: -2 or r?
-2
Let p be (103/(-105) - -1)/((-13)/(-13)). Which is greater: -1 or p?
p
Let o = 7 + -8. Let f = 1 - o. Let t be (5/7)/1 + -1. Which is smaller: f or t?
t
Let x(w) = 0*w**2 - w**2 - 6 + 5*w + 2. Let d be x(4). Suppose 3*v - 1 = -2*l - 4, 5*l - 2 = 2*v. Is l less than or equal to d?
True
Suppose 4*y - 27 + 3 = 0. Suppose n + n = -y. Let t be 8/(-42) - n/9. Which is greater: t or 0?
t
Let q = 2 + -6. Which is smaller: q or -10/3?
q
Let v be 9320/1248*46/(-10). Let p = -386/39 + v. Let h = p - -44. Is h bigger than -2/7?
True
Let w(p) = -p**3 - 8*p**2 - 5*p - 9. Let z be w(-7). Is z at most as big as -21?
True
Let i(k) = -2 + k - 7*k + 5*k. Let b be i(4). Let y be (b/15)/((-3)/(-30)). Which is smaller: -3 or y?
y
Let z = -27 + 18. Which is bigger: -11 or z?
z
Let d(g) = -g**3 + 4*g**2 + 6*g - 2. Let y be d(5). Suppose -4*m + 5*z = 9, y*m + 2*z = -3 + 2. Let p = m + 0. Which is smaller: p or -2/3?
p
Suppose 3*i - 5*v = -25, 4*i - 25 = i - 5*v. Let c be 3/(-4) + 33/12. Let a be 1*(c + 38/(-20)). Is a bigger than i?
True
Let f = -7 + 5. Let l = 2 + f. Let b = l + 0.2. Does b = 1?
False
Let x be (-2)/117*12/(-8). Let y = x + 71/273. Is y less than -1?
False
Let x = -0.022 + -1.018. Let k = 0.04 + x. Which is smaller: 4 or k?
k
Let b(w) = w**2 - 11*w + 12. Let x be b(10). Suppose x + 4 = r. Which is bigger: r or 2/9?
r
Let j = 1 + 1. Let r be 3/j*20/255. Are 0 and r equal?
False
Let b = -15 - -22. Suppose -4*i - 12 = -40. Is i at most as big as b?
True
Suppose f - 21 = -5*w, -3*f + 1 + 2 = 3*w. Let v be 20/f - (-4 + 3). Which is smaller: -5 or v?
-5
Let t = -20 - -21. Which is smaller: 1/4 or t?
1/4
Let v be 3*((-2)/10 + 0). Suppose 3*o + 4*a - 5 = -0*o, 2*a = 4*o + 30. Let m = o + 4. Is m less than v?
True
Suppose -3*v = -3*j, 4*j + 1 + 11 = v. Let d be (6/(-4))/(j/8). Which is bigger: 2 or d?
d
Suppose 2*l + 2*r - 12 = 0, -4*l - l + 6 = -r. Suppose 90 = 7*w - 2*w. Let s be ((-3)/(-9))/(2/w). Is s <= l?
False
Let n be 46*(-1 - 20/(-8)). Are 68 and n equal?
False
Let m = 2 - 2. Suppose -5*y - 3*z = 7, -4*z = 4*y + 7 - 3. Which is smaller: y or m?
y
Let z = 69/4 + -17. Which is smaller: z or -11?
-11
Let t be 1 - 2 - 18/(-9). Let g be (-2)/(-2) + (-208)/3. Let f = g - -69. Which is smaller: t or f?
f
Suppose l = -3*l. Let w be (-10)/5 - 1 - -3. Is w at most l?
True
Let x = -36 + 35.9. Which is greater: -30/7 or x?
x
Let g = -41 - -135. Is g bigger than 94?
False
Suppose 3*n - 3*t - 15 = 0, 7 = n - t + 2*t. Suppose -4*q = -5*q + 6. Do n and q have different values?
False
Suppose -16 = -4*l + 2*p, 2*l + 3*p = 2*p + 8. Suppose i + 33 = 3*i - 5*r, i - 3*r = 19. Suppose -3*a + i*s + 2 + 3 = 0, -2*s + 2 = 0. Is l < a?
False
Let c be (1287/30)/11 - 4. Which is smaller: 3/4 or c?
c
Let n be 68/145 + 22/(-55). Is 0 greater than or equal to n?
False
Let d be 2/2 - 4/(12/(-39)). Is d bigger than 14?
False
Let d be (6/3)/(3/28839). Let q = 95632/5 - d. Let o = q + 100. Which is smaller: -0.3 or o?
-0.3
Let k = -1.5 + 1. Let t = 0 - k. Let j = t + -0.4. Which is greater: j or -1?
j
Let d(c) = -4*c + 2. Let z be d(4). Which is greater: -8 or z?
-8
Suppose 2*m = 21 - 3. Which is greater: m or 7?
m
Let l(c) = -c**3 - 6*c**2 - c. Let q be l(-6). Let t be 3/q + (-10)/(-28). Suppose -5*f = -u - 23, 0 = 4*u - 0*f + f - 13. Which is bigger: t or u?
u
Let c = -19 - -3. Which is smaller: 0.1 or c?
c
Suppose -3*a + 0*a + 9 = 0. Which is greater: 5 or a?
5
Suppose -3 = 2*f - 5*r, 4 = 3*f + 2*r - 1. Suppose -2*o - f = -9. Suppose 2*u - 6 = 5*c, 5*u - c = c + 15. Is o > u?
True
Let y be 2 - 44/12 - -2. Let s = y - 32/15. Which is bigger: -2 or s?
s
Let w = -26.1 - -26. Let m = 3.06 - 0.06. Let o = -1 + m. Which is greater: o or w?
o
Let y = 20/11 + -2. Let g = 4 + -5. Which is greater: y or g?
y
Let z = -33 + 23. Is z bigger than -10?
False
Let x = -0.36 - -0.4. Let o = -2.04 + x. Let b = o - -2. Which is greater: -1 or b?
b
Suppose -16*z + 24 = -13*z. Is z > 9?
False
Let x be ((-28)/6)/(12/18). Which is smaller: 0 or x?
x
Suppose 3 = 3*n + 3*x + 12, 4*n + 3 = -x. Is n less than 0?
False
Suppose 26*w - 35*w = -36. Is 1 equal to w?
False
Let h = -143513/20 - -7174. Let u = 5/4 + h. Is u greater than 1?
False
Suppose 3*i - 2*k + 10 = 0, i - 3*k = -i. Let q = 6 + i. Which is smaller: q or -0.1?
-0.1
Let a be 38/56 - (1 - (-12)/(-21)). Is a equal to 0.5?
False
Suppose 0 = 2*t - 29 - 9. Let a = 58/3 - t. Are -1 and a non-equal?
True
Let a(i) = -i + 1. Let s = 10 - 6. Let f be a(s). Which is smaller: f or -2?
f
Suppose 0 = 5*x + 5*n + 55, 9*x - n = 4*x - 25. Which is smaller: -5 or x?
x
Let s be 16/(-4)*6/14. Which is bigger: -2 or s?
s
Suppose 5*h + 0 = -5. Let x = -0.2 + 0.1. Which is smaller: x or h?
h
Let a = 4.8 + -4. Let z = a + -0.8. Which is bigger: z or -0.2?
z
Let r = 14 - 5. Is 10 at least as big as r?
True
Let t = -395/516 - -2/129. Which is smaller: -2 or t?
-2
Suppose -11 = -5*h - 1. Let a be 0 - (6/h - -4). Let z = a + 6. Which is bigger: z or -3?
z
Let v = 10 + -6. Suppose 39 = 5*p - 6. Let d be v/6 + 12/p. Which is smaller: 1/2 or d?
1/2
Let b be 2 - (-2 + 52/12). Is b > -15?
True
Suppose 7*t + 15 = 4*t, 0 = 2*w - 5*t - 29. Let n be ((-4)/(-7))/(10/7). Is w less than or equal to n?
False
Let r = 0 + 3. Let j = -1.64 + 0.04. Let n = j - -0.6. Which is greater: n or r?
r
Let x(j) = 0 - 3 + 2 + 2*j. Let p be x(1). Let h = -2 - -2. Which is greater: p or h?
p
Suppose 0 = 2*x - 3 - 3. Let g = 25/9 - 53/45. Which is smaller: g or x?
g
Let h(f) be the second derivative of -f**5/20 + 11*f**4/12 - 11*f**3/6 - f**2 - f. Let g be h(10). Let u be 34/8 + (-9)/g. Which is smaller: u or 1?
1
Let l = -1/3119 - -3291/536468. Which is greater: -1 or l?
l
Let q be 2/(-4)*(-26 + 2). Let b = 8 + q. Suppose -5*f - 3*a + 8*a = b, a = 5*f. Is f not equal to 2?
True
Let r(k) = k**3 - 4*k**2 + 4*k - 2. Let z be r(3). Let t be (-2)/(1*(-3 + z)). Is 1 greater than or equal to t?
True
Let t = -6046703/33030 - -21/1835. Let l = -183 - t. Is 1 at least l?
True
Let w = 5/4 - 1. Is w < 0?
False
Let p = 10/21 - -1399/105. Let j = -498/35 + p. Suppose 5*w + 4*d - 13 = 0, 3*d = 6*w - w + 1. Is w less than j?
False
Let m = -1985657 - -77465503/39. Let j = -638 + m. Is 0 equal to j?
False
Let t be 0 + (-3)/(-15) + 54/(-45). Let n be (1 - 0)*3 + -1. Let o be 2*-1*n/20. Are o and t non-equal?
True
Suppose 0 = -4*o + 2*y + y - 14, -3*y + 16 = -5*o. Are o and -5/4 equal?
False
Suppose -2 = -4*g + 6. Suppose -3 + 2 = 3*s + 5*h, g*h = s - 7. Is 3 <= s?
True
Let d = -0.2 - 1.8. Let n = d - -2. Suppose -5*w + 14 = 3*k, 2*w + 0*w - 4*k = -10. Which is bigger: n or w?
w
Let o = 143 - 143. Which is smaller: -55 or o?
-55
Let t = 85107/6715 + 292/6715. Let b = t - 63/5. Suppose -4*c + 11 = -4*r - 9, 0 = c + 4*r + 20. Is b greater than or equal to c?
True
Suppose 2*q + 3*l = 13 + 5, -q + 23 = 5*l. Let a = -4 + 6. Is q at least as big as a?
True
Suppose 16 = 4*w - 0*w. Suppose 14 = 2*o + x, 3*x - 6 - 11 = -o. Suppose -3*d + 20 = o*j, -2*d - j = -2*j + w. Which is greater: 1/4 or d?
1/4
Let r = -0.11 + 0. Let u = r - 0.09. Which is b