 the same value?
False
Let n(b) = -26*b**3 + 3 - b + 2*b**2 + 1 - 8*b**2 + 21*b**3. Let q be n(-2). Let f = q - 16. Are f and -2/7 nonequal?
True
Let v(h) = 4*h - 17. Let p be v(5). Suppose -u + 33 = -4*f, 6*u - 150 = p*u - 5*f. Let i be (-3)/(u/(-20))*(-3)/2. Which is greater: -3/5 or i?
-3/5
Suppose -g - 8 - 2 = -2*y, 26 = -3*g + 4*y. Let x be (-1096)/g*36/(-24). Let a = -2199/8 - x. Which is smaller: -2 or a?
-2
Suppose 0 = 17*v - 5*v - 13752. Let b = v - 13765/12. Are -1 and b non-equal?
True
Let g be (-1424)/40 - -13 - -3. Which is bigger: g or -21?
g
Let k = 4.3 - -0.7. Let u = -4 + k. Let n(z) = 7*z**2 + 3*z - 14. Let s be n(0). Which is bigger: s or u?
u
Let q be (-42)/(-12)*(-12)/(-7). Let a(p) = 6*p - 20. Let f be a(q). Let d = 34 - 16. Are f and d unequal?
True
Let p be -3*((-3)/4)/(((-7047)/116)/27). Let i be 10/(-35) - (-60)/14. Let h be 1 - (136/35)/i. Which is bigger: h or p?
h
Suppose -2*k + 3*a + 1274 = 0, 3*a = -18*k + 17*k + 655. Is k not equal to 4498/7?
True
Let v = 398.9295 - -0.0705. Let z = v - 395. Which is greater: z or 16?
16
Let y = 4735.9 + -4736. Is y bigger than -1729?
True
Let d = -4967648665624/7245 + 685665790. Let k = d - 1/2070. Which is smaller: -1 or k?
k
Let k be ((-16)/(-6))/(-33*(-516)/(-31071870)). Let u = k + 4866. Which is smaller: -1 or u?
-1
Let k be 930606/172*4/(-30). Which is bigger: k or -721?
-721
Let o be (8/824860)/(26/65)*1*-2. Are 1 and o unequal?
True
Let b = -1192.01 - -1206. Let x = b + -10.7. Which is smaller: -1 or x?
-1
Suppose 0 = -3*n + 2*o - 14, -5*n + 0*n - 21 = -o. Let b = -8 - n. Let k be (b - 0)*2/(-8). Is k bigger than 2/17?
True
Suppose 193*q = -h + 192*q - 5, -3*q = -2*h. Which is smaller: h or 83?
h
Let r = 107 + -75. Let z = 32.1 - r. Is z != -72?
True
Let m(u) = -u**3 + 25*u**2 + 55*u - 27. Let b be m(27). Is b >= 23/65?
False
Let z(i) = i**3 + 84*i**2 + 222*i + 332. Let x be z(-81). Is -0.1 bigger than x?
False
Let v = -0.6748 + -276.4252. Is 0.1 bigger than v?
True
Let m = 394.0878 + -0.0878. Let k = m - 394. Are k and 68 equal?
False
Let d = -227 - -228. Suppose w + 6 = -5*t, 2*t + 4*w + 7 - d = 0. Which is greater: 1/31 or t?
1/31
Suppose 502 = 4*o + 5*w + 142, 5*o = w + 508. Are o and 1907/19 non-equal?
True
Let l = -208 + 207. Let q = -4513/743427 + 3/731. Does q = l?
False
Let a be (-1 - 0)/(4/(136/2)). Let j(t) = -t**2 + 6*t + 10. Let c be j(9). Is a > c?
False
Let f be 6/10 - ((-122484)/(-540) + -1 + 1). Which is greater: -225 or f?
-225
Let v = -123971 - -123969.8. Suppose 0*h - 15 = 3*h. Is v greater than h?
True
Suppose -s - 2*k = -165, 0 = -k - 4 + 5. Let n = s - 157. Suppose -9*l = -3*l - 6. Which is smaller: n or l?
l
Let p = -2189 + 3447. Suppose 30*j - 32*j - p = 0. Let y = j - -14469/23. Is y smaller than 1?
True
Let b be (-12)/(-42) - (644/(-833) + 1). Is 9/10 smaller than b?
False
Let z(c) = -c**3 - 40*c**2 - 257*c - 138. Let n be z(-35). Which is smaller: 2734 or n?
n
Let t be (-7 - 138/(-18))*1*365. Let k = 242 - t. Is 15 >= k?
True
Let p = -0.0456 - -227.0456. Let u = p - 304. Is u at most 1/3?
True
Suppose 0 = 28*x + 240 + 68. Let f be x/(1100/(-303)) - 3. Which is greater: 1 or f?
1
Let j = 8708 + -11904. Which is bigger: -3197 or j?
j
Let k = -137 - -272. Let p = k + -133. Are 49 and p non-equal?
True
Let r = 0.2 + -5.2. Let z = r - -5.3. Let f = 1218.8 - 1224.8. Which is greater: z or f?
z
Suppose -l - 18 = 4*t, 6*l + t = 2*l - 87. Let k be (536/(-38))/(-1) + 20/(-190). Let c = l + k. Is -7 < c?
False
Suppose -254*n - 3523 = -239*n - 9373. Is n at most 385?
False
Let o(v) = v**3 + 17*v**2 + 2*v + 33. Let n be o(-17). Which is greater: 4/895 or n?
4/895
Let d = 10/241 + -2721/59768. Let k = 4379 - 4378. Which is greater: d or k?
k
Let p(i) = -i**3 - 72*i**2 + 156*i + 569. Let q be p(-74). Which is smaller: q or 11?
q
Let b = -4388 + 4389. Are b and -23/82 equal?
False
Let m = 21 + -13. Suppose -141 + 402 = -29*y. Let j be (y/6 - -2) + (-4)/m. Which is smaller: -4/11 or j?
-4/11
Let g be -2 + (-24)/((-24)/6). Suppose -4*b + 5*c = -9, -4*b = 9*c - g*c - 39. Are b and 5 equal?
False
Suppose 4*i + 3*k + 17 = 47, -4*i = -5*k - 14. Suppose 0 = i*f - 2*f - 5*p - 478, -3*f + 345 = 3*p. Is 117 > f?
False
Let x = -5452 - -5899. Is 447 at least as big as x?
True
Let i = 743 - 919. Let g = i - -2991/17. Let z = 0.2 - 0.3. Is z greater than g?
False
Let s = -7893 + 7894. Which is greater: 1174 or s?
1174
Let z = -2500 + 2499. Is z equal to -1/1873?
False
Let h = 248.8 + -34.7. Let u = h + -215. Is -6 <= u?
True
Let s = -8455 + 8455.84. Is 13 > s?
True
Let n = 3669.886 + -3794. Let z = n - -0.114. Let f = z - -141. Which is bigger: f or 1/3?
f
Let s = 3.1 + -3. Let v = -456 + 757. Let y = -302 + v. Do y and s have the same value?
False
Let l be (-6)/(-14) - (-42)/(-56)*(-4)/(-7). Which is greater: -2/1335 or l?
l
Let t be 115/(-4)*(-3 + -9 + 8). Let y be 2 + (-4)/(380/t). Which is greater: y or 2?
2
Suppose -5*b = -4*b - 4, 0 = -5*i + b + 56. Suppose -i + 10 = -2*l. Which is bigger: 2/481 or l?
l
Suppose 202126 - 13060 + 627789 = 177*n. Is 4616 less than n?
False
Suppose -5*z + 20 = 5. Let c be z/4 - 475/620. Suppose 7*y + 5 = 12*y. Is y <= c?
False
Let y = -59445811753573283/67192 - -884715616898. Let w = y + 1/67192. Let h = 280227/820 + w. Is h at most 0?
True
Let j be (-163)/(((-112)/(-1120))/((-3)/(-10))). Which is smaller: j or -491?
-491
Let a = 11.966 - 12.1. Let n = a + 0.159. Is -1 at least as big as n?
False
Let d = -207 + 108. Let i = 155 + d. Let m = 56.022 - i. Is m < 2/5?
True
Let c be 0 - -6 - ((-24)/(-39) - -7). Suppose 0 = 3*x - 5*x - 2. Which is smaller: x or c?
c
Suppose -4*u - 1 = j, 10*u + 3*j - 5 = 6*u. Let w be (4/(-2))/((-4)/2). Which is smaller: w or u?
u
Let z = -2386 - -2261. Which is bigger: -100 or z?
-100
Suppose 0 = 4*m + 2*l - 30, 426*l - 15 = -m + 425*l. Let k = 1763 - 245059/139. Which is bigger: m or k?
m
Suppose -2*f + 18 = 2*y - 3*f, -5*y = -2*f - 45. Let o be (8 + -7 - (-10)/(-6))*y. Let u be 14 + (-8)/o*-3. Are 3 and u equal?
False
Let p(k) = -11*k + 2. Let z be p(-2). Suppose -z = 2*t - 0*t - 3*w, 0 = -4*t - w - 76. Let x = 52 + -54. Which is smaller: x or t?
t
Let m = -36771839/1596 - -23040. Is m at most as big as 1?
True
Let v be (-2 + (-64)/(-20))/((-2)/(-190)). Suppose -9*x = 3 + v. Let f be ((-65)/20)/x + (-31)/(-4). Which is smaller: f or 7?
7
Let s be (60/(-48) - -1)*796. Which is smaller: -200 or s?
-200
Let o = -36600 - -36601. Let b = -1117192/5 - -15517983/70. Let g = 1754 + b. Which is greater: g or o?
g
Let d(m) = m**3 - 18*m**2 + 16*m + 20. Let a be d(17). Suppose a*k = 2*p - 252, 0 = 3*p + p - 12. Is -81 equal to k?
False
Suppose -27*z - 6137 + 2060 = 0. Let k = -86 - z. Is k at least as big as 65?
True
Suppose 0 = 4*q + 2*o - 20, 0*q - o = 3*q - 15. Suppose -2*h - y - 58 = 2*y, 68 = -3*h + q*y. Let u = 4 + h. Which is smaller: u or -23?
-23
Suppose 268 = 3*i - 5*s, -36 + 178 = 2*i + 4*s. Let j be (-56)/(-9) + (-18)/i. Suppose -2*y = 2*p - 5*y + 10, j = -3*y. Which is smaller: -9 or p?
-9
Let a = 21 - 9. Let d = 13 - a. Let n = 1/190 - 771/2090. Which is smaller: d or n?
n
Suppose 0 = -2*x + 2*m - 408 + 394, 3 = -5*x + m. Let a = -4111/685255 - 2/4421. Which is greater: x or a?
x
Suppose -3*g + 275 = -4*u, 3*u = -5*g - 225 - 3. Let m be 1/((4/u)/(-4)). Is m at most 70?
False
Let b = 1086931/185280 - -3/12352. Is 7 > b?
True
Let j be (1 - 3)/(-2 + 1). Let b be 2 + 4 - 2/1. Suppose 5*a + 14 = b*f, 0 = 4*a - 1 + 9. Are f and j equal?
False
Let f be 8/(-18) + 6895525/(-11817). Let q = 584 + f. Is q greater than 1?
False
Let x be 7 - 7/((-14)/(-2)). Let o be (-3)/x*536/(-4). Which is bigger: o or 66?
o
Let q = -54 - -58. Let m be 9/6 + 9/6. Suppose 58 = -q*t - u, -m*u = 2*t + u + 22. Is t at least -14?
False
Let i be 356*(150/28 - (-10)/70). Which is bigger: i or 1956?
i
Let o be (-62)/18 - (2 + -5). Suppose 22*l - 16*l = 18. Suppose 4*z + 1 = q, 2*q = l*z - 5 + 7. Which is greater: o or z?
z
Suppose 3*x - p = -8, 30 = -5*x - 5*p + 10*p. Let a be (-1)/(-1)*(-1)/x*-1. Is 23 at most a?
False
Let d be 130630/14514 + 44 + -53. Which is smaller: -1 or d?
-1
Suppose -3*l = -8*z + 36, 0 = -5*l - 48*z + 51*z - 29. Which is smaller: l or -1572?
-1572
Suppose -q + 2*i - 11 = 0, -4 = 4*q + 2518*i - 2521*i. Is 496/