x = 0.03 - 0.73. Let y = 2.83 + -0.53. Let v = x - y. Is v less than or equal to 1/3?
True
Let c = 3/1249 - -101154/6245. Is c smaller than 17?
True
Let r(v) = -v**2 - v + 2. Let m be r(2). Let o(x) = x + 4. Let u be o(m). Which is bigger: u or -2/7?
u
Let u(n) = -n - 21. Let s(m) = -2*m**2 + 5*m + 5. Let d be s(-2). Let k be u(d). Which is smaller: -9 or k?
-9
Let q be (16/(-28))/((-2)/7). Let f be (-2 + 5)/(q/(-4)). Are -6 and f nonequal?
False
Let b = -0.4 + 0.5. Suppose 0 = -11*m + 5*m - 72. Is b bigger than m?
True
Let k = -6 + 4. Let b be -1 + k - 0/2. Is b not equal to -3?
False
Let w = -89/2 + 45. Is w >= -22?
True
Let s be (0 - 0)/(7 - 4). Let w = -1 + s. Which is smaller: w or 1?
w
Suppose -1 = l - 3. Let b = -1 - -7. Let w = b - 11/2. Is l at most as big as w?
False
Let l = -46 - -50. Is l <= -0.01?
False
Let v = -6 - -13. Is 11/2 smaller than v?
True
Suppose -5*h = 5, 2*r + 3*h = 7*h - 6. Let w be (-56)/10 + 6/10. Is w greater than r?
False
Let f = 5.3 - 3.3. Let d = -25/2 - -38/3. Which is smaller: f or d?
d
Let n = 7 + 2. Let m = 10 - n. Is 2/13 at least m?
False
Let c be (-1)/(2 - 3)*3. Let j be (2/2 - c)/(-2). Let r be 5 + -1 - (-10)/(-2). Which is smaller: r or j?
r
Suppose 0 = -0*x - 6*x. Suppose 0 = -s - 2*u + 6 + 5, u + 2 = x. Is s smaller than 15?
False
Let j be (-28)/35 + (-162)/10. Which is smaller: -18 or j?
-18
Suppose 7 = o + j, 5*j - 6*j = 5*o - 39. Let d be (-8)/(-28) + 122/14. Which is bigger: d or o?
d
Let l be (-16)/30 - ((-66)/15 - -4). Let w(s) = s**3 - 3*s**2 - 4*s. Let u be w(4). Let k(q) = q. Let c be k(u). Are l and c nonequal?
True
Let d be 0/(-4 - -2 - -1). Let x be (d - 2/8)*6. Let s = x + 9/8. Which is smaller: 1 or s?
s
Let k(o) = -o**2 - 8*o - 1. Let s be k(-7). Suppose 2*a - 8 = s*a. Let m be (0 + a)*3/(-6). Which is smaller: 2 or m?
m
Let q be ((-1)/2)/((-2)/4). Let c = q - 1. Suppose i + i = c. Which is smaller: 2/9 or i?
i
Let x be 534/1071 + ((-96)/(-51) - 2). Is 0 > x?
False
Let l = -0.5 + 0.3. Let d = -3 + 7/2. Is l at most as big as d?
True
Let u be (-1)/(-2) + (-35)/14. Let a = u + 4. Is -1 at least as big as a?
False
Let b = 79/28 + -18/7. Let h be 4 + (-1 - 1 - 0). Suppose -3 = -c - h. Which is greater: c or b?
c
Let a be 8 - 1/(-3)*0. Suppose -3*f + a = f. Is 4 at most f?
False
Suppose -d - 6 + 3 = 0. Let i be ((-1054)/d)/((-24)/32). Let u = 468 + i. Is 0 greater than or equal to u?
True
Let p = 1.88 - -0.06. Let b = p + 0.06. Which is bigger: b or 2/9?
b
Let c = -35/11 - -28/33. Which is greater: c or -3?
c
Let x be 22/(-99) - 31/(-18). Which is smaller: 2 or x?
x
Suppose 4*k = 3*k - 3. Suppose -3*a - 4*d = -a - 8, 5*d - 40 = 5*a. Let t be (a - -1)/((-3)/(-4)). Which is bigger: t or k?
k
Let m = -7.3 + 1.3. Let p = -19 + 58/3. Which is greater: p or m?
p
Suppose 3*y - 4 = 8. Suppose y*l + 2 = 2*l. Suppose -2 = j - 2*d + 1, 4*j - d + 5 = 0. Is j <= l?
True
Let x = 1 - 1. Which is smaller: -0.2 or x?
-0.2
Let m be 2/9 + 74/(-9). Let g be (-14)/m - (-1)/4. Suppose 2*o + 17 = -5*c + g, 4*c - 2*o = -30. Which is bigger: -4 or c?
-4
Let n = 17 + 13. Suppose 4*r + n = -r. Is -5 greater than r?
True
Let l(a) = 6*a**3 + 2*a**2 + 2*a - 1. Let d be l(3). Let s be (3 - 39/15)*d. Let r = -593/8 + s. Which is greater: r or -1?
r
Let j(w) = -w**2 - 2*w - 3. Let d be j(3). Is -16 less than d?
False
Suppose 2*i = -0 + 2. Let p be (0 - i)*(4 + -4). Which is smaller: -1 or p?
-1
Let n be (-92)/(-16) - 1/(-4). Let i be n/57*3/(-2). Is 0 at least i?
True
Let s = -1.28 - -71.28. Is 1/4 != s?
True
Suppose 4*x = -5*q - 103, -q - 3*x = -3*q - 32. Is q equal to -18?
False
Suppose l + 2 - 4 = 0, 3*d - 20 = -l. Suppose -d*r = r. Which is smaller: -1/3 or r?
-1/3
Let q be -8*((-5)/(-182) + (-12)/84). Is q greater than 1?
False
Let p = 27 + -15. Let o = p + -14. Which is greater: 2 or o?
2
Let s be ((-192)/28 - -3) + 2/(-14). Is -5 at most s?
True
Let v = -1 - -3. Suppose p + v = 1. Which is smaller: 0 or p?
p
Let g be 14/(-8) + (-1)/4. Let a = 42 + -64. Let u be 169/(-143) - 4/a. Is u != g?
True
Let c = -45 + 46. Which is smaller: -31 or c?
-31
Let z = 6 + -4. Does -4 = z?
False
Let n = -3 + -3. Which is smaller: 0.4 or n?
n
Let w = -0.005 + 0.005. Which is smaller: 37 or w?
w
Let u = 20 + -56. Which is smaller: -35 or u?
u
Let u(c) = -2*c**2 + 10*c + 12. Let x be u(6). Which is greater: x or 1/2?
1/2
Let x be (-4)/(-8)*(-64)/4. Are x and -1/2 unequal?
True
Let q = 4.4 - 4. Let o = -6.6 + 8. Let r = q - o. Is -0.2 bigger than r?
True
Suppose -23 - 19 = -2*r. Suppose r - 7 = -2*u - 2*q, 0 = -5*u + 4*q - 8. Let z be u/(-14) + 18/(-14). Which is bigger: z or -4/9?
-4/9
Suppose 5*q = 3*g - 70, g + 0 = 3*q + 30. Suppose -33*a = -271 - 191. Which is smaller: a or g?
a
Let j = 49 - 246/5. Let i = 163 + -163.2. Is i <= j?
True
Let w(y) = -y - 9*y**3 + 3*y**2 - 9*y**3 + 4 - 4*y + 15*y**3. Let a be w(2). Is -18 smaller than a?
False
Suppose -5 = -5*x + 2*l, -2*x + 3*l = 3*x - 10. Suppose g = 2*g. Which is smaller: x or g?
x
Suppose 2*n + n + 3 = 0. Which is bigger: n or 2/141?
2/141
Let f(i) = 8*i - 64. Let p be f(8). Is -5/14 at most p?
True
Let m = 25 - 11. Let x = m - 10. Are 4 and x equal?
True
Let m = -5.9 + 30.8. Let c = m + -23. Let p = c - 0.9. Is 0.08 greater than or equal to p?
False
Let n be (-1106)/(-294) - (1 - -3). Let t = 1/14 + n. Is -1 > t?
False
Let n = -6.1 + -0.9. Let z = n + 7. Is 2/9 > z?
True
Let m(o) = -4*o**2 - 2*o + 1. Let a be m(1). Suppose -5*t + 31 + 9 = -5*v, t = -v - 4. Which is bigger: a or v?
a
Let l be 2 + (14 - (2 - 1)). Suppose -4*k - 16 = 0, h + 3*k = -3*h + 8. Suppose 0*b = h*b + l. Is b less than -3?
False
Let p = -426/7 + 61. Which is smaller: 0 or p?
0
Let w = -0.12 + 1.02. Let a = -0.6 + w. Let b = -0.3 - -0.1. Which is smaller: b or a?
b
Let c = 63/55 + -6/11. Is -0.3 smaller than c?
True
Let l be 42/8 + (-2)/8. Suppose -l = 2*i - 4*c - 1, 3*c = 9. Suppose -3*b + 0 = -15. Which is bigger: i or b?
b
Let c = -287 + 2006/7. Let a(l) = l**2 - 11*l + 11. Let f be a(10). Is c less than f?
True
Let a be (-5 - (-3 + -1))/(1*-1). Is -40 at most as big as a?
True
Let t = -13 + 10. Which is bigger: t or -22/5?
t
Let j be (2/3)/(1/6). Let n = 5 - j. Let d = 2/9 + -32/63. Which is smaller: n or d?
d
Let s be (-10)/3*6/5. Is s < -4?
False
Let f be (3/(-9)*6)/((-6)/9). Let z(l) = -1. Let c(j) = j**2 - j + 3. Let i(x) = -c(x) - 5*z(x). Let t be i(0). Is f < t?
False
Let z = -7.3 + 7.32. Are z and -1/4 nonequal?
True
Suppose -4 = -4*b + 4*p + 4, 3*b - 2*p = 6. Suppose 4*n = -b*n - 6. Is n at most as big as 0?
True
Let m = 17 - 16. Which is bigger: -1/24 or m?
m
Suppose 3*o - 25 = -p + 8*o, -45 = -2*p + 5*o. Suppose 0 = -f + 25 + p. Let i be 10/f + 1/(-3). Which is bigger: i or 1?
1
Suppose 0 = 5*r - r. Which is greater: 2/81 or r?
2/81
Let c = 15 - 12. Suppose 0 = 4*h - h + c. Is h < -11/5?
False
Let g(k) = k**2 - 1 + 6 - 3*k - 6. Let u be g(2). Which is bigger: -1 or u?
-1
Suppose 6*b = b. Which is greater: b or -7?
b
Let j = 18.496 - 0.096. Let w = 15.42 - j. Let y = w - 0.02. Which is bigger: -1 or y?
-1
Suppose 0 = 4*i - 18 + 6. Is i greater than 13/5?
True
Suppose 5*u = 4*y + 142, 0 = 8*y - 3*y - 10. Let b be u/(-9) - (-2)/6. Which is bigger: b or -4?
b
Suppose 13 - 5 = 4*d. Suppose 0*n - 2*n - d = 0. Let u = 69 - 343/5. Which is greater: u or n?
u
Let p = 67.2 - 66. Is 2 smaller than p?
False
Let t = 0.37 - 0.41. Do 2/9 and t have different values?
True
Let c(i) = -3*i**2 - 4*i + 9. Let g(o) = 13*o**2 + 15*o - 37. Let t(u) = 9*c(u) + 2*g(u). Let w be t(-7). Let s = 91/4 - 23. Is w at most as big as s?
False
Let q = -17 + 17. Is -2/31 greater than q?
False
Let f(q) = 1 - q**2 + 3*q + 1 - 2*q. Let l be f(-2). Let b be -2 + (4 + -2)/l. Which is bigger: b or -4?
b
Let q = -29/5 - -6. Which is greater: q or 1?
1
Suppose 2*r + 27 = -z, -48 = 9*z - 7*z + 2*r. Which is bigger: z or -20?
-20
Suppose b - 142 = 3*b. Let q = b - -211/3. Let n = 24 - 26. Which is greater: q or n?
q
Let n = 6 + -7. Let w(h) = h**2 - 1. Let u be w(1). Suppose u = -4*j - 3 - 1. Is n at least as big as j?
True
Suppose -4*k = -20, -4*v - 3*k = -8*k + 21. Which is greater: -4/21 or v?
v
Let o = 0.034 - 21.034. Which is bigger: -2 or o?
-2
Let y = 1188 + -3640/3. Let w = y - -25. Which is greater: w or -0.6?
w
Let c = -16 + 20