0?
True
Let y be 0 - 1889/785 - -3. Let v = 1/157 + y. Is v >= 0?
True
Let d = 0.1 - 0.03. Which is smaller: d or 6?
d
Suppose -5*g + 5 = -7*d + 2*d, 3*g = -3*d + 9. Let o = -1093 + 60113/55. Which is bigger: d or o?
d
Let w = -57 + 59. Is w at most as big as 4?
True
Suppose z + 2 = 3*y + 3*z, 4*y + 4*z + 4 = 0. Let x be (-3)/20 + y/(-16). Let u = 3 + -2. Which is smaller: u or x?
x
Let d be (-66)/(-70) - (-1)/(-7). Let n(a) be the second derivative of a**5/20 + 2*a**4/3 + 7*a**3/6 + a. Let h be n(-7). Is d >= h?
True
Let k = 23.2 - 26.2. Let y = 3 - 2. Which is greater: k or y?
y
Let m(g) = -3*g + 3. Let p be m(2). Suppose k - 2*i + 2 + 4 = 0, -32 = -3*k - 4*i. Suppose 6 = d - k*d. Which is smaller: d or p?
p
Let n = 9 + -3. Suppose -3*z + c = z - 6, 0 = -2*z - c + n. Let d(g) = -3*g - 3. Let u be d(-2). Is u >= z?
True
Let n be 0*(-2)/12*-3. Which is bigger: 1/2 or n?
1/2
Let c = 0.2 + -0.1. Let r = 4 - 4. Let i = r - 0. Is i smaller than c?
True
Let t = 109/2320 - 1/80. Is t at least 0?
True
Let f(r) = -r**2 - 8*r - 7. Let h be f(-7). Let m be 0 + -3 - (-2 - h). Are m and -1 non-equal?
False
Suppose 2*g = -5*h + 10, -g = g. Suppose 2*x + 3*x - 10 = 0. Is x smaller than h?
False
Let a = 13.1 - 13. Is -18/5 greater than or equal to a?
False
Let l = -7 - -1. Which is smaller: l or -8?
-8
Let z(x) = x**2 - 3*x + 4. Let f(i) = -2*i**2 + 6*i - 7. Let n(a) = -3*f(a) - 5*z(a). Let u be n(2). Is u < -1/2?
True
Let t = -5 + 5. Which is greater: t or 1?
1
Let n(c) = 2*c**3 - 9*c**2 + 3*c + 1. Let t(l) = l**3 - 4*l**2 + 2*l. Let u(i) = 3*n(i) - 5*t(i). Let f be u(7). Let h be (f + 5)/(1/1). Is 0 less than h?
True
Suppose c + 1 + 1 = 5*w, 3*c - 6 = 3*w. Suppose -3*s + 0 = 5*v - 12, 4*s - 16 = -2*v. Is w at most v?
False
Suppose -g + 36 = 3*g. Let m be 0 - (-3 + g/3). Is m greater than 0?
False
Suppose -2*v = 2*z + 18, -z = -0*z - v + 7. Let r be (2 - 3)*10/z. Suppose -w + 55 = 54. Which is smaller: r or w?
w
Let j(r) = r. Let g be j(-1). Which is bigger: g or -2/35?
-2/35
Let r = 130 - 1169/9. Which is greater: 0 or r?
r
Let y be (6/(-4))/(30/(-40)). Let l be (1 - y) + (-2)/(-2). Which is bigger: -0.2 or l?
l
Let h(q) = q**2 - 3. Let t be h(-3). Suppose -3*c - 4*s + 25 = -2, -2*s + t = 0. Which is bigger: 6 or c?
6
Let q be (7632/30)/((-38)/20). Let b = q - -134. Is b != 0?
True
Let j = 41/104 + 3/13. Let p = j + -19/56. Suppose -4*n - 5 = 3. Which is bigger: p or n?
p
Let r be (26/65)/((-2)/140). Is r bigger than -28?
False
Let g(k) = -k**2 - 4*k + 2. Let j be g(-5). Let t be (j/(-6))/(3/(-6)). Let f(h) = h**2 + h. Let y be f(-2). Which is greater: t or y?
y
Let p be 28/21*(-1 - (-56)/62). Is 0 at least as big as p?
True
Suppose -3 + 5 = -d. Suppose 2*a = 3*t - 18, 6*a - 2*a - 8 = -5*t. Which is smaller: a or d?
a
Let x be (12/3 + -3)*1. Are 6 and x nonequal?
True
Suppose -u = -6*u, 2*u - 8 = 2*g. Let c be 117/270 - (-2)/g. Which is smaller: 0 or c?
c
Suppose -4*q - 40 = q. Let s = q + 7. Is 0 greater than or equal to s?
True
Let o = 6 + -10. Let c(d) be the first derivative of -d**4/4 - d**3 + 2*d**2 - d - 16. Let y be c(o). Are -4 and y equal?
False
Suppose 2*o + 3*o = 15. Let z be 16*-3*1/o. Which is smaller: -17 or z?
-17
Let p be 8/(-3)*(-2)/((-16)/18). Let n be (-26)/6 + 4/(-6). Is p less than n?
True
Let w(z) = -z + 2. Let o be w(-1). Which is smaller: o or 2?
2
Let k = -157.9 - -158. Is -17 bigger than k?
False
Let v = -8 + 11. Suppose -v*x = 2*x. Which is bigger: x or 1/7?
1/7
Let f = -29 + -7. Do -35 and f have the same value?
False
Let a = 116 + -170. Let g be (-66)/a + 4/(-18). Suppose 0 = -y - g - 0. Which is greater: y or -2/11?
-2/11
Let g be ((-1)/1)/1 - 1. Let q be 1 + 1*(6 - 3). Suppose q*w + w = -5. Is w > g?
True
Suppose 7*w = 6*w. Are w and 1/25 equal?
False
Let s be -1*(-3)/(9/3). Let z be s*2 + (-30)/21. Does z = 0?
False
Let w = 0 + 1. Is -3/34 <= w?
True
Suppose -2*p = -v + 7, -4*v + 4*p = -9 + 1. Let q = -21 - -18. Is q less than or equal to v?
True
Let o = -2 - 7. Let g = -1 - o. Which is greater: 7 or g?
g
Let a be (1/(-3))/((-3)/(-69)). Do -9 and a have the same value?
False
Let i = 1 - -2. Let k = 5 - i. Let x(p) = p**3 + 3*p**2 + p + 3. Let l be x(-3). Which is greater: l or k?
k
Let w(j) = j**2 + 4*j + 1. Let m be w(-4). Let d = 0.18 + -0.1. Which is greater: d or m?
m
Suppose 0 = -3*c + 56 - 8. Let g be (c/24)/((-4)/(-102)). Let h = g + -86/5. Is 0 less than h?
False
Let m = 8 - 4. Let p be m/3 + (-21)/(-18). Which is bigger: 3 or p?
3
Let b = -187/30 + 12/5. Which is bigger: b or -5?
b
Let l = -0.4 - 0.6. Let q = l + 3. Suppose n + 2 = -n. Are q and n unequal?
True
Let h(l) = -32*l**2 + l + 1. Let a be h(-1). Let g be (a/(-40))/((-4)/10). Is g bigger than -1/2?
False
Let t be 20/(-55)*9/6 - 0. Do t and -1 have different values?
True
Let p = -2/1541 - 1031/392955. Which is bigger: p or 0?
0
Suppose 2*p = -2*w, -2*w - 8 = -3*p + 3*w. Suppose -p = -0*t + t. Let r be (-2)/((-54)/(-33)) - t. Is 1 at most as big as r?
False
Let u = 0 - 0.1. Let d = 53/3 + -17. Is u bigger than d?
False
Let s = -6.2 - 1.8. Let t = -4.4 - -11.4. Let r = s + t. Which is smaller: 0.1 or r?
r
Let r = 0.2 - 0.3. Let a = r + 0.11. Let z = 36.1 - 36. Which is smaller: z or a?
a
Let r be (952/60)/(-7)*-10. Let p = 23 - r. Which is smaller: p or 6/11?
p
Let h be ((-2)/68)/(2/4). Is 0 at most h?
False
Let o be -16 - -15 - 42/1. Let f = o - -130/3. Is -5/4 equal to f?
False
Suppose 0 = -3*j + 7 - 46. Let w = j + 11. Is -2/3 greater than or equal to w?
True
Let g = 3.1 + -0.1. Let i be 1/4*(3 + -2). Is i greater than g?
False
Let u = 0.29 - 0.09. Is -2/21 equal to u?
False
Let w = -1 + 0. Which is bigger: 4 or w?
4
Let h be 28/(-266) - (-82)/(-304). Which is smaller: h or -1?
-1
Let c(k) = -2*k**3 - 4*k**2 - k + 1. Let s be c(-3). Let i = -32 + s. Which is smaller: -9 or i?
i
Let i be (-218)/(-11) + 14/77. Let y be (-60)/14 + i/70. Are y and -6 unequal?
True
Let f be ((-12)/18)/(53/3). Which is smaller: f or -1/2?
-1/2
Let c = -8 - -10. Suppose -2*p + 0*p = c. Which is smaller: p or 2/11?
p
Let y(i) = i**2 - 6*i + 4. Let z be y(8). Suppose 4*x - 20 = 4*d - 0, 5*x = 4*d + z. Is -2/3 bigger than x?
False
Suppose -5*y + 4*q - 36 = 0, 3*y = -2*y + 3*q - 37. Let l(o) = o + 9. Let r be l(y). Which is bigger: r or 1/2?
r
Let h = 525/46 - -2/23. Let m = -45/4 + h. Let p = 762/1309 + -2/187. Which is bigger: p or m?
p
Suppose -4*w - 6 = 4*y - y, -4*w + 8 = -4*y. Is w <= 3?
True
Let m = 24 - 28. Is m bigger than -4?
False
Let z = 2/35 + -181/105. Let f(k) = 3*k**3 - k**2 + 1. Let x be f(-1). Which is smaller: z or x?
x
Let v be ((-1)/(-6))/(-5*(-2)/60). Is -1/166 bigger than v?
False
Let d(c) = c**2 + 4*c + 2. Let t be d(-4). Suppose -t = 3*w - 5. Let b = 161/855 - -2/171. Which is smaller: b or w?
b
Let l(c) be the second derivative of c**4/2 - c**3/6 + c**2/2 + 8*c. Let t be l(1). Is t != 7?
True
Let f = 188 - 62. Which is bigger: f or 125?
f
Let u = 42 - 42. Is 6/7 at least as big as u?
True
Let o(v) = v**2 + 3*v + 2. Let j be o(-3). Let m be j + ((-33)/4)/3. Let i = 7/2 - 13/4. Is m at least as big as i?
False
Let t = -59 - -115/2. Is t at most -3?
False
Suppose 0 = -7*v + 5*v. Let x(z) = -1 + 5*z**2 + 2 + v. Let n be x(-1). Which is smaller: n or 5?
5
Let k be (-4 + 3)/((-1)/2). Suppose -y + 8 = k*z + 3*y, -4*y = -12. Which is bigger: -1 or z?
-1
Suppose 2 = -3*k + 5. Let z be (k + 14)/(3/4). Suppose -2*h - z = 3*h - 5*g, -5*h - 22 = -3*g. Do h and -5 have the same value?
True
Let k be 5/4 - (13 - 11). Which is bigger: 0 or k?
0
Let v = 44 + -31. Suppose l + 5*k = -v - 2, 0 = -l - 3*k - 15. Let j be -2 - 5/(l/9). Which is greater: j or 2/7?
j
Let r be 1/(2/14)*1. Suppose -2*q = -r*q - 10. Let x be (-3*(-4)/(-6))/q. Which is smaller: -2/5 or x?
-2/5
Let z = -9/20 - -1/20. Suppose f = -j, -f + 3 = 5*j + 23. Let s be (-2)/(-8) - f/4. Are s and z unequal?
True
Let w = -9 - -5. Let x(d) = -2 + 8 - d - 2. Let b be x(7). Do w and b have different values?
True
Suppose -5*g + g - 2*a = 200, 150 = -3*g + a. Is -50 < g?
False
Let u be 0/(12/(-4)) + -252. Let j be (-1)/(-6) + 330/u. Is j > -2?
True
Suppose -y = -2*y + 4. Suppose 0*t + t + 6 = -u, -y = -u + t. Which is bigger: 0.3 or u?
0.3
Let w be 4/18 + (-39)/54. Is w equal to 0?
False
Let p = 1089/2 - 562. Which 