601 - -30403/19. Let t = -3703991/4002540 + -1/35110. Let j = l - t. Is 1 at most as big as j?
False
Let r = -6 - -7. Let h = -1 + r. Is h greater than or equal to -2?
True
Let z(y) = y - 3. Let c be z(3). Let u be (-1)/(1*(1 + -2)). Which is smaller: c or u?
c
Let k(i) = i + 11. Let b be k(-5). Suppose 3*o - 3 - b = 0. Suppose l - o*v - 3 = -0*l, 2 = -2*v. Is 1 >= l?
True
Suppose -31*g = -33*g - 136. Is g less than or equal to 1?
True
Let d = 3.7 + -0.7. Let q = -4 + 4.1. Which is smaller: q or d?
q
Let y = 0.062 + 0.058. Is y < 3/4?
True
Let s(w) be the second derivative of 3/2*w**3 - 1/12*w**4 + 0 + 7*w**2 + 2*w. Let x be s(10). Which is bigger: 5 or x?
5
Let y be 1 + (0/2 - 0). Let b(v) = -2*v - 6. Let h be b(-6). Suppose -9*p = -h*p. Is p < y?
True
Suppose 4 = -0*v + 2*v. Suppose -3*a = -4*a + 5*g - 17, -v*a + 5*g - 19 = 0. Let u be a + 20/2 + -3. Are 6 and u unequal?
True
Let i = 7 - 17/3. Which is smaller: i or 0?
0
Let j be (-1)/(-3)*(-3 - 30). Let r be -6 + 5 + j/1. Is -12 greater than r?
False
Let k(x) = 2*x - 22. Let n be k(-16). Let v be (-2)/(-4) - 430/(-8). Let c = n + v. Which is smaller: -1 or c?
-1
Let a(b) = b**3 + 9*b**2 + 11. Let k be a(-9). Which is smaller: 23/2 or k?
k
Let h = -4 + 3. Let l be ((-1070)/18)/((-8)/12). Let i = -89 + l. Are h and i unequal?
True
Let v = -26 - -23. Which is smaller: v or 0.2?
v
Let q(n) = -n + 4. Let a be q(8). Let b = a + 5. Let u be b/(0 - (-21)/(-6)). Is -2 greater than or equal to u?
False
Let q = 0.91 - 0.17. Which is smaller: 0.1 or q?
0.1
Let z be 1/(-3) + 55/75. Let a = -3 + 4. Let h = a - 1.3. Is z > h?
True
Let s = -91.1 - -86. Let h = s + 5. Let b = -4.5 - 0.5. Which is smaller: b or h?
b
Let v be 8/(-92)*1/(-2). Let f = -49/69 + v. Is f > -2/13?
False
Let o = -6 - 0. Let u be 2/3*9/o. Which is greater: -1/8 or u?
-1/8
Let m = 69079/210 - 2301/7. Let i = 9/10 - m. Let c = -2 + 3. Is i greater than c?
False
Let d(p) = p - 9. Let g be d(8). Are -12/5 and g non-equal?
True
Let y(r) = r**2 + 5*r - 8. Let j be y(-7). Which is smaller: 7 or j?
j
Let i = 31 + -342/11. Let x = 16/55 + i. Which is bigger: 0 or x?
x
Let i(r) = -2*r**2 - 4*r - 5. Let p(m) = -m**2 - 5*m - 4. Let l(g) = -2*i(g) + 3*p(g). Let d(s) = -2*s + 1. Let t be d(-3). Let a be l(t). Is -2 at most a?
True
Let u = 8/13 + -45/52. Is u smaller than 1?
True
Let f = -0.18 - -2.38. Let z = f - 2.3. Which is smaller: z or 1/20?
z
Let q(y) = 2*y**2 + y - 30. Let o be q(6). Is o > 48?
False
Let z = -23290.93 + 23163. Let s = z - -132. Let x = 0.07 - s. Which is bigger: x or 0.2?
0.2
Let j = -23 + 17. Let d(h) = h**2 + 6*h + 4. Let p be d(j). Which is bigger: 1/2 or p?
p
Let h be ((-6)/15)/(2/(-20)). Let q = h + 0. Is 5 < q?
False
Let n = 2 - 2.03. Which is greater: 0.1 or n?
0.1
Let w(d) = 2*d**2 - 20*d. Let x be w(10). Suppose -6*j - 15 = -j. Which is smaller: j or x?
j
Suppose 7*u = b + 2*u - 11, 2*b - 5*u - 7 = 0. Is 0 less than or equal to b?
False
Let n = -4.2 - -7. Let g = 3 - n. Let q = -4 + 3.9. Which is bigger: g or q?
g
Let x(k) = 28*k**2 + k + 1. Let q be x(1). Is q at least as big as 59/2?
True
Let b(n) = -3*n**2 - 11*n - 24. Let c be b(-8). Is -128 != c?
False
Let x = 1 + -2. Let f be 2211/45 - 1/(-5). Let u = 50 - f. Is x >= u?
False
Suppose l + 3 + 0 = 0. Let n be ((-1)/l)/(1/21). Suppose n*m - 3*m = -3*v + 2, -5*m = -5*v + 15. Is m greater than -1?
False
Let o(y) = -y**3 + 7*y**2 - 6*y + 2. Let j be o(6). Let l be 2 + (-8)/(-4) + -6. Let i be (j/(1*l))/(-3). Is i <= -0.1?
False
Let n be (-1)/(-2 - -3) + -4. Suppose 0 = 4*j + 4*f - 24, -26 = -3*j - 9*f + 4*f. Let s = -2 - j. Which is greater: n or s?
s
Let h(p) = p**2 - 5*p - 8. Let i be h(6). Let w = i - 4. Is w at least -6?
True
Let u = 0.22 - 0.2. Let y = 0.08 + u. Which is smaller: y or -22?
-22
Suppose -17 - 3 = 5*t. Let k be 20/(-16)*t - 0. Is k at most 0?
False
Suppose 0 = 4*g - 4*f - 24, 5*g - f = 3*g + 13. Is g < 9?
True
Let q = 0.02 + -4.02. Let l be (-2 - (3 - 3)) + -6. Let r be l/36*(-3)/(-2). Are q and r nonequal?
True
Let q(h) = h**2. Suppose f + 5 = j + 3*f, -j + f - 10 = 0. Let d = -4 - j. Let s be q(d). Which is smaller: 2 or s?
s
Let t = 11 - 0. Let l = 15 - t. Let a = 7 - l. Is a greater than or equal to -0.1?
True
Suppose 2*a - i = -8, 2*i + i = 3*a + 18. Let p be ((-28)/(-21))/(a/3). Suppose 0 = -5*q + 2*o - 10, o = q - 0*o + 2. Does p = q?
True
Let m = 3 - -1. Suppose -m = 2*b + 4. Suppose 5*s = 4 - 24. Is b != s?
False
Suppose -5*r = 4*j - 13, 5*j - 2 = 2*r - 27. Suppose -39 = -3*h - 24. Is h equal to r?
True
Suppose 5*d + 34 = 3*d. Are -18 and d non-equal?
True
Suppose 3*f = -3*a, 4*f - 4*a = -2*a. Let q be -59 + 63 - 13/4. Which is smaller: f or q?
f
Suppose -3*f = 4*o - 17, -f - 10 = -5*o + 16. Which is greater: -2 or f?
f
Suppose -r - 4*o - 9 = -2, 2*r = 3*o + 8. Suppose -2*f = -9*y + 4*y + 17, -f = y - 9. Let p be 2/f - 1/2. Is p > r?
False
Let x be 2/(2/(-3)) - -2. Let r be ((-1)/(-1))/(28/(-160)*4). Which is smaller: r or x?
r
Let b = 6 + -5. Which is smaller: b or 2/3?
2/3
Let o be (-5)/(15/(-2))*6. Is o bigger than 4?
False
Let i = -1.5 + 1.57. Let d = 0.07 - i. Which is smaller: 1 or d?
d
Let a = -0.95 + -0.05. Let y = -1 - -1.5. Which is greater: a or y?
y
Suppose -f - 4*i = i - 21, -2*f - 28 = -4*i. Let l be (-27)/6 + 2/f. Which is smaller: l or -7?
-7
Suppose 3*o + 2*o - 5 = 0. Let s = -1.9 - -1.1. Let n = s - 0.2. Is n at least as big as o?
False
Let k be (-21)/18 + 1 + 0. Is k at least as big as 1?
False
Let r = 37 + -37. Let d be -2 - (100/(-26) - -2). Which is bigger: d or r?
r
Suppose 2*o = 20 - 0. Suppose u + 2 + 0 = 3*s, 5*u = -o. Suppose -2*i = 3*c + 5, -2*i + 10 = -2*c - s*i. Is -4 < c?
True
Let f = -2 + 2.1. Which is smaller: f or 17?
f
Let l = -1 - -0.8. Let x = -0.1 - l. Let o = -0.2 + 0.3. Are o and x unequal?
False
Let z be (1 - 0) + -5 + 5. Let b be ((-8)/10)/(z/5). Are b and -4 equal?
True
Suppose 3*f = -4*d - 11, f + 4 = 3*d + 9. Let l = 223 - 447/2. Which is smaller: d or l?
d
Suppose -y + 0 + 1 = 0. Let b be (-3)/7*1 - 0. Which is smaller: y or b?
b
Let j(n) = -n. Let p be j(-5). Which is greater: p or 6?
6
Let w be (-12)/(-14)*(-28)/(-4). Let u be (-246)/9 + 2/w. Let x be -3*(-3 + (-87)/u). Which is smaller: 0 or x?
x
Let u(j) = 2*j - 2. Let y be u(2). Let i be (3 + -1 - 3)*1. Let v be -1 + -3 + 4 + i. Which is greater: v or y?
y
Let c = -4 - -6. Suppose 6*p = 5*p + 3. Which is greater: p or c?
p
Let h(b) = b**2 + 2*b - 4. Let j be h(-5). Is 9 smaller than j?
True
Suppose 4*m = 1 + 11. Suppose 0*l = 5*l. Suppose -3 = -l*c - m*c. Is 2/5 != c?
True
Let v = 37 + -36.94. Is v < -0.4?
False
Suppose -3*a + a = 0. Suppose a*k = 2*k - 12. Which is smaller: k or 0.1?
0.1
Suppose -r - 4*r = 3*t + 13, 5*t = -4*r - 39. Which is smaller: -12 or t?
-12
Let t be (-1)/(6*(-9)/2). Let k = t - -2/27. Do k and 0 have the same value?
False
Suppose 0 = -2*g - g - 105. Which is greater: -34 or g?
-34
Let m = 5 - 5.25. Let b = m - -0.05. Is b <= -3?
False
Let n(z) = 2*z - 1. Let g be n(-1). Let w = g - -3. Let k be 2 - 0/(-3 + w). Which is greater: 0.2 or k?
k
Let l(u) = -3*u - 3. Let x = -2 - 0. Let r be l(x). Is 4 at most r?
False
Let z = -45/2 + 21. Let k = z - -1. Is k != -1/6?
True
Let f = 138 - 416/3. Is f >= 1.2?
False
Let z be 6/2 - 2/2. Suppose z = -3*i + 8. Suppose -y = y + i. Is -1 < y?
False
Let q = -5 + 5. Let z be 3 - q - 2/1. Which is bigger: -1/8 or z?
z
Suppose 0 = -16*a - 25 + 9. Is a at most as big as -2/3?
True
Let q be 54/(-70) - 3*1/(-5). Which is bigger: 0 or q?
0
Let o = -335 - -4693/14. Which is greater: o or 1?
1
Let s = -7230780765/325378 - -96259/17588. Let d = s + 22217. Let o = d + -1/74. Is o smaller than 0?
True
Suppose -3 + 17 = 2*l. Is l greater than 9?
False
Suppose 54 = -y + 4*y. Let r = -15.9 + 16.9. Which is greater: y or r?
y
Suppose -2*v - 120 = -4*v. Let k be 54/v*5/6. Is 0.2 > k?
False
Let q be 2*8/6*3. Suppose -2*a + q = -5*a - 4*p, -3*p - 6 = -a. Is 0 > a?
False
Let l = -10 - -7. Is l <= -3?
True
Let j = -4 + 7. Let d = 4 - j. Let h = -1 + 0.8. Are d and h non-equal?
True
Let v = 338 - 1682/5. Let q = v + -37/20. Which is smaller: 0 or q?
q
Let m be (1/(-1))/(0 - 1). Let o be -5*1 - (3 - (-462)/(-60)). Is o less than or equal to m?
True
Let f = -4 - -5. Are -5 and f nonequal?
True
Let 