es m = 1?
False
Let j(x) = -x**2 + 8*x - 6. Let z be j(7). Let c be 3/(-1) - (1 + -3). Let l(u) = -u**2 - 3*u - 1. Let y be l(c). Is y not equal to z?
False
Let i(y) = 7*y - 4. Let h be i(-5). Let m be h/7 + (-6)/14. Let d be 0/(m/2 + 7). Which is smaller: d or 3?
d
Suppose -114 = 5*m - u, -2*m - 6*u = -9*u + 56. Is m at most -23?
False
Let c = -7155 + 7143. Let a = -962 + 2846/3. Which is bigger: c or a?
c
Suppose -6*i + s = -i - 23, -5*i + 5*s = -35. Let x(k) = -k**3 - 7*k**2 + 2. Let u be x(-7). Is i > u?
True
Let g = -1232963790859/10010 + 123173206. Let z = g - 9/154. Which is smaller: -1 or z?
-1
Suppose -2*m + 146 = 34. Let j = 55 - m. Let o = -412 + 7832/19. Is j at most o?
True
Let k be 5/2*5/(-50)*-72. Are 21 and k non-equal?
True
Let p = 1110.03 + -1110. Let h = 14 - 43/3. Is h < p?
True
Let k = 1713 - 1714. Is 750 equal to k?
False
Suppose 2*c - 8 = 4*c. Let g(u) = -u**2 - 4*u - 1. Let n be g(c). Let a be 6/(-4)*(-32)/(-168). Is n less than or equal to a?
True
Let b(z) = -35*z + 34. Let y be b(1). Which is smaller: y or -23/12?
-23/12
Let z = -32 + 14. Let n = 50/3 + z. Which is bigger: -2 or n?
n
Suppose r + 14 = 5*t, t - 9 = -t - 3*r. Let i = 14 - 12. Let m be 1/t*2/i. Which is smaller: -1 or m?
-1
Let m = 134 - 270. Which is bigger: m or -137?
m
Let f = 243 + -8020/33. Let g = 10/33 - f. Are -0.01 and g non-equal?
True
Let j = 57 + -54.4. Let d = -0.6 + j. Let f = 5/16 + 7/80. Which is bigger: f or d?
d
Suppose 4*l = -2*b + 96, -7*l + 6*l = -b - 27. Let s = l + -62. Is -36 at least as big as s?
True
Let p be (-3)/333*(-29013)/(-6). Let h = -7/111 - p. Let g = 42 - h. Are -2/5 and g nonequal?
True
Let x be (-26)/(-39)*207/(-39). Which is bigger: -4 or x?
x
Suppose -5*a - 12 = 8. Let t be (-7 - (4 - 3))*50/(-4). Let b be (t/3)/(-5) + 2. Which is bigger: b or a?
a
Let a = 24 - 16. Let x = 7.9 - -2.1. Let g = x - a. Which is smaller: g or 1?
1
Let g(j) = -j**3 - 3*j**2 + 4*j. Let s be 3*1*12/(-9). Let v be g(s). Let b = -5/8 - -7/8. Which is smaller: v or b?
v
Let f be (-20)/(-24)*(1 + 13/(-10)). Is -0.074 greater than f?
True
Let k(n) = -2 - 6 - 6 - 2*n. Let u be k(8). Let h be 27/(-95) + u/(-50). Do -1 and h have the same value?
False
Suppose -2*i - 10*u + 9*u = 2, -4*u + 10 = 2*i. Let r = -38 - -58. Which is smaller: i or r?
i
Suppose 7*p = -170 - 446. Let f be 2/((-99)/p + 2/(-16)). Does f = 26/15?
False
Let m = 4 - 14. Let t = -3 - m. Let b = -8 + t. Which is smaller: b or 1/2?
b
Let t be (-70)/15*(-12)/(-8). Suppose 0 = 5*a - 2*a. Suppose a = -3*m - 2*s + 10, -5*s = m - 6*m - 25. Is m <= t?
False
Suppose 0 = 13*a - 26*a. Which is bigger: 15/19 or a?
15/19
Let u be 2*13 + (-48)/(-176)*11. Which is smaller: u or 25?
25
Let g = -0.18 - 0.92. Let n = g + 0.35. Let c = 0.8 + n. Is 0.1 <= c?
False
Let h(x) = 29*x - 326. Let u be h(11). Which is greater: -22 or u?
u
Let m = 0.6396 - 90.3696. Let y = m + 90. Which is greater: y or 1?
1
Suppose 8 = r - 2*r. Let l(c) = -6*c - 23. Let u be l(r). Is u <= 24?
False
Let d = 2401277287/333315504480 + 4/15295315. Let m = d + -4/227. Is -1 != m?
True
Suppose 0 = -4*f + 12 + 8. Suppose -f*m + 6 = -4. Which is smaller: m or -1/10?
-1/10
Let b = 9 + -21. Let d(t) = -3*t - 36. Suppose 14 = 4*c + 46. Let l be d(c). Is l less than or equal to b?
True
Let w = -1463 + 7317/5. Which is greater: 269 or w?
269
Let i = -113 + 115. Suppose y - i + 1 = 0. Are y and 22/9 equal?
False
Let x = 31 + -15. Let a = -5 + -10. Let h = x + a. Is 1 bigger than h?
False
Let x(o) = -o**3 + 9*o**2 - 10. Let i be x(9). Let v be i/2*4/8. Let s = -92/3 + 31. Is v < s?
True
Let l = -18 - -18. Suppose l = b + b + 2. Suppose -2*j = -4*i - j - 9, 2*i = 4*j - 8. Which is greater: i or b?
b
Let m be ((-5)/(15/4))/(2/6). Let n be 2/4*24/(m/2). Which is greater: -22/3 or n?
n
Suppose 0 = -3*x + 4*x - 1. Suppose -n + x = -2. Let d = n - 6. Is d != -3?
False
Suppose -2*g - 16 - 10 = 0. Are -14 and g equal?
False
Let w = -9 + 8. Let v be -5 + (-4 - 129/(-18)). Which is smaller: w or v?
v
Let i be (80/24)/10*39*-1. Is -4 <= i?
False
Suppose -5*b + 135 = -4*g, -b - 5*g - 2 = -0*b. Let l = -25 + b. Let w be ((-12)/(-20))/(3/(-15)). Is l at most as big as w?
False
Let b be 1/(-4)*-4 - -3. Suppose b*z - 4*m + 97 + 3 = 0, -3*z + m = 71. Is z at least as big as -21?
False
Suppose 0 = 2*j + u + 87, 3*j + 26 + 122 = 2*u. Which is smaller: -43 or j?
j
Let i be (-12)/(-186) + (-4338)/6696. Which is smaller: 7 or i?
i
Let f = 179.9 + -181.9. Which is smaller: -115 or f?
-115
Let o(m) = -m + 37. Let l be o(14). Suppose -3*q - l - 7 = 0. Let i(d) = 12*d + 1. Let n be i(-1). Is n < q?
True
Suppose -5*r = 2*c + 9, 24 = -4*c - 3*r - r. Suppose 22*b - 25*b - 36 = 0. Let i = c - b. Which is greater: 21/4 or i?
21/4
Let a = 1161 + -1167. Let r = 0.3 + -0.4. Let m = r + 0.3. Is m less than or equal to a?
False
Let a = 19 - 24. Let h be (-2)/((-6)/45) - (-6 - a). Which is greater: h or 0.3?
h
Suppose -3*f = -3*l + 3, -2*l - 2*f - 3 = -3*f. Is -9 at least l?
False
Let d = 107768/241155 + -196/1035. Let j = d - -30809/699. Let k = j + -45. Does k = 0?
False
Let t = 22 - 14. Let z(f) = -f**2 + 9*f - 4. Let a be z(t). Suppose 0*x - 6 = x - 5*h, -4*x = a*h. Is -2/9 equal to x?
False
Let l = -133 + 132. Is l smaller than 26/15?
True
Let r(i) = 3*i - 17. Let l be r(14). Let x = 12.3 + -13.3. Is l equal to x?
False
Let q(o) = 38*o + 374. Let v be q(-10). Let z = 9 - 17. Which is bigger: v or z?
v
Let x be (-6)/66 + (-51552)/(-66). Is x >= 782?
False
Let l = 69.134 - 69. Is -1 >= l?
False
Let r(u) = -2*u**2 - 9*u - 4. Let c be r(-7). Let p be (606/c)/(2/(-18)). Let z = -140 + p. Which is bigger: z or -1?
z
Let o be (2072/(-12))/(2 - 4). Let r = 87 - o. Suppose 4*p + 0*p = 8. Which is smaller: r or p?
r
Let v = -81 - -80. Which is smaller: v or 1/19?
v
Let w = 0.1803 + 7.8197. Let p = 4 - 0. Which is smaller: p or w?
p
Let w be (4/(-2))/(1 + -3). Let z = -121/1975 - -8/79. Which is smaller: z or w?
z
Let y be (-1 + 4)/((-8289)/1380 - -6). Let w be y/(-245) + 2*-1. Which is smaller: w or 1?
w
Suppose 0*l + 11 = -l - 3*z, 3*z + 17 = 5*l. Let a = 1 + l. Suppose -18*y - 6*y + 96 = 0. Which is smaller: a or y?
a
Let b = 0.156 - 1.156. Which is bigger: -1/5 or b?
-1/5
Let t = 0 - -1. Let g = t - 11. Let v = 9.8 + g. Is 2/13 <= v?
False
Suppose -3*d + 8 + 7 = 0. Suppose 2*v - 7*v + 7 = -s, d*s = 3*v - 13. Let n be ((-45)/20)/((-6)/16). Which is greater: v or n?
n
Let o = 1 - 3. Let m = -0.159 - -0.109. Which is bigger: o or m?
m
Let z = 54 - 54. Is -0.0337 smaller than z?
True
Suppose 171 = 8*m - 517. Let h = 427/5 - m. Which is bigger: -0.06 or h?
-0.06
Let o = 504 + -525. Are -0.2 and o equal?
False
Let b be (3225/60)/((-34)/(-8) - 2). Is b equal to 23?
False
Let z = -0.23 - -0.07. Let d = 1.2 + z. Let s = d + -0.04. Which is greater: s or 2?
2
Suppose 0 = -4*m - 8 + 64. Let o be (-2)/(-1*(0 - -1)). Let n be -2 + (-2)/(o/(-17)). Which is smaller: n or m?
m
Let j be 6 + -7 - (-2 - 1). Suppose 0 = 2*a - j*v + 26, a + 5*v - 7 = 4. Let y = 15 + a. Is -2/5 equal to y?
False
Let z = -214 - -222. Is z greater than or equal to 22?
False
Let v = -4 + 3.92. Let h = 890.6 + -891. Which is bigger: v or h?
v
Let k(i) = i**3 + 17*i**2 + 22. Let t be k(-17). Let x be 1 + t/(-6) + 3. Is 0.3 > x?
False
Let m(k) = k**3 + 8*k**2 + 1. Let r be m(-8). Let p(y) = 6*y**2 - 1. Let x be p(1). Suppose -2*w = -g + 7 - r, -3*g - x*w = 4. Is 2 at least as big as g?
True
Let r = -0.2 - 7. Let t = -124.2 + 125. Let z = t - r. Is z not equal to 0?
True
Let c = 46 - -841. Let x be 16 + -19 - (c/295)/(-1). Which is smaller: 0 or x?
0
Let a = -152 + 193. Is 42 not equal to a?
True
Suppose -13*b = -15*b - 24. Are b and -13 unequal?
True
Let t be (-48 + 0)/(-3) - 0. Suppose 4*s + t = -8. Let i be (s/4)/((-66)/8). Which is smaller: i or -1/4?
-1/4
Suppose -3*g + 3 = -6*g. Let z(p) = -18*p - 1. Let y be z(g). Suppose 7*m + 2*c = 2*m - 19, c + y = -5*m. Is m greater than or equal to -3?
True
Suppose 3*x - 24 = -12. Let a be (-24)/(-16)*x/6. Which is smaller: a or 14/25?
14/25
Suppose 4*o = -4*l - 60, -3*l - 3*o + 8*o - 85 = 0. Let k be 2/(l/12 - -1). Let u be 1 + -3 + 2 + k. Which is bigger: 1/3 or u?
1/3
Let q = 23 + -23.09. Let s = -66.11 - -66. Let v = q + s. Is 5 < v?
False
Let t = -963 + 962. Is -3/2