et a = -12 - -11.987. Let s = -3.313 - a. Which is bigger: s or 2?
2
Suppose 2*w - 46 = -2*t, 5*w + 3*t = 6*t + 83. Suppose -4*o - w = -3*h, -2 = -o - 0. Suppose -m - 3*m = 2*k - 40, m - 3*k - 3 = 0. Is h > m?
False
Let u = 35 - 31. Let r = 0 - 0.2. Let c = r + 0. Is u at most as big as c?
False
Let h be 3216/(-1610) - (-5 + 1) - 2. Which is smaller: h or 1?
h
Suppose -138*n + 325 = -151*n. Which is bigger: 1 or n?
1
Let t = 924.3 - 878. Let d = -46 + t. Which is greater: -7/6 or d?
d
Suppose -4*s + 10*g + 879 = 11*g, -g - 447 = -2*s. Is s <= 4?
False
Let s(r) = r**2 - 5*r + 4. Let t = 11 + -7. Let g be s(t). Which is smaller: g or 3/14?
g
Let b be (0 + 12/(-18))/(4/78). Suppose -c = 3*c - 204. Suppose -4*j - 1 = c. Is b < j?
False
Let x = -6 + 3. Let n = x + -2. Let y = -5 - n. Which is smaller: -0.01 or y?
-0.01
Suppose 2*c = 5*c - 39. Let y = -12 + 22. Which is greater: y or c?
c
Suppose -624 - 627 = 139*f. Suppose 4*z + 28 = -2*n, -8*n + 7 = z - 4*n. Is z at most as big as f?
True
Let m = 35369807852471/1804442438560 - -3/273607648. Let p = m + -2/1319. Are p and 0.1 nonequal?
True
Let m(i) = i - 364. Let o be m(74). Which is smaller: o or -288?
o
Let g be 77/539 + (-15)/7. Which is bigger: g or -54/29?
-54/29
Let n = -364 + 115387/317. Which is greater: -1 or n?
n
Let v = -2805 + 2771. Is v smaller than 0?
True
Let z(s) = 3 - 3 - 2 - s. Suppose m + 5 = -4*f + 18, 3*m = f - 13. Let n be z(m). Is n at most 2?
True
Let c be (1 - -338)/(35/(-8) - -4). Is -905 less than c?
True
Suppose -63*u = -65*u + 8. Is u at most as big as 53/18?
False
Suppose 3*v + 2*c + 423 = 0, c + 727 = -5*v + 5*c. Which is bigger: -144 or v?
v
Let k be 2/(-9) - (-8260)/(-90). Let f = -92 - k. Is -1/149 greater than or equal to f?
False
Let x(r) = r**2 + 18*r + 21. Let t be x(-17). Let h = 244/3 - 78. Is h at most as big as t?
True
Let g = 40 - 103. Let t be 100/(-154) + (-18)/g. Which is smaller: 0 or t?
t
Let g = -8.0272 + 0.0272. Are -0.4 and g equal?
False
Let b(m) = m**3 + 3*m**2 - 130*m - 3. Let j be b(-13). Which is bigger: -62 or j?
j
Suppose -2*v + 2*g - 5*g + 4 = 0, 5*v - 5*g + 15 = 0. Let k = -69884/25 - -2798. Let u = -1047/425 + k. Which is smaller: v or u?
v
Let t = 24 + -70/3. Let k = 10 - 6.6. Let x = 4 - k. Do x and t have different values?
True
Let l be -11 + (-1)/(1 + 0). Let b = 92 - 105. Is l smaller than b?
False
Suppose 2*f - 4*a + 3*a - 80 = 0, -a - 194 = -5*f. Which is greater: 4 or f?
f
Let x be 2*(-8)/52*-2. Let n = 110/221 - x. Which is smaller: n or -1?
-1
Suppose -3*z + 6*z - 9 = 0. Let g(r) = r - 5. Let w be g(z). Let v be ((-374)/(-33))/(w/(-3)). Is 16 at least as big as v?
False
Let i = 350 - 350. Let u = -1033 + 92969/90. Which is smaller: u or i?
u
Suppose 5*x = -j + 114, -28*x + 2*j = -31*x + 67. Is 11 > x?
False
Let d = -104 - -104.02. Which is bigger: 0.03 or d?
0.03
Let m = 16.1 + -21. Let j = -5 - m. Let z = j + 0.1. Is z < -1/4?
False
Suppose 5*q = -w - 2 - 2, 0 = 4*q - w - 4. Let p = -64 - -65. Let r be p/2*(-1)/(-27). Is r >= q?
True
Suppose 335 = -6*t - 829. Is -193 <= t?
False
Let t = 253 - 261. Is t greater than or equal to 5?
False
Suppose 0 = 2*k - 4*p - 6, p - 1 = 5*k - 2*k. Which is greater: k or -2/419?
-2/419
Let p = 9 - 18. Let d = -4.4 - -5.4. Which is bigger: d or p?
d
Suppose -5*s = -57*k + 54*k + 1796, 4*k - s - 2406 = 0. Which is greater: k or 601?
k
Let s = 0.1 + -0.4. Let f = s - -0.1. Let o = -54 + 57. Is f < o?
True
Suppose -7*k + k = 30. Let w be (-1)/k + -3*4/10. Is -1/10 bigger than w?
True
Let s = 12.6 - -38.4. Which is smaller: s or 1/7?
1/7
Suppose 3*z = -2*z + 25. Let l(c) = c - 5. Let o be l(0). Let x(b) = -5*b - 20. Let t be x(o). Is z at least t?
True
Let g = -31 + 79. Suppose 2*h - g = -50. Are -3/110 and h non-equal?
True
Suppose 0 = -20*i + 27 - 27. Is i <= 697?
True
Suppose 4 = 4*v - 4*i, 0 = -2*v + 3*v + i + 1. Let m = 203 + -1018/5. Is v greater than or equal to m?
True
Let i = 4255/6 + -711. Which is bigger: i or -1?
-1
Let l(a) = -a**2 + 13*a + 17. Let o be l(14). Are o and 20 nonequal?
True
Let a = -1 + 1. Let k = -10.11 + 2.11. Is a at least as big as k?
True
Let h(d) = d**3 - 6*d**2 - d + 4. Let l be h(6). Let z be (-36)/15 + (0 - l). Is 0 equal to z?
False
Let m(l) = l**2 + 8*l + 6. Let x be m(-7). Let v be 10*((-105)/10)/7. Let u be (-5)/v + 44/(-114). Is u <= x?
False
Let o be 7 + (7 - 3085/215). Is 0 less than or equal to o?
False
Suppose -3*y = y - 40. Let g = 10 + -9. Suppose -t + 0*i + 10 = i, i - g = 0. Which is bigger: t or y?
y
Let q(a) be the second derivative of -11*a**3/6 + 21*a**2/2 - 6*a. Let c be q(-9). Suppose -5*t = -0*t - c. Is 0 > t?
False
Let p(f) = -12*f**2 - 2*f + 6. Let d be p(-3). Let g be (d/(-18))/((-2)/6). Are -17 and g non-equal?
True
Let u be 1 - (5/((-10)/6) + 5). Let h be (-3)/(-3) + (u - 0). Which is greater: -2/61 or h?
h
Let h be 1*((-72)/12 + (5 - -432)). Which is smaller: h or 429?
429
Let a = 5.9 + -15.6. Let v = a + 10. Which is smaller: v or 7/3?
v
Let p = -13 + 23. Suppose -t - m - 10 = 0, 4*t - 3*m = -8*m - 43. Which is smaller: t or p?
t
Let h = -4327/4 + 1082. Which is smaller: 65/4 or h?
h
Let d = 0.38 + -0.22. Let j = -0.04 - d. Let i = 0.1 - 0.12. Is j > i?
False
Suppose 4*d + 4*a + 8 = 0, 0 = 4*d - 5*d + 3*a + 10. Which is greater: 16/97 or d?
d
Let s = 10912/91 - -1126/91. Which is greater: s or 132?
s
Let o(i) = -i**3 + 12*i**2 + 13*i + 5. Let y be o(13). Let u be 222/117*-3 + y. Is u less than -2?
False
Let u = -12817 + 12809. Let a = -21 - -10. Are u and a nonequal?
True
Let z be 6/((-5 - -1)/(-2)). Let o be (-52)/(-18) + ((-178)/18 - -10). Is o > z?
False
Let p(a) = -a**3 + 5*a**2 + a - 4. Let l be p(5). Let h = -32.16 + -0.84. Let k = h + 33.1. Which is bigger: l or k?
l
Let h be -3*(-1)/2*(-10)/3. Let r be h/9*1/(10/56). Which is smaller: -3 or r?
r
Let h be (-7 + (-17)/(-2))/((-6)/(-8)). Let z be ((-10465)/(-196))/(-13) + h*2. Are z and -1 nonequal?
True
Let j = 43/3 - 131/9. Let m = -29 + 28. Are j and m non-equal?
True
Let t be (-4)/(-8)*327*(-8)/(-6). Let l = -8939/41 + t. Is l > 0?
False
Let b(r) = -r**2 + 6*r - 2. Let m be b(6). Let w be 14/(2*(m + 1)). Is w > -23/3?
True
Let c be (-4)/(16/(-7))*-4. Let h be 0 - 4 - c*1. Let l be -2 + 42/(-34) + h. Which is smaller: 0 or l?
l
Let g be (-49*14/(-105))/((-60)/9). Which is bigger: g or 0?
0
Let g = 15.059 - 0.059. Let f = g + -14.9. Let j be 4/(-6) + 3/(-36). Is j at most f?
True
Let f = -0.05636 + -0.94364. Let o be 1 + 1 - (-66)/(-34). Is o >= f?
True
Let o(h) = h**3 - 6*h**2 - 2*h - 7. Let v be o(8). Let n = v - 148. Is n not equal to -43?
False
Let w = -0.16 - 20.84. Let n = 23 + w. Let h = 0.4 - 0.2. Which is smaller: n or h?
h
Let l = -28 - -19. Let h = 14 + l. Suppose 7*v - h*v - 24 = 0. Are v and 11 nonequal?
True
Let f be (-3)/2*(2 - -44). Suppose 0 = -4*t + 5*g - 247, -t + 9 = 3*g + 92. Which is smaller: f or t?
f
Suppose 0 = -7*p - 103 + 201. Are 13 and p non-equal?
True
Let w(q) = q - 329. Let f be w(53). Is -276 at least as big as f?
True
Suppose -30 = -131*d + 116*d. Is d at least as big as -34?
True
Let q = 4547/4 - 331895/292. Is q at least 0?
True
Let p(l) = -3*l + 4. Let k = 11 + -7. Let o(m) = m - 1. Let y(j) = k*o(j) + p(j). Let f be y(7). Which is bigger: 6 or f?
f
Let p = 2050 - 2080. Which is smaller: -31 or p?
-31
Suppose -2*f = -8 - 4. Let w be (8/(-9))/(f + 1 + -1). Which is smaller: w or 1?
w
Let i = -211 + 148. Let z = i + 63. Is z greater than -4?
True
Let v be 2 + -5 + -2 + (-12)/(-3). Let t be (v - 3) + (-68)/(-16). Which is smaller: -0.04 or t?
-0.04
Suppose 17 = -3*n - 2*m, 2*n - 5*n + m - 5 = 0. Is n less than or equal to -12?
False
Suppose 2*r = -6*r + 16. Suppose 3*q = -a + 7 + 4, -5*q = -5*a + 15. Suppose -a*n = -4*n - 1. Is r <= n?
False
Let d(s) = 6*s**3 - 1. Let a be d(2). Does a = 37?
False
Suppose 3*w = -2*v - 44, 2*w + 3*v = 5*w + 39. Let k be (8/w)/((-30)/35). Is 1 at least as big as k?
True
Let z = 14 + -6. Let s = -36 - -44.5. Let n = s - z. Which is smaller: n or 2?
n
Let r = 463 + -97. Which is bigger: r or -2?
r
Suppose -130*w = -134*w + 1688. Which is smaller: 423 or w?
w
Let i(x) = x**2 - 16*x - 44. Let l(k) = -2*k**2 + 34*k + 88. Let n(s) = -5*i(s) - 2*l(s). Let t be n(15). Which is greater: t or -16/7?
t
Let i be ((-6)/(-4)