+ 0.22. Is -1/2 smaller than o?
True
Let b be 448/(10*7/175). Suppose 7*f - 453 = 9*f - 3*u, -5*f = 5*u + b. Which is greater: -224 or f?
-224
Let w = -30.22 - -0.02. Let d = 25 + w. Let u = -5 - d. Which is smaller: 8/3 or u?
u
Let z(r) = -35*r**2 + 37*r - 68. Let c be z(2). Which is smaller: c or -140?
-140
Let g = -63.24 + 1457.24. Which is bigger: 2/9 or g?
g
Let g = -10.06 + 494.06. Let p = g + -409. Which is smaller: p or -0.2?
-0.2
Let r(g) = -g**3 + 5*g**2 + 8*g - 9. Let h be r(6). Let a(m) = 3*m**3 + 4*m**2 + 6*m + 15. Let d be a(-2). Let w be (-2 - d) + (-3 - h). Is w bigger than -11/4?
False
Let g = 192.4824 - 192.61. Is 1 greater than g?
True
Let b = 0 + 81. Let r = -88 + b. Let t = -5 + 4.8. Which is bigger: r or t?
t
Let i = 23645 + -22585. Is 2 at most as big as i?
True
Let i = -93515/581 - -96172255/54033. Let c = i - 1619. Which is smaller: -1 or c?
-1
Let z = 50 + -146. Let y be 0/13 + (-3)/(135/z). Is 2 at least y?
False
Let l = -12547 - -12546.7. Let z = 73.96 + -74. Which is smaller: z or l?
l
Let d = 81 - 25. Suppose -5*z - 299 = 4*v, -10*v - 5*z + d = -11*v. Suppose 0 = -3*c - 2*c - 360. Is c < v?
True
Let i = -359 + 392. Suppose -43*o = -32*o + i. Suppose -2*a - 3 = h, 4*a + 3 = 4*h + 15. Is o at least a?
False
Let f be (-13 - -5)/4 - 106973/(-184). Is 579 greater than f?
False
Let l = -2946.2 - -2688. Let p = -258 - l. Is p at least as big as 48?
False
Let m = -64552/9 + 7171. Let y = 3/16 - 7/16. Is y at most as big as m?
False
Let c(d) = 7*d**3 - 20*d - 19. Let i be c(-1). Which is bigger: i or -324/61?
-324/61
Suppose 0 = 2*z - 3*l + 4, l - 3 = -4*z + 3. Suppose 2*u + 3*r + 8 = 0, -2*r - 4 = u + z. Which is smaller: u or -9?
-9
Let c = 5482 - 8216. Which is smaller: c or 1?
c
Suppose -4*k - 3*c = -14, -5*k + 7*k - 2*c = 0. Let u be (-2)/(-30)*(k + 0 - 0). Is u greater than or equal to -0.064?
True
Let g = 0.4729 - 0.4969. Is -0.31 at most g?
True
Let m(z) = -14*z**3 - 2*z**2 + 1. Let s be m(-1). Suppose 12*w - s*w = -14. Which is greater: 11 or w?
w
Let h(f) = -2*f**2 + 6*f + 8. Suppose 2*p - 45 + 51 = 4*v, -4 = -v + p. Let s be h(v). Is s less than 14/39?
True
Let v = 0.35 - 0.4. Let a = 2 + -1.525. Let o = -0.025 - a. Is o < v?
True
Let u = -16 + 22. Let t be (-9101)/(-1437) - (-1)/(-3). Are t and u non-equal?
False
Let a = 175 - 44. Let f = a - 116. Is f at least as big as 13?
True
Suppose -5642 = -4*y + 17*y. Let l be (1/(-3))/(y/(-147) - 3). Is l > 5?
True
Let a(t) = 18*t**2 + 714*t + 1435. Let k be a(-2). Let r(i) = -i**3 + 9*i**2 - 6*i + 7. Let y be r(6). Is k <= y?
True
Let b = 228.5 - 594.3. Let r = b - -365. Is r != -3?
True
Let r be (10 - 4 - (9 + -3))/(-2). Suppose 2*d + r*d + 8 = 0, -z + 4*d = 43. Is -61 < z?
True
Suppose 4*c + 474 - 150 = 2*k, 2*c - 2*k = -160. Suppose -70*u - 5996 + 748 = -6*u. Is u not equal to c?
False
Let m = -6680 - -4416. Are m and -2266 equal?
False
Let g = 474 + -665. Let m = g - -180. Which is smaller: m or 0.3?
m
Let i = 20031.5 + -20032. Which is smaller: 225 or i?
i
Let l(f) = 3*f**2 - 32*f + 24. Let d be l(10). Suppose 3*g = -x - 10 - 8, -d*x - 20 = -g. Which is bigger: -2 or x?
-2
Let r = 18.5955 + -2.9955. Which is smaller: r or -39?
-39
Suppose -19 = -3*p + 2*p. Let r be (278/1)/(4 - -14) - (-721)/309. Which is greater: r or p?
p
Suppose -339*s = -367*s + 13 + 15. Is 15/128 >= s?
False
Let j(o) = -4*o + 23. Suppose 0 = -8*d + 24*d - 96. Let y be j(d). Which is smaller: 3/67 or y?
y
Let b(t) = -2*t - 13. Let v be b(-10). Let z = v + 26. Let l = 97 - 63. Do z and l have different values?
True
Let t = 468/2215 - 5/443. Which is bigger: 15 or t?
15
Let d = -0.0435 + 2.9735. Let a = d - 3.93. Which is bigger: 0.6 or a?
0.6
Let x = -714 - -3586/5. Suppose -14*b = -17*b. Let r(i) = -2*i + 3. Let g be r(b). Are x and g non-equal?
True
Suppose -5*w + 44 = -4*x, 4*w - 3*x - 1094 + 1059 = 0. Let m = -19.2 + -0.8. Which is bigger: w or m?
w
Let j(r) = -r**2 + r + 132. Let t be (1/3)/(5*(-8)/1320). Let x be j(t). Which is bigger: x or 6/125?
6/125
Let n(m) = m**3 + m**2. Let s be n(0). Let r = 40763/39 - 3281/3. Let l = r - -623/13. Which is smaller: s or l?
l
Let b be (-30)/17 - 18/(-45)*10. Does b = 0?
False
Let a = -305 + 349. Let u be (-7 - -13) + a/(-7). Which is smaller: 101 or u?
u
Suppose 4*o + 5*i = 268, 3*i + 87 + 87 = 3*o. Let j = 72 - o. Suppose 0 = -2*r - 5*z + 4, -z = -4*r + 8*r + j. Is r greater than or equal to -5?
True
Let j = 57/941 - 669635/11085921. Is 0 greater than j?
False
Suppose -29*h - 3657 + 873 = 0. Which is smaller: h or -1614/17?
h
Let u = -11382 + 12313. Is 932 at least as big as u?
True
Let h be (14/(-9) + 2)*1. Suppose 4*a + t - 130 = 0, 0 = -0*t - 4*t + 8. Let d = 31 - a. Is h at most as big as d?
False
Let r = -51 - -53. Suppose 0 = r*k - 5*i + 15, 3*k + 12 - 42 = -3*i. Suppose 5*a = -2*o + 4*a + 4, 2 = o - k*a. Which is smaller: o or 14/11?
14/11
Let y be ((-4)/8 + 0)*(-2 + 0). Let g(q) = -y + 9 + q + 2 - 7. Let v be g(-13). Which is smaller: v or -11?
-11
Let p be (((-9)/36)/(4/2552))/(3/6). Is -320 bigger than p?
False
Let s = 45 + -39. Let f(x) = 6*x - 23. Let j be f(s). Suppose 0 = u + j + 14. Which is greater: -25 or u?
-25
Let y = 78 - 72. Suppose -5*p - 29 = 4*g, p = 4*g - y + 5. Which is bigger: -8/51 or g?
-8/51
Let y(i) = 2*i. Let j be y(5). Let m(t) = -12*t**2 - 14*t - 54. Let f be m(-6). Let v = -393 - f. Is j not equal to v?
True
Let h(p) = -p**3 - 23*p**2 + 4. Let j be h(-23). Let q be (-2)/(j/8 - 1). Suppose -2*v - 36 = q*c, -4*v + 0*v - 3*c = 47. Is v less than -9?
False
Let j be (-35)/14*(-3396)/30. Suppose -4*y + 275 = j. Let p = -6 - -4. Is y less than or equal to p?
True
Suppose 3*c + c - 2 = 2*z, z + 5*c - 27 = 0. Suppose 642 = z*m + 2924. Let i = m + 4236/13. Which is smaller: i or 0?
i
Suppose -6*f = 2*f + 200. Let v be 248/(-10)*-2*f/10. Is -124 at least as big as v?
True
Let m = 663 - -1772. Is m at least as big as 2435?
True
Let h(w) = -28*w**3 - 6*w**2 + 3*w - 1. Let o be h(3). Let d = -814 - o. Is -16 less than or equal to d?
True
Suppose -14*d + 97 = -71. Let o be (-36141)/(-28868) - (-2 + 39/d). Which is smaller: o or 0?
0
Suppose 53*r - 51*r = 4. Suppose r*h - 2*f + 16 = -2*h, 3*h + 4*f = -1. Let k be -4 + 0/h - -4. Is -14/13 smaller than k?
True
Let x(m) = -12*m**3 - 2*m**2 + 41*m + 83. Let h be x(9). Which is smaller: -8460 or h?
-8460
Let a be 4940/(-1532) + (6 + -2 - 1). Which is greater: 1 or a?
1
Let k(p) = -156*p**3 - 5*p + 4. Let t be k(1). Let h = 36 + t. Is h at least as big as -121?
True
Suppose -67250 - 21214 = -76*h. Is h at least as big as 1157?
True
Let m = -1830 + 7467/4. Let h(w) = -47*w + 4173. Let d be h(88). Which is bigger: d or m?
d
Let n = -1571/221270 + -3/1090. Is n at least as big as -1?
True
Let d be (1/(-2))/(18/(-1)). Let y(n) = 19*n**2 + 7*n + 7. Let c be y(-1). Let a be 4/(-6)*((-114)/(-4))/c. Which is smaller: d or a?
a
Suppose 3*l + 22*b - 18*b + 2348 = 0, 4*l + 3119 = -3*b. Does l = -777?
False
Let m be (-11)/(-5) - 8/(-40)*-20. Let i = -53/35 - m. Which is smaller: i or -3/25?
-3/25
Suppose 49*g - 68*g + 2660 = 0. Let m be (-1 - (1 - 1))*-139. Which is smaller: g or m?
m
Let n = 192 + -190. Let u(s) = 24*s**3 + s**2 + 5. Let c be u(n). Which is greater: c or 200?
c
Let v(o) = -o**2 - 10*o + 16. Let y be v(2). Let t = 25 - y. Suppose -17 = -4*z - t. Is z at most as big as -3?
True
Let r be (-5536)/(-19824) - (-48)/168. Which is smaller: 2 or r?
r
Let p = 31 - 87. Let g = p - -158. Is 104 at most as big as g?
False
Let d = -11 - -34. Let u = d + -160/7. Are 1 and u non-equal?
True
Suppose 0 = -a - 23 + 2. Let w(s) = 10*s - 8 + 24*s + 56 + s**2 - 10*s. Let k be w(a). Do -12 and k have the same value?
False
Let c(m) = -5 + 14*m + m**2 - 10 + 10 - 3. Suppose 47 - 19 = -2*u. Let w be c(u). Which is greater: -3 or w?
-3
Let a be 10/((-200)/(-195)) + (-6)/8. Let h(m) = m**2 - 20*m + 99. Let p be h(a). Is 1/105 at most as big as p?
False
Let q(c) be the second derivative of -5*c**3/6 + 10*c**2 - 3*c. Let s be q(0). Suppose -4*x + 8*x = 4*w - s, 3*w = 0. Is -6 > x?
False
Suppose -29*f + 252 = -23*f. Which is bigger: f or 52?
52
Let j = -146 - -3211/22. Suppose -4*o - 4*v - 60 = 0, 57 = -5*o + 11*v - 10*v. Let i be 4/6*(o/8)/(-1). Is j less than or equal to i?
True
Let d(h) = h**3 + 5*h**