et o be (0 - (-3)/6)*0. Suppose -2*r + 1 = -r - 3*m, o = 3*m. Which is smaller: r or -2/9?
-2/9
Let h be 14840/(-159030) - (1 + -2 + 731/817). Is h < 1?
True
Let o = -0.113 + 119.113. Let t = -122.8 + o. Which is bigger: 1/5 or t?
1/5
Let c(v) = -5*v + 1. Let k be 2/(-2)*(-4 + 5). Let j be c(k). Let t = 638/293 - 8776/3223. Is j less than t?
False
Let p = 18278 - 310604/17. Is 7 less than p?
True
Let y = -1021 + 1026.99. Let i = y + -0.99. Let s = -0.7 - -4.7. Is i <= s?
False
Let z = -2594.3 - -2594. Let u be (-1)/((-2)/22) + -1. Is u at least as big as z?
True
Let i = -2.675 + 2.405. Which is bigger: i or 140?
140
Suppose 98*g - 5*h = 97*g - 82, 3*h = 2*g + 122. Does g = -14?
False
Let t = 765 - 809. Suppose 4*g = -b - 172, -3*g = -g - 4*b + 68. Are t and g non-equal?
True
Let n = 6803 - 6805. Is -20.81 < n?
True
Let g(s) = -s**3 - 31*s**2 + 201*s + 3366. Let m be g(-34). Let c = -0.017 + -22.983. Is m > c?
True
Let r = -7.97607 - 0.02393. Which is bigger: -0.58 or r?
-0.58
Let n be -5 + (-23)/(-7) + (-2)/7. Let q be -1 - -56 - (n - (1 + -1)). Are q and 58 unequal?
True
Let a(p) = 3*p**2 - 27*p + 48. Let m be a(13). Let g be m/15 + 21/(-7). Is g < 12?
True
Suppose -6*c + 2*c = -5*y - 744, -5*y - 772 = 3*c. Is y less than or equal to -146?
True
Let o = 25462 - 76334/3. Which is smaller: -3.2 or o?
-3.2
Let k = -73 + 73. Suppose k = 5*u - 20, -31 + 53 = 5*w + 3*u. Let v = 819/209 - 33/19. Is v bigger than w?
True
Let s = 39435 - 39436. Is -182/181 != s?
True
Suppose -b = 4*b - 935. Suppose 7*o = 4145 - 2829. Is b less than o?
True
Let o be 74/(-37) - ((-20)/70 + 28200/63). Are -449 and o unequal?
True
Let v = -786.685 - -789. Let l = -0.315 + v. Which is bigger: l or 4?
4
Let k(n) = -1. Let s(x) = -x**2 - 10*x + 1. Let c(m) = 6*k(m) + s(m). Suppose -73*b - 627 = -43. Let u be c(b). Is u greater than -2/3?
True
Let h be (-7500)/20000 - ((-5386)/(-272) - -1). Which is greater: h or -21?
-21
Let a = 463.7 - 396. Let c = a + -66.3. Which is bigger: 14 or c?
14
Suppose 5*m - 2340 = 2925. Does 1056 = m?
False
Let p = -22195 - -22459. Are p and 43 non-equal?
True
Let p be 1321650/220220 + 6/3 + -8. Is 0 less than p?
True
Let u(c) = 2*c**2 - 95*c - 392. Let y be u(-4). Is y greater than 69?
False
Let s = 132 - 926/7. Let i = -90.3 + 91.1. Which is greater: s or i?
i
Let i = -217 + 1497/7. Let g = 491/154 + i. Suppose 0*v + 5*p - 2 = 3*v, -2*v - 2*p = -4. Which is bigger: v or g?
v
Let o = 2892 + -2961. Is o greater than or equal to -70?
True
Let j = -2/26559 - 9339913/26559. Is -353 less than or equal to j?
True
Let c(v) = -2*v + 6. Let y be c(-2). Suppose g = -4*g - y. Let b = -1247/3 - -413. Which is smaller: b or g?
b
Suppose -13*t = 9941 - 6145. Which is smaller: -301 or t?
-301
Let s = 407 - 393. Suppose -5*g - s = -2*m, -5*m = -0*m - 2*g + 7. Is m greater than or equal to 33?
False
Let l be (3 + (-104)/(-12))*(-16 + 1). Let c be (-475)/l - (1 + 2). Are c and 0.2 unequal?
True
Let j = 23456 - 45537/2. Is 687 greater than j?
False
Let c be (-3219)/270 - 4/8. Let z = c + 110/9. Is z < 4/9?
True
Suppose -28*x - 2230 = -29*x + 2353. Are 4583 and x nonequal?
False
Let a be (-281 - -1)/((-7168)/(-372) - 10/(-155)). Is -15 smaller than a?
True
Let b be 3/(((-5)/895)/1). Let s(v) = 30*v - 1317. Let g be s(26). Is b > g?
False
Let u = -38 + 43.5. Suppose 0 = 81*s - 77*s. Which is smaller: s or u?
s
Let l = 9692 - 9897. Which is bigger: l or -2256/11?
l
Let p = -3.81 - -3.63. Is -24/13 less than or equal to p?
True
Suppose -28*d - 20 = -38*d. Let g be 12 + (-5 - d) - 73. Let q be -69 - 0*4/(-16). Is q greater than g?
False
Let u = -186 - -249. Let y be (-28)/328*(-36)/u. Is 0 < y?
True
Suppose -3*y = 4*a + 408, -3*y - 311 = 3*a - 5. Let b be 12/18 - (-44)/a. Is 0 less than or equal to b?
True
Let k = 39215/6 + -38940517/5958. Is k < 0?
True
Suppose -224 + 226 = r. Let a be (-4)/(-5) + -2*r/5. Is a smaller than 2/365?
True
Suppose 67*a - 382 = -1722. Let c = 1632/11 + -168. Which is smaller: a or c?
a
Let k be ((-5)/20)/(1/(-4124)). Suppose 5*l = 3291 - k. Let x be (l/112 + -4)/1. Which is greater: 0.1 or x?
0.1
Let i = -86/799 + -6/47. Let x = 770.755 - -1.245. Let f = -771 + x. Is i less than or equal to f?
True
Let r be -3 - (-3 - 15/(-3))*1. Let m be r*156/18*12/(-5). Is 104 >= m?
True
Let x(k) = -k**3 - 7*k**2 - 5*k - 3. Suppose 14 = -3*w - 1. Let t be x(w). Suppose -980 + 3276 = -82*q. Are t and q equal?
True
Let z = 415.088 - -3.952. Let k = z + -419. Is k < 0.01?
False
Let a be (-1)/3*(55/19 + (-302)/(-2869)). Which is greater: a or 12/2453?
12/2453
Let i be (-41609)/(-6) - (-73)/438. Which is bigger: i or 6934?
i
Let h = -1365 - -1375. Let v be 394/(-408) + (-10)/(-30). Let o = 202/17 + v. Which is smaller: h or o?
h
Let v = -2422 + 2422. Is v at most as big as 3/2258?
True
Let u be ((-102)/99 + 1)*4. Let c = u - -14/297. Which is greater: 1 or c?
1
Let w(n) = 11*n - 161. Let d(r) = -4*r + 39. Let a be d(6). Let b be w(a). Is b <= -93?
False
Let i = -137/21 - -6/7. Let v = 526.9 + -430. Let q = 97 - v. Which is greater: q or i?
q
Let x(s) be the first derivative of s**3/3 - s**2 + 5*s - 11. Let n be x(0). Let t be ((-1)/n)/((-2)/6). Do t and 1 have the same value?
False
Suppose -150 = 52*k - 42*k. Let z be (2 - (-10636)/(-32))*6. Let d = 1968 + z. Which is bigger: d or k?
d
Let q be -8 + 16*44796/89616. Is q at most 1?
True
Suppose u + i = -4*u + 623, -u + i + 121 = 0. Let r be u/(-287) - (0 + 6/(-21)). Which is bigger: 0 or r?
0
Let n(w) = w**3 - 7*w**2 - 7*w - 8. Let h be n(8). Suppose h*v - 2*v = 4, 0 = -2*p + 2*v - 14. Which is greater: p or -1?
-1
Let w = 101.177 + 3.823. Is w bigger than 3?
True
Let i(w) = -2*w**3 - w**2 - 5*w - 2. Let m be i(-4). Suppose 4*j - 555 + 30 = -3*v, 3*j = -2*v + 393. Which is smaller: m or j?
j
Let u = 2.5449 + 0.4551. Let h = 4/79 + 1177/158. Are h and u nonequal?
True
Let s(y) = y**3 - 3*y**2 - 9*y + 6. Let v be s(6). Let w = 59 - v. Let f be w + 1/(-2) + 244/160. Which is bigger: f or 0?
f
Suppose 20*a - 2363 = -603. Suppose a*w - 120 = 84*w. Let u be (32/3)/(-2)*72/w. Which is greater: -12 or u?
-12
Let t = 0.015 + -0.11. Let v = t + -1.305. Let x = 0.1 - v. Which is smaller: x or 0?
0
Suppose -2186 = 3*z - 341. Which is smaller: z or -597?
z
Let f(v) = 2*v**2 + 5*v + 6. Let n(w) = -7*w - 1. Let a be n(0). Let h be f(a). Let y be 2/(-6)*6/4. Is h != y?
True
Let i = 2 + -3. Let o be (-50)/25*(2 - (6 - 2)). Let p be o/72 - (-5 - 376/(-72)). Is i smaller than p?
True
Let q = -6932874/369163 - -1108/59. Which is greater: 1 or q?
1
Let z(y) = -1098*y - 64786. Let o be z(-59). Suppose -d = 0, 0*t - 2*t - 3*d = -4. Which is bigger: t or o?
t
Suppose 452*y - 740 = -5*z + 453*y, 2*y = z - 157. Is 146 != z?
True
Let z(t) = 6*t**2 - 1 + 373*t**3 - 380*t**3 - 6*t - t. Let w be z(2). Suppose 0 = -3*u + u - 92. Is u <= w?
False
Suppose 0 = -16*m - 3990 - 6164 - 10070. Which is smaller: m or -1268?
-1268
Suppose -2*t + 5*t = -693. Let m = -227 - t. Let n(c) = -c + 1. Let g be n(-3). Is g at most as big as m?
True
Suppose -5*g + 504 = -3*b, 200 = -b - 4*g + 15. Let k be (6/27)/(4/(-3110)). Let u = k - b. Which is bigger: 19 or u?
19
Let c = -52.38 + -9.92. Let s = 68 + c. Let p = -4.7 + s. Are p and 1 nonequal?
False
Suppose -18*m = -25*m + 1274. Let s = 183 - m. Are s and 5/26 nonequal?
True
Suppose 5*y - t + 775 = 0, 2*y + 337 = -3*t - 2*t. Let z be ((-80)/32)/(1/y). Let l = z + -21841/56. Is 0 at least as big as l?
True
Let v = 8144 + -7879. Is 11 at least as big as v?
False
Let n be 79249/17945 + 1/(-5) - 6. Which is smaller: n or -1?
n
Suppose -4 + 1 = -3*b, 5*b = 5*c + 10. Let g = 39078847/102851 + -36/2099. Let a = -380 + g. Is c at most a?
True
Suppose j = -11*c + 9*c - 33, -c + 66 = -5*j. Which is smaller: -18 or j?
-18
Suppose -19*x - 572 = -10*x + 139. Which is smaller: x or 0.6?
x
Let c = 0.41 - -0.11. Let p = 0.64 - 1.06. Let v = p + c. Is v smaller than -18?
False
Let x be 6 + (-15)/(-9) - (-2)/6. Let p be 12/x + 11/(-2). Is 7 <= p?
False
Let t = -24 - -23.58. Let i = t + 1.7. Let q = i + -1.38. Is q greater than or equal to 0.11?
False
Let m be (4 + 4/(-16))/(6/24). Let g be (-98)/8 - (2 - -8 - m). Is g > -8?
True
Suppose -3*l + 1 + 38 = 0. Suppose -3*y = -l + 4. Let o be y + -2 - (-32)/(-6). Which is grea