rue
Let r = -2.14 - -2.1. Let f = r + 0.22. Let w = f - 0.08. Is w bigger than 5?
False
Suppose 3*z - 7*a + 10*a + 15 = 0, 6 = 2*z - 2*a. Is -1/188 < z?
False
Suppose 4*t = 5*m - 3*m + 66, -5*m + 5*t - 155 = 0. Suppose 3*n = 2*o + 71, 0*o + 2*o + n + 51 = 0. Is m greater than o?
False
Let w(z) = -z**2 - 55*z - 50. Let j be w(-54). Which is greater: 59 or j?
59
Let p = -7 - -5. Suppose -3*x + 30 + 39 = 0. Let g = 22 - x. Which is smaller: p or g?
p
Suppose q - 906 = -4*q + 2*f, 0 = q + 3*f - 171. Which is smaller: 179 or q?
179
Let o be (0 + 28/8)/((-4)/128). Let w = -368633/55 + 34073/5. Let m = o + w. Which is greater: m or 0?
m
Let b(f) be the second derivative of -f**4/24 + 3*f**3/2 + f**2/2 + f. Let t(s) be the first derivative of b(s). Let o be t(8). Which is greater: 3/20 or o?
o
Suppose 0 = -3*q + 5*m - 3*m - 45, 5*q + 4*m + 53 = 0. Is -7 less than q?
False
Let l(w) = 1 - w + 0 - w + 0. Let q be l(4). Suppose -3*n = 2*n + 40. Which is greater: n or q?
q
Let u = -7024 + 7024.2. Let j = -986 + 976.07. Let d = j - -10. Which is smaller: u or d?
d
Suppose 9*w - 6*w - 6 = 0. Suppose -z = -4*g - 4, w*z - 3*z + 2*g = 2. Let s be (4/z)/((-2)/4). Which is greater: 7/5 or s?
7/5
Suppose -v = -5*i + i + 23, v = i - 8. Suppose 5*k - u = -10, -4*k - u = -i*k - 6. Let x be (-2)/(-7) - 17/35. Is x >= k?
True
Suppose 3*s - 170 - 832 = 0. Which is smaller: 332 or s?
332
Let h be 24/(-16)*(-8)/6 + -3. Let g = -369 - -4794/13. Which is smaller: g or h?
h
Let u = 49 + -45. Suppose 5*c = 4*c + 2*t, -5*c - 18 = -u*t. Which is greater: -31/5 or c?
c
Let h = 256 - 257. Is h greater than -15/43?
False
Let i(w) = -3*w**2 + 12*w - 14. Let p be i(8). Let q = 105 + p. Is q less than -13/3?
True
Let o(t) = 3*t**2 - 5*t + 11. Let s be o(5). Let h = -77 + s. Which is smaller: h or -17?
-17
Let w(z) = -z**3 - 26*z**2 - 44*z - 45. Let s be w(-24). Are s and -139 non-equal?
True
Suppose 24 = -14*l + 10. Is -3/35 equal to l?
False
Let r be (-165)/(-12) - (0 - (-1)/(-4)). Let k be (r/10*-1)/((-96)/(-80)). Is -1 > k?
True
Let p = -0.06 - 0.34. Let a = p - -0.4. Let o be (8/3)/(44/(-132)). Which is smaller: o or a?
o
Let z be 3 + 38 + -2 + -1. Let r = -26 + z. Suppose -4*h + 7*h + r = 0. Is h bigger than -6?
True
Let m = -2288.1 - -2401. Let h = m - 113. Let v = -21 + 31. Which is greater: v or h?
v
Let c = 2862.1 - 2987. Let d = c + 125. Let k be 1/((-2)/36*2). Which is smaller: k or d?
k
Suppose -1 - 3 = -4*p. Let q be p - -338*(-3)/(-6). Let j be (-28)/(-49) - q/273. Is j at most 1?
True
Suppose j + 2*j - a - 34 = 0, 0 = 4*j + a - 57. Let y be (j - -17)*3/2. Is 43 smaller than y?
True
Suppose 4 = 2*x - 3*x. Let f = 11 - x. Are f and 17 unequal?
True
Let v be -16 - -2*(-1 - -2). Let x be -1 - 3/12*v. Is x <= 2?
False
Let j = -11 - -11. Suppose -23 - 11 = n. Let r be 4/(-2) + (-64)/n. Is r smaller than j?
True
Let w = -2/251 + -982/2761. Is w at most as big as -1/4?
True
Let w = -105841/90 - -1176. Suppose 4*j + 3 = -1. Is j >= w?
False
Let s be 1*(-819)/5047 + (-1)/(-7). Let o(f) = f + 9. Let v be o(-8). Which is greater: s or v?
v
Let i = -13558009/165 - -82170. Let o = i - 1/15. Let l = -9 + 10. Which is smaller: l or o?
o
Let l = -66 - -26. Let r be (-3 + 9/2)/((-3)/l). Is 20 at most r?
True
Let l be 13/(2548/(-42))*1/9. Suppose -4*i - 7 = -3. Is i not equal to l?
True
Let d(y) = -5*y + 2. Let t(x) = -x + 1. Let w(i) = -d(i) + 4*t(i). Let s be w(0). Suppose -5*g = -4 - 11. Is g less than s?
False
Let j(f) = -3*f - 15. Let o be j(3). Which is bigger: -126/5 or o?
o
Suppose 0 = -v - l + 8, -2 + 1 = -2*v + 3*l. Let u(r) = r**2 - 5*r - 3. Let w be u(v). Let h be 0/(-2) - (3 + w). Which is smaller: h or 1?
h
Suppose -3*p = -p. Let z = 66 - 14. Let o = z - 50. Which is greater: o or p?
o
Suppose 5*z - 5*d = -570, -4*d = -5*z + 8*z + 314. Let o = z + 110. Which is smaller: o or -1/36?
-1/36
Let p(m) = -2*m**2 - 2*m**2 + 3*m**2 + 34 + 16*m. Let h be p(16). Which is smaller: 33 or h?
33
Let u(c) = -2*c**2 - 22*c - 69. Let k be u(-6). Suppose -4*r + 36 = -8*r - z, 0 = r + z + 6. Which is greater: r or k?
k
Let l = -189 + 194. Which is bigger: -2/19 or l?
l
Let i = 133/4 - 33. Suppose -m = -3*m. Which is smaller: m or i?
m
Let l = 92/3 + -389/12. Which is bigger: l or 2.5?
2.5
Let l be 2/(-4)*(-3 - 71). Let r = -147/4 + l. Let t = -2/223 - -241/2007. Which is greater: t or r?
r
Let s = 2 - 0. Let l(m) = -13 - 4*m + m**s - 6*m + m. Let z be l(10). Is -2 at least as big as z?
True
Let k(u) = u**3 - 9*u**2 + 10*u - 15. Let h be k(8). Let n be (h/(-4))/((-16)/256). Is n < 4?
False
Suppose -3*s = -3, 8*f + 5*s + 3 = 4*f. Let x = -10 - -6. Which is bigger: x or f?
f
Let v be 3/((-21)/(-2366) + 0). Is 338 < v?
False
Let x = -20.8 - -19. Let a = -3.1 - x. Let g = a - -2.3. Which is bigger: -15 or g?
g
Let s = 15 + -11. Let d = -1.081 + 0.281. Which is smaller: s or d?
d
Let u(w) = w**2 - w. Let v be u(6). Let m be (-410)/v - 1/3. Let b be (m/(-3))/((-2)/3). Is -8 greater than b?
False
Let x(s) = 18*s + 11. Let v be x(1). Let u = 29 - v. Does -2/187 = u?
False
Suppose -22*n + 6138 = -4*n. Does n = 342?
False
Suppose -121 = 6*s - 67. Which is smaller: s or -41/5?
s
Let p = -1.81 + 1.9. Let k = -6.09 + p. Let b = -2/5 + 3/5. Is b >= k?
True
Suppose -8*t + 330 = 2*t. Are 34 and t nonequal?
True
Let g be (-24)/18 - (-1)/3. Let n = 19/55 - 29/275. Let u = -232/1175 + n. Which is greater: g or u?
u
Let d = 547 + -2753/5. Is -5 >= d?
False
Let r = 29459/3 + -9905. Let n = -86 - r. Let g = -7 - -6. Is n less than g?
False
Let v = 811/658 + 5/94. Are 28 and v non-equal?
True
Suppose 0 = -2*f - 1398 - 1264. Which is smaller: f or -1330?
f
Let r = 21.88 + 0.12. Let f = 25 + -6. Let d = r - f. Which is smaller: 2 or d?
2
Let d = -165 + 128. Which is smaller: d or -36?
d
Suppose -5*z + 6*k - 2*k + 220 = 0, 2*z - 4*k - 100 = 0. Suppose 0 = -0*f + 5*f - z. Let y = 23 + -71/3. Which is smaller: y or f?
y
Let k(a) = -a**2 - 3*a. Let z be k(-4). Let m be (-126)/12 + 2/z. Is m greater than 2/3?
False
Let a = -170711/5559 - -522/17. Which is smaller: 0 or a?
a
Let o be (-6)/(-33) + 4/(-22). Let l(j) = j**3 + j**2 + j - 11. Let z be l(o). Let k be 14/8 + z/(-44). Is 4 > k?
True
Let o be (-1)/3*162/6. Let b be 2*1 - (3 + o). Suppose 5*q - b = 7. Is 3 greater than or equal to q?
True
Let m be 5*(-932)/40 - 2/4. Are -117 and m equal?
True
Let i(p) = p + 8. Let y(f) = -f - 8. Let m(s) = -7*i(s) - 6*y(s). Let a be m(-9). Suppose 2*l - 4*x + 21 = 5*l, x = -4*l + 15. Is a less than or equal to l?
True
Let w be -23*-12*3/(-12). Which is bigger: -70 or w?
w
Let d = 134 - 109. Let r be ((-2)/5)/((-1)/d). Is r > 13?
False
Let b = 15 - 14. Let o = -5491/9 + 609. Is b equal to o?
False
Let j = 13 - 10. Suppose -3*r = -2*r + j. Which is bigger: 0 or r?
0
Let v = 35 + -31. Let x be 3/v + 135/(-36). Let n be ((-12)/x)/(0 - -14). Is 3/11 greater than or equal to n?
False
Let n(y) = -9*y + 20. Let z be n(-3). Suppose 0 = -5*t + 33 + z. Which is smaller: t or 17?
t
Let t = -161 + 347. Let l be 18/t*2/3. Which is smaller: l or 1?
l
Let q(b) = 4*b**2 - 4 + 2363*b**3 + 5*b**2 - 2364*b**3. Let x(r) = -r**2 - 8*r - 6. Let g be x(-5). Let y be q(g). Is y bigger than -3?
False
Suppose -5*z = 5*l - 65, -3*l + 10 = -2*z - 34. Suppose l*k - 16*k = -134. Suppose 3*x + k = -4*j, 0 = -2*x - 2*x + 3*j - 81. Is x >= -21?
True
Suppose -6*h + h - 176 = -4*n, -h = -3*n + 33. Let b = -34 - h. Let i(o) = -o**3 + 6*o**2 - 6*o + 7. Let k be i(5). Is k <= b?
True
Suppose -4*t + 59 = -109. Let k = 24 - t. Let y = -25 - k. Which is smaller: -9 or y?
-9
Let j = -1105 - -1371. Are j and 266 non-equal?
False
Let a(p) = p**2 - 9*p - 5. Let d be a(7). Let l be (2 + -1 - 24)*d. Let q = -6995/16 + l. Which is smaller: 0 or q?
q
Let p = -34 + 33. Let o be p/9*4/44. Which is smaller: o or 0?
o
Suppose 0 = -46*z + 44*z + 8. Suppose 0 = 7*c - z*c - 6. Is 18/13 at least as big as c?
False
Let s = -104.082 + 104. Are s and 2/5 unequal?
True
Let u = 4 + -24. Let d be (2/(-15))/(u/200). Is d >= -1?
True
Let p = 9.6 + -8.85. Let k = p - 0.87. Which is smaller: 0 or k?
k
Let s = -6.8 + -82.2. Let z = 88 + s. Which is bigger: -12 or z?
z
Let g = -2804 + -1756. Let m be 4/30 - (-656)/g. Which is smaller: m or 1?
m
Let c(j) = j**3 - 7*j**2 + 9*j. Let f be c(6). Let x 