ich is smaller: u or z?
u
Suppose 5*y - 3*c - 217 = 0, -c = -5*y - 17 + 236. Are y and 44 nonequal?
False
Suppose 5*s + 5*y = 2*s + 17, 5*y = 2*s + 22. Is s at most -14?
False
Let q = -16 + 15. Which is smaller: 1/8 or q?
q
Let f be (-60)/(-12) - 40/9. Which is smaller: f or 0?
0
Let d(r) = 2*r - 1. Let y be d(1). Let i be (-4)/((2 + 0)/y). Is -4/3 < i?
False
Let u = 10 + -6. Let g(l) = l**3 - 3*l**2 - 2*l. Let i be g(4). Let f = i + -4. Are u and f equal?
True
Let a be 2/((-44)/38) + 1. Let v = a + 49/22. Do v and 3 have different values?
True
Suppose 7*c - 4 = 11*c. Which is smaller: 3/14 or c?
c
Let m = 2.8 + -10.8. Let k = 0.06 + -0.06. Which is bigger: m or k?
k
Let i(p) = -p**2 + 7*p - 7. Let n be i(5). Suppose -v + 2 + 0 = 0. Suppose -v*h + 17 = -5*l, -11 = h - l + 5*l. Which is smaller: n or h?
h
Let k = 4.9 - 5.9. Which is smaller: 36 or k?
k
Let h be (-135)/(-60) + 6/8. Let j(p) = -p**2 - 3*p + 4. Let x be j(-5). Let c(o) = o + 8. Let r be c(x). Is r less than or equal to h?
True
Let y = 35 - 57. Which is greater: y or -67/3?
y
Let x = 35 - 38. Which is smaller: x or 2?
x
Let p(f) = -f**3 + 5*f**2 + 5*f + 5. Let o be p(6). Let j = -54/7 - -7. Let y = j + 1. Is y equal to o?
False
Suppose 0 = -2*a + a + 1. Let y(x) = -x - 1. Let c be y(-5). Suppose 3*n = -9, 0*n + 16 = 4*s - c*n. Is s > a?
False
Let a = 1.1 + 12.9. Let l = -9 - -8. Which is bigger: a or l?
a
Suppose 5*v = -7 + 2. Let j = -11/15 + 53/45. Which is smaller: v or j?
v
Let c = 35 - 30. Suppose 10 = -5*m - 3*l, -m - 16 = -2*m + 3*l. Which is smaller: c or m?
m
Let u be (-2)/9 - (-110)/90. Which is smaller: u or -3/14?
-3/14
Suppose -2*m - 48 = -4*m + 5*z, -5*m - 2*z + 62 = 0. Is 14 at least as big as m?
True
Suppose -4*v + 4 = -3*d + 6*d, v - 20 = 4*d. Let a be 35/(-21) + v/6. Let b(q) = -q + 4. Let t be b(4). Is a at most t?
True
Let b = 24 - 22. Let v = -1 - -3. Let a = -3 + v. Which is smaller: a or b?
a
Let w be 231/(-110)*5/(-6). Which is bigger: w or 1?
w
Let k = -724/341 - -23/11. Which is smaller: k or -1?
-1
Let m(k) = -k**2 - 9*k + 10. Let t be m(-10). Suppose t = -7*w + 9*w + 6. Suppose -3*p - 12 = -3. Does p = w?
True
Let f be ((-1)/(-2))/((-10)/20). Let y = -3 - 2. Let c = y - f. Which is greater: c or -3?
-3
Let v be 5/((-75)/6)*5. Let t be ((4 - 7)/(-45))/v. Is 1 > t?
True
Let d = 70 - 69. Is 10/11 < d?
True
Let f = -10/59 - -1178/2773. Which is bigger: -1 or f?
f
Suppose -21 = 12*x - 9. Is 2/63 greater than x?
True
Let w = -16 + 12. Suppose -m = -5, -b - 3*b - m - 7 = 0. Which is greater: w or b?
b
Suppose 4*l - 2 - 2 = 0. Let b be 2/(-3) + l/(-3). Is -11 at most as big as b?
True
Let c = -23271/1862 - 2/931. Is c greater than 2/7?
False
Let f = 0.03 + 2.37. Let y = f - 2.4. Which is smaller: y or -4?
-4
Let b = 105 + -738/7. Let l be 20/(-8)*132/(-15). Let v = l - 21. Which is smaller: v or b?
b
Let r be ((-6)/2)/((-3)/2). Suppose 0 = 2*v - 1 + 7, 2*a + 9 = -5*v. Suppose a*o - 17 = -r. Do 6 and o have different values?
True
Let s be (4 + -4)/(6/3). Let l be (2/(-2) + 1)/2. Is l less than s?
False
Let f = 5/98 - 501/5978. Which is smaller: f or 1?
f
Let t(a) = -a**2 - 3*a + 5. Let n be t(-4). Is n not equal to -2/25?
True
Let y(j) = -j**2 - 7*j - 9. Let v be y(-6). Suppose 6*n - 16 = 3*n + 4*s, 0 = 4*n + 2*s - 14. Suppose d = n*d + 15. Is d at least as big as v?
False
Let q = 21 + -21. Do -5 and q have different values?
True
Suppose 3*h - 485 = -2*h. Let q be -26*74/(-40)*-2. Let x = h + q. Which is smaller: x or 1?
x
Let u be (1 + -1)/(6 + -5). Let y = 1 + 0. Let m = -1 + y. Is m != u?
False
Let v(f) be the first derivative of -f**4/4 - 3*f**3 + f**2/2 + 5*f + 1. Let y be v(-9). Let q be 36/(-8) + y/(-2). Is q at least as big as -3?
True
Let o = 10 + -4. Is 13 smaller than o?
False
Let o be (-4)/(-2) - (-1)/(-1). Let l(j) = -j - 2. Let y be l(-3). Let g be 2*(y + o - 1). Which is smaller: 1/2 or g?
1/2
Let u = 5 - 3. Suppose u*o = -1 + 3. Which is greater: 5 or o?
5
Let j(z) = -z - 8. Let t be j(-9). Suppose 2*g + t + 1 = 0. Let b(r) = -2*r**2 - 2*r + 1. Let s be b(-2). Do s and g have the same value?
False
Let t be ((-12)/16)/(1/(-4)). Let f be (t/(-11))/(6/4). Are -1 and f unequal?
True
Let u(y) = -y**2 + 10*y - 13. Let s be u(8). Which is bigger: s or 10?
10
Let v = 10 + -9.6. Which is greater: -0.1 or v?
v
Let z(s) be the first derivative of 0*s + 1/4*s**4 - 1 + 2/3*s**3 - s**2. Let n be z(-3). Is n bigger than -2?
False
Let c = 162 - 166. Is c greater than or equal to -2/13?
False
Let w be -3 - (3 + 196/(-32)). Suppose 4 = -2*l - 2*l. Which is smaller: l or w?
l
Let l be 1 + 1 + (1 - 1). Suppose -4*m = 3*a - 2, a = -5*m - 2*a + 4. Let k be 0/(-1) + 1/m. Does k = l?
False
Suppose 4*j - 4 = -4*g, 0 = -8*g + 9*g + 3*j - 3. Which is bigger: g or -1/13?
g
Let s = -89612/1023 - -90/341. Let m = s - -88. Let d be 2 + (-3 + 1 - 0). Is m bigger than d?
True
Let n = -0.024 - -0.124. Which is greater: n or -69?
n
Let j = -57 + 64.2. Let b = j + -7. Which is greater: -4 or b?
b
Suppose 3*m - 2*m - 3 = 0. Suppose -2*w = q - 4, 2*q - 6*q = -m*w - 5. Is 1 <= q?
True
Let b(m) = -m**3 - 8*m**2 + 10*m + 15. Let f be b(-9). Which is smaller: 8 or f?
f
Let l(j) = j**2 - 2*j - 1. Suppose 5*g + 5 = -0. Let h be l(g). Let w be ((-1)/1)/(h/(-2)). Which is greater: -1/5 or w?
w
Suppose -b + 2 = -4*a, 0 = -3*b + 5*b - 4*a. Let v be (-9)/(b - 1) - 2. Is v smaller than -4?
False
Let m(c) = -c**2 + 2*c + 1. Let u be m(4). Let r(t) = -t**3 + 7*t**2 + 9*t - 4. Let q be r(8). Let v = q - 11. Is v greater than u?
False
Suppose 3*k - 2*w - 3*w - 5 = 0, 4*w = 3*k - 7. Suppose -7 = -k*f + 3*m, -2 + 8 = -2*f - m. Which is smaller: 0.02 or f?
f
Let y(r) = -6*r + 10. Let k be y(2). Is k smaller than 0?
True
Suppose 0*n = -2*n - f + 5, -4*f = 3*n - 10. Suppose 5*x - 2*l = -15, n*x + 5*l = 4*x + 27. Which is bigger: x or -1/8?
-1/8
Let q = -1/26 - 6/13. Let h = 2.9 - 3. Is h greater than q?
True
Let c be 6/27 - 222/27. Let j be (c/3 - -3)*3. Let p = 4/7 - 27/35. Which is smaller: j or p?
p
Let z be (6/6)/(57/(-18) - -3). Suppose 5*x - 122 = -2*t, 3*x + 4*t - 63 = 13. Suppose -5*q - x + 4 = 0. Which is bigger: q or z?
q
Suppose 3*c - 15 = -2*c. Suppose 5*m - 25 = 5*g, -2*g + 4 = m + 14. Suppose -4*s - 3*v + 12 = 0, 3*v - 12 = -m*s + 3*s. Is s greater than or equal to c?
False
Suppose -2 - 2 = 2*t. Let l be 1/(t/2 + 2). Which is bigger: -2/9 or l?
l
Let s be (-6)/15 + 5913695636/(-53381460). Let x = -2/242643 - s. Let l = x + -111. Is l less than 0?
False
Let v = -188/465 + 2/465. Let p = 1.02 - 0.32. Which is smaller: p or v?
v
Let n = 43 + -42. Let c = -2 + 1. Let i = n + c. Is i smaller than -2?
False
Suppose 3*f - 6*f = 0. Let a be (3/4)/1 - f. Is a bigger than 0?
True
Let r be 330/4*24/(-2457). Let q = 670 + -26132/39. Let y = q + r. Is y bigger than 0?
False
Suppose 0 = 2*h - w - 0*w - 78, -204 = -5*h - 2*w. Suppose -h = 2*y + 3*y. Is -8 at most y?
True
Suppose -4 - 12 = -4*n. Suppose 5*v = -3*q - 5, -4*q - q = n*v + 4. Let h be 0/((-1)/(1/(-2))). Which is bigger: v or h?
h
Let w = 0 + 1. Suppose -w - 5 = 2*n. Let k = -8 - n. Are -4 and k unequal?
True
Let w = -24 - -13. Let a = 74 - 66. Let v = a + w. Is -0.1 at most v?
False
Suppose 3 = 3*p - 3. Let j be 4/3 + 2/(-6). Which is greater: j or p?
p
Let a = -1960 + 370442/189. Let h = a - -937/756. Let s = 0 - -2. Which is bigger: h or s?
s
Let a = 0.2 + -0.6. Let y = 244.9 - 229. Let b = y - 16. Which is smaller: a or b?
a
Let t be 43/(-57)*(-1)/(-2). Let b = t + 4/19. Let h be -1 + -2*(2 + -3). Is h bigger than b?
True
Let b = -0.083 - 0.003. Are b and 0 nonequal?
True
Let k = -0.56 + 0.62. Which is bigger: k or -0.2?
k
Let r be (1 - -2)*(-2)/3. Which is greater: -4/7 or r?
-4/7
Let i(w) = 3*w + 6. Let l be i(-5). Let z be ((-2)/16)/(l/12). Are -0.1 and z nonequal?
True
Let j(x) = x**2 + 9*x + 9. Let d be j(-8). Which is smaller: 2/7 or d?
2/7
Let m(d) = -d**3 - 2. Let h be m(0). Let i(n) = 16*n**2 - 3*n - 1. Let p be i(h). Let l = p + -143/2. Is l equal to 0.1?
False
Let g = 921 - 4579/5. Is 4 greater than g?
False
Suppose 0 = 3*f - 7*f + 32. Let u = -0.3 - -0.2. Is f <= u?
False
Let h = 9 + -14. Suppose a - 7 + 3 = 0. Let x = h + a. Which is smaller: x or -2?
-2
Let d(j) = -2*j**2 + 13*j - 10. Let v be d(7). Which is smaller: -16 o