e
Let l = -1116 + 1117. Which is greater: -10/129 or l?
l
Let q = 268 + -265. Is 1/2 bigger than q?
False
Suppose -4*u - 4*z = u - 82, 24 = u - 3*z. Suppose 2*p + 5*j = 46, 3*p + p - 3*j = 66. Is p greater than or equal to u?
True
Let a = 157 + -156. Which is greater: 2/765 or a?
a
Suppose 3*u = 250 + 182. Suppose 30*w = 26*w + u. Suppose p - 4*p = w. Does -23/2 = p?
False
Suppose 2*y = 3*b - 6*b - 2, 3*b = -y - 4. Let f = -10 + 22. Let u be (-2)/8 - (-11)/f. Is u > y?
False
Let o = 2228281/132160 + -5212/413. Let s = -3/320 - o. Are s and -5 non-equal?
True
Suppose 0 = -25*x + 14*x + 66. Suppose -7*s + 819 = x*s. Is s smaller than 63?
False
Let m = -358 - -358. Does m = -2?
False
Let y = 353 - 327. Is 4 bigger than y?
False
Suppose 0 = 5*v + 25 - 5. Let z(b) = -b**3 - 4*b**2 + 1. Let i be z(v). Is i less than 3/25?
False
Let u be 20/(-14)*(-16)/5. Let g be (-1)/14*5 + (1696/(-112) - -15). Are g and u non-equal?
True
Let p be 27/6*4/6. Let b be (2/p)/((-4)/6). Suppose -4*l + 6 = -k, -24*l = -4*k - 23*l + 6. Which is greater: b or k?
k
Let h be 2668/(-16) + (-60)/(-12). Is -161 not equal to h?
True
Let f be (-4)/20 + -9 + 9. Let i = -4 + 7. Suppose -l - i = -1. Which is smaller: l or f?
l
Suppose 62*t - 69*t = 7. Let g = 0.2 - -0.8. Is g != t?
True
Let a be 14 + 284/(-20) + 347/2035. Which is smaller: 0 or a?
a
Let f be 9/18*-1 - 29/2. Is -31/2 <= f?
True
Let o = 22 + -33. Let t(n) = -n - 15. Let g be t(o). Which is smaller: 1 or g?
g
Let h = 3.22 - 3.25. Suppose -1 + 6 = 5*t. Let g be 14/24 + t/(-4). Which is smaller: h or g?
h
Suppose -4*c - 3*a = -5*a - 342, 2*c + 2*a = 186. Which is smaller: c or 90?
c
Let j be 836 + (-12)/((-12)/(-12)). Are 826 and j non-equal?
True
Let i be ((-783)/108)/(1 + 10/(-8)). Which is bigger: i or -3?
i
Let n(a) = a - 10. Let f be n(12). Suppose -f = -6*l - 2. Which is greater: -2/37 or l?
l
Let g(o) = 2*o + 2. Let l be g(8). Let j be (-3)/(-9) + (-24)/l. Is -7/3 at least as big as j?
False
Suppose -9 = -4*c - 29. Let z be 0/(((-2)/c)/((-7)/(-35))). Is z greater than or equal to 1/79?
False
Suppose -5*g = -0*g - 30. Suppose -3*y = -x - g - 0, 4*y - 5*x + 3 = 0. Which is smaller: y or 9/4?
9/4
Let s = -23881453 + 7833110753/328. Let x = -143/8 - s. Is x equal to 0?
False
Let x be (2209*1)/((-13)/2). Let n = x - -340. Let v(a) = -3*a + 12. Let h be v(4). Is n at most as big as h?
False
Let n(z) = -z**3 + 6*z**2 - 5*z. Let x be n(5). Let r = -104 - -67. Let c = r + 36. Does c = x?
False
Let l = -4/641 + 38504/7051. Let f be -1 - (-40)/16*(-4)/(-2). Which is smaller: l or f?
f
Let l = 1138.22 - 1127. Let m = 11.3 - l. Which is smaller: 0 or m?
0
Let g be (-11)/6 + 2 - 1/6. Is -1/276 not equal to g?
True
Suppose 22 = -3*b + 5*t, 3*b - 6 = -5*t + 22. Is 28/39 less than b?
True
Let l = -2.29 + 2.2. Let s = 245 - 243.942. Let h = s - 0.058. Which is smaller: h or l?
l
Let d = -2.5 - 2.5. Let s = 13 + -8. Let j = -5.1 + s. Which is smaller: d or j?
d
Let h be -1 - (-4 + -1) - 154/70. Which is smaller: h or -0.2?
-0.2
Let o(m) = m**2 - 8*m + 1. Let k be o(11). Let d = 36 - k. Suppose 2 = d*t, b + 5 = 6*t - t. Are b and -2/11 nonequal?
True
Let k be 0 + (-38)/(-1577)*(-6)/(-4). Which is greater: k or 0?
k
Suppose 3453 = -23*l - 687. Which is greater: -181 or l?
l
Let z = 13 + -12.9. Let m = 0.88 + 0.22. Let u = m - z. Is -12 smaller than u?
True
Suppose 4*z + z = 0. Suppose z = -11*n + 9*n + 32. Let b be (-4)/(-18) + n/(-72). Is -1 greater than b?
False
Suppose 4*v - 14 + 2 = 0. Suppose -2 = -0*o + o + v*d, 43 = -4*o - 5*d. Let l = 18 + o. Is l at most as big as 0?
False
Let r = 2048 + -2047. Let a = -26 + 12. Which is smaller: r or a?
a
Let j(h) = h**3 - 3*h**2 + 5. Let a be j(4). Let p = a - 42. Let b be (4/((-8)/p))/6. Is b bigger than 1?
True
Let o be (-15)/90 + (2 - 5/2). Which is greater: -8/9 or o?
o
Let o be (1/(-6))/((-7)/86). Let f = -26/7 + o. Let m = 409 + -2043/5. Which is smaller: m or f?
f
Let o be -6*87/116*2/(-5). Are -1/61 and o non-equal?
True
Let r be (6/(-10))/((-2)/10). Let y = -10 - -24. Let c(h) = -h + 17. Let v be c(y). Is v < r?
False
Let a = 1.2 + -0.2. Let w = -2.268 - 0.032. Let l = w - -2.4. Which is greater: l or a?
a
Suppose 2*a = -10, -a + 191 = -2*t - 4*a. Is -90 <= t?
True
Suppose -2*v = 5*o - 19, 2*v + 4*o - 4 = 6*v. Suppose v*b - 2*b + 3*b = 0. Let f be ((-1)/(-75))/((-8)/(-20)). Which is smaller: f or b?
b
Let i be (-2926)/(-10360) - 1/4. Let a = i + -2799/740. Which is smaller: a or -4?
-4
Let h be 2 + -5 - (1 - 22*1). Suppose -h = 2*d - 8*d. Which is greater: d or -5?
d
Suppose -3*c + 7*c - 4 = 0. Let t be 1 + c + -1 + 3. Suppose t = -5*r + 4*r. Do r and -5 have different values?
True
Let h = 37 - 9. Let t be h/(-70)*5*1. Do -4 and t have different values?
True
Let k(f) = -9*f**2 - 13*f + 9. Let y(n) = -5*n**2 - 7*n + 5. Let i(t) = -6*k(t) + 11*y(t). Let d be i(0). Let g = -19 - -13. Which is smaller: d or g?
g
Let y(d) = 22*d**2 - 12*d - 48. Let v be y(-3). Are v and 182 non-equal?
True
Suppose 9*k = 21 + 24. Suppose 0 = k*o - 20*o - 210. Which is greater: -15 or o?
o
Let y = -0.3 + 0.7. Let n = y - 0.2. Which is greater: -5 or n?
n
Let x be (-4)/74 + (-349452)/(-444). Which is smaller: x or 786?
786
Let f be (-24)/32 + (-2010)/(-56). Let x = f - 35. Let b = x + 4/21. Are 2/3 and b non-equal?
True
Suppose -89 = -5*p - x - 3*x, -2*p + 62 = -5*x. Is 20 < p?
True
Let k(x) = 8*x - 4. Let t be k(2). Suppose -2*g = 18 - t. Is -3/7 less than g?
False
Let c be 9*(-5)/((-15)/2). Suppose 0 = -0*o - c*o - 150. Is o smaller than -25?
False
Let x = 75 + -73. Suppose -4*s = -4*n + 52, -x*n + 0 = 2*s + 14. Let r = 1.2 + -0.2. Is s less than or equal to r?
True
Let d = -157/338 + 1/338. Let t = 53 - 54. Which is greater: t or d?
d
Let q be 12/(-96)*178 + 6/(-4). Which is bigger: q or -23?
-23
Let c be (-43 - -46)*(-5 + 2)/9. Is c >= -6/547?
False
Let x = -175 - -174.8. Is -4/41 less than or equal to x?
False
Let x = -3 + 2.5. Let c = x + 0.9. Which is bigger: 0.04 or c?
c
Let h be -68*(-3)/420 + 15/(-75). Let l = -0.09 - 6.91. Which is bigger: l or h?
h
Let y(q) = -11*q + 46. Let h be y(4). Do h and 29/12 have the same value?
False
Let p = 17354055/1462534 - 613139779597604/51669576298069. Let q = 3/53146 + p. Let d = 31930/29249 + q. Which is greater: d or 0?
d
Let k = 7/9 - 4/9. Suppose 5*x - 195 = 45. Let a be (1 - 2)/((-6)/x). Is a < k?
False
Let g(a) = 3*a - 5. Suppose -b = 2*d - 7, -3 = -6*d + 5*d. Let z be g(b). Is -1 greater than z?
True
Let w = -155.19 - -155.2. Is w equal to -0.041?
False
Let b = -191/146 - 14/73. Is b greater than 2?
False
Let f(v) = -2*v**3 - 3*v**2 - 2*v - 1. Let r be f(-3). Let z = -32 + r. Which is smaller: 0.2 or z?
z
Suppose 0*l + l + 1 = 0. Let m = 3881/8 - 496. Let q = m - -11. Is l bigger than q?
False
Let g(u) = -5 + 3*u - 1 + 1. Let c be g(1). Is 1/8 != c?
True
Let n = 34309 - 206549/6. Let i = 116 + n. Is -1 greater than or equal to i?
False
Let s = 458469/190 + -2413. Which is smaller: 0 or s?
s
Let m be (-51)/119 - (87/(-7) - 2). Is m greater than or equal to 13?
True
Let x(w) = -w**2 + 10*w - 14. Suppose -3*o = 3, -o + 0*o = 5*g - 39. Let f be x(g). Is f greater than -5?
True
Let z(y) be the second derivative of -2*y**4/3 + y**3/3 - 9*y**2/2 + 11*y. Let r be z(4). Let p be (-4 - 0) + (-522)/r. Is 0 at most as big as p?
True
Let i be 76/18 + 14/(-63). Suppose -i = 4*l, 2*k + 3*l - 182 = 283. Let v be k/12*(-4)/6. Which is smaller: v or -14?
-14
Let v be ((-38)/8)/((-161)/(-84) - 2). Is v != 56?
True
Let d be 136/(-6) + 208/(-156). Which is bigger: -2 or d?
-2
Suppose 0*p + 11 = z + 4*p, 0 = 2*p. Let v be (1 + -52)*z/33. Which is smaller: v or -18?
-18
Let n be (10 - 5)/(-5) + -5. Suppose 25 = -5*f - 20. Is n at most f?
False
Let n(f) = -9*f - 81. Let x be n(-13). Is x at least 27?
True
Suppose 4*o + 10*b = 15*b - 93, 5*o + 80 = -b. Let k be ((-1)/39)/(o/(-9) + -2). Are -1 and k equal?
False
Let w = -188 + 189. Let j = -3 + 8. Which is greater: w or j?
j
Let d(k) = -4*k - 18. Let w be d(10). Let h = -62 - -6. Are w and h non-equal?
True
Suppose 197*z = 198*z - 7. Suppose k = z*k - 138. Is k less than or equal to 25?
True
Let z = -8/147 + 125/2597. Which is bigger: 1 or z?
1
Let p = -0.318 + -8.682. Let j = -10 - 0. Let m = j - p. Which is greater: m or 2