
Suppose 0 = 2*h - g, -4*h + 3*g - 2 = 2. Suppose 5*l = -h - 3. Is l less than -2?
False
Suppose -5*t - 20 = -5*i, t - 21 = -3*i - 1. Let x = -8 + 12. Suppose -2*v = -i*v + x. Which is smaller: v or -2/7?
-2/7
Suppose -5*n + 5*j - 15 = 0, 2*n + 4*j = -6 + 24. Let w be ((-9)/(-15))/(n + 2). Let y = -0.5 - -0.5. Is w at least as big as y?
True
Let h = -3656/5 - -729. Let x be ((-71)/90)/((-2)/6). Let o = h + x. Is o greater than 0?
True
Let f = 3 - 1. Suppose 0 = 2*u - f. Let l(t) = t - 4. Let c be l(6). Is c smaller than u?
False
Let y(a) = a**2 - 10*a - 5. Let h be y(12). Which is bigger: h or 18?
h
Let o(n) = -51*n**3 - n + 1. Let q be o(1). Let l = -36 - q. Suppose l = 5*j + 3*t, 2*j + 3*t + 0*t - 15 = 0. Which is smaller: j or 2/3?
j
Let b be 1/(-2) - 7/(-6). Let h = 5.822 + 0.078. Let s = h + -6. Which is smaller: s or b?
s
Suppose -9 = 4*n - 33. Let h be 2/3*n/(-38). Is h less than or equal to 1?
True
Let c = 798/61 - 53278/305. Let s = 161 + c. Let x = 6 - 8. Which is greater: x or s?
s
Let m be 2/(-5) - (-36)/(-10). Let p be m/(-2) - (-1 + 2). Let v be (-1)/12 + 1/3. Which is smaller: p or v?
v
Suppose 4*y = 2*y. Suppose 4*b + 3 + 5 = y. Let p be -3 - (-1 - (b + 3)). Which is smaller: p or -6/5?
-6/5
Suppose 0 = -3*u - 5 - 1. Let s(l) = -3*l**2 + 5*l + 2. Let b(r) = -4*r**2 + 6*r + 2. Let j(i) = 2*b(i) - 3*s(i). Let o be j(3). Is o greater than u?
False
Suppose -a + 2 = 0, -2*o + 3*o - 7 = 2*a. Is o equal to 11?
True
Let d be -1 + 1 - 18/3. Let s be (-1)/d*(-9 - -7). Which is smaller: s or 2/7?
s
Let a(k) be the third derivative of k**5/60 + 7*k**4/24 + 5*k**3/3 + k**2. Let v be a(-7). Let s be 4/(-10) - (-34)/v. Which is greater: s or 2?
s
Suppose -2*h = -14 - 24. Let d = h + -25. Is d equal to 2/9?
False
Let m = -5 + 6. Let n = m - 1. Are n and 3 non-equal?
True
Let k = 130/3 + -42. Let v = 1 - 2. Let m = v - -1. Is k > m?
True
Suppose 0 = 3*r - 3*b - 0*b, 2*r = -3*b - 25. Let l(s) = -s + 11. Let w be l(6). Let q = w + r. Which is smaller: 1/4 or q?
q
Let g be (-12)/9*(-9)/(-3). Suppose 5*w = 4*w - 4. Let y = g - w. Is y < -2?
False
Let f = -23807/155 + 767/5. Let r = f - -173/93. Which is bigger: 1 or r?
r
Suppose 5*a = -2*r - 2 + 1, -4*r = -a - 9. Let g be 0 + 1*3/(-21)*-1. Which is greater: g or a?
g
Let s(o) = 4*o**2 + 13*o - 3. Let p be s(-4). Is 9 at most as big as p?
True
Let r(d) = d + 14. Let c be r(-6). Let t be 0 - c*(-4)/8. Is t bigger than 2?
True
Let k = 26 + -21. Is 0 greater than or equal to k?
False
Let p be (5/(-18))/(80/(-48)). Which is smaller: p or 1?
p
Let x be (4/6)/((-361)/57). Which is smaller: 2/3 or x?
x
Let v be ((-14)/(-5))/(2/(-10)). Let a be v/(-5) - (-3)/15. Suppose -1 = 4*g - a*d, 0*d + 2*d - 1 = 3*g. Is -2 less than or equal to g?
True
Let i(k) = -k**2 + 4*k + 4. Let s be i(4). Suppose s = p + p. Is 3 at least as big as p?
True
Let y = -23 + 37. Let r = 14.1 - y. Is -6 greater than or equal to r?
False
Let r = -14 - -22. Suppose 2*w - 2*g = -6, -4*w + 0*w - g = -r. Which is bigger: 1/25 or w?
w
Let x(b) = -b - 6. Let o be x(6). Let y be (27/o)/((-3)/12). Is 9 at most y?
True
Let p be (4/2 - 2) + -1. Let i = 6 - 9. Is i at least as big as p?
False
Let t(x) = -x**2 - 4*x + 2. Let s be t(-6). Which is bigger: -0.3 or s?
-0.3
Let z = -14 + 22. Suppose 3*j + 3*s = z*s - 23, -4*s = 5*j - 11. Do -1 and j have the same value?
True
Suppose 4*i + i + 182 = 4*c, -5*i - 10 = 0. Does -1 = c?
False
Suppose -f + 5*h - 111 = 0, 0 = 3*f + h - 2*h + 277. Let u = f - -269/3. Which is bigger: -2 or u?
u
Suppose -4 = -4*x - 2*i + 4, 0 = x + i - 1. Let a be 1*(9 - x) - 3. Let b(o) = -o**2 + 5*o + 2. Let t be b(5). Which is smaller: t or a?
t
Let a be (-18 + -6)*(-4)/(-6)*-1. Which is bigger: a or 14?
a
Let u = -60 + 67. Which is greater: u or 0?
u
Let d(f) = -5*f**2 + 3*f + 3. Let s be d(3). Let x be (-22)/s + 17/(-3). Is x <= -5?
True
Suppose -2*g + 1 + 1 = 0. Which is greater: g or -1?
g
Let v(o) be the first derivative of 0*o**2 - 5/3*o**3 + 1/4*o**4 + 0*o - 1. Let s be v(5). Which is smaller: s or -2/5?
-2/5
Let u = 1 - 3. Let w = u - 0. Let b be 3/15*5/(-2). Is w at least b?
False
Suppose -3*d = 2*r, 2*d + 38 = -3*r + 7*d. Which is greater: -5 or r?
-5
Let i = 0.2 - -0.7. Let v = i + 0.1. Let z = 0.93 - -0.07. Is z smaller than v?
False
Let a(g) = -3*g**2 - g. Let o be a(-1). Let r be (o - 0)*1 - 0. Let p(s) = s**2 + 2*s - 6. Let c be p(2). Which is smaller: c or r?
r
Suppose 0 = -2*y - 3*y - j - 3, j + 3 = 4*y. Let n = -7 - -6. Let l = n + y. Which is smaller: l or 1/5?
l
Let a be (-9)/(-2 - (-1)/2). Let s(q) = -q**2 + 7*q - 6. Let d be s(a). Which is greater: d or 1/7?
1/7
Let x be (-1)/(-1) - 2/(-2). Let r be -3 + (3 - 0/(-3)). Suppose 3*j + r*j - 9 = 0. Which is bigger: j or x?
j
Let t be (-1 + 0)/(-1) + -3. Let l be t/(-5) - (-43)/5. Suppose -3*d + 3*g = l, 2*d - 3*d - 3 = g. Which is greater: d or -1?
-1
Let b(j) = -19*j**2 - j - 1. Let u be b(-1). Let t = 12 + u. Are t and -1 unequal?
True
Let k(s) be the third derivative of s**6/120 + s**5/6 - s**4/24 - 4*s**3/3 + 3*s**2. Let n be k(-10). Is n at most as big as 2?
True
Let a = -0.16 - 0.84. Let f be ((-30)/(-4))/(7/(-2)). Let t = -52/21 - f. Do a and t have the same value?
False
Let n = -2.3 - -4.3. Are n and 1/4 unequal?
True
Suppose -4*x - 3*k + 8 = 3, -3*k - 40 = -5*x. Suppose 4*a + 4*v = 4, -2*a + v + 3 = 4*v. Suppose a = x*f - 0*f - 10. Is f >= 8/3?
False
Suppose -u - 3*u - 216 = 0. Let l be ((-1)/(-3))/((-6)/u). Suppose 5*p + z + 7 = l, -3*p = -3*z + 6. Which is smaller: p or -1/2?
p
Let w(j) = 2*j + 10. Let d be w(-5). Suppose d = -2*z + 4*z + 2. Let p = -1/32 - -69/160. Which is smaller: z or p?
z
Suppose 0*t + 8 = -4*t. Let r be t*-2*4/24. Is 1 >= r?
True
Let z = 160 - 151. Which is greater: z or 3?
z
Let z be -3 - (0 - (-52)/(-16)). Which is smaller: -3 or z?
-3
Let c = -29557/19 + 1556. Are -1 and c equal?
False
Let r be 60/27*-1 + 2. Let n be 4 + -2 + (3 - 0). Suppose s + 8 = n*s. Is s <= r?
False
Suppose 0 = -5*s + 208 - 28. Is s equal to 37?
False
Let a = 34 - 101/3. Is a greater than or equal to -3?
True
Suppose 2*l - v = -8, 0 = 2*l + v + 4. Is -3 >= l?
True
Suppose 0 = -4*t, 1000 = -2*y + y + 3*t. Let u be (-2)/(-8) + 266/y. Let z = u - 244/375. Is -2 < z?
True
Let v = 5.265 + -0.065. Let m = -5 + v. Let k = 2 - 3. Which is smaller: m or k?
k
Let z(m) = -m**3 + m**2 + 4*m - 1. Let r be z(3). Let h = 7 + r. Let k be h*-1*3/6. Is 4/11 < k?
False
Let u = 0.02 + 0.98. Is u greater than -88?
True
Let i(b) = b**2 - 2*b + 3. Let p be i(6). Is 27 greater than or equal to p?
True
Let z = -10 - -11. Let x(d) = -d - 2. Let j be x(-4). Are j and z non-equal?
True
Let a(k) = k + 1. Let f(r) = -2*r + 3. Let d(h) = -3*a(h) - f(h). Let q be d(-5). Is q equal to 3/8?
False
Let h = -12 - -15. Let n be 6/(-8)*2/h. Which is bigger: n or -2?
n
Suppose 3*a - 4*m = -23, -4*a + 2 - 26 = -4*m. Which is smaller: 6/13 or a?
a
Let z = 92/99 + -9/11. Which is greater: -1 or z?
z
Let d be (-200)/288 - (-2)/8. Which is smaller: -1 or d?
-1
Suppose -4*w + 2*t - t = -4, -t + 4 = 4*w. Let v = w - 1. Which is greater: v or -0.3?
v
Let l be 1/2 + 2/4. Let u(w) = w**2 - 28. Let q be u(0). Let c = 195/7 + q. Is c at most as big as l?
True
Suppose 3*t - 9 = 0, 8*t - 176 = -o + 3*t. Let m = o + -1123/7. Which is greater: 1 or m?
1
Let d = -81 + 79. Is d not equal to 2/49?
True
Suppose -c + 10 = -2*w - 2*w, 3*w + 1 = 4*c. Which is smaller: -26/9 or c?
-26/9
Let j = -41 + 26. Which is smaller: j or -14?
j
Let q = -2521/11 + 229. Let n = -77 + 77. Let y = n - q. Which is bigger: y or 1?
1
Let a = -2 + 2. Let w = -17.2 + 21. Let p = -4 + w. Are a and p non-equal?
True
Suppose -4 = 4*h - 0. Let u(i) = -i**2 + 7*i - 6. Let k be u(6). Let w = k - 0. Which is smaller: h or w?
h
Let z be 0 - 1 - 54/42*-1. Let g(o) = -o**2 - 4*o + 1. Let r be g(-5). Which is bigger: r or z?
z
Let r be (-2)/(2 + 20/(-8)). Let d be 3/65 + r/(-20). Which is bigger: d or 1?
1
Let l = -6 + -1. Let q = -21.35 + 28.4. Let b = q + l. Is b at most as big as -1/2?
False
Suppose -8 = 4*g, 4*g = -m - 1 - 1. Let y be 10/m + -6 + 3. Which is smaller: -0.2 or y?
y
Let y(w) = 5*w**2 + 2*w + 1. Let h be y(-1). Suppose h*c + 34 = -10. Do c and -10 have the same value?
False
Let o be (5/2)/((-1)/(-14)). Let w be (-84)/o - 