t t be h(z). Let i = t - -5. Which is bigger: i or 3/5?
i
Let m = -61 - -1767/29. Which is smaller: m or 1?
m
Let m be (-1 + (3 - 3))/1. Is m >= -7?
True
Let b = 4.9 + -5. Let z = -6 + 10. Is z greater than or equal to b?
True
Let c = 273 - 488. Let j = c + 3657/17. Suppose 4 = g + 3*g. Is g greater than j?
True
Suppose 13*n - 6*n + 112 = 0. Which is bigger: -18 or n?
n
Let p be (-2)/(-2) + (-12)/10. Let b = -23.21 - -23. Let w = 0.01 + b. Is p less than or equal to w?
True
Let v = -8 + 14. Let a = v - 12. Let n be (-15)/a - (0 + 2). Which is bigger: n or 1?
1
Suppose -3*i = 4*w + 12, 3*w + i + 3 = -6. Let m = w + 3. Suppose -3*u + 6*u + 6 = m. Which is greater: u or 0?
0
Suppose 4*x + 34 = 3*h + 6, 4*h = x + 46. Which is greater: h or 2?
h
Let x = -1 - -1. Suppose 2*p = 8 + 6. Suppose -5*k + 2 = 3*z, 5*k + 0 - p = 2*z. Which is greater: x or k?
k
Let x be (1 - 129/6)/((-4)/8). Which is greater: 40 or x?
x
Let y = -121 + 128.7. Let q = -8 + y. Is q at least -1?
True
Let a = 15 + -17. Is -2 bigger than a?
False
Let y be (-2)/3 + 3/(-9). Which is smaller: 1 or y?
y
Let t = 5 - 8. Let d = t + 3.1. Is -2 smaller than d?
True
Let t(p) = 10*p**2 - 1. Let i be t(-1). Let k be (i/6)/((-1)/(-2)). Is 5 >= k?
True
Let j = -1 + 0.93. Is j smaller than -2?
False
Let t = 64.5 + -51. Let u = -17 + t. Let l = u + 4. Which is bigger: -0.1 or l?
l
Suppose 3*z + x + 3 = -2*x, 3*z - 29 = 5*x. Let k be (-2 + z)/((-8)/14). Which is greater: k or -1?
-1
Suppose -24 = 3*k - 3*w, -4*k + 7*w - 30 = 2*w. Is -2 less than or equal to k?
False
Let k = 5/6 + -3/2. Which is greater: k or -15?
k
Suppose -7*r - 62 + 412 = 0. Is r greater than or equal to 50?
True
Let y = 58/21 + -24/7. Suppose 0 = 3*c - 2*c - 3. Suppose c*g = -0*g - 6. Is g at least as big as y?
False
Let t be (-12)/48 - 61/(-52). Is 1 bigger than t?
True
Let k = 81 + -74. Let s = -0.3 - -0.4. Which is smaller: k or s?
s
Let k = -2.95 - 0.05. Let y = -2 - k. Do y and -0.04 have different values?
True
Suppose 3*z + 0 - 9 = 0. Suppose -4*y + 2 = -6. Suppose 4*f = -z*x - 21, -27 = y*f + 2*f - 3*x. Are -6 and f equal?
True
Let m = 0 + 0. Let h = 0.3 + m. Let g = 0.2 - h. Is g at most as big as 2?
True
Let a be (-1 - -1)/(4/2). Suppose v - 4*m - 9 = a, 5*v + 0*m = 4*m + 13. Let r be -1 + (-9)/((-135)/40). Which is smaller: r or v?
v
Let z be (1 + (-1)/2)*-6. Let h = 6 + z. Suppose 0 = h*t + 1 + 2. Which is smaller: 0 or t?
t
Let a(s) = -s**2 + 5*s - 9. Let m be a(5). Which is greater: -2 or m?
-2
Suppose 2*k - 24 = 6*k. Let o = -7 - k. Which is smaller: 0 or o?
o
Suppose 2 = -5*r + 2*s + 1, 4*r - 2*s + 2 = 0. Let t be ((-4)/(-6))/((-2)/(-3)). Is t < r?
False
Suppose 5 = 3*n - 4. Suppose -z = n*z. Suppose -6 = 3*d + 9, z = t - 3*d - 15. Is t at least 0?
True
Let y = -3 + 53. Is 0 not equal to y?
True
Let a(v) = -v - 2. Let z be a(-3). Suppose -3*k - 5 = z. Suppose 5*w - 6 = -16. Is w at most k?
True
Let b = 0 - 1. Let g = 15 + -22. Let h = 6 + g. Is b at least h?
True
Suppose -13*p - 6 = -16*p. Is 0 > p?
False
Let n(p) = -p**2 - 6. Let t be n(0). Let f be (-3)/(-9) + 8/t. Is f at least as big as 2/5?
False
Let c = -4 + 0. Let b = 7 - 10. Which is greater: b or c?
b
Suppose -u = -5*u. Let p be ((-6)/55)/(2/20). Is u smaller than p?
False
Let x = -0.9 + -2.1. Which is greater: 2 or x?
2
Let p = -213380/7 + 30538. Let u = p + -7817/35. Let s = 169 + u. Is 1 != s?
True
Let i = -23.3 + 26. Let n = i + 1.3. Which is bigger: n or 0.2?
n
Suppose 3*q + 25 = 4*n, -4*q - q - 35 = -5*n. Suppose 28 = -u + n*f - f, -3*u = -4*f + 59. Let r = u + 9. Is r < -1?
True
Suppose -2*v = a - 0*a + 2, -3*v - 2*a = 4. Let d be ((-2)/(-1))/(-1 - v). Is -2 bigger than d?
False
Let w = -1 - -0.9. Which is greater: w or 2?
2
Let s be 69/12 - (-2)/8. Suppose -w = 2*m + w, s = 4*m - 2*w. Let u = 121/413 + 8/59. Is u >= m?
False
Suppose 122 = 3*m + 5*l, 3*m - 2*l - 134 = -l. Let n = m - 91/2. Suppose 3*d + 3 + 0 = 0. Are d and n unequal?
True
Let l(j) = -j - 9. Let n(z) = z + 11. Let o be n(-9). Let c = -10 + o. Let d be l(c). Which is bigger: -2 or d?
d
Let o be (-2)/8 + 78/(-72). Let m(y) = -y - 7. Suppose k = -2*k - 15. Let t be m(k). Is t greater than o?
False
Let n be (-2)/(-9) + 3 + -2. Let q = 5/9 - n. Let v = 0 - -0.1. Is q bigger than v?
False
Let u = -1.7 - -1.3. Is u greater than -0.3?
False
Suppose 4*c - 20 = 4*o, -4*o = -2*c - 3*c + 30. Which is bigger: c or 8?
c
Let x(t) = 0*t**2 - t**2 + 0 + 1 - t**3. Let m be x(-1). Let g be (-16)/21 + m/3. Is g at least as big as 1?
False
Let j(w) = 2*w - 13. Let m be j(14). Let a be -1 + 1 + 188/(-12). Let x = a + m. Which is smaller: 0 or x?
x
Let g = -0.262 + 0.052. Let a = g + -0.69. Let l = a - -1. Is 1/3 <= l?
False
Let f = -0.05 - 0.15. Is f at least -2?
True
Let l(k) = k**2 - 2*k + 1. Let v be l(1). Let o be -2 + 3 + v + 0. Is o at most as big as 1/29?
False
Let r(f) = f - 1. Let t be r(-1). Let b = -4 - -2. Is b smaller than t?
False
Let g = 20 + -14. Let i(m) = 4 - 7 + 9 - m**2 + 2*m**2 - 7*m. Let h be i(g). Which is greater: h or 1?
1
Suppose -3*b = -3*c + 36, -3*b - 2*b - 24 = 4*c. Which is smaller: b or -9?
-9
Suppose 3*c = 4*c + 3*o + 1, 2*c = -o - 2. Let w be (3/(-4))/((-1)/(-4)). Let p = w + 17/6. Do p and c have the same value?
False
Suppose 3*f + 2*c = -5 - 5, 3*c = -4*f - 14. Let n(g) = -g + 2. Let q be n(f). Suppose 2*d = q*t + 14, -3*t = -2*t + 4*d - 1. Which is bigger: t or -2?
-2
Let m(p) = -p**3 - 4*p**2 + 5*p + 3. Let k be m(-5). Let n(q) = k*q - 6*q + 2*q - 6. Let y be n(-6). Is y <= 1/10?
True
Let n = 7 + -4. Let r be n/(-2)*(-1)/2. Suppose -2*u - 18 = -4*j, -u - 19 = -2*j + 2*u. Which is smaller: r or j?
r
Let v = -316 - -1596/5. Which is bigger: v or 2?
v
Suppose 0 = 4*x + 2 - 18. Suppose 4*b = -2*j + 16, -2*j + 7*j = 10. Suppose -5*p - b*q + 38 = 8, -5*q + 10 = -5*p. Are p and x equal?
False
Let d(y) = y**3 + 8*y**2 + y + 10. Let c be d(-8). Let m be 13/6 + (c - 4). Let u(g) = -g**2 + 4*g. Let s be u(4). Which is smaller: m or s?
s
Let b be 3/(-75)*(-15)/(-12). Is 0 smaller than b?
False
Let q = -0.04 - 0.08. Let z = q - 0.38. Let u = 4.9 - 5. Is z greater than u?
False
Let r be 2 - 1*(-3)/3. Suppose b = -5*k - 20, r*k = 4 - 19. Which is smaller: 4 or b?
4
Suppose 5*l + 10 = -5*j, 3*j + 6 = 4*l - 0. Suppose -y + 2*k - 3 - 11 = 0, 0 = y - k + 9. Let s be (10/(-15))/(y/3). Is l at most as big as s?
True
Suppose -m = 2*m - 39. Let y(z) = -z**2 + 12*z + 13. Let c be y(m). Which is bigger: -4 or c?
c
Let w be (-3 - -80)*6/(-8). Let h = -58 - w. Which is smaller: h or 1?
h
Let x = 0 - -2. Let p = -0.1 - -0.2. Is p > x?
False
Let i = 12 - 9. Suppose -2*u = -i*u. Which is smaller: u or 2/5?
u
Let y(b) = -b**3 - 11*b**2 + 13*b + 12. Let l be y(-12). Is 1 at most as big as l?
False
Let t be -9*((-4)/2 + 3). Let n = -7 - t. Suppose -5*j - 1 = -6. Which is smaller: n or j?
j
Let k = -28 + 23. Is k < -2?
True
Suppose -3*x - 2*x = 0. Which is smaller: x or 8/7?
x
Suppose -2*g - 7 = -3. Is -2 < g?
False
Let k = -76 - -128. Suppose 3*x - 2*y - 2*y = -k, 0 = 5*x - y + 64. Let t be (-4)/(-2) - x/(-7). Which is smaller: 0 or t?
0
Let f = 44 - 88. Which is greater: -45 or f?
f
Let x = -9 + 3. Let j(a) = -5 + 5*a - 3 + a**2 + 0. Let u be j(x). Which is smaller: u or -1?
u
Let z be 3 - (15715/(-836))/(-5). Let r = 2/209 + z. Is r less than 0.4?
True
Suppose 0 = -5*r - 3 - 2. Which is smaller: -2/41 or r?
r
Suppose k + j = 6, 4 = -k + 3*j + j. Let x = 4 - k. Let y be x + (-1 - 6/(-8)). Which is smaller: y or -1?
-1
Suppose -4*a = -0*a + 12. Let q be (a - -2)/((-8)/12). Which is bigger: q or 3?
3
Let q = 6 - 5.9. Let k = -2.3 + 0.3. Let u = 3 + k. Which is greater: u or q?
u
Let h = -8 + 7.8. Let u be (-1)/3 - 8/12. Let r be (-6*2/(-4))/u. Which is bigger: h or r?
h
Let f be (1 - 92/90)/(-3 + 4). Which is bigger: 1 or f?
1
Let m = 1 - 0. Let f(s) = s**3 + 6*s**2 - 4*s - 9. Let l be f(-6). Suppose -2*q + 5 = 15, 0 = -5*r + 3*q + l. Which is greater: m or r?
m
Let x = 4.2 + 4. Let q = 11 - 19. Let v = q + x. Is -1/4 bigger than v?
False
Suppose 5*l = -52 - 38. Which is smaller: -19 or l?
-19
Let d be (-3)/(-5) - ((-348)/(-80) - 4). Are 0 and d non-equal?
True
Let d(p) = -p**2 - p + 19. Let k be d(0). Suppose -3*i + 19 = -7*i - t, i + 5*t = -k. Is -4 smaller than i?
False
Let w = -97/3 + 31