h is smaller: j or a?
a
Let b(z) = -z - 4. Let n be b(-6). Suppose 4*s - 13 = -y, n*s + y = -y + 8. Which is smaller: 2 or s?
2
Suppose 3*b - 4*d + 8 = 0, 0 = -3*b - b - 2*d - 18. Let a be (0/1 - b) + -3. Is 1 not equal to a?
False
Let i be 1/2 + (-12)/(-8). Suppose -4*n - n = 0. Suppose 3*v + 2*v = n. Is i at most as big as v?
False
Let x be ((-216)/(-6))/(2/3). Let c be (-4)/10 + x/(-15). Which is smaller: c or -5?
-5
Suppose y + y = -4*w + 10, y - 2*w - 25 = 0. Let f(a) = -a + 14. Let n be f(0). Let q be y/21 - (-4)/n. Is q < 2/11?
False
Suppose t = -4*t - 5. Let z = -2 + 4. Suppose 0 = g + z. Which is smaller: g or t?
g
Suppose 6 + 10 = 8*j. Which is bigger: 1/6 or j?
j
Suppose 0 = -2*l - 1 - 1. Is l greater than 1/29?
False
Let c be 3 + -1*(-1 + -1). Suppose 5*g + n - c = -17, 4 = -4*g + 2*n. Is -3 smaller than g?
True
Let f = 0.1 - 0.4. Let h = f - -0.4. Which is bigger: h or 5/3?
5/3
Let h = -2 + 1. Let l be h + 2 - 12/18. Let s(p) = -p + 2. Let k be s(4). Is k smaller than l?
True
Let h be (6/26)/((-6)/4). Let r(y) = -y**2 + 15*y + 53. Let w be r(18). Is w less than h?
True
Let i(y) = -6*y**2. Let a be i(-1). Is a < -4?
True
Suppose 2*b = 5*b + 18. Let f be (-32)/6 + 4/b. Is f greater than 1?
False
Suppose -3*g + 57 = 3*c, -55 = -3*c + 5*g + 26. Suppose -4*b = 10 + c. Which is greater: b or -4?
-4
Let f = -26 + -21. Which is bigger: -48 or f?
f
Suppose -3*z = -6*z - 45. Let l = 11 + z. Are l and -3 nonequal?
True
Let r be 3/(-6) - (-18)/8. Let c = -5/4 + r. Is 1 < c?
False
Let y = -3.92 - 0.08. Let n = -6 - y. Let p be 27 + -23 - (-26)/(-6). Which is smaller: p or n?
n
Suppose 2*u = -2*o + 10, -4*u + 3*o + 2 = -4. Do 5 and u have different values?
True
Let z = 0.1 - 5.1. Let k = z - -6. Which is bigger: -8/5 or k?
k
Let o = 2.39 - 0.39. Do 7 and o have the same value?
False
Let y be (0 - 8)*-4 + -2. Let l be (6/15)/(3/y). Let p be l/(-8) - (-2)/4. Which is smaller: 1/9 or p?
p
Let g = -6 + 8. Suppose 4*f = -g*n - n - 31, 5*n + 9 = 4*f. Let c be (-2)/f - 2/4. Is 1 at most as big as c?
False
Let z(r) = 2*r - 9. Let u be z(6). Suppose 4*h + 0*h + 12 = -y, -h - u = 0. Suppose -a + 2*j + 5 = y, 0*a + 6 = 2*a - 2*j. Is a not equal to 0?
True
Let x = -0.19 - -8.19. Let t = -0.76 + 0.66. Does t = x?
False
Let p = -8 - -5. Let g be 2 - (4 - (p + 6)). Do g and 1/9 have the same value?
False
Let r = -4.92 - 0.08. Let s = r - -5.3. Let a be (1 - 3)/(1 + -3). Which is smaller: s or a?
s
Let x = 678/5 + -136. Let o = -1 + -1. Let n = o - -1. Is x at least as big as n?
True
Suppose 2 - 14 = 4*x. Let t = 1 + -3. Is t less than or equal to x?
False
Suppose -5*x = -3*x - 10. Let s(u) = u**3 - 5*u**2 + u - 2. Let j be s(x). Which is greater: 4 or j?
4
Let p = -1.98 - 0.02. Let c = 4 - p. Let i = 7 - c. Which is smaller: i or -0.3?
-0.3
Let i = -383/8 + 47. Which is smaller: i or -2?
-2
Suppose 4*k - 3*r = -27, 10 + 12 = -4*k + 2*r. Which is bigger: -1 or k?
-1
Let r = -0.03 - 2.97. Let w = r - -2.98. Let z = w + -0.28. Are z and 0 nonequal?
True
Let m = 7 - 5. Let k(i) = -i**2 - 10*i - 11. Let p be k(-10). Let d = 14 + p. Is d smaller than m?
False
Let g be 0 - (-24)/(-14)*(10 - 3). Which is bigger: -13 or g?
g
Let d(k) = 6*k. Let s be d(-2). Does s = -11?
False
Let p(s) = s**2 - 10*s + 1. Let g be p(10). Let l be (1 - -2) + 33/(-12). Which is smaller: g or l?
l
Let o be (-26)/65 + ((-192)/15)/(-2). Is 8 greater than o?
True
Let h = -7.1 - -4. Is -1 > h?
True
Let o(t) = -2*t + 4. Let a(j) = j - 2. Let q(y) = -13*a(y) - 6*o(y). Let c be q(1). Is c at most as big as 2/25?
False
Let k = -205749180 + 676091813783/3286. Let a = 157/53 - k. Let b = -2/31 - a. Is b greater than or equal to 0?
False
Let k be 8/(-4) + (5 - 0). Suppose -o + 5 = -k*a - 3, -5*o - 24 = a. Is -4 less than a?
False
Suppose j = -0 - 2. Let c(i) = 2*i + 4. Let t be c(-3). Let m = 0 + t. Are j and m unequal?
False
Let a be 1/(-3) - 1/(-3). Let m be ((-3)/3 - 0)*0. Let d = a - m. Is d equal to 1?
False
Let n = -24 - -22. Which is greater: -3/2 or n?
-3/2
Let d(p) = 3*p + 1. Let i be d(-2). Which is smaller: -8 or i?
-8
Let w = -8.83 - -8.2. Let f = w - 0.07. Let y = -0.6 - f. Which is greater: y or 1/7?
1/7
Let i = 10 - 7. Let b = i + -4. Let c be 0 + -2 + (b - -2). Which is smaller: c or 0?
c
Let r(t) = -t**2 + 5*t - 2. Let l be r(3). Suppose -5*j = -l*y - 8, -y - 2*j - 4 = -2. Let h be (8/(-12))/(y/(-3)). Is h not equal to 1?
True
Let i(b) = -b**3 - 21*b**2 + 22*b - 30. Let l be i(-22). Is -33 smaller than l?
True
Let f = 15.6 - 2.6. Let n = f + -11. Which is smaller: n or -1/4?
-1/4
Let x be ((-248)/36)/2 + 3. Let n = -2 - -3. Is x greater than or equal to n?
False
Let y be 0 - (6/3 - -3). Let t(c) = -c**2 - 2*c + 6. Let j be t(y). Let l be 2/j + (-12)/189. Do l and -0.1 have the same value?
False
Let x(s) = -s**2 - 5*s + 1. Let i be x(-4). Let t be i/(-25)*10/4. Do t and -2 have the same value?
False
Let p be (1 - 1)/(0 - -2). Suppose -4*w + p*t + 21 = -t, -6 = -w + t. Suppose w*n - 6 = -v, 4*v - 2*n = -0*v + 2. Which is greater: v or -2/7?
v
Let m be (-2)/(-4) + 21/6. Suppose 5*u = 5*d - m*d + 15, 3*u + 19 = -5*d. Let z be 64/126 - u/7. Which is smaller: 0 or z?
0
Let f(q) = -q**2 - 6*q + 8. Let i be f(-8). Are -9 and i unequal?
True
Let w = -3 + 2. Which is smaller: -7/4 or w?
-7/4
Let w(u) = u - 11. Let x be w(11). Which is greater: -2/21 or x?
x
Suppose -2*o + 20 = 7*x - 2*x, 5*x + 5 = 3*o. Which is smaller: x or 3/4?
3/4
Let f = 3.1 - 3. Is f less than 2/5?
True
Let y = 7 + 62. Is y less than 69?
False
Let z(h) = 3*h - 99. Let x be z(29). Let n = -0.2 + 0.3. Which is smaller: n or x?
x
Let x = 3 + -2. Let s(l) = l**2 + 4*l + 5. Let z(r) = -r**2 + r + 1. Let p(w) = s(w) - 5*z(w). Let i be p(x). Which is smaller: 4 or i?
4
Let a be (1 - 3/2)*-4. Does a = 12/19?
False
Let d(z) = -3*z**2 - 4*z - 1. Let v(i) = i**2 + i. Let c(g) = -d(g) - 2*v(g). Let y be c(-1). Which is bigger: 2/13 or y?
2/13
Suppose 4*p - 22 + 2 = 0. Suppose -p*s + 70 = 5*w, -6*s = 5*w - 2*s - 68. Which is bigger: w or 13?
13
Let x = 25.7 - 26. Which is smaller: x or -3/4?
-3/4
Let v = -6 + 15. Do v and 8 have the same value?
False
Let m = 71 + -64. Which is greater: 5 or m?
m
Suppose -4 = -4*q, -v - 4*v = 3*q + 12. Let m be (-33)/9 - (-1)/(-3). Is m not equal to v?
True
Let f = -0.09 - -0.19. Let a = -4/3 + 14/15. Is a <= f?
True
Let t = -3115/11 + 283. Let i(s) be the second derivative of s**5/20 - s**4/3 + 2*s**3/3 - 3*s**2/2 + s. Let v be i(3). Which is bigger: t or v?
v
Let v = 79 - 45. Is 35 >= v?
True
Let q = 2 - 0. Suppose -p = p - q. Suppose -6 = -16*c + 14*c. Is p greater than c?
False
Let p = -23 + 21. Which is greater: -0.1 or p?
-0.1
Let n = -3 + 4. Let s = -3 + n. Let b = -2.2 - -2.4. Which is smaller: b or s?
s
Let t = 2902 - 46411/16. Let r = 3/16 + t. Which is smaller: 3 or r?
r
Let b(i) = i - 2. Let g be b(5). Suppose -3*r + 2 = -1. Let c = g - r. Do 1/2 and c have the same value?
False
Let d = 17.7 - 17.7. Which is smaller: d or 4?
d
Suppose 4*g + 11 = -5. Let k be ((-2)/12)/(g/6). Which is bigger: k or 1?
1
Let o = 4 + -1. Let m = -2 + 4. Let f = m + -1. Which is bigger: o or f?
o
Let i = -0.1 + -0.9. Let k = -7 - 1. Let n be (6/20)/((-6)/k). Which is greater: i or n?
n
Let k be 0 + (24/(-111))/(-4). Is k smaller than 1?
True
Let o = -103/442 - -3/26. Is o not equal to -3?
True
Let i(k) = -8*k + 101. Let c be i(13). Suppose 0 = 2*l - 6*l. Let v be 1 + l - 10/4. Is v at least c?
True
Let d = 13 - 20. Let v = d - -9. Which is smaller: v or -2?
-2
Let p = 3.3 + -1.3. Is p at least as big as -3?
True
Let h be 2*(-2 - 10/(-4)). Let s be 3/9 - (-32)/3. Let o = s - 9. Do o and h have the same value?
False
Let i be (-1)/(-4) + 62/8. Suppose -2*v + 2*z + 12 = 0, z = -v - v + 15. Is v at least as big as i?
False
Let c = 5 + -3. Let b = 0.9 + 0.1. Let v = b - c. Is v less than or equal to 1/3?
True
Let w = 4 - 9. Let d = -13 + 9. Which is smaller: d or w?
w
Let l(v) = -8*v**2 - 15*v - 11. Let n(r) = 3*r**2 + 5*r + 4. Let f(q) = -4*l(q) - 11*n(q). Let j be f(5). Which is smaller: 1 or j?
j
Let z(y) = y**2 - 5*y. Let t be z(4). Is -5 at most t?
True
Suppose -k - 66 = 2*y, 6*k - k - 146 = 4*y. Which is bigger: y or -35?
y
Let g(x) = 2*x. Let o be g(2). Suppose u + q = 9, 8 = -5*q + 28. Do o and u have the