l to b?
True
Let x be (-57)/39*(-21)/21. Which is smaller: x or 0?
0
Let a = 5.3 - 6. Let n = a - -1.1. Let w = -0.8 + n. Does w = -2?
False
Let k = 14734439/187 - 78794. Let s = 15/17 - k. Which is smaller: 0 or s?
0
Let j be 5*(-12)/10 - -15. Which is bigger: j or -1?
j
Let l be (-6450)/4851 + 12/9. Is 0 at least as big as l?
False
Let o be (8/12 + 4)/(4/(-30)). Let y be (-1)/5 + 93/o + 3. Which is bigger: y or -2/9?
y
Let a be ((-3)/(-4))/(2/(-8)). Let n = -3 - a. Let m = -6/125 - -304/1125. Is n < m?
True
Let k = 134 - -6. Let u be (-1 - 3/(-4))*(-784)/k. Is u < 2?
True
Let j = 0.361 + -16.361. Are -3/11 and j unequal?
True
Suppose -3*x - 3 = 0, 0 = -4*j + x - 5*x + 80. Let u = 9 + 23. Let z = u - j. Which is smaller: z or 9?
9
Let f be (510/(-50))/17*(-275)/4. Which is smaller: f or 41?
41
Suppose -9 = -3*w, 2*h + 8*w = 10*w + 38. Which is bigger: 3 or h?
h
Suppose -b = -1 - 0. Let w be (-196)/1105 + (-126)/(-819). Which is smaller: b or w?
w
Let j(v) = v**3 - 20*v**2 - v + 22. Let l be j(20). Suppose -l*f + 3*f + 6 = 0. Which is smaller: f or 1/3?
f
Suppose -101 = 5*p + 4. Let b be 6/p - (-26)/238. Let u(g) = -9*g - 45. Let d be u(-5). Which is bigger: d or b?
d
Let g = -680/1603 + -1/229. Which is smaller: 40 or g?
g
Let u = -0.09 - -0.89. Let y = -0.4 - u. Let l = y - -1.2. Are -1/2 and l unequal?
True
Let r(a) = -19*a**3 - 7*a + 7. Let x be r(1). Does x = -8?
False
Let y = 429 + -234. Is y not equal to 195?
False
Let t be 6/3 - -2 - -3. Let r be 3/6*(t - 11). Do -4/3 and r have the same value?
False
Let r be 36/(-84) + 465/7. Suppose -2*p = -4*q + 50, -r = 3*p - 3*q - 0*q. Does -17 = p?
False
Let f = -359/18 + 5/18. Let w = -52 + 31. Is f >= w?
True
Let s = 1332/7 + -190. Let b = 98 - 67. Let j = b - 30.2. Is j at most s?
False
Let m be -5 - (2 - (-693775)/320). Let v = m - -2175. Which is smaller: 1 or v?
v
Let g be 0 + -1 - (-4 - -2). Let k(y) = -y**2 + 16*y + 87. Let a be k(20). Is a >= g?
True
Let r = 332 + -885. Let t = 6088/11 + r. Which is smaller: 1 or t?
t
Let l be 0 - (-108)/8 - (-3)/6. Which is bigger: 16 or l?
16
Let u(b) = -4*b**2 - 26*b - 62. Let l be u(-6). Is 6/7 equal to l?
False
Let n(x) = 6*x**2 - 8*x - 144. Let b be n(-9). Is 413 >= b?
False
Suppose 5*t = -15, -4*u - 3*t - 4 = -19. Suppose k = -3*c - u, 5*c + 16 = c. Suppose 2*n = 2*d + 8 + 12, -5*n + 38 = -2*d. Is k equal to n?
True
Let h(y) = -2*y**3 - 3*y**2 - y - 2. Let b be h(-3). Let w = 31 - b. Does w = -2/7?
False
Let s = 922 - 1676. Are 1 and s unequal?
True
Let w be (-2 - 0)*2/(-2). Let v be 5 + 6/(w + -4). Suppose v*k - 9 + 3 = 0, -5*k + 5 = -5*a. Do a and 2 have different values?
False
Let l be ((-162)/(-5400))/((-51)/8). Which is smaller: l or 1?
l
Let t(y) = -13*y + 40. Let p be t(15). Is -153 != p?
True
Suppose 0*f - 188 = -4*f. Suppose 0 = -3*d - y + 2*y - f, 4*y = 4*d + 60. Let x = 12 + d. Are -4 and x non-equal?
False
Let n(q) = -q**2 - 6*q - 10. Suppose 31 + 5 = 2*m. Suppose -5*x - t = m, -4*t = -4*x - 8 - 16. Let z be n(x). Which is smaller: z or -4?
-4
Let i be -54*1*(-4)/12. Suppose i = -b - 4*v, -b - 23 - 19 = -2*v. Do b and -36 have the same value?
False
Let a = -5 - -4.54. Let g = -66 + 66.26. Let n = a + g. Which is greater: 2 or n?
2
Suppose s - 2 - 4 = 0. Let a be s/9 - 258/9. Which is bigger: 0.1 or a?
0.1
Let z = 81 + -79. Is z bigger than -5?
True
Suppose -3 = -22*j + 19. Which is smaller: -3/7 or j?
-3/7
Let w(q) = 3*q**3 - q**2 - q - 5. Let z(j) = j**3 + j**2 + j - 1. Let p = 21 + -22. Let y(n) = p*w(n) + 2*z(n). Let m be y(4). Is 2/57 at least as big as m?
True
Let w be (2/(-1))/(-2)*-34. Let b(v) = -v**3 + 10*v**2 - 17*v - 27. Let x be b(8). Which is smaller: w or x?
x
Let z be ((-15)/(-6) - 2) + 3312/(-5984). Which is bigger: z or -1?
z
Let o be (14/(-30))/(1/81). Let u = -333 + 295. Let z = u - o. Which is bigger: -2 or z?
z
Let f(r) = 2*r**2 - 9*r - 3. Let b be -8*5*6/60. Let x be f(b). Is -1 <= x?
True
Suppose 4*l = -4*j - j - 11, -9 = 3*j + 3*l. Let b = -6 - -7. Are b and j equal?
True
Let d = 15 + -4. Suppose -131 = 4*t - d. Suppose -4*f - 17 - 99 = 0. Is f less than or equal to t?
False
Suppose n - 4*l = 14, 3*n + 10*l + 18 = 7*l. Which is greater: 44 or n?
44
Let b = 0.022 + 0.918. Let m = b - 1.04. Which is bigger: m or 48?
48
Suppose -4*j + 9 = -27. Let o(r) = -2*r + 13. Let v be o(j). Is v < -2?
True
Let d be (-24)/(-10) - (6 - 5). Let x be (0 - (-3 + 0)) + -1. Suppose -x = -5*h + 3. Is d equal to h?
False
Let z be -8 + (6 - (-253)/132). Let h(g) = -g + 7. Let k be h(7). Which is bigger: k or z?
k
Let f = 11.12 - 0.12. Let w = 9 - f. Is 0.08 <= w?
False
Suppose l = 66*l - 130. Which is greater: l or 19/15?
l
Let f be (-104)/220 - 72/(-60). Which is smaller: f or 0?
0
Let i be 2/3 - 14/(-6). Let n be (-54)/(-12) - 2/4. Suppose 0 = 3*w - 5*d + n, 0 = 3*w - 6*d + 7*d - 8. Is i != w?
True
Suppose -4*d + 0 + 10 = -3*f, -26 = -3*f - 5*d. Suppose f*p + 5*m + 10 = 3, 3*p + 5*m + 13 = 0. Let n = p + 10. Is 4 smaller than n?
False
Let h = 147/2 - 977/14. Let i = h - 4. Which is smaller: -1 or i?
-1
Let r = 1324 - 1333. Which is smaller: -2/25 or r?
r
Let j = 31.5 + -31.5364. Is -2/3 >= j?
False
Suppose -5*l = 5*q + 1165, -4*q - 486 = -2*q - 2*l. Let a = q + 353. Is a >= 116?
False
Let d be (-891)/(-1215) + ((-12)/(-15))/(-2). Which is greater: -20/117 or d?
d
Let g = 4 - 8. Let q be (1 - 2) + (g - -40). Let p be q/(-84) - (-2)/(-8). Which is smaller: 1/3 or p?
p
Let y = 34 + -23. Let u = y - 13. Let v = 0.26 + -0.3. Which is smaller: v or u?
u
Let t = -290 + 284. Which is smaller: -0.11 or t?
t
Let c be (0 - -3) + (2 - (-2120)/(-408)). Which is smaller: 0 or c?
c
Let p = -0.2284 + 0.0284. Which is bigger: p or 0.45?
0.45
Let b = -2.49 - -2.29. Is -37 less than b?
True
Let k = -28 - -30. Suppose 2*g - 3*g + 3 = 4*q, k*g - 3*q = -5. Is g < 1/18?
True
Suppose -23*s - 911 = -3947. Is s greater than 130?
True
Let u be 8792/(-80) + 4/(-8). Is -1/2 != u?
True
Let v = -99.3 - -100.14. Which is greater: 0.2 or v?
v
Suppose 37*n - 17*n - 2080 = 0. Is 103 <= n?
True
Let c = -8840 - -26237/3. Let i = c + 94. Is 11 less than or equal to i?
False
Let z be (-41)/5 + (84/(-6))/(-70). Which is smaller: z or -20?
-20
Suppose 16*h = 12*h. Suppose 5*x - 2*m - 7 - 2 = h, -2*m - 4 = 0. Let q be ((-4)/336*3)/x. Does 1 = q?
False
Let g = 18 - 21. Let p = 1 - 1. Let z = g - p. Is -3 < z?
False
Suppose -5*z = v - 10, 3*v + 14 = -2*z - v. Let j(n) = -7*n + 8. Let t be j(z). Let o(k) = -13*k**2 - k. Let f be o(1). Is f less than t?
True
Let n be (28/21)/((-2)/(-36)). Suppose 0 = -5*a - 1 - n, 3*a + 27 = -2*g. Let q be (g/(-8))/(3/(-2)). Which is smaller: -1 or q?
-1
Suppose -101 = -6*h - 281. Let t be (-20)/h + 2/6. Are -5 and t non-equal?
True
Let i = 2.3 + -0.3. Let r = 25 + -25.19. Let h = r + -0.01. Which is smaller: i or h?
h
Let h = 164.3 - 164. Which is bigger: h or 1.3?
1.3
Suppose 30 = 5*u - 0*u. Let z = -21 - -11. Let c be u/z*(-3 + 2). Which is bigger: 0.1 or c?
c
Let n = -3/7 - 1/14. Suppose -20*d = -21*d. Which is greater: d or n?
d
Let v = 229.3 + -228. Is -9 equal to v?
False
Let p = -797/16422 - -3/322. Do -4/7 and p have the same value?
False
Let m = 40/99 + -4/99. Let s(d) = 3*d**3 - d**2 + d. Let a be s(1). Suppose -t - 3*t = a*o - 19, -4*t - o = -9. Which is smaller: t or m?
m
Let k(a) = a**3 + 6*a**2 + 5*a - 4. Let l be k(-4). Let q = 222 - 216. Which is smaller: q or l?
q
Suppose -2*r = -0*r + 8. Let y be (r/(-2))/(-8 - -1). Which is bigger: y or 0?
0
Let d(s) = -8*s**2 - s + 4. Let c be d(-3). Let o = 73 + c. Is o != 6?
True
Suppose 3*c = 74 - 35. Is 9 greater than c?
False
Let x be 5/3 + (-60)/(-18) + -4. Which is greater: x or 18/377?
x
Suppose -u + 2*m = 2*u + 32, -3*m - 4 = 2*u. Is u smaller than -7?
True
Let b = 7 - 3. Let k = 1643 - 1644. Is b less than or equal to k?
False
Let k = -8 - -17. Let v = -24 + 14. Let p = v + k. Is 0 less than or equal to p?
False
Let q be 2/(-9) - 2425/2250. Let u = q + 201/170. Suppose 0 = o + o. Do u and o have the same value?
False
Suppose -5*d = -12*d - 21. Let m = -18 - d. Are -15 and m nonequal?
False
Let f be (10/(-85))/((-4)/34). Let v = 862090/7 - 123594. Let c = v - -440. Is c <= f?
False
Let a be (-10)/(-3)*30/(-4). Let r = a - -17. Let c be (-3)/(-5) - 576/60. Is r > c?
True
Let d(l