 x = i - 154. Which is smaller: x or z?
z
Let n(q) = -q**3 - 5*q**2 + 9*q - 5. Let w be n(-5). Let i be 1070/(-708) + (-75)/w. Is 1 greater than i?
True
Let n = -113.4 - -115.4. Is n >= -82/9?
True
Suppose 5*c + 680 = -4*g, -c + g - 191 + 37 = 0. Let m be (-648)/(-3)*(-2)/3. Does c = m?
True
Suppose -5362 + 21272 = -43*f. Let x = 368 + f. Is x smaller than 26?
True
Let j be (2/4)/((-2)/36). Suppose 4*g - 5*k + 11 = 154, 4*k + 181 = 5*g. Suppose 2*v - 35 = -2*u - g, -3*v - u = 5. Is v at most j?
False
Let n be (7/3)/(8/12). Let k = 11.9067 + -11.7067. Is n bigger than k?
True
Let g be (-2)/(-11) - ((-4)/1404678)/(124/(-7918299)). Is g bigger than 0?
False
Suppose -4*q = 3*k - 19, -5*k + 29 = 3*q + q. Suppose -591 = 19*d - 3498. Suppose -k*t + d = 3. Which is smaller: t or 28?
28
Let n = -208 - 70. Let y = n - -277. Let z = -1/317 + -619/4755. Is y smaller than z?
True
Let f = 8364 - 8363. Is 8/3213 bigger than f?
False
Let l = 2082 + -2083. Are l and 3168 nonequal?
True
Let u(b) = -2*b**2 - 68*b - 477. Let v be u(-37). Which is bigger: -701 or v?
v
Let k(w) = 2*w + 5. Suppose 0 = -0*b + b. Let g be k(b). Suppose q + g = -3*l, -2*l + q + 2*q = -4. Is l greater than 18?
False
Suppose -12*n + 15*n - 108 = 0. Suppose -177 = -4*a + m, -2*a + n = -a - 3*m. Let u be 9*5 + -2 + 3 + -2. Which is smaller: a or u?
u
Suppose -6*q + 152 = -2*o - 4*q, o + 70 = -2*q. Let p be (-135)/(-27)*(-1 - 76/o). Are p and 2 nonequal?
True
Let l = -644 - -610. Let q be 2/(-4) + (-2)/8. Which is greater: q or l?
q
Suppose 2*c + 0*c + 6 = 0, 4*u - 1 = -5*c. Suppose 0 = 4*n + 4*s - 12, 5*n - 5*s = -u*s + 9. Suppose k = -5*t + 22, -4*k = t + 7 - 0. Which is bigger: t or n?
t
Let r = 134709/22 + -6123. Which is greater: 0.127 or r?
r
Suppose 0 = -2*s - 4*v - 26, -3*s - 4*v - 45 = -10. Let u = -6 - s. Let q = 134945 + -134939. Is q bigger than u?
True
Let x = 11 + -9. Suppose x*m + 16 = 3*t, -4*t = 3*m - 0 + 7. Suppose -t*n + 3 = -n. Which is smaller: n or -0.1?
-0.1
Suppose v = -25 + 22, -522 = -3*z - v. Is z smaller than 878/5?
True
Suppose -336*s - 19672 - 27153 = -10873. Are -160 and s equal?
False
Let c = 7423 + -7744. Which is smaller: c or 4?
c
Let v = 641 - 441. Let j = v - 205. Which is bigger: j or -7/3?
-7/3
Suppose 4 = -7*j - 38. Let d be j/(-16) + (-327)/(-24). Suppose 8*u - 48 = d*u. Is 2/3 smaller than u?
False
Let k(i) = -212*i + 212. Let m be k(1). Is m greater than or equal to -2/2081?
True
Let l = 110 - 113. Let o be (-180)/22020*(-2)/l. Are -1 and o equal?
False
Let u(k) = k**3 - 15*k**2 + 21*k - 4. Let n be u(12). Let b be (1 + -41)*n/1748. Which is greater: -2/7 or b?
b
Let d = -41 + 27. Let s = d + 17. Suppose -4*u + 174 = -2*o, 0 = 2*u + s*o - 2 - 81. Is 42 less than u?
True
Let r be 19506/54 + (-6)/27. Let a = -17709 - -18070. Is r bigger than a?
False
Let t = -17930994 - -878710529/49. Let j = t + -1874. Which is greater: j or 1/2?
1/2
Let v be (0 + 1)*((-54)/(-99) + 2685/(-4983)). Does -1/3 = v?
False
Suppose 6*d + 1004 = 2966. Let n = 333 - d. Suppose 3*b - 15 = 4*r, b + 5*r = -b + 10. Which is greater: b or n?
n
Let f be 4/(-6)*126/(-12). Let t be 5/15*(-3 + 5 + f). Suppose t*l = -59 - 40. Is -33 != l?
False
Let t(f) = 12*f**2 + 2*f + 1. Let p be t(2). Let q(z) = -z**3 - 13*z**2 + 9*z - 6. Let k be q(-10). Let a be (-21060)/k - 4/22. Are a and p non-equal?
False
Let p = 22 + 19. Let y be (-16)/28 + 44/28. Let k be (-83 + y)*1/(-2). Is p <= k?
True
Let d(f) = 0 + 8 - 6582*f + 3289*f + 3291*f. Let h(c) = -c**3 - c**2 + c - 5. Let l be h(0). Let m be d(l). Is m != 1?
True
Let h = -1862 - -1848.881. Let u = 13.1 + h. Which is greater: 0.2 or u?
0.2
Let i = -18446/39 + 1430/3. Which is smaller: -7 or i?
-7
Suppose -5*o + 322 + 1089 = -p, -4*o + 3*p = -1120. Let j = 3122/11 - o. Let y = j + -137/154. Are -1 and y equal?
False
Let h = -3/1159 - -3113/307135. Is h >= -8?
True
Let c = 7372055 + -258040123/35. Let h = 520 + c. Let u(k) = -k**2 - 9*k - 1. Let d be u(-9). Which is smaller: h or d?
d
Suppose 0 = -4*y + 3*b + 212, 0*y - 5*b = -y + 70. Let l = y + -43. Suppose m + l = -9. Is m not equal to -16?
False
Let f(v) = 2*v**2 + 7*v + 7. Let q be f(-6). Let u(x) = -x**2 + x + 6. Let t be u(2). Suppose 44 = -t*m + 188. Which is smaller: m or q?
m
Suppose -13616 = 113*z - 117*z. Let w = z - 595702/175. Suppose -5*f + 8 = -2*u, -3*f + 4 + 1 = -u. Is w at most as big as u?
True
Suppose -10661 = -2*d - 117*d - 3045. Which is greater: d or 18?
d
Let m = -127 - -122. Let f be m - (6/14 - (-23244)/(-4550)). Suppose 0 = 3*t - 15, 5*t - 18 = 3*o + 2*t. Is o > f?
False
Suppose 0 = -m - 1491*o + 1493*o - 124, -2*o = 4*m + 486. Let l be (23 - 1)*44/(-8). Is m less than l?
True
Let c = 2.78 - -6.26. Let l = c + -8.24. Are -7 and l nonequal?
True
Let n = 3021 - 3019. Is n less than 2229?
True
Let n = -142.532 + 142. Let p = -9019 - -9019. Which is greater: n or p?
p
Let q be (468/(-51))/(-4) + -3. Let b(a) = a**2 + 9*a + 7. Let u(g) = -g**2 + 7*g. Let j be u(8). Let p be b(j). Is p smaller than q?
True
Suppose 0*i + 13*i = 39. Suppose -16*p + 151 = -15*p - 3*u, -i*p = -4*u - 458. Is p <= 153?
False
Let m be ((-18)/30)/((-2)/10). Suppose -m*j + 110 = 17. Let l = -47 - -78. Are l and j non-equal?
False
Suppose n - i - 112 = 0, -7*n = -2*n + i - 548. Let o be (-14)/n + (-6)/(-15). Is 2/11 < o?
True
Suppose z + l = -l - 252, 249 = -z + l. Let g = z - -253. Which is bigger: 12/5 or g?
g
Suppose -4*j + 5*j + 1 = 0. Let h be j*(8 - 5) - -5. Are h and 58/17 nonequal?
True
Let q = -50 - -43. Let t = -1032.038 - -1032. Do q and t have the same value?
False
Let f(y) = y**3 - 19*y**2 - 25*y + 47. Let g(q) = q**3 + 5*q**2 - 15*q + 13. Let i be g(-7). Let v be f(i). Are v and -54 equal?
False
Let v = 7729 - 347807/45. Let g be ((-6)/(-7))/((-5)/14). Let p = 19/10 + g. Do p and v have the same value?
False
Let p(c) = 27*c - 72. Let w be p(5). Let v be (w/(-30156))/(1/(-4)). Does v = 0?
False
Let q = -29253/13921990 - -1/14134. Let t = 21814 + -21815. Which is greater: q or t?
q
Let c = 164 - -3. Let f = -249 + c. Is f >= -0.1?
False
Suppose 3*f - 7 + 4 = 0. Let w be (-9)/4*f/(-2). Let s(t) = 5284*t + 1. Let x be s(0). Which is smaller: w or x?
x
Let z = 20.72 + -6.62. Do z and -0.11 have the same value?
False
Let p(c) = c**3 + 3*c**2 - c - 5. Let t be p(-4). Let i = t + 24. Suppose 2*g - i*g = -0*g. Which is smaller: 1/11 or g?
g
Suppose -3*c - 53 = -5. Let x be 2 - c/(-9) - 375/(-297). Let l = -7/22 + x. Is l at least as big as 2?
False
Let v = 4189.9864 + -4190. Is v at most as big as 2/3?
True
Let d = 3128 + -3128. Which is smaller: d or -5/874?
-5/874
Suppose 0 = -2*o - 6, -4*d + 3*o = -9 - 40. Let s be (d/100)/(6/(-42)). Which is bigger: -1 or s?
s
Suppose 0 = -4*k - 24*k - 28*k + 56. Is 1/939 smaller than k?
True
Let d be (-2)/3 - (-812)/(-6). Let o(v) = -v**2 - 81*v + 9996. Let j be o(-149). Are j and d non-equal?
False
Suppose -111*z = -10*z - 50*z. Suppose -4*p + 458 = 2*n, 9*p = 4*p - n + 580. Which is greater: p or z?
p
Suppose -5 = 5*d, 4*b + 416 = -4*d - 484. Let n be 3 - (5 + b/104). Is n smaller than 0?
False
Let m = -4/819 + 21386/18837. Suppose 5*b = 4*w - 22, b + w - 10 + 0 = 0. Which is smaller: b or m?
m
Let a be -6*(143/39 - (-5)/(-1)). Let q(i) = 5*i - 10. Let z(n) = 11*n - 19. Let l(r) = -7*q(r) + 3*z(r). Let f be l(a). Is -6 < f?
True
Suppose 55*g = 57*g + 2*z - 6, 5*g - 13 = -3*z. Suppose -3*c - w - 62 = -228, -c - g*w = -62. Do 54 and c have different values?
False
Let i = 26699996/5737 + -4654. Do i and 0 have the same value?
False
Let z = -0.4483 + 0.458. Let r = 0.2097 - z. Let j = 270 + -802/3. Which is smaller: r or j?
r
Suppose 7*f = 5*f + 40. Suppose f = -3*b + 82*h - 86*h, -4*b - 3*h - 29 = 0. Suppose -5*u + m - 42 = 0, 2*u + 26 = -0*u + 5*m. Is u <= b?
True
Let s = 24 - 22. Let g = -141 + 1133/8. Which is smaller: s or g?
g
Suppose 5*d + 1270 = s, 0 = -7*d + 3*d + 3*s - 1027. Let t = -2239/9 - d. Is 4 < t?
True
Let a = 5618 + -5620. Is a < 267/5?
True
Let v be 39/(-6) + 5/(-10). Let s = 5 + v. Let u be 140/(-154) + 0 + s/(-2). Which is greater: u or -1?
u
Suppose -86*l = -82*l - 12. Suppose -21 = -2*z - l*z + 4*s, 20 = -5*s. Is 5/7 greater than or equal to z?
False
Let o be ((-942)/(-8))/((-10)/100) - 0. Let n = -5922/5 - o. Is -7 less than n?
T