Is l bigger than z?
True
Suppose 3*m - 13 + 19 = 0. Which is smaller: -0.159 or m?
m
Suppose -r - 7 = -0*r. Suppose -10*f - 117 + 37 = 0. Is r less than f?
False
Let z be (2/(-10))/((-91)/455). Which is bigger: 16/15 or z?
16/15
Suppose y = -3*j + 3136853, j - 3*y = 619699 + 425932. Let d = j - 977653922/935. Let s = 6/55 + d. Which is smaller: 0 or s?
s
Let b(x) = 2*x**2 + 13*x + 11. Let l be b(-11). Let z be ((-44)/l)/(14/(-10)). Is z at least as big as 0?
True
Let j = -542 + 589. Is 50 less than or equal to j?
False
Suppose -4*t + 8 + 4 = 0. Let u be (1 + 0)/((-1)/t). Suppose 11*c = 618 - 618. Which is bigger: u or c?
c
Let m = 0.174 + -0.14. Let p = m + 0.066. Does p = 23?
False
Let s be -2*((-13)/2 + 2). Let p = -7 + 12. Suppose 5 + p = x. Are s and x unequal?
True
Let w(r) = -11*r**2 - 2*r - 1. Let v be w(1). Let y = -77 + 129/2. Is v less than or equal to y?
True
Let m = 63 + -84. Let i be 20/(-6)*m/14. Is -4 > i?
False
Let u = -18 + 25. Suppose 13*w = 15*w - 2. Let h be (-3*7/w)/(-3). Is u at least as big as h?
True
Let b = -16 + 27. Let z be b*(0 - (-2)/2). Let q be (4/8)/((-3)/(-78)). Is z greater than q?
False
Let j = -0.4 + 0.4. Suppose 163 = -4*n - 53. Let i be ((-2)/n)/((-2)/(-6)). Which is smaller: j or i?
j
Let g = -8.193 + 9.193. Let n be (-66)/(-63) + (-2)/2. Which is greater: g or n?
g
Let u be 38 - 0 - (0 - -2)/(-2). Suppose 3*n + u = -m, m - 3*n + 21 = -0*n. Is m >= -29?
False
Let a be -5*((-16)/50)/2*5. Let g = 4 - a. Is 4 smaller than g?
False
Let j = 0.02 + 0.98. Let t = -1.3 - -2.2. Let w = t - 1.3. Is j < w?
False
Suppose 0 = 3*g, -17*m - 5*g = -19*m + 792. Is 394 <= m?
True
Let n(d) = d**2 - 2*d - 10. Let a be n(5). Suppose -8 = -a*t + 6*t. Let y be (-1)/2 - 12/t. Is -5/3 smaller than y?
True
Suppose 171180 = 174*d - 66*d. Is d <= 1585?
True
Suppose 18*f = 4*f - 28. Let p = 8 + 1. Is p >= f?
True
Let g be 1/((1617/(-18))/11). Let n = g + 164/539. Which is greater: n or 3?
3
Let q = 61363/4009 + -291/19. Is q at most 1?
True
Suppose 0 = -5*h + 1 + 14. Suppose 3*g - 1 = b, 5*g - 5 = -b + 10. Which is bigger: g or h?
h
Let t(d) = d**2 + 3*d - 11. Let q be t(-6). Suppose 12 = h + 6. Which is smaller: q or h?
h
Let i(p) = -2*p**2 + 12*p + 18. Let o be i(8). Suppose -15 = -h + 3*v, -3*h = -0*h + 3*v - 33. Let k be h/(3/6*-2). Which is bigger: o or k?
k
Let h = 2.2 + 0.8. Let g = 45 - 104. Let u = g + 58.8. Is h at most as big as u?
False
Let n = -1 + 1. Suppose 16*v + 4*v = -80. Do v and n have the same value?
False
Let m = -17895400/981 - -18242. Is m at least 0?
True
Let z = 0.971 - 0.911. Is z at least as big as -3/4?
True
Let t = 3873 + -3870. Suppose -3*j = z - 14, 0 = 3*j - 5*z + z - 4. Which is smaller: t or j?
t
Let l(i) = i - 1. Let q(h) = -8*h + 9. Let k(r) = 4*l(r) + q(r). Let v be k(-3). Let w be 2 + 14 + (2 - 0). Which is bigger: w or v?
w
Let j(x) = 7*x + 2. Let h be j(6). Suppose l - v + h = 0, 4*v = 3*l - 5*l - 58. Is -38 not equal to l?
True
Let t(j) = j**2 + 5*j - 8. Let i be t(-7). Let m(g) = g**2 + g - 5. Let q be m(-4). Suppose -z + i - q = 0. Which is smaller: -3/4 or z?
z
Let h be 2/4*(-8)/(-62). Let s be 1 + (11 - 5) - (7 + -3). Does s = h?
False
Let u(g) = -9*g + 49. Let i be u(6). Let m = 0.8 + -0.8. Is m greater than or equal to i?
True
Suppose 29*u + 11 = 69. Which is smaller: 17 or u?
u
Suppose -4*o = a - 0*a + 17, o = -a - 2. Let p = 2 + -5. Which is greater: o or p?
p
Let c = -98.079 + 0.079. Let p = c - -97.9. Is -18 >= p?
False
Suppose 131*t - 7 = 124*t. Which is smaller: t or 2/3?
2/3
Suppose -5*a + 249 = -5*g - 316, -4*a - 2*g + 464 = 0. Let t = 162 - a. Let p = t - 140/3. Is p equal to 0?
False
Suppose 0 = -f - f + 12. Let v be (42/(-49))/(1 + 24/(-21)). Is v <= f?
True
Let s = -0.3 - -0.7. Let q = 9 - 11. Are q and s nonequal?
True
Let s = -0.33 + 19.33. Let r = s + -13.8. Let p = r + -5. Is p at least 4?
False
Let j be (1 - (-1 - -1))/(3/(-27)). Let k(o) = 2*o + 17. Let u be k(j). Which is greater: -19 or u?
u
Let c = 1 - 0.9. Let r(k) = -k**3 + 7*k**2 - 6*k - 8. Let v be r(4). Which is greater: c or v?
v
Let h be (1/(-1))/(3 - (1 - -1)). Let n be (-1 - -3)*(-1)/(-24). Which is smaller: n or h?
h
Suppose -3*j + 0*j - 296 = -5*o, -2*j - 4*o = 168. Let d = j + 79. Is d less than or equal to -14?
False
Suppose -9*g = -7*g - 14. Suppose 5*o - g*o = 0. Suppose 0 = n - 3 + 1. Which is bigger: n or o?
n
Suppose 0 = -2*t + 4*t - 4. Suppose t*j + 72 = -4*g + 6*j, -5*j + 30 = -2*g. Let f be (-9)/21*g/(-15). Is -2 > f?
False
Let u(w) = -5*w**2 + 114*w - 222. Let y be u(2). Is y at least -123/8?
True
Suppose -5*y = c - 2801, y + 5*c + 114 - 679 = 0. Suppose y = -0*x + 5*x. Let m be x/18 - 20/90. Which is greater: m or 0?
m
Suppose -w = 4*w - 5. Suppose w = 2*x - 3. Suppose 5*l - 6*g - 16 = -x*g, 3*l + 3*g - 15 = 0. Which is bigger: 3 or l?
l
Let g = 99 - 96. Suppose -4*r + 8 = 0, 4*r = -5*y - r + 5. Let h be (0 + y)*g/3. Is 1/14 less than h?
False
Let t(y) = -y - 9. Let j be t(7). Suppose 4*w = -29 + 93. Suppose 0 = -4*m - 52 - w. Is m at least as big as j?
False
Let y = 16511 - 412651/25. Is 6 smaller than y?
False
Let v be (0/(-1) - 2) + 0. Let h(z) be the third derivative of -z**5/60 - z**4/6 - z**3/6 + 57*z**2. Let o be h(v). Are 8/3 and o equal?
False
Let s be (((-48)/30)/((-98)/(-10)))/6. Is 0 at most as big as s?
False
Let a(u) = 5*u - 2*u - 7*u - 5. Let c be a(-1). Which is smaller: 2/205 or c?
c
Let x = -239 - -366. Let l = x - 90. Let d = 15 - l. Which is smaller: d or 0?
d
Suppose 0*y + 9*y = 162. Suppose 5 = 13*c - y*c. Let z = -7/8 + 89/120. Does z = c?
False
Suppose 7*q + q + 192 = 0. Suppose 4*a = -2*i - 106, -i + 72 = -3*a - 0*a. Is q not equal to a?
True
Suppose -2*k + 101 = -57. Suppose 2*p - 11 = -k. Is p equal to -0.1?
False
Let c = 1438 + -848. Are 590 and c unequal?
False
Let t = 210258458/257565 + -2020/7359. Let m = -816 + t. Which is smaller: m or 1?
m
Suppose 0 = -18*n - 60 + 24. Let p be (-3)/(-24)*-6 - 1. Which is smaller: n or p?
n
Let b be (6/4)/((-24)/(-1824)). Suppose 6*c - b = -30. Let g be 26*(2/4 + 0). Which is bigger: g or c?
c
Let n = 97 + -17. Is 80 bigger than n?
False
Let u = 7.4 + -7.5. Which is greater: u or -71?
u
Let z be (228/(-36) + 6)*(0 - -12). Do -4 and z have the same value?
True
Let o = 0.4 - -2.6. Let g = -19622/5 + 19616/5. Which is bigger: g or o?
o
Let c = 221 + -175. Which is greater: c or -0.1?
c
Let j(p) = -37*p**2 + p. Let b be j(-1). Suppose 0 = -13*h - 56 - 464. Which is greater: b or h?
b
Let f(r) = 6*r - 12. Let l be f(0). Is -0.09 < l?
False
Let n = 74165 + -520334/7. Let q = 33 + 136. Let g = n + q. Is 0 at most g?
True
Let q be (1/(-2))/((-2)/116). Let h = q + -40. Let l = -11 - h. Are l and 1/3 non-equal?
True
Let h(t) = -4*t**3 + 11*t**2 + 15*t - 25. Let s(n) = -2*n**3 + 6*n**2 + 8*n - 13. Let p(l) = 4*h(l) - 7*s(l). Let g be p(-3). Is 51 less than g?
False
Let t = 4 + -1. Suppose -t = f - 4. Let d be 74 - 66 - (-1 - (-771)/87). Is f > d?
True
Let i = -28 - -19. Let b = 28 + -39. Let d = i - b. Which is bigger: d or 0?
d
Let a(q) = -q**3 - 8*q**2 - 10*q + 13. Let p be a(-6). Is 2/257 less than p?
True
Suppose 4*i + 3368 = 4*m, -5*m - 830 = -79*i + 80*i. Does i = -840?
True
Suppose 14 = 2*n - 3*n. Let q be n/(-8) + (-5)/(2 - 22). Let l = 1 + -2. Which is smaller: q or l?
l
Let u = 22.87 + -23. Let o = -0.97 + u. Let y = 1 + o. Is 3/7 at most as big as y?
False
Let h(p) = -2*p**3 + 17*p**2 - 59*p + 612. Let v be h(9). Let a = -8 + 24. Which is greater: v or a?
a
Let f = -4133/25020 - 7/556. Which is bigger: f or -1?
f
Let o be (2/40)/(1/6). Let r be (-6)/9*12/(-8). Suppose 0 = -a - r. Is a != o?
True
Suppose d + 2*w = -3, -19 = -4*d + 4*w + 29. Let i be (-3 - -7)/(-148)*(-1)/d. Which is smaller: -1 or i?
-1
Let d(t) = t**2 + 4*t - 24. Let l be d(-9). Let q be (2 - 54/l)*(-9 - -2). Which is smaller: q or 0.02?
0.02
Let z(k) = -5*k + 8. Let l be z(16). Let p be ((-8)/(-2))/(l - -1). Which is smaller: p or 1?
p
Let k be -7 + (-2 - -5 - 0) + 326. Are 322 and k nonequal?
False
Suppose 0 = -m - 2*j - 213, 28*m - 27*m = 5*j - 192. Which is greater: m or -208?
m
Suppose 7*q - 5*q - 26 = 0. Let j be -1*((-27)/q - -2). Are -1 and j equal?
False
Let a(p) = -35 - 30*p**2 + 20*p**2 + 11*p**2. Let i be a(-6). Is i <= 6/13?
False
Let u = -24.