ich is smaller: z or -2?
-2
Let d = 2 - 1. Let r = -18075/800377 + 1/8993. Are d and r non-equal?
True
Let f be (-28152)/15930 + (-5)/(-3). Let h be (-8)/(-2)*(-1)/(-118). Let b = h + f. Which is greater: b or 0?
0
Suppose 2*x + 2*s - 6 = 0, -7*x = -2*x + s - 35. Suppose 4*q + 5*m = 45, q - 7 = -2*m + x. Let v be (0 + (-8)/10)*-5. Is v greater than q?
False
Suppose 2 = -5*a - 4*y, a + 0*y = 3*y + 11. Suppose 0 = -5*w - 3*d + 6, -2*w - a*d + 3 = -1. Let j = 13.9 + -14. Which is bigger: w or j?
w
Let a = 480 - 401. Is a at least as big as 82?
False
Let k = -136 - -76. Let g = k - -60.01. Which is smaller: g or -2/3?
-2/3
Suppose 24 = 8*u + 96. Let l(c) = -c + 4. Let y be l(11). Is y smaller than u?
False
Let a = -5 + 8. Suppose -4*k - k - 41 = a*f, 3*k - 2*f = -36. Let t be (-1)/(1*k/4). Which is bigger: t or 0.13?
t
Let f = -0.14 - -0.08. Let r(i) = 196*i + 976. Let s be r(-5). Is f at least as big as s?
True
Let m be (95/10)/((-879)/(-294) - 3). Let w = 4627/5 + m. Which is bigger: w or 2?
2
Suppose 5*q = -37 - 33. Let w be (-2)/5*(-3)/q. Let z = w - -79/105. Which is bigger: z or 0?
z
Suppose -4*u - 688 = -2*z, 3*u - 12*z + 9*z + 513 = 0. Let m = -238989/1354 - -4/677. Let t = u - m. Is 5 greater than t?
True
Let t be 0 - (3/3 + -7). Let f(v) = 2*v**2 + 5 - t*v**2 + 5*v + 3*v**2 - 10*v. Let s be f(-6). Is s greater than or equal to -4/11?
False
Let o(q) = q**2 + 5*q + 4. Let i be o(-4). Let d be (-19)/(-6954)*((4 - -2) + -2). Are i and d equal?
False
Let y be ((-32)/144)/(39/9). Are -0.06 and y non-equal?
True
Let a = 197 - 198. Which is smaller: -18/35 or a?
a
Let u be 6*-1*14/980. Suppose 0*d - d = -2*v + 9, d = 4*v - 17. Which is smaller: d or u?
d
Let h = -20 - -19. Let d = 7 + -8. Are d and h non-equal?
False
Suppose -3*p - 5*f - 146 = 0, 7*p - 3*p = -4*f - 208. Is p <= -54?
True
Let o be 147/6958*(-4)/3. Let d(f) = -f. Let a be d(0). Which is smaller: a or o?
o
Let l = -1060 - -90101/85. Suppose -3 - 8 = -11*u. Is u smaller than l?
False
Let z(l) = l + 8. Let t be z(-6). Let f be (-2)/(t/(-6) - -1). Let n = f - -8. Which is smaller: 7 or n?
n
Suppose 0 = -50*t + 39884 + 42616. Which is bigger: t or 1649?
t
Suppose -5*u = 3*s + 614, u + 14 + 98 = 3*s. Which is greater: u or -120?
-120
Let o(i) = 2*i**2 - 46*i - 5. Suppose -9*a + 35 = -172. Let p be o(a). Is -4 at least p?
True
Let q(j) = -8*j + 2. Let d be q(2). Let o be (-4)/(-32) + 1358/(-112). Is d at most o?
True
Let x = -3066.01 + 3066. Which is bigger: 55 or x?
55
Let y = -21 - -37. Let x = 12 - y. Let m be (-19)/7 + 4/(-14). Are m and x equal?
False
Let w(x) = 2*x**2 + 3*x - 4. Let b be w(-3). Let c be ((-6312)/(-15))/4 + -5. Let v = c + -100. Which is greater: b or v?
b
Let l(y) = -y**3 + 7*y**2 - 29*y + 130. Let f be l(6). Is -50 bigger than f?
False
Let v = -32.91 - -34. Let x = -2.09 + v. Are 0.14 and x equal?
False
Suppose -54 + 41 = 13*b. Which is smaller: 3/545 or b?
b
Let a be (2 + (-351)/(-12))*8 - -3. Is a less than 254?
True
Let y = 27 - 18. Let i be 21/(-14)*30/(-9). Suppose 0 = 5*o - z - 49, o + 3*z = 2*z + i. Are o and y nonequal?
False
Let k = 1050 + -738. Let i be 4/6*k/(-16). Let f = 27 - 39. Which is bigger: i or f?
f
Let a = -28 - -10. Let w = -18 - a. Let u be (-14)/(-18) - (-1 + 2). Is u less than or equal to w?
True
Let r be (-10)/(-4)*4*4/(-20). Let t be ((-20)/8 - -5) + r. Which is greater: 1/4 or t?
t
Let u = -461 + 416. Is -13 at most as big as u?
False
Suppose 0 = -11*s + 8*s + 15. Suppose s*t + 4*x + 8 = -0*t, -4*x = 4*t + 8. Which is smaller: -7/9 or t?
-7/9
Suppose 22*q = 18*q + 740. Is 1/3 <= q?
True
Let z = -13/12540 + -2/165. Is z at most as big as 1?
True
Suppose 0 = -3*r + l + 52, r - 16 - 6 = 5*l. Let x = -25 + r. Is -22/3 bigger than x?
True
Let y = -1017 + 1019. Which is greater: -23/3 or y?
y
Let a = -1488 + 1496. Suppose w = -w - 6. Which is smaller: a or w?
w
Suppose -2*j = -4*j - 3*c + 18, -2*j + 3*c = 6. Is 31/9 greater than j?
True
Let n = 297147/187 - 1589. Which is smaller: 0 or n?
0
Let w = -22 - -18. Let a be (-1 - 2/w)*2. Which is bigger: 1/40 or a?
1/40
Let b be 6 + (-1 - (-6)/2). Let j be (6/b)/((-16)/96). Which is bigger: j or -4?
-4
Let n be (1 + 1)*(-105)/140. Which is smaller: n or -3?
-3
Suppose -4*g + 30 = 2*i, -i - 3*g = 4*i - 54. Let j = -4 + 13. Does j = i?
True
Suppose 389 = 3*v + 2*f, -2*v - 8*f = -5*f - 261. Let k = v + -1679/13. Let u(m) = -m - 5. Let r be u(-4). Which is smaller: k or r?
r
Suppose -4*u + 2 = -2. Suppose 0 = -5*k - 2*j + 15, j + 4 = -u. Suppose -k*f = -2*f. Which is greater: -2/25 or f?
f
Suppose 7*i - 4*i = 0. Let w = i + 3. Let f(j) = -j**2 + 5*j - 2. Let o be f(4). Which is bigger: w or o?
w
Let f(o) = -3*o - 36. Let k be f(-12). Let a be (1/(-3))/(20/(-8)*-1). Which is smaller: a or k?
a
Let s(i) = -i**2 - 24*i + 43. Let r be s(-11). Is r >= 184?
True
Let s be -4 - 216/(-6)*(-5)/(-50). Is 0.191 at most as big as s?
False
Suppose 17 = -3*v + 4*d, 4*v - d = d - 6. Which is smaller: -1.1 or v?
-1.1
Suppose 7*y = -47 - 51. Let k(p) = p**2 + 12*p - 17. Let i be k(y). Which is bigger: i or 12?
12
Let q(t) = -t**2 - 5*t - 2. Let l be q(-5). Let o be -2 + l + 34/9. Which is smaller: -1 or o?
-1
Let i = -881 + 7945/9. Does 0.1 = i?
False
Suppose -2*x = -5*x - 243. Let p be (-4)/18 - (-630)/x. Let g be 15*p/(-63) + -2. Which is bigger: 0 or g?
0
Let u(q) = -q**2 - 4*q + 4. Let b(n) = -n**2 - 4*n + 8. Let p be b(-6). Let o be u(p). Let r = 5171/5 + -1031. Which is greater: r or o?
o
Suppose 0 = -j + 5, -2*s = 2*j + 42 + 6. Suppose 5*w - 2218 = -2363. Do w and s have the same value?
True
Suppose -7*z + 4*z = 0, 0 = v + 2*z + 3. Which is bigger: -2 or v?
-2
Let w = -0.16 - 9.84. Let b = 0.306 - -9.394. Let p = w + b. Is p smaller than -2?
False
Let b be 7/21 + (-8065)/3. Let p = -801025/298 - b. Let k = 583/3874 - p. Which is smaller: -1 or k?
-1
Let c = 1321 + -1325. Are 0.167 and c equal?
False
Suppose 26*u + u = -54. Which is bigger: -24 or u?
u
Suppose -1002 - 51 = -3*i. Which is smaller: 349 or i?
349
Let l = 2.3 - 5.3. Let k = -12 + 14. Is k greater than or equal to l?
True
Let k(a) = -2*a**2 - 21*a - 8. Let c be k(-10). Let m = 295/2 - 2639/18. Are m and c unequal?
True
Let d(o) = -98*o - 52. Let r be d(-4). Is r >= 342?
False
Let a(y) = -y**3 - 4*y**2 - 4*y + 3. Let x(o) = -o**2 - 1. Let c(r) = a(r) + 3*x(r). Let p be c(-5). Which is greater: -31 or p?
p
Let z be (3 + 15)*(-4)/6. Let f = 12 + z. Suppose f = -4*t + t. Is 0 at most t?
True
Suppose 12*i = 47 + 13. Let h be (19/15 + -1)/(8/140). Is i <= h?
False
Let t be ((-75)/21 + 1)*-7. Suppose -222 - t = 3*c. Let n be (-4)/3*45/c. Which is smaller: 2 or n?
n
Let r(x) = x - 10*x + x**3 + 4*x**2 - 2*x + 1. Let n be r(-6). Is n > 0?
False
Let k(u) = -u - 5. Let f be k(-5). Suppose f = 4*d - 3*d. Let x be -5 - -5 - (-14)/49. Which is bigger: x or d?
x
Let x = 458/23 + -20. Let c be (-4)/(-4) - (0 - -2). Is c < x?
True
Suppose 5*y + 5*y = 430. Suppose 5*q - x - y = 155, -2*q = -2*x - 84. Which is bigger: 38 or q?
q
Let i = 55969/420 + 57/140. Is i at most 133?
False
Let y = 122 - 122. Which is bigger: y or -78?
y
Let k = 20 + -52. Let f = 38 + k. Let u = f - 6.1. Is 2.6 < u?
False
Let n be 4 + (-5 + 2)/3. Suppose 0*t = -n*t + 3. Let i be 105/759 - 40/220. Does i = t?
False
Let p be 0 + 1 + 72/9. Suppose -p + 3 = -2*t. Let q be -7 + (5/1 - t). Which is smaller: q or -3?
q
Let t = 1 - 0.8. Let a be ((-133)/(-38))/((-14)/(-16)). Which is greater: t or a?
a
Suppose -5*p + 8*x = 10*x - 1577, -3*p - 3*x + 948 = 0. Which is greater: p or 313?
p
Suppose -3876 = 5*f - 3*y, 5*f - 2*y + 3870 = 3*y. Let o be (-158)/(-8)*12/f. Let x = o + 6/37. Which is smaller: x or -1?
-1
Let p be -3 + 5 - (0 + -1). Suppose 5*s - p*s + 8 = v, 0 = 5*v + 2*s - 40. Let b be v*(-2)/(-36)*-1. Is 0 less than b?
False
Let a(l) be the first derivative of -l**4/4 - 17*l**3/3 - 8*l**2 - l + 23. Let d be a(-16). Is d smaller than 1/8?
True
Let p = -2.3 - -4. Let x = p - 1.7. Are x and 11 unequal?
True
Let r = -18 - -40. Let x = -5027 - -5026. Which is smaller: r or x?
x
Let m be (3/(-26))/((-18)/(-168)). Is m > -2?
True
Let i = -46 + 17. Let r = 28 + i. Which is smaller: r or 7/6?
r
Let f = -0.912 + 2.912. Which is greater: -19.4 or f?
f
Suppose -2*b + p = -133, -5*b = -2*b - 2*p - 200. Let