l <= m?
False
Let c = -13 - 2. Let v = 21 + c. Which is smaller: v or 2?
2
Let s be (-6)/(-15) - 72/(-20). Suppose 5*y - s*q - 6 = 25, -2*y + q = -10. Let j(p) = -p**3 - 3*p**2 + 2. Let m be j(-3). Which is greater: y or m?
y
Let i(y) = -y**2 - 10*y + 5. Let v be i(-10). Let j be 1/(2 - (-2 + v)). Let o(b) = b**2 - 1. Let s be o(j). Which is bigger: -4 or s?
s
Suppose -l - 9 = 2. Let k be -1 - 5 - (-11 - l). Which is smaller: k or -7?
-7
Let p = -30/169 + 111/845. Is p < 0?
True
Let m = -22 + 29. Which is greater: 2 or m?
m
Let g(c) = -c + 10 - 1 - 7. Let j be g(-7). Which is bigger: j or 7?
j
Let v = 8 - 4. Suppose 15 = -t + v*t. Which is smaller: t or 6?
t
Suppose -4*d - 187 = -143. Is d >= 2/3?
False
Let u = -21.5 - -22. Which is bigger: 0.2 or u?
u
Let t(g) = g**2 - 9*g. Let w be t(9). Suppose -r + 1 + 39 = 0. Let k be r/(-22) - 4/(-2). Is k less than w?
False
Let k(r) = 5*r - 2. Let p be k(2). Is p less than or equal to 9?
True
Suppose -3*g = -0*g - 57. Let y = g - -21. Let i be y/6 + (-2)/3. Is 5 less than i?
True
Let o(j) = -j**3 - 12*j**2 + j + 13. Let x be o(-12). Let l be -3 + (-6)/(0 - 3). Let y be x - (l + (-40)/(-22)). Is 0 at least as big as y?
False
Let z = -155 + 159. Is 32/7 greater than z?
True
Let v = -45/148 - -2/37. Let s be -5*7/((-35)/(-6)). Let u be ((-4)/s)/((-4)/6). Are v and u equal?
False
Let f(r) = -r**2 - 9*r - 19. Let s be f(-8). Is -6 bigger than s?
True
Suppose 18 = q + u - 47, -203 = -3*q + 5*u. Is 66 smaller than q?
False
Let x be (-3)/12 + 1 + 969/(-1308). Do 1 and x have different values?
True
Let t(x) = -x**3 - 9*x**2 + 12*x + 10. Let q be t(-10). Let m be 1*(q/6 - -3). Is 2 bigger than m?
True
Suppose 0 = -0*n + 4*n - 380. Suppose -4*q = 3*m + 75, 5*q + m = -3*m - n. Let h be (-3)/(q*(-3)/12). Is -2 >= h?
False
Let c(g) = g**2 + 8*g - 2. Let j be c(-7). Which is smaller: -11 or j?
-11
Let k = 0 - -6. Let x be (-5 + k)*(9 + -1). Let p = -8 + x. Which is smaller: p or 5/6?
p
Let a be ((-36)/(-16))/((-6)/16). Let b = a + 8. Which is smaller: b or 4/5?
4/5
Let i = -162 - -801/5. Is i > -2?
True
Suppose -2*g + 4*g = 6. Let q(l) = 4*l - l**2 + g*l - l. Let s be q(6). Which is smaller: s or 1/9?
s
Let d = 251/6 + -42. Let l = -197 + 196. Which is smaller: l or d?
l
Suppose 2*m - 8 + 14 = 0. Do m and -38/9 have the same value?
False
Let i(j) = 10*j**2. Let f be i(1). Let u be 4/f - (-7)/(-5). Is u < 0.1?
True
Suppose -5*q - 142 = -s, 3*s + 156 - 22 = -5*q. Is q less than -25?
True
Let n be (-4)/(-6) - (-80)/(-12). Let m be (n/(-7))/(1/7). Let i be m/21 - (-22)/(-28). Which is smaller: -1 or i?
-1
Suppose 2 = 3*c + 11. Let v = c + 1. Does 0 = v?
False
Let k be (-2)/(-6) - (-88)/8. Let v = k + -11. Which is bigger: v or 1?
1
Let p be (31/2)/((-7)/14). Which is smaller: p or 1?
p
Let n be (-2 - (-1 + 1))/2. Let w = -1 - n. Let r be 5/((-10)/4) - -2. Is w smaller than r?
False
Let j(f) = -f + 13. Let r be j(13). Is r >= 1?
False
Let w = -42 + 36. Which is greater: -3/4 or w?
-3/4
Suppose 5*c - 4*h = 42, 6*c - 18 = 2*c - 2*h. Let p(t) = -t**3 + 6*t**2 + 4. Let z be p(c). Let s = z - 3. Does 2/7 = s?
False
Suppose s + 2*q = -3*s + 40, 20 = 2*s - 4*q. Let l be ((-1)/(s/4))/(-1). Let f = 3 + -2. Is l at least f?
False
Let n be 2 + -2 + -47 + 0/2. Which is smaller: n or -48?
-48
Suppose -12 = 4*y + 4. Let o be 2/(-12)*y - -6. Let p = o + -83/12. Which is bigger: p or 0?
0
Let l be (2/(-4))/(2/4). Let q be (-31)/105 - (-27)/63. Which is bigger: q or l?
q
Let c = -5 + 8. Suppose -3*o - 18 = 3*q, -q = -0*o - 2*o - c. Is -3 greater than o?
False
Let c = -5 + 3. Let x be (9/(-6) - -2)*c. Are x and -2/15 unequal?
True
Suppose 0 = g - 8 + 1. Suppose 4*k + g = -1. Let p(b) = -b**3 + 5*b**2 - b + 3. Let a be p(5). Is k >= a?
True
Let r = -104 + 104.04. Which is smaller: r or -1?
-1
Let p be (-3)/1*(-4)/6. Suppose b = -p*b + 6. Suppose -3*d + 4*r = 14, b*d + 3*r = -2*r + 6. Is -2 greater than d?
False
Let d = -317/4 - -79. Is -7 <= d?
True
Let h be -4 - (-16)/(-2 - 2). Which is smaller: h or -9?
-9
Let a = 12 - 10. Let v be a/12*(-32)/24. Which is bigger: v or -1?
v
Let c = -1.4 - -0.4. Let k = c - -2. Let a = -1.1 + k. Is a bigger than 0.1?
False
Let u be (-24)/3*-10 + -2. Let j be (9/u)/((-4)/8). Which is smaller: 0 or j?
j
Let k = -3 + -4. Let a be 4/14 + 4/k. Let p = 6 - 7. Is p at most a?
True
Let c = 69 + -66. Is 5 smaller than c?
False
Let z = -13765/11 + 1253. Which is smaller: z or 3?
z
Let t be (-1)/(0 - 3/(-42)). Is t greater than -15?
True
Let x(i) = i**2 - 4*i + 2. Let j be x(3). Which is greater: j or -0.07?
-0.07
Suppose -2*k = -4, 0*b - 2*k + 9 = -5*b. Which is smaller: b or 1/26?
b
Let s = 13/12 + -43/12. Let a(f) be the third derivative of f**4/24 - 4*f**3/3 + 3*f**2. Let z be a(4). Which is greater: z or s?
s
Suppose -2*m - n + 3 = -m, 2*m - 4 = -n. Suppose 2*p = 3*p - 2. Which is smaller: p or m?
m
Let s = -20 + 59/3. Let w be 1 + 0 + (1 - -5). Let j = w + -6. Which is smaller: j or s?
s
Suppose m = 3*z - 2*m + 12, 0 = -3*z - 5*m + 28. Let a be 3/(-84) + z/4. Which is bigger: a or 0?
a
Suppose -n + 21 - 3 = 0. Let r be (-18)/81 + (-68)/n. Which is greater: r or -5?
r
Let u be 8/(-30) - (-4)/6. Suppose 2*t - 9 + 7 = 0. Let x = t - 1. Which is smaller: u or x?
x
Let r = -8 + 6. Let t(x) = -x**3 - 2*x**2 - x - 1. Let k be t(r). Suppose -k = -z + 2*z. Is z < 3/8?
True
Let n = -592 + 598. Let f = -20/147 - -3755/588. Which is bigger: n or f?
f
Let x = 3 - 5. Let k = x - -3. Let d = -1199/6 + 200. Do k and d have the same value?
False
Let b = 4/19 + -1/95. Suppose 0 = 2*o + 2, 2*d + 2*d + o - 3 = 0. Which is greater: d or b?
d
Suppose 0 = 5*y - 15 - 5. Let b(v) = -v**2 + 8*v + 3. Let j be b(8). Suppose y = x + j. Which is greater: -0.2 or x?
x
Let w = -30 - -179/6. Let a = -1/2 - w. Are a and -1 nonequal?
True
Suppose -4*p - 3 = -5*p. Suppose 0 = -p*h - 3. Let g be 2/(-4)*(0 - h). Is g >= 1/2?
False
Suppose 4*p = -0*p - 4. Which is bigger: 1/19 or p?
1/19
Let q = -4 + -5. Let n = -34 - -24. Are q and n equal?
False
Let f(x) = -4*x**2 - 3*x. Let p(c) = -5*c**2 - 4*c. Let o(w) = -4*f(w) + 3*p(w). Let n be o(3). Let g be (-3)/n - (-2)/6. Is g >= 0?
True
Let u = -14 - -13. Which is smaller: -2/7 or u?
u
Let z(o) = 19*o**2 - 2*o - 1. Let f be z(-1). Suppose p - 3 = -9. Let s be p/(-4)*f/75. Which is smaller: -1 or s?
-1
Suppose -h = h + 2. Let n = 87 - 87. Let l = h + n. Is -4 greater than l?
False
Let v(c) = c**3 - c**2 - c + 6. Let a be v(0). Let y be ((-4)/6)/(((-6)/2)/9). Suppose p + y*p = a. Is p at most 1/2?
False
Let f = 17 - 8. Let h be (-2)/(6/(f/(-3))). Which is bigger: h or 2/3?
h
Let m = -27 - -28. Suppose -3*j - 2*j + 10 = 0. Which is smaller: m or j?
m
Let d be (-2)/4*2/4. Which is smaller: 1.1 or d?
d
Let f(l) = -l**2 + l + 1. Let o be f(-1). Let p = -1 - o. Let u = 0.06 - -0.04. Do u and p have the same value?
False
Let g = -17 - -56. Let p = 115/3 - g. Which is bigger: -2 or p?
p
Let a be 3 + -3 - (-12)/28. Are 0 and a unequal?
True
Let f = 243 - 2921/12. Which is smaller: f or 0?
f
Let z = -4/71 + -66/1349. Let c = 32/57 - z. Let r(q) = -q**3 - 3*q**2 + 3*q - 3. Let t be r(-4). Which is smaller: c or t?
c
Let t(s) = -s**2 + 13*s. Suppose r - 6*r = -60. Let x be t(r). Let l be (-1)/3 - (-40)/x. Which is bigger: l or 2?
l
Let q = 2 + -1. Let n be 4/(-20) - 326/(-1380). Let u = n + 3/23. Which is greater: u or q?
q
Let y = 34 - 20. Let k = -13.98 + y. Which is greater: 1 or k?
1
Suppose -5*f - 24 = -4*q, 6 = 2*q - q - 5*f. Let t be (1 - -1)/(36/99). Which is smaller: t or q?
t
Suppose -1 + 3 = 2*h. Which is smaller: h or -1/5?
-1/5
Let r be (-1)/2*8 - -9. Which is smaller: 0.1 or r?
0.1
Let u be ((-5)/2 + 2)*0. Suppose -5*n + 7 + 13 = u. Let h be (-2 + n + -2)/2. Is h >= 2/5?
False
Let l be -2 - 2*(4 + -2). Suppose 5*q + 30 = 5*g, 5*g - 14 = -q + g. Let a be l + 5 - q/1. Which is smaller: 3/5 or a?
3/5
Let z = -0.1 + 0.1. Let p = -14 + 15. Is p at least as big as z?
True
Suppose 3*v + 12 - 1 = 2*w, -1 = v. Suppose -w*r + 5 = 1. Does r = 1/4?
False
Suppose -3*c = -11 - 10. Do 5 and c have the same value?
False
Suppose -3*t - 5*h + 67 = 0, -5*t - 5*h = -93 - 22. Is 25 equal to t?
False
Suppose -4*z - 5*u + 4 - 18 = 0, -3*u - 6 = 0. Let h be z/4 + (-5)/(-20). Suppose h*t - 5*t + 10 = 0. Is t equal to 2/3?
