reater: q or h?
h
Let n = 7.7 - 7.39. Let q = 14.69 + n. Let u = q - 15.06. Which is smaller: u or 0.1?
u
Let a be -3 + -2 - -1 - 216. Which is smaller: -221 or a?
-221
Let v be 1/(1/(-2)) - -5. Suppose v*z - 168 + 3 = 0. Let k be 105/z - (0 - -2). Is k equal to 1?
False
Let s(j) = -j - 1. Let i be s(-3). Suppose -x = i*x + 6. Let c be x*3/90*1. Which is bigger: c or 1?
1
Let y = -1922/3 + 641. Let g = 1.9 - 2. Which is smaller: y or g?
g
Let k = 13/96 - 15/32. Is 456 <= k?
False
Let i be (-6 + 7)/((-1)/(-2)). Let u be (i - 0) + 1*-3. Let l be (u/5)/(-2 + 1). Is -1 bigger than l?
False
Let l(a) = -2*a**3 + 2*a**2 + 3*a - 3. Let i be l(2). Suppose 0 = 4*y + 4*y - 80. Let g be (-2)/y - (3 - (-20)/25). Which is bigger: i or g?
g
Let x = -1.221 - -0.521. Is x greater than 1/88?
False
Let v = 277 + -573. Is v at most -296?
True
Suppose 7 + 2 = 3*x. Let d(a) = 7*a - 7. Let t be d(x). Is t greater than 11?
True
Let k(c) = 56*c + 30. Let w be k(12). Let t be (-1)/7 + w/5208. Which is smaller: t or 1?
t
Let j = -1471/9 - -163. Are j and -1 nonequal?
True
Let i = 11 - 140. Let j = i + 1162/9. Let x = 0 - 0. Which is smaller: j or x?
x
Let k = -0.93 + -0.93. Let t = k + -0.14. Let u = 5.9 + -6. Which is smaller: t or u?
t
Suppose -3*x + 80 = -8*x. Let s = x + 15. Which is smaller: s or -1/3?
s
Suppose -4*c - 129 = -121. Let j be (-2 + 5)/(-1*1). Let h be 0/(j - c - 0). Is 3 at least as big as h?
True
Let n be 12/17*(-8)/36. Let r = 3/17 - n. Let u = r - -1/15. Is u less than 2/9?
False
Suppose 0 = -5*d - 5*f - 20, -3 = -4*d - 2*f - 21. Let b be 49*16/168 - 2/3. Is b bigger than d?
True
Let s be (133/730)/((-78)/325). Let a = s + 2/219. Which is bigger: a or 0?
0
Let j be -9 - -3 - -6 - (-2)/(-50). Which is smaller: -1 or j?
-1
Let y(x) = 14*x - 20. Let p be y(4). Let c be (168/p)/(2/((-12)/(-1))). Which is bigger: c or 2?
c
Suppose 0 = 3*c - 15, 5*f - 6*c = -4*c - 5. Which is greater: f or 1058?
1058
Let h be 19 - (-1 - (-1 - 4)). Let i = -34 + h. Is i not equal to -18?
True
Let j = 438 - 438. Which is bigger: -4/23 or j?
j
Let n = -16 + 138. Let r = n - 121. Is r at most as big as 2?
True
Let u be ((-70)/(-5) - 8) + 6672/(-1113). Are u and 0 unequal?
True
Let q(v) = v + 5. Let y be q(-7). Let z be 0 + 1*y/20. Let a(m) = m + 5. Let f be a(-5). Which is smaller: z or f?
z
Suppose -34*d - 112 = -48*d. Let z be (-64)/(-7) - 0/5. Which is bigger: d or z?
z
Let a = 316 + -326. Is -0.3 greater than a?
True
Let c = 0.714 - -0.286. Is c != -480?
True
Suppose -4*n + 46 = 6. Suppose 7 = -w + 4*d, 3*d + n = 2*w + d. Is w > 6?
True
Let u(y) be the third derivative of 5*y**4/24 + 2*y**3/3 - 25*y**2. Let v be u(-2). Which is bigger: -8 or v?
v
Let s = 54 - 53.38. Let f = s + -1.62. Is f equal to 0?
False
Let k(h) be the first derivative of h**4/4 - 11*h**3/3 + 3*h**2/2 + 19*h + 8. Let i be k(10). Is i at most as big as -50?
True
Let f = -562 + 562.032. Is f smaller than -2?
False
Suppose -5*g - 4 = 3*w, -2*g - 6 = 2*w + 3*g. Let x be 1 - ((1 - 5) + w). Let i be (-1)/x*(4 - 4). Do i and 0 have different values?
False
Suppose -4*d - 334 = -0*d - 2*n, 3*d = -4*n - 256. Let k = -81 - d. Do k and 8 have different values?
True
Let n(k) = -k**2 + 20*k - 42. Let c be n(17). Suppose -c*f + 1 = -10*f. Let l = -34 + 127/4. Are l and f unequal?
True
Let p be (6/56)/(1/4). Let k = 23 + -73. Let y = -50.1 - k. Which is bigger: p or y?
p
Let f(q) = -69*q + 10. Let g be f(0). Which is greater: g or 6?
g
Let v(b) = 5*b - 50. Let w be v(16). Are 28 and w unequal?
True
Let y be (15/(-4))/((-9)/312). Let h be -2 - (0 + y/3). Let u = -45 - h. Which is bigger: u or 6/17?
6/17
Let v = -164461/107 - -1537. Suppose 0 = -3*q + u - 3*u + 9, q - 5*u = -14. Are q and v non-equal?
True
Let f be ((-24)/16)/(9/(-12)). Let a be (-1*f/33)/(8/(-6)). Is a >= 1?
False
Let n(o) = -o - 4. Let y be n(-13). Suppose y = -4*w + 21. Which is smaller: w or -13?
-13
Let y = 365.01 + -365. Is 2.4 < y?
False
Let n = -512.02 - -523. Let y = 11 - n. Let o = y + 0.08. Is 12 < o?
False
Let m(q) = -q**2 - q + 42. Let d be m(-7). Which is smaller: d or 12/169?
d
Let i = -1061362424/1799145 + 16/199905. Let p = -444 - 146. Let s = p - i. Are -1 and s unequal?
True
Let j(s) = 151*s - 22. Let n be j(-6). Let k = n + 39902/43. Which is bigger: k or 0?
0
Suppose 0 = 5*z - 5*s, 22 = 3*z + 3*s - 8. Suppose 5*w + g = -25, 3*w = z*g - 19 + 4. Is w smaller than -3?
True
Let w = 9 + 4. Let u = -5 - -4. Is u less than or equal to w?
True
Let c(k) = 103*k**2 + 13*k + 1. Let t be c(-3). Are t and 888 equal?
False
Let n(b) = b**3 + 35*b**2 + 3 - 3*b - 15*b**2 - 17*b**2. Let h be n(-4). Let a = 102540/79 + -1298. Is a < h?
False
Let h be (-8)/6*(-18)/2. Suppose -4*v = -4 + h. Is v at most as big as -11/7?
True
Suppose -5*g + 30 = 2*o, 4*o - 2*g - 32 = 2*g. Which is bigger: -55 or o?
o
Let n be (11 + 0)/(-55)*65. Suppose 23 = 5*c + 78. Which is bigger: c or n?
c
Let i(x) = -x**3 + 2*x**2 + x - 1. Let k be i(2). Let r be 2 - -3 - 357/49. Do r and k have different values?
True
Let g = 270 + -245. Is g >= 24?
True
Let n be (4/(-3))/(320/81 + -4). Which is greater: n or 39?
39
Let g = 2793 + -2792. Is g at most 1092?
True
Let l be ((-4)/6)/((-8)/(-108)). Let h(n) = 4*n + 36. Let x be h(l). Which is smaller: -6/31 or x?
-6/31
Let v(i) = i**2 + 10*i + 1. Let d be v(-8). Let r be d/(-4) - (-9)/(-12). Suppose -5*h - 31 = -r*a, 6 = -h - 4*a - 14. Which is smaller: -10 or h?
-10
Let j = 1610 - 1064. Which is greater: 545 or j?
j
Let x = -28 + 30. Suppose x*a = -28 - 24. Is -25 >= a?
True
Let m = 3 - 3.1. Let z = 6.3 + -6.5. Let s = z - m. Do -1/3 and s have different values?
True
Suppose 16 - 2 = 7*j. Suppose -j*a + 2 = p, 3*p + 3 = 5*a - 2. Let h be 1/4 + 30/(-184). Which is smaller: h or p?
p
Let s = -130 + 266. Which is smaller: 135 or s?
135
Let r(v) = v**2 + 4*v - 1. Let d be r(-4). Let f(y) = -22*y - 6. Let m be f(-3). Let u = 539/9 - m. Do d and u have different values?
True
Let a = 4.512 - -0.488. Which is greater: -2/179 or a?
a
Let v = -1091 - -1092. Which is bigger: -6/647 or v?
v
Let z(w) be the third derivative of w**5/60 + w**4/6 + w**3/3 - w**2. Let r be z(-2). Let k be ((-108)/(-90))/((-2)/(6 - 2)). Which is greater: r or k?
r
Suppose -5*g - 2*x - 17 = 0, -4*g + 3*x = -9*g - 18. Let u be g + 1 - (6 + -8). Is u at least as big as 4?
False
Let m(d) = 3*d**2 - 18*d + 4. Let h be m(6). Suppose 41 = 4*y + 4*x - 23, 0 = y - 2*x - 22. Suppose 2*w = -3*f + 13, h = -w - 3*f + y. Is -4 equal to w?
False
Let a be 2*((-551)/12 - 5). Let p = -102 - a. Is p at least as big as 2/7?
False
Let b = 8 - 8. Let s be (b - 0/1)/1. Let y = -23 - -25. Is y greater than s?
True
Let x be -2 - -10 - 5 - (-49 - -3). Is x bigger than 48?
True
Let y be (-5800)/840 + 4/(-42). Let f be (-1)/((-2 - 0)/(-6)). Which is bigger: f or y?
f
Let f(i) = -i**2 - 6*i - 2. Let c be f(-5). Suppose -8 = -s + d, 2*d - 19 = -2*s - c*s. Is 7 at least as big as s?
True
Let k be (-2494)/(-1290) - ((-1)/(-10) - 0). Is 1 at least as big as k?
False
Let q(g) = 5*g - 4. Suppose 4*m + 10 = -2*z, -z + 2 + 11 = -4*m. Let j be q(z). Which is smaller: -84 or j?
-84
Let j(u) = -9*u + 7. Let n(q) = -1. Let a(o) = j(o) + 6*n(o). Let g be a(1). Let s = 306 + -315. Which is greater: g or s?
g
Let j = 37/152 + 1/152. Are j and 14 equal?
False
Suppose z - 14 = -3*l, 3*z - 3 = -4*l + 24. Suppose 7*w - z*w - 3*w = 0. Which is smaller: w or 2?
w
Let m be (6 + 3809/(-26))*3. Is -421 equal to m?
False
Suppose -14 = -4*m + 2*g, 0*g = -m - g + 2. Let c(w) = -3*w + 7. Let t be c(m). Is 0 greater than t?
True
Suppose -2*u + 4*n = u + 17, -4*n + 20 = 0. Is u less than or equal to -1.1?
False
Let l = 52 - 16. Let w = -37 + l. Which is smaller: -2/85 or w?
w
Suppose 3*l + 158 = o + 43, 0 = -5*l - o - 189. Let h = 189/5 + l. Which is smaller: h or -6?
-6
Let s(x) = 5*x**2 - 3*x - 10. Let c be s(5). Is c less than 99?
False
Let x be (-160)/136 + 4 + -4 + 6. Is x bigger than 4?
True
Let u(c) = 14*c - 130*c - 2 - 48*c - 6. Let m be u(8). Let a be m/7155 + 2/9. Is -1 not equal to a?
True
Let d be -4 + (15/(-10))/(6/(-183)). Which is greater: 41 or d?
d
Let i(k) = -k**2 - 16*k - 10. Suppose 6*a - 2*a + 60 = 0. Let l be i(a). Suppose l*r = 4*z - 8, 0 = -3*r - 8 - 4. Is z < -3?
False
Let n = -2.0139 - -0.0139. S