ppose 231 = a - 261. Suppose -2*x = -3*m - a, 4*m + 3*x = 4*x - 651. Is m less than -162?
False
Let y = 13175 - 14972. Which is smaller: y or 1?
y
Let x(s) = s**3 - 11*s**2 - 1. Let b be x(11). Let l be 2922/13392 - (b/1 + 1). Let w = l - -1/248. Is 0 != w?
True
Let a be (-3)/(-4)*40360/30. Suppose -3*c - 808 = -7*c - 4*z, 4*z - a = -5*c. Is c <= 202?
True
Let u be (238/10)/((-4656)/(-860)). Let x = u + 2/97. Which is smaller: 3 or x?
3
Let j be (-344282)/(-6094692) + (-3)/54. Which is bigger: 0 or j?
j
Let f = -0.1722 + 64.1722. Let k = -56.8 + 10.8. Let g = f + k. Which is smaller: 0.2 or g?
0.2
Let o = -935 + 930.79. Let s = 0.39 - o. Let j = s + -4.8. Which is greater: 3/5 or j?
3/5
Let j be ((-6050)/363)/((-2)/192). Is j less than 1600?
False
Suppose -5*p + 3*c + 921 = 0, -3*c + 7*c - 358 = -2*p. Let m = -183 + p. Which is smaller: -14/11 or m?
-14/11
Suppose 1805*y = 1807*y + 32. Let w(j) = -j**3 + 4*j**2 + 2*j - 6. Let o be w(4). Let h be (-4)/(y/(-12)) - 22/o. Which is smaller: h or -13?
h
Let j(v) = -72*v**2 + v - 1. Let y be j(-2). Let c(g) = 9*g**3 - 7*g**2 - 6*g - 2. Let k be c(-3). Is k at least as big as y?
True
Let g = 201 - 121. Let b = -74 + g. Suppose -b*x = -20 + 74. Which is bigger: -12 or x?
x
Let v(m) = -m**3 - 60*m**2 + 23*m + 113. Let s be v(-25). Let d = -27988263/1253 - s. Which is smaller: -1 or d?
-1
Let h(i) = 4*i + 182. Let m be h(-40). Suppose -4 - 7 = -4*t - l, -5*t - 4*l = -m. Do t and -225 have the same value?
False
Let z = 3365 - 3258.8. Is -1/2 <= z?
True
Let z(c) = -c - 6. Let q be z(0). Let y be 200/(-34) - -4 - (-4)/(-34). Let k be (2*y/70)/(21/(-105)). Which is smaller: q or k?
q
Let d be ((-2)/6 - (-22)/(-33)) + 4. Suppose g = -5*j - 203, -d*j - 154 = j - 2*g. Which is smaller: j or -157/4?
j
Let c(h) = -4 + 7 - h - 636*h**2 + h**3 - 4*h**3 + 635*h**2. Let v be c(-2). Suppose v = d + 1. Is d at least 24?
True
Let s(o) = -3*o**2 - 7*o + 2. Let t be s(7). Let y be ((-1940)/(-25))/(249/15 + -17). Do t and y have the same value?
True
Let u = 4752 + -4321. Are 424 and u nonequal?
True
Let h = 3119 + -12389/4. Which is bigger: 1 or h?
h
Let z(a) = -a**3 + 28*a**2 - 29*a + 47. Let t be z(27). Let v(l) = -2*l**2 - 17*l - 28. Let p be v(t). Which is smaller: p or -5?
p
Let w = -0.00682 + -1108.99318. Which is bigger: 1 or w?
1
Let d = 3/446 - 10047/1784. Which is bigger: d or -18?
d
Suppose -5*k + 9*i - 8 = 13*i, -k - 6 = 3*i. Is k < 19/91?
True
Let f = -160 + 128. Suppose o + 10 + 25 = 0. Let p = o - f. Is p < -6?
False
Let x(q) = 11*q**2 - 476*q + 31. Let n be x(43). Is n at least -94?
False
Let j be 1/2*1050/5. Suppose 2*h + 2*v - 194 = 0, 2*v = 2*h + 11 - 229. Are j and h equal?
False
Suppose 4*m - 2*x - 604 = -0*x, 2*x = -2*m + 296. Suppose -3*i + 5*i - m = 0. Suppose -5*j + 2*w = -119, 2*j - 5*j + 3*w = -i. Do j and 23 have the same value?
True
Let m be 8/(-28)*-14 + (1 - 196). Which is smaller: m or -185?
m
Let p(d) = -11*d**3 - 273*d**2 + 51*d + 21. Let x be p(-25). Suppose 3*t + 33 = -5*g + 9, g + 3*t + 12 = 0. Which is bigger: x or g?
g
Let d = 7/51906 - -176220779/674778. Let w(v) = v**3 - 10*v**2 - 24*v + 27. Let k be w(6). Let u = d + k. Which is bigger: -8 or u?
u
Let s = -3114817/6745 - 24/6745. Is s at least as big as -462?
True
Let o = 525.9 - 576. Let g = 53.7 + o. Which is bigger: g or 0?
g
Let j(q) = -q**2 - 20*q + 61. Let o be j(-23). Let p be 6/(-14) + 260*o/(-4592). Which is smaller: 0 or p?
0
Let q(a) = 15 + 0*a**2 - 3*a**2 - 38*a + 16*a**2 - 31*a. Let p be q(5). Suppose 0 + 8 = -4*i. Which is smaller: i or p?
p
Suppose 4*u - 75 = -5*y, 2*u = -2*u. Let k(n) = 0*n - y + 29 + 34 - 5*n. Let v be k(19). Is v bigger than -1?
False
Let j = -111277 + 111278. Let q be (-1)/(-3) + (-65)/(-66). Which is smaller: j or q?
j
Suppose 669 = 5*o + 2*u, 3*u - 316 - 222 = -4*o. Which is smaller: 668/5 or o?
o
Let n = -240 - 3872. Which is smaller: -4111 or n?
n
Suppose -5*a + 15 = -2*x, 4*x - 15 = 5*a - 4*a. Suppose f - 3*f - x*h = 35, 5*f + 165 = 3*h. Let v = 188 - 217. Which is smaller: f or v?
f
Let h = 133.6 - 133.8. Let j be 377/6 - ((-8)/3 + 3). Which is bigger: j or h?
j
Let x be (-24428)/3490 - (25 + -21 + -11). Is -1 at most as big as x?
True
Let o = -449773769/1858356 - 1/464589. Let z = -242 - o. Suppose 0*k = -3*k. Is z at most as big as k?
False
Let d(i) = i**3 - 9*i**2 + 9*i - 2. Let s be d(8). Let p(b) = 5*b - 80. Let f be p(s). Is f bigger than -50?
False
Let w be (7/(-2))/((-2035)/(-888)) + 2. Is w greater than or equal to -1?
True
Suppose l = 173 - 30. Let w = 713/5 - l. Which is smaller: w or -2?
-2
Let i be (-11)/10 - (6 + -3 + -6). Suppose -3*s = l - 4, 5*l + 4*s - 4 = 5. Which is smaller: l or i?
l
Suppose 89*s - 3078 - 7335 = 0. Which is smaller: 119 or s?
s
Let i = 37184 + -18073. Is 2/5 <= i?
True
Let m(z) = 18*z + 12. Let u be m(-1). Let r be u/69 + (-21796)/92. Is r < -237?
False
Let b = 107 + -107.156. Let a = b + 0.256. Which is smaller: a or 34?
a
Let h be 4/(-5)*(-35)/(-1246). Let d(y) = -y**2 + 3*y - 2. Let a be d(4). Let p = 5 + a. Which is greater: p or h?
h
Let a = 1772 + -1878. Which is greater: -105 or a?
-105
Let j(r) = -5*r. Let a be j(3). Let y(f) = -164*f - 513. Let l be y(-3). Let g = a - l. Are g and 7 equal?
False
Suppose -103*c = -104*c + 423. Let n = c + -412. Which is smaller: 16 or n?
n
Let j(u) = 9*u - 6. Let y(b) = -9*b + 5. Let h(o) = 6*j(o) + 5*y(o). Let x be h(1). Is x less than -27/10?
False
Let k be 2/(-15) - ((-15102)/(-135) + -4). Let w be (1 - 4)*(5934/k)/(-23). Is w smaller than -7?
True
Let r = 399.08322 + -0.08322. Do 2 and r have different values?
True
Let l = -34168.1 - -34168. Let j = -3 + 1. Let i be 258/(-12)*j/3. Is i < l?
False
Let s = -2704/665 - -146/35. Are s and 143 equal?
False
Let a = -318 - -319. Let i be a + 1 + (-4 - 0 - -3). Is -0.164 > i?
False
Let i be (-34)/38 - 20/190. Is 2/1435 at most as big as i?
False
Let w be 308740/(-617160)*-1 + (-2)/4. Which is bigger: -1 or w?
w
Suppose 7*y + 1044 + 2964 = -7899. Which is smaller: y or -2?
y
Suppose -2*h + 6*h - 8 = 0. Suppose -h*a - 10 = 0, 4*k + 520 = -k - 4*a. Let g = -100 - k. Which is bigger: -2/15 or g?
g
Let d = 14671 - 15645. Which is greater: -1 or d?
-1
Let a = 873/11 - 11354/187. Is a > 19?
False
Let o(w) = -w**2 + 10*w + 2. Let y be o(-7). Let p(r) = -10*r**2 - 93*r - 46. Let k be p(-10). Is y greater than k?
False
Let a be -22*76/24*-21. Which is greater: 1459 or a?
a
Let r be (21/6*1)/(51/1530). Does 105 = r?
True
Let s(c) = c**2 - c - 48904472. Let a be s(0). Let i = a + 2200600444/45. Let b = 2240 + i. Which is greater: 1 or b?
1
Suppose -2*y + 3*i = -3*y + 88, 0 = 4*y - 3*i - 277. Let b = 11346283/152915 + 2/30583. Which is smaller: y or b?
y
Let b = -487 - -330. Let l = 409 - 566. Is l at most b?
True
Let s(o) = -o**3 + 12*o**2 - 38*o + 9. Let i be s(12). Let x = 1787/4 + i. Is x > 18/7?
False
Suppose 28 - 25 = c. Suppose 0*o - c*o = 0. Let t be ((-14)/140)/((-17)/2). Is o less than t?
True
Let j = -8 + -1. Let g(v) = v**3 + 9*v**2 - 20*v - 2. Let r(i) = i**2 - i. Let w(f) = -g(f) + 2*r(f). Let d be w(j). Which is bigger: d or 4?
4
Suppose 5*v - 3*g - 71 = 88, -4*g - 157 = -5*v. Let p = -205 + 240. Which is bigger: p or v?
p
Let o be (-1)/((-2)/((-20)/(-118))). Let y(f) = -f**3 - 18*f**2 + 449*f - 13. Let r be y(14). Which is smaller: o or r?
o
Let r = -120 + 130. Let a be (3/(1230/(-8)))/(4/r). Is a >= 1/5?
False
Let s = -5761 + 5891. Which is bigger: -1/3 or s?
s
Let b = 42 - 40. Suppose 2 = -b*a + 10. Let p be (21/a + -3)/(42/16). Is p at most as big as 2/3?
False
Let v = 18.57 - -0.43. Let f = -1887 - -1886. Is v at most f?
False
Let h = 170 - 170. Suppose 5*z + 0*z = 5*p + 15, h = -p - 3*z + 9. Which is bigger: -1 or p?
p
Let y(o) = -o**2 - 10. Let a be y(-7). Let t = a + 32. Let d be (9/t)/((-141)/18). Are 0 and d equal?
False
Let h = -3 - -3. Let t(m) = 2*m**2 - 23*m - 1. Let l be t(12). Suppose -s - l = 2*k + 1, 2*s - 4 = 3*k. Which is greater: s or h?
h
Suppose -3*y = 2*y - 2*x + 127, -4*y - 5*x = 128. Which is bigger: -38 or y?
y
Suppose 0 = 664*b - 668*b + 832. Let v = b - 163. Which is bigger: v or 47?
47
Let m be 720/200 + 6/(-10). Suppose -2*k - 4 = -4*s, -7*k + m*k = 4*s + 20. Which is smaller: k or -60/13?
-60/13
Let q = -114 + 127. Suppose -2*z