t p be -2*(2/4 - 0). Let i be 0/(0 - (-4 + 6)). Let o be 2 + i + 4 + -5. Which is smaller: o or p?
p
Let o = 86 + -85.86. Is -0.4 less than o?
True
Let f = -21 - -62/3. Let c = 15 - 14. Which is smaller: f or c?
f
Suppose 3*m - o + 50 = 8*m, 0 = 4*m - 4*o - 16. Which is bigger: m or -1?
m
Let n be (-30)/28*(-2)/(-3). Is n equal to -0.1?
False
Suppose -2*t = -3*g, -6*g + 2*g = 3*t. Let b = -107/5 - -21. Which is smaller: b or t?
b
Suppose 20 = -2*l + 2*h, 4*h - 3*h = 3. Is -7 smaller than l?
False
Let c = -171 - -279. Which is bigger: 107 or c?
c
Let z = -1.31 - 0.09. Let x = 0.4 + z. Which is greater: 1/5 or x?
1/5
Let h = 131959/37 + -3566. Let x = h + -759/1813. Which is greater: x or 0?
x
Let p = 27 + -14. Is p greater than 12?
True
Let p = -20 - -31. Let g = -11 + p. Is 4 at least g?
True
Let k = -432 + 2149/5. Which is bigger: -3 or k?
k
Let i be (-2430)/(-28) - 12/8. Let c = 285 + -200. Let o = c - i. Is -1 != o?
True
Suppose -13*a = -9*a - 64. Which is smaller: 15 or a?
15
Let o be 7/4 - (-3)/12. Is 8/5 <= o?
True
Let x = 1.1 - 1. Let u be (-2 - -1) + (-16)/(-12). Which is smaller: x or u?
x
Let o = 18.9 + -19. Let s = -0.24 - -0.46. Let v = 0.3 - s. Which is greater: o or v?
v
Let r = 2 - 4. Let l = 0 + r. Let n = -25 - -25. Is n greater than l?
True
Let u = -1 + 1.1. Let y = 0.1 + -0.4. Let f = y + 0.2. Which is bigger: f or u?
u
Let i = -44.9 - -45. Which is greater: 1/6 or i?
1/6
Let r = -483/5 - -97. Which is bigger: -1.8 or r?
r
Suppose -1072 = -4*o - 4*o. Is 133 > o?
False
Let a = -0.09 + -2.91. Let z = 2 + a. Is -1 less than z?
False
Let o = -28/9 - -128/45. Which is smaller: 0 or o?
o
Suppose 4*o - l = -3, -2 = -3*o - 5*l - 10. Which is smaller: o or 1/36?
o
Suppose 2*k = -4*w + 24, -2*k + 5*k = -4*w + 28. Suppose 2*y = -y - 9. Let l = y + k. Which is smaller: l or 2?
l
Let g be 69/2*2/(-3). Is -23 less than g?
False
Let r = 38 - 33.8. Let u = -3.6 - 0.4. Let b = r + u. Which is greater: b or 2/3?
2/3
Let h be (-2)/((-8)/(-2))*4. Let v = 0 + 0. Suppose y + 1 + v = 0. Which is greater: y or h?
y
Let g(l) = 3*l + 1. Suppose n - 2*n + 1 = 0. Let y be g(n). Suppose 0*p - y = -2*p. Is p > 2?
False
Let a(d) = d**3 - d**2 + 2*d - 1. Let f be a(0). Which is smaller: f or -5/4?
-5/4
Suppose -8*z - 20 = -4*z. Does z = 2?
False
Let s = -12 - -19. Let o be 54/4 + (-9)/6. Suppose -2*k + 0 = -o. Is k < s?
True
Suppose 5*y - 12663 = 3*p - 333, 3*y - 7398 = -4*p. Let o be y/(-30) - (3 - 1). Let w = o - -85. Which is smaller: w or 0?
0
Suppose -3*n = -3*i, 6 = 2*n + n. Suppose i*k = -3*k. Is -2/7 != k?
True
Let m = -158 + 97. Which is smaller: -0.1 or m?
m
Let h(c) = -c - 7. Suppose -w + 2 = -0*w. Suppose -20 = w*m - 2*y, m - 5*m = -5*y + 45. Let x be h(m). Which is bigger: -1 or x?
-1
Let a = -48860/11 + 4356. Let n = a + 86. Are n and -1 unequal?
True
Let k = 197/2299 - 4/121. Which is greater: k or -1?
k
Let i(x) = 4*x + 8. Let c be i(4). Does 23 = c?
False
Let n = -16 - -16.05. Let z = 0.3 + -0.35. Let q = n + z. Which is greater: q or 1?
1
Let d(h) = h**3 - h**2. Let a(l) = 2*l**3 - 3*l**2 + l - 1. Let t(g) = 3*a(g) - 7*d(g). Let k be t(-3). Let z be (1/k)/((-1)/3). Which is bigger: 2 or z?
2
Let n be 3 - (-2)/4*8. Let g = 8 - n. Is 2/15 at most g?
True
Let y(w) be the first derivative of -w**4/4 - w**3 - w**2/2 - 3*w + 1. Let u be y(-3). Let r be (-6)/4*4/27. Are r and u nonequal?
True
Let y be 15/(-12) - -1 - 17/(-76). Which is smaller: -1 or y?
-1
Let q(l) = -l**3 + 4*l**2 + 4*l. Let j be q(4). Suppose -9*h + 5*h = -j. Is 5 smaller than h?
False
Let u be (-8)/(-5) - -1*6/15. Is u != 0.02?
True
Let v(l) = l**2 - 7*l + 7. Let i be v(6). Let o be 10/2 - 85/20. Is i smaller than o?
False
Let z(j) = j**3 - 6*j**2 - 2*j + 4. Let y be z(6). Let g be ((-3)/((-3)/y))/(-2). Suppose i + 5*o + 8 + 11 = 0, -15 = i + g*o. Which is bigger: i or 2/3?
i
Suppose 2*c - 5 = 1. Let g = c + 0. Suppose 5*r + g = 4*r. Which is greater: r or -2?
-2
Let g = -0.01 - -3.01. Let j = g - 2. Let p = j - 0.8. Which is smaller: 2/7 or p?
p
Suppose 4*k = 3*k + q - 26, -3*q - 54 = 3*k. Which is greater: k or 1/4?
1/4
Let t = -5 + 3. Let o = -106 - -527/5. Are o and t equal?
False
Let n(k) = -k + 16. Let l be n(8). Suppose -4*x = -l*x. Is 3/4 at most as big as x?
False
Suppose -3*y = -3*l - 6, 5*l + 5*y - 1 = 9. Suppose -s + l = 2. Let p = -1 - s. Are 2 and p nonequal?
True
Let v = -4/511 - -9729/2555. Which is greater: 4 or v?
4
Let c(j) = j - 16. Let k be c(15). Does -2/99 = k?
False
Let j be (-1 - 5) + 1*-2. Let g be 1/(-3) + j/(-12). Which is greater: 1 or g?
1
Suppose -8*g - 14 = -10*g. Is 7 greater than g?
False
Let w be 3 + -5 + 4/(-7). Which is greater: w or -1?
-1
Let x be (-45)/2 + (-2)/6. Let k = x + 47/2. Suppose 0 = -3*t + 5 - 2. Which is smaller: k or t?
k
Suppose 0 = -h - h. Suppose 4*z - 2*o - o + 12 = h, 4*z - 12 = -3*o. Let y be -2 + 16/6 + -1. Which is greater: y or z?
z
Suppose y + 5*p - 21 = 0, y + 2*p = -y + 10. Let z be 66/(-44)*1/15. Which is bigger: z or y?
y
Let z(j) = -j**3 - 4*j**2 - 3. Let o be z(-4). Let i(q) = -q**2 - q. Let w = -2 + 0. Let v be i(w). Which is greater: o or v?
v
Let s be (3/2)/((-3)/4). Let k be -2 - s*33/24. Is 0 >= k?
False
Let j be (-4)/6*210/(-4). Suppose 3*p - q = q - 28, 4*p - 5*q + j = 0. Let u = 9 + p. Which is smaller: -2/7 or u?
u
Let n = -0.3 + 0.2. Let f = -7 + 1.9. Let o = -5 - f. Is n greater than o?
False
Let t be (-3)/9*66/2. Which is bigger: -10 or t?
-10
Let d be 0*2*1/4. Suppose d = 2*a - 5 + 3. Which is smaller: a or 2?
a
Suppose 0 = w + 9 + 11. Let j be 5/w - (-6)/8. Suppose -o - o = 0. Which is smaller: j or o?
o
Let g be 10/(-4)*144684/585. Let p = 618 + g. Is p greater than -1?
True
Let y be 3/(-9) - 7/(-3). Suppose 0*o - 2*o = -y. Which is greater: o or 2/3?
o
Let k be ((-57)/(-38))/((-6)/(-4)). Is -2 at least as big as k?
False
Let a = -32 + 18. Let n be 39/((-9)/(0 + 3)). Is n less than a?
False
Let b = 135.5 + -136. Are b and 11 non-equal?
True
Let y = -4.54 - -4.8. Which is smaller: -1 or y?
-1
Let h be (-2)/12*(-114)/95. Which is bigger: h or -0.07?
h
Let q(y) = -y**3 + 5*y**2 - 5*y + 2. Let f be q(3). Let w be 2 - ((-6)/3 + f). Which is bigger: w or -2/11?
-2/11
Let h be (-34)/(-6) + (-4)/6. Let k(p) = 3*p**2 + 5*p + 6. Let w(y) = -4*y**2 - 5*y - 7. Let v(l) = 5*k(l) + 4*w(l). Let g be v(h). Which is smaller: 1 or g?
1
Let o be (-5)/15 + (-4)/(-12). Is -1/19 greater than o?
False
Let y = -84 - -30. Let n be (-5)/3*y/6. Let u be ((-20)/(-25))/(14/n). Which is smaller: 1 or u?
u
Let w = -13 + 11. Let r be w/2 - (-11 - -2). Suppose 0 = 2*v + r + 6. Is -7 at least v?
True
Suppose o = -3*r + 3, r - o + 1 = 2. Is -2/165 less than or equal to r?
True
Let o be (-2)/(-4)*(-1 - -2). Let f be (-7)/(-14)*(0 - 0). Which is smaller: o or f?
f
Suppose h - 4*h = 0. Let p be 2/(-5) + (-115)/25. Let c be p/(-10)*(-4)/7. Is c at least h?
False
Let v be (-4)/6 + 4/(-12). Suppose r + 5 = -p, p + 3*r + 0 = -13. Are p and v equal?
True
Suppose z = -0*z + 5. Suppose 4*w + 4*t = -0*w - 36, z*w + 30 = -2*t. Is -4 less than w?
False
Let b(s) = s**2 - s - 4. Let n be b(3). Suppose -n*u = -4*u. Suppose -5*z = 3*r + 11 + 1, 3*r - 6 = z. Is r > u?
True
Suppose -3*v = -0*c - c - 8, -v + 5 = 2*c. Which is smaller: -6 or v?
-6
Suppose 0 = -3*t + 2*t - 3*o + 16, 0 = -4*t - 3*o + 28. Suppose -t*a + 13 = 1. Suppose 7*j = a*j. Is j at most as big as 2/5?
True
Let j = -38/119 - -3/17. Let q(y) = -y - 7. Let g be q(-7). Suppose 0 = 5*u - 2*v - 4, -u = -g*u + 5*v + 10. Which is smaller: j or u?
j
Let n(h) be the first derivative of 4*h + 1 + 1/2*h**2. Let c be n(-6). Is -1 at most as big as c?
False
Let l = -3295/18 - -183. Let u = -66/65 - -473/1170. Let n = u + l. Which is smaller: n or -2?
-2
Let v = -51 + 30. Are -1/3 and v nonequal?
True
Let q be (-16)/(-138)*(-6)/4. Let k be 1 - -1 - 328/230. Let p = q + k. Is -1 less than p?
True
Let d be (-3 - 1) + (31 - -3). Is 31 at most d?
False
Let t be (-1)/((-13)/8 - -1). Let y = -12 + 13. Which is smaller: t or y?
y
Suppose -j + j - j = 0. Let z = -7 + 5. Which is smaller: j or z?
z
Suppose -l = -3*u - 132, -4*u = -l + 84 + 92. Is u less than -44?
False
Let s = 7 + -3. Let d = s - 3.9. Let o = -0.3 - -0.2. Which is greater: d or o?
d
Let a = -6 - -27. Is a greater than 21?
False
Su