 j = -3 + 7. Let s be m(j). Which is smaller: s or -7?
-7
Let c = -0.14 + -0.02. Let d = 0.06 + c. Is -2/5 smaller than d?
True
Let s(u) = -2*u**2 - u + 2. Let i be s(-2). Let r(o) = -o**3 + 6*o**2 - 2. Let a be r(6). Which is smaller: a or i?
i
Let o = -9 + 10. Let f = o - 0.9. Which is greater: f or 4?
4
Let j = -0.0199 - -14.0399. Let u = j + -14. Is 1 less than u?
False
Let w be (-25)/(-105)*-3 - -1. Which is greater: w or 0?
w
Let l = 10 - 6. Suppose 4*x = -12 + l. Is x less than -2?
False
Suppose 3*z + 2 = 2*o, 6*z + o - 1 = 11*z. Which is bigger: 18/31 or z?
18/31
Let v = 161/3 + -52. Let l be 4/6 + (-1)/(-3). Which is bigger: l or v?
v
Let q be 3/(-6)*608693/4. Let z = q + 76187. Let h = z + -100. Which is bigger: 0 or h?
h
Let g(k) = k**2 + 18*k + 25. Let a be g(-16). Which is smaller: a or -40/7?
a
Let v(c) = c**2 - c. Let y be v(3). Suppose -12*l + 48 = -y*l. Which is bigger: 7 or l?
l
Let z(r) = -r**2 - 5*r - 5. Let s = 11 - 7. Let m be (0 - s)/(1/1). Let k be z(m). Is k greater than or equal to -2/5?
False
Suppose -6*b - 4*o + 54 = -3*b, o = -4*b + 59. Which is smaller: 12 or b?
12
Suppose z - 1 = 4. Suppose -8*x = -2*f - 3*x + 23, z*f + 4*x = -25. Let s be (0 + 1)/((-6)/4). Is s smaller than f?
False
Let m be (-12 + 21/3)*1/1. Is m > 4?
False
Let i = -25 - -30. Which is bigger: i or 31/8?
i
Let c be (-15)/(-3)*(-8)/(-10). Suppose -a + 9 = -c*a. Which is bigger: a or -2?
-2
Let q be (-36)/24 - (-10)/4. Are -59 and q non-equal?
True
Suppose 2*v = -4*z + 26, 4*z + 4*v = -0*z + 16. Let l be (3/z)/((-6)/4). Let t = -12 + 12. Is t greater than l?
True
Let c be 4 + 22/(-8) + 1. Is 3 smaller than c?
False
Let r = 1/18 - -1/9. Let u(f) = -f**2 + f. Let d be u(1). Suppose 0 = -z + 1 - d. Which is greater: r or z?
z
Let v = 5 + -1. Suppose -3*w - 40 = v*g, -5*g - 3 = -5*w + 12. Which is smaller: -6 or g?
g
Suppose 3*f = -4*q + 61 - 1, -4*f - 8 = -2*q. Suppose 4*c + 16 = -q. Which is greater: -5 or c?
-5
Let x(o) = o**2 - 13*o - 1. Let i be x(0). Suppose -r - r = -4. Is r < i?
False
Let a(i) = i**2 + 10*i + 13. Let w be a(-9). Let k be (-2)/3 + (-133)/(-42). Do w and k have different values?
True
Let g = -107/4 + 28. Let f = -7/4 + g. Which is smaller: 0 or f?
f
Let i = -26 - -19. Is i at most as big as -6?
True
Suppose 0 = 5*q + 3*o - 194, -q + 4*q = 5*o + 130. Is -1/2 < q?
True
Let y be ((-54)/30)/((-3)/10). Let d(p) = -7*p + 5. Let s(q) = -11*q + 7. Let b(v) = -8*d(v) + 5*s(v). Let l be b(y). Which is smaller: l or -3/7?
-3/7
Let l = -3/2 + 7/4. Is l > 0?
True
Let k be (7 - 4) + 48/(-10). Let d = k + 91/45. Is d at least as big as 0?
True
Let g = -15 - -15.4. Let d = -1501/9 + 167. Is g at least as big as d?
True
Suppose 2*i - 6*i = 20. Let t be -1 - (1 - 5)/4. Let z = t + i. Is z less than -4?
True
Let n = 94 - 94. Which is smaller: 17/6 or n?
n
Let r = -6 - -9. Suppose 0 = -m - r*m - 8. Which is bigger: -1 or m?
-1
Let f(c) = -c**2 + 6*c + 2. Let h be f(6). Let n be (6/8)/(1/(-4)). Let i = 4 + n. Which is smaller: h or i?
i
Let b be -2*((-3)/(-2) - -1). Let a(h) = h**3 + 5*h**2 - 3. Let k be a(b). Let w = -4 + 2. Which is smaller: k or w?
k
Let n be (-3)/12 + (-38)/8. Let x(f) = -f**2 - 8*f. Let s be x(-8). Is n bigger than s?
False
Let t be ((-3)/(-51)*2)/(-1). Is -1 < t?
True
Let c be (1/2)/((-3)/(-36)). Suppose -2*z - 4*p + 10 = 0, 13 = 5*z - 6*p + 4*p. Suppose x - 3*v = -4, 3*x + 2*v = z*v + 12. Which is smaller: c or x?
x
Let u = 0.11 + 3.89. Let s = u - 1.5. Let n = s - 0.5. Is -1/2 greater than or equal to n?
False
Let q be (-5 - (-107712)/21128) + (-2)/19. Which is bigger: 0 or q?
0
Suppose 9*j - 4 = 5*j. Are j and 1 nonequal?
False
Let o be (-11)/(-121) + (-30)/(-154). Which is greater: 20 or o?
20
Let n be 15/13 - 1 - -1. Let y = n + -36/65. Let r be (-7)/(-35)*(6 - 1). Which is bigger: r or y?
r
Let o = -904 + 67799/75. Do o and 0 have different values?
True
Let m = -0.5 - -0.8. Let s(t) = 0*t**2 + 4*t - t**2 - 4 + 0*t**2. Let w be s(3). Is m at most w?
False
Let v = 0 + 1. Are v and 4/3 equal?
False
Let w = -6 - -11. Let b be ((-110)/(-12))/w + -2. Let i be 2/(-30) + (-4)/(-10). Which is greater: i or b?
i
Suppose 0 = x - 4*g - 7, -5*x - 5*g = -2 - 8. Suppose 5*a - 15 = x*c, -2*a + 5 = -4*c - 1. Let q = 37/45 - 1/45. Which is bigger: q or c?
q
Let l = -32 + 255/8. Is l >= -2?
True
Suppose 178 = -5*g - a - 74, 0 = 2*g + a + 99. Does -50 = g?
False
Suppose 2*x - 1 = -5. Let o be 4 + (x - 3 - -2). Which is bigger: -1/15 or o?
o
Let a = 838.99 - 834. Let q = 7 - 12. Let h = a + q. Which is greater: 1 or h?
1
Let m(r) = -3*r**2 - 2*r + 1. Let p be m(1). Let v be (p/7)/((-6)/3). Which is bigger: v or -0.02?
v
Let c(b) = b**3 - 3*b**2 - 4*b - 1. Let a be c(4). Let o(s) = -7*s**2 + 22*s - 3. Let j be o(3). Which is greater: j or a?
j
Let v(s) = -s**2 - 5*s. Let t be v(-5). Let n be 1*(t + -2) - -10. Let k be 0 - (-1 + n/10). Is k < -1?
False
Let z = -74 - -3923/53. Which is bigger: z or 0?
z
Let s = 42 + -40. Is s less than 2?
False
Suppose -21 = -x + 23. Is x <= 43?
False
Let i = 1 + -4. Which is greater: 2/5 or i?
2/5
Let r = -23 - -22. Which is smaller: r or 4?
r
Let x = -12 - -7. Is x greater than or equal to -7?
True
Suppose 0 = q + 3*s - 6, -14 = 5*q - 2*s - 61. Which is bigger: q or 7?
q
Let r(j) = j**2 - j - 3. Let y be r(0). Let v = 2 + y. Let i = -33/14 + 6/7. Is v >= i?
True
Let t be (6/21)/((-9)/21). Suppose -2*s + 7 - 3 = 0. Let g be (-1)/2 + 1/s. Is g at least t?
True
Suppose 7*f - 3*f = 5*h - 30, 2*f + 14 = 2*h. Suppose -4*v - 5*m = -31 - 18, -5*v + 5*m = -95. Suppose -h*d = 5*a - d + 20, -2*a - 2*d = v. Is -1/2 > a?
True
Let n be (-3)/228*2*246/15. Let k = 335 + -6353/19. Let h = k + n. Which is smaller: h or -1?
-1
Let u be (3/5)/((-2)/(-10)). Let a be -1 - (u/1 - 6). Are a and -1 unequal?
True
Let d(k) = k**3 + 6*k**2 + 5*k + 4. Let j be d(-5). Suppose -5*g + 1 = -j. Let x be 3 + 2*(-170)/116. Which is bigger: x or g?
g
Let w = -6.08 + 0.08. Let k = -4 - w. Let v be 1 + -4 + (-8)/(-2). Is v != k?
True
Let s = 13/49 - 5/98. Is s at most as big as -1/3?
False
Suppose 2*c - 6 = -h, -2*h + 2*c - 28 = -2*c. Which is greater: -2 or h?
-2
Let f = -1 - -10. Let k = f + -9. Which is bigger: k or 1?
1
Let k = 6 + 0. Let t = 39 + -32. Which is bigger: t or k?
t
Let f = -1 - 6. Let i = 2 + f. Is i >= -5?
True
Let q = -2 - 0. Which is bigger: q or -0.3?
-0.3
Let q be 14/3*(-7 - -4). Do q and -14 have different values?
False
Suppose 27 = 5*t - 4*s, s - 1 + 4 = 0. Suppose 2*v + 2*v = 0, -90 = -5*m - 2*v. Let f be 2/t*m/(-30). Is f greater than or equal to -2/9?
False
Let o(s) = 2*s - 5. Let y(c) = 3*c - 9. Let x(m) = 11*o(m) - 6*y(m). Let w be x(-1). Let d = w - -4. Which is smaller: -4/9 or d?
d
Let m(y) = -y**2 + 7*y + 2. Let s(o) = o**2 + 7. Let n be s(0). Let r be m(n). Suppose -5*z + r = -4*p - 3, 2*z - 2 = -2*p. Which is smaller: p or 4/7?
p
Suppose 0 = w + 4*w - 25. Suppose 0*v = -5*v + 4*g + 7, 10 = w*g. Which is greater: 2 or v?
v
Let d = -31377/11 + 4708651/1650. Let l = 6653/50 - 133. Let t = l + d. Which is smaller: 0 or t?
0
Let h be ((-4)/279)/(3 + -1). Let y = 572/1953 + h. Let k = 2 + -1. Which is bigger: y or k?
k
Let a = 21 - 20. Which is greater: a or -3?
a
Let l be (0 + -3)/(-3)*7. Suppose -4 = 3*q - l*q. Let x = 76/7 - 11. Which is smaller: q or x?
x
Suppose -3*p = 2*p + 105. Let l = 9 + p. Let m be l/(-8) + (-6)/4. Which is smaller: m or 2/13?
m
Let g(h) = h**2 + 3*h + 4. Let r(m) = 2*m**2 + 6*m + 9. Let f(d) = 5*g(d) - 2*r(d). Suppose -i - 2 = -0. Let x be f(i). Which is smaller: -3/4 or x?
-3/4
Suppose -5*i + 6 = 1. Let t = 4.6 - -1.4. Let g = 6.3 - t. Is i greater than g?
True
Let p be 186/21 + 5/35. Suppose 0 = -p*j + 4*j, -3*n - 4*j = 33. Is -10 at least as big as n?
True
Suppose -4*b + 7 = 3*z, -4*z - 2 = 4*b - 6. Suppose 0 - 1 = x. Which is bigger: x or b?
b
Let c = 43 + -28. Let j = c + -23. Let a be 10/12 + 4/j. Is a bigger than 0?
True
Suppose 0 = 2*a + 2. Let q = a + 2. Let z be (-15)/28 - 2/(-8). Which is smaller: z or q?
z
Let n = 8.01 + -0.01. Let c be ((-4)/(-10))/(6/(-15) - 1). Is n greater than c?
True
Let i be -1*(-2)/8*4. Suppose -i - 2 = -h. Let l be 0/(3/h*-2). Is 0 at most l?
True
Suppose -g = 1 + 3, -3*g = -4*j - 20. Let x = j - -8. Is 2/3 greater than or equal to x?
True
Let g = 