. Suppose -5*t - 8 = -3*a, -2*t + z*a = -0*t + 5. Let k = t + 1. Is k > -1/2?
True
Let x be (-4)/18 + 8/18. Let h = 2 - 9. Let a = h + 6. Which is smaller: a or x?
a
Suppose -t - 9 = 3*g, -6 = -3*g + 6*t - 2*t. Let d be (1 + 1 - 3)/(-19). Let u = -43/95 + d. Which is smaller: u or g?
g
Let m = 48 + -48. Which is greater: m or 4/13?
4/13
Suppose 0 + 6 = c - h, 4*c + h = 4. Let m = -65/2 + 33. Which is bigger: m or c?
c
Suppose -3 = -p - 0*o - o, -4*o + 12 = p. Suppose 2*t - t - 2 = p. Let j be (-1)/(t + 0 + -1). Which is greater: j or 0?
0
Let m = 1/290 - 121/1450. Let w be (-1 - -2) + (-6)/3. Is m > w?
True
Let b = 0.1 + 0. Let j = -26.9 + 26. Which is smaller: j or b?
j
Let n(v) = v**2 + 3*v - 6. Let h be n(-5). Suppose 0 = -5*z + h*d - 3*d + 23, -3*d = 2*z - 16. Let a = 6 - z. Which is greater: 4/7 or a?
a
Let s(g) = g**2 - 6*g + 1. Let j be s(6). Is j not equal to 2/13?
True
Let h be (2*52/(-16))/(1/(-10)). Does 65 = h?
True
Suppose 4*z = -1 + 21. Suppose z*m - 4*f + 11 = 0, -2*m + 3*f + 2*f - 18 = 0. Let g = 7 + -7. Is m >= g?
True
Let f(z) = 21 - 24 - 2*z + 13. Let r be f(11). Do r and -1 have the same value?
False
Suppose -3*m - 3*l = -l, -9 = -3*l. Let s = 0.3 + -0.4. Which is smaller: m or s?
m
Suppose -4*k + 0*h = 2*h + 2, 0 = -2*k + 2*h + 14. Suppose k*g - 6 = 2*u - u, -2*g - u = 2. Let z = -199 - -2984/15. Which is greater: g or z?
g
Let m(i) = 2*i - 5. Let q be m(8). Is 10 > q?
False
Let n(a) = a + 7. Let q be n(-5). Suppose -4*o = -2*o. Let m be 0 + 0 - (0 - o). Which is greater: q or m?
q
Let b = 3/314 + 5003/2198. Let n = b - 55/21. Are 1 and n unequal?
True
Suppose 0 = -5*o - 2*l + 2 + 5, -3*o = l - 4. Which is bigger: o or -4?
o
Let z(v) = -v**2 + 5*v - 1. Let l = -13 + 18. Let q be z(l). Let s = q + 2. Is s greater than -4?
True
Suppose 0 = -9*p + 6*p + 9. Let n be (1/p)/(2/6). Which is bigger: -2/23 or n?
n
Let j(r) = -2*r - 2. Let x be j(-3). Let v = -7 + 4. Let g = v - -7. Is g at least as big as x?
True
Let h(s) = -5 - 4 + 0 + s. Let q be h(9). Which is greater: q or -1/8?
q
Suppose -1 = 6*x - 5*x. Which is smaller: -1/17 or x?
x
Suppose 11*s + 4 = 7*s. Let k be (-1 - 4/(-3))*-1. Which is smaller: k or s?
s
Let b be (-12)/135*23 + 1*2. Which is smaller: -1 or b?
-1
Let t = 47 + -16. Let h = t + -29. Is 1 > h?
False
Suppose 0 = y - 2*g + 3*g, 3*y + 2 = -4*g. Let b = -0.8 + 0.9. Which is smaller: y or b?
b
Let y(r) be the third derivative of -r**5/60 - r**4/2 - 5*r**3/2 + 2*r**2. Let c be y(-10). Suppose 2*d - 7 + 0 = g, c = g + d. Is -1 at most g?
True
Let f = 79 - 115. Which is bigger: f or -35?
-35
Let a = 4 - 1. Suppose 3*d - a*i + 4 = 1, -5*i = 2*d + 23. Which is greater: 2/5 or d?
2/5
Let h = -89 - -112. Which is smaller: h or 1/4?
1/4
Suppose p + 189 = -3*g - g, 3*g = -3. Let t = p - -1292/7. Which is bigger: 2/7 or t?
2/7
Suppose 2*d = 4, 3*d + 4 = -4*b + 34. Is 7 at most as big as b?
False
Let d = -0.2 - 0.8. Suppose 4*s + 7*s = 11. Which is bigger: s or d?
s
Let y(v) = -18*v - 56. Let a be y(-3). Which is bigger: -49 or a?
a
Let p = 2 - 2. Suppose -3*q + 5 = -2*q + 5*i, p = -4*q + i - 1. Let w be 3/1*(-1)/(-3). Is q <= w?
True
Let a = 76 + -72.97. Let j = -0.03 + a. Let l = 47/55 + -5/11. Which is greater: l or j?
j
Let t = -0.2 + -1.8. Let c = t - -3. Which is smaller: 0 or c?
0
Suppose 5*g + o - 9 - 3 = 0, 3*o = 5*g - 4. Is 10 greater than g?
True
Let w(q) = q**2 - 6*q + 1. Let i be w(6). Let p be 4/2 - (-88)/(-52). Which is smaller: p or i?
p
Suppose 3*w - 7 = -x, 2*x - 10 = -2*w - 0*w. Is -1/16 <= w?
True
Let w be (-21)/(-5) - 2/10. Suppose 0 = -4*x - 3*g - 2, -w*x + 10 = g - 4*g. Which is greater: x or -5?
x
Let a be 93/12 + 9/(-12). Suppose a*h - 11*h = 0. Is -1 bigger than h?
False
Let f be 0 + (2 - 0) - 13. Are f and -11 non-equal?
False
Let t(x) = x**3 - 18*x**2 - 16. Let c be t(18). Suppose 3*z - 2*z + 22 = -v, -3*z - 26 = -5*v. Does c = z?
False
Let x = 239 - 2153/9. Let q = 0.09 - -10.91. Let u = 11 - q. Is x less than u?
True
Suppose -3*t + 7*t - 14 = -2*c, -2*c - 1 = -t. Which is bigger: 7 or c?
7
Suppose 2*k + 15 = 5*k. Let s be (-2 + (-6)/(-3))*1. Let f = s - -1. Is f greater than or equal to k?
False
Let f = -37 - -13. Do -25 and f have the same value?
False
Let m(w) = w**3 - 3*w**2 - w. Let y be m(4). Suppose 5*l - 53 - y = 0. Is l < 12?
False
Let c = 3.98 - 1.99. Let g = -0.01 - c. Which is smaller: -0.1 or g?
g
Suppose f - 3*r + 1 - 4 = 0, 20 = 2*f + r. Let d(n) = n - 8. Let m be d(f). Is -9 < m?
True
Let h(p) = p**2 + 16*p + 4. Let b be h(-16). Let k be b/(-1 - -5) + -5. Is k <= -4?
True
Let s(h) = -2*h**2 - 1. Let t be s(0). Which is smaller: -2/39 or t?
t
Let l be -4*1/(4/(-3)). Suppose -7 = -3*b + 2*y - 0*y, -l*b - 4*y = 5. Let q be b/3 + (-2)/(-3). Is q > 4/5?
True
Let l = -2 + 2. Let x = 158/5 - 1901/60. Which is smaller: l or x?
x
Let u be (-2 - 4)/(-1) + -2. Suppose u*i = i - 30. Which is greater: i or 1?
1
Let q = 105148 + -734820/7. Let x = q - 174. Let v = -5 - -6. Which is smaller: v or x?
x
Suppose 0 = -3*w - 4*l - 7, 2*w = l - 3 + 2. Is 1/64 equal to w?
False
Suppose 3*s + 0 + 3 = 0. Which is bigger: -10/19 or s?
-10/19
Suppose 5 = -4*x - 5*c, 0*x + 4*c + 4 = 5*x. Which is smaller: -6 or x?
-6
Let u be ((-500)/(-18))/5 - 2. Is u at least 3?
True
Suppose 0 = -2*q - 5*m + 19, 5*m = -2*q - 3*q + 70. Which is smaller: -1 or q?
-1
Let j = -4 + 7. Let f = -30.3 + 30. Which is greater: f or j?
j
Let s = -6 + 10. Suppose -5*m + s*r = -83, -4*m = 2*r - 67 + 11. Do 14 and m have the same value?
False
Suppose 0*b = 2*b - 30. Is b > 15?
False
Let m = -5 + 9. Suppose 6 = 2*j - m*u, -2*j + j - u = 0. Let c = j + -1. Do c and -2/5 have different values?
True
Let q(n) = -2*n**2 + 4*n + 3. Let v be q(-2). Is -12 at least as big as v?
True
Let y(o) be the third derivative of -o**4/24 - o**3/3 + 5*o**2. Let z be y(-1). Which is smaller: 9 or z?
z
Suppose 45 - 11 = -2*a. Is a at least as big as -16?
False
Suppose -3*c = -4*f + 8, -2*f - f + 19 = c. Let y = c + -10. Let a be ((-2)/y)/(8/(-30)). Which is greater: -2 or a?
a
Suppose 11 = 2*q - 5*k - 13, q + 3 = -5*k. Let a be (-9)/q + (-4)/(-14). Let p be (-1 + 2 + a)/2. Which is bigger: p or 1?
1
Let n = -2.8 - -2.7. Which is smaller: -2/3 or n?
-2/3
Let k = -4/55 + -251/330. Let h(x) = x - 2. Let s be h(2). Is s < k?
False
Let l be (3 + -1)*(-1966)/(-36). Let j = 109 - l. Let b = 63 + -61. Which is greater: j or b?
b
Let k be 2 - (0 - -2) - 2. Let y be 13/(-4) - -1 - (-19)/(-76). Is k > y?
True
Suppose 3*s - 5*j - 20 = 0, -s - 3*s + 4*j = -24. Suppose 3*b + 4*v + 11 = 0, 0*v + 3*v + 1 = s*b. Are b and -8/5 unequal?
True
Suppose -2 - 2 = -4*w. Let p be 41/((-3)/(9/60)). Let v = 9/5 + p. Is v at least as big as w?
False
Let y be -1 + 2 + -2 + -2. Let r(f) = f**3 + 2*f**2 - f + 4. Let i be r(y). Suppose 0 = 3*w - 8*w - 10. Is w at least as big as i?
True
Let g = 52 + 31. Which is smaller: 84 or g?
g
Let b be (-7)/(-39) + 2*2/(-12). Let d be -1 + -1 + (1 - -1). Do b and d have different values?
True
Let a = 1 - 1. Let v = 4.9 + -5. Let r = a - v. Which is bigger: 1 or r?
1
Suppose -2*m - 3*m = 0. Which is greater: 1/4 or m?
1/4
Suppose u - 46 = -2*q, -2*u - 5*q + 61 = -33. Which is smaller: 41 or u?
41
Let g be -55 + (5 - 3) - 3. Let x be (2/(-7))/((-24)/g). Does -2 = x?
False
Let q = -0.4 - 0.5. Let n = q - 0.1. Are -0.06 and n unequal?
True
Let f = -5.07 + 0.07. Let c = -6 - f. Is c at most 6?
True
Let y = -1 - 2. Let d be 0 + 2 + 2/1. Suppose -2*z = 4*x - 0*z + 14, -4 = -d*x + 4*z. Which is greater: x or y?
x
Let g(r) = -r**2 + 10*r - 1. Let v be g(7). Suppose v = n + 4*n. Is n < 4?
False
Let s = 1.3 + -0.3. Let h = s - 0.9. Let f = -0.1 + 0.2. Is h >= f?
True
Let q = -2 + 3. Let o be 2 - (-2 + q)/(-1). Let x be -7 - -11 - (-2 - (-7 - -2)). Is x at most as big as o?
True
Suppose 2*k + k = 3. Let z be 1 + 2 - 37 - 2. Let y be 4/(z/(-25)) + -3. Is k equal to y?
False
Let j be -2 + 0/(-1) - -11. Let h = -5 - -12. Let v = j - h. Is 3 at least v?
True
Let v be (-1438)/1995 + 2/7. Let l = -343 + 19553/57. Let s = l + v. Is 0 > s?
True
Let q = 599797/7 + -85547. Let g = -138 + q. Are -5 and g unequal?
True
Let b = 117/4 - 29. Let a be 0/(0 - 0 - 2). Which is smaller: b or a?
a
Let s = 17 - 14. Suppose 0 = -s*y + p - 5, 4 = -y + p + 3. Is y less than 1?
T