/10 + (-135)/(-102). Is -1 smaller than u?
True
Suppose 5*b + 4*d + 6 = -0, -3*b - 10 = -4*d. Which is bigger: -3 or b?
b
Suppose t + 9*t = 110. Is 10 not equal to t?
True
Let j = 17 - 17.1. Which is bigger: j or 11?
11
Let c be 1/2 - 10/4. Let s be -1 + 4/(-3) + 1. Is s > c?
True
Let g = 0.5 + -0.5. Is 0.1 < g?
False
Let u = -102048/7 + 14655. Let q = 42 + 35. Let v = u - q. Do -1 and v have the same value?
False
Let u be 15/4 - 18/24. Suppose a - 4*a = 2*t - 19, -27 = -3*t - u*a. Suppose k = 5*k - t. Is 1 bigger than k?
False
Let f be -1 + (-29 - (-1 + 0)) - -3. Are -27 and f unequal?
True
Let b = -17 + 17.07. Let n = -0.02 - -0.29. Let z = n - b. Which is greater: z or 0.1?
z
Let g = 5 + -5.1. Let x be -3*(-2)/6*5. Let a be (-1 - -3)/(-1 + x). Is g bigger than a?
False
Let b(k) = -9*k + 1. Let s be b(0). Which is greater: 2/65 or s?
s
Let i = 42 - 28. Suppose 0 = -4*a + i - 6. Is 3/2 not equal to a?
True
Let n be 6/(-45)*20/(-3). Which is smaller: n or 1?
n
Let t = 8.7 + -5.7. Is 1 greater than t?
False
Let y be (-1 - -1)/(4/(-4)). Let s be 1/(y - 3/15). Let x = s - -4. Which is smaller: 1/4 or x?
x
Let v(y) = y**2 + 8*y + 5. Let g be v(-3). Which is smaller: g or -9?
g
Let y = -10.74 - 0.26. Let w = -11.1 - y. Let a = -5 - -8. Which is smaller: a or w?
w
Let p(d) = d**2 - 7*d + 8. Let b be p(7). Suppose 5*w + 6 = -4*g, g - 3*w + b*w - 6 = 0. Which is smaller: g or -2?
g
Let o be 301/43*((-2)/(-2) + 2). Is 1/2 < o?
True
Let l = -0.14 + 0.15. Let b = l - 9.01. Is b greater than or equal to -1?
False
Suppose r + 5*z + 1 = 0, 2*z = -5*r + 4*z + 22. Which is smaller: r or -3?
-3
Let i = 3466/5 + -10426/15. Which is smaller: i or -2?
-2
Let i(z) = -6*z + 4 - 8 + 4*z**2 - 2*z**2 - z**2. Let t be i(7). Is t >= 2?
True
Let o(l) = -l**2 + 1. Let f(q) = -7 + 1 + q**3 - 14*q + 7*q**2 + 0*q**2 + 4*q. Let t(n) = -f(n) + o(n). Let v be t(-9). Are -2 and v non-equal?
False
Suppose -3*l + 6 = 3*p, 3*p - 6 + 4 = -5*l. Suppose -m = 3*m - p. Let v be (-2)/(-8) - (m - 1). Which is greater: 0.1 or v?
v
Suppose 5*b - 3*b + 20 = 0. Is b > -11?
True
Let y = -46 - -42. Which is greater: y or -7?
y
Let j = 220/3 + -74. Are 0 and j unequal?
True
Let d = -3 + 12. Let o be 1 + -3 + d/6. Let k = -29 + 28. Which is smaller: o or k?
k
Suppose 0 = -0*h - h - 4*p - 15, h = 3*p + 13. Let b be 2/(-3 - 105/(-33)). Suppose -5*w + b = t + t, -1 = -w. Is h at most as big as t?
True
Let c = -2.2 + -0.8. Let q = c + 2.8. Is q > -0.4?
True
Let y = 1 + -2. Let h = -7.2 - -5. Let s = -0.2 - h. Is y greater than s?
False
Let p be (-3 - -2) + 28/34. Which is greater: -1 or p?
p
Let s = 421/10 + -42. Which is bigger: 0 or s?
s
Let z = -422481 + 9300059/22. Let a = z - 249. Let f = a + -41/66. Which is bigger: f or -2?
f
Let m be -2*1/2*-1. Let w = 0 + -0.5. Let k = -0.6 - w. Is k at most as big as m?
True
Let d be ((1 - -2) + -26)/1. Which is smaller: d or -1/4?
d
Let k(m) = 2*m**3 - 14*m**2 + m - 6. Let v be k(7). Which is smaller: v or -19?
-19
Let i(l) be the second derivative of l**4/12 + l**3/6 - l**2/2 - l. Let x be i(0). Let q(m) = m**3 - 7*m**2 + 7*m - 8. Let r be q(6). Is x at least as big as r?
True
Let q(r) = -r**2 + 6*r + 7. Let j(b) = b + 1. Let w(a) = -3*j(a) + q(a). Let t be w(4). Suppose 1 = 2*d + p, -1 - 13 = 2*d - 4*p. Which is smaller: d or t?
d
Let t be (-3)/(-6)*-1 + (-67)/(-146). Which is bigger: 0 or t?
0
Let v(k) = -3*k**2 - 12*k + 7. Let f be v(-6). Are f and 0 nonequal?
True
Let w = -5421/11 + 491. Is w > -1?
False
Let z = -5.641 - 0.059. Let y = z - -6. Let a = -0.1 + y. Does a = -2/3?
False
Let o = -79/2 - -2129/54. Do o and 1 have the same value?
False
Let i(a) = a**2 - 5*a + 5. Let q be i(3). Which is greater: -1/33 or q?
-1/33
Let f be (2/6)/((-8)/(-6)). Let z = 0.02 + 0.58. Let n = 0.5 - z. Is f at least n?
True
Let u = -2 - -4. Suppose -5*x + 3*h + 19 - 6 = 0, -4*x = 4*h - 4. Suppose -2*y + 0*y + x = 0. Is u bigger than y?
True
Let w = 497/18696 - 1/456. Let o = 8/4179 - -60964/171339. Let x = o - w. Are x and 2/11 non-equal?
True
Let a(m) = -5*m + 2*m + 4*m. Let h be a(2). Let c be (1/(-4))/(3/(-4)). Which is greater: c or h?
h
Let r(f) = -f**3 - 9*f**2 - f - 12. Let m be r(-9). Let l be (-402)/132 + m/(-1). Is 1 smaller than l?
False
Let x = -1.25 - -0.15. Let i = 1 + x. Which is smaller: -2/3 or i?
-2/3
Suppose -7*y - 300 + 62 = 0. Which is smaller: y or -33?
y
Let z = 0.33 - -1.67. Let x = -0.15 + 0.45. Is z less than or equal to x?
False
Let d = 0.9 - -0.2. Let c = 0.1 - d. Is 0.1 greater than or equal to c?
True
Let b = 40 + -14. Is b bigger than 26?
False
Let n = 2.23 - 0.23. Which is smaller: n or -3/5?
-3/5
Let j be (-17 - -17) + 31/1. Which is bigger: j or 29?
j
Let i(l) = 2*l**3 - 3*l**2 - l + 2. Let b be i(2). Are 3 and b non-equal?
True
Let k = 15 - 15.5. Which is smaller: -0.1 or k?
k
Let q(p) = -8*p**2 - 2*p + 1. Let n be q(1). Which is smaller: n or -11?
-11
Let b = -0.07 + 0.04. Let f = -22 + 22.27. Let h = b - f. Which is smaller: 1/4 or h?
h
Let l = -2 + 3. Let b be 1 + 0 - l/3. Let r = 3.9 + -4.1. Is b > r?
True
Let u = -69608059/378 + 184148. Let b = u - -1/54. Let t be (-3)/(-5) + 6/15. Which is bigger: t or b?
t
Suppose u - 3*u = -j - 3, -4*j + 3*u - 7 = 0. Is -1/13 greater than j?
True
Suppose -252 = -2*q - 42. Let k be q/(-4)*(-6)/(-5). Let r = -32 - k. Which is smaller: r or -1?
-1
Let b(k) = -k**2 + 14*k - 15. Let z be b(13). Let x = -1 - 0. Let o be (0 - (z - 1))*x. Which is smaller: o or -1?
o
Let u be (-7)/(-6)*(-11)/154. Is 0 > u?
True
Let c be 1822/(-42) + (-16)/56. Let v = -1057/24 - c. Is 1 less than or equal to v?
False
Let u = 113 + -105. Do u and 4 have the same value?
False
Let r(j) = -j**3 - 2*j**2 - j - 2. Let n be r(-2). Let l = -0.6 + 0.6. Are l and n equal?
True
Let l = -9357/5 + 1864. Is l less than or equal to -7?
True
Let r be 1 + (-3 - -1) + 2. Let w(l) = 4*l**2 + l. Let x be w(r). Is x less than 5?
False
Let b be (17 + 7)*1/3. Suppose 2*x + 4*k = b, 3*k + 2 = 8. Do x and -1/9 have different values?
True
Suppose -5*r - 30 = 2*d, r - 2*r + 7 = 3*d. Let m = r - -7. Which is smaller: -2/3 or m?
m
Suppose -c + 5 = 2*v - 5*v, 3*v = -6. Let t be (1 - c) + (-26)/13. Is 2/3 < t?
False
Suppose -y = -4*c - 6, c - 3*c - 4 = 0. Suppose 11 = -2*n + 13. Let p = y - n. Which is smaller: p or -4?
-4
Let z = -81 + 81.1. Which is greater: z or 28?
28
Suppose 7*j - 4*j - 4*r + 380 = 0, -5*r = j + 95. Is j at most -119?
True
Let i be -9*1*(-4)/12. Suppose 2 = -5*j - i. Let h = -52/7 - -51/7. Is h at most as big as j?
False
Suppose 2*f - 15 = -f. Let j be (-4 + -2)*f/(-20). Which is smaller: j or 1?
1
Let h(c) = -8*c - 18. Let t be h(-10). Is t at least as big as 62?
True
Suppose -3*j + 25 = 2*y + 7, -5*j + 16 = y. Which is smaller: y or 2?
2
Let o = 6/5 - 43/40. Which is smaller: -1 or o?
-1
Let a be 6/(-10) - 5/75. Suppose -5*i = -4*s + 21, 7*i - 2*i = -4*s - 29. Let o = -1 - s. Which is bigger: a or o?
o
Let u = -61 + 80. Do -2/5 and u have the same value?
False
Let s be (-4)/14 + (-3)/(-35). Which is smaller: s or 0?
s
Let v = 6.98 + -7. Let j = 2.92 + -3. Let d = j + v. Which is greater: d or 0.4?
0.4
Let l be ((-12)/(-18))/(4/6). Let a(z) = l - 2 + 2 + z - 2. Let y be a(3). Which is smaller: 3/2 or y?
3/2
Let s be (-4)/(-18) - (-64)/36. Let o = 10 + -14. Let l be (o/s)/(-12)*4. Is l > 1?
False
Let w = -18 + 13. Suppose -5*g + 132 = -g + 4*l, -2*g + 5*l + 45 = 0. Suppose -a + 6*a = -g. Which is smaller: a or w?
a
Let j be (-16 + -1)/((-12)/12). Which is greater: j or 1/4?
j
Suppose -4*f + f - 2*i = 12, 4*i = 0. Let t be f/10 + 18/120. Is 1 smaller than t?
False
Let n(j) = j**2 + 2*j**2 - 2*j**2 + 1 + 3*j. Let y be n(-2). Is y less than 1/4?
True
Let s(r) = -r**3 + 7*r**2 + 10*r - 11. Let a be s(8). Suppose -2*m + a*m + 3 = 0. Let c = -11 + 51/5. Is m greater than or equal to c?
False
Let p = -22 - -17. Let b be p/(1 + (-3)/2). Which is greater: b or 2?
b
Let x = 193/3 - 65. Which is smaller: x or -1/9?
x
Suppose -3*p = -5*k - 20, -2*k + 3*k = p - 4. Which is smaller: p or -3/13?
-3/13
Let z be ((-2)/4)/((-1)/4). Suppose 0 = 2*w - 5*t + 14 - 1, -8 = z*w - 4*t. Is w bigger than 5?
True
Suppose 0 = 2*j - 2*x + 6, -4*x = -4*j - 9*x + 6. Are 0 and j non-equal?
True
Let x = 110/247 - 7/19. Is 1 < x?
False
Let t be (-3)/(-8)*(