22. Let z = -2.4 + n. Let r = -25.7 + z. Which is smaller: 2/5 or r?
r
Let f(c) = 19*c**2 + 37*c + 69. Let s be f(-2). Is 72 bigger than s?
True
Suppose -n = -3*n + 2. Suppose -3*m - 3*w - 2 = -5, 0 = -m + w - n. Suppose -2*h - 10 = -4*b, -5*h + m*h - 15 = -5*b. Are 1/11 and h non-equal?
True
Let q(a) = -3*a**2 - 29*a. Let k be q(-3). Are 60 and k non-equal?
False
Let w(y) = y - 5. Let n be w(-7). Let l(p) = -p**2 - 11*p + 13. Let u be l(n). Which is bigger: -2/41 or u?
u
Suppose -3*j = -0*j - 12. Suppose 2*z - 4*c = 5 + 3, z - 4 = 5*c. Suppose 0 = z*m - 3*q - 27, -2*m + j*m + 14 = -4*q. Which is smaller: m or 5?
m
Let h = -50.1 - -50. Which is smaller: h or 485?
h
Let g = 57 - 58. Suppose 0 = -5*r + 4*r - 3. Let z be (r/2)/((-56)/(-80)). Which is smaller: g or z?
z
Let r = -27 + 53. Let l = 26.2 - r. Which is bigger: l or -0.1?
l
Let t = -237 - -257.8. Let b = -280 - -259. Let m = t + b. Do -1/4 and m have different values?
True
Suppose 870 = 5*p + 235. Do p and 127 have the same value?
True
Let q = -0.14 + 0.05. Let x = 0.29 + q. Is x at most as big as 1?
True
Let r(p) = -p**2 - 2*p + 3. Let c be r(-3). Let f = -69 - -1037/15. Which is bigger: f or c?
f
Let j = -8.74 + 7.74. Is 867 less than j?
False
Let z be (-3)/48*20936/50. Let a = z + 105/4. Suppose 0*d - m = -5*d, 3*d + 3*m = 0. Are d and a unequal?
True
Suppose -137 = -2*q + 1. Is 346/5 at least as big as q?
True
Let a = -9 - -4. Let w = a - -4.8. Let z = 0.2 + w. Is z at most 0.1?
True
Let x(s) = 9 + 6*s**2 + s**3 + 5*s**2 - 8*s - 3*s**2. Let y be x(-9). Which is greater: 2/9 or y?
2/9
Let v = -13.96 + 14. Let o = 1.04 - v. Let l = 0.05 - -6.95. Which is bigger: l or o?
l
Let v(i) = -i**3 + 19*i**2 - 59*i - 17. Let p be v(15). Are -80/29 and p non-equal?
True
Suppose 0 = 3*j - 2*z + 29, 31*j - 4*z + 23 = 30*j. Which is smaller: j or 2?
j
Let m be ((-10)/(-8))/(3/3 + -2). Let s = -0.5 - -0.52. Let f = 0.12 - s. Is f at most m?
False
Let w = -37 - -26. Let x(b) be the first derivative of -b**4/4 - 5*b**3/3 + 7*b**2/2 - 5*b - 10. Let m be x(-6). Is w at most as big as m?
True
Let m be ((0 - -4) + (-2911)/5)/(-71). Let f = 4/71 + m. Are f and 9 unequal?
True
Let f = -2/123 + 28/41. Let c be (32/(-12) - -3)*33. Let v = -9 + c. Do v and f have different values?
True
Suppose 0 = 5*n + 225 + 435. Let u = n - -926/7. Is -4 at most as big as u?
True
Let l = 5925 - 314050/53. Is l smaller than 0?
True
Let f = 73/3 + -24. Let t = 2708 - 2725. Which is bigger: t or f?
f
Let s = 629 + -628.7. Which is bigger: -0.1 or s?
s
Let v(i) = -i**3 + 2*i**2 + 4*i + 2. Let p be v(3). Suppose -p*a - 2*r - 3 = 9, 3*a + 7 = -r. Let m be (8 + -10)*(-1)/a. Which is greater: m or 1?
1
Let p = 9 + -9. Let y = 2 + p. Suppose -y*j + 3 = 9. Which is smaller: -4 or j?
-4
Suppose -6*b + r - 334 = -10*b, -5*r + 326 = 4*b. Which is bigger: b or 82?
b
Suppose -4*q = i - 25 + 1, 0 = 2*q + 2*i - 6. Which is smaller: -4 or q?
-4
Let j = -0.6 + 0. Let f = 48 - 52.6. Let u = f - j. Is 0 equal to u?
False
Let i(n) = 2*n + 15. Let d(o) = -4 - o - 6 - 10. Let s be d(-12). Let t be i(s). Is t < -2/25?
True
Let d = 45 + -43. Let w(k) = -k**3 + 3*k**2 - 3*k + 3. Let m be w(d). Suppose -3*g + s + 4*s = -24, 0 = -3*g + 4*s + 21. Is g < m?
False
Let q(c) = -c - 6. Let h be q(-6). Suppose m = -h*m - 4. Let r = -4 - m. Which is bigger: r or -2/29?
r
Let n = -10 + 9.9. Let h be -1 + 1495/45 + 2/(-9). Suppose 4*a + h = 4*m, 0 = 4*a + m - 0*m + 17. Is a smaller than n?
True
Let g be ((-136)/102)/((-28)/(-6)). Which is bigger: -0.433 or g?
g
Suppose 0*r + 9 = 3*r. Let h be (52/(-273))/(2/(-45)). Is h greater than or equal to r?
True
Suppose 7 = -8*q - 9. Let p(n) = 6*n + 2. Let j be p(q). Which is bigger: j or -8?
-8
Let b be ((-6)/18)/(((-28)/(-8))/7). Let k = -1.26 + 1.4. Is k at most b?
False
Let n(x) = -x**2 - 11*x + 253. Let r be n(10). Let q be 2*((-141)/(-6) + -2). Is q equal to r?
True
Let k = 498 + -498.037. Is -1 smaller than k?
True
Let c(a) = a**3 - a + 7. Let h be c(-7). Let x be (-10)/(-35) - (-73)/h. Let y = x + 79/235. Which is smaller: -1 or y?
-1
Let o = -51 + 51. Which is smaller: o or -2/121?
-2/121
Let f(c) = -11*c + 13. Let v be f(1). Which is bigger: 54/23 or v?
54/23
Let u = -4.7 + 4.7. Let h = u - -6. Which is greater: h or 0.3?
h
Let n be (-1)/3 - (-3)/(-45). Let v = 625/6 - 207/2. Which is smaller: n or v?
n
Let g(r) = r**3 + 33*r**2 + r - 9. Let i be g(-33). Which is smaller: -40 or i?
i
Let n = 4 + -1. Let y = -13275/7 + 1899. Which is smaller: n or y?
y
Suppose 3*k - 2*k = -24. Let y be 2 + 0 + k/39. Which is smaller: y or 1?
1
Let n = 193 - 199. Is n <= 2/13?
True
Let x(h) = 3*h - 72. Let k be x(24). Which is smaller: k or 1/109?
k
Let q = -452 + 452.4. Which is smaller: -0.008 or q?
-0.008
Suppose a = 2*f + 3*a + 6, -a - 3 = -f. Suppose f = -5*j - 13 - 7, 2*j + 18 = -5*i. Is -18/7 <= i?
True
Suppose -21*u - 1666 = 1526. Which is smaller: u or 5?
u
Suppose -4 = -4*t, 2*t = d + 4*t + 6. Let v be d/(-36)*-6 - (-2)/(-3). Which is smaller: v or -22/9?
-22/9
Let u = -41826 + 500605/12. Let j(y) = 6*y**3 - 5*y**2 - 3*y + 1. Let t be j(3). Let s = u + t. Is 1 > s?
True
Let g = -48 + 68. Suppose g = 3*v - 8*v. Let o = -3 - v. Is 2 > o?
True
Suppose x - 7*c + 11*c = -20, 0 = -x + 4*c - 44. Which is greater: x or -29?
-29
Suppose -2*c = 2*c. Suppose c*w = 2*w - 10, 3*w - 40 = -5*u. Suppose 0*t + u = -5*t. Which is bigger: 2/7 or t?
2/7
Suppose 56 = -5*r - h, 0 = 5*r - 2*h + 4*h + 57. Let q = r - -8. Let i be ((-10)/(-25))/((-3)/30). Is q bigger than i?
True
Suppose -4*k = -0*k. Suppose 5*z - 2*d + 8 = 0, -z - 5*d + 20 = -0*d. Suppose k*u + 2*u - 10 = z. Which is smaller: 3 or u?
3
Let t(o) = -5*o - 1. Suppose 3 = -h + 2. Let j be t(h). Suppose -6 = -i - 5*v + v, 0 = j*i + 4*v. Which is bigger: i or -5/2?
i
Let i = 14678 + -50712488/3455. Which is bigger: i or 1?
1
Let g = 1.7 - 1.9. Let n = 0.1 + g. Is -2/3 equal to n?
False
Let l = -7/9 - -1/9. Suppose 1 = 2*r + 3. Which is smaller: l or r?
r
Let u(f) = -4*f - 29. Let z be u(7). Let n = -57 - z. Which is smaller: n or 3/11?
n
Suppose 6*p - 32 = -5*c + 2*p, -p = -5*c + 17. Suppose l = c*l - 3. Let g be 1/(2 + 38/(-16)) - -3. Which is bigger: l or g?
l
Suppose 5*l + 0 + 5 = 0. Let o be 4/24 - (-15)/342. Which is bigger: l or o?
o
Let r = -0.037 + -0.093. Which is smaller: -1 or r?
-1
Let j(r) = -r**2 - r + 6. Suppose 5*l + 16 = l. Let d = 4 + l. Let q be j(d). Is q > 5?
True
Suppose -b + 3*b = -4*v + 682, -4*v - 4*b = -684. Which is bigger: v or 171?
171
Let k = -1935/7 + 276. Suppose -10 + 1 = -3*d + 3*p, p = -d - 1. Which is smaller: d or k?
k
Let s = 172 - 171. Suppose 0 = 4*w - j + 29, 3*w + s + 2 = -3*j. Is w at most 3?
True
Let m = -0.156 + -90.844. Let o = 48 + m. Do o and -0.1 have the same value?
False
Let r be 5/((-5115)/993) - 1*-1. Let x = r - 1684/341. Is x <= -6?
False
Suppose 5*l - 2 = 8. Suppose -4*q + 15 = -5*n, 5*n + 0 + 15 = -l*q. Is q greater than 8/9?
False
Let q(z) = 2*z**3 + 45*z**2 + 19*z - 82. Let m be q(-22). Which is bigger: -19 or m?
m
Suppose 0 = 2*w - 69*s + 70*s - 721, 4*w - 4*s = 1472. Do 364 and w have the same value?
False
Let w be (-456 + 5)/(-2 - -1). Let l = 20297/45 - w. Is 1 greater than or equal to l?
True
Let u be 2490/(24/(21 + -9)). Which is bigger: 1244 or u?
u
Let d = 52.9 + -53. Which is smaller: -45 or d?
-45
Let d be ((-3)/(-6))/((-1)/26). Let m(z) = -z**3 - 16*z**2 + 9*z + 4. Let w(u) = -u**2 - u - 1. Let k(v) = m(v) - 4*w(v). Let s be k(d). Is s < 8?
False
Let h = -238 + 237. Is h < 1/102?
True
Suppose 0 = 5*y - 5*s - 40, 0 = 5*s - 3*s - 6. Let j = 10921 + -10916. Which is greater: j or y?
y
Let u = -40.101 + 17.23. Let s = 0.229 - u. Let a = s - 23. Is a greater than or equal to -0.01?
True
Let i = 1365 + -307. Is i < 1058?
False
Let m(z) = 10*z + 198. Let j be m(-20). Which is smaller: -13/6 or j?
-13/6
Let y(s) = 3*s**2 - 15*s. Let w be y(6). Is 12 greater than or equal to w?
False
Let z be 1*(-542)/(-6) - 3. Do z and 87 have different values?
True
Suppose 4*v = 16, -3*m + 5*m - v - 8 = 0. Let a be 165/35 + 2/7. Suppose -4*q + 5*q - a = 0. Which is greater: q or m?
m
Let v = -435 - -406. Which is greater: 1 or v?
1
Let l = -0.304 + 0.104. Let d = 0 + 0.3. Let h = d + l. Which is smaller: h or -24?
-24
Let a = -0.134 