0*g = -2*g. Let s be ((1 + 1)/2)/i. Which is greater: t or s?
s
Let k = 8.9 + -9. Let a = 0.2 + k. Are -6 and a nonequal?
True
Let q = -1/172 - -1133/2580. Let b = 1/30 - q. Which is smaller: b or 4?
b
Let u be (-53)/3 + (-3)/9. Let p = u + 14. Which is bigger: p or -2?
-2
Let r(f) = f**3 - 3*f**2 - f + 2. Let b be r(3). Are b and 1/4 equal?
False
Let s(b) = -3*b**3 - b**2 + b + 1. Let y be s(-1). Let h be (3 - (-2 + y))*1. Which is bigger: h or 4?
4
Suppose -5 = 2*x - 7. Which is bigger: x or 1/24?
x
Suppose 2*m + m + 6 = 0. Let q be 3*(0 - m/(-2)). Let r be (-9)/((-9)/(-4)) - -2. Is q at least r?
False
Let u = -67 + 36. Let f be 18/(-30) - u/35. Which is smaller: -0.7 or f?
-0.7
Let o(m) = -m**3 + 3*m**2 + 5*m + 3. Let x be o(4). Let p = x + -13. Let g = p + 5. Is g < 2/9?
True
Let b = -0.1 - -0.1. Let g = 2 - 2. Let z = g + b. Is 2 bigger than z?
True
Let w(v) = -v**3 + 6*v**2 + 6. Let h(q) = q + 3. Let i be h(3). Let s be w(i). Let o(x) = x - 6. Let g be o(s). Which is smaller: g or 4/5?
g
Let d = 45 + -42. Is 2 less than d?
True
Suppose 4*b = -0*b. Suppose -5*n - 5*p + 7 = 2, 0 = -5*n + 3*p - 3. Is b less than or equal to n?
True
Let y = -8 + 15. Suppose 13*k - 12 = 11*k. Which is bigger: y or k?
y
Let j = 516 + -5688/11. Let g = j - -13/22. Which is greater: 0.4 or g?
0.4
Let d be (-2 - (-3 + 2))*0. Suppose o - 3 = -1. Let l be (0 - 0)/(o*1). Is d >= l?
True
Let t = 1/302 + -457/1208. Let g(x) = x**2 + 12*x + 11. Let a be g(-11). Do a and t have the same value?
False
Let j = 0.6 - -1.4. Let w = -2.2 + j. Is w != -0.1?
True
Suppose -2*m - f - 39 = -4*f, 0 = -4*m + 4*f - 72. Suppose -5*b + q - 78 = 0, 4*q - 33 + 89 = -3*b. Which is greater: m or b?
m
Let x = 501.1 + -474. Let u = -29 + x. Let c = u + 2. Are 1 and c non-equal?
True
Let d be (567/(-8))/((-4845)/(-12)). Let i = 3/170 + d. Is 0 at most as big as i?
False
Let n = -9 + 5. Suppose 4*k - 3*z = -8*z - 1, -3*k = -4*z + 24. Is n >= k?
True
Suppose -2*r - 634 = n, -2*n - 1286 = -0*n - 5*r. Let c = n + 15952/25. Which is smaller: 1 or c?
c
Let w = -83 - -84. Let u = 0 + 0. Are u and w equal?
False
Let p(o) = -3*o**3 + 1. Suppose 7 = b - 2*k, b - 5*k = -11 + 27. Let g be p(b). Which is smaller: -6/7 or g?
g
Let j(z) = -z**3 - 4*z**2 - 4*z + 1. Let m be j(-3). Let h be m/26 - (-96)/52. Suppose 0*i + 4 = -h*i. Which is smaller: -3 or i?
-3
Let s(l) = -3*l**2. Let q(n) = 2*n**2. Let m(r) = -5*q(r) - 3*s(r). Let v be m(-1). Is v at least 0?
False
Let j = -2.4 + 2. Are -0.4 and j equal?
True
Let x = 0.4 + -0.39. Let i = -0.05 - x. Let c = 0.16 + i. Which is smaller: c or 4?
c
Let g be 2/7 - 132/(-28). Suppose -4*x = p - 3, g = 3*x + 2. Let t be (-6)/(-56) + p/4. Is -1 > t?
False
Suppose -3 = 4*n - 23. Suppose 10*y - n*y = 0. Which is greater: y or 3/8?
3/8
Let h(u) = -u**3 + 6*u**2 + 10*u - 7. Let n be h(7). Suppose 5*x - 14 = 1, 5*v + 3*x = n. Let f be ((-2)/2)/(27/6). Which is greater: v or f?
v
Let v = 9.1 - 0.1. Let m = v + -14. Which is greater: m or 1?
1
Let y = 28 - 25. Suppose y*l = -3*p + 12, -p - 2*l + 0*l = -9. Is 2 equal to p?
False
Let i = -5 + 10. Let o be ((-6)/4)/(2 - i). Suppose -q + 3 = 2*q. Is q greater than or equal to o?
True
Let t(w) = w**3 + 5*w**2 - 7*w - 2. Let q be t(-6). Let c(o) = -3*o - 3. Let i be c(-3). Which is bigger: q or i?
i
Let s = -49592 - -9670553/195. Let v = s + -11/15. Which is smaller: -1/2 or v?
-1/2
Let j = -1 - -1. Let z be ((-12)/3)/((-12)/18). Suppose -5*a - z + 11 = 0. Is a <= j?
False
Let n(k) = -3*k + 5. Let f be n(3). Let x be (-6)/4*f/(-6). Is x != 2/17?
True
Suppose 3*h + b = 3*b + 22, 0 = -2*h + 4*b + 28. Let i = 4 - h. Let x be i + -2 + 0 + 3. Which is bigger: -3/8 or x?
x
Let k(b) = -2*b**2 - 2*b - 1. Let l be k(-2). Is -3 at most l?
False
Let j = 0.73 - 0.8. Let z = j - -0.17. Which is smaller: 2 or z?
z
Let m = 11 - -12. Which is greater: m or -2?
m
Let p(s) = s**2 + 10*s - 15. Let r be p(-11). Let i be 9/(-12) - (-9)/r. Which is bigger: -2 or i?
-2
Let x be ((-3)/21)/(8*1/(-14)). Which is bigger: x or -6/7?
x
Let w = 0.99 - 1. Let t = w + 0.11. Which is smaller: t or -2/9?
-2/9
Let v = 3.6 - 3.8. Is -0.05 < v?
False
Let j = -55 + 63. Which is bigger: 6 or j?
j
Let j(w) = -w**2 - 9*w + 3. Let l be j(-9). Let b = l - -1. Suppose -b = 2*x + 2*k, -7*k + 2*k = -5*x - 50. Is -5 <= x?
False
Suppose -4*v + 3 = -3*v. Suppose 0 = 4*d + 20, 5*d + 39 - 2 = v*w. Let g = 5 - w. Which is smaller: -2/9 or g?
-2/9
Suppose 5*v + 39 + 116 = -4*w, 0 = -v + 3*w - 12. Let a be 21/v - (-2)/(-9). Is -4/3 <= a?
True
Suppose -41*s + 36*s - 10 = 0. Which is smaller: s or 0?
s
Let k(n) be the first derivative of n**2/2 - n - 2. Let t be k(3). Let w be ((-1)/(-9))/(t/(-3)). Which is smaller: w or -1?
-1
Let w = 124.92 - 119. Let f = 0.28 + w. Let v = f - 6. Do v and 0 have the same value?
False
Let g be ((-4)/(-16))/((-5)/(-4)). Is 0 at most g?
True
Let a be (-2 + 3)/((-2)/(-10)). Suppose -39*f = -23*f - 112. Do a and f have the same value?
False
Suppose -w = -0*w + 2. Let s = 3 + w. Is s at least 2/9?
True
Suppose -l = -2*l + 4. Let z be (-6)/l*16/12. Let c be z/(-6)*(1 + 0). Is c at least as big as 0?
True
Let k = 4 - 6. Let u be 0/(1/1 - -2). Which is greater: u or k?
u
Let q be (-2)/7 - 0/(-6). Is q at most 7?
True
Let k = -0.067 - -1.267. Which is smaller: k or 5?
k
Let q(u) = -u**2 + 6*u - 1. Suppose 3*o + 3*n = 4*n + 14, -5*o + n = -26. Let a be q(o). Is 1/3 at most a?
False
Let w(n) = n + 1. Let c be w(-2). Let j = 93/4 - 24. Do c and j have the same value?
False
Let z = 6.2 + -6. Let j = z - 0.1. Which is bigger: j or -2?
j
Let z be 2/(-3)*(127/2 - -1). Which is smaller: z or -44?
-44
Let x be ((-6)/(-10))/(3/30). Let h(g) = -g**2 + 5*g + 3. Let w be h(x). Let o = w + -2. Is o > -4?
False
Let w be 3/6*(2 - -6). Suppose 4*i = 3*i - a + 10, -w*i = 3*a - 41. Which is smaller: i or 12?
i
Let u(t) = -t - 16. Let a be u(-13). Let h be -5 + -1 + -2 + 3. Is a at most h?
False
Let m be 0 + -1 + -9*4. Which is smaller: m or -36?
m
Suppose 0 = -2*u - 2*u. Suppose 5*b + 2*r - 19 = 0, 3*b + 2*r = -0*r + 9. Let j = b + -4. Which is smaller: j or u?
u
Let w = 6537/4 + -1622. Let u = w + -12. Which is smaller: -2/9 or u?
-2/9
Let j be 2832/(-90)*5/2. Let l = j + 78. Which is greater: l or -2/5?
-2/5
Let p = 19 + -17. Let w(a) = -2*a - 5. Let k be w(-6). Suppose -t - k = -3*x, 0*t = x + 4*t + 15. Is p <= x?
False
Let x = -8 + 7. Let g = 5 - 7. Let j = x - g. Which is greater: j or -0.2?
j
Let k be -11 + 15 - (-11)/(-3). Which is bigger: k or 1?
1
Let y = 0.2 - -0.8. Let k = 0 + 4. Is y <= k?
True
Suppose 2*u = 2*l + 13 + 39, -3*l - 5*u = 110. Let g be (-5)/(-15) + 28/l. Is -2 smaller than g?
True
Suppose 4*k = 2*m + 8, k + 2*m = -2*k - 1. Let g be k/((20/(-24))/(-1)). Which is greater: g or 2?
2
Let z = 5 + -5. Let i = -0.03 + 0.33. Let o = i + 0.7. Is z < o?
True
Suppose 0 = -2*p - s - 3 + 11, -4*p + 14 = s. Which is smaller: -1 or p?
-1
Let g(r) = -3*r - 6. Let w be g(-5). Which is bigger: w or 10?
10
Let f be (-5)/(30/(-24)) + -2 + -2. Which is bigger: f or -1/2?
f
Let u = 201 - 121. Suppose 0 = -3*q - 2*q - u. Let h be (-1)/(-4)*q/24. Which is smaller: h or 0?
h
Let o = 0.3 + -0.1. Let x(u) be the third derivative of u**6/120 + u**4/24 + u**3/6 + 2*u**2. Let y be x(0). Is o smaller than y?
True
Let r = 2 + -4. Is r < -2?
False
Let i = 5 + -1. Suppose 2*q + 18 = -i*w, 5*q + 0*w + 10 = -3*w. Let l(y) = -y**3 - 5*y**2 + y + 6. Let o be l(-5). Are o and q non-equal?
False
Let x = -8 + 4. Let w be (-17)/x - (-2)/(-8). Let d = w + -5. Are -1 and d unequal?
False
Suppose -2*q = 45 - 9. Which is bigger: -19 or q?
q
Let o(b) = b**2 - b**3 + 2*b**2 + b - 7*b**2 + 3. Let q be o(-4). Is q smaller than -1/4?
True
Let m be 28/(-9) - 1/(-9). Is -5 less than m?
True
Suppose -93 = -b - 0*b. Let p = b + -33. Let a be 5/p*16/(-6). Is a at most -2/9?
True
Let g be 2/5 - 432/(-45). Is g bigger than 4?
True
Let a = -13 + 5. Is -9 > a?
False
Let p be 2/7 + (-80)/(-14). Let m be ((-412)/9)/(p/9). Let o = m - -68. Which is smaller: o or 0?
o
Let f = 2275/8 + -284. Which is bigger: 0 or f?
f
Let z = 13 - 9. Let a = z + -26/7. Is 1 at most as big as a?
False
Let t = 0 - -0.4. Let m = t + -1.3. Let c = 1 + m. Which is smaller: c or 2/19?
c
Suppose 3*k + k = -16. Let q = k - -1. Let x = q