maller: -3 or u?
-3
Suppose -1 = -2*v + 9. Suppose 0 = 5*c - 2*x - 1 - 1, 2 = -v*c + 3*x. Which is smaller: c or 3?
c
Suppose v + a + a = 8, 2*v = a - 4. Are v and -0.08 nonequal?
True
Let t be 4/(-14) + 128/252. Is -1 less than t?
True
Let a be 4/(-6)*(-21)/(-49). Is 0 at least as big as a?
True
Let s be -20*4/(-56)*(0 - 2). Is 2/7 > s?
True
Suppose 66*i = 64*i - 10. Let z be 2/6 + (-124)/12. Let a be (z/4)/(1/2). Are a and i non-equal?
False
Let d be (-2)/3 + 5/3. Let s = 71 - 72. Which is smaller: d or s?
s
Let h be -1 + (-4)/2 + 1. Let q = -2351/7 - -335. Which is bigger: q or h?
q
Let y be 5 + (-4)/4 - 1. Let l be -3 + y + 4/(-5). Do -2 and l have the same value?
False
Suppose 4*g - 59 + 11 = 0. Let c = g + -4. Suppose -2*v - 5*q = 1, 5*v = -2*q - 0*q + c. Is v at least as big as 2?
True
Suppose -5*r - 2 = -j + 6, -2*r + 7 = 3*j. Let o be ((-33)/(-21) - 4) + j. Which is smaller: 0 or o?
0
Let z be (-452)/8 + 2/4. Let s be (-8)/(-9)*(-6)/z. Which is smaller: s or 0?
0
Suppose -12 = q + 23. Is q > -71/2?
True
Let k = 2 - 3/2. Is 2 smaller than k?
False
Suppose 0 = d + 2*d - 18. Let b be (-106)/(-18) + (-4)/18. Let x = b - d. Does 0 = x?
False
Let l(o) = -3*o - 2. Let z be l(1). Which is bigger: z or -2?
-2
Suppose 81 = 5*h - 2*t - t, -3*h = -5*t - 55. Is h smaller than 15?
False
Let m = 44 + -48. Which is greater: 6 or m?
6
Suppose -8*n + 60 = -3*n. Let g be 0/(-3) + n/55. Let w = -2/11 - g. Which is greater: 2/5 or w?
2/5
Let c = 2 - 2. Suppose 3*v + 3*m = 0, -2*v + 3*m + m + 12 = c. Let h be v - 0 - -2 - 2. Is 2 < h?
False
Let x(o) = -3*o + 10. Let i be x(4). Is 0 > i?
True
Suppose 5*t - 2*g = 4*t - 15, -31 = 2*t - 5*g. Is -15 at least as big as t?
False
Let p be (-247)/182*4/1. Which is smaller: -4 or p?
p
Let t(s) = -s**2 - 4*s. Suppose -8 = -4*c, -5*c + 18 + 4 = -3*v. Let w be t(v). Let o be ((-6)/(-4))/(26/8). Which is greater: o or w?
o
Let o = -1 - -6. Let t be (2 + 0)/(-1*5). Which is bigger: o or t?
o
Suppose -f + 11 = 32. Is f bigger than -21?
False
Let o be 425/(-8)*18/15. Let q = o - -64. Which is smaller: q or 0.2?
0.2
Let l be -3*(260/(-18))/1. Let c = 43 - l. Are -2 and c nonequal?
True
Let n = 5 - 7. Which is smaller: -6/7 or n?
n
Let u = -0.026 + 25.026. Is u > 0.1?
True
Let f(j) = j**3 + 9*j**2 - 8*j - 2. Let v be f(-10). Let k be 8/6*(-99)/v. Is k at least as big as 5?
True
Suppose -17 = 5*f + 5*l - 2, -2*l = 3*f + 8. Which is smaller: f or -17/5?
-17/5
Let w(q) = -q**3 + 3*q**2 + 3*q + 4. Let k be w(4). Is k >= 0?
True
Let f = -1.8 - -1.91. Let p = 1.11 - f. Is -3/5 <= p?
True
Let t(l) = 2*l**2 + 20*l - 24. Let i(f) = -f**2 - 13*f + 16. Let m(c) = -8*i(c) - 5*t(c). Let h be m(6). Let a be (-2)/(-3) - h/(-63). Which is greater: 0 or a?
0
Let o(k) = k + 4. Let t be o(-3). Which is greater: t or 4/9?
t
Let b = 0.2 + 7.8. Let p = -7 + b. Is p greater than or equal to 1?
True
Let d(o) = o + 7. Let j be d(-6). Let m be -4 + ((-134)/34)/(-1). Is m less than or equal to j?
True
Let i = 67 - 332/5. Suppose 6*a - 5*a = 1. Let x be 1 + -1*a + 0. Is x less than i?
True
Suppose 0*t + 3*t - 6 = 0. Let h be 0 - (-143)/(t - 1). Let b = h + -717/5. Which is smaller: -1 or b?
-1
Let l = 687/3010 - 3/215. Is l at most 1?
True
Let o be ((-4)/5)/((-4)/10). Suppose -17 = -4*u + 7. Suppose l - 2 = 3*p + p, -3*l = -5*p - u. Is l greater than o?
False
Suppose 4*w - 1 = 3. Which is smaller: -2/115 or w?
-2/115
Let g(b) = -2*b + 6. Let x be g(6). Let z be 0*(-2 + (-15)/x). Is z smaller than 0?
False
Let w be (-1)/4*320/45. Which is smaller: w or -3?
-3
Let d = -127 + 67. Which is smaller: d or -59?
d
Let t = -9 - -17. Is t at least as big as 9?
False
Let w(l) = l**2. Let x be w(2). Let o be 2/4 + x + -11. Let g = -6 - o. Is -0.2 < g?
True
Suppose -19 = 5*k - x, -5*x = -0*x - 20. Let c(i) be the third derivative of -i**5/60 + i**4/24 - 2*i**2. Let v be c(2). Is k less than v?
True
Suppose 0 = 2*v + i - 2 + 3, 2 = 5*v - 2*i. Suppose 5*x + 15 = 2*n - 7*n, -2*n = -2*x + 2. Is x less than or equal to v?
True
Suppose 0 = -o + 4*o - 3. Let r(h) be the third derivative of h**4/8 + h**2. Let g be r(o). Is 2 less than g?
True
Let t = 0.3 - -3.7. Let r = -3.8 + t. Is 0.2 bigger than r?
False
Let d be -1 + (-3 - -1) + 2. Let o = d + 0. Is o equal to 1?
False
Let u be 1/3*-1*1. Let k be ((-123)/18)/(1/3). Let d = k + 447/22. Which is smaller: d or u?
u
Let v = -1.8 + 15.8. Let d = v + -7. Is d < 1?
False
Suppose 5*w - 3*w = -2. Let h(d) = d. Let b(p) = -4*p - 3. Let y(m) = w*b(m) - 5*h(m). Let j be y(3). Which is smaller: -1 or j?
-1
Let v(y) = -y**3 + 6*y**2 - y + 5. Let h be v(6). Let o = 121/8 + -15. Is o at most as big as h?
False
Suppose 2*y = -4*x, -3*y = 4*x + 2*y. Let b be ((2/(-8))/(-1))/((-2)/(-2)). Is b smaller than x?
False
Let t be 0/((0 - -1) + 1). Let p = -2/97 + 147/2425. Let z = p + 43/175. Which is smaller: z or t?
t
Let a = -50 - -48. Is a not equal to 7/3?
True
Suppose 4*t = -w + t + 15, -3*w = -t - 35. Which is greater: w or 11?
w
Suppose -10 = -4*d - d. Suppose 0 = -d*u - 3*u. Which is bigger: u or -1/6?
u
Let f be -1 - (2 + (-1959)/(-18)). Let s = -111 - f. Which is greater: 0 or s?
s
Let w be -2 - (-1)/((-1)/(-3)). Suppose -5 + w = -m. Let z = 3 - m. Is z at least 1/4?
False
Let c = -547646182/935 + 585718. Let h = c - -2/85. Let w be (0/(-1))/(-6 + 4). Is h at least as big as w?
True
Let r be 8/108*(2 - -11)*3. Is r bigger than 4?
False
Suppose -3 = 5*i + y, -3 = -3*y + 4*y. Is i > -2?
True
Suppose -2*i + 27 = 3*i + 3*j, 3*i - j - 5 = 0. Suppose 6*x = 5*m + 2*x, -3*x - 3 = -i*m. Which is smaller: -5 or m?
-5
Suppose -3*w + 7 = -2. Let i be -2*w/8 - 0. Let t be (0 + 3)/(-3) - -1. Is t at most i?
False
Suppose 2*w - 1 = -5. Let x be (-1 - -2)/(1/2). Let g = x - 3. Is w <= g?
True
Suppose 4*j - 2*a + 5 = -1, 5*a - 25 = 0. Let w be j/(-5)*(-2 + 1). Is -0.1 equal to w?
False
Suppose -2*h + 6 = 2*h + 5*p, -2*h = 3*p - 4. Suppose 4*z + 5 + 3 = 0. Let k be (-2 + 2)/z - 0. Do k and h have the same value?
False
Let l = 20 - 20.9. Let f = l + 1. Let y = -1.1 + f. Is -1/2 at least as big as y?
True
Let t = 2/69 + -77/276. Let g(q) = q - 3. Let w be g(6). Is w at most t?
False
Let o = 38 + -39. Which is smaller: o or -0.3?
o
Let i = -33 + 57/2. Is -6 smaller than i?
True
Let m = -31 - -17. Let k be 2/7 - 24/m. Which is smaller: k or 2/3?
2/3
Let s be (5 - (-3)/(-1))*2. Is 4 at least s?
True
Let s = 8 + -8. Let q(y) = -y**2 + y - 3. Let f be q(s). Is f less than or equal to -3?
True
Let l = 0.2 - 0.3. Suppose -7 = k - 3*r, 18*r - 14*r - 26 = 3*k. Is l at least k?
True
Let g(t) be the first derivative of -t**3/3 - 11*t**2/2 - 10*t + 1. Let y be g(-10). Which is smaller: y or 4/13?
y
Let n = -288 + 929/3. Which is smaller: 21 or n?
21
Suppose 6*g - 2*g = 284. Let j = -787/11 + g. Is j at least 0?
False
Let m = -14 - -14. Let b = m + 0.08. Which is smaller: b or 0.1?
b
Let i(o) = -o**3 + 32*o**2 + 37*o + 2. Let q be i(33). Are 134 and q equal?
True
Let h = 0.04 - 0.11. Let v = 12.07 + -12. Let f = h + v. Which is bigger: -1 or f?
f
Let l = -5.3 - -5. Let b = -0.2 - l. Let t = 0.2 - b. Which is smaller: t or 3?
t
Let w(v) = -v**3 - 14*v**2 + v + 13. Let s be w(-14). Are -1 and s non-equal?
False
Let y(o) = -8*o - 7. Let a be y(-1). Which is greater: -56 or a?
a
Let z be (-36)/(-60) - 4043/(-17070). Let u be 2*(0 + (-3)/(-1707)). Let d = u - z. Is -2 < d?
True
Suppose -7*g - 4 = -3*g. Is 2/27 greater than g?
True
Let c be 1/(9/6)*45. Let b be (3/c)/(2/(-15)). Which is greater: -1 or b?
b
Let r(q) = -q**3 - 7*q**2 - 5*q + 8. Let p be r(-6). Let n be p/4 - (-1)/(-2). Are 0 and n equal?
True
Let i = 26 + -25. Is i greater than or equal to 1/16?
True
Let h be (-64)/(-78) - 2/3. Let c = 0 - -1. Is h greater than or equal to c?
False
Suppose -2*s + 2*z - 18 = 3*s, 3*s + 15 = -3*z. Which is bigger: s or -3?
-3
Let c be ((-21)/(-3))/42 + (-638)/12. Is c less than or equal to -54?
False
Let q = -24 + 27. Is 3/2 bigger than q?
False
Let b = 23/8696 - -522799/6182856. Let m = b + 102023/1422. Let f = -72 + m. Which is smaller: 1 or f?
f
Suppose 2*y = -3*f + 5, 4*f + 2*y - 4 = -2*y. Let w = 11/4 - f. Is 0 smaller than w?
False
Suppose -14*n + 16*n = 0. Is n < 1/5?
True
Let s(q) = -2 - q + 4 + 2. Let u be s(4). Suppose 5*d + 5 = 3*a, 4*a + u*d = -4*d - 4. Is 0 