ich is bigger: v or 2.2?
2.2
Let v be (18/(-23))/((-132)/(-176)). Which is smaller: v or -1?
v
Let y(z) = 3*z + 7. Let c be y(-3). Let p be 32/c + (9 - 11). Suppose 0 = -3*s + 4*m - 51 - 19, 22 = -s + m. Is s > p?
False
Let i = 577 + -574. Suppose -4*h = i*d + 451, 4*h - 27 = -d - 164. Is -158 greater than d?
False
Let z(a) = -21*a - 333. Let g be z(-16). Which is bigger: g or -2/1839?
g
Suppose 27*r = 30*r + 21, -5*u + 2782 = -r. Which is greater: u or 554?
u
Let h be 6/9*-3 + 0. Let a be (-13 - -63)*(7/h + 1). Is a equal to 2/7?
False
Let t be 4 + 0 + (8 - -3 - 15). Are -10/827 and t non-equal?
True
Let t = 4797091406/3342455 - -2/668491. Which is smaller: 1435 or t?
1435
Suppose 20*c = 40 + 60. Suppose 49 = 4*k + 4*r - 63, -k = c*r - 44. Is 28 < k?
False
Let a = -1049 + 1523. Let d = 475 - a. Which is greater: d or -3/62?
d
Suppose 2*k - 5*b = -22, -1737*k + 18 = -1735*k + 5*b. Is -10/3141 greater than k?
True
Let j = 237/52 + -6081/1300. Which is smaller: 2/117 or j?
j
Let t = 0.081 - -45.919. Let f = 5.4 - 47.4. Let o = t + f. Do 2/11 and o have the same value?
False
Let v = 0.028 + -0.012. Let s = 365 - 365. Which is greater: s or v?
v
Suppose 0 = 3*i + i - 20. Suppose -i*w + 0*w + 115 = 4*n, -3*w = 5*n - 82. Suppose -12 = 3*x, 0 = -4*a + 2*x + w + 97. Are a and 26 non-equal?
True
Let y(s) = -s**3 - 2*s**2 + 16*s + 17. Let c be y(-10). Let t be 2*(-201)/c + 6/9. Are 0 and t equal?
False
Let k be (-3)/(36/10)*1/(18/1809). Is k not equal to -83?
True
Let m be 7 + (-1)/((-8)/48*-6). Which is smaller: m or 166/35?
166/35
Let w = -398 - -398. Let k = -99/4 + 5443/220. Do k and w have different values?
True
Suppose -19886 - 1875 = -3*l + 2*s, 5*s + 36260 = 5*l. Suppose -18*k - 23*k - l = 0. Does -177 = k?
True
Suppose 6998 = -4*i - 3926 - 8332. Do i and -4814 have different values?
False
Let x be (-3)/(-2) - (196010/68 + 3). Is -2883 <= x?
False
Suppose -283*t = -279*t - 8. Let y be t*(72/16)/9. Let j be ((-1)/6)/(9/14). Does y = j?
False
Let x = 2.045 - 1.545. Is x greater than or equal to 44/5?
False
Let z = -89.4617 + 0.4617. Is z less than or equal to 32?
True
Let j be (9 - -25 - 34)/(-2). Let x be (18/(-290))/(-3)*2. Which is smaller: x or j?
j
Let t be ((-14)/42)/(1/15). Let h = t + 1. Let c be 30/h - 51/(-34). Is 0.6 greater than c?
True
Let a = 231/1640 + -19/164. Is a at least as big as 0.22?
False
Let i be (-84)/(-18) - 10/15. Let t be 2*10 - (-8)/4. Let d = t - i. Is d greater than 19?
False
Let a be (-8)/(-2)*-1*1. Let d = a + 8. Let r = -0.0495 - -3.0495. Which is greater: r or d?
d
Suppose 131*x + 29231 + 3912 = 0. Is -255 at least as big as x?
False
Let y be ((-3611)/(-3))/(13/(-6) - (9 - 11)). Is y < -7222?
False
Let a be 690/(-44)*(-4)/5 + -4. Let l = 702/77 - a. Which is smaller: -0.3 or l?
-0.3
Let v = -156344/335 - -288/67. Let j = 462 + v. Which is smaller: -0.27 or j?
j
Let b = 176551718524/127540549045 + -40/21562223. Let j = -2/5915 - b. Is j <= -2?
False
Let s be ((-14)/35)/((-8)/(-20)). Let b = 5.4541 + 0.3689. Let v = b + -5.8. Is v less than s?
False
Suppose 0 = -r + 6*m + 11254, 2*r + 140*m - 142*m = 22438. Are 11211 and r nonequal?
True
Suppose 88*x + 44*x + 998 = 6146. Suppose 0 = -5*c + 54 + 151. Is x at most c?
True
Let i = -10605 + 12455. Which is bigger: 1849 or i?
i
Suppose 21*m - 97*m - 16*m = 344264. Is m bigger than 1?
False
Let z be ((-599)/145 - 224/80) + 28/4. Let o = -3.18 - -3. Is o at most as big as z?
True
Suppose -6*c = -2*c - 64. Let b = c - 2. Let g be (2 - 9)/(7/(b/(-12))). Is 0 bigger than g?
False
Let u = 263 - 228. Let n = u - 37. Is 0.101 at least as big as n?
True
Let k = 793 + -793.226. Let z = -0.374 + k. Is 0.003 at most z?
False
Suppose -3*n = n. Let t be -6*((5/(-2) - -2) + n). Let k be (12/(-10))/3*(2 + t). Which is smaller: k or 2?
k
Let m = 1 + -102. Let v = m + 109. Is v > 102/11?
False
Let h = 279.2 - 280.13. Which is bigger: h or -6?
h
Let z = 5097462 + -4715151708/925. Let y = z - 16/25. Suppose -3 = -2*f - 5*x, 2*f - 2*x = -0*f - 4. Which is smaller: f or y?
f
Let f be (-96)/(-80)*(-10)/(-75). Which is bigger: f or 16?
16
Let y(w) = -23*w + 1183. Let p be y(57). Is -140 greater than p?
False
Let r = -46 - 4.5. Let d = r + 50. Let y = 17 + -17. Are d and y non-equal?
True
Let m be ((-1)/((-6)/18) + 2)*19731/15. Which is smaller: m or 6576?
6576
Let u = 57354793/884 + -64881. Is -1 smaller than u?
True
Suppose -28 = 4*a, -467*q = -471*q + 3*a + 16949. Is 4234 <= q?
False
Let c be 2/3 - 118/6. Let p = c + 27. Is p >= 29/4?
True
Let x = -0.2 - 0. Let n = x + 0.1. Let w = -351.3 - -351. Which is smaller: w or n?
w
Let j(d) = d**3 + 7*d**2 - 6*d + 9. Let b be j(-8). Suppose 36 - 12 = -24*q. Let v be 6 + b + q - (-146)/74. Is v <= -1/4?
False
Let n(l) = l**3 - 4*l**2 - 84*l + 78. Let s be n(11). Let h be (-2 + 216/109)/2. Is s at least h?
True
Let n be 1888/256 + (-6)/16. Let i be 2 + -9 - (1 + 2). Let l = i - -17. Is l equal to n?
True
Let n(q) be the second derivative of 5*q**3/6 + 5*q**2/2 - 15*q + 1. Let m be n(10). Is m less than 52?
False
Suppose 5*b + b - 6 = 0. Suppose w + 3*v + b = 0, 5*v - 3 + 6 = -w. Let g be 4/(-104)*(-4 + w). Is g smaller than 0?
False
Suppose -409915 = 4911*b - 4856*b. Which is smaller: b or -7454?
-7454
Let o(s) = -3*s - 4. Let y be o(5). Let w = -1922 - -1903. Let g = y - w. Which is smaller: g or -3/16?
-3/16
Let g(u) = -u**3 + 5*u**2 - 7*u - 4. Let k be g(4). Let p be (-4)/k*36/9. Which is smaller: p or 42?
p
Suppose 0 = -21*t + 17*t + 552. Let c be 80/t*(-21)/28. Do -1 and c have different values?
True
Let y = 705 + -229. Let n = y + -435. Which is smaller: 2 or n?
2
Let z = 12/181 + -93/9593. Let u = -133/477 + z. Let f(h) = -h**2 + 2*h + 1. Let g be f(2). Which is smaller: g or u?
u
Let s = 955 + -676. Suppose 5*u = 5*n + 255, -10*u + 15*u = -3*n + s. Which is smaller: u or 63?
u
Suppose -2*p - 3*h = p + 6, 4*p = -2*h. Suppose -2*k + 0 = 16. Let f be (3 - 1)*k/(-20). Which is smaller: p or f?
f
Let n(o) = 2*o + 248*o**2 - 502*o**2 + 253*o**2 + 8 + 14. Let f be n(-4). Which is greater: f or -17/11?
-17/11
Suppose 114*k + 12080 - 59243 = 35*k. Which is greater: k or 596?
k
Suppose 3*t - 2*t + 4*h = 249, -5*t + 1120 = -5*h. Is t > 225?
True
Let w be 108/26 - 2/13. Suppose 3*y - 28 = 2*b - 73, 0 = -w*b - 5*y + 79. Suppose 5*r + 4*n + b + 9 = 0, -2*r + 5*n - 12 = 0. Which is bigger: -5 or r?
-5
Suppose 2*k + 4830 = -2*o, -4*k = -5*k + 5*o - 2409. Let t = k + 185881/77. Let v(f) = -f**2 + 6*f - 5. Let w be v(5). Which is bigger: t or w?
t
Let c be ((-32352)/(-8))/4*-20 + (-8 - -2). Is c bigger than -20225?
False
Let x = -0.28802 - -0.30802. Which is smaller: x or -585/7?
-585/7
Suppose -24 = -843*h + 840*h. Which is greater: h or 156/23?
h
Let r be (-10 + 9/((-252)/(-304)))/(2/(-1946)). Is r at least -835?
True
Suppose 3*l - 18 = -3*s, -3*s + 5*l = 7 + 7. Suppose y - 3 = -m - 1, 0 = y + s*m - 1. Suppose -6*z + 3 + y = 0. Is z != 10/13?
True
Let r = -9841 + 21428. Is r less than or equal to 11587?
True
Suppose -3*u + 8*u + 165 = 0. Let a(x) = 33*x + 97. Let r be a(-4). Is r > u?
False
Let r(h) = -h**2 - 18*h - 3. Let t be r(-18). Let p be t/4*948/(-36). Is 20 equal to p?
False
Let k = -32 + 35. Suppose 4*n - 3 = -3*o, -5 - 4 = -k*o - 2*n. Let l be ((-24)/o)/(3/(-10)). Which is greater: -2/3 or l?
l
Let j(w) = -w + 1. Let o(h) = 10*h - 12. Let c(g) = -22*j(g) - 2*o(g). Let z be c(5). Let n be (1*(-6)/2)/(z + -5). Is n less than 0.2?
True
Let t = 88.636 + 841.364. Let c be 2/(32/(-36)) - -2. Which is greater: t or c?
t
Let t be 817/(-153) + (-567 - -571). Is t smaller than -2?
False
Let w(r) = -6*r**3 - 3*r**2 - r. Let g be w(-2). Suppose 0 = i - 5, 13*i = 4*o + 17*i - 2860. Suppose -148 = -22*s + o. Which is bigger: s or g?
s
Let p(u) = 17*u - 8. Let k be p(12). Let l = 132 - k. Which is greater: -57 or l?
-57
Let p(m) = -m**2 - 35*m - 162. Let j be p(-17). Let h = j - 143. Which is smaller: 1/80 or h?
1/80
Let b = -1309 - -2531/2. Let c(n) = n**3 - 95*n**2 - 710*n - 452. Let a be c(102). Which is greater: a or b?
b
Suppose -2790 = -6*g + 2352. Are g and 858 equal?
False
Let q(a) = -100*a + 169. Let x be q(3). Is -138 bigger than x?
False
Let i(j) = -13*j - 205. Let p be i(-17). Let s = 1 + 7. Suppose 5*q - 85 = -5*k, 5*q - 71 - s = -2*k. Which is s