3 - 12*f**2 - 11*f + 3. Let u be s(-11). Suppose -3*b - u*p = 0, -4 = p - 3. Which is greater: b or -2/5?
b
Suppose -84 = -4*o + 2*o. Let r = 43 - o. Let z(t) = t**2 - t - 1. Let s be z(2). Are r and s non-equal?
False
Let u(l) = -52*l - 520. Let z be u(-10). Suppose x - 2*r = -4*r + 10, 2*x + r = 8. Let w be x/8 + (-6)/(-8). Is z > w?
False
Let y = -2.9 - 8.1. Let a = 1.34 - -11.66. Let r = a + y. Is r greater than or equal to -2?
True
Let a be 1/(((-3)/(-654))/((-1)/2)). Let i = a - -121. Which is greater: i or 16?
16
Suppose -4*k + 260 = -5*f - 2*k, 0 = -4*f + 2*k - 210. Is f equal to -50?
True
Suppose 13*u - 447 + 1448 = 0. Is -79 at most as big as u?
True
Let k(m) = -m**2 + 11*m - 4. Let f be k(-6). Which is greater: -108 or f?
f
Let b = 29 - 31. Let f be ((-5)/b - 2)/(16/(-32)). Which is bigger: 2/39 or f?
2/39
Let u(j) = 9 + j + 1 + 5 - 4. Let l be u(-11). Let f be (-12)/18 + 56/102. Is l bigger than f?
True
Suppose -g - 5 = -8*h + 9*h, -4*g + 3*h - 6 = 0. Which is greater: -12 or g?
g
Let m be 108/(-2295)*(-10)/(-14). Which is greater: -1 or m?
m
Let h = -1601 + 628. Is h at most -973?
True
Let l = -851 + 792. Which is greater: -2 or l?
-2
Let o be (-3)/(-9)*(-2)/14*6. Let y = 0.1 + 0.9. Which is bigger: o or y?
y
Let a(b) = 87*b**2 + 435*b - 2. Let f be a(-5). Which is bigger: f or -96?
f
Let j(w) = w**3 + 4*w**2 - 24*w - 86. Let r be j(-5). Let o(h) = 3*h - 9. Let k be o(6). Is r bigger than k?
False
Let t = 35 + -7. Let b = t - 30. Is -14 at most as big as b?
True
Suppose -5*t - 5 = -c, 2*c + 2 + 10 = -t. Let v be (8/t + 3)*-13. Let q = 17 + -18. Which is smaller: q or v?
q
Let z(h) = -h + 6. Let b be z(0). Let c(u) be the first derivative of -u**4/4 - u**3 - 11*u - 26. Let l be c(-4). Is l at most as big as b?
True
Let l = -4904/51 - -295/3. Which is greater: 1 or l?
l
Let v = 113 - 32. Let o = v - 113. Which is smaller: o or -1?
o
Let g be (-11135)/(-1615) - 2/(-19). Which is greater: -8/7 or g?
g
Let j = -46 + 31. Let a be (1/j)/((-3)/18). Which is greater: -6 or a?
a
Suppose 4*s = 3*s + 22. Suppose -7*w + 2*b + 92 = -2*w, -s = -w + 4*b. Let z be -1*(-1 + 21/w). Which is bigger: -1 or z?
z
Suppose 3*l + 30 = -5*b, -l - 20 = -2*b + 7*b. Is b equal to 18?
False
Suppose 56 = 8*y - 16. Suppose 6 + y = 5*g. Which is smaller: g or 1?
1
Let z = -184.9 + 186.9. Let i = 0 - 0. Is i less than z?
True
Let b = -7 + 11. Suppose -3 = -7*f + b*f. Is 3/5 <= f?
True
Suppose -6*q = 2*q - 40. Suppose -5*p = -4*f, -45 = 5*p + q*f - 0. Is -4 >= p?
True
Suppose -18*j + 5 = -13. Which is bigger: 2/29 or j?
j
Let u(m) = -m**2 + 4*m + 4. Let c(b) = -b**2 - 7*b + 5. Let x be c(-7). Let g be u(x). Let i = -5029/50 + 201/2. Are g and i unequal?
True
Let w(n) = -7*n**3 - n**2 - n - 1. Let m be w(-1). Let h = m - 4. Suppose 3*k + 13 = 4*u, 2*k + 9 = h*u - 1. Is -5 bigger than k?
True
Let h = 12.29 - 0.29. Which is smaller: h or -1/27?
-1/27
Let v = -137803/72 - -1914. Which is smaller: -1 or v?
-1
Let x = 392 - 202. Let d = x - 180.1. Let f = d - 10. Are 2 and f nonequal?
True
Let h be ((-304)/(-532))/(74/(-7)). Is -1 >= h?
False
Suppose -u - 35 = -25. Let k be (-10)/(2/u - (-22)/10). Is k > -6?
True
Let s = 4 - -113. Which is bigger: 116 or s?
s
Let o be 1/8 + 3/(-4). Let z = 0 + -2. Which is greater: z or o?
o
Let j be 276*(-8)/756 - 1*-3. Which is greater: 1 or j?
1
Let c = 79 - 62. Suppose -2*f + q = -42 + 14, 8 = f - 2*q. Which is smaller: c or f?
f
Let d be (20/50)/((-12)/400). Which is greater: d or 0.3?
0.3
Let t = -0.8 - 2.9. Let z = t + 4.7. Is 0 > z?
False
Suppose -70 = 26*k - 25*k. Suppose -4*f = -20*f - 1136. Which is smaller: f or k?
f
Let h = -19 + 19. Let c = -1434 - -41580/29. Which is bigger: c or h?
h
Let m = 1.3 + -0.3. Let z = 10.011 + -10. Let k = z - 0.011. Which is greater: m or k?
m
Let d be (-4)/(-3) + (-2)/6. Let y(t) = -t + 1. Let m be y(d). Let c = 815 - 26893/33. Which is greater: c or m?
c
Let l be 2 - (-2 - -2)/(-1). Suppose -5*d + 99 = s - 3*s, -d = s - 24. Suppose a = -l*a + d. Which is smaller: 9 or a?
a
Let k = 193 - 122. Suppose 2*n - k = -5*l - 2*n, 3*l + 3*n - 45 = 0. Let y = l + -10. Are 1/9 and y equal?
False
Let o(c) = 4*c + 8. Let l(u) = u + 4. Let h be l(-16). Let m be o(h). Do -40 and m have the same value?
True
Let v = -10.8 - -12. Let n = v - -0.3. Let f = n - 1.7. Is -3 >= f?
False
Let y = 354 - 429. Is y bigger than -80?
True
Let z = 190.6 + -191. Is 0.1 > z?
True
Suppose 0 = f + 2 + 1. Let j = 3 - -4. Let z = -12 + j. Which is bigger: f or z?
f
Let w(h) = -2*h - 8*h**2 + 20*h**2 - 13*h**2 - 1. Let v be w(-1). Which is greater: 1/43 or v?
1/43
Suppose -4*q = -b + 9, 2*q + 22 = 18. Does 1 = b?
True
Let l = 688/5 - 6062/45. Let b(y) = -3*y**2 - 9*y + 3. Let d be b(-3). Are l and d unequal?
True
Let n be 126/27 + -5 + (-103)/(-3). Which is greater: n or 0.09?
n
Let q(n) = -2*n**2 + 11*n - 18. Let x be q(5). Which is greater: -83/6 or x?
x
Suppose 47*t + 1922 = -4094. Which is bigger: -129 or t?
t
Suppose 157*g + 55 = 168*g. Let k(h) = -2*h - 4. Let y be k(-4). Which is smaller: y or g?
y
Let a = 29883/26 + -2319/2. Is a equal to -11?
False
Let o(v) = v**3 - 7*v**2 + 4*v + 4. Let c be o(6). Which is smaller: -4 or c?
c
Suppose -3*t + 5*f - 3 = 0, 5*f + 5 = -5*t + 6*f. Which is greater: t or -1/178?
-1/178
Suppose 3*q + 2*i + 3*i - 6 = 0, 0 = 5*q - 2*i - 10. Suppose -q*o + 2 = -4*o. Let n be o/1 + 2/(-5). Which is smaller: 0 or n?
n
Suppose 6*m - 84 = m - w, -4*w - 16 = -2*m. Suppose -2*f - 4*k + 58 = 8, -5*k + 88 = 4*f. Which is smaller: m or f?
m
Let i(v) = 4*v + 26. Suppose 9*q + 42 = 2*q. Let x be i(q). Suppose -1 = -5*b - 6. Which is bigger: x or b?
x
Suppose 0 = -2*t + t + 2*w - 8, -4*t + 4*w - 12 = 0. Is -35 smaller than t?
True
Let r = 422 + -465. Which is smaller: r or -306/7?
-306/7
Suppose -172 = 180*r - 182*r. Which is bigger: r or 85?
r
Suppose 2*h + h = 0. Let l be ((-28)/10 - -1) + h. Let c = 2135 + -2136. Is l <= c?
True
Let h = 0.53 + 286.47. Which is greater: 0 or h?
h
Let p = 68.9 + -62.7. Which is bigger: p or -8?
p
Let o be 34/9 - (-2)/9. Suppose -2*k + o*c = 4, 4*k = 4*c - 5 - 11. Let v be (-20)/15*k/(-28). Is 0 bigger than v?
True
Let s = 105615/8 - 13230. Which is greater: -27 or s?
-27
Let q = -6 + 6. Let u = -7.29 - -7.857. Let d = u + -0.067. Which is bigger: q or d?
d
Let o(k) = -k**2 - 16*k - 4. Let z be o(-14). Let n = z - 23. Let v = n + -1. Which is bigger: 1/13 or v?
1/13
Let j(x) = x - 7. Let m be j(12). Let a be (8*3)/1*m/(-55). Which is smaller: a or -2?
a
Let h = 288 - 5757/20. Let r = 0 + 3. Suppose 4 = -r*j + 7. Is h greater than or equal to j?
False
Let p = -1179 + 1177. Which is bigger: p or -46/31?
-46/31
Suppose -7*o + 3*o - 4 = 0. Suppose -41 = -4*u + 103. Let a = 254/7 - u. Is o >= a?
False
Let y be (-98)/(-28) + 2/4. Let s(f) = -6*f - 2 - 2 + y*f - 2*f. Let u be s(-1). Is u <= -3/14?
False
Let t = -138 - -171. Do 95/3 and t have the same value?
False
Let u(g) = -2*g + 3*g + 2*g - 2*g - 11. Let z(p) = -p**3 + 4*p**2 + 2*p - 4. Let o be z(3). Let t be u(o). Which is smaller: t or -1?
-1
Let b = 49/218 + -834869/654. Let y = b - -1292. Let m = y + -16. Are 1 and m unequal?
True
Let p be (-2)/(120/45)*(-13)/(-2). Which is smaller: -4 or p?
p
Let r be 67/134*(-11 - 1) - 123. Which is greater: r or -133?
r
Let s be 64/(-10) - (-22)/55. Let m be -1 + 6*(-4)/s. Which is bigger: 7/2 or m?
7/2
Let l = 4/87 - -7/1740. Are l and 2 non-equal?
True
Let i be ((-442)/4)/(-1 + 15/18). Are 661 and i non-equal?
True
Let g be ((-10)/(-7))/((-3828)/231). Which is smaller: 0 or g?
g
Let n = -7162/9 - -796. Is 372 not equal to n?
True
Let g(v) = v + 2. Let o(p) = -p**3 - 7*p**2 - p - 7. Let q be o(-7). Let w be g(q). Suppose w*n = n + 12. Is n > -1?
True
Suppose -f = -0 - 1, 5*c + 5*f = 15. Suppose -c*u = -u - 25. Is u smaller than 24?
False
Let q be (-5 - (-4 + 3) - (-3)/3)/(-8). Let l(h) = -h**2 + 5*h - 2. Let a be l(4). Suppose -1 - 1 = -a*w. Which is smaller: w or q?
q
Let u = -16 + 146/9. Let w = 6822 - 27457/4. Let q = w - -42. Which is greater: u or q?
u
Let t(l) = -8*l - 1. Let g be t(-1). Suppose -3*j + g = w, 3*j + w - 9 = -j. Is j <= 5/6?
False
Suppose -5*t - 5*p - 202 - 63 = 0, 5*t + 265 = -3*p. Which is smaller: t or -54?
-54
Let i = -21/2 - -10. Suppose -2*h + 7 = -3*m, -3*m