 = -2.68 + -0.98. Let z = d + 3.73. Is z < g?
False
Let v(q) = q - 2. Suppose -4*n = -5*t - 15, 4*n = 2*t + 1 + 17. Let x be v(t). Which is bigger: 5/22 or x?
5/22
Let y = 41.8 + -39.8. Which is smaller: -1/126 or y?
-1/126
Let s(i) = 3*i**2 + 16*i - 5. Let n(l) = l**3 + 9*l**2 - 5*l + 45. Let g be n(-10). Let y be s(g). Which is smaller: y or -2?
y
Let b be (-1662)/(-4)*((-16)/15)/(10/50). Does b = -2214?
False
Let w(q) = -q**3 - 17*q**2 - 71*q - 104. Let p be w(-6). Is -116 not equal to p?
True
Let f be 8*5*39/(-910)*35. Which is smaller: -57 or f?
f
Let b(z) = -7*z**3 + 7*z**2 + z + 3. Let v be b(-3). Let u = -253 + v. Which is smaller: u or 102/13?
u
Let g be (1 + 2/(-2))/(-1). Let c(d) = -193 - 196 + 0*d - 195 + d + 580. Let y be c(g). Which is bigger: -19/6 or y?
-19/6
Let h = -10.6513 - 2.3487. Which is smaller: 13 or h?
h
Let g(i) = i**3 + 6*i**2 + 4*i + 23. Let j be g(-6). Let w be (-1)/(1 + 0)*-22. Suppose -5*s - w = -72. Which is bigger: j or s?
s
Let b be (-24)/(-66660)*41655 + -15. Which is greater: 1 or b?
1
Let f(w) = -2*w**3 - 8*w**2 - 23*w - 4. Let i be f(-3). Let v be i/(-141) + 28/3. Which is smaller: v or 10?
v
Let j be (-2)/9*33/44 + (-3480)/(-144). Let w be -9 + 13 - (-50)/(-11). Which is smaller: w or j?
w
Suppose -3*n = 5 + 7. Let g(a) = -9*a + 8. Let z be g(n). Suppose 3 = 5*d - 212. Is z at most d?
False
Suppose 0 = 3*g - 2*w + 39 + 33, g = 5*w - 24. Let u = -42.968 + 42.768. Is g at most u?
True
Let d be (-132)/22 + (-146 - 2) - -5. Which is smaller: d or -146?
d
Let i = -123 - -65. Let z = 6703 - 6705. Do i and z have different values?
True
Let y = -2754 + 3370. Is -0.3 less than or equal to y?
True
Suppose -2*x - 4 = -66. Let k = 15 - x. Let w be 87/(-4)*26/39. Which is smaller: k or w?
k
Let r(g) = -g**3 - 4*g**2 + 13*g + 7. Let i = -19 - -13. Let l be r(i). Let f = -1151 - -116253/101. Which is bigger: f or l?
l
Let m = 0.098 + -21.098. Let z = m + 21.2. Let i = -1.8 - -2. Are i and z equal?
True
Let n = 46362 - 47292. Which is bigger: -932 or n?
n
Let a(t) be the second derivative of -5*t**3 - 69*t**2/2 - 24*t + 6. Let p be a(-3). Which is bigger: p or 18?
p
Suppose -7*w + 4*o + 26882 = 0, 5*w - 5*o - 19204 = -3*o. Is w less than 3844?
True
Let v = 344.631 - -0.269. Let m = v + -345. Which is smaller: 284 or m?
m
Let d = -86 + 74. Let f = 122 - 246. Let u = 116 + f. Which is bigger: d or u?
u
Let s(y) = y**3 + 4*y**2 + y + 4. Let z be s(-4). Let r be 13/(-26)*(2 + z). Which is bigger: -12/7 or r?
r
Let s = 3667078/1883 + -13632/7. Is s >= 1?
False
Let w = 12574677/39949 - 4092/13. Is 1 != w?
True
Let l(v) = -242*v + 296. Let f be l(-9). Is 2474 equal to f?
True
Let d = 9/16309736 + -11330422530091/3049920632. Let j = d + 3715. Do j and -1 have different values?
True
Let p be 644/112 - 0 - 10/4. Which is greater: -0.02 or p?
p
Let l be ((-425)/10 + 6 + 4)*4/5. Which is greater: -980/39 or l?
-980/39
Let f = 75/52 + -7675/5772. Which is greater: f or 1?
1
Let l(i) = 26*i + 12. Let d be l(1). Suppose -d*x = -37*x + 474. Is -473 > x?
True
Let b(y) = -y**2 - 10*y + 24. Let w be b(-12). Let i(f) = 0 + 2*f + w + 1. Let g be i(0). Which is smaller: g or -1/98?
-1/98
Let h = 321.2 - 321.27. Is 8.4 > h?
True
Let o = -2.49 - -0.59. Let h = -0.244 + -10.856. Let s = h + o. Is 2 not equal to s?
True
Let r be 236/826 + 3386/7 + 2. Are r and 0 unequal?
True
Let a = 1141/82 - -680/41. Suppose 0 = 5*o + 3*t - 164, 0*o - 2*o = 4*t - 74. Does o = a?
False
Let k(j) = 94*j + 2788. Let w be k(-14). Which is bigger: 4 or w?
w
Let u = -6164 + 14107. Is 7943 <= u?
True
Let x be (3/(-12534))/(-3 - 25/(-8)). Let o = x + 336345/8356. Are 40 and o unequal?
True
Let r = 716 - 717. Let v = 5 + -4.9. Which is smaller: r or v?
r
Suppose 14 = 415*b - 408*b. Let z be b/(-5 - -3)*(-2)/(-485). Which is bigger: 0 or z?
0
Let w = -19730 + 18019. Which is bigger: -8558/5 or w?
w
Let o = -217198/3 - -10211528/141. Which is smaller: o or 23?
o
Let m = -0.3 + 1.3. Let h be (-324)/(-72)*(-300)/2205. Is m equal to h?
False
Suppose 14*u - 6034 = 4942. Let n = u - 846. Which is smaller: n or -64?
-64
Let v(g) = -9*g + 17. Let f be ((-63)/(-27))/(28/24). Let t be v(f). Let m = -65/28 + 11/7. Is t at most m?
True
Let h be 10/(-40)*-28 + 2189. Is h >= 2196?
True
Let c = 498 - 233. Let j = 11394/43 - c. Which is smaller: 0 or j?
j
Let a = -73.3 - 226.7. Let u = 299.9 + a. Let y = 23.1 + -0.1. Is u at most as big as y?
True
Let x = 172993/39 - 26561/6. Which is smaller: 9 or x?
x
Let n = -1.0382 - -0.968. Which is greater: n or 11?
11
Let d(c) = 247*c**2 + 10*c + 7. Let n be d(-5). Let a be ((-2)/7 + 1780/n)*1. Which is smaller: a or -1?
-1
Let z be (-8 - 1)*10/(-3). Let g = 2753/95 - -8/19. Are z and g equal?
False
Let b = 7 - 9. Let w = -222943/299715 - -2/7685. Let c = -12/13 + w. Is b at least as big as c?
False
Let z be 2/(-4) - 93/(18600/(-80)). Is z not equal to 58?
True
Let t = 0.558 + -0.758. Which is smaller: t or -1306?
-1306
Let m(t) = -t**2 + 2*t + 7. Let u be m(3). Suppose -4*c - 15 = 5*w - 2*c, u*w = -4*c. Which is smaller: w or -41/8?
-41/8
Let m be (57 + (-357522)/6270)/(1 - (-4)/(-5)). Are 864 and m non-equal?
True
Suppose -3*s + 166 = 22. Suppose -15*y + s = -19*y. Which is greater: -5 or y?
-5
Let y = -0.0528 + 359.0528. Let g = -327 + y. Which is smaller: g or 1?
1
Let z(j) = -2*j + 33. Let l be z(14). Suppose 0*o + 45 = l*o. Let g = o + -24. Is g not equal to -14?
True
Suppose 15*w + 368 = 11*w. Let m = -61 - w. Which is smaller: 25 or m?
25
Let o = 1.627 - 3.067. Is o smaller than 2?
True
Let y(q) = -1037*q + 2924. Let w be y(3). Which is smaller: -188 or w?
-188
Let z be (-16)/24 + 16/21*386. Which is greater: z or 292?
z
Let q = -145.83037 - -145.84. Which is smaller: -0.2 or q?
-0.2
Let y(c) = 180*c + 8. Let o be y(-1). Let k = o + 171. Which is smaller: 2/65 or k?
k
Let n(d) = d**2 + 6*d - 6. Let f be n(-6). Let h be (3/f)/((-19)/(-4)). Let b = -9796 + 9797. Which is greater: b or h?
b
Let l(q) = -4*q**2 - 456*q - 1803. Let y be l(-4). Is y bigger than -47?
True
Let r = 127 - 73. Let i be 3/(-6)*(r/(-78) - -1). Which is smaller: 15 or i?
i
Let i = 0.6196 - -271.2804. Let o = i - 272. Is 17 greater than o?
True
Let g = 6.4 + -6.361. Let j = g + -0.155. Is 2/7 less than or equal to j?
False
Let p = -399 + 274. Let s(b) = b**3 + 3*b**2 - 4*b + 41. Let i be s(-7). Is p < i?
False
Let p be (-34080)/54 + (-4)/6. Suppose -6*j = 3*c - 5*j + 1892, 4*j + 638 = -c. Let g = p - c. Which is bigger: -3 or g?
g
Suppose 7*m - 94 = -87. Let i be m/(0 - (-24)/(-200)). Which is smaller: -7 or i?
i
Let g = -424.0685 + 0.0685. Let b = g + 426.929. Let j = 0.071 + b. Which is smaller: -7 or j?
-7
Let r be -5 + (-585)/(-85) + (-8)/(-68). Suppose 0 = -5*d + r*d - 5*z - 43, -3*d - 2*z - 46 = 0. Is d greater than or equal to -19?
True
Let v(k) = -2*k**2 - 36*k + 34. Let p = -1 + -17. Let s be v(p). Which is smaller: 33 or s?
33
Let v = -0.6555 + -80.4645. Which is greater: -1/3 or v?
-1/3
Suppose -3*q - f - f + 210 = 0, 0 = 4*q - 3*f - 280. Suppose -35 = -15*a + q. Suppose -83 - 78 = -a*v. Is v not equal to 23?
False
Let z = 29 - 26. Let w be (3*1/z)/((-7)/238). Let m = w - -33. Is m != 2/65?
True
Suppose -19*u + 12 = -13*u. Suppose 0 = -5*f - a + 46, -4*a + a = -5*f + 62. Let p be -4*(2/f)/(u/(-5)). Which is greater: 30/13 or p?
30/13
Suppose 0 = 10*w - 1684 - 186. Let i = 41699/223 - w. Let f = -2666/1115 + i. Which is greater: 3 or f?
3
Let s(f) = f**3 - 21*f**2 + 20*f + 1. Let y be (60/54)/(2/36). Let h be s(y). Let n be 6/(-28)*8 + 2. Which is smaller: n or h?
n
Let m(j) = -7*j**2 + 13 + 9*j**2 - 12*j - 15*j - 6*j. Let t be m(16). Let f be -4 - (t + 6/(-8)). Which is smaller: f or -3/2?
-3/2
Suppose 22*a = -4*a + 234. Let r be 6/(-18) + (-6)/a. Which is smaller: 1 or r?
r
Let t be ((-8508)/852 - -10)*1/2. Is 0 <= t?
True
Let g(f) = -2*f**2 + 42*f + 44. Let z(p) = p**2 + 22. Let y be z(0). Let t be g(y). Let u be (-2248)/(-752) + 1*-3. Is u < t?
True
Let o(l) = 6*l**3 + 14*l**2 + 33*l + 280. Let d be o(-8). Which is smaller: -2164 or d?
-2164
Let g = 675 - -10. Let p = g - 700. Which is smaller: 0.06 or p?
p
Let p be ((-20)/6)/(2/(-501)). Which is smaller: 1 or p?
1
Let f(b) = -b**2 - 2*b + 73. Let c be f(0). Let v = c - 513/7. Let q = 0.3 - 1.3. Which 