than -3/7?
True
Let b be 2 + 2 - (2 - 7). Let y be (-20)/70 - b/(-42)*-1142. Which is greater: -246 or y?
y
Let y = -1.1 - -1.2. Let v = 157.1 - 10.1. Let c = v + -168. Is c > y?
False
Let q = -7254/5 - -1469. Let w = 20 - q. Let g(t) = -t**3 - 5*t**2 - 6*t - 6. Let b be g(-4). Which is greater: w or b?
b
Let j be (-8024)/(-2124) - 4/1. Let g = -4 + 5. Which is bigger: g or j?
g
Let m = -22591/6 + 3765. Is 3.2 smaller than m?
False
Let y = -8831/5 + 9223/5. Which is bigger: 79 or y?
79
Let q = -2 - -2. Let k = 29/1283 + -827/150111. Is k bigger than q?
True
Suppose 127*h + 24 = 151*h. Which is greater: 4/457 or h?
h
Let p = 41.25 + -41.24. Which is bigger: -19 or p?
p
Let s(u) = -12*u - 78. Let a be s(-7). Let r be a/((72/(-6))/6). Let d be 4/2 + 1 + -5. Which is smaller: d or r?
r
Let j(w) = -w**3 + 6*w**2 + 10*w - 10. Let n be j(7). Let m(b) = 3*b**2 + 5*b - 5. Let d be m(2). Suppose 36 = -14*o + d*o. Which is smaller: n or o?
n
Suppose 168 = 3*v + 2*m, -4*v = -0*v + 5*m - 224. Let j be 82*1/(-3)*(88 - 8)/(-40). Which is greater: j or v?
v
Let u = 36 - 10. Let f(b) = 30 + 30 + 9 - 5*b. Let c be f(9). Do c and u have different values?
True
Let k be 32/20*25/20. Suppose -1 = 3*l - k*l, -172 = -5*v + 2*l. Is v > 7?
True
Let s(i) = -2*i**3 - 7*i**2 - 4*i - 2. Let o be 42/(-56) + 26/(-8). Let b be s(o). Which is smaller: b or 61/2?
b
Let i = 102.98 + 3.02. Let v = i - 105.99. Which is smaller: 2 or v?
v
Suppose 10*q = -5*o + 105, 3*o - 45 - 8 = -5*q. Let a = -63 - -63.067. Which is bigger: a or o?
o
Let x = -24779 - -24824.82. Which is bigger: x or -1?
x
Let c = -0.391 + 7.091. Let g = -5.5 + c. Let z = 24 - 71/3. Is g greater than z?
True
Suppose 681 = 3*h + b - 53, 3*h - 4*b - 724 = 0. Let v be ((-2)/2)/(h + 1). Which is smaller: v or -1?
-1
Suppose -5*c + 7*q - 401 = -723, 5*q = -2*c + 121. Which is smaller: c or 62?
62
Let l = 16544840/41 - 403494. Is l > 40?
False
Let n(w) = 2*w + 14. Let z be n(-8). Let h be 24/15 - (0 - z). Let b = -3.962 - 0.038. Is h < b?
False
Let x = -1.0205 - -70.0205. Is x not equal to 4?
True
Let c = 3458456/147 + -23527. Is -1 at least as big as c?
False
Suppose -105*g - 7337 = -108*g - a, -g + 2476 = -4*a. Is g at least 2448?
True
Suppose 4625 = -43*t - 2*t - 505. Do -151 and t have different values?
True
Suppose 7*p = -5*c - 21, 61*c - 62*c - 5*p - 15 = 0. Which is bigger: c or -14/5063?
c
Let v = 0.2184 + -0.246. Let m = v - -0.0276. Let k = -0.1 + 3.6. Which is bigger: k or m?
k
Let f be 7 - (-5 + (-1 - -13)). Let o be 3/(-1) - 11420/(-3812). Let b = 14251/10483 - o. Which is bigger: b or f?
b
Suppose -22*y + 15*y = -70. Suppose -32 = -y*q + 2*q. Suppose 2*h - 5*w = 14 + 8, 4*h + 3*w + 8 = 0. Is h bigger than q?
False
Suppose -16*a + g = -11*a + 217, 3*g - 178 = 4*a. Suppose 8*c + 178 = -158. Is c < a?
False
Let u(a) = 14*a**2 + 41*a + 286. Let x be u(-13). Which is bigger: x or 2118?
x
Let g be (10*-9)/((-2)/(-118)). Is g > -5310?
False
Let t = -7650 - -7662. Let v = 7 - 4. Suppose -60 = v*y - 7*y. Is y < t?
False
Suppose 317*f = 315*f + 238. Do 118 and f have different values?
True
Let v = -731 - -771. Which is smaller: v or 279/7?
279/7
Let f = 6541 + -6530. Is 0.114 at most as big as f?
True
Let w = -30.753 - 0.047. Let g = -5.2 + w. Let h = g - -35.9. Are 8/11 and h nonequal?
True
Suppose 9*d = -0 + 117. Suppose -3*b + 26 = 3*w - d, 29 = 3*w + b. Is 36/5 less than or equal to w?
True
Let k = -6.523 - -7.253. Is k at least as big as -2/117?
True
Let j = 985 + -985. Is j <= 10/109?
True
Suppose 5*s = 28 - 13, 0 = -2*x + 2*s - 1066. Is x < -0.3?
True
Suppose -68*r + 22*r = 1518. Is r smaller than -39?
False
Let u(d) = 4*d + 21. Let j(z) = -z**2 + 9*z. Let b be j(10). Let l be u(b). Suppose -s + 2*s + 18 = 0. Which is greater: l or s?
s
Let r(p) = 21*p + 1074. Let t be r(-52). Let y be (-1)/1 + (-2790)/162. Which is smaller: t or y?
y
Let r = 0.5 + 0.1. Let h = 0.63 - r. Let i = 0.00215 - 3.00215. Is h > i?
True
Suppose -5*b - 3 = -2*b - 2*n, 5*n + 12 = b. Let p be (-33)/(-11) + (b - 1). Which is smaller: p or -6/247?
p
Let k(c) = -188*c - 10. Let o be k(2). Let g be (o/3)/(-2) + (-16)/48. Do 66 and g have different values?
True
Let b = -1 + 0. Let z be (-33669)/2034 + 3927/238. Is z at least as big as b?
True
Let o(j) = -3*j**3 + 2*j + 1. Let v be o(-1). Let p = -212735713/434 - -490174. Let n = p + 34/31. Is n equal to v?
False
Suppose q + 18 = 32. Let h be (q/78)/(3/(-378)). Let s = 1782/65 + h. Is s greater than 6?
False
Let f be (-13)/(-10) - (1 - 0). Let l be ((-22)/(-55))/((-4)/(-30)). Suppose 0*q - l*q = -3*c + 3, 5*q = -c + 1. Which is bigger: q or f?
f
Let v(p) = -p - 2. Let c be v(-2). Let k be 966/(-3928) - ((-1072)/(-64) + -17). Which is smaller: k or c?
c
Let h(n) = n + 6. Let w be h(-9). Let b = -19481/9386 - 1/722. Is b >= w?
True
Let s = 488 - 485.08. Let d = s - 2.92. Let r = 0.006 + 35.994. Which is greater: d or r?
r
Let g(s) be the second derivative of -7*s**3/3 - 57*s**2/2 - 3*s - 13. Let l be g(-5). Which is smaller: l or -6?
-6
Let c be ((-12)/(-10))/(144/(-1008) + (-18)/70). Is c < -1095?
False
Let x be ((-2)/(3/(15/15)))/(1/7611). Are x and -5076 non-equal?
True
Let n(b) = b**2 + 5*b - 12. Let m be n(-6). Let x be (14/(-1064))/(m/(-32)). Is 2/7 not equal to x?
True
Let z be (-18)/8*(258 + 0 + -6). Let q = -785 - z. Is q <= -217?
True
Suppose -3 = n - 4*c, 3*c = n - 501 + 503. Let m = -128/909 - -3/101. Which is greater: m or n?
n
Suppose 0 = -5*t + 2*j - 3647, -2*t + j - 933 = 526. Is -729 less than or equal to t?
True
Suppose 2*m = 0, 13*g - 10*g + 3*m - 72 = 0. Let z be ((-6)/g)/((-8)/16). Is z != -130?
True
Let g be 1 - ((-3610)/1795 - -3). Let x = -6797/2154 - g. Suppose 10*h - 12*h = -z + 6, -h = 5*z + 25. Which is smaller: z or x?
z
Let u = -19231 - -19231.1. Which is smaller: -4486 or u?
-4486
Let p = -77 + 97. Suppose 0 = -10*g + 30 + p. Let z be 0/(g/(15/6)). Which is smaller: 7 or z?
z
Let c = -13500 + 15703. Does c = 2203?
True
Suppose -74 - 7 + 33 = 16*w. Is -133/33 > w?
False
Let b be (42/3)/(-2) + -15 + 109200/(-21). Is -5225 >= b?
False
Let l be -5*5/(-25)*-2. Let w be ((-1)/(351/l))/(60/(-180)). Is -3 less than w?
True
Let z(y) = y**3 - 20*y**2 - 20*y - 21. Let s be z(21). Suppose -4*u - 4*b = -180, s*u + 97 = 2*u - 5*b. Is 46 at most u?
True
Let s = -3 + 2. Let h = 1.2 + s. Let j be (((-19278)/(-36))/21 - 9)*6/9. Which is bigger: h or j?
j
Let k = 225 - 153. Let z = k - 79. Let c be (2 - 3)*-3 + -11. Do z and c have different values?
True
Suppose -19*o = 45 - 1185. Suppose -6*w + 11*w - o = 0. Which is bigger: 9 or w?
w
Let q = -528 - -199. Let i = 2629/8 + q. Suppose -2*s - c = 7, s + 2*c - 9 = 4*c. Is s bigger than i?
False
Suppose -2*o + o = 4 - 4. Let a = -6/149 - -2224/3427. Which is bigger: a or o?
a
Let f = -611908 + 611908.05. Let z = 10.1 - -2.9. Which is greater: f or z?
z
Suppose -10 = -k - 5*t, 5*k + 4*t + 13 = 63. Let l(s) = s**2 - 5*s + 7. Let x be l(k). Suppose 0 = -7*n + 4*n + x. Which is smaller: n or 18?
18
Let y be (-2)/(-1)*(-2)/(-4)*4/(-14). Which is greater: y or 4/823?
4/823
Suppose -i = y + 18, 4*i + 174 - 62 = 4*y. Let o be (i - -21)/((-4)/186). Is 371/4 greater than or equal to o?
False
Suppose -11*o + 7*o = 3*b - 2, -5*o = 3*b + 2. Suppose -b*z - 3*z = -10*z. Is -1/79 bigger than z?
False
Suppose 2*p + 0*c = c - 74, 3*p + c = -106. Let r = p + 16. Let t = 16 - r. Which is greater: t or 2/5?
t
Suppose 125*w - z - 41 = 121*w, w + z - 9 = 0. Suppose -25 = 5*s, -2*i + w*s + 26 = 6*s. Do i and -23 have the same value?
False
Let d be (-1 + 9)*3*(-1)/(-12). Suppose 97*i = 95*i + 4. Let s be (-2 + i)*(-4)/(2 - 10). Which is greater: d or s?
d
Let b = 26 - 11. Suppose -35 + 17 = 3*p. Let o be ((-784)/390)/(-4) + p/b. Which is greater: o or 1?
1
Let p(u) = -273*u - 1637. Let i be p(-6). Which is greater: i or 2/20903?
i
Let k = -4 - -5. Let s(q) = 11*q - 167. Let r be s(15). Which is greater: r or k?
k
Let y be (-3 + -4)/7*-1247. Let h = y - 1247. Let o = -82175/273 + 301. Which is smaller: o or h?
o
Let v = 15/11 + -427/297. Suppose 7*b - 4*b = -30. Let a be -1 + -1 + b + 11. Which is greater: v or a?
v
Let y = -1394 - -1196. Let q = y + 198.087. Let f = 0 - -0.1. Do q and f have different values?
True
Let h = 63 - 56. Suppose 0 = -h*r + 94 - 73