 = -425/8 + 107/2. Let t(o) = 192*o + 577. Let h be t(-3). Which is smaller: f or h?
f
Let u be 46/10 - 4/(-10). Suppose 0 = 5*x + 10, -3*t + 4*x + 13 = 2*x. Suppose -t*o = -o - 3*v + 12, u*v = -5*o - 55. Which is smaller: -8 or o?
o
Let t(c) = -c**3 - 18*c**2 - 7*c - 10. Let y be t(-17). Is -179 < y?
False
Let o = 3/194 + -391/37830. Which is bigger: o or -1?
o
Let c = -97 + 108.9. Let q = c + -11.9. Let d be (-1)/(-4) + (-11)/(-20). Which is greater: d or q?
d
Let p = 330 - 13201/40. Let u(i) = -i**3 + 3*i**2 - 2*i + 2. Let z be u(2). Suppose 4*w = -5*k + z*w, 2*k = 4*w. Does k = p?
False
Suppose 0 = -2*c + 3*t - 209, -t + 29 = -2*c - 178. Is -103 smaller than c?
False
Let j be 116/(-18) + (-31)/((-4743)/68). Let p(q) = q**2 - 5. Let t be (-1 + 1)/((-4)/(-2)). Let m be p(t). Is j smaller than m?
True
Suppose 0 = 4*v - 423 - 57. Is v at most as big as 120?
True
Let n(a) = a**2 - 5*a + 5. Let o be n(4). Let i be (1 - (-331)/(-218)) + (-9)/(-18). Let j = 973/436 - i. Which is smaller: o or j?
o
Let p be (-3 + (-368)/(-124))*(1 - -1). Which is bigger: p or -1?
p
Let b = -0.057 + 29.857. Let c = b - 39. Let q = 9 + c. Is 8/3 at most q?
False
Suppose -d + t + 1 = -2*d, 2*t + 2 = 0. Let s be 14/10 - (-6)/(-15). Let w = d + s. Which is smaller: w or 2/19?
2/19
Suppose 1 = -5*a + 6. Let f = 1711 - 1719. Is f bigger than a?
False
Suppose 5*o + 4 = -3*c, 3*c + 3*o - 1 + 7 = 0. Let w be (0 - (-15)/(-20)) + 6/6. Do c and w have the same value?
False
Let w be (-7)/(168/(-5772)) - (-1)/(-2). Is w <= 240?
True
Let l = 104 - 102. Suppose 1 = -x + l*x. Which is smaller: 1/43 or x?
1/43
Let c be (-40)/28 + (-550)/7. Is c at least -401/5?
True
Let h = 0.1 + 4.9. Let s = h - 4. Let b = 0.1 - 0.3. Which is smaller: s or b?
b
Let g = 21 - 100. Let i = g + 56. Is -22 != i?
True
Let v = -2/15555 - -77929/1197735. Which is greater: 1 or v?
1
Let n(y) = -y - 7. Let s be n(-4). Let m be (654/74)/(-3) - s. Let r = -64/185 - m. Is 0 greater than r?
True
Let w(s) = -3*s**2 - 1. Let p be w(-1). Let f be (-397)/4 + 1/4. Let u = f + 287/3. Is u <= p?
False
Let j = 692 + -806. Is -112 less than or equal to j?
False
Let x = 6731/17 - 396. Is x at least -2?
True
Let g = -50 + 49. Which is bigger: g or -1.04?
g
Let b be 7*(-4)/(-28) - 2. Which is smaller: -11/25 or b?
b
Let q = -277 - -276. Do q and -11 have the same value?
False
Suppose -b - 26 = 11. Let m = -100 - -63. Do m and b have the same value?
True
Let n(r) = r**3 + 13*r**2 - r - 12. Let u be n(-13). Let m be 440/(-30)*1/8. Let i = m - -67/30. Which is smaller: i or u?
i
Let x(z) be the first derivative of -z**3/3 - 6*z**2 + 17*z - 7. Let d(j) = -j - 7. Let o be d(6). Let s be x(o). Which is greater: 2 or s?
s
Suppose -3*f - 2*f - 1 = -4*u, -u + f = -1. Suppose -4*c + c = 5*b + u, -c = -2*b + 5. Do -0.01 and b have different values?
True
Let a(d) = 6*d - 2. Let y be a(5). Let f be (-60)/21*y/(-8). Which is smaller: -2 or f?
-2
Let j = 124 + -134. Let m(a) = -6 + 0*a - 1 + 0*a - a. Let h be m(j). Which is bigger: 2 or h?
h
Let b be 34 + -34 + (2 - (-190)/(-9)). Does -18 = b?
False
Suppose 3*a = 4*h + 8, 4*h + 0 = -3*a - 8. Which is bigger: 2/291 or a?
2/291
Let s be (1659/(-28))/((-75)/10). Does 9 = s?
False
Let z be 2/2 + 1 - 2. Suppose -4*u + 4*c = -0*c - 36, 0 = 5*u - 3*c - 39. Let t = 23/4 - u. Which is greater: z or t?
z
Let h be 46/(-14)*7/(-10). Which is greater: h or 1?
h
Suppose 1 - 25 = -4*j + 4*z, -j = 2*z - 3. Suppose j*h = -495 + 145. Let u be 28/h + 64/10. Is u greater than 6?
False
Suppose 3*w + 5*p + 32 = 6*w, -19 = -2*w + p. Suppose -5*s = -29 + w. Suppose 4*l = -3*v - 2*v + s, 4*l = v + 4. Is 2/9 smaller than v?
False
Let h = -68 - -47. Let u = -13 - h. Suppose 78*z - 27 = 51*z. Is u at least z?
True
Let s be (-14*1)/(-5 + 7). Let m(i) = i**2 + 8*i + 12. Let a be m(s). Let l(n) = -n**3 + 2*n**2 + 5*n - 2. Let q be l(3). Do q and a have different values?
True
Suppose -40 - 320 = 6*m. Let g = 62 + m. Are g and 14/5 unequal?
True
Let r = 378 - 352. Is r less than 18?
False
Suppose -r = 15 - 16. Which is smaller: 12/595 or r?
12/595
Let q = 1275 + -8923/7. Is q < -43/3?
False
Let f = -22 - -20. Let x = f - 33. Are x and 1/4 non-equal?
True
Let d = -0.06 - -0.46. Suppose 2*v = 3*l - 25, -v - 2*l = 3*v + 10. Let f be v*((-40)/175)/(-4). Is d less than or equal to f?
False
Let c = -31085/123 + -312/41. Let o = -258 - c. Which is smaller: -0.2 or o?
-0.2
Let t be (-3)/3 + (-1634)/(-11). Let h(d) = -19*d**3 + 2*d**2 + 8*d + 3. Let r be h(-2). Let i = r - t. Which is greater: i or -1?
i
Let n be (2 - 1)*-19*(-9)/171. Is n <= -2/869?
False
Let f(d) = -d**2 + 37*d - 173. Let l be f(32). Which is smaller: -11 or l?
l
Let v = -79 - -188. Let t = v + -109. Is 21 at least as big as t?
True
Let r be 1484/795*78/4. Is 36 bigger than r?
False
Let h = 2319 - 2311. Which is greater: 1 or h?
h
Suppose -60*l = -42*l - 72. Let r = -6 + 22. Suppose -3*j - j = -r, l*f = j. Do f and 3/7 have the same value?
False
Let g(d) = 2*d**2 + 4*d + 7. Let w be g(-2). Let c be (4/2050)/((-6)/(-210)*w). Which is smaller: -1 or c?
-1
Let v = 0.693 - 2.693. Which is bigger: v or -21/20?
-21/20
Let c = -9 - -11. Let p be 4/(-10)*(-13)/c. Are p and 4 unequal?
True
Suppose -4*i - 48 = -36. Are -30/17 and i equal?
False
Let g be 36/162 - 283/(-63). Suppose 5*n + 0*n + 25 = 0. Let l = n + g. Is l at least as big as 1?
False
Let m(p) = -4*p - 2. Suppose -3*i - 2 = -4*z + 5, -5 = 4*i - z. Let w be m(i). Let q be (4/(-92))/(w/(-4)). Is q bigger than -2/5?
True
Let t = 107 + -116. Let m be 8/2*t/((-288)/1000). Is 126 at least as big as m?
True
Let c = -21 - -37. Let q = c + -18. Let b be (-78)/120 - q/8. Is b smaller than 1?
True
Let i be 7 - 889/126*1. Which is bigger: i or 3?
3
Let f = -47 + 46. Let l = -10.08 - -0.08. Let w = l - -8. Which is smaller: f or w?
w
Suppose -26*b = -33*b + 1428. Which is bigger: -1/2 or b?
b
Let q be (-66)/62*(96/18 + -6). Which is smaller: q or 2?
q
Let v = 404 - 403. Which is smaller: 6/37 or v?
6/37
Let b(o) = -7*o**3 - o + 13. Let j(u) = -u**3 - u**2 + u + 1. Let f(v) = b(v) - 6*j(v). Let x be f(5). Suppose 0 = 9*n - 10*n - 3. Is x less than or equal to n?
True
Let x = 152 - 1366/9. Let a = 8.552 - -0.048. Let y = a + -12.6. Which is greater: x or y?
x
Let c = -59.5 + 59.5. Is c >= 16?
False
Let m(o) = -10*o + 174. Let i be m(6). Which is smaller: i or 119?
i
Let d be -255 + -2*2*(-2)/8. Is -254 less than or equal to d?
True
Let h = 929.33 - 934. Let j = h - -4.8. Is j equal to -2?
False
Let g = -0.073 - -0.073. Suppose -s = -w + 4, 4*s + 4*w - 10 + 2 = 0. Let u be -3 - 50/18*s. Is u equal to g?
False
Suppose -7*i = 2*c - 9*i - 4, -3*c - 6 = i. Which is smaller: -6/19 or c?
c
Let g = -1.4716 + -0.1284. Are g and -1/15 non-equal?
True
Let y(d) = d**2 - 2*d - 3. Let z be y(-3). Let t be (-2 - (-21)/z)*4. Let g be (t - 0)/(1/4). Is -3 at least as big as g?
True
Let i = -31.4 - -20. Let z = -11 - i. Is 0.1 greater than or equal to z?
False
Let z(a) = 5*a - 25. Let k be z(8). Let w = k + -33. Which is smaller: w or -17?
w
Let z be -3*1 + -2 + 10. Suppose -4*s = 0, -5*s + 12 - 47 = -z*h. Let y be 5/(-15)*6/h. Which is bigger: y or -4?
y
Let y = -1/6490214 + -86942906697/305040058. Let v be 0 - 283 - (0 + 2). Let i = y - v. Is i greater than -1?
True
Suppose -220 = 2*w - 16. Which is bigger: -103 or w?
w
Let d(c) = -3*c + 5. Let t be d(5). Let o(k) = 4*k - 5. Let x(g) = -5*g + 4. Let a(b) = -4*o(b) - 5*x(b). Let u be a(-1). Is t at least as big as u?
False
Let a be ((-24)/50)/((-624)/7280). Are a and 6 nonequal?
True
Let o = -14 - -17. Suppose -3*k = 3*a + 72, 0*k - 3*k + o*a = 84. Is k >= -26?
True
Suppose 4*o + 18 = x, 4*x + 8*o = 4*o - 28. Let g be -1*(-4 - (2 + x)). Suppose 2*n = s - 0*n - 8, g*s = -4*n - 4. Is s smaller than 7/3?
True
Let x = -1.22 + 0.22. Let g = x - -1.2. Is 5/4 smaller than g?
False
Suppose 3*x - 18 - 6 = 0. Let t be ((-2)/x)/((-3)/12). Let s be 6*(t + 86/(-87)). Is 1 bigger than s?
True
Suppose 4*q - 5 = -1. Let h be q*-3 + 220/75. Is h >= -1?
True
Suppose -5*v - 24 = -4*v. Suppose -3*o = -8*i + 3*i + 79, -5*o = i + 113. Which is smaller: v or o?
v
Let h(x) = 12769*x**2 - 4*x + 2. Let c be h(2). Let q = 308665/6 - c. Let f = q + -373. Which is smaller: f or 2?
f
Let z = 71 + -11. Which is smal