 -7*u = -3*u + 4. Let v be (-4)/(u*2/(-1)). Suppose 0 = -4*t + 5*f - 21, 5*t + 2*f = -10 - 8. Which is smaller: v or t?
t
Let c = -6 + 10. Suppose -23 + 63 = 5*o. Let m be (2/o)/((-6)/(-8)). Is m less than c?
True
Let k be (-1 + 2)*6/(-15). Which is smaller: 2/5 or k?
k
Let p = -31.6 - -31. Is -1 at most p?
True
Suppose 0*h - 48 = 4*h. Let z be h/5 + (-2)/(-5). Let s be z + (-2 - 10/(-3)). Is s at most -2?
False
Let m = -14.1 + 14. Suppose 5 = -5*v - 5*r, 3*r + 5 = -4*v + 3*v. Is m bigger than v?
False
Suppose -b + 8 + 3 = 0. Suppose -2*j = 3*r - b, 0 = -0*r + r - 1. Suppose -2*v + 0*v = -j. Are v and 2 unequal?
False
Let y = -3 - -1. Let v = y + 2.2. Is v at most as big as -2/7?
False
Suppose 2*a + 4*t - 5 - 5 = 0, -2*t = -8. Let d be (a - (-31)/10)/(-1). Suppose 2*o + 1 = -1. Is o less than or equal to d?
True
Let c be 4/(-18) - 10/(-45). Is -3/10 bigger than c?
False
Suppose -5*n + 6*n - 1 = 0. Do n and 1/5 have different values?
True
Let b be 39/(-54) + -3 + 6. Let f = b + -299/126. Is f > 2?
False
Let y = 285/4 - 71. Let d = 1 - 0. Which is greater: d or y?
d
Suppose -4*b = -0*b - 8. Suppose -4*d + 4 + 8 = 0. Let c(k) = k. Let t be c(d). Is b greater than or equal to t?
False
Suppose 3*g - 10 = 3*y - 37, -y = -4*g - 45. Is g > -11?
False
Let n = -394 + 1593/4. Which is smaller: n or 4?
4
Suppose -11 = 5*x - 3*x + 5*z, 4*z + 10 = -x. Let q be x/(-4) - 14/(-4). Let i be 6/(-20)*(-2)/q. Which is smaller: i or 1?
i
Let q be 27/6*4/6. Suppose 4*g - 4*b - 16 = 0, q*g - 2*b - 16 = -g. Suppose 3*n + g = n. Is n > -2?
False
Let w(p) = p**3 - 5*p**2 + p - 3. Suppose 0 = 8*s - 3*s - 25. Let h be w(s). Is h < 2?
False
Let u = -4 + 4. Suppose 0 = 3*v + 4*m + 23, -v - m - 2*m - 6 = 0. Let a be (-2)/(-6) - 3/v. Is a bigger than u?
True
Suppose 0 = -4*h + 3*a + 8, -a + 0 = -5*h - 1. Let g = -3 + 3. Which is smaller: h or g?
h
Let v = -38/45 + 2/45. Which is bigger: -2 or v?
v
Let b be (5/(-10))/(2/(-20)). Let f(v) = -v**3 + 5*v**2 + 2*v - 5. Let m be f(5). Is b > m?
False
Let v = -60526/13237 + 2/1891. Is -4 <= v?
False
Let l = -10 - -4. Let p be (3/l)/((-2)/16). Suppose -f + p*f + 16 = 4*g, 5*f = -20. Which is smaller: g or -2/13?
-2/13
Suppose -5*u = -2*o + 14, 2*o + 10 = -4*u - 12. Which is smaller: -1 or o?
o
Suppose d + 0*d = -2*m - 2, 0 = 3*d. Is m less than or equal to -2/11?
True
Let c = 126 - 127. Is c at most as big as -1?
True
Let l = -36 - -34. Do 0 and l have the same value?
False
Let x = -0.036 + -0.194. Let u = 0.13 + x. Which is bigger: 2 or u?
2
Let l = 79 - 115. Which is bigger: l or 0.1?
0.1
Let m(a) = -2*a - 12. Let h(i) = -i**3 - 4*i**2 + 8*i + 7. Let t be h(-5). Let d be m(t). Is d <= 4?
True
Let h(l) = -l**3 - 13*l**2 + 5. Let m be h(-13). Which is smaller: -1 or m?
-1
Let j(g) = g**3 + 4*g**2 + g - 2. Let u be j(-3). Suppose -4*h + 5*h = u. Suppose h*m = -m. Is m bigger than 2/15?
False
Let n = 0.08 + 41.92. Let m = n - 39.1. Let t = m + -3. Which is greater: t or -1?
t
Let z be -1*4/8*-2. Which is smaller: z or 1/22?
1/22
Let h = -2591 - -59607/23. Which is smaller: 0 or h?
0
Let u be (2/(-116))/(9/102). Let i = -4/29 + u. Let l = 0.5 + 1.5. Is l less than i?
False
Let m be 1/(((-2)/3)/2). Let k = -8 + 6. Let u be k/((-1)/(-4)*2). Is u at most as big as m?
True
Let m be (8/4)/(-1 - -7). Which is bigger: -6 or m?
m
Let w be (-4)/8*(-8)/(-190). Is w >= 1?
False
Suppose 7 = -4*s - 0*s + n, 4*n = 4*s + 16. Let h = -215/2 - -1487/14. Let d = h + 20/21. Is s less than d?
True
Suppose -2*d - 2*m - 3 - 3 = 0, -5*d = m + 27. Let g = d - -9. Is g < 3?
False
Let h = -1 + 1. Let w = 0 - h. Suppose -k - 1 = y - 3, -3*k + 8 = 2*y. Do y and w have different values?
True
Let p = 263/40 - 55/8. Let d = -29/220 + 2/11. Let l = d + p. Are l and 1/5 equal?
False
Let h = 83070 - 48180663/580. Let v = 1/116 + h. Which is bigger: v or 0?
0
Let y = -5 - -6. Let o = y + -3. Let j be o/(-6) + -1 + 0. Which is smaller: 2 or j?
j
Let d(u) = u**3 + 8*u**2 - u - 10. Let n = -20 + 12. Let t be d(n). Let k = 5 - 4.8. Is t greater than or equal to k?
False
Suppose t + 25 - 8 = 0. Let s = 29 + t. Let x be (s/27)/(4/(-6)). Does x = 0.4?
False
Suppose 3*l + 3*q = -12, -3*l + 9 = -6*l - 2*q. Let x(c) = -5*c + 1. Let j be x(l). Is 6 greater than or equal to j?
True
Let l be 116/(0 - 1 - -4). Suppose -36 - 40 = 2*f. Let v = f + l. Which is greater: v or 1/4?
v
Let x(d) be the first derivative of -d**3/3 - 3*d**2 - 2. Let j be x(-6). Let t = 15 - 102/7. Is t > j?
True
Let g be (-5)/10*(-8)/(-458). Let y = g - -245/1832. Is y at most 1?
True
Let b be (-10 - -11)*1/(-15). Let y be (-5)/(-10)*(-2)/1. Which is bigger: y or b?
b
Let j(l) = l**2 - 2*l - 1. Let n be j(3). Let f(y) = -y + 9. Let d be f(6). Which is smaller: d or n?
n
Suppose 3*x - 2*p + 4 = -0, 2*x = -p + 9. Is 3 < x?
False
Suppose -16 = -a - 40. Let z be (1 - 6)*(-4)/(-10). Let c be (16/a)/(z/(-3)). Is c at least as big as -2/5?
False
Let j = 256793 + -2821397/11. Let v = -302 + j. Let g(c) = -18*c + 109. Let u be g(6). Is u greater than v?
True
Suppose 5*g - 232 = g. Let k be ((-42)/(-4))/(2/(-11)). Let r = k + g. Which is bigger: -2 or r?
r
Let f be (1 - (-37)/(-1)) + 0. Let j be (-2)/(-9) + 35/f. Which is smaller: -2 or j?
-2
Let k be -27 - (-3)/3*3. Let r be (2/(-3))/((-184)/k). Is r > 0?
False
Let i = -1 + 2. Suppose 4*p - 3*b = -2, 3*p - 14 = -2*b - 7. Let x be (p/7)/((-2)/(-7)). Which is greater: i or x?
i
Let r = -21 + 9. Let p = r + 10. Does -2 = p?
True
Let s(g) = 2*g**3 - g. Let n be s(1). Suppose -i + 6 = n. Which is smaller: 1 or i?
1
Let n(c) = 4*c - 8. Let j be n(8). Let x = j + -24. Is 1/2 less than x?
False
Suppose -2*w + 4 = -6. Suppose r = -w, -7*r + 2*r - 29 = 4*c. Let g = 0 + c. Which is smaller: -1/6 or g?
g
Let f be (2/24)/((-1455)/(-4)). Let h = -252686/4365 + f. Let n = -58 - h. Which is smaller: 0 or n?
n
Let x(t) = -6*t + 36. Let l be x(6). Which is smaller: -2/37 or l?
-2/37
Let p be (2/18 + 1)*(-12)/(-20). Is p greater than or equal to -2/11?
True
Suppose -3*f = -2*f + 8. Which is smaller: f or -5?
f
Suppose -2*p - p = -15. Suppose o - 2*o - p = 0. Do -3 and o have different values?
True
Let g = 8 - 10. Let h be (2/2)/(g/(-6)). Does 2 = h?
False
Let s(x) = x + 1. Let m be (-2)/(-8) + 35/4. Let z be m/(-6) + (-2)/(-4). Let u be s(z). Is u greater than or equal to 0?
True
Suppose -w - 3 + 2 = 0. Let k be (10 + -9)*(-7)/4. Which is smaller: w or k?
k
Let z be (2 - 1) + (-2 - -1). Which is smaller: z or 1/30?
z
Let f be (-12)/54 + (-122)/(-630). Which is bigger: f or 1?
1
Let a = 8 + -8. Suppose -4*v + 16 + 4 = a. Let n be v - (3 - 0/(-2)). Which is smaller: n or 4/3?
4/3
Let r(z) = -z**3 + 6*z**2 + 6*z + 3. Let b be r(7). Let s be ((-7)/70)/(b/(-30)). Which is greater: -2 or s?
s
Let x be (-1 - 1)/(1/7). Let u be (-2)/5 - x/10. Let j be (u - 7)*1/2. Is -6 greater than j?
False
Let c be (1 - 2) + -3 + (-50)/(-12). Is c equal to 0.1?
False
Suppose -t - 10 = -4*t + b, 4*t - 5*b - 28 = 0. Let h be (-2 + -1 - -1) + t. Is h at most -2/5?
False
Let d be 4/(-2 + 6) + (-23)/27. Is -1 > d?
False
Let c = 23/5 - 187/45. Suppose 5*l - 15 = 2*a, -5*a + a = 20. Is l less than c?
False
Suppose -283 = -5*n + 4*q, 3*n - 2*n - q - 57 = 0. Is n > 54?
True
Let l be (-11)/7 - -4*(-4)/(-8). Which is greater: l or -1?
l
Let v = 9 - 7. Suppose 0*u + u = 0. Let m = u - 1. Are v and m non-equal?
True
Let l be -1*(-5)/2 - 3. Is -2 > l?
False
Let z = 10 + -5. Suppose -2 = -4*h + z*h. Which is smaller: -3 or h?
-3
Let v = -1/210 + -25/42. Let o = 4.95 - 5. Let w = -0.05 + o. Which is smaller: w or v?
v
Let i(o) = o - 7. Let t be i(5). Is 7 at most as big as t?
False
Suppose -4*l + 12 - 24 = 0. Which is greater: 0 or l?
0
Let k = 29 - 28.8. Do 4/7 and k have the same value?
False
Let y be (7 + 2)/(3/2). Let o be (-18)/12 - (-11)/y. Is 1 != o?
True
Let m be (-1 + -2)*130/(-15). Let p = -232/9 + m. Is 0 != p?
True
Suppose 3*s = 7*s + 24. Let z be 9/s*26/(-3). Suppose -8 = x + 3*x - h, 5*x - 2*h + z = 0. Which is smaller: x or 1?
x
Let y be 4 - (-2 + (-12)/(-3)). Suppose -y*k - 4*l = 18, 2 = 2*k + 3*l + 16. Suppose 14 = -3*w - 2*q, 5*q + 1 = -w - 21. Which is bigger: k or w?
k
Let r = 53 - 531/10. Let t = r + -12/5. Let q be (1 + 0)*(1 + -4). Is t less than q?
False
Let n(h) = 2 + 1 + 9*h + h**3 + 2*h**2 - 12*h*