1 - (-2 + 1 + 0). Suppose -5*v + v + 8 = w. Let h = v + -1. Is h smaller than -4/7?
False
Let f(t) = t**2 - 4*t + 2. Let a be f(4). Suppose 7 = 3*i + 2*b, b = -4 - 0. Suppose a*j = 1 - i. Which is smaller: -3/4 or j?
j
Let f = -0.15 + 0.25. Which is bigger: f or 6/5?
6/5
Suppose 4*q = 35 + 49. Let w be 5/q + (-5)/(-15). Let c be (3/(-2))/(3/(-4)). Is w <= c?
True
Suppose -3*k - 7 = -0*k - 2*b, -k + 2*b - 5 = 0. Let o be ((-12)/9 - 1)/k. Are 1 and o non-equal?
True
Let h = 25 - 28. Are h and -12 nonequal?
True
Let f be (-3)/4 - ((-180)/(-16))/9. Are 0.6 and f non-equal?
True
Let h be (107/3)/((-16)/32). Let m = h - -72. Let p = 3 - 2. Is p >= m?
True
Let x = 7 + -1. Is x at least as big as -1/3?
True
Suppose -3*y - 33 - 21 = 0. Which is smaller: -17 or y?
y
Suppose -4*c = -21 + 5. Suppose -a + 5*a = -4. Which is smaller: c or a?
a
Suppose -x + 2*c = -2*x - 19, -4*c - 27 = x. Which is smaller: 1 or x?
x
Let x = -14 + 23. Which is smaller: 10 or x?
x
Let o be (-2)/(-4) - (-15)/(-6). Which is greater: o or 0?
0
Let q = -128 - -118. Which is greater: -12 or q?
q
Suppose 4*a - 6 = -5*y, -3 = 2*a + 2*y - 5. Let f = -48 - -815/17. Is f smaller than a?
False
Let t(a) = a + 4. Let y be t(-6). Let i = y - -4. Let z(w) = w**3 - w**2 - w + 2. Let n be z(i). Which is greater: n or 3?
n
Let j = 4 + -6. Let u = 23.6 + -23.5. Which is smaller: j or u?
j
Let l = -122/5 - -24. Suppose 7*k - 3*k - 24 = 4*n, 0 = -3*n + 5*k - 28. Let q = -1 - n. Is q greater than l?
True
Let o(f) = f - 3. Let b be o(7). Suppose -u + b*j = 0, -j - 5 = -2*u + 2*j. Suppose 4*c + 30 = 3*a, -u*c = -0*c - 4*a + 32. Is -6 <= c?
True
Let i be 26/7 - 2/(-7). Suppose -q = -2 + i. Let h be 1 + (0 + -1 - 2). Is q equal to h?
True
Let i = -0.9 - -0.8. Let s = 1.1 - 1.8. Is s greater than i?
False
Let j = -11 + 19. Which is greater: 6 or j?
j
Suppose -5*p = -p. Which is smaller: p or -1/4?
-1/4
Suppose j + 2*h + 16 = 5*h, 2*h + 22 = -4*j. Let t be (0 + (-7 - -1))/1. Which is bigger: j or t?
t
Let h be (228/(-285))/(-1*(-82)/(-5)). Which is smaller: 0 or h?
0
Let n be 5/2 - 2/(-4). Let z = n + -2. Let c(i) = i**2 - 10*i - 11. Let u be c(11). Which is smaller: z or u?
u
Let a(i) = -i**3 - 12*i**2 - 6*i - 8. Let d be a(-11). Let h be (2/(-3))/(7/d). Suppose -4*r - h = 6. Is r less than or equal to -2?
True
Let i = -86 + 85. Which is smaller: i or 3?
i
Let y = 4 - 3. Suppose -b - 3*d - 8 = 3, -3 = 3*b - d. Let r be -1 + b + y + 2. Is 0 at most as big as r?
True
Suppose 5*d + 6*p + 3 = 2*p, 3*p + 8 = 2*d. Let l = -9 - d. Which is bigger: l or -9?
-9
Let o = 2 + 0. Let r = 1 - o. Let a = -2 - r. Which is bigger: 1 or a?
1
Let c = 0 + -4. Let x = -11 - -8. Is x <= c?
False
Let b(a) = -a**2 - a. Let m be b(0). Let x be 6/10 + 104/(-340). Let p = 2/51 + x. Which is smaller: p or m?
m
Let y(l) = -l**3 - 24*l**2 + 26*l + 21. Let b be y(-25). Which is greater: b or -6?
b
Suppose 8*p + 6 = 5*p. Let h = 7 + -10. Which is greater: p or h?
p
Let k(o) = 8 + o - 4*o + 4*o. Let t be k(-7). Which is smaller: 3 or t?
t
Let u = -26 - -22. Let i be -3*-2*(-1)/2. Is u at least as big as i?
False
Let l(i) = -3*i - 3*i + 3*i**2 + 3*i + i**3 - 2. Let t be l(-4). Let m = -11 + 5. Is t less than or equal to m?
True
Let n = 0.2 + -0.3. Suppose 2*m + 5*c = 2*c, -m - 2*c = -2. Let g be 2/(-4) + m/(-28). Does g = n?
False
Let p = -16 - -17. Which is bigger: 7 or p?
7
Suppose 2*j - 5 = 5. Let q = j - 2. Let o be (q - 1) + (-3 - -2). Is 2/5 > o?
False
Let f = -393/5 + 80. Are f and 1 equal?
False
Let q = -39 + 193/5. Is 10 greater than q?
True
Let z be -3*2/21*-7. Let c = z - 0. Are c and 3 equal?
False
Let i be (1/((-20)/16))/(-1). Let h be 21/(-6) + (-2)/4. Let q = -3 - h. Which is greater: q or i?
q
Let x be 6 - 5 - (1 - 3). Suppose x = o - 3. Let w = -5 + o. Which is greater: w or 1/6?
w
Let l = -706/189 + 70/27. Let o = -13/42 - l. Is 2 at most o?
False
Suppose 4*f = 2*a - 4, -4*f - 6*a + 3*a + 16 = 0. Suppose t + b = 7, 5*b = -2*t + 25 + f. Let c = -3 + t. Which is smaller: c or 1/5?
c
Suppose k + 1 = -p - 7, 0 = -3*k - 15. Let y be p/9*8/(-12). Which is bigger: 1 or y?
1
Let g = -11 + 17. Suppose -g = o + 5*o. Are -3 and o equal?
False
Let m = -0.49 - -8.49. Is m < 0.3?
False
Let z = -0.4 + -0.6. Is -1 greater than z?
False
Let y = 0.13 - 0.13. Is 1 at most as big as y?
False
Suppose -2*t = -6*t + 2*h - 14, 3*h = 5*t + 20. Let k(f) = f - 1. Let l(a) = a**3 + a. Let n be l(0). Let r be k(n). Is r at least t?
True
Let d(k) = 5*k + 5. Let g be d(-4). Let u = -7 - g. Is u less than 7?
False
Let p = 0.51 - -3.69. Let h = p + -4. Which is smaller: h or 2?
h
Let d(p) = 28*p - 164. Let h be d(6). Let c be ((-32)/9)/(2/(-3)). Do h and c have the same value?
False
Let h = 70 - 208/3. Do h and 2 have the same value?
False
Suppose -15 = 3*o - 39. Let b(z) = z**3 - 4*z**2 - z - 11. Let v be b(5). Let q = o - v. Which is bigger: q or -1/3?
-1/3
Let t be ((-5)/275)/(4/(-10)). Let d = -165 + 165. Which is smaller: d or t?
d
Let d be (-1)/2 - 110/36. Let o be 160/(-126) + -1 - 1. Let g = d - o. Is g smaller than 0?
True
Let t(i) = i**3 + i**2 - 3*i - 2. Let a be t(-2). Which is greater: a or -2?
a
Suppose -5*k = 3*x + 5, -2*x + 0 = 4*k + 2. Let y be k/(-4)*2*1. Let b = 2 + y. Is b > 2?
False
Let n = 5 - 2. Let s(d) = -d**2 + 2*d + 1. Let z be s(n). Are z and -3 nonequal?
True
Let j = -0.15 - 0.85. Is 4 <= j?
False
Let v = -8 - -10. Suppose -4*m = 3*y - 12, 4*y - 8 = v*y. Let b = 5 + -9/2. Is b greater than or equal to m?
True
Let l be ((-2)/(-12))/(((-3)/9)/(-1)). Which is bigger: l or -16?
l
Let i = 23 + -23.11. Let v = i - -0.11. Let j(g) = 3*g. Let w be j(1). Is w greater than v?
True
Let v = 2041/12 + -170. Which is smaller: 0.2 or v?
v
Let j(n) = n + 3. Let c be j(0). Suppose 0 = -2*g - c*d - 1 - 3, 0 = -5*d. Suppose -2*w - 10 = 3*p, -p + 2*p - w = 0. Do g and p have different values?
False
Let a = 0.08 - -3.92. Let h = -1 + a. Which is smaller: h or 0.2?
0.2
Let f be 6/(-15) - 82/(-5). Suppose -p + 6*p - 4*x = f, p + x - 5 = 0. Which is smaller: p or 6?
p
Let x = 1 + -2. Let r be (2/4 + 21/(-14))/(-4). Which is smaller: x or r?
x
Suppose -8 = -l + 2*l. Suppose 2*v + 19 = 5*k, 4 = -5*v + 5*k - 36. Which is greater: l or v?
v
Let s be 10/(-18)*(-3 + 135/3). Do s and -23 have the same value?
False
Suppose 3*l = 7*l. Suppose 4*b = -3*t - 6 - 11, -5*b - 4*t - 22 = l. Is -1 bigger than b?
True
Let m = 13.7 + -15. Let n = 0.3 + m. Let k = -0.19 + 0.09. Are n and k nonequal?
True
Let g(i) = 2*i - 7 - 2*i - 2*i + 3*i. Let o be g(7). Which is smaller: o or -2/13?
-2/13
Let m be (-12)/9 - (-2)/6. Which is greater: m or 4/9?
4/9
Let t = 2987/10 + -296. Is t smaller than 3?
True
Let l = 2028/5 - 404. Let n be (-28)/45 + (-8)/(-36). Which is greater: l or n?
l
Let l(k) = k - 9. Let y be 2/3 - 242/(-33). Let q be l(y). Is -1/6 less than q?
False
Let g be ((-4)/6)/(55/15). Which is smaller: 3 or g?
g
Suppose 8*d = 3*d - 5. Let x(g) = g + 1. Let j be x(0). Suppose j - 4 = 3*h. Is d > h?
False
Suppose -4*h = -2*h + 2. Which is greater: 2/35 or h?
2/35
Suppose -31 = -4*x + 21. Let b = x + 0. Which is bigger: b or 14?
14
Let w = 13 + -18. Let n = -6 - w. Let r = -2.9 - 0.1. Is n > r?
True
Suppose 3*w = -5*q + 44, 2*w = -w - 4*q + 43. Is 14 smaller than w?
False
Let y be 2/(-4)*-4 - -1. Suppose -2*p + 1 = -y. Do p and 2 have the same value?
True
Let a = 7 - 9/2. Let o = a + -3. Which is smaller: -3 or o?
-3
Let o = -70231/75 - -936. Let s = o - -1/75. Let m = 2 - 3. Do m and s have different values?
True
Let z = 0.03 - 0.33. Let v = -5.6 + 6. Let y = v + z. Are 0 and y unequal?
True
Let x = 2 + -2.5. Let u = x + 0.4. Let p = 0.1 - u. Which is greater: 0.1 or p?
p
Let j be (-2)/(-10) - (-63)/(-15). Let t = j + 0. Which is greater: t or -2?
-2
Suppose 0 = -6*x + x + 10. Let p be x - (-1)/((-21)/30). Is 1 < p?
False
Let t(j) = -7*j - j**3 + 6*j + 6*j + 3*j**2 - 5. Let z be t(4). Suppose 0 = p + 2. Which is smaller: z or p?
p
Suppose 4*m - 25 = -4*q + 3*q, 2*m = -2. Which is smaller: q or 0.2?
0.2
Let g be (4 - 3 - 1) + 4. Suppose 2*a - 4*a = g*k + 4, -k - 3*a = 1. Is 0 greater than k?
True
Let f be (6 + -2)/2 + -6. Let o = f + 7. Suppose 0 = -o*t - t. Which is smaller: -2/3 or t?
-2/3
Let m = -32 - -38. Which is smaller: m or 21?
m
Let f = -2.4 + 1.4. 