Let g be 14/4 - (-2)/a. Are 5 and g nonequal?
True
Suppose -2*n = -n. Let m = 1 + n. Let v = -1/371 - 367/1484. Which is smaller: v or m?
v
Let d(l) = 3 + 2*l + 0*l - 4*l. Let g be d(2). Let w = -187/7 + 27. Which is smaller: w or g?
g
Let g = -44/9 + 85/18. Let v be 1*(1 + (2 - 2)). Which is bigger: v or g?
v
Let k = 0.1 - 0.3. Let c = 22 - 21.9. Which is bigger: k or c?
c
Let y = 65/3 + -328/15. Let i = 9 - 4. Let z be (8 - i) + (-16)/6. Which is smaller: y or z?
y
Suppose -i - 2*r - 5 = 0, 3*i - 8*i = -2*r - 11. Let t be (i*3)/((-3)/2). Let b(x) = x**2 - 4*x - 2. Let p be b(4). Are t and p non-equal?
False
Suppose -7*f - 115 = -2*f. Which is bigger: f or -22?
-22
Suppose p + 11 = 2*n - n, -n - 5*p = 1. Is n <= 37/4?
True
Suppose -4*v - 41 = -1. Which is bigger: -5 or v?
-5
Let y = 4 + -4.8. Let c = y + -1.2. Which is bigger: -10 or c?
c
Let t = -55 - -53.5. Is t less than or equal to 1/3?
True
Suppose 0 = 4*q + q. Suppose 0 = -4*v - q*v + 8. Do 10/3 and v have the same value?
False
Suppose 0*o + t - 8 = -3*o, -5*t - 2 = o. Does o = 5?
False
Let c = 95/42 + -1738/21. Let h = c + 79. Is h < -1?
True
Let l = 2 + 0. Suppose 116 - 22 = l*t. Let i = t - 515/11. Is 0 >= i?
False
Let d = 168.63 - 178.6. Let c = -10 - d. Which is bigger: 1 or c?
1
Let s = 32.13 + -32. Let v = -0.03 + s. Which is greater: 3 or v?
3
Let c = 0.8 - 0.73. Let r = c - 1.07. Suppose -2*x - 19 = y + 2*y, -5*x = -3*y - 5. Which is smaller: r or x?
x
Let c(m) = m - 5. Suppose 5*j - 5 = 20. Let b be c(j). Is b greater than or equal to 0?
True
Let k = -21 - -18. Let j(q) = -q**2 - q. Let a be j(-2). Which is greater: a or k?
a
Let p be (-2 - 1) + 4642/(-77). Let f = p + 63. Let a = -1/19 + 23/76. Is a smaller than f?
False
Let y = -120 - 3. Let n = -1601/13 - y. Is 0 >= n?
True
Suppose -7*w - 6 = -13*w. Is w less than -3/2?
False
Let u = 5 + -3. Let o = 1 - u. Let d = 0 + o. Is d != 0.3?
True
Let x = 7 + -9. Let h = -597/5 - -6537/55. Is x != h?
True
Let n(m) = m**2 + 11*m - 7. Let i be n(-6). Let f = i - -261/7. Is -2 greater than or equal to f?
False
Let c = -200 + 7601/38. Do -1 and c have the same value?
False
Suppose 8 = 4*n + 5*a, 2*n + 0*n = 2*a + 4. Let x be n/10 + (-9)/(-105). Let z = 0 - -0.1. Which is smaller: z or x?
z
Let v be 2 + 0 + 16/(-7). Which is smaller: 3 or v?
v
Let d(t) = t**3 + 3*t**2 + 3*t - 3. Let y(j) = -j**2 + j - 1. Let w(h) = -d(h) + 3*y(h). Let x be w(-6). Are -6/5 and x unequal?
True
Suppose -5*d = -5*a + 25, 3*a - 2*a - 20 = -4*d. Suppose q - a = -2. Let n be 3/q + 30/(-68). Which is bigger: -1 or n?
n
Let w be (-30)/(-50) + (-32)/(-5). Which is smaller: 8 or w?
w
Let s = -26 + 18. Is s at least -4?
False
Let q = -1 + 1. Let p = 12 + -3. Let o be ((-3)/(-10))/(p/12). Which is bigger: o or q?
o
Let o be 2 + 1/(4/(-7)). Let j = -6.2 - -6. Which is bigger: o or j?
o
Suppose 0 = -7*j + 3*j - q - 1, 0 = 2*j + 5*q + 5. Let p be 43*(-1)/(14/34). Let v = p - -105. Do v and j have different values?
True
Let w = -23 + 27. Suppose 0*d - 4*d - w = 0. Let q be (0 + -1 + 1)/(-2). Which is bigger: q or d?
q
Let j(d) = -d**2 - 2. Let z be j(6). Is z at most as big as -38?
True
Let x be (6/180*-2)/((-3)/(-6)). Let b = -1 + 1. Which is smaller: b or x?
x
Let i be 0*1/(-5) + -4. Is i at least as big as -4?
True
Let y(f) = f**2 + f - 2. Let t be y(2). Let x be 14/(t*(-3)/(-6)). Suppose -2*d + 2*u - 4 = 0, -3*d + 5*u - 10 = -x*d. Is d < -2?
False
Suppose c = 6*c - 10. Suppose -6*y + y = b - 13, b + 8 = c*y. Let t be (b/4)/((-11)/4). Which is smaller: 0 or t?
0
Suppose -5*y + 8 = 3*g - 7*g, 0 = -4*g - y - 8. Let t = -0.9 + 0.9. Which is bigger: t or g?
t
Let i = -57.6 - -53. Let c = i - -5. Let d = 0.3 - c. Which is smaller: -2/11 or d?
-2/11
Let n = 0.83 - -0.17. Which is greater: 0.14 or n?
n
Let v be (-24)/(-2)*2/3. Let q = 9 - v. Is q > 1?
False
Let i(t) be the third derivative of -t**6/120 - 7*t**5/60 + t**4/24 + 7*t**3/6 + 2*t**2. Let a be i(-7). Which is smaller: a or -4/3?
-4/3
Let z = 2 - 4. Is z <= -8?
False
Let u be (-26)/143 - (-1458)/(-88). Are -17 and u equal?
False
Let t = 1.3 + -0.3. Is -9 at most t?
True
Let m = -2.8 + 2.8. Is m greater than or equal to -69?
True
Let c = -10/19 + 68/57. Which is greater: c or 19?
19
Let h = -19 - -37/2. Which is bigger: h or -2/21?
-2/21
Let q = 3 + -1. Let o be (-28)/(-35)*(-35)/q. Let v be 24/(-35) - 4/o. Are 1/3 and v equal?
False
Let a = 283337/15 - 18897. Let f = a + 20/3. Let j(i) = -i**3 + 4*i**2 + 6*i - 5. Let y be j(5). Is f at least y?
False
Let z = -42 + 135. Which is bigger: -0.1 or z?
z
Let d be 4 - 22/8 - 1. Are d and -10 equal?
False
Suppose 0 = 5*b - 10, -4*b + 21 = 5*r - b. Suppose 4*a - 4*n = 32, -3*a + 8 = a + 4*n. Suppose 0*l + 5*i = -5*l + 10, a = -5*i. Is r not equal to l?
False
Let b(h) = 4*h**2 + 2*h - 1. Let s be b(1). Suppose -s*j - p + 32 = -j, 3*p = 12. Is 6 less than j?
True
Suppose -3*i - 2*y = 18 - 6, 0 = i + 2*y + 8. Which is bigger: i or 0.2?
0.2
Let x = 2.1 + -0.1. Does x = 0.3?
False
Let x(l) = 5*l**2 - 2*l - 1. Let a be x(-1). Let z = a - 6. Is 2/15 bigger than z?
True
Suppose -3*a + 8 = a. Do 4/3 and a have the same value?
False
Suppose 5*s - 4*m = -53, 7*s = 4*s - 3*m - 21. Let k be 4/(6/(-45)*3). Is s not equal to k?
True
Let b be 84/(-24) + (-3)/(-1). Which is smaller: -2/9 or b?
b
Suppose -b + 2*o - 5 = -4, -4*b = 4*o + 4. Let s be (1/(-33))/(b/3). Suppose -v + 5 = 2*l, 2*l = -l - 2*v + 9. Which is bigger: s or l?
l
Let r = -47 + 45. Is r smaller than 65?
True
Let k be -7*1 + 2/2. Suppose 27*l - 40 = 35*l. Is k < l?
True
Let j = 0.07 - 0.21. Let t = 0.14 + j. Is 0 equal to t?
True
Suppose 22 = 4*g - z, g - 16 = -3*g - 2*z. Suppose x + 3*x = g*s, 0 = -4*s - 3*x. Let f be 4 + (-114)/28 - 9/21. Which is bigger: s or f?
s
Let s be ((-4)/(-18)*3)/((-16)/624). Is s != -25?
True
Let r be (-350)/75*-3*(-1)/(-20). Which is bigger: 2 or r?
2
Let i be (4/(-6) - -1)/1 - -7. Which is smaller: 7 or i?
7
Let k = 405198/41 + -9882. Let x = -530/697 + k. Is x not equal to 1?
True
Let f be (6/184)/(6/(-48)). Which is greater: 0 or f?
0
Let m = -10 - -10.09. Let z = m - -0.01. Let t = -2 + 2.1. Are z and t nonequal?
False
Suppose 0 = 8*m - 3*m - 5. Suppose -4*k - m - 3 = 0. Let s be (-34)/6 + k/3. Is s at most -6?
True
Let v = -77/6 + 1321/102. Let d be (3 - (1 + 1)) + -3 + 3. Is v at least as big as d?
False
Suppose -3*w + 130 = 2*w. Suppose 0 = 5*p - w + 76. Is -10 < p?
False
Let z = 6 - 4. Let j = -6 - -6.1. Which is greater: z or j?
z
Let h = -2 + 1. Let o be -2*15/(-12)*6. Let m be 2/6 - 65/o. Is m greater than h?
False
Let c(k) = k**2 - 6*k - 1. Suppose -2*u - 13 = -u - 5*x, -5*u = 5*x - 25. Suppose -3*w = -5*b - 23, -u*w - 2*b + 10 = -0*b. Let h be c(w). Is h != -3?
True
Let g = 2 + -1. Suppose -z - 8 = -6*y + 4*y, 4*y = -5*z + 16. Which is smaller: z or g?
z
Let m = -1.1 + -12.9. Let a = m - -13. Let t = 0.9 - -0.1. Which is bigger: t or a?
t
Let w(s) = -s + 10. Let f be w(7). Let b(y) = 7*y - 1 + f - 3 - y**2. Let n be b(7). Is -1/6 smaller than n?
False
Let a = 60 - 62. Suppose -5*r + 0*o = -5*o + 5, 3 = -3*o. Is r >= a?
True
Suppose -10 - 3 = j. Which is greater: -14 or j?
j
Let u be -4*(6/54)/(12/(-531)). Which is greater: u or 20?
20
Suppose -4*o = 5*f - 86, 4*f + 0*o - o - 73 = 0. Is f != 17?
True
Let g be 1/(-3)*(-6)/(-14). Let i(n) = -9*n - 64. Let p be i(-7). Do g and p have the same value?
False
Suppose 2*m + 6*h - 8 = h, 0 = h. Suppose -3*x - 2*c = 3*c + 2, 2*c + m = 2*x. Are x and 2 equal?
False
Suppose -5*z + 11*z = 12. Which is smaller: -0.02 or z?
-0.02
Suppose -3*o + 42 = f, 4*f - 3*o - o - 104 = 0. Suppose -r - f = -6*r. Suppose r*i = 2*i + 4. Is i at most as big as 1/4?
False
Suppose 3*l = 4*z - 61, 3*z = 2*l - l + 42. Suppose -z + 5 = p. Let w = -20 + 12. Do w and p have different values?
False
Let v(c) = -c**3 - 7*c**2 + c + 8. Let n be v(-7). Which is bigger: n or 2?
2
Let z(y) = 5*y**2 - 9*y + 2. Let s(g) = 3*g**2 - 5*g + 1. Let i(c) = 7*s(c) - 4*z(c). Let u be i(1). Which is smaller: 1/19 or u?
1/19
Suppose -z - 9 = 3*q, -4*q + 5*z = 4*z + 5. Is -2 greater than q?
False
Suppose 0 = -b + 4*b. Are b and 4/7 nonequal?
True
Suppose -m - 4 - 5 = 5*g, -2*m = -5*g - 12. Suppose -d = -2*d. Suppose -5*f = -d*s + 3*s + 25, -2*f - 29 = 5*s. Is f at least g?
True
Let m = 