maller: g or c?
c
Suppose -3*d + 4*j = 2*d + 77, 0 = -3*d - 4*j - 27. Suppose -w = g + 4*w - 2, 0 = -g - 2*w - 7. Is g at least as big as d?
True
Let y = -156794/45087 + 3/2147. Is -2 less than y?
False
Let n be -4 + (6 + 1 - 4). Let x(v) = -v**2 - v. Let c be x(n). Which is bigger: c or -4/11?
c
Let t = 177.8 + -178. Let j = -8101/30 - -270. Are j and t nonequal?
True
Let y = 0.9 - 0.4. Let z = -0.5 - y. Which is smaller: z or 0.1?
z
Let d = -161 + 245. Is 86 smaller than d?
False
Let r(n) = n**3 + 7*n**2 + 8*n + 6. Let v be r(-6). Let h be v + (-3 + 0)/(-3). Let k = 7 - 8. Which is bigger: h or k?
k
Suppose -7*f = -12 + 166. Let b be (f/33)/(5/3 - 1). Which is bigger: b or -1/38?
-1/38
Let a = 2.91 + 0.09. Let f = 99 + -97. Which is bigger: a or f?
a
Let r = -7 + 6. Suppose 0 = -l, -3*d + d + 2*l = -6. Suppose 2*c = -d*h + 2, -3*h - 3*c + 22 = -8*h. Does h = r?
False
Let l = 0.5 + -0.5. Let j = 36 + -35.9. Let h = j + l. Is 0.6 smaller than h?
False
Let v(u) = -3*u**2 + 9*u - 6. Let s be v(4). Let l be 25 + (-2 - (-1 - 0)). Let g = l + s. Is g at least 6?
True
Let m be (-87)/(-5) + -8 + -9. Is m smaller than -4.55?
False
Suppose 2*l - 31 - 101 = 0. Suppose -11*h - l = -5*h. Let s = -24 - -12. Which is greater: s or h?
h
Let j be 2587/(-533) - (2 - (6 + 1)). Are 0.1 and j equal?
False
Let k = 472 + -474. Which is smaller: k or -309?
-309
Let z be 49/(-2) + (-15)/10. Let m be z/(-91) + (-136)/(-14). Do m and 10 have the same value?
True
Let p = -11 - -32. Let v = p - 9. Let x be (1/(-5))/(v/(-210)). Is x at most as big as 4?
True
Let d(x) = x**3 - 20*x**2 + 22*x + 41. Let w be d(21). Is 945 at most w?
False
Let u be 3 - 6920/4283412*1857. Let t = 191366179/849186429 + u. Let q = -1/183 - t. Which is greater: q or -1?
q
Suppose -49*v = 119 + 28. Is v at least 6?
False
Let c be (12/8)/(6/(-16)). Let l(f) = f**3 + f**2 + f - 2. Let i be l(0). Let d be (1/(-2))/(i/c). Is d equal to -3/5?
False
Let g(n) = n**3 + 7*n**2 - 9*n - 7. Let u be g(-8). Which is greater: 139 or u?
139
Let d(r) = 64*r**2 + r - 16 - 129*r**2 + 64*r**2. Let b be d(-4). Is -37 less than b?
True
Let h(u) = -u + 1. Let g be h(-1). Suppose 0 = -17*o + 14*o. Suppose 7*b - g*b + 25 = o. Is b less than or equal to -14/3?
True
Let r = 11.6 - 0.6. Which is bigger: 2/15 or r?
r
Let h be ((2/6)/(20/60))/1. Is h != 2/295?
True
Suppose -13*f = -14 + 1. Which is smaller: 2 or f?
f
Suppose -51 = -4*w + a - 48, -2*a = -w + 6. Does -15/53 = w?
False
Let h be 278/(-1) + (-13 - -11). Let t = 2516/9 + h. Which is smaller: -1 or t?
-1
Suppose -y - 2*f = 5, 0 = -4*y + 37*f - 41*f - 8. Which is smaller: y or -1/134?
-1/134
Suppose -z + 16 = x, -2*x = z - 4*z - 57. Suppose 5*o + 5*d + 140 = 0, -2*o = -0*o - 5*d + x. Which is smaller: -21 or o?
o
Let z be (-2)/11 - 11/((-1089)/5859). Is z less than 62?
True
Let a = -50.37 - 4.03. Let i = a - -53. Let o = -751/7 - -107. Is i bigger than o?
False
Suppose 0*b + 3*b - 258 = 0. Let s = b - 301. Let n = s - -2371/11. Is n != 0?
True
Let a be (-14)/(-12) - (-2)/(-12). Suppose -m + a = -0*m. Is m smaller than 2/21?
False
Suppose 0 = 2433*j - 2470*j. Let k = 1/245 - -718/4165. Which is smaller: j or k?
j
Let g = 27 - 42. Let d(o) = 2*o - 9. Let q be d(12). Suppose 3*v = 4*v + q. Is v bigger than g?
False
Let y = 1445 + -209526/145. Which is smaller: -2 or y?
-2
Let n(h) = -2*h**3 + h**2 + 7*h - 6. Let p be n(2). Which is smaller: p or -19/4?
-19/4
Let j(i) = 3*i**2 - 8*i. Let u be j(12). Which is bigger: 334 or u?
u
Let g be (-260)/(-70) - (-4)/14. Suppose 17 = g*f - 7. Let i(z) = -z + 6. Let p be i(f). Are 4/15 and p equal?
False
Let g = 51/112 - 1/56. Let l(o) = -o**3 + 6*o**2 - 5*o + 1. Let y be l(5). Are g and y equal?
False
Suppose -3 = -2*s + s. Let i be (-1 + -3)*s/(-4). Let r be ((-6)/9)/(i/9). Which is smaller: -5/4 or r?
r
Let w be 12/(13 + -25) + 36/34. Which is smaller: 0 or w?
0
Suppose 2*h + 0*h + 6 = 0. Let w be 2 + -1 - (-2 - h). Let j = -44 - -131/3. Which is bigger: w or j?
w
Let f = 184879/23 + -8037. Let o = -124/253 + f. Which is bigger: 2 or o?
2
Suppose -7*r + 1 + 6 = 0. Let u be (-4)/14 + 387/1134. Which is greater: r or u?
r
Let s = -2259 - -2252. Which is smaller: s or -17?
-17
Suppose 1369 + 563 = -6*w. Let s be 1*-2*14/w. Is s bigger than 0?
True
Let s = 17 + 0. Let y = s - 16. Let k be (2 - 0)/(y/(-2)). Is -1 at most k?
False
Let u = -547/1098 - 1/549. Do 6.3 and u have the same value?
False
Suppose 30 = -3*r + 81. Is 21 equal to r?
False
Suppose -c = -5 - 133. Is c at most 138?
True
Suppose 0 = -q + 2*q + 5*t + 52, -5*q + t = 260. Is -52 smaller than q?
False
Let v(n) = -18 + n - 4*n + 2*n + 2*n. Let b be v(0). Let i be 32/b - 18/81. Is i != 0?
True
Let p = 29 - 29. Suppose p = -2*m - 22 + 58. Is m less than 18?
False
Let t be 4 - (0/(-4) - -11). Let p(g) = -g**2 - 4*g + 21. Let k be p(t). Which is bigger: k or -1/90?
k
Suppose 4*a - b = -4, 5*a + 5 = 2*b - 0. Let w be ((-26)/117)/(((-15)/(-18))/5). Is a at most as big as w?
False
Let o be (-16)/(-16) - (1 + -2). Let h be o + 6/(-35) + (-6)/15. Which is greater: -0.2 or h?
h
Let i be (-248)/(-408) - (-10)/170. Let w(b) = -b**2 + b - 2. Let l be w(2). Which is smaller: l or i?
l
Let n be 5/2 - (-3)/6. Suppose 0 = -m - 2*j + 4*j + 8, 0 = -2*m - n*j + 2. Suppose -m*c = -8*c - 40. Is -8 smaller than c?
False
Suppose -524 + 1912 = -4*g. Let s = g + 99587/287. Is s >= 0?
False
Let s = -190 - -186. Is s >= -33/7?
True
Suppose -3*p = 7 - 4. Let i = -37/10 - -3/2. Which is smaller: i or p?
i
Suppose 2*l = 5*g + 29, -2*l - 3*g = -g + 6. Suppose c = -c - l. Is -2/67 bigger than c?
True
Suppose 590*d - 598*d = -8. Let o = 0.6 + -0.7. Is d <= o?
False
Let h = -1106 + 1754. Let u = -4544/7 + h. Suppose -b = 3*n - 0*n + 8, 3*b = -3*n - 12. Do u and n have the same value?
False
Let c be ((-4)/12*-3 - 42)*8. Let o = 4262/13 + c. Is -1/14 less than or equal to o?
False
Let i(j) = j**2 - 22*j + 19. Let v be i(10). Is v greater than or equal to -199/2?
False
Let t(j) be the second derivative of j**5/20 + 2*j**4/3 - 3*j**3 + 10*j**2 - j. Let l be t(-10). Is l >= 1/4?
False
Let p = -1 + 2. Let z(n) = -2*n**2 + 8*n**3 - 6*n + p + 13*n - 2 - 5*n. Let y be z(1). Which is smaller: y or -1/3?
-1/3
Let s be 0 + ((-1)/(-3))/((-45)/6117). Let q = s - -532/9. Which is greater: 15 or q?
15
Suppose -2*m = -4*i - 30, 5 = 4*m + 3*i - 0. Suppose 0 = -m*v + 12 + 3. Are -3 and v non-equal?
True
Suppose 0 = -3*n + 138 - 99. Is n at least 9?
True
Suppose z + 17 = -4*z - 2*a, 4*a - 26 = 2*z. Let b be ((-8)/10 - (-114)/(-15)) + 4. Which is smaller: b or z?
z
Let f be -9 + (-8 - 297 - 7). Is f less than or equal to -320?
True
Let u = 28.376 + 0.024. Let y = u + -32. Let p = -0.6 - y. Which is greater: p or -2/7?
p
Let g be (-8)/((-20)/(-175) + (-4)/10). Let l be (-6)/21 - (-50)/g. Is l smaller than 0?
False
Let p be (12/693)/(22/(-33)). Which is bigger: 28 or p?
28
Let s = -0.19 - 0.01. Let w = 195 - 1753/9. Which is smaller: w or s?
s
Let b be -23 - 1*(-1 + 2). Suppose 4*v - 10 + 103 = -c, 0 = -5*v - 4*c - 119. Let l = v - b. Which is smaller: l or 6/19?
6/19
Suppose 3*h - 63 = -60. Is h not equal to 13/10?
True
Let n = -181055/3531 + 564/11. Let u = n - -685/13803. Is -1 less than u?
True
Let m(x) = 16*x**2 + 53*x - 4. Let j be m(-3). Which is bigger: -25 or j?
j
Let f be (5 - 7) + -5 - -483. Is f less than 476?
False
Let m(z) = -z - 7. Let c be m(-8). Let p = 8 - 12. Let d(q) = 2*q + 3. Let g be d(p). Which is smaller: c or g?
g
Let f = 12997/8 + -1622. Let w = 121/40 - f. Let m = 7 - 7. Is m >= w?
False
Let b be (0 + 2)*3/294. Let j = b + -59/490. Suppose 3*z = 2*z + 1. Is j > z?
False
Let v be 9430/(-77) - -1*(-8)/(-44). Suppose 2*u - 3*x = -232, 2*x + 2*x - 228 = 2*u. Let i = u - v. Which is smaller: -1 or i?
-1
Let l be 56/(-21)*(1 - -2). Let a be 1 + 4/l + -2. Which is smaller: -3 or a?
-3
Let k(s) = -s + 2. Let i be k(2). Let p = -11 - -14. Suppose 1 = -p*j - 2, -2*g + j - 3 = i. Is -6 greater than g?
False
Let z = -10.41 - -1.01. Let g = z - -7. Which is smaller: -0.1 or g?
g
Let z = 15.92 + -16. Let h = 0.08 - z. Let p = -0.16 + h. Is p greater than or equal to -14?
True
Let o = -0.1 + 0.2. Let f = -190.27 - -190.5. Is f greater than o?
True
Let o = 60 - 42. Let i = o - 18.2. Is -2 greater than i?
False
Su