ose 2*f = 2*f - 3*f. Is b at least f?
False
Let g = -5 - -12. Suppose -3*r + g*r - 4 = 0. Is r at most 1?
True
Let l(d) be the second derivative of d**4/24 + d**2/2 + d. Let t(y) be the first derivative of l(y). Let o be t(2). Is 2 greater than or equal to o?
True
Suppose 0 = 5*b + 25. Let j be (-6)/2 - 16/b. Suppose 0 = -2*r - 3*r. Which is smaller: j or r?
r
Let x = 37 + -110/3. Suppose -s + 5*a - 4 = 3*a, 3*a = 4*s + 6. Is x >= s?
True
Let k = -114 - -115. Which is bigger: -3/47 or k?
k
Suppose -3*k = 4*c + 5, 5*c = -4*k - 3 - 3. Let u be (1*-1)/((-4)/(-6)). Do c and u have different values?
True
Let u be ((-8)/12)/(3/(-18)). Let a = -3 + u. Suppose 2*o - 1 = a. Which is greater: 2 or o?
2
Let j = -3 + 2. Suppose -p - 2*h = -3*p + 8, -5*p + 4*h + 20 = 0. Let x be (-8)/(-198) + p/(-18). Which is greater: j or x?
x
Suppose -2*u = u + 6. Which is greater: u or -9/4?
u
Suppose -4*z - x - 4 + 15 = 0, 0 = 5*x + 25. Which is greater: 30/11 or z?
z
Let n(d) = -d**3 + 12*d**2 - 6. Let o be n(12). Let a = o + 5. Is -1/4 > a?
True
Let k be ((-1)/(6/3))/((-38)/(-76)). Let z = -3 + 2.8. Which is bigger: k or z?
z
Let r = -2 - -1. Let c(t) = t**3 + 12*t**2 + 9*t - 22. Let q be c(-11). Which is smaller: q or r?
r
Let v(h) = -13*h - 6. Let j be v(1). Which is greater: j or -21?
j
Let i be ((-5)/(-20))/(1/(-2)). Let a = 0.1 - 0.1. Are a and i unequal?
True
Let c = -0.7 + 0.6. Let i = -0.2 + 0. Which is bigger: i or c?
c
Let a = 221/90 - 29/10. Is a less than -5?
False
Let k be (1/(-1))/(-1) - 0. Let a be 1/(-3) + 1/3. Let b be a + (k - (-9)/(-7)). Do 1 and b have the same value?
False
Let k = -0.146 - 0.054. Let f = 0.3 + -0.1. Let p = f + k. Which is smaller: 2/9 or p?
p
Let x = 1.5 + -14.5. Let d = -21 - x. Is 1/2 greater than d?
True
Let j = -702 + 31588/45. Which is bigger: 0 or j?
0
Suppose -4*o - 2 = -2*o, 0 = 5*i - 2*o + 3. Suppose 75 = -3*g + 9. Let n be -1 - (40/g - -1). Is i <= n?
True
Let d = -28 + 26.3. Let c = d - -2. Let k = 0.2 - c. Is k > 1?
False
Let r = 12 + -8. Let h = 11 + -8. Let c = r - h. Which is greater: 0 or c?
c
Suppose -5*x + 2*x - 6 = -3*r, 0 = 3*x + 5*r - 18. Which is smaller: 10 or x?
x
Let v = -0.06 - 0.04. Let k = -1.06 - -1. Is k greater than or equal to v?
True
Suppose -3*u - 4 = 5*m - 31, 4*m = -5*u + 32. Let k = -6 + u. Which is greater: k or -4/5?
-4/5
Suppose 3*p + m = -30, -2*p = m + 2*m + 20. Let l be (18/(-15))/((-4)/p). Is -3 smaller than l?
False
Suppose w + 0 + 1 = 0. Which is bigger: w or -4/17?
-4/17
Let v = -90 - -91. Let l = -32 + 21. Let w = l + 8. Which is smaller: v or w?
w
Let z = 4 - 8. Let j(u) = 4*u**3 - 3*u**2 - 3*u + 5. Let t(a) = 3*a**3 - 3*a**2 - 3*a + 4. Let x(y) = z*j(y) + 5*t(y). Let q be x(-2). Which is smaller: q or 3?
q
Suppose 0 = -3*r - 7 - 2. Let w = r + 6. Suppose 3*c - 2*p + 2 = 0, 0*c - 2*c - w*p = -3. Is c at least 1/3?
False
Suppose o - 2*t + 4 = 4*o, 4*o + 2*t - 4 = 0. Which is greater: -2 or o?
o
Let q(n) = -3*n**2 + n + 6. Let j be q(5). Is j at least as big as -64?
True
Suppose -9*g + g + 24 = 0. Which is greater: 0 or g?
g
Suppose 0*s + 3*b - 4 = s, -32 = -2*s - 4*b. Which is greater: s or 5?
s
Suppose n = -3*n - 108. Are 0.2 and n equal?
False
Let k be 26/(-7) - (-4)/(-14). Suppose s = 3*h + 7, -5*s - h = -5*h - 13. Let y(m) = -2*m - 1. Let c be y(s). Do k and c have the same value?
False
Let j be (-7)/((0 - 4) + 3). Which is smaller: 1 or j?
1
Let b = -2 - 1. Let c = -231/2 - -115. Is b < c?
True
Let x be (-7)/(-14) + (-58)/(-4). Is 13 less than x?
True
Let c(y) = -y**3 - 10*y**2 - 9*y. Let h be c(-9). Is 12 bigger than h?
True
Suppose 5*m + 3*i = 0, -3*m - 3*i + 0*i = 0. Suppose -s - 3 = -2. Does m = s?
False
Suppose 16*o - 2 = 15*o. Let u = 2 + 1. Which is bigger: u or o?
u
Let a be (-3)/4*(0 + 4). Let m = a - -4. Let h = 0.2 - 0.3. Is h at most m?
True
Suppose -2*x - 2 = 2*g + 2, -5*x - 10 = g. Is x less than or equal to 1?
True
Let t be 2/5 + (-28)/20 + 8. Is t equal to 7?
True
Let n = 178 - 174. Which is smaller: 9 or n?
n
Suppose -4*x + 10 = x. Let m be (-21)/12 + (x - 0). Let r be 1/2 + (-3)/2. Which is smaller: m or r?
r
Suppose 1 = 5*o - 9. Let w be o/(-6) + 850/(-42). Let l = -1886/91 - w. Which is smaller: l or 1?
l
Suppose -2*q = n - q - 10, 3*n - 30 = 2*q. Which is smaller: 9 or n?
9
Let h be 6/30 - 641/30. Let b = 61/3 + h. Which is smaller: 0 or b?
b
Suppose 3*x + 3*o + 6 = 6*o, 0 = -3*x - 5*o + 26. Suppose x*z = 7*z - 40. Let s be (-2)/(-4)*z/12. Which is bigger: s or 1?
1
Let d = 26 + -2. Let q = 17 - d. Is q bigger than -8?
True
Let j = -1.71 - 6.99. Let b = 0.7 + j. Let o = b + 8.04. Which is smaller: o or 0?
0
Let o(j) = 2*j - 3. Let x be o(2). Let v = -16 + 18. Is x != v?
True
Let r = 15 - 32. Let u = r - -17. Is u smaller than 4/3?
True
Let t(n) = n**3 + 2*n**2 - n + 1. Let c be t(-2). Suppose -r = c*r + 4. Do 2/27 and r have the same value?
False
Suppose -s = -4*s + 69. Suppose -s = -3*q - 77. Let d be 19/q + 2/9. Are -1 and d non-equal?
True
Suppose s - 2 = -n - 1, 3*n - 5*s = 19. Suppose -4*f + f + n = 0. Let y be -1 + f + (5 - 5). Which is greater: y or -1?
y
Let i = -22 - -20. Which is smaller: i or -13/4?
-13/4
Let o be (-2)/1 - (-1)/(-1). Let u be (-10*(o + 2))/(-1). Let n = u + 5. Is 0 at least as big as n?
True
Let s(i) = -i + 10. Let p be s(14). Which is smaller: p or -26/7?
p
Suppose 2*s + 2*d = 30 - 4, 4*d - 43 = -3*s. Suppose -10*k + 4*k + 30 = 0. Suppose 0 = 3*c - 0*l - k*l - s, 0 = c - l - 1. Which is bigger: -2/3 or c?
-2/3
Let t(l) = -2 + 4*l + 2 + 11 - 8*l. Let v be t(5). Which is greater: v or -8?
-8
Let m(h) = -h + 15. Let w be m(11). Let v(t) = t**2 + 8*t + 7. Let k be v(-6). Let d = w + k. Is 0 != d?
True
Let f(i) = 6*i**2 - 5*i + 11. Let r be f(2). Which is bigger: r or 71/3?
r
Let v(i) = 3*i - 1. Let w be v(1). Let a(s) = -2*s**3 + 3*s**2 - s. Let h be a(2). Let g be -2 + (-3)/(h/8). Are w and g unequal?
False
Let d be -3 + 2/((-16)/188). Which is bigger: -26 or d?
-26
Let u(l) = -l + 5. Let h be u(-7). Suppose 5*d - 20 = -4*j, 3*j - 2*d + 5*d = h. Let v = -3/7 + 1/7. Which is greater: j or v?
j
Suppose 4*c + 12 = 5*c. Is 13 at most as big as c?
False
Let g = 57 + -59. Is -2/3 less than or equal to g?
False
Suppose 0 = -2*x - 5*d - 27, -8*x + 26 = -9*x - 5*d. Let i be 1*(0 - (0 + 1)). Is x at most as big as i?
True
Suppose 13*v = 9*v + 12. Let t be (-1)/v - 8/12. Let f be 1/(-2) + (-1)/(-2). Which is greater: f or t?
f
Let a = 10.76 + 0.24. Is a < 4?
False
Let q be 1 - -2*(4 + -5 + 2). Let d be ((-1)/2)/((-5)/(-4)). Which is smaller: d or q?
d
Let r = 2.36 + -0.16. Let f = r + 0.8. Which is greater: f or -0.1?
f
Let a(u) = u**2 - 4*u + 6. Let w be a(4). Suppose -w*m = -3*m - 6. Suppose 0 = -3*v - m*v + 5*d - 5, -v = -5*d - 3. Is -2 < v?
False
Let a = -2 + 2.2. Let h = 2 - 5. Let k = 2.9 + h. Which is bigger: a or k?
a
Suppose 2*d = g + 2*g + 31, 5*d = -2*g + 30. Suppose d = -6*l + 4*l. Let p be 2/l*(0 + 2). Do p and 1/4 have different values?
True
Let a be 24/15*(-5)/(-2). Suppose -5*n + 1 = a*l, -n = l + 2*n - 2. Suppose -c = 2, 0*p - 3*c - 4 = 2*p. Is p >= l?
True
Let k be (-368)/370 + 12/12. Let x = 359/2035 + k. Is 1 not equal to x?
True
Let h be ((-2)/(-3))/((-10)/15). Which is greater: 1 or h?
1
Let c be -2 + -3 + 4 + 0. Suppose -4*w = -4*a - 8, 3*a - 2*w - 29 = -6*w. Suppose -3*p - a - 3 = 0. Which is smaller: p or c?
p
Let v = 35 - 20. Let i = 49 + -35. Is i greater than or equal to v?
False
Let y(i) = i**3 + 4*i**2 - 5*i + 4. Let o be y(-5). Let k = 62 - 59. Is k at least o?
False
Let m be (1144/(-12))/((-1)/3). Let p = -3716/13 + m. Suppose d = 2*d + 1. Is d greater than p?
False
Let t(y) = 17*y + 1. Let w(a) = a**2 - 9*a + 10. Let z be w(8). Let d be t(z). Suppose 0 = -5*v - 0*v + d. Is v > 7?
False
Let h = -0.02 - -0.82. Let f = 0.5 - h. Are -1 and f non-equal?
True
Let s(b) = 4*b + 1. Let i be s(-1). Let f be i + 1 + 3/(-3). Let h be (f/(-6))/((-2)/8). Are -1 and h equal?
False
Let h be 2 + -5 - (-11 + -2). Let l = 14 - h. Suppose -4*a + l*m = -2*a - 18, 0 = 2*a - 2*m - 8. Is a equal to -3?
False
Let v = -431 - -9049/21. Is v less than or equal to 1?
True
Suppose 7*a - 6*a - t - 11 = 0, -t - 67 = -5*a. Let j be 132/10 - 2/(-2). Let f = a - j. Is 1 >= f?
True
Let a = 0.43 + -0.33. Is a at least as big as 41?
False
L