h is bigger: f or -1?
f
Let g(m) = -m**3 - 13*m**2 - 7*m - 5. Let f(w) = w - 1. Let y(q) = 5*f(q) - g(q). Let l be y(-12). Let z = -8 + 12. Is l <= z?
True
Let n = -6.89 + -0.11. Let d = -7.3 - n. Is d != 4?
True
Let h be 1959/(-60)*8/(-2). Let j = h + -131. Which is bigger: j or -2?
j
Suppose 0 = -2*i - 5*t + 23, -2*t - 15 = -5*t. Let p = 0 + 2. Which is greater: i or p?
p
Suppose r + 7 = -d, 3*d - 10 = 2*r + d. Which is smaller: 3 or r?
r
Suppose 0*b = -2*b - 16. Let i = b - 6. Do i and -13 have different values?
True
Let g be (-1 + (-1)/(-2))*-4. Let z be 3 - -8 - 2*g. Is 6 less than or equal to z?
True
Let g = 15 + -15.1. Let i be (6/(-9))/((-50)/(-6)). Is g less than i?
True
Let a = 1 - -9. Is 11 at most as big as a?
False
Let v = 3/82 - -143/574. Which is greater: -3 or v?
v
Let a(p) = 100*p + 4. Let i be a(-3). Let v = -4438/15 - i. Suppose 3*t + 0*t + 3 = 0. Do v and t have the same value?
False
Let z be ((-7 - -3) + 5)*-1. Which is smaller: z or -16?
-16
Let h = 7 - -20. Suppose -11 = -m + u + 4*u, 5*u + h = -3*m. Let n(q) = 2*q**3 + 4*q**2 + q - 2. Let v be n(-2). Is m greater than or equal to v?
True
Suppose 4*q + 4*k = 20, 5*q = 2*k - 0*k + 60. Let c = 39/4 - q. Are c and 0 nonequal?
True
Let o be 7/4 - (-6)/(-24). Let n = 11 + -8. Is n > o?
True
Let r = 0.1 + 0.2. Is 2/11 > r?
False
Suppose -y = 4 - 3. Which is smaller: y or -2/7?
y
Let t = 84 + -79. Is t at least as big as 7/2?
True
Let c be 10/25*5 - (0 - -1). Is c less than or equal to -4/9?
False
Let i = 3 - 2. Is -6/23 <= i?
True
Let p be 1 + (-75)/6 + 1/2. Are p and -11 unequal?
False
Let b = -3.13 - -1.05. Let t = 0.08 + b. Is t bigger than 0?
False
Suppose -3*k = -8*k. Suppose -5*j + 59 - 14 = k. Is 8 != j?
True
Let h be (27/(-48))/((-1)/(-2)). Is h smaller than 0.1?
True
Suppose g - 9 = -4. Which is bigger: g or 26/7?
g
Let k = 2/97 - -89/388. Let d = 13 + -13.9. Let c = -1 - d. Which is greater: k or c?
k
Let l = -56 + 57. Is l at least 35?
False
Let n be (2/298)/(4/(-8)). Is -1 > n?
False
Let f = 4 + 0. Let z = 2 + 0. Suppose x = -f*h - 2, -x + z = 3*h + 3. Which is bigger: 3/7 or h?
3/7
Let w = 4 + -2. Let x be (-1 - (-5)/w)*-2. Suppose -2*g = 4*l + 2, 5*l - 2*g + g = -20. Is x less than or equal to l?
True
Suppose 4*u - u = -48. Which is smaller: u or -15?
u
Let v(p) = 4*p - 7. Let x be v(6). Let o = x + -10. Suppose 3*g + 4 = o. Which is bigger: -1/7 or g?
g
Let y = -2.09 - -29.09. Which is smaller: y or -1/5?
-1/5
Let y = 23 - 12. Are -1 and y equal?
False
Suppose -c + 2 = -0*c. Suppose -c*a - 10 = 3*a. Let r = -69 + 205/3. Is a less than or equal to r?
True
Suppose -3*s = 3*a + 3, -2*a = -0 + 2. Suppose h = -s*h. Let o be (3/(-9) - -1) + h. Is o smaller than -0.2?
False
Let h(j) = 2*j**2 + 9*j - 2. Let y be h(-5). Which is smaller: y or 1?
1
Let q(l) = -4*l - 11. Let a be q(-3). Is a greater than or equal to -1/23?
True
Let v(y) = y**2 + 5*y + 4. Let n(r) = -r**2. Let s be n(2). Let b be v(s). Let t = b - -3. Which is smaller: t or 0.1?
0.1
Let a = 85 + -85. Which is smaller: -16 or a?
-16
Let c = -178/5 + 36. Let u = -57.8 - -63. Let l = 5 - u. Is l < c?
True
Let j = 6.7 - 20.7. Is j bigger than 2?
False
Let k be (1/(-2))/(-4 - (-65)/16). Is k less than -33/5?
True
Let y(u) = -u - 1. Let p(a) = 5*a + 2. Let x(m) = -p(m) - 6*y(m). Let c be x(0). Is 3 >= c?
False
Let d = 9 - 6. Let n(k) = k**2 - 4*k + 2. Let p be n(d). Is -2 > p?
False
Let d be 3155/(-7)*12/30. Let u = d + 180. Is u at least as big as -1?
True
Suppose 0 = -0*q + 5*q. Let p = 0.1 + 0. Let u = 0.9 + p. Which is smaller: u or q?
q
Let x = 0.4 + -0.41. Let j = 2.01 + x. Which is greater: -0.2 or j?
j
Suppose 8 = -p + 38. Suppose c - p = -4*c. Is 1 equal to c?
False
Suppose -3*x - 6 = 0, 4*x + 2 = o + 3*x. Let f = o + 5. Suppose 4*s + 0*m - f*m = -4, 0 = 3*s + 4*m + 3. Which is smaller: 1 or s?
s
Let i be -2 - 3*(-2 - 0). Suppose -5*c - 2 = -i*c. Let g be (-14)/(-36) + c/12. Which is bigger: g or 0?
g
Let k = 8 + -11. Which is smaller: -5 or k?
-5
Let n = 0.27 + -0.49. Is n smaller than 2/9?
True
Let i be (-10)/(-24)*-1*(-5)/25. Is 1 less than i?
False
Let p(n) = n**3 + 9*n**2 + n + 10. Let c be p(-9). Let q(o) = 2*o. Let t be q(c). Is 2 != t?
False
Let v(s) = -s + 7. Let h be v(8). Let l be -4*(3 + h + -1). Let w be (-2)/(-4) - (-2)/l. Which is smaller: w or 2/11?
w
Let b = 0.09 - 0.19. Is -18 >= b?
False
Let u be (5 - 3) + -2 + (-24)/82. Are 0 and u unequal?
True
Suppose -2*g + 165 = 3*g. Let k be -1 + 13*3/g. Which is smaller: k or -1?
-1
Let j(x) be the first derivative of x**3/2 - x**2/2 + x + 1. Let a(u) be the first derivative of j(u). Let p be a(1). Are p and 2 non-equal?
False
Let w be 3 - (-2 - (-220)/36). Is w greater than 0?
False
Let f(p) = -9*p. Let d(b) = -4*b. Let i(r) = -5*d(r) + 2*f(r). Let n be i(1). Suppose -a = a - 2. Do n and a have different values?
True
Let q be 5/2*30/25. Suppose -q = z - 4. Does 1 = z?
True
Let l(f) = 2 + 2*f - 2*f**2 - f**3 + 0*f**3 + 0*f**3. Let h be l(-2). Let x be (2/(-24))/(1/h). Which is greater: x or -2/5?
x
Let r = 113/295 + 1/59. Which is bigger: -2/3 or r?
r
Let r = 20 - 22. Let z be 16/(-104) - r/13. Are z and -1/2 nonequal?
True
Let v be -2 + (-4)/16 + 2. Which is greater: v or 0?
0
Let l = 5.019 - 0.019. Which is greater: l or -0.6?
l
Let q(t) = t**3 - 9*t**2 + 9*t - 4. Let y be q(8). Let p be ((-3)/(-2))/(3/y). Suppose -4*m - 2*j = -6, m + 3*j - 24 = -2*j. Which is smaller: m or p?
m
Let i = 10211031704724/215 - 47493044789. Let w = -125931 + i. Let f = w - 2/43. Which is bigger: -1 or f?
f
Suppose -o + 6*i = i + 18, -o - 4*i = 18. Is -19 < o?
True
Suppose -o - 1 = t, 3*t + 3*o = -2*o + 3. Is t less than or equal to -5?
False
Let z(n) = -16*n - 19. Let x(m) = -3*m - 4. Let c(o) = 11*x(o) - 2*z(o). Let t be c(-7). Let l be (-24)/(-56)*(3 + -1). Is l bigger than t?
False
Let m be 1 + 3 + 9204/374. Let a = 440/17 - m. Let g = a + 131/44. Which is smaller: g or 0?
0
Let f = 1/23393 + 2152101/1286615. Let k = -14/11 + f. Is k at least as big as 1?
False
Suppose -12*h + 6*h - 276 = 0. Which is greater: -44 or h?
-44
Suppose 5*z + 4*t = -123, -4*z + t - 51 = 39. Which is smaller: z or -22?
z
Suppose 7*d - 4*d = -4*k + 7, 0 = 4*k - 5*d - 31. Which is smaller: 24/5 or k?
k
Let u = -4.5 - -0.5. Let t = u - -3. Are 0 and t non-equal?
True
Let j = 1.6 + 1.4. Is 1/5 > j?
False
Let p be 694/30 - 4/30. Let g = p + -17. Is g at most as big as -2/3?
False
Let l be (-2 + 0)*(-2 - -3). Let g = -118 + 350/3. Is g not equal to l?
True
Suppose -2*w - 5 = -3. Suppose l + 3*q = 16, -2*l - 13 = -4*q + 5. Let k be w - (-1 - (-2 + l)). Are k and -1 equal?
True
Let s be (0 + -4)/(0 - 2). Suppose 4 = 3*m - s*j, 4*j + 13 = -4*m - 15. Are m and -2 unequal?
False
Suppose 3*z = 6*z. Suppose 3*o + o + 4 = z. Let i be (-3 + (-10)/(-4))*4/(-10). Which is smaller: i or o?
o
Let y(i) = -i + 13. Let h be y(7). Is 6 at least h?
True
Let m = 11.9 - -0.1. Let v = m + 7. Is -2/3 < v?
True
Let i be 4 + -1 - -4 - -3. Which is smaller: 9 or i?
9
Let y = 11 - 15. Let d be (y + 1)*(-2)/(-6). Which is smaller: d or 2/9?
d
Let r(g) = g**3 - g**2 - 3*g + 1. Let l be r(2). Let s = -7/300 + -3/50. Is l > s?
False
Let u = -11 + -6. Let h = -16.8 - u. Which is bigger: h or -5?
h
Suppose -9*m = -11*m + 8. Is -0.8 > m?
False
Suppose -2*t - 3*n = 34, 4*n + n = -4*t - 70. Let j = -103/5 - t. Let o = 1 + -1. Do j and o have different values?
True
Let j = -23 + 25. Is -2 != j?
True
Suppose -5*f + 5*h - 52 - 8 = 0, 0 = -3*f - 4*h - 1. Which is greater: -0.1 or f?
-0.1
Let k(s) be the first derivative of -s**3/3 - 4*s**2 - 9*s - 2. Let u be k(-7). Is u at least 0?
False
Let k be (-2)/(-7) - 25/(-35). Let s(w) = -2*w - 6. Let b(n) = 3*n + 13. Let h(a) = 3*b(a) + 5*s(a). Let u be h(8). Is k != u?
False
Let a be -14*9/(-24)*8. Let l be a/41 + 0 - 1. Let z = l - -77/205. Is z greater than 1/2?
False
Let i = -3386867 + 8992131277/2655. Let v = -2/295 - i. Which is smaller: v or 0?
0
Let n be 2/(3*(-2)/(-12)). Let z be 16/12*n*3. Is z at most 17?
True
Let u be 220/6 + 2/(-3). Suppose 0*g - u = 5*g + 2*p, -4*g - 3*p = 33. Let x be g/21 + (-148)/(-28). Which is greater: -1 or x?
x
Let u = -0.34 + -1.66. Let y = 3 - 4. Which is smaller: y or u?
u
Suppose 3 + 0 = 3*c. Is c at most 5/12?
False
Suppose 16 = -4*n + 4,