-1
Let m be ((-20)/(-9))/4 - 1. Let h(g) = 2*g - 5. Let c be h(2). Are c and m unequal?
True
Let b = -5 + 3. Let v = 5 + b. Suppose -3*c = 4*o - 1, -2*o = -c - 0*c - v. Is -3/8 != c?
True
Let d = 3.11 - 0.11. Let p = 2.81 - -0.09. Let u = d - p. Are 1 and u non-equal?
True
Let g be (-14)/(-63) - 11/9. Which is bigger: g or -3/19?
-3/19
Let i be (-1855)/3525 + (-2)/(-10). Let d = 2099/47 + i. Let j = -44 + d. Which is bigger: j or 0.4?
0.4
Suppose 77 + 53 = -13*c. Suppose 0 = -z + 4*z + 33. Is z not equal to c?
True
Let l(f) = 8*f**3 - 2*f - 1. Let b be l(-1). Let x = b - -5. Is x at least as big as -2?
True
Suppose -i + 23 = 2*a + 2*i, 4*a - 11 = i. Suppose -z - 3*z + a = 0. Let c = 0.19 + -0.09. Which is smaller: c or z?
c
Let l(b) = -4*b - 24. Let p be l(-18). Is p bigger than 48?
False
Suppose -52 = 2*k + v, 5*k + 2*v = 6*v - 117. Is k less than -27?
False
Let t = -2.1 + 2. Let j = -203 + 206.02. Let v = 0.02 - j. Which is smaller: t or v?
v
Let k(a) = 7*a + 4*a**2 + 0*a**2 - 5 - 5*a**2. Let m be k(5). Suppose m*f = -1 - 4. Is f greater than -2?
True
Suppose 0 = 5*p + 8 - 3, j - 4*p - 2 = 0. Is j greater than -2?
False
Suppose -d + 4*s - 3*s = -3, -3*d = 3*s - 9. Suppose d*q = -h + 3, -4*q + 1 = q + 3*h. Is q at least as big as 0.6?
True
Let s be (4/42)/(8/(-6)). Is s at most as big as -1?
False
Let i = 307 - 2435/8. Is i at most as big as 0?
False
Suppose 2*d - 3*s + 2*s = 3, -3*s = -3*d + 9. Let p = -99 + 692/7. Which is smaller: d or p?
p
Suppose 0 = 2*n + 3*n. Is 3/4 bigger than n?
True
Suppose 0 = 4*r + 74 - 26. Let y(b) = b + 9. Let x be y(r). Which is bigger: x or -1?
-1
Let w be (-8)/36 - (-928)/(-36). Do w and -26 have the same value?
True
Let u = -1/70 - 27/70. Suppose 11 = 3*t + 26. Let b be (1/t)/((-8)/20). Does u = b?
False
Let n be (-3)/2 + 148/88. Let d(x) be the second derivative of x**4/6 + x**3/6 + x**2/2 - 2*x. Let y be d(-1). Which is greater: y or n?
y
Let q be (-7 - 23)/((-2)/2). Let g be ((-4)/q)/((-7)/(-35)). Which is smaller: g or 1/2?
g
Let b(c) = -c**2 - c. Let j = 11 + -11. Let t be b(j). Suppose 3*a - 2*u = 8*a, 0 = 3*a + 4*u. Is a equal to t?
True
Suppose 0 = -2*u + 2. Let y be 1/(-1)*(-1)/u. Let n be 3/2 - y/(-2). Is 2 bigger than n?
False
Suppose 2*t + 4*h + 6 = 0, 2*t - 3*t + 2*h - 7 = 0. Which is smaller: t or -1/3?
t
Let i(o) = o**2 - 5*o - 4. Let d be i(6). Suppose 3*p - 4*v = -4, 0 = 4*p - d*v + 4*v - 2. Let k = -3 - -4. Which is greater: k or p?
k
Let s(z) = z**3 - 10*z**2 - 3*z + 26. Let t be s(10). Suppose -1 = -4*x + 3*o - 14, 0 = 4*x + 5*o + 21. Is x not equal to t?
False
Suppose -5*f + 25 = -5*o, 5*f = -2*o + 3*o + 5. Suppose 4*u + 20 = f, 2*u + u + 17 = h. Is h less than 2?
False
Let t = -33 + 33. Let h = 0 + 0.1. Let p = h - 0. Are p and t equal?
False
Let o = -1 + 1. Let s = o - 0. Let l = 32.8 + -33. Which is smaller: s or l?
l
Suppose 0 = -0*p + p - 5*h - 10, 0 = -5*p - 4*h - 8. Which is smaller: -1/4 or p?
-1/4
Let g(r) = -r**3 - 6*r**2 + 2*r + 8. Let j be g(-6). Let q = 5 + -10. Does j = q?
False
Let d(t) = 6*t**2 - 1. Let p be d(1). Suppose -p + 4 = -j. Let n = -265/6 - -44. Does j = n?
False
Let n be 8/5 + (-4)/(-10). Let b be (2 - n)/((-10)/(-5)). Do b and -4/9 have different values?
True
Let t = 14 - 14.07. Let b be (22/(-66))/(2/3). Is b less than or equal to t?
True
Let h(z) = -z**3 + 7*z**2 + 9*z - 6. Let r be h(8). Suppose v - 18 = r*v. Let c be 1/(v/(-15) + -1). Which is smaller: 2 or c?
2
Suppose 18 = 6*n - n + 4*f, -f - 3 = 0. Suppose 3*v - n*v - 72 = 0. Let r be (-2)/7 + v/14. Which is smaller: 1 or r?
r
Let h = 7 - -1. Let q = -4 + h. Is 0.2 equal to q?
False
Suppose 2*u + 21 = 5*u. Let v = u - 6. Is v greater than -4/9?
True
Let s be 2/(-3) + 3/(-9). Suppose -2*m - 2*x + 2 = -x, -3*m = 4*x - 3. Let k be (-1 + s/(-1))/m. Which is greater: k or -0.2?
k
Let p(b) = -b**2 - 4*b + 1. Let l be p(-4). Let o = 1 + l. Suppose 2*a + o = 3*a. Is a not equal to 1?
True
Let w(r) = 9*r + 1. Let a be (2/3)/(4/(-6)). Let t be w(a). Are -9 and t equal?
False
Let j = -2 + 2. Let t = j + -1. Let o be (-3)/66*(t - 3). Is o less than or equal to 0?
False
Let g be 1/3 + 15/9. Suppose 2*s = -0*s + 2. Is g greater than or equal to s?
True
Let f = 41360821/195930 - -1/97965. Let g = 449/2 - f. Let k = g - 13. Is k != -2/3?
True
Let l = 66 + 6. Suppose 3*a = a + 3*u + 69, 2*a - 4*u - l = 0. Let s be 1*a/(-21) - -1. Which is smaller: 0 or s?
s
Let g(j) = -j. Let n(l) = 5*l - 2. Let x(b) = -6*g(b) - n(b). Let q be x(-2). Are -2 and q unequal?
True
Let s be (-1 + -1)*(2 - 3). Let h be (2 + -1)/(s/4). Let k = 9 - h. Is k at least as big as 6?
True
Let d = -2 - -2. Let n be 1/((-4)/(-61 + 1)). Let c = -15 + n. Does c = d?
True
Let s = 38 + -21. Is s <= 18?
True
Let z be 4 + (-30)/9 + 6. Which is smaller: z or 8?
z
Let a = -1.1 + 2.1. Suppose 5*j = 6*t - 5*t - 6, 0 = -3*j + 5*t + 14. Which is smaller: a or j?
j
Let k = 0.12 + -0.02. Do k and 1/11 have different values?
True
Let w = 0.22 - 0.06. Which is smaller: 0.2 or w?
w
Suppose 0 = -3*n + 4 + 2. Suppose l = n*l. Let b = 1 - l. Is 1 bigger than b?
False
Let x(m) = 12*m**2. Let f be x(1). Let z(v) = v**2 + 1. Let b be z(-1). Suppose 3*i = b*i - 5*h + f, -2*h + 10 = 3*i. Which is bigger: -2 or i?
i
Suppose -5*a + 0 = 5. Let u = 3 + -2. Suppose 4*q = -u - 7. Does q = a?
False
Let g = 2.5 + -2. Let i = -0.6 + 0.3. Let h = g + i. Which is bigger: 3/4 or h?
3/4
Let c = 17447/11840 + -95/64. Do c and 1 have the same value?
False
Let h be 1*2*3/(-2). Let a be (4 + (-3)/h)/1. Suppose 4*l - a*w = -23, l + 3*l = w - 11. Is -1 <= l?
False
Let f = 0.85 + -0.75. Which is bigger: 0.048 or f?
f
Let i(y) = -2*y**3 - 10*y**2 - y - 4. Let w be i(-5). Which is smaller: w or -4/35?
-4/35
Suppose -g = 2*i + 10, g - i - 15 = 4*g. Let z(d) be the first derivative of d**4/4 - 2*d**3 - d**2 + 8*d + 1. Let y be z(6). Is g bigger than y?
False
Let j = 32 + -19. Suppose 3*d - 182 = 2*z, j = 2*d - 3*z - 105. Let f be d/(-20) + -1 + 4. Which is greater: f or 2/3?
2/3
Let k = 63 + -64. Which is smaller: -4/13 or k?
k
Suppose 7*v + 52 = 3*v. Which is smaller: -14 or v?
-14
Let o be 153/(-102) - -1*86/28. Are 1 and o nonequal?
True
Let m be (2 + (-16)/9)/((-16)/64). Is m < 0?
True
Let g(r) = -r**3 - 6*r**2 - 5*r - 2. Let f be g(-5). Let i(o) = o**2 - 3*o - 7. Let y be i(5). Let w = y + f. Is 1 greater than or equal to w?
True
Let h = -1/18 + 41/9. Is -0.1 bigger than h?
False
Suppose 0*l - 40 = 5*l. Let v = l - -5. Is v smaller than -2?
True
Let m be (5/650*-1)/(4/(-12)). Which is smaller: m or 1?
m
Suppose -2*k - 3 - 3 = 0, -10 = -2*t + 2*k. Suppose -5*j - 13 = 4*r, 3*r + t = j - 3. Let p = 7/6 + j. Is p less than -1?
False
Let u be -3 + 1 + 1 - -1. Let y be (2 + u + -1)*1. Let l be 1/3 + y/2. Is 1 less than l?
False
Let m be (1/1)/(1/(-9)). Let v = m + 2. Is v greater than -7?
False
Suppose 0 = 5*w - 3*z - 5 + 25, -5*w = -z + 20. Suppose 3 = -3*n + 2*n. Is w greater than n?
False
Let x(a) = a**2 + 9*a + 6. Suppose 4*u - 52 = -2*j + 2*u, -5*j + 140 = -5*u. Suppose d = -2*d - j. Let t be x(d). Which is greater: t or 7?
7
Let x be 8*(4 - (-1 + 4)). Let z be 2/x - 125/20. Let a be ((-1)/7)/(z/12). Is 0.4 <= a?
False
Let l = -10 + 1. Let x be 9/2*(-6)/3. Is l < x?
False
Suppose -3*p + 8 = -p + 5*j, 0 = 4*p + 5*j - 6. Let x(n) = n + 20. Let c be x(-13). Is p less than c?
True
Let b = -175 + 535/3. Which is greater: b or 4?
4
Let a(z) = -2*z - 1. Let l be a(-1). Suppose 4*u = -4*r + 24, -u - r = -3*u. Let s be (-2 - 22/(-12))*u. Which is greater: s or l?
l
Let t be 304/((-15)/(-9) + -1). Let n be (-1)/(-5) + t/345. Let u = n - 1/46. Which is smaller: u or 1?
1
Let s = 148/3 + -50. Let g = 5.5 + -3. Let a = g - 0.5. Which is smaller: s or a?
s
Suppose -5*g - 8 = -g. Suppose 2*v = p - 20, 2*p - 51 = -p - 3*v. Let l be g/(-8) - p/8. Which is bigger: l or 0?
0
Let g = 8723/497 - 242/71. Let h = g - 14. Which is smaller: -1 or h?
-1
Suppose -v + 17 = 4*b, -9 = -2*b + 3*v - 4. Suppose -16*l + 15*l = -3. Which is greater: l or b?
b
Suppose g = -9 - 16. Let o = g + 21. Suppose 4*n + 8 = -4. Which is greater: n or o?
n
Let g = 1.2 + 1.8. Let k = 34.9 + -32. Let n = k - g. Is -1 smaller than n?
True
Suppose 5*o - 3*n - 233 = 0, -5*o + 229 = 2*n - n. Let r be 2*(3 - (-77)/4). Let u = r - o. Which is s