 - 12 = -n. Which is greater: -7/5 or t?
-7/5
Suppose -2*s + 20 = 6. Suppose 0 = 3*z - s*z. Is -2/49 <= z?
True
Let t = 148 - 147.4. Is t > -1?
True
Let s be ((-2)/4)/((-66)/(-24) + -3). Which is smaller: -9 or s?
-9
Let h = 60 - 601/10. Which is bigger: -0.2 or h?
h
Let g = -1316/8385 + 2/645. Is g bigger than -1?
True
Suppose 0 = -0*b + b - 5*t - 7, 0 = 2*b + 4*t. Suppose -3*i - 22 = -4*c, b*c - 5*i - 6 = 3*c. Suppose c*g = g - 9. Is -3 at most g?
True
Let a(w) = -w**2 + w + 1. Let h be a(-1). Let g be 2/840 - 3/(-15). Let s = g - -1/12. Is h greater than s?
False
Suppose 27 = -5*v - 33. Is -12 >= v?
True
Suppose -4*o + 0*o - 23 = 3*y, o - 8 = 2*y. Let q be (y/(-5))/((-2)/(-20)). Let c be (8/10)/((-2)/q). Which is smaller: c or -5?
-5
Let c be (11/(-42))/(1/(-2)). Let g = 1/7 + c. Let j(s) = s - 3. Let t be j(3). Is t bigger than g?
False
Let w = 7 + -6.94. Let n = w - 0.36. Let x = 3.3 + n. Are x and 1/3 equal?
False
Let c = 3 - 0. Suppose -4*z + c*k + 19 = 2*k, -3 = k. Let x = z - 3. Which is smaller: x or -3?
-3
Let s = -8 - -10. Suppose 0 = 2*x + s*x + 4. Is -1 equal to x?
True
Let x(o) = 4*o + 1. Let j be x(-2). Let h be (-6 + 5)/((-1)/j). Is h smaller than -4?
True
Let n(s) = -s**3 + s**2 + s - 12. Let o be n(0). Let c = -7 - o. Suppose 5*t + 0 = -c. Is t bigger than -1?
False
Let x(c) = -c + 2*c + 7 - 5 + 6. Let g be x(-6). Are 1 and g unequal?
True
Suppose 5*t - 15 = 2*r, -2*r = 5*t - 42 + 107. Let m be (-7)/r - (-6)/(-8). Suppose 0 = -3*w + 1 + 2. Is m not equal to w?
True
Suppose -25 = 5*a, -2*c - a = -0*a + 7. Is -1/15 bigger than c?
True
Suppose 11*o - 13*o = -12. Let s be -2 - (0 + -2 - -1). Is s > o?
False
Let x be 68/42 + 20/(-15). Is x not equal to -3?
True
Let y = -0.1 - 4.9. Let g = -20 - -17. Which is smaller: g or y?
y
Suppose -5*i = -0*i. Suppose 2*k - k = i. Let l = k - 3. Is -3 < l?
False
Let m = -11.5 - -11. Which is smaller: -0.1 or m?
m
Let z be 0/1 + (-8)/48. Is -0.2 less than or equal to z?
True
Let m = 18 - 18.3. Is 4 greater than or equal to m?
True
Let i = -147/5 + 29. Let l = 25 - 24. Is i <= l?
True
Let a be ((-1)/(-30))/(-1)*(-8 + 4). Do 2/35 and a have the same value?
False
Let g = -21 + 13. Let o be (-4)/(-8) + 172/g. Is o <= -20?
True
Let c be -4 - (-7 + 0) - 5. Let z be ((-10)/6)/(7/3). Let t = z - -3/14. Which is greater: c or t?
t
Suppose 3*b + 2*b = 35. Suppose 3*o = -b - 5. Let z(w) = -w**2 - 3*w + 1. Let t be z(-4). Which is smaller: o or t?
o
Let v = 0 + 0. Suppose -3*j + 5*r + 37 = v, 3*j - r - 3 = 14. Suppose -5*p + j = -1. Which is smaller: -2/21 or p?
-2/21
Let b(s) = -s - 3. Let h be b(-2). Let r be 1 + 3/1*35/(-45). Is h > r?
True
Let y = -7/2 + 17/6. Let q = -0.1 + 1. Let r = -0.1 - q. Which is bigger: r or y?
y
Let d = -15489/64 - -242. Is d >= -1?
True
Let z = -6 + 13. Suppose 32 - z = -5*t. Let y = 0 - 4. Which is smaller: t or y?
t
Let t = -17 - -17.2. Do 5 and t have the same value?
False
Suppose j - 6*j + 5 = 0. Let s = -2/381 + 2296/1905. Is s less than or equal to j?
False
Suppose 0 = p + p + 6. Let l = p - 2. Let t = -7 - l. Which is smaller: 0 or t?
t
Let n = -23.22 + 23. Let x = 0.02 + n. Is x less than -1/5?
False
Let t(g) = -g**3 + 7*g**2 - 10*g + 3. Let d be t(5). Is d at least 7?
False
Suppose 7 = -2*o - 13. Let l = -10 - o. Which is greater: l or 1/10?
1/10
Let g = -5 + 4. Let b = -3 - g. Let u = 5 + b. Which is smaller: -1 or u?
-1
Suppose -23 - 22 = -9*c. Let y = 0 - -2. Are y and c unequal?
True
Let l(m) = -2*m**2 - m + 3. Let k be l(-6). Do k and 0 have different values?
True
Let i(o) = 6*o + 1. Let y be i(1). Let z = y - 8. Is z greater than or equal to -1?
True
Let h = -3824/13 - -294. Suppose -2*c = 5 - 13. Suppose 2*b + 2 - c = 0. Is h at least as big as b?
False
Let a = -0.06 - -0.12. Let f = -0.26 + a. Is -0.1 greater than f?
True
Suppose 4*h + 2*o + 6 = 0, -13 - 7 = -5*h + 3*o. Let q be 1 + -1 + (-4)/h. Suppose 0*n + 25 = -5*n. Which is smaller: q or n?
n
Let i be (0 - 2)/2*19. Let w = 12 + i. Let t(j) = j**2 + 8*j + 5. Let z be t(w). Are z and -2 equal?
True
Let j be (-572)/39 - (-2)/3. Is j greater than -14?
False
Let c = -9/26 - 2/13. Which is smaller: 4.7 or c?
c
Let j = -58/23439 + 5441013/226577. Let n = -19/29 - j. Let w = n - -25. Which is greater: 2/5 or w?
2/5
Let u be ((-2)/5)/((-4)/6). Suppose -4*a + 16 = 4*t, 3*a = 5*t + 13 - 1. Is u at most as big as t?
False
Let u = 38 + -41. Suppose -3*j = -2*w + 3*w - 3, 0 = 3*w - 4*j - 9. Let m = u + w. Is m equal to 1/4?
False
Let x = 21 + -29. Let t be (6/(-24))/(2/x). Let m be (6/(-165))/(1/(-5)). Which is smaller: m or t?
m
Let k be 4*4/(-8) + -9. Which is smaller: -9 or k?
k
Suppose -3*t + 8 = 17. Let g be ((-12)/8)/(t/4). Which is bigger: 1 or g?
g
Let d = -12 - -17. Suppose -d*h - 4 = -h. Let y = 47/3 - 331/21. Is h smaller than y?
True
Suppose 2*u + u - 9 = 0. Let t = 8 - 10. Let g be (-33)/(-27) - t/(-9). Which is smaller: g or u?
g
Suppose 0 = -3*s + 1 + 2. Which is smaller: s or 3?
s
Suppose 0 = 2*g - 0*g. Which is smaller: 2/9 or g?
g
Suppose 0 = 5*c - 2 - 3, -4*c = -a - 9. Let k be ((-4)/5)/((-1)/a). Let u be (0 + -2)*(-12)/(-8). Which is bigger: u or k?
u
Let x = -6 - -1. Let r = -8 - x. Is r smaller than -0.2?
True
Let x(p) = -p**2 - 7*p + 3. Let r be x(-7). Suppose -4*v - 1 - r = 0. Let n = v - 1. Which is bigger: n or -1?
-1
Let v = 28 + -26.7. Let o = 0.7 + v. Are 0.1 and o nonequal?
True
Suppose 2*y = 5*u - 242 - 85, -u = 4*y - 61. Which is smaller: 64 or u?
64
Let f be (-1)/(-7)*(-1 - -269). Let c = 38 - f. Let g be (-2)/(-3) + (-4)/6. Is g smaller than c?
False
Let k = 0 + -2. Let a = -15 - -9. Let s be 5/3 + k/a. Which is bigger: s or -0.1?
s
Let x(k) = 5*k + 1. Let m be x(2). Let u be ((-60)/(-5) - 1)/1. Is m < u?
False
Let k = -708/5 - -21968/155. Let n = k + -109/124. Is n at least -1?
True
Let g(m) = -m**2 + 12*m - 13. Let l be g(11). Which is smaller: l or -9?
-9
Let a = -31257/658 - -1/329. Suppose 4*m = -5 - 195. Let x = a - m. Which is bigger: x or 4?
4
Suppose -166 = -5*y - 3*o, -2*y + o + 64 = 3*o. Suppose -4*r = -30 - 50. Let w be (-2)/(-8) + y/r. Is 2 >= w?
True
Let w(h) = -h**3 - 2*h**2 + 5*h - 10. Let j be w(-6). Is 104 >= j?
True
Suppose -3*b = g - 2, 0 = 6*g - 3*g + b - 46. Is g at least 17?
True
Let v = -5.15 + 5. Let c = -0.05 - v. Which is smaller: c or 2?
c
Let b be 4/10 - (-8)/5. Let w be b*2*4/8. Is 3 < w?
False
Let g = -0.341 - -0.041. Which is smaller: g or 6/23?
g
Let b = 1423021/17 - 83374. Let w = b - 333. Let h be 0 + (0 - (2 + -1)). Are w and h non-equal?
True
Let n = -28 - -33. Let s = n - 3. Which is smaller: s or 0?
0
Let l = 127 + -126. Which is bigger: l or -2/75?
l
Let x be -3*(12/9)/1. Let s(j) = -j**2 + 6*j - 2. Let g be s(6). Is x greater than or equal to g?
False
Suppose -2*a - a = -6*a. Is 4/25 not equal to a?
True
Let z = 26 + -27. Let q be (-4)/3*z*6. Which is smaller: 9 or q?
q
Let h(q) = -q**3 + 3*q**2 - 2. Let t be 4/(-10) + (-17)/(-5). Let j be h(t). Let f = 53 - 268/5. Are j and f unequal?
True
Suppose 0 = 5*z - 3 - 62. Suppose 0 = v - 3*s - z, v + 38 = 5*v + 2*s. Let d = v + -6. Is d < 4?
False
Let q(b) = -b - 2. Let r be q(-5). Suppose 0 = -r*s + 4*s. Is 2 != s?
True
Suppose 5*b + 5 = 10*b. Let l = 9 - b. Is 9 bigger than l?
True
Let b = -1 + 4. Suppose -5*i + 18 = b. Is 3 smaller than i?
False
Let t(g) = -g + 8. Let v be t(0). Let z = -96 - -103. Is v less than or equal to z?
False
Let u(j) = -2*j + j**2 - 4*j - 9 + 15. Suppose n = 5*n - 20. Let h be u(n). Which is greater: h or 0?
h
Suppose -2*t - 3*y + 8*y = -5, 3 = -3*y. Let l = -1/46 - -71/92. Do l and t have the same value?
False
Suppose 3*l - 2*g - g + 21 = 0, -16 = l + 2*g. Let c = 21 + l. Let u be (-4)/(-8) + c/2. Is u != 6?
False
Let p = 0 - 1. Let k be 2 + 0 + (2 - p). Let s = 5 + 1. Which is bigger: k or s?
s
Let t be (-1)/(-2) + 38/(-28). Suppose -7*d + 2*d = 10. Which is bigger: d or t?
t
Let x = 0.02 - -0.24. Let p = x - -0.04. Which is greater: 0 or p?
p
Let o be (-5)/35 + (-312)/21. Let z be 2*2*o/75. Do -1/4 and z have different values?
True
Let k(b) = -3*b**3 - 2*b**2 + b. Let o be k(-2). Let f be (2/o)/(5/(-10)). Is 2/11 >= f?
True
Let s = -65 - -323/5. Let r = -3 - -3.1. Is r smaller than s?
False
Let g = 32 + -23. Suppose 0 = -2*u + 2*i + 12, -3*u - 5*i = -17 - 25. Le