(-8)*(0 + d). Which is greater: f or 1?
1
Let z = 30.1 - 29. Let r = z + -1.8. Let f = -2.7 - r. Which is greater: -1 or f?
-1
Let p = -6263/6 - -2261/3. Let x be 3 - 5 - (3 + -296). Let i = p + x. Which is smaller: i or 2?
i
Suppose q + 4*p - 2 = -p, -4*q + 5*p = -8. Which is smaller: q or -10?
-10
Let r be 6/(-15) - 108/5. Let o = r - -16. Let d(v) = -v. Let g be d(5). Is g at least as big as o?
True
Suppose -c = -3*x - 7, 5*x - 5*c + 3 = -22. Let f = 3 - 5. Are x and f nonequal?
True
Let y = -85 - -76.9. Let u = 8 + y. Which is smaller: 10 or u?
u
Suppose 0 = 5*w + 4*v - 21, 2*w + 2*v - 8 - 2 = 0. Let c be (w/3*-1)/(-1). Are c and 1 unequal?
True
Let d = -3 + 2.3. Let v = 0.9 + d. Which is bigger: v or 0.05?
v
Let o be 3 + (8/6)/(18/(-30)). Which is smaller: o or 2?
o
Let i(h) = -46*h**3 - 2*h**2 + 2*h. Let z be i(1). Is z <= -46?
True
Let p = 0.16 - 2.56. Let r = p + 0.4. Let k = r + 3. Is k smaller than 1?
False
Suppose 3*j + 9 = -24. Is j less than -11?
False
Suppose 9*i + 27 = 4*i + w, 12 = -2*i + w. Suppose -2*j = -s - 6, 4*s - 2*j - 9 = -33. Which is greater: s or i?
i
Let h = 139/15 + -26/3. Suppose 0 = -5*w, -2*w + 7*w = 2*l. Which is bigger: l or h?
h
Let s = 6.3 + -1.3. Let k = s - 0. Is -0.1 greater than k?
False
Let u = 0.31 + -0.01. Let c = -21/2 + 65/6. Are c and u nonequal?
True
Suppose -2*p + 78 - 74 = 0. Is p at least 2?
True
Let m be ((-245)/(-21) - 7)*(-36)/(-266). Which is bigger: 0 or m?
m
Let v(g) = -3*g**3 - g**2 - g + 1. Let c be v(1). Suppose 5*k = -0*k - 25. Is c at most as big as k?
False
Let u(t) = -t**2 + 0 - 6*t + 2 + 2*t**2. Let s = -1 + 7. Let i be u(s). Is i >= -0.1?
True
Suppose -8*d + 28 = -4*d. Which is smaller: d or 8?
d
Let y = -5 - 1. Let o(r) = -3 - 2 + 5*r - 3*r - 3*r. Let v be o(y). Are v and 1/2 non-equal?
True
Let x = 52 + -45.2. Let t = 7 - x. Let g = -1.1 - -0.1. Is g bigger than t?
False
Let r be (-522)/319*2/6. Let p be 2 - (1 + (-6)/(-10)). Is p at most as big as r?
False
Let k(d) = 3 + 3 - 5 - 2*d. Let q be k(1). Is q smaller than 2?
True
Let y = -71 + 63.8. Let r = y - -8. Let c = -0.2 - r. Is -0.2 != c?
True
Let r = -18/55 - -8/11. Is -3 < r?
True
Let h = 2.1 - 2. Let c = 41 - 58. Is c at least h?
False
Let y(z) be the third derivative of z**4/24 + 2*z**2. Let v(g) = g + 3. Let l be v(-3). Let n be y(l). Is 0 at least as big as n?
True
Let g be 88/6*12/8. Let n be 14/(-5)*(-315)/42. Which is greater: g or n?
g
Let w = 1 + 5. Suppose w*b + 22 = 4*b. Is b greater than -1?
False
Let v = -0.1 + -0.3. Let f = -0.6 - v. Let c = -0.2 - f. Is c bigger than -3/4?
True
Let a = 44 + -44. Is a bigger than 1?
False
Suppose 5*b - 359 - 166 = 0. Suppose u + 4*u + b = 0. Let w be (-3)/(-2 - u/6). Which is smaller: w or -4/5?
w
Let n = -10 + 12. Which is smaller: n or 3/4?
3/4
Let v = 0.08 + -0.2. Let g = v + -0.48. Is g at most -2/7?
True
Let s(m) = -7*m + 12. Let y be s(-9). Suppose 4*u - y = -u. Let c be 9/u - 4/(-10). Which is bigger: -1/5 or c?
c
Let r = -8 + 0. Is r > -7?
False
Let v be (-29)/18 - 9/(-6). Which is bigger: v or -1?
v
Let h be ((-6)/4)/((-2)/4). Suppose -4 = -2*o + 4*n, -n - 4 = -h*o + 3*n. Which is smaller: o or 1/4?
o
Let h(v) = -v**3 - 3*v**2 + 4*v + 4. Let a be h(-4). Suppose 0 = -a*c + m + 3, c + c - 6 = -4*m. Is 1 > c?
False
Suppose -t - 1 = -9. Suppose -t = 5*x + 2. Let n be x/9*(1 + -2). Which is greater: n or 1/3?
1/3
Suppose -3*f + 2 = t, 5*f - 16 = -3*t + f. Let r be (2/t)/(3/(-4)). Suppose 31 = -4*o + 3. Is r at least as big as o?
True
Let o be ((3 - 5) + 4)/2. Which is greater: o or -2/75?
o
Let j = 2 + 1. Suppose 2 = 5*q - j. Which is smaller: q or -3/13?
-3/13
Suppose 3*o + 2*m = -210 + 48, 5*o - m + 257 = 0. Is -51 greater than o?
True
Let v = -14.022 + 0.022. Is v less than or equal to 1/4?
True
Let p = 1 - 2. Is -1/13 at most p?
False
Let i = 53 + -50. Suppose 5*b - 1 - 14 = 0. Is i < b?
False
Let s(f) = -3*f + 6. Let j be s(-6). Let h be 2 + 0 + j/(-11). Which is bigger: 0 or h?
0
Suppose -n - 3*i + 4 = -4, -5*n = 2*i - 53. Suppose -z + 0*z = -5*y + 14, 4*z - 5*y + n = 0. Is 1 at least z?
True
Let l = 17 + -17.05. Let i = 0.15 + l. Do i and -20 have different values?
True
Let a(p) = -p**2 + 3*p. Let h(m) = 2*m - 3. Let g be h(3). Let z be a(g). Let d(i) = i + 2. Let u be d(-3). Is z > u?
True
Let i = 11 + -6. Suppose -i*t = -4*t. Are t and -4/5 nonequal?
True
Let s be 2 + (32/(-9) - -2). Is 1 greater than s?
True
Let u = 0 - 0. Let g(y) = y**2 + 10*y + 12. Let x be g(-8). Let o be (33/44)/(6/x). Is o greater than u?
False
Let t be 728/(-1029) + (1/(-3) - -1). Is t <= -1?
False
Let h = 8010695/216 + -290829/8. Let s = h + -733. Which is greater: -1 or s?
s
Let s = 14555/7 - 2064. Let j = s + -2661/175. Which is bigger: j or -1?
j
Let y = -33 - -33. Which is greater: -3/8 or y?
y
Let g be -3*1 - 61*4/(-84). Is 1 greater than g?
True
Let y(k) = -k**3 + 6*k**2 - 6*k + 1. Let r be y(4). Let j be r/(-7) - 16/(-56). Which is greater: j or 1/3?
1/3
Let j = -562/9 + 62. Let g = 1 - 0. Is g less than or equal to j?
False
Let j = -113 - -233/2. Is j equal to 3?
False
Let o be (-21)/(-55) + 4/(-20). Let q be 1/1*(-5 - -4). Which is smaller: o or q?
q
Let i = -0.23 + 0.33. Suppose 22 = 3*l - 5*s, 2 + 13 = -5*l - 2*s. Which is smaller: i or l?
l
Let h be 1/(2/3) - 1. Let s = -0.07 + 0.04. Let x = s - -3.03. Is h not equal to x?
True
Let f be 46/(-6) + 2/3. Suppose 7*c + 72 = -5*c. Which is smaller: f or c?
f
Let c(g) = -g - 5. Let o be c(4). Is -8 > o?
True
Suppose 0 = -2*o - 4*k + 28, -3*o + 4*k = -8*o + 94. Suppose -2*t - 2*g = -4*g - o, g - 5 = -t. Let z be t/20 - 4/10. Is z >= 4/5?
False
Let u = 79 + -78. Is -2/97 at most as big as u?
True
Let y(w) = 4*w. Let i be y(-1). Is i < -21/5?
False
Let m = -33 + 41. Is m >= 8?
True
Let n(j) be the first derivative of -5*j**2/2 + 7*j - 3. Let t be n(-5). Let s be (-3)/5 - t/(-20). Is s >= 2?
False
Let w be (7 - 3)*(-5)/(-10). Which is bigger: w or 7/3?
7/3
Let t(m) = -2*m + 10. Let l be t(3). Suppose -4*a = -1 - 7. Is a at most as big as l?
True
Suppose 0 = 5*j + 9*j + 126. Is j smaller than -60/7?
True
Let v(f) = f + 1. Let u be v(4). Suppose 0 = -u*h + 3*w - 2, 4 = 4*h + 2*w + 10. Which is greater: h or -2?
h
Suppose -7*i = -11*i. Which is smaller: i or 1/4?
i
Let s be 1070/60 + 2/12. Which is smaller: s or -1?
-1
Suppose -3*g + 3 = -0. Suppose -2*t + 3*x = 7, -5*x + 0 = -2*t - g. Which is greater: t or -15/2?
-15/2
Suppose -8 = -4*y - 4*v, -2*v + 0*v + 11 = -5*y. Let b be (y/4)/((-3)/36). Which is greater: -1 or b?
b
Let o be (-639)/(-1674) - (-2)/(-6). Is 0 greater than or equal to o?
False
Let f(i) = i**3 - 2*i**2 - i - i**2 - 2*i**3 + 0*i**3. Let s be f(-1). Are s and -1 unequal?
False
Let q = -0.6 + 0.4. Is 0.11 at most q?
False
Suppose 5*w + 6*d = 5*d - 380, -2*w - 130 = -4*d. Do -74 and w have the same value?
False
Let l = 1864/5 + -305781/820. Let o = l + -6/41. Is o < -3?
False
Let z = -361/6 - -123/2. Which is smaller: z or 0?
0
Let c(l) = -l**3 - 4*l**2 - l - 4. Let x be c(-4). Is x greater than -2/27?
True
Let i = 8 - 8.6. Let l = i + -0.4. Which is smaller: l or -0.4?
l
Suppose 0 = 15*a - 18*a. Is -3/10 equal to a?
False
Let g = 5 - -1. Let d = -3.3 + 5.3. Which is greater: d or g?
g
Let r = -118427 - -1064576/9. Let l = -141 - r. Which is greater: l or 1?
1
Suppose 3*v = 5*t + 13 - 7, 0 = 2*v - 5*t - 4. Which is smaller: v or 0?
0
Let y be (-24)/10*(-40)/16. Suppose 2*o = y - 0. Is o at most as big as 4?
True
Suppose 4 = 3*l + 4*h, -2*l - h + 1 = -5. Suppose -5*b + 3 = -12, 0 = -3*v + 4*b. Do v and l have the same value?
True
Let v(x) = -2*x + 4. Let p be 2*-5*(-4)/10. Let j be v(p). Let l be j/13*(-2)/(-4). Which is smaller: -1 or l?
-1
Let t(s) = -3*s + 1. Let a be t(-1). Is 3 greater than a?
False
Let c = 716/21 + -104/3. Let f = 97.1 + -97. Are f and c equal?
False
Let v = 0.2 - 0.3. Let p be (2 + 0)*(-1)/(-6). Is p > v?
True
Let s be (-2)/(-1) + -1 + (3 - 2). Is 8 at most as big as s?
False
Let h be -4 - 3*2/(-3). Is -2 < h?
False
Let b = 0.6 + -0.6. Let v = b - 6. Let g = v + 5.9. Is 0.1 less than g?
False
Suppose 0*s = -5*s - 10. Let g be (4 - 3)*2/s. Let f(t) = 2*t**3 + 1. Let b be f(g). Is b < -1?
False
Suppose -5*x + 4 = -1. Let h = 6 - x. Suppose -2*k - v = 3, k + h*v + 6 = -9. Is k at most as big as 1?
