14)/(-35). Let o = m - 19/93. Is o != -0.2?
True
Suppose 25 = -5*c + 5*f - 25, 5*f - 1 = -2*c. Which is smaller: c or -11?
-11
Let g = 36 + -41. Is -6/5 less than g?
False
Suppose -4*u + 20 + 0 = 0. Suppose -2 + u = c. Which is smaller: 4 or c?
c
Suppose 4*g - 5*j + 18 = -6, -2*g = -3*j + 14. Is g != 2/33?
True
Suppose -r + 7 = -5*f, 2*r = -2*f - 4 - 6. Suppose -3 = -2*g + 3. Suppose p - 10 = -5*x + 3, 4*x = -g*p + 6. Is f at least as big as p?
True
Let u be -3 + -9 + -3 + 5. Let i = u + 10. Let r = -447/95 + 23/5. Do r and i have the same value?
False
Let j be (-22)/(-5) - (-6)/(-15). Suppose 0 = 3*d - v - j, 0 = 3*d + 2*v + 1 - 11. Let b = d - 2. Which is smaller: -1 or b?
-1
Suppose 0 = -4*v + 3*x - 215, 0 = 3*v + 3*x - 0*x + 135. Let y be v/(-12) + (-1)/6. Is y > 2?
True
Let s = 96 - 88. Is 9 at least as big as s?
True
Suppose 4*n + 3*b - 69 = 4, -3*n + b = -71. Do 22 and n have the same value?
True
Let h = -2 - -1. Let l = 6 + -18. Let p be 3/(-105) + l/(-28). Is h at most as big as p?
True
Let i(z) = 20*z - 5. Let o be i(-5). Which is greater: -104 or o?
-104
Let a = 4 - 0. Let m = 0.033 + -0.033. Is a equal to m?
False
Suppose 4*u = -13 - 251. Let d be 276/u - 4/(-22). Which is smaller: d or -3?
d
Suppose 3*q - 3*g - 2*g = 0, -2*q = -5*g. Suppose q = 3*w - 0 + 3. Is w at least as big as -1?
True
Suppose 5*g + 0*o = 3*o + 15, -3*g - o + 9 = 0. Suppose -k + g = 3*k + l, -5*l + 15 = 0. Which is smaller: k or -1?
-1
Let t(f) = f**2 + 10*f + 22. Let a be t(-5). Suppose s - 28 = 5*s - 4*p, p = 2*s + 10. Are a and s non-equal?
False
Let i = -4 + 5. Let c be i - 2 - (-33)/39. Is c smaller than 0?
True
Let s = 1.6 + -1.5. Which is bigger: -5 or s?
s
Suppose 4*q - 4*y = 16, 9*y - 5 = 4*y. Let l = q + -3. Is l at least as big as 5/4?
True
Suppose -2*o = -7*o + 5. Let i = -6.08 + 6. Let l = 0.92 - i. Are o and l non-equal?
False
Suppose 7*n = 2*n + 15. Suppose -1 + 7 = n*z. Let c = 84 - 86. Which is greater: c or z?
z
Let t(j) = j + 2. Let w be t(-2). Is -1/36 greater than w?
False
Let b(h) = 3*h**3 - h**2 - h + 1. Let x be b(1). Suppose 2*r - 3*q = 12, 6*r - x*r - 3*q = 12. Which is greater: r or 1/6?
1/6
Let x(b) be the first derivative of -b**4/4 - b**3/3 + 3*b**2/2 + 2*b - 3. Let t be x(-2). Which is bigger: -3/4 or t?
t
Suppose -402 = 4*c + 3*m, 2*c - 2*m = -247 + 53. Let l = -6002 + 41322/7. Let o = c - l. Which is bigger: -1 or o?
o
Let k = -203 + 1424/7. Let y = k - 2/21. Is -1/4 less than y?
True
Let r be (6/4)/(45/60). Let w be 12/(-4) - r/1. Which is smaller: w or -7?
-7
Let v be (16/(-160))/(8/(-10)). Suppose 5*o + 3 = -12. Let r = o + 2. Which is bigger: r or v?
v
Let x(t) = t**3 - 6*t**2 + 5*t + 1. Let z be x(5). Let j = 1271/9 + -141. Is z at most j?
False
Suppose 12 + 8 = -5*n, 16 = k - 3*n. Suppose 5*b + 5*z - 40 = 0, -k*b - 40 = -9*b + 5*z. Is b at least 13/2?
True
Let o = -15 + 11. Let j = -5 - o. Let i = 0.03 - -0.05. Which is smaller: j or i?
j
Suppose -5*q = 2*w - 20, 4*q - 3*w - 2 = 37. Let d be q + (-3)/(-6)*-2. Suppose -d*v - 8 = -3. Do -0.1 and v have the same value?
False
Let z be 2/((-7)/((-7)/(-2))). Which is smaller: -1/5 or z?
z
Let f be 1/3 - 2/(-3). Let s = 89/110 + -1/110. Which is greater: s or f?
f
Let g be (-2)/2 + (0 - -1). Let f(k) = k - 2. Let v be f(1). Which is greater: g or v?
g
Let z = 0 + 1. Let d = 35 + -33. Is d greater than or equal to z?
True
Let m = 5 - 1. Suppose -m*l - 20 = -2*b, -b = -l - 6 - 4. Suppose 2*y + 3*y = -b. Is y at least -2?
True
Let p = -26 - -28. Let a be (-1)/p - 4/8. Which is bigger: -6 or a?
a
Let s(n) = 9*n**3 - 2*n**2 + 1. Let i be s(1). Let j be (-2 + i - 3) + -5. Is -1 equal to j?
False
Let d = 0.54 - 0.14. Let o = d - 0.5. Which is bigger: 4 or o?
4
Suppose 6 + 0 = 3*c. Let p be (2091/(-585) - -1) + c. Let n = p + -1/39. Is -2 at least n?
False
Let a be ((-3)/(-3 - (-4 - 0)))/(-3). Is 15/13 > a?
True
Let f be (-7 + 4)/(-2 + -23). Is f at most 1?
True
Let n(h) = -4*h**3 - h**2 - 2*h. Let y(f) = -f**3 - f**2 - f. Let t(j) = n(j) - 5*y(j). Let m be t(-3). Which is bigger: m or 3/7?
3/7
Let m = 1.7 - 6.7. Is -0.2 < m?
False
Let l = -53/119 - -2/119. Let f(h) = h**2 - 2. Let t be f(-2). Let n be t*2*(-1)/4. Which is bigger: n or l?
l
Let b = 13 + -15. Let v = 2 + 0. Let p be -2 - -2 - v/4. Is p smaller than b?
False
Let v = 2 - 4. Let z be 2/(-7) + (-7)/(-23). Let t = -787/966 - z. Is v greater than t?
False
Let i = 1025 + -23565/23. Let v be ((-24)/(-5))/((-161)/5). Let m = v + i. Which is bigger: m or -1?
m
Let z = 90 - 93. Are -3 and z equal?
True
Let r(l) = -l + 3. Let n be r(-5). Let c = 35/3 - n. Is c not equal to 4?
True
Let o = -228 + 233.95. Let k = o + -6. Let v = 0.15 + k. Is -2/13 smaller than v?
True
Let h = -0.051 - -1.051. Which is greater: -3/7 or h?
h
Let v = 67 + -67.1. Let f be (-8)/6*(-6)/4. Which is bigger: v or f?
f
Let r = 0 - 4. Let a be r/(-6) + -2 + 1. Which is smaller: -2/7 or a?
a
Suppose 3*t - 2*t + 2 = 0. Let f be ((-2)/t)/((-2)/(-4)). Suppose 2 = -f*w - 2. Is w > -3?
True
Suppose -5*d = 0, -u + 1 + 0 = -4*d. Let t = -64 - -323/5. Which is greater: u or t?
u
Let v be 56/72 - 6/(-27). Which is smaller: 6 or v?
v
Let k = -0.62 + -0.08. Let x = k + -1.3. Let n = x - -2. Is 0.2 at least as big as n?
True
Suppose z = 2*s - 0*z - 15, -s = -z - 10. Let m be (1/3)/(s - 6). Is -1/4 less than m?
False
Let y = -1.2 + -9.8. Let r = y + 11.1. Which is bigger: -0.4 or r?
r
Let v be (-2)/(-4) - (-4)/(-16). Is 0 equal to v?
False
Let u(v) = -2*v**2 + 2*v. Let n be u(1). Is 2/81 greater than n?
True
Let c = 11 + -7. Let j = c + -2. Which is greater: 3/2 or j?
j
Let d = 382 - 381. Let c be (4/(-6) - 0)/(-3). Is c <= d?
True
Suppose -13*f + 45 = -16*f. Do f and -15 have the same value?
True
Suppose -5*x + 2 + 3 = 0. Let v = 7 - 3. Suppose b - 4*d - 1 - 1 = 0, -8 = -v*b + 4*d. Is b < x?
False
Let c = -0.26 - -0.39. Let t = 0.09 - c. Is t at most 0.1?
True
Suppose 0*p + f = -p + 4, -4*f = -2*p + 8. Suppose 4*r = -p*k + 12 - 0, -9 = 4*r - 3*k. Is 0 at most as big as r?
True
Suppose -12 = 3*a, 3*v + 8*a - 4*a = 2. Is v <= 0?
False
Let g be 6/11*2/14. Let f = -76/1001 - g. Let m(o) = -o + 5. Let i be m(5). Is f > i?
False
Let d be (1 - 1/2)*-14. Suppose -n + 10 = 5*w - 12, -2*w = -2*n - 16. Which is smaller: n or d?
d
Let s = -3 + 2. Let x be 50 - (4 + -5)*1. Let g be -9 + 5 - x/(-15). Is g <= s?
False
Suppose 4*w + 0*s + 4*s = 16, -3*s + 10 = 5*w. Is w at least -7/3?
True
Let p be (9/66)/(27/12). Let d = -5/22 + p. Do 0 and d have the same value?
False
Let b = -3 + 1. Let h(f) = -f - 1. Let j be h(b). Is j greater than 4/7?
True
Suppose -20 = -5*i - 2*w - 1, 0 = -3*i + 3*w + 24. Let t be i*((-2)/4)/(-1). Suppose -2*p - 1 = -7. Which is smaller: p or t?
t
Suppose 19*f = 21*f - 2. Which is smaller: 1/26 or f?
1/26
Suppose 2*v = -0*g - 5*g + 55, 26 = 4*g - 2*v. Suppose 0 = 5*f - 20, -5*f + 7 = -a - 9. Suppose -g = -5*n - a. Which is greater: 2 or n?
2
Let b = 0.08 - 1.08. Do 1/8 and b have different values?
True
Let u = 4.3 - 4.2. Let t = -7 + 11. Which is smaller: t or u?
u
Let z(m) = 8*m + 41. Let d be z(-5). Which is smaller: d or 0?
0
Let y = 22 + -15. Suppose -d + 4*c = -12, 3*d + 20 = 7*d - 2*c. Suppose -5 - y = d*z. Which is bigger: -4 or z?
z
Let k = -163 - -177.2. Let p = 13 - k. Is p <= -2/9?
True
Let m(q) = q**3 + 12*q**2 - q - 12. Let h be m(-12). Suppose h = -2*f + 5*v, -3*v + v = 3*f. Which is bigger: f or -1/10?
f
Suppose 0 = 3*r + 4*g - 22, -5*r + 3*g = -20 - 7. Let m be 20/8 - 3/r. Let s = -0.4 + -1.6. Which is smaller: s or m?
s
Suppose -3*m + 144 = 3*m. Which is smaller: 23 or m?
23
Let a be (3 - 1)*(0 + -4). Let m be 164/14 + a/(-28). Let k be (3/m)/(1/4). Is 1 at least k?
True
Let z = -0.5 - -0.4. Suppose -328 = -3*m + 134. Let j be (-10)/(-55) - (-16)/m. Which is bigger: j or z?
j
Let p be (1*15 + -1)*1. Let c(y) = -y + 1. Let f be c(-4). Let x be (-10)/p*(-3)/f. Is 0 > x?
False
Let f(r) = -r**3 + 3*r**2 + 3*r + 1. Let b be f(3). Suppose 4*n = -2*u + b, -3*u + 9 = -n + 4*n. Is u at most as big as 2?
True
Let b(g) be the first derivative of -g**2/2 - 3*g + 1. Let c be b(-3). Which is greater: c or 6/5?
6/5
Let o = 7 - 4. Let c(k) be the second derivative of k**3/6 - 7*k**2/2 - 4*k. Let q be c(o). Does q = -4?
True
Let t be 4/(-6) - (-32)/39. Let f(w)