igger than 75?
True
Let q be 3 - -56 - 5/((-15)/9). Suppose 4*v - 2*w + q = -w, 5*v + 77 = w. Is v bigger than -85/6?
False
Let k = -579 + 590. Let x = k + -10.9. Is -37.5 > x?
False
Suppose o + 5 = -2 - 4. Which is smaller: -102 or o?
-102
Suppose 7*c = -2*y + 11*c - 86, -5*y + 5*c - 240 = 0. Let o be (-1)/(3/y*(-23)/69). Does 1 = o?
False
Let t be -1 + -213 - 0/((-50)/10). Suppose 0 = 2*j + 10, -1085 = 5*x + 3*j - 0*j. Is t less than x?
False
Let r(j) = j + 9. Let i = 40 - 37. Suppose -i*f - 3*k + 7*k = 39, 5*f - 2*k = -79. Let w be r(f). Is w <= -8?
True
Let a be 0*(-3)/6*-1. Let m(r) = 5*r - 25. Let o be m(a). Let w be ((-3)/4)/(2/72). Do w and o have different values?
True
Let k = 21937/378 + -295/54. Let m = k + -52. Which is smaller: 1 or m?
m
Let k = 46.903 - 47. Let f = 0.433 - k. Let w = -0.63 + f. Is w greater than or equal to -13?
True
Let j = 12412 - 14251. Which is greater: j or -1837?
-1837
Let l be 42*6/(-45)*-5. Let g be 20/15 - l/16. Which is greater: 1 or g?
1
Suppose 42*z = 26*z - 64. Let v be (-1)/(-6)*2382/99 + z. Which is greater: 1 or v?
1
Suppose 911*q = 921*q - 320. Let l(g) = g**2 - 36*g + 103. Let u be l(q). Is u bigger than -23?
False
Let t = 1.06 - 12.06. Which is smaller: t or -25.3?
-25.3
Suppose 0 = 5*a - 2*m + 1565, -6*m = -4*a - m - 1235. Let x be 58/6 - 2/(-6). Let h be 0 + (a/x - -3). Is 1 at least h?
True
Let n be (-14)/(-21)*-2*11/44. Which is greater: n or -3/3020?
-3/3020
Let t be (-13)/2 - (363 + -367). Let a = -389/176 - -31/16. Which is smaller: t or a?
t
Let o be (17542/490)/((-2)/(-15)). Which is greater: 268 or o?
o
Let l = -38659/13 - -2972. Let y(g) = g**3 - 11*g**2 + 13*g - 33. Let j be y(10). Which is smaller: l or j?
j
Let a = -272481/20 + 13624. Is a >= 65?
False
Let r = 60 - 5. Let j = r - 49. Let f(y) = -y**2 + 7*y + 10. Let u be f(j). Is u greater than 16?
False
Let l be (-4 - 9) + 1/1 + 2. Let a be (3/(-7))/(l/1250*5). Which is smaller: 11 or a?
a
Let l(v) = 3*v**2 + 0 - 1876*v + 1878*v - 2. Let y be l(1). Is -0.4 less than y?
True
Suppose 141*t - 720 = 61*t. Let p be -4 + ((-12)/(-1) - 1). Which is smaller: t or p?
p
Let y = 21073 - 30049. Is -8978 at least y?
False
Let k be (1/(-9) + 95/(-684))*-3868. Let u = -2903/3 + k. Which is greater: 142 or u?
142
Let d be 9/(-180)*4 + 94623/(-1410). Let h = -9/47 + d. Which is bigger: -68 or h?
h
Suppose 50*b - 32*b + 882 = 0. Let i(y) = -y**2 - 49*y - 64. Let w be i(b). Is w at most -61?
True
Let f = -3/3115 + -887/3115. Does 0.0737 = f?
False
Let f(i) = 2558*i + 6625. Let w be f(-4). Is w less than or equal to -3608?
False
Suppose 4 = -3*i + i, 3*i + 18 = 4*h. Let u(m) = m**3 - 3*m**2 - 4*m + 10. Let j be u(h). Let f(r) = 2*r**2 + 6*r + 3. Let w be f(-2). Which is greater: j or w?
w
Suppose -206*n = -201*n + 175. Let g be (-271)/(-435) - (-21)/n. Which is bigger: g or -1?
g
Let h = -2 + 3. Suppose 5*u + 738 = 4*n, 0 = -4*n + 2955*u - 2956*u + 726. Which is bigger: n or h?
n
Let b = -45 + 23. Let f be ((-190)/15)/((-1)/(-3))*(-2)/(-4). Is b smaller than f?
True
Let o(b) = b**3 - 9*b**2 + 18*b + 11. Let t be o(8). Let v(c) = c**3 + 13*c**2 + 20*c + 26. Let r be v(-4). Is r at least as big as t?
False
Let u = 31/950 - 42679/1319550. Is u smaller than -1?
False
Suppose 0*d + 5*d = -5, 4*d = -3*j - 13. Let u(v) = v**2 - 2*v. Let a be u(j). Let t(z) = z + 8. Let r be t(6). Which is bigger: a or r?
a
Suppose -3*h - 5364 = -5*y, 55*h - 51*h - 3*y + 7141 = 0. Which is smaller: h or -1786?
-1786
Suppose -14*x + 2 + 26 = 0. Let j be 385/(-140) + x/(-8). Are j and -2/5 unequal?
True
Let k(y) = -2*y**3 + 38*y**2 + 48*y - 923. Let n be k(19). Is 198 less than or equal to n?
False
Let n be -20 + 14 + 134/3. Let u be ((-5)/(70/(-76)))/((-2)/(-14)). Is n at most as big as u?
False
Suppose 4*h - 15 = 7*h, -2*c - 2*h = 50. Let l be c/(-15) + (-3)/9. Let z be 3*(l + 5/(-3)). Which is smaller: z or -7/6?
z
Suppose 1510*l - 1509*l = -3 - 5. Which is greater: l or -283/4?
l
Let x = -4328 + 4335. Which is smaller: -13/7 or x?
-13/7
Let h be (-1)/(-4) + 165/(-836). Suppose -p = 3*v, 5*v + 18*p = 20*p + 11. Which is greater: v or h?
v
Suppose 0 = -3*d - 5*s + 32 + 23, 2*s = 4*d - 82. Suppose 162*n - 166*n - 36 = 0. Let o be ((-10)/(-60)*-28)/(2/n). Which is smaller: o or d?
d
Let r = 10505 - 9725. Which is greater: 7 or r?
r
Let u = -15184 - -15089.88. Which is bigger: u or 0.2?
0.2
Suppose -1842 - 4046 = 65*p + 807. Let d = -0.02 + 0.12. Which is bigger: p or d?
d
Let i(j) = -4*j**2 + 4*j + 2. Let w be ((-9)/6)/((-9)/24). Let z(y) = -3*y**2 + 4*y + 2. Let p(f) = w*i(f) - 5*z(f). Let s be p(-8). Which is smaller: -35 or s?
-35
Let n = -1 + 0.8. Let t = 0.0889 - 386.0889. Let f = 389.6 + t. Which is bigger: n or f?
f
Let k = 55744/7 + -61258/7. Are -789 and k nonequal?
True
Let i(l) = 3*l**3 - 8*l**2 + 112*l + 69. Let v be i(15). Is v less than or equal to -1?
False
Let a be (32/12)/(4/6 + 0). Suppose 4*g + 2*c + a = 3*c, 2*g - 20 = -5*c. Which is smaller: g or 1/39?
g
Suppose 0 = -2*z - p - 0 + 8, -z - 2*p = -4. Suppose 4*i = n + 48, -240 = z*n - 4*i - 0*i. Is n greater than or equal to -63?
False
Let d = 68 + -57. Let i = -9 + d. Suppose s - i*s = 13. Is -13 equal to s?
True
Let p = -42770.99 - -42538. Let a = -233 - p. Suppose h = 2*s + 2 + 2, -5*h - 40 = 5*s. Which is bigger: a or s?
a
Suppose 0 = -20*r - 1810 + 490. Which is smaller: r or -1307/20?
r
Suppose -12*g - 7919 = 2149. Let v = g - -839. Let f be -1*((-1)/3)/1. Which is smaller: v or f?
v
Let d be -3*(-1 - (-4)/6). Let r be 50/(-5) - (-30856)/3094. Which is smaller: d or r?
r
Suppose -1080 = -6*r - 510. Let g be r/2*(3 - 44/20). Is 39 less than g?
False
Let n be (-247)/(-76) + -12 - -9. Which is smaller: -17286 or n?
-17286
Suppose -f - 3*n - 16 = 0, -24*n = -3*f - 25*n - 16. Are 297 and f equal?
False
Let h(a) = 191*a - 5. Let c be h(1). Suppose -1288 = -126*z + 119*z. Is z smaller than c?
True
Suppose 7*z = 3*z - 11*z + 4425. Is 296 at most z?
False
Let h = -0.05666 + -2.94334. Let a = 647 - 29113/45. Which is bigger: a or h?
a
Suppose 304 + 29 = -s. Let w be (-1)/(s/(-12))*(-9)/8. Is 1 less than or equal to w?
False
Let j = -992286 - -992285. Let b = -6 - -4. Let g = b - 0. Which is greater: j or g?
j
Let p(y) = y**2 - 31*y - 463. Let h be p(42). Do h and -42/143 have different values?
True
Let a = -21048 + 21048. Is 3216 greater than or equal to a?
True
Let j be (131/(-2))/(-4 - 25/(-5)). Let m = 1433/22 + j. Which is smaller: -1/4 or m?
m
Let s be (-19198)/9843 + 2 + 0. Let j be (5/6755)/(13/182). Let g = j - s. Which is smaller: -1 or g?
-1
Let u(m) = -56*m**3 + 10*m**2 - 15*m + 10. Let j be u(5). Is j greater than -1/2?
False
Suppose 1627*k = 1736*k + 109. Which is smaller: k or -38/167?
k
Suppose -2*k + 65 = -3*d - 27, -k + 31 = -d. Let s be 3*d/(4 - 7). Which is greater: s or 25?
s
Let r be 8 - (1 - 1)/((-344)/(-43)). Let o = 928/15 - 276/5. Is r <= o?
False
Let z = 0 + 1. Let p = 433 - 743. Let d = -310 - p. Is d smaller than z?
True
Let v = 2.674 - 142.674. Which is smaller: 0.04 or v?
v
Let p(o) = -2*o + 2. Let k be p(1). Suppose -2*v = 3*i - 28, 5*v - 5 - 20 = k. Let u be i/(-27) + 170/(-45). Is u >= -16/5?
False
Let q be (144/90)/(54/50 + -1). Suppose -16*c + q*c - 8 = 0. Let g be 2 + 320/(-18) - c/9. Is g at least -16?
True
Suppose 2*s - 36 = -3*m + 117, 5*s - 385 = -5*m. Let k = -5693 + 5773. Which is smaller: k or s?
s
Let p(a) = -a**3 + 29*a**2 - 147*a - 142. Let u be p(8). Let m = 6 + -4. Does u = m?
False
Let y be ((-1)/(-116))/((-2)/36). Let m = 15498 - 15498. Which is smaller: y or m?
y
Suppose -t + 2 - 6 = 0, 2*f + t - 414 = 0. Let r = f - 122. Is r smaller than 87?
False
Let l be 49504/51140115*(-10)/(-6). Let h = 2/18297 + l. Which is bigger: 0 or h?
h
Let r(g) = -g**2 + 8*g. Let b = 36 - 31. Let p be r(b). Which is smaller: p or 0?
0
Let q be -2*20/(-24)*(-1788 + 30). Is -2930 <= q?
True
Let q = -2494 + 2494.9788. Let a = 0.0212 + q. Let l be ((-4)/12)/((-1)/12). Is a at least l?
False
Let u = -602 - -644. Which is bigger: 39 or u?
u
Let h be ((-1)/(1/(-2)))/((-3340)/(-60)). Is h at least as big as 1?
False
Let h = -123.7781 + -0.1219. Which is smaller: h or -4?
h
Let l(s) = 2*s**3 - 71*s**2 + 104*s - 99. Let p be l(34). Let c(z) = 6*z + 10. Let x be c(-7). Is p smaller than 