f?
-13
Let x be (-1 - -3) + (-2)/1. Let n be ((-3)/(-90))/((-160)/50). Which is smaller: n or x?
n
Let h = 934 - 934. Let l = 8 - 7.968. Which is greater: l or h?
l
Let o be (-2)/(-14)*(5 + -1). Let x = -44.7 + 45. Does o = x?
False
Let d be (1 - 2)*1 - 0. Let g be (-18)/(-162)*6/4. Let h = g + -5/18. Which is greater: d or h?
h
Suppose 4*j - 2*j - 16 = 4*w, w - 1 = 3*j. Suppose 3*z = 26 - 8. Suppose -q = -l - 2, 2*q + 5 = -z*l + 5*l. Which is bigger: w or q?
q
Let f be (803 + -803)/(1/((-1)/(-2))). Which is greater: f or -24/31?
f
Let s = 6.14 + -0.14. Let c = s - 0. Let h = c - 6.1. Which is smaller: h or 1/3?
h
Suppose 2*x - 929 = 3*p - 6*p, 5*p + 3*x - 1549 = 0. Which is smaller: 0 or p?
0
Let c be 7*(-2 - 15/(-7)). Let p = 544/105 - 26/7. Which is bigger: c or p?
p
Let y = 31 + -37. Let v be (-93)/(-546) + y/21. Let i be 5/(-7) - 6/21. Is v at most i?
False
Suppose 0*s - 2*s = 0. Let z be s*(-3)/18*-3. Let n = 2 + z. Which is bigger: n or 4?
4
Let w = 17 + 3. Let s be 252/w + 6/15. Suppose -4*c = 4*h + 1 + 11, -5*c - s = 4*h. Is 3/7 greater than or equal to c?
True
Let v = 0.747 + -0.497. Which is bigger: -0.3 or v?
v
Let o = -80321/11 + 7297. Is -4 < o?
False
Let j = -115 + 93.8. Let h = j + 7.1. Let v = h - -14. Which is greater: v or -3/8?
v
Let u = -1.54 + 2.54. Is 0.05 != u?
True
Let o be (-8)/(4*-1) - -50. Let b be o/14 - (-4)/14. Let x be (-14)/7 - -1*5. Which is smaller: x or b?
x
Let d be (2/3)/(-4 - 60/(-18)). Let b be (16/(-18))/(2/1). Do b and d have the same value?
False
Let s = -48 + 38. Let l be (-2)/(-8) + (-98)/8. Is s <= l?
False
Suppose 807 = 2*q + 801. Which is smaller: q or -1/6?
-1/6
Let v = 1132 - 1102. Which is smaller: v or 31?
v
Suppose -3*p + 22 = 16. Suppose 4 = p*u + 2. Are u and 7/11 non-equal?
True
Suppose -4*t = 4*z - 12, 0 = -3*t + z - 0*z + 1. Suppose -m = 2*r - t, 0*r = 5*r + 5*m. Suppose -l + 1 = 3. Which is smaller: l or r?
l
Let g be (-4 + (-90)/(-25))*10/(-24). Is -16 smaller than g?
True
Suppose -3*q - 8 = i, -q - 5*i - 15 - 11 = 0. Let k = 25/7 + -768/217. Which is smaller: q or k?
q
Let m be (-3)/(-1) + -23 + 4. Let s be (-4)/6*(m - 8). Do 18 and s have the same value?
False
Suppose -l + 5 = 0, 28 = -5*f + 2*l + 8. Let o = 2 - 3. Let j = o + 4. Which is smaller: j or f?
f
Let v be 4/(808/1830) + -9. Let u(k) = k**2 + 13*k - 15. Let y be u(-14). Is v >= y?
True
Suppose 5*g + 87 = -13. Let u be (-1)/(g/(-236)) + (3 - -1). Is -7 < u?
False
Let w = -23569/41 + 575. Is w at least 0?
True
Let b = -277 - -277.1. Which is smaller: 1/2 or b?
b
Let z(g) = g + 2. Let d be z(-2). Let s(u) = u**2 - 10*u + 6. Let c be s(8). Let q = c + 11. Is d <= q?
True
Let g(r) = -r**3 - 9*r**2 + 7. Let o be g(-9). Suppose 0*k - 5*k + 2 = 3*j, 5*k - 2*j = o. Let y be (3/(-18))/((-14)/(-8)). Do y and k have different values?
True
Let l = -222 + -806. Let r be 20/l*14/35. Is 0 < r?
False
Let d be (10/8)/(93*1/(-12)). Which is smaller: d or 0?
d
Suppose -32*v + 30 = -866. Is 28 != v?
False
Suppose -4*k + 59 = -z, -2*k + 23 = -4*z + 11. Is k at most 38?
True
Suppose 7*v = 10*v - 9. Suppose -3*w + 3*z = 69, -3*w - v*z - 57 = -0*z. Is -2/5 less than or equal to w?
False
Let m = -1 + 2. Let t = -0.023 + 1.123. Is m at least t?
False
Let x = -258 - -261. Is 28/17 < x?
True
Let w = -20 + 23. Let y be w/(-6) - (-24)/112. Which is smaller: -1 or y?
-1
Let t = 98 + -393/4. Suppose 2*k = -154 - 44. Let i = k - -497/5. Is i greater than or equal to t?
True
Let i(w) = -44*w - 3. Let f be i(-2). Let d = -341/4 + f. Let v = -1.1 - -1. Which is bigger: v or d?
v
Let b = 305.9317 - -0.0683. Do b and -1 have different values?
True
Let p = -227 - -226. Which is smaller: 1/42 or p?
p
Suppose -3 = -16*b + 45. Suppose 0*f + b*f + 3*z = -3, 3*f - z + 15 = 0. Is f at least as big as -14?
True
Let a = 47 + -22. Let k = a - 43. Is -19 equal to k?
False
Let z = -1.069 + 0.069. Is 6/121 greater than or equal to z?
True
Let t = -4 + 10. Let m be 56/t + (-1)/3. Suppose -m = 5*r + 1. Is r greater than -3?
True
Suppose -10*j + 7*j + 10 = 4*i, -j + 3*i + 25 = 0. Which is greater: j or 16?
16
Suppose 3*b = w + 2*w - 15, -3*b = -4*w + 25. Suppose -4*p - 18 = w. Which is smaller: p or -5?
p
Let t = -3809 - -3781.57. Let g = t - 0.57. Which is smaller: g or -0.1?
g
Let d be (-2790)/555 - 10*(-3)/6. Which is smaller: d or -1?
-1
Let s be 1*2 - 2/1. Suppose 4*u - a - 1 = 0, s = -u + 2*a - a + 4. Suppose -5*o - 12 = 3*g + 13, -5*g - 2*o - 10 = 0. Is g greater than u?
True
Let t = -88 - -171. Let z = -145 + t. Which is bigger: -61 or z?
-61
Suppose 0 = 2*h + 7 - 1. Let w = 20/7 + h. Suppose 2*f = 3*f. Is w at most as big as f?
True
Let b(w) = -37*w - 218. Let l be b(-6). Let r = 3 + -2. Let v = 2 - r. Is l greater than v?
True
Let l(x) = -x**3 - 6*x**2 + 5. Let n be l(-6). Suppose 2*j = -n - 5. Suppose -24*q = -q + 138. Which is smaller: j or q?
q
Let g = -101/6 + 17. Let j = -5/6 + g. Let o be (-8)/2 + (28 - 26). Which is greater: o or j?
j
Let j(f) = 3*f**3 + 2*f**2 + 10. Let n(l) = l**3 + l**2 + 5. Let z(c) = 2*j(c) - 5*n(c). Let i be z(0). Which is smaller: -6 or i?
-6
Suppose b - 2*b - 4*o - 17 = 0, 3 = -3*b + 4*o. Suppose s = 4*y, -4*y + 0*y + 12 = -4*s. Which is greater: s or b?
s
Let q be 2/(-5) + 0/(-37). Is q at least as big as -0.4?
True
Let y = 1 + 10. Let c = 8 - y. Which is smaller: -42/11 or c?
-42/11
Let d = 3 - 8. Let c be (-25)/15*(-2)/d. Let n = 0.086 - -0.214. Is c equal to n?
False
Let y = 25 + -25. Suppose -3*o + 10*o - 28 = y. Suppose 6 + 2 = o*p + 2*j, 3*p - 4*j = -16. Is -4/19 at most as big as p?
True
Suppose -4*u = -f - 159, u + 17 = 3*f + 43. Which is smaller: 42 or u?
u
Suppose 0 = 5*t - 28 + 8. Suppose 4 = t*k - 4. Is 7/5 equal to k?
False
Let j = 41/4 + -10. Let n = -1 + 7. Let q = 6 - n. Which is smaller: q or j?
q
Suppose -16*s = -12*s + 2300. Let a = -52899/92 - s. Which is smaller: 0 or a?
0
Suppose -2*z - 19 + 1 = -2*l, 5*l = -2*z + 24. Let r(y) = -45*y**3 + 2*y**2 + y. Let b be r(-1). Suppose 9*o - b + 1 = 0. Which is smaller: l or o?
o
Let t = 156 - 157. Which is bigger: 12/17 or t?
12/17
Suppose 2*s - 4 = -w, s = -s + 4*w - 16. Suppose s = -4*p + 1 - 5. Which is greater: p or -2/49?
-2/49
Let p = -4 - -8. Suppose 3*g = -p*z + 35, -7*g = -2*z - 3*g + 12. Let i be (2/7)/(z/56). Which is greater: 3/5 or i?
i
Let m = -18 - 6. Which is bigger: m or 1/5?
1/5
Let i = 7 - 22. Let a be i/9 - (-4)/(-12). Let m be (-2 - a)/(-3) + 9. Is 9 equal to m?
True
Let b = -2.7 + -1.3. Let l = -4.082 - 0.018. Let t = l - b. Is -2/13 <= t?
True
Let g = 74 - 97. Which is greater: -2 or g?
-2
Suppose 6*l = 2*l - 12, -2 = 4*h + 2*l. Let c(w) = -4*w. Let p be c(6). Let b be (-16)/p + 2/(-21). Which is smaller: h or b?
b
Let c = 1193 - 28637/24. Is c <= 2?
True
Let r = 245.8 - 245.8. Is 57/5 at most r?
False
Let d be 15/(-60) + (3318/8)/7. Is 58 less than d?
True
Let h = 6 - -1. Suppose h*d = 2*d + 15. Suppose -3*s + 3*r - 15 = 0, 4*s - d*r + 5*r = 10. Are -2/79 and s nonequal?
True
Let z = 281/10818 - 3606389/11953890. Let d = 2/221 + z. Which is bigger: d or 1?
1
Suppose -a + 4*h + 19 = 0, 3*a - 4*h - 10 = 5*a. Suppose -3*q - 10 = c, 2*c = a*c - q - 10. Let v be (20/(-6))/c*3. Which is smaller: v or -6/7?
v
Let c(r) = 25*r**2 - 3*r + 9. Let q be c(3). Let a be q/(-693) - (-1)/7. Let h = 1/55 - a. Which is greater: -0.07 or h?
h
Suppose -6 - 12 = 4*k - 2*w, 4*w = 4*k + 28. Let j be ((-1)/k)/(1/10). Let v(x) = x**3 - 6*x**2 + 5*x + 1. Let d be v(j). Which is smaller: 1/3 or d?
1/3
Let m = 192 - 221. Which is bigger: m or -272/9?
m
Suppose 6*u + 35 = u. Let d(s) = s**2 + 5*s + 2. Let w be d(-3). Are u and w equal?
False
Let h = 2.63 + 0.57. Let v = -3.08 + h. Which is greater: -2/3 or v?
v
Let y(j) = -143*j + 309. Let r be y(3). Do r and -850/7 have the same value?
False
Let q(v) = -5*v - 22. Let t be q(-2). Is t bigger than -11?
False
Let i(d) = d**2 - 7*d + 4. Let w be i(6). Let v(s) = -15*s + 5. Let q be v(w). Suppose -b - 12 - 3 = 5*z, -b + q = -5*z. Is 9 > b?
False
Let x = 13 - 8. Which is smaller: x or 9/2?
9/2
Suppose g + 13 = 2*x - 38, -105 = -5*x - 5*g. Let a be 7 - 165 - (-3 + 1). Let f = -132 - a. Is x greater than f?
False
Let l(h) = h**2 + 24*h - 80. Let r be l(-27). Is 7 <= r?
False
Let k be 2/(-9) + 34/(-9). Which is bigger: -47/9 or k?
