False
Let s be (-4)/(-2) + 5*53. Let o = 191 - s. Let l be 27/o - (-2)/8. Which is greater: 0 or l?
0
Let i be 14/(((-4)/6)/((-6)/(-18))). Which is smaller: -8 or i?
-8
Let l(m) = m - 13. Let b be l(7). Let d = b - -9. Let f be 1 + -1 + 15/10. Which is bigger: f or d?
d
Let z(w) = 2*w**2 + w - 2. Let b be z(-2). Suppose 0*d + d = 6. Let m be 15/d + (-2)/b. Is 1 < m?
True
Let r = -61 - -791/13. Suppose p - i - 3 = 0, -2*p + p = 3*i + 9. Which is bigger: p or r?
p
Let f be 28/1743*(-9)/(-6). Is f equal to 1?
False
Let t(m) = m + 3. Let h be t(-1). Is 5/2 greater than h?
True
Let g = 132 + 4. Let y = g - 682/5. Which is greater: 1 or y?
1
Let g be 2/(-6) + 6/(-9). Let a(m) = -3*m. Let n be a(g). Suppose -j + 1 + 1 = 0, -n*h = 3*j - 9. Is -1/4 < h?
True
Let i(v) = -3*v + 2 - 3 + 0*v + 2. Let z be i(1). Is z less than 2/5?
True
Let t = -19 - -17.6. Let u = t - -1.3. Are u and 0.2 unequal?
True
Let a(w) = 2*w**2 - 16*w + 7. Let t be a(12). Let r = -5898 - -30008/5. Let l = r - t. Is l less than or equal to 0?
False
Let z = 30 + -29. Let c = 67/3 + -22. Which is smaller: c or z?
c
Let l be (-22)/(-18) + ((-8)/(-9))/(-4). Which is smaller: l or -1/26?
-1/26
Let m = 35 + -19. Let y be 22/4 + 24/m. Do y and 7 have the same value?
True
Let i = -1 + 2. Let f = 1.14 + -0.04. Let r = f - 0.1. Is r >= i?
True
Let z = -9.2 + 9.4. Is -6 != z?
True
Let z(a) = -a**2 - 3*a - 2. Let c be z(-2). Suppose -3*p - 4*b = -2*b + 8, -5 = 2*p + b. Which is smaller: c or p?
p
Suppose 5*x + 22 = 3*s + 8, x + 4*s - 11 = 0. Which is bigger: x or 1/5?
1/5
Let n = -0.12 + -2.38. Let w = -0.5 - n. Is -2/3 at least w?
False
Let y(g) = g + 1. Let m be y(1). Suppose 0*i - 4*q + 2 = -m*i, -4*q = 4*i - 20. Suppose -4*c + 2 = -6. Which is smaller: c or i?
c
Suppose n + 2*n = 9. Suppose -3*b + 2*o = -31, -2*b + 5*o + 22 = 4*o. Let w = -9 + b. Does n = w?
False
Let d = -467/11242 + -2/511. Which is smaller: 0 or d?
d
Let d = -5941 + 23573/4. Let l = d - -48. Suppose 0 = -5*m + m. Is l at most m?
False
Suppose -3*r = -2*r + 4. Suppose 2*k - 3*k - 6 = 0. Let a = r - k. Which is smaller: a or 0.1?
0.1
Let l = -8 - -11. Let u = -5/2 + l. Which is greater: 2 or u?
2
Let u be (4 - 3)*2/50. Is 0 greater than u?
False
Let f(i) = -i**2 - 7*i - 5. Let d be f(-5). Suppose -6*a + 20 = -a. Which is greater: d or a?
d
Suppose -16 = -h - 3*t, 16 = 2*h + 3*t - 13. Does h = 13?
True
Suppose 3*m = -0*m - 36. Which is smaller: -14 or m?
-14
Let l be (-1)/(-5) - (-290)/(-1075). Is -1 >= l?
False
Let n be -2 - -1*2 - -1. Let s be (-1)/n*0/(-2). Let j(c) = c**3 - 2*c**2 - 1. Let o be j(2). Is s equal to o?
False
Let q be 2/5 + 384/(-10). Which is greater: q or -39?
q
Suppose -5*n + 25 = -5*m - 0, m - 3*n = -11. Which is smaller: m or -6?
-6
Let m = -1.1 - 0.9. Which is smaller: 4 or m?
m
Let a = -3 - -1. Let y be 17/4 - 2/8. Let v = y + -6. Are a and v non-equal?
False
Let z(q) = q**3 - 11*q**2 + 18*q - 1. Let l be z(9). Which is smaller: 5/13 or l?
l
Let l be ((-3)/((-6)/(-1)))/(-7). Let u be (-2)/(-7) - (-40)/7. Let s = 6 - u. Which is bigger: s or l?
l
Let x be 6/40 + 4/(-10). Suppose -3*p + 3*k = -6, -5*p = k - 2 + 4. Is x equal to p?
False
Suppose 4*w + 2*s + 49 = -43, -5*s = -10. Is w >= -25?
True
Let p be 9/21*(115/(-50) + 3). Let g = -1 + 1. Let b = 1 + g. Which is greater: b or p?
b
Let b = -0.2 + 0.1. Let a = -2 + 2. Let o = b - a. Which is bigger: o or 1?
1
Suppose 3*q + 0*p = 5*p - 91, 3*q = -p - 61. Let i be 2/(-11) + (-8)/q. Suppose 3*y - 4*g = -4, 2*y = -5*g + 3*g + 2. Is i > y?
True
Let o be 4/(-6) - (-2)/(-6). Let m be o/3*1/(-2). Which is bigger: 1 or m?
1
Let o = 103 + -159. Is -56 >= o?
True
Let x be 3 - (-4 + (-610)/(-86)). Is x greater than or equal to -1?
True
Let n be ((-6)/15)/((-2)/20). Let h = 4 - n. Let w = 1 - h. Is w at least as big as 3?
False
Let h = -1652/15 + 110. Suppose 2*o + 2 = 4*o. Which is greater: o or h?
o
Let k = -3.1 + 3. Let l = -1 - -1. Is l at most k?
False
Let m be -8*(-2)/4 + 176/(-26). Which is greater: -3 or m?
m
Suppose -a - 5 = 3*z, -6 = -2*a + 4*z + 14. Suppose 0*q = -2*u + a*q + 20, 5*q = u - 19. Let y = u - 3. Which is smaller: -0.1 or y?
-0.1
Suppose 4*j + 4*i - 12 = 0, 4*j + i = -4*i + 13. Let t = 79 + -235/3. Is j greater than t?
True
Let n be 15/35*(-7)/(-26). Which is smaller: 0 or n?
0
Let h = -18 + 16. Let g be 4*1*h/(-28). Is -9 less than g?
True
Let b = 1/206 + 305/824. Let n = b + -1/4. Is 1 equal to n?
False
Let j = -8.3 + 8.4. Is -48 less than j?
True
Let f be (-1)/3 - (-577)/90. Let r = f - 63/10. Is r less than or equal to -1?
False
Let o = 21/10 + -8/5. Let d = -14.3 + 14. Let i = 0.22 + d. Which is bigger: i or o?
o
Let g = -91 + 96. Which is bigger: -2/3 or g?
g
Let x = -9.9 - -9. Let r = -2.45 - -1.45. Which is greater: r or x?
x
Let n be 964/(-90) + 2 + -2. Let a = n + 100/9. Which is bigger: -0.1 or a?
a
Suppose -3*n + 4*c - c + 12 = 0, 5*c = -3*n + 4. Let a be 16/(-6) - 1/n. Let u = 74 + -76. Is u < a?
False
Suppose -r + j - 4*j = 17, -3*j - 21 = 3*r. Let q(l) = l**2 + 3*l + 1. Let m(v) = -v**2 + 5*v - 2. Let i be m(5). Let b be q(i). Which is smaller: b or r?
r
Suppose 3*n + 2*w - 227 = 0, 6*n = n - 2*w + 377. Suppose -n + 25 = -5*a. Let s be 8/(-20)*a/(-18). Which is bigger: s or 1?
1
Let c = 0.07 + 17.93. Let j = 19 - c. Is 1 greater than j?
False
Let b = 0 + 6. Which is bigger: b or 8?
8
Suppose 4*g = 3 + 1. Suppose 3*d = -0*d + 126. Let n be (4/d)/(4/(-6)). Is g greater than or equal to n?
True
Let c = 0.93 + 0.07. Let g = 3 + -4. Which is smaller: c or g?
g
Let p = 448/1095 - 2/219. Which is greater: -1/5 or p?
p
Let u = 1.06 + -1. Let x = -0.16 + u. Do x and 7 have different values?
True
Let x = -13.1 - -13. Is x less than or equal to 9?
True
Let j = 637/9 + -223/3. Let u = j + 229/72. Which is bigger: u or 1?
1
Let u = 391 + -386.98. Let w = 6 + -2. Let q = u - w. Is 2/7 at most as big as q?
False
Suppose -4*k = -t - 20, 4*k = -2*t + 7*t + 20. Let z be 6/(-18)*t/2. Which is greater: -10 or z?
z
Let l = -3 - -4. Suppose 3 = 3*d - x - 2, 3*x = d + l. Is d equal to 0?
False
Let g be 7 + 228/(-54) - (-4)/18. Is -6 > g?
False
Suppose 5*x - 7*x = -2. Let n be ((-2)/(-16))/((-4)/8). Do n and x have the same value?
False
Let a = -7 + 7. Suppose a = -0*i - 4*i - 4. Which is smaller: i or 3?
i
Let s = 10 + -4. Which is bigger: s or 4?
s
Let g = -0.26 + -8.74. Is 0 less than g?
False
Suppose c - 4 = -c. Suppose 3*x - c*x - 3 = 0. Which is smaller: x or 4?
x
Suppose 3*r + 2 + 4 = 0. Let z be (-6)/r*(-20)/(-15). Suppose -z = -p - 2. Is 0 >= p?
False
Let f = 6 + -13/2. Is -6 != f?
True
Let x = 3 - 8. Let p(o) = -1 + 4 - 5*o - 1 - o**2. Let k be p(-6). Which is smaller: x or k?
x
Let x = 191 + -252. Which is smaller: -60 or x?
x
Let y(m) = -m**2 - 6*m - 7. Let r be y(-5). Let k be (1/r)/((-2)/(-8)). Let x = 0.2 - 0.2. Is x < k?
False
Suppose 0 = -l - 0*l. Let t = 196 + -197. Which is smaller: l or t?
t
Let m = 0.1 - 0. Suppose 40 + 74 = 2*u. Let t be -2 - (3 + u/(-12)). Which is smaller: m or t?
t
Let g be (-3)/2 - 54/(-4). Let s = -2 - -5. Suppose -s*k = -5*k - g. Which is smaller: k or -4?
k
Let q be 9/63 + ((-82)/14)/(-1). Is q at most 17?
True
Let y = -5 + 8. Let p = 5 - y. Which is smaller: 1 or p?
1
Let n(p) = -p**3 - p**2. Let f be n(0). Suppose -5*y - 20 + 0 = 5*w, f = -2*w - 10. Let d = 1 + -1. Is d at most as big as y?
True
Let h = -6 + 14. Let w be h/(-12) + 11/3. Let d be 0/(w - (-2 - -4)). Which is smaller: -2/19 or d?
-2/19
Let r = -0.17 + -0.03. Let i be -3 - (-1)/(4 + -3). Let x be i - (3 + -1)*-1. Which is greater: x or r?
x
Suppose 0 = y + 3*y - 3*k + 3, 0 = -4*y - 5*k + 37. Suppose -11 + 2 = -y*a. Suppose -g + 2*g = a. Is -1 equal to g?
False
Suppose -m + 2*y - 17 = 0, -2*y + y = 4*m + 104. Which is bigger: m or -26?
m
Let y(n) be the third derivative of n**4/24 - n**3/3 + 3*n**2. Let f be y(-3). Is f at most as big as -1?
True
Let t(i) = -2*i**3 + 3*i**2. Let x be t(2). Let y be x + (-8)/(-3 + -1). Are 1 and y nonequal?
True
Suppose -c - 4*c = a - 9, -5*a - 4*c = -24. Suppose 2*q + 0*v = v + 4, -16 = -2*q + a*v. Suppose 0 + 1 = b. Which is greater: b or q?
b
Let h = -496/701 + 180496/128283. Let p = -2/61 + h. Which is smaller: -0.8 or p?
-0.8
Suppose -4*u - 7*r = -3*r + 24, 6 = -3*r. Let o be (-27)/(-25) + (-5 - u)