= 3875 - 3864. Are b and 0.93 nonequal?
True
Let m = -36 + -129. Let z = -160 - m. Which is greater: z or 8?
8
Let b be (-21)/(-2)*(-4)/(-6). Let d = b - 10. Let z = 394 - 395. Which is smaller: d or z?
d
Let x = -6953 - -6999. Is x <= -45?
False
Let n = 50.4 - 95.6. Let c = -44.98 - n. Do c and -2 have different values?
True
Let r be (-2172)/8*(-12)/(-10). Let v be (10893/210)/((-1)/(-6)). Let f = r + v. Which is bigger: -14 or f?
-14
Suppose 243 + 789 = -8*z. Let p be (-3)/(12/4) + z/(-159). Is p greater than 0?
False
Suppose 27*n + d + 5 = 31*n, -3*d = -4*n + 7. Is n < 0.0238?
False
Let h be 2052/(-9) - (0 - -5). Let l = h - -933/4. Which is greater: -3.1 or l?
l
Let d(p) = 2*p**2 + 21*p + 38. Let w be d(-2). Suppose w*z - 267 = 5*b, -5*b + 5 = 20. Is -1 at least z?
False
Let r(i) = 29 - 19 + 29 + 45 + 62*i + 25*i. Let y be r(-3). Does -176 = y?
False
Suppose -8 = 5*z + 7. Let y be 660/(-5)*z/6. Let j = y + -65. Is 1/15 greater than or equal to j?
False
Suppose 8*o - 16*o = 1296. Let w = -113 - o. Is 49 greater than w?
False
Let s = 4045 + -4046. Is s bigger than -64?
True
Let s = -2836 + 2829. Which is smaller: -244/29 or s?
-244/29
Suppose 67*b + 66 = 2*r + 69*b, 2*r + 4*b = 52. Which is smaller: r or -194?
-194
Let h = -2016 - -2016.008. Let l be 6/9 - (-130)/(-6). Let m be (-2)/((-3)/(9/l)). Which is smaller: h or m?
m
Suppose 0*t + 3*h - 186 = 2*t, -t = -h + 92. Let w = -101 - t. Does -11 = w?
True
Suppose 3*v = 2*c, -6*c + 2*v = -2*c. Let q be (0 - c)/(-2 + 0). Let j = -14560 + 888159/61. Is j greater than q?
False
Let m be 356/30*(-27)/6. Let b = m + 57. Is b at least as big as 2?
True
Let v be 3836/196 + 6/14. Let q be (-10)/(2 + -2 + -2). Suppose -r = q*b + 4, 0*b + 5*r = -4*b - v. Which is smaller: -4/29 or b?
-4/29
Let p = -6.569 + 5.569. Is p > -174?
True
Let j(q) = -q**3 + 13*q**2 + q + 19. Let z be j(13). Let p = 63.98 - 53.98. Which is bigger: z or p?
z
Let b = -3727/7 - -571. Is 39 smaller than b?
False
Let q = 168 - 166. Let d be ((3 + q + -5)*-1)/3. Is d at least as big as 2/741?
False
Let h = 1097 + -805. Which is smaller: h or 295?
h
Suppose 5*i + 22*s = 20*s + 3, 3*s = i - 4. Let l = 44/5 - 46/5. Is l <= i?
True
Let w = -262 + 260.82. Let b = w + 0.98. Do 0.06 and b have different values?
True
Let o = 1069/61 - -425103/244. Is 1761 less than or equal to o?
False
Let y be 168/(-35) + 2/(-10). Let n be (-6)/(-17)*y/(-15). Let u = -15.4 + 15.5. Which is smaller: u or n?
u
Suppose -22 = -2*y - 4*b, 2*b - 3 = 2*y + b. Let o = -61 - -60. Let s be 56/(-98) + o/(-7). Do s and y have the same value?
False
Let c be ((-45)/(-100))/((-15)/(-10)) + (-188)/(-40). Is c smaller than -341?
False
Let o = 47 + -53. Let b be (6 + (-371)/14)/(3/o). Is 41 greater than or equal to b?
True
Let g be ((-4 - -5) + 3)*9. Let y = 37 - g. Let b = 5/3 - y. Do 2 and b have different values?
True
Let m be (-45)/(-465)*(-2)/(-6777). Which is greater: 0 or m?
m
Suppose 315 = 4*q - 2*h + 1727, -2*q - 4*h = 696. Let f be (-36544)/q - 2/(-11). Which is bigger: f or 103?
f
Let i be (826/(-35))/((-3)/30). Suppose -5*b - 11*k - i = -8*k, 180 = -4*b + 2*k. Are b and -44 equal?
False
Let f = 99.5 - 105.5. Suppose -y - 9 = -4*y + 2*q, 4*q - 2 = 2*y. Suppose y*i + 4 = -1. Which is smaller: i or f?
f
Let k = -6.01 + 5.8. Let a = 0.01 + k. Let b = 3 - 1. Is a less than b?
True
Let q(j) be the second derivative of -2*j**3/3 + 17*j**2/2 + j - 20. Let s be q(4). Is 1/254 > s?
False
Let b = 303 + -303.046. Let s = 47/2 + -23. Which is greater: s or b?
s
Let i be ((-24322)/(-7))/(70/22). Let y = i + -1092. Let d = 4 - 3. Which is smaller: y or d?
y
Let c(o) be the first derivative of -o**3 - 11*o**2 + 3*o - 56. Let u be c(-6). Is 24 less than or equal to u?
True
Let p(s) = -13 + 26*s + 5 + 19*s - 7*s. Let h be p(6). Let i = 2854/13 - h. Is 1 <= i?
False
Let w = 35865 - 36470. Which is bigger: -575 or w?
-575
Let v = -2.908 - 4.092. Let m = -0.22 - 6.78. Is v != m?
False
Let a = -0.00882 - -5.00882. Let g = 0.016 - -5.184. Let x = g + -5. Are a and x unequal?
True
Let a = 107 + -320/3. Let t = -107.409 - -0.409. Which is greater: t or a?
a
Suppose y + y = -2*y. Let x = 60 + y. Suppose 0 = 11*i - 7*i - x. Is 15 at least as big as i?
True
Let b be (-2649)/(-18) - 9/54. Suppose -2*o = 2*o - 2*x - 582, 765 = 5*o + 5*x. Which is greater: b or o?
o
Let u be 23474/(-1358) - -17*1. Is -5 at least as big as u?
False
Let f be (-70)/12 + 20/(-120) + 743. Is 747 greater than f?
True
Suppose 1500*q + 225 = 1503*q. Suppose -2*d - p - 276 = 0, -d - q = -2*p + 53. Is d at most as big as -273/2?
False
Let o(h) = -2*h + 8. Suppose -15 = -2*u - 3. Let w be o(u). Let i(r) = 2*r**2 + 97*r - 2840. Let q be i(-69). Which is smaller: q or w?
q
Let u = 305 + -1835/6. Let i(f) = f - f**2 + 3 + 3 - 6 + 2. Let n be i(2). Which is smaller: u or n?
u
Let v be 1*(1 + 6/(-8)). Let y = -305 + 942. Let p = -655 + y. Which is smaller: p or v?
p
Let f(g) = -29*g**3 + 4*g**2 + 38*g + 159. Let n be f(-6). Which is greater: n or 6337?
n
Suppose 288 = 8*v - 12*v. Let g be 266/9 - (-16)/v. Suppose 0 = -17*a - 13*a + 840. Which is smaller: g or a?
a
Let b be 1 - (-4)/(-7) - (34175/1400 - 24). Which is smaller: b or -53?
-53
Let y = -168599/255 + 15159/17. Which is smaller: 230 or y?
230
Let s be (-10982)/11400*8 - (-1 + 1*-5). Which is bigger: s or -1?
-1
Let c = -1303/61800 + 1/600. Let g = -317/412 - c. Let z = -0.035 + -0.165. Is g > z?
False
Let p be (-1)/(1596/(-8))*14/96. Let h = p + 191177/1368. Are 141 and h non-equal?
True
Suppose 19*g - 7*g = -105*g. Is g bigger than 1/3758?
False
Suppose 21*y = 4145 + 2323. Suppose 2*p - z = 311, -p + 4*z + y = p. Is p greater than or equal to 157?
False
Let n = -20 + 67. Let q = n - 330/7. Let x = -10756 - -10757. Which is smaller: q or x?
q
Let l = -588 + 593. Suppose 5*m - 6 = -3*f, l*f - 9 = 5*m + 1. Which is smaller: m or 2/1127?
m
Let t = 142 + -146. Let c(y) = 5*y + 18. Let f be c(t). Which is smaller: -0.61 or f?
f
Suppose -156*a + 1920 = -141*a. Suppose -5*y = 15, -a = 52*q - 56*q - 4*y. Let h = 115 + -80. Is h smaller than q?
False
Let m = -0.369 - -1.278. Let v = m + 0.091. Let b = 381/10 - 38. Which is smaller: b or v?
b
Let m = 4444 + -4446. Let i = -24 + 11. Let a be (i + m)*1/(-3). Which is greater: 8 or a?
8
Let h = 666 + -528. Let j = h - 135. Which is smaller: j or 9?
j
Let c be 3/(-9)*(-2)/(-2). Let u = 5654.2 + -4609.88. Let s = u + -1044. Which is smaller: c or s?
c
Let m = 88 + -92. Let b be (m + 3 + 0)/((-252)/(-24)). Which is bigger: -1 or b?
b
Let w be (14/(-42))/((-1)/120). Suppose -p - 5*s + 4*s = w, 0 = 2*p + 5*s + 95. Is -35 >= p?
True
Let j(r) = r**2 - 230*r + 3844. Let w be j(18). Is w at least 495/17?
False
Let b = -28 + 32. Suppose -b + 22 = -3*w. Let i be 0 - (2/w)/(-1). Is i > -4/5?
True
Let k be (-18)/3 + -42*2/(-3). Suppose k*z + 640 = 2*z. Which is smaller: -21 or z?
z
Suppose 231 = 52*s - 1243 - 190. Is 32 less than s?
False
Let z be (14/6)/((-10)/1110). Let t = 1815/7 + z. Which is bigger: -101 or t?
t
Let q = -2067 + 1984. Is q greater than or equal to -248/3?
False
Let o be (-2 - -6) + -3*4. Let s(x) = x**2 - 5*x + 9. Let g be s(4). Suppose 0 = 3*h - 4*m + 17, g*m + 16 - 4 = -h. Is o greater than h?
False
Let q be 56/42 + (-175)/75. Is q at most 14/313?
True
Suppose -2*g = -3 - 1. Suppose 3*z = -3*r, g*r + 6*z - 3*z = -1. Let t be (-6)/(-11) - (-11 - 63042/(-5467)). Which is bigger: r or t?
r
Let u be 4/(-6) + -1 + 84/18. Suppose -u*w + 6 - 24 = 0. Do -9 and w have the same value?
False
Suppose -5*d - r + 3 - 565 = 0, -2*d - 5*r = 211. Let o = d + 190. Let n be (-22)/(-55) - o/5. Which is greater: n or -71/5?
-71/5
Let j = 2482 - 27580/11. Which is smaller: 2/3 or j?
j
Let j = -33.4 + 40.7. Let q = j - 6.5. Which is smaller: 7 or q?
q
Suppose -299 = 5*a - x, -69 = 2*a - 4*x + 47. Let f = 12 - 9. Suppose -108 + 288 = -f*w. Is w equal to a?
True
Let m = -182.6 - -193. Let n = m - 9.4. Is 73/3 at most as big as n?
False
Let y = 282 + 262. Which is bigger: 1631/3 or y?
y
Suppose -y - 34 - 17 = -5*d, 146 = -2*y - d. Let o = y + 67. Which is smaller: o or 6?
o
Suppose -2408*x + 2385*x - 39491 = 0. Which is smaller: x or -1716?
x
Suppose p - 4*a = -a + 18, -9 = 2*p + 3*a. Suppose 3*g + 13 = -4*l, 0*l - 18 = 5*g + p*l. Let b be ((