= o + 5. Let s(y) = 2*f(y) - 3*q(y). Let g be s(2). Is g bigger than d?
False
Let q be (-1)/(-26)*(-6 + 1). Let t = q - -309/52. Let o = t + -119/20. Is -0.1 not equal to o?
True
Let w = 28 - 9. Which is smaller: 1/3 or w?
1/3
Let y be -1 - 2/2*-1. Let w = y + 0. Let r be -2 - (w - (-2 + 4)). Is -2 greater than r?
False
Let x(s) = -s**3 + s**2 + 1. Let o be x(2). Let t be 8/(((-16)/10)/(-4)). Let z be ((-2)/o)/(t/(-15)). Which is greater: z or -3?
z
Let r be (-64)/217 - (-12)/(-42). Let p = -20759369/217 + 95665. Let f = p - r. Is 0 equal to f?
False
Let c = 0.17 + -0.07. Is c < 4/9?
True
Let u be 24/32*-1*(-32)/9. Is -0.1 >= u?
False
Let r = -45 + 54. Is r smaller than -2?
False
Let n = 1301/2 - 605. Let i = -47 + n. Is i smaller than -2?
False
Let s = 1/14 + -31/42. Which is bigger: s or 9?
9
Let w be 2/5*(-20)/(-12). Which is smaller: 11 or w?
w
Let s = 17 - 18. Do 4/9 and s have the same value?
False
Let g = -0.57 - 0.13. Let o = g + -1.3. Does -2 = o?
True
Let z be -2*-31*4/8. Let u = 21 - z. Is u at least as big as -10?
True
Suppose -2*g + 20 = 8. Let h be g/(-15) - (-6)/10. Does 2/7 = h?
False
Let g(l) be the second derivative of -l**3/6 - 7*l**2/2 + 3*l. Let h be g(-11). Let f = h - 4. Which is greater: -2/7 or f?
f
Let m = -0.04 - -2.04. Let z = m - 1.9. Which is smaller: -0.1 or z?
-0.1
Let d(q) = 3*q - 3. Let x be d(6). Let u be x/(-10)*4/(-6). Let k be (-2 + 0 + u)/7. Which is smaller: -1 or k?
-1
Let z = 19.2 + -27.3. Let v = -8 - z. Are 0.1 and v unequal?
False
Let j(f) = -7*f**3 + 4*f**2 - 3*f + 3. Let t(k) = -6*k**3 + 5*k**2 - 4*k + 2. Let i(b) = -5*j(b) + 6*t(b). Let w be i(9). Which is greater: -5 or w?
w
Let k be 315/10 + (-1)/(-2). Let p be -2*(k/30 + -1). Which is greater: p or -1?
p
Let s be (-2)/9*8/32. Which is smaller: s or 0?
s
Let k = -0.02 - -0.22. Let b(q) = -3*q**2 + 7*q + 4. Let z(n) = n**2 - n - 1. Let j(l) = b(l) + 4*z(l). Let p be j(-3). Which is bigger: p or k?
k
Suppose -q = -3*q + c + 5, 3*q = 3*c + 15. Let j be q + (0 - -4) - 1. Let m be (-3)/9*5*j. Which is smaller: -4 or m?
m
Suppose 0 = 13*k - 12*k - 4. Is k less than or equal to 14/5?
False
Let y be 0 - (-1 + (-22)/(-26)). Let c = 15 - 14.9. Which is bigger: c or y?
y
Suppose -190 = -7*s + 5*s. Which is greater: 0 or s?
s
Let q be (12/105)/((-2)/5). Let s = 1 - -2. Let v = s + -4. Which is bigger: v or q?
q
Let s = -5 + 5. Let f be (-54)/(-15) - (3 + 1). Do s and f have the same value?
False
Let j = 4 - 4. Suppose 4*o + h = -0*o - 9, -h = 5*o + 10. Which is bigger: o or j?
j
Let b(x) = x**2 + 5*x - 1. Let n be b(-5). Let v be 2/(-2 - (-2 + 2)). Let g = v + 0. Does g = n?
True
Let g = -0.301 - -0.101. Which is bigger: g or -0.12?
-0.12
Let h be -2 + (2 - (1 + -4)). Suppose 0 = -3*o + 2*o - 2*p, 5*o = h*p. Is o > 1/8?
False
Let k = 1.3 - 1.2. Let r = 7 - 14. Which is bigger: r or k?
k
Suppose -7 + 1 = -3*f. Suppose 3*q + 3*p - 3 = -f*q, -2*p = 3*q - 1. Let z = 4 - q. Which is smaller: z or 4/5?
4/5
Suppose 0 = -464*q + 462*q + 2. Suppose 3*o - 4*o - 16 = -5*m, -4*o - 5*m + 36 = 0. Which is greater: q or o?
o
Let h(g) = -g**2 + 15*g - 3. Let b be h(14). Suppose -9*y = -b*y - 2. Is y equal to -1?
True
Let y = 0.03 - -0.07. Let s = -8.34 + 0.34. Which is bigger: s or y?
y
Let l be 3/(-3)*(7 + -1). Let o be l/8*(-5 + 9). Suppose 2*i + a + 3*a - 2 = 0, 4*i + 2*a + 8 = 0. Do o and i have the same value?
True
Let n = 1.01 - 1. Let i = n + -0.11. Are -1 and i unequal?
True
Suppose -2*n - 2*n + 8 = 0. Suppose -w + 10 = -2*w - 2*m, 5*m + 25 = -5*w. Suppose -4 = -2*v - q, 5*v + q - 16 + 3 = w. Which is smaller: n or v?
n
Suppose -4*q + 38 = -5*f, -4*f + q = -0*q + 26. Is f bigger than -7?
True
Let j be ((-3)/6)/(-1 - 55/20). Suppose -5*q + 3*z + 10 = 2*z, -4*z = 2*q - 26. Suppose q*o = -0*o. Are o and j nonequal?
True
Let g be 0 + 2 - (7 + 0). Is -9/2 smaller than g?
False
Let i = -329/3 + 108. Let k be 1*(0 - (0 + 1)). Which is smaller: i or k?
i
Let b be (-8)/4*2/(-4). Suppose 10*q = 8*q + 4. Is q smaller than b?
False
Let c(u) = u + 3. Let w be c(-7). Let q = w + 3. Which is smaller: 0 or q?
q
Let m = -129 - -1553/12. Let u = 3/4 - m. Is u bigger than -2?
True
Let t = 39 + -55. Is -17 smaller than t?
True
Let z = -5/57 + 11/57. Which is smaller: 2 or z?
z
Let q = -1 + 6. Let i(z) = z - 3*z + 14 - 27 + 18. Let f be i(q). Which is smaller: f or -6?
-6
Let k(b) = -b**3 - 11*b**2 - 11*b - 10. Let m be k(-10). Suppose m = -3*v + v. Is v >= -1?
True
Let s = 0.21 - 13.21. Let x = s + 7. Let i = x + 5. Which is greater: 8 or i?
8
Let r = 1.63 - 0.03. Let p = r - -4.4. Is 1 at least as big as p?
False
Suppose -2*j + 0*q + 6 = -q, 2*q = -5*j - 3. Which is bigger: 1/3 or j?
j
Let s = 0.2 + -0.2. Suppose 3*u - t + 0 - 4 = 0, -1 = -4*u - 3*t. Is s less than u?
True
Let q be -1 - 4/10 - -1. Let w(c) = c**2 - 9*c - 21. Let l be w(11). Which is bigger: q or l?
l
Let j(n) = n + 11. Let z be j(-18). Is z less than -5?
True
Suppose 4*x - 1 = 15. Suppose -u + 8 = x*t - 8, 4*t - 32 = -5*u. Is u <= 5?
True
Let m(j) = -2*j + 10. Let x be m(5). Let g be 1/(-2) - (-15)/36. Is x smaller than g?
False
Suppose -6*c + 4*c = -8. Let a = 5 - c. Is 2/19 < a?
True
Let o = -0.03 - -0.12. Let q = -0.08 - -0.09. Let t = o + q. Is t <= 0?
False
Let n be ((-4)/(-3) - 2)*3. Let k be n + 3/2 - -1. Let c = 2 - 2. Is k >= c?
True
Let a = -2 - -7. Let t = a - 5. Which is smaller: t or -5/3?
-5/3
Suppose d - 2*d - 35 = 0. Let a be d/42 - 1/(-3). Suppose -2*j + 0 - 4 = -4*w, 2*w + 5*j = -22. Is a smaller than w?
False
Suppose 0 = 4*l - 0*l. Suppose -3*q + 3 + l = 0. Is -1 greater than or equal to q?
False
Suppose 3*j - 3 = 0, 4 + 10 = 4*v - 2*j. Let l be (v - 26/4)*-4. Which is smaller: l or -0.1?
-0.1
Suppose -11*q = -13*q + 48. Is q > 25?
False
Suppose -5*a = -2*r - 0*r + 1, 2*a = 2*r + 2. Let j be r/3 - (-19)/15. Which is bigger: 0 or j?
j
Let m = -485/7 + 69. Let d = -1.7 + 1.76. Let r = d - 0.06. Is m greater than or equal to r?
False
Suppose n + 24 = -3*v, 7*v = 6*v - 4. Which is greater: -9 or n?
-9
Let q = -21.2 + 20. Is q at least as big as 0?
False
Let p = -12 + 11.69. Let a = -0.21 - p. Which is greater: -3 or a?
a
Let x = -1.95 + 2.05. Let z be 2/2*(-62)/(-110). Let v = z + 2/55. Which is greater: v or x?
v
Let i = -28 + 31.2. Let j = 3 - i. Which is greater: -0.3 or j?
j
Let m(q) = q**3 - 2*q**2 - 5*q + 2. Let f(y) = -y**3 + 4*y**2 - 3*y + 3. Let j be f(3). Let o be m(j). Let r be ((-8)/20)/(o/10). Are 0 and r non-equal?
True
Let c(d) = -4*d**3 - 5 + 3*d**3 + 8*d**2 - 4*d + 2. Let y be c(7). Let s be (-1)/(-3) + 12/y. Is s > 2?
False
Let q be (-8)/(-10)*35/14. Let f be 5/(-15)*-21 + -3. Is q < f?
True
Suppose k - 4*y - 10 = -2*y, 4*k = -5*y + 53. Which is greater: k or 11?
k
Let v = -57119/20 - -2855. Let x = 6/5 + v. Which is smaller: x or -1.2?
-1.2
Let b = 3 - 2. Let y be -2*(-2)/(-4) + 3. Suppose 0 = -y*g - 2*g. Which is bigger: b or g?
b
Let c(x) = 4*x**2 + 19*x - 33. Let r(j) = j**2 + 5*j - 8. Let p(g) = -2*c(g) + 9*r(g). Let b be p(-8). Is b equal to 4/7?
False
Let l = 20 + -23. Which is smaller: -4 or l?
-4
Let x(w) be the first derivative of w**3/3 - 3*w**2/2 - 4*w + 1. Let r be x(4). Let z = -1 + r. Is -1 less than or equal to z?
True
Let n = -7 - -12. Suppose n = h, 9 = c + 6*h - 4*h. Is c bigger than -2/7?
False
Let p = 1/47 + -32/3713. Let d = -151/553 - p. Let f be (36/(-10))/3*5. Which is smaller: f or d?
f
Let z(l) be the first derivative of l**3/3 + l**2/2 - 2. Let k be z(-1). Let y be (2/16)/((-1)/(-6)). Which is smaller: k or y?
k
Let x = -150 + 156.9. Let l = x + -7. Which is bigger: l or 3/7?
3/7
Let b(c) = 2*c**2 - 6*c - 2. Let o be b(5). Suppose 3*a = -r - 18, -4*a + 2*r = -a + o. Let n be (5/2)/(-1)*2. Which is bigger: a or n?
n
Let j = 0.1 + 0. Let a = 100 - 93. Which is smaller: j or a?
j
Let x = 0.5 + -0.2. Let b = 12.5 + -12.1. Let j = x - b. Which is smaller: 0.1 or j?
j
Let r = 8 - 7.7. Is r equal to -5?
False
Let g be (0 - -1)/((-1)/2). Let t be 1281/30 + (-1)/g. Let d = 1954/45 - t. Which is greater: d or -1?
d
Let o = 12 - 25. Let l = -9 - o. Is 4 <= l?
True
Let w = 140/9 + -46/3. Do w and 2 have different values?
True
Let x be (-24)/(-11) + 4/(-22). Let c = x + 0. Let o be (10/(-5))/(0 - c). Which is smaller: -3/10 or o?
-3/10
Let k = 18.2 - 18. Let m = -