h is bigger: b or 6?
6
Let v be (2/6)/(1/(-3)). Let r be v/((-2 - 0) + 6). Which is smaller: r or -2?
-2
Let u be (-4)/(12/9) + -1. Which is greater: -3 or u?
-3
Suppose -1 = 2*r - 5*q, -7 = -3*r - 3*q + 2. Let l be r - (-5)/(10/4). Suppose -5*c = l - 14. Is 3/4 at most c?
True
Suppose 3*n - 6 = n. Let b be (6/4)/((-3)/8). Let a = b + 7. Is n smaller than a?
False
Let q be (-6)/8 + (-135)/(-60). Which is smaller: q or -1/4?
-1/4
Let w be 5 + -1 - (-4 + 2). Let o be 2/(-6)*0/w. Is o smaller than 1?
True
Suppose 2*b = r - 2*r - 2, -35 = -5*r + 5*b. Suppose -2*z + 0*y + 3*y - 1 = 0, -2*y = z + r. Which is smaller: z or -1?
z
Let i(r) = r**3 - 2*r**2 + r. Let z be i(2). Suppose z = -3*q - 7. Let n be q/15 - 6/(-10). Is 1 at least as big as n?
True
Suppose 5*s = -3*o + 29 + 1, 0 = -4*s - 12. Is o equal to 14?
False
Let m = -0.8 - -0.3. Let l = -2.5 - m. Let k = -2.5 + 2.4. Is k less than l?
False
Let s = -11.97 + -0.03. Let j = s - -12.1. Which is bigger: j or -0.04?
j
Suppose -4*d - 7 = -y - 7*d, 4*y - d - 28 = 0. Let u = y + 5. Let b be (-1)/(u/(-34)) - 2. Which is smaller: -0.1 or b?
-0.1
Let d = -1/2 - -9/14. Suppose 3*x + 7*u = 4*u - 9, -9 = -x + 2*u. Let m be (4 - 3)/1*x. Is m at most d?
False
Let g = -49463/33 - -1499. Let x = -79/165 - g. Which is greater: x or -2?
x
Let n = 3 - 6. Do -2/13 and n have the same value?
False
Let i = 30 - 29.04. Let x = i - -0.04. Is 1 greater than x?
False
Let v be 6 + -6 - (0 + -1). Which is greater: 0 or v?
v
Let y be (-72)/(-54)*1/2. Is 1/44 smaller than y?
True
Let w(d) = -d - 6 + 6*d**2 + 0*d + d**3 - 3*d**2 + 3*d**2. Let p be w(-6). Do 0 and p have the same value?
True
Let i = 4/9 + 2/9. Let o = 0.1 - 0.5. Let q = o + 0.4. Is q less than i?
True
Let q = -33 - -54. Let p be (-1 + 0)/((-6)/q). Which is smaller: p or 3?
3
Let g = 138/55 - 32/11. Is g at most as big as -2/3?
False
Suppose -2*h + 0 = -4. Let m(s) be the second derivative of -s**5/20 + s**4/6 - s**2/2 + 2*s. Let x be m(h). Is x bigger than -2/5?
False
Let k = 47 - 55. Is 1 less than k?
False
Let a = 4 + -1. Suppose 2*z = 5*z + a. Which is bigger: z or -1/20?
-1/20
Suppose 3*u = m - 21, m = -5*u - 0 - 19. Let f be 2/6 + 4/m. Suppose -a + 0*a = -f. Are a and -2/3 equal?
False
Let j be (-39)/36*1 + (-10)/15. Are -1 and j non-equal?
True
Let m = 4.7 - 6.7. Is -3/4 less than or equal to m?
False
Let j be (1 + -1)/(0 - -2). Let q = -7 + 6. Which is smaller: j or q?
q
Let y(k) = 3*k**3 + k**2. Let m be y(-1). Let o be (m + 56)/((-3)/3). Let t be (6/(-2))/(o/(-4)). Which is smaller: t or -2?
-2
Suppose -c = 2 + 3. Let w be (-3 - -6) + c - -2. Let f be (w + -1)/(4 - 5). Are -1/5 and f equal?
False
Suppose 0 = i - 4*j - 3, j - 3 + 16 = 2*i. Let f = i + -3. Is f != 4?
False
Let l = 11 + -5. Let o = 6 - l. Let w(h) = h - 1. Let u be w(o). Which is smaller: u or -5/4?
-5/4
Let v = -35 + 27. Is v at least as big as -4?
False
Let d = 131 + -131.1. Is -1.15 less than d?
True
Let f = -1.6 - -17.6. Let o = f + -10. Which is greater: 1 or o?
o
Let u = 10 + -6. Let z be (u/(-6))/((-8)/6). Let m = -1 + 2. Is z at least m?
False
Let p = -20 - -35. Let r(j) = j - 17. Let d be r(p). Which is greater: -1 or d?
-1
Let b = 0.074 + 21.926. Is 0.3 bigger than b?
False
Let b = -5 - -29/6. Is b != 0?
True
Let o be 5/((-3)/(18/(-15))). Which is smaller: 1 or o?
1
Let l be (2 + 8/(-6))*30. Let x be (8/(-10))/((-8)/l). Do 2 and x have the same value?
True
Let s(p) = -111*p**2 - 1. Let f be s(-1). Let v be (-2)/(-6) + f/120. Is 0 >= v?
True
Suppose f = -3*f + 8. Let a = 42 - 15. Let u = a + -25. Is f less than or equal to u?
True
Let o(f) = f + 11. Let n be o(-7). Suppose 0 = -x - v + n, -3*v - 9 - 27 = -5*x. Suppose -3*c - 3 = -x. Which is bigger: 4 or c?
4
Let x = 648/2317 - -2/331. Let z be (-1)/2*(2 - 2). Which is smaller: x or z?
z
Let b = -4.3 + -12.7. Let g = b + 17.2. Which is smaller: 0.5 or g?
g
Let o be (-6)/(-9) - (-690)/18. Which is bigger: o or 38?
o
Let m = 9036/31 + -58073/341. Let l = -121 + m. Which is greater: l or -1?
l
Let j be (-53)/(-3) + (-2)/(-6). Let d be 4/18 + (-137)/9. Let u be j/d*(-3)/(-9). Which is smaller: -1 or u?
-1
Let x = 31921/76 - 420. Let w = -143/684 - x. Are w and 0 unequal?
True
Let i(q) = -q - 3. Let r be i(0). Suppose -3*t - 2*w - 12 = 0, -3*t + 6*w + 3 = 3*w. Which is smaller: t or r?
r
Let n be 19/45 - (-2)/(-9). Let x = 140.8 - 141. Is n equal to x?
False
Let j = 19 - 14. Let t = 4 - j. Which is smaller: -1.3 or t?
-1.3
Let a = 8 + -10. Which is smaller: -5/2 or a?
-5/2
Let u(s) = 3*s**3 - 6*s**2 + 8*s - 6. Let d(o) = o**2 - o + 1. Let b(r) = 6*d(r) + u(r). Let y be b(2). Let n be (-2)/(-6) + y/(-12). Which is bigger: n or 3?
3
Suppose 0*n + 10 = -5*n. Let r be n/(-4)*(6 + -5). Which is bigger: r or 0?
r
Let r = 0.4 - 0.5. Let h(b) = -2*b**3 - 5*b**2 - 5*b - 5. Let i be h(-4). Let m be (-6)/27 - 4/i. Which is smaller: m or r?
m
Let i = 19 + -18.94. Let x = -0.242 + -1.698. Let w = i - x. Is -1 smaller than w?
True
Let h(y) = -y - 5. Let q be h(-5). Let m(z) = z**2 + 9*z + 17. Let d be m(-6). Which is greater: q or d?
q
Let n = -13 - -15. Let y be (6/4 - 1)*n. Is y at most as big as -1/3?
False
Suppose -13 - 6 = -3*x + 5*q, x - 5*q - 13 = 0. Which is bigger: -18 or x?
x
Suppose 0 = 3*y - 3*k + 21, -y - 2 + 7 = 3*k. Is -3 < y?
False
Let t = 1.8 + 0.2. Is t equal to 3/10?
False
Suppose 3 = -z - 2*z. Let p = -7/3 - -59/24. Which is smaller: z or p?
z
Let h be 2/(-3) - 76/12. Let d = h - -7. Suppose 3*v - 3*z + 10 = 2*z, -2*v - 5*z = -10. Are v and d unequal?
False
Let z be 2/8 + (-21)/4. Let i = z + 5. Let k be (i + -1)/(2/2). Which is greater: k or -4/3?
k
Let o be (-4 + 98)*(0 - -1). Is o < 93?
False
Let c(v) = v**3 - 8*v**2 - 10*v + 8. Let y be c(9). Is 1/18 at most as big as y?
False
Let t(z) = -z**2 + 10*z. Suppose -41 + 17 = -3*x. Let i be t(x). Suppose 0*b + b + 4*p = 21, b - i = -3*p. Do 2/5 and b have the same value?
False
Let n(i) = i**2 + 4*i - 13. Let g be n(-6). Which is smaller: 1/57 or g?
g
Let f be (-1)/(-5) + 96/(-30). Is f less than -5?
False
Suppose 99 + 114 = -4*c + 5*q, 5*c + q + 288 = 0. Which is bigger: -58 or c?
c
Let q(j) = j**2 - j - 3. Let u be q(3). Suppose -4*v + 23 - u = 0. Suppose -5*t + v*p = 5, -5*t + 4 = -4*p + 5. Is 5 < t?
False
Suppose 4*t - 13 + 5 = 0. Suppose -4*b + t = -2. Is 1/6 smaller than b?
True
Let c = 37.8 + -38. Let m = 0.9 + -1. Which is greater: c or m?
m
Let m(k) = -2*k + 14. Let q be m(-13). Suppose 5*c - q = -0*c. Let y = c + -8. Which is greater: 1 or y?
1
Let s(a) = -a**2 - 5*a + 6. Let i be s(4). Let u be -3*1 - i/20. Which is greater: -2 or u?
u
Let a = 0.05 - 6.05. Suppose -7*s + 3*s = 0. Which is bigger: s or a?
s
Let w = -18 + 19. Do w and 7/8 have the same value?
False
Let t(u) = -u**3 - 11*u**2 - 10*u. Let l be t(-10). Suppose l = -2*h + 5*h. Which is bigger: h or 1?
1
Suppose -3*r + 4*l - 41 = 0, 2*r + l + 4 = -l. Let g be 1/(7/35) + -13 + 3. Are g and r equal?
False
Let m = 13 - 8. Suppose -m*x + 0*x = -5. Let t be ((-4)/6)/(x/3). Are 0 and t unequal?
True
Suppose -2*h = -5*h - 6. Let m be ((-3)/h)/((-18)/8). Are -1 and m equal?
False
Let w = -200/3 + 67. Which is smaller: w or -67?
-67
Let o be (-1)/(3/3) + 2. Suppose 3*z = -2*f + 5, -3*z - 2*f = -f - o. Which is greater: z or 3?
3
Suppose -a = -6*a + 10. Suppose a*x = 2 - 10. Do x and -4 have different values?
False
Let y(h) = -h**3 + h**2 + 2*h. Let j be y(-2). Which is smaller: 7 or j?
7
Let s = -4582/225 + 184/9. Is 0 equal to s?
False
Let r = -4.16 + 4. Let s = r - -0.06. Let v = s + 1.1. Is v != -1/4?
True
Let s = 0.2 + -5.2. Let x = s - -4. Is -1/3 <= x?
False
Suppose 1 = 3*c - 2*l, -5*c - l + 2*l = 3. Let z be 4/12*(-12)/(-14). Is c < z?
True
Let v = -35 + 35. Which is greater: -26 or v?
v
Suppose 2*u - 20 + 6 = 0. Suppose -9 + u = -2*x. Is x equal to -18?
False
Let u be 6/33 - 3400/(-55). Is 64 less than u?
False
Let p = 22 + -22.17. Let d = p - -7.17. Let r = 45 - 44. Which is smaller: r or d?
r
Let l(t) = -t**3 + 4*t**2 - t - 2. Let m be l(2). Let o = -4 + 1. Let z = -2 - o. Is m <= z?
False
Let t = 109/4 + -27. Is -17 >= t?
False
Let t(o) = o**2 + 4. Let u be t(0). Suppose 24 = 3*m + 3*r, -5*m = -u*r + 6 - 1. Let v(h) = -h**3 - 7*h**2 - 8*h - 10. Let c be v(-6). Are m and c nonequal?
True
Let q(w) = -w**