54*w + 2875. Let j be c(-31). Which is greater: -2 or j?
-2
Suppose -3*o - 3*i + 253 = -197, 10 = 2*i. Suppose 0 = 16*d - o + 129. Which is smaller: d or -232?
-232
Let x = -296.74 + 295. Let f = x + 3.44. Are -1 and f equal?
False
Let j(x) = 322*x**3 + 7*x**2 + 14*x - 108. Let m be j(3). Is 8691 at most as big as m?
True
Suppose -2*n - 64 = 4*u, -3*n + 58 = -3*u - 2*n. Suppose -3*c = 3*o - 6*c - 1794, -o + 583 = -4*c. Let g = o + -620. Is u > g?
False
Suppose -6*p - 31 = 5. Let q be (-1 - (7 - 6))*3/p. Which is greater: q or 1.47?
1.47
Let a(v) = -4*v - 37. Let y(o) = 2*o + 18. Let h(w) = 3*a(w) + 7*y(w). Let b be h(-6). Suppose 4*m + 5*i = -19, 2*m + 3*i + 14 = b. Is m at most as big as 2/11?
True
Let j = -212 + 146. Let f = 76 + j. Let x be 23 - (-5)/f*(-2 - -2). Is x <= 21?
False
Let g be (-75)/50*(-16)/(-24). Is 8/517 smaller than g?
False
Suppose 57*t + 1748 = 95*t. Which is smaller: t or 8?
8
Let c = 7094 + -4130. Is 11857/4 greater than or equal to c?
True
Let o be (-105)/(-84) + 19/4. Let q be ((-28)/(-56))/((-1)/o). Which is smaller: q or -2/153?
q
Let x be (-6)/180*5 + ((-1558)/228 - -18). Let f be (-4)/14 + 114/7. Suppose -2 = -3*i + f. Which is smaller: x or i?
i
Let o be 422796/1481403 + 4/(-14). Is o >= 1?
False
Let x = 386299/45 + -8584. Which is smaller: x or 2/5?
2/5
Suppose 2*k + 5*s + 25 = -20, -3*k - 61 = s. Let d be (-4)/k - (-16)/(-80). Is -503 < d?
True
Let h be 2*(3 - (-83)/(-2)). Let w be -16*(-18)/(-72)*699/36. Is w >= h?
False
Suppose 0 = -71*c + 66*c + 1635. Let k = c - 328. Which is smaller: 2/593 or k?
k
Let l = -19/2667 + 54193/8355711. Which is smaller: l or -1?
-1
Let i(h) = 58*h + 174. Let k be i(-3). Let o = 15509/145 - 536/5. Is o <= k?
True
Let g = 8196099751223/5496 + -1491284552. Let q = 3/1832 + g. Which is smaller: 2/7 or q?
q
Suppose 6*h = -4*y + 368, -3*y - 1 = -5*h - 258. Do 359/4 and y have the same value?
False
Let i = -3376 - -27007/8. Which is greater: -0.6 or i?
i
Let a = 0.071 + 0.429. Let s = 1.1 - a. Which is smaller: s or 10?
s
Let d = 34 + -32. Let z be -1*(-1 - d)/(-3 - -2). Let a be (z/6)/(0 - 5/4). Which is smaller: a or 0?
0
Let m be 15511/13 - (-4)/14*35/(-65). Is m <= 1195?
True
Let q = -426 - -1. Let s = q - -423. Let t = -0.2 - -0.3. Which is smaller: t or s?
s
Let m = 340 - 289.04. Let g = m - 50. Let z = g + 0.04. Which is smaller: 8/9 or z?
8/9
Let t(b) = -70*b - 55. Let h be t(-9). Suppose 2*a - 2 = 0, -4*d - a + 4*a - h = 0. Is d at most -143?
True
Let o(n) = -n + 33. Let m be o(23). Suppose m*f + 25 = 15*f. Suppose -f*x + 2*x + 4*a + 33 = 0, 4*x + 4*a - 16 = 0. Is x at most as big as -3/2?
False
Let g = -12 + 10. Let z = 35.085 + -1.645. Let y = z - 33. Are g and y non-equal?
True
Let f = 1134 + -5385. Let w = -131805/31 - f. Which is smaller: w or -1?
-1
Suppose 5*y = p + 255, 2*y + 225 = -p - 3*y. Let o be (24/4)/(p/(-18)). Which is smaller: o or -1?
-1
Let v = 7 - -26. Let z = 9 - 3. Let i be (5 - 1)*51/z. Which is greater: v or i?
i
Let h = 8817 + -8618. Is h greater than 203?
False
Let c = -100 - -100. Let m = -941/8 + 524145/4456. Is c less than m?
True
Suppose 2*z + z + 6 = 0, -62 = -3*j - 5*z. Let s(n) = n**2 + 23*n - 78. Let g be s(4). Are j and g equal?
False
Let p = 714061/116010 + -277/45. Which is smaller: 0 or p?
p
Let k = 4 - 1. Suppose 3*b - 5*y = 2 - 12, k*b + 5*y - 10 = 0. Let l be 4/9 + 488/(-1098). Is b at most l?
True
Let u = -4.67 - -11.71. Let t = u + 3.96. Is 1/6 <= t?
True
Let y = -0.142 - -61.142. Let t = 61.1 - y. Let k = -10.02 + 10. Is k smaller than t?
True
Let x = -4882.378 + 4450.2814. Let g = 0.0966 + x. Is -1 not equal to g?
True
Let s = 11251 - 11784. Which is smaller: -535 or s?
-535
Let n be ((-230)/(-73) + -3)/(-2 - (-1 - -4)). Which is smaller: 0.1 or n?
n
Suppose -l + 57 = 4*n, -4*n = 5*l - 1 - 44. Let h be (4/813)/(n - 13). Is h at least 1?
False
Let u = 96177 - 867497/9. Which is smaller: -212 or u?
-212
Let i be (-16 + 143/(-52))/((-4)/16*-1). Let c be -76 - (0 - (-1)/(-1)). Is i <= c?
True
Suppose -5 = -k + 4*t, -2*k + 4*t = k + 9. Let l be ((-56)/11496)/k*6. Is -1 less than l?
True
Suppose r + 2*r + 150 = 0. Suppose 5*g = -21*b + 16*b - 240, 5*b + 32 = -g. Are g and r nonequal?
True
Let c(s) = s**3 + 2*s**2 + s. Let m be c(0). Suppose -4*p + 4*p + 2*p = m. Let j(x) = -x + 12. Let u be j(5). Is u < p?
False
Suppose -25*h + 100 - 300 = 0. Let q be 10*-3*h/(-12). Which is smaller: q or -210/11?
q
Let p = -1475.8 + 1656. Let y = 163 - p. Let a = 17 + y. Which is bigger: a or -13?
a
Suppose 401 = 5*g - 219. Let u be (-2 - (-447)/12)/(42/g). Let x = u + -104. Which is smaller: 1/2 or x?
x
Let x be 3009/(-6) - (-1296)/(-72). Is x less than -521?
False
Let l = -15311437/19767 - -254/1797. Let s = -775 - l. Is s equal to -20?
False
Let k = 25153/16768 + -1/16768. Which is smaller: 180.6 or k?
k
Let o = 3.33 - 0.21. Let k = o + -2.5. Let i = k + 1.38. Which is smaller: -8 or i?
-8
Let b = 28797.063 - 28797. Let i = -149/7 - -21. Which is bigger: i or b?
b
Let h(n) = 3*n**2 + 3*n + 129. Let f be h(0). Suppose -13*d + f = -3407. Which is greater: d or 273?
273
Let w = -11.118 + 10.8598. Which is bigger: w or -2?
w
Let s = 147.23 + -147.113. Which is greater: -2.2 or s?
s
Suppose -5*z = -56 + 31, -2 = 3*m + 5*z. Let b be (-323)/(-3) - -2*3/m. Let i be (-265)/(-2)*56/70. Is i < b?
True
Let p(q) = 13*q + 11. Let w be p(-9). Suppose 801 + 669 = -14*r. Which is bigger: r or w?
r
Let j = -146686/9 - -38139863/2340. Let k = -7/65 - j. Let n = 0.01 + 1.99. Which is greater: k or n?
n
Let x = -0.0391 - -9.1691. Let m = 0.43 - x. Which is bigger: 0 or m?
0
Suppose -31689 = 88*h - 44*h - 53*h. Is h > 3521?
False
Let a = -6396 - -6452. Let p = -0.1 + 0. Which is greater: p or a?
a
Let i = 17.9 + -0.9. Let x = -777 + 1693. Let q = x - 918. Do i and q have different values?
True
Let t = 791 + -710. Suppose 124*j = -t + 205. Let i be 1/((-10)/(-14)) + 0. Is j smaller than i?
True
Let h = -4861 + 529845/109. Suppose 780*p = 1903*p + 174 - 1297. Which is bigger: p or h?
p
Let u = 193 + -177.9. Let j = -17.1 + u. Which is bigger: j or -0.9?
-0.9
Let p(t) = 18 - 2*t + t - 43 + 2*t. Let j(f) = -f**3 + 10*f**2 + 8*f - 65. Let i be j(10). Let r be p(i). Do r and -11 have the same value?
False
Let v = 15121 + -14642. Which is bigger: 482 or v?
482
Suppose 4*f - 137 = 155. Let w = f + -67. Suppose w*p - p + 250 = 0. Which is bigger: p or -49?
-49
Let f be 60 - (-41 + 98) - 304/30. Which is smaller: -6 or f?
f
Let k = -10 + 9.9. Let b(t) = t**2 + 6*t - 30. Let z be b(-12). Let i be (18/(-10) + 3)/(z/45). Which is smaller: k or i?
k
Let m(a) = -306*a - 919. Let u be m(-3). Which is greater: -2/4149 or u?
-2/4149
Let m = 9 - 78. Let k(n) = 89*n - 4165. Let q be k(46). Which is smaller: q or m?
q
Let g be ((-4)/32)/((-54)/168). Which is smaller: g or -2/3?
-2/3
Let z be 183/(-18) + 7/42. Let c be (46/z - -5)/(16/100). Let u be (-6)/4*4/(-3). Is u bigger than c?
False
Let z(c) = c**2 - 3*c + 5. Let a be z(4). Let g be (-2)/(-5) - a/(-15). Let n = -2387 - -69225/29. Is g at least n?
True
Let t = -28 + 40. Let x(r) = -2*r - 12. Let j be x(-14). Let a = 29 - j. Is t > a?
False
Let i be 1293/324 - (-145)/(-116). Is i greater than 2?
True
Let j be 84/189 + 685/180. Is 3 less than j?
True
Suppose -c = -4*n - 4125, 0 = -5*c - 281*n + 285*n + 20625. Which is bigger: 4126 or c?
4126
Let z = -203 + 189. Let r = 11 + z. Let g = 8 + -7.97. Which is bigger: r or g?
g
Suppose 50 = -2*b + 3*b. Let w(x) = 978*x - 2885. Let p be w(3). Which is bigger: p or b?
b
Let k = 20.1 + -21. Let d = k - -0.8. Let u = -2091.59 - -2092. Which is greater: d or u?
u
Let f = 0.0641 - 13.0641. Let o = 5 + -5.06. Are f and o nonequal?
True
Let z(w) = -w**3 + 36*w**2 + 56*w - 544. Let q be z(36). Is q bigger than 7362/5?
False
Let x = -287 + 251. Let i be (1 + -2)/((-19)/(-76)). Let d be 2/i*(-4)/x*0. Is -2/95 greater than or equal to d?
False
Suppose 0 = -74*f + 110*f + 17028. Which is bigger: f or -471?
-471
Let m be 132/(-110)*40/(-6). Suppose 92*f - m = 91*f. Suppose f*r - 4 = 10*r. Which is smaller: -9/4 or r?
-9/4
Suppose -12*b + 27*b - 165 = 0. Suppose 15*y - 11 = -b. Is y at least -3/269?
True
Let x = 6867 - 6866. Is -9/145 at most as big as x?
True
Let p(v) = v - 4796 + 15*v - 4*v**2 + 4803. L