u**2 + 8*u. Let v be x(-7). Let j = -1662/7 + v. Suppose 12 = -0*w + 6*w. Are w and j non-equal?
True
Let d = 2 - 3. Let w = 2 + d. Let o = -398/5 - -80. Is o at most as big as w?
True
Let g(a) = -a**3 + 3*a - 3. Let o be g(-2). Which is smaller: -2 or o?
-2
Let n = 0 - 1. Suppose -2*d + 4*t = -0*d + 14, -13 = 3*d - 2*t. Let v be 1 - (2*-1 - d). Is n at least as big as v?
False
Let x = -2.6 - -0.6. Let k = 2 + x. Let p = -3 - -4. Is p greater than or equal to k?
True
Let n = -0.54 - -0.54. Let s = -713/4 - -177. Which is bigger: s or n?
n
Let d = -0.09 + 0.2. Let h = d - 1.11. Is 1 < h?
False
Suppose 5*o - 6*o - 2 = 0. Are o and 1 equal?
False
Let p be (1/2)/((-2)/(-4)). Let r = 12.2 - 16. Let d = 4 + r. Are p and d equal?
False
Let s(y) = y + 4. Let b be s(0). Is b greater than or equal to -1?
True
Let i be (-75)/(-9) - 1/3. Let y = 9 - i. Let f be (0 - -2) + (-15)/9. Is y smaller than f?
False
Let s = -67.12 + 67. Is -0.1 <= s?
False
Let k = 1.1 - -6.9. Let z = k + -8.1. Which is smaller: z or 2?
z
Let n(v) be the third derivative of -v**6/120 - v**5/20 - v**4/24 + v**3/6 - 2*v**2. Let w be n(-3). Is w not equal to 4?
False
Let u(t) = -1. Let a = -9 - -6. Let b(m) = -m - 1. Let r(v) = a*b(v) + 5*u(v). Let s be r(2). Is -1 bigger than s?
False
Let g be (-1)/2*(-1)/(-1). Is g bigger than -0.4?
False
Let p = 0 + -1. Suppose -4*w + 0*w + 368 = 0. Let k = 826/9 - w. Are k and p unequal?
True
Suppose 135 = -0*m + 3*m. Let n be 2/m - 8/(-20). Which is greater: 0 or n?
n
Let u = 14 - -19. Is u != 33?
False
Let b = 21 + -18. Is b > 1/8?
True
Let w = 671/104 - 51/8. Which is smaller: w or -1?
-1
Let g = 0.22 - 0.82. Which is bigger: g or -1/2?
-1/2
Let z be 18/20 - (-2)/(-5). Let h = -2 + 4. Is h at most z?
False
Let u be 3/(-1)*(-2 - -1). Let p(o) = -3*o**2 + 3*o + o + 0*o**3 - o**u. Let l be p(-4). Which is smaller: l or -1/3?
-1/3
Suppose -6*h = -3*h. Suppose -1 = -b - h*b. Which is smaller: -2/39 or b?
-2/39
Let z(m) = m**3 - 4*m**2 + 4*m - 6. Let c be z(2). Which is smaller: c or -0.05?
c
Suppose -2*h + 3*h = 2*n - 5, -15 = 3*h + n. Which is smaller: -4 or h?
h
Let f be -3 + -1*1 + 0. Suppose -4*d + 32 = -16. Let y = d - 15. Is f less than or equal to y?
True
Let b = 4 - 7. Let u = 19 + -13. Let m = -9 + u. Is m at most b?
True
Let s = 1182 - 55552/47. Which is greater: 0 or s?
s
Let k be 1*(-2 + (-21)/(-9)). Let z = -9.9 + 11. Let b = z - 1. Is k equal to b?
False
Suppose 5*q - 4*y - 94 = -0*q, y + 62 = 3*q. Suppose -5*x = t - 31, 2*x - 2*t - q = -0*t. Is 7 at least x?
True
Suppose -4*w = -4 - 4. Suppose 3*k = -w*p + 2, -3*p + 37 = -4*k - 0*k. Is p greater than 6?
True
Let k = 5 + -14. Let n be 3/k - (-2)/(-12). Is 3 less than or equal to n?
False
Let k = -16 - -6. Let q(r) = -r**3 - 11*r**2 - 10*r. Let y be q(k). Is y greater than -5?
True
Let r(s) = -6*s + 4. Let t be r(3). Let c be (-1)/2*t/(-7). Do c and -1 have different values?
False
Let x(j) = 1. Let d(w) = -w**2 + 4*w - 1. Let z(l) = -d(l) - 3*x(l). Let i be z(4). Suppose -f = 4*f + 15. Which is smaller: f or i?
f
Let n(i) = -i**2 - 12*i + 7. Let a be n(-13). Is -2 equal to a?
False
Suppose 2*x = 5*k - k + 4, 5 = -5*k. Which is smaller: x or -2/13?
-2/13
Let j = -38 + 46. Which is greater: j or 11?
11
Let v be ((-58)/(-112) - 9/63)/6. Which is greater: v or 0?
v
Let o(i) = -70*i**2 - 4*i - 3. Let q be o(-1). Are q and -69 unequal?
False
Let p(z) = -z**2 + 9*z - 10. Let b be p(7). Does b = 4?
True
Let k = -2 - 10. Which is bigger: k or -13?
k
Let g = 1 + 3. Let q = g + -5. Let x = -2 + q. Are x and -0.1 non-equal?
True
Suppose 5*x - 58 = -18. Is 8 less than or equal to x?
True
Suppose -5*c - 16 = -6. Let z be 0/(1/2*c). Which is smaller: z or -4/7?
-4/7
Suppose 4*w + 0*w + 4 = 0. Suppose 0 = 4*y + 4 + 8. Which is greater: y or w?
w
Let i = 103/150 - 1/50. Which is bigger: i or 1?
1
Let w(i) = i**2 + 3*i + 1. Let o be w(-2). Let n be 6/(-21) - (-6)/21. Suppose l + 0*l = n. Which is bigger: l or o?
l
Let q = -25527 + 2680262/105. Let y = 1/35 + q. Let r = 0.2 + -0.2. Which is greater: y or r?
r
Suppose -2*q + 4*q = 2*v + 10, 0 = -4*q + 20. Suppose 5*x = -20, -2*l + 16 = -2*x - 0*x. Suppose 5*z + 10 = p + 3*z, -l*z = 16. Which is greater: v or p?
p
Let t = 1 - 4. Let n(g) = -2*g**2 + 7*g. Let v be n(4). Which is bigger: t or v?
t
Let o = 106/15 + -1438/195. Let h = 5 + -6. Which is smaller: h or o?
h
Let k = -0.21 + 10.21. Which is bigger: 0 or k?
k
Suppose 3*g - 4*x + 1 = 0, -g - 2*x + 5*x - 2 = 0. Let h be (3 + -1)*2/4. Let i be h - (-1)/8*-4. Is g bigger than i?
True
Suppose -5*x = -55 + 50. Let m be (-10)/(-13) + 1 + -2. Which is smaller: x or m?
m
Let f = -64 + 65. Which is bigger: 24/11 or f?
24/11
Let p be 8/3 - 2/3. Let d = 2 - p. Suppose d*x = 2*x. Is -2/3 less than or equal to x?
True
Let l = -477/4 + 119. Which is smaller: l or 1.3?
l
Suppose -8*b = -2*b + 24. Which is greater: -3 or b?
-3
Let s be (-2)/4*(-11 + 23). Is s smaller than -7?
False
Let t(s) = s**3 + s**2 + 2. Let z be t(0). Let u be z + -2 - (-2)/(-5). Suppose 3*c + 2*y = 4*c - 11, 0 = -5*c - y. Is c > u?
True
Suppose q - 10 + 4 = 0. Let v(j) = 4*j - 3 - j + q - 6*j. Let r be v(2). Does r = -2?
False
Let d = 0.13 + 0. Let o = d - 6.13. Let x = 0.4 - -0.6. Is o at least x?
False
Let p be (-4 - (2 - 4))*-1. Suppose -2*z + p = -0. Is 0 > z?
False
Suppose -q = q + 178. Let o = 1155/13 + q. Suppose 0 = 2*i + 3*s + 17, -4*s = -i + s + 24. Which is smaller: o or i?
i
Suppose o + 4*o = 10, -4*c = -5*o + 2. Let v(x) = -x**2 + 2*x**2 - 10 - 2*x**2 - 11*x. Let s be v(-10). Is s less than or equal to c?
True
Let k = 5 + -5.2. Let y be ((-1)/(-2))/((-6)/(-141)). Let d = -12 + y. Which is bigger: d or k?
k
Let z = -0.75 - 0.15. Let x = 0.9 + z. Let d = 2 + -2. Is x < d?
False
Let z = -17 + 16.3. Let a = z - -1.1. Let x = a + -0.5. Are -2/3 and x equal?
False
Let n = 4.59 - 0.69. Let t = n - -0.1. Let a = -9 + t. Which is smaller: 1 or a?
a
Let r be (-9 + 0)/((-9)/(-6)). Let t(j) = -5*j - 2. Let g(x) = -9*x - 3. Let n(i) = -6*g(i) + 11*t(i). Let s be n(r). Which is bigger: s or -2/5?
s
Suppose 0 = 5*y - 4*k - 3, -5*y - 6*k + 4*k = -21. Suppose y*x - 4 = 2. Let i be x + (-2 - (-15)/6). Which is smaller: 4 or i?
i
Let t = -26322/47 - -560. Which is greater: 1 or t?
1
Suppose -71 = 4*l + 5*y, y = 2*l - 0*y + 53. Let z = -4 - l. Suppose -2*t = -0*t - 2, 5*t - z = 3*d. Which is greater: -3 or d?
-3
Let l = 0.45 + 0.69. Let n = l - 7.97. Let b = -0.17 + n. Which is smaller: b or 0?
b
Suppose -x = -4 - 1. Suppose -2*l - 63 = -x*l. Let h be (12/l)/2 - 0. Is -1 < h?
True
Let m = -21 - -29. Suppose m*o + 4 = 4*o. Let t be 2/(-7) + 1/7. Is o >= t?
False
Let j be (-2)/7 - (-6)/70. Let k be -2*(4 - 5)/(-2). Which is greater: j or k?
j
Let q be -1*12 + 2/1. Let a be 5/4*(-2)/q. Let d = 6 + -8. Is d greater than or equal to a?
False
Suppose -6*g + 8 = 2. Let k = 73 + -364/5. Is k greater than g?
False
Let s = 0.7 + -0.68. Let l = -0.08 - s. Is 0 at least as big as l?
True
Let h be (-9)/5 + 2/10 + 1. Let s = -0.3 + 0.2. Is s greater than h?
True
Suppose 2*d + 2*r = 24, -4*r + 2 + 18 = 2*d. Which is bigger: d or 16?
16
Let x = -4 - -8. Suppose 2*u + 2*j - x = 0, u - 3*j = -7 - 7. Let s = -15 + 27/2. Which is smaller: u or s?
u
Let a be ((-17)/(-68))/((-3)/8). Which is greater: -0.04 or a?
-0.04
Let z be 128/(-196) + 14/21. Is z <= 1?
True
Let d = -22.99 + 23. Which is smaller: d or -4?
-4
Suppose -3*b = -2*b - 3. Suppose d + t + 8 = 3*t, -b*t = -3*d - 9. Let r be 1*0/(-2) - -2. Is d greater than or equal to r?
True
Let r = 32 + -31. Let k be (-2)/6 + 5/9. Is r greater than k?
True
Let q = -265/3 - -93. Which is greater: 6 or q?
6
Let x = 27 + -26. Is x >= 4/7?
True
Let m(t) = 4*t**2 - 20*t + 1. Let r be m(5). Which is greater: r or 19/11?
19/11
Let v be 20/(-15) - 1/3*-1. Which is greater: -3/20 or v?
-3/20
Let v be 4/(-10)*((-276)/291 + 1). Is v at most as big as -1?
False
Let v be (2/(-4))/(2/(-4)). Let h(z) = -z**3 + 6*z**2 + z - 4. Let b = 13 + -7. Let k be h(b). Which is greater: v or k?
k
Let c be 2/(3*2/18). Let l(m) = m - 2. Let u be l(c). Suppose -8 = u*p + 8. Is -5 not equal to p?
True
Let k be -3 - (0 + 2/(-1)). Let y be k/3 + 6/(-9). Is 0 >= y?
True
Let h(s) = -s - 5 - 4*s + 2*s - 9. Let c be h(-10). Suppose -c = 5*l - 2*j, 0 = 3*l 