 is bigger: -17 or b?
b
Let r(x) = -2*x + 2. Suppose 5 + 5 = 5*s. Suppose -5*t + 4 = 4*i - t, 0 = s*t. Let l be r(i). Which is smaller: l or -0.5?
-0.5
Let n(m) = -51*m**2 + 336*m - 1004. Let y be n(3). Is y at least -449?
False
Let z(y) = -5*y**2 + 50*y - 9. Let x be z(6). Is 6 less than x?
True
Suppose -65*u = -125164 - 12896. Is 2118 < u?
True
Let y be ((-24)/(-9))/(32/72). Is y greater than 93?
False
Let n(l) = -l**3 + 22*l**2 - 117*l + 41. Let c be n(8). Which is smaller: c or 23/332?
23/332
Suppose -4*l + 103 = 2*j - 461, -l = 0. Suppose -13*v - 9*v + 6182 = 0. Does v = j?
False
Let p(x) = -2*x**3 + 54*x**2 + 19*x - 35. Let j be p(23). Do 4632 and j have different values?
True
Let j(r) = 31*r - 4*r - 8*r + 16*r - 7*r - 41. Let c be j(3). Is 43 at least c?
True
Suppose -2*v + a - 3 = 2*a, 3 = -3*a. Let f be (2/(-208)*2)/(-4 + (-162)/(-36)). Which is smaller: f or v?
v
Let r be (4/7 - -3) + (-48)/84. Suppose w + 6 = -5*u + 2, -w + 2*u + r = 0. Which is bigger: w or 2/301?
w
Let a = 13240.07 - 12844. Let u = a + -396. Is 0.6 less than u?
False
Suppose -13*g = -j - 16*g + 68, 2*g = 0. Let w be ((-77)/(-33) - 2)/((-2)/j). Is -2 < w?
False
Let a = 675 + -1043.1. Let j = a - -368. Which is bigger: 3 or j?
3
Let z(g) = 45*g - 271. Let b be z(7). Let i be (-3)/4 - (-33)/b. Are -6/373 and i equal?
False
Let x = 4 + -1. Suppose 14 = x*t - 4*w - 5, w = -4*t. Suppose r + 5*m = -r - 7, m + t = 0. Is 1 >= r?
True
Let z = 175.7 - 273. Let x = 97 + z. Are x and -9 equal?
False
Suppose 0 = -2*q - 19 + 17. Let t be ((-4)/(-8))/(q/(-146)). Suppose 0 = 5*d + 8 - 378. Which is bigger: t or d?
d
Let k be (-9 + 6)/((-1)/(2098*2/(-6))). Is -2098 < k?
False
Let s = 148 + -293/2. Let z = 11 - 11. Suppose x + 5 + 1 = z. Is s less than or equal to x?
False
Let f = -0.7105 - -0.8745. Which is smaller: -12 or f?
-12
Let v be (13075254/(-27))/((-2)/1353). Let h = v + -85507160303/261. Let l = h + 5888. Which is greater: 1 or l?
1
Let b = -685 - -364. Let s = 323 + b. Is s at most as big as -16/5?
False
Suppose 34*h - 5260 = -5158. Which is smaller: h or -7.1?
-7.1
Let h be (-2)/8 - 52/(-16) - 64. Let t(u) = -2*u - 24. Let o be t(19). Is o greater than h?
False
Suppose 4*h = 4*b - 1912, -7*h = -b + 388 + 96. Is 3344/7 bigger than b?
True
Let y be (-6 - -3) + ((-15)/(-2 + 5) - -7). Which is greater: -2/7101 or y?
-2/7101
Let n be ((-57)/(-27) + -2)*(-2)/2. Let z = -69 - -68.93. Is z not equal to n?
True
Let n be (-1*2)/(32/656). Let t be -1*6/(-2) - 5043/n. Are 126 and t nonequal?
False
Let u = -5203.4 + 22.4. Is u >= -2/7?
False
Suppose -62*w - 13*w - 12*w = 32*w. Let z(q) = -3*q - 2*q + 3 + 4*q + q**3. Let p be z(w). Is 9 <= p?
False
Let u = 528 - 164. Let y = 359 - u. Which is smaller: y or -7/2?
y
Suppose -13*i + 18*i - 350 = 0. Suppose -11*b + i = -4*b. Let d be ((-24)/80)/((-24)/b). Is 1 equal to d?
False
Let o = 40.55 + -41. Let r = o - -0.15. Let i = 28 - 18. Which is smaller: r or i?
r
Let t be -2 + (36 - -1) + -5. Let q be 2/(-12) + -353*5/t. Which is bigger: -62 or q?
q
Let y be (-5 - (-51)/9)/(2/4644). Which is bigger: y or 1549?
1549
Let z be 12/9*(-9)/21. Suppose -4*b - 17 = 3*d - 4*d, 0 = 5*d + b - 1. Suppose g - 3 = 3*i, i - d + 2 = g. Is z >= i?
True
Let c = -93 + 50. Let l = 36.3 + c. Let i = l + 41.7. Is i at least as big as -2/3?
True
Suppose n - f - 1 + 3 = 0, -6 = -3*f. Which is greater: 2/26519 or n?
2/26519
Let b = -122.86 + 122. Let v = 0.93 + b. Is v greater than or equal to 3?
False
Suppose 342*q = 332*q - 12790. Is q bigger than -1279?
False
Let g be 8/(-2)*(9/12)/1. Let b be 1 + 279 + (g - -2). Is b <= 278?
False
Let g = 493.783 - 491.8. Is g less than 1/2?
False
Let d = 12.95 + 1.75. Let k = d + -14. Let z = -1.7 + k. Is 16 at most as big as z?
False
Suppose 0 = -12*j + 10*j + 2, 5*z + 1276 = -4*j. Is z <= -250?
True
Suppose 8*c + 30 = 10*c. Suppose k - 15*m = -10*m + 32, -4*m = 5*k - c. Is k less than 70/11?
False
Let y be (-208)/(-32) + 6/4. Let c = -71 - -106. Suppose f = 6*f - c. Is f greater than y?
False
Let a = -197864/3365 + 2/3365. Is -17 smaller than a?
False
Suppose 55*c + 54*c - 840 = 97*c. Let w be 3 + (-2)/2 + 69. Is w greater than or equal to c?
True
Let d = 1/16413 - -32813/213369. Is 646 not equal to d?
True
Let o = 9.996 + -9.796. Let i = -13 - -22. Let m = 16 - i. Are m and o non-equal?
True
Let v = -18.2 - -17. Let d = 1.2 + v. Is d not equal to -12?
True
Let s be 12/(-14) - 714330/3780. Are s and -189 equal?
False
Let l = -144251/449420 + -3/3908. Does l = 0?
False
Let r be 8 + 5/((-20)/8). Suppose 6*v - 18 + r = 0. Suppose v*g = 3*g + 74. Is -74 at most g?
True
Suppose 5*n = -0*n + a - 10, -5*n - 4*a - 10 = 0. Let w(z) = -20 + 2*z**2 - 3*z**2 + 0*z**2 + 4*z + 15. Let l be w(5). Are l and n equal?
False
Let d(s) = 300*s + 914. Let v be d(-4). Is -286 < v?
False
Let j = -2.8 - -1.4. Let m = 1.8482 - -0.1518. Which is smaller: m or j?
j
Let m = -43/950 + -3/50. Let p = -499 + 500. Is p at least m?
True
Suppose 3242 - 33902 = -84*t. Which is bigger: t or 366?
366
Let w be ((-132)/(-9))/4*(-57 - -48). Does -18 = w?
False
Let m = 9 - 10. Let b be (-9082)/(-2964) - 5/2. Which is greater: b or m?
b
Let t(x) = x**2 + 17*x - 32. Let d be t(11). Suppose -7*w - 214 = d. Is -70 equal to w?
True
Suppose 3*r = a - 37, -3*r + 203*a = 207*a + 32. Let z be (0 - 1) + (-12)/1. Which is smaller: r or z?
z
Suppose -1451 = 4*c + 2*h + 2977, -5*c - 5513 = -3*h. Is -4419/4 at least as big as c?
True
Suppose -j - 10*d = -7*d + 247, 0 = -3*j - 4*d - 746. Let q be (-131255)/j + 2*1. Let l = -527 + q. Is -1 > l?
False
Let f(a) = -5*a**3 - a - 2. Let y be f(-1). Let r be 21/(-28) - 129/y. Let n = -35 - r. Which is smaller: -0.1 or n?
n
Suppose 7*x - 13 = -6. Let v be 2/x - -76*3/3. Is v >= -3?
True
Let p = -4.4 + 3.6. Let l = 9.5 - 15.5. Is l < p?
True
Let r(a) = -2*a**2 - a + 1. Let f(l) = -9*l**2 - 18*l + 36. Let n(d) = f(d) - 4*r(d). Let v be n(-16). Which is smaller: v or 3/127?
v
Let y = 0.4033 + -236.1033. Which is greater: 0 or y?
0
Let u(z) = z**3 + 27*z**2 + 51*z + 40. Let a be u(-25). Let y be (6/9)/((35/7)/a). Which is smaller: y or 1/2?
1/2
Let k = 246/71 + -2564/781. Which is greater: k or 1479?
1479
Let x be (-8080)/(-736) + -15 + 40/10. Is x bigger than 0?
False
Let s = 0.148 + -66.148. Let w = s + 63. Let m = -4082/15 - -272. Which is bigger: w or m?
m
Let z = 157.58 - 131.65. Is z > 2?
True
Let f be (0 - -3)*(-4 - -5). Let c be 9/1*((-56)/f)/(-4). Is c bigger than 43?
False
Let b = 0.03032 + 7.96968. Is b bigger than -374?
True
Let w(l) = -232*l + 1624. Let x be w(7). Which is smaller: 1/9523 or x?
x
Let k(l) = -l**3 + 16*l**2 - 51*l + 65. Let h be k(11). Let v(g) = g**3 - 21*g**2 + 6*g - 18. Let c be v(21). Which is smaller: c or h?
c
Let o be (-381)/(-6)*(13 - 11). Let c = 141 - o. Suppose -3*d + 2*d = -14. Is d greater than c?
False
Let l = 47 - 281/6. Let r = 498.57 + -498.7. Which is bigger: r or l?
l
Let t = -71 + 69. Let v be ((-27)/t)/(6/12). Is 27 equal to v?
True
Let b = -1/21036 - 110437/42072. Which is smaller: b or 42?
b
Let y be 93/(-403) - (42355/(-117))/1. Are y and 363 equal?
False
Suppose -4*h - 1 = -0*v - 3*v, -4*h - 3*v = 7. Let l be h*2/(-8)*(-8)/(-263). Let t be (-4)/(-6) - (-23)/69. Which is smaller: t or l?
l
Let y be ((1/(-8))/1)/((-231)/(-1848)). Which is bigger: 32/301 or y?
32/301
Let t(i) = i**2 - 9*i - 27. Let j be t(12). Let m(y) = 4*y - 53. Let q be m(17). Suppose -4*s = -4*a - 5 - q, -a = -5*s + j. Is s greater than 0?
True
Let q = 21.0514 + -11.057. Let u = 0.0056 + q. Do u and 5 have different values?
True
Suppose 2*j = -2*j + t - 4, 3*j - 12 = -3*t. Let m = -507/2254 - -4/23. Is m smaller than j?
True
Suppose 3*d = 4*s + 1, 4*d + 3*s - 2 = 16. Are d and 5 equal?
False
Let h = -213 + 148. Suppose 2*v + 20 = -l, -6*v + 2*v = 5*l + 28. Let w be (1/v*4)/((-4)/(-6)). Which is greater: h or w?
w
Suppose 0 = -p + q - 8, -35 = -3*p + 4*q - 68. Is 2/77907 at least p?
False
Let g be (-7 - 31438/66) + (-2)/3. Which is bigger: g or -480?
-480
Suppose 0 = 5*m + 5*c + 515, 2*m + 188 = 43*c - 48*c. Which is bigger: -93 or m?
-93
Suppose -4*l = -s - 4, 2*s = -26*l + 22*l - 56. Are 3 and s nonequal?
True
Let j = -8769 + 26038/3. Which is smaller: -89 or j?
j
Let m(b) = 5*b + 4. Let u be m(-4). Let r = -786 - 