= -5*v + 25, -3*s - s - v + 5 = l. Are -1/134 and s non-equal?
True
Let u = -250 + 243. Let g be -1 - -3 - (5 + -1). Which is greater: u or g?
g
Let l = -427 - -426.999. Let n = l - 0.099. Which is greater: -28/13 or n?
n
Let r = -68.21 - -1.21. Let b = r + 67.014. Let j = b + 0.066. Which is smaller: j or -4?
-4
Let t = 1.026 - 1.226. Is t less than 313.1?
True
Let i(o) = -19*o**3 - 3. Let v be i(2). Let h = 167 + v. Which is smaller: h or 4?
4
Let b = -8485 - -8476. Is b bigger than 595?
False
Let h = -8503/9241860 - 1/49956. Is h < -1?
False
Suppose -124 = -80*m + 82*m. Suppose -37 = 5*j - 352. Let f = m + j. Which is greater: 6/19 or f?
f
Suppose -49*s + 104 = -153*s. Which is smaller: s or -39/22?
-39/22
Let s = -5 + 3. Let g = -105.837 - -18.837. Is g greater than s?
False
Suppose -2*o + 54 = 126. Let z be 120/o - 1/(-3). Which is smaller: 1 or z?
z
Let j(n) = n**2 + 2*n - 25. Let l be j(-7). Suppose 4*q + l*v - 8*v - 14 = 0, -5*v = -3*q + 30. Which is smaller: q or 4?
4
Let c(m) = m**2 - 44*m + 230. Let w be c(5). Is w at least 32?
True
Let u = 699.5 + -700.1. Which is smaller: 205 or u?
u
Let g = -498619 - -30915203/62. Let t = g + -56614/4123. Let p = -3/14 - t. Which is smaller: p or -1?
-1
Let f = 2702341/4 + -679296. Let c = -3677 - f. Which is bigger: 33 or c?
c
Let v = -2021 - -966. Is -1056 greater than v?
False
Let a = -558 - -642. Which is bigger: -1 or a?
a
Let q(z) = 4959*z + 54549. Let j be q(-11). Let y be 4556/4*(-2 + 1). Let u = y + 105929/93. Which is smaller: j or u?
j
Let b(s) = 39*s - 307. Let j be b(8). Let a be (-10)/(-15) + (8385/(-126))/(-13). Is a < j?
False
Let o = -118 - -121. Let v be -6*5/(-855)*o. Are -7 and v equal?
False
Suppose -4*i = 6*i - 140. Suppose -25*n + i*n = 121. Are n and -13 nonequal?
True
Let n = -21848 - -21732. Is 5.2 > n?
True
Let i = 49 - 53. Let f = i - -3. Let m be 96/(-35) - f/7. Which is bigger: 1/4 or m?
1/4
Let g(y) = y**2 + 62*y + 952. Let p be g(-38). Which is bigger: 25 or p?
p
Let i = 39.3 + 7.7. Let p = 178 - 117. Suppose 15*r - p = -46. Which is smaller: i or r?
r
Let u = 79 + -30. Suppose u = 38*c - 65. Let n = -0.1 - -0.06. Which is smaller: c or n?
n
Let x = -12842 - -12578. Which is smaller: -7 or x?
x
Let f(u) be the third derivative of -u**6/120 + 11*u**5/60 - u**4/8 + 3*u**3/2 - 44*u**2. Let a be f(11). Is a at least -20?
False
Let m = 209.52 + -212. Let o = 2.61 + m. Which is greater: o or -14?
o
Let b(h) = 28*h + 63. Let r be b(6). Let x = -1197/5 + r. Is x at most -9?
False
Suppose 2*j = -4*v + 2290, -5*j - 2900 = 4*v - 9*v. Let p be v/(-1628)*(-78)/(-65). Let c = p - 9/74. Are 2/9 and c nonequal?
True
Let u be (1/4)/(3/120). Suppose 2*c - u*c = 15072. Let q be c/20 + (-3 - (-48)/15). Which is smaller: -95 or q?
-95
Suppose -4*a + 12 = -2*r, -2*a = 2 - 12. Let p be r - 130/35 - 2/7. Suppose -3*u = -v, p*u = -5*u - 4*v. Is u > -10/3?
True
Let x be ((-1)/2)/(15/6 - 3). Let f be 0/(-4 - -3) + x + 1. Suppose 0*c + f*d = 5*c + 13, 2*d = -5*c - 17. Is c bigger than -1?
False
Let c be 6/(-2590)*(-3520)/176. Is 2 less than or equal to c?
False
Let z be (-8)/(-12) + (-64805)/(-90). Let d = -721 + z. Let j be (-2 - (1 - 1)) + 2. Which is greater: d or j?
j
Let o = -7132 + 7131. Let x be 105/(-202) - 6/(-12). Are x and o unequal?
True
Let g = 121.3 + -113.3. Let c be (-2)/((-108)/(4 + -8)). Which is smaller: g or c?
c
Let q = -23 - -29. Let g be (4/9)/(28/q). Is -4 bigger than g?
False
Suppose -4*k = 16, 0 = 4*t - 5*k + 2*k - 16. Let u = 62833.34 + -62834. Which is bigger: t or u?
t
Let z = -11419 - -11420. Are z and 4240 equal?
False
Let g(r) = -2*r - 9. Let k(m) = 5*m + 19. Let z(p) = -13*g(p) - 6*k(p). Let b be z(4). Let w(j) = j**3 - 9*j**2 + 9*j + 13. Let f be w(3). Does b = f?
False
Suppose 0 = 31*d - 82*d - 1326. Do d and -26 have different values?
False
Let d be (15/18)/(-5) - 71/6. Let n(c) = 19*c + 231. Let w be n(d). Which is greater: 41/11 or w?
41/11
Let m be (-4)/2*(-6 + 16/((-15936)/(-7038))). Which is bigger: -1 or m?
-1
Suppose -m = 4*i + 368, -3*i = 15*m - 19*m - 1453. Is -350 < m?
False
Let h = 1.78 - -1.19. Let y = -4.17 + h. Is y at most 2?
True
Let v be 2/2001*-7*(-18)/(-84). Let d = v + 802/90045. Are 0 and d unequal?
True
Let d be (-7847)/57 + (-24)/18. Suppose -5*p + 638 = -337. Let i = d + p. Is 56 equal to i?
True
Let w(c) = c**2 - 4*c + 26. Let a(k) = 2*k**2 - 3*k + 28. Let s(n) = -2*a(n) + 3*w(n). Let m be s(7). Is -69 > m?
False
Let s be 9/15 + 8/(-20). Let u = -22060 - -242688/11. Which is bigger: s or u?
u
Let z be (23 + 819 - 2)/(-2*(-27)/(-140)). Is z >= -2179?
True
Let o = 0.074 - 0.054. Let r = o - -22.98. Let k = -22.93 + r. Which is smaller: k or -1?
-1
Let a = 51411/7 - 7377. Which is greater: -34 or a?
a
Suppose 0 = -5*o - 2716 + 2246. Which is greater: -116 or o?
o
Let u = -15.84 - -15.94. Which is greater: -10.97 or u?
u
Let j = -8285/7332 + 59/156. Let v = 3064/33793 - 4/719. Let a = j + v. Which is smaller: -1 or a?
-1
Suppose -5*y = -s, 2*y + 3*y = -5*s + 30. Let x = -110 - -108. Let a be x - (-11)/((-165)/(-48)). Which is smaller: y or a?
y
Let o(g) = 13*g**2 + 407*g + 1493. Let f be o(-27). Let x be ((-4)/(-3))/((-3)/(-297)). Let u = x - 926/7. Is u at least as big as f?
True
Let z = 288/163 + -510298/288999. Let c = z - 1532/310275. Which is smaller: c or 1?
c
Let z be (-8710)/2814 + ((-4)/3 - 0). Is -5 at most as big as z?
True
Let k(m) = -7*m + 1. Let l be k(-1). Let p be 6*(-4)/(l/(-9)). Let r(b) = b**3 + 95*b**2 + 2*b + 218. Let a be r(-95). Do p and a have the same value?
False
Let n = 21 + -21. Suppose 3*j - 3*w - w + 851 = n, -w + 854 = -3*j. Let g be (-2)/((-200)/j) - (-3 - 0). Is g less than -1?
False
Let n be (1 + 0 - 2)*2/(-2). Is -2/4511 equal to n?
False
Let y = -50 - -56.16. Let i = -0.84 - y. Which is greater: -2/23 or i?
-2/23
Let y = 190 + -97. Let i be y/(-15) - (-7)/(-14)*-2. Is i < -5?
True
Let q be 14/743*(-27)/12*520/468. Is 1 greater than q?
True
Let i = -150305/505198 - -3/13654. Which is smaller: i or -1?
-1
Let d = 5632 + -5690. Are d and 2 nonequal?
True
Let r = 0.156 - -74.844. Let s = 73 - r. Which is smaller: s or -3?
-3
Suppose 5*s = -3*u - 192 - 3, -s = -5*u + 67. Let c be (-9)/(-12) - (-3383)/(-68). Do s and c have the same value?
False
Let y = 79 + -46. Let b = -362 - -357. Which is bigger: y or b?
y
Suppose 0 = 2*u - 5 + 35. Let g be 13/u + 7/35. Are -1/259 and g unequal?
True
Let v = -92 + 114. Let a be (15 - 11)*(v/(-4) + 0). Is -22 bigger than a?
False
Suppose 126*u = 131*u - 20. Let p be (5 - u) + (-68)/66. Let k = 1 + -1. Which is bigger: p or k?
k
Let g = -34 - -34. Suppose 0 = -g*h - 2*h - 4*n + 2, 4*h - 5*n + 35 = 0. Which is greater: -6 or h?
h
Suppose -1035*r = -1036*r - 1. Suppose v + 2 = 5. Which is bigger: r or v?
v
Let f = 10706.4 + -10704. Are 68 and f equal?
False
Let f be -6 + (-6)/(-69) + 347970/230. Which is greater: f or 1505?
f
Let c = -59 - -58.844. Let s = c - -6.156. Is s less than or equal to 1/9?
False
Let r = -1.3 - 2.7. Let y = r + 3. Suppose 17 - 107 = -5*z + 5*w, -2*z + 4*w + 26 = 0. Is y less than or equal to z?
True
Let y = 246.545 + 0.455. Let p = 246.4 - y. Is -0.09 >= p?
True
Let v = 1.5449 - -0.4551. Which is smaller: 3.255 or v?
v
Suppose -376*p + 6 = -374*p. Let a be p*(112/(-48) + 2/1). Are 1/116 and a equal?
False
Let n be (4/(-6))/(12/(-390)). Suppose -12 - 6 = -5*r - 2*v, r - 2 = -2*v. Suppose 5*w - 79 = -5*u + 21, 0 = r*w + 3*u - 83. Which is greater: w or n?
w
Let p = 10763 + -10753. Suppose s + 25 = m + 9, 32 = 2*m - s. Which is smaller: m or p?
p
Let n = 424 + -603. Let v = -304 - n. Which is smaller: -1 or v?
v
Let f = 5074 + -538. Suppose 23*v + 1168 = -f. Which is smaller: -2/7 or v?
v
Suppose 3*x - 2*n - 7 = -4*n, -2*n + 5 = 5*x. Let z = -3930.07 - -3910. Let p = z - -20.3. Which is bigger: x or p?
p
Suppose 3*v - 3*u = 1668, -4*u = 2*v - 8*u - 1112. Is v equal to 556?
True
Suppose -5*l + 3*z = -26, -2 = 5*z + 8. Let u be (-2*4)/(l + -6). Which is greater: u or 26/9?
u
Suppose -5*s + 30 = -4*b, -5*b - 19 = s + 2*s. Suppose -s*u + 5 = 1. Let i be (120/70)/(u/7). Is i bigger than 0.1?
True
Let q be (-3 - -4) + 4 + 85. Let o be -2 + q/(-21) + 2. Suppose 10*z - 142 = -182. Which is greater: z or o?
z
Suppose -4*h + 3*h + 7 = -5*q, 0 = 3*q - 6. Su