- 0*f + 5*x, -3*f - 3*x - 48 = 0. Which is bigger: f or -6?
-6
Let j = 167/12 + -14. Does -1/3 = j?
False
Let l = 85 - 86. Is -0.095 smaller than l?
False
Suppose 2*i = 6*i - 4. Is -1/3 > i?
False
Suppose -o = -2*d + 2*o - 13, 13 = -5*d + o. Let r = 8 - 5. Let y = d + r. Which is smaller: y or 2/7?
2/7
Let l = -5949/4 + 1496. Is l bigger than 9?
False
Let x = 24/913 - -1/249. Is 0 greater than or equal to x?
False
Let m(b) = b - 9. Let f be m(11). Is f greater than 0?
True
Suppose -18 = -3*d - 6. Suppose -7*g + 2*g + 25 = 0. Let k = 8 - g. Which is smaller: d or k?
k
Let k = 6297369 - 12179113635/1934. Let i = -8615667/7266038 - k. Let l = i + 1/289. Which is smaller: 1 or l?
l
Let v be (-34)/(-28) - (2 - 2/4). Are 1 and v non-equal?
True
Let u = 451/1974 + -2/141. Are u and -1 nonequal?
True
Let j = 1.8 + -2. Let x = 1.6 - 1.46. Let y = x - 0.04. Is j equal to y?
False
Let c = -1 - -2. Let l be ((-1054)/255 - (-2)/15) + 3. Is c >= l?
True
Let d = 1609/48204 - 4/117. Let w = 591314031 - 25580244978623/43260. Let c = d - w. Which is smaller: -1 or c?
-1
Suppose -3*i = -5*s + i - 5, 3*s = 4*i - 3. Let y be (-2)/11 - (-7)/(308/16). Is y less than s?
False
Let d(i) = 3*i + 2. Let n be d(-3). Let a be 2/n - (-58)/7. Let z be ((-1)/a)/(3/6). Which is bigger: 3 or z?
3
Suppose p + v = 14, 0 = -p + 3*v - 2. Which is greater: 9 or p?
p
Suppose -r + 5*d = -29, 3*d = -5*r - d. Let n be (5 - 0) + (-12 - -8). Which is smaller: r or n?
n
Let h = 0.23 + -0.43. Are -1/7 and h non-equal?
True
Let c = -4 + 10. Suppose 3*m + c = -0. Which is greater: m or -3?
m
Let v = 0.01 - 0.11. Let m = v - -0.1. Does m = 1?
False
Let a = 9 + -5. Let u be (-2)/(-15) + (-86)/(-30). Suppose -16 - a = 4*d, 4*f + 3*d + u = 0. Is f != 4?
True
Let n = 6 - 5.7. Let h = 29/39 + -1/13. Which is smaller: h or n?
n
Let v = 4 - -4. Suppose 3*c + v = c. Let s be (24/(2 + 1))/(-2). Is c at most s?
True
Let x be ((3 + -2)*-1)/1. Is 0 > x?
True
Let c(o) = 6*o - 3. Let j be c(1). Which is greater: j or 3/2?
j
Let s = 114 - 114.1. Is s at most 13/2?
True
Let q = -409 - -2872/7. Are q and 1 unequal?
True
Let v = -7.08 - -0.08. Let h = v - -4. Which is smaller: 0.2 or h?
h
Suppose -4*v = 3*t - 3*v, 3*t + 3 = -2*v. Let o = 1 - t. Suppose 0*u = -u + 1. Are o and u nonequal?
True
Suppose f - 2 = 0, v - 3*f + 1 = -5. Let c = -3/2 - -47/30. Are c and v nonequal?
True
Let p be (-111)/(-33) + (-7 - -4). Which is greater: p or 1?
1
Let y = -9 - -7.6. Let g = y - -4.4. Let s = -0.2 + 0.2. Do g and s have the same value?
False
Let a = -86 - -85. Let w be ((-4)/(-5))/((-2)/(-5)). Suppose 0 = -w*r + r - 1. Does a = r?
True
Let r = 2.4 + -2.3. Which is greater: r or -11?
r
Suppose -10 = 5*f + 5. Let t = -3 + 3. Suppose 3*z + z + 8 = t. Which is greater: z or f?
z
Let f = 78 - 77.9. Is -3 at most f?
True
Let o(y) = 2*y - 22. Let b be o(12). Which is smaller: b or 3?
b
Suppose 0 = k + 19 - 21. Suppose k*q = q + 4. Is q less than 2/9?
False
Let z be (2 - 10/4)*-2. Let w = 2179/74 - 59/2. Which is greater: z or w?
z
Suppose 10*t = 8*t + 6. Let j be t + 4/(-1*4). Which is smaller: -2 or j?
-2
Let k be 5/(-9)*6/(-15). Which is smaller: 1 or k?
k
Let r(q) = -q - 7. Let u be r(-6). Suppose 0 = 4*t + 2 - 14. Let n = u + t. Does 2 = n?
True
Suppose -4*t - 3*n = -9*t + 29, 5*n + 31 = 4*t. Suppose 3*l - 12 = 3*m - 0, 0 = 4*l - t. Let x = -0.3 - 0.7. Which is smaller: m or x?
m
Let p = 0.3 - -0.3. Let k = p + -1.6. Let h = -1 + 3. Are h and k equal?
False
Let u be ((-36)/(-10))/(20/(-50)). Which is smaller: u or -11?
-11
Suppose -3 = -l - 0*l, -4*l + 12 = -2*g. Which is greater: -1 or g?
g
Suppose 2*d = -d + 6. Suppose 2*j + 5*x - 15 - 26 = 0, -49 = -3*j + 5*x. Let a be 0 + -4*1/j. Are d and a unequal?
True
Let k = 73.1 + -77. Let m = k - -4. Which is bigger: m or -0.3?
m
Let a = -10.1 - -0.1. Let v = a - -18. Which is smaller: 1/4 or v?
1/4
Suppose -y + 5*a = -4*y - 4, 0 = -3*a - 6. Suppose -2*k - 4*h + 2 = -y, -k + h = 1. Which is smaller: k or -1/7?
-1/7
Let u(c) = -4*c - 2*c**2 - 8 + 3 + c**2. Let z be u(-4). Let v(l) = l + 5. Let a be v(z). Are a and 0 non-equal?
False
Let y be ((-3)/6)/((-7)/(-14)). Which is smaller: y or -1/4?
y
Let x = -6 + 4. Let g = -0.18 + 0.28. Is g at most as big as x?
False
Let l = 0.08 - 0.18. Let z = 7 + -13. Let n = z + 6.3. Are l and n unequal?
True
Let s = 21 - 23. Suppose 4*m = 2*m - 6. Do s and m have different values?
True
Let p = -4 + -6. Let s = -8 - p. Let a = s - 1. Are -2/17 and a equal?
False
Let r(p) = -2*p - 4. Let z be r(-4). Suppose 2*y - 10 = 0, 3*s + 20 = -0*s + z*y. Is s at least as big as 1?
False
Suppose 7 - 95 = 22*i. Suppose -11 = 4*m - h, -3*m + 3*h + 3 = -0. Is i < m?
False
Let s = 10 - 7. Let q = s + -3. Let t = 5 + -4.9. Which is greater: q or t?
t
Suppose -2*w - f = -4, -4*w - 3*f + 13 - 5 = 0. Which is smaller: 3 or w?
w
Suppose 5*d - 49 = -z, z = -2*d + 18 + 1. Suppose -4*p - 2 = -14. Suppose 8 + d = -p*q. Is -5 <= q?
False
Let f be (27/(-15))/(3/(-10)). Which is smaller: f or 4?
4
Suppose -4*m = 3*h + 5, h = 4*m + 3*h + 2. Let x be 32/(-6) + m + 3. Is -2 at most as big as x?
True
Let g(a) = -a**3 - a + 5. Let c be g(0). Suppose 0 = -3*b - m - 1, -m - 10 = 2*b - c*m. Let s be (312/399)/2 - (-22)/(-77). Which is bigger: b or s?
s
Let x be (-72)/20 - (-6)/10. Let p be (2 + x)/(1 - 0). Is p greater than 2?
False
Let u = -7 - -10. Suppose 0 = -4*w + u - 19. Is 0 > w?
True
Suppose 2*z + 5*j + 8 = 0, 27 + 15 = -4*z + 3*j. Let t = z + 5. Is -3 less than or equal to t?
False
Let v = 0 - -3. Suppose 8 = o + v*o. Let u = 139/102 + -1/34. Which is smaller: o or u?
u
Let g be ((-17)/51)/(-2 - (1 - 2)). Which is smaller: 6/29 or g?
6/29
Let s be (-1 + (-36)/4)/(-2). Suppose -b + m - 2*m = -2, -4*b = s*m - 6. Is b greater than or equal to 1/4?
True
Let p(c) be the third derivative of c**6/120 - c**5/60 - c**4/6 + c**3/2 - 2*c**2. Let j be p(2). Which is smaller: -2 or j?
-2
Suppose 9*x = -3*x - 504. Which is smaller: x or -44?
-44
Let s be ((-1)/(-3))/(6/54). Let y be (-6)/s - 9/(-4). Which is greater: y or -1/2?
y
Suppose -3*a = 5*d - 25, -4*d - 2*a - 7 = -27. Let n(t) = -t**3 + 7*t**2 - 5*t - 4. Let b be n(6). Are d and b unequal?
True
Let s be (3/12*-1)/(230/(-8)). Which is smaller: -1 or s?
-1
Let y(i) = -1 - 3 - 6*i + 0 - i**2 + 13. Let z be y(-7). Let c be ((-7)/14)/(3/z). Is c greater than -2?
True
Let x be ((-4)/(-2))/4 - 1/(-2). Is 13/9 at most as big as x?
False
Let n be 64/(-48)*(-3)/4. Which is bigger: n or -0.04?
n
Let s be (3 - (-22)/(-6)) + (-8)/(-12). Does s = 5?
False
Suppose -5*s + 8 = -2. Let j(i) = 2*i**2 + 1. Let x be j(1). Suppose s = a + x. Which is smaller: a or 1/4?
a
Let w be 4*1/(-56)*(-4)/3. Let k be 1/2 + (-2)/4. Is k greater than or equal to w?
False
Let s = 250 + -170. Which is greater: 81 or s?
81
Suppose -2*i + 3*o = 33, i + 2*i + 3*o = -27. Which is bigger: -9 or i?
-9
Let f(o) = o**3 + 2*o**2 - 3*o + 2. Let j(u) = -u**3 + 6*u**2 - 5*u - 3. Let m be j(5). Let a be f(m). Which is smaller: a or 0?
0
Let t(a) = -a**3 - 6*a**2 + 7*a. Let o be t(-7). Suppose 5*i + 20 = 0, 20 = 2*b + 2*b - 4*i. Let n be b/(-3 - 62/(-4)). Is o equal to n?
False
Let r = -2 + 1. Let l = r + -1. Which is smaller: -5/6 or l?
l
Let b = -1 + 0.7. Let x = b + 0.5. Suppose 0*j - j = 0. Which is smaller: j or x?
j
Let q = -3 - -1. Let y = 7 - 10. Which is smaller: y or q?
y
Let q = 5.993 - 1.123. Let x = q + 0.13. Are x and -1 equal?
False
Let z = 34 + -34.15. Is -2 at least as big as z?
False
Let i = -7.192 - -0.212. Let g = i + 7. Let b = g + -0.04. Is -1/3 >= b?
False
Suppose 0*v - 2*v = 0. Which is bigger: -2 or v?
v
Let h = -0.02 - -3.02. Let i = 8/25 + -106/175. Which is smaller: h or i?
i
Let a(z) = -z**3 + 3*z**2 + 4*z + 17. Let t be a(5). Is t at most as big as -13?
True
Let l(m) = m - 8. Let o be l(8). Which is smaller: 3/11 or o?
o
Let z = -17 + 611/36. Which is smaller: 1 or z?
z
Let l = 145/288 + -1/288. Let v(u) = u**2 - 3*u + 2. Let m be v(3). Suppose -m*t = 2*t - h - 9, 2*h + 13 = 3*t. Which is smaller: l or t?
l
Let p = -0.01 + 0.01. Let y = 0.2 - p. Let g = y + -0.1. Is g <= 2/7?
True
Let w be (-1)/(-3) - (-2)/(-3). Which is smaller: 1 or w?
w
Let t = -5 + 6. Let p be t/2 + 11/(-10). Which is greater: p or 0?
0
Let a = -0.3 + 0.2. Let x = -0.1 - a. 