 j = 0, 4*r - a + 6 = 2*a. Is r <= -3?
False
Let b(v) = -v**2 - 3*v - 1. Let w be b(-2). Let m be w/2*25/15. Let k(r) = -r + 6. Let s be k(4). Which is bigger: s or m?
s
Let p be (-93)/(((-24)/(-32))/((-1)/(-2))). Let w be ((-4)/(3 - 1))/p. Is -1 < w?
True
Let x(b) = 7 - 73*b + 74*b - 2. Let t be x(-9). Let g be t + ((-684)/(-87))/2. Is 0 at least as big as g?
True
Let o = 12 + -6. Let t = 6 - o. Let h = 87 - 523/6. Do h and t have different values?
True
Let l(b) = b - 3. Let t be l(7). Let v(d) = d**3 - 5 - 3*d**2 - d**2 + 9*d**2 + d**2 + t*d. Let p be v(-5). Which is greater: 2 or p?
2
Suppose 18*t = 23 - 5. Which is smaller: t or 1/160?
1/160
Suppose 3*y + 4*b - 20 = 0, 0 = -15*y + 11*y + b - 5. Let m be ((-4)/(-6))/((-4)/(-30)). Let z = m + -5. Is z smaller than y?
False
Let a = 20.8 + 1.2. Let m = a - 22.067. Which is smaller: 2/5 or m?
m
Let x be (-48550099)/420 - 6/42. Let d = x - -463747/4. Let n = 341 - d. Is n smaller than -1?
False
Suppose -3*a = -17 + 158. Let v = -246 - -277. Let d = v + a. Which is smaller: -15 or d?
d
Suppose 0 = t + 3*q - 10, q + 14 = -t + 4*q. Let d be (t/8)/((-9)/12). Let c = -249.05 - -249. Which is smaller: d or c?
c
Let h be (1/2)/(4/(-8)). Which is smaller: 2/289 or h?
h
Suppose 13*l - 3*l + 30 = 0. Suppose 4*v = -5*g - 37, 33 - 8 = -5*v - 2*g. Is v bigger than l?
False
Suppose 3*h - 4 = h. Let o be h + 1 + 298/(-98). Which is smaller: -1 or o?
-1
Suppose -17*i + 4*i = 0. Let l be (-2)/(-12)*18/(-10). Do l and i have the same value?
False
Let u(m) = -m**3 - 2*m**2 + 7*m + 5. Let y(k) = -k - 2. Let b be y(2). Let h be u(b). Let l be h/(-36) - 10/56. Which is smaller: 0.2 or l?
l
Let x = -126 + 109.93. Let q = -16 - x. Which is greater: q or 0?
q
Let q = -24229572 + 2059460748/85. Let z = -622 - q. Which is greater: z or 1?
1
Let b = -23.94137 - -0.01137. Let i = b - -24. Which is bigger: -5 or i?
i
Let p be (-2 - (-1164)/585)*-3. Is 0 less than p?
True
Let v = 2 + 4. Suppose -141 = -5*r - 51. Let l = r - 13. Which is bigger: v or l?
v
Let z = -39 + 46. Which is greater: z or 26?
26
Let l = -145/14 - -69/7. Let j = -1.5 + 2. Let s = j - 0.5. Which is bigger: s or l?
s
Let f = 48 - 28. Let c = -999/4 - -250. Which is bigger: c or f?
f
Let h be -1*-1*(1 + -2) + 260/(-780). Let x(j) = -j**2 + j - 1. Let q be x(1). Which is greater: h or q?
q
Let h = -9 - -9. Suppose h = -x + 20 - 18. Suppose -r = x*c + 3*c + 2, 5*c - 2 = r. Which is smaller: r or -6/7?
r
Let q = 19 - 58/3. Is q > 17.6?
False
Let g = 127 + -185. Is g < -58?
False
Suppose -4*i - 19*c + 14*c = -53, 2 = i - c. Suppose -d + 24 - 8 = 5*l, l = -d. Which is greater: i or l?
i
Suppose r - 115 + 31 = 5*g, 0 = -4*r - 4*g + 312. Are r and 77 non-equal?
True
Let l be 16/5 + (0 - 3). Let j = 0 - -22. Let n be (-6)/27 + j/18. Is n > l?
True
Let p(l) = l**3 - l + 1. Let m(o) = 3*o**3 + o**2 - 2*o + 3. Let j(c) = -m(c) + 2*p(c). Let s be j(0). Is s smaller than -5/17?
True
Suppose -6*s = -0*s + 102. Let j = -9 - s. Suppose -u - 8 = j. Is -16 bigger than u?
False
Suppose -2*c + 3*q + 11 = 0, -2*c + 8 = -6*c - 4*q. Let k = -67 + -28. Let z be (c/5)/((-76)/k). Is -2 smaller than z?
True
Let v = -53.8 + -297.2. Which is smaller: 2 or v?
v
Let h be 22*36*(-7 + 117/18). Is -397 != h?
True
Let b be 51/24 + 2/(-16). Suppose b*k + 2*k = 0. Let c be k + 1 + -3 + 2. Which is smaller: c or 2/31?
c
Let k = -782 - -651. Is k smaller than 1/3?
True
Let n = -9718/108851 + 28/337. Is 1 less than n?
False
Suppose -2*b = 2*b - 32. Suppose j - b = -2*s, -s + 4*s - 12 = 2*j. Suppose 3*i - 5*d = -5, 5 = -5*i + 5*d - j*d. Which is greater: 9/4 or i?
9/4
Let m(z) = -12*z - 58. Let a be m(-5). Suppose a*k - 6*k + 84 = 4*l, -4*l - 5*k = -89. Which is smaller: 2/5 or l?
2/5
Let a = 1 - 7. Let p = -5741 - -5740. Is a equal to p?
False
Let i be -1 + 3*-2 + -1. Let v = 4 - 14. Which is smaller: v or i?
v
Let s(u) = -13*u + 269. Let c be s(25). Is c less than or equal to 3?
True
Suppose 2*f - f = 1. Let p = -9/41 - -837/451. Which is smaller: p or f?
f
Let b = 186 + 494. Is 679 less than b?
True
Let t = 25 - 25.082. Let l = 14.918 - t. Let u = 27 - 82/3. Which is smaller: u or l?
u
Let p(j) = -j**2 - 6*j - 3. Let q be p(-4). Let u = q - 4. Let z be ((18/(-39))/(-2))/u. Which is bigger: 0 or z?
z
Let d be (-4)/18 + 96/(-54). Let o be (-6)/d + (-260)/100. Which is smaller: 5 or o?
o
Suppose -33*o - 17428 = -532. Is -512 <= o?
True
Let j be (2/4)/(77/(-462)). Suppose 0*r + 5*r + 21 = 3*l, 2*r = -l - 4. Let y be r + (26/(-8) - -3). Which is smaller: j or y?
y
Let l(a) = 3*a - 4*a + 0*a - a. Let c be l(-2). Is 36/11 > c?
False
Let w = -93 + 47. Which is smaller: w or 0.22?
w
Let l(t) = -2*t**2 + 1. Let m be l(3). Suppose 4*v = 5*h + 80, 24 + 16 = 2*v + 5*h. Let f = m + v. Which is bigger: f or 2?
f
Suppose -2*f + 246 = -4*b, -59 = 11*b - 10*b - 3*f. Is b bigger than -65?
True
Let l be ((-4)/3)/4*3. Let m(k) be the third derivative of k**4/24 + 7*k**3/6 + k**2. Let d be m(-6). Which is smaller: l or d?
l
Let y(x) = x**2 - 5*x - 24. Let t be y(8). Let k be (15/(-42) - t)/((-3)/18). Is k bigger than 3?
False
Suppose -47 - 8 = -11*q. Let o = 10 - 7. Which is greater: q or o?
q
Suppose 5*t = 3*m - 4*m + 95, -t + 4*m - 2 = 0. Let a = t + -23. Let u be (4 + 1)*4/(-5). Is u bigger than a?
True
Let j(c) = -16*c - 207. Let h be j(-13). Is h at least 2/519?
True
Let t = 688 - 692. Which is smaller: -50/11 or t?
-50/11
Let d = 5014 + -19939/4. Are 29 and d unequal?
True
Let o be 32 + (4 - (0 + 0)). Let q = -24 + o. Is q bigger than 12?
False
Suppose 5*q - u - 82 = 0, 2*q - q - u - 18 = 0. Suppose -q*p = -17*p + 4. Which is smaller: 5 or p?
p
Suppose -3*b = -4*a - 33, -9*a = -11*a + 2*b - 18. Suppose -c = -0*c + 7. Is a <= c?
False
Suppose -5*u + 168 = -3*b + 6, -u + 36 = 3*b. Let o = 33 - u. Are 6/49 and o unequal?
True
Let d = -2496.996 - -2497. Which is smaller: 0.12 or d?
d
Let i = -833 - -846. Which is smaller: 93/8 or i?
93/8
Let t be 2 - 78/21 - -2. Let z = t - -4/35. Is z smaller than -0.2?
False
Let n = -1014481/311 + 3262. Is n >= 1?
False
Let i = -2 + 2. Let y be ((-3)/16)/((-3)/156). Let m = -10 + y. Is m equal to i?
False
Let y = 40 + -28. Suppose y*w - 32 = 8*w. Let k be ((-24)/(-16))/((-30)/w). Which is smaller: k or 0?
k
Let n = 17290 - 189600/11. Which is smaller: n or 55?
n
Let q(s) = -3*s + 4. Let i be q(8). Let h be (i/30)/(27*-1). Are -1 and h non-equal?
True
Let r(n) be the first derivative of -2*n**3/3 + 15*n**2 + 34*n + 10. Let x be r(16). Is x <= -8?
False
Suppose 11*b - 8*b + 135 = 0. Let h = -33 - b. Suppose 2*p + h = -5*n, 2*n + 28 = 3*p - 2*n. Which is smaller: 5 or p?
p
Let k(d) = -3*d - 21. Let j be k(-6). Let r be (-141)/(-9) + j + 5 + -3. Which is smaller: 14 or r?
14
Let x = -1.37 + 1.27. Let g be 2/9 + (-10183)/27. Let c = g + 377. Is x not equal to c?
True
Let f(i) = 8*i**3 - 3*i**2 - 3*i + 3. Let g be f(3). Which is smaller: 182 or g?
182
Let c = 6 - -19. Let y = c + -35. Which is greater: y or -1?
-1
Let x be (-151)/(-7) + 60/140. Let c be 46/92 - (x/28 + 0). Is c <= -10?
False
Let f = -64 + 62.78. Let j = f + 0.92. Let y = -4 + 4.4. Which is greater: j or y?
y
Let s be -1*5 - 3864/(-140). Is s smaller than 0?
False
Let q(z) = -z**3 - z**2 + 6*z + 3. Let j be q(-3). Let i(m) = -m**3 + 5*m**2 - 3*m - 4. Let g be i(j). Is 2 >= g?
False
Let u be (-102)/(-15) - (-3)/15. Let a = -9 + u. Let t be 3/a + 91/58. Which is greater: 1 or t?
1
Let z(a) = a**3 + 15*a**2 - 33*a + 21. Let k be z(-17). Suppose -2*l + 8 - 2 = -2*f, -k*f - 3 = 5*l. Which is smaller: l or 2/467?
2/467
Let f(x) = x**2 + 8*x - 17. Let v be f(-12). Let z = 21 - v. Let d be 2/(-5)*z/132. Which is greater: -1 or d?
d
Let q = 1.43 + -4.43. Suppose -34 = -3*z + 2*w, 0*z + 2*z - w - 21 = 0. Which is greater: z or q?
z
Let k = 333 - 283. Is 55 > k?
True
Let x be (-10)/(-36) + 8/36. Is 100 at least x?
True
Suppose -55*k = -71*k + 48. Which is greater: k or 20/9?
k
Let s = -9.1 + 0.1. Let t = s - -17. Let h = t - -3. Is -1 smaller than h?
True
Suppose 20*r + 304 = 4*r. Let a be 48/16 + r/7. Which is bigger: a or 2/15?
a
Let x be -2*(-15)/(-10) + 44. Suppose 9 = x*k - 44*k. Let d be (-8)/12 - 8/k. Which is greater: 10/7 or d?
d
Suppose 5*w = 5*z - 0*w - 35, 5*w = -2*z. Suppose -z*a + 220 = -9*a. Is -55 > a?
False
