Suppose -2*o + 32 + 36 = 0. Let i = 137/4 - o. Let s = 1.2 + -0.2. Which is smaller: s or i?
i
Let h(c) = 2*c**2 - 4*c + 8. Let f be h(7). Let x = 236/3 - f. Is 1 equal to x?
False
Let s be -5*(-2)/35 - (-45)/(-133). Are 1 and s non-equal?
True
Suppose 19*i - 1 = -20. Which is smaller: -3/2 or i?
-3/2
Let t = 3 + -2. Let n = 4 + -5. Which is smaller: n or t?
n
Let m = -3 + 4. Let h(s) = 9*s - 1. Let j be h(m). Suppose 2*n - 5 = 3*y - j*y, y + 5*n - 1 = 0. Is y > -4?
True
Let q(n) = -5*n + 4. Let c(d) = -4*d + 3. Let s(g) = -6*c(g) + 5*q(g). Let i be s(3). Let a(p) = p + 3. Let b be a(-3). Which is bigger: b or i?
b
Let i(n) = -n**3 - 3*n**2 + 9*n - 5. Let g be i(-5). Which is smaller: g or 12/17?
g
Suppose 0 = 5*q + 3*v - 36, q + 4*v = 4 + 10. Let r = -5 + q. Is r != 1?
False
Let i be 1 + -1 + 6 + 0. Suppose -2*g + m - i = 0, -g + m = 2*m + 3. Suppose -4*s + 9*s = -15. Is g greater than or equal to s?
True
Suppose 4*h + 18 = -2*i, 4*i = 3*h - 2*h. Which is smaller: -3/77 or i?
i
Let r(f) = -f**3 + 6*f**2 - f + 8. Let z be r(6). Let k = 3 - 2. Which is greater: k or z?
z
Let t = -7 - -6. Is t > -5?
True
Suppose z - 3*z - 10 = 0. Suppose -5*q + 0 + 4 = 2*c, -q - 4 = 0. Suppose 0 = -3*r - c, -4*h + 3*r + 4 = 12. Are z and h equal?
True
Let c be (1630/75)/(1/(-3)). Let a = c + 2974/45. Which is bigger: 0 or a?
a
Let u(a) = a**2 + 2*a + 1. Let k be u(-1). Let q be (3/6)/(54/8). Are q and k unequal?
True
Let t be (-3)/24 - 309/24. Which is smaller: t or -14?
-14
Let j(q) = -q**3 + 4*q**2 - 1. Let r be j(4). Let t be 5*(-2)/(1 - r). Let a be (-3)/5 - (-27)/(-5). Is t bigger than a?
True
Let y = -8 - -7.7. Let r = -11 - -13. Are y and r equal?
False
Suppose -12*z + 3 = -9*z. Let i = 897/14 - 64. Which is greater: i or z?
z
Let a = 0.1 + -1. Let y = -0.8 - a. Let h = 389/5 + -78. Are h and y equal?
False
Suppose f = 5*f + 12. Let c = -13 - -22. Suppose -z = 2*a - 3 - 0, c = 3*a. Are f and z equal?
True
Let h = -0.7 - -5.7. Let l = -7 + h. Is l at least as big as -0.2?
False
Let x be (-2)/12 - 49/(-6). Are x and 8 non-equal?
False
Let f = -3.03 + 0.03. Which is greater: f or -1/4?
-1/4
Let f be 1/(-3) + 0/2. Let r = -1/9 - f. Let t = -0.3 + -1.7. Is r less than t?
False
Let b = -25/2 + 13. Which is smaller: 4 or b?
b
Let u = -19/91869 - -34844020/124115019. Let k = u - -1/193. Let f = 5 + -6. Is f greater than k?
False
Let u(p) = p**3 + 8*p**2 + 7*p - 9. Let n be u(-7). Let b = 0 + 10. Let v = b + n. Which is smaller: -1 or v?
-1
Suppose 3*i = -3, 0*q + 5*q + 2*i - 8 = 0. Let w be 1*1*q/(-4). Do w and -2 have the same value?
False
Suppose 7*g + 15 - 8 = 0. Is 3/43 less than g?
False
Let s be (-4 + (-133)/(-35))*10/(-18). Let c(l) = -l - 1. Let j be c(-1). Is s <= j?
False
Let x be (1/2)/(25/30). Suppose -3*y + 0*y = 3. Let h be 2 - (y + 1/1). Which is smaller: x or h?
x
Suppose -17*l - 1 = -18*l. Which is bigger: -6 or l?
l
Let h = 4.15 + -0.15. Is h != -0.2?
True
Let h be -7 + -4 + 3/3. Is h less than or equal to -12?
False
Let c be (-3 + -1)/(-4) + 3. Which is bigger: 7 or c?
7
Suppose -f = -6*f - 165. Is -34 smaller than f?
True
Let l = 0.9 + -0.85. Which is bigger: l or 0?
l
Suppose 3*b = -2*b - 4*p - 89, 3*b - 3*p + 48 = 0. Does b = -65/4?
False
Let y be 0/(1/(-1 - -2)). Let h = y - 2. Let n be h*((-1)/2 - 0). Is 1/2 at most n?
True
Suppose -3*f + 4 - 16 = -3*s, -3*f + 5*s = 22. Suppose -5*p + 4 = -f. Suppose 5 = -v - 4*h, 4*v - 5*h - p = -0. Which is smaller: v or -2/7?
v
Let n be (28/78)/((-2)/(-1821)). Let d = 327 - n. Which is bigger: 1 or d?
1
Let w be 91/14*4/2. Which is smaller: 14 or w?
w
Let u(o) = -3*o - 3. Let d be u(-2). Suppose 11 = -4*a + 3, 0 = 3*s + d*a. Let t(p) = -p**2 + 6*p + 9. Let c be t(7). Is s less than or equal to c?
True
Let c(y) be the first derivative of 0*y + 1/2*y**2 - 3. Let g be c(5). Is g at most as big as 5?
True
Let q be 1/(-7)*9 + (-4)/(-14). Which is bigger: 42 or q?
42
Let n = -13/3 - -23/6. Is 0.03 smaller than n?
False
Suppose n = -2*w - 2 + 4, -5*w + 10 = 5*n. Is 20/9 greater than n?
True
Let a be 1 + (-6)/10 - (-3)/5. Is a <= 1/79?
False
Let l = -2 + 3. Let m = -0.6 + 0. Let o = m - 1.4. Is l at most as big as o?
False
Let y = -8 - -4. Which is greater: y or -5?
y
Suppose 0 = 3*x - 2*x - 1. Let k be ((-7)/(-14))/(10*2/24). Which is smaller: x or k?
k
Let i = 22 - 24. Let f be (-6)/10*4/(-6). Is i at least f?
False
Let a(l) = -5*l - 5. Let y be a(-2). Let c be (-4)/(-18) - 156/(-27). Which is smaller: y or c?
y
Let z = -32/9 - -229/72. Which is bigger: z or -1?
z
Suppose x + 2 - 1 = 0. Let q be 150/(-84) + 2/7. Which is bigger: x or q?
x
Let a = -3 + 2. Let x = -20 + 10. Let w = -10 - x. Which is smaller: w or a?
a
Let m be ((-8)/18)/((-24)/36). Which is smaller: m or 3?
m
Let z = -6 + 0. Let g be (-2 - 8)*3/z. Let j = 6 - g. Which is greater: j or -1/5?
j
Let h be 5/(-15) + 1220/(-9). Let p = h + 136. Which is smaller: 0 or p?
0
Suppose 3*z + 3*s - 13 = -4, -25 = -5*s. Let r(m) = m**2 + 2*m - 1. Let b be r(z). Let p(k) = -k**3 + 5*k**2. Let o be p(5). Which is greater: b or o?
o
Suppose 3*g + 3 = -0*g. Which is greater: g or -2/3?
-2/3
Suppose -2*j - 9 = -h - 15, -3*h = 2*j + 10. Is j bigger than 1/17?
True
Let f = -39 + 17. Which is smaller: f or -20?
f
Let s = 2 - 2.2. Let x = 0.075 + 1.925. Is x <= s?
False
Let z be (-4)/(-8) - (-10)/4. Suppose 4*s - z*n = 2*s - 7, 2*s = -2*n - 12. Is -5 greater than or equal to s?
True
Let c be (1 - -1)/(14/(-4)). Let f(g) = -g**3 + 9*g**2 - 1. Let x be f(9). Which is bigger: c or x?
c
Let h = -1.55 + 0.55. Is -0.018 at most h?
False
Let i be -119 + -3 + (-8)/(-2). Is i at least -117?
False
Let g = -0.1 + 0. Suppose 2*k = c - 3, k - 1 = 2*c + 2. Let y be (3/k)/(6/4). Which is bigger: y or g?
g
Suppose -5 = 3*m + 2*m. Let x = -2 - m. Suppose 5*d = 2*d. Do x and d have different values?
True
Let b = -157/2 + 80. Which is bigger: b or 3?
3
Let q be 2*(-3)/12*2. Is q not equal to -2?
True
Let i(u) = -2*u - 1. Let x = 18 - 14. Let n be i(x). Is n less than or equal to 0?
True
Suppose -l - 4*i - 3 = 4, 3*i + 6 = 0. Which is smaller: -2/9 or l?
-2/9
Let s = 3/41 + -91/123. Let y = -1 - -1.08. Let u = 0.02 + y. Are u and s equal?
False
Let j be (-4 + 40/6)*-3. Is -8 smaller than j?
False
Let f be 0 - 4 - 1/1. Are f and -5 equal?
True
Let j be 52/3*45/(-6). Let t be 2 - (-1 - j/42). Is t less than or equal to 0?
True
Let g = 231 + -231. Let t be 34/20 - (4 + -2). Is g < t?
False
Let x(u) = 2*u + 13. Let n be x(-11). Is -11 greater than or equal to n?
False
Let h be (2/(-9))/(-12 + 11). Let b(m) = -5*m**3 - m - 2. Let g be b(2). Let f = 306/7 + g. Do f and h have different values?
True
Let k be 14/4 + (-3)/(-6). Let l be 7/(84/52) + (-2)/(-3). Is k smaller than l?
True
Let u = 10 - 6. Let f = u + -4. Are f and -0.1 non-equal?
True
Let x = 0 + 1. Is x greater than -4?
True
Let b = 21 - 22. Let l be ((-6)/(-8))/(78/16). Is l not equal to b?
True
Let v be (3/31)/(-1 + (-2)/4). Which is smaller: -1 or v?
-1
Let h = 4 + -4. Is h equal to -0.28?
False
Let t be 0 - ((-45)/10 - -1). Which is smaller: -1 or t?
-1
Let p(j) = j**2 + 1. Let r(g) = -g**3 - 10*g**2 - 6*g + 8. Let s(w) = -2*p(w) - r(w). Let h be s(-7). Does h = -1/3?
False
Let q = 7 + -6. Which is smaller: -2/7 or q?
-2/7
Let k = -3 - -2.8. Let w = 0.008 + -2.708. Let o = w + 0.7. Is k at least as big as o?
True
Let o = 798 + -5595/7. Do -2 and o have the same value?
False
Suppose -2*v - 5*f = 5 + 11, 3*f = 4*v - 20. Suppose 0 = 4*b, 0 = q - 4*b + v. Which is greater: q or 0?
0
Suppose 5*n = -5*q + 46 - 16, 15 = 5*q + 2*n. Let p = q + 3. Suppose 9*r = p*r - 5. Is r greater than 0?
False
Let w = -208/7 + 30. Let l(n) = -n**3 - 11*n**2 - 2*n - 22. Let a be l(-11). Is w at least a?
True
Suppose -5*x - 7 = -12. Is 1/14 at most as big as x?
True
Suppose 5*p = 10 + 5. Suppose -2*l - 3*y + 2 = 0, 0 = -2*l + 2*y + p*y + 18. Let f(j) = j**3 - 4*j**2 - 1. Let t be f(l). Which is smaller: 0 or t?
t
Let r be 1 + (1 - 0)*-3. Is -2 at least as big as r?
True
Let d be 11/2 + 1/(-2). Let u be 1/5 + (-1)/d. Which is smaller: u or -2?
-2
Let o = 1172670/217 + -5404. Which is smaller: o or -1?
-1
Let v be 8/6*(0 + 3). Suppose -v*f = -9*f - 30. Is f > -5?
False
Let q = -2/259 + -7501/1295. Is -7 equal to q?
False
Suppose -2 = -r - 3, 2*i + 9 