= 0. Let v be (-8)/16*(-1 + 1). Suppose 6*b + d*b = v. Is 0 >= b?
True
Let y = -17.3 - -9.5. Let v = y + 3.5. Let m = -1.7 + v. Is 1 at most m?
False
Let v = 45 + -45. Suppose v*p - 13 = -p + 5*x, -4*p - 40 = 3*x. Is p > -5?
False
Let q = -3/1432 + -31/27924. Is q smaller than 0?
True
Let f be -46 + -4 + 1/(6/36). Which is smaller: f or -45?
-45
Suppose -287 = w + 2*n + 598, w - 5*n + 899 = 0. Which is greater: -888 or w?
-888
Suppose 3*b = -5*r + 443, 0 = -5*b + 2*r - 6*r + 721. Is b at least 141?
True
Let w be (-1228)/205 - 0/(-3) - -6. Do -1 and w have different values?
True
Let q = 350.1 + -322. Let o = 26 - q. Let w = -1.8 - o. Is 0.5 greater than w?
True
Let j(r) = -2*r + 1. Let u(c) = c + 33. Let a(k) = -4*j(k) - u(k). Let y be a(6). Suppose -28 - 2 = -5*w. Which is greater: y or w?
w
Let g(a) = 2*a - 14. Suppose -5 - 11 = -2*k. Let w be g(k). Let y be w/7 - (-12)/84. Which is smaller: y or 1?
y
Let z = -10.4 - -39.4. Let g = 24.7 - z. Which is smaller: g or 2/3?
g
Let d be (3*-2)/(19/(3059/(-140))). Which is greater: d or 8?
8
Suppose 0 = -7*x - 3*x - 1330. Which is greater: -134 or x?
x
Let s = -3081/7 - -289537/658. Is s smaller than -1?
False
Let d = 105 + -106.26. Let c = d - 0.42. Let z = c - -1.6. Which is greater: 0.1 or z?
0.1
Let m be 1*1*(-4)/(12/(-9)). Is 16 less than or equal to m?
False
Let d be 4/(-3)*(3 - 0/(-2)). Suppose -b + 2 - 3 = 0. Which is smaller: d or b?
d
Let l(w) = 18*w**2 - w + 1. Let q be l(-1). Let m be ((-8)/(-5))/(q/50). Which is smaller: 1 or m?
1
Let j = 19.31 - 18.21. Which is smaller: j or -4?
-4
Let d be ((-519)/(-6))/((-14)/(-16)). Let k = -5431/56 + d. Is k less than or equal to 1?
False
Let f(v) be the first derivative of -v**2/2 - 5. Let z be f(-2). Let q be (1/z)/((-11)/33). Which is greater: q or -0.1?
-0.1
Let t = -20 + 19.83. Let s = -1.17 - t. Suppose -2*h = -0*h + 24. Which is greater: s or h?
s
Let d = -876.7 + 877. Which is greater: d or -3/92?
d
Let j(r) = -57*r - 105. Let b be j(-2). Which is smaller: 11 or b?
b
Let x = -56 - -72. Let a(g) = 2*g**2 + 6*g - 5. Let c be a(-5). Which is smaller: c or x?
c
Let x = 9 + -13. Suppose 4*n = -l + 13, 5*l - 4*l = -2*n + 11. Let d be (-7)/(-28) - l/4. Are d and x equal?
False
Suppose 84*c - 78*c = 12. Let j be -34 + 4/c + 3. Which is smaller: j or -31?
-31
Suppose 0 = q + 5*k + 56, -q - 31 - 23 = 4*k. Which is bigger: -50 or q?
q
Let j(y) = -y - 3. Let v be j(3). Let l be (2/v)/(3/(-54)). Let k = 48/7 - 25/21. Which is smaller: k or l?
k
Suppose 0 = 5*i - 0*w - 2*w - 1479, -5*w + 580 = 2*i. Let z be -3 + 0 + i/99. Let c = z + 13/99. Is 0 at most c?
True
Let k = -29.9 - -38.9. Let g = 0.219 - -8.681. Let t = k - g. Which is smaller: t or -8?
-8
Let n = 16 - 15.94. Let a = n + -0.06. Is a less than or equal to -1?
False
Let g = -383/970 + -1/194. Let i be 2 + -1 - (3 - (-70)/(-7)). Which is bigger: g or i?
i
Let n be (-2)/7 - 344/(-28). Suppose 0 = 4*y + 72 - n. Suppose -v + 98 - 112 = 0. Is y at most v?
True
Let o be 17/(1020/(-2112))*5. Which is smaller: -349/2 or o?
o
Let k = 905/754 + -33/26. Let v = 1 + 2. Suppose 0 = -8*u + v*u + 5. Is u less than k?
False
Suppose 3*l + 31 = 4*g, -23 = -2*g - 2*g - 5*l. Let s = -7 + 17. Which is smaller: g or s?
g
Let o = 722 + -700. Are 22 and o unequal?
False
Let q = 223/3 + -1327/18. Which is smaller: 0 or q?
0
Let q = 15 + 56. Suppose 4*m + 19 = q. Is 12 bigger than m?
False
Let z(q) = -q**3 + 2*q**2 + 2*q + 2. Let m be z(3). Let r be ((-1150)/12)/25 + 3. Which is smaller: m or r?
m
Let y = -84 + 130. Which is greater: y or 48?
48
Let f = 72 - 72. Which is smaller: f or -137/4?
-137/4
Let l(q) = q**3 + 13*q**2 - 13*q + 15. Let m be l(-14). Let y be 6/(5856/260) - 1/4. Is m < y?
False
Suppose -4*q + 68 = b + 485, -2*q + 4*b - 222 = 0. Which is smaller: q or -0.1?
q
Suppose 0 = c - 7 + 9. Let i = -6 - c. Let k be (4/i - -4)*1. Is 4 > k?
True
Let y = 0.1454 + 1248.8546. Do y and 0.1 have the same value?
False
Suppose 45 = 8*l + 13. Which is greater: 19 or l?
19
Let a be (306/(-70))/(9/(-150)*5). Let w = 29 - 13. Which is smaller: w or a?
a
Let n = -135/7733 - 2/209. Let j(y) = -2*y**2 - 21*y - 39. Let m be j(-8). Which is bigger: n or m?
m
Suppose -29*o + 24*o + 15 = 0. Suppose 4*w + 2*m = 3*m + 2, -w + o*m = -6. Suppose -5*p - z = 9 + 21, 3*p + 4*z + 1 = w. Is p != 0.1?
True
Let a = -352 - -348. Is a smaller than 83/4?
True
Let w = 82 + -70. Suppose 5*m + 21 = w*m. Is m at least 12?
False
Let j = 280051161 + -11763703199/42. Let f = j + 37007. Let n = f + 10/3. Which is smaller: n or -1?
-1
Let i be (1 + -4)*(-4)/(-3). Suppose 26 = 4*a + a + m, 5*m = -a + 10. Let w be 2/(-6) - (i + a). Which is bigger: w or 0?
0
Let g(k) = -4*k - 20. Let a be g(-6). Suppose -a*v + 5*v - 8 = 0. Are v and 5 non-equal?
True
Let l be (2/3)/((-2)/(-108)). Suppose 4*o - 15 = 9*o, -4*w + 4*o = l. Are w and -0.1 unequal?
True
Suppose p = -4*b - b - 43, 12 = -3*b + 4*p. Is b at most as big as 23?
True
Let y(u) = 36*u + 108. Let n be y(-3). Which is greater: -5/146 or n?
n
Let r = 612 + -611.78. Which is bigger: r or -1/6?
r
Let v = 94 - 89. Let r(x) be the first derivative of -5*x**2/2 + 12*x - 2. Let i be r(v). Is -13 greater than i?
False
Let s be (-250)/(-84) + (-4)/6. Let w be (6/(-108))/((-12)/(-9) - 1). Let y = w + s. Which is greater: y or 3?
3
Let q = -6564 + 12713/2. Let f = q - -201. Let m = -7 - f. Are 0 and m non-equal?
True
Let a(g) = g**3 + 4*g**2 + g - 5. Let h be a(-3). Suppose 9 = 2*y + 5*w, 2*y - 5*w - 46 + 7 = 0. Let n = -145/12 + y. Is n >= h?
False
Let a = -121 - -120.974. Which is smaller: -1 or a?
-1
Let i = -40.513 - 1.462. Let u = i + -0.025. Which is smaller: u or 2?
u
Suppose -23 - 9 = 4*l + 2*u, 3*l = -2*u - 23. Suppose -3*d - 15 = -3*z, 3*d - 35 = -2*z - 0. Let x be -12 + z + -1*1. Which is bigger: l or x?
x
Suppose 21*x - 1053 = -6*x. Is x at most 38?
False
Let y be (-5)/25 - (-962)/(-12040). Let n = 1/172 - y. Which is greater: 0.1 or n?
n
Suppose -5*c + 149 - 44 = 0. Let d be ((-6)/c + 1 + -1)/(-1). Is d < -46?
False
Let s(o) = 24*o + 14. Let z be s(-8). Which is bigger: -176 or z?
-176
Let s = -23.1159 - -0.0159. Let u = 23 + s. Which is smaller: 0.3 or u?
u
Let r(s) = -2*s**3 - 2*s**2 - s. Let i be r(-2). Let d be -3 - (-3 - 55/5). Let x = 0 + d. Is i greater than x?
False
Suppose -19 + 1 = -c. Let o be (-2)/(-1) - c/3. Is 0.4 not equal to o?
True
Suppose -3*w - 5*o + 0*o = -23, -4*w - 3*o + 16 = 0. Let x be 1*(69/(-14030))/(12/10). Which is greater: w or x?
w
Let y = -5516752/7 + 259552861/329. Let a = 807 - y. Which is smaller: 1 or a?
a
Let y be (0 + 69/12)/(2/(-8)). Is y at most as big as -5?
True
Let m = -58 + 38. Is -39 at least m?
False
Let f be 4/(-14) + 12/(-154). Let j(b) = b + 3. Let x(g) = g - 4. Let n be x(2). Let a be j(n). Is f bigger than a?
False
Let f(a) = -a**3 + 4*a**2 + a + 5. Let z be f(7). Are z and -133 unequal?
True
Let m be 0/(1 + -3 - -4). Suppose 3*h - 25 + 7 = m. Suppose h*v = v + 75. Which is smaller: v or 16?
v
Suppose 92*q + 8 = 96*q. Let n be (3/(-2 + 3))/((-1)/q). Is 1 less than or equal to n?
False
Let g = -93 - -90. Is g equal to -1?
False
Let t = 0.2 - 0.3. Let b(s) = 23*s - 12. Let o be b(2). Suppose 0 = 5*d + 2*m + 30, 4*d + 5*m = -o - 7. Which is greater: t or d?
t
Let b = -1037 - -1037. Which is smaller: b or 2/1469?
b
Let v(m) = -m**3 + 3*m**2 - 2*m + 2. Let c be v(2). Suppose 4*f = c*f - 10. Let x = f - -7. Which is smaller: x or 5?
x
Suppose 2*i + 11*z - 2*z - 11 = 0, 4*z = 4*i. Let c be 4/6 + (-2)/3. Let q be (-2)/(-6)*(c + 3). Is i > q?
False
Let w = -61/5 + 67517/5535. Are 1 and w equal?
False
Let i = -408 + 407.941. Which is smaller: -6 or i?
-6
Let g = 692 - 691.9. Which is smaller: -310 or g?
-310
Let l(h) = h**2 - 7*h - 15. Let d be l(9). Suppose -5*o + 0*u + 45 = -d*u, -3*o + 33 = -3*u. Suppose 1 = 7*c - o*c. Is -1/4 at least c?
False
Suppose -o = v - 6*o - 172, 5*v + o = 912. Let a be v/49 - (-4)/14. Let s be (-1)/a + 1/2. Which is smaller: 1 or s?
s
Let y(h) = -h**3 - h**2 - h + 4. Let q be y(0). Suppose -w + 3 = -6. Let r be ((-2 - 2) + -2)*w/(-12). Is r != q?
True
Let w = -0.2 + -33.8. Let v = -4 - w. Let a = 29 - v. Which is smaller: a or 1/5?
a
Let d = 207 - 207.2. Is 2.8 smaller than d?
False
Let w be (-20)/(-9)*3/(-2). Suppose -10*v - 2