Let u = -43/68 - x. Is 0 > u?
True
Let k = -47 + 46. Which is smaller: 12/35 or k?
k
Suppose -2*o - 1 = -o. Let y(i) = -2*i + 0 + i - 1. Let r be y(o). Is r not equal to 5?
True
Let v = -2/359 - -740/3949. Let h = 39 + -39. Is h at least as big as v?
False
Let c be (-3 + 4)/((-1)/(-4)). Suppose -c = y + 3*y. Which is bigger: -3/4 or y?
-3/4
Let i be ((-5)/11)/(-5)*-6203. Let w = i - -565. Which is smaller: 0 or w?
0
Let k be (-10)/(-8)*(4 + 0). Suppose -k*s - 28 = -3*n, -6 = 2*s + 4. Suppose 0 = 4*z + 2*c + 4, z - c = -z + 6. Are z and n non-equal?
False
Let o be -1*2/(1/(-1)). Let f = 4 - o. Let j be 1 - f - (-9)/15. Which is greater: j or -1?
j
Let p(k) = -k - 3. Let r be p(-4). Let v = 83562/5 + -16779. Let z = v - -67. Is z at most r?
True
Suppose x + 0*x + 6 = 0. Let g be (-5)/(45/x)*-3. Let i be 14/(-18) - (-8)/(-36). Is g bigger than i?
False
Let p be ((-12)/(-18))/((-2)/75). Let g = p - -25. Is 4/9 bigger than g?
True
Let g be (-2)/2 - 33/(-27). Let f(i) = 5*i**2 - i - 3*i**2 - i**2 + i**3. Let p be f(0). Is g not equal to p?
True
Let o be -10 - (2 + -2) - 0/28. Which is smaller: -13 or o?
-13
Suppose -5*y = -2*o + 5*o - 83, 5*y - 4*o = 76. Is 15 at least y?
False
Let c = 25.2 - 25. Are -0.01 and c equal?
False
Suppose -2*l = 3*m + 10, -2 = -l - 5*m - 0*m. Let q be 1/12 - 2/l. Let g = 0.08 + 0.02. Is g < q?
True
Suppose -5*i - 8 = 2. Let k be ((-3)/9)/(4/(-6)). Is k greater than i?
True
Let m = -1651/6 - -276. Suppose -4*d + 12 = 4. Which is smaller: m or d?
m
Let j be (-2)/(-8) - 21/(-28). Let z be 22/(-120) - (-3)/12. Which is smaller: j or z?
z
Suppose 5*y = 2*y. Let m = -808 - -10498/13. Is m smaller than y?
True
Let m = -55082/45 - -1224. Do -1 and m have the same value?
False
Let o(u) = -2*u - 22. Let r be o(-10). Which is bigger: -4/5 or r?
-4/5
Suppose 12*k = 13*k + 6. Is -14 bigger than k?
False
Let i = 5 - 5.3. Let z = 0.5 + i. Let c = -0.8 + 1.8. Is z < c?
True
Suppose 33 + 0 = 2*a - 5*o, -3*a = -3*o - 27. Let w(n) = n. Let i be w(a). Which is bigger: 0 or i?
i
Suppose j + 1 = -w - 2*j, 4*j = -2*w + 8. Let q be 1/(-1 + 15/14). Do w and q have the same value?
True
Let q = -18.7 + 14. Let a = q + 0.7. Let w = 4 + a. Which is greater: -0.2 or w?
w
Let j be 8/12*(-30)/(-4). Let s = -7 + j. Are s and -2 non-equal?
False
Let b be (-3969)/35 + 3/(-5). Let i be (-9)/15 + b/(-15). Let h(q) = -q**3 + 8*q**2 - 6*q - 8. Let p be h(i). Which is greater: 0.2 or p?
0.2
Let s be (-5 - (-4 - -1))/6. Which is smaller: 24 or s?
s
Let q = -2.93 - 0.07. Let t = q - -2. Which is smaller: t or 1?
t
Suppose p + 2 = 3. Let k be (-18)/(-21)*(-2)/(-6). Is k greater than p?
False
Let z(m) = m**2 + 16*m + 20. Let w be z(-16). Does 21 = w?
False
Let g = -2.2 + 3.5. Let i = g + -4.3. Is i < -1?
True
Let x = 58 - 38. Suppose 3*g + o = -5, -3*g + x = -2*o - 2*o. Are 1 and g equal?
False
Let l be 2/(-2)*(12 + -11). Does l = 2/837?
False
Let n = 5 - 3. Suppose -3 = -n*w - 1. Let x = 2 - 2. Which is bigger: w or x?
w
Suppose -2*u - x - 2 + 0 = 0, 4*x + 8 = 0. Do u and 0 have the same value?
True
Let z = 165/4 - 41. Which is bigger: -1 or z?
z
Suppose 4*k + 9 = -5*k. Is k less than -2/27?
True
Let m be ((-2)/(-84))/((-36)/(-14)). Is m equal to 1?
False
Let b = 99 - 95. Let r = -0.4 - -0.2. Let z = r - -0.1. Which is bigger: b or z?
b
Let q = 34.96 - 35. Is 1 at most as big as q?
False
Let d = -398/221 + 28/17. Let q(v) = 2 - 3*v**3 + 2*v**3 - 3*v**2 + v + v**2. Let s be q(-2). Is d at most as big as s?
True
Let y(s) = -s**2 - 4*s - 21. Let n be y(-5). Is n > -26?
False
Let s = 59 + -37. Let c = 9 - s. Does -13 = c?
True
Let r be 6/10 + (-1044)/90. Suppose -3*s - 32 = 4. Is r >= s?
True
Let n = -25 - -23. Which is smaller: -3 or n?
-3
Let k = -15 - -15.8. Let u = 1.8 - k. Is -6 less than or equal to u?
True
Suppose -3*t + 5*t + 3*k = 0, -t - 2 = k. Let d be ((-20)/(-15))/((-2)/t). Is 5 smaller than d?
False
Let d(t) = -t**2 - 2*t. Let b = 23 + -14. Let c be 2/8 - b/4. Let l be d(c). Is l smaller than 0?
False
Let v be (-3 - (-14)/4)*54. Let k be ((-6)/(-8))/(v/6). Which is greater: 1 or k?
1
Let d = 17 - 9. Let q be (-1 - 2)/((-6)/d). Suppose -3*n = -1 + q. Which is greater: n or 0?
0
Let m be -1 - 2 - (9 + -3). Is m smaller than -10?
False
Suppose 3*h - 8 = -2. Suppose 0 = y + h*y - 24. Let m be 3/(-12) - 10/y. Which is greater: -2 or m?
m
Let f = -0.15 + 0.85. Let z = -0.5 + f. Which is smaller: 1 or z?
z
Let a(r) = 7*r + 15. Let x(g) = 4*g + 8. Let z(p) = -3*a(p) + 5*x(p). Let c be z(4). Are -10 and c equal?
False
Let o(t) = -1 - t**3 + 2*t**3 - t**2 + 3*t**2. Let b be o(-2). Let d be (-10)/42 - (-20)/30. Is d greater than or equal to b?
True
Suppose 4*k + 24 = 4*h, -3*k + 5*h = -k + 24. Let m be (-3)/(k - (0 - 1)). Let o be (m/(-9))/(2/(-12)). Which is bigger: o or 1?
o
Let h(y) = y**3 - 3*y - 1. Let v be h(-2). Let a = v + 3. Let p = -46 + 187/4. Which is smaller: p or a?
a
Let s = 2 + -2. Let a be (-5)/2*(1 - 3) + -4. Which is greater: s or a?
a
Suppose -1 = 2*w - 5. Suppose -w = z - 2*z + 2*x, 3*z - 8 = 4*x. Let g = -3 - -2. Which is greater: g or z?
z
Suppose m = v + 2, -3*m + 4*m + 1 = 4*v. Which is greater: v or -4/9?
v
Let g(h) = h**2 + 6*h + 3. Let b be g(-4). Let o = -43 + 45. Is o at most b?
False
Let t = 0.01 + -3.01. Let f = -3.105 + 0.005. Let u = f - -3. Which is smaller: u or t?
t
Let p = 34 - 25. Suppose 2*m + 47 = 3*j + 3*m, 3*m - 6 = 0. Let g be (-10)/p*18/j. Are g and -1 unequal?
True
Suppose 4*c = 3*z - 102, -3*z - c = -2*z - 27. Which is smaller: z or 31?
z
Suppose 2*z + 2 + 5 = -3*f, 3*f = -5*z - 4. Suppose -7*b + 30 = -5*b. Are z and b non-equal?
True
Let g = -127 + 133. Which is greater: g or 0?
g
Let o be 2/6*117/7. Let c = 40/7 - o. Let l(r) = -r**2 + 3*r + 1. Let q be l(3). Is c > q?
False
Let p be 3/(90/(-4)*(-2)/(-12)). Is -2 <= p?
True
Let t(k) = k + 5. Let c be t(-7). Suppose f + 7 = -4*b, 2*f - 1 = -3*b - 0*f. Which is smaller: b or c?
b
Suppose 4*s - 7 = 9. Which is bigger: s or 2?
s
Suppose -2*h = 3*p + 113, 254 = -5*p - 3*h + 64. Which is bigger: p or -43?
p
Let m(q) = -q + 3. Let j be m(0). Suppose 0 = -j*h + 9, 0 = 5*y - 0*h + 5*h - 35. Let s(w) = -w**3 + 4*w**2 + w. Let d be s(4). Is y at most as big as d?
True
Let c = 9 - 9. Does c = -12/11?
False
Let a(f) = -f + 2. Let b be a(2). Let y be 32/20 + 2/5. Is y less than b?
False
Let z = -16 + 19. Let x be (0*z/9)/(-2). Which is bigger: x or -2?
x
Let h = -23/124 - 2/31. Is 1 greater than h?
True
Let h be (0 + 4 - 2)/(-7). Let l = -8 - -5. Which is smaller: l or h?
l
Let t(u) = u + 13. Let r be t(-10). Suppose -r*d = 2 - 8. Suppose 3*o = 3*v - 6, d*v + 4*o + 8 = -3*v. Which is greater: -1/12 or v?
v
Suppose b - 6*b = -30. Let w = 11 - b. Is w smaller than 6?
True
Let y = 3 - 3.3. Is 2 equal to y?
False
Let q = 20 + -21. Do 1/14 and q have different values?
True
Suppose -3*a - a + 60 = 0. Is a >= 14?
True
Let f(y) = y**2 + 2*y - 3. Let w be f(2). Suppose 0 = 4*a - 2*r - 12, 0 = -a + w*a - r - 16. Which is smaller: 3 or a?
3
Let r = 6.7 - 2.7. Let c = -0.4 - -2.4. Let q = r - c. Is q at most as big as 1/4?
False
Let o(z) be the first derivative of z**3/3 + 2*z**2 + 3*z - 2. Let x be o(-3). Is -0.1 at least x?
False
Let i = 0.13 - 0.63. Let q = -0.5 - -2. Let g = q + i. Is g at least as big as -0.1?
True
Let t = 5 + -7. Suppose 0*g - 2*g + 2*y = 6, -4*g + 3*y = 11. Is t at most as big as g?
True
Let l(w) = -w**3 + 4*w**2 + 8*w - 5. Let o be l(5). Suppose -2*a + o = 2*v, -3*a - 1 + 0 = -5*v. Suppose 1 = x + v. Which is greater: -2/3 or x?
-2/3
Let f = 6053 - 2802540/463. Let w = f - -939/6019. Do -1 and w have the same value?
False
Let a = -3/35 - 5/7. Let u be 3/(-3) + 0/(-1). Which is smaller: u or a?
u
Let d = -5 + 12. Suppose 2 = -9*c + d*c. Are 0.06 and c equal?
False
Let q(z) = -z**2 - 21*z - 41. Let o be q(-19). Let l be 6/(-4)*4/21. Which is smaller: o or l?
o
Let f = -0.081 - -0.044. Let k = f + 2.137. Let u = k - 2. Is u at most as big as 2?
True
Let k be 2/10 - 21/5. Let d be (k/24)/((-1)/2). Which is greater: d or 3?
3
Let m(c) = -c**3 - 7*c**2 + 9*c + 9. Let d be m(-8). Is d greater than or equal to -1/30?
True
Suppose w = -4*w - 5. Which is smaller: w or 2/83?
w
Suppose 0 = -3*x - 2*x + 5. Which is smaller: -2 or x?
-2
Suppose -2*c + 5*c - 27 = 0. Let r be (-