bigger: b or -0.68?
-0.68
Suppose 0 = 18*l - 734 - 166. Let u(w) = 13*w - 3. Let q be u(4). Is l greater than q?
True
Let h = -110 - -113. Let u = 9713/12 + -810. Let w = u - -193/84. Is w at most as big as h?
True
Let h(y) = 11*y - 6. Let g be h(10). Suppose 3*d + 59 - g = 0. Is 15 >= d?
True
Let o(q) = q**3 + 9*q**2 - 12*q - 191. Let i be o(-10). Which is smaller: -149 or i?
i
Let n = 12594 - 12788. Which is smaller: -4 or n?
n
Suppose -448 - 398 = 19*s - 10. Which is greater: -39 or s?
-39
Let w(b) = -b + 11. Let j be w(11). Suppose 0 = -5*l - 8*t + 4*t - 98, j = -4*l + 2*t - 94. Suppose -16*g - 595 = 9*g + 5. Which is smaller: l or g?
g
Let r be (-25)/(275/(-22)) - (1 + 2). Is r > -2/9685?
False
Let k = 803583/134 - 5997. Is k greater than or equal to -1?
True
Let w = -20586/25 + 824. Let y = -4/25 + w. Which is greater: -42 or y?
y
Let b(m) = -63*m - 1588. Let y be b(-27). Suppose -3*d + 0*d = -342. Which is bigger: d or y?
d
Suppose 22*j + 4 = 48. Suppose -5*r - 626 = -4*l, -6*r + j*l - 124 = -5*r. Is r at least -124?
False
Let z = 20474/589 + -996/31. Is z at most as big as 2?
False
Let n(i) = -2*i**2 + 3*i**2 + 72 - 27*i - 14*i + 6*i. Let f be n(32). Which is smaller: f or -45/2?
f
Let y be (24/56*4/6)/(-1). Let f = -0.292 + -1.118. Let d = -1.4 - f. Which is greater: d or y?
d
Let a(g) = g**3 + 15*g**2 + 24*g - 21. Let r be a(-13). Suppose 0 = l - r*u + 123, -35*l + 568 = -39*l + u. Does l = -143?
True
Let m = -19192 - -135602/7. Do m and 180 have different values?
True
Let z = 104 + 2. Suppose -5*w + 96 = 4*l - 56, -z = -3*w + 5*l. Suppose -3*m = -5*c - 41 - w, 5*m = -c + 103. Is m <= 22?
True
Suppose 274 = z + s, 135*z + s + 1658 = 141*z. Which is bigger: z or 253?
z
Let a be 15 - ((-25 - -33) + 6). Which is smaller: a or -8/839?
-8/839
Let l = 7.4 - 1.4. Let w = -5.6 + l. Let v(r) = -r**2 - 47*r + 1241. Let z be v(19). Is w > z?
True
Let f be (-35)/(-9 - (-336)/36). Is f greater than -99?
False
Let q be (3/4)/(4/(-16)). Let s be (54 - q)*(-2)/(-2). Let i(y) = y**2 + 77*y - 443. Let l be i(6). Which is bigger: l or s?
s
Let o(b) = 14*b + 1. Let q be o(3). Let r = 51 - q. Suppose -10*h + r + 22 = 0. Which is bigger: -2/21 or h?
h
Let a(m) = -110*m - 8030. Let x be a(-73). Is -15/17 greater than or equal to x?
False
Suppose 0 = 4*f, -17*f - 459 = -5*s - 22*f + 436. Which is smaller: 180 or s?
s
Let c = -2985840922705/478 + 6246533041. Let p = -3914 + c. Which is smaller: p or 1?
p
Let o = -477 - -492. Suppose o*h - 364 = 2*h. Is 4 less than h?
True
Let z = -3842 + 3841. Let j = 119.67 + -49.84. Let s = -0.83 + j. Is s at most as big as z?
False
Suppose 3*p = 4*p + m + 4, p = -3*m - 10. Let i = 58/45 + -389/225. Which is bigger: p or i?
i
Let c(x) = -x**2 - 18*x - 11. Let p be c(-17). Suppose r = 5*u - 18, r + 2*u - 2 = 3*u. Suppose -p*n = -r*n - 17. Is n at most as big as -17?
True
Let s(w) = -w**2 + 9*w - 7. Let i be s(8). Suppose 16*y + 561 = -y. Let d be (-2)/(y/(-27) - i). Which is greater: d or -1?
-1
Let q be 1*((-299)/(-184) + (0 - 2)). Which is smaller: q or -1268?
-1268
Let u(v) = -26*v**3 - 99*v**2 + 823*v - 15. Let p be u(8). Which is bigger: -13080 or p?
p
Suppose 3*z + 18 = 0, 39*b + 5*z - 2895 = 34*b. Is 584 not equal to b?
True
Suppose -g = 3*d - 2, -2*g - 5 = 299*d - 302*d. Which is smaller: -8/27 or d?
-8/27
Let d(n) = -9*n + 85. Let w(q) = -2*q + 1. Let h(c) = -d(c) + 3*w(c). Let j be h(9). Suppose -a + 1 = 0, 0 = 2*z - a + 5*a + 108. Which is smaller: z or j?
z
Let y be 30/15 - 2 - (-2862 - 1). Do 2863 and y have the same value?
True
Let v = -286 + 287. Let r be (-1071)/(-2790) + (-2)/5. Which is bigger: r or v?
v
Let x = -1240568723/53 - -23408011. Let q = -1054 + x. Is 1 <= q?
False
Suppose -7*l + 15*l = 1688. Let w = l + -271. Which is smaller: -62 or w?
-62
Let p = 71 - 63. Suppose 40 = -2*m + 7*m. Let y = m - p. Is y less than or equal to 1?
True
Let r(b) = -b + 8. Let w be r(9). Let n be (-8)/(195/(-40) - -5). Let m be -38*(-2)/n + 1. Is m greater than w?
True
Suppose 8 = -7*x - w, 16*x = 21*x - 5*w. Let q be 68/(-549) - 2/(-9). Is x equal to q?
False
Let b(r) = -2*r**2 + 3*r + 12. Let i be b(-2). Let z be (-31)/(-20)*2/(-1). Are z and i nonequal?
True
Let j be (6 + (-75)/10)*842. Which is bigger: -1265 or j?
j
Suppose -179*i = -163*i + 80. Which is bigger: 126 or i?
126
Let m be (5 + 22/(-4))/((-1)/10). Suppose 5*j + 8 = 2*k - 0*j, -4*k - 14 = m*j. Let r be (3/(2187/6))/k. Which is greater: r or -1?
r
Let b be (-4)/(-18) + 928/(-288). Let w be (-2)/(-12) + 58/(-24). Which is smaller: w or b?
b
Let x be ((-876)/(-54) - 7) + 4/(-18). Suppose x*s = -2*s. Which is greater: s or -10/113?
s
Let h = -387 + 419. Let l = -33.1 + -5.9. Let a = h + l. Which is smaller: 2/7 or a?
a
Suppose -2*r + 8 + 0 = 2*h, r = -4*h + 4. Let n = 36 + -35.978. Which is bigger: n or h?
n
Let f be (-10258)/782 + (-4)/(-34). Let k be ((-996)/(-2))/(-10 - f). Which is smaller: k or 167?
k
Let r = -3545 - 665. Is -4212 <= r?
True
Let t(j) = j. Let h be t(-1). Let a be (-1448442)/(-1752) + (-3)/4. Let i = -826 + a. Which is greater: h or i?
i
Suppose 4*o - 497 = 3*o + 5*y, -2*y + 2010 = 4*o. Let x = -606 + o. Which is greater: x or -103?
-103
Let x(k) = -k**3 + 17*k**2 + 13*k - 36. Let q be 114/(12/2) + -1. Let g be x(q). Which is smaller: -124 or g?
g
Let s be -1 + 4 + 13/((-39)/1149). Does -381 = s?
False
Let n be (-6)/45 - 542/(-15). Suppose 0 = 2*w + n - 12. Is w smaller than -13?
False
Let l be (-52)/30*4152/(-23776). Let j = l + -2/743. Is 16 != j?
True
Let o be 144762/(-5175) + (-12)/450 + 22. Suppose -3*s + 4*q = 56, -q + 70 = -5*s - 6*q. Which is smaller: o or s?
s
Suppose t = -5*k - 6308, -10*t + 4*k = -0*t + 63296. Which is bigger: t or 0?
0
Let o = -243951 + 181743449/745. Let s = -7680352/9685 + o. Let a = s - -792. Is a != -1?
True
Let x(l) = -l**2 - 18*l - 17. Let i be x(-17). Let b = -569 - -484. Is b less than i?
True
Let h = -126 - -121. Let v be 4299/27 - -3 - h. Let b = v + -167. Which is greater: -43 or b?
b
Let a = -5/338 - -2603/153114. Let j = 1285/33522 + a. Is -1 at most as big as j?
True
Let v be ((-12)/(-5))/((-2)/245). Let y = v + 5588/19. Let o be 1/4 - (7/(-12))/(511/(-1095)). Is y less than o?
False
Let z be (33929/(-5502))/((-10)/(-4)). Is z > 0.2?
False
Let f(b) be the third derivative of b**6/120 - 7*b**5/20 - b**4 + 11*b**3/6 + 3*b**2. Let n be f(22). Let q = n - -32. Which is smaller: q or -2/105?
q
Let p be 1*-13*((-8)/(-4))/(-2). Which is bigger: p or 202/17?
p
Let a = 3/7417 + -38288/2974217. Do 1 and a have the same value?
False
Let q = -5991 + 6286.6. Which is bigger: q or 2/3?
q
Let h(r) be the first derivative of -24 + 3*r**2 - 1/4*r**4 + 5*r - 2/3*r**3. Let p be h(-4). Is p greater than or equal to 12?
True
Let q = -527 + 1007.72. Let c = q + -481. Is 0 smaller than c?
False
Let o = -909 + 909.0518. Let f = 0.3482 + o. Is f at least as big as -80?
True
Suppose -10548 = -12*l + 4824. Which is bigger: l or 1283?
1283
Let w be 2 + 1 + 6/(468/(-2046)). Which is smaller: w or -23?
w
Let z = -198 + 114. Let l = -84.05 - z. Which is smaller: l or 6?
l
Let k be 16/(-10) - ((-36)/10)/(-9). Let g be -1 + (-91)/k + 2/(-4). Let x be g/33*8/6. Are x and 1 equal?
False
Let f = 32421 - 32378. Which is smaller: -140 or f?
-140
Let f be (-63)/(-126)*(1 + (-5)/9). Is -3.25 at most f?
True
Let l be ((-99)/12)/(24/1664). Let x be (-158)/1232 + (-104)/l. Is 0 >= x?
False
Suppose -1790 = -5*g - 5*f, 27*g + 3*f = 28*g - 342. Is 353 not equal to g?
True
Suppose -h - h = 0. Let y be ((-48)/(-18876))/((-96)/(-528)). Is y at least h?
True
Suppose 2*i + 3*o = 8, -2 = -i - o + 2. Let g be (-72)/(-45810)*10190/i - 4. Is g at most as big as 1?
True
Let a be (1680/(-160)*(-4)/14)/(0 + 3). Which is bigger: a or 170?
170
Suppose 0 = -2*r + 3*r, 0 = 5*x - 5*r + 1310. Suppose 222*q + 222*q + 1722*q + 611000 = -184*q. Is q greater than x?
True
Let k = -0.282 - 6.518. Let q = k - -6.7. Is q bigger than 29?
False
Let i(t) = -t**2 - 7*t - 2. Let d be i(-6). Let s = -53 + 58. Suppose 75*h - 74*h = s. Does h = d?
False
Let l(q) = 0*q + 16 - 12*q**2 + q - 4*q**2 + q**3. Let f be l(16). Suppose -157 + f = 5*j. Is j greater than -27?
True
Suppose 0 = 2*x + 19 + 3. Let d be (3/15)/(((-70)/50)/(-7)). Which is smaller: x or d?
x
Let y be -2