3 - -306. Suppose 0 = 2*g + 3 - 27. Let v be g/(-15)*(-10)/(-4). Is v less than s?
False
Suppose 3*i - 5*y + 12 = i, 2*y = i + 4. Let a = i - 5. Which is bigger: a or -2/13?
-2/13
Let q be (1 + 2 + -3)/(-1). Which is smaller: -2/41 or q?
-2/41
Let s be (-1)/(-17)*9/18. Which is smaller: s or -1?
-1
Let l be -3 + -1 - 0/6. Let s be l/5*(-1)/10. Which is smaller: s or -1?
-1
Suppose -4*p - 17 = 3. Let l be (-54)/(-10) - (-2)/p. Suppose 0 = -2*x + l*x. Which is bigger: 1/4 or x?
1/4
Let x = 0.08 + 0.02. Let j = 0.4 + -0.4. Which is greater: j or x?
x
Suppose -45 = 3*o - 6*o. Let d be (-5)/o - (1 + -2). Which is smaller: d or 5?
d
Suppose 103 = 4*h - 17. Is h smaller than 33?
True
Let c = 28 + -33. Is -2 at least as big as c?
True
Let u be ((-5)/(-10))/(3/12). Let f be ((-40)/(-12))/(u/(-3)). Is f at least -4?
False
Let v be 1 - (-2 - -3)*6. Suppose -2*a - 5*j = -3*j + 12, 3*a - 3*j = -18. Is a >= v?
False
Suppose 7*f - 5*s = 2*f - 15, -f = -5*s + 23. Let q = 4 - f. Which is smaller: q or 1/2?
1/2
Suppose 3*r + 39 = -5*b, -r + 4*b + 1 = 14. Which is bigger: r or -14?
r
Let z = -0.02 - 0.01. Let u = 0.07 - z. Which is smaller: u or -0.08?
-0.08
Let d = 7 - 5. Let r = -20 - -20. Is r equal to d?
False
Let v be (-4)/18 + (-10)/117. Which is bigger: -1 or v?
v
Let r = -13 + 13.2. Is -71 equal to r?
False
Let f(u) = 0*u + 2*u + 1 - 2*u**2 - u. Let y be f(-1). Let t = y + -1/2. Which is smaller: t or -2?
t
Let i = -747/7 + 107. Which is smaller: i or 33?
i
Let s(d) = d**2 + 9*d + 17. Let i be s(-5). Let r(x) = x**3 - 5*x**2 - 6*x - 3. Suppose 4*n + n - 30 = 0. Let k be r(n). Is k at most as big as i?
True
Let x be 6/(-4)*(-416)/336. Which is greater: 3 or x?
3
Suppose -37 + 88 = 17*s. Which is smaller: 5/2 or s?
5/2
Let a = 92744/87 - 1066. Which is smaller: 1 or a?
a
Suppose 4*m = -22 + 50. Let y = -2 - -10. Is y less than m?
False
Let m be (6/657)/((-2)/3)*2. Which is smaller: m or 0?
m
Let f(o) = o**2 + 4*o. Let t be f(4). Let h = -15 + t. Let c be (-3)/12 + h/20. Which is smaller: 0 or c?
0
Let r be -1 - -1 - (-15)/(-8). Let v = r + 7/4. Suppose 2*c = -c. Which is smaller: c or v?
v
Let o = -3 - -3. Suppose -2*j + 4*g - 14 = o, -g = -0*j - 2*j - 2. Is 2/7 greater than j?
False
Let o = 0 + 3. Let m be 1 + 4/(1 - o). Which is smaller: m or -2?
-2
Suppose 0*n - 52 = 4*n. Is -13 at least as big as n?
True
Let q = -18 + 10. Is -8 bigger than q?
False
Let x(b) = b**3 - 8*b**2 + 8*b. Let q be x(7). Let f = -6 + q. Which is bigger: 0 or f?
f
Let j = 24 - 14. Suppose -4*o - 10 = 3*f, 0 = f - 0*o + 3*o + j. Is f > 3?
False
Suppose 0 = 4*f + 4. Let h = 317/2 - 141. Let a = -18 + h. Which is greater: a or f?
a
Let q = 107 + -103.98. Let p = q + -3. Let z = 1.98 + p. Is 0 >= z?
False
Let a = -793/1038 - 12/173. Let q be 0/(-2) - (-4)/(-2). Which is smaller: q or a?
q
Suppose 0 = -2*h - 4, 5*m + 0*h - h = -123. Let z = 25 + m. Is z greater than 0?
False
Let y(i) = 1 - 1 + i + 1. Let k(v) = 4*v - 1. Let w(c) = k(c) - 3*y(c). Let s be w(3). Is s > -2/5?
False
Let u(o) = 3*o - 3. Let h be u(-6). Let p be 7/h*(-6)/(-1). Do -8/9 and p have the same value?
False
Let x be -3 + 0 + 3 + 0. Is 0 smaller than x?
False
Let t = 1 + -3. Let w = -5 - -4. Let j = -2 + w. Which is bigger: j or t?
t
Let l = -83 - -82. Are 1/48 and l nonequal?
True
Let y be 8/28 - (-432)/(-42). Which is smaller: -9 or y?
y
Suppose 464 = 6*q + 50. Is q not equal to 69?
False
Suppose 0 = 11*n - 7*n + 8. Let m be 1/(((-4)/n)/(-2)). Is 7 equal to m?
False
Let h = 117/2 + -367/6. Let x(t) = -t**3 + t + 1. Let q be x(-1). Let y be -1 + (q - 1) + -3. Which is greater: y or h?
h
Let f = -1181/2 + 617. Let c = f + -26. Which is smaller: c or 1?
c
Let s = -1.1 - -1.4. Do s and 1/2 have different values?
True
Suppose 3*h - 17 - 4 = 0. Let z be (-4)/(-24)*(h + 1). Which is smaller: 2 or z?
z
Let z be ((-8)/6)/((-32)/(-48)). Are z and -5/9 nonequal?
True
Let v = 0 + 0. Let s = 16 + -30. Let x = s - -83/6. Which is bigger: v or x?
v
Let q be ((-52)/(-48) + 1/(-3))*-8. Which is greater: q or -9?
q
Suppose -20 = -5*k - 0. Let a be (-20)/(-135)*(-6)/k. Let g(f) = -f**2 - 2*f + 2. Let v be g(-3). Is v <= a?
True
Let m = 193 + -193. Suppose -a = -3*a - 2. Is a > m?
False
Let m = 120061/6432 + 1/2144. Is 20 <= m?
False
Let p = 65 - 65. Is p < -2/111?
False
Suppose 21*b - 26*b - 40 = 0. Which is greater: -6 or b?
-6
Suppose -f - 4 = -11. Suppose -13 = -2*w + f. Suppose -w = 2*q - 4*h, 8 = 6*q - q + h. Which is smaller: 0 or q?
0
Suppose 0*m - m = 0, 4*m = 3*c. Suppose -r - r - 2 = c. Let b(h) = h**2 + 6*h + 4. Let l be b(-5). Are r and l equal?
True
Let t = -0.2 + 0.1. Let d be (-1 - 2) + 2 - (-9)/7. Is t greater than or equal to d?
False
Let q = 1787/22 - 169/2. Which is greater: -4 or q?
q
Suppose -2*q + 27 - 89 = 0. Are -30 and q unequal?
True
Let f = -10 - -14. Suppose 17 = f*g - 3. Is g <= 4?
False
Let l(w) = 4*w**3 + 2*w**2 + 2*w + 1. Let u be l(-1). Is u <= 0.2?
True
Let h be (2/(-10))/(-1 + 4). Is h not equal to 1?
True
Let y = 6.525 - -0.075. Let n = y + -6. Are n and 1/4 nonequal?
True
Let p(o) = o + 11. Let w be p(-8). Suppose w*y + 0*y + 5 = 5*g, -5*y - g + 1 = 0. Which is bigger: y or 1/10?
1/10
Let q = 2 - 2.2. Let t be (6/27)/(2/3). Let l = t + 0. Do q and l have the same value?
False
Suppose 4 = 2*u - 2. Suppose h - 10 = 5*f - 4*h, -4*h = u*f + 20. Let t be ((-1)/(1/f))/62. Which is smaller: -1 or t?
-1
Let k = 125/6 - 1447/66. Which is smaller: -2 or k?
-2
Let m = 1/153 + -158/765. Let s be (4/(-6))/((-2)/3). Which is bigger: s or m?
s
Let z(j) = -j + 4. Let g be z(3). Let r be 1/1 - -38*g. Let y = r - 119/3. Which is greater: y or -2?
y
Let x = -1 - 0. Let p be (x/(-2))/((-1)/14). Let f be 4/p*(-4)/8. Which is greater: f or 0?
f
Let o = -1 - -1.02. Let a = 14 - 13.98. Let c = o - a. Are c and 2 unequal?
True
Let d be 4 + 4/((-8)/6). Which is greater: d or -1/109?
d
Let j = 321 - 2565/8. Suppose 4*b + 5*b = -0*b. Which is smaller: j or b?
b
Let u = -9 - -14. Let o = 1 - u. Let c = o - -5. Which is smaller: -2/9 or c?
-2/9
Let k be (2/(-3))/(1/(-6)). Let g be (6 - k) + (-1300)/861. Let j = g + -24/41. Which is greater: j or -1?
j
Let g be 5/(-10) - 46/(-4). Let k = g - 12. Which is greater: k or -8/5?
k
Let y be (7/(-300))/(33/(-92)). Let u = 1/225 - y. Which is smaller: 0 or u?
u
Let x be 1/(3 + -5 + 3). Let j be 2/(1/x - 3). Is j <= 0.02?
True
Let u = -128 + 128. Let b be 0/2 - (-4)/26. Is b less than u?
False
Let v be (5/35)/(2/4). Which is bigger: 0 or v?
v
Let a = -1.6 + 2. Let w = 0.6 + a. Let k = w - 0. Is k at most 1?
True
Suppose -5*h = 2*f + 23, -2*h = 2*f - h + 3. Which is bigger: 3/5 or f?
f
Suppose 2*t = 5*a - 30, 4*a + 5*t + 2 = -7. Let q(s) = -2*s**2 - 9*s + 22. Let i be q(-6). Is i > a?
False
Suppose 2 = -4*u - 6, 4*w - 5*u - 22 = 0. Let d be (-3 - 10/8) + w. Is d < -2?
False
Let l be 48/22 + -2*1. Let y = 0 - -1. Let i be 1/(0 + y)*0. Which is smaller: i or l?
i
Let w = 1128 - 635. Let b be 2/(-9) + w/(-9). Let l = b + 276/5. Is 1 at least l?
True
Let k(f) be the third derivative of f**5/60 - 7*f**4/24 + 5*f**3/6 + f**2. Let m be -12*(-1 + 0)/2. Let h be k(m). Which is bigger: h or -2?
h
Suppose -7*x + 432 = -x. Which is bigger: 71 or x?
x
Let h(c) = c**2 + 5*c + 5. Let s be h(-5). Let x be (2 - 0) + 4 + s. Which is smaller: x or 10?
10
Let t = 2 - 3. Let m = t + 0.9. Let q = -2 - -2. Is q at most m?
False
Suppose 4*q = 20, 5*y + 3*q - 26 = 4. Suppose -y*o = -8*o + 20, -4*l - 3*o + 12 = 0. Is l > 1?
False
Let x = 3 - 4. Let m be (-10)/(-1)*15/(-10). Let h be 1 + 1 - (-24)/m. Which is smaller: h or x?
x
Let r = 5 - 4.61. Let h = -0.01 - r. Which is smaller: h or -1?
-1
Suppose g = -n + 3, -5*n + 4 = -6. Let h be 0 - (3 + -6 + 2). Let d = h - g. Which is smaller: d or -1/2?
-1/2
Let h = 0.1 + -0.2. Let l = -0.2 + 1.6. Let w = 1.3 - l. Is h equal to w?
True
Suppose -2*m - m - 15 = 0. Let a = 5 + m. Let q = 8415/19 - 443. Which is smaller: q or a?
q
Let l be -1 + (-1)/(-5)*6. Let h = -3 - 6. Let k = 8 + h. Is l <= k?
False
Let x be (-6)/21 + 144/14. Let w be 23/21 - x/15. Which is bigger: -1 or w?
w
Let r(v) be the second derivative of -v**3/6 - 6*v**2 - 3*v. Let f be r(-8). Which is smaller: f or -3?
f
Let z be 4/(-14) + 95/210. Let g = -1/3 - z. Let l = 2/39 - -11/39. Are l and g une