 Which is bigger: b or -1/18?
-1/18
Let b be (2 + 3/(-2))*(27 + -25). Which is smaller: b or 2/129?
2/129
Let z(h) = h**2 + h - 4. Let s be z(-3). Let j(k) = -k - 2. Let b be j(-2). Suppose 5 = 5*g - b. Which is smaller: g or s?
g
Let q be (-2 + (-944)/(-495))*10. Let x be 3/(-27) - 1/1. Let j = x - q. Which is smaller: j or 1?
j
Let h = 8/43 - 75/172. Let q be 0 - (-3)/((-18)/4). Do q and h have different values?
True
Let u(f) = 57*f + 2. Let g be u(-1). Which is greater: g or -56?
g
Suppose f - 5*l = 4, -3*f - 4*l + 51 = 1. Which is smaller: f or 16?
f
Suppose 5*s - 23 = -3*v, -2*v + 4 = 2*s - 6. Let a be 2/(s*2/(-4)). Let j be 0/2*a/(-2). Is j greater than 1?
False
Suppose 3*i + 0*i - 62 = -5*r, 3*r - 114 = -5*i. Do 24 and i have different values?
False
Let y(d) = d**3 + 4*d**2 - 3*d + 5. Let l be y(-5). Is -4 > l?
True
Suppose 4*z + z - 5 = -b, 4*z = 5*b + 4. Let w = b - 2. Let m(y) = y**2 + y - 1. Let j be m(w). Which is smaller: 2 or j?
j
Let j be 4/(-3 - (-1)/1). Let w = -5 - j. Let y = 1 + -2. Do y and w have different values?
True
Let d = 0.14 + -0.04. Let v be (-2)/3 + (-1)/3. Let q(o) = o**3 + o. Let n be q(v). Which is greater: n or d?
d
Let w be 15/25 + (228/45)/(-4). Suppose 6 = s + 2*s. Is w < s?
True
Suppose 2*d + d = -27. Let z(k) = k**3 + 10*k**2 + 9*k + 2. Let l be z(d). Let b be 3/84 - l/(-8). Do 1 and b have the same value?
False
Let h = 0.851 + -0.951. Let c = 2.1 - 2.19. Is c equal to h?
False
Let p be 1/4*8 + 42/(-23). Is 1 less than p?
False
Let u = 0 + -1. Let t = -0.7 - u. Let d = 0.4 - t. Is -2/3 smaller than d?
True
Let j be ((-28)/(-21))/(6/81). Are j and 19 non-equal?
True
Let w = 79 + -86. Is w at most as big as -7?
True
Let u be (-2)/7 - (-5)/42. Let w = 8 + -3. Suppose -5*h + n = 4, w*h - 2*n = -0*h - 3. Which is smaller: h or u?
h
Let o be ((-2)/4)/((-10)/(-4)). Do -0.1 and o have different values?
True
Let a = -31 + 36. Suppose 10 = -i + 3*i. Is i not equal to a?
False
Let i(j) = -j**2 - 5*j - 2. Let p be i(-4). Let c(v) = -2*v**2 + 2*v + 2. Let t be c(2). Let k be 0 - t - (-14)/(-10). Which is greater: p or k?
p
Suppose 4*j + 20 = l + 6, -13 = -2*l + 3*j. Let a = -107070 - -28373724/265. Let f = -3/53 + a. Which is smaller: f or l?
f
Let k be 4/((-2 + 1)*1). Let h be (-1 - -4)/((-6)/k). Let v be h/11 - (0 - 0). Which is smaller: -1/4 or v?
-1/4
Suppose -56 = -5*w - 4*j, -w + 2*j + 18 - 4 = 0. Let y be (-135)/12 - (-1 + 2). Let t = y + w. Is t > -2/11?
False
Suppose -5*r = -0*r + 3*j + 5, 2*r + j = -1. Suppose -4*s + 3*s = 10. Let g be s/(-4) - (-1)/2. Do g and r have the same value?
False
Let y = -23 + 27. Let v be 1*2*2/(-4). Is y equal to v?
False
Let i = 27 - 14. Let s = 2 - 10. Let z = i + s. Which is bigger: z or -2/7?
z
Let f be 3*12/9 - 1. Suppose 89 = 3*w + 17. Let a be 54/w + 1/(-4). Which is bigger: f or a?
f
Suppose -r = -3 + 4. Let u be (-1)/(-6) - r/(-30). Which is smaller: -1 or u?
-1
Let b be (-6)/4*4/(-3). Suppose r + 2*c = -6, -3*r - 37 = b*r + 3*c. Which is bigger: -7 or r?
-7
Let h = -89.9 + 94. Let q = h - 4. Which is bigger: 2/3 or q?
2/3
Let t = 1.207 - 1.2. Let q = t - 3.107. Let p = q + 3. Which is smaller: 0.2 or p?
p
Let x = 5 - 3. Suppose -x*v = 3*v - 5. Is 6 at least as big as v?
True
Let x(b) = -b**2 + 3*b + 9. Let h(l) = -2*l - 13. Let m be h(-9). Let d be x(m). Is d bigger than -2/3?
False
Let q = 5 + 0. Let z be 0/((-5)/(q/(-2))). Is 1/17 at least z?
True
Suppose 0 = -0*a + 2*a. Let q be 1*2/(-1 - -13). Which is smaller: q or a?
a
Let j = -64 - -46. Which is bigger: j or -20?
j
Suppose 0 = 2*a + 3*a. Suppose -24 = -4*s + s. Let p be (-6)/s + (-2)/(-3). Is p >= a?
False
Let i be (4/(-8))/((-1)/4). Suppose -12 + i = 5*z + 4*m, 4*z = -2*m - 8. Let d be 2/4 - 1/z. Which is smaller: -3 or d?
-3
Suppose -j = -1 - 1. Let k = 0 + j. Suppose -k*d = -d. Is d bigger than 1/5?
False
Let c = -58 + 37. Is -2/5 at least c?
True
Let a = -19 - 16. Let z = a + 54. Suppose -y - z = -3*n + y, 5*n - 4*y - 35 = 0. Which is smaller: 3/2 or n?
3/2
Let w = 28 + -37. Let i = -18 + 10. Which is greater: i or w?
i
Let z(c) = -c**2 + 7*c - 2. Let b be z(5). Suppose -5*g = -g - b. Let n be 145/(-45) - g/(-9). Is -3 at least n?
True
Let n(m) = 3*m + 9. Let k be n(3). Which is greater: 17 or k?
k
Let i(z) = -z**3 - 12*z**2 + 12*z - 14. Let c be i(-13). Is 3/20 > c?
True
Let z be 1 + 149/(-147) + 0. Which is greater: z or 0?
0
Suppose 3*k = v + 3*v, 0 = 3*v. Which is bigger: 2 or k?
2
Let u(x) = x**2 - 2*x**2 + 5 - 1 + 1 + 4*x. Let j be u(4). Which is bigger: j or 3?
j
Let y be 1/2 + 166/(-316). Is y at most as big as 0?
True
Let r(m) = -m**3 + 10*m**2 - m - 3. Let o be r(10). Let v = -15 - o. Which is bigger: -1/2 or v?
-1/2
Suppose -1 = -l + 2. Suppose -3*f + l = -3. Suppose f*g + 13 - 1 = 0. Do g and -6 have different values?
False
Let o be (-42)/238*(-2)/2. Is o greater than or equal to -1?
True
Suppose 0 = -v - 1 + 5. Suppose -s + v = 2*i, 2*i + 8 = 2*s + 3*s. Suppose 2 = 2*a - s. Which is smaller: 1 or a?
1
Let l(z) = z**3 - 5*z**2 + 6*z - 6. Let w(i) = i + 4. Let d be w(0). Let a be l(d). Is 1 at least a?
False
Suppose 0 = a + 3 - 1. Let g = a + 4. Suppose g*z = -5*t + 8, -t + 0*z - 20 = -5*z. Which is smaller: -2 or t?
-2
Let q = 7 + -6. Suppose 3*p = 4*d + 4, 0 = -2*p + d + q. Let j be -1 - 0 - (-6)/8. Which is smaller: j or p?
j
Let a(t) be the third derivative of -1/8*t**4 + 1/60*t**5 + 0 + 0*t - 2/3*t**3 - t**2. Let v be a(4). Is 1/3 greater than v?
True
Let a(y) be the first derivative of y**3/3 - 3*y**2 - y + 2. Let h be a(3). Let k be h/(-55)*1/(-2). Which is smaller: 0 or k?
k
Suppose -3*q = -2*q + 5. Let g = -130 - -130. Which is bigger: g or q?
g
Suppose -2*r - 9 = 5. Suppose -5*q - 4*k = 2, 0 = -5*k + 9 + 1. Which is smaller: r or q?
r
Let o = 1 + -3/5. Let s(v) = -v. Let q(x) = 5*x + 4. Let j(w) = q(w) + 4*s(w). Let b be j(-5). Does o = b?
False
Suppose -4*h + 6 = -3*c - 5, 2 = -4*c - h. Is 1/36 greater than or equal to c?
True
Suppose 3*y - 13 = -2*b - 2*b, y = 5*b - 21. Suppose -6 = -2*o + b. Let a be -3*1 - -1 - -6. Is a != o?
True
Suppose l + 1 + 2 = 0. Let b be 0/(-1 - (4 + l)). Let x = 62 - 495/8. Which is bigger: b or x?
x
Let x(i) = -i**2 + 17*i + 15. Let w be x(18). Which is smaller: 0 or w?
w
Let w = -0.1 + 1.3. Let m = w + -0.2. Let v = 524 - 1049/2. Which is greater: m or v?
m
Let c = 8 - 4. Let i be (8/(-12))/((-4)/15). Which is bigger: i or c?
c
Let d = -5 - -5. Which is bigger: -0.1 or d?
d
Suppose -5*l = -3*l - 5*h - 20, 2*l - 4*h = 16. Let j = 3 - l. Which is smaller: 4 or j?
j
Let k = 1443 - 25957/18. Let y = -13/9 - -1. Let x = k + y. Are 0.2 and x nonequal?
True
Let a = -5.3 - -5.4. Let d = 0.74 - -0.16. Let s = a + d. Which is greater: 2/5 or s?
s
Let l be (-4)/3*(-3)/2. Let z(j) = -3*j**2 + 4*j + 1. Let v be z(3). Let p be 6/28 + v/(-49). Is p bigger than l?
False
Let d = -37 + 39. Let k = 31 + -63/2. Which is smaller: k or d?
k
Let o = 433/2 - 2221/10. Which is smaller: -5 or o?
o
Let t = -5 - -8. Suppose 0 = -t*y - 0*y - 2*k - 9, -11 = -y + 4*k. Which is greater: y or 2/9?
2/9
Let p = -16 - -20. Which is greater: p or -0.1?
p
Let t = -9 - -10. Let f = 0.9 - t. Is f less than or equal to -3?
False
Let f be 15*(4/(-3) + 1). Let r be 3/f - (-4)/(-10). Which is smaller: r or -2/9?
r
Let z = 15 + -12. Suppose -z*t + 4 = -7*t. Is t at least as big as -2/5?
False
Let t = -14 + 19. Is 1 at least as big as t?
False
Let g be -2 - 15/(5/1). Which is smaller: g or 0.1?
g
Let o = -73546/17 + 4328. Which is smaller: o or 2?
o
Suppose 59 = -3*i + 23. Which is greater: i or -11?
-11
Let d be (0/(0 + 2))/(-2). Are 0 and d equal?
True
Let m be ((-1)/1)/((-2)/6). Let b(u) = 11. Let j(i) = -i - 21. Let k(v) = 5*b(v) + 3*j(v). Let w be k(-4). Which is greater: m or w?
w
Let u = -3 + -88. Let t = -83.1 - u. Let a = 8 - t. Which is greater: a or 2/9?
2/9
Let j = -16 - -10. Let a = 699/16822 - 2/647. Let g = 7/13 - a. Is j at most g?
True
Let m(k) = k**2 - k. Let c be m(-1). Let z be 0/6 - 2/c. Is -4/3 smaller than z?
True
Let s be -12*4*(-6)/21. Let l = -857/63 + s. Which is smaller: l or 1/2?
l
Let b = 8 + -4. Suppose b*v = v + 6. Let g = 0 - 0. Is g > v?
False
Let z = 0.92 + 0.08. Which is smaller: z or 0.4?
0.4
Suppose 1 = 4*m + 3*z - 35, 3*z - 6 = m. Which is smaller: -8/5 or m?