= -1.2 + 1.1. Is -3/5 >= f?
False
Suppose 5*z = 18 - 218. Is 1 at most as big as z?
False
Let z = -112 - -111. Which is smaller: 4/11 or z?
z
Let p be (2 + 1 + -2)*11. Suppose -4*b - p = -3. Is -3 at most as big as b?
True
Let g(k) = -k**2 + 10*k + 3. Let w be g(10). Suppose -u + c = 2*c, 5*u + 2*c = w. Is -1/6 at least as big as u?
False
Suppose -w + 8 = w. Let t be (-3)/(-5) + w/10. Let y be (-1)/((7 + t)/(-2)). Which is greater: -3 or y?
y
Let z be 4/(-2) + -1 - 3. Is z <= -0.2?
True
Suppose -c + 4*d = -12, 0 = -4*c + 2*d - 2 + 8. Let a(n) = n**2 + n - 10. Let l be a(c). Is l >= -9?
False
Let c be (-4)/(-10) + 24/(-10). Let q be (-4)/c*(-3)/2. Let y = 1 + q. Are y and -2 non-equal?
False
Let l(m) be the third derivative of -m**4/24 + m**3/3 + 7*m**2. Let x = 0 - -1. Let b be l(x). Which is bigger: b or 2/3?
b
Let b be 0*(-1)/2 - -2. Let n = -580 + 4068/7. Which is bigger: n or b?
b
Let c be 2/(-10) - (-498)/(-10). Let l = c - -352/7. Let x = 8 + -6. Is l != x?
True
Let n = -16.9 - -17. Is n at most as big as 6?
True
Let v(y) = 6*y - 6. Let u be v(3). Are u and 14 non-equal?
True
Let z be 1/(-4) - 0/2. Let j be (1 - 0)*(9 - 5). Suppose 3*r = -5*l - 7 + 2, 4 = -j*l - 3*r. Is z > l?
True
Let h be -8 + 5 - (-20)/1. Which is smaller: h or 18?
h
Let u(b) = 19*b + 9. Let a be u(2). Is 47 at most a?
True
Suppose -3*r - 3*f + 6 = 0, 3*r + 2*f = 2*r + 4. Is 8/7 > r?
True
Let y(s) = -12*s + 6. Let a be y(-7). Suppose 2*t - a = 104. Let n = 385/4 - t. Is n > -1?
True
Let r = 23 - 18. Suppose -r*y = -y. Does -1 = y?
False
Suppose 3*l - 12 = -l. Let c be (-7)/((-14)/(-6)) - -5. Which is smaller: l or c?
c
Suppose -x - 3*x - 8 = 0. Let k be 45/(-20)*x/12. Which is smaller: k or -2/5?
-2/5
Let y = -33 + 19. Is -13 equal to y?
False
Let d = -0.15 + 0.09. Let c = d - -1.06. Which is smaller: c or 4?
c
Suppose 3*j + 2*s = 8, 2*s = j - 0*j + 8. Is -7/6 smaller than j?
True
Suppose -5*u - 30 = -0*m - m, -40 = 5*u + m. Let a be u/(-22) + 6/33. Which is greater: 1 or a?
1
Let t(w) = -w**3 + 5*w**2 + 8*w - 7. Let k be t(6). Let g be k/7 - (-6)/21. Let m = 137/70 - 21/10. Which is bigger: m or g?
g
Let g be 11*3 + (15 - 20). Are g and 3 equal?
False
Let b = -1.3 - 9.7. Let w = 8 - 1. Let i = w + b. Is i at most as big as 1/2?
True
Let d = -0.166 - 0.034. Is d at least 2?
False
Let n = -917/2 - -469. Which is smaller: 12 or n?
n
Suppose 8*c = 10*c - 72. Is 36 at most as big as c?
True
Suppose -3*k - 7 = -4*k - 5*z, -28 = -4*k + 2*z. Let n be k/(-6) - (-2)/4. Which is smaller: -1 or n?
-1
Let l be (-2)/(-315)*-3*-6. Let w = l + -9/385. Which is greater: 1 or w?
1
Let a = -2.1 + 5.1. Let d = -2/23 - -56/115. Which is smaller: d or a?
d
Let c = -0.28 + 0.39. Which is smaller: 2 or c?
c
Let p be (-14)/(-14) - 5/(45/12). Which is bigger: 16 or p?
16
Suppose -5*v + 4*u - 31 = 0, 0 = -0*v - 4*v + u - 16. Suppose -145 = -5*q - 5*r, -38 - 45 = -3*q - r. Let y be 1/3 + (-117)/q. Which is bigger: v or y?
v
Let m = 46 + -37. Are m and 6 nonequal?
True
Let u be (-1)/(-6) + 2/(-3). Which is smaller: 1/3 or u?
u
Let n = -14 - -3. Let u be (4/6)/(2/(-36)). Which is smaller: u or n?
u
Suppose -2*l = -z + 3, 2*z - 3*z + l = -3. Let h be z/((-9)/(-3))*0. Which is smaller: -1 or h?
-1
Suppose -2*a - 3*m = 2*m - 34, -m - 10 = -2*a. Suppose 0 = -t + 5*w + 15, 3*t + 6*w - a = 2*w. Suppose -v + g = -4*g - 23, t*g = -3*v - 31. Is -5 >= v?
False
Let i = 27 - 25. Which is bigger: i or 2/5?
i
Let f be (-75)/4 + 2/(-8). Suppose 63*a - 76*a = 234. Is f at most as big as a?
True
Let h = -8 + 8. Let o = 0 + h. Let p = 5 + -5.05. Is o equal to p?
False
Suppose -a + 0*a + 2 = 0. Let h be (-1 - -4 - 0)/1. Which is bigger: h or a?
h
Let u be (-1)/2 - 2/(-10). Let o(c) = -3*c - 44. Let s be o(-15). Which is smaller: u or s?
u
Let w be ((-24)/(-28))/(3/21). Suppose -4 = -m + 3. Is m at least as big as w?
True
Let p = -6 - 1. Let f(w) = w**2 + 10*w - 4. Let v be f(-10). Let j = p - v. Is j greater than or equal to -3?
True
Let s(l) = 2 + 1 + l - 3 + 3. Let d be s(-2). Is 4/3 < d?
False
Let m(k) = 3*k + 3. Let d be m(-3). Let q be (-2)/d*12/34. Let p = -19 - -18. Is q at most as big as p?
False
Suppose -1 = 3*c - 70. Is c greater than 24?
False
Let a be 76/20 - 8/2. Is 0 equal to a?
False
Let u = 0.192 + -0.092. Let x = 11 + 6. Let i = x + -86/5. Which is smaller: u or i?
i
Let k = -20 + 17. Let m = -2.7 - 0.3. Is k greater than m?
False
Let x be (6/4)/(2/(-4)). Let f be x/(-6) - 9/42. Let l = 10 + -14. Which is smaller: l or f?
l
Let u(o) = o**2 - o - 4. Let h be (1/(-2))/((-2)/(-12)). Let w be u(h). Is 9 at most w?
False
Let y = -0.9 - -5.9. Let t = 4.85 - y. Let h = -0.05 - t. Is h equal to 0.04?
False
Let f = -0.098 - 79.902. Which is bigger: f or 0?
0
Let l(t) = -t**2 + 5*t - 1. Let x be l(4). Which is smaller: -2 or x?
-2
Let s = 1 - 3. Let x = s - -1. Which is greater: x or -6?
x
Let o be (-15)/6*(-3 + 1). Suppose q - 2*u = -5*u, -u - 16 = -o*q. Suppose 2*a = -q*a. Is a greater than or equal to -1?
True
Suppose c = 4*c. Let m be (-30)/(-21) - (c + 2). Is 0.2 at most as big as m?
False
Let f be -2 - 0 - 0/1. Which is smaller: f or -5/7?
f
Suppose -30 = -4*d - d. Is d < 5?
False
Let x(m) = -m - 13. Let c be x(-7). Let z be 28/(-12) + (-2)/c. Let y be 8/(-42)*z/8. Is 1 bigger than y?
True
Suppose 0 = -3*f + 3*u + 24, 4*f - 3*f = -5*u - 22. Suppose 4*c + 2*w = 14, -4*w = -2*c + f*c - 21. Is c at least as big as 2/57?
True
Let v = 1/97 - -183/1067. Suppose i - 3*j = -3*i + 9, 0 = 5*i + 5*j + 15. Suppose -4*q - 5*t - 29 = i, 3*t + 12 = -5*q - 8. Is v equal to q?
False
Let s be 6 - (0 - (3 + -4)). Let w(t) = -t**3 + 5*t**2 + 2*t - 7. Let f be w(s). Let r(c) = -c**2 + 8*c - 9. Let h be r(6). Is f <= h?
True
Suppose -40 = -5*k + 10. Let o = -9 + k. Which is smaller: o or -3/19?
-3/19
Suppose -2*a + 6 = -r + 1, -5*r + 25 = 0. Suppose -a*c - 9 = 4*s, 2*c - 3*s - 8 = 7*c. Are c and -2 non-equal?
True
Let h(d) = d**3 + 5*d**2 - 6*d. Let p be h(-6). Let c be ((-16)/(-18) - 1)*2. Which is smaller: c or p?
c
Let h = 8481/8 + -1062. Which is smaller: -2 or h?
-2
Let c(o) = -o**3 + 8*o**2 - 7*o - 3. Suppose 3*m + 4*a - 13 = 0, 2*m = 7*m - 4*a - 43. Let v be c(m). Which is smaller: -4 or v?
-4
Let n = -65 - -64. Which is greater: n or 2/101?
2/101
Let p(k) = -9*k**2. Let r be p(-1). Which is smaller: -7 or r?
r
Let p be (-135)/(-132) - ((-6)/(-8))/(-3). Which is smaller: p or 2?
p
Let u = 1.2 + -3.2. Which is smaller: u or 2?
u
Let z be (27/(-6))/(-3)*2. Let n(q) = -q + 6. Let y be n(5). Is y less than z?
True
Let j = 1.8 + 14.5. Let f = 9 - j. Let x = 7 + f. Is x >= -1?
True
Let b = 43 + -42. Which is greater: b or 2/71?
b
Let q be (-2)/(-6) - (-22144)/15. Let l = q + -1211057/820. Let m = l - -2/41. Is -1 > m?
False
Let g = 1 + 1. Suppose -c = g*c. Let o(m) = -m**3 + 3*m**2 + 3*m + 4. Let a be o(4). Is a greater than c?
False
Let t be 4/36*3*9. Which is smaller: 12/5 or t?
12/5
Let u = -104/55 - -12/11. Which is greater: u or -12?
u
Let b = 0.07 - 0.17. Let x be (-4)/(-6) - (-1)/(-3). Which is bigger: x or b?
x
Let x = -39/2 - -20. Let i = 0.18 - 0.98. Are x and i nonequal?
True
Let h be 2*((-36)/(-8) + -3). Let c = h + -3. Is c bigger than 2/27?
False
Suppose i + 4 = -3*y + 1, -i = 2*y + 3. Suppose -4*z - 2*j - 14 = 0, 4*j - 6 = z + 2*j. Which is smaller: z or i?
z
Let g(q) = 2*q**3 - 2*q**2 + q. Let t be g(1). Let z be ((-15)/9 + t)*3. Which is bigger: 0 or z?
0
Suppose 0 = 3*g + 2*f + f + 21, -4*f - 10 = -5*g. Which is bigger: g or -1?
-1
Let t be ((-1)/(-2))/((-2)/(-4)). Let g = t + -2. Let v be (-8)/6 + (-16)/(-48). Is v equal to g?
True
Let u(g) = g**2 + 6*g + 7. Let w be u(-5). Let v(l) = l**2 - 3*l + 2. Let x be v(w). Suppose -3*r = -x + 3. Which is greater: r or -7/3?
r
Let o(i) = -i**2 - 7*i + 3. Let x be o(-7). Do 4 and x have different values?
True
Let y = 1.56 - 0.06. Let d = -13.5 + 13. Let i = d - y. Which is smaller: 1 or i?
i
Let m be (-33)/27 - 4/(-18). Suppose 0 = -2*h + 3 + 3. Suppose -5*x - h*o - 4 + 1 = 0, 4*x = 3*o - 24. Are m and x nonequal?
True
Let o = 161 - 121. Which is greater: 39 or o?
o
Let d = 2 + -1. Suppose 4*i + 249 + 75 = 0. Let n be (-6)/i*(-3 + 0). Is n at least d?
False
Suppose 0 = 5*u - v + 6*v - 40, 0 = -3*u - v + 18. Suppose -4*y = y - 20, 4*h = -5*y + 44. Let n be h/2