h be r(4). Is g smaller than h?
True
Let s be (-36)/(-8) - 3/(-6). Let k be 1 - s/(225/46). Let w = -412 - -411. Which is smaller: w or k?
w
Let h = -49.237 + 0.237. Is h at most 0.6?
True
Let r be -1 - -2 - 32/28. Let g = 6 + -7. Let h be (-1 - g)*(-7 + 8). Which is smaller: r or h?
r
Let p = 0 - -7. Let m(d) = 6*d - 14. Let b be m(6). Suppose 5*t = 4*i - b, -t - 30 = -5*i + i. Which is smaller: i or p?
p
Let o = -4.811 - -0.111. Let h = o - -2.7. Let n(c) = -c**3 - c**2 - c - 1. Let l be n(0). Which is smaller: h or l?
h
Suppose 0 = -59*i + 55*i + 4. Let w be i/(-2) - 247/38. Suppose -13 + 48 = -5*g. Is w greater than or equal to g?
True
Let r = 13 - 12.93. Let w = r + 0.13. Is w bigger than -1/2?
True
Let x(u) = -198*u - 595. Let n be x(-3). Is -8/191 <= n?
False
Let m be (6/255)/(((-405)/25)/9). Which is smaller: m or 0?
m
Let o(h) = -9*h**3 - h - 6*h - 4*h**2 + 5*h**3 + 5*h**3 + 12. Let n be o(5). Which is smaller: n or 4/3?
4/3
Let k(h) = 6*h**3 - h**2 + 1. Let u be k(1). Suppose 2*l = 0, -2*x = -0*x - 5*l + u. Suppose 13*r = -r. Is x equal to r?
False
Let g be 3 + -1 + 1/(-1). Suppose -2*a + 7*a + 220 = 0. Let h = a - -46. Are h and g unequal?
True
Let b = 670 - 6032/9. Is 5/7 != b?
True
Let w = -19.9 + -0.1. Let f = w - -30. Let h = -9.7 + f. Which is smaller: h or -2/13?
-2/13
Let i be (9/6)/((-1)/(-2)). Suppose 12 = r - i*r. Let q be (-15)/(-6)*r/(-5). Is 2/3 less than q?
True
Let p(x) = -x + 3. Let m be p(0). Suppose 2*q = -m*q + 20. Suppose 4 + q = -n. Which is greater: -7 or n?
-7
Let p = 366 + -366. Which is greater: p or -2/261?
p
Let j be (-6)/66*2 + 62/(-22). Let s(p) = p + 1. Let n be s(j). Suppose 4*o = 8*o + 12. Is o at least n?
False
Suppose -3*n = -4 + 19. Let t be -5 + 2 - (1 - n). Let f be (-14)/3 + 3/t. Which is smaller: -4 or f?
f
Let x = -21.4 + 21.533. Let q = -18.133 + x. Which is greater: 0.2 or q?
0.2
Let m(f) = -3*f**2 + 3*f. Let k be m(4). Do -39 and k have different values?
True
Suppose -o = -4*n - 145, o - 30 = n + 2*o. Let x = n + 8. Which is smaller: -23 or x?
x
Let y(b) = -b**3 + 28*b**2 - 9*b - 60. Let d be y(28). Which is smaller: -313 or d?
-313
Let r = -115 - -117. Let z = -0.9 - 0.1. Let c = r + z. Is -0.02 greater than or equal to c?
False
Let w = -36 + 37. Is 9/7 less than w?
False
Suppose -4*a - 114 = 562. Is a bigger than -169?
False
Let p be (-4)/(-8)*(-3 - -1). Let u be (-1)/(-2) - 2/4. Let x be 3 + -4 + p + u. Which is bigger: x or -3/2?
-3/2
Let a = 6 + -4. Let u(o) = 3*o**3 - 2*o**2 - 2*o + 2. Let k be u(a). Suppose -32 = -6*s + s + x, 0 = -4*s - 5*x + k. Is 6 >= s?
True
Let i = -64.747 + -0.253. Is i greater than -2/3?
False
Let v = -503 + 577. Is 74 != v?
False
Let g(b) = -b**2 + 2*b + 4. Let u be g(3). Let a be (3/9)/(u/12). Suppose 3*w = d - 4, -4*d + 2*w + w + 25 = 0. Is a at most as big as d?
True
Let l = -203 + 200. Is -175 < l?
True
Let s be 7/(-21)*3 + 4. Is 90/41 greater than or equal to s?
False
Let z = 2199 - 2338. Which is smaller: -1/6 or z?
z
Let o = 15.76 + -16.09. Is -10 >= o?
False
Let p = 4 + -4.2. Suppose -o - 5*t - 8 = -2*o, -5*o = t + 38. Which is greater: o or p?
p
Let x be (-1)/(1 - 95/6). Which is greater: x or -1?
x
Let v be 795/(-159)*2/(140/(-422)). Let c(l) = 7*l - 5. Let m be c(5). Let a = v - m. Is 1 at most as big as a?
False
Let x be (-99)/330 + (-2178)/140. Is -15 equal to x?
False
Let c = 597 + -605. Which is smaller: c or -5?
c
Let i be 3/2*4/(-6). Suppose 3*p - 3*y - 11 = 7*p, -2*p = y + 5. Let x be 2/14*(-3 - p). Which is smaller: i or x?
i
Let q = 28896/5555 - 2/1111. Is -3 greater than q?
False
Let z be (-146)/(-2) - (-18)/18. Which is greater: -1 or z?
z
Suppose -16*o + 14*o = -5*v + 428, 2*o - 3*v = -432. Which is smaller: o or -221?
-221
Let r = 329 - 333. Are r and -18/5 nonequal?
True
Let i(d) = 3*d + 13. Let a = 22 - 26. Let l be i(a). Let s be (6/6)/(-36 + l). Which is smaller: -1 or s?
-1
Let u(q) = -q**2 + 14*q - 10. Let f be u(13). Let b = -3 - -11. Suppose y - 2*a = 10, 0*a - b = 2*y + 3*a. Which is bigger: f or y?
f
Let c(v) = -2*v**2 + 37*v - 87. Let a be c(13). Which is greater: a or 170/3?
170/3
Let y(h) = -6*h**2 + 4*h - 3. Let o be y(2). Suppose p + 20 = -0. Let w = o - p. Is 3/7 bigger than w?
False
Suppose -4*p + 7 = -5*l, -11 + 4 = -l - 2*p. Does -3/10 = l?
False
Let m = 1 + 3. Let h = 4.3 - m. Suppose -3*v + 4*v = -r, 3*r = -4*v - 1. Which is smaller: h or r?
h
Let t(m) = -m**2 + 5*m - 1. Let o be t(4). Let w be (-1)/(-2)*2 - o. Let r(v) = v**3 - 2*v - 3. Let q be r(0). Which is smaller: q or w?
q
Let k(q) = 7*q**2 + 11*q - 13. Let t be k(2). Which is smaller: t or 73/2?
73/2
Let m = -7333/5245 - 2/1049. Which is greater: m or 0?
0
Let p = 45 + -27. Suppose 7*x - p = 4*x. Let a be x/(-68)*4/(-3). Which is greater: 1 or a?
1
Let o = -0.24 + -6.76. Let u = o + 2.4. Which is smaller: -1/4 or u?
u
Let c be 6376/140 - 13/91. Is c at least 46?
False
Let w be 5/20*-6*346. Let a = 19201/37 + w. Do 1 and a have different values?
True
Suppose 7 + 2 = 3*p. Suppose 90 = p*j + 3*j. Let i(c) = c**2 - 11*c + 14. Let l be i(11). Which is bigger: l or j?
j
Suppose -24 = 5*r + 46. Let g be (-10)/r + 12/42. Let x be 5 - (17 - 5 - 3). Is g >= x?
True
Suppose -5*r - 21 + 16 = 0. Let m(p) = -22*p**2 + 3*p - 1. Let s be m(1). Let z be (6/s)/(21/4). Is z less than r?
False
Let b be (-270)/(-4)*(-19)/95. Suppose h = 5*m + 68, 4*m - 6*h + 2*h = -48. Do b and m have different values?
True
Let n be (17/7)/((-1)/(-4)). Suppose -140 = 146*q - 160*q. Is q < n?
False
Let u be (378/(-28))/((-1)/10). Let b = -151 + u. Which is smaller: b or -86/5?
-86/5
Let x(q) = 3*q**2 - 30*q - 79. Let j be x(12). Let f(d) = -d + 5. Let g be f(4). Which is greater: j or g?
g
Let m = -3.05 + 2.15. Which is bigger: 1 or m?
1
Let j = 77.2 + -70.2. Which is bigger: j or 29?
29
Let b = 729/10 + -12673/170. Which is smaller: -3 or b?
-3
Suppose 0 = -2*n - x + 11, 0 = -2*n + x + 25 - 8. Let u(h) be the first derivative of h**2/2 - 3*h - 1. Let f be u(8). Which is bigger: f or n?
n
Let m be (-37)/3 - 7/(-21). Let c(s) = -2*s - 24. Let g be c(m). Which is smaller: g or 1/13?
g
Let b(s) = -s + 5. Let f be b(-5). Suppose 4*k + 2 = f. Suppose 9 - 37 = k*y. Is y >= -13?
False
Let g(z) = z**3 - 19*z**2 + 4*z - 17. Let q be g(17). Let k = -14227/27 - q. Which is greater: k or -1/3?
k
Let c be 6/14 - (-55)/35. Suppose 26 = -c*y + 18. Which is greater: y or -6?
y
Let z = -2/40821 - 2930040/13607. Are z and -216 non-equal?
True
Let v = 4 + -4. Let n = -9282/11 - -843. Which is smaller: n or v?
n
Let u = -346 + 345.3. Which is bigger: -0.09 or u?
-0.09
Suppose 5549 = -3*o + 2*i, -4*o = i + 6542 + 875. Let d = -201979/109 - o. Is -1 equal to d?
False
Let w(q) = 6*q**2 - 2. Let s be w(-2). Let g(l) = 15*l**2. Let c be g(-1). Let v = c - s. Which is greater: -6 or v?
-6
Suppose x + 4*a - 25 = 0, 5*x - 3*a + 8*a = 110. Let d be (-6)/x + 65/105. Which is bigger: d or -27?
d
Suppose 0 = 4*d - 3*y - 494, 0 = -d - 0*y - 4*y + 114. Which is smaller: d or 121?
121
Let y = 55 + -56. Let d be y + 2 + -3*4/36. Which is greater: d or 0?
d
Let i = -21317 - -12683612/595. Do i and -1 have different values?
True
Let s(p) = p**3 - 5*p**2 - 13*p - 8. Let f be s(7). Are -3/46 and f nonequal?
True
Let k(q) = q + 36. Let y be k(11). Let z = -49 + y. Is -1 > z?
True
Let u = -10/27 + 1/27. Let p = 11/58 + 9/29. Which is bigger: u or p?
p
Suppose 38*c - 51*c + 26 = 0. Is c less than 56/19?
True
Let x = 49 - 90. Let g = 59 + x. Which is bigger: 20 or g?
20
Let c = -1130 + 1111. Let w = 911/9 + -101. Is c != w?
True
Let o be (-4)/2 - 396/(-209). Let u = -25/4 - -71/12. Is u less than o?
True
Let n(r) = -8*r**3 + 2*r**2 - 8*r - 20. Let p be n(-2). Is 63 less than p?
True
Let o(z) = 11*z + 36. Let q be o(-7). Which is greater: -42 or q?
q
Let h = -40 + 63. Suppose 2*q + 0*q - 29 = -3*n, -4*q + h = n. Do n and 2/5 have different values?
True
Let y(k) = k - 7. Let x be y(3). Let i = -12 - -12. Are x and i nonequal?
True
Let w be (((-3)/(-2))/(-3))/7. Let c be (-154)/(-42) + 14/(-3). Is c greater than or equal to w?
False
Let b = -1799 + 1799.1. Let y = 17 + -35. Is b <= y?
False
Let r be 0 + (57/(-6))/(2/88). Is -418 equal to r?
True
Suppose 5*r - 5*t + 5 = 0, -3*r - 2*r + 2 = 2*t. Let m(s) = -s**3 - 2*s**2 - 2. Let j be m(-