k = -7 - -31. Let z = k - 47. Let f = 18 + z. Which is smaller: f or -4?
f
Let z be (42/70)/(1/(-5)). Let x be z - (-14 - (1 + -2)). Let p be 54/(-170) + 2/x. Which is smaller: 0 or p?
p
Let v = 0.228 + 0.772. Which is smaller: -1352 or v?
-1352
Suppose -7160*g + 7148*g + 23328 = 0. Is 1944 > g?
False
Suppose -3*j - 40 = u, 203*u + 135 = 198*u - 2*j. Which is bigger: u or -728/29?
u
Let c = -770 - -732.7. Let u = 36.965 + c. Which is greater: 2/5 or u?
2/5
Suppose 3306 = -320*o + 291*o. Is o <= -13?
True
Suppose -5*t = 32*x - 30*x - 21584, 6 = -2*x. Is t greater than or equal to 4320?
False
Let l = 5.052 + -4.0239. Let m = -0.0281 + l. Which is smaller: m or 15/2?
m
Suppose -4*c + 300 = -3*n, 4*c - 351 = 2*n - 51. Suppose 14*s = -770 + 210. Let h be 342/(-15)*s/12. Which is smaller: c or h?
c
Let n = 4.3631 - -0.1369. Let b = 0.026 - 4.426. Let a = b + n. Is -23 at most as big as a?
True
Let r = 1.487 - -0.443. Let s = r + -2.03. Is s at least as big as 2.02?
False
Suppose -4*g + 3 + 1 = 0. Let q(h) = h**2 + 4*h + 35. Let p be q(9). Let j = -159 + p. Which is smaller: j or g?
j
Let n be 126/9 - 3902/280. Which is smaller: 1 or n?
n
Let v be 2/(-3) + (-1)/3. Let g = -7624286280/1133 - -6729293. Let d = g + -26/11. Is v >= d?
False
Let f(t) = -17*t**3 - 5*t**2 - 6*t + 9. Let d = -434 + 431. Let o be f(d). Is o greater than or equal to 441?
True
Let z be (-3)/6 + 2/8. Let b = -5.7 + 81.7. Let d = b - 91. Which is bigger: d or z?
z
Let n be ((-5)/95)/((-2715)/(-180) - 15). Is n at least as big as -13?
True
Let v = 4235 + -4248. Which is smaller: v or 150?
v
Let d(a) = 9*a - 322. Let p(j) = -j - 3. Let k(n) = -d(n) - 3*p(n). Let r be k(55). Let z be 2/6 - (-13)/(-36). Is z smaller than r?
True
Let o = 3 - 2. Let u = -0.193 - -0.215. Let z = u - -0.138. Which is bigger: z or o?
o
Suppose 25 = 12*k - 11. Suppose -w = w - k*w. Do w and -3/4 have the same value?
False
Suppose 5*q + 3*m + 3 = 3*q, 32 = -3*q + m. Let v be -3 + (-24)/q + 1551/9. Let w be ((-320)/v)/1 + 2. Is -1 greater than or equal to w?
False
Let w = -3 - 5. Let z be (-20)/(-18)*(9 + 0). Suppose 0 = -9*h + z*h + 5. Which is smaller: h or w?
w
Let k = 4156.7551 - 4157. Which is smaller: -2/7 or k?
-2/7
Let d be (10/(-15) + 6)*(-27)/2. Let q be (d/(-30) - -1)/((-8)/10). Suppose 5*o + 9 = -3*v - 13, 2*o + 4 = 0. Is v > q?
True
Let u be ((45/(-9))/(-98615))/(5/(-10)). Is u smaller than 0?
True
Let w be (-18)/(-8) + 1/(-4). Let g(k) = 4*k**2 + 87*k - 3. Let u be g(-22). Suppose -w*z = u - 13. Which is bigger: 3 or z?
3
Let m = 153.51 + -152. Let y = 1.46 - m. Which is greater: y or -2/29?
y
Suppose -4*y - 308 = -6*y. Suppose f - 4*d - y = -2*d, 3*d - 417 = -3*f. Suppose -5*a - 5*s + 54 = f, a + 2*s + 23 = 0. Are -13 and a non-equal?
False
Let r = 8.55 + -11.75. Which is greater: -2/31 or r?
-2/31
Suppose -5*h = -4*t + 53, -5*t - 25 = -10. Let l be (0/2)/(-9 - h). Which is smaller: 147 or l?
l
Suppose -5*t = -t - 8. Let k be (t/(-50))/((-2)/5). Suppose -11 = -3*o - 2*f - 17, o - 2*f - 6 = 0. Is k <= o?
False
Let a be (1 - (0 - -1))*(-27)/54. Let t(c) = c**3 + 5*c**2 - 6*c - 4. Let l be t(-6). Let i be (l/(-66))/(2/(-18)). Which is bigger: a or i?
a
Let x = -114.79 - -114.79. Do -0.164 and x have the same value?
False
Suppose -b + 0*b = 41. Let r(f) = -9*f + 31. Let w be r(16). Let x = w + 72. Is x greater than or equal to b?
True
Suppose 0 = -266*b + 75325 - 273229. Is -745 equal to b?
False
Let t(g) = g**3 - 6*g**2 + 4*g + 3. Let c be t(4). Suppose -28*x - 390 = -22*x. Let m = x - -52. Do m and c have the same value?
True
Let h = -149 + 312. Let c = 687/4 - h. Which is bigger: c or 10?
10
Let m = -9163 - -7629. Is -1534 at least as big as m?
True
Let q = 3786 + -87068/23. Which is smaller: q or -1.3?
-1.3
Suppose 0 = -3*d - 0*j - 4*j + 20, -j + 5 = -4*d. Let v be (-6)/(-315)*(3 + (-14)/3). Is v <= d?
True
Let m = 2 - -11. Let h(r) = 2*r**3 + 2*r**2 + r. Let u be h(3). Suppose -5*l = 3*b - u, -4*l - 3*b + 48 = -12. Is m not equal to l?
True
Let o(k) = k**3 + 2*k**2 - 12*k - 12. Let z be o(-4). Suppose -6*b = 5*v - 2*b - 153, 78 = 2*v - z*b. Which is bigger: 31 or v?
v
Suppose 0 = -7*b + 8*b + f + 557, -5*b - 2803 = 2*f. Which is smaller: -2253/4 or b?
-2253/4
Suppose 0 = 2*k + 2*l - 24, k + 2*l - 28 = -3*l. Suppose 6*h + k = 3*h - b, 3*b - 2 = 4*h. Let a = -8691/7 + 1239. Is a greater than h?
False
Let w be (-1)/((2 + -3)*(-7)/(-70)). Suppose -w*l + 4107 = 1317. Is l greater than or equal to 279?
True
Let p = 10367 - 51836/5. Which is bigger: 355 or p?
355
Let d = 0.04 - 0.14. Let s = 24901/19 + -1311. Let f = s - 17/95. Which is smaller: f or d?
f
Let f(g) = g**2 + 17*g - 32. Let r be f(-21). Let o = 50 - r. Let v = o + 2. Which is bigger: v or 7/5?
7/5
Let a = 0.064 - 2.748. Let i = 0.316 - a. Do -0.11 and i have different values?
True
Let x = -26 + 12. Let w be 2/((-15)/(-20) + (-602)/824). Suppose 114 - w = -j. Is j greater than or equal to x?
True
Let m = -170 - -172. Let c be (6*16/(-72))/(m/(-21)). Are 14 and c unequal?
False
Suppose -14*f + 3*f = 15*f. Is 1/423 > f?
True
Let j = 286 + -87. Let w = j + -254. Which is bigger: 0.1 or w?
0.1
Suppose 5*c + 41 + 0 = i, 4*c = -8. Let t(m) = -m**2 - 21*m + 29. Let x be (-1 - -2)/(2*(-3)/126). Let h be t(x). Which is smaller: i or h?
h
Let p = -32 - -23. Let v be (-28)/35*(-140)/(-8). Let z be (-5)/(-1) - (v + 29). Is p >= z?
True
Let o be (-536)/67 - 841/(-110). Which is smaller: o or 0?
o
Suppose -c - 24 - 5 = 0. Let u be (-61)/(0/5 - 1). Let v = u + -89. Is v smaller than c?
False
Let m = 0.3 + -0.35. Let u = m + 0.1. Let n = -2826 - -2829. Which is bigger: n or u?
n
Let l = 4.158 - 7.688. Which is smaller: -8/7 or l?
l
Suppose 38335 = 457*v - 462*v. Let q be -2 + (-4)/(-3) + v/33. Is q < -233?
False
Let s = -0.106 + 1.486. Let l = s + -1. Let k = l - 0.48. Is k at least -2.1?
True
Let g be ((-1152)/5)/(22/20625). Let p be (-6)/(-8) + 161680/g. Is 0 greater than p?
False
Let g be 234/((8/12)/(6/(-9))). Let x = g + 238. Are x and 39/11 nonequal?
True
Let w = -4 - -4.1. Suppose 126 = 804*u - 810*u. Let h be (63/(-120))/u + 0. Which is smaller: h or w?
h
Let d(w) = -4*w**2 - 24*w - 10. Let k(u) = -1. Let i(q) = d(q) + k(q). Let f be i(-6). Let s = -15 - -3. Is f at least as big as s?
True
Let k = 281 + -276. Let g be -8*(k - (-172)/(-32)). Which is greater: g or -5/6?
g
Let x = -18 - -20. Let l(r) = 3*r + 4*r + 27 + 18 - x*r. Let b be l(-10). Which is smaller: -40/7 or b?
-40/7
Suppose 98 = 5*g + 4*j, 10*j - 5*j - 51 = -3*g. Is g not equal to -10?
True
Let y = -37586 + 37557. Which is smaller: 4 or y?
y
Let i = -3822/61 + 34439920/549671. Is i at least 1?
False
Let m = 1 - -59. Let k = 33 - m. Does -186/7 = k?
False
Let g(r) = -264*r - 534. Let b be g(3). Which is greater: b or -1327?
b
Let m be -4 + 7734/1816 + (-92)/368. Let w(c) = -2*c - 1. Let f be w(2). Let r be 2 + f + 2 - 0. Is m >= r?
True
Let k(p) = -694*p + 2870. Let m be k(4). Is -0.198 less than m?
True
Let b = 764550273011/2 - 1237806768300261/3238. Let x = b + -38204. Do x and 0 have the same value?
False
Let y = -0.0136 + 92.1136. Let f = 92.1 - y. Is f at most 485?
True
Let d = -31252 + 31252. Which is bigger: -17/42 or d?
d
Suppose 2*z = 2, -2*z - 120 - 379 = 3*a. Let s = -159 - a. Are 1 and s equal?
False
Let i be 0/(0/1 - 1). Suppose -3*x - 3*x + 204 = i. Suppose -3*w + 50 + x = 0. Is 29 smaller than w?
False
Let c = 502.9 + -552. Let h = c - -6.1. Let y = h - -45. Which is greater: y or 11?
11
Let t(h) be the second derivative of -13*h - 39/2*h**2 + 2*h**3 + 0. Let j be t(8). Is 56 < j?
True
Let r = 6125441/8 + -767151. Is -1472 bigger than r?
False
Suppose 0 = 4*g + 7 - 27. Suppose g*n - 48 = -38. Let v be (10/12)/((-2)/(-8)*n). Which is smaller: v or -0.2?
-0.2
Let h(u) be the second derivative of u**3/6 - 13*u**2/2 - u. Let q(t) = t**3 - 32*t**2 + 87*t + 13. Let z be q(29). Let n be h(z). Is n at least -18?
True
Let n(p) = 8*p**3 + p**2 - 2*p. Let m be n(1). Suppose 60 = -m*r - 31. Which is smaller: -12 or r?
r
Let c = 41 - 44. Let j be (c/8)/((-6)/(-17038)). Let v = j - -1063. Which is smaller: v or -2?
-2
Let f(d) = 25*d**2 - 33*d - 23. Let g be f(-18). Is 8672 at most as big as g?
False
Let b(a) = 2*a**3 + 43*a**2 + 5*a + 407. Let o be b(-22). Is -933/5 less than