True
Let i = 39/136 + -7/17. Let b be (-1 + 0/1)*-1. Which is greater: i or b?
b
Let b = 3733/8 - 468. Which is smaller: -2 or b?
-2
Let q = 374869 - 167941731/448. Let d = q + 5/64. Which is smaller: d or 0?
d
Let n be (2/(-35))/(4/(-20)). Let a = -3 - -2. Is a equal to n?
False
Let y be (-2)/(356/176 - 2). Let f = y - -266/3. Is 1 smaller than f?
False
Suppose 9*u + 90 = 11*u. Is u at most as big as 45?
True
Let p be 75/(-40) - (-1)/((-8)/1). Which is smaller: -15/8 or p?
p
Suppose -4*x + 2*a = 5 + 11, 0 = -4*x - 2*a - 32. Let z = 5 + x. Which is bigger: -3/2 or z?
z
Suppose 8 = m - 19. Suppose 6*w + m = -3. Is w less than -4?
True
Let m = -18 + 7. Let a = 15 + m. Suppose -d = -a*d. Which is smaller: -1/2 or d?
-1/2
Let v = -2 - -6.8. Let a = -4.7 - 0.3. Let y = a + v. Which is bigger: y or -1?
y
Let h be (-1)/(-1) + (-16)/20. Suppose 0 = 2*a - 0*a - 4. Suppose -2*v - a*v = 4. Is h >= v?
True
Suppose 0 = -0*k + k. Let a = -140 - -1397/10. Which is smaller: k or a?
a
Suppose -3*z + 7 = -2. Is z > 3?
False
Let d = -108 - -52. Is -56 bigger than d?
False
Let d = -128/21 + 52/7. Which is greater: d or 2?
2
Let c(t) be the first derivative of t**4/4 + 5*t**3/3 + 3*t**2/2 - 4*t + 1. Let w be c(-4). Suppose w*z - z = 0. Are z and 2/13 unequal?
True
Let l(i) = i - 8. Let k be l(7). Let s = -1.6 - -7.6. Let g = -4 + s. Which is smaller: g or k?
k
Let n be (-6)/(-10) + (-7)/(-5). Suppose n*y + y + 3 = 0. Is y greater than or equal to -1?
True
Let z = 35 - 35. Which is bigger: z or -1/18?
z
Let c = 0.24 - 0.34. Let a = 19.23 + -18.4. Let i = 0.8 - a. Is c >= i?
False
Let p(i) = -i**3 - 2*i**2 - i + 2. Let c be p(-2). Suppose -2*y = 3*r + r - 12, 3*y = -c*r + 16. Which is smaller: y or 24/7?
24/7
Let c = -6 - -2. Let h = -3 - c. Which is smaller: 1/2 or h?
1/2
Let l be (1 - 0)/(135/9). Are l and 0.1 unequal?
True
Suppose l + 2*l - 10 = 5*f, 2*f - 4*l = -18. Which is smaller: 4 or f?
f
Let s(w) = -w**3 - 8*w**2 + 7*w - 11. Let o be s(-9). Is 7 greater than o?
False
Let b = 2.2 - 2. Let u = -0.5 + b. Is u greater than or equal to -2?
True
Suppose 3*z - 11 - 1 = 0. Suppose -i + 5 = z. Is i bigger than 3/7?
True
Let h = 8/21 - 1/21. Which is bigger: -2/15 or h?
h
Let g(c) = c + 1. Let s be g(-1). Suppose -5 = b, -3*b = j - s*j + 17. Let n(k) = 13*k + 24. Let r be n(-2). Is r at least as big as j?
True
Let h = 0.5 - 1. Which is bigger: h or 2?
2
Let f = 355/4 - 7463/84. Let i = f + 64/231. Which is bigger: -1 or i?
i
Let j be -3 + 7 - (2 + -1)*-7. Which is greater: j or 19/2?
j
Let m be 448/21*(-42)/(-8). Suppose 5*a = 4*a - m. Let c be 108/a - (-2)/(-7). Are 0 and c unequal?
True
Let i = 36 + -37. Let s(m) = m**3 - 9*m**2. Let b be s(9). Which is bigger: b or i?
b
Let v = -166 - -196. Which is bigger: v or 26?
v
Let i be (-57)/(-9) + 6/9. Let t = 6 - i. Let h be t + 2/1 - -2. Which is smaller: h or 5?
h
Suppose 0 = -5*h - 4 - 6. Let d be h/3 + (-64)/(-78). Is d greater than or equal to 0?
True
Let v = -13.1 + 14.1. Which is smaller: v or -7/5?
-7/5
Let t = -596/11 - -54. Let d = -27/79 - -1247/1106. Let h = 2/7 - d. Which is smaller: t or h?
h
Let k be 1/6 + (-2)/12. Which is bigger: 1 or k?
1
Let k(d) = -d + 3. Let o be k(3). Suppose o = -2*u + 4*u - 106. Let p = u - 211/4. Which is bigger: 1 or p?
1
Let k(p) = -p**2 + 4*p - 3. Let n be k(2). Is -2/25 <= n?
True
Let j = 1 + -2. Let y = -34 + -11. Let t be (18/y)/((-22)/(-10)). Is t greater than j?
True
Let o = -263 - -2375/9. Suppose 0*p - 4*p - 4*t = 8, 3 = -t. Which is smaller: o or p?
o
Let h(x) = -x + 2. Let r = 12 + -7. Let y be h(r). Is -3 greater than y?
False
Let o be (5 + -3 - 0) + -12. Let h be o/(-30)*(-3)/1. Which is smaller: -2/57 or h?
h
Let g be (-27)/(-9) + (-1 - -6). Which is greater: 9 or g?
9
Let x be -2 + 0 + 3 + 1. Let a be x/24*9/(-2). Let w = 17/24 + a. Is -1 <= w?
True
Let r be 25/130*4/(-5). Let h be (-3)/6*(-4)/(-3). Is r at least as big as h?
True
Let u be 228/9 - 2/6. Suppose -2*q + p - 5 = 2*q, -5*p = -3*q - u. Is 2/11 at least q?
True
Let c(v) = -v + 2*v + 0 + 3*v - 4. Let p be c(3). Is 8 greater than p?
False
Let p = -1.4 - 0.8. Which is greater: p or -1?
-1
Let m be -2*((-20)/(-8) + 1). Let o = 8 + m. Let j(n) = n - 4. Let z be j(6). Which is greater: z or o?
z
Let w be 0*1/(-2)*-1. Which is smaller: w or -1/21?
-1/21
Suppose 6 = v + 8. Let q(k) = k**3 + 2*k**2 - 3*k - 4. Let t be q(-3). Which is bigger: v or t?
v
Let t = 0.03 + 0.97. Let h(p) = p**3 + 7*p**2 + 8*p + 8. Let z be h(-6). Which is bigger: z or t?
t
Let c be ((-5)/(-3))/(3/(-9)). Suppose -5*z - 21 = 4. Let x be (1 - 3)*z/(-2). Do c and x have different values?
False
Let i = 2 - 2.1. Let f = i + 0.2. Let j = 1.8 - 0.8. Is f < j?
True
Let f = -32 + 40. Let r = 1 + -1. Which is smaller: f or r?
r
Let i(r) = 2*r - 1. Suppose -a + 7 = 5. Let u be i(a). Is -1/3 not equal to u?
True
Let d(k) = -k**2 + k - 1. Let r be d(-1). Which is bigger: -2/5 or r?
-2/5
Let w be (-228)/570 - 9/(-25). Let i = -1 - -2. Is w greater than i?
False
Let v be (24/(-266))/(4/(-14)). Let t be ((-33)/(-76))/3*-3. Let p = t - v. Is -2 < p?
True
Let j be 2 + (-8)/(0 - -2). Let s be (-332)/10*j/(-1). Let d = s + 66. Is d <= 0?
True
Let l(z) = -z - 4. Let j be l(-5). Let q be 9/(-99) + 24/22. Is j not equal to q?
False
Suppose 0 = t - 2*t - 3. Let f(n) = -n**3 - 12*n**2 + 15*n + 24. Let a be f(-13). Is a at least t?
True
Let q = -0.7 - -0.7. Is -1 != q?
True
Let y = 1 + 0. Suppose -9 = 3*x - 5*k, -2*x + 3*k + y = 2*k. Suppose 0 = 3*c + 3*z + 9, x*z = c - 2*z - 17. Which is bigger: 1/5 or c?
c
Let x be ((-148)/52)/(-3*1). Let h = -8/13 + x. Is h at most as big as 0.1?
False
Let p be (-2)/(-7) + 2/(-7). Let v(k) = -k**3 + 9*k**2 + k - 8. Let u be v(9). Suppose p = -c + u. Which is bigger: c or 0?
c
Let l be (2/5)/((-2)/20). Let w = 219 - 225. Which is bigger: l or w?
l
Let l = 3 + -2. Suppose 3*f = 4*f + 1. Which is smaller: f or l?
f
Let r be 0/(-1)*(-2)/4. Let o be 7/9*8/(-28). Which is greater: r or o?
r
Let f be 4/(-26) - (-651)/91. Which is smaller: 28/5 or f?
28/5
Let a be ((-8)/(-3))/(2/3). Suppose 4*u - 9 = -a*t + 3, 5*t + 3*u = 7. Let v = 0 + 2/7. Which is smaller: t or v?
t
Let f = -8 - -15. Suppose j + f = -2*t - 0*j, -4*t - 16 = 4*j. Let s(v) = -v - 4. Let d be s(-2). Which is smaller: t or d?
t
Suppose -3*n + 13 = 4. Suppose -3*a = 6, -4*z - 7*a = -n*a. Is 3/5 less than or equal to z?
True
Suppose 22 = 5*c - 3. Are c and 3 unequal?
True
Let j be 1 + -1 - -6*4/8. Are 7/2 and j non-equal?
True
Let p(a) = -a**3 + a + 1. Let r be p(0). Suppose -j + 3 - r = 0. Suppose 6*y - 14*y + 8 = 0. Which is bigger: j or y?
j
Suppose 28*r + 36 = 31*r. Suppose 0*k + 4*w = -k + 1, -12 = -3*k - 3*w. Let a = k - r. Are -6 and a equal?
False
Let z = -64/3 + 314/15. Let r(f) = -4*f - f**2 + 5 + 2*f**2 - 2. Let h be r(3). Which is greater: z or h?
h
Let l = 2.2 - 2.11. Let d = -2.47 + 0.56. Let g = d - l. Which is smaller: -1/3 or g?
g
Let v = -22 - -21. Let u be ((-16)/(-6) - 3)/v. Let k(y) = -y**2 + 4*y - 4. Let t be k(3). Is t < u?
True
Let g = 9 + -6. Let q be (0/g)/(2 - -2). Is q at least 2?
False
Let s(f) = -f**2 - 9*f - 8. Let r be s(-3). Is 7 > r?
False
Let d = -0.86 + 1.36. Is 1.2 > d?
True
Let i = 0.32 - 0.02. Let x = -3 + 1. Let d = x + 2. Is d < i?
True
Suppose 2*q = 2, 4*p - 3 = q - 0. Let c = -4.42 - 0.38. Let j = 5 + c. Which is smaller: p or j?
j
Let i(x) = x**3 + 8*x**2 + 6*x - 4. Let o be i(-7). Let l be (8/20)/((-2)/(-10)). Is l at most o?
True
Let f = 217402/99 + -2196. Which is smaller: f or 0?
f
Let w = -1955189 + 133048977/68. Let o = 12621371/9180 - w. Let i = o + 194/5. Which is smaller: 1 or i?
i
Suppose -3*n - 8 = -5*n. Let s be (-4)/n - 2/4. Let l = -4/3 - s. Is 0 less than l?
True
Let a = 10.2 + -10. Let t = a + -0.3. Suppose 3 = 4*u + 11. Are t and u equal?
False
Let m be -5 + 3 - 1/(-1). Let d be (-4 + 3)*(-1)/m. Suppose -2*c - v = -0*v + 4, 0 = 5*c + v + 7. Is c less than d?
False
Let g = 51 + -35. Is 17 at most g?
False
Let u = -28 - -34. Is u at least 6?
True
Let i = 20 - 24. Let n be (0 + i)*(-3)/28. Suppose -5*u - 3*b - 6 = 0, -4 = 2*u + 2*b - 0. Which is smaller: n or u?
u
Suppose -4*u = -2*w - 12, -5*u = -w - 0*u. Let j be (-14)/(-24)*w/665. Let i = j - 167/456. Which is smaller: 1 or i?
i
Let g(h) = -h. Let k(a) = 3