 - x. Are 1 and y nonequal?
True
Let q(r) = -11*r. Let f(v) = -5*v. Let s(b) = -13*f(b) + 6*q(b). Let t be s(-1). Let u be ((16/10)/4)/t. Is 0.1 less than u?
True
Let z = -3748603 + 614773663/164. Let f = -35/41 - z. Let a = 18 + f. Are -1 and a non-equal?
True
Let g(b) = -b**2 - b - 1. Let p(t) = t**2 - 4*t - 6. Let f be p(5). Let u be g(f). Which is greater: -1/4 or u?
-1/4
Let q = -97 - -55. Is q bigger than -41?
False
Suppose 0*g - g = -2. Let u(k) = 0 - g - 4*k + 3*k + 3. Let t be u(0). Is t smaller than 1?
False
Let f(b) = b**2 + 8*b + 10. Let o be f(-7). Let j be (2/(-3))/(o/(-45)). Which is greater: j or 9?
j
Let t = -124 - -98. Which is smaller: -28 or t?
-28
Suppose 3*a = -2*a. Suppose -4*d - d = a. Let u be (-6 - -1)*(-2)/(-35). Is u at least d?
False
Let v be ((-1)/3)/(3/9). Suppose i + 6 = -2*t, 5*i - 3 = -t - 6. Which is smaller: v or i?
v
Let n be 4 - 15*(-10)/(-42). Are 0 and n equal?
False
Suppose -2*g - 2*l - 13 = 3*g, -g - 17 = 4*l. Do g and -1/32 have the same value?
False
Suppose t - 2 = -t. Let h = 5 - t. Suppose -v + 2*y = -11, -v + 3*y = v - 19. Is v <= h?
False
Let w = -2 + 2. Which is bigger: w or -2?
w
Let j = -7 + 5. Which is smaller: -0.1 or j?
j
Let d(t) = -t - 4. Let b be d(5). Let i(g) = -3*g - 2. Let h be i(b). Let n = h - 76/3. Is 1 at least n?
True
Let p = 40966/77 - 532. Let w = -29624404/164833669 + -16/164669. Let i = w + p. Is -1 less than i?
True
Let t = -11 + 13. Suppose 5*b - t*b + 4*s = -4, 5*b = 5*s + 40. Do -1/4 and b have different values?
True
Let j be 1 + 1 + (-3)/9. Suppose -3*z = 7 - 10. Which is smaller: z or j?
z
Suppose x + x - 2 = 0. Suppose 2*g + 2 = 2*k, -5*g + 0*g - 2*k + 16 = 0. Let i be 0*(0 - g/4). Which is greater: x or i?
x
Suppose 1 - 4 = f, -2*a - 85 = 3*f. Which is smaller: -37 or a?
a
Suppose 0 = -3*q + 6*q - 72. Suppose q = c - 5*c. Let o be (-1)/c - (1 + -1). Which is greater: 1 or o?
1
Let z(r) = r - 3. Let g be z(4). Let u be (-12)/8 - g/2. Let m be u/9 - (-17)/36. Is m not equal to 1?
True
Let j(r) = -r + 4. Let m be j(0). Suppose v - 4*y + 12 + 1 = 0, 0 = -2*v + m*y - 14. Is v not equal to -2/13?
True
Let c = 0.53 + -0.51. Which is bigger: c or -2?
c
Let u be 9/6*(-6)/(-9) + -3. Is u > -1/2?
False
Let h(d) = -1 - 6 + d - 6. Let y be h(13). Are 2 and y nonequal?
True
Let g = -44 + 48.4. Let f = g - 5. Let m = f + 0.4. Is 1 <= m?
False
Let t be 3/6 - (-3)/(-2). Let u = -15 - -15. Do u and t have the same value?
False
Let r be (-16)/(-10) + (-3)/5. Let q be r*1*-4 + 1. Which is greater: -7/2 or q?
q
Let k = -11/17 - 35/51. Let a be ((-14)/35)/(1/5). Which is greater: k or a?
k
Let a = -3 - -3. Suppose -4*h + 0*h = a. Which is greater: h or -1/3?
h
Suppose -2*l + 4 = 4*r, 2*r - 2*l - 2 = -l. Let c = -94 + 844/9. Which is greater: c or r?
r
Let p = -16 - -273/17. Which is bigger: 0 or p?
p
Let v be (2/4)/(1/(-2)). Let c = 7.7 + -8. Let r = c - -0.1. Which is smaller: v or r?
v
Let o be -4*(-25)/10 + -3. Is o < 9?
True
Suppose 0 = -2*u + 10. Let l be 2/u + (-6)/15. Let n be (-6)/(1*(5 - l)). Which is greater: 0 or n?
0
Suppose 2*p - 37 + 9 = -3*g, 4*g - 3*p - 43 = 0. Suppose 22 = 2*c + 2*i + 8, 5*c + g = 4*i. Let l = 1 - c. Are l and 1/5 non-equal?
True
Let c be (-1)/6 - (-98)/420. Is c <= 0?
False
Suppose -6 + 0 = 2*w - 3*c, 0 = 2*c - 4. Let k be (1 + w)/3*3. Is k at most 0?
False
Let z be -1 + 3 - (-1600)/60. Which is smaller: 28 or z?
28
Let q(c) = c. Let y be q(1). Let h be 1/1 + (-1)/y. Let s = h - 0. Which is bigger: -4/7 or s?
s
Let n = -6.4 - -9.4. Is -0.3 bigger than n?
False
Let d = -1/298 + 161/3576. Which is greater: d or 2?
2
Let g(d) = d**3 + 6*d**2 + 7*d + 6. Let a be g(-5). Let f = 33 + -60. Let w = 23 + f. Does a = w?
True
Let o be ((-182)/(-175))/((-81)/10). Let p = 2/405 - o. Is -1 not equal to p?
True
Let d = 539 + -1631/3. Which is bigger: d or -4?
-4
Suppose -m + 2*m = -r + 1, -3*m = r - 3. Is m equal to 10/7?
False
Let j = -10.1 + 0.1. Let r = -1.6 + 8.6. Let h = r + j. Which is smaller: 2/3 or h?
h
Let n = 15 + -11. Let y = -26 + 16. Let g = y - -9. Which is greater: n or g?
n
Let d be (-8)/(-20) - 4/35. Which is bigger: d or 1?
1
Let c = 44.1 + -44. Is c bigger than -33?
True
Let g = -12/3385 - -149408/132015. Let r be 82/(-65) - (-20)/25. Let y = g + r. Which is smaller: 0 or y?
0
Let g(l) = -l**3 + 7*l**2 - 5*l - 4. Let q(y) = y**3 - 8*y**2 + 5*y + 5. Let o(a) = 3*g(a) + 2*q(a). Let b be o(4). Is -6 smaller than b?
False
Let v = -10.1 + 10. Let r = -15 - -27. Let i = 3 - r. Which is smaller: i or v?
i
Let q be 5 - (3 + (-64)/(-50)). Does q = 1?
False
Let m be 3 - -4 - 4/2. Suppose -5*k + 0*v - 3*v = -2, 0 = k + m*v + 4. Suppose 5*y - k - 4 = 5*z, 4*z - y = -4. Is z >= -2?
True
Let l be ((-28)/3)/(6/(-9)). Let z = -13 + l. Is z at least as big as -2/13?
True
Let j = 1.2 + -2.1. Let u = -1 - j. Which is greater: 2/15 or u?
2/15
Let m be (6/4)/3*-12. Let a(d) = -d**3 - 6*d**2 + d + 7. Let j be a(m). Are j and 1/2 equal?
False
Let v be 0 + -10*4/(-66). Let s = v + -3/11. Let m = 5 - 4. Are m and s nonequal?
True
Suppose 4*r + 5 = -0*r + k, -3*r + 4*k - 20 = 0. Which is smaller: r or 1/15?
r
Suppose -2*z - 12 = 2*x + x, 4*z = -3*x - 18. Let m = 5 - x. Are m and 7 non-equal?
False
Let p be (-2)/4*2 + 6. Suppose -2*d = -p*d + 9. Let v(n) = n**2 - 9*n + 10. Let z be v(8). Which is smaller: d or z?
z
Let k = -16 + 20. Suppose -q + k*q - 39 = 0. Is q <= 1?
False
Suppose -o + 4*o + 20 = -4*d, 3*o + 12 = -3*d. Is d less than -8?
False
Let r(o) = -o - 5. Let h be r(-4). Which is smaller: h or 0?
h
Let w(j) = -j**3 + 16*j**2 + 18*j - 10. Let h be w(17). Is h greater than 5?
True
Let j = -11.134 - -0.184. Let q = j + 11. Are q and 2 non-equal?
True
Let c be 2/75*10 + 2/6. Suppose -7 = -2*k + 1. Let g(t) = -t**2 + 5*t - 2. Let y be g(k). Which is smaller: c or y?
c
Let g be (3 + (-3 - 0))/(-2). Let j be 2/8 - (-10)/(-8). Let z be (0/(0 - 2))/j. Is z smaller than g?
False
Let u(k) = 3*k - 7. Let j be u(5). Suppose 0 = 4*r + 3*f - j, -8*f = -3*f - 20. Is r > -1?
False
Let z be 3/(-2 - (-4 - -1)). Suppose 2*c - 8 = -v + 5, 5*v + z*c - 30 = 0. Suppose 0 = v*h + 5*f + 6, h - 12 = 2*h + 5*f. Which is greater: 2/5 or h?
h
Suppose -7*s - 5*t = -2*s - 55, 5*s - 5*t = 25. Suppose m = -m - s. Let o be 2/m - 46/(-44). Is 2 at least o?
True
Let n(b) be the third derivative of b**4/24 - 5*b**3/6 + 3*b**2. Let p be n(5). Let l = -6 + 5. Which is bigger: l or p?
p
Let u be -4*-1*3/6. Are 10/11 and u equal?
False
Let m = -8 - -9. Which is bigger: m or 3?
3
Let s = -0.03 - -0.33. Let a = s - 0.3. Let x = 2.7 - 3. Is x less than a?
True
Let d be (-5 + 2 - 0) + 3. Let o be 81/(-357) + (-2)/(-7). Is o smaller than d?
False
Suppose -2*b - 10 = 3*q, 2*b = -2*q - 3*q - 10. Do -4 and b have the same value?
False
Let c = -16 - -21. Let o = 0.1 + -0.1. Is c at most o?
False
Let p = -62 - -23. Does p = -40?
False
Suppose 5*u - 3*m = 43, -5*u + 4*m + 0*m = -39. Suppose -2*b + 5*s - 4*s = u, 3*s = -b + 5. Which is greater: b or -3?
-3
Let v = -2 + 3. Suppose 0 = r - 5 + v. Suppose -4*t + 5*u + 1 = 0, -r*t + u - 2 = -u. Which is smaller: -3/2 or t?
-3/2
Suppose -3*a - 3*i - 18 = 0, a + 3*i = -0*a - 16. Is a at least as big as 0.7?
False
Let w = 5 - 3. Suppose -2*m - w = 0, 3*k + k + 13 = -m. Does k = -2?
False
Let a = -63 - -46. Are -14 and a nonequal?
True
Let r be -3 + 4 - (24 - -1). Let u be 2/6 - r/9. Let q = 4/9 + -7/9. Is u < q?
False
Let k(y) = y**2 - 7*y + 8. Let w be k(5). Is -2 equal to w?
True
Let t be 3/(-78)*134 + 1. Let a = t - -4. Is a less than or equal to 0.1?
True
Let u = -3.54 + 0.46. Let c = u + 0.08. Let k = c + 3.2. Is k bigger than -0.3?
True
Suppose 3*u - 4*u = 0. Is u < -3?
False
Let k = -1 + 1.1. Let v = k - 0. Which is smaller: 2/5 or v?
v
Let p(d) = -d**2 - 14*d - 12. Let s be p(-13). Is s smaller than 3?
True
Let g be (-2)/(1*2/3). Let c be (g/4)/(2/8). Suppose -d + 2*u = 8, -14 = 4*d - 3*d - 4*u. Is d < c?
False
Let b(g) = -g - 6. Let s be b(-6). Let c = s + -3. Let t be (-1)/c*2/3. Which is bigger: 0 or t?
t
Suppose -12 = -4*q - 5*z, 5*z = 2*q + 21 + 3. Suppose d = 2*d - 3. Suppose -3*i + 14 = -d*t - 2*t, 14 = -3*i - 2*t. Is i != q?
False
Suppose 5*r - 11 = 14. Suppose p - 2*p + 4 = 0. Which is smaller: p or r?
p
Suppose 3*f = -3*i + 12, f = -3*i - i + 10. Let m 