*y. Which is smaller: s or 37/3?
s
Let w = 4 - 8. Let h = w - -1. Let k = h + 3.2. Are k and 1 equal?
False
Suppose -c - 28 = -2*b - 97, -3*c + 111 = -3*b. Let a = -162/5 - b. Suppose 3*j + 6*m = m + 10, 0 = 3*j + 3*m - 6. Which is smaller: a or j?
a
Let r = -4 + 10. Let q(z) = z - 15. Let m be q(r). Is -9 > m?
False
Let x be (-2 + 16/10)/(63/45). Is x less than 1?
True
Let u = -2 - -2. Let v be (-3)/(-10) - (u + 0). Let g = v - 4/5. Is g less than 0?
True
Let c = 22.3 - 29. Let q = 1.3 - c. Which is smaller: q or -0.1?
-0.1
Suppose 2*g = 6*g - 4. Let j(r) = -r**2 - 11*r - 9. Let o be j(-10). Is g less than or equal to o?
True
Let l = 12589/5 - 2548. Let f = -23 - -53. Let y = f + l. Do -1/4 and y have different values?
True
Let z be 3 - 3*(-3)/(-9). Is z at most as big as 2?
True
Let p = 2.07 + -0.07. Let n = 2.9 + -3. Which is smaller: p or n?
n
Let c(t) = -t. Let z be c(-3). Suppose -2*j + 0*j + v + 6 = 0, j = v + 2. Let r be (j/(-190))/(z/(-15)). Do r and 0 have the same value?
False
Let p = 15 + -5. Let j = 9 - p. Let w = -3/2 + 17/14. Is w smaller than j?
False
Suppose r + 0*r + 2 = i, 0 = -3*i - 3*r + 30. Let b = i - 10. Let l be (-2)/12*-3*b. Which is smaller: l or 1?
l
Let i = -2.7 + -0.3. Let g = i + 3. Let a = -1 + g. Which is bigger: 1 or a?
1
Let x(j) = -j**2 - 9*j - 10. Let z be x(-7). Suppose 4*a - 2*a - 26 = z*k, 5*k = 2*a - 31. Suppose -2 = a*r + 1. Which is smaller: 1/5 or r?
r
Let z = -44 - -43.54. Is -1 < z?
True
Let h be (-4)/5*(-20)/24. Let w be 2/(-9) - 25/(-45). Which is bigger: h or w?
h
Let a = 698/5 - 139. Which is bigger: 0 or a?
a
Let n be ((-2135)/(-50))/(4/10). Let y = 106 - n. Let r = -5 - -3. Which is smaller: r or y?
r
Let f be (-1)/(48/(-1))*(-6)/3. Let k = -653/968 + 6/121. Let x = k + f. Which is smaller: -2 or x?
-2
Let b = -9 - -12. Suppose -2*t + 5 = y, y - 7 = -0*y - b*t. Are 2/27 and y equal?
False
Let o = -4 - -4. Let d = 2 + -1. Is d less than o?
False
Let u = -0.8 + -0.5. Let z = 0.3 + u. Let n = z + 0.8. Which is smaller: -1/3 or n?
-1/3
Suppose 5*r = -15 - 70. Which is smaller: -1/3 or r?
r
Let g(j) = -j**3 + 4*j**2 + 8*j - 10. Let o be g(5). Let t = -5 + o. Which is smaller: -1/13 or t?
-1/13
Let c be (-2)/(-6) - (-55)/15. Suppose 0*d - d - 1 = 0, 0 = 5*i + c*d + 4. Which is smaller: i or -0.5?
-0.5
Suppose k + 1 = 2. Let p = -40/153 - -2/51. Which is greater: p or k?
k
Suppose 0 = l - 4*g + 21, -2*l + 23 = 8*g - 3*g. Let r be -4 + 7 - (-9)/l. Which is smaller: r or -5?
r
Suppose -3*i - x + 19 = -6*x, 3*i - 2*x = 13. Let m(j) = -j - 3. Let p be m(-5). Which is bigger: p or i?
i
Let p be 23 - 23 - (-2)/322. Is p at least -1?
True
Let l(b) = -b**2 - 6*b - 4. Let h be l(-5). Which is smaller: -3/4 or h?
-3/4
Let w = 30 + -16. Is -1 < w?
True
Let f = 8928564/11 - 812223. Let s = f - -535. Do s and 0 have the same value?
False
Let o = 439/222 + -30/37. Which is smaller: 1 or o?
1
Let h = 0.08 + -1.08. Which is smaller: h or -0.47?
h
Let c be (0 - 1)/(2/(-10)). Let j be (-3)/65 + 1/c. Which is greater: 1 or j?
1
Let g = 4 - 3.97. Let r = -0.03 - g. Let v = r + -1.94. Which is smaller: v or -2/5?
v
Let u = 3 - 2.8. Which is smaller: u or -3?
-3
Let m(h) = h**2 - h - 8. Let q be m(4). Let u be 50/(-28) + q/14. Is -3 greater than u?
False
Let t(b) = -b**3 - 3*b**2 - 1. Let u be t(-3). Is 2/29 != u?
True
Let g = 0.5 + 0.5. Let i = g + -5. Is i smaller than 2/7?
True
Let b = -199 + 174. Is -0.2 != b?
True
Let l be 0 - (3*2)/(-1). Let x be 48/162*l/8. Let z = 29/68 + -3/17. Which is smaller: x or z?
x
Let v(h) = -h**3 - 4*h**2 + 4*h - 1. Let x be v(-5). Which is smaller: x or 2?
2
Let t = 27/44 + -3/44. Suppose -2*p - p = -30. Let k be (-4)/p - (-12)/5. Is k greater than or equal to t?
True
Suppose 0 = -8*q + 17 + 15. Which is bigger: -3 or q?
q
Let u be ((-1)/(-3))/((-6)/12). Let z(y) = y + 3. Let k be z(-3). Let l = -1/2 + k. Is u equal to l?
False
Let g = 6 + -9. Let k = 1 - -4. Let n = g + k. Which is smaller: n or 3?
n
Let k = 16 - 12. Let c be 6/((k - 5) + 6). Which is bigger: c or 0?
c
Let o = -1206/7 - -172. Let u = 8 - 8. Which is smaller: u or o?
o
Let f = 0.6 + 1.4. Suppose 0 = 2*b - 1 - 3. Suppose -s + 2*s = b*x + 10, 10 = -s - 2*x. Do s and f have different values?
True
Suppose -4*d + 3 = -d. Suppose -d = -4*l + 5*r, -2*r = -4*l + 2*r. Let z be 1 + -1 + (-1)/(-4). Is l greater than z?
False
Let a = -13/25 - -191/175. Is 1 less than a?
False
Let c = -13.2 + 12. Let i = c - -9.2. Let r = i - 8.3. Which is smaller: 0 or r?
r
Let k = -137 + 43. Is k > -93?
False
Let h be 116/14 + -5 - 3. Is h greater than or equal to -34?
True
Let t(o) = -3*o**2 + 7*o - 9. Let f be t(4). Are -30 and f nonequal?
True
Let a be (18/(-3))/(-2 + 0). Let g(u) = -u**3 - 5*u**2 + 5*u - 3. Let t be g(-6). Are a and t nonequal?
False
Let a = -17 - -8. Let n = a + 9.1. Is 3/4 at most as big as n?
False
Let u = -4 + 3.93. Let r = u - 0.23. Let o = -0.4 - r. Are 0 and o equal?
False
Suppose 4*n + 1 = 5. Which is smaller: n or 8?
n
Let v = -0.03 + -0.08. Let a = 0.01 + v. Let i be -1*((-4)/6)/2. Which is greater: i or a?
i
Suppose 5*i - 7 = 2*x - 0*x, 5*x - 5 = 5*i. Let r be 42/8*(i - -1). Let f be (r/140)/((-6)/(-4)). Is f equal to 1?
False
Let q(l) = 4*l + 11. Let j be q(6). Suppose -3*k + j = 3*d + 2*k, 2*k = 8. Is 5 greater than d?
False
Suppose -6*z - 1 = -49. Which is bigger: 11 or z?
11
Let d = -4 + 4.25. Let s = d + -0.05. Which is smaller: s or 1/3?
s
Suppose -6*c + c = 10. Is -5/2 at most as big as c?
True
Let c = -1 - 0. Let x = c - -0.9. Let v = 0 - 1/4. Is v greater than x?
False
Let x be 16/(-28)*15/(-6). Which is greater: 1 or x?
x
Let h = 275/7 - 39. Suppose 0 = 5*k + s, -18 = -3*k + s + 2*s. Let m be (3/2)/(k/2). Do m and h have different values?
True
Let r be (4/(-5))/(4/(-10)). Suppose 0 = -r*m - 2*m. Which is bigger: 2 or m?
2
Let s = 2.4 - 2. Let c = s + 5.6. Let m = 2 - 2.1. Which is smaller: c or m?
m
Let b be 4/(-14)*(-91)/65. Which is smaller: b or -1?
-1
Let n = 0 - 0. Let p(a) = a**3 - 9*a**2 + 10*a + 6. Let h be p(8). Let o = -112/5 + h. Which is bigger: o or n?
n
Let u = 7 + -6. Let z = u - -1. Which is greater: -1 or z?
z
Let i(d) = -d**2 + 3*d + 6. Let g be i(4). Is g > 9/5?
True
Let c be (-1)/3 - (-164)/(-12). Which is greater: -13 or c?
-13
Let y = -2.1 + 2. Let m(a) = 2*a**2 - 6*a - 9. Let b be m(4). Which is greater: b or y?
y
Let p = 0.1 + 1.8. Let g = -4 + 3.9. Let z = p - g. Is z < 0.1?
False
Let t = -8 + 8.14. Let r = 0.08 - t. Let p = 0.06 + r. Which is smaller: 3/2 or p?
p
Let i = -17/2 + 87/10. Suppose -3*d + s = 5, d + 2 = -3*d - s. Is d at least as big as i?
False
Let y = -1 - -13. Suppose -5*a + f - 5 = y, -11 = 3*a - f. Suppose 0*k = -2*c + 2*k - 4, 0 = 4*k. Is c at least as big as a?
True
Let w = 0.18 + -0.25. Which is smaller: 0 or w?
w
Let k = 17 - 29. Let c be (-2)/36 - (-2)/k. Which is bigger: c or 6?
6
Let x = -44 + -4. Let q be 3/5 + x/30. Is -3/4 > q?
True
Let a = -9.9 - -7.9. Is -15 > a?
False
Let u = 0 - -1. Let a = -167 - -168. Is u <= a?
True
Suppose 3*v = 2*z - 4, -2*v + 13 = -3*z - 7*v. Suppose -4*g + 3*g = 0. Suppose 2*o + 4 + g = 0. Is o < z?
True
Suppose -220 = 489*a - 487*a. Which is smaller: -109 or a?
a
Let n = 0.95 + 3.05. Is n <= -2/3?
False
Let a(k) = 6*k + 10. Let i(c) = 7*c + 11. Let q(p) = 6*a(p) - 5*i(p). Let r be q(-4). Is -3/8 > r?
False
Let g be 2/4*(-52)/(-1287). Which is smaller: 1 or g?
g
Let x = 2.36 + -0.46. Let m = -0.1 - x. Let i = 3 + m. Is i < -0.1?
False
Let y(h) = -h**3 - 2*h**2 - 2*h - 2. Let a be y(-2). Let j be (a/3)/((-175)/(-195)). Let x = 2/35 + j. Which is bigger: x or 0?
x
Let a = 1.3 - 0.9. Which is smaller: -1/3 or a?
-1/3
Suppose 0 = -3*g - 12, 3*x - 2*x - 4 = -g. Which is smaller: x or -2?
-2
Suppose 3*v + 6 = -3*z - 3, 4*v = -z. Suppose j - v = -t - 2*t, -t = 2. Which is greater: j or 5?
j
Let s(y) = -y**2 + y + 1. Let d be s(0). Let b(x) = -x**3 - 9*x**2 - 9*x - 9. Let l be b(-8). Which is greater: d or l?
d
Let z = -86/3 + 28. Let m(v) = -v**3 - v**2 + 2*v - 1. Let c(h) = -h**3 + 2*h**2 - h. Let a be c(2). Let b be m(a). Which is bigger: b or z?
z
Suppose 0 = 3*f + 2*t - 6, -2*t = 4*f - t - 3. Suppose f = 2*k - k - 4. Suppose 3*u + 5 = 4*o + k*u, 0 = 4*o + 3*u - 15. Is 1/4 < o?
False
Let y(x) = x**2 + x - 1. Let r be y(2). S