(0 - 1)*(-24)/(-124). Is n at least 0?
False
Let v(w) = -w**2 + 4*w - 4. Let m be v(5). Let s be (0 - (0 - 3)) + m. Let r be (s - (-5 + 2)) + 2. Which is smaller: r or -1/5?
r
Let z = -3946/17 - -232. Suppose -3*k - 7 = 11. Let q = k + 6. Is q > z?
True
Let m(a) = a**3 + a**2 - 25*a - 2. Let n be m(0). Which is bigger: n or -441?
n
Suppose 2*a - 28 = 32. Let w = a - 30. Suppose -4*z + 8 = w, -4*z + 10 + 3 = 5*t. Is t < -2/13?
False
Let b = -68 - -74. Let q be 347/35 + b/21. Which is smaller: 11 or q?
q
Let n = -17879/3312 + 124/23. Which is greater: n or 1?
1
Let p = -3.45 - 0.15. Let j = p + 8.6. Is j at most as big as -0.3?
False
Let w(a) = -a + 12. Let t be w(0). Suppose 4*f - 36 = t. Suppose u = -2*u + f. Is u greater than 4?
False
Let c = 163 - 481/3. Let h be 14/4*(1 - 3). Let b be (10 + -3)*(-2)/h. Is c less than or equal to b?
False
Suppose 2*o = 2*a + 50, 5*o + 73 = -3*a - 10. Suppose -3*i = -2*b - 47, 5*i = -2 - 3. Let t be b*2*4/8. Which is smaller: t or a?
a
Let f = 15/16 + -241/240. Suppose 2*n - 12 = -n. Suppose -4*o - n = 4*k, -2*o - 3*k - 3 = -0*o. Which is smaller: o or f?
f
Let s = -1.8 - -0.76. Let r = s - -0.04. Which is smaller: 22 or r?
r
Suppose -609 = 3*u - 3*d, 506 = 4*u - 5*d + 1322. Let v be u/(-7) + 2/(-4). Let a = -28 + v. Which is smaller: -1 or a?
-1
Suppose -3 + 3 = 9*h. Which is bigger: h or -28/23?
h
Let i = 711/4 + -176. Let a be (-1)/(0 - 1/8). Let x = 11 - a. Do i and x have the same value?
False
Let v = 49 - 97. Let k = v - -48.03. Are k and 2/3 equal?
False
Let n be ((-4)/(-6))/(56/(-714))*10. Is n at least as big as -254/3?
False
Let y = -4.7 + 0.6. Let x = -71.1 + 72. Let t = x - y. Is t at most 2?
False
Let q(k) = k**3 + k**2 - 5*k + 3. Let g be q(1). Which is smaller: g or 0.4?
g
Let s = 31865/216 - 1147/8. Let f = -10138/2457 + s. Which is smaller: -1 or f?
-1
Let x(u) = u**2 + 15*u + 29. Suppose -4 = -r, 4*a - 9*r + 12*r = -44. Let q be x(a). Which is bigger: q or 0.4?
q
Let o(j) = -j**2 + 5*j + 2. Let q be o(6). Which is bigger: q or 1/21?
1/21
Let h be -4*(-2)/(-2 + 0). Let q be (4 + (-10 - h))*(-2)/(-6). Let x be ((-1)/(-2))/((-3)/6). Is x greater than or equal to q?
False
Let m be 1*(37/(-13) + 3). Suppose -4*t + k = -27, -2*t - 2 - 2 = -4*k. Suppose -3 = -5*p - t. Which is smaller: m or p?
p
Let o(x) = -x - 7. Let n be o(-6). Let t(y) = -y + 18. Let z be (135/(-10))/(3/(-4)). Let u be t(z). Which is greater: u or n?
u
Let s = 56 + -30. Let y be 60/(-161) - s/(-91). Is -1 < y?
True
Suppose -u + 3*o + 25 = 0, o + 55 = 3*u + 2*o. Suppose 5*p - 144 = -x, 3*p - 91 = -3*x + 7*x. Suppose 79 = 6*f - p. Which is smaller: f or u?
f
Let u(s) = -3*s**3 + 3*s**2 + s - 2. Let w be u(1). Is -9/62 less than or equal to w?
False
Suppose 0 = -g - 9 + 4. Let h be (16/g - -2)*5. Is h at least as big as 1?
False
Let k be (7 - 259/35)*(-10)/4. Let d be 48/153*3*1/2. Is d less than k?
True
Suppose 5*s + 28 = -27. Suppose -5*r = -4*g - 19 - 25, -r = 2*g + 22. Is s != g?
False
Suppose -2*a + g + 159 = 3*a, 101 = 3*a + 5*g. Let k = -97/3 + a. Which is greater: 1/2 or k?
1/2
Suppose 7*a + 6 = 5*a. Let x be 4/(8/(-18)*a). Let z = 10 - x. Is z at least as big as 7?
True
Suppose 0 - 2 = -2*n. Let u be ((-40)/(-15))/(n/9). Which is bigger: 25 or u?
25
Suppose -3*n - 9 = k - 1, -4*n - 40 = 5*k. Let v be (0/1)/(4/k*2). Are 1/17 and v non-equal?
True
Let g be (-2)/20 + 107*2/140. Is 1 at least as big as g?
False
Suppose 0 = 10*t - 3*t + 5*t. Let i be (t - 12/(-16))*-12. Is i < -7?
True
Let m(o) = 2*o + 2. Let b be m(0). Suppose 0 = -4*c - b - 10. Let u be 12/c + (-51)/(-12). Is u < -2?
False
Suppose 2*r = 5*r + 27. Let p be r/(-7) + 16/(-56). Suppose 0*f = -f - p. Which is smaller: f or -4/7?
f
Suppose -19*f + 10 = -14*f. Let n be f*(2 + (4 - 4)). Suppose -n*k - 3*h = -51, 4*h + 0 = 2*k + 2. Which is smaller: 10 or k?
k
Let m = -45 - -119. Is 75 greater than or equal to m?
True
Let n be 6732/(-264)*50/(-3). Which is smaller: 426 or n?
n
Let l = 376 + -2630/7. Which is smaller: -28 or l?
-28
Let c = 273 + -272. Is 11/46 > c?
False
Suppose 5*c - 305 = 3*j, -5*j - c - 199 = -3*j. Is j smaller than -99?
True
Let f = -34.28 + -8.62. Let q = f - -43. Is -18 greater than q?
False
Let k be 9/4 - 2/8. Let z be -4 + k - (-80)/35. Is -0.04 bigger than z?
False
Let v be ((-1232)/(-10))/(-11) - -11. Let c = -5 - -7. Which is greater: c or v?
c
Let g = 213.6 + -195. Let j = g - -1.4. Is j at least as big as -2?
True
Suppose 2*a = 4*w - 3*w + 5, 0 = -4*a + 3*w + 5. Let n = -1 - a. Let k = 73 + -77. Which is smaller: k or n?
n
Suppose 0 = -3*q + f + 44, 0*f - 3*f = 4*q - 37. Suppose -2*u = -27 - q. Let j be (u/12)/(0 - 2). Which is bigger: j or -2?
j
Let c = -244 + 236. Is c greater than or equal to 2/7?
False
Let l = -712.784 - -703. Let c = l - -9.8. Is c less than 1?
True
Suppose 3*z + 4*s = -0*z + 13, -5*s + 5 = 0. Suppose -z*w - 7 = -34. Let y be 21/2 - 2/4. Is y <= w?
False
Suppose -k + j = 18, -5*j = -3*k + 6*k + 14. Is -12 smaller than k?
False
Suppose 4*f + 31 = 131. Let a = -97/4 + f. Suppose 0 = k + k. Is a smaller than k?
False
Let o(n) = -n**3 + 7*n**2 + 26*n - 253. Let c be o(12). Is c at least -659?
False
Let h = 4/281 + 3075/1124. Do h and 2 have different values?
True
Let h = 214/5 - 24391/570. Let f(w) = -w**2 - 17*w - 72. Let i be f(-8). Is i at least h?
False
Suppose -3*w + 6300 = 6300. Is -3/1373 > w?
False
Let x be 15 + 1 - (0 - -1). Suppose -x = 4*w + 5. Let l = w - -7. Which is smaller: l or 3?
l
Let y be 45/(-44) - (-249)/913 - 262/(-8). Let q be (-4)/10 + (-486)/(-15). Is q not equal to y?
False
Suppose 24 = p + 66. Let h = p + 127/3. Which is smaller: h or 1?
h
Let z = -39 - -39. Which is bigger: z or -1/119?
z
Suppose 3*d + 4 = -b + 45, b = -2*d + 40. Which is bigger: b or 153/4?
153/4
Suppose x - 6 = -3*x - 2*l, x + 3*l - 9 = 0. Suppose -40 = -2*d - 2*p, -4*d + x*d + 2*p = -86. Does d = 21?
True
Let l be 39/(-91) + 16137/(-126). Which is smaller: -129 or l?
-129
Let h(q) = 2*q**2 - 6*q - 21. Let g be h(0). Is -11 smaller than g?
False
Let w(f) = -8*f + 20. Let i be w(1). Which is bigger: i or 3?
i
Let b(h) = 4*h**3 - 8*h**3 + 3 - 4*h**2 + 3*h**3 + 3*h**2. Let z be b(-2). Suppose -z*y - 10 = -2*y. Which is bigger: 6 or y?
6
Let w = -0.03 + 2.03. Let v = -103 - -89. Let r = w + v. Which is smaller: 0.1 or r?
r
Let r = 890.835 + -1.835. Which is smaller: r or 2?
2
Suppose r = 4*r. Let h(d) = d**2 + d + 2. Let l be h(r). Let v = 0 + 1. Which is smaller: v or l?
v
Let r be 3 + (-17 - -6) + -5. Is r greater than or equal to -4?
False
Let v be (30/8 - 1/(-4)) + -2. Suppose -v = -3*w + 7. Let a = 1 + 0. Which is greater: w or a?
w
Suppose -25*q + 101 = -27*q + 5*d, d - 5 = 0. Which is smaller: q or -22/3?
q
Let r = 11.38 - 0.38. Let b = -11.1 + r. Is 4.4 > b?
True
Suppose -3*p = -r - 18, -4*p + p = -5*r - 18. Let d be (40/p)/4*-6. Let c = -9 - d. Which is smaller: c or 3/4?
3/4
Suppose -112 = 28*w - 24*w. Which is smaller: -1 or w?
w
Let b be (-4)/(-12)*(-25 - 1). Let r = -653/75 - b. Is r greater than or equal to 1/3?
False
Suppose -a = a - j + 1, -3*a - 19 = -5*j. Suppose 4*f + 2*b = a*f + 26, 0 = -3*f + 2*b + 49. Let z = -17 - -33. Is z bigger than f?
True
Suppose 0 = -2*z + 6*z - 5*k + 16, -4*z = -k. Suppose 18 + z = c. Let j be 40*(-13 + (-50)/(-4))/(1 + -2). Is c greater than or equal to j?
False
Let i be (-3)/6*(-472)/4. Let k = i + -59. Are -1/6 and k non-equal?
True
Let n = 1.1 - -60.1. Let r = n - 57. Is r less than -1/4?
False
Suppose -x - 3*l + 21 = -2*x, 4*x - 3*l + 75 = 0. Let c(r) = -r**2 + 12*r - 10. Let o be c(10). Let w be (-6)/30 - 168/o. Which is smaller: x or w?
x
Let n be (-2)/(-3) - (-6)/(-9). Let a = -820 - -4091/5. Is a at most as big as n?
True
Let m be ((-18)/(-30))/((-2)/(-10)) + -6. Let t be (-1)/3 + 8/m. Is -3 > t?
False
Suppose 5*w - 18 = 7. Let b = 4/241 + 3362/723. Let c = 5 - b. Which is smaller: w or c?
c
Let c = 4412 + -10354966/2347. Is -1 greater than c?
False
Suppose c - 5*s = -392, s + 93 - 497 = c. Which is bigger: c or -0.1?
-0.1
Let o = -92 - -8926/97. Is -1 >= o?
False
Let y = 36.15 - 3.95. Let g = -33 + y. Is 1 smaller than g?
False
Let t = -74 - 20. Let q = t + 847/9. Let d(k) = -k**3 + 6*k**2 - 6*k + 5. Let s be d(5). Is s less than q?
True
Let g be -756 - ((-6 - -4) + -1