 greater: v or c?
c
Let v(g) = 2*g + 10. Let p be v(-7). Which is smaller: p or -5?
-5
Let g be ((-8)/(-5))/(108/990). Is g not equal to 15?
True
Let b = 6719683/53370 - 40/5337. Let q = 126 - b. Are q and -1 nonequal?
True
Let p(y) = -2*y - 6. Let q be p(-4). Let x = -5 + q. Which is smaller: x or -1?
x
Let d = 11 - 16. Let y = -4 - d. Let m = 4 - y. Is 3 != m?
False
Let j = -283/8 + 71/2. Let a = -3 - -2. Is j at most a?
False
Let y = 2745/217 - 89/7. Is y less than 2/9?
True
Suppose -7*g = -3*g - 80. Which is smaller: g or 22?
g
Let s = -15 + 119/8. Let l = 76 + -77. Is l at least as big as s?
False
Let r = -19 - -18.94. Let z = r - -0.1. Is 0.1 <= z?
False
Let s be ((-30)/(-140))/((-2)/(-4)). Let q be -2*1*(-3 - -5). Let o = -4 - q. Which is smaller: o or s?
o
Let d(y) = -y**2 + 7*y - 7. Let j be d(6). Let s = -1.4 - 5.6. Is s at most j?
True
Let c be 13 + -12 + 6/(-10). Suppose 0*o + 4 = 4*o. Which is greater: o or c?
o
Let q = -8 + 6. Is -8 at most as big as q?
True
Let v = 12.6 + -15.6. Let u = -1 + 1. Is u at most v?
False
Let k = 7 + -5. Suppose 0 = -4*c + 4*o - 12, -5*o + 21 = c - 0*c. Let t = c - 0. Are t and k equal?
False
Let u(d) = 2*d + 3. Suppose 8*q + 10 = 3*q. Let t be u(q). Let k be t - ((-6)/(-27) - 1). Is k <= -0.2?
True
Let k be (-8)/28 - (-844)/14. Suppose 2*l + 2*l = 2*t + 50, 0 = 4*l - 4*t - k. Let j = -7 + l. Is j greater than or equal to 3?
True
Let k = 2 - -1. Let m be ((-130)/(-15))/(1/3). Let v be m/6 - 4/12. Which is smaller: k or v?
k
Suppose -3 = 2*m - 4*c + 3*c, -2*m = -3*c + 9. Which is smaller: 15/11 or m?
m
Let r be 2/(-1)*(-12)/2. Let y be -2 - ((-2)/r + -1). Which is smaller: 0 or y?
y
Let l = 2 - -6. Let w = l + -7. Which is bigger: 1.3 or w?
1.3
Let c = -44.1 + 47. Let j = 3 - c. Let f = -0.1 + j. Which is smaller: -3 or f?
-3
Suppose -r = r. Suppose -2*a + 5 - 1 = r. Is 1 at least a?
False
Let k = 14 + -15.8. Let m = k - 0.2. Which is bigger: m or -0.2?
-0.2
Suppose 5*p + 5 = -4*q + 13, -4*p + 4*q - 8 = 0. Suppose -4*d - 2*n = -42, 0 = 5*d + 2*n - 6*n - 72. Let v = d - 45/4. Which is greater: p or v?
v
Suppose 4 + 11 = -y + 4*r, -5*r + 21 = -2*y. Which is greater: -13/4 or y?
y
Suppose 0 = -8*w + 2*w + 66. Which is greater: w or 8?
w
Let v(a) = 4*a - 3. Let s be v(3). Let d be 3 + (-3)/(-3)*2. Suppose s - 25 = d*k + 3*o, -4*k - 2 = -3*o. Which is greater: -4 or k?
k
Suppose -2*r + 5*i + 9 = r, 0 = 3*r + 5*i - 39. Let c be 2/(-20) + r/(-20). Let m = 0.002 - 6.002. Which is smaller: m or c?
m
Let l be ((-4)/(-12))/(2/4). Suppose -2*g = 2*g - 5*o - 19, 3*o = 3*g - 15. Let y = g + -4. Is y bigger than l?
True
Let g = 3/76 + 83/1748. Which is smaller: g or 1?
g
Let n(x) be the first derivative of 5*x**2/2 - 7*x - 1. Let r be n(3). Suppose -2*f = 3*f - 40. Are f and r equal?
True
Let y = 0.09 - -0.01. Which is greater: -17 or y?
y
Let o = -14 - -14. Suppose 4*w + o*w = -4. Is w at least as big as -1/7?
False
Let a(d) = -6*d**2 + 2*d - 1. Let v be a(1). Let l = v + 0. Which is smaller: -4 or l?
l
Suppose 0 = -3*x - 3*t + 105, 4*x - 2*t - 20 = 3*x. Is x at most 3?
False
Let w be 0 + (0/(-3))/2. Let k be -2 + (15/9 - w). Suppose 6*i = 2*i + 4. Which is greater: i or k?
i
Let u = -30 - -44. Is u <= 6?
False
Suppose -3*i - 3 = c, -5*i - 3*c = -0 + 1. Is -1 at most as big as i?
False
Let r = -1 + -2. Let h be (2/2)/(r/(-9)). Let d be (-7)/(-2) - (-2)/(-1). Is h smaller than d?
False
Suppose c - 3 - 1 = 0. Let o(t) = t**3 - 5*t**2 + t + 1. Let n be o(c). Which is smaller: n or -12?
-12
Let n be (0 - -1)/((-7)/(-4)). Let i = -4.1 + 4. Is i equal to n?
False
Let m = 5 + -4.6. Let h = m + -0.2. Let b = -0.3 + h. Is 1/4 at least b?
True
Let o = -101 + 100.69. Which is greater: -0.1 or o?
-0.1
Let u = 5 + -5. Let h = u - 0. Let t = 107/441 + -1/49. Which is bigger: t or h?
t
Let z be 5/15*(5 + 1). Let r be ((-10)/(-125))/(z/(-30)). Is -2 at least as big as r?
False
Suppose 8*w = 7*w. Which is smaller: w or -2?
-2
Let q be (7 - (4 + 0)) + -5. Let d = -0.1 + 0.2. Let g = 0.2 - d. Is g != q?
True
Let p(x) = 4*x**2 - x. Let f be p(1). Suppose -2*w - 9 = -o + 3, -3*o + f*w = -24. Which is bigger: 5 or o?
5
Let v(y) = y**2 + 2*y + 3. Let h be v(-2). Suppose -2*u - 1 = -h. Is 2 < u?
False
Let n be 1*(-894)/225 - -4. Is n >= -1?
True
Let c = 125 + -126. Which is smaller: c or -3?
-3
Let z(x) = 8*x - 3. Let u be z(4). Suppose -3*s = 4*n + u, -2*s = -2*n - 0*s - 4. Which is smaller: -7 or n?
-7
Let h be (5/(-2) + 2)*(1 + 1). Suppose -4*a + 56 = -0*a. Suppose 2*n = -2*b - a, 5*n - 4*b - 10 = -0*b. Which is bigger: n or h?
h
Let w(j) = -j. Let k be w(6). Is k >= -0.4?
False
Let q = -437 - -8305/19. Suppose 0 = -5*v + 5*t + 10, 7*t + 6 = 3*v + 2*t. Suppose 3*w - 1 = v*w. Which is bigger: q or w?
w
Let p = -72 + 293/4. Which is smaller: p or 1?
1
Suppose -4*b + 2*f = -4, -4*f - 15 = -b - 0*b. Let o be -5*b/(-3)*-3. Suppose o*d - 2*d = 0. Is 2/15 equal to d?
False
Let p = -5.04 - -0.04. Let d = 0 + p. Which is greater: d or 0?
0
Let t = -85 + 60. Let d = t - -23. Is d less than -1?
True
Let q = -1.2 - -1.1. Which is smaller: 4 or q?
q
Let g(f) = -f**3 - 4*f**2 - 3*f - 4. Let b = -5 + 2. Let t be g(b). Which is smaller: t or -1/3?
t
Let a be 1/(-13)*(-2 - 0). Which is bigger: 3 or a?
3
Let u be 1/(1*-2 - 1). Let m = 7 + -7.8. Let i = m + 0.8. Which is smaller: u or i?
u
Let r = 0.068 - 2.068. Which is smaller: r or -4.4?
-4.4
Let c be 8/(-12) - (-4)/42. Suppose 2*w = 3*w. Let o be (2 - (w - -2))/(-1). Is o equal to c?
False
Suppose 3*i = -3 - 57. Let s be ((-24)/i)/(3/15). Is s at least as big as 6?
True
Let l = 19 - 17. Suppose -2*m + 0*u - l = u, u = 2*m - 2. Which is smaller: m or -3/13?
-3/13
Let m = -5/248 + 2267/1736. Is m smaller than 2?
True
Let d = -17/120 - -13/30. Which is smaller: d or 0?
0
Let h = 7 + -7. Suppose h = -7*y + 3*y - 8. Do -3/4 and y have the same value?
False
Let z = -21 + 19. Let x be (-2 - -3)/(z/18). Is x at least 0?
False
Let h be 5*(-7)/98*(-12)/1. Are 4 and h non-equal?
True
Let c = 3.2 - 3. Let n = -0.2 + c. Let q = 131/781 - -1/71. Which is smaller: n or q?
n
Let w = -3.9 + 4.1. Are w and 1/5 equal?
True
Suppose 10 = 3*t - 8. Let f be (-22)/6 - 2/t. Let h be f/10 - (-64)/60. Which is greater: h or 2?
2
Let w = 157/901 + -3/53. Let x = -88/3 - -29. Is x at most w?
True
Let u be (-300)/94 + 3/1. Let h = -1063/2115 - u. Let d = h - 2/15. Which is smaller: d or 0?
d
Let y be 3/2*(-80)/96. Are -2 and y unequal?
True
Suppose -94 = 11*r + 16. Which is smaller: r or -4?
r
Let r = 554/747 + 3/83. Which is greater: r or 2?
2
Let r(g) = -g**3 + 6*g**2 + 8*g - 4. Let v be r(7). Let n = v - 3. Is 4/11 smaller than n?
False
Suppose 5*z + 15 = f, 0 = 2*f + z - 5*z - 12. Which is smaller: 2 or f?
f
Let w(r) = -6*r + 5. Let i(h) = 2*h + 4. Let a be i(-5). Let q(j) = -1. Let c(y) = a*q(y) - w(y). Let u be c(-1). Which is smaller: u or -6?
-6
Let n(c) = -c + 8. Let z be n(7). Let v be (1/13)/(9/36*2). Is z < v?
False
Let i be (-7)/(-1)*(-2 + 3). Let m = i + -9. Does m = -5?
False
Let k be ((-6)/120)/(8/16). Suppose 0 = 2*y - 0*y. Is k <= y?
True
Let k = -9 - -41/4. Suppose 2*y + 2*y - 3 = 5*q, -y = 4*q - 6. Which is greater: k or q?
k
Let d be (-8)/(8/3) - -4. Which is smaller: d or -4/25?
-4/25
Let z = 0.256 - 0.056. Are -14 and z nonequal?
True
Let i be (3/5)/(4/170). Suppose -5*g - 130 = 5*t, 3*g + 11 = -t - 17. Let x = t + i. Which is greater: x or -1/4?
x
Let g(w) = -w - 2. Let k be g(2). Let m be (-1)/((2 - 0)/10). Which is smaller: k or m?
m
Let z be (-70)/(-16) - 8/2. Which is bigger: z or -1?
z
Suppose -19 = -a - 26. Which is greater: a or -6?
-6
Let p = 0.16 + -16.16. Does p = 0.2?
False
Let n be 48/15 + 4/(-20). Suppose -21 - 51 = n*r. Is -24 smaller than r?
False
Suppose 4*g - 17 + 5 = 0. Suppose 3*c - 6 = -g. Suppose -2*d - u + 8 = -0*u, 5*d - 30 = -5*u. Which is bigger: d or c?
d
Let u = 5.4 + -6.4. Which is smaller: -29 or u?
-29
Suppose g = 3*g - 4. Let b(p) = p**3 - 3*p**2 + 3*p. Let u be b(g). Let v be (2/6)/(u/(-9)). Is -2 less than v?
True
Let n = -9.12 - -9. Let g = -0.08 + n. Suppose -5*w = -4*x + 7, 3*w - 5*w = x - 5. Which is smaller: w or g?
g
Let k be 323/(-38) - 3/(-2). Which is greater: -8 or k?
k
Let g be ((-30)/(-75))/((-2)/5). Which is bigger: 5 or g?
5
Suppose -4*q = -q. Suppose q = 