s z smaller than h?
True
Let a(w) = w + 3. Suppose 3*r - 13 = -2*q, 4*q = 5*r - 27 - 24. Let c be a(r). Is c at most as big as 9?
False
Let o = 491/165 - 32/11. Let v = o + 23/105. Which is greater: v or -7?
v
Let i be ((-1107)/(-5) - (-14)/(-35)) + 0. Is i smaller than 222?
True
Suppose 51 = -8*w - 77. Let t = 0.08 + -0.08. Which is smaller: w or t?
w
Let f be 1*-16 - 7/(-1). Is f smaller than -7?
True
Let x be 14 + (-16)/(-4) + -8. Suppose 4*a + a - 5*m + 30 = 0, 2*m = a + x. Which is smaller: -5 or a?
-5
Let w(t) = -t**2 + 4*t. Let x be w(2). Suppose -2*n - 2 - 20 = -4*u, 0 = -2*u - x*n + 6. Let q = -51 + 56. Is q < u?
False
Let k(f) = -14*f - 50. Suppose -5 + 3 = c - z, -3*c - 2 = -4*z. Let u(n) = -5*n - 17. Let h(d) = c*k(d) + 17*u(d). Let l be h(6). Which is greater: 0 or l?
l
Suppose -69 = 5*w + 2*c - 3*c, -47 = 3*w + 5*c. Is w at most as big as 15?
True
Let y(g) = -g - 2. Let d(f) = -f - 11. Let n be d(-9). Let t be y(n). Let u be (60/(-9))/(-4) - (-2)/(-2). Which is smaller: u or t?
t
Let k be -320*(4 - 72/20). Which is smaller: k or -642/5?
-642/5
Suppose -6 = -16*u + 10*u. Let f be (-5)/((2 + -1)/u). Is -6 >= f?
False
Let f be 2/(-7) - (-17)/35. Let r be (-17)/10 + ((-18)/4)/(-3). Which is greater: f or r?
f
Suppose -5*r + 6*h - 3*h + 37 = 0, r = -3*h - 7. Let q be 3 + 0/(-2) + r. Suppose 4*z - q*z = 4. Which is bigger: z or -0.1?
-0.1
Let k(j) = -j**3 - 7*j**2 + 12*j + 11. Let s be k(-8). Let i = s - -26. Suppose 7*w - 3*w + 3*b = 4, 4*b = -i*w + 4. Which is bigger: w or 24/7?
w
Let h = 316 + -317.04. Which is greater: -2 or h?
h
Let m be (1 + 1)/(2/(-7)). Suppose -215 = -5*q + 15. Let d = q - 54. Which is smaller: d or m?
d
Suppose -38*q = -41*q + 1386. Let y be (-4)/(-34) - q/(-119). Which is bigger: 27/7 or y?
y
Let q = -21 + 51. Let f = q - 32. Suppose 3*o = 2*i - i - 7, -1 = -o + 2*i. Which is greater: f or o?
f
Let i(s) = 15*s + 37. Let q be i(-10). Let r = -8477/75 - q. Which is greater: r or -1?
r
Let v = -11168 + 3339236/299. Which is greater: 1/4 or v?
1/4
Suppose 2 = 3*i - x, -i - 16 = 2*x + x. Which is bigger: 16/83 or i?
16/83
Let x(i) = -i + 19. Let u be x(8). Suppose 15*l - u*l = 0. Suppose 15 = -2*j - 5*w, -j + l*w - w = 3. Which is greater: j or -5?
j
Let l be (-4)/(-30) - (-52241)/(-13020) - -4. Is 0 > l?
False
Let l(w) = 2*w**3 - 10*w**2 + w + 1. Let p be l(5). Which is bigger: p or 16/3?
p
Let l(j) = -2*j**2 - 19*j - 24. Let r be l(-8). Which is smaller: 2/5869 or r?
r
Let j = -34 + 34. Suppose c - b - 13 = j, 4*c = -4*b + 7*b + 48. Are c and 9 equal?
True
Let h(a) = -a**3 + 16*a**2 - 13*a - 6. Let c be h(15). Let j be c/(-54)*18/(-4). Is -2/3 smaller than j?
True
Let s = 4932.94 + -4893. Let a = -40 + s. Which is bigger: a or 0.4?
0.4
Let i(r) = -5*r + 2. Let n be i(-1). Suppose 2*j - n = -1. Let a be j/(-6) - 4/24. Is -0.05 > a?
True
Let n be ((12/9)/4)/((-31)/(-1116)). Let y be (14/3)/(2/6). Let f = n - y. Is -2 smaller than f?
False
Let z = -200.1 - -218. Let v = 11.9 - z. Which is smaller: -1 or v?
v
Let a be (-14)/(-4)*(-60)/(-21). Let z = 16 - 6. Let t = z + -1. Which is smaller: t or a?
t
Let y = 183/722 - 231039/364610. Let b = 2/101 - y. Let q = 25.4 - 28.4. Is q bigger than b?
False
Let v = -12 + 14. Suppose 0 = -5*j + 2*o - 3, 22 = v*j + 8*o - 3*o. Let m = -386/63 + 46/7. Which is smaller: j or m?
m
Let l = -341 + 526. Is l less than or equal to 0.1?
False
Let j be (-11)/(-33)*-21 + 28/4. Is j smaller than 4/333?
True
Let o = -7.26 - -12.26. Is 2/5 at least as big as o?
False
Let c = -21 + 25. Suppose 8*d = -c*i + 3*d + 5, 0 = -d + 1. Let l be (-2)/4 - (-43)/78. Is l not equal to i?
True
Suppose -5*y = -4*b - 5, 5*y + 12 - 27 = 2*b. Let p = 50 - 46. Suppose -p*i + k + 3*k = -20, 3*i - 15 = 5*k. Is y >= i?
True
Let m be ((-4)/12)/(1/3). Let s be 3 + 2*(-326)/4. Let l = 796/5 + s. Do l and m have the same value?
False
Let n = 1271 - 4819/4. Which is greater: n or 66?
n
Let h = -2 - -11. Let z be (-2)/h - 348/54. Let p = z + 22/3. Which is bigger: 3/4 or p?
3/4
Let j = 10 + -9. Let q be j - 4/((-12)/(-9)). Let i be q/((-4)/(-78)*-3). Is i > 13?
False
Let r = -114 + 197. Let l = r + -47. Is l greater than or equal to 1/2?
True
Suppose 0 = 5*t + 3*n - 80 - 1, 4*t - 3*n - 81 = 0. Let c = -9 + t. Suppose 0 = 2*m + m + c. Which is smaller: m or -5?
-5
Let v be (-48)/(-4 - (3 - 8)). Suppose 4*z = -3*f - 137, -3*z - 2*z - 230 = 5*f. Are v and f nonequal?
True
Let m(a) = -2*a**2 + 45*a + 23. Let l be m(23). Let c = 23185/4 - 5765. Let o = c + -31. Which is smaller: l or o?
l
Let c(p) = -p**2 + 7*p - 8. Suppose -2*k - 3*i = 3*k - 35, -5*k + i + 15 = 0. Let f be c(k). Suppose -f*t = t + 20. Which is smaller: t or -2?
t
Suppose 2*o = -5*q - 1311 - 3709, -2*q - 4*o = 2008. Which is bigger: -1002 or q?
-1002
Let b = 23.046 + -0.046. Let j = b + -36. Let v = j - -6. Is -1 at least as big as v?
True
Let n = 119.39 + -115. Let f = n - -0.61. Are f and -5 non-equal?
True
Let p = -3 - -1. Suppose 0 = 2*l + 7*l. Are l and p nonequal?
True
Suppose -3*n + 41 = u, -u + 5*n - 4 + 13 = 0. Let l be ((-8)/(-12) - u/(-6))*-2. Do l and -8 have different values?
True
Suppose 5*g - r - 8 = 0, -4*g - r + 0*r = -10. Suppose -3*u = -g*z + 6*z - 7, -z = 4*u - 5. Let a be ((-2)/(-5))/(186/30). Which is smaller: z or a?
a
Suppose -2*l - 209 + 121 = 0. Is -51 less than or equal to l?
True
Let x be 42/98 + 17/(-7). Let u(m) = -m**3 + 6*m**2 - m + 4. Let h be u(6). Let b be (h/(-8))/(x/4). Which is smaller: 0 or b?
b
Suppose -m + 3*d = -18 - 8, -2*d + 113 = 5*m. Which is greater: -10 or m?
m
Let q(o) = -2*o**2 - 14*o - 5. Let h be ((-2)/(-4) + -1)*12. Let n be q(h). Suppose 0 = p - n + 6. Which is smaller: p or 2/17?
2/17
Let u = -151 + 103. Let d = -193/4 - u. Which is smaller: 1/3 or d?
d
Let o be (-1)/3 - (-6)/72. Let u = 8 + -3. Let z = u + -4. Which is bigger: o or z?
z
Let h = -1.912 - 0.088. Let k = 1.8 - -0.2. Which is smaller: h or k?
h
Let q be (-1 - 0) + 0/(-3). Suppose -5*c - 15 = 0, -o - 5*c + c - 10 = 0. Let d be 13/26 - o/4. Is q greater than or equal to d?
False
Suppose 23*z + 85 = 4*k + 18*z, -2*k = z - 53. Which is smaller: k or 14?
14
Let c be (-77 + 3)*(1 + -2). Suppose 70*b + 56 = c*b. Which is smaller: 10 or b?
10
Suppose 0 = 56*o - 43*o - 481. Which is greater: o or 182/5?
o
Let k = -5 - -6. Let g(w) = -29*w - 6. Let z be g(15). Let o = 3965/9 + z. Which is greater: o or k?
k
Let u = -957 - -955. Let c = 4 - 2. Let n = c - 1. Which is smaller: n or u?
u
Let x be ((-14)/(-138))/((-2)/(-6)). Let b = x - 31/253. Which is smaller: b or 0?
0
Let m be (3 + 0)/((-3)/(-2)). Let a be 6 - (-2 - (-7 - -3)). Suppose a*s - 6 = s. Is m at most s?
True
Suppose 3*g - 14 - 10 = 0. Let o(z) = -z + 9. Let f be o(6). Suppose -f*d - 5*s = -42, d = -2*d - 2*s + 33. Which is smaller: d or g?
g
Suppose 0 = 5*c - 10*c + 5. Let k be (-3 - (-8763)/2925)*3/2. Let g = 961/2275 - k. Which is greater: c or g?
c
Let g(c) = c**3 - 7*c**2 + 8*c - 5. Let n be g(6). Suppose -761 = 11*h - 849. Which is bigger: n or h?
h
Let f be (-1380)/(-50) - 6/(-30). Which is greater: 27 or f?
f
Let k = -544.97 + 545. Which is greater: k or 0?
k
Let y = 0.14 - 0.04. Let l = -21.256 - -0.256. Which is greater: l or y?
y
Let f = -520/3 + 195. Is f at most as big as 22?
True
Let f(p) = p**3 - 4*p**2 + p - 4. Let z be f(4). Suppose -2*c - 3*c = z. Let g = 9/2 - 4. Is g smaller than c?
False
Let q = 56 - 44. Suppose q*i - 215 - 1 = 0. Which is bigger: i or 16?
i
Let x = -0.1 + 0.3. Let u = -1.17 - -1.17. Let f = u + x. Is -0.1 greater than f?
False
Suppose 2*x - x = -2*v - 16, -2*x - v = 23. Let b = x + 12. Do b and 0.4 have the same value?
False
Let b = -178 - -176. Let s = -0.5 - -0.5. Let i = -0.1 - s. Which is bigger: b or i?
i
Let u be (-1821)/(-12)*(-4)/(-5) + -1. Which is smaller: 121 or u?
u
Let z(m) = m - 61. Let r be z(0). Suppose -179*g + 173*g = 360. Is g != r?
True
Let l be 2/(-14) + (0 - -1). Let q = -57 + 58. Which is greater: l or q?
q
Let a(v) = v**3 - 6*v**2 - 3*v - 4. Let x be a(8). Suppose -10*k = -0*k - x. Which is smaller: k or 13?
k
Suppose s + 2*a = 5, -2*s + 3*a - 9 - 9 = 0. Let d be -3 + (-8)/s*3. Suppose -d*m = -6*m + 17. Which is bigger: 16 or m?
m
Let f = 2371468/685 - 3462. Is f bigger than 1?
False
Let i(v) = v**2 - 11*v + 8. Suppose -3*p