ppose 3*t - 5*b - 9 = 0, t - 4 = 4*b - 1. Suppose -3*o - t*f + 2*f = 10, 4*f = 5*o + 28. Is w greater than or equal to o?
True
Let o be 276/1012 - (-3462)/(-110). Do o and -31 have the same value?
False
Let v be (-8)/2 - (-4)/2. Let o be 10 - 1 - (1 - v). Let h = -14 + 19. Which is bigger: h or o?
o
Let l be 90/(-12) - -9 - (-223)/2. Are l and 114 nonequal?
True
Suppose 30*l + 376 = -224. Is l at least -18?
False
Let a(u) = u**3 - 2*u**2 - 12*u - 14. Let g be a(-4). Let n = -56 - g. Is n bigger than 4?
True
Suppose 0 = -0*k - 4*k - 4. Let v = 1/1226 + 9767/50266. Let w = v + -202/615. Which is smaller: w or k?
k
Let s(z) = 6*z**2 + 7*z**2 + 150*z**3 - 151*z**3 + 14*z. Let b be s(14). Is b bigger than 2/143?
False
Let a = -1 + -5. Let b be 70/21*a/(-4). Let r be (-42)/(-35)*(-10)/(-4). Which is bigger: r or b?
b
Suppose -11*l + 16*l + 210 = 0. Let a be (l/30)/(1/(-5)). Let i be (-3)/(-6) + 3 + 2. Does i = a?
False
Let m(s) = s + 15. Let f be m(-10). Let i be (-4 + 9)/f - -2. Let y = -4 - -6. Which is greater: y or i?
i
Suppose 1 = 4*u + 9. Let g(c) = -55*c + 12. Let f be g(-6). Let d = f + -2400/7. Is u at least as big as d?
False
Suppose 2*j = -q + 6, 2*q - 8 = j - 1. Which is smaller: q or 24?
q
Let o = -2717 - -2715.583. Let x = -0.017 - o. Is -1 >= x?
False
Let h = -76 - -9. Let z = -68 - h. Which is bigger: 3/13 or z?
3/13
Let b = 44 + -925. Let l = 30833/35 + b. Is l > 0?
False
Let d = 17 - 12. Suppose 4*h + 23 = k, 0 = d*k - h - 4 - 16. Suppose -k*f = -4*f. Is 1/12 greater than or equal to f?
True
Suppose -5 = -3*a + 1. Let x be a/5 - 108/(-30). Let k be 4 + -5 - (-3)/x. Are 8 and k non-equal?
True
Let q(t) = -3*t - 2. Let x(a) = -a - 1. Let k(d) = -q(d) + x(d). Let u be k(-5). Let c = 3 + u. Which is smaller: -0.1 or c?
c
Suppose 4*m - 14 = -2*h, -2*m + m - 7 = -3*h. Suppose -d = 0, 4*n = 4*d - h*d + 100. Suppose 4*y = -7 - n. Is y >= -7?
False
Suppose -3912 = 10*f - 6*f - a, 5*a + 20 = 0. Is f at most -979?
True
Let u(i) = -i**2 + i. Let k be u(0). Let g be 12/(-54) + 943/(-9). Let l be 6/(-5)*(-50)/g. Which is bigger: l or k?
k
Let z = -0.064 + 6.664. Is -0.2 equal to z?
False
Let q(v) = 3*v**3 - 2*v - 2. Let b be q(-2). Let j be 4 - ((-8)/4 - b). Do 2/3 and j have the same value?
False
Let v = -794/1683 + 16/33. Suppose 0 = -c - c. Is c at most v?
True
Let o = 0.118 + -4.168. Let j = 96.95 - 97. Let q = j - o. Are q and 0.2 equal?
False
Let k(h) = -5*h - 7*h + 2*h**2 + 8 - 7. Let a be k(6). Let g be 2/(-3)*(-45)/24. Which is smaller: a or g?
a
Let j(p) = 5 - p - 3*p**2 - 1 - p**3 + 0*p. Let d(o) = -o**3 - 6*o**2 - 5*o - 3. Let b be d(-5). Let u be j(b). Is -1 at most as big as u?
True
Let s be (-16)/20*(-10)/28. Let b = 0 - 3. Let v be b - -2 - 6/(-5). Is v less than s?
True
Let n be (31/11)/1 - (-31 - -34). Are -1 and n unequal?
True
Let o = 73 + -51. Suppose -27*x - 5 = -o*x. Which is smaller: x or 3/26?
x
Let t = -655.05 - -655. Does t = -174?
False
Let u = -0.672 + 1.262. Which is smaller: u or -1?
-1
Suppose 4*u = 4*i - 7*i + 26, 5*i - 4*u = -10. Suppose -7*q = -i + 9. Which is bigger: q or 37?
37
Let s = -0.092 + 104.692. Let h = s - 11.6. Which is bigger: h or -1/2?
h
Let v(u) = 453*u - 6796. Let j be v(15). Let y be (1 + -3)*2/(-4). Let s be 5/(-6) - (-2 + y). Is j less than s?
True
Let a(g) = g**2 + 2. Let d be a(0). Suppose 4*c - 4*r = -148, 4*c + r + 183 = -d*r. Let l be 1/((15/c)/5). Which is smaller: l or -15?
-15
Let h(l) = -18*l**2 + 18*l - 32. Let d be h(2). Is -206/3 smaller than d?
True
Suppose m - 322 = 8*m. Let z = m + 50. Which is smaller: z or 3?
3
Let s be (3/(-2))/(1*(-4)/56). Let f(i) = -i**2 + 23*i - 25. Let d be f(s). Is d > 14?
True
Let l = -32 - -71. Let g = 81 - l. Suppose 4*h = u - 43, -5*u + g = -2*h + 7. Is -10 at least as big as h?
True
Let w = -6/67 + 65/1474. Let a = w + 47/66. Let s = -77 - -69. Which is smaller: a or s?
s
Let v(z) = -z**2 + 17*z - 19. Let x be v(16). Let u be 2 + x - (-85)/(-5). Is -20 > u?
False
Let b be 4 - 226/12*45/210. Let m = 2 - 2. Which is smaller: b or m?
b
Let w = -10753/5 + 2144. Let c = 493/75 + w. Suppose 3*q = 4*q. Which is bigger: c or q?
q
Let t be -2 + 4 - (-4)/(-2). Suppose -2*u - 3*x - 4 = t, -4*u + 2*x + 5 = -3*u. Let h be (0 + 1 - 60/45)/(-3). Which is smaller: h or u?
h
Let g = 242 - 240. Is -3 < g?
True
Let f be (-3)/(-2) - (-1675)/50. Suppose -4*h + f = 2*s - 7*s, 0 = 5*h + 4*s - 13. Are 4 and h nonequal?
True
Let i(q) = q**2 + 2*q - 4. Let t be i(3). Suppose -5 - 14 = -3*o + 2*f, 4*o - 24 = 3*f. Let d be 10/(-3) - 8/((-24)/o). Which is smaller: d or t?
d
Suppose -j = b + 25, -3*b = -2*j - 6*b - 55. Let h be 4 + (1*-15)/(-1). Let u = h + j. Which is bigger: -8/5 or u?
u
Let q(z) = -14*z - 121. Let s be q(-9). Which is smaller: 58/11 or s?
s
Suppose -3*i - 12 = -6. Let n = i - -2. Is 0 greater than n?
False
Suppose -h + 60 = -5*k, -h + 8 + 12 = 5*k. Let m = -40 + h. Which is smaller: m or 1/16?
m
Suppose -864 = -l + 519. Is l less than 1384?
True
Let n = -42 + 16. Let i = 53 + n. Suppose -4*k = 2*y - 3*y + 20, -k - i = -3*y. Are 8 and y unequal?
False
Suppose -4*h + 9*h - 19 = -4*i, -h = -3*i. Let t be h/30 - (-1204)/(-40). Is -31 less than t?
True
Let q = -161964/1117 + 145. Does q = 0?
False
Suppose 0 = 5*s + 4*l - 4332, -2*s + 2*l = -1164 - 576. Suppose -148 = 6*p - s. Let t be 4*-1*4/p. Is t not equal to 1?
True
Suppose 0 = -4*c - 70 + 198. Let n(a) = a**3 + 31*a**2 - 68*a - 32. Let z be n(-33). Which is smaller: z or c?
c
Let r(p) = -6*p + 5. Let y(j) = j - 1. Suppose -13 = z + 4*h, -2*h - 4 = 2. Let s(v) = z*r(v) - y(v). Let g be s(2). Which is bigger: g or 3?
g
Let x be ((-288)/(-192))/(24/130). Which is greater: 7 or x?
x
Let w = 190 - 65. Is w > 125?
False
Let h(f) be the first derivative of -f**3/3 + f + 1. Let t be h(-3). Which is bigger: t or -1?
-1
Let k(i) = -i**3 + 21*i**2 + 18*i + 40. Let l be k(22). Let z be (-10)/l + (39/18)/13. Let h(j) = j - 4. Let q be h(4). Which is greater: z or q?
z
Let j = 59 - 60. Let u = -1091/14 - -822/7. Let t = u + -38. Which is bigger: j or t?
t
Suppose 4 = -s - 2*l, -2*l + 0*l = -5*s + 4. Let f = s - -2. Suppose -f*d - 10 = -5*p + 4, 3*d = p - 8. Which is bigger: 1 or p?
p
Let w = 49 - 93. Let r = -43.92 - w. Which is bigger: 1/3 or r?
1/3
Let j = 121.83 + -121. Let r = j - 0.93. Which is smaller: r or -4?
-4
Let j = -915491/1981 - -3235/7. Which is greater: j or 1?
1
Let o be 7 + -2*(0 + -1). Let i(h) be the second derivative of h**5/20 + 7*h**4/12 - h**3/6 + h**2/2 - 2*h. Let r be i(-7). Is o greater than r?
True
Let r be 2*2/(-6) - 2548/12870. Let b = -4/165 + r. Let x = 0 + -1. Which is smaller: x or b?
x
Let r = 3.82 + -3.72. Is -51 not equal to r?
True
Suppose 0 = a - 4*z - 20, -5*z = -5*a - 20 + 60. Suppose k = 6*k + v + 6, 2*v = -2*k - a. Let l be ((-1)/1)/(k/2). Which is smaller: l or 0?
0
Let k = 1192 - 110855/93. Suppose -11*a - a - 10*a = 0. Which is smaller: k or a?
a
Suppose -5*b - 12 + 12 = 0. Let o = -5 + 5. Suppose o = 4*f - b*f. Which is smaller: f or 3/7?
f
Let q = -122 - -72. Let t = q + 51. Is t smaller than 1?
False
Let n = 0.1 + 0. Let a = 203 + -174.1. Let g = a - 29. Which is smaller: n or g?
g
Let i = 37 + -32. Suppose 3*r - 2 + 50 = -i*v, 0 = 4*v - 12. Is -21 at most as big as r?
True
Let c(h) = 4*h**2 + 331*h + 240. Let r be c(-82). Suppose -2*g - 25 = y + 2*y, 0 = 4*y - g + 15. Which is smaller: r or y?
r
Suppose 87*d - 91350 = -19227. Which is bigger: 830 or d?
830
Let y = 2323070790/923 + -2516870. Let b be 60/(-710)*(-1 - -2). Let k = y - b. Which is smaller: k or 1?
k
Suppose -18 = -r + 5*u - 7, -2*u = -4*r + 26. Let o = 0.1 - -0.04. Let b = o - 0.24. Does r = b?
False
Let m be (-97)/2 - 15/(-10). Let q be m/(-4) + (9/(-12))/1. Which is bigger: q or 12?
12
Let i = 276/85 - 4/85. Let y = 33/10 - i. Which is greater: y or -2/7?
y
Let r = 0.4 - 2.2. Let l = -1.9 - r. Let z = -372/11 + 34. Which is bigger: l or z?
z
Let v = 109 - 435/4. Let i = -17.74 + -0.26. Is v bigger than i?
True
Let a = 78 + -78. Let l be 3/(a/4 - 3). Which is smaller: -7 or l?
-7
Let u = -20/13 + 248/195. Which is greater: u or 5?
5
Suppose -10*m + 151 = -59. Do 29 and m have the same value?
False
Let m = 12368/27 + -458. Is -1 not equal to m?
True
Let g = -1081.9347 + 1082. Is -0.1 less than g?
True
S