) = l**2 - 6*l - 2. Let t be m(p). Let b = 9/2 - 6. Is t != b?
True
Suppose -41 + 5 = -2*z. Let q = -37/2 + z. Which is smaller: q or -2?
-2
Let w(l) = -l**2 + 11*l - 12. Let a be w(9). Suppose 6*j + a = 3*j. Which is bigger: -4 or j?
j
Let y be ((-10)/16)/((-7)/7). Suppose -4*g = -8*g. Which is greater: y or g?
y
Let i(p) = p + 6. Let b be i(-5). Suppose -r - 1 = b. Let l be r/(-3) - (-4)/12. Is l less than 1?
False
Let v = -37.82 - -37. Let s = v - 0.28. Let j = 2.1 + s. Which is bigger: j or -0.2?
j
Suppose 0 = -3*n - 2*a, a - 3 = -3*n - 0*a. Suppose -b = n*b. Let d = -145/3 - -49. Which is bigger: b or d?
d
Let o = 0 + 0. Let k = 0 - o. Let x = 52 + -209/4. Which is bigger: k or x?
k
Let z = -1948/15 + 130. Is z >= 0?
True
Let a(w) = w**2 - 2*w - 6. Let h be a(3). Do -3 and h have different values?
False
Let t(r) = -r**2 - 4*r - 2. Let w be t(-4). Let x be (w/40)/((-4)/10). Suppose -5*s - 3 = 2. Which is bigger: x or s?
x
Let i be (-4)/101*4/(-8). Is i at least 1?
False
Let y be -3 + 3101/441 + (-8 - -4). Let l be (-18)/14 - (-2)/7. Is l <= y?
True
Let b be ((-28)/(-20))/((-6)/(-5)). Which is greater: b or 2?
2
Let i be 2/6 + 1/(-3). Let b(t) = t**2 - 19*t + 49. Let k be b(3). Is i smaller than k?
True
Let p be 6/14 + 19/(-28). Suppose -q = -8*b + 3*b - 3, -5*b = -4*q + 12. Which is smaller: b or p?
p
Let v be (-2)/(4/(-1 - -2))*-64. Is v greater than 33?
False
Let r = -53/114 - 2/57. Suppose 0*m + m = 4. Suppose -2*s + 7*s + 25 = 5*z, 5*s + m*z = 2. Which is bigger: s or r?
r
Let t(w) = -w**3 + 5*w**2 + 5*w - 3. Let o be t(6). Let z be (o/(-12))/((-2)/(-16)). Suppose 4*b - 6 = z*b. Is -2 less than b?
False
Let r(v) = v**2 + 11*v + 1. Let c be r(-11). Suppose 2*x + 2 - 7 = -y, -c = -2*y + 5*x. Is 2 at most as big as y?
True
Let s = 6 + -9. Let h = 8 + s. Which is smaller: h or -1?
-1
Let o = -9 - -9. Suppose o*r - 45 = -5*r. Let y = -7 + r. Which is bigger: 1 or y?
y
Let v = 19/2 + -55/6. Which is bigger: v or 8?
8
Suppose 2 = -l + 3*g, 5*l + 2*g - 5 = 2*l. Suppose -2 = 3*s + 4*t, l - 5 = -4*s - 2*t. Let x = 2 - s. Do -3/8 and x have different values?
True
Let g = 1 - 5. Let i = -2 - g. Let l be (-1)/(-2) + (-5)/i. Is l < -7/5?
True
Let p be (2*-2)/(-4) + -1. Let i be (-1 + 0)*p/1. Is 1 <= i?
False
Let b be 2/8*(0 + 2). Let j = 0.13 + -10.13. Which is greater: j or b?
b
Suppose 115*v = 111*v. Is v at least as big as 0?
True
Let m(z) = z**2 + 7*z - 1. Let h be m(-7). Is h <= 1/187?
True
Let c be 14/(-42) + (-37)/(-3). Suppose -14 + c = -l. Which is smaller: l or 4/3?
4/3
Let b = 30 + -30. Which is smaller: 4/17 or b?
b
Suppose b + 43 = -3*x - x, -52 = b - 5*x. Which is bigger: -46 or b?
-46
Let q = 12 + -13. Is q >= 2/13?
False
Suppose -17 = -0*y - y + 5*q, 2*y = -2*q - 2. Suppose 3*w - y = -8. Let s(g) = -g**3 + 6*g**2 - 3. Let n be s(6). Which is smaller: n or w?
n
Suppose 0*m - 5 = -4*p + 3*m, 5*p - 1 = 2*m. Is p less than or equal to -2/75?
True
Let d = 554/23 - 24. Which is smaller: -1 or d?
-1
Let j = 24 - 42. Let s be (-21)/27 - (-4)/j. Let g = 6.1 + -1.1. Do s and g have the same value?
False
Let u be (6*(-3)/4)/6. Suppose 0 = -3*h + 5*h - 10. Suppose -2*i + h*i = -3. Which is bigger: i or u?
u
Let c be 0/(5/((-5)/(-2))). Suppose 2*n - 5*p - 15 = c, -2*p - 4 = -5*n + 2. Are 2/15 and n unequal?
True
Let k = 16 + -19. Let s be -1*4*k/33. Is s bigger than -1?
True
Let h be 2 + (-4)/(2 - -22). Which is bigger: h or 2?
2
Let j(p) = 67*p**2 - 2*p + 1. Let x be j(1). Let r be 2/(-6) - (-10)/x. Is r at most -1/4?
False
Let v(w) = -w**2 + 3*w. Let i be v(3). Suppose -2*m + 5 = -3*m, 3*x + 3*m + 9 = 0. Suppose 0 = x*n + n. Do i and n have different values?
False
Let r be 6/(-4) + 5/4. Is r smaller than -2?
False
Let f = 2 + 2. Suppose -f*k + 17 = -3*q - 0*k, 3*q + 4*k - 23 = 0. Let z be (-27)/(-15) + -1 - 0. Is q greater than z?
True
Let r be (-2)/((-4)/26) + -2. Let l = -7 + r. Suppose 0 = 2*d - 4*d + l. Is 3 equal to d?
False
Let m(w) = w**3 - w**2 - 1. Let k(n) = -2*n**3 - n**2 - 5*n + 6. Let x(t) = -k(t) - 3*m(t). Let s be x(5). Let l = -2 - s. Which is greater: l or -2/13?
l
Let z = 100 - 99.9. Which is greater: 0.043 or z?
z
Let o = -365713 + 179199281/490. Let f = o - -4/49. Which is bigger: -1 or f?
f
Let x be 68 + -69 + 2/(-4)*-2. Let a be (2 + (-3)/2)*-6. Are a and x non-equal?
True
Let a(o) = -o**3 - 12*o**2 + 13*o - 25. Let i be a(-13). Is i less than or equal to -25?
True
Let o = 5 + -13. Let i = -11 + 0. Let d = i - o. Which is smaller: d or -2?
d
Let g = -1.8 + 0.8. Let j = -33 - -40. Are g and j nonequal?
True
Let m be -2 - (0 - -1)*44. Is m >= -46?
True
Let z = -0.01 - -0.51. Let v = z + -0.4. Is -2 less than v?
True
Let b = 57 - 172/3. Which is bigger: b or -2?
b
Let k = -369/1738 - -6/79. Is 0 <= k?
False
Let o = -15.87 + 16.8. Let b = o - -0.07. Is 1 at least b?
True
Suppose 7 = -j + 2. Let m be ((-2)/4)/(2/16). Is m > j?
True
Let f = 33 - 33. Do f and 4 have the same value?
False
Let p be (2/3)/((-2)/(-6)). Suppose 0 = 5*i - 4*g - 14, 0 = 5*i - g + 2*g - 9. Is p bigger than i?
False
Suppose -l - 2*l = -39. Let d = l + -25/2. Which is smaller: d or 2?
d
Suppose 5*z - 213 + 63 = 0. Which is greater: 29 or z?
z
Suppose -3*w - 3*p = -0 - 15, 5*w = -4*p + 22. Suppose w*b + 1 = 35. Suppose 0 = -3*f + 5*l - 9, -5*f - 2*l - 1 + b = 0. Which is greater: 4/3 or f?
f
Let y(v) = v**3 - 6*v**2 - 7*v + 1. Let q be y(7). Let p = -7.98 + -0.02. Let a = -11 - p. Which is greater: q or a?
q
Let m = 33/2 + -16. Is m bigger than 1/7?
True
Let z = -259/3 - -87. Let o(f) = f**3 + 6*f**2 + 6*f. Let a be o(-6). Let h be 4/(-10) + a/(-15). Is h greater than z?
True
Let p = 0.136 - -94.864. Is p at least -1/2?
True
Let v = 54 + -33. Are -0.2 and v equal?
False
Let n be (1 - 1)/(9/(-3)). Is 3/7 at least as big as n?
True
Let n(v) = v**2 + 2*v. Let j(b) = 14*b**3 + b**2 - 2*b + 1. Let w be j(1). Suppose 0 = -3*a - 3*f + 6, 2*a + 3*f = -f + w. Let p be n(a). Are p and 4 nonequal?
True
Let a = 112/5 + -22. Let m = 5 - 5. Which is bigger: a or m?
a
Let c be (-8)/((-240)/54) - (1 - -1). Let m = -3.1 + 3. Let r = m - -0.1. Is c at least r?
False
Let k = -9 - -5. Let a be (k/(-26) - 1) + 1. Suppose -75*h + 3 = -72*h. Which is bigger: h or a?
h
Let b = -0.3 + 0.1. Let o = -2.4 - -2. Let t = o - 0.6. Is t greater than b?
False
Let d be 0/(1 - -2) + -8. Let v = -12 - d. Let h be ((-1)/2)/(v/(-32)). Are -4 and h non-equal?
False
Let i = -1.1 - 2.9. Is 1/3 at most i?
False
Let q = 42 - 51. Which is smaller: q or -10?
-10
Let c = -4 - -3. Let g = 32/11 + -277/99. Which is smaller: c or g?
c
Let m be -1 - 2/2 - 1. Let o(h) = h**3 + 3*h**2 + 1. Let z be o(m). Let y = 293/22 + -27/2. Which is bigger: y or z?
z
Let t be 18/(-15)*2/3. Is 0 at least t?
True
Let u = -799 - -892.9. Let y = -98 + u. Let d = y - -4. Is d smaller than 3?
True
Let q = -6.11 + 0.24. Let f = 0.13 - q. Let w = f - 4. Is w < -0.2?
False
Suppose 3*c + c = -u + 10, c = -u + 10. Which is smaller: u or -3?
-3
Suppose 5*m - 12 = -4*c, c - 2*m + 22 = 3*m. Is 0 at least c?
True
Let s be 0/(-5)*(-5)/(-15). Let w be (-1)/2*(-4)/(-38). Which is bigger: w or s?
s
Let j(c) = -2*c**2 - 6*c**3 + 4*c**2 - 5 + c + 5*c**2 + 5*c**3. Let t be j(7). Which is greater: t or 0.3?
t
Let i(d) = d**2 - 3*d - 22. Let k be i(-3). Which is greater: k or -3?
-3
Let h be (1 + -1)*(-2)/6. Let v = -0.21 + 3.21. Which is smaller: h or v?
h
Let d be 3/(6/(-4)) + 5. Suppose -4*m + 4*q = 8, -3*q + 6 = d*m - 0*q. Suppose 2*z + 2 = -0*z. Which is smaller: z or m?
z
Let n be ((-1)/2)/(1/(-2)). Suppose 5*l + n = -4. Let o = l - -1. Is 0 at least o?
True
Let y = 19 + -18. Do y and 0.05 have different values?
True
Let a be (-3)/(4*(-36)/(-32)). Which is smaller: -1 or a?
-1
Suppose -5*y = -1 - 4. Suppose -q = -6*q + 5. Let f be (q + -2)*(-2 + 0). Which is smaller: f or y?
y
Let h be ((-22)/(-9))/2 - 1. Let q = 5.6 - 5. Let y = -0.4 + q. Is h less than y?
False
Let m(v) = v - 9. Let h be m(9). Let y = h - 0. Is y equal to 1/7?
False
Let d be -6 + (-128)/(-24) - 235/(-351). Which is bigger: d or 1?
1
Let y = 15 + -25. Let m be (2/(-4))/((-25)/y). Is m less than or equal to 1/3?
True
Suppose 3*f = 2*f + 4. Let k be (-5)/(5/f) + 1. Is -2 less than or equal to k?
False
Let z = 29 + -30. Let q = -5461/20 - -273. Let a = 7/20 - q. Is a g