/(-5). Let i = u - 8. Let s be o(i). Are s and -1/3 equal?
False
Let a(y) = -7 + 3*y - 1 - 4*y + 0. Let b be a(-7). Which is smaller: b or -3/13?
b
Let y be (-10)/(((-7719)/(-87))/1). Let w = y + 4/83. Is w not equal to 0?
True
Suppose 4*h = -5*t + 109, -3*t - 4*h + 19 = -48. Is 19 < t?
True
Let v(t) = -4 + 0 - 2 - t - 5. Let r be v(-12). Do 3 and r have the same value?
False
Let u(g) = g**2 - 7*g + 5. Let o be u(6). Let i be o + 1/((-3)/(-3)). Is i less than -4?
False
Let t(a) = -7*a + 1. Let g(p) = 4*p. Let w(n) = -5*g(n) - 3*t(n). Let h be w(6). Is h at least 4?
False
Suppose 2*k = -3*p - 133, -202 - 123 = 5*k + 5*p. Let y be 5/(-15) + k/(-150). Which is smaller: y or -1?
-1
Let k = 18.4 + -3.4. Is 1/2 > k?
False
Suppose 5*w + 3*b - 5 = 24, 2*w + 7 = 5*b. Suppose w*u + 0 = -o + 9, -o - u + 3 = 0. Is o greater than 2/23?
True
Let w = 110 - 109. Is w < 11/7?
True
Let o = 63010/7 - 9019. Is -17 > o?
True
Let h be 1 - -8 - 3 - 3. Suppose 19 + 5 = h*c. Suppose 6*n = c*n. Is n at most as big as 1/3?
True
Let x = -10 - -13.7. Let j = 0.7 - x. Let z = -2 + 4. Which is greater: j or z?
z
Suppose 0*n = 2*n - 6. Suppose -j = f, -14 = -5*f + n*f + 5*j. Is f greater than 0?
True
Suppose -3*r - 7 = -2*a, 0 = -a + 3*a - 4*r - 8. Let i be (-1)/a + (-124)/(-8). Suppose -5*d + 4 + i = -2*j, 3*j = -2*d. Do d and 1 have the same value?
False
Let g be 4 - 812/(-204)*-1. Is -1 at least as big as g?
False
Let d = -2 + -2. Let q(c) = -2*c + 3. Let n(o) = 2*o + 3. Let u be n(0). Let w be q(u). Is w at least as big as d?
True
Let p be (4 - 2)/((-2)/(-6)). Let c be (32/24)/(20/p). Let a = 0.3 - 1.3. Which is smaller: a or c?
a
Let p(h) = 3*h + 2*h - h**2 - 5*h + 1 - 4*h. Let c be p(-3). Which is bigger: c or 3?
c
Let x(i) = 0 - 3 + 0*i - 3 + 7*i - i**2. Let y be x(4). Is y not equal to 5?
True
Let c = -0.104 - 0.136. Is -0.1 <= c?
False
Let l = 2 + 3. Let r be l/(-10)*(-1 - -1). Which is greater: 1 or r?
1
Suppose -2*y - 18 = -2. Let v be (-1)/2 - (-4)/y. Let w = v - -2. Is w at most -2/7?
False
Let a(z) = -z**2 + 5*z - 5. Let n be a(4). Let o = 198/17 + -11648/1003. Let l = 108/295 + o. Which is greater: n or l?
l
Let w = 10 - 14. Let l = -7 - w. Let o be (2/(-28))/((-1)/4). Which is smaller: l or o?
l
Let m be (-254)/(-7) + 16/(-56). Let g be ((-8)/m*3)/(-1). Which is smaller: 0 or g?
0
Suppose 0 = -3*k + w, -8*w - 10 = -5*k - 3*w. Let h = -5 + 7. Let b = h - 3. Is k greater than b?
False
Let p = 0.013 + 9.987. Is -1 bigger than p?
False
Suppose r + 2 = 1. Is r less than -2?
False
Let j = 0.11 + -1.11. Let k = 8 - j. Which is smaller: k or 0?
0
Suppose -4*l = -2*d + 4*d - 8, -5*d = 2*l + 12. Which is greater: d or 0.2?
0.2
Let y = -21 + 25. Is y < -2?
False
Let j(f) = f**2 - 10*f + 8. Let z be -1 - 2/(6/(-9)). Suppose -2*n - 3*p = z*n - 27, 3*n - 4*p = 39. Let u be j(n). Which is greater: -1/6 or u?
-1/6
Suppose -23 - 9 = 4*l. Let t be (2/(-117))/(l/24). Which is smaller: 1 or t?
t
Let v(g) = -g**2 + 5*g + 3. Let p be v(5). Suppose 0 = 5*q - 2*i - 4, -3*i - 4 = -3*q - i. Which is smaller: q or p?
q
Suppose 5*h + p + p - 12 = 0, -2*h + 28 = -5*p. Suppose -h*b - 5*o + 2 = 16, 2*b - o = 0. Is b >= -4?
True
Let n(j) = -j - 5. Let s be n(-5). Let p be -18 + (18/2)/(-3). Let u be 12/p*7/(-3). Is s > u?
False
Let z = -15 - -19. Let r = 5 + -8.8. Let n = z + r. Which is bigger: -0.2 or n?
n
Suppose -1 = 2*u - 17. Let m be 10/u*(-6)/(-15). Which is smaller: m or 0?
0
Let y(m) = -m**3 + 2*m**2 + 3*m - 1. Let a be y(2). Suppose a*d + 0*d - 35 = 0. Suppose -3 = 5*u + d. Is -3/5 >= u?
True
Let z be (-2)/10 + 168/40. Suppose z*i + j + 7 = 0, -4*i = -5*j + j + 12. Let t be (1/(-6))/((-10)/(-75)). Are t and i non-equal?
True
Let d be (-2 - (-132)/70)/(8/(-20)). Is d at most as big as 8?
True
Let f be (-2)/(-4)*72/(-126). Which is smaller: f or 2?
f
Let c be (-7)/35 - 136/(-30). Is c at most 3?
False
Suppose -3*p - 11 + 2 = -c, 0 = -4*p - 4*c - 12. Do -3/2 and p have different values?
True
Let l be ((-11)/(4290/(-12)))/((-3)/(-15)). Let n(i) = i**3 - 6*i**2 - i + 7. Let d be n(6). Which is smaller: d or l?
l
Suppose 3*h = -h + 4. Let b be h*-18*2/(-3). Suppose -4*s = -0 - b. Is 3 smaller than s?
False
Let p(l) = -l**3 + 3*l**2 - 4*l + 3. Suppose -4*b = -2*b - 4. Let h be p(b). Do -1 and h have the same value?
True
Let b be (-1 + (0 - 1))*-2. Suppose 2 + b = -3*j. Let l be (j/(-15))/(2/(-20)). Do -2 and l have the same value?
False
Let b = -2 - -3. Let j be (-1)/b - 2 - 0. Let u be (2/j)/((-14)/(-6)). Is 0 < u?
False
Let t(w) = -w - 4. Let i be t(18). Is 1 smaller than i?
False
Let m = 26 - 26. Is m greater than 2/23?
False
Let y be 2 + (2 + (-5 - 0))/1. Let p = -105 - -1993/19. Is p greater than y?
True
Let a = 8 - 14. Let q = 5 + -13. Let j = q - a. Is -3 >= j?
False
Let p be 4 - (154/6)/7. Which is smaller: p or 2?
p
Let i = -2.1 + 2. Let c = 1.88 - 1.7. Let u = c - 0.08. Which is smaller: i or u?
i
Let x be 2 - (0 + 0/(-3)). Suppose 2*f + 5 = 5*s, -3*f = -x*f + s + 6. Let t = -5 - f. Which is bigger: -1 or t?
t
Let d be 6154/(-90) - 2/9. Let n = -69 - d. Let b = 1 + 1. Which is smaller: b or n?
n
Let x = -30.8 - -9.8. Is x greater than 1?
False
Let s be 6/(-2) - (4 + 4/(-4)). Which is bigger: -5 or s?
-5
Let b be (-6)/(-15) + 154/(-10). Let u = -9 - b. Which is smaller: 5 or u?
5
Suppose -2*g + 15 = 5*z - 0*g, -3*z + 2*g + 9 = 0. Suppose -2*n = 4*i + 5 + z, -5*n - 20 = -2*i. Which is greater: 6/7 or i?
6/7
Let y = -4.6 - -5.6. Which is smaller: y or -2?
-2
Let v = 12 - 7. Is v at most 4?
False
Let i(d) = 5*d**3 + 36*d**2 + 3*d - 25. Let u(c) = 2*c**3 + 12*c**2 + c - 8. Let b(z) = -3*i(z) + 8*u(z). Let p be b(12). Is -2/9 <= p?
False
Suppose z = -5*l + 5, -2*l + 2 = -3*z + 4*z. Let a = 0 - z. Suppose -2*k - 2*k = a. Which is smaller: k or 1?
k
Let o = -6.53 - -7.6. Let x = o - 0.07. Do x and 1 have the same value?
True
Let h be 15/(-3) - -3 - -5*1. Are 6 and h equal?
False
Let c = -56 + 53.38. Let s = c - -2.6. Is s != 0.1?
True
Let d(x) = -6*x + 4. Let m be d(-3). Which is smaller: 23 or m?
m
Let t = 3.2 - 2.2. Which is bigger: t or -2/15?
t
Let c be -1*(-2)/((-4)/6). Let y = 0 + c. Let z be (y - -4) + (-3)/2. Which is greater: z or -1?
z
Suppose 12 = -5*s + 2*y, 5*s - y = -0 - 11. Which is smaller: -5/8 or s?
s
Let y = -21 - -15. Let v = -6.4 - y. Let r = 3.6 - v. Which is smaller: -0.2 or r?
-0.2
Let h = -67/518 - 1/74. Let w be (28/6)/(-2) + 2. Is w at most as big as h?
True
Let v be (9/12)/((-1)/(-8)). Let i be 1/v*9/6. Is -9 not equal to i?
True
Suppose -r - 8 = g, 32 = -3*g - 8*r + 3*r. Let a(q) = q - 3. Let u be a(4). Is g at most as big as u?
True
Let x = -0.147 - -0.547. Let b = -2 - -1.9. Which is smaller: x or b?
b
Suppose 4*u - 3*u = -4. Are u and -1 non-equal?
True
Let y = -13 - -18. Suppose n - 2*v = -y*v - 4, -5*n = -2*v - 14. Is -2/5 at most as big as n?
True
Suppose 0 = -0*v - v + 6. Which is smaller: v or 13/2?
v
Let h = 0.02 - -0.3. Let l = -0.02 + h. Let a = -15/7 + 23/14. Which is smaller: l or a?
a
Let q = 66 - 96. Let f be ((-7)/42)/(2/q). Let i(s) = s**3 - 5*s**2 - 6*s + 2. Let j be i(6). Which is smaller: f or j?
j
Suppose -4*i - 5 = -5. Which is smaller: i or -0.029?
-0.029
Let v = 5 - 12. Let c = 7 + v. Let x be (-3)/((315/6)/(-5)). Which is bigger: x or c?
x
Suppose -2*w - 5*k = -4, 5*k = -3*w + 3*k + 6. Let f = -37 - -40. Which is smaller: f or w?
w
Let j be (-12)/42 + (-88)/(-14). Suppose -3*t - j + 3 = 0. Which is smaller: t or 1/2?
t
Suppose u + 5*v - 3 = 4*v, 3*u - 4 = 2*v. Suppose -12 = 4*c, -3*c - 5 = -u*y + 3*y. Which is smaller: 2 or y?
2
Let g = 15 - 11. Suppose g*b + 16 = -0. Let n = -13 - -21/2. Is n smaller than b?
False
Let r(v) = -3*v**2 - 11*v - 13. Let z be r(-4). Which is smaller: 1/5 or z?
z
Suppose -47*f - 47 = -0*f. Let n be (3/16)/(18/8). Which is bigger: n or f?
n
Let w = 8 + -11. Let q(m) = -m - 2. Let z be q(w). Is z bigger than 1?
False
Let o be (8/(-42))/(6/9). Which is smaller: 0 or o?
o
Let m be (-3)/(-3) + 9/3. Suppose 3*f + 44 = m*z + 7*f, 5*z - 20 = 2*f. Which is greater: 5 or z?
z
Suppose 3*f - 9 - 2 = -5*p, 5*f - 1 = -4*p. Let w be (-1)/2 + (-18)/(-20). Is p > w?
True
Let v(m) = m**3 - 2*m**2 + 2*m. Let n be v(2). Let h be 26/(-6) - n/(-12). Does h = -8/3?
False
Suppose 4*d - 8*q = -3*q + 10, -5*d + 2*q + 4 = 0. 