 - 2*k + k**2 - 2*k**2. Let t be o(-3). Suppose 4*w + 0*w = 8. Is t <= w?
False
Suppose -11 = -5*w + 44. Which is greater: w or 9?
w
Let o be 4/(-34)*6/(-24). Which is bigger: 0 or o?
o
Let g = 3 + -3.1. Let o(r) = -r**3 + r**2 + 2*r - 1. Let n be o(1). Let q be n + ((-8)/(-6) - 2). Is q greater than or equal to g?
True
Let l(d) = -d**2 - 4*d + 1. Let v be l(-3). Let w be (-18)/(-4)*v/6. Suppose 2*s - w - 1 = 0. Is s less than 2/3?
False
Let g = 1 + 5. Let x = g - 8. Is 0 greater than or equal to x?
True
Suppose 6*u + 25 - 7 = 0. Which is smaller: u or -2?
u
Let f = -0.25 - 21.75. Let t = f + 24. Is -0.5 <= t?
True
Suppose -2*u + 4*k - 32 = 0, 5 = 4*u + 2*k + 69. Which is smaller: -29/2 or u?
u
Let z = 8 - 14. Let r be (-1 + -9)*(z - -5). Let l be ((-6)/r)/((-3)/(-2)). Do 1 and l have different values?
True
Suppose 3*l - 32 + 2 = 0. Suppose -5*t - 6 = 4*o - 5*o, 5*o + l = 5*t. Is 3 != t?
True
Let d be ((-3)/(-2) + 0)*2. Suppose 0 = 2*c - 5*c + d. Let n(o) = -o**2 - 4*o - 3. Let f be n(-3). Does c = f?
False
Let t = -21 - -3. Let x = t - -27. Which is bigger: 10 or x?
10
Suppose 4*o - 211 = i + 2*o, -413 = 2*i - o. Let t = 620/3 + i. Is t bigger than 2?
False
Let g = -10 - -7. Let z = -3/47 + -408/235. Is g bigger than z?
False
Let b = 0.1 - -0.1. Let w = 3.5 - 3. Let t = 1.5 + w. Is b less than t?
True
Suppose 12*r - 16*r - 68 = 0. Is r bigger than -2?
False
Suppose 5*g = -4*p - 6, 0 = -4*p - 0*p - 2*g. Let r be 4/(-8)*(2 - 6). Let m = 3 - r. Is p less than m?
False
Suppose 3*h = -w - 34, 6*h - 4*h - w = -16. Which is greater: -8 or h?
-8
Let a = 3 + -2. Let r be (-10)/42 + (-2)/(-6). Which is smaller: r or a?
r
Let c = -445/6 - -147/2. Is 135 smaller than c?
False
Let j = 1.53 - 0.13. Let u = j + -0.4. Does 0.2 = u?
False
Let j = 83 + -86. Are 7 and j equal?
False
Let l be (170/4)/5 + -1. Let u = 7 - l. Suppose -3*h = -2*h. Which is smaller: h or u?
u
Let u be (-3)/65 - (-5)/25. Suppose -4*n + 16 = -4. Suppose -2 = 3*t - n. Is t <= u?
False
Let n = -50 - -48. Is 4 less than or equal to n?
False
Let t = 4 + -3.92. Let p = t - -0.52. Let c = p + -0.7. Is c at least -2/3?
True
Suppose -r - u = 2*r + 5, 3*u = 2*r - 15. Let d be 1*14/6*9. Let v be (9/d)/((-3)/2). Which is bigger: v or r?
r
Let m(c) = c**2 + 8*c + 8. Let t be m(-6). Is 2.6 greater than t?
True
Let z be -1 + 38 + (-5)/((-20)/8). Which is greater: 40 or z?
40
Let g = 65/3 - 22. Let l = 0.24 - 0.47. Let y = -0.13 - l. Which is greater: g or y?
y
Let t = 8 + -6. Suppose -6 = -x - t. Suppose x*h = j - 15, h + 4*j = 6*h + 5. Is -3 > h?
True
Let x = 658 - 17768/27. Is x greater than -1?
True
Let a be (-28)/(-8) - 1/2. Suppose -7 = 5*q + a. Do -1 and q have the same value?
False
Suppose 3*m - 25 = -2*m. Suppose -m*h + 2 = -18. Let u be h/3*(-2)/8. Is u != 2/15?
True
Suppose -s = s. Suppose -34 = -4*j + r, -2*j - 5*r = -0*r - 28. Let d be (-9)/28 + j/36. Is d less than or equal to s?
True
Let f = 11 + -3. Is 7 at least as big as f?
False
Let i be 30/(-25)*(-10)/(-4). Let y be 1/(2 + i/3). Which is bigger: y or 4/3?
4/3
Let r(j) = -j**3 + 12*j**2 - j + 16. Let d be r(12). Let o = 5 - d. Let q = 1723/8 - 215. Which is smaller: q or o?
q
Let i = 17 + -17.05. Is i not equal to 1?
True
Let c = -18 + 13. Let s be (-52)/10 + 4/20. Are c and s equal?
True
Let t be (6/18)/((-2)/12). Which is smaller: 0 or t?
t
Let s(r) = r**3 + 7*r**2 + 5*r - 7. Let c be (0 - (-9)/12)*-8. Let l be s(c). Which is smaller: 2 or l?
l
Suppose 7*v - 24 = -17. Which is bigger: -3/79 or v?
v
Let a(v) = -v**3 - 12*v**2 - 12*v - 10. Let m be a(-11). Which is greater: m or -3/16?
m
Let b = -39 + 43. Does b = -2?
False
Suppose 5 = 2*b + 2*b + 3*m, -2 = b + 4*m. Is b < 0.1?
False
Let z = 1/180 + 133/360. Which is bigger: z or 0?
z
Suppose t + 3 - 8 = -5*s, -s - t = -5. Which is smaller: s or 1?
s
Let t = -20 + 28. Are -3/4 and t equal?
False
Let h be 3/(-9) - 104/(-96). Which is greater: h or 1?
1
Let i(j) = 13*j**2 - 2*j + 2. Let t be i(-3). Let k = 4377/35 - t. Which is smaller: 0 or k?
0
Suppose 119 = -6*v - 61. Are -30 and v non-equal?
False
Let h(d) = -4*d - 8. Let a(k) = 3*k + 7. Let c(i) = -6*a(i) - 5*h(i). Let o be c(2). Suppose s + o*s = 0. Which is greater: s or 4/9?
4/9
Let g = -23 + 24. Which is bigger: g or -1/6?
g
Suppose -c + i = -2, 0 = -3*c + c - 4*i + 4. Suppose -2*g = -3*t, -2 - 4 = c*g. Let o be -2 - (-1 + (-6)/(-9)). Which is smaller: o or t?
t
Let n = -4 + 7. Suppose -n*l = -8 + 23. Suppose -3*w = 2*x + 16 - 2, 4*w = x - 15. Does l = w?
False
Let z(k) = -k + 1. Let g be z(-4). Let i = -6 + g. Which is smaller: 1/5 or i?
i
Let m = -3 - -11. Let o be (36/8)/9*14. Which is greater: m or o?
m
Let u be (1/(-18)*-3)/(4 - 2). Let t be 0/((-3)/9*-3). Is u at most t?
False
Let z = -11.61 + 12.6. Let j = 0.01 + z. Which is smaller: j or 1/3?
1/3
Let c = -9 - -13. Let z = -2.22 + 0.22. Is z not equal to c?
True
Let x(z) = -z - 16. Let b be x(-15). Which is greater: -2/21 or b?
-2/21
Let z = 0.2 + -0.3. Suppose 5*h - 4*q = -15, -h + 2*q - 15 = 4*h. Let k = h + 4. Is z > k?
False
Let r be (-2)/(-6)*2/3 + 0. Which is bigger: -0.4 or r?
r
Let l = 2.3 - -0.7. Let k = l - 2.94. Let x = -0.04 - k. Which is bigger: x or 0?
0
Let y(g) = -g - 7. Let h be y(7). Let t(j) = j**2 - 8*j - 1. Let f be t(8). Let z be h/30 + f/3. Are -1 and z equal?
False
Let h(g) = 2*g**2 + 13*g + 9. Let a be h(-6). Is 3 not equal to a?
False
Let x(b) = -b + 3. Let t be (-6)/4 - (-39)/6. Let r be x(t). Let i be (r/3)/(1/3). Is -3 less than or equal to i?
True
Suppose m + 4*m = 25. Is m equal to 0.2?
False
Let i = 55 - 54. Which is greater: -13/8 or i?
i
Suppose -6 = -3*u + u. Suppose 4*i = u*i - 1. Is i greater than 1/8?
False
Let t = 44011/15 - 2940. Let h = t - -16/3. Does h = -1?
False
Let o be (4/(-30))/((-216)/45). Which is greater: o or 1?
1
Suppose -35 = -10*b + 3*b. Which is smaller: b or 18/5?
18/5
Suppose 4*x + 20 = b + 4*b, -3*x + 55 = 5*b. Let f(c) = -c**3 + 9*c**2 - 8*c + 7. Let o be f(b). Is 6 equal to o?
False
Let j be (3 + -1 - 5/(-5)) + -4. Which is smaller: 1/9 or j?
j
Suppose 2 = 5*p - s - 33, -15 = -3*s. Let r = -3 + p. Is 5 equal to r?
True
Let h be 4/(-41)*(-65)/20. Let g = h - -2/123. Is 0.01 <= g?
True
Let i = 0.1 + 0.9. Which is smaller: 1/2 or i?
1/2
Suppose -j + 4*q - 26 = j, -2*j - 23 = -q. Is -11 at most j?
True
Let g = 0.056 - -0.174. Let q = -0.67 - g. Which is greater: q or 0.1?
0.1
Let h be (16/6)/(8/12). Suppose 1 = h*w + o + 13, -4*o = 16. Let i be ((-1)/w)/(2/3). Is i at least as big as 2?
False
Let v(q) = 3*q + 4. Let b be v(-2). Let k = -9026/37 - -244. Which is bigger: k or b?
k
Suppose 0*w + w = 1. Let b = 1157/11 + -105. Which is smaller: b or w?
b
Suppose 0 = 5*a + 2*b + 12 - 1, -b - 3 = 0. Let s be ((-6)/(-9))/(6/(-9)). Is s <= a?
True
Let c = 15.7 + -17.7. Which is greater: c or 1.8?
1.8
Let s be (-8)/40*10/(-2). Let y be s*3/((-21)/2). Which is bigger: 1/2 or y?
1/2
Let m be (-2)/9 - (-448)/72. Let d be (60/18)/(4/m). Suppose 4*v - 2*u = -5 - 7, -3*u = -d*v - 15. Is v at most as big as -3?
True
Let g = -47 - -47. Is g at most 3/8?
True
Let w = 0.1 + -0.17. Let u = 8.07 + w. Let c = -8.1 + u. Which is greater: -2 or c?
c
Let t = -1 + 5. Let s = -5 + t. Which is smaller: -0.2 or s?
s
Let u = 7653 - 1278038/167. Let x = u - -26321/835. Let b = -1116/35 + x. Is 1 at least as big as b?
True
Suppose -21*m - 3 = -18*m. Is -47 bigger than m?
False
Let f = -12 - -30. Suppose -39 = 5*i - 124. Which is greater: f or i?
f
Suppose -f = -6*f - 10. Let g be f/(-6) - (-1)/3. Is 0 bigger than g?
False
Let r(o) = 4*o + 33. Let w be r(-9). Are w and -1 unequal?
True
Let j(z) be the first derivative of -z**4/12 - 2*z**3/3 + z**2/2 - 2*z - 3. Let q(b) be the first derivative of j(b). Let h be q(-4). Is 1/3 bigger than h?
False
Let x = 13 + -19. Let m be (-6)/(-9) + (-92)/x. Suppose 4*g - t = -5*t, 3*g = 5*t - m. Are g and -0.1 unequal?
True
Let m be (-30)/7 - (-2)/7. Let w be (-1)/m - (-3)/4. Are 1 and w equal?
True
Let j = 24 + -34. Let l be 15/j*(-2)/13. Is l less than -1?
False
Suppose 3*q - 11 = -4*f - f, 2 = q. Let d = f - -3. Which is smaller: d or 3?
3
Let f be 0 - 10/(-65) - (-80)/(-182). Is f >= -26?
True
Let w be 1/((3/(-6))/(-1)). Let v be (12 - 2)*w/35. Which is greater: v or 0?
v
Let g = 0.025 + 3.975. Which 