pose -2*p - 27 = 7. Let l = 17 + p. Is -0.2 greater than l?
False
Let b = 132 + -173. Is -39 less than b?
False
Suppose -3*u = -2*u - 2. Let c(f) = -f + 1. Let m(l) = l**2 + l - 4. Let b(q) = u*c(q) - m(q). Let y be b(-5). Is -3 equal to y?
False
Let w be 14/(-3)*(-2)/4. Let z = 122/51 - w. Is 0 bigger than z?
False
Let c be (-5 - -10)*(-16)/10. Let l be c/(-52) + (-80)/13. Which is smaller: l or 0?
l
Let p(d) = 3*d + 1. Let o(b) = -4*b - 1. Let m(k) = -2*o(k) - 3*p(k). Let l be m(-2). Let f be (0 - -3)*l/(-3). Is -1/2 less than or equal to f?
False
Let s = 45/2 - 139/6. Are s and 1/166 unequal?
True
Let u be (-58)/66 - 3/(-9). Let j(r) = r**2 + 7*r - 13. Let b(h) = 2*h**2 + 13*h - 27. Let y(o) = -2*b(o) + 5*j(o). Let n be y(-10). Which is greater: n or u?
u
Let z = 1/27 + -37/270. Let w(m) = m**2 - 6*m + 6. Let j be w(5). Which is smaller: z or j?
z
Let i = 0.4 + -2.4. Let f = -3 - -4. Which is greater: f or i?
f
Let i be 10/25 - 104/110. Let t(v) = -v**2 - v - 1. Let h be t(-1). Is i at least as big as h?
True
Let w(d) = 4*d - 1 - 2*d - 3*d. Let a be w(-2). Let y be -2 + (2 - (a + -1)). Is 1/3 at most y?
False
Let j(l) = l**3 + 6*l**2 + 3*l + 6. Let p be j(-5). Which is greater: -1 or p?
p
Let u(g) = -7 + 5*g + 0*g**2 - 2*g**2 + g**2. Let d be u(3). Is -1 greater than d?
False
Let h be 522/90 - 1/(-5). Which is greater: h or 7?
7
Suppose 8 + 10 = 3*s. Let k be (-16)/s + (-3 - -5). Let y(f) = f**3 - 4*f**2 - 6*f + 7. Let v be y(5). Is k at most as big as v?
True
Let z be -2 + (0 - -6 - 2). Is 3 >= z?
True
Let y = 0.47 + -0.5. Suppose 0 = -5*t + 5. Suppose 2*i + t = 3. Is y not equal to i?
True
Let i be 4*(3 - (-7)/(-4)). Suppose 6*t - i*t = 0. Is t <= -1?
False
Let q = -1157/7 - -165. Let t = -0.08 + 0.28. Do t and q have the same value?
False
Let i(p) = p + 6. Let h be i(25). Is 29 at least as big as h?
False
Suppose -12 = 5*i - 4*d, i - 3*d = -5 - 4. Is i greater than -1/8?
True
Let y = 2/21 + 17/42. Let i = 0 + 2. Which is bigger: y or i?
i
Let t = 0.43 - 0.13. Let v = -1.7 - t. Which is bigger: 0 or v?
0
Suppose v + 12 = 3*v. Let r = 3 - v. Let u = 0 - r. Which is greater: u or 4?
4
Suppose -q = 3*q - 12, n - 17 = -5*q. Let r be 5 + (-5 + n)/1. Suppose r*y = -y. Is y less than or equal to -1?
False
Let p = -7 - 1. Let v = p - -10. Let y = v + -3. Is 1 less than y?
False
Suppose 2*t + t = 12. Suppose -t*w + 5 = 1. Let c = -1 + w. Is c at most 0?
True
Let w = 79 - 64. Which is smaller: w or -2/5?
-2/5
Let t = -3 - -4. Let a = -0.7 + t. Let i = 372/905 + -2/181. Which is smaller: a or i?
a
Suppose -5*v + v + 2*a = -8, 3*a - 32 = -5*v. Let y = -7 - -9. Which is smaller: v or y?
y
Let f = -0.3 + 0.35. Let x = 0.05 - f. Suppose 6*t - 3*a + 3 = 2*t, 5*t + a = 20. Does t = x?
False
Suppose 0*l = 2*a - 4*l - 80, 2*a - 85 = 5*l. Is a greater than 31?
False
Let n be ((-46)/10 + 3)*5. Which is smaller: -4 or n?
n
Let y(s) = -s**2 - 5*s. Let i be y(-5). Let z be ((-2)/(4 + -3))/(-2). Which is smaller: i or z?
i
Suppose -4*q - 4*a = 28, -a + 29 = -5*q - 18. Let l = -21 + 11. Is q < l?
False
Let j = 5.02 - 5. Let m = j - -0.88. Let v = m - 1.2. Which is bigger: 1 or v?
1
Let k = -816 - -17955/22. Is k bigger than 1?
False
Let n be (-6)/(-1 + 3/(-6)). Let r be 28/n + (-1 - 1). Suppose 6*p - p = r. Do p and 1 have different values?
False
Suppose 14 = -0*x + 7*x. Let z be (-4)/(-14) - 3/(-14). Which is greater: z or x?
x
Let n = 1839 - 2919/2. Let a = -392 + n. Let y = a + 121/10. Which is greater: y or 1?
1
Let m = -0.6 - 2.4. Let t = m - -3.1. Let c(u) = -u - 2. Let g be c(-2). Is t at least g?
True
Let i = 2.1 - 2.1. Which is smaller: i or 5?
i
Let f = 0 + -2. Let s be (-3)/(-12)*-2*1. Which is greater: s or f?
s
Let r = -19 - -56/3. Suppose -12 = -x - 2*x. Suppose 0 = -3*i - x + 7. Is r smaller than i?
True
Let c be (5/(-2)*6/(-95))/1. Which is bigger: 0 or c?
c
Let y = -151.7 + 152. Is -0.5 at least as big as y?
False
Suppose -6*m = -3*m + 18. Let o be m/9*3 - -2. Suppose o = 3*l + 5 + 4. Is l smaller than -2?
True
Let h = 0.8 + -0.5. Let x = 0.2 - h. Let k = 0 - x. Which is smaller: 1 or k?
k
Suppose j = c - 7, 3*j - 5*c - 8 = -39. Is 12 != j?
True
Let m(z) = z**2 + 19*z + 13. Let k be m(-18). Is k >= -7?
True
Suppose 0 = 2*s - 21 - 15. Let b be -5 - -2 - s/(-8). Which is smaller: -1 or b?
-1
Let l be (-198)/24 - 6/8. Which is smaller: l or -11?
-11
Suppose 0 = 5*x - 8*x + 3. Let w(j) = -2*j + 1. Let z be w(x). Let c be (4/(-104))/(1/4). Which is smaller: c or z?
z
Let o = -0.06 - 0.94. Let f = o + 1. Do f and -2 have different values?
True
Let f = -6 - -9. Let q = -221 + 220. Which is bigger: q or f?
f
Suppose -2*f = 3*f. Suppose 0 = 5*q - f*q - 5. Are -1/22 and q nonequal?
True
Let y = -9 + 8.96. Let n = -0.06 + y. Is 0.3 > n?
True
Suppose -3*r = -2*r - 5*m - 25, 3*r = m + 5. Which is greater: -2/13 or r?
r
Let a be -10 - -10 - (-4)/1. Suppose -a*q + 36 = 8. Which is smaller: -1 or q?
-1
Let s = 2 - 2.16. Is s greater than or equal to -1?
True
Suppose 4*v - 2*v = 0. Let j be (-2)/(-3) - (1 + 0). Is v less than or equal to j?
False
Let z(l) be the first derivative of l**4/4 + 8*l**3/3 + 9*l**2/2 + 6*l + 3. Let j be z(-7). Which is bigger: -9 or j?
j
Let n(a) = -a**2 + 8*a - 6. Let g be n(7). Let w be (-3)/2 - ((-1188)/56)/11. Do g and w have different values?
True
Suppose -v = 17 + 11. Let i be v/16 - 3/(-4). Is i <= 3/7?
True
Let a = -8 + 5. Let n = -37 + 34. Is a > n?
False
Let r be (-14)/(-3) - 2/(-6). Is r smaller than 5?
False
Let l be ((-2)/5)/(6/(-30)*-4). Which is smaller: 32 or l?
l
Let i = -0.3 + 0.2. Let t = 0.21 + -0.16. Which is smaller: i or t?
i
Let d be (-68)/(-16) + 2/(-8). Is d greater than or equal to 1?
True
Let i = 283 - 842/3. Which is greater: 2 or i?
i
Suppose 4*l + 30 = -2. Which is greater: -10 or l?
l
Let o = -21 + 38. Let u = 5 - o. Let w be -2 + 9/u*-2. Is w < -1?
False
Suppose -3*d = q + 7, d + 4*d = -2*q - 11. Suppose 4*y = 2*b + 30, -2*b - 17 = -q*y - 5. Let g = -7 + y. Which is smaller: 1 or g?
1
Suppose 5*c = -h + 25, 0 = -3*c + 4*c + 5*h - 5. Let b = -0.3 + 0.3. Which is bigger: b or c?
c
Let s be 4/18 - (-51)/(-108). Which is smaller: 0.28 or s?
s
Let d be 4/(-5) + 1/(-5). Let h = 3 + d. Let t(w) = w**3 - 3*w**2 + 2*w - 4. Let l be t(3). Are h and l non-equal?
False
Let x(d) = -6*d + 2. Let b(i) = -7*i + 3. Let q(h) = -5*b(h) + 6*x(h). Suppose 5*z + 9 + 1 = 0. Let r be q(z). Does -2/3 = r?
False
Suppose 99*b - 95*b = -40. Are b and -15 non-equal?
True
Let m = 1895/198 + -86/9. Which is bigger: m or -1?
m
Suppose -5*p - 63 = -33. Let a(r) = -r - 3. Let d be a(5). Which is bigger: d or p?
p
Let h be 113002/(-72) + (-10)/(-45). Let v = 1636 + h. Let t = v - 66. Which is smaller: t or 0?
0
Let g = -11 + 11. Which is bigger: g or 1/3?
1/3
Suppose 2*f = 2*v - 0*f - 14, -v = 4*f - 32. Which is greater: 8 or v?
v
Let v = -0.41 - -0.23. Let y = v + 0.19. Is 1/2 greater than y?
True
Suppose 5*u = 3*z + 12, -2*z = -3*z + 1. Let g be 0/(-2) + 2 - u. Are 0 and g equal?
False
Let z = -5993/5 + 1333. Let c = -134 + z. Is -3 at most c?
True
Let y = 0 - 0. Suppose 2*h - 5*l = h - 23, -l = -2*h - 1. Which is greater: y or h?
h
Let q = 33 - 27. Which is greater: 5 or q?
q
Suppose 2*u = u + 5. Which is greater: u or 7?
7
Let z be 4/(-10) - 154/(-35). Suppose -2*k = 2*u - u - 8, -2*k - z*u + 20 = 0. Let l be -1*k/(-6)*-3. Which is smaller: l or -2/5?
l
Let c = 180433/12 - 75066/5. Let r = c + -114/5. Is r at least as big as 0?
True
Let x be 2*2/(-4)*-1. Suppose -3*n + x = -4*n. Let w = -214/5 + 43. Which is smaller: w or n?
n
Let p = -0.01 + -0.59. Let d = -2.4 + p. Which is smaller: -0.2 or d?
d
Suppose -2*c - 301 = -p, -469 = -c + 4*c - 5*p. Is 1 >= c?
True
Suppose 5*h + 6 + 26 = -3*l, 0 = -5*l - 3*h - 32. Let r = -26 - -39. Let t = r + -18. Is l > t?
True
Let d = -22 + 23. Which is smaller: d or -3/23?
-3/23
Suppose 0 = -7*a + 8*a - 1. Which is bigger: a or -5?
a
Let i be 2 - 1 - (1 - (-20)/(-9)). Which is greater: i or 1?
i
Suppose -5*c - 7 + 2 = 0. Let a be (-2626)/(-15) - (-3)/9. Let d = a + -176. Which is smaller: d or c?
c
Suppose 32*m - 31*m + 8 = 0. Which is smaller: m or -13?
-13
Suppose 4*j = 2 + 10. Let u be (-2)/j*(-21)/56. Which is smaller: -3 or u?
-3
Let a = -730 - -5847/8. Is 0 smaller than a?
True
Suppose -w + 