 = -3*y, -5*y = -3*n - 2*n + 20. Let t = y + 5. Is t > 3?
False
Let s = -5.81 - -0.41. Let h = -0.4 - s. Let a = -7 + h. Which is bigger: 0.1 or a?
0.1
Let t = 0.14 - 0.04. Which is greater: -0.2 or t?
t
Let h = 984 + -44282/45. Let k = h - -23/180. Are k and 1 equal?
False
Suppose 2*t = -3*t - 10. Let s be t/10*(-20)/(-16). Let r = -13 + 9. Which is smaller: r or s?
r
Let l = 10 + -4. Let p = l + -5. Is 0 at most p?
True
Let y be (-9)/6*(-2)/(-3). Let m be y*2*(-7)/(-70). Which is smaller: m or -0.02?
m
Let i be ((-1)/2)/((-2)/(-4)). Let l be 1 + -5 + 1 - 3/(-2). Is l bigger than i?
False
Let y(i) = i**2 - 8*i - 4. Let t be y(9). Suppose 0*a - t*a + 36 = z, -3*z + 88 = -5*a. Let q = -63/2 + z. Is -1 equal to q?
False
Suppose 4*x = 7*x + 66. Let t be 27/33 - 4/x. Is 13 > t?
True
Suppose 28 = -2*u - 2*u. Let t = u - -5. Is t bigger than 2/7?
False
Suppose 5*g + 22 = 3*d, -3*g - 2 = d - 0. Let y be (2/24)/(d/12). Which is smaller: y or 4?
y
Let r be (-1)/28 + 3/(-12). Let k(b) = b + 5. Let l be k(-6). Which is smaller: r or l?
l
Let v be (-2)/(-4) - (-190)/(-308). Let h = -3/83 - 17/1826. Let g = v - h. Which is greater: 0 or g?
0
Suppose 0 = 3*u - 7 + 1. Let r be 2/(-4) + 5/u. Suppose 3*k - b + 3 = 0, -13*b + 12 = -3*k - 9*b. Is r equal to k?
False
Let v = 2 + 1. Let l = -4 + v. Let b = l + 1. Is b bigger than 0?
False
Let r(x) = -x. Let q(f) = -6*f - 8. Let b(k) = -q(k) + 5*r(k). Let a be b(-5). Suppose 4*h - a*g = -11 - 12, -17 = h - 3*g. Do h and -2 have different values?
False
Suppose -4*o + 3*o = -2. Suppose 3*s + o*c - 7 = -4, 0 = -5*s - 5*c. Is 2 >= s?
False
Let a be (-8)/10*10/(-4). Which is smaller: a or 3?
a
Suppose 6 = 3*a, 5*z - a = 26 + 17. Suppose -2*c - 9 = 4*g - c, 5*c = -2*g - z. Let b(d) = d**3 + d**2 + 3*d + 3. Let y be b(g). Is -8 greater than y?
False
Let h(v) = -v**3 + 5*v**2 + 2*v - 9. Let q be h(4). Is q at least 13?
True
Let y = -4 + 0. Let b(i) = -i**2 - 5*i - 4. Let z be b(y). Let n be 0 - (-1 - 21/(-9)). Is n >= z?
False
Suppose 0 = -4*g - 12, -5*i - g - 3*g = 52. Let p be (-16)/((-3)/((-12)/i)). Is 8 <= p?
True
Let d = 16 + -13. Suppose d*x - 15 = 8*x. Let s = -1 - -2. Which is smaller: x or s?
x
Let d(k) = -k**3 - 9*k**2 + 11. Let o be d(-9). Suppose -10 = b - o. Is b less than or equal to -1/8?
False
Let p = 10 - 108/11. Which is smaller: 3 or p?
p
Let l = -17/12 - -7/6. Let c = -3362572 + 3530700307/1050. Let v = 1/150 - c. Does l = v?
False
Let g(k) = k**3 - 8*k**2 - 7. Let m be g(8). Let z be m + ((-2)/1 - -1). Is z less than or equal to -7?
True
Let x = 0.049 - -0.951. Is -1 != x?
True
Suppose -a = -1 - 3. Suppose 4*t = 3*t - 9. Let v = -4 - t. Is a at least as big as v?
False
Let q(t) = t**3 + 7*t**2 - 2*t + 2. Let d be q(-7). Suppose -d - 11 = -4*v + f, -3*f = 5*v - 21. Let k be 10/v + 8/(-4). Is k at least as big as 1?
False
Let m = 3.5 + -0.5. Let d = 0 + -0.1. Which is smaller: m or d?
d
Let b = -6 + 11. Let z(t) = t - 6. Let d be z(b). Let o = -11 - -11. Which is smaller: d or o?
d
Let p(q) = -q - 13. Suppose -5*c - 3*t - 51 = -c, 0 = -5*c + 2*t - 35. Let u be p(c). Let h be (-10)/(-4)*u/40. Which is smaller: 0 or h?
h
Suppose 0 = 4*h - 8*h. Let t be (0 + 0)/(-2 - -4). Is t > h?
False
Let l = 13 + -5. Suppose 18 = -k + 3*k. Which is smaller: k or l?
l
Suppose -5 = -4*w - 4*h + 111, w = -4*h + 44. Which is greater: w or 23?
w
Let o be 2/2 + (-27)/21. Let d = 4 - 2. Suppose 3*s - s = d. Is o > s?
False
Let a = -15 - -17. Suppose 0 = -r - 2*r + 9. Suppose -d = 3*c, -c + r*d - 2 = 4*d. Does a = c?
False
Let i(l) = -2*l + 2. Let q be i(-4). Let x be ((-5)/q)/((-1)/(-4)). Let c be 3*((-18)/(-10) + x). Which is bigger: c or -1?
c
Suppose 0 = s + s + g - 9, -5*s - 10 = -4*g. Is s < 3/4?
False
Let x = -5 + 4. Let h be (7/(-35))/(5/(-2)). Which is smaller: x or h?
x
Let r = 52/75 - 2/75. Let g = 10 + -14. Does r = g?
False
Let w = -139 - -138.8. Is 15/13 bigger than w?
True
Let n be ((-4)/(-1))/4 + -10*1. Is n bigger than -10?
True
Suppose -4 = 4*s, -5*s = -4*a - 2*s + 19. Let d be (4/(-3))/((-1)/a). Let l = -298/57 + d. Is 1 >= l?
True
Let p(z) = z**3 + 2*z**2 + 4. Let b be p(-3). Suppose 5*m = 1 + 9. Let d = m + b. Do d and -1 have the same value?
False
Let i(w) = w + 3. Let x be i(-5). Let d be (-28)/6 + x/(-3). Let g be 1/(-4)*d/(-3). Which is greater: g or 0?
0
Let a = -2 + 1. Suppose 3*c = 2*x + 6, 2*c + 5*x = -2*c - 15. Suppose 4 + c = -2*t. Which is bigger: a or t?
a
Let w = -214 - -150. Let u be (-6)/9 + w/21. Let c = u - -24/7. Which is bigger: c or -1?
c
Let q = -80 + 81. Suppose -2*n + 1 = -l, 3*n - 5*l + 21 = 6*n. Which is greater: n or q?
n
Let u be (-6)/12 - (-7)/2. Suppose u - 2 = v. Which is greater: v or -5?
v
Let w be (-4)/18*18/12. Is 6 bigger than w?
True
Suppose 3*o - 52 = -o. Which is greater: o or 12?
o
Let b be (1/(0 - -1))/1. Let r = b - 1. Which is bigger: r or 1/9?
1/9
Let u(j) = 3*j - 1. Let r be u(-1). Let s be r/(-2)*(-4)/2. Is s smaller than -2?
True
Let q be 3/5 + 2/5. Let l = q + -2. Suppose p - 5*r + 10 + 4 = 0, -4*p + 4*r = 8. Which is smaller: p or l?
l
Suppose 0 = -k + 5 + 8. Suppose 14*b - k*b - 1 = 0. Is -2 >= b?
False
Let f = 1/10 - 3/5. Let l = -2 + 2.04. Are l and f equal?
False
Let m be (25/(-15) - -3)*3/10. Which is smaller: m or 1?
m
Let l = 2 + -2.4. Let y = l + 0.4. Let c = y - -0.1. Is -1 bigger than c?
False
Let m = -14 + 3. Let r = -6 - m. Let n be -3 + 0/3 + r. Which is bigger: 3 or n?
3
Suppose 3*a + 5*y - 17 = 20, -5 = 5*a - 5*y. Suppose a*p + 44 = -0*p. Is -11 less than p?
False
Let k = -17.4 + 16.4. Is k > 43?
False
Let p = 3 + 50. Let b = -104 - -44. Let s be p/b + (-12)/(-16). Are s and -1 non-equal?
True
Let t be (-77)/126 + (-1)/(-2). Is 1 bigger than t?
True
Let m = 6.04 - 6. Let t = 0.1 + -1.1. Is m less than or equal to t?
False
Suppose 0 = 2*g - 2 - 0. Which is bigger: g or 9/5?
9/5
Let u be (2/(-3))/((-5)/15). Suppose 0*f = -u*f - 34. Is 2/5 smaller than f?
False
Let j = 32454/61 + -532. Is j at least as big as -1?
True
Let d(t) = t - 11. Let n be d(6). Which is smaller: n or -6?
-6
Let r be ((-10)/75)/(2/10*1). Which is smaller: -6/5 or r?
-6/5
Let d = 13 + -11. Suppose 0 = 3*i - s - 2 - d, 3*s - 8 = -i. Let t = -5 + 3. Which is smaller: t or i?
t
Let q(p) = -p**2 - 16*p - 1. Let v be q(-14). Is v greater than or equal to 26?
True
Suppose -25*l + 3 = -28*l. Which is greater: 2 or l?
2
Let b(c) = 2*c**3 - 2*c**2 + 3*c - 3. Let i be b(2). Let y(p) be the first derivative of -p**2/2 + 11*p - 1. Let u be y(i). Are -2/3 and u equal?
False
Let u = -15 - -24. Let y = u - 5. Suppose 0 = y*i + 2*o + 10, 3*i + 4 = -o - 1. Which is smaller: i or -1/6?
-1/6
Suppose h = -3*h - 2*p + 176, 0 = 5*h + 3*p - 219. Are h and 46 nonequal?
True
Let s = 57 - 97. Which is bigger: -41 or s?
s
Suppose 2*a - 364 = -4*s, 0 = 2*s - 5*a - 64 - 94. Let y = -711/8 + s. Is y bigger than -1?
True
Let g = -13 - -12. Do 4/13 and g have the same value?
False
Suppose -3*m + 2*m + 6 = 0. Suppose m = 3*k - x, -5*k - x = -12 + 2. Suppose 7 = s + 6. Is s < k?
True
Let o = 6 + 3. Suppose -2*z - m = -29, -4*m + 5 = -o*m. Let r be (6 - 1)*(-2)/z. Is -2 at most r?
True
Suppose 8 = -2*c + 2*k, 3*k - 13 + 37 = -3*c. Let h = 11 + c. Let q be ((-6)/(h - 2))/(-2). Is q at most as big as 1?
True
Let k be 5/(-15) - (-119)/(-3). Let m be k/(-4)*2/4. Let c be m/6 + 1/(-2). Is c greater than -1?
True
Let b = 1461/23 + -445/7. Let j = b + 10/483. Let d = -65/138 + j. Which is smaller: -2 or d?
-2
Let t be (-12)/(-15)*(-15)/(-27). Which is bigger: 0 or t?
t
Let p = -2.98 - -3. Let q = -3.255 - -0.275. Let k = q - p. Which is bigger: k or 1/4?
1/4
Suppose -3*i = -i - 10. Let h = -6 + i. Which is greater: h or -2/43?
-2/43
Let v be 20/(-30)*(-6)/(-4). Let k be 12/(-66) - (-196)/957. Which is bigger: v or k?
k
Suppose 2*k - 8 = 0, g + 2 = -g + 2*k. Suppose 0 = -3*y + g. Suppose 4*i - 7 = q, -3*q = i + y - 6. Is -1 greater than q?
False
Let n(c) = c**3 - 9*c**2 - 2. Let u be n(9). Let h be (-10)/(-2) + u + 1. Suppose -3*f = g + 9, -2*g + 8*f + 12 = h*f. Which is bigger: g or 2/5?
2/5
Let c = 0.9 - -0.1. Let q = 29 - 14. Suppose -5*p + 3*i - 7 = 0, 2*p - 5*p - 3*i + q = 0. Is p less than c?
False
Let w = 0 + -3. Let o = -162 + 159. Do w and o have the same value?
True
Let u be 4/(-3) + (-1)/(-3). Let q be 