ller: 2 or o?
o
Let c be 0 + 1 - (-3)/(-10). Let h = 5599 + -195938/35. Let s = c - h. Which is smaller: 0 or s?
s
Let p be (-2)/(-11) - 15/22. Is p greater than -1?
True
Suppose -4*o = 2*j + 8, -3*j + 0*j = 5*o + 12. Let y be -15*(3 + -1 + -3). Let i be (4/y)/(6/5). Which is smaller: o or i?
o
Let k(z) = 7*z - 11. Let l be k(8). Let h be ((-696)/l)/4 + -3. Let v = -36/5 - h. Which is smaller: v or -5?
-5
Suppose -2*b + 54 = -0*b - 3*j, 2*b + 3*j = 30. Let q be (-1)/((-3)/b) + -2. Is q less than 4?
False
Suppose -r - 4*c - 6 = -34, -4*r + 40 = -2*c. Suppose 0 = 2*z + 2*l - r, z - 3*z = -3*l + 8. Is z less than or equal to 0.3?
False
Let v(s) = s**2 + 5*s + 5. Let a be v(0). Which is smaller: -0.2 or a?
-0.2
Suppose 2*s + 3*i - 52 = -0*s, -5*s - 4*i = -116. Let f = s - 14. Let r be (-4)/(-27)*f/4. Is -1 at most r?
True
Let f = 524/77 - 78/11. Suppose -2*w + 6 = 2. Suppose 0 = -0*v - w*v. Is v at most f?
False
Suppose 0*n = n - 5. Let s = -49 - -53. Let p = s - n. Is p bigger than -1?
False
Let x = -0.09 + 0.04. Let w = x - 0.05. Which is smaller: w or 5?
w
Let t = -18 + 15. Which is bigger: t or -4?
t
Let b = 11 + -16. Let v be (0 + 2)*b/25. Let w = 0.2 - 0.3. Which is smaller: v or w?
v
Let l = -31 - -36.4. Let z = -0.6 - l. Let a = 9 + z. Are a and -0.1 equal?
False
Suppose 5 = 2*j + 5*h - 6, 0 = -5*j - 4*h + 19. Suppose 4*n = s - 22, 0 = 4*n - 3*n + s + j. Let b(q) = -q - 5. Let z be b(n). Is 0 equal to z?
True
Let b(f) = -f**2 + 7*f - 2. Let h be b(6). Let u be (-1 + 5)/(h/2). Suppose -u*k = -5*k. Which is bigger: k or -1?
k
Suppose -30 = -2*x - 6. Is 13 > x?
True
Let b be ((-20)/25)/(2/4) + 2. Which is bigger: b or 1?
1
Let j(n) = n**3 + 3*n**2 + 2*n. Let p be j(-2). Which is greater: p or -19?
p
Suppose 0 = 2*w - 5 + 9. Is w greater than -37?
True
Suppose 2*k = 0, -n = 2*k + k + 6. Is n less than or equal to -7?
False
Let n = -10 + 12. Let j be (-3)/n*10/(-3). Is -1 < j?
True
Suppose -5*g - 4 = -g. Let u be (-90)/(-3)*g/2. Let y be 18/u*(-2)/4. Is 2 <= y?
False
Suppose 6*s - s + 3*z - 7 = 0, 2*z - 10 = 2*s. Let x be (s - 0)*(-8)/(-4). Is -2 smaller than x?
False
Let w(a) = -5*a**2 - 4*a + 0 + a - a**3 + 3. Let i be w(-4). Which is greater: -4/9 or i?
-4/9
Let h = 0.4 + -0.1. Which is smaller: 5 or h?
h
Let t be 2/(-3) + (-8)/(-3). Let p be 10/3*6/5. Suppose 2 = -p*b + 14. Which is greater: b or t?
b
Let d = -1 + 1. Let v(j) = j**3 - 3*j**2 + 2*j - 2. Let k be v(5). Let t = k - 293/5. Which is smaller: t or d?
t
Let y(l) = -l**3 - 7*l**2 + 9*l + 5. Let g be y(-8). Let a be 0 - (9/g)/3. Is a > 0?
True
Let c = 96 + -105. Which is bigger: c or -0.2?
-0.2
Suppose -2*o + 4*r - 16 = o, 0 = 3*o - 2*r + 8. Let z = -1316/9 + 146. Which is smaller: o or z?
z
Let p(m) = -m**3 + m**2 + m + 9. Let j be p(0). Is j equal to 2?
False
Suppose j - 2*w - 8 = w, 11 = 3*j + 4*w. Suppose -r - 3 - 1 = -s, s - 4*r - 7 = 0. Let x = j - s. Is x at most as big as -2?
False
Let k = -9 - -4. Let g be 0/(-2) + 1/k. Suppose 0 = 3*s + u + 4 - 8, -4*s + 3 = -u. Which is bigger: s or g?
s
Let p = 41.9 + -42. Which is smaller: p or 1.4?
p
Suppose 2*a - 5*f - 40 = -a, -3*f - 5 = 2*a. Is a at least as big as 5?
True
Let w = -0.1 + -2.9. Let i = w + 2.4. Are i and 0.1 unequal?
True
Let m(g) = g**3 + 19*g**2 + 19*g + 27. Let s be m(-18). Which is greater: s or 10?
10
Suppose 0*x = -x - 3. Let m be (x/4)/(6/(-4)). Suppose y = 14*w - 12*w + 2, 4*y = 4*w - 8. Which is bigger: y or m?
m
Suppose 3*f - 3*k + 231 = 0, 2*k = -2*f - 208 + 58. Is f at most as big as -76?
True
Let w be (-408)/32*(-2)/6. Is w > 4?
True
Let q be 1 + (7 - 0/3). Suppose 0 = 2*v + 2*v + 4, 4*v = t - q. Let n be t/(1 - (-3)/(-9)). Which is greater: n or 1?
n
Let n = 102 - 63. Let r be n/6 + 6/4. Which is bigger: 7 or r?
r
Let q be (0 - -1)*(-9 - -3). Let w = -17.9 + 18. Is q less than w?
True
Let a(s) = -s**3 + 10*s**2 - 8*s - 5. Let b be a(9). Suppose -b - 8 = -4*k. Let v be (-2)/(-24) - 1/k. Is v less than or equal to -2/5?
False
Let k be (-63)/6*24/9. Is k < -27?
True
Suppose -q + 18 = 2*q. Let b(v) = v**3 + 14*v**2 + 13*v - 1. Let p be b(-13). Let n be p + 1 + 4/q. Which is greater: n or 2?
2
Let a be ((-57)/(-18))/(4 + 1). Let n = -1/167 + 841/1002. Let t = a - n. Is 0 at most as big as t?
False
Let s = -131 + 129.02. Let g = 0.02 - s. Which is greater: g or 1?
g
Suppose -5*b + 15 = 0, -4*k + 4*b = -2*k + 200. Which is smaller: k or -95?
-95
Let s be ((-1)/1)/(2/(-22)). Do s and 10 have the same value?
False
Suppose 13 - 63 = -5*v. Suppose -v = 4*x + 5*p, x - 8 = 5*p + 2. Which is bigger: -4 or x?
x
Suppose -3*c + 4*c + 4*t = 28, -5*t + 10 = 0. Is c < 20?
False
Let o = -17 - -20. Suppose -2*m - 8 = -3*a, 0 = -3*m - 4 + 1. Which is greater: o or a?
o
Let v = 3.7 - 3.8. Which is greater: 13 or v?
13
Let g = 15 - 12. Suppose 14 = g*f - 5*z, 5 = 4*f + 4*z - 3. Is 2 equal to f?
False
Let r = 44 + -10. Is r smaller than 36?
True
Suppose 2*h - 6 = 5*h. Let u be (h + 10)*(-2)/4. Let a(x) = -2*x + 4. Let t be a(4). Is t greater than u?
False
Let k be 2*-1 - (8 + -10). Suppose 0 = 4*m - 3*c + 7, 0 = 5*m - c - 5 - k. Suppose 4 - 1 = -n. Are m and n nonequal?
True
Let w = 0.7 - 0.72. Let x = 115 - 116.02. Let b = w - x. Are b and -3 nonequal?
True
Let s be (-1 - -1) + 18 + 0. Let p = s - 12. Let f be (p/12)/((-2)/4). Is 1/4 at least as big as f?
True
Let z = 3 - 3.02. Let c = 0 - z. Let d = -0.38 - c. Which is smaller: 0 or d?
d
Let d = -12.1 + 12. Let v = 0.2 - 0.5. Which is bigger: d or v?
d
Suppose 0 = -4*g - 3*w + 166, -w + 50 = g + 4*w. Let l = -28 + g. Let r be 1/(-2) - 2/l. Are r and 0 nonequal?
True
Suppose -10 = z + 5*t - 36, 0 = z - 2*t - 19. Let l be (8/14)/(9/z). Which is greater: 0 or l?
l
Suppose -4*p + 31 - 15 = 0. Which is greater: -13 or p?
p
Let b be (-1304)/28476 + 2/(-9). Let m = 2/113 - b. Which is smaller: m or -4?
-4
Let c = 0 - 0.03. Is c less than 0?
True
Suppose -2*q = -0 - 8. Does q = 4?
True
Let x be 23/4 + 3/12. Suppose -24 - x = -2*u. Suppose n + 3*f - 15 = -2*f, -5*n = 5*f - u. Which is bigger: n or -0.2?
n
Suppose -q + 4*q = -78. Let r = q - -51/2. Is -2 bigger than r?
False
Let x = 85 - 70. Let d = 5 + -8. Let q be (d/15)/((-12)/x). Which is smaller: -1 or q?
-1
Let o = -7 - -3. Let d be 30/o*1/(-10). Is 1 greater than d?
True
Let d be 4/14 - (-19)/7. Let u be 3/15 + (-88)/(-10). Let c = u - 5. Do d and c have the same value?
False
Let w(o) = -o**3 + o**2 - o + 4. Suppose -5*b + 4 = 4*m - 9, 0 = -4*b + 20. Let x(k) = -k - 3. Let s be x(m). Let t be w(s). Is t < -1?
False
Let k be 1*(4 + -6 + 4). Which is smaller: k or -0.2?
-0.2
Suppose 10 = -2*d - o - 2*o, -5*o - 22 = -2*d. Let k be 30/(-14) + (d - -1). Which is smaller: -1 or k?
-1
Let p = 1.1 - 1. Let y = -5 + 6. Let v = -1 + y. Which is bigger: p or v?
p
Let k = -0.1 - 0.1. Let d = 2.08 + -2. Let a = -0.18 + d. Is a smaller than k?
False
Let r = -0.9 - 0.1. Let f = 19 - 35. Which is greater: f or r?
r
Let z = -0.2 + -2.8. Which is bigger: 2/7 or z?
2/7
Suppose 2*m - 22 - 4 = -5*c, -5*c + 5*m = -5. Suppose 3*n = -x - 0*n - 2, -c*x - 2*n - 18 = 0. Which is greater: -4 or x?
-4
Let v = -69 + 75.7. Let p = -7 - 0. Let x = p + v. Is x at least 1?
False
Let p be (-8)/(-14)*21/6. Suppose 0 = 2*n - u + p, 3*u + u + 3 = -3*n. Is -1/10 at least as big as n?
True
Let t(h) = h**3 + 5*h**2 - 7*h - 4. Let y be t(-6). Suppose 4*c + 4*n - 3*n - 14 = 0, 2*c = -5*n - 2. Which is smaller: y or c?
y
Suppose 5*x = -0*x + 85. Suppose 2*u = 5*n - x, 2*n + 2*u - 7 = -n. Let q = n - 1. Are 1 and q non-equal?
True
Suppose -2*i - d + 15 = -7*i, i = 3*d + 11. Let s be 30/4 + (-2)/i. Let a be 26/40 - 2/s. Is a at most 1?
True
Let h be -2 - (-2)/((-6)/(-9)). Let w be 0 + h - (6 - 5). Which is smaller: -2 or w?
-2
Let g be 1 - (-4 + 6/3). Let w = 0 - g. Let b = 4 + w. Are b and 0 non-equal?
True
Let f = 0 + 0. Which is smaller: f or -4/3?
-4/3
Let z(w) = -w - 6. Let n be z(-6). Suppose n = 2*u - 6*u. Which is greater: u or 1?
1
Let f = 9 + -5. Are f and 2 nonequal?
True
Let o(d) = -d - 31. Let v be o(-19). Which is greater: v or -15?
v
Let m = 5 - 1. Let w = m - 3. Which is greater: -0.1 or w?
w
Suppose 5*c - 117 - 23 = 0. Let b = -85/3 + c. Is b smaller than -0.2?
True
Let k be (-2)/(-9) - (-1640)/(-7245). Let a = k + -1/23. Is 1 greater than or equal to a