ppose 2*o - 3*o = -1. Suppose 2*x = 3*x + 1. Which is greater: o or x?
o
Let c be (-1 - -3)/(8/(-36)). Is c greater than -9?
False
Suppose 9 = 2*f - f. Let j = -11 + f. Which is smaller: j or 0?
j
Suppose -t = 4*t - 5. Which is smaller: 1/14 or t?
1/14
Suppose 8*j = 3*j + 15. Let q = j + 0. Is 3 less than q?
False
Suppose z - 3*z = -6. Suppose -4*l = l + z*o - 37, -2*o + 13 = l. Suppose -s = -4*i + 11, l = -5*s - 3*i - 4. Which is smaller: -4 or s?
-4
Suppose 2*f = -r, 4*f = 1 - 5. Let b = r - 4. Is b >= -3/5?
False
Let p be 2/(-3) + (-14)/(-3). Let i be (2*-1)/(p/(-6)). Is 4 at least as big as i?
True
Let q be 16 + 3/(-12)*-4 + 0. Which is bigger: q or 19?
19
Let q(n) = -n - 3. Let f be q(-7). Is f != 6?
True
Let s(u) be the first derivative of u**3/3 + 9*u**2/2 - 7*u - 4. Let m be s(-10). Is m greater than 4?
False
Let r = 11 + -9.6. Let t = -4.4 + r. Is -3/2 < t?
False
Suppose 6*z = z - 60. Let w be (z/(-105))/(2/5). Which is smaller: 0 or w?
0
Let b = -0.7 - -1. Which is bigger: 0 or b?
b
Let z be (5 + -7)*1/(-2). Let p = 0.9 + 5.1. Is p != z?
True
Let n be (1 - (-3)/(-4))*62. Let t = 15 - n. Let j = -1 + 2. Is t at least j?
False
Let l(t) = -t**3 + 5*t**2 - 1. Let r be l(5). Let y be (-2 + 2 + -1)*1. Let i(a) = 3*a + 1. Let g be i(y). Which is smaller: g or r?
g
Suppose 0 = 6*j - 2*j + 32. Which is bigger: j or -7?
-7
Let i = -18 + 1133/63. Do -1 and i have the same value?
False
Suppose 5*f + 4*d = 70, -2*f - 3*d = 3*f - 75. Let x be 806/(-585) - 4/f. Which is greater: x or -1?
-1
Let l = 4324/7 - 616. Which is bigger: l or 3?
3
Let d be ((-64)/44)/8 - 4/(-22). Suppose 4*r - r - 2*l = -1, 5*l = r + 9. Which is bigger: r or d?
r
Let z = 766 + -496. Let i = 1343/5 - z. Which is greater: i or -2?
i
Let z be (24/(-10))/((-1)/5*2). Is 8 greater than z?
True
Suppose -3*t = -8*t - 1010. Let s be (-2)/1 + t/(-94). Let r = s + 139/329. Is r != 1?
True
Let o(c) = -c**2 - 7*c - 4. Let s be o(-6). Is 2 smaller than s?
False
Let a = -1 - -2/3. Let i(q) = 2*q - 8. Let v be i(4). Which is smaller: a or v?
a
Let j = 248/5 - 50. Let k = -6 - -5. Is j less than or equal to k?
False
Let s be 0*-1*(-1 - -2). Let w = 5 - s. Which is smaller: 3 or w?
3
Let c be (10/4)/(3/(-6)). Let l(k) = k + 7. Let m be l(c). Is m bigger than 6/7?
True
Let y = -23 - -36. Suppose -j = -4*j + 4*f - y, 3*j + 2*f + 7 = 0. Let s(a) = -a**2 - 5*a - 4. Let g be s(j). Is 3 at most g?
False
Let h = -10 - -7. Let g = h - -2.5. Let i(c) = -c + 5. Let n be i(6). Which is bigger: g or n?
g
Let l be (-5)/(-2) - (-2)/4. Suppose -l*z - z + 8 = 0. Suppose -3*j - 3 = -i - j, 0 = z*i - j. Which is smaller: i or 0?
i
Let s be (-24)/4 - 0/(-1). Let l be (-2)/s - 2967/(-36). Let c = l - 82. Are 2 and c equal?
False
Let c(s) = 2*s - 3. Let j be c(3). Suppose 21 = -j*f - 3*t, 2*f - 3*f = -4*t - 18. Let i = f + 3. Which is bigger: 5/6 or i?
i
Suppose -4*a = -5*a + 1. Are a and 0 non-equal?
True
Let b(k) = k**2 + 2*k - 2. Let g be b(-4). Is g at least as big as 5?
True
Let m = -57 + 52. Let d = -2 + -1. Does m = d?
False
Suppose 0 = m - 0*m + 18. Let f = -38 - -19. Which is smaller: m or f?
f
Let u = -2.6 + 2. Let i = -0.4 - u. Let o = 0.2 - i. Is 0.2 less than or equal to o?
False
Let s(z) be the first derivative of z**4/4 + z - 3. Let x be s(0). Let n be 1*(x - (2 - 2)). Which is smaller: 0 or n?
0
Let d = -69 - -73. Let c(z) = z**3 + 3*z**2 - 6*z - 5. Let i be c(-4). Suppose -15 = 2*w - i*w - 3*m, 5*m = -5*w + 35. Which is smaller: d or w?
w
Let d(c) = c**2 + 10*c + 2. Let a be d(-8). Let r be 4/(-7) + (-4)/a. Which is smaller: -1 or r?
-1
Let p(r) = r**3 + 5*r**2 - 2*r + 5. Let y be p(-4). Suppose -2*m + 5 = -5*o, 3*o + m = -3*m - y. Which is smaller: -2 or o?
o
Suppose -326 = 3*u - 4*u. Let i = u + -2611/8. Are 1 and i nonequal?
True
Suppose 0*n = 4*n - 8. Which is smaller: n or 4/5?
4/5
Let u be 0*(-1)/2*2. Let g be ((-1)/2)/(3/4). Let s = g + u. Which is bigger: s or -0.1?
-0.1
Suppose -b = b - 6*b. Which is smaller: b or -2/45?
-2/45
Let u be 6/(1/((-16)/6)). Let z be (-20)/(-6)*40/u. Let m = z + 119/15. Which is smaller: m or -1?
-1
Suppose -5*c - 6 = 4*b + 23, 5*c = 4*b - 21. Let p be -2 + (7 - 2 - 0). Let r be (1 - p)*(2 + -1). Which is smaller: r or b?
r
Let k = -0.1 - 0. Suppose 31 = h + 19. Let d be (-1)/7 - h/14. Which is greater: d or k?
k
Let p(h) = h**2 - 3*h + 2. Let f be p(4). Suppose -5*t + 4*t - f = 0. Let r be t/(-4)*40/12. Is -1/4 less than or equal to r?
True
Let p = -3 - -6. Which is smaller: p or -2/5?
-2/5
Let h be ((-27)/(-24) - 2) + 2. Which is greater: -1 or h?
h
Let z(q) = -q**3 + 4*q**2 + 6*q - 6. Let a be z(5). Let n be 18/(-4) + (-2)/(-4). Let f be (-26)/36 - 2/n. Which is bigger: a or f?
f
Let v(x) = -x**3 - 4*x**2 - 4*x + 1. Suppose -5*y - 4 - 11 = 0. Let l be v(y). Let w be 15/21 - l/(-14). Which is smaller: 0 or w?
0
Let t = -0.024 - 0.176. Is t bigger than -1/18?
False
Let p = -0.8 - -8.8. Let y = 0 + p. Let g = y - 9. Which is smaller: g or 0?
g
Let b be (28/12)/((-3)/(-9)). Suppose -5*l = -4*p - 42, 0*p + 3*p - 9 = -3*l. Is b less than l?
False
Let x = -91 - -1363/15. Which is smaller: x or 1?
x
Let c = 1 - -2. Which is bigger: 0.2 or c?
c
Suppose -r - s + 3*s - 8 = 0, -3*r - s = 3. Suppose -3*o + 8*o + 5 = 0, 0 = -5*a - 5*o - 20. Is a at least r?
False
Let g = -7 - -8. Let q(z) = 3*z + 1. Let n be q(g). Which is greater: -0.1 or n?
n
Let o be (-12)/(-3) - (-44)/(-12). Which is smaller: 0.4 or o?
o
Let y = 431930928/4865 - 443916/5. Let k = 1/139 + y. Is k >= 0?
True
Let q = -4 - -3. Suppose 5*z = 25, -4*w = -2*w + 5*z - 79. Let p be (-4)/(-18) + (-3)/w. Is q less than p?
True
Let p be (2 + -2)*(-2)/4. Let g be p/((-2)/(1/(-1))). Which is smaller: g or 3/11?
g
Suppose 5*s = -5*q + 75, 21 = 3*q - s - 28. Let f be (-8)/q - (-2)/(-12). Which is smaller: 2/27 or f?
f
Let d = -0.1 + 1. Let j = -0.1 - d. Let s = 0 + j. Is 2/9 smaller than s?
False
Let h = 263 - 1301/5. Is 4 smaller than h?
False
Suppose -2 = -i + k, 3*i - 14 - 24 = -5*k. Let u(g) = g**2 - 5*g - 5. Let y be u(i). Let r = 3/26 + -79/234. Which is smaller: r or y?
r
Let p = 7.11 - 0.01. Let r = -0.18 + 7.18. Let h = r - p. Is -4 smaller than h?
True
Let m = 2 + -2. Let a = -122/99 + 16/9. Do m and a have the same value?
False
Let y be ((-2)/(-4))/(168/(-16)). Which is greater: -1 or y?
y
Let d = 5 - 3. Is 0.2 at most as big as d?
True
Let s(r) = 3*r**2 - r**2 + 7 - 3*r**2 + 8*r. Let z be s(8). Let b = 4 - z. Does b = -3?
True
Let c = -82 - -74. Is 4 bigger than c?
True
Suppose 5*h = -4*a - 1, -2*h + a + 4 = -7*h. Let o be (-4)/16 + 46/(-40). Which is bigger: o or h?
h
Suppose 5*v - 9 = 2*v. Suppose -3*i + i - 2*o + 46 = 0, -51 = -v*i + 3*o. Suppose 2*q - i = 6*q. Are -6 and q equal?
False
Suppose 6*y - 320 = 2*y. Let c be ((-3)/(-4))/(42/y). Is c smaller than 1?
False
Suppose 18*g - 21*g + 18 = 0. Which is bigger: 3 or g?
g
Let u = -0.2 - -0.3. Let v = 22.8 - 15.8. Are u and v nonequal?
True
Let a = 2 - 6. Let w = 0.1 + 5.9. Let d = a + w. Which is bigger: d or 1/3?
d
Let c = 0.7 - -3.3. Let i = c - 4. Is -1/8 > i?
False
Suppose 7*a - 4*a = 0. Suppose 0 = -4*i - a*i. Is 2 bigger than i?
True
Let n = 19 + -11. Let c = 5 - n. Which is bigger: c or -2?
-2
Let z = -5.9 - -1.8. Let v = -4 - z. Suppose 0 = -5*t + 2 + 3. Which is greater: v or t?
t
Let h = -11 + 9. Which is bigger: h or 3?
3
Let l(f) = 0*f**2 + 4*f**3 - 3*f**3 + 5*f**2 + 0*f**3. Let x be l(-5). Let r = x + -1. Is -4/7 not equal to r?
True
Let r be 1/(-4) - 3/(-6). Is r at least 6/7?
False
Suppose 1 = v + 3. Let t be -3 - (v + 2 - 2). Which is smaller: -7 or t?
-7
Let d = 5.1 + -5. Let n = -6/139 - -459/973. Which is smaller: n or d?
d
Suppose 0 = -3*c + 15, -n - 3*c - 2 = -0*n. Let d = n - -8. Is -8 bigger than d?
True
Let d = -999/7 - -143. Let l(s) = -s**3 - 6*s**2 - 6. Let p be l(-6). Let o(n) = -n - 6. Let r be o(p). Is d at most as big as r?
False
Suppose i - 4*i = -v - 30, -2*i + 2*v + 24 = 0. Let f be (1 + i)*1/2. Suppose -5*z + f*t = -7 - 3, 10 = 5*z + 2*t. Which is bigger: z or -0.1?
z
Let y = -4.92 - -5. Let d = -0.02 - y. Which is greater: -0.2 or d?
d
Suppose 3 = 2*l - 5. Suppose -3*u - 3 = -4*n, -2*u + l*u + 2 = -5*n. Are n and -1/5 non-equal?
True
Let x be (2 - -12)*4/14. Are 1 and x unequal?
True
Suppose -7*u = -6*u - 15. 