hich is smaller: 0.02 or l?
0.02
Let k = -39321 - -26794. Is -12526 at most as big as k?
False
Let a be (-3690)/(-1840) + -11 - -9. Let y = 0 + 1. Is y <= a?
False
Let t = -704 - -705. Let p = 1710 - 925108/541. Which is smaller: t or p?
p
Suppose -2*l - 4 = m, -3*m = -3*l + 7 + 5. Suppose 0 = -1153*n + 1164*n + 33. Is l != n?
True
Suppose -d + 2*b = -6, 0 = 4*d - 0*d - 4*b - 20. Let x be 2/(-8) - (-129)/d. Let k(c) = -716*c + 58028. Let q be k(81). Is x smaller than q?
False
Suppose 11*p = -10 + 43. Suppose p*q - 25 = -d, -2*d + 38 + 3 = 5*q. Let k be (-12)/(-3 - -5)*(-12)/q. Is 1 smaller than k?
True
Let s be 4/(4/845) + 32/(-8). Let a = -72429371/86087 - -616/2777. Let o = s + a. Which is smaller: o or 1?
o
Suppose -u + 0*z - 4*z = 45, 2*z - 2 = 0. Let w = u - -57. Suppose 0 = w*i - 13*i + 85. Is i at most as big as 17?
True
Let g be ((11/22)/(18/(-12)))/(1076/(-132)). Is g smaller than 0?
False
Let q be -5 - (274/18 + 206/(-927)). Which is smaller: q or 15?
q
Let f(m) = -20*m + 143. Let j(d) = -7*d + 47. Let c(q) = 2*f(q) - 7*j(q). Let l be c(4). Is l smaller than 0?
True
Let i(y) = 2601*y + 130. Let s be i(2). Which is greater: s or 5333?
5333
Let q be 9995/(264/176 - (-1)/(-1 + -1)). Is 9994 smaller than q?
True
Suppose 8*x - 3882 - 958 = 0. Let d = x + -605. Is d bigger than -1/222?
True
Suppose -4*k + 182 = 3*h, -13 = -h - k + 49. Suppose -h = -11*i - 11. Do 4 and i have different values?
True
Let c(p) = p**3 - 5*p**2 - 13*p + 17. Let k be c(10). Let t be -6 - k/(-24) - -5. Which is greater: t or 14?
t
Let g(o) = -19*o. Let w be g(-1). Suppose -4*z + 4 = 0, 0 = 3*t - 5*t + 5*z - 69. Let v be ((-42)/18)/(4/t). Which is greater: w or v?
w
Let s(d) = 394*d - 647. Let m be s(2). Which is greater: 139 or m?
m
Let m be ((-198)/(-5))/(-2 - (-336)/180). Let q be 6 - ((-2090)/(-333) + 66/m). Let b(r) = r**3 + r**2 + r. Let o be b(-1). Which is bigger: q or o?
q
Let j(g) = g**2 - 79*g + 805. Let h be j(69). Is 138 greater than h?
True
Let i = 0.81 - 0.23. Let t = 1.64 - 1. Let c = i - t. Which is smaller: c or 3?
c
Suppose -5*z = -3*b - 280, 4*b + 135 = 3*z - 22. Let w = 29885 - 29826. Do z and w have the same value?
True
Let r = -9209 + 9208. Which is smaller: r or 2/8845?
r
Let y be ((-21)/6 + 6)*-2 + 1777. Is y less than or equal to 1772?
True
Let l be 2/(-2)*(-4 - 2). Suppose 0 = -3*w + 3*c - l, 4*w + 5*c = -w. Let g(z) = -2*z - 4. Let o be g(w). Is o greater than -4?
True
Let l = 22.199 - 3.199. Which is bigger: -3 or l?
l
Suppose 34 = -4*o - 5*j - 5, 2*o = -3*j - 21. Let b be 4/1 + -52 + o. Let y = b + 31. Is -23 greater than y?
False
Let a be (-315009)/51*4/6. Let n = a + 4116. Is -1 >= n?
True
Suppose 144*k + 7823 = 10621 + 17218. Suppose 108 + 30 = z. Is k > z?
True
Let h = -1333 + 1333.08. Which is smaller: h or -0.7?
-0.7
Let c = 151 - 100. Let j = 80 - c. Which is smaller: j or 2/3?
2/3
Let b(w) = -7*w**3 - 25*w**2 - 11*w - 148. Let m(v) = -20*v**3 - 76*v**2 - 32*v - 445. Let s(p) = 17*b(p) - 6*m(p). Let y be s(-31). Is 4 greater than y?
True
Let i = 1.9614 - 1.98. Let z = i - 23.2814. Are z and 2/3 nonequal?
True
Let i = -426 - -394.6. Which is greater: i or -2?
-2
Let b = 147.928 + 0.072. Let t = 88 - b. Let s = t - -36. Which is bigger: s or 1?
1
Let b = 35 - 65. Let m = 24.6 + b. Let v = m - -5.3. Is v at least as big as -4?
True
Suppose 153*u + 891416 + 269803 = -36924. Which is smaller: u or -7832?
-7832
Let h = 35392/552885 + -38/615. Suppose -73*f + 50*f = 0. Which is greater: h or f?
h
Let a be 6/(-4) + 4554/36 - 0. Suppose -227 = -8*s + a. Is s less than 42?
False
Suppose 19 - 82 = 3*l. Suppose 2*z - t - 7 = -z, 2*z + 5*t + 1 = 0. Suppose -z*c - n - 37 = 0, 4*c + 3*n + 59 = -2*n. Does c = l?
True
Let q(h) = h**3 + 17*h**2 - h + 14. Let b be q(-17). Let p(o) = -o**2 - 7*o + 1. Let a be p(-2). Let m be (21 - a)*3*1. Is m less than b?
True
Let c(l) = l**3 + 7*l**2 + 14*l + 27. Let j be c(-5). Suppose 5*h - j = -37. Let s(o) = o**3 + 7*o**2 - 9*o - 1. Let z be s(-8). Is z less than h?
False
Let h = 3251 + -3253. Is -105/82 less than or equal to h?
False
Let g be (-120)/(-185) - 4/6. Let v be (2 + 117/(-18))*(-2)/(-3). Let h be ((-7 + 7)/v)/(-1). Is h greater than or equal to g?
True
Let c be (-4)/(-8)*8 - 24/2. Let o = -251669/31960 - 2/3995. Which is smaller: c or o?
c
Let h = -3784.1236 + 0.1236. Which is smaller: 0 or h?
h
Let f be (3 - 2) + 1 + -32. Suppose -2*v = -3*t + 19, 2*t - 7*v = -6*v + 11. Let a be t + -26 - (-7)/((-21)/18). Is f bigger than a?
False
Let g = -0.172 + 478.172. Let t = g - 477.9. Which is greater: 380 or t?
380
Let s(y) = y**3 - 8*y**2 + 5*y - 41. Let r be s(8). Is r != -2/3947?
True
Let r(o) = -o**3 - 17*o**2 - 2*o - 32. Let i(n) = n**3 + 7*n**2 - 8*n - 17. Let u be i(-8). Let w be r(u). Is -9 >= w?
False
Let u be (-3)/((-15)/(-25)) - -14. Suppose u*m - 8*m = 16. Suppose w + 9 = -0*w - 2*t, -4*w - m = 3*t. Which is smaller: w or 4?
w
Let v be ((-9*2)/(-2))/3. Suppose g - 15 = -5*y, -5*y + v + 12 = 2*g. Which is smaller: y or -2/7?
-2/7
Let z = -1158 + 1166. Is 147 != z?
True
Let o = 0.7812 - 2.7812. Is o >= 3377?
False
Let a = 434 - 5630/13. Let o be ((-3)/(-9)*3)/(-1). Let w be 2 + 1 + 0 + o. Is w equal to a?
False
Let c be (-30)/((-5)/1) + -167. Let z = -216 - -54. Are z and c equal?
False
Let x = 379/37 - -37066/185. Let f = 213 - x. Which is smaller: f or 1?
1
Suppose 0 = -0*x - 3*x - 3. Let u be (-35)/(-20)*(4/(-70) - 24/315). Is u <= x?
False
Suppose 32*l + 63 = -q + 28*l, 4*q + 5*l + 263 = 0. Suppose 12 = -3*r, 2*b - 24 = -3*b + r. Is q bigger than b?
False
Suppose -5*u - 63*f + 62*f - 4559 = 0, -u - 4*f = 927. Are -904 and u nonequal?
True
Let d be (-2)/(((-72)/(-1764))/((-15)/7)). Which is smaller: 425/4 or d?
d
Let j be (9/(-525))/(-15 - 0 - 24/4). Which is smaller: j or 1?
j
Suppose -5*j - r = 2*r - 43, -4*j = 5*r - 24. Suppose 2 = -a + j. Suppose -4*h = i + a, -2*h = h - 3*i + 3. Which is bigger: -3 or h?
h
Suppose -17*p - 1 = -t - 15*p, -3*p - 3 = 0. Does 38/881 = t?
False
Let o be (29/(-58))/(15/12). Which is smaller: o or 3030?
o
Let v be (-4 + 26/6)*30. Let u(b) = -b**2 + 10*b + 8. Let i be u(v). Suppose -i = -0*x - x. Are 33/5 and x nonequal?
True
Let y(z) be the second derivative of 0 + 6*z + 1/6*z**3 + 3/2*z**2. Let w be y(-4). Is -12/7 at most as big as w?
True
Suppose 0*t - 4*t = 64. Let f(r) = -r**2 - 18*r - 28. Let p be f(t). Suppose 3*x - 7 + p = 0. Which is smaller: x or 20/9?
x
Let n = 5.077 + -5.077. Is -1166 not equal to n?
True
Let n = -356.9642 - 0.0358. Let h = n + 359.31. Are 1/4 and h non-equal?
True
Let a = -5225 + 5201. Is a greater than or equal to -42?
True
Suppose 0 = -37*j - 74 + 37. Are -5 and j unequal?
True
Let f be ((15 + -9)/(-12))/((-2)/16). Suppose -f*j = -224 - 192. Which is bigger: j or 107?
107
Let w = 77963 - 185941759/2385. Is w <= 1?
True
Suppose -3*l - 2*l = 0, 3*p + 3*l = 0. Suppose 5*a - a = p. Let c be (5 - (1 - -5))*(146/(-74) - -2). Are c and a nonequal?
True
Let q = -2335 - -2442. Is q less than 542/5?
True
Suppose -19*c = -262 + 243. Is 1/2189 greater than or equal to c?
False
Let j be 1260/14*(-6)/10. Let n = -45 - j. Suppose 2*a = -x + 6*a + 6, 5*a = -4*x + 45. Which is smaller: n or x?
n
Let d = -8742 - -8742. Is 7/831 != d?
True
Let x be 9219/1351 - 126/18. Which is smaller: x or -1?
-1
Suppose -3*m = 4*f + 20, 0 = 5*m + 4*f + 20. Let n be ((-3)/1)/(343/(-7)). Which is greater: m or n?
n
Let w(c) = c**2 + 6*c + 5. Let h be w(-7). Let l(a) = -12*a + 143. Let p be l(h). Which is smaller: p or 104?
p
Let w be (-2)/(-5) + (-183)/9. Let o = w - -1187/45. Let s = o + -7. Which is bigger: s or -2?
s
Let m be 48/21 - 2 - (-5 - 853493/(-161469)). Which is smaller: m or 0?
m
Let l = -46 - -17. Let a = -19 - l. Suppose a*h = -2 + 2. Which is smaller: h or -3/16?
-3/16
Let y(q) = -36*q + 9. Let z be y(3). Let j = z - -106. Suppose -j = 4*d - 3*u, -4*u + 7 + 7 = -3*d. Is d <= 11/7?
False
Let w = 6200.0142 + -6200. Is 0.1 smaller than w?
False
Let r = 0.983 + -17.983. Which is smaller: 10/17 or r?
r
Let y = -5 + 5.2. Let g = -3.036 + 2.908. Let v = y + g. Is v at most 0.1?
True
Let k(t) = t**3 - 6*t**2 + 4*t - 4. Let r be k(5). Suppose -1100 = -18*d - 7*d. Suppose 12*g = d*g + 288. Is g > r?
False
Suppose 46*u = 48*u + 2*f - 106, -3*f - 289 = -5*