1. Let t be r(-1). Which is smaller: t or 11/4?
t
Let q = 10/7 - 113/84. Is 1 at most as big as q?
False
Let h = 4.14 + 0.96. Let u = h + -5. Which is greater: u or 0.3?
0.3
Let t = -21 - -20.53. Let l = -0.07 - t. Is l at most 2/5?
True
Let d be 4/10 + (-84)/285. Let j(c) = -c + 2 - 1 - 3. Let q be j(-1). Which is smaller: q or d?
q
Suppose 4*p + 0*p - 16 = 0. Suppose 0 = -2*n - 3*l - 15, n - 2*l = -p*l - 10. Suppose -3*w = 5*u + 6, n = -2*u + u + w + 2. Which is bigger: -1/7 or u?
u
Let j = -0.23 + -0.07. Let f = -0.2 - j. Let q = 0.9 + f. Do q and 0.1 have the same value?
False
Let l(n) = -n**3 + 10*n**2 - 9*n - 2. Let o be l(9). Is o at most 1?
True
Suppose 0*o = -o + 4*t - 4, -2*o = -4*t. Suppose -w = o*w - 35. Let c(i) = -i**3 + 8*i**2 - 7*i - 5. Let j be c(w). Do j and -4 have the same value?
False
Suppose -2 = 3*r + 1. Is -1/22 smaller than r?
False
Suppose -4*x + 4 = -2*x. Suppose 5*t + 16 = -x*d - 2, 4*d = -t. Which is smaller: 1/22 or d?
1/22
Let l = 32 - 13. Is 18 not equal to l?
True
Let s be (-2 + (-11)/(-6))*2. Let m be 68/(-119)*(-2)/4. Which is bigger: m or s?
m
Let x = -1.8 + 2. Let w = 1.3 + -1. Let k = x - w. Is -0.3 at most k?
True
Let m = -31 - -51. Suppose 8 = 5*x + 2*p, -x = -5*p - 0*p + m. Let r = x + 6. Do 5 and r have the same value?
False
Suppose 5*c + 3*i = 4*i + 22, 3*i = 5*c - 16. Which is greater: c or 7?
7
Suppose -24 = 2*b - 3*z + 43, -5*z = -4*b - 129. Is -107/4 at most b?
True
Suppose 15 = -5*c + 5*x, -5*c + 4*x - 9*x = -5. Let d = -20 + 18. Is d at most c?
True
Suppose 2*o + 138 = 4*j, -4*o = -6*o - 2. Suppose -j = -5*i + 26. Suppose -3*s - i = s. Is s at least as big as -3?
True
Let i(w) = -w**3 + 4*w**2 - 4*w + 3. Let c be i(3). Suppose c*f = -4*f. Suppose f = -2*u - 3 - 1. Which is greater: u or 2/3?
2/3
Let g(p) = -5*p**3 + p**2 + 2*p + 1. Let u(s) = 4*s - s + 3*s - 9 - 5*s. Let d be u(8). Let l be g(d). Is -0.1 bigger than l?
False
Let z(d) = -4*d + 3*d - 3 + 6*d + d**2. Let c be z(-4). Suppose 36 = 4*v - 10*v. Is v at most as big as c?
False
Suppose -3*o - 5*u = -17 - 5, 18 = -3*o + 3*u. Are o and -5 nonequal?
True
Suppose -2*f = -21 + 1. Suppose f = -3*v + 1. Is -1/5 greater than or equal to v?
True
Let y(h) = h**2 - 3*h + h**3 + 5 + h**2 + h**2. Let i be y(-4). Suppose -p - g - 3 = 4*p, -2*g = 3*p + 6. Which is greater: p or i?
i
Suppose -5*u + 57 = 22. Which is greater: u or 2?
u
Let t = 0.1 + -0.1. Let k = 2.6 - 3. Let c = 0.3 + k. Is c bigger than t?
False
Let j be (6/(-8))/((-10)/8). Let k(r) = r - 2. Let m be k(3). Suppose -m = -2*q + q. Are q and j non-equal?
True
Let w be (4/((-4)/(-3)))/1. Suppose -3*p + 3 = -2*s + 12, -2*p + w*s - 11 = 0. Which is greater: -1/2 or p?
-1/2
Let l be (4/6)/(2/15). Let k = 4 - l. Which is bigger: -4/7 or k?
-4/7
Let b = 0 + -10. Let a(t) = -t**2 + 4*t - 6. Let o be a(5). Are o and b non-equal?
True
Let f(a) = a**2 - 8*a - 13. Let h be f(10). Suppose 0*y + y = h. Is 0 <= y?
True
Let s = 11.7 - 9.72. Let v = -0.02 - s. Which is smaller: v or 0.2?
v
Let b = -9 - -31. Let d = b + -20.3. Let g = 0.3 + d. Which is smaller: -1 or g?
-1
Let b be ((-2)/3)/(4/6). Let k(w) = -w**2 - 2*w + 3. Let q be k(-4). Let z = q + 4. Is b at least as big as z?
True
Suppose -4*b = -3*b. Let p be (9 - 12)/(27/(-2)). Which is bigger: b or p?
p
Let j = 107 + -108. Which is greater: -2/31 or j?
-2/31
Let r = 44.1 - 44. Does 2/53 = r?
False
Let c = 0.26 - -0.74. Suppose -2*u = 5*v + 324, 725 - 25 = -4*u + 3*v. Let j = u + 1546/9. Which is smaller: c or j?
j
Suppose -3*v = 5*a + 27, 4*v = -a - 1 - 1. Are -4 and a non-equal?
True
Let c be (2/(-5))/((-9)/(-5)). Which is smaller: c or -0.13?
c
Let d(l) = 2*l**3 + l**2 + l. Let t be d(-1). Let a be t/(-4)*(-4)/(-13). Does a = 1?
False
Let y(u) = -u**2 + 8*u - 1. Let t(r) = -r**3 + 11*r**2 + 2*r - 14. Let o be t(11). Let g be y(o). Is g greater than 1?
False
Let f = 3.105 + -0.005. Let b = f - 3. Is -2/7 at most b?
True
Let a = -29/84 - -2/21. Let g(n) = -4*n - 3. Let z be g(-2). Suppose -z*b + 0*i - 2*i - 7 = 0, -4 = 4*i. Which is greater: a or b?
a
Let d be (-1 - 0)*(-18)/(-3). Let y be (-14)/d - 2/(-3). Suppose 5 = 2*q + 1. Is y less than q?
False
Let t be ((-2)/2615)/(2/10). Let g = t + 1583/3661. Does 1 = g?
False
Let b(a) = -2*a - 4. Let r be b(-3). Suppose 5*u - 5 = -s + 5, 7 = r*u + s. Are 3 and u unequal?
True
Let j be 62/3 + (-2)/3. Let x = j - 5. Suppose -1 = 4*a + x. Which is smaller: -3 or a?
a
Let a be (0 - -2)/(6/15). Let o = -1 + a. Are 4 and o non-equal?
False
Let h be (5 + -10)*(0 - 1). Is h greater than 2?
True
Let w = 48 + -70. Which is greater: -23 or w?
w
Let r = -18 + 30. Suppose 0*a = 2*a - 3*b + 33, -2*a - 4*b = r. Are -12 and a nonequal?
False
Suppose 3*n = -4*f - 4, 2 - 1 = 2*n - f. Suppose -3*i + 3*v + 1 = -8, n = -3*v - 6. Which is smaller: 2 or i?
i
Let w be (-7)/(-28) + 2/56. Which is bigger: -1/4 or w?
w
Let g = -3.4 - -4. Let r = g + -0.9. Let d = 10.1 - 10. Is r > d?
False
Let a be 1 + -2*3/6. Suppose 0 = z - 2*p + 1, 0 = -5*z + p + 3*p + 13. Let t be ((-10)/5)/(-1*z). Is t less than or equal to a?
False
Let r = 86391/41 + -2107. Do r and 1 have the same value?
False
Let x = -35 + 10. Let k = 17 + x. Is -9 less than or equal to k?
True
Suppose -2*j + 5*j = 6. Let g be ((-2)/j)/(2 + -1). Let u(w) = w + 1. Let n be u(g). Which is bigger: 1/6 or n?
1/6
Suppose 5*n + 16 = -4*x + 4, -n + x + 3 = 0. Which is greater: 3/8 or n?
3/8
Let r be ((-9)/5)/((-247)/285). Which is smaller: r or 3?
r
Let i = -1 + 1. Let r = 0.9 + -0.7. Do i and r have the same value?
False
Let w = 5.9 - 3.9. Are w and -2/5 equal?
False
Let v be 3/5 - (2 - 36/15). Which is smaller: v or 12/7?
v
Let u = 7 - 5. Let h be (u/(-5))/(1/(-5)). Let d be 3/(-4)*15/(-9). Which is smaller: d or h?
d
Let u(c) = -3*c**2 + c - 1. Let k be u(1). Which is smaller: 1 or k?
k
Let v be ((-1)/(-2))/(-1)*-6. Suppose -3*c + 11 = 4*y, 4 = 4*y - 3*c - 1. Is v > y?
True
Let r = 5 - 5. Let u be r - -1 - (-1)/(-2). Let a(b) = -b**2 + 6*b + 1. Let z be a(6). Is u < z?
True
Let d be ((-1)/2)/(1/(-12)). Suppose -d = j - 4. Is j greater than or equal to -2?
True
Let f = 1 + -5. Let c be (-20)/(-21) - f/(-14). Suppose -5*n + 2*w + 0 + 6 = 0, 0 = -5*w + 10. Does n = c?
False
Suppose -2*a - 6 = 0, -2*p + 4*a - 42 = 6. Let h = p + 59/2. Suppose -8*w = -4*w + 8. Which is bigger: w or h?
h
Suppose 5*i + 53 = x + 2, 4 = -x. Let g = i - -10. Is 4 < g?
False
Let r(h) = -52*h + 1. Let l be r(1). Let q be (-1)/3 - l/99. Is q at most as big as 1?
True
Let i be ((-4)/(-3))/((-3)/(-9)). Suppose -4*c + 8 = t - 3*t, 0 = -4*t. Suppose -k = -4*h + 17, 0 = -4*k + c*k + 4*h - 14. Which is smaller: k or i?
k
Let t be (258/16 - 2) + 2. Let g = t + -16. Which is greater: g or 0?
g
Let d(r) = r**2 - 1. Let x be d(0). Which is smaller: x or -2/21?
x
Suppose -12*h + 688 = -16*h. Let v = h - -2237/13. Is -1 < v?
True
Let q(c) = -c**3 + 8*c**2 + 8*c + 2. Let a be q(9). Let y be (-9*(-4)/(-8))/((-9)/(-12)). Which is smaller: a or y?
a
Let u be (-8)/6 - (-3 + 1). Let i(a) = a**2 + 6*a + 6. Let c be i(-5). Is c at most as big as u?
False
Let i = 41 + -40.04. Let c = i + 0.04. Which is bigger: -1 or c?
c
Let v = 0.02 - -0.02. Let g = v - -0.06. Is g bigger than 1/6?
False
Let f = 12.9 + -13. Let w be (5/(-28))/((-4)/(-96)). Let a = 83/21 + w. Is f equal to a?
False
Let y(b) = -2*b + 14. Let z be y(6). Suppose 3 + 3 = 2*d. Which is smaller: z or d?
z
Let s = -2692 + 131914/49. Which is smaller: 1 or s?
s
Let u be -43 + (-1 - -5 - (-14 - -18)). Which is bigger: -41 or u?
-41
Suppose 0 = 6*p + 1 - 13. Which is greater: 7 or p?
7
Let w = -71/2 + 34. Which is smaller: w or -3?
-3
Let z be (1/(-7))/(1 + -2). Let l = -1 + -11. Let m = 13 + l. Are m and z nonequal?
True
Suppose 3 = 3*q - 12. Suppose i = -4*i - q. Let v be 3/(-3) + (2 - i). Which is smaller: v or 3?
v
Let b = -20 + 21. Which is bigger: 3 or b?
3
Let n = -81 + 81. Are 7 and n equal?
False
Let k = 40921/276 + 67/138. Let x = k - 505/4. Let c = x + -22. Is c greater than 2?
False
Let a = -186/13 - -5939/416. Is 0 > a?
True
Let f(r) = -4*r + 11. Let c be -12*(1 + 2)/(-6). Let y be f(c). Is y at most as big as -13?
True
Let h be (-6)/4*(-12)/(-27). Let v = -0.91 + -0.19. Let f = v + 1. Is h != f?
True
Let b be (-22)/(-55)*1*5. Suppose 3*h - b*s = -h 