 - -1. Let r = t - 2. Let c = 1865 - 1861. Is r less than c?
True
Let o(a) = a**2 - 3*a - 5. Let p be o(4). Let z = 179 - 182. Which is smaller: z or p?
z
Let k be (-6 + 396/63)*(-7)/(-3). Let u = 1 + -0.9. Are k and u equal?
False
Let q be 3/12 + 79/(-284). Let v be (3 - 24/(-3))/(-1 + 0). Let a = v - -10. Does a = q?
False
Let q = -126 - -126.1. Is q at least as big as 1/32?
True
Let v = 2 - 3. Let t be 1*(5 + (-27)/6)*-60. Which is bigger: v or t?
v
Let c be (-1 - -5)/(0 + 2). Let t be (-11 - 8) + (0 + 0 - -1). Let b be (-4*(-4)/12)/((-33)/t). Which is smaller: c or b?
b
Let y = 492 + -507. Which is smaller: y or -7?
y
Let f = 41.2 + 7.8. Let k = -24.939 + -0.061. Let y = f + k. Which is smaller: y or 2/5?
2/5
Suppose -19 + 49 = 5*z. Let f = -3433/5 + 692. Which is bigger: z or f?
z
Let p = 525/4 + -2633/20. Which is greater: -0.0723 or p?
-0.0723
Let a = 8.887 - -0.213. Let k = a - 9. Let s = -0.3 + k. Is s at most as big as 2/9?
True
Let j be ((-2)/17)/(0 - (0 - 1)). Let f be (4/5)/(4/10). Let o = f + -2. Which is smaller: j or o?
j
Let n = -788 - -786. Is n at least as big as 8?
False
Let x(w) = 60*w - 24. Let j be x(-2). Do -144 and j have different values?
False
Suppose 1225 = -3*r + 5*h - 444, 5*r - 4*h + 2773 = 0. Which is greater: -552 or r?
-552
Let i = 5 + 1. Let c = 24 - i. Suppose 7*q - 2*q + c = -2*g, -4*q + 4 = -3*g. Which is smaller: -5 or g?
-5
Let n = 0.223 + -2.223. Does 0.212 = n?
False
Let o = 76 + -74.8. Let m = 3.2 - o. Is m smaller than 3.2?
True
Let t = -62 + 64. Is 2.2 smaller than t?
False
Suppose 25 = -j - 3. Let u be -4*(j/(-16) + -2). Is u less than or equal to -3/11?
False
Suppose -12 = -14*s - 96. Let t be (18/30)/(1/(-5)). Which is bigger: t or s?
t
Let t = -1 - -2. Suppose -21 - t = 4*d - 2*f, 2*f = 2*d + 10. Let q be (3/(-3) - 5)*2/3. Which is smaller: d or q?
d
Let f = -1.3 - 4.7. Let u be (-13)/48*2 + 4/6. Which is bigger: u or f?
u
Suppose 0 = -20*l + l - 3971. Is -209 <= l?
True
Let b be (70/(-66) - 2) + 3. Let c(q) = 3*q + 79. Let s be c(-26). Which is greater: s or b?
s
Let m(q) = 7*q**2 - 20*q + 10. Let w be m(6). Is 143 at most as big as w?
False
Let g be 6/(-22) + (-960)/1320. Which is greater: 6 or g?
6
Let p = -860 + 860.2. Which is bigger: 0.36 or p?
0.36
Suppose -z = z + 2. Let m be 0 + (-372)/(-11) + z. Let j = m + -33. Is -1/2 at most j?
True
Suppose -3*j = -p - 3*p + 20, -2*j = -p + 10. Suppose 0*h + 20 = -p*h. Let a be (4/h)/(7/5). Which is smaller: 1 or a?
a
Let j = 303.06 + -303. Is -0.034 >= j?
False
Let i = -3 + 43. Let l be (0 - (-4)/i)*-4. Which is bigger: -0.2 or l?
-0.2
Let p = 2/8519 + 10921/136304. Which is smaller: p or -0.1?
-0.1
Let d(l) = l**2 + l - 1. Suppose -u + 5*a - 2*a = 2, -3*u - 2*a + 5 = 0. Let v(z) = 5*z + 10. Let x(b) = u*v(b) + d(b). Let i be x(-4). Are i and -2/11 equal?
False
Suppose -5*v + 343 = n, -3*v - 2*n = -0*v - 203. Which is smaller: 71 or v?
v
Let m = 125 - 125.44. Let p = -0.12 - -0.26. Let w = m + p. Which is smaller: w or 0.2?
w
Let p be ((-3)/(-7))/((-5128)/16 - 5). Which is smaller: p or -1?
-1
Let g(y) = -2*y + 6. Let x be g(-5). Suppose -2*h = -6 - 10. Let f = h - x. Is f > -2?
False
Let f = -411 - -411.16. Let s = 3 - 2.9. Which is smaller: s or f?
s
Let g = -16 - -73. Suppose 5*h - l - g = 69, -5*h + 114 = -4*l. Suppose z + 3*i + h = 0, 5*i = -z - z - 47. Which is smaller: z or -12?
-12
Let q(y) = y**2 - 6*y + 3. Let n be q(4). Let j = n + 3. Let k be 6/24*8*1/(-1). Are k and j equal?
True
Let u = -103 - -85.2. Let t = u - 0.2. Do -1 and t have the same value?
False
Let c be (12/(-24))/(6/(-4) - -2). Which is smaller: 1/1174 or c?
c
Let g = -9 + 5.4. Let h = -0.4 + g. Which is smaller: 1 or h?
h
Let a be ((-9)/(-165))/(3/2). Let x(q) = 2*q - 12. Let j be x(-5). Let n = -23 - j. Which is greater: n or a?
a
Let m(o) = -57*o + 285. Let b be m(18). Which is bigger: b or -743?
b
Let n = 1481 + -7373/5. Let p be (-420)/(-40)*(-2)/(-12)*4. Which is bigger: p or n?
p
Suppose -1218*b + 1225*b + 77 = 0. Is b at least as big as -110/9?
True
Let b be 3*((-28)/6 + 8). Is 43/5 not equal to b?
True
Suppose 0 = 5*i - 5*z - 100, -44 = -2*i - 2*z + 6*z. Which is bigger: i or 14?
i
Let g be (3/(-9))/(1/6). Let l be (-160)/1232 - g/11. Is 1 at least as big as l?
True
Let z = 1221 + -1213.97. Let d = 0.03 - z. Let o = -13.2 + 13. Does o = d?
False
Let f(d) = -2*d**3 - 2*d**2. Let t be f(-2). Let r be 10/(-20)*t/(-1). Is 4 < r?
False
Suppose 18*v + 5 = 43*v + 5. Let w be 4*(13/6 - 2). Which is bigger: w or v?
w
Let y(k) = -4 - 9 + 3*k + 0*k - 2*k. Suppose 2*i - 5 - 15 = 0. Let l be y(i). Which is greater: -4 or l?
l
Let w be (-193)/(-115) + -2*1/10. Which is smaller: w or 2?
w
Let i = -5 - -1. Let l be 3 - 6/9*3. Let k be 1/i + l/4. Which is smaller: 3/5 or k?
k
Let i = -1.71 - -0.3. Let t = 13.61 + i. Let h = -12 + t. Does h = 1/5?
True
Let x = 117 - 93. Suppose -5*h = -2*a - 3*a + 120, -3 = -3*h. Is x <= a?
True
Let g = -24 + 26. Suppose -3*b - 3 = -d + 15, -21 = -2*d + 3*b. Suppose 3*q - 14 = 4*c, -g*c - d*q - 11 = -c. Which is smaller: c or -11/3?
c
Let r = -59 + 71. Suppose 8*y - 72 = r*y. Is 0 not equal to y?
True
Let y = 1040 + -1113. Which is smaller: -67 or y?
y
Let t = -2483 - -2484.017. Let u = t + -0.017. Which is smaller: u or -5?
-5
Suppose -60 = -3*v + 6*v. Let k be 5/v + 7/12. Let d = -4/35 - -191/140. Is k at most as big as d?
True
Let n be 112/54 - (1 - -1). Let k = 308 - 308. Is n at most as big as k?
False
Suppose -c + 2*x + 7 = 0, -7 - 10 = -3*c + 5*x. Is c smaller than 6/43?
True
Let o(a) = a**3 - 5*a**2 - a. Let b be o(-4). Let i = -703/5 - b. Do 0.2 and i have the same value?
False
Suppose 0 = 3*d - 5*d. Let m be (-11)/(-63) + (99/21 - 5). Which is smaller: d or m?
m
Let s be (-2 - 20)*(-1)/(-2). Let u(h) = 6*h**2 + 36*h + 16. Let o(d) = -d**2 - 7*d - 3. Let f(g) = s*o(g) - 2*u(g). Let r be f(5). Which is bigger: -1 or r?
r
Let a = 4.47 + -4.27. Which is smaller: 30 or a?
a
Let r = 20 + -26. Let y = 4 - 2. Let a = y + r. Is -4 < a?
False
Suppose -2*l - 40 = -2*s, -l - 4 = -0*l - 5*s. Let p = 27 + l. Suppose 5*h - 4 = k - 2*k, -4*k + 85 = -p*h. Which is greater: k or -2/5?
k
Suppose -m = m + 2*p - 92, 0 = 3*m + 5*p - 136. Suppose 0 = -6*f + m + 49. Suppose -i - 2 = i. Which is bigger: i or f?
f
Let n = 43114639500/1939 - 22235502. Let o = n + -2/277. Let g(b) = b + 8. Let k be g(-6). Is k >= o?
True
Suppose 2*b + 3*b = 70. Let j be (-17)/(-51) + b/(-15). Which is smaller: -10 or j?
-10
Suppose -12*z - z - 4433 = 0. Is z at least as big as -339?
False
Let b = 0 + -1. Suppose a = -3*p - p - 16, -3*p - 12 = 4*a. Suppose -5*z - 2*z = a. Which is greater: z or b?
z
Suppose 2 = -2*a - 2. Let v be a/6 + (-183174)/(-8118). Let s = 244/11 - v. Which is greater: s or 0?
0
Let m = -75 - -52. Let r = -26 - m. Which is smaller: -2 or r?
r
Suppose -83*g = -80*g - 1215. Suppose -16*z = -7*z + g. Is -45 at most z?
True
Let l = 1.9 - 2. Let q be ((2/(-5))/1)/((-154)/35). Which is smaller: l or q?
l
Suppose i = -2*i. Let o(d) = d**3 - 6*d**2 - d + 3. Let g be o(6). Let f be (-2 + (-10)/(-6))/(g/(-9)). Are f and i nonequal?
True
Let c(z) = 13*z + 26. Let m be c(5). Let x = m - 119. Which is bigger: x or -27?
-27
Let n = -96 + 177/2. Suppose -4*j + j - 21 = 0. Which is greater: j or n?
j
Let o(j) = -j**3 - 9*j**2 + 10*j - 27. Let q be o(-11). Let y = 106 - q. Which is smaller: 3 or y?
y
Let s(o) = o**3 + 2*o**2 + 4. Let g be s(-3). Let m = -50/3 + 73/6. Is g smaller than m?
True
Let k be (-70)/(-8) - ((-260)/(-80) + -3). Which is greater: k or -5?
k
Suppose 3*l - 9 = -3*s, 5*l - 11 = -2*s - s. Is 22/21 less than s?
True
Let f be (-10)/(-15) - 38/(-6). Suppose 2*h = 4*s - 4, -h + 4*s + 1 = f. Let g = 0.0824 + -0.1824. Which is greater: g or h?
h
Let f be (-9 + 11)*(4 - (-484)/(-120)). Which is bigger: 1 or f?
1
Let u be (8/(-20))/(72/(-160)). Let t(p) = p + 7. Let x = 8 + -13. Let c be t(x). Which is greater: c or u?
c
Suppose -5*k = -2*c - 11, 8*c - 7*c + 5 = 2*k. Is 2/879 smaller than k?
True
Suppose 5*v + 4*q + 18 - 47 = 0, 0 = -2*v - 2*q + 10. Let d(g) = g**2 - 8*g - 6. Let t be d(v). Suppose 2*z + 1 - 11 = 5*c, 3*c + 15 = t*z. Is 2 at least z?
False
Let j(w) = w - 5. Let z be j(10). Suppose -b + z*b = 0. Let q be 0/(3 - 1 - b). Which is bigger: q or -7?
q