ppose -5*d - 2*x - i = 0, -x + 5 - 10 = d. Is d smaller than u?
True
Let j = -58.7 - 94.3. Which is greater: 1/3 or j?
1/3
Let r = 32.3 + -15.3. Which is smaller: -1 or r?
-1
Let t(v) = v**3 - 6*v**2. Let n be t(6). Suppose -3*j = -2*h - 666, -j + 239 = -n*h + 5*h. Let l = 2014/9 - j. Is l > -0.5?
True
Suppose -5*t - 15 = b + b, t = -3*b - 3. Let o = 80412 - 16323435/203. Let y = -8/29 + o. Is b smaller than y?
True
Let t(y) = -11*y - 2. Let j be t(1). Let z = 18 + j. Suppose -z = -5*v - 0*v. Which is bigger: 0.07 or v?
v
Suppose -5*o = z + 4, 2*o = 2*z - 333 + 329. Are 2/131 and o equal?
False
Let s(y) = 3*y - 4. Let g be s(3). Suppose -g*p = -m + 18, -p + 0*p - 6 = -m. Let v be p/(-30) - (-1)/(-2). Is 0.2 less than v?
False
Let c = -18.82 + 19. Let v = 11.18 - c. Let w = v + -10. Which is smaller: -2 or w?
-2
Let t = 16.9 - 3.9. Let u = 12.7 - t. Which is greater: u or -0.09?
-0.09
Suppose 0 = 2*c + 6, -15*t + 13*t + 275 = c. Which is smaller: t or 136?
136
Suppose 11 = 5*n - 2*j, 3*n - 7*n - 2*j - 2 = 0. Let g(o) = o**3 + 7*o**2 - 6. Let k be g(-7). Let z(x) = 2*x + 14. Let s be z(k). Which is greater: s or n?
s
Let t be (-3)/1 + (278 - 274). Let n = 249 - 4235/17. Is n < t?
True
Let t(w) = -w**3 + 18*w**2 + 19*w + 2. Let y be t(19). Let u be 17/y - ((-20)/(-8) - 2). Which is greater: 58/7 or u?
58/7
Let h(j) = 11*j**2 + 2*j - 1. Let d be h(1). Suppose 0 = i - d + 11. Suppose -4*t - 6 + 4 = 3*z, 12 = 2*t - 5*z. Is t bigger than i?
False
Let u be (-216)/126*6/(-8). Suppose -y - 3*k - 6 = 0, -2*k = -5*y + 2 + 2. Which is smaller: y or u?
y
Suppose 0 = 3*g + 29 + 37. Let a = g + 18. Is -4 at least a?
True
Let l = 0 + 6. Let c(t) = 2*t + 8*t**2 + t**3 + 8 - l*t + 5*t. Let m be c(-8). Is 1 less than m?
False
Let q = -0.03 + 0.13. Let k = 1 - q. Let x = -495 + 496. Which is smaller: x or k?
k
Let j = -72871/35 + 2082. Is -8 >= j?
False
Let y(h) = 134*h**2 - 46*h + 46. Let m be y(1). Is m at most as big as 131?
False
Let i = 21.2 - 22.2. Suppose -68 = 2*p - 12. Is p > i?
False
Let i = 20 + -23. Is 1.1 not equal to i?
True
Let i = 1 - 4. Let w be 225/513 - 8/76. Is i less than w?
True
Suppose 0 = o - 5*k - 166, 2*o - 11*k + 6*k - 342 = 0. Which is greater: o or 0?
o
Let i be ((-38)/4)/(45/(-20)). Let b = i - 187/45. Which is smaller: 0 or b?
0
Let p be ((-42)/56)/((-3)/1). Let l = p + 1/4. Let m = 9 - 16. Is l <= m?
False
Let o = 56.9 - 56.8. Is -186 at most o?
True
Let p = 0.19 + 0.11. Suppose -9 = -3*q + 39. Let d be 6/(-3) - q/(-6). Which is smaller: d or p?
p
Let t = 87 - 959/11. Is t greater than 0?
False
Let u = -245906515/3635366 - 2/259669. Let z = u + 135/2. Let t = 0 - -1. Is z bigger than t?
False
Let c(x) = 23*x + 6. Let s be c(2). Suppose s*i - 108 = 55*i. Which is smaller: -37 or i?
-37
Let v be (1/127)/((-2)/(-2)). Let f(b) = -b**3 - 7*b**2 - 85*b - 474. Let t be f(-6). Which is bigger: v or t?
v
Let g be (-2 + 2 - 0) + (84 - -1). Suppose -7*q = -4*q + 5*s - g, 5*q = -4*s + 159. Which is greater: 34 or q?
q
Let k = 494 - 12352/25. Let t(a) = -a**3 - 3*a + 3. Let n be t(2). Let y = n + 11. Which is bigger: k or y?
y
Let v(m) = 6*m - 28. Let x be v(6). Suppose -x*r + 1 = -9*r. Are -2/85 and r equal?
False
Let k = 2959/6383 - 1/491. Let o(i) = -i**2 + 5*i - 1. Let h be o(0). Do k and h have the same value?
False
Suppose -2*i - 3*p + 2*p + 8 = 0, -i - 4*p + 4 = 0. Let q be (12/(-5))/(i/40). Is q at least -26?
True
Suppose 16 - 2 = 7*l. Let u be 2/4*l/4. Which is greater: u or -7?
u
Let c be (-43)/140 - (-3)/12. Suppose -291*b + 266*b + 25 = 0. Which is greater: b or c?
b
Let p = 854956 + 188759. Let a = p + -65755619/63. Let f = -178/7 - a. Which is smaller: -1 or f?
-1
Let z = -91.8 + 92. Let w = 26.944 - -0.056. Do z and w have different values?
True
Let r be 9066/(-126) - (2 - 0). Let y = -74 - r. Are y and -1/2 non-equal?
True
Let y = -46 - -44. Let u be y + 1683/678 + 1/(-2). Which is smaller: u or 0?
u
Suppose -2*j - j = 2*j. Let y = 11656/5 - 2314. Let c = -17 + y. Which is smaller: j or c?
j
Let l(t) = -59*t - 18. Let c be l(-2). Is 101 at least as big as c?
True
Let x = 835.1018 - 0.1018. Is 1 >= x?
False
Let y be ((-1924)/450)/(36/(-15)). Let c = y - -1/54. Suppose 3*w + 10 = g - 7, -3*w - 19 = -2*g. Which is bigger: g or c?
g
Let a be (-14)/2 + (-2 - -1). Suppose 0 = q - 40 + 50. Let s = q - a. Is -4/3 at least as big as s?
True
Let a(r) = r**3 - 2*r**2 - 3*r. Let f be a(3). Suppose -5*w - 11 = 4. Let j be 1*(f + w) + 3. Which is smaller: j or 0.06?
j
Let z(f) = -4*f**3 - 2*f**2 - f. Let t be z(-1). Let p = -228 - -459. Let o = -230 + p. Is o at least as big as t?
False
Suppose 5*v - 10 = 0, -v - 2 = -w - 1. Let o = -775 + 774.8. Which is smaller: o or w?
o
Suppose 2*d = 3*k + 7*d - 25, -d + 2 = 0. Suppose 7 = -2*i - k*f, -i - 4*f = i + 6. Let g be (28/48 - 1/4)*0. Which is bigger: i or g?
g
Let o(k) be the third derivative of k**4/24 + k**3/6 + k**2. Let s be o(1). Let d be (3/s)/((-18)/(-60)). Is 5 less than d?
False
Suppose q + 87 = g, -83 = 23*q - 22*q + g. Is -85 equal to q?
True
Let m be 1036/(-350) + 6/2. Let x(p) = p**3 - p - 1. Let t be x(-1). Is m smaller than t?
False
Let c be 1/(-3 + (-43)/(-13)). Let d be (-128)/(-72) - 4/(-18). Is c greater than or equal to d?
True
Let m(y) = y**3 - 7*y**2 - y + 9. Let k be m(7). Let a be 10/(-40) + 10/8. Let d be (-1)/(((-21)/30)/a). Which is smaller: d or k?
d
Let y be (16/6)/((-6032)/(-429) + -14). Suppose 3*g - 47 = 88. Do g and y have the same value?
False
Suppose -31 + 6 = -5*n. Suppose 0 = 4*q - 3*h + 25, 3*q - n*q - h = 5. Suppose 2*x + 8 = 2. Which is bigger: q or x?
x
Let m(z) be the first derivative of -5*z**2 + 15*z + 6. Let c be m(6). Let w be c/(-6)*8/(-12). Which is smaller: -4 or w?
w
Suppose -7*w - 7 = -7. Suppose 12 = 5*t - 4*i + 58, w = i - 4. Is t at most -7?
False
Let w(p) = 3*p**2 + 35*p - 13. Let y be w(-14). Is 85 < y?
False
Let a = -14.1 - 0.9. Let q = -13.236 + -1.764. Let g = a - q. Which is smaller: 0.6 or g?
g
Let i(s) = -3*s + 60. Let g be i(19). Let d(f) = -f**2 + 6*f - 5. Let r be d(g). Which is bigger: 23/6 or r?
r
Let z = -5443/17 + 320. Which is greater: z or 1?
1
Let o = 0.37 - 0.85. Let c = o + 0.18. Which is greater: 1 or c?
1
Let c = 331 + -313.86. Let i = c - 17. Let o = i - -0.16. Is o >= -4?
True
Suppose 3*d + 0*d - 18 = 0. Let w = 5517/4 + -1379. Is w at least d?
False
Suppose 0 = 4*t - 6*t - 34. Let s = t - -29. Suppose s - 3 = 3*x. Is x less than 3?
False
Let z = -53 + 51. Let v be ((-4)/(-12))/((-2)/(76 - z)). Let m = -20 + 6. Which is smaller: m or v?
m
Let n(c) = -6*c**2 - 3*c + 2. Suppose -w = -4*w + 3. Let k be n(w). Let b(x) = -x**2 - 7*x + 3. Let q be b(k). Is -1 equal to q?
False
Let u(n) = -30 + n - 2*n + 10 + 0*n. Let g be u(-10). Let w = 8 + g. Is w less than -3/4?
True
Let a = 180 - 144.2. Let t = 37 - a. Let m = 0.01 + -1.01. Which is smaller: m or t?
m
Let f be (-5)/30*-9*6. Suppose -3*b - 4*h + 0 - f = 0, 4*h = -12. Which is bigger: -1/16 or b?
b
Let s be (8/(-10))/(42/15). Which is greater: -1/80 or s?
-1/80
Let s be ((-50)/10)/(5/(-6)). Suppose 15*x = s*x - 9. Which is smaller: x or 1/3?
x
Let t be (84/147)/((-1194)/(-21)). Which is smaller: t or -1?
-1
Let b(z) = -8*z - 2 - 3*z - z - 1. Let s be b(-1). Suppose 2*y - 20 = -2*l, -l + 4*l = 2*y - 20. Which is bigger: s or y?
y
Let n be ((-8)/12)/(-8*(-3)/18). Is 19/7 < n?
False
Let j be (-7)/5 - (0 - 2). Suppose -a - t + 4 = 0, -3*t = -5*a + t + 65. Suppose -a*i + 9 = -9. Is j > i?
False
Let j(v) = -v**3 + 36. Let c be j(0). Let o = c + -19. Let p = o - 27. Which is greater: -11 or p?
p
Let y = -1150/7 + 164. Is -35 at least y?
False
Let m = -7.03 + 0.03. Suppose -4*j - 24 - 8 = -4*w, 3*j = -9. Are w and m unequal?
True
Let g(z) = -2*z - 4*z + 13 + 7*z. Let r be g(-9). Suppose -r*c - 8 - 12 = 0. Which is smaller: -1 or c?
c
Suppose 2*g + 309 = -271. Let r be g/280 + (-4)/(-14). Which is bigger: -2 or r?
r
Let r(x) = 29*x + 2. Let b be r(2). Let t = -66 + b. Suppose -6 - 3 = 3*j. Which is smaller: t or j?
t
Let r be (36/135)/((-306)/27). Let m = -5 + 5. Is m greater than r?
True
Suppose -28 = -t - t. Let n(v) = -6*v - 6. Let x be n(-4). Let c = t - x. Are c and -4 non-equal?
False
Let o be 16/368*(-3 + (-4)/(-2)). Let v be ((-10)/(-2) - 3) + -2. Suppose -5*q + v*q = 