-39 + 39.9. Do 0 and d have the same value?
False
Let r = 195 - 136. Which is smaller: 60 or r?
r
Let f be (36/56)/((-12)/(-14)). Which is greater: 0 or f?
f
Let m = 15 + -14.1. Let k = m + 0.1. Suppose 8*p + p = 0. Is p smaller than k?
True
Suppose 7*u - l = 3*u + 12, -14 = -3*u + 2*l. Suppose 0*n + 2 = n. Suppose -n = -2*w + u. Which is greater: w or 1?
w
Let u = 12 + -14. Let i = -13.8 + 16. Let x = i + u. Is -2/3 greater than x?
False
Let k = -40 - -39. Are k and 0.3 nonequal?
True
Let d = 16 - 15. Which is smaller: d or -2.8?
-2.8
Let y = -3/641 - -3903/12179. Are y and 1 unequal?
True
Let c = 4.4 + -5. Let z = 0.6 + c. Let u = 8/39 + -20/13. Which is smaller: z or u?
u
Let p = 6.8 - 8.8. Which is greater: 11 or p?
11
Let k be ((-111)/(-54))/(735/(-78)). Let q = k - 1/245. Which is smaller: -1 or q?
-1
Let t = 1 - 0. Suppose 4 = -4*z - 0. Let i = z + 2. Are i and t equal?
True
Let a be 11/(-11) + (-1 - 20). Which is greater: -19 or a?
-19
Suppose 3*g + 7*v = 2*v + 31, -3*v + 19 = 2*g. Let t be 2 - 5/((-45)/(-6)). Is t <= g?
True
Let i(f) = -f**3 + 8*f**2 + 8*f + 1. Let s be i(9). Let g = -8 - s. Are 0 and g equal?
True
Suppose -2*d = -0*d. Let z = 113/207 - 10/23. Which is bigger: d or z?
z
Let x be 1 - (-12)/(-30) - (-2)/(-6). Which is smaller: 1 or x?
x
Let s = -149 - -146. Which is smaller: s or -40/9?
-40/9
Let q(g) = 9*g + 17. Let f be q(0). Which is greater: f or 18?
18
Let k(s) = -s**2 + 4*s + 1. Let l be k(2). Suppose -5*z = -l + 25. Let c be z + 0 - (-1 - 1). Which is smaller: -3 or c?
-3
Suppose 0 = -0*w + 5*w. Suppose w = -2*h - 2. Let z = -4/5 - h. Is 0 at most as big as z?
True
Let m = -0.13 - -9.13. Are m and -2 equal?
False
Let y(p) = -p - 5. Let r be y(-5). Suppose r*q = -3*q. Is q greater than -1/8?
True
Let q be 0/(0 + (-1 - 0)). Suppose 3*t = -5*l, 0*t = t - 2*l. Do t and q have different values?
False
Let i be (1/7)/(1/((-2)/18)). Is -1 greater than i?
False
Let x be ((-36)/(-45))/(2/120). Let l be x/(-70) + 26/65. Which is smaller: 0 or l?
l
Let w = -1 - -1.1. Let r be -3 - ((-33)/18 + -1). Which is smaller: r or w?
r
Suppose 0*j + 3*j = 0. Which is bigger: -2/101 or j?
j
Let s(m) = 4*m**2 - 3*m**2 - 7*m**2 - 8 + m + m**3. Let q be s(6). Let j be (-1)/(-36) + q/8. Does j = 1?
False
Let i = 4 - -3. Let z = i - 9. Which is bigger: z or 1/5?
1/5
Suppose 6*z - 3*z = -9. Let h(w) = w**2 + w - 3. Let a be h(z). Let k = -1293/7 - -185. Which is greater: a or k?
a
Let d = -4 + 4. Suppose -5*y + 25 + 0 = d. Which is smaller: y or 6?
y
Let h = -5 + 9. Suppose h*d + d = 0. Let k be 12/(-8)*2/(-3). Which is bigger: d or k?
k
Let y = -525 - -524. Let z = -3/100 - -233/1100. Is y < z?
True
Let b = 38.83 - 39. Let r = 2.07 + b. Let v = r + 0.1. Does v = -1?
False
Let i(l) = 4*l - 1. Let b(k) = -9*k + 2. Let n(x) = -3*b(x) - 7*i(x). Let g be n(0). Which is greater: -1/34 or g?
g
Suppose -66 + 3 = -3*z. Let o = z - 25. Which is smaller: o or -5?
-5
Let l(x) = x**2 - 8*x - 7. Let b be l(9). Suppose -3 = 2*y - 5. Which is greater: y or b?
b
Let m be (-4 - -8) + 0/(-3). Which is bigger: 18/5 or m?
m
Let g(d) = 14*d + 2. Let r be g(-1). Is -10 greater than or equal to r?
True
Let f = -1/195 - 5/39. Let k = 0.1 + -0.2. Is f at most as big as k?
True
Let i = -16 + 50. Which is smaller: 35 or i?
i
Let s(w) = -w**2 + 3*w - 2. Suppose -24 = -0*y + 4*y. Let m be (y/(-10))/((-5)/(-25)). Let v be s(m). Is v <= -2?
True
Let l = -3 + 7. Suppose l*j = j. Let i be (-1)/3*(1 + 2). Which is bigger: i or j?
j
Suppose 4*x + 4*m + 4 = 0, m = 3*x + 18 + 1. Let y = x - -2. Is -3 greater than or equal to y?
True
Suppose h + 40 = 5*h. Suppose 2*g - 6 = 3*b + 19, -g + h = -b. Suppose 3*s - 12 = q + 4*q, 0 = -g*q - 15. Which is bigger: 0.1 or s?
0.1
Let y = -12 + 11. Is y bigger than -1/4?
False
Let b = -66 - -67. Is b at least -0.025?
True
Let g be (-13238)/88 + (-2)/(-8). Let f = g - -150. Let i = -19/44 - f. Do 0 and i have different values?
True
Let m = -7 - -7. Suppose 0 = 5*u - 15 - m. Suppose u*i + 3 = -0. Which is smaller: -3 or i?
-3
Suppose -2*l = -l - 50. Which is smaller: l or 51?
l
Let y be 5260/(-36) + (-1)/(-3). Let p = y + 146. Which is bigger: p or 0?
p
Let n = 6.6 - -5.8. Let a = n + -11. Which is bigger: -0.1 or a?
a
Let y(c) = -c**2 - 7*c - 4. Let n be y(-7). Is n >= -4?
True
Let p be (0 - 2)*1 + 13. Suppose -2*r + 30 = 3*j - 5*r, 4*j = -r + 45. Is p at least j?
True
Let v be 12/36 - (-12)/45. Which is smaller: -0.1 or v?
-0.1
Let n = -2.142 - -0.042. Let x = 0.1 + -2.1. Let t = x - n. Are t and -5/2 unequal?
True
Suppose 0 = -5*u - 6 + 1. Let z(o) = -2*o**3 - 1. Let h be z(u). Are h and -1/18 unequal?
True
Let i be ((-3)/(-18))/(2/(-8)). Let a(p) = -p**3 + 2*p**2 + 3*p - 3. Let n be a(2). Suppose n*x + 2 = -4. Do x and i have different values?
True
Suppose -4*l - 5 = 3*g, -3*l = 5*g + 2*l + 5. Which is bigger: 3 or g?
3
Suppose 6*v - 6 = w + 5*v, 3*w = -3*v - 6. Is w smaller than -2/5?
True
Suppose 3*o - o = -4*l + 4, 2*o - 13 = 5*l. Let q be l*(21/(-12) + 0). Which is smaller: q or 1/4?
1/4
Let v be (-9 + 6)/((-6)/(-8)). Let p be 14/(-16) + (-2)/v. Is 1 at least as big as p?
True
Let o = -7/10 - -1/5. Which is greater: o or -1?
o
Let m be (-15)/(-4) + (-7)/(-28). Suppose -3*p = -4*p + m. Is p bigger than 5/2?
True
Let z = 3/292 + 437/14308. Let u = -37/294 - z. Is 0 != u?
True
Let b = -7 - -5. Let z = -0.83 - -0.63. Is b != z?
True
Let s = -0.6 - 0.2. Let c = -2.6 + 1.6. Which is greater: s or c?
s
Suppose -120 = 3*h - d, 2*d = 4*h - 7*h - 111. Let w be ((-1)/(h/(-12)))/2. Which is bigger: w or 1?
1
Let j = -4 - -4. Let d be (12 + j)/(3/2). Does 7 = d?
False
Let v(y) be the second derivative of -7*y**4/24 + y**3/6 - y**2/2 + y. Let s(z) be the first derivative of v(z). Let u be s(1). Is -6 smaller than u?
False
Suppose 4*c = -0 - 4. Suppose -8*u = u - 0*u. Which is greater: u or c?
u
Let x be (-1)/3 + 978/(-90). Let h = x + 947/85. Is 0 <= h?
False
Let l be 24*1*(-2)/10. Let z = 167/40 + l. Let g = 23/24 + z. Which is smaller: -1 or g?
-1
Let n be (-2)/(-31) - 0/2. Is n >= 1?
False
Let k(x) = x**3 + 11*x**2 + 11*x + 9. Let c be k(-10). Let l = c + 1. Which is smaller: -1 or l?
-1
Let y be (-3)/(-42)*-41 - 1*-3. Does 1 = y?
False
Let n be (-9 + 7)*1/5 - 0. Let l = -1 - -2. Is l greater than or equal to n?
True
Let v(y) = -y**3 - 2*y**2 - 5*y - 1. Let n be v(-2). Is n <= 7?
False
Let c be (-1)/3*-3*-3. Which is smaller: -2 or c?
c
Let z(u) = -u**3 + 4*u**2 + 7*u - 7. Let y be z(5). Let n be 3 + -3 + 2 + -1. Let o be y - 2 - (-2 + n). Which is smaller: 1/2 or o?
1/2
Let a = -381 + 15623/41. Do a and 0 have the same value?
False
Suppose 3 = -3*k - 0. Is k >= 1/11?
False
Let c(i) = i**2 - 8*i + 7. Let x be c(7). Suppose 2*b + 180 + 8 = 0. Let p = -467/5 - b. Is x bigger than p?
False
Suppose -19*z - 2278 = -2*z. Which is greater: -133 or z?
-133
Let q(x) = x**2 + 4*x + 4. Let p be q(-3). Suppose 0 = 5*j - 5, -5 - p = v - 5*j. Is v != 0.1?
True
Let k be 4 + -2 - (4 - 0). Let q = -1 + 0. Is q not equal to k?
True
Let g be 2 - -2*2*-1. Which is greater: -2/3 or g?
-2/3
Suppose -4*r + 4 + 16 = -4*p, p + 5 = 4*r. Suppose r = -3*u - 4*q - 0*q - 41, 4*u = 2*q - 40. Which is smaller: -12 or u?
-12
Suppose 0 = -w - 1 - 0. Let g(o) = 2*o + 4*o - 4*o + 2. Let l be g(-2). Which is smaller: l or w?
l
Suppose -5*m = s - 8, 4*m + 0*m + 5*s + 2 = 0. Let p be (-1*m - -1)/1. Is 1 at least as big as p?
True
Suppose 5*r = -0*b - 5*b, 5*b = 0. Is r smaller than -2/5?
False
Suppose u - 4*u = 0. Suppose 0 = 2*v + 108 + 30. Let c be v/135 + 8/20. Is c != u?
True
Suppose -2*f = -0*f. Suppose f = 4*v - v + 3. Let d be 1/(-4) - (-28)/48. Which is bigger: d or v?
d
Let r = 19.9 - 20. Is r bigger than -0.13?
True
Let a(u) = u - 5. Let v be a(0). Let b be 9/((-54)/(-8)) - 2. Is b less than v?
False
Let c = 1200/8351 + -1/1193. Suppose q - 5 = d, 3 = -3*q + 5*d + 8. Suppose -m - 10 = -2*j + m, -3*j + 2*m = -q. Does c = j?
False
Let w(u) = u - 3. Let d(f) = 5*f - 15. Let t(r) = -2*d(r) + 11*w(r). Let q be t(0). Is q >= -2?
False
Let v = 3 + -4. Let m be 16 - 16 - (0 - 0/(-1)). Are m and v unequal?
True
Suppose 0 = d - w + 3, 1 - 14 = -5*d - 2*w. Let y(f) be the first derivative of -f**2/2 + 5*f + 1. Let o be y(4). Do d and o have the same value?
True
Let p = 8 + -8. Supp