 n + 7, -4*f - 3*o = -13. Are f and -2/7 equal?
False
Let y be (-3)/(-2) - 10/4. Let w = 2205 + -114655/52. Let g = 1/4 - w. Are y and g non-equal?
True
Let r = -134 - -134. Suppose 4*t = -4 + 8. Is r greater than t?
False
Let n be (-9)/(18/(-4) - -3). Let l be (1/3)/(2/n). Is l >= 2?
False
Suppose -2 = -0*d - d. Suppose -g = -d - 9. Suppose -5 + g = -2*r. Is r >= -4?
True
Let n = 10 - 11. Is -2 at most as big as n?
True
Let g be (-8 + 6)/(210/(-3)). Which is smaller: g or 1?
g
Let n = 8.92 + 0.08. Let q = -8 + n. Let p = 0.04 - -0.06. Which is smaller: q or p?
p
Let b = -4.5 + 5. Let h = b + -6.5. Let p = -6 - h. Is -3 less than p?
True
Let y = 1357/3033 + -1/337. Let i(w) = -w**2 + 5*w - 4. Let v be i(4). Is v smaller than y?
True
Let c = -31.8 + 32. Is 1/4 at most c?
False
Let n = -66 + 200/3. Suppose -b - 16 = 3*j - 5, 17 = -5*j - b. Let m = -2 - j. Which is smaller: m or n?
n
Let w(g) = -g**3 - 10*g**2 + 10*g - 9. Let n be w(-11). Is 2 >= n?
True
Let k be (-7)/(-42) + 13/(-6). Let x be (-4)/(k/(-1)) + 4. Suppose x*n + 3*g = 15, 5*n - 3*g + 0 = -15. Which is greater: 1 or n?
1
Let i = 0 + -0.45. Let k = 0.05 + i. Let q = -0.2 - k. Which is greater: q or -0.1?
q
Let l = 19 + -18.91. Let c = 0.01 - l. Is c smaller than -1/3?
False
Let b = -44/5 - -11. Suppose 9 + 1 = 5*v. Which is smaller: b or v?
v
Let t = 5.1 - 5. Let w = 4.4 - 3. Let o = -0.4 + w. Which is bigger: o or t?
o
Let p be 3 + -1 + (-90)/3. Let s be p/(-18)*(-12)/(-14). Let z = 4 + -3. Does z = s?
False
Suppose -4*p + 2*i = -58, 4*i = -5*p - 0*i + 66. Let u = p + -13. Is u greater than 9/8?
False
Let u = -1076/7 - -154. Which is smaller: -1 or u?
-1
Suppose -3*b = -4*t - 0 - 23, 5*t - 5*b + 35 = 0. Which is smaller: t or -3?
-3
Suppose -3 = -3*n + 3. Let v(z) = 2*z**2 - 4*z + 3. Let d be v(n). Which is greater: 1 or d?
d
Let t(q) = 3*q + 32. Let s be t(-11). Is s less than or equal to -1/15?
True
Let i = 19 + -18. Is i at most as big as 73?
True
Let a be -1 + ((-3)/3)/(-1). Let m(o) = o - 16. Let r be m(a). Let w be (3/14)/(12/r). Is w equal to 1?
False
Suppose 11*b + 333 = 8*b. Is b equal to -111?
True
Suppose 4*d - 6 = -2*f, -d - 4*f = 3*d + 4. Are d and 4 equal?
True
Let a be ((-3)/10)/(6/5). Let h = a - -3/4. Let c = 0.3 + -0.2. Which is bigger: c or h?
h
Let w(b) = 6*b**2. Let u be w(-1). Which is greater: 7 or u?
7
Let l = 97/22 + 12/11. Let f = l + -5. Is 2 != f?
True
Let s be (4/40)/((-1)/(-4)). Which is greater: s or 1?
1
Let d = -2/157 + -145/942. Let j be (3/(-12))/((-3)/(-12)). Do d and j have different values?
True
Suppose 0 = -0*l + l + 4. Let o(w) = -w**2 - 5*w - 2. Let d be o(l). Let c be d + 6/(-1) + 2. Is c smaller than -2?
False
Let r(f) = -3*f + 6*f + 0*f - 3. Suppose 3*h - 4 - 2 = 0. Let t be r(h). Which is greater: t or 5/3?
t
Let j = -9 + 3. Let q = 11 + j. Let n = 1.6 + -1.6. Are q and n non-equal?
True
Suppose 0 = -2*z - 3*n + 19, n = 3*z - 2*n - 6. Suppose 2*x = -0*x + 3*y, -34 = -5*x - y. Is x less than or equal to z?
False
Let m = 2 + 0. Let o be (-2)/(-3)*(-5)/(60/(-9)). Which is smaller: o or m?
o
Let b = 0.2 - 0.3. Let s = b + 0. Let z be (-4 + 106/25)/((-6)/40). Which is smaller: s or z?
z
Let y = -12 + 8. Let q be 1/2 + (-34)/y. Let v be ((-6)/(-27))/(30/q). Which is smaller: 0 or v?
0
Let q = -13.3 - -14. Let o = -0.5 + q. Is 0.2 >= o?
True
Let s be 5/2*(-2)/22. Let h be 1 + (1750/(-132))/7. Let b = s - h. Is b at least as big as 2/3?
True
Let m = 46 - 45. Is m at most -21?
False
Suppose -2*k = -d - 11, -d - 7*k = -2*k - 10. Let l(n) = -n**3 + 4*n**2 - 5. Let m be l(4). Is m > d?
False
Suppose f - 2 = -0. Let d be 5/(-10) + f/2. Let o = 3 - 3. Which is smaller: d or o?
o
Let h(k) = -k - 2 + 0 - 1 + 5. Let d be h(1). Is 1 at most as big as d?
True
Let c(w) = -w**3 - 4*w**2 + 4*w - 7. Let p be c(-5). Let k = -2 - p. Which is greater: 1/18 or k?
1/18
Let q = -1 - 1. Let g = q + -1. Let c = g - -3. Is c > -1?
True
Let g = 11 + -5. Which is smaller: 0.2 or g?
0.2
Suppose -2 = -0*l - 2*l. Let i(v) = v**2 - v + 15. Let j be i(0). Let b be (4/j)/(18/15). Which is smaller: l or b?
b
Let g be -1*((-24)/60)/(4/5). Which is smaller: g or 2?
g
Let r be -2 - ((1 - -1) + 1). Let g = r - -8. Let h be (0 - g/15)*-1. Is h at most as big as -1?
False
Let y be (3/4)/((-2)/(-8)). Let v(o) = o**3 - 13*o**2 + 10*o + 9. Let l be v(12). Let c be 6/3*y/l. Does c = -1/4?
False
Let n(t) = 2*t**2 + t - 4. Let b be n(-2). Suppose 0*v - b*d - 8 = 2*v, 0 = -5*v - 3*d - 10. Which is smaller: 2 or v?
v
Suppose 6*c - 2*c = -i + 88, -c - 4*i + 22 = 0. Which is smaller: -1 or c?
-1
Let u be (-8)/(-30)*(-6)/4. Let f be 2*2/8*2. Let o be 2*(-1 + f/2). Is u > o?
True
Suppose -2*s - s = 0. Suppose 5*b - 17 - 73 = s. Suppose 2*f = -f - b. Are f and -7 nonequal?
True
Let t = 2.4 - 2. Let f = -0.4 + t. Is 3 > f?
True
Let x = 0 - 0.05. Let r = 0.029 + -1.079. Let m = r - x. Which is smaller: 0.5 or m?
m
Let o be (-3)/13*1/(-1). Let x = o - 41/65. Is x <= -3?
False
Let r = -10/7 + 71/35. Let q = 1.2 + -0.2. Let y = q + -0.9. Is y at most as big as r?
True
Suppose 0 = h + 3 + 2. Let f(z) = -z**3 + 5*z**2 + 2*z - 2. Let b be f(5). Suppose -3*m = -m + b. Is h greater than or equal to m?
False
Let w(t) = 4*t**2 - t**2 + t**2 + 7*t + 2 - 3*t**2. Let x be w(-7). Is x less than -4?
False
Let i be 0 + (4 - 4) + (-1)/(-3). Is i != -4?
True
Suppose y = -2*z + 12, 3*z = 2*y + 1 + 3. Suppose 3*s = y*s - 1. Let t = -8.3 - -8. Which is greater: t or s?
s
Let y be 1 - (-3 + 2)*2. Suppose 3*l + 3 = 0, -3 = -3*r - 4*l - 7. Let b(k) = k**2 + 2*k + 1. Let d be b(r). Which is smaller: y or d?
d
Let f = -82114/39 - -2106. Let t = 14/39 - f. Let g(n) = n**3 + 5*n**2 - 6*n - 1. Let d be g(-6). Which is smaller: t or d?
d
Let i = 17.9 - 18. Is 4/17 bigger than i?
True
Suppose 13 = -5*u - 7. Suppose 0 = 3*t + t + 20. Is u greater than t?
True
Let z be (-27)/6*2/(-3). Suppose 3*k = z*a - 12, -6 = 2*a - a + k. Is a at most as big as 1?
True
Let g(m) = m**3 - 9*m**2 - 2*m + 10. Let n be g(9). Is -8 > n?
False
Let b be (-74)/(-4) - 1/2. Let z be 6/((b/4)/3). Suppose -2 = z*d - 2*d. Is d bigger than -3/2?
True
Let b(y) = y**3 + 14*y**2 + 3. Let r be b(-14). Which is greater: 11/5 or r?
r
Let m = 5847 + -2262791/387. Is m <= 0?
True
Suppose -5 = 3*q - 17. Suppose q*g + 29 = 3*j + 6, -2*g - 25 = 3*j. Let h(b) = b**2 + 8*b. Let s be h(g). Which is smaller: 1 or s?
s
Let k = -236 + 246.1. Let p = k + -10. Is p equal to -9?
False
Let r = -59 + 179/3. Which is smaller: -0.1 or r?
-0.1
Let l = 292 - 160. Let k be 8/l*-1*3. Is 1 at least as big as k?
True
Let q be 5/(-30) + (-46)/(-132). Is 0 greater than q?
False
Suppose 3*q = -2*k - 16, -3*q = k + 2 + 9. Let g = 8 - q. Let u be ((-4)/(-10))/(8/g). Which is smaller: u or 0?
0
Let d be (1/(-4))/(4/16). Let x = -272/13 - -21. Is x at most as big as d?
False
Let b = 86 + -85.9. Which is smaller: b or -60?
-60
Suppose 0 = b - 0 - 4. Let l be 2/(-5) - (-224)/35. Which is greater: l or b?
l
Let o = -44 - -28. Let s = o - -16.1. Which is bigger: s or -5?
s
Suppose i - 4 = -1. Suppose -i - 21 = -3*j. Let u be (-9)/4 - (-2)/j. Is -2 >= u?
True
Let n be 92/6 - 8/24. Let d be 2/((-6)/n*-1). Suppose d*u = -0*u. Is u > 2/9?
False
Suppose 27 = 2*d + f, 3 + 18 = d - f. Which is smaller: d or 50/3?
d
Let x = 6.5 + -6.4. Which is greater: 3.3 or x?
3.3
Let b = 0 - 11. Let w = 9 + b. Suppose -5*i = -2*t + 3*t - 9, 2*i = 4. Is w smaller than t?
True
Suppose 15 = 3*x, -5*j + 80 = -2*x + x. Let d(l) = -5*l - 2. Let g be d(-4). Is j > g?
False
Suppose 4*z = 2*o - 10, -o + 5 = z - 0. Let q = 4 - z. Suppose 2*d - 20 = -d + q*m, 0 = -5*d + 2*m + 10. Which is bigger: -1 or d?
d
Let y(x) = x - 1. Let f be y(3). Let i be f + -1 + (-3)/1. Let p be 4*(-2*1)/10. Which is bigger: i or p?
p
Let t = -16 - -15. Let x = -3 - -2.9. Is t not equal to x?
True
Let j be (-2)/6*(-60)/(-54). Is 0 > j?
True
Let s = 13 + -13. Is s at least -4/3?
True
Let n be 1/2*(-24)/6. Which is smaller: n or -3/5?
n
Let o be 1*(2/(-1) + 20). Suppose -6*m - 21 = -4*x - 3*m, o = 4*x - 2*m. Let j be -2*1*x/2. Is j at least -4?
True
Let f = 12 + -11. Let w be -1 + -1 - (-44)/(-3). Let r = 17 + w. Is f != r?
True
Let c = 10 + -5. Let g(b) = b**3 - 5*b**2 - 2*b + 2. Let q be g(c). Do -7 and q have the same value?
False
Let p be ((-1)/3