 be (6/(-12))/((-3)/6). Let w be q + -5 - (-80)/35. Which is smaller: f or w?
w
Let s be 3 + (0 + 2)*(-8)/16. Suppose 19 = s*n - 109. Let x = 63 - n. Is x > -1/7?
False
Let t be 21/(-336)*-16 - 0/(-1). Is t at most as big as 1078?
True
Let x = 2 - 2. Let s = -1/1939 + 15539/52353. Let j = s - 131/351. Does j = x?
False
Let k = 65915 + -857503/13. Which is smaller: -46 or k?
k
Suppose 3*u + 7*w + 13 = 9*w, -u = 3*w - 14. Is u at least 232?
False
Let g = -0.20269 + -18.79731. Is 235/3 at least g?
True
Let u be -96 + 96 + (63 - 1). Let c = 185/3 - u. Is c != 84?
True
Let l be (-2)/(-17) + (-1224)/578. Let p be (3/276*l)/((-1)/16). Which is bigger: p or -1?
p
Suppose -5*q - 25 = -4*p, q + 9 = -3*q + p. Let m be (-10)/14 + 34906888/79520. Let t = -1753/4 + m. Which is greater: q or t?
t
Suppose 5*o - 4*i + 101 = 0, 4*o = -i - 2*i - 56. Let d be -4 - 0 - (13 + o). Let b be (-1)/(d + 5/(-15)). Which is smaller: b or 5/3?
5/3
Let h = 4.297 + -4.197. Which is bigger: 2/3291 or h?
h
Let t be (6/(-7))/((-387)/63 + 6). Let a be 2/((-12908)/(-2149) - t). Is a equal to 307?
True
Let t be 45/360 - ((-12)/120)/(8/(-81930)). Is -7163/7 != t?
True
Suppose -289*o = -146*o - 150*o - 7. Which is greater: o or 12/181?
12/181
Let v = 214 + -238. Let u(b) = 5*b**2 + 47*b - 65. Let l(n) = -2*n**2 - 23*n + 33. Let a(r) = 7*l(r) + 3*u(r). Let w be a(18). Which is smaller: v or w?
v
Let a = -4995/2 + 2498. Are -7/41 and a equal?
False
Let u be 2/(-2 + 98796/49451). Let q be (20526/(-110))/(12/10 + -1). Let p = u - q. Which is bigger: p or -1?
p
Let p be (-635)/20 + (-1)/4. Let o(m) = -21*m + 5. Let g be o(2). Let n = g - p. Is n at least as big as -6?
True
Let t(f) = 10*f + 123. Let m be t(-12). Which is smaller: m or 38/17?
38/17
Let j(x) = -115*x + 2063. Let u be j(19). Are -113 and u non-equal?
True
Let g(a) = -3*a + 33 - 41 + 6*a**2 - 5*a**2 - 4*a. Let c be g(8). Which is bigger: c or 2/179?
2/179
Suppose -4*p = -3*g - 2*g + 8, -5*p - 10 = 0. Suppose -3*n + 0*x = -5*x - 11, 4 = n - 2*x. Suppose -3*j + 1 = -n. Is j at most g?
False
Let g = -7858 - -7853. Is 266 < g?
False
Suppose -15*s = 15*s - 1860. Suppose -s*p = -64*p. Let f be (-1 - 1) + (-153)/(-75). Which is smaller: p or f?
p
Let s(m) = -5*m + 198. Let y be (-554)/(-18) + (4 - 374/99). Let f be s(y). Suppose p - 1 + 0 = -4*v, -23 = -2*v - 5*p. Is f bigger than v?
True
Let a = 202 + -191. Let m = a + 7. Which is greater: m or -1?
m
Let x be (-10)/(10/(-27))*(-4)/6. Let o be (8/(-3) + 3)/((-2)/x). Suppose o*y = -2*d - 0*y - 37, 0 = -4*d + 5*y - 85. Which is smaller: d or -1?
d
Let a be (-2)/14 - (-89212000)/30240. Let p = a - 2950. Suppose -5*s - 25 = 3*t, 3*t + 0*t + s = -5. Is p less than t?
True
Suppose 0 = 4*n + 2*d + 1470, n - 151 = -4*d - 508. Which is smaller: n or -2573/7?
n
Suppose -8*z - 949 = -1896 + 955. Is z < -34/69?
True
Suppose -5*p = -0*n + n - 1555, 0 = -2*p + 15*n + 699. Which is smaller: 307 or p?
307
Let t(z) = 82*z - 10146. Let w be t(123). Which is smaller: w or -70?
-70
Let l = -115 - -577/5. Let u = 20 + -16. Let f = -1.4 + u. Is l > f?
False
Let l = -853/32298 + 2/769. Suppose t - 8 = 2*i + 3*t, 2*t = -3*i - 9. Which is greater: l or i?
l
Let c = -4 + 6. Let m = -3775.7 - -3774. Which is greater: m or c?
c
Let r = -0.16009 - 354.78991. Let h = -355 - r. Which is bigger: h or -7?
h
Let y = -300.02 - -177.71. Let q = y + 0.31. Is q bigger than 0?
False
Suppose -v - 2*v = h + 30, -h + 36 = -3*v. Let k(w) = -w**3 - 8*w**2 - 4*w - 6. Let o be k(-8). Let r = -37 + o. Is v greater than or equal to r?
True
Let h(f) = -f + 3. Let n be h(5). Let x(q) = q**3 + 3*q**2 + 3*q + 4. Let g be x(n). Suppose g*o + 11*o = 572. Is o at most as big as 44?
True
Let i = -47 + 99. Let r = 25 - i. Let z = r + 47. Are 19 and z nonequal?
True
Let k(o) = -o**3 + 3*o**2 - 1. Let a be k(3). Let b be -6 - 56/(-9) - (-642)/27. Suppose 5*r - 2*q = q + 7, -4*r - b = 5*q. Is r bigger than a?
False
Suppose 24326 = -63*f - 40710 - 15919. Is f equal to -6428/5?
False
Let r(w) = 1 - 2*w + w**2 + 9*w**2 + 3*w**2 + 2*w**2. Let m be r(1). Let p be (((-16)/m)/4)/(-3 - -1). Which is bigger: 0 or p?
p
Let y be (-6)/(-10) + (-1350)/6000 - 1073/2392. Does 0 = y?
False
Let i = -0.2 + 0.3. Let d = 262.22 - 260. Let x = d + -1.77. Is x at most as big as i?
False
Let m = 419 - 416. Let g be (1/m)/(715/60 + -12). Is 1/3 != g?
True
Let f(i) = 191*i + 8. Let p(o) = 96*o + 5. Let k(m) = 6*f(m) - 11*p(m). Let n be k(1). Let y = 412/5 - n. Is -2 less than or equal to y?
True
Suppose -2*n + 494 - 448 = 0. Is n less than 23?
False
Let c = 54 - -208. Let r(v) = 75*v + 861. Let x be r(-8). Are x and c non-equal?
True
Suppose -d + 25 = 4*d. Let f be (d*(-15)/(-50))/((-1)/4). Let q be 3/(-9) + 4/f. Is q bigger than -1/25?
False
Let d(m) = 337*m - 4717. Let o be d(14). Which is greater: -664 or o?
o
Let o be 531845/51*((-26)/(-10) - 4 - -2). Is 6255 < o?
True
Let u be 2/26 + 66900/34788. Let y = 76.86 + 0.14. Which is greater: u or y?
y
Let t = -285 - -1989/7. Let c = -22 + 26. Suppose 5*v - c*o - 16 + 27 = 0, 17 = -5*v - 2*o. Which is greater: t or v?
t
Let p = 840415731/9074 + -92618. Is 0 <= p?
False
Suppose p - n - 2388 + 777 = 0, -4*p + 3*n = -6449. Is p greater than 1615?
True
Let o be -30 + (-1407)/(-42) - (-90)/(-28). Which is smaller: -362 or o?
-362
Suppose -16 = 20*q + 124. Suppose 7*s = -42 - 7. Are q and s unequal?
False
Suppose -476*j + 2275152 = -344*j. Is 17236 bigger than j?
False
Let t be ((-1)/(-129))/(1624/84). Is t greater than or equal to 1?
False
Let z be (-217)/20 + (28 - 852/30). Let j be -12 + 4/(-2)*-1. Which is greater: j or z?
j
Let n be 2*(-5)/(10/(-4)) - 92. Let z = -25209 + 150727/6. Let o = z - n. Is 5 < o?
False
Let d be (0 - 1)/((-91)/(-56)*-11). Let f = d - 1042/3289. Let g be 2/(-3) + 4/6. Which is smaller: g or f?
f
Suppose 0 = -5*g - 5*h - 100, -65 - 33 = 4*g - 5*h. Let f be (125/(-30) + 5)*-30. Is f bigger than g?
False
Suppose k = -m - 13, 9*m = 5*m - k - 55. Let f(v) = v - 1. Let i be f(3). Suppose -i*a + t = 2*t + 27, -a + 4*t = 18. Are a and m unequal?
False
Let t = -566 - -6085. Which is smaller: 5518 or t?
5518
Suppose -322 = 5*k - 5*q + 10938, -5*k - 11220 = 3*q. Is -2246 != k?
True
Let u = -10099 + 10099. Which is smaller: 49/213 or u?
u
Let x = -4689 + 4699. Which is smaller: -55 or x?
-55
Let n be (-2 + -592*(-6)/(-75))*-5. Let h = n - 6176/25. Let u(c) = -c - 5. Let s be u(-5). Is h >= s?
False
Suppose 3*o + 216186 = 6*i, 339*i - 344*i = -3*o - 180157. Is i at least as big as 36030?
False
Let r = 4336 - 4336.2. Which is smaller: 79.4 or r?
r
Let u be 363/341 - (4 + (-122)/31). Suppose 5*b - 31 = -1. Which is smaller: u or b?
u
Suppose -3*j - 20 = -4*g, -2*j - 9*g - 10 = -11*g. Suppose -5*n + 2*m - 48 = 105, 4*n + 2*m + 108 = j. Is n at least -21?
False
Let n be (-267)/(-1485) - (-4)/(-20). Let p = 148/2475 - n. Which is smaller: p or -1?
-1
Suppose 3*s + 480 = -5*d, -6*s + 5*s + 4*d - 177 = 0. Let z = -202 - s. Is z at least as big as -37?
True
Let r = 72.5 + -59. Let x = -13 + r. Which is bigger: x or -32?
x
Let w = 2347 - 457. Which is greater: 1891 or w?
1891
Let h be (-11)/242*172 + -7 + 14. Let y(z) = -z + 5. Let n be y(7). Which is smaller: h or n?
n
Let l = 22144 - 22153. Suppose -5*n - 10 = -0. Is n greater than l?
True
Let z(x) = x**3 - 10*x**2 - 10*x - 11. Let j be z(11). Let d be (0 - 5) + -3 + (-6)/(-1). Let f be (-8)/117 + 2*d/(-18). Is f bigger than j?
True
Let g be (-6)/(-15) - 117/5. Suppose 0 = -133*k + 103*k. Suppose 29*x = -k*x - 667. Is x less than g?
False
Suppose 8 = 5*l + 4*v, 8*v = -l + 5*v + 6. Let a be (l - 1)/((-1)/(-71)). Is a less than -70?
True
Let c(q) = 3*q**3 - 2*q**2 + q + 2. Let y be c(-2). Let l = -45 - y. Suppose 47*i + 630 = 19. Is i at least l?
True
Let j be -51 - (-9)/(4 + -1). Let u = 53 + j. Suppose -2*q = u*a - 5*q - 177, 4*q = -a + 17. Are 32 and a nonequal?
True
Let o = -1437 + 1449. Is 22 smaller than o?
False
Let x(u) = u**3 - 11*u**2 + 6*u + 6. Suppose -173 = -13*b - 43. Let q be x(b). Which is smaller: -33 or q?
q
Suppose 0 = -5*y - g + 1, -y - 2*g + 4 = 2. Suppose y = l - m - 3, -7 = 5*l - 2*l + m. Is -4/5 at least l?
True
Let o(f) = -3*f**3 + 74*f**2 + 34*f - 158. Let y be o(25). Is 67 smaller than y?
False
Let x be (-1 + 2)*378/(-15 - -6). Let u