= -96/13 + 698/91. Let f = -6.01 + 0.21. Let x = -3.8 - f. Which is bigger: x or g?
x
Let q be (9/3 - 1)/(-29 + 22). Is q != -706?
True
Let t = -11 + 12. Let l be -9 + 1 + 1 + t. Let j be (-3 - -2) + (-3)/l. Which is smaller: j or 2?
j
Let r = -118 - -116. Which is smaller: r or -14/19?
r
Let q(v) = -3*v**2 + 2*v + 1. Let b(i) = -i**2 - i - 1. Let r(p) = -4*b(p) + q(p). Let k be r(-5). Let o = -11 - -10. Do o and k have different values?
True
Suppose 289 = -5*r + d, -4*d - 88 - 67 = 3*r. Is -56 smaller than r?
False
Let r = -568849/15210 + -1/3042. Which is greater: r or 1/4?
1/4
Let n(q) = 5 - 7 - 8 + q - 2. Let v be n(5). Do v and -4 have the same value?
False
Let l = -47 - -56. Suppose -10*z + l*z - 34 = 0. Which is bigger: z or -33?
-33
Suppose l = -2*m + 705, -2*m - 18*l + 700 = -16*l. Which is smaller: m or 354?
354
Let f(j) = j + 1. Let l be f(3). Suppose c = l*c. Which is bigger: -3/28 or c?
c
Let n = -22 + 38. Suppose d - 16 + n = 0. Does d = 3/10?
False
Suppose -2*z + 2 = 3*s - 7*s, 0 = 4*s - z - 3. Suppose -j + s*l - 3*l = -2, 0 = 5*j - 4*l + 17. Which is smaller: 2 or j?
j
Let t(d) = 2*d + 5. Let f be t(6). Let l(w) = f + 2*w**2 + w**2 - 16 - 4*w**2 - 8*w. Let c be l(-8). Is 0 less than or equal to c?
True
Let y = -9 - 33. Let d be 26/(-13) - (0 - y/(-20)). Which is smaller: 1 or d?
d
Let f = 211 + -211. Let b(y) = y**3 + 7*y**2 - 9*y + 10. Let s be b(-8). Let u be (-50)/s + (-2)/9. Which is greater: u or f?
f
Let o(h) = 12*h + 2. Let j be -2 - (3/(-2))/((-14)/(-28)). Let d be o(j). Which is smaller: d or -1/4?
-1/4
Let q = -52/53 - -8790/8851. Is 0 less than q?
True
Suppose 3*i + 15 = -2*v, 0*v + 5 = -v + i. Let m(s) = -s**2 - 2*s + 2. Let j be m(-3). Let k = v - j. Which is smaller: k or 2/3?
k
Let i = -51248 - -27827672/543. Does -1 = i?
False
Suppose -4*p = w - 9*p - 3, -w + 3 = 3*p. Let q be (-13*(-7)/21)/((-2)/(-6)). Suppose k = q*k + 12. Which is bigger: w or k?
w
Suppose 28 = 4*y + 4*d, y + 2*d = 4*d - 8. Let b be y*1/((-4)/(-122)). Let n = 307/5 - b. Which is smaller: 0.01 or n?
0.01
Let c = 3081/8 + -384. Let l be 3/((-1 - 3)/(-4)). Suppose 0 = -4*w + 2*u, -l*w + 0*w = 4*u. Is w at least as big as c?
False
Let r = -10 - -39. Let o be (-1)/(2/(-5) - (-2491)/6815). Is o at most as big as r?
True
Let w be 2/(2 - (-123)/(-62)). Suppose 0*d + w = -4*d. Which is smaller: d or -30?
d
Let r(l) be the first derivative of -l**2/2 - 4*l - 2. Let g be r(-3). Let z = -4323 - -17287/4. Is g equal to z?
False
Suppose 0 = -2*a - 0*a + 6. Suppose -5*u - 28 = -a. Suppose 680*s - 729*s = 245. Are s and u non-equal?
False
Let r(l) = -l + 2. Let y be r(1). Let u be 21 - 34 - (0 - -1)*-3. Let d be u/(-35)*((-21)/(-4))/3. Is y <= d?
False
Let p = 21520946901379856341/562420160 - 14043215839706/367. Let b = 1/306496 + p. Let h = b + 908. Is 4 greater than h?
True
Let b be (0 + (-14)/4)*2. Suppose -d = -3*p + 5, -5*p + d = 1 - 8. Is p at most as big as b?
False
Let y = -1141 + 61619/54. Which is smaller: y or 0?
0
Let x = -4 - -9. Suppose -l - 8 = -4*c - 4*l, -x*c + 15 = 5*l. Are c and -1/5 equal?
False
Let x(p) = -16*p**2 - p + 1. Suppose 4*c + 0*h - 4*h - 44 = 0, 5*h - 26 = -4*c. Suppose m = -3*m - y + c, m = 2*y - 9. Let w be x(m). Which is bigger: -15 or w?
-15
Let o be (86 + 3)*(6 + -5). Is 88 >= o?
False
Let a = 1/208 + -427/2288. Do a and -25 have the same value?
False
Let n = -1132 + 19232/17. Is 0 at most n?
False
Let u be 134/14 + 12/(-21). Suppose -3*z - u = -3. Let r be ((-42)/(-12))/(z/(-4)). Is 6 smaller than r?
True
Let n be (-2)/(44/15*(-15)/(-6)). Let b = n + 19/110. Which is smaller: -1 or b?
-1
Let l(u) = -6*u**2 - 265*u - 48. Let o be l(-44). Suppose 0*s + 3 = s. Suppose -4*q + 5*i + 15 = 0, -6 = 3*q + i - s. Which is smaller: q or o?
o
Let t = 127 + -128. Is t not equal to -131?
True
Let g be -1 + 8 - 262/18. Is -9 equal to g?
False
Let r = 67 - 28. Let u = r - 68. Let q = 28 + u. Do -10/7 and q have different values?
True
Let u = -52 - -56. Let m be 0 + (u/(-184))/(-1). Which is smaller: 1 or m?
m
Suppose t + 2 = -1. Let k be 4/9*(-546)/104. Which is smaller: t or k?
t
Let p = 930 - 929. Is p bigger than 1.627?
False
Let h = 0.072 - -0.108. Which is greater: h or 4?
4
Let z be 28/(-6)*26/(-1365). Let h = z + -2/9. Which is smaller: h or 1?
h
Let r(s) = s + 3. Let p be r(-5). Let q(x) = x**3 - 7*x**2 + 4*x + 17. Let u be q(7). Let w be 16/(-20) + 6/u. Which is smaller: p or w?
p
Let o = 646207/601160 - -1/15029. Is o smaller than 1?
False
Let g(n) = 12*n - 12. Let q(j) = -j. Let l(w) = g(w) + 9*q(w). Let x be 1 + 1 + 2 + 2. Let k be l(x). Is k at most as big as 6?
True
Suppose 96*k = -89*k + 182*k. Which is smaller: k or -62/59?
-62/59
Suppose -7*u = u - 8. Is 3/7 at most as big as u?
True
Let u be (-5)/(20/(-8)) + -2. Let r(v) = v**2 + v - 9. Let y be r(-4). Let b be (y/35)/((-20)/(-70)). Which is smaller: u or b?
u
Let i = 2 + -2. Let v be (i + -1)*(-7 - 5). Suppose 4*a + 21 = -4*j - 11, a + 2*j = -v. Which is bigger: -5 or a?
a
Suppose -9 = 8*a - 137. Suppose a = -r - 3*r. Which is greater: -1 or r?
-1
Suppose 4*h = -4*b + 1812, 5*h = -3*b - b + 1810. Suppose l - 1 = 0, 4*l + b = 2*d + 3*l. Let m be 708/d + -1*3. Which is bigger: m or 0?
m
Suppose -5 = h, -6*u + 2*u + 3*h + 35 = 0. Suppose 11 - u = -3*j. Let k be (-1)/(-6) + (-154)/60. Which is bigger: j or k?
j
Suppose g = -148 + 149. Let n be (-6 - -5)/4*134/g. Is -35 bigger than n?
False
Let q be -4 + 2 + 0 + 4. Suppose q*r + y - 13 = 23, -4*r + 3*y + 52 = 0. Suppose 0*d + 3*d = -2*m - r, -m = -4*d - 3. Which is bigger: -4 or m?
-4
Let d(s) = -9*s + 27. Let m be d(-7). Suppose 7*o - o + m = 0. Is -15 greater than or equal to o?
True
Let f = -777.8 - -765. Is f at least 0.3?
False
Let h = 0.04 - -0.1. Let b = 0.34 - h. Which is greater: -2/15 or b?
b
Let p = -43/7 - 2048/21. Is -104 bigger than p?
False
Suppose -2*c - c = -4*w - 1038, 0 = -3*c - 5*w + 1011. Is 340 bigger than c?
False
Let k be 9/(-21) - 3059/(-4165). Which is bigger: 1 or k?
1
Let m be 5/2*(-16)/(-10). Suppose -m*c + 0*c = 4. Let l be -2 + (0 - (c + -1)). Are l and 1/7 equal?
False
Let a(w) = -18*w + 354. Let q be a(23). Which is smaller: -53 or q?
q
Let h(u) be the third derivative of -u**6/120 + u**5/30 + u**4/12 + 10*u**2. Let g be h(2). Suppose 9 = -5*a - 3*l, a - 2*l + 6 = -g*l. Is -2/75 >= a?
False
Let d = 0.03 - 27.16. Let w = d + 27. Let o = -1.13 - w. Which is smaller: o or -0.2?
o
Suppose 0 = -2*o - 3*p - 0*p + 83, -3*o = 5*p - 127. Is o not equal to 34?
False
Let w = -1 - -0.9. Let a(i) = -i - 1. Let m be a(-6). Let o = m - 1. Which is bigger: w or o?
o
Let w = 55311/10 - 5526. Which is smaller: 5 or w?
5
Suppose 170 - 161 = -u. Are u and -9 nonequal?
False
Let s = -53/1856 - 7/64. Let u = 69.1 + -71.1. Which is smaller: s or u?
u
Suppose 4*w + 5*m = m - 184, -136 = 3*w + 5*m. Is -41 at most w?
False
Let f = 2497 - 581803/233. Let n = -1 - -1. Which is smaller: n or f?
f
Let l = 64 - 61. Let u = -32 + 35. Do l and u have the same value?
True
Let b be -2 + 0/2 - -51. Suppose -14*d + 382 + 290 = 0. Which is greater: d or b?
b
Let l = 2408 - 2843. Is l at least as big as -435?
True
Let n = 31749/7 - 4527. Which is smaller: 9 or n?
n
Let u = -5/1648 + -2261/341136. Do -1 and u have different values?
True
Suppose -4*l - 156 = -3*j, -9*l - 5*j + 164 = -13*l. Is l != -112/3?
True
Let m be 30/(-90)*(0 + (5 - 2)). Does m = 23/50?
False
Suppose 2*a + 3 = h - a, -4*a + 4 = 0. Suppose 5*n - 5 = 5*b, -h*n - 5*b + 55 = -n. Suppose n = -i - 2*i. Is i < 0.1?
True
Let a be 20*(-5 - 105/(-12)). Let k be 5/3*(-10)/a. Is -0.17 at least k?
True
Let s = -21 + 3. Let w be 363/s + (-2)/(-12). Let m be (0 - 4)/(w + 2). Which is smaller: 0 or m?
0
Suppose 5 = 5*x - 20. Suppose 2*m + 7 = -x. Let o(h) = -h**2 - 3*h + 13. Let q be o(m). Is -6 at least q?
False
Let m be -5 + 14 + (2 - 4). Let n be (m/(-14))/((-10)/8). Which is smaller: -0.3 or n?
-0.3
Let f be 153/234 + 2/(-13). Let h be (-50)/(-55) - (0 + 0)/(-1). Is h equal to f?
False
Suppose 4*t - 157 = -65. Let i = -4 - -4.3. Is t > i?
True
Let o(h) = h - 45. Let l be o(-14). Let n = l - -73. Which is smaller: 13 or n?
13
Let y be 1*88*(-2)/4. Which is smaller: y or -7?
y
Suppose 2*z = 4*t - 132, 4*z - 20*t + 300 = -21*t. Which is smaller: -72 or z?
z
Let s(h) = 