l = 3 - 8. Let s be 3/((-9)/l) + -2. Which is greater: u or s?
u
Suppose -7*h = -2*h. Let c = -1/14 + -79/70. Which is smaller: h or c?
c
Let n(g) = -2*g - 6. Let h be n(-4). Let v(p) = p**2 - 5*p + 2. Let k be v(h). Let r be (k/6)/((-6)/9). Which is greater: 1/7 or r?
r
Let s = 0 - 1. Suppose -3*p + 3 = -2*m, 2*m + 2*m + 7 = 5*p. Is p at least as big as s?
True
Let k be 2/13 + (-9 - -9). Suppose -u + 1 = 2. Which is bigger: k or u?
k
Suppose 4*i - 5*c - 116 = 0, 2*c + 29 = i + 4*c. Suppose 3*y - 4*b = i, 0*y + 4*y - 52 = 2*b. Is 15 <= y?
True
Suppose -3*z + 4*z - 3 = -2*s, -s - 5*z - 12 = 0. Suppose 5*u - 3*r - 27 = 0, 4*u + 5*r = s*u - 17. Suppose u*c + 2 = c. Is c at least -5/7?
False
Let s = -3 - 1. Let f be (8/(-130))/(s/10). Which is smaller: f or 1?
f
Let x = 167 + -12. Let a = x + -1083/7. Which is smaller: -8 or a?
-8
Suppose -7*n + 2*n + 25 = 0. Suppose -5*x = 2*i - 0*i + n, 3*i = -5*x - 10. Which is smaller: x or -2/25?
-2/25
Let v be 1/(2/4)*34. Let z be 144/v - (1 + 1). Which is smaller: 1 or z?
z
Let t(a) = -a**3 - 2*a**2 - 2*a. Let b be t(-2). Let w = b - 1. Is 4 >= w?
True
Let o be 2/(-10) + 160/(-75). Which is bigger: o or -3?
o
Let s = 1610 - 101428/63. Let f = -4/21 - s. Suppose b = 5*d - 24, -d = b - 1 - 5. Which is greater: f or b?
b
Let y(s) = s**2 + 3*s. Let l be y(-3). Suppose -4*m + 0 - 4 = l. Which is smaller: m or 0?
m
Let q be (4/(-2) - -4) + 3/(-3). Is q less than 16/7?
True
Let o be 0 - -1 - (-4)/(-4). Let m = o - 3. Suppose a = -3 - 1. Are a and m nonequal?
True
Let r(q) = 4*q + 5. Let v be r(-6). Is -19 smaller than v?
False
Let q = 14 + -18. Do 2 and q have the same value?
False
Let z be (4 - 14/4)*6. Is -6 equal to z?
False
Let s(g) = -g + 6. Let a be s(-11). Is a at most as big as 19?
True
Suppose 0 = -3*o + 3 + 3. Is o at most as big as 2?
True
Let n = 4 - 5. Which is bigger: 24 or n?
24
Let k(u) = -3 - 8*u + 2*u**2 - 8 + 1. Let i be k(7). Let j = -63/2 + i. Is j >= 2?
False
Let y = -1.2 + -1.3. Is y less than or equal to 1/3?
True
Let q = 12 - 11.9. Let w = 5 - 3. Let g = w + -3. Do q and g have different values?
True
Let f = -0.6 + 0.2. Let j = -2.4 - f. Let a = 1 - j. Is a smaller than 0.1?
False
Suppose 0*a - 27 = -3*a. Let o = 11 - a. Which is greater: o or 1?
o
Suppose -10 = 3*l + 8. Which is smaller: -8 or l?
-8
Let q = 0.2 + -0.4. Let l = 14 - 2. Let b = l - 12. Are b and q non-equal?
True
Let z = -9 + 5. Let d = 4.2 + z. Let v = 0.1 + -0.2. Which is greater: v or d?
d
Let z be (28/13 - 2) + (-54)/13. Let w(n) = n**3 - 7*n**2 + 7*n - 9. Let p = -16 + 22. Let s be w(p). Which is greater: z or s?
s
Suppose 0 = -0*n - n + 2. Suppose n*w - 200 = -2*w. Let m be (4/w)/(1/(-5)). Which is smaller: m or -3?
-3
Let p = 2.7 - 14.7. Which is smaller: p or 0?
p
Let w = 57 - 60. Is w not equal to 18?
True
Let q = 6 - 66. Is q at least -60?
True
Let l = 13 - 4. Let w be (-2)/14*3/l. Is w greater than 1?
False
Suppose 0 = 2*v - 5*t - 120, -3*v = -2*v - 4*t - 63. Suppose -2*n + 4*y = -n + v, 4*n + 315 = -3*y. Let j = 527/7 + n. Which is smaller: -1 or j?
-1
Let k = -21.1 + 21. Are 25 and k non-equal?
True
Let o = 2.5 + -4. Let g = o - -0.5. Which is greater: 1 or g?
1
Suppose -4*z + 6*z - 26 = 0. Let o(q) = -2*q + 26. Let n be o(z). Which is smaller: -2 or n?
-2
Let v be 465/(-189) - (-6)/(-14). Which is bigger: -2 or v?
-2
Suppose -5*f + 3*f = -2. Let r = -232613/18126 - 2/9063. Let g = 1297/102 + r. Are g and f non-equal?
True
Suppose 0 = -5*p + c, -3*p - c + 6 = -2*p. Which is greater: p or -1/3?
p
Let l = 4 - 18. Which is smaller: -15 or l?
-15
Suppose 0 = -0*o - 4*o. Which is smaller: o or 3/10?
o
Let b = 4199 + -25603/6. Let k = b + 68. Do k and 1 have the same value?
False
Let f = -48/7 - -47/7. Which is smaller: 0 or f?
f
Let q = 479 - 477. Let l = -1 - 0. Are q and l unequal?
True
Suppose 3*i + 12 = -t, 3*i + 39 = -2*t - 2*t. Is -11 greater than or equal to t?
False
Let y = 13 + -8. Suppose 0*n + y = 5*n. Which is greater: n or 1/3?
n
Let t = -0.9 - 0.1. Let f = -1.02 - -0.82. Is t <= f?
True
Let u be (-1)/(-2)*(-2 + 12). Let k(b) = 2 + 2*b - b + 4 - 2*b. Let y be k(u). Which is greater: -4/7 or y?
y
Suppose -4*t - 4 + 12 = 0. Suppose -p + 3*p + t = 2*u, 0 = -u. Suppose 3*y + 0*y - 19 = 2*x, x - 18 = -4*y. Which is smaller: x or p?
x
Let s = -83 - -44. Is -39 > s?
False
Suppose i = -i + 6. Let m be (-4)/(2/(-28)*-4). Let w be 23/7 + 4/m. Is i equal to w?
True
Let k = -22 + 26. Is k at least as big as 3?
True
Let c(j) = -27*j + 1. Let t be c(-2). Suppose -2*a + 70 = -2*d - d, a + t = -3*d. Let q be 2/d + 10/(-25). Do q and -1 have different values?
True
Let m be 50/(-114) - 13/(-39). Which is smaller: 0 or m?
m
Suppose -10 = -5*s + 5*a, 4*a = -5*s - 11 + 12. Let y(h) = -h**3 - 5*h**2 - 3*h + 5. Let c be y(-4). Is s at most c?
True
Let r = -6374/2739 - -76/33. Let h = r + -235/581. Is h greater than -0.3?
False
Let c = 3 - -5. Suppose -4*v + c*v = -76. Is v < 0?
True
Suppose 2*h - 3 = -2*k + k, 0 = -2*h - 4*k + 18. Let y be (-1)/((-1 - 0)/h). Let j be 16/(-40) + 12/5. Which is greater: y or j?
j
Let s be -12*(-3 + (-50)/(-15)). Let a = 7 + 1. Suppose -a = 4*i - 0*i. Which is smaller: i or s?
s
Let h be 1 + 2*1/(-1). Let s = -27 - -30. Is s greater than h?
True
Suppose 6 = 4*s - 5*b + 2*b, -3*s + b + 7 = 0. Suppose -2*d - 4*n - 8 = 0, -3*n = -5*d + 14 + 5. Which is smaller: d or s?
d
Let u(b) = b**3 - 10*b**2 - 7*b + 7. Let n be u(8). Let z = n - -1241/7. Is 3 less than or equal to z?
False
Let u(l) = -7*l. Let q be u(-10). Suppose 42 = -3*g + 2*o, g + 4*g + q = 3*o. Let r be 1/(-3) + g/(-18). Do r and -1 have the same value?
False
Suppose 62 = 2*m + 152. Let n be -3*(-6)/m + 1. Is n at least as big as -1?
True
Let w = -0.032 + -2.008. Let z = -0.04 - w. Let p = -1 + z. Is -1 at least as big as p?
False
Let x be (2/(-5))/((-7)/(-35)). Are 2 and x non-equal?
True
Let z = 1.08 + -0.98. Which is greater: z or 13?
13
Suppose -g + 2 = -3. Let v be 11 - -6 - (1 - 1). Suppose 4*t - v = 6*t - 5*m, 2*m - 26 = -4*t. Which is greater: t or g?
g
Suppose 5*d + 8 = 3*p + 1, -3*d + 12 = 0. Let m be (30/p)/((-4)/6). Let a = -16 + 11. Is m > a?
False
Let c be 6/(-8) - (-7)/4. Let y = -6 + 8. Which is bigger: y or c?
y
Suppose -c - 3*r = -22, 2*c - 6*r + r - 44 = 0. Let h be c/55 + (-12)/55. Which is bigger: -1 or h?
h
Suppose -4*a = -55 - 41. Which is bigger: a or 26?
26
Suppose 0*b + 2*b + 3*r = -16, -b + 5*r + 5 = 0. Let a be 12/(-8) - b/(-2). Suppose x + 2*k = -11, x + 2*k - 4*k - 5 = 0. Which is smaller: a or x?
a
Let u(z) = z**2 - 8*z - 2. Let o be u(8). Let a = 0 + o. Let y be (a/7)/((-9)/(-21)). Which is smaller: y or -1?
-1
Suppose u + 5*d - 22 = 0, 0 = 4*u - d - 2*d + 4. Suppose -u*j = 3*c - 4, 2*j - j = 2*c - 5. Let a be (96/(-128))/((-6)/2). Is j <= a?
True
Suppose -2*r - 21 = -5*m, 4*r = -0*m - 4*m. Let c be m/22*(-16)/12. Which is bigger: c or 1?
1
Suppose 5*t + 5 = -0. Let f = t + 3. Do f and 1 have different values?
True
Suppose 0 = -0*i - i + 7. Suppose 12 = 3*v + a, -5*v - 2*a = -i - 14. Suppose 2*n - v*n = -2*p, 3*p = 3*n - 6. Which is smaller: p or 2/3?
2/3
Let s = -13.4 - -12. Let i = 5 + -4.6. Let o = i + s. Which is smaller: o or -2/9?
o
Let s = 339 + -7121/21. Does s = -1?
False
Let r(k) = k - 16. Let x(t) = -t - 1. Let n be x(-12). Let h be r(n). Is -3 <= h?
False
Let n = 1/30 - 8/15. Is -14 at least as big as n?
False
Let r = 37/2 - 16. Suppose -2*h = 4*n - 22, 0 = n - 6*h + 2*h + 17. Is r > n?
False
Let t = -5 + 4.7. Let k = 0.9 + t. Let g = -4.6 + k. Which is smaller: -2/5 or g?
g
Let h = -7 - -12. Suppose 10 + 40 = h*x. Let w be x/6 - 1/1. Is 1 at most w?
False
Let g be ((-2)/6)/(1/(-15)). Let m = 6 - g. Let w be (3 + -1)*m/1. Which is bigger: 1 or w?
w
Let z = 6 - 3. Suppose 5*s = -z*v - 9, 3*s - 7*s - 3*v = 6. Which is bigger: -4 or s?
s
Suppose 4*g = 3*g + 1. Let v be (-2*2/(-6))/2. Which is bigger: g or v?
g
Let q = 36 - 35. Is 1 > q?
False
Let y be (0*(-3)/(-6))/(-2). Suppose y*n = -4*n - 32. Is n at most -7?
True
Let p be (-1)/(-3) + (-64)/(-6). Let u be 204/33 + (-2)/p. Suppose -5*r = u + 14. Is r < -4?
False
Suppose d - 16 = 3*a, -4*a - 35 + 15 = -d. Let n be 563/a - (-4)/(-8). Let f = 140 + n. Is 0 bigger than f?
True
Let q = 10252/45 - 228. Let z = q + -2/9. Let p = -7 + 6. Is p at lea