 + r*o - 10, f - o + 2 = 0. Which is smaller: f or k?
f
Suppose 2*d = -5*g - 85, d = -d. Let i = -35.8 + 34. Let y = -1.9 - i. Which is greater: y or g?
y
Suppose -214 = -5*t + 3*o, -3*o + 42 = -4*t + 212. Is 38 at least as big as t?
False
Let f(k) = k + 16. Let v be f(-14). Let c be -4 + (-10)/5 + v. Is -6 != c?
True
Suppose -5*p = w + 3 + 4, p + 14 = 4*w. Let q be ((-24)/21)/(w/(-21)). Is q != 12?
True
Suppose -3*d - 15 = 0, -5*u + 15*d = 16*d + 30. Do u and -7 have different values?
True
Let t = 27971/2 - 1761079/126. Let z = t + -25/63. Let y = -297/35 + z. Which is smaller: 0 or y?
y
Let i be 3 + (-60)/18 + 230/6. Let d = i + -39. Which is smaller: d or -2/49?
d
Suppose 0 = j - 6 - 3. Suppose 11*u = 8*u + 9. Let a(i) = i**2 + 3*i - 10. Let z be a(u). Are z and j equal?
False
Suppose k - 13 = -5. Let q be ((-3)/4)/((-45)/k). Which is smaller: -1 or q?
-1
Let k = -4 + -4. Let i(y) = -11 - 21 - 3*y - 25 - 1. Let l be i(-16). Which is bigger: l or k?
k
Let b(d) be the second derivative of d**7/2520 - d**6/144 + d**5/30 - d**4/12 + 6*d. Let o(u) be the third derivative of b(u). Let a be o(4). Is -2/21 > a?
False
Let o = 328 - 331. Which is smaller: -1 or o?
o
Let q = -5 - -9. Suppose -q*g + 6*s = s - 195, 4*g = 4*s + 196. Let w be 15/g*2/(-6). Is 2 < w?
False
Let i = -52.026 - -52. Which is bigger: 2 or i?
2
Let d = 62 - 62.66. Let k = d + 0.47. Let i = k - -0.3. Is i at least as big as -0.1?
True
Let j(h) = -10*h**2 + 84*h + 167. Let i be j(-2). Suppose 2*n - c + 77 = 0, -147 = 5*n + 3*c + 73. Is n at least i?
True
Let a be 3 - 1 - ((7 - 4) + -3). Let t be (-213)/450 + a/4. Is 1 < t?
False
Let k be (-52)/(-170) + -10 + 156/15. Is k bigger than 1?
False
Let b = 35 + -12. Suppose -120 = -5*y - 2*i, 3*y - 72 = -0*y - 4*i. Which is smaller: y or b?
b
Let f be ((-222)/106849)/((-8)/11586) + -3. Let n = 1/1811 - f. Is 0 > n?
True
Let w = -0.19 - -0.09. Let q = -0.9 - -1. Which is smaller: w or q?
w
Let d(n) = 2*n**3 - 9*n**2 + 6*n + 8. Let g be d(5). Suppose -7*j = 49 + g. Which is bigger: j or -2?
-2
Suppose -4*n = -13 - 3. Suppose 0 = -4*f - 2*g + 24, 0 + 4 = -4*f + 5*g. Is f <= n?
True
Let h be 3/((-6)/(-8))*340/(-70). Let n = h - -20. Let d = -2 + 2. Is d greater than n?
False
Let f(b) = b - 26. Let s be f(16). Let a = 0.3 + -0.2. Is a > s?
True
Suppose 0 = -4*a - 16, 4*a + 0*a = 3*v - 73. Let t = v + -31. Let b(y) = -y**3 - 13*y**2 - 13*y - 11. Let h be b(t). Which is smaller: -1/3 or h?
-1/3
Let b = 0.485 - -1.515. Is -333 at most b?
True
Let n be 3 - (0 + 0) - -31. Let a = n + -29. Suppose -7*x + a*x = 0. Is x greater than 0?
False
Let r = 19 - 13. Suppose -a + 3 = -4*a. Let y = a + r. Which is bigger: 6 or y?
6
Let z be 1*(1 + -5 + 2) + 102. Suppose z = 5*m - 120. Do m and 43 have the same value?
False
Let d = 1/40 - -107/120. Do 0 and d have the same value?
False
Let d = 5860206 + -216800018/37. Let u = d + -746. Which is greater: 0 or u?
u
Let m(o) = o**2 + 20. Let u be m(0). Suppose 2*y - 2*q = -y + u, -3*q = 4*y - 4. Suppose 2 + 16 = 3*z. Which is smaller: y or z?
y
Let a = -49/13 - 242/91. Let g(l) = l**3 + 6*l**2 + 5*l - 7. Let b be g(-5). Is b at least a?
False
Let o = -0.4 - -2.4. Let b = 29 + -46. Let v = -15 - b. Is o smaller than v?
False
Suppose 0 = -k - 4*l + 2, k + l = -l + 2. Let t = -9 + -6. Let u be 11/5*t/(-12). Which is greater: k or u?
u
Let r(s) = -67*s + 25. Let k be r(-8). Let x be (-12)/9 - k/(-414). Which is smaller: 1 or x?
x
Suppose 0 = 5*m + 15, 0 = i - 7*m + 4*m - 12. Suppose -5*d + 0*d + 45 = -5*a, i*d = 12. Which is smaller: a or -2/3?
a
Let p be 0 - (-470)/(-60) - -7. Which is smaller: -1 or p?
-1
Let l = -80 - -81. Suppose 2*j - 8 = -2*j. Suppose 3 + 11 = 3*y + t, j*y - t - 1 = 0. Are y and l non-equal?
True
Let v be -2 + (-8168)/2044 - -6. Is v greater than or equal to -1?
True
Suppose 0 = -623*n + 624*n + 30. Is -28 equal to n?
False
Let r(w) = 7*w + 43. Let a be r(-15). Is a > -190/3?
True
Let t = 11/13 + -147/143. Which is smaller: 3/16 or t?
t
Let u(n) = -2*n**3 + n**3 - 2 - 5*n**2 + 11*n - 12*n. Let y be u(-3). Is -16 less than or equal to y?
False
Let g = -3.376 + -0.024. Let s = 3.47 + g. Is -1 smaller than s?
True
Let v = 15 - 11. Suppose 4*d + 0*d - v = -5*r, 0 = -4*r - 4*d. Suppose -19 = -l - r*p - 0, 0 = 5*l - p - 11. Which is smaller: 4 or l?
l
Suppose f + 28 = 4*c - f, -2*f + 26 = 5*c. Let h = c - 5. Let u be 7*(-2)/(-2) - (-1430)/(-209). Which is smaller: u or h?
u
Let q = 149.3 - 150. Is 2 at most q?
False
Let s be 970/2450 + (-3)/5. Let f = 4/49 - s. Which is bigger: f or -3/14?
f
Suppose 0*x - 2*z = -x - 1, 4*z - 1 = 3*x. Let t = 594097/153 - 3883. Is t smaller than x?
True
Let s = 0.333 - 0.043. Let p = s + -0.29. Is p smaller than -0.4?
False
Let j = 9 + 6. Let l be (-732)/j - 6/30. Let q be 4/22 + l/(-154). Is q at least as big as -0.7?
True
Let k(g) = 44*g**2 + 3*g - 6. Let b be k(3). Is b > 398?
True
Let z(w) = w**2 + 2*w - 5. Let p be z(-5). Let c be (p - 6)*(1755/876 + -2). Which is greater: -1 or c?
c
Let t = 22 + 61. Let r = t + -83.2. Are 0.02 and r unequal?
True
Let h be (2/(-15)*-2)/(22/(-5)). Let j be -2 + 1 + 8/4. Let u be 0/j - (3 - 4). Are u and h equal?
False
Let y = 466 - 570. Which is smaller: y or -109?
-109
Let f be (-468)/(-546) + 12972/(-15183). Which is smaller: f or -1?
-1
Let y = -366 + 371. Which is smaller: y or 0.051?
0.051
Let c = 0.01608 + 27.05392. Let y = 27 - c. Let p = 0.2 + y. Is p greater than 1?
False
Suppose 2*f - 15 - 9 = 0. Let g be ((-14)/18*-3)/(16/f). Let u(p) = -3*p - 1. Let j be u(-1). Which is smaller: j or g?
g
Let x = -11 - -13. Suppose -3*f - 2 + 4 = -x*o, o - 21 = -4*f. Let m(h) = h**2 - 5*h + 3. Let l be m(f). Is l less than -1/2?
True
Let t be 95/6802*(-1)/10*2. Is t bigger than 0?
False
Suppose -5 - 10 = -3*d. Let v be 4/20 + (-1)/d. Let h be 3 + 0 + 0 + -4 + 2. Which is smaller: h or v?
v
Let n = 401/462 + -13/14. Let m(a) = -6*a - 37 + 53 + 34 + 21. Let g be m(12). Which is smaller: g or n?
g
Suppose 0 = 3*j + 4*w - 26, 3*j - 20*w + 21*w = 11. Let h be 14/(-8)*-2 + -2. Which is smaller: h or j?
h
Let c be 35/26 - -10*18/(-120). Which is greater: 0.089 or c?
0.089
Let i(a) = 3*a**2 + 6*a + 6. Let k be i(-6). Suppose -7*q = -q + k. Do q and -13 have the same value?
True
Let z(q) be the third derivative of -q**6/120 - q**5/3 - 3*q**4/4 + 19*q**3/6 + 2*q**2. Let n be z(-19). Is -2/225 < n?
True
Suppose 278*w + 1036 = 271*w. Is -148 at most w?
True
Let b be 620/(-2) + (-17 - -19). Let t be ((-7)/(b/8))/2. Is 0 at most as big as t?
True
Suppose 94 = -4*k - 2*j - 134, k - j + 60 = 0. Is -60 less than or equal to k?
True
Let j be 19005/2795 - (-8)/52 - (-2 + 9). Let s be 0/((-1 + 0)*-1). Which is smaller: j or s?
j
Let i be (9/3 + -57)*32. Let t = i - -868. Let o = t + 45578/53. Which is smaller: o or 0?
o
Let k = -3.04 - 0.56. Let x = 3.3 + k. Which is bigger: -12 or x?
x
Suppose -5*q - 3*k = 43 - 267, -4*q + 182 = k. Let h = q - 31. Is h at most as big as 13?
False
Suppose -f = 62 - 5. Does -59 = f?
False
Suppose 50 = -30*s + 32*s. Let y be (4/(-320))/((-23)/s - -1). Is y at least -1?
True
Let i = -28 + 51. Let h be i + -5 - (4 + -1). Suppose -3*p = 2*g + 12, -2*g + p + 1 = -3. Is h less than g?
False
Suppose -2 = -j + 4. Suppose j*h = 4*h. Suppose 2*t - 5*n - 7 = h, -t - n - n - 1 = 0. Which is smaller: -2/31 or t?
-2/31
Let y = 895 + -895.6. Which is smaller: -2/241 or y?
y
Let a be 2/(-4*(-4)/16). Suppose -a*o = -4, 3*d = 5*d - 2*o + 62. Is -28 bigger than d?
True
Suppose 3*y = -2*b - 9, 3*y + 1 + 14 = -4*b. Let p be 2*2/(-8)*(-5 - b). Which is greater: 2/75 or p?
p
Let k(r) = -r**3 + 2*r**2 + 5*r + 5. Let f be k(-2). Suppose h - 5 - f = 0. Is 0.1 at most h?
True
Let r be (-42)/(-171) + 4/12. Which is smaller: r or 2?
r
Let r = -0.0707 - -1.0707. Which is smaller: 35 or r?
r
Let t = -567/5 - -113. Let s(w) = -7*w**2 - 7*w. Let n be s(-2). Let l be 2/n*(12 - 10). Is l less than or equal to t?
False
Let p = 27 + -26.9. Let a = p - 0.3. Suppose -2*m + 14 = 2*y - 6, -m - 15 = -4*y. Is m at most as big as a?
False
Let i = -73 + 73.2. Is i at least 1/3?
False
Let f(m) = m**3 - 17*m**2 - 43*m + 94. Let y be f(19). Which is bigger: y or 6/175?
6/175
Let y be (-6)/2 - 1498*(-7)/(-14). Which is bigger: y or -753?
y
Suppose 43 = 12*v - 233. Is 