1. Let d(n) = -h(n) - 3*u(n). Let p be d(2). Is -3/2 at most as big as p?
False
Let t(a) = -a - 23. Let g be t(-13). Let y = g - -11. Which is bigger: 2/9 or y?
y
Let z be (9/42)/(6/(-8)). Suppose 4*i - l = 30, 2*i + l - 22 = 5*l. Let t = 7 - i. Which is smaller: z or t?
z
Suppose 0 = x - 3*r + 4, 1 = -0*x - 3*x - 2*r. Do -1 and x have different values?
False
Suppose -4*r = -37 - 3. Let z be (r/4)/(15/(-10)). Is z <= -1?
True
Let w = -167/4 + 42. Let i(r) = r**2 + 6*r - 10. Let p be i(-7). Is w bigger than p?
True
Let o be -1*(1/1 + 0). Let x = 16/9 - 13/9. Is x >= o?
True
Suppose 0 = -0*b - 3*b - 6. Let d be (b/12)/((-2)/12). Is d smaller than 1/6?
False
Let m be -2*15/54*6/(-5). Which is greater: 8 or m?
8
Let y be 1 - -1 - (-5 - -5). Which is smaller: 6 or y?
y
Let s(k) = -k. Let y be s(9). Let o = -4 + y. Let a be o/(-28) - (-6)/21. Which is smaller: a or 0?
0
Let d be (28/(-12))/(-1) - -1. Suppose 2*m - 3*j = -m + 3, 4*m = -3*j + 25. Which is greater: d or m?
m
Let u = -9 - -4. Let h = u - -4. Is h bigger than -2?
True
Suppose -2*l + 0*s - 18 = -4*s, 3*l + 2*s = 5. Which is bigger: l or -4/35?
-4/35
Let v be (2 + -4)*(-1)/(-1). Which is greater: -8/9 or v?
-8/9
Let c = -18 + 31. Suppose 1 = -3*k + 2*t + c, 0 = -3*k + t + 9. Suppose k*u - u = 3*p - 5, 0 = -4*p + 2*u + 8. Which is smaller: p or -1/6?
-1/6
Suppose v - 2 = -17. Is v at most as big as -10?
True
Let s = -223.022 + 223. Is -1 < s?
True
Let g = 3.02 + -3. Let n = g + -0.02. Which is bigger: -0.7 or n?
n
Let z = 1 - 0.7. Let r = -7 + 4. Let g = r + 4. Do z and g have different values?
True
Let l(t) = 3*t**2 - t + 1. Let h be l(1). Let r be (0 + h/(-10))*-2. Let u = 16.8 - 17. Which is smaller: u or r?
u
Let c(p) = 3*p**3 - 10*p**2 - 5*p + 6. Let i be c(4). Which is smaller: i or 17?
17
Let y = -0.07 - 7.93. Let o = -8 - y. Which is greater: o or 3?
3
Let t be (-3)/(-27)*(-6)/(-4). Let l be ((-1)/(-8))/(2/4). Which is smaller: t or l?
t
Let j = -0.045 - 1.455. Does -1 = j?
False
Suppose i + 2 = 3. Suppose -3*f = 5 + i. Is -3/4 > f?
True
Let x be (-45)/6 - (-1)/(-2). Let s = x - -13. Suppose 5*c + 5 + s = 0. Which is smaller: -2/3 or c?
c
Suppose -3*c + 9 + 6 = 0, -4*s + c = 5. Which is greater: s or 1/28?
1/28
Let c = -12 + 23. Let d = 14 - c. Suppose 4*f - 16 = -2*w, -d*w + 6*f - 3*f - 12 = 0. Are w and -1 equal?
False
Let f = 3.8 - -0.2. Let s = 26.9 - 23. Let z = f - s. Which is smaller: z or -2?
-2
Suppose -t - 3 = -8. Is 5 less than or equal to t?
True
Let z be 2/5 - 42/80. Let o = 11.1 - 11. Is o smaller than z?
False
Let a(c) = -c**2 - c. Let g be a(1). Let k(h) = h**2 + 8*h + 15. Let m be k(-6). Suppose m*p + 8 = -1. Which is greater: g or p?
g
Let u = -6 + 6.04. Let k = u - -2.96. Which is smaller: k or -2/3?
-2/3
Let w = 10.5 + -10. Is w equal to 5?
False
Suppose r + 34 = -a, 38 - 4 = -r - 4*a. Let f = -1/5085 + -174584/5085. Let m = f - r. Which is smaller: -0.2 or m?
m
Let f = 0.21 - -1.79. Let o be 4/(-14)*(-1042)/(-8). Let m = o + 75/2. Which is bigger: f or m?
f
Let a = -10 + 13. Suppose -a + 5 = -2*z. Is z greater than 2/9?
False
Let p = 11/30 + -1/6. Which is smaller: -0.2 or p?
-0.2
Let d(l) = -l - 4. Let g be d(0). Let s be (-39)/12 - (1 + g). Which is smaller: s or 0?
s
Let q be (2/(-6))/((-3)/9). Let r be 2 + 1/(q/(-3)). Let p = r - 1. Which is bigger: p or -1/2?
-1/2
Let l be 4 - 1 - 3 - 7. Is l at most as big as -2?
True
Let d(h) = -h**3 - h**2 + 1. Let k be d(2). Let u(f) = f**3 + 11*f**2 + 1. Let b be u(k). Which is bigger: -2/45 or b?
b
Suppose -s - s + 3*u - 45 = 0, -3*s = 3*u + 90. Is s smaller than -0.1?
True
Let r = 2 + 8. Let c(x) = -x**3 + 11*x**2 - 9*x - 12. Let l be c(r). Which is bigger: l or -3/2?
-3/2
Let k be (4/6)/((-15)/(-9)). Suppose 0 = 4*x + x - 25. Suppose -j + 7 = -x*c, -c + 0*j - 5*j = -9. Do c and k have the same value?
False
Suppose 3*g + 2*c = 62, 36 = -0*g + 2*g + 4*c. Let v = 20 - g. Is -1 less than v?
False
Let s be 20/3*(-6)/4. Let p(u) = -15*u + 51. Let c be p(4). Is c <= s?
False
Let p be 46/10 - (-8)/20. Suppose 2 = -p*q + 12. Which is smaller: 4 or q?
q
Let q be 2/10 - (-9)/30. Is q greater than -3/11?
True
Let h = -2108/283 + 667322/96503. Let z = -4/341 + h. Is z at least as big as -1?
True
Let f be ((-3)/(-4))/((-2)/(-8)). Let a be (-5)/f*(-2)/(-15). Are a and -1 nonequal?
True
Suppose j + 4 = -q, 4*j - 3*q + 0 = -30. Let p = 2 + j. Which is greater: p or -3?
-3
Let o = 10.82 - -0.18. Let g = o - 18. Which is greater: g or 1?
1
Let c be -2 - -4*(-4)/(-8). Let l be 1/2 + (-6)/4. Let x be l*(18/14 + -1). Which is bigger: x or c?
c
Let o = -41 - -43. Which is greater: o or 0.04?
o
Suppose -i = -3*i - 2, -3*u = -3*i - 6. Let m = 13 - 27. Let o be 2*(2 - (-26)/m). Is o greater than u?
False
Let t = 35 - 317/9. Let k(y) = -y**2 + 4. Let b be k(0). Suppose 2*q + 22 = b*s + 4, -26 = -q - 5*s. Is q greater than t?
True
Suppose 3*c + m - 9 = 4*m, -4*c - 4*m - 28 = 0. Are c and -2 equal?
True
Let n = 7 + -7. Let r = n - 0.6. Let o = -5.6 - r. Is 2/5 equal to o?
False
Suppose -4 = p - 2*u, -5*p - 4*u = -2*u + 32. Let j be -3 + p/(-3) - 3. Let g be (-2)/(-9)*(-6)/j. Does g = -1?
False
Let r = 5 - 5. Suppose 0 = -2*l + 3 + 7. Suppose -p = 3*y + 4*p - 11, -3*y + l = -p. Which is greater: y or r?
y
Let m be (-2)/2 - (-10 - 2). Suppose 3 = x, 0*x = -4*s + x - m. Let l = -4/33 + 5/11. Is l equal to s?
False
Suppose 0*h - 2*h - 2 = 0. Let v = 1 + h. Let t = 0 + v. Which is greater: t or 1/8?
1/8
Let l(f) = f**3 - 3*f**2 - 2*f - 2. Let h be l(4). Let o be (4 + -8)*(-3)/h. Suppose o*k + 9 = 5*u, k - 3 = -5. Is 0 < u?
True
Let n = 1.7 - 2.7. Which is bigger: n or 14?
14
Suppose -2*s + 23 = -4*s + 3*k, 37 = -4*s + 3*k. Is -8 greater than s?
False
Let t = -44.44 + 1.44. Which is bigger: t or -1?
-1
Let q = 17 - 7. Is q greater than or equal to 10?
True
Let a(s) = -s**3 - 6*s**2 - 5*s + 1. Let z be a(-5). Suppose -y + 2*n = -6*y + 17, -y = -2*n - 13. Suppose y*g - 17 = -4*c, 2*g + 2*g - 10 = -2*c. Is g >= z?
True
Suppose 4*r + 6 = 3*r. Do 1 and r have different values?
True
Let q be 2/(-10)*-1*2. Suppose -3 = -3*f - 3*w, 5 = -3*f + f + 5*w. Suppose -4*a + 3*a - 1 = f. Is a != q?
True
Let p = -49 + 345/7. Which is smaller: p or 1?
p
Let d = 5 + -4. Is 7/8 greater than or equal to d?
False
Let l(s) = -3*s + 7. Let c be l(7). Let t = c + 16. Which is smaller: t or 11/4?
t
Let q be ((-16)/(-10))/4*-5. Let u = 2 + q. Let d be (2 - u) + 34/(-16). Is d >= 1?
False
Let x(c) = -2*c**2 - 6*c - 6. Let t be x(-4). Let f be (-8)/t - (-4)/(-14). Is 0 less than f?
True
Let y = -13.1 + 12. Let h = y + 0.1. Let s = 0.1 - 0. Which is smaller: h or s?
h
Suppose v + 3*v = -24. Let p(h) = h + 5. Let f be p(v). Let s be f/((-2)/(-3)) - -1. Which is bigger: s or -2?
s
Let q = 0 + 1. Let h be (1/(-3))/(12/(-54)). Which is greater: q or h?
h
Let z = -4 - -7. Suppose 3 = -z*q + 4*q. Let u(v) = -v**2 - 3*v - 1. Let s be u(-1). Which is bigger: q or s?
q
Let o be 36/(-459)*6/(-4). Let g(r) = r. Let s be g(-1). Which is smaller: s or o?
s
Let k be 2/4 + 13/(-10). Which is greater: k or 0?
0
Let n be (-2 - (-3)/2)/((-6)/(-12)). Which is smaller: n or -6/5?
-6/5
Let m = 0 + 1. Let i be 4/m*3/54. Let f = 1024/7 - 146. Is f < i?
False
Let q = 2647/11 - 241. Does 0 = q?
False
Let x = 5.8 + -6. Which is greater: x or 0.7?
0.7
Let x = 14 - -8. Let a = 16 - x. Is a at most as big as 2/3?
True
Let f(m) = m**3 - 5*m**2 - 8. Let s be f(6). Suppose 0 = -3*v - v + s. Let l be (3/1)/(6 - v). Which is greater: 0.1 or l?
0.1
Let p = -3 - 3. Let y = -6 - p. Let b = -78 - -236/3. Are b and y unequal?
True
Let n = 3 - 4. Let r = n + 0.9. Which is bigger: 2 or r?
2
Let l = 11 + -11.1. Which is bigger: l or 4/5?
4/5
Let p be (-3)/3*1 + 6. Suppose j + p*x - 10 = 2*j, -2*j = 2*x - 4. Suppose 0*t + 4 = -4*t. Is j at least t?
True
Let d = -51 - -256/5. Let h = 5 + -5. Suppose h = -2*k + 2 - 4. Are k and d equal?
False
Let q = -0.016 + -0.174. Is q <= -0.1?
True
Let r = -4 + 3. Is r at most as big as -4/7?
True
Suppose -2*p + 9 + 1 = 0. Suppose 3*i - 4 = -b + i, i - p = b. Is b at least as big as -3?
True
Let a be ((-13)/26)/(2/4). Are -2 and a non-equal?
True
Suppose p + 2*p = 2*w - 10, -w + 5 = p. Let f(o) = o**2 + 4*o + 3. Let a be f(-3). Let v be a/(-8) - (-2)/7. Which is smaller: v or p?
p
L