+ 5 - 13 = 0, 3*i = -4*f + 5. Which is smaller: u or i?
i
Let a = -0.04 - -3.04. Let x = 2 - a. Suppose -2*c - 6 = c. Do x and c have different values?
True
Suppose 5*g + 1 = 4*g. Let u be (0 + g - -3) + -2. Which is bigger: 1/10 or u?
1/10
Let z(u) = 2*u + 8. Let m(x) = -3*x - 7. Let s(t) = -3*m(t) - 4*z(t). Let g be s(8). Is -4 at most g?
True
Let t = 2.5 - 0.5. Let v = t + -2.3. Let j = 0.1 + v. Which is greater: j or -0.1?
-0.1
Suppose 2*k + 4 + 2 = 0. Let g be 64/12 + 4/6. Suppose g*r = 3*r, r - 3 = s. Do k and s have different values?
False
Let x be (120/9 + -2)/(-2). Which is bigger: -5 or x?
-5
Suppose v = -0*d - d - 5, 3*v - 3 = 3*d. Let m be v/3*(-9)/(-2). Let x = -3 + 1. Is x < m?
False
Let q be 0*(-3 + 1)/(-4). Suppose 0*u + 4*u = q. Do 2 and u have the same value?
False
Let n = -255/22 + 23/2. Are n and 1 equal?
False
Let c = -0.7 + 2.5. Let z = -2 + c. Let d be (-6)/40 + 6/15. Which is smaller: d or z?
z
Suppose 5*z - 4*p = 0, p + 8 = 5*z - 7. Let f be (2/(-12))/((-2)/z). Which is greater: f or 0?
f
Let t be ((-2295)/1850)/3 - (-2)/5. Which is bigger: -1 or t?
t
Let t be 5/875*-59 + 1/(-7). Which is smaller: 1 or t?
t
Suppose 0 = 10*f - 0*f. Which is smaller: f or 14?
f
Let k = 4.88 + -0.08. Let d = 0.02 - -4.98. Let l = d - k. Which is bigger: l or 3/5?
3/5
Let x = -2 + 4. Suppose 0 = n + n + x. Let b = -1 - -1. Is n != b?
True
Let q = 18 + -16. Suppose 0 = -2*k - q. Which is greater: k or -2/3?
-2/3
Let w(i) = -i**2 - 8*i - 2. Let g be w(-8). Let x = -2 - g. Which is greater: x or 1?
1
Let p = -102591/10915 + -2/2183. Is p smaller than -8?
True
Suppose -12 = q + 4*w, -q = 2*w - 0 + 6. Suppose 0 = -5*i - 10, -a = -q*i + i. Suppose -6 = 3*t - 5*t. Which is smaller: t or a?
a
Let j be 1 - -1*1143/(-12). Let d = 95 + j. Is 1 at most as big as d?
False
Let w(t) = t**2 + 9*t - 1. Let n be w(-9). Do 1 and n have different values?
True
Let l = -12598169 + 54764241899/4347. Let v = -2/621 + l. Let u = 3 - 4. Which is greater: v or u?
v
Let n be ((-11)/220)/(-2 + (-74)/(-16)). Are 1 and n equal?
False
Suppose -2 = 2*p - 10. Let t be 18/(-42)*p/(-6). Let a be (-4)/(-2) + -3*1. Is t at least as big as a?
True
Let l(z) = -z**2 - 5*z - 3. Let g be l(-4). Suppose 3*p - 25 = 5. Let d(u) = -u + 9. Let r be d(p). Are r and g equal?
False
Let f be ((-3342)/4)/((-29)/22). Let t = -634 + f. Let r = t + 83/145. Which is smaller: 2/7 or r?
2/7
Let l = -27 - -26. Which is smaller: l or -25?
-25
Let p = 2 + -1.1. Let o = p + 0.1. Let z = 0.3 + 0. Do z and o have the same value?
False
Let o be -2 - 2*(-5)/7. Which is smaller: o or 0?
o
Let t be -2 - (48/(-26) - 0). Let n(w) = w**2 - 5*w - 4*w + 5*w. Let f be n(4). Which is smaller: t or f?
t
Suppose 2*v = 4*i - 6, -5*v + 1 = -i - i. Let x be (-1 - (-1)/v) + 1. Let g be 0 + (-11)/(-5) + -2. Which is smaller: x or g?
g
Let m = -13 + 5. Let y be (m/(-28))/((-8)/(-14)). Is 2 smaller than y?
False
Suppose -m + 0*d - 15 = -4*d, -15 = -m - 2*d. Suppose 0 = -h + m*h + 16. Do -1 and h have different values?
True
Suppose 5*q + 2 = -3. Let v(i) = -i**3 + 12*i**2 - 12*i + 8. Let a be v(11). Let n be ((a - -7)/(-12))/3. Is n not equal to q?
True
Let s = 12 + -21. Let z = s + 5. Is -4 at least z?
True
Suppose 50*s = 51*s + 80. Is -81 not equal to s?
True
Let z be (-48)/315 + (-2)/(-7). Let x be 2/5 + 10/(-25)*1. Which is greater: z or x?
z
Let a = -6.9 - -5.9. Which is greater: a or -29?
a
Suppose -5*r = 3*b + 19, 3*r + r - 1 = 3*b. Which is smaller: r or -22/7?
-22/7
Let c(h) = -h**2 - 5*h - 4. Let g be c(-3). Suppose 4 = g*v + 18. Let b be (4/v)/(12/(-42)). Which is bigger: b or 3?
3
Let q = 48 + -31. Let f = q - 18. Is f at most 0?
True
Let v = -0.1 - -1.1. Let z be (-1)/(-3) + (-57)/(-36). Let p = 9/4 - z. Is v smaller than p?
False
Let n(s) = s**3 - 5*s**2 - 7*s. Let j be n(5). Let a = 141/4 + j. Is -1 at least as big as a?
False
Suppose -i + 1 = -2*c, c = -3*c - 4*i + 4. Let y be -386*(-1)/(-8)*-4. Let g = -1341/7 + y. Which is smaller: c or g?
c
Let w = 2129/14 + -152. Does -1 = w?
False
Suppose -36 = -4*d - 4*m + 4, -5*d = -2*m - 78. Let c be d/(-10) + (-7)/(-7). Which is smaller: c or 1?
c
Let o(s) = s + 5. Let q be -5*-2*(-9)/30. Let t be o(q). Is 3/2 at least as big as t?
False
Let y = -0.2 + 0.2. Let l = y - 0.7. Let s = l + 0.5. Is -0.2 at least s?
True
Suppose -3*v + 90 = 21. Suppose 26 = 2*u - 5*w, 7*u - 2*w - v = 2*u. Suppose -b = 2*b - 6. Which is greater: u or b?
u
Suppose 0 = -4*c - 8. Let g be 1*(c + 2)/2. Which is smaller: g or -2/7?
-2/7
Let f = -8/5 - -2. Suppose 3*q - 91 = 2*x, 95 = 3*q - 2*x - 2*x. Suppose -o = -1 - 4, -4*l + 5*o - q = 0. Is f smaller than l?
False
Suppose 20*t = 13*t - 7. Is -6 >= t?
False
Let b be 76/120 + (-1)/2. Let r(k) = k**3 + 2*k**2 - 2. Let z be r(-2). Let y be 1*((-9)/3 - z). Which is smaller: b or y?
y
Let c = -0.06 + -0.04. Let n = c - -0.1. Which is smaller: 1 or n?
n
Let g = -219/34 + -35/17. Is -8 at most g?
False
Let g be (-12)/(-21) - (-8)/(-14). Is -2 greater than or equal to g?
False
Let a be (6/5)/((-1)/5). Let t = -6 - -9. Let o = a + t. Is o smaller than -3?
False
Let w = -0.1 + 0.2. Let g = -10 + 6. Let x = -4 - g. Which is bigger: x or w?
w
Let h be ((-8)/(-9))/4 - 114/756. Is h greater than 1?
False
Let h be 1/(-4) + (-245)/(-20). Suppose 0 = -2*i + 5*c - 6, -3*i - h = i + 5*c. Suppose -4*g - 20 = 0, 2*a - 19 = 6*a + 3*g. Which is bigger: i or a?
a
Let m = 2.05 + -2. Suppose 2 = -5*k + 6*k. Which is bigger: m or k?
k
Let i = -2 - -2.2. Let d = 0.02 + -0.07. Let m = d - 0.25. Which is greater: m or i?
i
Let b be (-288)/(-15)*20/(-4). Is -96 less than b?
False
Let v be (1 - 28/4) + 3. Suppose -2*m = -3*y + 2, -4*m - 5*y + 3 = -37. Suppose 0 = 3*p - 2*j - 0 + 5, m*p + 5*j = 0. Are v and p unequal?
True
Let c = -15 + 16. Let h = -23 + 20.8. Let f = -2 - h. Is f smaller than c?
True
Let m be (-5)/(-10) + 55/(-70). Is m <= 56?
True
Let v = -14 + 14. Suppose -2*w + 3*z - 3 = v, -w + 3*z - 1 - 5 = 0. Which is smaller: 1 or w?
1
Let b = -27 + 59. Let m be (84/b)/(30/(-56)). Let g = m - -32/5. Which is smaller: 3 or g?
g
Suppose g = -0*g - 3, -5*c = -4*g - 72. Let w = -5 + 7. Let l be (-21)/c + 0 + w. Do 0.2 and l have the same value?
False
Suppose 2*k + 3 = 2*d - 3*d, 0 = -k + 3*d - 19. Let h = 4 + -7. Is k < h?
True
Let d be (1 - 2/3)*90/5. Which is bigger: 4 or d?
d
Let y = 4 - 3. Which is greater: y or 1/46?
y
Let v = 5 - 3. Suppose 0 = -2*l + 4*l. Suppose 2*c - 7*c - v = j, l = 2*j - 2*c + 4. Which is smaller: j or -3?
-3
Let j = -11.1 + 0.1. Let c = -14 - j. Which is greater: 3 or c?
3
Suppose 0 = 3*j - 6*j - 6. Suppose 4*o = -1 - 15. Which is smaller: j or o?
o
Let l = 3 + -14. Suppose 0 = 7*z - 15*z - 88. Is z less than or equal to l?
True
Let c = -10232/27 - -379. Let z = c + 44/27. Is 3 less than z?
False
Let k be 3/(-2) + (-4)/8. Suppose 4*j + 16 + 0 = 0. Which is smaller: k or j?
j
Let k(a) = -a**2 - 29*a - 68. Let v be k(-24). Is 52 at least v?
True
Let v be (-5)/(30/(-8))*3. Let x be v/(-6)*(-7 - 2). Let a = x + -5. Are 1 and a equal?
True
Let k be (-5)/(-15) + (-22)/(-6). Suppose 0 = 5*s - k*n - 2, -n - 3 + 0 = 0. Is s >= 3?
False
Let p be (54/(-135))/((-20)/(-3)). Is p != 1?
True
Let c = 0 + -0.1. Suppose 0 = -t + 2 + 2. Let n be (3/t)/((-3)/(-2)). Which is smaller: c or n?
c
Suppose -a - m = a - 4, 4*m + 10 = 5*a. Let t = -5 + 8. Is t at least a?
True
Suppose 30 = -5*c + 10. Let p be (2 - 16/12)*(-2 + -1). Which is bigger: c or p?
p
Suppose 17*m + 6 = 15*m. Are m and -11/5 equal?
False
Let j be 0 + (38/16 - 2). Suppose -2 - 23 = -5*t. Suppose -t = 7*w - 2*w. Do w and j have the same value?
False
Let l = -23/6 + 10/3. Let s = 2 + -1.8. Is l greater than or equal to s?
False
Let k = -4 - -4. Let u be 54/10 - 2 - 3. Do k and u have the same value?
False
Let o = -6.9 - -8. Let f = -1.4 + o. Which is smaller: f or -0.1?
f
Suppose 0 = 5*v + 2*x, x + 0 = 4*v - 13. Suppose 2*h + 16 = -v*h. Is h bigger than -4?
False
Let j = -1.02 - -0.8. Which is smaller: -0.1 or j?
j
Let t be ((-2)/(-5))/((-2)/(-10)). Suppose -c - 4 = -4*p, -3*p + p + t = 2*c. Let u = c - -2. Are u and -2/3 equal?
False
Let f be (-1)/(-6) + 316/(-24). Do -13 and f have the same value?
True
Suppose -4*x = x - 30. Which is greater: x or 1?
x
Let f be 0 + 6/21 - 416/280. Which is bi