qual to 1/2?
False
Let a = -2 - -2. Let m = 14 - 11. Let d = -2.7 + m. Which is greater: d or a?
d
Let g(s) = s**2 - 3*s - 6. Let x be g(-6). Let w = 142/3 - x. Which is smaller: 1/8 or w?
w
Let i be (8 - 5)/((-3)/(-10)). Suppose -3*u = -i - 2. Let c be 1 + (1 - (-1)/1). Is c > u?
False
Suppose -4*v + 4 = -4*u, 4*u + 1 = -4*v + 5. Suppose -o = 3*m, -4*m + 3*o - 12 - 1 = u. Is -3/22 not equal to m?
True
Suppose 0 = 2*t - 4 + 6. Is t > -1/5?
False
Let h = -268 - -5094/19. Which is greater: h or -1?
h
Let s = 26.88 - 21.8. Let f = s + -5. Which is greater: f or -2/5?
f
Let n = 2 + -2. Let w = 9 - 6. Does n = w?
False
Suppose 3*z = -3*z + 6. Which is smaller: 1/22 or z?
1/22
Let y = 3.3 - 2.2. Let d = 1 - y. Which is smaller: 3 or d?
d
Let f(t) = -t - 1. Let w be f(-4). Let a be -1 - (w - 27/6). Suppose -3*i - 10 = -8*i. Which is smaller: a or i?
a
Let k(q) = q**3 + 5*q**2 - 6*q - 6. Let w = 7 + -13. Let f be k(w). Let c be ((-2)/(-6))/(4/f). Is c <= -2?
False
Suppose -2*i + 5*v - 35 = 0, v - 1 + 11 = -3*i. Let o = 29 + -20. Let k = 4 - o. Are k and i nonequal?
False
Let x(c) = c**2 - 6*c - 9. Let g be x(7). Let u = 4 + -7. Is g != u?
True
Let l = 1.6 + -0.6. Let z = l + -0.8. Is 1 >= z?
True
Suppose -4 = u - 0. Let j be 1/u*-10*-1. Which is smaller: j or -4?
-4
Let u = 32/2211 - 3/67. Is u at most as big as 1?
True
Let w = 3 - 3.02. Let s = 0.1421 - -0.0579. Is w bigger than s?
False
Suppose 0 = -3*x + 6*x. Suppose -6*f + f + 5*w + 15 = 0, x = -3*w - 6. Suppose 4*m = -4*v - 16, 2*v - m - f = -0*v. Is v equal to -2/5?
False
Let l(j) = -j**3 + 10*j**2 - 2*j + 15. Let v be l(10). Is v >= 2?
False
Let b(o) = -2*o**2 - 2*o - 1. Let i be b(-1). Let g be ((-148)/15)/(2/(-9)). Let f = g - 44. Is f smaller than i?
False
Let i(t) be the first derivative of -t**3/3 + 3*t**2/2 - 3*t + 4. Let s be i(3). Let r be (8/s)/((-1)/(-3)). Is -7 at least r?
True
Let r be ((-18)/(-45))/(2/(-5)). Which is bigger: -9/10 or r?
-9/10
Let o be (-3)/9 + 9/25. Is 1 less than o?
False
Let q = 35 - 31. Is q > -1/4?
True
Suppose k - o - 11 = -2*k, 0 = k - 3*o - 1. Let n be (2/k)/(2/4). Is -2/17 greater than n?
False
Suppose c + 3*i - 15 = -2*c, -2 = -i. Let m be (-8)/(-2)*c/3. Do 4 and m have the same value?
True
Suppose -u = -2*u + 3*u. Is 2/83 equal to u?
False
Let p be (-3)/6*2 - -4. Let b = -0.03 + 0.03. Which is smaller: b or p?
b
Let a = -0.3 - 0.2. Let z = a - -2. Let y = z + -1. Do 0 and y have the same value?
False
Suppose -f - 4*u + 20 = -3*f, -f = -4*u + 20. Which is smaller: f or -1/27?
-1/27
Let w = 16 + -81/5. Let l = -3 + 4. Which is greater: w or l?
l
Let u = 5 - 8. Let m = 0.4 + -1.4. Which is bigger: u or m?
m
Let d = 5 - 7. Let h be ((-6)/16*1234)/d. Let a = h + -231. Is 1 equal to a?
False
Let i(x) = x + 4. Let w be i(-2). Let o be ((-12)/(-3) + -2)/w. Which is greater: o or 2?
2
Suppose m + 2*m = -9. Let a = m - -7. Which is smaller: 6 or a?
a
Let f = 2 + -4. Let c be 1*(-1)/f*-2. Let d be (c/1)/((-7)/(-2)). Is d equal to 0?
False
Let m be (-3)/(-4) - (-63)/(-36). Which is smaller: 2/43 or m?
m
Let f be (-2)/(-6) + (-19)/(-33). Let w = f + -29/44. Suppose 0 = 7*c - 3*c. Are c and w unequal?
True
Let v = 233/2 + -119. Which is smaller: 0.1 or v?
v
Suppose 5*x = x + 48. Let n be (-14)/(-6)*x/(-42). Is n less than or equal to -1?
False
Let l be ((-16)/28)/((-2)/7). Suppose -5*a = y + 1, -l*a - 21 = -3*y - 7. Which is smaller: a or -2?
-2
Let w be (-14 - -15)*(3 - 2). Let t be 2/((-42)/(6 + -3)). Are w and t unequal?
True
Let k be (-2 + 1)*-2 - 0. Let w(s) = s**3 - s**2 + s + 1. Let y be w(k). Which is greater: 5 or y?
y
Suppose 3*u = -3*o - 38 + 2, 3*u = 5*o + 68. Does o = -14?
False
Suppose 0 = -5*s - 5*f + 4 + 1, s + 3*f + 5 = 0. Suppose s = x + 1. Which is smaller: 2 or x?
2
Let o be (-21)/(-42) + (-6)/(-4). Which is greater: 15/16 or o?
o
Let i = 1/30 - 91/930. Suppose 2*y - 5*d = -2, -y + 3*d - 2 = y. Which is greater: i or y?
i
Let k = -53 - -74. Is k greater than 19?
True
Let s be 2 + 1 + (-64)/4*1. Is s greater than -12?
False
Suppose 6*c = 2*c. Suppose c = -5*b - 2*z + 21, -b - 5*z + 30 = 4*b. Is 2 smaller than b?
True
Suppose 4*w + 15 = 3. Let t(c) = 2*c + 4. Let h be t(w). Is h at most -3?
False
Let o(s) = -3*s**3 - 5*s**2 + 7*s + 7. Let b(h) = -h**3 - 2*h**2 + 2*h + 2. Let j(w) = -7*b(w) + 2*o(w). Let i be j(-4). Is i less than 4/5?
True
Suppose 3*t - 3 + 6 = 0. Suppose 5 = 4*d + a, -2*a = 4*d - 3*a + 5. Let o be 0 + 2 + t + d. Which is bigger: 2 or o?
2
Suppose -2*g = g. Let b be -2*(2 - 6/4). Which is smaller: g or b?
b
Suppose 5*o - 35 = -5*l, -3*l + 25 - 1 = 4*o. Suppose o = 4*k + 7. Let w(a) = a + 1. Let y be w(-1). Which is greater: y or k?
y
Suppose -3*y - 124 = 4*d - 5*y, -98 = 3*d - 4*y. Are d and -29 equal?
False
Let f be ((-2)/27)/(6/4 + -1). Which is bigger: f or -1?
f
Let u be 1/(-5) + 11/5. Let y(p) = -3*p**2 + 5*p + 3*p**2 + p**u + 2. Let t be y(-5). Which is smaller: t or 3?
t
Let d(m) = m**3 + 8*m**2 + 6*m - 7. Let w be d(-7). Suppose -2*x + 5*x + 9 = w. Let y be (1 + -1)*(-1 - 0). Is y smaller than x?
False
Let n be 26/42 - 6/21. Let b = 0.94 - -0.06. Do b and n have the same value?
False
Suppose 0 = -2*n - n + 6. Let h be 4/n - 2/1. Let i be 1 - (-2)/(2 - 4). Does h = i?
True
Let c(g) = g**2 - g. Let k(y) = y**2 - 3*y - 1. Let t(l) = 6*c(l) - 3*k(l). Let f be t(-2). Let o(h) = h**3 - 9*h**2 - 1. Let m be o(f). Is 1/7 equal to m?
False
Let b(t) = -t + 1. Let n be b(-3). Let z = 35 + -31. Do n and z have different values?
False
Suppose -z - 4 + 28 = 0. Is z at least 24?
True
Let x be (-2)/(-3) - 4/(-3). Suppose -x*m + q + 2 = -4*m, 2*q = 3*m + 10. Let w = 0 + -0.1. Which is greater: w or m?
w
Let n = 2118.7 - -290.3. Let o = n - 2395.91. Let v = 13 - o. Is 0 < v?
False
Let m = 0.1 - -0.1. Let r = m + -0.4. Let q be 36/(-48) + 21/(-36) + 2. Which is smaller: r or q?
r
Let x = -2 + 2. Let g be (-4)/(-16) - (-37)/(-4). Let t be ((-3)/(-8))/(g/6). Do x and t have different values?
True
Let j be ((-2)/3)/(2/3). Let t = 542 - 12464/23. Is t != j?
True
Suppose 0 = 12*f + 7 + 5. Which is bigger: -2/3 or f?
-2/3
Let d be (-1 - -1)/((-8)/40*5). Is 2.6 greater than d?
True
Suppose 0 = 3*n - 5*d - 25, 5*d = -4*n + 3*d + 16. Suppose -4*u = -3*p - 11, 0 = -n*u + 9 + 1. Let m be -1 - (p/(-2))/(-1). Are -1 and m equal?
False
Let w(m) be the third derivative of -m**4/12 + 3*m**3/2 + 2*m**2. Let v be w(8). Are -7 and v non-equal?
False
Suppose -2*h + 4*h + 36 = 3*t, -4 = -t. Let q be 2 - ((-2)/2 - h). Is -8 at most as big as q?
False
Let l = -0.1 + 2.3. Let r = 2 - l. Which is greater: r or 0.6?
0.6
Suppose -5 = -5*j + 10. Let m be j - 4 - (-4)/3. Which is greater: m or 0?
m
Let m(w) = 2*w + 10. Let u be m(-8). Do u and -6 have the same value?
True
Let x = -2.03 + 1.83. Which is greater: x or 28?
28
Suppose 3*u - 3*z - 78 = 0, -4 = 3*z + 2. Let a be -1 + u/(-21) + 2. Is 1 < a?
False
Suppose 3*c = 18 - 3. Suppose -c*n - 2 = -2*z - 3*n, 0 = -z - 4*n - 4. Suppose z*o - 4*o = 0. Is 0 equal to o?
True
Let t = 0.14 - -0.06. Let n be (1/(-3))/(10/2598). Let u = 87 + n. Which is smaller: u or t?
t
Let u(w) = -7*w**3 - w. Let m be u(-1). Which is smaller: 1 or m?
1
Let y be (-3)/3*2/(-1). Suppose 0*j + r - 5 = -y*j, 0 = -2*j - 2*r + 8. Is 1/4 != j?
True
Let v(b) = 8*b - 41. Let o be v(5). Which is greater: o or -4?
o
Let y = -5.4 + 6. Let d = 0.5 - y. Is d equal to 0.2?
False
Let p = 2 + -12/7. Suppose 4*z + 0*z = 0. Which is smaller: p or z?
z
Let b = 11 - 7. Which is smaller: 7 or b?
b
Suppose 2*h + a = -a + 14, a = 4. Suppose 16 = g - 4*g - 4*c, h*g + c + 4 = 0. Suppose g*d = d. Do d and 1 have different values?
True
Suppose 0 = -5*r - 2 + 7. Is r at least 1/12?
True
Let t = 79 - 7. Let d be 1/4 + t/(-32). Which is greater: d or -1?
-1
Let f = -32 + 33. Which is bigger: f or 2/19?
f
Let w = 503/105 - 34/7. Which is smaller: 0 or w?
w
Suppose -2*n + 20 = -4*p, -3*p - 12 = 3. Let t be (-2*(-2)/(-18))/(5/3). Which is greater: n or t?
n
Let x = -7 - -8. Which is bigger: x or -3/10?
x
Let q be (-5 - 1)*2/(-4). Are q and 4 nonequal?
True
Let d = -0.7 - -6.7. Let s = -79 - -73. Let w = s + d. Which is smaller: 0.3 or w?
w
Let x = -0.2 + 0.2. Let d be (-81)/15 + 14/35. Is x >= d?
True
Let r be (-4)/(-14) + 10/(-182). Let m = 0.09 + -0.19. Is r < m?
False
Let 