g). Let c be a(-8). Which is greater: c or -1?
c
Let v be (-17)/(-6) + 23 + -28. Let i = 21 - 22. Which is smaller: i or v?
v
Let p(u) = -3*u**2 + 16*u + 12. Let w be p(6). Is -1/395 smaller than w?
True
Let a = 4306 - 4303. Let g = 422/5 - 84. Is a less than g?
False
Suppose u + 90 = 71. Which is smaller: u or -49?
-49
Let x(b) = -b**3 - 8*b**2 + 4. Let t be x(-8). Let d be t*15*(-2 - 39/(-36)). Is -55 greater than or equal to d?
True
Suppose -5*q + 9 + 51 = 0. Suppose -1020 = 5*w + q*w. Are w and -60 nonequal?
False
Let c(p) = 4*p**2 + p - 2. Let b be c(-2). Let g be (0 - -2)/(b + -14). Are -1/8 and g equal?
False
Suppose 22*j - 1075 = 18*j + a, 2*j = a + 535. Which is smaller: 541/2 or j?
j
Let a = 0.88 + 0.12. Which is greater: -20/3 or a?
a
Let l = -0.8 - -0.7. Suppose 6*p = -42 + 24. Is l at most p?
False
Let g = -13 + 12. Let d be 14/49 + 136/14. Let h be (-9 + d)/((-3)/5). Is h >= g?
False
Suppose 6*p = 8*p - m + 80, -p = -3*m + 50. Is -41 less than p?
True
Let g(a) = -a**2 + 9*a - 14. Let q = -31 - -40. Let o be g(q). Is -14 > o?
False
Let n be ((-5)/3 - -2)*-381. Which is greater: -126 or n?
-126
Suppose -4*i - 5*k + 185 = 0, -i + 66 = -4*k + 4. Suppose -7*l + i = 8. Suppose 0 = 4*n + v - 4 - 17, -n + 9 = v. Which is bigger: l or n?
l
Suppose -5*k = 0, 4*d + 5*k = 3*k + 52. Let v = 1 + 1. Suppose 43 = 4*l + 3*w, -v*l + 3*w = 6*w - 17. Is l at most d?
True
Suppose -14 = -5*w + 6. Let j = 3 - w. Let z = -29/24 + 161/120. Are j and z unequal?
True
Let h(k) = -2*k**3 - k**2 - k - 1. Let c be h(-1). Let n be 508/1596 + c/(-3). Is 0 less than n?
False
Let z = -38 - -72. Let f = -26 + z. Let a = 34 - 24. Which is greater: f or a?
a
Suppose -2*i - 15 = -7. Let s be (-17)/((-238)/60) + i. Which is smaller: s or -4?
-4
Let b = -258 + 259. Is 3/19 > b?
False
Suppose -5*u + 2*o + 11 = 0, -u - 8 = o - 6. Is u at least 1/56?
True
Suppose -12*w + 20*w - 560 = 0. Is w <= 72?
True
Let h be (45/(-2))/((-9)/(-24)). Which is bigger: -57 or h?
-57
Let r(b) = -b**3 - b**2 + 3*b + 3. Let o be r(-2). Let l = -0.06649 + -12.93351. Which is greater: l or o?
o
Suppose -2*o = o - 2*q - 7, -2*o = 5*q + 8. Suppose -w = -7 - 0. Suppose -3*m + 44 = -w*m. Is o greater than or equal to m?
True
Let s(a) = 922*a**2 - 2*a - 1. Let x be s(-1). Let z = -560 + x. Let w = -6899/19 + z. Are -1 and w nonequal?
True
Suppose 0 = -262*g + 254*g - 8. Which is smaller: g or -1/35?
g
Let x = -17 + 25. Which is smaller: 1/24 or x?
1/24
Let m(t) = t**3 + 12*t**2 - 4*t - 4. Let l be m(-13). Let u be (-1)/4 - l/(-44). Is 0 not equal to u?
True
Let k(t) = t**2 + 14*t - 5. Let m(f) = -13*f**2 - 2*f. Let j be m(1). Let p be k(j). Which is bigger: p or -2?
p
Let x be (-68)/374 + (-1 - (-1714)/(-11)). Is x not equal to -157?
False
Let j = -340 - -339.939. Which is greater: 0.1 or j?
0.1
Let j = -251/4 - -63. Let s = -397 + 399.2. Which is greater: j or s?
s
Suppose 4*i = -3*s + 26, 3*s + i - 23 - 6 = 0. Let y = -33 + 21. Let t = y + 23. Which is smaller: s or t?
s
Suppose 3*z - 2*j - 4 = 0, 0 = 32*z - 35*z - 5*j - 31. Suppose -2*r - 7 = -i, 0 = i + 4*r - 3 + 8. Suppose -i*o = -4*o. Which is bigger: z or o?
o
Let r(m) = -m**3 + 12*m**2 + 13*m + 4. Let l be r(13). Suppose 0 = 4*u - l - 12. Let g = 10 + -6. Is g bigger than u?
False
Suppose 0 = 5*h - 0*h + 455. Let p = h + 59. Is p at most -31?
True
Let t be 20/(-40)*(-3 + -1). Suppose t*p + p = 84. Let j be -2 + 4 - 35/p. Is j greater than or equal to 2?
False
Let z = 45 - 2. Let i = z + -42.9. Let n = 0 - 0.1. Which is greater: i or n?
i
Suppose 3*o = 77 - 53. Is o > 8?
False
Let g = -28.01 - -29.7. Let r = g + 0.01. Is r < -1/2?
False
Let q = 14 + -14. Suppose q = 4*z - 0*z - 64. Let o = z - 9. Is 7 greater than or equal to o?
True
Let y = 81 + -77. Suppose -c - c + 10 = -y*x, -3*x = -4*c. Let v be 16/(-10) + 6/(-15). Which is bigger: v or x?
v
Let i(j) = 13 + 3*j - 5 + 4 + 3. Let m be i(-5). Suppose c - 13 - 3 = m. Which is smaller: 15 or c?
15
Suppose 327*c = 328*c. Which is smaller: c or -4/423?
-4/423
Let q be 1/(6*(-9)/11934). Is -223 greater than q?
False
Let n be ((-39)/26)/((-3)/4). Suppose 2*b = -3*b + 2*h - n, 2*b = -h + 1. Is b > 2/9?
False
Suppose -2 - 14 = -4*s. Suppose 3 = -s*k + 7. Which is smaller: -2/33 or k?
-2/33
Let m be 2/1 + 30/(-16). Let r = m - 11/24. Let g be -3 + 0 - (-8)/(-168)*-69. Is g less than r?
False
Suppose 0 = 3*h + 3*s - 15, -h + s + 1 = h. Is h at most 16/11?
False
Let w = -4154 - -369702/89. Which is smaller: -1 or w?
-1
Let c = 0.3388 + 0.0612. Which is greater: c or -3/7?
c
Let t be (664/12)/(6/(-9)). Let s = 120 + t. Is s greater than 37?
False
Suppose -5*b = d + 21, -2*b = 2*d + d - 2. Let g be (-6)/b - (-5)/(-25). Let m be (-1)/(((-8)/2)/4). Is g greater than or equal to m?
True
Let o be -7 - 5/((-1150)/1640). Let j = -2 + 3. Is j at most o?
False
Let h be ((-96)/14)/(-3) - (-54 - -56). Which is smaller: 0.08 or h?
0.08
Let o be (1 - -2) + ((-108)/3)/(-6). Let w be 2*(o/(-12))/((-12)/(-8)). Which is bigger: w or 3/17?
3/17
Let i(h) = h**3 - 51*h - 15. Let j be i(-7). Which is greater: 14/235 or j?
14/235
Suppose 8*n = 12*n + 64. Does 11 = n?
False
Let k = -1201/6 - -201. Does 2 = k?
False
Let b = 1688.38 - 1688. Let j = 0 + 0.1. Which is greater: b or j?
b
Let h = 29.72 + -30. Let i = h + 0.08. Which is bigger: i or 1/3?
1/3
Suppose -10 = -2*y - 5*g, 11*y - 16*y - 5*g = -10. Which is smaller: y or -1/262?
-1/262
Let k be 16/(-12) - (-704)/60. Let j = 10 - k. Which is bigger: 0 or j?
0
Let g be 172/215 + (-188)/10. Is 2/7 greater than g?
True
Let q be 3 + (888/45)/(-8). Let v(p) = p**3 + 8*p**2 - 19*p + 11. Let x be v(-10). Is q less than x?
True
Let g = -49 + 29. Suppose 0 = -p + 148 - 50. Suppose 5*j + p = -3*t + 13, -75 = 5*j + 5*t. Is g <= j?
True
Let w(a) = -a**3 - 12*a**2 - 20*a + 23. Let i be w(-10). Suppose 4 = 3*z + 2*o + 11, 2*z = -5*o - i. Is -11 < z?
True
Let g(r) = 2*r**2 - 21*r + 9. Let c be g(10). Let k be 2/(-14)*14/(-259)*c. Are k and 1 nonequal?
True
Let j = -43 - -46. Suppose -j*o = o - 48. Is 12 equal to o?
True
Let z = 46 - 18. Suppose -59 + 43 = -4*g. Let v be z/1295*(-10)/g. Is v < 1?
True
Suppose -4*g + r + 19 = -100, -63 = -2*g - 3*r. Let x = 29 - g. Let j(d) = -d**3 + 6*d**2 - 8*d + 3. Let w be j(3). Is w at most x?
False
Let s = 148.612 - 149. Which is bigger: -1 or s?
s
Let m = -52.5 - -52.8. Let v = -1.1 + 1.9. Is m >= v?
False
Let n be 6/(-12)*16/(-2). Let k be (7 - 4)/3 - n. Is -5 at least k?
False
Suppose -2*s + 15 = s. Suppose -s*f - 10 = -10*f. Suppose 1150 = 7*z + 1143. Is f not equal to z?
True
Let l be 60*10/(-15)*7/(-4). Suppose 0 = 2*h + 3*h - l. Is h > 14?
False
Let g(y) be the first derivative of -1/3*y**3 - 14 + y - 1/2*y**2. Let z be g(-2). Which is smaller: z or 2/21?
z
Suppose 3 = -3*q - 3*m, 3*q - m - 16 = -q. Let x = -71975/97 - -742. Let g = x + 681/194. Which is bigger: g or q?
g
Let y = -231 + 221. Let i = 270.95 + -261. Let b = y + i. Do b and 0 have the same value?
False
Let l be ((-6)/35)/((-5)/(-35)). Suppose 0 = -w - 2*w + 21. Suppose w = 3*j + 2*t, 4*t - 2*t = 10. Which is smaller: j or l?
l
Let x be (-7 + 1)/((-28)/(-14)). Let u be x - 11/(44/(-24)). Let k be -3 + u/5 - -2. Which is smaller: 6 or k?
k
Suppose t = -4 - 0. Let r be 75/(-110) - t/22. Let b(k) = 2*k**3 - 18*k**2 + 16*k + 6. Let y be b(8). Which is greater: y or r?
y
Let r = -1.19 + -0.31. Let p = 1.6 + r. Does p = -18?
False
Suppose -q + 6*r = 2*r - 2, -4*q + 5*r = 14. Suppose 0*d + 5*d = -4*j - 29, 3*j + 3 = 0. Is q at least d?
False
Let j = -2327/203 - -80/7. Which is greater: -1 or j?
j
Suppose -14818*w = -14817*w + 198. Which is smaller: w or -195?
w
Let s be 55/(-11) + (-20090)/(-12). Let m = -1664 + s. Which is smaller: 4 or m?
4
Let d = -24 + 13. Let y be ((-1468)/126)/1 + 42/189. Is d >= y?
True
Suppose -2*b = 3 + 1. Let u(x) = -28*x**2 + 26*x. Let d be u(1). Is b at least d?
True
Let v = -460 + 492.3. Let n = 31 - v. Let m = n + 1.4. Which is bigger: m or 3?
3
Let k be ((-30)/125)/(-2 - (-216)/140). Which is bigger: 2 or k?
2
Let c(j) be the third derivative of 0 + 1/24*j**4 + 0*j - 4*j**2 - 17/6*j**3. Let q be c(15). Do q and 2/21 have the same value?
False
Suppose -2*f = 2, w + 3*f = -75 - 17. Let o = w - -621/7. Let t = 3/28 - 71/140. Which is smaller: t or o?
t
S