 l + 3 = 2*l, 5 = 2*m + 5*l. Let y be -1 - 2/x - m. Which is bigger: y or 1?
1
Let p be (-1 - (-2)/2)*-1. Let m = -8 + 91/11. Which is greater: p or m?
m
Suppose 0 = 3*w + w + 20. Is -14/3 not equal to w?
True
Suppose 5 = 6*n - n. Let m = 11/4 - 35/12. Is m at most n?
True
Let q be (((-32)/(-12))/1 + -3)/1. Is q at least 10?
False
Suppose 3*d + 3 = -3*z, 1 + 0 = 5*d + 2*z. Which is smaller: 5 or d?
d
Suppose 0 = -5*t - 4*v + 17, 4*t + 5*v - 14 = 5. Let c be 2/12*(-6)/4. Which is greater: c or t?
t
Let z(k) = -12*k**2 + 2*k + 2. Let h be z(2). Let f = h - -211/5. Which is smaller: f or 1?
f
Let z = 14 - 14. Is z greater than or equal to 1/10?
False
Let a be -3 - ((-4)/2 - 2). Let p = -17/9 + 103/45. Which is smaller: a or p?
p
Let x = -8.3 + 1.3. Let h = x + 6.9. Which is bigger: h or -0.3?
h
Let a = 521/55 + -46/5. Is 1 smaller than a?
False
Let l(y) = -y**2 + 6*y - 6. Let g be l(4). Suppose 4*a + i - 2 - 9 = 0, 4*i = g*a - 10. Let n be (2 - 8/a)*3. Is n at least as big as -3?
True
Let r be (-40)/30 - 4/6. Let m be r/((6 - 4)/(-1)). Is m less than 4/7?
False
Let b be ((-12)/9)/((-1)/6). Let x be 2/8 - 18/b. Let h be (4/2)/(-1 - x). Is h at most as big as 3?
True
Let q be -1 + 2 - 4/3. Suppose 11 = -2*t - 9. Let l be ((-2)/t)/(8/10). Which is greater: q or l?
l
Let a = -0.5 + 0.507. Let g = a + -2.307. Let r = g + 0.3. Which is smaller: 0.2 or r?
r
Let b be -12*(3/(-6) + 1). Let v be (4/5)/(b/(-15)). Is v greater than or equal to 2?
True
Let a be -11 - (-8 + 2 - -3). Which is bigger: -6 or a?
-6
Let v(w) = w**3 + 8*w**2 + w - 6. Let p be v(-7). Is p at most 37?
True
Suppose -26 - 5 = -2*x + 5*s, x - 3*s - 18 = 0. Suppose 5*j = x*j - 8. Suppose -k - 1 = -0. Which is bigger: k or j?
k
Let r = 20.3 + -1.3. Let n = r - 28. Which is smaller: -1 or n?
n
Let l = 2.07 + -2. Let v = -0.07 + l. Which is smaller: v or 0.05?
v
Let l be (32/(-4880))/((-1)/5). Which is smaller: -1 or l?
-1
Suppose 21 = 3*a - 0*a. Suppose -4*m - 4*q = -40, q = 3*m - 3 - a. Is 5 at most as big as m?
True
Let i = 3 - 0. Let t(x) = x**3 - 2*x - 1. Let h be t(-1). Is i not equal to h?
True
Let q(r) = r**3 + 7*r**2 + 6*r + 3. Let z be q(-6). Suppose -5*g + k + 46 = 7, 4*g - z*k = 29. Let j = g - 17/2. Is -2 greater than or equal to j?
False
Suppose -2*h + 3*h = 0. Suppose -2*t + 3*c = h, -4*c = 3*t - 2*c. Let a be 2/(-3) + t + 0. Which is smaller: -1 or a?
-1
Let g(u) = u + 15. Let z be g(-15). Is z greater than 5/6?
False
Suppose 5 = -0*j + j. Let h = 6 - j. Which is greater: -0.3 or h?
h
Let m be (-26)/8 + (-1)/(-4). Let j be 3/(-1)*(-7)/(-14). Which is greater: j or m?
j
Let k = -2.07 - -1.07. Which is smaller: k or -20?
-20
Let v = 10 + -9. Let t be (-4)/25*(-5)/(-2). Do v and t have the same value?
False
Let u be (7/(-4))/((-2)/8). Let l = u - 7. Are -1 and l nonequal?
True
Let r(t) = t + 4. Let n be r(-4). Let a be ((-2)/(-8))/((-9)/12). Is n <= a?
False
Let s(d) = -d**2 - 7*d - 7. Let k be s(-6). Let y be ((-8)/6 + 2)*-1. Which is bigger: y or k?
y
Suppose 2*l = -5*c - 2, -3*c = 4*l - c + 4. Which is greater: 1 or l?
1
Let o = 686 + -106328/155. Is o at most -1?
False
Let j be (((-2)/(-2))/(-5))/1. Let m(t) = t**3 - 14*t**2 + 20*t - 92. Let x be m(13). Which is bigger: j or x?
j
Let a = 133/20 - 37/5. Let l be (-91)/39 + (-1)/(-3). Which is bigger: a or l?
a
Let r = -2 - -2.05. Let h = r + -3.05. Is -2/7 equal to h?
False
Let w = 0.26 + 0.04. Let a = w - -0.7. Are a and 2 non-equal?
True
Let g = 53367/5 + -10595. Let w(k) = -2*k**3 - 4*k**2 - 5*k - 6. Let m be w(-4). Let d = g - m. Which is smaller: d or 0?
0
Let o = -3.01 + 0.01. Is o equal to 4/5?
False
Suppose -4*z = -5*c + 64, -2*c - 18 = 4*z + 74. Let o = -20 - z. Which is smaller: o or -3/11?
-3/11
Let s = -3053/7 - -439. Let i = s - 3. Which is smaller: 0 or i?
i
Suppose f + 12 = 3*f. Suppose -5*b = -1 + f. Which is smaller: b or 1/7?
b
Let x = -0.8 - -0.9. Let z = 69 - 68. Which is greater: z or x?
z
Let h = 14 - 9. Let v = h - 5. Which is bigger: 2 or v?
2
Let l = -3 + 6. Let w be 2/2*(-4 + l). Is -1/2 smaller than w?
False
Let o be -1*(0 + 1)*-2. Which is greater: -9 or o?
o
Suppose -2*p - 28 = -10. Let h = -14 - p. Which is smaller: h or -1?
h
Let g = -9/35 + 83/595. Is g < -1?
False
Let b(r) = -r**2 + 18*r - 5. Let o be b(17). Which is smaller: o or 11?
11
Let a be -5*4/(-10) + 7. Suppose -1 + a = -4*l. Is l != -7/6?
True
Let j be (-8)/6*(-3)/2. Let i(q) = -q**3 - 7*q**2 + 7*q - 7. Let r be (-3)/(-6) + 34/(-4). Let o be i(r). Which is smaller: o or j?
o
Let p = -23 + 31. Is 52/7 >= p?
False
Let u be (4/(-2))/(-1)*-1. Let o be u/(-11) + 736/(-176). Are -4 and o equal?
True
Let y = 8 + -4. Let u = -6 + y. Suppose k + i = -3, -2*i - i = -4*k - 12. Which is smaller: k or u?
k
Let y be 6/((-1260)/138) - 2/14. Which is greater: y or 0?
0
Suppose 3 - 4 = -i. Is i bigger than 6/17?
True
Let s = -53 + 56. Which is smaller: 0.11 or s?
0.11
Let y = 7 + 19. Let l = -25 + y. Is l <= 0.4?
False
Let h = -17 + 16. Let m = 2 + h. Are m and -3/7 non-equal?
True
Suppose 0 = -2*d - 0*d + 24. Let z be d + -6 + 0 + -2. Which is smaller: 3 or z?
3
Suppose 0*s = 5*s + 40. Which is smaller: -9 or s?
-9
Let o = -2597 + 277877/107. Is o at most 1?
True
Let c = -24/5 - -398/85. Let l = -2/19 + 23/38. Which is smaller: l or c?
c
Suppose 4*j + 13 = -9*j. Let c be 2/(-8)*(-6)/(-27). Which is greater: c or j?
c
Let h = 3 + -2. Suppose 4*l - 5*z + 37 + 31 = 0, 3*z + 12 = -2*l. Let i be ((-18)/564)/(9/l). Which is greater: h or i?
h
Suppose -5*j - 2*g + 4*g - 2 = 0, 3*g - 3 = 2*j. Which is greater: j or 4/35?
4/35
Let r be (-6)/5*(-10)/(-3). Let j = -422 - -4632/11. Let x = j + -58/33. Are r and x nonequal?
True
Suppose 0 = -f - 5*n - 3, 4*f + 2*n + 7 + 5 = 0. Let t = f - 2. Suppose 18 = -9*q + 6*q. Which is smaller: t or q?
q
Let t = -82 - -107. Which is smaller: 26 or t?
t
Suppose -3*h = h - 3*r - 26, 0 = -h - 4*r - 3. Suppose h*b + 19 = -4*c, 4*b + 19 + 13 = c. Which is greater: b or -8?
b
Let r = 64 - 34. Let q be r/56 + 1/(-4). Let a = 23/10 + -9/5. Which is smaller: a or q?
q
Let n(h) = -h**3 + 4*h**2 + 5*h + 1. Let i = 23 + -16. Suppose -i*q + 20 = -3*q. Let b be n(q). Is b greater than or equal to -1/4?
True
Let v be ((-10)/(-3))/((-14)/63). Let y = -22 - v. Let x be 1 + y/1 + -2. Which is smaller: x or -7?
x
Let q = -4 - -4. Let r be (2927/11)/(-1 + 6). Let l = r - 267/5. Is l < q?
True
Let a(i) = -i**2 - 8*i - 2. Let t be a(-7). Suppose -t*y + 5 + 0 = 0. Is y less than or equal to -1/4?
False
Let s = 74 + -76. Which is greater: -5/4 or s?
-5/4
Let s(r) = -r**3 - 13*r**2 + 15*r + 14. Let c be s(-14). Suppose -2*d - 2*d + 56 = c. Is 14 greater than or equal to d?
True
Let x = 19/15 - 197/120. Let s be (((-2)/(-4))/1)/4. Let m = x - s. Which is greater: m or 0.1?
0.1
Suppose -3*d + 10 = -50. Suppose 5*n + 14 = -2*q + 39, q - d = -4*n. Let z be -1*4*2/20. Is z greater than q?
False
Let r be (12/(-2))/(1/3). Do r and -15 have the same value?
False
Let q be (0 - 3)*(-17)/6. Let u be -3*((-30)/9)/(-1). Let s = u + q. Which is bigger: -2 or s?
s
Let j be -1*(-1)/2*1. Let l = -0.103 + 0.103. Are j and l equal?
False
Let u be -4 + (-4 - -18) + 1. Is u smaller than 10?
False
Let v = -0.3 - -0.4. Let p = 0.03 - -0.47. Let g = p + -1.5. Are g and v nonequal?
True
Let f(d) = -d**2 + 5*d + 6. Let i be f(6). Which is bigger: -1/4 or i?
i
Suppose 2*d + 36 = 6*d. Let o be -1*(-3 + 0)/d. Is o smaller than 1?
True
Suppose 8 = -4*n + 8*n. Let r = 155/3 + -51. Is n less than r?
False
Let f be 4/42*19299/9. Let u = -204 + f. Suppose 0 = -5*v - 3*q + 7, -3*v + 9 = -8*v + q. Are u and v nonequal?
True
Suppose -8 + 60 = 4*g. Suppose 4*z - 4 = 44. Which is smaller: z or g?
z
Let l be 7 - 0/(1 - 3). Let z = 9 - l. Let k be (-22)/(-10) + z + -5. Is 0 less than or equal to k?
False
Let u be 2/9 - (-532)/36. Suppose -q - u = 5. Let v be (8/q)/(1/(-5)). Is 3 at most v?
False
Let x = -0.08 - -3.08. Let s = 4 - x. Let p = 1078/5 - 216. Which is smaller: p or s?
p
Let d = -406 + 4472/11. Do d and 2 have different values?
True
Let i = 1 + -12. Is -13 <= i?
True
Let x(w) = -2*w - 5. Let o be x(-5). Let j(i) = -i**2 + 5*i - 2. Let l be j(o). Is l less than -4?
False
Let d(g) = -g**2 + g. Suppose -2*m = -14 + 6. Suppose m*a = 4*k - 8, 0*k + 5*k - 10 = -3*a. Let t be d(