 o or h?
h
Let h be 4*1*(-6)/3. Which is smaller: h or -10?
-10
Let m = -1.1 + -3.7. Let c = m + 4. Let j = -0.8 - c. Which is smaller: j or 0.2?
j
Let c = -7 + 12. Let r = 4 - c. Which is greater: -3/2 or r?
r
Suppose -4*s - 13 = -21. Which is bigger: s or 16/7?
16/7
Suppose 0 = -11*p + 10*p - 2. Are 4 and p equal?
False
Suppose 0 = 4*x - x + 204. Let t be (6/x)/((-36)/48). Let u be 1/(-2)*(1 - 3). Is u less than t?
False
Suppose 0 = -o - o + 10. Let v = o + 13. Let b be (-5)/v + (-10)/45. Which is greater: b or 0?
0
Suppose 35*a - 23*a + 36 = 0. Are -13 and a non-equal?
True
Let i = -0.08 + 3.08. Let y = 3.1 - i. Is y >= -1?
True
Let t be (-1 - (5 - 2))*-2. Suppose 0 = -4*v - 0 + t. Let p be (v/8)/(6/(-8)). Is p > 0?
False
Suppose 0 = f + 2*i + 3, -4*f - 5*i - 4 = 11. Let j = f + 7. Suppose 0 = h - 0 + j. Is 1 less than h?
False
Let g = 12/139 + 913/695. Is 2 < g?
False
Suppose 4 = -2*r + 4*r. Suppose -2*v + 2 = -v. Let y be 24/14 - v/(-7). Is y bigger than r?
False
Suppose -10 + 16 = -3*q. Which is smaller: 1/8 or q?
q
Let c be (-4)/(-6) + 4/12. Let a be 0/(4 - 1) - 0. Suppose a = -3*b - 0*b. Are c and b non-equal?
True
Let b be ((-3)/2)/(4/24). Is b smaller than -11?
False
Suppose 5*p - 3*v + 1 = 0, 0 = -p - v - 3 + 6. Is -1/3 bigger than p?
False
Suppose -13 = c - 4*w - 1, 0 = 5*c + 5*w - 15. Suppose c*b - 6 = 3*b. Is b less than or equal to -1?
True
Let w be 5/(-4)*(-24)/(-60). Are -2 and w non-equal?
True
Suppose 14 = 11*o - 10*o. Are o and 14 non-equal?
False
Let p(h) = h**3 - 4*h**2 - 5. Let f be 2 - 3/6*-4. Let j be p(f). Is -5 at most j?
True
Let u = 122/285 - 8/15. Which is smaller: -1 or u?
-1
Suppose 9 = 8*g - 5*g. Suppose -3*u = -g*h - 18 - 3, -5*h - 33 = -4*u. Which is greater: -1 or u?
u
Suppose -5*r - 16 = -l + 14, -3*l - 2*r + 39 = 0. Let t be 6 + 2 + (-4 - 0). Let y be t/l - 8/(-20). Is -1 < y?
True
Suppose 2*k + 36 = -4*i, -15 = 2*i + 2*k + 5. Suppose w + 4 - 1 = 0. Is w at most as big as i?
False
Suppose -5*o - 4*o + 324 = 0. Which is greater: 38 or o?
38
Let q(z) = z**3 - 3*z**2 - 3*z - 2. Let n be q(4). Suppose -5*c + 19 = -2*c - 4*b, c - 3*b = -2. Let f = 14 - c. Which is smaller: f or n?
f
Let d = 27844/11 + -2534. Which is bigger: d or -2?
-2
Let g(r) = -3*r + 18. Let d be g(8). Is -22/3 equal to d?
False
Let r be (-2)/20*(-335)/(-14). Let w = r - -22/7. Let o = 0.1 - 0.1. Which is greater: w or o?
w
Let f(n) be the third derivative of n**4/24 + n**3/6 + 2*n**2. Let t be f(1). Suppose 2*k + 0*k = -4, -r + 5*k + 10 = 0. Is t equal to r?
False
Suppose a = -2*a. Let y be 10 - 1/(-2)*a. Suppose y = 2*q - 3*h - h, 0 = 4*h + 8. Is q smaller than 0?
False
Suppose -3*g = 4*w - 28, -g - w - 3*w = -20. Suppose g*u - 31 = 33. Suppose 5*q = 4*x + 19, 2*x + u = 5*q - 1. Which is smaller: 1 or q?
1
Let s be ((-1)/(-2)*-1)/((-18)/1872). Which is smaller: s or 53?
s
Suppose 3*x = 3*n - 12, -n - 8 = 4*x - 3*n. Which is greater: 10/19 or x?
10/19
Let g = 0.6 + 4.4. Is g < -1?
False
Let a be -1 + (0 - (-2 + 64/28)). Which is greater: a or -2?
a
Let t(q) = -q**2 + 2*q + 3. Let d be t(3). Let v be ((-804)/114 - -7)/(3/3). Which is smaller: v or d?
v
Suppose -7*i + 26 = -3*i - 5*z, 2*i - 4 = -2*z. Suppose i*n + 24 = -0*n. Is -6 less than n?
False
Let t = -18 + 20. Suppose -2*j - 4 = -t. Is -1 > j?
False
Let n = -31 + 19. Let r = n + 11.3. Let m = -0.7 - r. Which is greater: 1 or m?
1
Let z(b) = b**3 - 13*b**2 + 11*b + 13. Let w be z(12). Suppose 4 = 2*f - f. Suppose c - w = -3*p, -f*p + 2*c = -0*c - 8. Is p greater than or equal to 2?
False
Let q be (2 + 34/(-4))/(1/2). Is q <= -14?
False
Let j = -22 - -21. Is j less than or equal to -1?
True
Let h = 3 - 6. Let f be 8/6*9/h. Is f >= -4?
True
Let t(u) = u - 1. Let q be 3/6 - 51/(-6). Let s = q + -6. Let h be t(s). Which is smaller: h or 1/2?
1/2
Let l = 0.13 - -0.07. Which is smaller: -14 or l?
-14
Let z = -84 - -418/5. Which is smaller: z or -0.04?
z
Let d = 49.96 - 50. Which is smaller: d or 1?
d
Let n be (5 + (-445)/105)/((-18)/21). Let u be 1/2 + (-2)/4. Is u less than n?
False
Let w be 2/3*(-114)/(-4). Let k = w - 18. Are k and 1/4 nonequal?
True
Suppose 13*j - 16*j + 3 = 0. Which is greater: -4/11 or j?
j
Let x(m) = -6 + 6*m**3 - 4*m**2 - 5*m**3 + 3 + 3*m. Let g be x(3). Which is bigger: g or -1?
-1
Let w(b) = -16*b + 4. Let n be w(4). Let y be (1275/(-21) - 2) + 3. Let f = y - n. Which is bigger: -1 or f?
f
Suppose 0 = 5*l - 23 - 2. Suppose -4*z + 2*s = -26, z = -2*z - 5*s. Let n be z/(l/(-2)) + 1. Is n at most -1?
True
Suppose 0*f = 5*f - 70. Let x be (4/f)/((-3)/(-21)). Is 4/7 less than x?
True
Let x = -43/4823 - 1/273. Are x and 0 equal?
False
Let k be (-2)/5*(-10)/4. Is k greater than 1?
False
Let s = -0.35 - -0.05. Let m = 2 - 2.4. Let v = m - s. Does v = 0.1?
False
Let s(p) = -p + 3 - 6*p**2 - 9*p**3 + 10*p**3 + 0*p**2. Let n be s(6). Let i be (-2)/(-1*(n - -2)). Which is smaller: i or 0.2?
i
Suppose 2*h = -3*l - 6, l + 2*l + 3*h + 9 = 0. Does l = -7/6?
False
Let a be 8/20 - 423/1045. Are 1 and a nonequal?
True
Let b = 1 + 2. Suppose 2*q + 3*i = b, 4*i + 2 = -2*q + 8. Let m be (-2)/q + 2 + -4. Is m smaller than -1?
True
Let o = 19 + -20. Which is greater: o or 2/27?
2/27
Suppose 0 = 5*w + 5*m + 115, -5*w + 2*m - 74 = -w. Let q be (-25)/w*6/(-20). Which is bigger: q or 1?
1
Suppose 5*g + 40 = 5*m, -4*g = 5*m - 22 - 18. Let k = m + -8. Suppose -4*i + 0 = -4. Which is bigger: k or i?
i
Let t = -6/7 + 19/14. Let j = 5 - 5. Suppose j = -2*v - 2*v. Is v <= t?
True
Let y be (-10)/4*(-3 + 1). Let v be ((-1)/2)/(y/(-10)). Let a be 2/6*(v + -2). Is -0.1 at least a?
True
Let f be -2 + 24/15 + 55/25. Is f <= -1/3?
False
Let h = -114 + 2165/19. Which is bigger: h or -1?
h
Let m be (-6)/27 + 374/(-18). Suppose 2*p + 43 = -u, 0 = -0*u - u - 3. Is p > m?
True
Let y be (-153)/(-405) + (-6)/10. Do y and 1/4 have the same value?
False
Let n(m) = -m**3 + 2*m**2 - 2*m + 2. Let u be n(2). Let g = 17 + -53/3. Which is greater: u or g?
g
Let s(f) = -42*f**3 - 1. Let b be s(-1). Suppose b = -3*g + 5*v, -3*g = -4*v - 19 + 56. Let q be (-32)/(-6)*(-9)/6. Which is smaller: q or g?
q
Let g be -1 + 1 + -1 - 0. Let q = 2 - -1. Let i be 0*2*q/(-18). Which is smaller: g or i?
g
Suppose -j + 7 = 8. Is j greater than 2/13?
False
Let z be (-1)/(-3)*(-3852)/8853. Let l = z + -2/227. Do -2 and l have different values?
True
Let k(h) = h + 22. Let c be k(-15). Which is smaller: c or 5?
5
Let w = 34 - 34. Is 0 at most as big as w?
True
Let l be 96/5*(5 - 0). Let q = -10 + 6. Let a be q/22 - l/(-44). Which is smaller: 3/4 or a?
3/4
Let h = 15 - 4. Let j = 16 - h. Let r = 5.1 - j. Which is smaller: -1/3 or r?
-1/3
Suppose 15*a + 96 + 99 = 0. Is -16 at least a?
False
Suppose -5*k + 20 = 4*p + p, -3*p + 2 = -2*k. Suppose -p = 3*w - w. Is -2/31 less than or equal to w?
False
Let w = -9 + 9. Let k(q) = -5*q + 3. Let b(t) = -t. Let s(f) = -6*b(f) + k(f). Let y be s(-3). Is w less than or equal to y?
True
Let b(h) = 2*h**2 + 11*h - 11. Let a(c) = c**2 + c - 1. Let z(n) = -3*a(n) + b(n). Let k be z(7). Let f = 15/29 + -207/232. Which is smaller: f or k?
k
Let z be (-5)/(15/12) - -3. Which is bigger: z or 3/107?
3/107
Let z = 36.2 - 33. Let u = z + -19.2. Which is bigger: -2/7 or u?
-2/7
Let p be 7/(7/(-2)) + 20. Suppose -2*i - p = 3*o - 8*o, 0 = 4*o - 2*i - 16. Is 5/4 at least o?
False
Let k(x) = x**3 + 5*x**2 + 4*x - 1. Let a be k(-3). Let f = -8 + a. Which is greater: f or -9/5?
-9/5
Suppose -4*r - 10 + 26 = 0, -d - 8 = -2*r. Let h = -90 - -45. Let z be ((-3)/(h/(-3)))/(-1). Which is smaller: d or z?
d
Let f = -4/81 + -13/1377. Which is bigger: 1 or f?
1
Suppose 0*v - 4*v + 4 = 0. Let h be (2 - 4/2)/(-2). Suppose 0 = -3*a + 3*d, h = 4*a - 5*d - 2 + 1. Which is bigger: a or v?
v
Let c = -5740/19 + 302. Which is smaller: c or -1?
-1
Let v be 24/4 + (-4)/4. Suppose -3*c - 2 = -n, -5*n = -v*c - 2 - 8. Is 0 greater than or equal to c?
True
Let b(z) = 6*z - 2. Let l be b(2). Let c be 4/l - (-57)/(-105). Is c at least 0?
False
Let n = -13/33 - -2/33. Let w = -3 + 5. Is n less than or equal to w?
True
Let v = -4 + 2. Which is greater: v or -4?
v
Let b be 2 - (-3 + 4 + -17). Let q = 19 - b. Which is smaller: 4/9 or q?
4/9
Let b = -0.82 - -0.72. Which is smaller: b or -1/18?
b
Suppose 3*l = 4*n + 1, 0*l = -4*l - 2*n + 16. Suppos