pose o - 13 = 3*p - i, 4*o = 4*p + 28. Let t be 1/((78/(-4))/3). Which is smaller: t or p?
p
Let z(y) = 3*y - 1. Let p be z(0). Is -2/73 at most as big as p?
False
Suppose o + 0 - 4 = 0. Suppose -2*h - h = -15, 5*r + o*h = 20. Which is smaller: r or 1?
r
Suppose -4*l - 3*c = -l + 57, -c = 5*l + 83. Let w = l - -16. Is 2 less than or equal to w?
False
Let t be 4*1*(-5)/10. Let x be 1/4 + 1/(-4). Which is smaller: x or t?
t
Suppose 0 = j + j - 9*j. Is j bigger than 1.9?
False
Let o be 16/2 + (22 - 22). Are o and 37/4 non-equal?
True
Suppose 0 = 2*n, 2*n + 40 = 5*t + 10. Let r = 45 + -40. Which is greater: r or t?
t
Let g be (3 + 0)/(-1 + 0). Let q be 5/3 - 1/g. Let w = -22 - -22. Is q greater than or equal to w?
True
Let q be (6/(-4))/((-4)/8). Let y be -3 + 3 + q - 2. Which is greater: y or 7/4?
7/4
Suppose -5*g + 3*g + 4 = 0. Suppose -g*q - 10 = -3*m - 6*q, 40 = 2*m - 4*q. Let a = -12 - -23. Which is smaller: m or a?
m
Let x be -1*(1 + 4 + -2). Let a(v) = -v - 1. Let w be a(x). Is 1/2 at least as big as w?
False
Suppose 2*k + 0 = 36. Which is greater: 17 or k?
k
Let s(m) = m**3 - 2*m + 6. Let q(j) = j**2. Let o(g) = -4*q(g) + s(g). Let a be o(4). Which is greater: -10/3 or a?
a
Let u(n) = 21*n - 12. Let d(g) = 11*g - 6. Let i(x) = -7*d(x) + 4*u(x). Let o be i(3). Are 15 and o unequal?
False
Let t = -2 - -1. Let v = t + 1.2. Let y = 14 + -27/2. Do v and y have different values?
True
Suppose 0 = 5*s + 29 + 16. Is -8 > s?
True
Let u = -2 - 1. Let l = -2 - u. Let o = 0.1 + -1.1. Which is smaller: l or o?
o
Let u be (-8)/(-16) + 94/164 + -1. Is 1 smaller than u?
False
Let i be 8/10 - (-216)/(-20). Which is smaller: -11 or i?
-11
Let t be (3 + -2)/(16/(-12)). Which is bigger: t or -1?
t
Let f = 4/231 - -293/231. Is f at most 0.1?
False
Let m be -2*(-2)/114*-3. Let z be (6/9)/(4 - (-28)/(-6)). Which is bigger: z or m?
m
Suppose 0 = 3*z + z + 120. Let u be 4/(-10) - 72/z. Suppose -3*h + h = 6. Is h greater than or equal to u?
False
Let v = -0.34 + -0.06. Let c be (-7)/(-147) - (-3 + (-19)/(-7)). Which is smaller: v or c?
v
Let v = -69/2 - -35. Which is greater: v or 0.1?
v
Let a be (2 + -3)/(1/(-2)). Suppose 0*l - 5 = 3*x - a*l, 4 = -3*x + l. Which is bigger: x or 1/6?
1/6
Suppose 0 = 6*q + 2*q + 8. Which is bigger: q or 5?
5
Suppose 0 = -2*w - 5*w + 217. Which is bigger: 30 or w?
w
Let g = -0.4 + 0. Let q = -0.3 - g. Let k = 0 - q. Is 2 <= k?
False
Suppose 0 = 6*f - 2*f - 5*x + 6, -4*f + 6 = x. Suppose 2*r + 0*r + 4*q + 324 = 0, -3 = q. Let o be 15/r + 2/8. Which is smaller: o or f?
o
Let t(x) be the second derivative of x**4/12 + x**3 + 7*x**2/2 - 7*x. Let o(w) = -w**3 - w - 5. Let y be o(0). Let n be t(y). Which is smaller: 0 or n?
0
Suppose -3*j - 3*c + 42 = 0, c = 5*c - 20. Let m = 10 - j. Which is smaller: m or -2/37?
-2/37
Let g = -35 + 43. Is g less than -1?
False
Let y(v) = 2*v**2 - 3*v - 4. Let j be y(3). Suppose q - 7 = -4*w, -j*q - 2*w = w - 1. Let o be (1/(-3))/(0 - q). Do o and 1 have the same value?
False
Suppose 0 = -6*f + 169 - 433. Is f less than -45?
False
Suppose -4*x + 21 = -11*x. Let w be 4/14 + (-120)/28. Are w and x nonequal?
True
Let q(t) = -3*t**2 + 2*t**2 + 15 - 9*t - 23. Let n be q(-8). Suppose 0 = -z - n*z + 3. Is z greater than or equal to 3?
True
Let h = -1.4 + 0.4. Let k = h + 0.5. Let c = 0.3 + k. Which is bigger: 1 or c?
1
Let k be (-24)/16 + 18/(-4). Which is smaller: k or -3?
k
Let n = 0.89 + -0.9. Is -2/5 smaller than n?
True
Let t = -2 - -2.2. Suppose 2 = -d + 4. Suppose 2*m = -2*m + 16, 4*m - 14 = d*v. Is t at most as big as v?
True
Let w(o) = -3*o**3 + o**2 + 2*o + 1. Suppose 3 = -t - 2*t. Let f be w(t). Is 7/2 > f?
True
Let u = 4.16 + -0.16. Which is greater: u or -0.2?
u
Let g(x) = x**2 + 27*x + 45. Let k be g(-21). Is -82 bigger than k?
False
Let g be 4/5 + (-22)/165. Is 1 != g?
True
Suppose -5*g + 15 = -2*g. Let w be -2*(-1 + 2) + g. Is w less than 2?
False
Suppose -c + 3*c - 12 = 0. Let v = c - 2. Suppose -3*l + 2 = -v. Which is bigger: l or 3?
3
Let g be -2 + 5 - 3/1. Suppose -2*x - q = 0, g*x = 3*x - 5*q + 13. Does x = 2?
False
Let p = -99 + 110. Are 12 and p nonequal?
True
Let i = 190 + -191. Are 2/379 and i unequal?
True
Let x(u) = -u**3 - 8*u**2 - 2*u - 8. Let s be x(-8). Let n be s/52 + 2/(-13). Let q = 68/105 - 14/15. Which is greater: n or q?
n
Let q(u) = 2*u - 7. Let c be q(5). Suppose c*s - 4 - 8 = 0. Suppose 4*i + 0*i + 4 = 4*k, s*i - 5 = k. Do i and 1 have the same value?
False
Let m(r) = -r**3 - 10*r**2 - r - 8. Let g be m(-10). Let w be (-6)/12*(0 + g). Let p = w - -5. Are p and 3 non-equal?
True
Suppose f + 3 = -4*w, -4*f = -w + 3*w + 12. Which is greater: -1/10 or w?
w
Let z be (-6)/(-14)*(-1)/15. Which is smaller: z or -1?
-1
Let d(p) be the third derivative of p**6/120 - p**5/20 + p**4/24 - p**3/2 - 3*p**2. Let w be d(3). Are -5/6 and w unequal?
True
Let c = 28 + -279/10. Is c equal to 0?
False
Let m = 31.1 + -31. Which is bigger: m or 7?
7
Let j = -18 - -6. Let y be 4/j*1*3. Let g(i) = i**2. Let l be g(y). Which is greater: l or -2/9?
l
Let n(w) be the first derivative of w**4/4 - 10*w**3/3 + 9*w**2/2 + 2*w + 3. Let g be n(9). Is 2 smaller than g?
False
Let f = -26 + 22. Which is bigger: f or -3?
-3
Let b be (-3)/(-226)*48/9. Let t = b - 499/2260. Which is smaller: t or 1?
t
Suppose -5*k - 7 = -2*x + 18, -k - 5 = 2*x. Let b = 4 + k. Let z be (b + (-10)/(-8))*4. Which is greater: z or -2?
z
Suppose -5*z - 16 = 14. Let t(s) = -s - 5. Let m(g) = -1. Let v(c) = z*m(c) + 2*t(c). Let l be v(-4). Is l at most 4?
True
Let k be (-3)/12 - 30/8. Is -10 smaller than k?
True
Let q(v) = -v**3 - 5*v**2 - 4*v + 1. Let u be q(-4). Suppose 4*x + 3*z = -3, 2*x - 4*x = -z - u. Let n = 3/49 - 58/147. Which is greater: n or x?
x
Let w(j) = j**2 + 8*j - 6. Let z be w(-9). Suppose -3 = z*i + 12. Let g = i - -8. Which is smaller: g or 4?
g
Suppose 4*m = c - 11, 0*c + 13 = 3*c - 2*m. Let g(i) = -3 - c*i + 0 + 2*i. Let l be g(-5). Is l <= 1?
False
Let d(r) = -r**3 - 5*r**2 + 8*r + 2. Let w be d(3). Which is smaller: w or -49?
-49
Let t = -0.2 + 1.2. Let k = 1.5 + -9.7. Let j = k + 8. Do j and t have the same value?
False
Let m(w) = w**2 - 3*w - 17. Let s be m(8). Is s less than or equal to 22?
False
Let o be (-116)/420 + (-3)/(-21). Which is bigger: 1 or o?
1
Let k = 848 - 105151/124. Which is smaller: 0 or k?
0
Let k = 32/33 - 10/11. Are 1 and k equal?
False
Let q = 13 - 15. Suppose -5*z - 33 = -0*z - 2*i, -5*z = -i + 29. Let v = z - q. Is -3 > v?
False
Let q = -2.1 - -2. Is q smaller than 2/7?
True
Let o = -10 - -13. Let v be 8/(-5) - 8/(-2). Which is bigger: o or v?
o
Let b(u) = -u**3 + 9*u**2 + 10*u. Let a be b(10). Suppose -3*q + 3 - 6 = a. Which is greater: 1/7 or q?
1/7
Let i = 15 + -19. Let h be (2/i)/((-2)/8). Let s = -0.2 + 0.1. Do h and s have the same value?
False
Let t(q) = 2*q + 0*q - 3*q - 10 - 1. Let u be t(-6). Is u <= -3?
True
Let m(d) = 2*d**2 - 5*d + 2. Let a be m(3). Let s = 2 - -2. Which is smaller: s or a?
s
Let m be (1/3 + -1)*6. Let a be 2/m*(-1 - -1). Which is smaller: a or -1/4?
-1/4
Let q be 22/(-77) + (-24)/14. Suppose -1 + 5 = 4*r. Let g = q + r. Is -1 bigger than g?
False
Let k = -9/2 - -69/14. Is 1 > k?
True
Let z be 1/2*-2 - 0. Let m = z + 3. Is m at least 2?
True
Let c = 13 + -20. Which is bigger: -6 or c?
-6
Let b = -5.63 - -0.43. Let i = 5 + b. Let k = i + 0.3. Is k bigger than -0.3?
True
Let t be (2/(-6))/(24/(-432)). Which is smaller: 7 or t?
t
Suppose -3*x + 2*y + 7 = 0, 0*x - 8 = -2*x + 3*y. Is -2/79 at least as big as x?
False
Let x be ((-9)/6)/(2/(-4)). Suppose -4*y + y - x = 0. Let h be 1 + ((-1)/3)/1. Is h equal to y?
False
Let b(x) = -90*x + 1. Let f be b(-1). Let h be (-2)/8 - f/(-140). Let d be (6/(-21))/(6/(-7)). Is h at least as big as d?
True
Suppose -5*q - 2*j = -228 - 30, 2*q = 5*j + 80. Are q and 50 unequal?
False
Suppose -d + 1 = 2*w + 2, 0 = -3*w - 5*d - 5. Suppose 4*o + 2 - 10 = w. Suppose 0 = o*i - 3*i. Which is smaller: i or 2?
i
Let d = 2 + -8. Suppose 5 = 9*x + 14. Which is greater: x or d?
x
Let c(f) = -9*f - 3. Let b be c(-2). Suppose 0 = -5*q + b, -h + 4 = -0*q - q. Let r = h - 6. Is 6 less than or equal to r?
False
Let k = 1.2 - 4.2. Which is bigger: -1 or k?
-1
Let a be 9 - 9*(-1)/(-3). Which is smaller: a or 8?
a
Let j = -499/21 + 71/3. Is 0 gre