t u = 0 + -2. Let o = u - -3. Which is smaller: o or 2?
o
Suppose -2*k - 8 = 2*t, 0 = -2*k - 3*t - 9 - 3. Suppose 2*d = -k*d. Which is greater: d or -2/7?
d
Suppose 8*t = 3*t - 30. Let i(k) = -k - 8. Let f be i(t). Let a be f/(-4) - (-135)/(-230). Which is greater: 1 or a?
1
Let z(y) = -20*y. Let s be z(1). Let i be 8/s - (-16)/(-10). Suppose 2*r = -5*u - 21, 2*r - 3*u + 3 = -2*u. Which is smaller: i or r?
r
Suppose 0 = -2*c - 2*c. Suppose 0*x - 2*x = -5*o + 35, c = 3*o - 4*x - 35. Suppose -4 = -6*w + 4*w - o*v, 0 = -4*w - 5*v - 12. Are w and -8 nonequal?
False
Suppose 0 = -3*k + n + 4*n + 5, -5*k - 4*n + 70 = 0. Let p be (16/(-200))/((-2)/k). Which is smaller: 1 or p?
p
Let x be -1*(-4 - -5) + 0. Is -1/24 != x?
True
Let n = 7 - 6. Let p = 5 - n. Which is greater: p or 1/4?
p
Let u be (4 - (2 + -2)) + -2. Let g be (46/10 - -2) + -1. Let f = 94/15 - g. Are u and f equal?
False
Let p = -1 + 0.7. Let j = 11 + -12.3. Let s = j + 0.3. Which is smaller: p or s?
s
Suppose 2*g = -0*g + 10. Let m be -3 + g - (-14)/(-10). Is 1 less than m?
False
Let o = 13 - 9. Let s = 7 - 1. Is s at most o?
False
Let m be (-2 - (2 + -3))*-2. Suppose -8*b + 3*b - 30 = 0. Let n = 9 + b. Which is bigger: n or m?
n
Let r = 2/37 + -80/111. Which is bigger: 16 or r?
16
Suppose 0 = -5*l + 3*l - 2*u + 18, 4*l - 2*u - 12 = 0. Suppose -i + l*a - 7 = 0, 0 = i - 4*a + 2*a + 4. Let h = 0.3 - 0.1. Which is greater: h or i?
h
Let i = -0.0069 - 1.9931. Let a = -1.99 - 0.01. Is i less than or equal to a?
True
Let v = -113 + 112. Is 2/9 equal to v?
False
Let i = 7.2 + -4.5. Let v = i - 3. Does v = 2/5?
False
Let b = -8 + 8. Suppose b = -2*z + 5*z + 3. Which is smaller: z or 1/10?
z
Suppose r - 3*y - y + 20 = 0, -2*r + 25 = 5*y. Let w be (1 - 0)*2/(-10). Let x = r - w. Is x smaller than -1?
False
Suppose m = 4*a - 1, -a = a. Is -1/5 smaller than m?
False
Let s = 14552/15 - 3064/3. Let x = -52 - s. Which is smaller: 0 or x?
x
Let t = -380 + 3428/9. Is 2 less than t?
False
Let n = 9 - -11. Suppose -n = -w + 3*w. Let z be 1/w*10/(-6). Is z smaller than -1?
False
Let k = -4 - -24. Let i be 10/15 + k/(-21). Suppose -5*x - 1 = -6. Is i < x?
True
Suppose -1 + 4 = h. Suppose 2*q + h + 3 = 0. Are q and -5 unequal?
True
Let b = 1480/6741 - -2/749. Let a = -515861/117 - -4409. Let k = a + b. Is 0 at least k?
False
Let u be 6/1*1/(-4). Let l = -4 - -9. Let h be 3*6/(-45)*l. Which is greater: u or h?
u
Let m = -4 - -4.1. Let c = -0.03 - -3.03. Let q = 0 - c. Is q less than m?
True
Let t be ((-1)/(-4))/((-190)/(-872)). Let a = t + -18/19. Do a and 1 have the same value?
False
Let h = -371 - -2959/8. Which is smaller: -2 or h?
-2
Let i = 20198/33 - 612. Which is smaller: i or -1?
-1
Let v be (-4)/20 - 33/(-315). Do -0.1 and v have different values?
True
Let r = -17 - -16. Which is smaller: 1 or r?
r
Let t = 2/79597 + -101804573/397985. Let m = 255 + t. Which is greater: m or -0.1?
-0.1
Suppose 3*a + 35 = 5*g, -21 = -4*g + a - 0*a. Let n be g/(-2)*(-2)/(-4). Suppose 2*j - 4*j + 14 = -3*u, 0 = u + 2*j - 6. Which is smaller: u or n?
u
Let r be (2/45)/((-4)/24). Let u = 2/3 + r. Let o = -0.1 - -0.3. Is o bigger than u?
False
Let f = 38 + -39. Do f and -1/4 have the same value?
False
Suppose -l + 2*l = 0. Is -2/45 smaller than l?
True
Let g = 0.02 + 0. Let p = -0.12 + g. Which is smaller: 3/5 or p?
p
Let m = 4 + -8. Let n(z) = z**2 + 5*z + 4. Let x be n(m). Which is smaller: -2 or x?
-2
Let d = -126/13 - -2381/247. Which is smaller: d or 0?
d
Let m be (-1034)/(-4950) - (-1)/(-5). Is m < -1?
False
Let c = 4 + -3.2. Is c greater than -0.2?
True
Suppose -17 = 4*j - 5, z = j + 13. Which is bigger: z or 9?
z
Let o = -4 + 2.8. Let h = -3.2 - o. Does -1 = h?
False
Let k = -16/11 - -95/88. Which is greater: k or -3?
k
Suppose -5*l + 2*n = -l - 4, -l + n + 2 = 0. Is 2/33 smaller than l?
False
Let i = -68.5 + 8.5. Is i greater than -0.1?
False
Let q(t) = -21*t + 1. Let u be q(-1). Let j = 41/2 - u. Which is greater: -1 or j?
-1
Let l = 19 + -19. Is l bigger than 4?
False
Let o = -4 - -9. Suppose 2*q + 19 = 5*p + o*q, 0 = -4*p + 4*q - 4. Suppose 0 = 2*j + p, b - j - 1 = 2*b. Which is smaller: b or 2/13?
b
Let p(w) be the first derivative of -w**2/2 + 10*w - 3. Let d be p(0). Suppose -5*m + s + 0*s - 7 = 0, 5*s = d. Which is smaller: 1/8 or m?
m
Let k = 1.5 + -2.9. Let o = k + 1. Which is greater: o or -1?
o
Let g be 0 + (-35)/(-42)*(-18)/20. Do g and 0 have the same value?
False
Suppose -i = 3*i + 12, -4*w - 5*i - 47 = 0. Let a = -25 + 19. Let j be w/30*10/a. Are j and -1 unequal?
True
Let l be (-9 + 4)/(-25) - (-54)/130. Which is greater: 2 or l?
2
Let k = 19.6 - 20. Let z = -2 - -2.4. Let g = z + k. Which is greater: g or 2?
2
Suppose -5*p + p = -4. Which is greater: -2 or p?
p
Suppose -n = 5*w - 27, 5*n = -0*n + 5*w + 75. Suppose 5 = 3*t + 2*g + n, 2*g + 16 = -4*t. Is -4 not equal to t?
False
Suppose 2*b + 48 = -2*v, -4*v - 87 = -0*v - 5*b. Is -24 <= v?
True
Let k = 118 - 823/7. Is 0 bigger than k?
False
Suppose w - 1 = -0. Let s = 3715/21 + -177. Are s and w unequal?
True
Let l = 6 + -3. Let f be (2 - -2)*(-2 + 3). Suppose -f*o + 0*o + 12 = 0. Is l > o?
False
Let x = 34.1 + -34. Is -1/9 >= x?
False
Let s(b) = -b**3 - 5*b**2 - 3*b - 5. Let y be s(-5). Which is bigger: 39/4 or y?
y
Suppose 0 = 2*i - z - 47, -5*i + 0*i + 125 = 5*z. Let n be i/16 + (-16078)/(-76). Let k = n - 213. Is k smaller than 1?
True
Suppose 3*y - 5*x = -23, 3*x = 3*y + 7*x - 13. Suppose 4*n - d = 20, 0 = 2*n - 2*d + 1 - 5. Let o be (4/n)/(22/(-6)). Is y smaller than o?
True
Let j be ((-3)/9)/((-2)/6). Let t be (-60)/(-5) + (j - 0). Which is smaller: 12 or t?
12
Suppose 5*x = 5*s - 406 + 101, -2*s - 238 = 4*x. Let z be ((-4)/430)/((-12)/x). Do z and 1 have the same value?
False
Suppose -16 = 3*g - 5*g. Suppose -2 = -5*i + g. Suppose 5 = 3*o + i*o. Which is greater: 2/3 or o?
o
Let u be (-4)/(-2*(14 - 3)). Which is greater: u or 2?
2
Let q be 3/((-42)/38) + 5 + -2. Is -4 <= q?
True
Let f = -2 - -4. Let c be (f/4)/(1/10). Let t = c + -4. Is t at most as big as 2/13?
False
Let i = 1.21 + -0.21. Do -1 and i have different values?
True
Let a = 42 - 43. Let v be (1/(-1))/(-1*7). Which is bigger: v or a?
v
Let c be -339*9/8910 - (-1)/3. Which is greater: c or 0?
0
Let z = -5 + 5.4. Let j = z + -0.3. Let b = -0.9 - j. Is -2/7 greater than or equal to b?
True
Suppose 1 + 1 = -k, 0 = -2*s + 4*k + 88. Suppose 2*g - s = -2. Do g and 20 have the same value?
False
Let m = 15 - 13. Suppose -3*t = 3*q + 6, -m*q - 13 + 1 = 4*t. Let s(l) = l - 2. Let a be s(4). Is a at most q?
True
Let x(u) = -u**2 - 7*u + 8. Let i be x(-8). Let v be -1 + i + 5 - 0. Let h be 1/(22/v*1). Are -2 and h equal?
False
Let f = -6 + 8. Suppose 1 = y - f*y. Which is smaller: y or 2?
y
Let b = -0.9 + 2.9. Let g = b - 2. Is -6 greater than g?
False
Let d = 8.8 + -1.8. Let i = -7 + d. Which is greater: i or -4/7?
i
Let x be (-2)/(-2 + 60/21). Let f = x - -59/24. Let s be 60/(-112) - (-4)/14. Is s at least as big as f?
False
Let s be (-306)/99 + (-4)/(-1). Which is greater: 1 or s?
1
Suppose -5*b = -0*b - 605. Let g = b - 359/3. Which is smaller: g or 1?
1
Let u be -2 + -4 + (-138)/(-27). Are -1 and u nonequal?
True
Suppose -2*h - 3*h + 10 = 0. Suppose 0*u - 6 = -2*u - h*g, 2*u + 9 = g. Suppose 0 = -5*p + 3*p - 6. Is p bigger than u?
False
Let l = -14 - -5. Let c = l - -26/3. Suppose 3*r - 2 - 1 = 0. Is r < c?
False
Let b(t) = 2*t + 26. Let w be b(-19). Are -13 and w unequal?
True
Let r = 11.37 + -0.37. Is 2/5 at least as big as r?
False
Suppose 5 = 5*a + 5*b, 3*a - 2*b = -3*b - 5. Which is bigger: a or -7/2?
a
Suppose 0 = 5*d + u + 15, -u = d - 1 - 0. Let p(c) = -c**2 + 8*c + 1. Let o be p(8). Suppose -13 = 4*s - o. Which is greater: d or s?
s
Suppose 0 = -4*m + 7*m - 9, 0 = -w + 2*m - 7. Let p = w - -4. Which is smaller: p or 4?
p
Let m be (2 - 1)*(0 + -1). Suppose -3*u + 8 = -o, -1 = -3*u + 2*u. Let b be o - -9 - 51/12. Which is greater: b or m?
b
Suppose -3*r + 1 = -2*r. Let o(g) = g**3 + 8*g**2 + 7*g + 1. Suppose -4*k = 5*i + 19, 3*i = 2*k + k - 33. Let f be o(i). Is r at least as big as f?
True
Let t = 0.06 + 0. Let i = 0.06 - t. Are -2 and i equal?
False
Let d = -2/63 + 514/315. Which is smaller: d or 1?
1
Suppose -4*s + y + 2 = -3*s, -s - 3*y = 6. Let p = 739/5060 - -1/253. Do s 