a have different values?
True
Suppose 3*a = 2*d + 8*a - 20, 5*d + 3*a - 31 = 0. Suppose 7*x - 10 = 2*x. Let g = d - x. Which is smaller: g or 2?
2
Let j = -0.18 + 0.18. Let m = 11.15 + -11. Let l = -8.85 - m. Is l less than j?
True
Let a be (-2)/17*(-4)/2. Let d be (11 - 12) + (-15)/(-3). Suppose 5*i = f - 9, -2*i + 0*i - 8 = d*f. Which is smaller: f or a?
f
Let k(u) be the first derivative of -u**4/24 + u**3/2 - 6*u**2 - 13. Let g(z) be the second derivative of k(z). Let a be g(3). Which is smaller: -2/15 or a?
-2/15
Suppose 20*g = -s + 19*g + 297, 0 = -5*s + 2*g + 1478. Which is smaller: 295 or s?
295
Let o(u) = -u + 3. Let p be o(4). Let r be (-4 - p)*(-91)/(-351) - -1. Let g = -2 + 2.1. Which is greater: g or r?
r
Let x be 14/63*15 - (-1)/(-3). Is 5 smaller than x?
False
Let s(c) be the third derivative of -c**5/30 + c**4/12 - c**3/6 + 4*c**2. Let z be s(2). Let a = z - -5. Are -1/7 and a non-equal?
True
Let l be ((-3)/(-9))/((-1)/(-3)). Let i = l - 2. Let j be (14/20 + -1)*(-4)/6. Is j != i?
True
Suppose -s = 4 + 10. Suppose 5*r + 5*t - 3*t - 9 = 0, -3*r + 15 = -2*t. Suppose -3*m - 36 = -4*g - 6, -r*g = m + 23. Do s and m have the same value?
True
Suppose -4*t + 215 = -265. Is t < 119?
False
Let t = -1116 - -410. Let p = t - -37421/53. Is p <= 1?
True
Let y be 10/3*(-4 - -22). Suppose -y = 3*v + 3*x, -x = -3*v + 2*v - 14. Is -16 < v?
False
Let k be -3 + 5 - -2 - 2. Suppose -3*j - 15 = 0, -5*g - 4*j = 83 + k. Which is smaller: -14 or g?
-14
Let h(m) = -5*m + 5. Let z be h(1). Which is smaller: 4/5 or z?
z
Let n = -3764 + 485552/129. Is 1 smaller than n?
False
Let z(t) be the third derivative of -t**6/120 - 7*t**5/30 + t**3/6 - 6*t**2. Let k be z(-14). Let j be (2/12)/(2/9). Which is greater: j or k?
k
Let h = -19 - -49. Suppose 2*f + h = -0*f. Does f = -14?
False
Let x = 76 - 75. Let q be 2 + (0 + -2 - 3) - -5. Which is greater: q or x?
q
Let p = 3843/5 + -771. Which is smaller: -1 or p?
p
Let j = 0.27 - 1.74. Let o = -1.37 - j. Which is bigger: o or 0.34?
0.34
Let u be -3 - (-16372)/84 - -3. Let a = -195 + u. Suppose 4*x - 6*x = 0. Is x bigger than a?
True
Let l = -0.02 + -0.9. Let w = 11.08 - l. Which is greater: w or -2?
w
Suppose -6*g + 169 = -167. Is g smaller than -1?
False
Let i(f) = f**2 - 6*f - 10. Let w be i(7). Let p(g) = -3*g + 36. Let b be p(0). Let s be (-6)/(20/24*b/8). Is w <= s?
True
Let j = 278 - 198. Suppose 2*f = 6*f - j. Suppose f = 8*g - 3*g + k, 2*g - 8 = -4*k. Is g less than -0.2?
False
Let o = -2094280 + 381160137/182. Let k = -45/7 + o. Let s(h) = h**3 - 2*h**2. Let t be s(2). Is k != t?
True
Suppose 0*y = 2*y - 10. Let w be -64 - (-2)/((-4)/(-2)). Let a be w/(-12) - y/20. Which is smaller: 1 or a?
1
Suppose -3*m + 2 - 8 = 0, -2*n - 614 = 2*m. Which is smaller: n or -306?
-306
Suppose 0 = -4*u + w + 16, w + 10 = 2*u - 0*w. Suppose -2*i = u*i - 35. Let n be i/4 + 9/(-12). Is n <= 1/6?
False
Let i be (12/10)/((-21)/(-2240)*8). Let o be (-363)/504 - i/(-168). Is -1 > o?
False
Let k be (-18)/(-15)*3/(-6). Let t = 0.05 - 0.15. Let c = t - -0.2. Which is greater: c or k?
c
Let r(v) be the third derivative of v**4/8 - v**3 - 9*v**2. Let t be r(3). Suppose 4*j + 5*p + 1 + 2 = 0, 3*j - 4*p = 21. Is t less than j?
False
Let m be (96/396)/((-1)/(-318)). Suppose -5*s + 5*l = 380, -6*s = -5*s + 5*l + 82. Let k = s + m. Which is smaller: k or -1?
-1
Let y be -5 + (0 - (37 - 4)). Let t = 48 + y. Suppose 5*w = 3*z - 7, -16 = -2*z - 2*z + 5*w. Which is bigger: z or t?
t
Let y = -0.142 - 1.858. Which is bigger: y or -0.127?
-0.127
Suppose -3*i + 3*y = 8*y - 33, 2*i - 22 = 3*y. Is 11 >= i?
True
Let q = 0.187 - 8.187. Is 1/4 greater than q?
True
Suppose 3*p - 3*l = -l - 42, -3*p - l - 24 = 0. Suppose 0 = j + j + 6, 0 = -5*m + 2*j - 9. Is m < p?
False
Let r = 39403/3 - 13135. Let l be 0/1 + 12/1. Is l greater than or equal to r?
True
Let f be 0 + 1 + -1*(2 - -1). Let y be (-1)/(-3)*f/(-4)*-69. Which is greater: y or -12?
y
Let m(q) be the second derivative of q**5/60 - q**4/12 + 2*q**3/3 - 3*q. Let b(r) be the second derivative of m(r). Let n be b(0). Which is smaller: n or -3?
-3
Suppose -5*g - 2*v - 96 = 0, v - 87 = 5*g - 0*v. Let z be 4/(-10)*(-40)/8. Suppose z - 10 = -8*o. Which is bigger: g or o?
o
Let s be (3648/1026)/(-2*(-1)/3). Which is smaller: s or 6?
s
Let g be (-9)/(-60) - 2/5. Let o = -4.24 - -4.15. Is g >= o?
False
Let g(c) = c**3 - 11*c**2 + 24*c - 82. Let t be g(8). Is -84 bigger than t?
False
Let y = -1270 - -1229. Which is bigger: y or 1?
1
Let w = -15 - -8. Let t(i) = 11*i - 94. Let j be t(8). Which is smaller: j or w?
w
Let f = 7.2 - 18.3. Let h = f - -11.159. Is h at least as big as -2/3?
True
Suppose -4*t - 46 - 154 = 0. Which is bigger: t or -46?
-46
Let p = -36956910266 - -437421989591767/11836. Let z = p + -1/2959. Let i = -1827/68 - z. Which is smaller: i or 0?
i
Suppose 0 = -5*u, -3*w + 5*u + 3 = -0*w. Suppose 3*n - w = -4. Let g = 221 + -222. Are g and n nonequal?
False
Suppose 0 = -i - 0*i - 1. Let r = 7307 - 204593/28. Which is greater: r or i?
r
Let d be -1252*(-30)/7480 - (4 + 1). Is -1 <= d?
True
Let z = 712/7 + -3588/35. Which is smaller: z or -2/149?
z
Let g = 29 + -23. Suppose 2*m - g*m + 12 = 0. Let j be (1/(-3))/(41/m). Which is greater: -1 or j?
j
Let d = -127 - -112. Which is smaller: d or -14?
d
Let x = -6.8 - 10.2. Let p = x + 16.8. Let l = 4/5 + -1/20. Which is bigger: l or p?
l
Let d = -5.9 - 24.1. Let m = 100.9 + -70.8. Let f = d + m. Which is greater: 0.23 or f?
0.23
Suppose -4*y - 5 = 3*v - 1, -4*y = -v + 4. Let g be y*22/12 - -2. Suppose 0 = -62*m + 48*m - 14. Do m and g have different values?
True
Let x = -0.2002 - 0.4598. Is -0.2 less than or equal to x?
False
Let z = 3 - 3. Let f = -52 + 64. Let y be f/66 - (-6)/(-33). Is y less than or equal to z?
True
Let j = 66 - 65. Let r be (1/9)/(141/18). Which is smaller: j or r?
r
Let l be (-3)/4 + 0 + 1. Let b = 5/2337 + 2312/11685. Which is bigger: b or l?
l
Suppose -1708 = u - 4*b, 5*b - 3*b + 3426 = -2*u. Let k be (-6452)/(-4)*2/u. Let c = 1/107 + k. Which is bigger: -3 or c?
c
Let r be (6/(-3796))/((-45)/60). Which is smaller: r or 1?
r
Let o be (76/14)/((-6)/3). Which is bigger: o or 0?
0
Let r be (-26)/(-39) - 67/(-3). Let t = r + -19. Is t equal to 3?
False
Suppose 2*r + 54 = 2*w, -4*w + 3*r = -64 - 45. Let k = -23 + w. Suppose 1 = 4*z + k. Which is greater: z or 0.1?
0.1
Let n be ((-10)/56)/((-11)/132). Let c = -18 + 15. Let o(q) = -2*q - 3. Let a be o(c). Is n not equal to a?
True
Let l = -2.1 - 0.9. Let q = 4 + -3.7. Let v = 0.2 - q. Is l > v?
False
Let j = -139 - -138. Let o = 0 - 2. Let m = o - j. Is m at least as big as -2?
True
Let r(k) = -2*k**3 - 19*k**2 - 7*k + 14. Let d be r(-9). Which is smaller: d or -78/29?
d
Let u = 187/2 - 74. Let z(c) = -c**2 + 13*c + 8. Let r be z(12). Let p = u - r. Is 0.2 greater than or equal to p?
True
Let j = -33 - -34.2. Let h = 1 - j. Is h at most as big as 3/2?
True
Suppose -8*k = -9*k + 9. Suppose -5*b - 5*o + 200 = 0, 0 = 2*o - 5*o - k. Suppose -5*r + 3*i + b = 0, -2*r + 0*r + 5*i = -21. Which is greater: 7 or r?
r
Let j be 2 + 1 + (0 - -1). Suppose j*k + 3 + 1 = 0. Let q be 0/(-4) + (k - 0). Is 1 < q?
False
Suppose -3*r + 31 - 37 = 0. Let k be (6/(-9))/((-24)/(-18))*r. Is 11 equal to k?
False
Let m be 2676148/(-222998) + (-24)/(-2). Is m >= -1?
True
Suppose -4*v + 7 + 9 = 0, -2*n - v + 6 = 0. Which is bigger: n or -2/191?
n
Suppose 5*o = 1938 + 942. Is o <= 575?
False
Let j = -724 - -718. Is -9/7 at most j?
False
Let c = 32 - 18. Let q be (-24)/c - (0 - 2). Suppose 26*p = 31*p - 5. Which is smaller: p or q?
q
Let d be (-154)/284 - (-13)/26. Let v(w) = -w**3 + w. Let u be v(0). Is u <= d?
False
Suppose -290 = -0*t + 5*t. Suppose -16*s - 708 = -4*s. Which is smaller: s or t?
s
Suppose -m - 3*a = m - 21, 5 = a. Suppose -3*t + 3*u = -0*t - m, t = -2*u - 8. Is t less than -1?
True
Let u(s) = -s**2 - 13*s + 31. Let d be u(-15). Suppose -31 = 4*b - 2*b + 3*n, -2 = b - 3*n. Let w be -1 - 0 - b/14. Which is smaller: w or d?
w
Let l be (-1538)/3672 - (-1)/(-4). Let q be (6/15)/(187/330). Let z = l + q. Which is greater: z or -1?
z
Let r(o) = -o**3 - 16*o**2 + 19*o + 41. Let p be r(-17). Which is smaller: 59/7 or p?
p
Let r = 151 + -90. Let b = r + -61.51. Let o = b - -0.21. Is 3 <= o?
False
Let