is greater: h or k?
k
Let a = -10/39 - -124/585. Which is smaller: a or -1?
-1
Suppose -3 + 9 = 2*s. Let g be s - (1 + (-123)/(-63)). Let c be (-3)/(-4) + (-14)/8. Is c < g?
True
Suppose -j - t = -2*t + 4, 5*t = 0. Let u(o) = 19*o + 15. Let v be u(-1). Is v at most j?
True
Suppose -5*q + 6 = -24. Which is smaller: q or 8?
q
Suppose 0*l + 2*l - 16 = 0. Is l greater than 13?
False
Let r(l) = -l - 2. Let i be r(-4). Suppose -i = -2*j - 0. Which is greater: j or -1/4?
j
Let a be ((-45)/25 - -2) + (-1)/5. Is a greater than -1?
True
Let l = 2.9 - 7.9. Let w = -5 - l. Which is bigger: -0.03 or w?
w
Let q(b) = -b**2 - 3*b + 3. Let f(r) be the first derivative of -r**2/2 - 12*r - 2. Let j be f(-8). Let s be q(j). Do s and 2/13 have different values?
True
Let j = -12.005 + 0.005. Is j at most -1?
True
Let t be (-34)/221 - 862/312. Let o = 13/4 + t. Is -1 smaller than o?
True
Let s = 9716/3 + -3280. Let g = 42 + s. Let i = -1 + 1. Is g not equal to i?
True
Let q = -4.1 - -4. Let o = -1802/7 - -258. Is q < o?
True
Let b = 4 - 3. Let f = -5170639 + 9736313789/1883. Let r = -2/269 + f. Which is smaller: r or b?
r
Let l be (-747)/(-1155) - (-2)/(-5). Let t = l - 9/11. Suppose 0 = 5*r - 4*z + 25, 3*z - 8 = 3*r + 2*z. Is r <= t?
True
Let u be ((-54)/136)/((-20)/64). Let x = 8/17 - u. Let j(t) = t**3 - 7*t**2 + t - 8. Let d be j(7). Which is smaller: x or d?
d
Let r(c) = -c**3 + 2*c**2 + 2*c + 2. Let f be r(3). Let y be ((4/(-33))/(-2))/(-3). Let m = -89/495 + y. Which is greater: m or f?
m
Let x = 4 + -6. Let w be -2*(-2)/44*x. Suppose -h + 1 + 0 = 0. Is w at most h?
True
Let z be 18/(-8) - ((-3)/(-4) - 1). Which is greater: -16/9 or z?
-16/9
Let s(i) = -i**2 - 2*i. Let w be s(-2). Suppose w = -2*k + 5*k + 9. Suppose -2*x + 0*x - 4 = 0. Is x less than or equal to k?
False
Suppose 2*t = 4*o + 70, -4*t = -5*t - 2*o + 27. Let f be 1/(-5)*(-785)/(-5). Let r = t + f. Which is smaller: -3 or r?
-3
Suppose -1 = -y + a, -4*y - 4*a - 7 + 3 = 0. Suppose 2*w + 3*q = -w, y = 2*q + 2. Which is smaller: w or -1.1?
-1.1
Let t = -18 - -12. Let u = t + 5. Which is greater: u or -0.06?
-0.06
Let n(k) = k + 8. Let d be n(-7). Does d = 1?
True
Let r = -14.41 + 9.42. Let z = 46 - 46.01. Let l = z + r. Which is bigger: l or 0.1?
0.1
Let g = 56 - 44. Which is greater: g or 11?
g
Let c(t) = -7*t**2 - 2*t + 10. Let j(m) = 8*m**2 + 2*m - 11. Let k(z) = -7*c(z) - 6*j(z). Let h be k(-3). Which is smaller: h or -5/6?
h
Suppose -6*m + 2 - 2 = 0. Is -1/39 at most m?
True
Let q = 8 + -4. Let c = 44 - 39. Are c and q equal?
False
Let z be (56 - 1)/((-6)/(0 + -6)). Is 55 < z?
False
Let f(k) = 0*k**2 - 2 + k**2 - 3*k + 3. Let q be f(4). Suppose q*a + 8 = 3*o - o, 0 = a - 3*o + 12. Which is smaller: 1/2 or a?
a
Let w = 55 - 55.4. Is 3 > w?
True
Let g(u) = u**2 + 8*u - 4. Let f be g(-9). Suppose 5*o = 3*l + 6 + 3, f*l = -2*o + 16. Suppose 4*t - 30 = -2*r, 5*t = -5*r + l + 48. Which is smaller: 0 or r?
0
Suppose -y = -4*c + 281 + 39, 0 = -5*y - c - 1684. Let v be -1*y/164 - 2. Is v < 1?
True
Let x be (-5)/2*(-32)/20 - 5. Which is smaller: x or 1/21?
x
Let r = -0.1 + 0. Let o = 0.3 - 0.3. Let j = o + r. Is -3 greater than j?
False
Let w = -0.252 + 0.152. Is -52 equal to w?
False
Let k(n) be the third derivative of n**6/120 - n**5/12 - 5*n**4/24 - n**3/3 - 3*n**2. Let m be k(6). Let s be 0 - m/2 - -3. Is s at most 1/2?
False
Suppose -2*l - 6 = 2*b, -1 = 3*l - 3*b + 8. Let w = 63 + -45. Suppose -5*h - w = -g, 2*h = -5*g + 2*g - 14. Is g < l?
False
Let w = -29 + 30. Is 2 < w?
False
Let l(t) = -t - 2. Let x be l(-3). Suppose 14 = q - 5*u + x, -4*u = 12. Let c(k) = k**2 + 4*k + 3. Let w be c(q). Is 0 <= w?
False
Let n = 8 - 5. Suppose 4*r = n - 11. Let v be r/1 - 16/(-9). Is v not equal to 0?
True
Let l(a) = -a**2 + 1 + 2*a + 3*a**2 - 4*a. Let w be l(1). Are 2/5 and w nonequal?
True
Let v(j) = j**3 - 4*j**2 - 3*j + 5. Let d be v(5). Let u = -23 + d. Is -8 != u?
False
Suppose 9*h = 16*h. Is h bigger than 4?
False
Suppose -k = 26 + 19. Is -46 != k?
True
Let g be -3 + 2 + 46/18. Let v = g - 65/36. Do -0.1 and v have the same value?
False
Let x = 121/408 + 4/51. Is -2/5 at least x?
False
Let t(j) = -j**2 - j - 1. Let c be t(0). Does c = 3/10?
False
Let d = -0.1 - -2.1. Let x = 0.08 - 0.08. Let k = x - 0. Is k bigger than d?
False
Let m = -98 + 102. Is m smaller than -0.3?
False
Suppose 0 = -2*c + 5*o + 29, 3*o = 2*c + o - 14. Suppose 0 = -0*b - c*b. Which is smaller: b or -1/10?
-1/10
Let u(m) = m**2 + 2*m. Let n be u(-2). Let d = 10.8 + 0.2. Is d greater than n?
True
Suppose -7*w - 78 = -10*w. Let u be (-82)/w + (-8)/(-52). Is u smaller than -2?
True
Let k = -3 - -6. Suppose -4*d - 28 = -4*f, -d + k*f = -0*d + 17. Let t = -3 - -2.9. Are t and d non-equal?
True
Let f be ((-20)/(-3))/(2/6). Suppose -v + 5*o = -f, 0*o - 2*o = 8. Which is bigger: v or 1/2?
1/2
Suppose -4*b + 4 + 0 = 0. Is 5 < b?
False
Let z = -14 - -18. Which is smaller: 13/4 or z?
13/4
Let n = 14 + -2. Suppose 0*p = -2*p - 2*s + n, -16 = 4*s. Is 1 less than p?
True
Let o(c) = c**2 + 2*c - 4. Let r be o(-4). Let j be (2/(-12))/(r/(-6)). Let f = 3 + -4. Is j <= f?
False
Suppose 0*n - 21 = -2*l + n, -5*l + 2*n + 50 = 0. Suppose -2*d + l = 2*d. Which is smaller: 1 or d?
1
Let s(u) = -u**2 + 4*u - 3. Let g be s(3). Suppose -6*p + 2*p - 4 = g. Does -3/4 = p?
False
Let l be 26/(-35) + 27/45. Let n = -6.2 + 6. Which is greater: l or n?
l
Let f = 1 - 0.8. Let p = f + -3.2. Let c = 2 + p. Is c bigger than -1?
False
Suppose 4 = -4*u - 4. Let j be u/(-5) - 123/(-5). Suppose -5*z + 4*v + j = 0, -8 = 2*z + 2*v - 0*v. Is 2 >= z?
True
Let o = -4 + 4. Let b(c) = c**3 - 10*c**2 + 8*c + 13. Let w be b(9). Suppose 3*m + w = 7. Is o at most as big as m?
True
Let y = 1641 - 18039/11. Is 0 at least y?
False
Let o = 140 + -130.6. Is -1 at least as big as o?
False
Suppose -3*t = -5*t + 2. Let y = -3 + t. Let z = 0 - y. Which is bigger: z or 1?
z
Let g be 14/(-30) + (-6)/(-9). Suppose 11 = -f + 4*v, 3*f - 4*v + 0 = -9. Which is smaller: f or g?
g
Let l be -1 + 1/211 + (3 - 2). Is 0 smaller than l?
True
Suppose 3*b = -2*k - 11, 3*k + k - 28 = 4*b. Let l be (7/((-63)/(-12)))/((-20)/(-18)). Is k > l?
True
Let p = -17 + 17. Let q be 0/(p + (-8)/4). Which is smaller: 1 or q?
q
Let f(y) = -2*y - 5. Let g be f(-3). Let l = -4895 - -24634/5. Let q = 1103/35 - l. Which is bigger: q or g?
g
Suppose -5 = 2*g - 3. Do -1/7 and g have the same value?
False
Suppose 0 = -12*x + 6*x. Let u = 1 - 2. Let b be (0/(-1))/(-3 - u). Is x greater than or equal to b?
True
Suppose -16 = -5*q + 3*d, 3*q + 0*d = d + 8. Which is smaller: q or 5/4?
5/4
Let g = 30.2 - 36. Let c = g - -6. Which is smaller: 1 or c?
c
Let w(y) = -y - 11. Let m be w(-9). Suppose 1 = -3*i - v - 1, 0 = 5*i - v + 6. Is m equal to i?
False
Let i be 6 - 10 - (0 + 1). Suppose -5*b + 4 + 16 = 0. Let q = i + b. Is q >= 1/3?
False
Let b = 3 + -8. Let f be b/10*4/1. Let k be f/7 + (-105)/(-196). Which is smaller: k or -0.1?
-0.1
Let i = -3/17 + 23/34. Which is smaller: 3/5 or i?
i
Let h = -1121/144 + 71/9. Which is smaller: h or -1?
-1
Let y(x) = -x**2 - 9*x - 5. Let n be y(-6). Do n and 13 have the same value?
True
Suppose -4*l = 4*p - 10 - 2, -p + 3*l = -19. Let x = -3 + p. Let w be (3/(-6))/(1/x). Which is greater: w or 1/2?
1/2
Let q be (0 - 4/(-6)) + 326/6. Is 54 >= q?
False
Let c = -10/13 + 96/91. Suppose -v + 2*i = -9, 0 = -0*v - v + i + 4. Which is greater: v or c?
c
Suppose 5*v - 2*v + 18 = 0. Let f = 5 + v. Let s(i) = i**3 + 6*i**2 - i - 4. Let l be s(-6). Are f and l unequal?
True
Suppose n = -3, -5*n = o - 0*o + 2. Which is greater: 61/5 or o?
o
Let b = 203 + -195.84. Let w = b - 0.16. Let q = 6.7 - w. Which is smaller: q or 0.1?
q
Let o = 26 + -40. Let h be (o/(-2))/((-2)/(-2)). Is h less than 7?
False
Let t = 7743/10 + -775. Which is greater: t or 0?
0
Let l = 49/3 - 16. Are l and -34 nonequal?
True
Suppose 4*w - 3*w + 32 = 0. Which is smaller: w or -31?
w
Let p = -1.8 - -2. Let x = -4.2 - -0.2. Let z = x - -5. Is z smaller than p?
False
Let m = -8.8 + 7. Let w = -2 - m. Let g be 2/3*75/100. Which is bigger: g or w?
g
Let o(v) = v**2 - 13*v. Let q be o(14). Which is smaller: 10 or q?
10
Let m = -28/33 + 125/264. Suppose -4*c + 14 = f - 3*f, c - 3 = f. Is m at most as big as f?
True
Let v = -0.06 + 0.86. Let g =