h or z?
h
Let r be 28/24 + 4/(-24). Let u(o) = o + o - 4*o. Let b be u(r). Is -4/5 <= b?
False
Suppose -2548 = 11*t - 4*t. Let z be -3 - t/(-6)*(-9)/(-6). Is -94 greater than z?
False
Let d = -5 - -10. Suppose -4*r = d*y - 120, -2*y = -4*r - 26 - 50. Let l be -2 + 76/y + -1. Which is smaller: 0 or l?
l
Let h(t) = -2*t**3 - 13*t**2 + 2*t + 45. Let c be h(-6). Let o = -6 - -4. Is o != c?
True
Let z = 53 - 13. Let x = z - 41. Is x greater than 0.3?
False
Suppose f = -4*v - 29 + 7, -3 = 4*f - v. Suppose z + 51 + 3 = 4*l, -5 = -l. Let j be ((-2)/z)/(f/4). Are j and 0 equal?
False
Let c = 1282 + -7691/6. Which is greater: c or -12/5?
c
Suppose 0 = 17*g - 16*g - 2. Suppose 2*y = 3*b - 1 - 0, 14 = -4*y + g*b. Which is greater: y or -7?
y
Let y(r) = r**3 - r**2 - r - 8. Let s = -17 + 17. Let x be y(s). Suppose -21 = 2*g + 3*m, -4*g - 11 - 4 = -3*m. Is g bigger than x?
True
Suppose 0 = r - y - 3, -4*r + 4 = -y - 23. Suppose 12 = r*p - 4*p. Suppose f + 4*l = 5*f + 4, 0 = -2*f + p*l - 4. Which is smaller: f or -2/17?
-2/17
Let z = 733/1551 - 17/33. Let a be (2 + -1)/((-25)/25)*1. Which is smaller: a or z?
a
Let t be (-2)/10*(-3)/15. Let o(f) = 7 - 14 + f**2 + 6*f + 7. Let k be o(-6). Is k not equal to t?
True
Let t be (-14)/(-21)*45/12. Let h = t - 11/6. Is h less than or equal to 2/135?
False
Suppose -60 = -4*p - 11*p. Let f(w) = -w**3 + 4*w**2 + 5*w - 21. Let q be f(p). Which is smaller: q or -27?
-27
Suppose -99 = -8*h + 5*h. Let t be (-22)/h - (2 + 38/(-12)). Let k = 167/4 + -42. Is t less than k?
False
Let o be 11 - 14 - 22/(-6). Let v = 18/95 + 4/19. Are o and v equal?
False
Let u be (-4)/24 - 218/(-12). Let g be 13/(u/(-15) + 1). Let v be (-16)/(-110)*g/(-26). Is 0 less than or equal to v?
True
Let p = -0.82 + 0.7. Let w = -176 - -175. Is w at most as big as p?
True
Let b = 13.76 - 16.36. Is -1/7 greater than or equal to b?
True
Let k = 27 - 19. Let a = -8 + k. Suppose -5*t + 5*z = z - 1, 5*t - 2*z - 3 = a. Which is bigger: t or -9?
t
Suppose 0*y + 1 = y. Let g = y + 2. Suppose 2*j - g*j - 2*a - 1 = 0, 0 = -4*j + 5*a - 30. Is -5 equal to j?
True
Suppose 2*t - 6 + 8 = 0. Let b be t/1 - (0 + -8). Suppose -5*z = -b - 13. Is z less than 1?
False
Let t be 886 + -6 - (-2)/1. Let n be (-266)/t + (-2)/(-6). Which is greater: n or 1?
1
Let z = 0.001 + -54.001. Let s = 54.3 + z. Does s = 0.8?
False
Let j(q) = 2*q**2 - 9*q + 3. Let i be j(7). Let c = 26 - i. Is c != -2?
True
Let x = -4.4 - 24.2. Which is smaller: x or 0?
x
Let h be (-2)/(-428)*212 + 3/(-3). Suppose -k - 4*v + 15 = 0, 25 = -3*k - 2*k + 5*v. Which is smaller: h or k?
k
Let t = -0.66 + 0.755. Let l = t + -0.162. Which is greater: -1/2 or l?
l
Let u = -9 - -3. Let s = 5.43 + -4.43. Which is greater: u or s?
s
Suppose -14*h + 2482 = 3*h. Which is smaller: h or 147?
h
Suppose 0 = -2*d - 5*k + 1206, -2*d - 117*k = -120*k - 1222. Which is bigger: 610 or d?
610
Let h be ((-1)/(-11))/((-2)/4). Let s be (-4)/22 + 12/66. Suppose -7*u + 9*u = s. Is h at most u?
True
Let o be 1/2 - 6/(-12). Let i = -232 + 6263/27. Which is smaller: o or i?
i
Suppose -312 = 3*x + 3*y, 0 = -x - 4*y + 8*y - 89. Is x less than or equal to -99?
True
Let c(t) = 16*t**3 - 7*t**2 - 8*t + 12. Let o be c(-3). Which is bigger: -2/3 or o?
-2/3
Let z = 453 + -452. Which is smaller: -2/13 or z?
-2/13
Let r(u) = u + 1. Let v be r(1). Suppose -3*q - 2 + 1 = 2*d, 11 = v*d - q. Suppose 5*a + 2*f = 8, 4*a + 2*f - d = 4. Is a > 1/4?
False
Let z = -6 - -6. Let c be 1*5*(-12 - (-18016)/1668) + 6. Which is greater: z or c?
c
Let w = 174 + -174. Which is bigger: w or -2/19?
w
Suppose 437*b = 434*b + 54. Suppose 4*n - n = 0. Suppose -k - 3*t = -3, n = 2*t + 3*t + 25. Is k != b?
False
Let u be (4 - 7) + (-13)/(-1). Let m be 148/2*(-5)/u. Is -37 > m?
False
Suppose 1437 - 1413 = 2*x. Is 56/5 greater than or equal to x?
False
Suppose 2*o + 6 = -5*p, -4*p - 8 = -3*o - 3*p. Let f be -9 - -7 - (1 - o). Do -6/11 and f have the same value?
False
Let b be 22/(-9)*30/(-20). Which is smaller: b or 4?
b
Let u = -0.0372 + -9.9628. Is u smaller than -6?
True
Let f be 0 + 12/(-3) - -3. Let h be (-2 + -2 - f)/(-1). Which is smaller: h or 6?
h
Let c be (-6)/27 + (131045/107145 - 1). Which is greater: 1 or c?
1
Let a be 4351/12065 - 6/15. Is a < 1?
True
Let j(x) = -15*x**2 - 53*x + 118. Let d be j(2). Suppose 4*v + 82 = -2*t, -5*t - 2*v - 253 = -4*v. Which is smaller: d or t?
t
Let a(w) = -15*w - 13. Let l be a(-1). Let p be 3/(-6) + (-22)/(-4). Suppose l*g - 10 = p*h, -3*g - 25 = 5*h - 2*g. Is h greater than -4?
False
Let t(a) = 41*a + 7. Let g be t(-6). Which is greater: -238 or g?
-238
Let a = -438 + 483. Are a and 40 nonequal?
True
Let k = -203.9971 - 0.0029. Which is smaller: 0 or k?
k
Suppose 1688 = -9*v - 4504. Which is bigger: -690 or v?
v
Let i = 0.43 - 0.33. Let o = 5.4 - 4. Is i greater than or equal to o?
False
Let v be -1 - -4 - (4 - 2). Let p = v + 2. Which is smaller: -10 or p?
-10
Let r(j) = 6*j**2 + 3*j + 3. Let f be r(-5). Let u = f + -559/4. Are 5/6 and u nonequal?
True
Let n be (-1)/(-8) + 9291/(-152). Is -60 at most as big as n?
False
Let b(o) = 5*o**2 + 7*o + 4. Let g be b(-3). Let q = 27 - g. Is q at most as big as -2?
False
Suppose 7*w + 14*w + 21 = 0. Is w <= -4/117?
True
Let j = -7 - 2. Suppose 0 = -4*w + 22 - 54. Which is smaller: j or w?
j
Let q = -7 - -6. Let l = -7/20 - -17/220. Is q greater than or equal to l?
False
Let z be -4 - (-7)/(35/615). Let a = -361/3 + z. Is a >= -2?
True
Suppose 80 = -g - 25. Let l be 2/(-1) - (-1)/(g/(-204)). Is 0 at least as big as l?
True
Suppose 0 = 65*u - 62*u. Is -1/89 equal to u?
False
Let u be ((-2714)/(-40))/(1/12*3). Is u < 272?
True
Let n(a) = -4*a**3 + a**2 - a. Let m be n(1). Let b(f) = f + 7. Let q be b(-6). Let w be (3 + 0)/(-1*q). Do w and m have the same value?
False
Let l be (-8)/(-74)*(-7)/(-14). Let p = -181 - -180. Are p and l unequal?
True
Let a = -843 + 78400/93. Are a and 1 equal?
False
Let q = -18 - -17.06. Let k = 0.06 - q. Suppose 4*i - i = -3. Which is bigger: i or k?
k
Let c = -47/36 - -14/9. Let w = -29/12 - c. Suppose -11*b - 10 = 34. Which is greater: w or b?
w
Let a = -189.93 + 191. Let i = a + -0.07. Are i and 6 equal?
False
Let u be ((8/(-3)*-15)/1)/(-3). Let r = -11 - u. Is r < 1?
False
Suppose 4*f - 2*v + 5*v + 3 = 0, 0 = 2*f - 3*v - 21. Suppose 3*a + l - 7 = 0, 2*a - l = f*l - 14. Which is smaller: -3 or a?
-3
Let x = -384511/163783 + -1/7121. Is x at least -1?
False
Let t(i) = -i**2 + 5*i + 3. Let r be t(4). Suppose 7*y + r = -0*y. Which is bigger: 2 or y?
2
Let w = -29 - -33. Suppose -w*g + 15 = g. Suppose -b = -g*b. Is b at least -1?
True
Let o be 6/4 - (-3)/(-6). Let g be (-6)/(-28)*-3*(-6)/18. Do o and g have the same value?
False
Let h be (-105)/(-10)*2*1. Suppose 5*g + 4*a + 15 = 0, -3*a - a - h = -g. Suppose -4*f = -3*f + g. Which is smaller: -2/19 or f?
f
Let v = -0.15 + 0.1. Let k = -0.022 - 0.228. Let t = k + v. Which is smaller: -2/5 or t?
-2/5
Let d be -2 + (11 - 4 - 6). Let o be ((-135)/264)/(-3)*4/6. Which is smaller: d or o?
d
Suppose -3*y + 2*k + 116 = 0, -3*y - 34 = -4*k - 158. Let f = -359/10 + y. Which is smaller: f or 1?
f
Let m be (-182)/42 - 4/6. Is -8 > m?
False
Let t(j) = -9*j - 177. Let r be t(-19). Suppose 6*g + 12 = 3*g. Which is bigger: g or r?
g
Let m = -1626/17 - -284652/2975. Which is bigger: m or 0?
m
Let m = 1.7 + -2.4. Let k = 1.95 + -2.1. Let j = 0.05 + k. Which is bigger: m or j?
j
Let m(v) = -2*v**2 - 12*v - 9. Let r be m(-5). Let i = -17 + 18. Is r >= i?
True
Suppose v + 2 = 3*v. Let d = 10287 + -174887/17. Which is bigger: d or v?
v
Let c(x) = x + 5. Let t be c(-4). Let u be -7*10/4*(-2)/20. Which is greater: u or t?
u
Let j be (-204)/476 + (-96)/21. Which is bigger: -91/16 or j?
j
Let d be 2/2 - 13/(1209/90). Let k = d + -71/279. Is 0 > k?
True
Let z(s) be the first derivative of s**3/3 - 11*s**2/2 + 32*s - 22. Let p be z(6). Is -1 at least p?
False
Let o(n) = -n. Let y be o(-3). Suppose 0 = -4*f + 2*z - 14, y*f - 2 = -2*z + z. Let v = 19 + -20.2. Is f at most as big as v?
False
Let k be -3 + ((-1669)/10)/(1/(-2)). Let r = k - 333. Which is bigger: -3 or r?
r
Suppose 0 = 2*b - 2, -2*b - 5 = i + b. Let m be i/14 - 2/7. Suppose 0 = -2*u + 7 - 11. Which is smaller: m or u?
u
Let d be ((-6)/(-9)*-43)/(4/12). Are -86 and d non-equa