2*t + 3. Let s be o(-1). Is s equal to -1/10?
False
Let h be 7/(-4) + (-1)/4. Let z = h + 1. Let q be (2/6)/(-1 - -2). Which is smaller: z or q?
z
Let s = -148 + 583/4. Which is smaller: -3 or s?
-3
Suppose 3*m - 8 = 1. Suppose w = m*x - 35, -2*x = -0*x + 2*w - 18. Is 11 less than or equal to x?
True
Let n = -59 + 475/8. Suppose -2*g + 84 = -2*y, 0*y - 206 = -5*g + 3*y. Let v be (-2)/(-5) - (-24)/g. Is n bigger than v?
False
Let g be (-76)/48 + (-1 - -2). Let f = 17/36 + g. Which is bigger: f or 1?
1
Let v be 14*4/(-40) + 1. Is v not equal to 9?
True
Let n be (-1 + 0)/((-4)/(-8)). Let m be -1 + -4 + 1 + 1. Which is bigger: m or n?
n
Let t(g) = -2*g**2 - 10*g - 7. Let m be t(-4). Is m at most as big as -5/14?
False
Suppose -11*l + 5 = -17. Is l at most as big as 3/4?
False
Suppose 0 = 2*v - 4*v - 6. Suppose 3*j + 2 = -u - 13, 8 = 4*u - 5*j. Is v equal to u?
True
Suppose 0 = 5*a - 2*f + 47, -a + f - 5 - 2 = 0. Is -87/7 bigger than a?
False
Let l = 12 - 7. Suppose m - l*m = -4*q + 4, q - 7 = -m. Suppose m*b = -b. Is -1 at least as big as b?
False
Let i be 6/2 - (2 + -2). Is i at most 2?
False
Suppose -2*i + 2 = 4. Which is smaller: i or 2/19?
i
Let t be -5 - 15/(-5) - (-24)/10. Let s(m) = -m - 2. Let w be s(-3). Which is bigger: w or t?
w
Let h = 105 - 56. Which is smaller: 48 or h?
48
Let l be (1/(-3))/(3/(-27)). Let g = -2 + l. Which is greater: g or 2?
2
Let p(d) = -d**3 - 3*d**2 + 3*d - 5. Let y be 32/(-12)*3/2. Let g be p(y). Let s be (4/42)/(1/3). Which is smaller: s or g?
g
Suppose 2 = d + 9. Let n(h) = -4*h + 3. Let w be n(2). Let c = -2 + w. Is d > c?
False
Let c = -2.3 + 0.3. Let x = 2.4 + -0.4. Let g = -3 + x. Which is greater: c or g?
g
Let t be -1 + 1 - 15/(-3). Suppose -4*r - r = -t. Let c be ((-6)/(-12))/(1/2). Is r at most as big as c?
True
Let t = -7 - -12. Is -3 > t?
False
Let z = 6 - 4. Is z > -1?
True
Let f be 0/7*(-1)/(-1). Which is smaller: -2/3 or f?
-2/3
Suppose 5*f + 10 = 4*f + 3*i, -5*f + 4*i = 6. Let a = -207 + 1455/7. Is f greater than a?
True
Let b(f) = f**3 - 14*f**2 + 25*f - 14. Let l be b(11). Is l >= -101?
False
Let a(r) = -r - 2. Let k be a(-1). Is k >= 0?
False
Let r be 32/(-4) - (-2 - -6). Is r at least -12?
True
Let i = -8 + 3. Let l = i - -9. Let z(j) = -j + 9. Let y be z(l). Is 4 < y?
True
Suppose 28*z - 5*z = 0. Which is bigger: z or 9/7?
9/7
Suppose 5*x + 231 = -2*g - 0*x, 4*g + 455 = -3*x. Let m be 18/45 + g/(-5). Let z = m - 93/4. Is z > 1?
False
Let y be 0 + 2/4*4. Let u = y + -16/7. Which is greater: u or 1?
1
Let v = 8 - 13. Let t = v + 6. Is t less than -2?
False
Let d(g) = g**2 - 6*g + 5. Let l be d(5). Suppose -2*n + 8*n = 2*n. Is l less than n?
False
Suppose -14 = -t + 4*n, -6*n + 28 = 2*t - 2*n. Let j = 7 - t. Which is smaller: -8 or j?
-8
Let c = -32 + 32. Which is smaller: 8/7 or c?
c
Let a(t) = -t + 1. Suppose -4*u = -20 + 4. Let v be a(u). Which is smaller: v or -5?
-5
Let j be (-2)/(-4) + (-43)/6. Is j less than or equal to -6?
True
Let c be 1224/1638 + 4/(-14). Is 0.1 > c?
False
Let i = -3/35 - 23/140. Let v = -667/9 - -74. Which is bigger: v or i?
v
Let h = -8 + 7.96. Let p = -0.06 + h. Which is smaller: -1/5 or p?
-1/5
Let b = 0.1 - 0.2. Which is greater: -2/3 or b?
b
Let w = -115 + 117. Is w greater than 0.08?
True
Suppose -2*c - 3*m + 5 = 0, 3*m + 1 = -8*c + 3*c. Let f = -1 + c. Let k = 39/2 - 21. Which is greater: f or k?
k
Let a be (2/(-4))/((-10)/15). Is a at least 1?
False
Let y be -3*(-3)/6 - 1. Which is smaller: y or 3/8?
3/8
Let b be (-1)/((14/(-4))/(-1)). Let a = -29 + 41. Suppose 7 = -5*y + 3*f, -3*f = -3*y + 3 - a. Which is smaller: b or y?
b
Let m = 9/5 - 148/85. Which is smaller: 0 or m?
0
Let u be (-156)/(-120) + (28/(-10) - -2). Which is smaller: -19/4 or u?
-19/4
Suppose -b + 11 + 9 = 0. Which is smaller: b or 19?
19
Let x(p) = 5*p - 3. Let a(l) = 4*l - 3. Let q(j) = -3*a(j) + 2*x(j). Let z be q(2). Which is bigger: z or 2/7?
2/7
Let z(h) = 5*h**3 + h**2 - 1. Let q(a) = -6*a**3 - 2*a**2 - a + 1. Let b(r) = 2*q(r) + 3*z(r). Let u be b(-1). Is u at most -3?
True
Suppose -18*t - 5 = -23*t. Which is smaller: -1/10 or t?
-1/10
Suppose 2*b = -4*o - 42, 2*o = 6*o + 5*b + 57. Which is smaller: o or -7?
o
Let i = -0.99 + 1. Let q be (-1)/2 + (-935)/20. Let m = q - -47. Is i smaller than m?
False
Let x(r) = r**3 - r**2 + r + 1. Suppose n = -3*b - 7, -4*b - 1 + 5 = -2*n. Let z be x(b). Which is smaller: -3 or z?
-3
Let j = 0 + -3. Which is smaller: -2 or j?
j
Let b = 4.2 + -4. Which is smaller: -2 or b?
-2
Let q be 4/3*(-3)/14. Let s = q + 5/42. Which is smaller: s or 1?
s
Let v be (-1 - 3) + 1 + 1. Let p = -11 + 7. Let k be 22/(-70) - p/(-14). Which is greater: v or k?
k
Let y = -2/3 + 16/15. Which is smaller: -0.5 or y?
-0.5
Let q = 5.8 + -6. Is q greater than 3/2?
False
Let z = 0.3 - 0.31. Let b = 0.39 - z. Let a = -0.3 + b. Which is greater: -1/4 or a?
a
Suppose 4*f - 28 = -92. Is -6 less than or equal to f?
False
Let k = 1.4 - -0.2. Let j = 13 + -12.6. Let n = k + j. Are n and -1 equal?
False
Let i(q) = -q. Let y be 0*1/(-4) - 1. Let z be i(y). Which is greater: z or -8?
z
Suppose 0 = 2*c - 7 + 3. Suppose -c*z - z = 0. Let o = -43.6 - -44. Which is greater: o or z?
o
Let m be -5 + (-6)/8*-4 + -1. Is -3 at most as big as m?
True
Let p = 8 + -16. Let b be p/16 - 27/(-55). Let l = b + -9/110. Which is smaller: l or 0?
l
Let n be (0 - 2) + -2 + 5. Let k be -4 + -1 + n + 0. Which is greater: k or -2?
-2
Let p = -25 + 28. Is p less than or equal to -2?
False
Suppose m = -15 + 3. Let w = m + 8. Which is greater: 0 or w?
0
Suppose -5 + 23 = -9*g. Is -46 >= g?
False
Let u be (-4)/(-2) - 8/(-3). Suppose 40*g - 33*g - 28 = 0. Which is smaller: g or u?
g
Suppose -5*v - p = 4, 3*v - p = 5 - 1. Is 0 < v?
False
Suppose x - 14 = -5*a, -4*a - 4*x = a - 11. Suppose 5*z = a*z + 6, 5*b = -z - 7. Let c = -179/3 - -59. Is b smaller than c?
True
Let q be 2*4/6 + -4. Which is smaller: q or -4?
-4
Suppose -3*w - 4*y + 32 = 0, w - y = -3*y + 10. Suppose 12 = 4*n - 5*f + 32, 3*f = 4*n + w. Is n less than 1/2?
True
Let f(q) = -q + 8. Suppose 3*h = w - 0*w + 12, -4 = -2*h. Let z be f(w). Let u be (-4)/z - 40/56. Are u and 1/3 nonequal?
True
Let t be ((-9)/15 - 3) + 3. Let o = -1/5 - t. Which is smaller: o or 1?
o
Let t(q) = q + 10. Let z be t(-7). Suppose f + 5*d - 8 = z*f, 0 = 2*f + 4*d - 10. Let w be ((-2)/3)/((-5)/(-3)). Which is bigger: f or w?
f
Let o(d) = -d + 35. Let q(l) = 7. Let r(u) = -2*o(u) + 11*q(u). Let t be r(-6). Which is smaller: -2 or t?
t
Let q be 60*(0 - 4/(-10)). Which is smaller: q or 23?
23
Let o = -145 - -316. Let a be o/33 - (-4)/(-22). Suppose -1 + 6 = a*w. Does w = 1?
True
Let p(u) = -u + 5. Let c be p(0). Suppose 0 = r - 4*g - 7, -5*g + 0 - c = 0. Let o be 1 - -2 - r - -1. Is o >= 1?
True
Suppose 5*s - 5*i = 45, -5*s - 6 + 57 = -3*i. Let y be (3/(-6))/((-3)/s). Which is smaller: 0 or y?
0
Let o = -27120/239 + 30887316/271265. Let h = -2/227 - o. Let q = 0.1 + 0.9. Which is smaller: q or h?
h
Suppose 8 = 4*d - 0. Let b be (d/(3 + 15))/(-1). Which is smaller: 1 or b?
b
Suppose 5*a = -l + 4, 4*l - a = 2*a - 99. Do l and -21 have different values?
False
Suppose 4*a = 5*a + 1. Which is bigger: -0.4 or a?
-0.4
Suppose -3*n = 2*f + 2*f + 78, -n = 5*f + 92. Which is smaller: f or 0?
f
Let t = -0.32 - -0.42. Is t less than -20?
False
Suppose 0 = -3*a - 7 - 11. Let u(s) = -s**2 - 7*s - 1. Let r be u(a). Which is greater: 7 or r?
7
Let n be (-1)/(-6) - 3/(-6). Which is smaller: -1 or n?
-1
Suppose 4*i + 2 = -5*f, -4*i + 4 = -5*f + 26. Is f > -0.21?
True
Let y be 21/7 + -1 + 1. Let l be -58 + (y - -3)/(-3). Let w be (-74)/l + 8/(-20). Do 2 and w have the same value?
False
Let y(b) be the third derivative of -b**6/120 - b**5/10 + b**3/6 + b**2. Let v be y(-6). Let o be (2 - 1)*(3 + -3). Is o less than v?
True
Let d(b) = b**2 + 3*b - 9. Let x be d(-4). Which is smaller: x or -6?
-6
Let l be 3*(-2)/12 + 1/10. Which is smaller: -2/11 or l?
l
Let s = -180 + 2159/12. Which is smaller: s or 1?
s
Let s(t) = 4*t. Let g be s(1). Let m be (0 + 1/(-5))*g. Is m less than -0.1?
True
Suppose 0*r = 5*r - 4*p - 35, 2*r - p = 11. Suppose 0 = -4*s + 1 + r. Let l = -3 - -2. Which is greater: s or l?
s
Let n(a) = -4*a - 1. Let v be n(-5). Suppose -4*g + 1 = -v, 4*b + g - 9 = 0. Which is smaller: b or 4?
b
