qual to b?
True
Let x = -64.937 - 0.063. Let h = 67 + x. Is -21 less than or equal to h?
True
Let p(b) = b**2 + b. Let w be p(-2). Suppose -13 = 4*d - 5*d. Suppose -w*j - 7 = -f, d = -0*f + f - 5*j. Is 2 at most as big as f?
True
Let x be ((-3)/(-12))/(5/(1781 + -1)). Which is bigger: x or 88?
x
Suppose 0*d = 2*d + 3*s - 1, 2*s = -d + 3. Let f = -27 - d. Is -19 at most as big as f?
False
Suppose 3*v = -5*g - 25, 4*g + 24 - 4 = 3*v. Let f = 3 - 1. Is f greater than v?
True
Let q be 28500/(-306) + 0/(-2). Let o = -278/3 - q. Are o and 1 equal?
False
Let g = 28378/15 + -1892. Are -1/17 and g nonequal?
True
Let l = 52/3 + -32. Is -15 <= l?
True
Let p = -227 + 207. Which is bigger: -25 or p?
p
Let w = -3/74 + 94/37. Let r(n) = -203*n + 202*n + n**2 - 2 + n**2. Let d be r(2). Which is smaller: d or w?
w
Let u = 74 - 69. Suppose 4*g = -q - 4*q + 27, 0 = -3*g + u*q + 29. Let n(h) = -h + 4. Let b be n(-3). Which is greater: b or g?
g
Suppose -4*b + 83 - 27 = 0. Suppose 0*x + 48 = 4*x. Is x != b?
True
Let j = -0.3 + 0.9. Let m = 3 - j. Let r = m - 2.3. Is r at most -1/21?
False
Suppose -w = w - 4. Suppose 2 = 6*g + 722. Let b be 4/(-6) - g/54. Is w greater than or equal to b?
True
Suppose 10*m - 16 = 6*m + 3*v, v = 5*m - 9. Let g be m/4 + (-183)/12 + -2. Which is smaller: -16 or g?
g
Let j = 4 - 1. Suppose 3*y + 2*y - 5*v - 20 = 0, -j*y - v + 12 = 0. Suppose -2*b + 3*m = -2*m - 29, y*m + 26 = 3*b. Is b bigger than 3/2?
True
Suppose 4*s + 14 = -3*b, 0 + 16 = -5*s - 3*b. Let q be 3*(-18)/(-15)*s/(-6). Is q bigger than -1?
True
Let t be (4 - 1) + -3 + 2. Let u(q) = -8*q + 13 + t*q**2 - q - 3 - 3*q**2. Let n be u(-10). Which is smaller: -1/2 or n?
-1/2
Let a(s) = 2*s + 37. Let x be a(-14). Let c be 3/(x/6)*(-3)/12. Is -3/8 >= c?
True
Let m be 4/120*544/17. Do m and 0.2 have the same value?
False
Let c be -13 + 15 - 17/3. Let p = c - -3. Is 3.2 less than p?
False
Let z be -1 + 3 - (33264/76)/6. Let v = -71 - z. Do v and 0 have the same value?
False
Let h be ((-5)/2)/(-10*12/96). Which is greater: -11/56 or h?
h
Let q = 12 + -27. Let c be ((-9)/45)/((-2)/q). Is c less than -3?
False
Let j be 6/(-18) + (-20)/(-6). Suppose 5 - j = 2*q. Let u be 2/q*(-4)/(-32). Which is bigger: 1/15 or u?
u
Let b be 23*-2 + (-11 - -7). Let g be 4/(-10)*5/b. Which is smaller: g or -1?
-1
Let t = 398 + -283. Are t and 116 unequal?
True
Suppose 0 = -18*h + 23*h + 3*p + 1028, -4*h - 812 = 5*p. Is h not equal to -208?
False
Let a = -431909/85 - -5081. Are -1 and a nonequal?
True
Let l(v) = v**2 - 15*v - 126. Let f be l(-6). Is f smaller than -2/143?
False
Suppose -3*i + 2*i + 6 = 0. Let w be 23/5 - 6/(-15). Let g be ((-3)/(i/14))/w. Is g not equal to 0?
True
Let d = -131 - -132. Which is smaller: -2/43 or d?
-2/43
Let s = -9.8 + 10. Let n be (-42)/399 - 358/(-152). Which is smaller: s or n?
s
Let l be (-45)/18*(-40)/6. Which is bigger: 16 or l?
l
Let m(g) = g**3 - 5*g**2 + 4*g. Let n be m(4). Suppose 0 = -n*l + 3*l. Let x = -1872/77 + 174/7. Which is greater: l or x?
x
Let v be 5 - (24/(-48))/((-2)/(-140)). Which is smaller: v or 18?
18
Let u = 77 + -115. Let g = u - -105. Are g and 0.1 equal?
False
Let j = -31.7 + -9.3. Let i = 38 + j. Let p = -0.2 + -0.1. Which is smaller: i or p?
i
Suppose 0 = -t - 5*q, 0*q = 2*t - 5*q. Is -111/7 at most t?
True
Let a = -92 - -176. Which is bigger: a or 83?
a
Let o = -371 - -739. Which is bigger: o or 1?
o
Let d = -307 - -278. Which is smaller: d or -34?
-34
Let m = -4 + 2. Let y be (-2)/m*(-2 - -1). Let t = y - -3. Is t at most as big as 5/7?
False
Suppose -27 = 26*h - 27*h + 5*u, -3*u - 19 = -2*h. Which is bigger: h or 18/13?
h
Let n = 1.246 - 1.046. Which is smaller: 0.243 or n?
n
Let v = 57 + -56.9. Is 139 < v?
False
Suppose -3*u - i = -7, -8 = -2*u + 3*i + 4. Let f = u + -1. Suppose -3*k - 2*y = f*k - 2, 4*k - 4*y = -4. Is 1/4 not equal to k?
True
Let i be 68/(-3)*(-69)/92. Which is greater: 22 or i?
22
Let i = -62 + 63. Let t be (9/6)/(-2*(-9)/48). Which is bigger: t or i?
t
Let z be (-2)/(-6) + (-128)/60. Let s = 29 + -32. Let d = -4 - s. Is z > d?
False
Let t be 3*(-1)/((-3)/(-97)). Let n = -69 - t. Let f be ((-2)/8)/(n/(-16)). Is f smaller than -1?
False
Suppose 4*z + 194 = -3*k, 370 = -5*k + z + 4*z. Let f be 12/k*(-2)/(-6). Which is bigger: f or -0.1?
f
Let z be 4/(-16) + 149/120. Let g = z + 4627/40. Let f = 119 - g. Which is greater: 1 or f?
f
Let p(c) = c + 20. Let z be p(-19). Let j be (13 + -13)/(z - 3). Let a be (-18)/(-12)*(-4)/(-51). Which is smaller: a or j?
j
Let r be (-3)/102*4 + (-112)/1071. Which is greater: 0.2 or r?
0.2
Suppose -3*f + f = -4*d - 28, -4*f = -3*d - 26. Suppose -4*o - 7 - 9 = p, -5*p - 3*o - 12 = 0. Let s = p + d. Is s <= -7?
False
Let h be ((-2)/4)/((-1)/2). Let f be -2 + 1 - 132/(-129). Is f >= h?
False
Let t = -306 - -1419. Is t != 1114?
True
Let b(v) = -2*v + 13. Suppose -5*x = r - 35, 0 = -3*x - 2*r - 0*r + 14. Let t be b(x). Which is smaller: -10/3 or t?
-10/3
Let c(o) = o - 4 + 9 + 1 - 1. Let p be c(-4). Which is smaller: p or -2/27?
-2/27
Let f = 4.7 + -5. Let n = 337 + -335. Which is smaller: n or f?
f
Let l = -13 + 15.3. Let d = 47 - 47.1. Which is smaller: l or d?
d
Let c(v) = 12*v - 109. Let t be c(9). Which is bigger: -1/628 or t?
-1/628
Let z = 3/995 + 3778/995. Suppose 4*b + 4*p - 10 - 2 = 0, 0 = -2*p. Is z at most b?
False
Let j be -5 - (-276)/(4/2) - -1. Which is smaller: j or 133?
133
Let j(x) = x**2 - 10*x + 9. Suppose -28 = -4*g + 8*g. Let v be ((-1)/(-3))/(g/(-147)). Let n be j(v). Is -13 smaller than n?
True
Let z(r) be the first derivative of -r**4/4 - 5*r**3/3 + 5*r**2/2 - 6*r - 1. Let j be (2 + 4)/(-3*(-1)/(-3)). Let d be z(j). Which is bigger: -6 or d?
d
Let p = -14559/8 + 1817. Which is smaller: p or -3?
-3
Let i = -51 - -70. Suppose 42 = 4*r - 38. Which is bigger: i or r?
r
Let i = 122/7 - 18. Suppose 0 = -d, 0*c = c - 2*d. Which is bigger: c or i?
c
Let a = 6.97 + -7. Let f = -0.07 + a. Do -1/2 and f have the same value?
False
Suppose 2*c - 6 + 0 = q, -2*c + 4*q = -12. Let r(t) = -t**2 + 4*t - 3. Let b be r(c). Let u be (3/(-15) + b)*-5. Which is greater: 0 or u?
0
Let d = 222 - 253. Which is greater: d or -35?
d
Let m be (112/28)/(8/12). Which is greater: m or -95?
m
Let x(h) = -h**2 - 8*h + 1. Let r be x(-6). Suppose -4*v - r + 5 = 0. Let m be ((-2)/9)/(v/(-12)). Is m bigger than 0?
False
Let v be (100/15 - 6) + 8/36. Let m be (-2)/12*736/(-290). Let w = 2/87 - m. Which is smaller: w or v?
w
Suppose 0*k - k = 0. Suppose 4*s = 5*s. Let b(f) = f**3 - 1. Let o be b(s). Which is greater: o or k?
k
Let y be (-96)/24*(-1 + 2). Let o = 2 + y. Which is smaller: -4/7 or o?
o
Let l = 43 + -46. Let u be l - (-4 - -4) - -10. Let d be ((-3)/4)/((-4)/32). Which is smaller: d or u?
d
Let f = -1483 - -1482.365. Which is smaller: 1 or f?
f
Let y be (9/(-27) - 7/3)*-72. Are 191 and y non-equal?
True
Suppose -31 = -5*j + 4*y, 4 = -3*j - 5*y - 7. Let v(i) = 0 + 6 - 3*i + i + i. Let p be v(3). Is j bigger than p?
False
Let b = -59 - -68. Suppose m - 10 = -m. Suppose 6 = -0*y - 2*y, -h - 15 = m*y. Which is bigger: b or h?
b
Let o be (-62)/119 - 2/(-7). Let r be (-1 - 1) + (-2 - -9). Suppose r*v = 5*w + 11 + 9, 4*v - 25 = -5*w. Does w = o?
False
Let j be 5*(-3)/(-35) + 64/14. Are 1/2 and j nonequal?
True
Let p = 126745/2118 + -359/6. Is 1 >= p?
True
Suppose 0*z - 2*d = -3*z + 74, -3*d = 2*z - 32. Suppose 5*s + 0*s = -3*i + z, 5*i + 2*s - 5 = 0. Let y = 412 - 8654/21. Do i and y have different values?
True
Suppose 2*z = -3*f + 3, 0 = 5*f + 2*z - 5*z - 24. Let h(b) = -b**2 + 4*b - 3. Let i be h(f). Let x = -281/7 + 41. Which is bigger: i or x?
x
Let w(q) = q**2 + q - 9. Let x be w(4). Suppose -4*s + 21 + x = 0. Does s = 15/2?
False
Let q(h) = h**2 - 8*h + 2. Suppose 0*p = -t - p + 11, 5*p - 25 = 0. Let n be q(t). Is n equal to -6?
False
Suppose 10 = 5*w + 2*l - 0, 4*w + 4*l - 8 = 0. Suppose 4*r = 13 - 53. Let g be 13/6 - r/(-15). Is g at most w?
True
Let l = 23 + -10. Suppose -l*x + 156 + 52 = 0. Which is greater: x or 17?
17
Suppose 5*p = -5*j + 5, -j + 4 = -5*j - 2*p. Let d be (-1 - j)*-12*(-9)/(-12). Is d <= -58/3?
False
Suppose 0 = 7*a - 12*a + 40. Let x be a/36 - (-277)/9. Is 32 at least x?
True
Let r = 25.9 - 49.45. Let c = r + -0.45. Let p = -22 - c. Which is smaller: p or -0.1?
-0.1
Let h 