= 5*t + 90. Suppose -2*c = 4*g + 32, 5*c = -0*c - 5*g - 80. Does t = c?
False
Let z = -26.01 - -26. Let q = -1.71 - z. Is q equal to -0.1?
False
Suppose 0 = 4*k + 43 - 371. Which is smaller: k or -1?
-1
Let l = -1.066 + 0.066. Is 0.0054 not equal to l?
True
Let d(o) = -31*o - 21. Let i be d(-7). Suppose -i = 4*l - 0*l. Is -49 at most l?
True
Suppose 0 = 3*w - b + 8, -4*w - 5*b = -2*b - 11. Let q be (-1230)/(-2)*w/(-134). Let i = 6/67 - q. Is i bigger than -5?
True
Let s = -307 + 303. Is -4 smaller than s?
False
Let k = -139 + 188. Is 0 > k?
False
Let q(d) = -1. Let r(h) = -h - 3. Let a(y) = -5*q(y) - r(y). Suppose -4*u - 53 = 4*j - 5, -4*j + 2*u = 60. Let g be a(j). Is g at most as big as -4?
True
Let o(j) = -3*j**3 - 17*j - 97. Let h be o(-4). Is 163 at most h?
True
Let f be 4*2/2 + (-18 - -18). Let u be (9/(-84))/(6/f). Is u at most 1?
True
Let p be ((-6)/81)/(2/6). Let q = -4.01 + 0.01. Let v = 4 + q. Is v at least p?
True
Suppose 0 = 3*o + 5*z - 31, 7*o + 4*z = 2*o + 30. Let h be 9 + o*(-2 + 0). Let v(s) = -s**3 + 4*s**2 - s. Let t be v(3). Which is greater: t or h?
t
Let x be 1/4 + (-3)/(-4). Let v(p) = -p**3 - 8*p**2 + 2*p - 11. Let r be v(-8). Let w be 6/r - (-2)/9. Which is smaller: w or x?
w
Let z = -0.088 + -0.032. Let m = 0.3 + -0.1. Let w = -0.1 + m. Is z >= w?
False
Let n = 0.8 + -0.5. Let d = -0.4 + n. Let x = 687.1 - 687. Are d and x equal?
False
Let r(k) = 2*k. Let f be r(4). Which is greater: f or 9?
9
Let i = -3/1240 + 5083/50840. Is i < 1?
True
Let l = 15119276 + -710546660/47. Let n = l - 1262. Which is smaller: n or 0?
n
Let h = 2 + -1. Let x = 597031 + -12540424/21. Let m = 132 + x. Is m at most h?
True
Let c = 296096/75 + -3948. Which is smaller: c or -1?
-1
Let k be (38/(-3705))/(((-8)/6)/(130/(-117))). Let r(x) = -x**3 + 6*x**2 - 4*x - 4. Let a be r(5). Which is smaller: k or a?
k
Suppose -3*n - 90 = -4*n. Suppose -2*q + n = q. Suppose -y + 4*b = -6 - 35, 5*y - b - 148 = 0. Which is smaller: y or q?
y
Let c = -0.048 + 2.048. Which is bigger: -20.4 or c?
c
Suppose 66 = 12*i - 54. Which is smaller: 12 or i?
i
Let i(c) = c**2 - 8*c - 10. Let r be i(9). Let l = -16 + 82/5. Is r at most as big as l?
True
Suppose -32 = -4*u - 4*r, -u - 5*r - 6 = -18. Suppose 2*i + u = 3*k - 2*k, i = k - 2. Suppose 3*f = b - 10, -9*b + 30 = -5*f - 10*b. Does k = f?
False
Let n be (-2299)/44 + (-6)/(-4). Let q = n - -50. Let c be ((-1)/2)/(2/4). Which is bigger: q or c?
q
Let j = 16104 - 1690874/105. Let t = -2/15 - j. Is t <= -0.1?
True
Let g = -9 - -8. Let u be (-15 + 3)/3*2/8. Is g greater than u?
False
Let z = -2949905/13964 + 5/6982. Which is smaller: z or -210?
z
Let x = 11.6 - 3.6. Let y = -7.9 + x. Which is greater: y or 0.04?
y
Suppose -340*w = -298*w. Is w smaller than 22/83?
True
Suppose -2*i - 12 = -6. Let f = 2 + -1. Let u(d) = -4*d**3 + d**2. Let c be u(f). Are i and c equal?
True
Let a(c) = 3*c**3 - 37*c**2 + 17*c - 38. Let m be a(12). Suppose u = -3 + 8. Let s = m - u. Is 16 at most s?
True
Let x(r) = -r**2 - 29*r - 168. Let k be x(-20). Suppose 2*n - 21 + 1 = 0. Which is bigger: n or k?
k
Let f be 24 + (-3 - -4) - 1. Let j be (-36)/f*8/(-54). Are j and 1 equal?
False
Let s = 45 + -41. Let b be s + -8 + 17 + -1. Is b at least as big as 13?
False
Suppose -3*a = 4*j - 9, -4*a + j + 15 = a. Suppose -4*f + 17 + 13 = -2*q, -3*q = a*f + 36. Is q <= -14?
False
Suppose -2*h + 52 - 48 = 0. Which is smaller: h or 11/10?
11/10
Suppose n + n = 6. Suppose -t + 3*t - 7 = -5*x, 5*x - 13 = -n*t. Suppose 0 = -t*f + 4*f - 2. Which is greater: 3/14 or f?
3/14
Let u(h) = -2*h**3 + 3*h**2 + h + 1. Let i be u(-2). Suppose 5*x = 77 - i. Which is smaller: x or 9?
9
Let d(z) = z**2 + 24*z - 5. Let v be d(-24). Let s(p) = p - 4. Let t be s(-3). Is t greater than v?
False
Let y = -7 - -4. Suppose -5*t + 6*t - 18 = 5*r, 5*t = 2*r - 2. Let a be 29/r + 8 + 6/8. Which is smaller: y or a?
y
Let g be 3 + 1/(-1) + (-1 - 2). Let k be 4/(-12)*(-24)/(-82). Is g >= k?
False
Let a be 0 + (-51)/(-30) + (-8)/20. Which is greater: a or 2?
2
Let q = -4399/2 - -2245. Let f = -44 + q. Suppose -3*u - 3*t = -6 - 6, 0 = -2*u - t + 6. Is f >= u?
False
Let r(z) = z - 5. Let g be r(-12). Suppose 5*l + 0*k = -k - 97, -5*l + 2*k - 91 = 0. Which is greater: l or g?
g
Suppose -x = 2*s + 4, -s = 3*x - 6*x + 9. Let d be 1/x*(15 - 15). Is d at least as big as 2/43?
False
Let h be 0 - (-1 + -1 + -1). Suppose 22*v - 9 = 19*v. Do h and v have the same value?
True
Suppose 0*d = -2*b + d + 4, 4*b + 5*d = 8. Let i be (10/3)/(b/3). Let p(u) = -u + 4. Let j be p(i). Is -1 greater than j?
False
Let k(o) = -o - 5. Let x(c) = -5*c - 19. Let j(s) = 9*k(s) - 2*x(s). Let q be j(7). Suppose 4*b + 14 + 22 = q. Which is greater: b or -8?
-8
Suppose -2*f - 2*h = -12, -3 = 2*f + h - 4*h. Let j be ((-4)/(-5))/(-2)*-10. Suppose -j*l + l - 2*d = -9, -9 = -f*d. Which is smaller: -4/15 or l?
-4/15
Let j be (3 + 847/(-3))/(0 + -2). Let r = j + -5426/39. Are 0 and r unequal?
True
Let o = -6 - -20. Let v = 11 - 3. Let p = v - o. Is -6 at most as big as p?
True
Let o = -182.2 + 181. Is 18 at least as big as o?
True
Suppose 45 - 17 = 2*m. Let z be (-4)/m - (-456)/(-21). Let a = z + 20. Which is smaller: -10/11 or a?
a
Let b = -18 + 18. Suppose 4 = 4*z - b. Let i(c) = -c + 5. Let f be i(4). Is f equal to z?
True
Suppose 0 = 5*a + 2*a - 1575. Let o be ((-4)/130)/((-36)/a). Is o less than 1?
True
Let a be 8/(-6)*(-1 + -2). Suppose 0 = a*s - 3*s. Let d(k) = 75*k - 520. Let v be d(7). Is s < v?
True
Let n = -152 - -151. Are -53 and n unequal?
True
Let t be (4*(-15)/(-2080))/9. Is 1 < t?
False
Let w = 51 + -50. Let i = -38178/83 - -460. Which is bigger: i or w?
w
Let t(u) = u**2 - 6*u. Let j be t(6). Suppose -f - 1 = -j*f. Let a be (f - -2)/((-44)/(-8)). Is -1 not equal to a?
True
Let u = -2723 - -2718. Let i = 225 + -1614/7. Which is bigger: i or u?
u
Suppose 13*k = 74 - 48. Let y be 16/10 - (-4)/10. Let n be 3/y*(-8)/(-14). Which is greater: k or n?
k
Let q = 1.98 + -0.48. Let c = 10.4 + -9. Let v = q - c. Which is greater: 4 or v?
4
Let n(z) = z**3 - 8*z**2 + z - 4. Let o be n(8). Suppose -o*u + 7 = -13. Which is smaller: u or 27/5?
u
Let n be 12/(-2)*(-2 - -3). Let b = 2 + -1. Let w = b + -7. Is n less than or equal to w?
True
Let o be (3 - (-43700)/(-14564))/((-14)/(-7)). Which is smaller: o or 0?
o
Let z = -762 + 624. Do z and -138 have the same value?
True
Let r(k) = k**2 - 7. Let n be r(5). Let w be 1 + -1 - (-20)/n. Do w and 0 have different values?
True
Suppose 11*z - 16*z - 60 = -5*y, -y - 5*z = -12. Which is greater: y or 6?
y
Let a(f) = f**3 + 16*f**2 + 3*f - 118. Let y be a(-16). Which is bigger: y or -173?
y
Suppose -3 = 4*y - 3*y, 2*h - y = 1. Is -11/14 != h?
True
Let o be (-1070)/480 - (-6)/9. Which is smaller: -1 or o?
o
Let l(q) = -3*q**2 - 7*q - 8. Let g be l(4). Let t be 3 - (g/(-35) + (0 - -1)). Which is smaller: t or 1?
t
Let n(a) = 4*a**3 - 3*a**2 - 8*a + 14. Let h be n(3). Is h != 70?
True
Suppose -2*h = -3*h - 2*q - 113, q - 1 = 0. Is h not equal to -116?
True
Let f be 76/(-266)*(1 - 2). Is f at most -189?
False
Let x be (-3)/(-3) + (-4)/2. Let f(o) = -4*o**3 - o**2 + o + 1. Let m be f(x). Let u be 6*(-4)/(-8) - m. Which is smaller: u or 1?
u
Let f be 2 + (-8)/(-12)*3 + -2. Suppose 4*u + 15 = -x, 0*u + 5*u + 35 = f*x. Which is bigger: -0.04 or u?
-0.04
Suppose -60 = -5*k + 5*m, -3*k + 26 = m + m. Let f = k + -15. Which is greater: -6 or f?
f
Suppose -4*c + 2*m + 1074 = 0, 471 = 4*c - 5*m - 618. Which is smaller: c or 2?
2
Let r(y) = 25*y**2 + 2*y - 1. Let h be r(1). Suppose 5*c - n = n + 31, -4*c + n + h = 0. Suppose -x = -0*x - 6. Do x and c have the same value?
False
Let u be 5 + ((-30)/(-255) - 70/17). Is -7/46 less than or equal to u?
True
Let p = -37846171/42615 + -76/4735. Let c = p + 889. Suppose r - 5 = -k, 4*r + 5*k + 8 = 31. Is c at least as big as r?
False
Let h = 9 + -8.9. Let a = -0.01 - h. Let m = a + -5.89. Which is smaller: m or 2?
m
Let a be ((-874)/114)/(2/48). Is a at most as big as -182?
True
Let p = 0.61 + -29.61. Let h = p + 35. Is 2 greater than h?
False
Let q = 2.1 - 6.2. Let u = -3.7 - q. Which is smaller: 1/7 or u?
1/7
Suppose 2*x = -2*w + 20, -w = 2*w + 5*x - 22. Suppose -5*a = 4 - w. Suppose 2*q + a = -2*n, n + 4*q + 4 = 3*n. Is n at least as big as -3/5?
True
