ue
Let d = -3692632 + 33196765/9. Let n = d - -4107. Which is smaller: n or 5?
n
Suppose 47*z - 7 = -133 - 15. Is -57/20 greater than or equal to z?
True
Let x(n) = -27*n**3 - 17*n**2 + 42*n + 1. Let f be x(2). Suppose 11*h + 1253 = -936. Are f and h nonequal?
False
Let o be (365/6 + 1/2)*3. Suppose 181*q + 273 = o*q. Let a = q - 77. Is a at most as big as 14?
True
Let q be -1*(-5)/20 + (-345)/(-12). Suppose -2*u + 3*b + 22 + 15 = 0, q = 4*u + 3*b. Suppose 3*o = 2*o - 3*t + 12, o - 4*t = 5. Which is greater: u or o?
u
Let u be 13/(-39) + (-37)/(-3). Let m be (-1)/(-3*u/210). Is 7 < m?
False
Suppose 3*g - 4*y + 31 = 0, 3*g - 125*y = -122*y - 27. Which is smaller: g or 73/7?
g
Let l = 807 - 807.229. Let u = 16.771 - l. Which is greater: -9 or u?
u
Let q = 344 - 342. Suppose q*j + 4 = 3*p, -4*p = -4 - 4. Let h be (-2)/132*(4 + 0). Are h and j equal?
False
Let f = 16 + -22. Let a be (12/(-3) - (3 + f))*-1. Which is greater: a or 8/15?
a
Suppose -8 + 4 = -5*s + 3*g, -5*g + 6 = -2*s. Suppose x - 3*a - 41 = -14, -3*x + 74 = -s*a. Let f(w) = -9*w - 2. Let q be f(-3). Which is bigger: q or x?
q
Suppose 2*j + 239 = 3*z + 263, -4*z - 32 = -3*j. Is 3/5363 != j?
True
Suppose -8 = -2*q, 5*q = 3*y - 4 + 12. Suppose 44*f = 43*f + y. Suppose 4*g + 16 = -f*x + x, -3*g - x = 7. Is 2/121 greater than g?
True
Let k = -5007 + 5588. Which is greater: k or 582?
582
Let n be -3 - (88253/2147 + 4/(-38)). Which is bigger: -9 or n?
-9
Suppose 24 = -2*t - 4*u, -34*t + 31*t - u = 66. Is -9 at most t?
False
Let c be (3179/165 + -19)*(-10)/(-81). Which is greater: -1 or c?
c
Let x = 0.1237 - 0.3237. Which is greater: x or -23.2?
x
Let m = -2660.1 - -2655. Which is smaller: -3 or m?
m
Let t = 1237138 - 216498564/175. Let n = t + 2/25. Which is greater: n or 3?
n
Let k be (3/(60/(-88)))/(2/(-40)). Let f be (-4)/20 + k/(-10). Suppose 0 = 5*q + 21 + 9. Are f and q equal?
False
Let g = 83 + -67. Suppose b + 3*q = -19, 2*b + 22 + g = 4*q. Which is smaller: b or -94/5?
b
Let j(d) = -d**3 + 14*d**2 - 33*d + 17. Let z be j(11). Let i be 20/170 - (-185)/z. Let v(p) = p**3 + 5*p**2 + 2*p + 2. Let o be v(-2). Which is bigger: o or i?
i
Suppose -4*f - 4*f + 16 = 0. Suppose u = -46 + f. Let w = u + 58. Is w equal to 14?
True
Suppose 4*m - 14 = -3*o, -m + 5*o + 11 = -4. Suppose m*p = 1253 - 493. Let h = p - 297/2. Which is bigger: 4 or h?
4
Suppose -3*k = 4*x - 2 - 3, -x = -k - 3. Suppose 0 = z + 2*s + 3, -27 = -0*z + x*z - 3*s. Let a = 7.1 + -10.1. Which is bigger: a or z?
a
Let a = -0.055 - 38.945. Let c = 3.433 + -46.333. Let i = a - c. Is i at least as big as -0.1?
True
Let x be (-10 + 24)*-14 - -14. Is x greater than -199?
True
Let f = 101/3 + -34. Let z = -81.5146 - 0.0854. Let x = -81 - z. Are f and x unequal?
True
Let x = 42.2 - -0.8. Let l = x + -45.4. Let v = l + 40.4. Which is greater: v or 0?
v
Let t = 497 - 331. Let s = -166.2 + t. Is s < -132?
False
Suppose 0 = 40510*v - 40519*v - 44991. Are -4999 and v nonequal?
False
Let x = -5664/5 - -5584699/4930. Which is smaller: -1 or x?
-1
Suppose 42 = 13*i + 3. Suppose 3*b + 3*h + i = -b, -2*b + 3*h + 3 = 0. Which is greater: b or -74?
b
Let x = -0.3831 + 0.0831. Is -34 at least as big as x?
False
Let s be (47/(-1) + 0 + 4)*1. Let q = -41 - s. Suppose 6 = 5*l - q*l. Which is smaller: 5/6 or l?
5/6
Let o be (18 - 18) + (-4)/(-3 - 1). Is 8/9 greater than or equal to o?
False
Suppose h = 4, -32 = -2*l + 6*l - h. Let m be 1848/(-110) - (1 + l). Let w be 2*(33/2)/(-3). Which is smaller: w or m?
w
Suppose -7*o + 66*o = -177. Suppose 5 = m + 3*d - 18, m = -4*d + 23. Suppose 5*p + m + 2 = 0. Which is bigger: p or o?
o
Let w = -158.6 - -137. Let h = 21.5 + w. Which is smaller: 60 or h?
h
Let t = -2181 - -1955. Is -226 at least as big as t?
True
Let y(p) = -51 - 993*p + 1007*p + p**2 - 21. Let j be y(-18). Is j <= -93?
False
Let m(t) = 27*t**2 - 23*t. Let n be m(0). Is n < -2/13687?
False
Let x = 33 + -30. Suppose x*l = 6 + 9. Suppose 0 = l*z + 23 - 8. Is z at most -4?
False
Let a be 1316/235 + (-12)/2. Which is greater: a or -534?
a
Suppose 2 = -n, 2*n = -2*m - 2*m - 44. Let z(c) = c**2 + 10*c + 3. Let t be z(m). Let q be (t + -1)*(5/10 - 1). Is 2/5 at most q?
False
Let u = -2/1773 + 3608/54963. Let w = u - 47/248. Which is smaller: -1 or w?
-1
Let m be 2460/(-27)*(-8556)/(-248). Are m and -3143 nonequal?
True
Let x be 87168/117 + 84/273. Which is smaller: 745 or x?
745
Suppose -6 = -5*n - 2*b + 3, -4*b + 12 = 4*n. Let k be 7 - (0/n + 2). Suppose 0 = 3*m + 5*x + 23, -44 + 17 = k*m - 3*x. Do -8 and m have different values?
True
Let d = 6 + 23. Suppose 0 = 22*b - 98 + 32. Suppose -b*y + 37 + 50 = 0. Is d less than or equal to y?
True
Let y = 47 + -13. Suppose 0*r - y = 3*r + j, -3*j - 12 = 0. Let i = -141468/11 + 12852. Is i >= r?
True
Suppose -4*t - 2*p + 274 = 0, 0*p + 82 = t - 4*p. Suppose -5*u = 3*l + 97, 0 = -3*l - u - t - 7. Which is smaller: -23 or l?
l
Let i = 19633/27 + -727. Let b be (-32711)/(-119) + (3 - 49/17). Let r = b + -275. Is i less than r?
False
Suppose -3*v - 2*n = -19 + 266, -2*n = -v - 69. Which is bigger: -80 or v?
v
Let j = 2.89 - -14.45. Let y = 14.785 + 2.215. Let w = y - j. Do 2/7 and w have different values?
True
Suppose -2*b - 20 = 2*o, -4*o - 4*b + 3*b = 28. Let g(c) = 7*c + 47. Let v be g(o). Suppose -2*z = -4*z + 8, -56 = -4*k - v*z. Is 9 equal to k?
True
Let h = -186.769 - 0.231. Let b = h + 334. Which is greater: b or 0?
b
Let n = 38 + -38. Let u(i) = -i**2 - 24*i + 9. Let t be u(-17). Let m be (-2)/9 - t/(-171). Which is smaller: n or m?
n
Let o be (1 - -21)*(-4)/(-22) + -5. Which is greater: 8/173 or o?
8/173
Let a(p) = -p**3 + 4*p**2 - p + 7. Let b be a(2). Suppose 15*f - b*f = -4. Is f smaller than -17/14?
True
Let y be 17/2380*20 - 42422/14. Which is smaller: y or -6057/2?
y
Let l be 1/(-3) + (-134)/12. Suppose 7*b - 38 = 18. Suppose -61 = b*t + 35. Is l != t?
True
Let x be (-2)/(-3) + 343/21 + 7. Suppose 23*p = x*p - 13. Suppose -3*t - t = 5*q + p, -t + 5*q + 28 = 0. Which is smaller: -9 or t?
-9
Let s be (-410)/(-4)*27/(7290/240). Is 91 bigger than s?
False
Suppose 3*x + 2*d - 35 - 129 = 0, 242 = 4*x - 2*d. Suppose 50 = 4*u - 174. Which is smaller: x or u?
u
Let n = -3252 + 3251.9095. Which is bigger: -2/5 or n?
n
Let l be (12630/25)/(((-8)/(-16))/((-5)/26)). Which is smaller: -195 or l?
-195
Suppose 3*u - t = -160, -7 - 9 = -4*t. Let s = -48 - u. Suppose -c + 1 = s*f, 2*c = 5*c - 4*f + 13. Which is smaller: -5 or c?
-5
Let d = -156363/2052715 - -1/7805. Which is bigger: 1 or d?
1
Suppose 40572 + 20188 = -40*b. Is -1520 not equal to b?
True
Let c be ((-420)/25)/(8/240). Let p be 1 + (c/(-254) - 2)*62. Is -1 <= p?
True
Let k = 60 + -56. Suppose 0 = -3*d + 5 - 11, 0 = -4*a + k*d + 4. Let r be -3 - -5 - (a + (-19)/(-7)). Is r > 1?
False
Let w be (-17 - -8 - -12)*1. Suppose -2*b - 24 = -4*q, b + 8 = -b. Suppose -4*i - q*j + 20 = 0, -i + 13 = -0*i + w*j. Are 3/13 and i equal?
False
Suppose 3*d + 2*r + 10 = 0, -4*d + r + 1 = -4. Let c(t) = 14 - 7 + d*t + t + 7*t. Let h be c(-1). Do h and -4 have the same value?
False
Let r = 193 + -181. Suppose -3498 = -r*w - 10*w. Is 1 less than w?
True
Let x = 2/4507817 - -232188637962/166789229. Let f = x - 1392. Which is smaller: f or -1?
-1
Let r = 4280.3 + -1629.3. Which is smaller: -1/4 or r?
-1/4
Let o(p) = -p + 20. Let v(t) = t**3 - 3*t**2 - 8*t - 7. Let x be v(5). Let f be x + (4 + -1 - -1). Let b be o(f). Are b and 14 equal?
False
Let s(a) = -4*a**3 + 3*a**2 + 3*a - 9. Let o be s(5). Let w = o + 416. Suppose 0*p + p = 0. Which is bigger: p or w?
p
Suppose u + 4*b - 467 = 191, -2*u - 2*b + 1286 = 0. Suppose 5338 = 50*y + u. Is 94 less than or equal to y?
True
Let s = -23874 - -25722. Is 1856 less than s?
False
Let q(w) = -10*w**2 - w - 2. Let l be q(2). Let k = l + 72. Is 28 smaller than k?
False
Suppose 4*f - 8 = 5*a, -2 = -f - 5*a + 2*a. Suppose f*d - 136 = -0*d. Suppose -100*s = -436*s + 1355 + 21157. Is s bigger than d?
False
Let w = 25027 - 325001/13. Which is greater: w or 26?
w
Let q(a) = a**2 - 3*a + 4. Let n = -17 - -17. Let p be q(n). Suppose 0 = -3*j - 4*s - 14, -4 = -2*j - 0*j + p*s. Which is bigger: -1/2 or j?
-1/2
Let t(u) = u**3 + u**2 + 2*u. Let o be t(-3). Suppose -7*z + 1354 = 1487. Is o greater than z?
False
Suppose 0 = -20*w - 19*w + 6690 + 