o f?
False
Let b(t) = -t**2 + t + 1. Let x(k) = 2*k**2 + 13*k + 26. Let i(c) = -b(c) - x(c). Let y be i(-12). Which is smaller: y or -4?
-4
Suppose -f + 0 + 21 = 0. Suppose -5*y - 4*o + 2*o - 114 = 0, 0 = 5*o + 10. Let c = f + y. Are c and -21/2 equal?
False
Let c = 117 + -52. Suppose 2*n + c = 2*h - 107, h = -5*n + 86. Is 86 > h?
False
Suppose -4*s - 32 = 36. Which is smaller: -15 or s?
s
Suppose -5*a + 2*r = -140, 6*r - 7*r = a - 35. Which is greater: a or 378/13?
a
Suppose -j + 43 = -5*n, -2*n - 3*j = 15 + 9. Let x be (n/(-4))/(6/(-72)). Which is smaller: x or -28?
-28
Let i(z) = z + 2. Let f = -75 - -73. Let h be i(f). Is h at least as big as -1/4?
True
Suppose 2*g - 24 = -0*g. Suppose 3*u + 2*u - 6 = 4*n, -4*n + g = 4*u. Let q be n - (-3)/(6/(-4)). Is -3 bigger than q?
False
Let d(m) = -m**3 - 51*m**2 + m + 51. Let i be d(-51). Do -2/239 and i have the same value?
False
Let g(u) = -2*u - 80. Let k be g(-25). Let c be (-5)/3*108/k. Is 4 less than c?
True
Let o be -2 + 1 + (-15)/9. Let s(j) = 133*j + 1726. Let k be s(-13). Which is smaller: o or k?
k
Let s = -44.2 + 44. Let c = 2.2 + s. Which is greater: -0.7 or c?
c
Let n be 21/(-16)*2/(-3) + -1. Let y = -45/8 - n. Which is bigger: -7 or y?
y
Let h(l) = 2*l + 21. Let m be h(-8). Let k be (0*(-1)/m)/(-2). Which is bigger: 2/55 or k?
2/55
Let q(p) = -2*p - 29 + 51 - 35. Let z be q(-6). Does -3/11 = z?
False
Let g(c) = c**2 - 7*c + 5. Let y be g(6). Let t(w) = 29*w**3 + 2*w**2 + 2*w + 1. Let s be t(y). Let i be (-1)/(s/8 + 3). Are 2 and i nonequal?
False
Suppose -29*g = 33 + 25. Let n be 3*(-1 - 8/6). Which is greater: g or n?
g
Let u be 2/6 - (-116)/174. Let k(c) = 2*c**2 + 2*c - 1. Let w be (-6 - -4) + 0/2. Let i be k(w). Are u and i non-equal?
True
Let j be ((-31)/(-4) - 3)*-20 + -6. Which is greater: j or -819/8?
j
Let o = 1.1 - 7.1. Let k = -62 + 143. Let g = k + -82. Which is smaller: o or g?
o
Let n = 126.2 + -750.2. Which is smaller: n or -1?
n
Suppose 123 = 4*q - 77*y + 74*y, 0 = -5*q + 3*y + 153. Suppose 5*f - 170 = -15. Which is smaller: f or q?
q
Let j be ((-62)/66 - 3) + 45/9. Which is greater: j or 2?
2
Let f = 1.6 - 34.6. Let l = 0.349 - 33.349. Let j = f - l. Which is smaller: 1/6 or j?
j
Let w(t) = t**2 - 25*t + 3. Let j be w(17). Is j less than or equal to -132?
True
Let z = -65 + 68. Suppose v + z*v = -20. Let g(w) = -w**2 + w + 1. Let b be g(-2). Is v at most b?
True
Let v = 0.2258 + -0.3058. Let p = 0 + -0.1. Which is greater: v or p?
v
Let n be (-1494)/12*(-3 + 1). Let z = 1197689/5332 + 3017/124. Let q = z - n. Is q bigger than 1?
False
Let w = -4 + -19. Let i = w - -14. Suppose -11*m + 38 = 115. Which is smaller: i or m?
i
Suppose -5*n + 7*n = -4*w - 16, -n = 4*w + 2. Which is greater: n or -31?
n
Let m = 1246.57 + -1238. Let s = m + -8.6. Which is smaller: 0 or s?
s
Suppose -3*s = -3*h + 21, h = 6*h + 3*s - 35. Suppose 4*m - 96 = -12*m. Suppose -m = 2*y - 20. Is y > h?
False
Let h = -155 + 143. Let m be 334/(-26) - 2/13. Is m greater than or equal to h?
False
Suppose 8*f - 4*f - 16 = 0. Suppose -4*u = -g + 5 + 48, u + 26 = -f*g. Which is smaller: u or -13?
u
Let l(h) = -h**3 + 6*h**2 - 4*h - 1. Let v be l(6). Let z = 32 + v. Do z and 9 have different values?
True
Suppose 0 = -5*v - 5, -4*v = u - 16 + 19. Is 2/69 <= u?
True
Let o(l) = -l**2 - 17*l + 23. Let g be o(-18). Suppose -g*s = -25, -2*s + 4*s - 14 = -i. Which is greater: i or 2?
i
Let i = 18 + 3. Suppose i = 5*d - 4. Let y(b) = b - 5. Let p be y(d). Which is bigger: -20/9 or p?
p
Suppose 5*h - 8*h - s = 950, 0 = 4*h - 2*s + 1270. Let m = 1579/5 + h. Which is greater: m or 0?
0
Suppose 26 = -2*b + 10. Let z(r) = -r**2 - 7*r - 2. Let c be z(b). Let s be 168/495 - (-4)/c. Which is smaller: s or 0?
s
Let d be (6/(-4))/(258/88 + -3). Let g = d + -34. Is g >= -4?
False
Let j(z) = -z**2 - 6*z - 4. Let y(p) = -p**3 + p**2 - 2*p + 3. Let s be y(2). Let x be j(s). Which is bigger: x or 11/7?
11/7
Let m(q) = -2*q - 29. Let n be m(-15). Is n > 2.2?
False
Let m be 1 + -3 + 5 - -2. Suppose 2*f = -m*t + 6*t - 2, -f = 0. Suppose 20 = -0*v - t*v. Is 0 smaller than v?
False
Let i = 104 - 76. Let q = 133 - i. Which is greater: 104 or q?
q
Let p = 1.9 - 7.9. Let o = p + 18. Let y = 13 - o. Which is smaller: y or -7?
-7
Suppose q = -d - 99 - 25, -484 = 4*d + q. Which is smaller: -119 or d?
d
Suppose 0 = -4*u + 16. Suppose 16 + 9 = 5*o, 4*m = 4*o. Let w be 28/m + (-4)/(-10). Is u >= w?
False
Let u = -2090 + 2045. Which is smaller: u or -46?
-46
Let w be (-1)/(1 + 0) + 0. Let u = 75819/7 + -10697. Let t = u - 134. Do t and w have the same value?
False
Let d = 1490 + -1514.5. Are -0.6 and d equal?
False
Let h be (4/3)/((-4)/528). Let r = h - -7745/44. Is r greater than 0?
True
Suppose -4*m = m + 580. Let w be m/16 + (-6)/8. Let u be (w/(-12))/(5/(-3)). Which is greater: u or -0.01?
-0.01
Let k = -1 + 20. Let z = k + -12. Let n = z - 6. Is n not equal to -2/25?
True
Suppose -4*g = -3*f - 17, -4*f + 0*f + g - 14 = 0. Let a = -93.64 + 95. Let s = a + -1.56. Is s at most as big as f?
False
Let p = 3326 - 43205/13. Which is smaller: p or 2?
2
Suppose -4*b - x = 3, -4*x = -5*b + 3*b + 12. Let c = b + 2. Suppose 0 = 15*t - 13*t - 4. Is t bigger than c?
False
Suppose 5*o = -4*n + 17, 2*o - 6*o = n + 4. Let k(a) = 13*a + 127. Let i be k(-9). Which is smaller: i or n?
n
Suppose -2*s + 3*n - 9 = 0, 3*n - n - 6 = 5*s. Which is bigger: -1 or s?
s
Let m = -234 + 251. Which is greater: 0.4 or m?
m
Let o be 293/4*200/125 + -5. Is o > 112?
True
Let m = 22.41 - 1.41. Is 4 greater than m?
False
Let f be ((-20)/15)/(2/111). Which is smaller: f or -76?
-76
Let y be (-10)/9 + 1 + (-242)/9. Is -103/4 > y?
True
Let y = 29.813 + 0.187. Is y not equal to -4?
True
Let m = -134 - -1877/14. Let r = -367 + 367. Are r and m non-equal?
True
Let y(s) = -s**3 - s - 1. Let f(n) = -6*n**3 - 3*n**2 - 5*n - 4. Let c(t) = f(t) - 5*y(t). Let b be c(-1). Let v be 0/(-2) - (b - 0). Is 4/5 not equal to v?
True
Let p = -2 + 1. Let g = -48 + 52. Suppose 8 = 4*j + g*j. Which is greater: j or p?
j
Let v be 15/(-10) + (-478804)/(-408). Let a = 1172 - v. Which is bigger: 1 or a?
1
Let w = 6050/927 - -106/103. Which is bigger: 8 or w?
8
Let s(y) = -y**3 - 2*y**2 - 1. Let n be s(3). Is -91/2 at most n?
False
Let t(g) = g - 26. Let y be 3/(-1 + 4) + 7. Let o be t(y). Which is bigger: o or -12?
-12
Let c = 271/65 + -22/5. Let t = 69751/26 - 2682. Let x = c + t. Is x > -1/3?
True
Let a be -1 - (1 + 8) - -2. Suppose -3*w = 5*d - 392, 4*w + w + 3*d = 664. Let p be (3/w)/((-6)/a). Is p at least as big as 1?
False
Let i(l) = -5*l - 11. Let k be i(-3). Suppose -p + 3 = -1. Suppose 0 = -k*m + 4, -g - 4*g - p*m = -9. Is g bigger than 1/18?
True
Let p be -2 + 0/(-4 + 3 + 0). Let v(n) = 2*n**2 + n. Let t be v(-1). Let j = t - 4. Which is smaller: j or p?
j
Suppose i - 3*i + 8 = 0. Let q be i/(-7) - (-386)/14. Let p be 6/q - 37/45. Which is smaller: 0 or p?
p
Let u be (-3 - -9) + (-3066)/483. Which is smaller: 1 or u?
u
Suppose -b = -0*b + b. Suppose r - 5*r + 24 = b. Which is bigger: r or 4?
r
Let c(s) = -2*s - 32. Let j be c(-15). Let h(d) = d + 2. Let l be h(j). Which is greater: l or 4/9?
4/9
Let c = -26 + 35. Which is greater: -0.04 or c?
c
Suppose a + 2 + 1 = 0, 0 = z + a + 1. Suppose -5*v = -l - 6, z*v - 4*l = -7 - 5. Let g = -3028 + 3029. Which is smaller: v or g?
g
Let o = 3.1 - 3. Let b = o + 6.9. Which is bigger: b or 0.2?
b
Let d = 0.044 - -4.556. Let t = -7.6 + d. Let c = -28/45 - 2/45. Which is smaller: t or c?
t
Suppose v - 53 = -6*w + 8*w, -2*v - 3*w + 78 = 0. Which is smaller: 44 or v?
44
Let q = 2135 + -2361.1. Let a = 228 + q. Let o = 1 + -1.1. Which is greater: a or o?
a
Let q(m) = 2*m**3 - 35*m**2 + 18*m - 14. Let u be q(17). Suppose 2*y = -0*y. Which is smaller: y or u?
y
Let t = 85.8 - 4.8. Let n = t - 80. Are n and -29 nonequal?
True
Let t = -103594 - -21029521/203. Let i be 1 + -1 - 12/29. Let c = i + t. Is -2 at least c?
False
Let n = 112 + -75. Suppose -n + 1 = 2*m. Let u be -1 - -1 - m/(-153). Which is smaller: 1 or u?
u
Suppose -v = -6*v - 30. Suppose -o + 5*d = -21 - 0, 68 = 4*o - 4*d. Suppose 3*l + o = -j, 5*l - 4*j - 4 + 8 = 0. Which is smaller: l or v?
v
Let x(y) = 9 - 3 - 2*y - 2. Let l be x(-2). Suppose -o + 5*w = -5*o - 2, 0 = 4*w - l. Which is smaller: 0 o