2*f + t = -2*m + 4, -2*f + 4*m + 16 = 0. Let b(u) = u**2 - 6*u - 3. Let y be b(6). Which is greater: y or f?
f
Suppose 3*j - 2*j = 3. Let w be j/4 + (-166)/(-8). Let g(c) = 3*c - 12. Let i be g(11). Are i and w unequal?
True
Suppose -181*z + 28938 = 190*z. Let d be (-10 + -2)*52/(-8). Is z not equal to d?
False
Let d = -0.0936 - 0.4064. Which is smaller: d or 57.9?
d
Let z(f) = f**3 - f**2 - 2*f + 1. Suppose 21*j = 26*j - 10. Let w be z(j). Which is greater: w or 1/207?
w
Let u = 125 + -627/5. Let a = 41 - 69. Let o = a - -61. Is u <= o?
True
Let v be 4/(-30) + 27923/24360. Let o = -7/8 + v. Which is greater: -1 or o?
o
Let u = -1693.628 - -1693.9. Which is smaller: 14/11 or u?
u
Let g(f) = f**2 + 12*f + 14. Let n be g(-11). Suppose 0 = 2*x - 4*a + 78, 2*x = -n*a + a - 108. Which is smaller: x or -47?
x
Let i = 6605/6 - 1101. Let a(k) = k + 15. Let q be a(-11). Suppose -3*h = -q*n + 2*h + 1, 2*n + 3 = -h. Which is smaller: i or n?
n
Let y = 40 + -39. Let x be (181*y/2)/(6/12). Which is greater: x or 1?
x
Let i be ((-1)/5)/(12/(-120)) - -34. Suppose -11*n - i = -17*n. Is n smaller than 13/2?
True
Let m = 308.3 - 323. Let i = -16.7 - m. Which is bigger: 0.007 or i?
0.007
Let x = -607 + 607.0538. Let s = x - -0.0462. Are -716/3 and s unequal?
True
Let b = -3403.9481 + 3404. Which is smaller: b or 1?
b
Let q = -102 - -37. Let p = 67 + q. Suppose 0 = -7*y + 5*y - p. Is 3/28 equal to y?
False
Suppose 16*r + 15*r + 193182 - 516884 = 0. Which is greater: r or 31322/3?
r
Let u = 29977.02 + -30265. Let a = u - -324. Let n = a - 36. Which is smaller: n or -2/11?
-2/11
Let w = -1/738 + 23/3526. Let x(v) = -8*v**2 - 3*v + 1. Let g be x(0). Which is smaller: w or g?
w
Let y = -8043 + 8044. Which is smaller: y or 4/841?
4/841
Let i = -35.199 + 35.4. Let p = 108 + -107. Is i at least as big as p?
False
Suppose 228 = 3*q + p + 76, -q + 3*p = -44. Let i be (-75)/q*(-3 + (-154)/(-54)). Which is bigger: i or 1.6?
1.6
Let n = 2765 - 2765. Which is greater: n or 2/2891?
2/2891
Let k = 293 + -235. Let h be ((-27)/18)/1*(-4)/k. Which is greater: 2 or h?
2
Let y = -2813087/12 - -13247538223/56508. Let c = y + -214/17. Which is smaller: c or 0?
0
Suppose -5*m - 101*d + 435 = -96*d, -4*m + 348 = 5*d. Let f be (-1)/(1/(-87)) + 2. Are f and m nonequal?
True
Let d(v) = v**3 + 7*v**2 + v - 4. Let q(z) = z. Let r(w) = -d(w) + 3*q(w). Let t be r(-7). Suppose -3*i + h - 40 = 0, 2*i - 3 + 23 = -h. Is i >= t?
False
Let y be 14*6/(-16)*((-360)/(-54) - 10). Let c = 0.82 + -0.02. Let z = 0.2 + c. Which is bigger: z or y?
y
Suppose 51*n = 38*n - 39 - 143. Which is greater: n or -239/17?
n
Suppose 4*j - 187 = -4*s - s, -4*j = 2*s - 202. Let x = j + -55. Let z be -4 + ((-66)/9)/x. Is 0.9 < z?
False
Let t = -92368 + 11545922/125. Which is smaller: t or 0?
t
Let r = -2047/9 - -227. Which is greater: r or -78?
r
Let s = 267 - 257. Let c = -10.3 + s. Are -2/13 and c non-equal?
True
Suppose 495*w + 120840 = -1519*w. Suppose -q - 52 = 9. Which is smaller: w or q?
q
Let y = -175.2 + 104. Let u = 48 - 119. Let h = u - y. Which is greater: -4 or h?
h
Suppose 3*j + 0*j + 4*i = 24, -4*j = 5*i - 31. Suppose -j*t + t = -9. Let z be (-11)/(-30) - t/(-9). Are 2 and z unequal?
True
Let j(q) = 2069*q - 2431. Let g be j(-5). Is -12777 < g?
True
Suppose -3*y + 3*q + 39 = 0, y = -2*y - 3*q + 57. Let p be (-2 - y/(-10))/(-35). Suppose -5 = -23*d + 18. Is d at most p?
False
Let n(z) = z**2 + 5*z - 2. Let f be n(5). Suppose -30*g - 129 = -3*w - 27*g, 3*g + 177 = 4*w. Is f greater than w?
False
Let z be 264/56 + (12/21)/2. Suppose 5*w + 7*h = z*h + 2, -3*h = -3. Which is smaller: w or 4?
w
Let m be (-1)/5 - 2965/175. Let d(o) = 7*o**2 - 5 + 6 - 25*o**2. Let n be d(1). Is m != n?
True
Let x = -0.07 - -0.16. Let u = -1743.6 + 1741.6. Which is smaller: x or u?
u
Let f = 22.4543 - 0.0543. Suppose 4*q + 0 + 4 = 0, 5 = v - 4*q. Is v less than f?
True
Suppose 204 = 4*v - a + 717, 5*v + 610 = -5*a. Let t = v + 83. Let m be (-388)/(-44) - (-1)/(t/(-8)). Which is greater: m or 0.5?
m
Suppose 7*b = -0*b + 21. Let c(u) = u**2 + 7*u - 24. Let n be c(b). Let o = 5 + -6. Which is bigger: o or n?
n
Let n = -0.239 + -1.361. Let a = 1.3 + n. Is -7/2 at least a?
False
Let b be 573/(-5)*5*160/76650. Let o = b + -2/511. Which is smaller: 2/15 or o?
o
Suppose -90 = -3*y + 2*y + 4*p, 4*p + 466 = 5*y. Suppose 5*c + 173 = 4*o - 68, -4*o + y = -2*c. Is -47 less than c?
False
Let h = 348 + -348.314. Let l = -0.614 - h. Which is greater: l or 0.22?
0.22
Suppose -241*c + 25 = -246*c - 5*k, -2*k - 10 = -3*c. Which is smaller: c or 3/2699?
c
Let i = -83 + 89. Let y be i/(-312)*2*(3 - -1). Is -2/3 bigger than y?
False
Let p = -0.161 + -19.239. Let j = 19.4 + p. Which is smaller: -58 or j?
-58
Let n = -1529.62 - -1529.82. Let l = -0.48 - -0.1. Which is smaller: l or n?
l
Let d = 27 + -26. Let o(l) = 15*l + 2. Let u be o(d). Suppose 19 - u = i. Is 0 at least as big as i?
False
Let m be ((-60)/8)/(-5)*76. Let j be m/(-30) + (0 - -4). Let o be (-11)/((-132)/(-20)) + 2. Is j smaller than o?
True
Let w = -4436/1645 - -116/47. Which is greater: w or -4/7?
w
Let g(d) = 2*d**3 - 27*d**2 - 50*d - 44. Let x be g(15). Which is smaller: x or -594/5?
x
Suppose -36*x - 1572 = -312. Let t = x - -7. Which is bigger: -30 or t?
t
Suppose -2*b = 5*x + 63, 3*b + 10 + 22 = 5*x. Let q be 15 - (8/(-2) + 4). Let g = q - 33. Is g at most as big as b?
False
Let l be (3 - 7/2) + (-4)/(-8). Suppose l = -3*w + 5*u - 188, -6*w = -w + 4*u + 301. Let n = -64 - w. Is -3 smaller than n?
False
Let u(n) = -26 + 0*n + 12*n + 3 + 13*n**2 - 11*n**2. Let f be u(2). Which is smaller: f or 2?
2
Let x(m) = -40 + 30 - 4*m - 33 - 20. Let l be x(4). Which is smaller: l or -80?
-80
Let z = 410 + 956. Is -0.1 <= z?
True
Let k be (64/(-76) - 3) + 162/(-18) + 14. Is -4 <= k?
True
Let j = 96 + -482/5. Let x = 18.5885 + -1.5885. Does x = j?
False
Let j = -204/53 + 914/265. Does -27/107 = j?
False
Let f = -37 + 12. Let w = -82.946 + 83. Let c = w - -0.046. Which is smaller: f or c?
f
Let h be 10539921/(-8217) + 2/6. Is -1283 at most h?
True
Let p = 59.3586 + 0.3414. Is -2 <= p?
True
Let w be (1/12)/((-205)/(-328)). Is 3.2 greater than w?
True
Let h = -35 + 16. Suppose -4*j + 24 = 40. Let m be 5 + -11 + -9 + j. Are h and m non-equal?
False
Suppose -2*g = 43*i - 46*i - 9, g - 8 = 5*i. Suppose -18*c + 1 = -19*c - a, -g*a + 2 = -2*c. Which is greater: -84 or c?
c
Let g = 19.7 + -15. Let h = -7.1 + g. Let c = h + -4.6. Which is smaller: -0.1 or c?
c
Let l(q) = -38*q - 475. Let c be l(0). Let g = c - -474. Does -28/13 = g?
False
Let c(y) = -y**3 + 8*y + 8*y + 5*y**2 - 11 - 15. Suppose 4*n = 4*m + 16, 3*n - 4*m + 65 = 75. Let k be c(n). Which is greater: k or 35?
35
Suppose 2*h - 6 = -0*h - 2*r, -h = -3*r - 7. Let f be 5/1 + h - 3. Suppose -4*c + 26 = -f*c. Does c = -1?
False
Suppose 7*f + 23 = -5. Let i be ((-33)/(-27) + f/18)/(-1). Let p be (-2 - i)*((-42)/(-7) + -7). Is p bigger than 7/8?
True
Let z = 90 + 45. Let y be (827175/3690)/((-10)/(-6)). Does y = z?
False
Let z = 11756/5 - 2343. Let v(q) = 34*q + 54. Let b be v(-35). Let a = b - -1145. Which is smaller: z or a?
z
Let o = -83 - -89. Let i(k) = k**3 - 4*k**2 - 8*k + 6. Let g be i(o). Let n = 3 + 26. Which is smaller: n or g?
n
Suppose 5*z + 49 = h, 0 = 191*z - 186*z - 2*h + 48. Which is smaller: 3 or z?
z
Let t = -2.61 + 177.61. Let h = t - 175.1. Let n = 18 + -25. Which is smaller: h or n?
n
Let r = 10223/7 + -1463. Let w = -48886 + 48886.1. Is r smaller than w?
True
Let x be -3*(6 - (-2)/(-2)). Let a(p) = 600*p + 22187. Let z be a(-37). Does z = x?
False
Let u be 0 + (-4756)/72 - ((-988)/(-171))/(-26). Is u at most -65?
True
Let l = 51/47 - 208/235. Is 1.153 less than l?
False
Suppose -2*x = -3*n - 1115, -2*n + 3*x - 524 = 211. Let i = n + 606. Are 231 and i non-equal?
False
Let l(a) = -20*a**2 - 6*a - 4. Suppose -6*z - 4*w = -z + 25, -10 = 2*w. Let v be l(z). Is v at most as big as -21?
False
Let a(m) = m + 49. Let k be a(-14). Let z be 756/k - (-4)/10. Which is bigger: z or 25?
25
Let y = 13202392787/43914 - 300642. Which is smaller: y or -1?
-1
Let w = -309/136 - -27651/9656. Are w and 0 equal?
False
Suppose -3*o + 4*h + 1798 = 0, 9*o = 6*o + h + 1786. Which is smaller: 597 or o?
o
Let w = -6352 - -5933. Is 11 at most as big as w