 is smaller: r or o?
o
Let f = 752/15 + -50. Is -1 at least as big as f?
False
Suppose -h + 0 + 2 = 0. Suppose h*y + 6*k = 2*k - 18, -2*k - 13 = -3*y. Let w(d) = 2*d - 1. Let t be w(y). Which is bigger: t or 0.2?
t
Let g = 4.142 - 21.052. Let k = 17 + g. Let l = -4.91 - k. Which is bigger: 1 or l?
1
Let r = 11 + -9. Let d = -65/2 + 35. Is r less than d?
True
Suppose -2*l = 3*l. Let u = 3 - l. Which is bigger: 4 or u?
4
Let c = -1.07 + 1. Let n = c - 0.93. Let b = 3 + -5. Which is greater: b or n?
n
Let l be (-5 - 4)/(1*-1). Suppose -h + 4*h - 2*g + l = 0, 0 = 4*h + g + 1. Which is bigger: 1 or h?
1
Let i = -2679 - -5721. Let r = 21352/7 - i. Let v = -283/35 + r. Is v > 0?
True
Let o = -17 - -16. Let b = 0.43 + 2.67. Let y = 3 - b. Which is smaller: y or o?
o
Let p(h) = h + 17. Let v be p(-9). Which is smaller: 6 or v?
6
Let f(c) = c**2 + 4*c + 1. Let q be f(-4). Is 6/7 at most q?
True
Let x be (-48)/(-44)*3/6. Let q = -13 + 15. Which is bigger: x or q?
q
Let g(d) = d**2 - 7*d + 4. Let l be g(6). Let h be (0/(l/(-2)))/(-2). Let t = 172 + -1206/7. Is t not equal to h?
True
Suppose 21*o - 24*o = 3. Which is greater: 4 or o?
4
Suppose 225 = -2*d + p, 0 = -3*p - p - 20. Is -115 equal to d?
True
Let x = 0.05 + -2.05. Let j = -1 - x. Let f = 0 + 0. Which is bigger: f or j?
j
Suppose 5*b + 8 = 13. Which is smaller: 2/17 or b?
2/17
Suppose 2*v + 2 = 4*v. Let n be (-3*v - 1) + -2. Let i be (2/24)/(3/n). Which is smaller: i or 1?
i
Let s = 2.09 + -0.09. Which is bigger: s or -1/3?
s
Let t(x) = -x**2 - 4 + 1 + 0 - 3*x - 2*x. Let f be t(-4). Is f < -1.1?
False
Let r = 4 + -1. Suppose -2*v - 3 = r. Let f = -0.2 - -0.3. Which is smaller: f or v?
v
Let b = 2 - -2. Let j be (-31)/5 - b/(-20). Which is smaller: -5 or j?
j
Let q(d) = 2*d - 9. Let x be q(6). Suppose -4*f - 2*t = 6, 0 = -3*f - 3*t + 3 - 12. Is x not equal to f?
True
Let b be (-3)/6*(1 + -1). Suppose 4*t = -4*f + 12, 5*t + 12*f - 10*f = 6. Do b and t have the same value?
True
Let c = 1/467 - 953/8873. Does c = 0?
False
Let i(w) = -w**3 + 6*w**2 + w - 6. Let o be i(6). Let v(t) = -t**3 - 6*t**2 - 4*t + 5. Let r be v(-5). Let h be (0 - -1)/(r - -1). Is h not equal to o?
True
Suppose 5*v - 17 = -3*f + 2*f, 0 = -2*f - 2*v + 10. Let w be (11 + -2)*6/9. Let o = -4 + w. Is f greater than o?
False
Let d be 6/(-10) + 136/160. Is d at least 0.44?
False
Let n be (-38)/(-14) + 30/7 + -4. Let z(v) = -v**3 - v + 2. Let c be z(0). Is n > c?
True
Let d = -2 + 2.4. Suppose 11 = -t - 10. Let z be (2/(-3))/(t/9). Is d bigger than z?
True
Let u be (-3)/(-10)*(-2)/(-3). Let x be (-8)/(-6)*18/(-60). Which is bigger: x or u?
u
Let x = -0.24 - -0.14. Let o = x + 0.3. Are o and -2/5 non-equal?
True
Let m = 15 - 22. Let i = 9 + m. Which is smaller: i or -2/3?
-2/3
Suppose 15 + 5 = 5*h + 5*u, 3*h - 3*u = -6. Suppose o + 0*o - h = 0. Does -1 = o?
False
Let o be 2/(-4)*(-72)/117. Is -1 less than or equal to o?
True
Suppose 4*u - 12 = -4*a, 3*a - 7 = -0*u - u. Let p = 20 - 16. Suppose 4*c - 12 = -3*x, c + 2*c - 9 = p*x. Which is greater: u or x?
u
Let f be 8 + 2 + -1 + 1. Is f at most 2?
False
Suppose 0 = -i - 8 + 1. Let f(r) = -r - 10. Let v be f(i). Which is greater: -4 or v?
v
Let d be (-957)/(-44) + 1/4. Suppose w - d = 3*n + 2*w, -3*n - 20 = 2*w. Is -7 < n?
False
Let j = -59/2 + 29. Let o(q) = q**3 - 4*q**2 - 5*q + 3. Let i be o(5). Let h be (-5)/(-6) + 2/i. Which is greater: h or j?
h
Let a(z) = -7*z**2 + 5. Let q(k) = k**2 + k - 1. Let y(i) = -a(i) - 4*q(i). Let m be y(3). Suppose 3*r - 4*o - m = 0, 5*r - 18 = o + 3*o. Is 4/7 < r?
True
Suppose -2*i = -5*i + 12. Suppose -5*n = -i*n. Let y = 256 - 2814/11. Which is greater: y or n?
y
Suppose 0 = 3*d + 5 + 1. Suppose -b = 4*z - 3*b - 30, -3*z + 3*b = -15. Let a be (4/z)/((-2)/10). Is a smaller than d?
False
Let g(c) = -2*c + 1. Let o be g(-2). Suppose -o*s + s = -12. Suppose -5*i + 0*y + 31 = -4*y, 2*i - 5*y - 26 = 0. Do i and s have different values?
False
Let f be 1*(-21)/45*3. Which is smaller: f or 0?
f
Let h = -884 + 27407/31. Which is bigger: h or -1?
h
Let j be (-3)/6 - (-2)/(-4). Let s be (j - 0)*-1*-1. Is -2 >= s?
False
Suppose 2*j - 2*c = -c + 99, -135 = -3*j - 3*c. Suppose -3*s = -7*s + j. Does s = 12?
True
Let i = -93 - -1029/11. Is 2 < i?
False
Let b(y) be the first derivative of y**3/3 + y + 1. Let v be b(-1). Which is smaller: v or 3?
v
Let l = 3/218 - -816/109. Is -1 greater than l?
False
Let o = -1 + 0. Which is smaller: o or 20/3?
o
Let t = 17 - 17. Suppose -2*z = -2 - t. Which is greater: -1/7 or z?
z
Let o be 9 + (6 - 5 - 5). Is o <= 8?
True
Let v(s) = s**2 - s - 1. Let a be v(-1). Let g = -14 - -20. Let u = -3 + g. Which is bigger: u or a?
u
Suppose -8 = -4*v - 2*t, 3*t - 4 - 8 = 3*v. Is v < -6/5?
False
Suppose 0 = 28*x - 29*x - 3. Suppose 13 + 2 = 5*g. Suppose g*p = -5*o - 2*p + 5, 5*o + 35 = 3*p. Which is smaller: o or x?
o
Let m(z) = 5 - 2*z - 5*z + 2 - z**2. Let i be m(-7). Suppose 2*j = 3*y - 7, i = -j + 4*y - 4. Is -0.1 != j?
True
Let s(k) = 3 + k**2 + 0*k**2 - 6*k + 3. Let c be s(5). Let t be 1/c - 2/3. Which is greater: -3 or t?
t
Let u = 0 + 1. Let p be (0 + u)/3 + -1. Let z = 0.024 - -0.076. Which is bigger: p or z?
z
Let i = 8 - 7.95. Let w = i + -0.05. Let g be (2/8)/(3/(-4)). Which is smaller: w or g?
g
Let r = -14 - -43/3. Let f be 560/(-1600) + 2/20. Which is greater: f or r?
r
Let a = -0.7 - -0.9. Let j = 0 - a. Which is greater: j or 4?
4
Let u = 0.3 + -0.2. Let h(n) = 5*n**3 + 2*n. Let m(q) = q**3 - q**2 + 1. Let b(y) = -h(y) + 4*m(y). Let v be b(-3). Are v and u nonequal?
True
Let r be -4*(3/(-8) - 0). Let t = 4 - -1. Suppose -5 = -4*n + f + 5, 4*n = -t*f - 2. Which is smaller: n or r?
r
Let c = -0.25 - -0.35. Which is bigger: -51 or c?
c
Let g = 26 - 26. Let y = -0.3 - -0.4. Which is bigger: g or y?
y
Let q = -117 + 115. Let c = -2 - -1. Let k = -1 + c. Is q greater than or equal to k?
True
Let t(g) = 3*g + 4*g + g**2 - 4*g**2 + 2*g**2. Let u be t(7). Which is smaller: u or 0.1?
u
Let y(w) = w**2 - 4*w + 4. Let a be y(3). Let b be ((-2)/10)/(a/(-2)). Let j = -3 - -4. Do j and b have the same value?
False
Suppose -o = 2*i - 2 + 1, 5*o = i + 27. Let m be (2 - 2)/(i/2). Is 5/7 != m?
True
Let m be (2 + -5)/(7/91). Are m and -40 unequal?
True
Let n be -4*1/2 - -2. Suppose n = -4*s + s. Which is smaller: s or -1/12?
-1/12
Let c = 70987/43 + -1651. Does -1 = c?
False
Let c = 63 - 74. Is c at least as big as -13?
True
Let b be 3 + (-1)/3*1*-12. Is 5 <= b?
True
Let u be (34/10 - 3)/7. Which is smaller: 0 or u?
0
Let i be (6/(-8))/(2/8). Suppose 2*n + 7 = -g + 2*g, 5*n - g = -10. Let r = -1 + n. Is i less than r?
True
Let s = 371/2 + -179. Let w = 25/4 - s. Does w = -1?
False
Let v be ((-1)/((-4)/(-7)))/((-1)/(-4)). Is -25/4 less than or equal to v?
False
Let w be 15/120*2/3*-1. Which is greater: w or -1?
w
Let u = -2 - -3. Suppose 3*w - 18 = -3*c, 3*w + 9 = 2*w + 2*c. Is w smaller than u?
False
Suppose 2*z - 2*c = -12, -z - 4*c + 13 = -6. Let g be z/(-2) - 78/(-12). Is g bigger than 7?
False
Let r(x) = -2*x. Let h be r(-9). Is h bigger than 18?
False
Suppose 0 = -4*d - 2*q - 142, -4*q - 56 = 4*d + 84. Is d greater than -36?
False
Let o be ((-2)/(-5))/((-2)/(-20)). Suppose -3*h + 15 = 2*h - 2*a, -4*h + 12 = o*a. Let b(z) = -z**2 + 5*z - 4. Let n be b(h). Do 4 and n have different values?
True
Suppose 14 = 3*w + 4*r, -r = -2*w + 1 + 1. Suppose 2*b + 3 = 3*k, -b + w = 2*k + 3*b. Which is smaller: 2 or k?
k
Suppose 8*l + 44 = 3*l - 3*g, 3*l + 2*g + 27 = 0. Let o = 8 + l. Is 3/5 equal to o?
False
Suppose -h = h - 16. Suppose 33*d - 34*d = -7. Is d at most h?
True
Suppose -45*l + 20 = -50*l. Are l and -14 equal?
False
Suppose a + 1 = 5. Suppose 2*j - 16 = -4*r, 20 = 4*j + 3*r + 2*r. Suppose 0 = -2*v - j*x + x, 18 = -v - a*x. Which is bigger: -3 or v?
v
Let m(n) = -n**3 + 3*n**2 + 2*n - 1. Let l be m(3). Suppose -28 = -5*a - 2*t, -4 = 3*a - a - 3*t. Which is smaller: l or a?
a
Suppose 3*h = h. Let c(d) = d**3 + 10*d**2 + 10*d + 10. Let q be c(-9). Is h < q?
True
Let m = -27 - -25. Let s = -5 - -3. Is s smaller than m?
False
Suppose 3*m = 5*k - 9, -2*m - m = -6. Is k > 3?
False
Let o(y) = 3*y - 5. Let i be o(1). Do -4/5 and i have different values?
True
Let w = 0 + 0. Let h be 3*(-3 + (-52)/(-12)). Suppose 4*t + w - h = 0. Is t <= 1?
True
Let j(