Let f be g(v). Is -3 bigger than f?
False
Let g(o) = 2*o. Let c be g(-3). Let i be -2*c/4 + -1. Are -1 and i equal?
False
Let d = -15.76 - -16. Let s = d - -1.96. Let z = s - 2. Is 2 >= z?
True
Suppose 4*i - 33 = 3. Is 8 > i?
False
Suppose 2*p + p + 4*m = -23, 2*p = 4*m - 22. Which is greater: p or -10?
p
Let o = -172 - -36. Let v be (-12)/42 - o/182. Which is smaller: v or 1?
v
Let o = 0 + -5. Let i = -6 - o. Is i greater than 0?
False
Let q(g) = -g**3 + g**2 + 6*g - 5. Let p be q(3). Let f be 2 + -1 + 1 - 0. Let r be -6 - (-2 + (3 - f)). Is r at most as big as p?
True
Let j = -3 - -2. Let y be -3 + j/2*2. Let q(p) = 2*p - 7. Let u be q(1). Do u and y have different values?
True
Let z be 140/4 - 1*-1. Suppose -5*j - 4*y - z = 0, -4*j - 4*y - 46 + 14 = 0. Suppose 3*u - 2*f = -15, -3*u - 4*f = 2*u + 3. Which is greater: j or u?
u
Let j = -0.1 + 2.1. Which is smaller: j or 10/7?
10/7
Let r = -40/209 + 2/209. Let f be 0*((-3)/(-2) - 1). Suppose 2*d - 5*d = f. Which is smaller: r or d?
r
Suppose 3*p - 3*w = -5*w - 20, 0 = 3*w + 3. Let m = -1/4 - 21/4. Is m at least as big as p?
True
Let p = 101 + -185/2. Which is smaller: p or 10?
p
Suppose 50 = 8*w + 162. Does w = -13?
False
Let m(y) = -y**2 + 20*y + 10. Let p be m(0). Let s = 15 - 107/7. Which is smaller: p or s?
s
Let a be (-10)/4*(2 + (-42)/35). Let q(y) = y**3 + y**2 - 2*y - 2. Let b be q(-2). Do a and b have the same value?
True
Suppose -4*o - 3*w + 0*w = 2, -4*o + 2*w = 12. Let m be ((-5)/(-3) + o)*-9. Suppose -3*h - 2*h + 4*i = -24, 5*h - 2*i = 22. Is h <= m?
False
Let l = 2 + -4. Let a be 26/(-22) - l/2. Suppose 15 = -3*x, -h + 3*x + 6 = -8. Is a at most h?
False
Let v = -33 + 39. Is 2 less than v?
True
Let r = -7 - -20/3. Is r bigger than 0?
False
Let j = -28 + 7. Let v = -36 - j. Which is greater: v or -16?
v
Let q be (-4)/6*1*-9. Suppose q = 3*b - 0*b. Let m = -19 - -39/2. Which is smaller: m or b?
m
Let k = 1 + 1. Let z be -2*(k - 144/69). Let o = 112/115 - z. Are o and 2 unequal?
True
Let c = -0.1 + -0.3. Which is smaller: -2 or c?
-2
Suppose 12 - 3 = -3*a. Let b(l) = -l**2 + 10*l. Let q be b(5). Suppose 3*t = 6*t - z + 14, q = -5*t + 2*z. Do t and a have the same value?
True
Let x(q) = q**2 - 4*q + 3. Let p be x(2). Which is greater: -38/5 or p?
p
Let v = 5 + -17. Let t = v - -5. Let z(p) = -7*p + 1. Let m be z(1). Which is smaller: m or t?
t
Let x be 2/(-3) + 10/6. Let v = 4943/27 - 183. Is x <= v?
False
Let t = -0.5 + 0.56. Let n = -3.94 - t. Is 1 bigger than n?
True
Let r = 1 + -3. Suppose 5*y - v + 0 = 3, 5 = 3*y + v. Which is bigger: y or r?
y
Let y = -117/4 - -30. Let s = y + -1/4. Is s less than 0.1?
False
Suppose 5 = 2*z + 31. Is z at most as big as -13?
True
Let n(i) = 2*i - 12. Let o be n(6). Is -4/25 smaller than o?
True
Let n be 1 + -3 - 96/(-56). Suppose 0 = -4*s + 5*m + 8, 5*s + m = 4 + 35. Let q = s - 5. Which is smaller: q or n?
n
Let v = -46 + 47. Suppose a = -3*u + 10, -4*u + 5*a = -5 + 17. Let q be 0 + u - 0/(-2). Which is bigger: q or v?
q
Suppose -64 = -4*s - 52. Let m(h) = -4*h**2 + 0 + h + h**3 + 2 + 2. Let o be m(s). Is o at least -3?
True
Let s(o) = -4*o + 101. Let f be s(23). Suppose -8 = -w - y, -3*w - 3*y - y + 22 = 0. Is w >= f?
True
Suppose -2*b = -3*b. Suppose -5 = 5*o - b*o. Is 1 <= o?
False
Let m = -1.9 + 1.8. Is 1/4 at most as big as m?
False
Suppose 2*d + 2*y + 2*y - 236 = 0, d = -5*y + 127. Which is bigger: d or 113?
113
Let j be (-1)/(-3) + 1/(-9). Suppose -5*l = -7 + 2. Is l less than j?
False
Let d be ((-6)/(-10))/(7/(2 - 37)). Is 6/11 greater than d?
True
Let c = -76 + 79. Which is bigger: c or 4?
4
Let t(d) = d + 1. Suppose 0*k + 4*k + 16 = -4*s, 5*k = -4*s - 20. Let p be t(s). Which is greater: 2/13 or p?
p
Let g = -15 - -31/2. Is -2/3 greater than or equal to g?
False
Let l be -6 + 2/(-4)*-4. Let b = l + 2. Which is bigger: b or -3?
b
Let z be -6 - -5 - 3/(-1). Suppose -b - z*b + 3 = 0. Which is smaller: b or -2/7?
-2/7
Let j = -177.9 + 178. Is j at least 14?
False
Let v be (-3)/(-5) - (-72)/30. Is v bigger than 1?
True
Suppose -a - 4*a = 15. Let p be (-1 - a - 1)*4. Is 5 smaller than p?
False
Suppose 5*z - 2*z = 39. Let g = 14 - z. Are 1/25 and g non-equal?
True
Let u be 0 + (-1 - -1 - -1). Suppose -2*o - r = -5*r + 18, o - 5*r = -18. Let s be 1 + 21/12 + o. Are u and s unequal?
True
Let g = 63 - 65. Is -2 < g?
False
Suppose 0 = 5*i - 0 - 15. Let p = 5 - 3. Which is bigger: i or p?
i
Let b = -14 + 22. Suppose b = -2*l - 0*l. Is -14/5 less than l?
False
Let t = -34 - -34. Is 1 <= t?
False
Let g be 108/20 - (-6)/(-15). Suppose 4*p + 4*i = -61 + g, 0 = -4*p - 3*i - 59. Is p at least -16?
False
Let j = 8 - 12. Let i be (j/(-96))/((-13)/(-122)). Let k = -3/52 + i. Which is smaller: 1 or k?
k
Suppose -m + 4 - 1 = 0. Let l = 6 - 2. Which is smaller: m or l?
m
Suppose -27 = 8*d - 19. Are d and -4/5 equal?
False
Let p = 0.28 + -0.08. Which is smaller: p or -3/2?
-3/2
Suppose 0*u - 3*u = -5*r + 25, 4*u + 20 = 0. Are -2 and r unequal?
True
Let a be 2 + (4 - 0 - 0). Let z be (-2)/7 - 2/(-7). Suppose -a*u + u = z. Do u and -1/4 have the same value?
False
Let r be ((-40)/(-30))/(4/3). Let u = -1 - -2. Is r at most u?
True
Let a = -2 - -7. Suppose 5 = -a*n + 15. Let b = 2 - 1.7. Which is smaller: n or b?
b
Let q = 1.6 - 0.9. Let h = 2.3 + q. Let u = h + -4. Are u and -1 nonequal?
False
Let o be (-46)/8 - 9/(-12). Let c be 17/o + 4 + -1. Which is smaller: -1 or c?
-1
Suppose 4*w = 5*d - 108, 0*d - 51 = -2*d - w. Does 23 = d?
False
Let z(i) = 2*i - 1. Let x be z(4). Suppose 0 = -5*r + x*r. Is r at most -10/11?
False
Suppose 0 = 5*x + 3 + 2. Let o be ((-2)/(-4) + x)*-2. Which is smaller: o or 2?
o
Suppose 2*b - 10 - 4 = 0. Which is smaller: b or 1?
1
Let k = 65/2 - 32. Let y = 0.32 + -0.3. Let q = y - 0.02. Which is bigger: k or q?
k
Suppose 6*g + 16 = 4*x + 2*g, 0 = x + 3*g. Let b(o) = -o**2 + 3*o - 4. Let w be b(x). Which is greater: w or -3?
-3
Let q be 6/(-30) - (-102)/10. Suppose -15*k + 65 = -q*k. Is 13 > k?
False
Let n(m) = -m**2 - 6*m + 3. Suppose 3*j + 15 = -3. Let h be n(j). Suppose -19 = 3*w + 4*u, 4*w + 16 = -h*u - 0. Is -1/6 < w?
False
Let w(m) = 2*m**2 + 6*m + 4. Let c be w(-2). Let g = 11 + -3. Suppose c*a = 4*a - g. Is a less than or equal to 3?
True
Let t(k) = 15*k**2 - 2*k - 1. Let i be t(-1). Suppose -4*m + i = -0. Let g = -1 + m. Is 3 at least as big as g?
True
Let f be -5 - (9/6)/((-42)/(-28)). Let o be (26/(-12))/(1/3). Which is smaller: o or f?
o
Suppose 4*h - 3 + 6 = 3*z, 4*h - 4*z = -4. Let a be (0 + h - 1)/(-1). Which is greater: 1/2 or a?
a
Let o(x) = x**2 - 8*x + 6. Let k be o(6). Let t(s) = s**2 + 6*s. Let g be t(k). Let p = -16/15 - -2/5. Which is bigger: g or p?
g
Let l = 5/14 - 69/7. Which is smaller: -9 or l?
l
Let c = -20 + 40. Let f = 19 - c. Let s be ((-3)/4)/(14/8). Which is smaller: f or s?
f
Let q = -9 - -4. Let z = q + 8. Is z equal to 0?
False
Let g = 0.1 - 0.1. Let o = 3 - 3.3. Let p = -0.1 - o. Which is smaller: p or g?
g
Let h be 0 + 2 + 32/(-20). Let k(m) = 5 + 3*m**3 - 6 - m - 4*m**3. Let f be k(0). Which is smaller: h or f?
f
Let g = -191/2 + 94. Suppose -2*b = 2*b - 36. Suppose -4*d + b*d = -4*s - 7, -s + 3*d - 6 = 0. Which is smaller: g or s?
s
Let f = -18 - -86/5. Which is bigger: f or 0?
0
Suppose 0 = -0*v - 4*v + 8. Suppose -5*f = -o - 18, -2*f - o - 9 = -4*f. Suppose 4*m = i - v, 5*i - 2*m = f*i + 4. Is 1 less than i?
True
Let a be ((-2)/(-1))/(4 + 2). Are -5 and a equal?
False
Let l(h) = 2*h + 9. Suppose 4*s = 15 - 39. Let m be l(s). Is m at least as big as -3/2?
False
Let z = -0.66 - -0.06. Let i = 31 - 28.4. Let c = i + z. Is c greater than or equal to 0?
True
Let q(p) = 2*p + 3. Let f be q(6). Is 14 less than f?
True
Suppose -s = -3*s + 26. Suppose 5*t = -y - 16 - 3, 3*t = y - s. Let o(r) = r + 4. Let w be o(-4). Is w smaller than y?
True
Suppose -8 = 4*c + m - 2*m, -4*c + 2*m = 8. Let f be (-53)/1 + (-6)/c. Let h = -648/13 - f. Which is smaller: h or -1?
-1
Let r be 5/15 - (-4)/(-30). Are 2 and r equal?
False
Suppose 5*s - 381 + 2 = 4*h, -s + 5*h + 80 = 0. Suppose s = 2*z - 7*z. Let d = -89/6 - z. Are d and -1 unequal?
True
Let u be (0/5 + 5)*2. Which is bigger: u or 9?
u
Suppose -5*u = -2*u. Suppose -k - 2*k = u. Do 0 and k have the same value?
True
Suppose -8 = 5*k - 9*k. Let h be ((-3)/k)/(2/