-2*t - 14 = -5*l, 2*t - 3 = l - 1. Let b(i) = 3*i**2 + i. Let m be b(1). Which is smaller: t or m?
t
Let u be -40 + -1 - (17 - 18). Is -40 greater than or equal to u?
True
Let z = 141/2 - 69. Let f be ((-45)/(-10))/(6/8). Suppose 0 = -3*r + 2*j + 4, r + 3*j + j - f = 0. Which is smaller: z or r?
z
Suppose t - 8 = -3*t. Let w(m) = -3 - 5*m + t*m - m**2 - 4*m - 4. Let d be w(-5). Is d at most 4?
True
Let n = 7 + -1. Let d = -4 + n. Let k = -26 + 28. Is d equal to k?
True
Let d = -3.1 + 3. Let o = d - -0.2. Let k = o + -0.2. Is 1 > k?
True
Let u(f) = 3*f**3 + f**2 + 2*f + 1. Let o be u(-1). Let b = o - -3. Suppose 5*a + 0*a = b. Do a and 1 have the same value?
False
Suppose -4*g - 9 = -9. Which is greater: 12/19 or g?
12/19
Suppose -13*y = -11*y. Let j be (2 - y)/(-1 + -1). Is j at least as big as 2/11?
False
Let i = -44.84 - -45. Which is bigger: 0.2 or i?
0.2
Let s = 44.2 - 41. Let x = -2.4 - -2.2. Let n = x + s. Is 2 >= n?
False
Let f(l) = -l**2 - 3*l. Let z be f(-3). Suppose z = -3*k - 3 - 0. Let x = -22/15 + 4/5. Is k at least x?
False
Let w(m) = -3*m. Let z(v) = -2*v. Let x(l) = -3*w(l) + 5*z(l). Let t be x(1). Is -1 equal to t?
True
Suppose 0 = 4*n - 4 - 0. Let o be 1 + (-3)/3*n. Suppose 0 = 4*j - 8*j + 4. Is o bigger than j?
False
Let k = -4 - -4.3. Let y = 0.4 - k. Let m = 0.02 + -0.12. Which is bigger: m or y?
y
Let u be ((-368)/(-1020) + (-2)/5)*-3. Let r(b) = 2*b - 4. Let z be r(2). Which is bigger: z or u?
u
Let f(l) = 4*l + 13. Let p be f(-4). Is -11/3 greater than or equal to p?
False
Let j = 0.6 + -4.4. Let g = j + 0.8. Let r = -3.2 - g. Which is smaller: 1 or r?
r
Let q(f) = -f - 3. Let r be q(0). Let m = -7 - r. Is 1 equal to m?
False
Let i = -99 - -98. Let q = -1.01 + -0.09. Let j = q - i. Which is greater: 4/7 or j?
4/7
Let y = 1 + 1. Let h be (-16)/5 + y + 1. Which is bigger: h or 0?
0
Let c = -4.1 - -1.1. Which is smaller: c or 0.07?
c
Suppose -5*v = -v - 36. Suppose 0 = -4*s - v - 7. Let w(k) = -k - 3. Let o be w(s). Is o not equal to 3?
True
Let g = -1.2 + 1.32. Is g <= 2?
True
Suppose -2*b = b + 12. Let x = b + 5. Let r be ((-2)/4)/(1/(-2)). Is x <= r?
True
Let v = 35.026 + -0.026. Which is smaller: -1 or v?
-1
Let a be 16/72 + 94/(-99). Are -2 and a equal?
False
Let t = 0.021 - 3.121. Let m = t + 0.1. Let r = -3.9 - -4. Which is greater: r or m?
r
Suppose 5*a = -24 - 186. Let x be (a/(3/1))/(-3). Let p = x - 89/21. Is p greater than 0?
True
Let y be 1/(-3) - 65/120. Is y at most as big as 0?
True
Let t = -1.79 - 2.21. Which is smaller: t or -3?
t
Let w be (-6)/(-12)*(18 + 0). Let y be 39/w + 2/3. Which is bigger: y or 4?
y
Let h = -0.36 - -0.06. Let q = h + 0.7. Is 0 at least q?
False
Suppose -5*g + g = 20. Which is smaller: g or 0?
g
Let a = -23.19 - -23. Let p = a + 8.19. Let o = -7.9 + p. Are 2 and o non-equal?
True
Suppose 2*a + 27 - 11 = 0. Which is bigger: -9 or a?
a
Suppose -k + 3*k = 3*x - 14, -4*k = -4*x + 28. Let d(v) = -v. Let w be d(6). Let l = k - w. Is l not equal to 0?
True
Let u = -36 - -34. Suppose 0 = -n + 3. Let o be 0 - -2*n/(-10). Which is smaller: o or u?
u
Let a = -13 - -14. Suppose 0 = -2*x + 4*p + a - 19, -2*x + 5*p - 23 = 0. Do x and 2 have different values?
True
Suppose 4*a + 3*o = -70 - 30, 50 = -2*a - 3*o. Which is greater: a or -24?
-24
Let o = 4 - 3.4. Let t = 21 + -21.4. Let r = t - o. Is r at least as big as -0.4?
False
Let r = 22 - 20. Suppose r*o = -o + 45. Is 15 less than o?
False
Suppose -2*z = 3*f - 21, -6*z = -z + 5*f - 45. Let w be ((-6)/(-9))/(z/(-9)). Let m = 79/3 - 27. Is w > m?
False
Let t be (0/(-3 - -1))/3. Let s be (t/1)/(0 + 2). Is 0.1 at least as big as s?
True
Let w be 3*(-183)/2835 - 6/(-27). Is w greater than or equal to 0.1?
False
Let h(l) = l**3 + l**2 - 3*l - 1. Let b be h(-2). Let m = -1.1 + -9.9. Let c = m + 11.1. Which is smaller: b or c?
c
Let t be 6/(-21) + (-9)/(-7). Let p = 19 + 2. Let x be p/60 - 4/(-10). Is t at least x?
True
Let z = 0.1 - -1.9. Let j = 0.05 - 2.05. Let m = z + j. Is m greater than or equal to 0?
True
Let p be 2/(-4)*2*2/(-112). Is -1 bigger than p?
False
Suppose 0 = -3*j + 12, -5*w = -4*w + 5*j - 16. Which is greater: w or 1?
1
Let x = 0.03 - -0.07. Let u = -121/3 + 40. Which is bigger: u or x?
x
Suppose 0 = s + 4, -4*k + 2*s + 10 = -14. Suppose 0 = 5*l - 1 - 4, -2*z - k*l + 8 = 0. Is -1 at least as big as z?
False
Suppose 3*l - 7 = 5. Suppose 0*d - d + 1 = n, l*n = -2*d + 4. Which is smaller: n or 1/5?
1/5
Let f = 0.48 + -0.61. Which is greater: -2/5 or f?
f
Let z(g) = g**3 - 12*g**2 + g - 9. Let o be z(12). Let r be 1 + 0 + 0 + o. Which is smaller: r or 5?
r
Let n(h) = -h**2 + h. Let l be n(0). Let f = 32/19 + -454/247. Is l at least as big as f?
True
Let m = -7 - -22. Suppose 6*z = 3*z - 12, 0 = -d - 2*z - m. Is -8 not equal to d?
True
Suppose 0*p = -4*j + 2*p + 30, 4*p + 25 = j. Suppose 5*o = z - 6, -2*o = -3*o + 4*z - j. Do -5/3 and o have the same value?
False
Let m = 5.9 - 6.9. Which is smaller: -89 or m?
-89
Let u(a) = a**3 + 3*a**2 + 2. Let i be u(-2). Is i < 5?
False
Suppose 5*l = -2*m - 1 + 15, 2 = m. Does -0.09 = l?
False
Suppose 12*c - 3 = 9*c. Suppose 3*r = -2*r - 5*b - 5, -4*r + b = -c. Which is bigger: -1/6 or r?
r
Let h(y) = -y + 7. Let x be h(8). Is -1 at least x?
True
Let x = -73 - -72. Which is smaller: x or -26?
-26
Suppose -2*w - p + 13 = -0*p, w = -p + 7. Let b be 6/(-4) + w/12. Which is bigger: -7 or b?
b
Let h = 0.41 - 0.01. Let l = -0.25 + 2.25. Is h < l?
True
Let h = 3 - 3.03. Let x = h - 1.97. Which is bigger: 1 or x?
1
Let v(k) = 11*k + 7. Let f be v(-4). Is -0.1 greater than f?
True
Let m = 2 + 0. Suppose -2*t + t + 2*f = 0, f - 12 = m*t. Let w = t - -11. Which is smaller: 2 or w?
2
Let q be -2*(3 + (-20)/8). Suppose 4*w - 32 = -0*w. Suppose 7*v - 3*v = w. Is q less than v?
True
Let b be 12/18*(-3)/13. Which is greater: b or 0?
0
Suppose -3*y + 7 = -5. Suppose 5*c = 5*v - y - 6, 4*v + c + 2 = 0. Suppose -8 + 0 = 4*b. Which is smaller: v or b?
b
Let c = -3 + 3.5. Let w = c - 0.44. Let p = w + -1.06. Are p and -1 unequal?
False
Let f(x) = -6*x**2 - 2*x - 2. Let l be f(-1). Suppose -9 = -4*d - 4*p + 3, 5*p = -2*d + 6. Suppose -5*w = -3*j - j, 0 = d*j + 15. Which is greater: l or w?
w
Let l(b) = -b - 4. Let i = -9 - -4. Let a be l(i). Let d be 0/((-2)/a*1). Is d > 2/9?
False
Let x be 3/((-1)/(-2 + 1)). Suppose 0 = -s - 3*d + 12, -d + 1 + x = 2*s. Which is smaller: s or 1/2?
s
Let w be ((-36)/621)/((-2)/(-3)). Is w greater than 1?
False
Let x be (-4172)/(-70) - 2/(-5). Suppose 2*n + q = -n + 30, -4*q = 0. Let r be ((-6)/x)/(4/n). Which is bigger: r or 1/6?
1/6
Let i = 0 + -0.3. Let c = i - -1.3. Let f = -0.3 - -0.4. Is c smaller than f?
False
Let a = 5.13 + 0.87. Is a <= 0.08?
False
Let l = -571/5005 + -1/770. Which is smaller: -1 or l?
-1
Let v = 17 - 18. Which is smaller: v or -5/14?
v
Let r be 2/6*2/12. Let b = 1 + 0. Is r at least as big as b?
False
Let y = -1 + 2. Suppose 5*m + y = -2*k, 0 = 2*m + 4*k - 6*k + 6. Is m at least as big as -1?
True
Suppose 0 = 2*f - 4*p - 22, -2*f - 5 = p - 2. Which is smaller: f or -3/14?
-3/14
Suppose -2*m = -0*m. Suppose 2*a + m*a = 2. Let w = -55.04 - -55. Is a < w?
False
Let c = -39.1 + 32. Let j = -7 - c. Do j and 7/5 have different values?
True
Let n = 19/9 + -16/9. Let w = -0.3 + 0.1. Let q = w - -0.3. Is n > q?
True
Let k be (-7 - -8)*(-224 - 0). Let u be k/(-35) - (-2)/(-5). Suppose 0 = -u*m + 2*m + 8. Which is smaller: 3 or m?
m
Let v = 0.076 + -0.076. Is v < 112?
True
Let d = 7/8 + -1/8. Let q(c) = -2*c - 1. Let r be q(-1). Which is bigger: d or r?
r
Let o(v) = v**3 - 10*v**2 - 5. Let b be o(10). Let d = -5 - b. Which is smaller: 2/9 or d?
d
Let l(z) = -z**3 - z**2 + 2. Let f be l(0). Let c be 14 + -1 + (f - 3). Suppose u + 2*u - c = 0. Is 3 less than u?
True
Let v = 42 + -43. Is v at least -38?
True
Let w = -0.1 - -0.01. Let b = 3 - 3. Which is smaller: w or b?
w
Let k = -3142 - -12479/4. Let c = 10 - -12. Let r = k + c. Is -0.1 > r?
True
Suppose 0 = 5*c + 20, 5*p - 18 = 5*c - 3*c. Which is smaller: p or -17?
-17
Let z be -14 - (-1 - 1) - 1. Let v = 6 + z. Is -8 smaller than v?
True
Let h be (-1)/(-1) + 9/(-7). Suppose -i = -5*v, 2*v = -3*v. Is h at least i?
False
Suppose -3*g - 6*z = -3*z + 48, 2*g + 3*z + 32 = 0. Which is smaller: g or -14?
g
Let d be 8 + 9*(28/