*o**2 - 1. Let a be v(1). Let h = -2.84 + 3.9. Let d = 0.06 - h. Is d less than or equal to a?
True
Let t be (-10)/(-65) + 148/(-286). Are 0 and t equal?
False
Let d = 15.3 + -15.251. Which is smaller: -1/3 or d?
-1/3
Suppose 15 = -x + 5*u, 4*u = u + 9. Which is greater: 1 or x?
1
Suppose 3*d = -4*u + 24, -4*u = -2*d - 2*u + 30. Let m(x) = -x + 17. Let p be m(d). Is p not equal to 6?
True
Let o = 39 - 36.9. Is o smaller than 1/2?
False
Suppose -4*j = 37 + 31. Let t be 3/12 + j/4. Let v = t - -8. Is 2 < v?
True
Suppose 5*d + 10 = -3*i, 3*d + i = -i - 7. Let z be 6/(-10) - 896/(-315). Let u = 22/9 - z. Which is smaller: d or u?
u
Suppose -h + 1 = 3*r + 2, 5 = -3*r - 2*h. Let a = 0 - 2. Let m = -3 - a. Is m < r?
True
Let t be (-102)/(-56) + 3/(-12) - 3. Which is smaller: t or -2?
-2
Let n be -1 + (-60)/(-25) + -1. Let b = -3 - -6.3. Let g = b + -3. Which is greater: g or n?
n
Suppose 4*h = 5*d - 3*d + 2, -5*d - 25 = 0. Suppose 2 = 5*j - 3. Which is greater: h or j?
j
Suppose 0 = 5*c - 0*c. Is c at least as big as 0.05?
False
Let x(l) = -l**3 - 3*l**2 - l - 2. Let r be x(-2). Which is bigger: r or -1?
-1
Suppose -4*h + 13*h = 0. Is h bigger than 0?
False
Let k be 339/(-69)*(-9)/(-78). Let z = 17/26 + k. Which is greater: 1 or z?
1
Suppose -95 = -3*h + 5*y, h - 5*y = 4*h - 85. Is -1 > h?
False
Suppose -2*g + 28 = -2. Let x = g - 19. Are -1/2 and x non-equal?
True
Let h(g) = g + 5. Let w be h(-6). Let n be (w/2*-1)/2. Which is greater: 0 or n?
n
Suppose 5*h + 51 = 2*z, z - 15 = -4*h - 61. Which is bigger: h or -9?
-9
Let n be (-28)/(-6) + -2 + -2. Let h = -0.162 + 0.242. Which is smaller: n or h?
h
Let l = -73 + 68. Is -6 not equal to l?
True
Let r(v) = -v + 16. Let t be r(14). Suppose -4*m + 6 = -t*s, -s + 3 = -4*m + 8*m. Which is greater: m or -2/107?
m
Suppose -3*m = -2*j - 2, -2*j - 1 = -5*m + 5. Let l be (-5)/(-2)*2/4. Which is greater: m or l?
m
Suppose 0 = 2*j - 1 + 35. Which is bigger: -18 or j?
j
Suppose 0 = -3*x + 6, -k + 0*k = 4*x - 19. Suppose -4*n + 3*m = k, 2*n - 3 = 4*m - 1. Let q(a) = a + 4. Let o be q(n). Is 0 less than or equal to o?
False
Suppose -3*g + 3*b = 5*b - 5, -2*g + 2*b + 10 = 0. Let d be (-18)/8 - (-5 + g). Let x(z) = -z**3 + 8*z**2 - 7*z + 1. Let k be x(7). Is k != d?
True
Let u be 3/7 - (-491)/14. Which is smaller: u or 37?
u
Let k be 3/18*(-4)/88. Is k < 0?
True
Let p be (2 + -15 - -9)/((-4)/2). Let q be (3 + -2)/(6/(-4)). Which is smaller: q or p?
q
Let n(v) = -v**2 + 1. Let x be n(3). Let a be 4/(-6) - x/21. Is 1 at least as big as a?
True
Let w = -0.82 - -0.12. Let j = 316/9 + -15502/441. Let l = j - -53/98. Is l != w?
True
Let x be (-1 - (-3 + 0))/(-7 + 9). Is x > -2/167?
True
Suppose 8 - 13 = -5*c. Is 1 at most c?
True
Suppose 0*g = -5*g - 25. Let d = -1 + -3. Which is smaller: g or d?
g
Let b = -0.1 + 0. Let c = 0.9 - 1. Let s = 0.3 + c. Which is bigger: b or s?
s
Suppose -3*z = z + 4. Let j = 2 + -4. Which is smaller: j or z?
j
Let b = 75/427 + -2/61. Let p = -9/14 + b. Which is smaller: p or -2?
-2
Suppose 0*a + 2*a = -2. Let t(k) = -2*k - 22. Let g be t(-11). Suppose 3*c = 5*p - 14, g = 4*c + 3*p + 2*p - 28. Is c at most a?
False
Let x be (-1209)/(-65) - (-2)/5. Let p(y) = -y - 2. Let c be p(-5). Suppose 4*t + x = t + 5*d, 2*d + 5 = -c*t. Which is smaller: t or -2?
t
Let g be (-40)/6 + ((-8)/(-6))/2. Is g != -7?
True
Let f = -46 - -59. Which is greater: f or 15?
15
Suppose 0 = -s + 6*s + 650. Let t be 6/15 + 32/s. Which is bigger: t or -1?
t
Let h be ((-27)/(-6) + -1)*-2 + 2. Suppose -4*w - 19 = -w + o, 7 = -3*w + 2*o. Do w and h have the same value?
True
Let t = 5 + -3. Which is bigger: t or 1?
t
Let c = -24 + 39. Let j = 4 + c. Let m = -56/3 + j. Is -1 at most m?
True
Suppose 0 = -5*c + 3*u + 7 - 19, -3*u = 4*c - 12. Suppose c = -i + 3 - 0. Let n = i + -2. Which is smaller: n or -0.1?
-0.1
Let z = -59 + 233/4. Is 0 < z?
False
Let f = -1 - -1. Let b = -28 - -26. Which is greater: b or f?
f
Let j be 3 - 3/6*2. Suppose 5*p - 9 = -4*s, -s = -j*s + p. Suppose -5*r + 31 = s. Which is greater: r or 7?
7
Let q = 45/148 - 2/37. Let w = -10.03 - -10. Let a = w + 0.43. Which is greater: a or q?
a
Let t = -166 + 113. Is -53 bigger than t?
False
Suppose 0*o - o = 25. Let a be (-2)/7 - o/14. Suppose 2*v + 4*l = 8, 13*v - 12*v - 3*l + 1 = 0. Which is smaller: v or a?
a
Let f be -4 + (-2 - 1*-2). Let l be (1 + -2)*(3 + f). Which is smaller: 3 or l?
l
Let b be -838 - (-3 - 15/(-3)). Let d be (-4)/30 - 592/b. Is 0 greater than d?
False
Let p(b) = b**2 + 2*b - 17. Suppose -2*d + 8 = -2*s, 2*s + 5*d + 28 = -1. Let k be p(s). Is k bigger than 17?
True
Let y(q) = q**3 - 16*q**2 + 12*q + 36. Let a be y(15). Which is smaller: -5 or a?
a
Let m be (-7)/(-4) + (-2)/(-8). Suppose 5*z - 5*i - 9 = z, -m = z + 3*i. Which is smaller: z or 3/2?
z
Let q(d) = 2*d**2 + 5*d - 3. Let r be q(3). Suppose -2*b = -7*b + r. Let z(w) = w**3 - 6*w**2 + w - 3. Let j be z(b). Is 4 <= j?
False
Suppose 11 = 2*v + m, 0*v + 5*m = -v + 19. Let d = -8 + v. Is d smaller than -4?
False
Suppose -50 - 22 = -12*o. Do o and -3/4 have different values?
True
Let c be 2/(-7) - (-298)/14. Which is greater: 19 or c?
c
Suppose 3*r + 5*d = -15, 5*d = -5*r - 28 - 7. Let q(i) = -i**2 - 10*i + 1. Let h be q(r). Which is smaller: -1/3 or h?
-1/3
Let m = -46/9 - -44/9. Which is bigger: 0.8 or m?
0.8
Let k = 388/9 - 43. Which is smaller: 0 or k?
0
Let c(a) = 2*a - 8. Let v be c(6). Suppose 9*f = 4*f + 4*r + 14, 0 = -v*r - 4. Suppose 0 = -4*u + 6*u - 4. Is u greater than or equal to f?
True
Let w = -22 + 21. Which is smaller: w or -7/4?
-7/4
Let c = -15 - -55. Suppose -22 = -y - 2*y + 2*n, c = 5*y - 5*n. Which is smaller: 5 or y?
5
Let k = 64 - 67. Is 5 greater than or equal to k?
True
Suppose 16 = 4*k - 3*m - 4, -5 = -k - 5*m. Let a be k + -2 - (-161)/(-56). Are a and -1 nonequal?
True
Let c = -0.2 - -2.2. Let w be (5/(-3))/((-3)/9). Let k be (1 - 2) + -4 + w. Is c != k?
True
Suppose -r = -3*w - 109, 5*w + 10 = -3*r - 167. Is w > -35?
False
Suppose -3*g + 5*m + 18 = -13, 4*g - 28 = 4*m. Suppose -s - x + 0 = 4, -3*s = 5*x + 20. Let b = g - s. Which is smaller: 4 or b?
b
Let t = 18 + -30. Let n = t - -13. Which is bigger: 2 or n?
2
Let u be 7/7 - (44/9)/4. Which is greater: u or 0?
0
Let m = 8.1 - 7.77. Is -1 >= m?
False
Let p(w) = w**3 + 2*w**2 - 3*w + 3. Let s be p(-3). Suppose -s = -m - 8. Let u = m + 2. Are -3 and u unequal?
False
Let x = 29 + -205/7. Let t(a) be the third derivative of a**6/120 - a**5/12 + a**4/24 - 5*a**3/6 + 2*a**2. Let n be t(5). Which is bigger: x or n?
n
Let a be 66/(-7) + 2/(-7). Which is smaller: a or 0?
a
Suppose 4*m + 6*p - p - 32 = 0, -4*m = 4*p - 28. Suppose 3 = -m*c - 3. Let s = -1 - c. Are 1 and s equal?
True
Let t be (-1525)/195*(-15)/8. Let b = t + -121/8. Which is greater: b or -1?
b
Suppose m = 5*m - 2*m. Is m at least 0?
True
Let b be (-232)/(-168) - 2/3. Is 0 < b?
True
Let b be -4 + (0/(-1) - -2) + 3. Which is greater: 3/61 or b?
b
Let f = 20836/45 - 463. Is 0 != f?
True
Suppose 0 = s + 5 - 3. Let p = 946 - 6592/7. Let m = 99/28 - p. Which is greater: s or m?
m
Suppose 2*d - 4*b = 7*d - 55, -4*d - 5*b + 44 = 0. Let y = d + -8. Let o(w) = w**2 - w + 3. Let t be o(0). Is y at least t?
True
Let z = 4 - -2. Let n = -5 + z. Which is smaller: n or -1/4?
-1/4
Let p be 4/(-13)*(-1)/2. Let v(c) = -3*c + 37. Let m be v(12). Is m less than p?
False
Let d = 104.9 + -105. Which is smaller: 51 or d?
d
Let p be (4/28)/(3/9). Is -1/4 equal to p?
False
Let l be 0 - (-2 - 0 - -1). Let y be ((-4)/6)/(28/18). Which is bigger: y or l?
l
Let y(a) = 3*a + 6. Let v be y(-2). Are -3/8 and v nonequal?
True
Let p = 188 - 188. Which is smaller: -2/13 or p?
-2/13
Let z(o) be the second derivative of -o**3/6 - 3*o**2 + o. Let g be z(-6). Suppose c - 7 = -g*c - 4*s, 2*c = 5*s - 12. Which is greater: c or -0.1?
-0.1
Let r = 70/87 - 4/29. Are r and 0.1 equal?
False
Let f be (-110)/(-5) + 4 - 4. Which is smaller: f or 85/4?
85/4
Let n be 3/((-28)/8 + 2). Which is bigger: 0 or n?
0
Let i = 40 + -39. Which is smaller: i or 2/7?
2/7
Let o = 0.3 - 0.4. Let q = 1.4 - 1. Let m = q + -0.2. Which is bigger: o or m?
m
Let y be (-43)/(-94) - (-4)/(-8). Are 0 and y non-equal?
True
Let w be 6/33 - 172/(-5104). Let b = w - -1/29. Is -3 equal to b?
False
Suppose 4*q + 2*q = -6. Whi