*r. Let t be (-2)/2 - ((z - -5) + -45). Is t greater than 42?
False
Let b be (209/(-22)*-31)/(2/4). Let v be (-176)/220 + b/5. Are 116 and v equal?
False
Let y = 319.3 + -239. Let x = y + -82.3. Which is bigger: x or 77?
77
Suppose -15 = -15*g + 30. Let i be 0/(g + (2 - 2)) - -16. Which is smaller: i or 14?
14
Let u be 82944730/(-17127) + (-2)/9. Let g = u + 4843. Let i = g + 27/173. Does 1 = i?
False
Suppose -3*m - 382*k - 299 = -377*k, -4*k - 298 = 3*m. Suppose 5*p + 680 - 170 = -5*l, -5*p - 20 = 0. Is l less than m?
False
Let b = 0.1567 - -0.0433. Let r be (488/6)/(-4)*(6 + 12). Let z = 13540/37 + r. Is b bigger than z?
True
Let j = -3554 + 3555. Which is greater: 0.4058 or j?
j
Suppose -25 - 55 = -8*o. Suppose -2*b - 2*b = 24. Let s be 935/102 - (-1)/b. Which is bigger: s or o?
o
Suppose -23*g - 22211 = -16*g + 49021. Are g and -1/2 nonequal?
True
Let j be 372/2418 + 2/((-104)/47). Is 0.2 < j?
False
Let r(x) = -x**2 + 9*x - 4. Let s be r(6). Let v(w) = 3*w**2 - 256 + s*w - 2*w**2 + 242. Let o be v(-15). Which is greater: 2 or o?
2
Suppose -2*c - 612 = -2*n, 5*n - 7*n = -4*c - 604. Which is smaller: n or -1/5?
-1/5
Let u be (4/3)/(4/(-30)). Let r(s) = 2*s**2 + 25*s - 169. Let f(m) = -4*m**2 - 50*m + 337. Let k(g) = -2*f(g) - 5*r(g). Let c be k(5). Is c at least u?
True
Let s be 10/5 + 4/(-2). Let z = -6397 - -115129/18. Are z and s unequal?
True
Suppose -5*k - 15 - 16 = -26. Which is smaller: k or -3/317?
k
Let h = -19 - -28. Let n be (6/h)/2*-3. Let f = -757/8610 + -3/410. Which is smaller: n or f?
n
Let u = 715/7 + -102. Let x(v) = 3*v**2 - 39*v + 5. Let a be x(13). Suppose -4*w - 16 = 4*g, -4*g = a*w - 8*g - 25. Which is greater: w or u?
w
Suppose 0 = -27*p + 30*p - 12. Suppose -9*f + 7*f = -p. Suppose 5*x - 2 = -f. Which is greater: x or -2/11?
x
Let i = 360 + -162. Let r = i - 231. Which is greater: r or -1/3?
-1/3
Let j = -0.1 + 0.17. Let q = -2911 - -2910.98. Let v = q + j. Which is smaller: v or 0.2?
v
Let v = 30207 - 17311. Let a = 270868/21 - v. Which is greater: a or 3?
3
Let c be (2/6*47)/((-92)/1380). Let t = c - -237. Which is bigger: t or -0.27?
t
Let g = 5854881/643045 + -1539/169. Which is smaller: g or 1?
g
Suppose 44*x = 35445 + 17663. Is 1207 less than x?
False
Let o be (-266)/4655 + ((-9804)/(-35))/2. Which is smaller: 239 or o?
o
Let m be 10/134*((-30)/20)/(390/40). Which is bigger: m or 0?
0
Suppose 676*t - 3585 = 671*t. Is t not equal to 714?
True
Let f(r) = -2 - 36 + r**2 + 967*r - 973*r. Let l be f(12). Which is bigger: 33 or l?
l
Suppose k + 50 = 5*s, -123*k = 2*s - 126*k - 33. Let z be (-21 + 17)*(-2)/(-4). Is s at most z?
False
Let y(q) = q**2 + 18*q + 19. Let x be y(-17). Let l(n) = 0*n + n**3 + n + n**x - 1235 + 1240. Let i be l(0). Are 5 and i unequal?
False
Let u = 464.7273 - -0.3727. Let g = u + -465. Which is bigger: -42 or g?
g
Let r = -0.298 - 413.702. Let j = 413.2 + r. Which is smaller: j or 0?
j
Let o = -3 - -5. Let j = -399 - -416. Let p(r) = 3*r - 51. Let z be p(j). Is o < z?
False
Suppose 0 = -3*w + 6*n - 10*n + 32, 2*n - 6 = w. Let l be 1*(4718/(-1176) + 0 + w). Suppose -o - 4*o = 5. Which is bigger: l or o?
l
Let r be (-524)/26 + 4/26. Let w be (r/(-24) + 1/(-3))*-16. Let i = -2.58 + -0.42. Which is smaller: w or i?
w
Let z(f) = 17*f - 29. Let j be z(25). Let y = -311 + j. Is y at least 2?
True
Let q be 27/18*2 - (-67 + -1). Let j = q - 86. Let u = -48 - -34. Does u = j?
False
Let b(c) = -2*c. Let x(g) = -7*g + 28. Let a(u) = 5*b(u) - x(u). Let d be a(-9). Let w(m) = -m**3 + 6*m**2 - m - 1. Let j be w(4). Which is smaller: d or j?
d
Let b(o) = o**2 - 8*o + 7. Let g be b(7). Suppose a = -g*a. Suppose 4*q - 5*d = 30, 0 = -5*q - 503*d + 498*d + 15. Is q >= a?
True
Let j be (2 - -1)*3/(-9). Let i be j/4 + 385/20. Suppose 0 = -37*f + 130*f - 1860. Is i equal to f?
False
Let h = -5919 - -5919.04. Which is smaller: 98/19 or h?
h
Let v = -10821 - -10644. Which is smaller: -175 or v?
v
Let z(h) = -6*h**2 + 14*h + 20. Let x be z(6). Let d be (-3258)/(-411) - x/(-14). Is d greater than or equal to -1?
True
Suppose 7*j = 10*j. Suppose o - 4*p - 15 = j, -11*o - 5*p = -10*o + 21. Which is smaller: o or 2/323?
o
Let j = -27.1 + 27. Let d = j - -0.36. Let i = d - 0.36. Which is greater: i or 0.8?
0.8
Let x = 16.1 + -30.9. Let o = -2.2 + x. Let s = 5/2 - 29/10. Is s less than or equal to o?
False
Let c = -3765 + 3732. Is c at least as big as -109?
True
Let m(r) = -51*r**2 + 2*r - 2. Let v be m(-3). Let q = v + 467. Which is bigger: q or -4/65?
q
Let t = -368.37 + -6.63. Let w = t + 180. Which is smaller: w or 1?
w
Let c = -594 - 238. Is c less than -831?
True
Let f = 3047.6 - 4118.7. Which is bigger: -2/5 or f?
-2/5
Let g = 1828 + -1828.1. Which is smaller: -152 or g?
-152
Suppose 203*o + 113317 + 590484 = 0. Which is smaller: -3469 or o?
-3469
Suppose 12*w - 30 = 2*w. Suppose 0*x + 4*x = 2*y - 8, -w*y - 5*x = -67. Let s be 9*((-16)/y + 1). Which is greater: -1 or s?
-1
Suppose -10958 = 198*i - 438*i + 15922. Let h = -22 - -136. Which is bigger: i or h?
h
Let t = 141 + -1121/8. Suppose -2 = 2*p + l - 4, 3*p - 4 = -l. Is t at most p?
True
Let j = 108585395/4223996 - 25/91826. Let n = 25/46 + j. Let p = n - 26. Are p and -2/3 equal?
False
Let k = -20 - -1. Let g = k - -47. Let z be (-64)/g - 4/(-14). Are -1/2 and z nonequal?
True
Let n = -16 - -16. Let i = -158 + 162. Suppose 4*l = -n*j + 4*j - 124, -5*l - i*j = 110. Is -1 greater than or equal to l?
True
Suppose 180 = -5*d - t, -56 - 89 = 4*d + t. Let f be (-8)/(-7196)*d/(-5). Which is smaller: -1 or f?
-1
Let z = -87 - -87.4. Let j = -279.7 - -286.5. Is j at least z?
True
Let b be (-16)/(-24) + (-2)/3. Suppose -4*v + 84 - 72 = b. Suppose -v*u - 9 = 6*u. Which is smaller: u or -2/43?
u
Let c = -9 - -13. Suppose -c*h = -160 - 60. Suppose -16*d + 5*d + h = 0. Is 4 less than or equal to d?
True
Suppose -7*x + 3*x - 208 = 0. Let r = 91 + x. Let b be -1 + r/12 - 2. Is -0.2 greater than or equal to b?
False
Let p = -9/40 - -1/40. Let z be (203/(-40) + 5)*-2. Let x = 2/5 - z. Is x smaller than p?
False
Let k = -259.93 + 258.93. Which is greater: 1192.3 or k?
1192.3
Let h be 2 - (11 + 525/(-45))*(-9)/4. Which is smaller: h or 826.4?
h
Let h = 11126 - 9063. Which is bigger: 2062 or h?
h
Let a = 0.9704 - -524.9296. Let x = a - 526. Is x < 242?
True
Let q be ((-14)/(-112)*534)/(22/8 - 2). Which is greater: 101 or q?
101
Let g(q) = -9*q + 96. Let o be g(10). Let i be (-4)/o - 65/(-3). Which is smaller: i or 17?
17
Suppose -83 = -4*d + 4*t + 61, -3*d + t = -112. Which is smaller: -51 or d?
-51
Suppose -4*p + 8 + 4 = 0, 0 = 4*b - 4*p + 16. Let t be b/18*(-6)/8. Let k = -13/72 - t. Is k > -1?
True
Let h be 9796/(-5) + 540/(-300). Is h >= -1962?
True
Let a = 39.961 - 40. Let z = 0.011 + a. Let y = 18.028 + z. Which is bigger: -1/2 or y?
y
Let h be (-20)/100 - 26/(-5). Suppose -h*q - 5*i + 27 + 8 = 0, -5*q + 15 = i. Which is greater: q or 36?
36
Let h be (684/(-855))/((-2)/(-60)). Let b be -1 + (-26)/(2/2). Does b = h?
False
Let j be 781 + (-5)/(-9 - -14). Let t = j - 782. Let l = -1349 + 17529/13. Is t at most l?
True
Let i(q) = -33*q**2 - q - 1. Let z be i(-1). Let r(c) = 396*c + 2342. Let a be r(-6). Is a equal to z?
False
Let n = 701 - 784.1. Let j = 83 + n. Let s = -20.03 - -0.03. Which is smaller: s or j?
s
Let b = 0.005 - 0.285. Let j = 0.27 + b. Let u = 4.9 - 2.9. Which is smaller: u or j?
j
Suppose 4 = -2*u, -3*m - 373*u + 372*u + 6310 = 0. Is m at least 2103?
True
Let x(o) be the first derivative of -6*o**2 - 100*o + 33. Let z be x(-11). Is z > 28?
True
Suppose 2*a + r = 6, 0*r + 2*r = 0. Suppose -2 = 5*b - a*x, b + 0*b - 22 = -5*x. Which is bigger: b or 13/10?
b
Let f be (-4)/6 - 11/(-3). Let v(k) be the first derivative of -k**4/4 - 10*k**3/3 + 11*k**2/2 + 3*k - 18. Let w be v(-11). Is f at most as big as w?
True
Let u = 8.22 - 8.32. Let o = -5 + 1. Let t = 10 + o. Is t > u?
True
Suppose -136 = -447*f + 413*f. Which is greater: f or 0.0841?
f
Suppose -4*s - 32 = 20*h - 19*h, 0 = 5*s - 15. Which is smaller: -68 or h?
-68
Suppose 29*q - 25*q = 8. Suppose 4*r + 5*i - 71 = 0, q*r = -2*i + 30 + 4. Is r bigger than -8?
True
Let h = 73.969 + 0.031. Let z = -1136 - -1209.9. Let g = z - h. Which is greater: 10 or g?
10
Let r be (-3 - -1)/(212/(-106)). Which is smaller: r o