/(-28)). Which is greater: 7 or m?
m
Let a(y) = -y**2 + 1. Let m be a(1). Suppose -2*i + f + 3 + 7 = m, 2*f = i - 5. Suppose 0*x = i*x. Which is smaller: x or 2?
x
Suppose -3*r + 216 = r - 4*p, -1 = -p. Let a be (-10)/r - (-30)/44. Is a greater than 1.2?
False
Let u = -0.27 - -0.34. Are 2/5 and u equal?
False
Let t(o) = -o**3 + 4*o**2 + 4*o - 4. Let a be t(4). Let b be 3*(-3)/a - -2. Let u = -3 + 3. Is u >= b?
False
Suppose 3*i + 159 = 3*z, 0*i = 5*z + 5*i - 265. Let t = z - 157/3. Which is greater: t or 0?
t
Let s = -380 + 1879/5. Let k = 2248363/40 + -56205. Let d = s + k. Which is smaller: d or 0?
d
Let v = 26.1 - 26. Which is smaller: -26 or v?
-26
Let t be (-1)/3*18/(-3). Suppose -t = -0*k - 2*k. Which is smaller: 2 or k?
k
Let x(r) = -r**2 - 7*r + 6. Let g be x(-7). Let t be g/4*(-28)/(-10). Are t and 4 unequal?
True
Let b = -79.05 - -79. Let q(d) = d - 5. Let v be q(4). Which is smaller: v or b?
v
Let i = -17 + 37. Suppose -6*r + i = -r. Suppose 5 - 1 = r*t. Is -2 at most as big as t?
True
Let t(o) = o**2 + 2*o - 9. Let l be t(-4). Is -1 > l?
False
Let h be (3/(-2))/(2/(-4)). Suppose -5*l + h*p = 6*p - 18, 0 = -4*p - 16. Let n be ((-2)/l)/((-2)/(-18)). Do -3 and n have the same value?
True
Suppose 0 = -5*u + 3*u + 4. Suppose -u*j + j = 0. Is j at least 1?
False
Let o = -11 - -36. Which is smaller: o or 24?
24
Let t(f) = -f**2 + 8*f - 8. Let d be t(7). Let g = 9/10 - 7/10. Which is greater: d or g?
g
Let d be (-4)/26 - 342/(-26). Are 15 and d equal?
False
Suppose 2*s - 2*z - 4 = -0*z, 14 = -2*s - 4*z. Let l be (-2 - -3) + -3 + -3. Let a = -7 - l. Which is greater: a or s?
s
Suppose -c + 5*c = -l + 7, 5*l + 19 = -2*c. Let j(w) = -3*w + 3. Suppose -17 = -4*u - 3*b - 2*b, 2*u - b = 5. Let n be j(u). Is n > l?
False
Let b be (-2)/(-16)*-2 - (-24)/32. Let n = -708/5 + 142. Which is greater: n or b?
b
Let l = 14.6 - 13. Let o = l + -2. Let b = 0.4 + o. Which is bigger: b or -2?
b
Let i be (-4)/3*(-69)/16. Which is bigger: 7 or i?
7
Let n be 3 + (0 - -315) + 0. Suppose -n = -0*i + 2*i. Let h = i - -2065/13. Which is bigger: -1 or h?
h
Suppose 3*p - i - 9 = 0, -2*i = p - 3*i - 3. Suppose n - p*u - 8 + 2 = 0, 2*n = 3*u + 6. Suppose n*g = -2*g. Is -4/11 <= g?
True
Let n be ((-4)/(-6))/(6/(-9)). Which is bigger: 0 or n?
0
Suppose -5*c + 584 = 109. Suppose 0 = -3*n - 32 + c. Let q be 6/(-15) + n/15. Is q < 2/7?
False
Let b = 173678/4557 - 2507/62. Let y = b - 1/98. Which is smaller: -3 or y?
-3
Suppose 2*n - 3*n = 4*f - 5, 5*f + 2*n = 4. Suppose -f*x + 3*g = -14, -2*g = 4*x + 2 + 2. Let s be (x - (-1 - -2)) + -1. Is 1/4 smaller than s?
False
Suppose 4*s + 54 = 3*z - 0*z, -s = -3*z + 45. Let c be z/15 - (-1)/(-3). Suppose 0*n - 2 = -2*n. Is c != n?
True
Let g be (-162)/510 - 2/(-17). Is g at most as big as -14?
False
Suppose -3*o + 12 = -3*r, 3*r - 5 = -2*o - 2. Which is greater: 25/7 or o?
25/7
Let h be ((-6)/(-4) + -2)*-3. Let j(n) = -n**3 + 6*n**2 + 9*n - 6. Let t be j(7). Let p(b) = b**3 - 8*b**2 + b - 9. Let c be p(t). Which is smaller: c or h?
c
Let m(f) = 4*f**2 + 2*f - 1. Let z be m(1). Let k(h) = h**2 + 2*h - 3. Let y be k(2). Are z and y nonequal?
False
Let r = -9254/527 + 304/17. Let m = r - 112/155. Which is smaller: m or 0.06?
m
Let p be (-16)/12*(-6)/4. Is p greater than or equal to 14/5?
False
Let u = -0.04 + 0.1. Let q = u - 0.46. Let f = 1.4 + q. Which is smaller: f or 2?
f
Let p = -8 - -8.3. Let z = -0.12 + -0.08. Let h = p + z. Do -3/7 and h have the same value?
False
Let s = 11 + -12. Let y = s - -2. Does y = 1?
True
Suppose -5*v = -3*z + 50, -3*z - z + v = -44. Suppose 4 = 2*y + z. Is -1 bigger than y?
True
Suppose -2*d + 0 - 2 = 0. Let o be 4/(-2 + 3/2). Let h be 1/(-4) - (-14)/o. Which is bigger: h or d?
d
Let f = 26 + -13. Let b be 406/273 + (-2)/f. Is 0 smaller than b?
True
Let f be (10/(-65))/((-6)/(-9)). Which is smaller: f or -1?
-1
Suppose 5 = -5*x - 25. Let m be 4/(8/x) + -3. Is -9/2 at least as big as m?
True
Let x be -2*-4*(-3)/24. Which is bigger: x or -1/18?
-1/18
Suppose 3*w = -3*v - 2*v - 181, -5*w = 5*v + 175. Is v greater than or equal to 1?
False
Let f = 0 + -5. Let y = 12.3 + f. Let t = -7 + y. Which is greater: 0 or t?
t
Let n(d) = -d**3 + 3*d**2 - 4*d + 3. Let q be n(2). Is q greater than -2?
True
Let z = -11 + 11. Let a = 3/158 + 151/8690. Let h = a - 61/165. Which is smaller: z or h?
h
Suppose 5*j + 54 = 3*j. Let c be 237/(-27) + 6/j. Which is smaller: -10 or c?
-10
Let q(p) = p**2 - 7*p + 13. Let k be q(4). Which is greater: k or -6/19?
k
Let n = 0.8 + -3.5. Let i = n + 3. Which is smaller: i or -2/7?
-2/7
Let j be (4/6)/(10/15). Is 2/5 equal to j?
False
Let g = 0 + 0. Is g >= 2/9?
False
Suppose 0 = 2*u + 3*q + 49, q = 1 - 2. Let s be 0 + -1*71/3. Let g = s - u. Is g != -2/5?
True
Let y(b) = b**3 + 8*b**2 + 5*b - 15. Let z be y(-7). Is z equal to -3?
False
Let l be (-2 + -6)*6/8. Let z be (0 - l)*(-1)/2. Is z at most -2?
True
Let d(a) = a**3 - a - 10. Let w be d(0). Let u = 0 + -9. Which is smaller: w or u?
w
Let j = 5 + -8. Let a = -3 - -8. Suppose 1 = a*p + 11. Which is bigger: p or j?
p
Let b be 8/6*(0 + 3). Suppose -3 = 3*s - 2*s. Let n = 1 - s. Is b != n?
False
Let k = 77/52 - 16/13. Which is smaller: -2/257 or k?
-2/257
Suppose -13 - 42 = -11*f. Are f and 3 nonequal?
True
Let a be (0 + -2)*(-4 - 21/6). Is 15 equal to a?
True
Suppose 1 = 2*u - 13. Let p be 5/(-2) + u/14. Which is smaller: p or -6/7?
p
Let r = -3 + 5. Let h be (4/(-8))/(r/(-20)). Let f be ((-24)/(-18))/((-3)/(-9)). Which is smaller: h or f?
f
Let m = 13 + -12. Suppose -3 = -4*z + w - 4*w, 5*w - 5 = 4*z. Which is smaller: z or m?
z
Let j = 0 - -1. Let d = -6.98 - -7. Let w = d - -0.01. Is w greater than j?
False
Suppose -p + 0*p + 1 = 0. Is 1 <= p?
True
Let n = -40 + 17. Is n less than or equal to 2?
True
Let c(o) = o**2 - 14*o + 4. Let x be c(12). Let p be 6/4*x/18. Which is bigger: p or 0.1?
0.1
Let j = -1/8 + -17/56. Let q = -8 + -1. Let x(s) = s**2 + 9*s + 1. Let r be x(q). Is j less than or equal to r?
True
Let a = 20 + -5379/269. Which is smaller: 0 or a?
0
Let c = -4 + -4. Let h be (-15)/(-4) + (-2)/c. Let a be (-10)/h - 1/2. Is -3 equal to a?
True
Suppose 2*s + 6 = 4*j, 2*j + 5*s - 14 = 7. Suppose 0 = -j*k - k. Which is bigger: k or -2/9?
k
Let w be 33/(-42) + (-4)/(-14). Let b = 172 - 1206/7. Which is smaller: b or w?
w
Let d(o) = o + 3. Let z be d(-7). Let i be (1 + 2)/((-6)/z). Let y be (5/i - 3)*0. Which is smaller: -2/11 or y?
-2/11
Let t = -5 - -7. Suppose 3*o - 19 = -o - 3*h, 3 = t*o - 5*h. Suppose b - 1 + 4 = o*x, b = 1. Do 1/7 and x have the same value?
False
Let c(s) = -s**2. Let t(f) = -f**2 + 4*f. Let q(l) = -2*c(l) + t(l). Let v be q(-5). Are 2 and v nonequal?
True
Let n be 2/6 + (-4)/3. Let w be -2 + 10 + (2 - 2). Let u be ((w/6)/4)/(-1). Is u <= n?
False
Let t(n) = 2*n - 2. Let i be t(2). Suppose -3*g - b + 12 = 0, -b - 4 = -g - 3*b. Let w be 6/g*(6 - 4). Which is bigger: i or w?
w
Let k(t) = t**3 - 3*t**2 + t. Let q be k(2). Let d be (q + 0)/((-8)/(-12)). Let a be (2/d)/(2/3). Is a >= 0?
False
Let l = 80 - 42. Let d be ((-1)/l)/((-4)/(-16)). Let c be (2/4)/(2/(-4)). Which is bigger: d or c?
d
Let u = 9 - 3. Let y be 2/u + (-21)/9. Let l be 2/(-4)*(-7)/(-7). Is l < y?
False
Let y = -3 - -2. Let x be 2/1*(0 + -2). Let t = x - -3. Do t and y have the same value?
True
Let x = -6 + 8. Let j be 7364/(-72) - x/(-4). Let k = j - -102. Which is greater: k or 0?
k
Suppose 0*c + 2*c = -38. Is -4 != c?
True
Let g = -5/16 - 17/48. Which is smaller: -1 or g?
-1
Let u = 2 - 14. Let b be (-1 - -9)*2/u. Let a = 50/9 - 56/9. Which is greater: b or a?
a
Let i(g) = g**2 + 2*g + 1. Let v be i(-1). Which is bigger: 1/10 or v?
1/10
Suppose 0 = -3*m + 3*t - 362 + 89, t = -3*m - 253. Let a be -6 - -2 - m/21. Is -1 at least a?
False
Let s be 2/7 + (-23)/7. Suppose 2*g - g + 23 = 5*p, -4*p - 5*g + 30 = 0. Suppose 2*t + 0 = p*d + 14, 16 = -4*d. Is t at most as big as s?
True
Let l = -8 + 5. Let r = 15 + -17.8. Let d = l - r. Which is smaller: d or -1?
-1
Let f = 0.031 - -2.889. Let b = -0.08 - f. Let d = -4 - b. Which is bigger: -3 or d?
d
Let g be (-10)/50 + 14/(-5). Let q = g + 1. Which is greater: q or 0?
0
Let a(k) = -k + 4. Let f be a(5). Let h = -10417/17 - -613. Let d = h + -54/85. Is f > d?
False
Let q = 6 + -5.984. Are -1 and 