ue?
False
Let v = 5 + -8. Let i = v + 3.1. Let b be 6/2 - 13/4. Which is greater: b or i?
i
Let p = -491/3 - -162. Suppose -10 = -10*z + 15*z. Is p <= z?
False
Let j = -0.07 - -0.07. Let b = -10.78 + -0.22. Which is bigger: j or b?
j
Let c = -15.9 + 16. Is c less than or equal to -0.2?
False
Let b = -7 - -11. Suppose b*a + 7 = -9. Let m be 2/(1 + 2/a). Which is smaller: m or 1?
1
Let v = 0.25 + -0.2. Let y = 0.05 + v. Which is smaller: 2 or y?
y
Let o = -0.09 - -0.99. Let n = -0.17 - -0.07. Let v = n - o. Is v at least 2?
False
Suppose 0 = -2*y - 3*y + 5. Let o be (-1)/12 + (-3)/(-9). Let d = o - -1/4. Is d < y?
True
Let v = 0.76 + -0.66. Let y = 1.02 + -2.98. Let l = -0.04 + y. Which is smaller: v or l?
l
Let t(p) = -p**2 - p - 9. Let a be t(0). Let q be -3*(-12)/a - -1. Which is smaller: -2 or q?
q
Let y = 0 + 0. Let a = -777/19 + 41. Which is bigger: y or a?
a
Suppose 4*x + 8 = -0*x. Let v be (-1 - 1)/x + -1. Let i = v - 3. Which is bigger: -1 or i?
-1
Let v be ((-9)/6 - 1)/(-6). Let s = -1/6 + v. Let k(n) = -2*n**3 - n**2 + n + 1. Let z be k(-1). Is s less than z?
True
Let h = -0.01 + 0.21. Is h greater than -8?
True
Suppose -5*m = -2*m. Let w = -2710/851 + 72/23. Is w < m?
True
Let w = -1/78657 + 116648342/865227. Let q = w - 135. Suppose 2*s = -3*x - 3, 5 = 3*s - 2*x + 3. Which is smaller: s or q?
q
Suppose -5*x = -2*v - 31, -3*v = 2*x - 2 + 1. Is x smaller than 7?
True
Let c = 3 - 3.1. Let z = 0.1 + c. Let p = 0.061 - 0.161. Which is bigger: z or p?
z
Let o be ((-13)/5 - -2) + 1. Suppose j - 4 = 2*l, 0 = 2*j - 3*l - 5 - 1. Suppose -3*z + 3 = -j. Which is bigger: o or z?
z
Let s = -0.05 - -0.45. Let p = s - -0.6. Let v = 0 - p. Which is smaller: v or -0.1?
v
Let k be 7/(-3)*(-32)/(-112). Which is smaller: -2/55 or k?
k
Let s(m) = -2*m - 5. Let z be s(-4). Let v be (-9)/((-2 + z)*1). Let u = -9 - v. Is 0 <= u?
True
Let o be 4 - (-12 + (-9)/3). Which is smaller: o or 20?
o
Let h = -172/693 - -2/77. Is 1 greater than or equal to h?
True
Let u = 63443/65 + -976. Let k = 29/65 - u. Which is greater: k or 2?
2
Suppose 2*g + 2*t - 6 = -4, 5*t - 3 = -3*g. Let m = -3.8 + 4. Let d = 2.2 - m. Which is smaller: d or g?
g
Suppose -3*v + 3*y = -6*v - 45, 5*v + y = -67. Are -38/3 and v unequal?
True
Let x = 0 - 1. Let z = x - -4. Which is smaller: z or 4?
z
Let a be (3 + 10/3)/(-1). Do -6 and a have different values?
True
Let t(h) = -3*h**2 + 2*h**2 - 3*h - 6 - 5*h. Let d = 7 + -14. Let s be t(d). Which is smaller: 0 or s?
0
Suppose -w = -2*w + 3. Suppose -5*m + m + 36 = 4*q, 3*q + w = 3*m. Suppose 0*l + m = 5*l. Do -1 and l have the same value?
False
Let b = 31 - 46. Is b greater than -15?
False
Let q = -8 + 5. Let r = q - -1. Let l = r - -4. Is l < 3?
True
Let w = -2/17 - -25/68. Which is greater: -12 or w?
w
Let s be -1 + -2 - 407/(-132). Does s = -1?
False
Let v(a) = -3*a - 68. Let r be v(-23). Is 9/4 equal to r?
False
Let h be 8/84 + (-8)/(-14). Which is smaller: h or 5?
h
Let u = -6.2 - -6. Let h(g) = -g**2 + 8*g - 9. Let z be h(6). Let k be z/(-15)*5/2. Which is greater: u or k?
u
Let l = -125/3 - -41. Which is smaller: -6 or l?
-6
Suppose -3*g = 2*g + 5. Let u = g - 0. Is -1 bigger than u?
False
Let v be 60/(1 - -2) - 4. Let c be 72/(-7) - v/(-56). Do -10 and c have the same value?
True
Let n = 20696/23 + -900. Are 0 and n unequal?
True
Let m be (-38)/(-28) - (108/(-21) + 5). Are m and -1 non-equal?
True
Suppose 4*c = -c - 5*d + 40, 0 = 5*d - 25. Suppose -13 = -c*s - 1. Which is smaller: 5 or s?
s
Let u(m) be the first derivative of -m**4/4 + 5*m**3/3 - m**2/2 + 5*m + 1. Let w be u(5). Let p = -1/10 + -2/5. Do w and p have different values?
True
Let m = -15 + 7. Let x = 8 + m. Suppose -3 + x = -3*a. Is a at least as big as 2/25?
True
Let j = 3.4 + -2.9. Let b = -17 - -12. Let z = -4 - b. Is z less than or equal to j?
False
Suppose 0 = -2*h - h - 27. Suppose 3*f + 3*y - 8*y = -52, 4*y + 16 = -4*f. Is h at least f?
True
Let g be 0 + 8/10 + -2. Which is bigger: 0.1 or g?
0.1
Let n = -13 + 11. Which is smaller: 5 or n?
n
Let c = -0.2 - 0. Let n = 1.09 + -0.29. Is c <= n?
True
Let n = 217 - 231.1. Which is bigger: 0.1 or n?
0.1
Let d = 0.09 + 2.91. Let w = d + -3.1. Do w and 1 have the same value?
False
Suppose -6*a - 15 = -9*a. Which is smaller: a or 1?
1
Suppose 2*n + 1 = 5. Let h be (n/3)/((-6)/(-9)). Let j be (-48)/(-21) + 2/(-7). Which is smaller: j or h?
h
Let f be (-4)/(-2)*1/(-8). Let n = -22 - -22. Which is greater: f or n?
n
Let x be (-3)/(-2 - -5) - -4. Let d = x + -5. Which is smaller: d or 0?
d
Let l = 0.59 + 2.23. Let g = -0.18 - l. Which is greater: g or -1?
-1
Let m = -5.2 + 4.2. Is -16 greater than or equal to m?
False
Let s = -5 + 2. Suppose -5*v + 3 = -3*n + 4, 3*v = -4*n + 11. Is v at least s?
True
Let p be (-1)/(-3) - 124/(-6). Suppose 6 = -5*o + p. Is 0 less than o?
True
Let i = 0.2 - 0.13. Let d = -2.93 - i. Which is greater: d or 1?
1
Suppose 0 = x - 8*x - 98. Which is smaller: -11 or x?
x
Let f = 174.6 - 175. Which is greater: 11 or f?
11
Let x = -101 + 117. Which is greater: x or 2?
x
Let j = 2.5 - 2.4. Which is smaller: 0 or j?
0
Let u be 2 + (1 - (43 - 4)). Which is smaller: u or -37?
-37
Let q(z) be the first derivative of z**2/2 - 2*z + 5. Let i be q(3). Is 2 not equal to i?
True
Let b be (-6)/15*(-10)/(-6). Do b and -9 have the same value?
False
Let x = -129543/25 - -5181. Let c = 51/175 + x. Which is greater: c or -1?
c
Let r = 37/5 - 184/35. Which is bigger: r or 1?
r
Let f be (-3 - -2) + 0 - -1. Suppose 3*l + 3*h - 51 = -0*h, f = 2*l - 3*h - 9. Let b be (-9)/l + 3/(-28). Is b at least -1?
True
Let r be 4 - 7 - (2 - 4). Suppose -5*c = -3*c + 2. Let n = c - r. Is 5/6 <= n?
False
Let o(g) = g**3 - 9*g**2 + 13. Let y be o(9). Is y at most as big as 13?
True
Let c be ((-60)/(-24))/(1/2). Let n = -6 + c. Let q = 372 - 5578/15. Is n at most as big as q?
True
Let d = 19 + -25. Which is smaller: -0.1 or d?
d
Let l(x) = -x + 5. Let k be l(4). Let z(a) = a**2 - 4*a + 4. Let c be z(5). Let t be k/2*6/c. Which is smaller: t or 1?
t
Let z = 126 + -97. Which is smaller: 1 or z?
1
Suppose -2*t + 13 = 3*r, 3*r + 2*r = t. Suppose 23 = 4*c - r. Which is greater: 7 or c?
7
Let o = 0.2 + -0.4. Let f = -0.4 - -0.4. Let s = f - o. Which is smaller: 2 or s?
s
Let f be -2*(-4 + 51/12). Is f equal to -1?
False
Let v = 21 - 35. Let z = v + 11. Which is smaller: z or -1/5?
z
Let w(n) = -n + 8. Let v be w(4). Suppose h - v*h = 6. Is -3 at least h?
False
Let v = -7.1 + 7. Let x be 1/(-2)*1/(-2). Which is bigger: v or x?
x
Suppose 0 = -2*c - 4*w + 18, -5*c + 2*w = -0*w - 9. Suppose -4*q + 2*r = -8, -q + 5*r + 6 = 2*q. Suppose 0 = -4*g - 4*n - 8, q*n = -4*g - 5 + c. Is 0.2 <= g?
True
Let v = 97/57 + -26/19. Suppose -25 = 5*t - 4*z + 655, 4*t = -5*z - 544. Let a = t - -1494/11. Which is smaller: a or v?
a
Let y = 0.2 + -0.3. Let p be (-1 + (-1)/5)/(8/20). Do y and p have the same value?
False
Suppose 0 = -3*t - 3*l - 3, -3*t + l + 1 = 3*l. Suppose 12 = -t*z - 6. Let p be (z/(-4))/3*0. Which is smaller: -2/7 or p?
-2/7
Let g(m) = -m**2 - 13*m - 1. Let v be g(-12). Is v <= 11?
True
Suppose p - 12 - 49 = 0. Let w = 43 - p. Let r be w/4*(-4)/(-6). Is r less than -4?
False
Let j = -12 - -12. Suppose 1 = -2*z - 1. Which is greater: j or z?
j
Let d = -0.048 + -0.112. Is d equal to 0.1?
False
Suppose 2*w + t = -4 + 13, 4*w = 2*t + 22. Suppose 0 = -w*r - 10 - 0. Which is smaller: r or -2/5?
r
Let f = -4 - -13. Suppose 11 = -2*m + 3*v, f = -3*m + v + v. Is -2/15 at most as big as m?
False
Let n = 5.41 + -4.4. Let w = n - 0.01. Which is smaller: w or 0.1?
0.1
Suppose -5*m = 10, 3*m = -5*u + 2 - 3. Does 1/6 = u?
False
Let r be (-14)/(-21) + (-5)/3. Let i be -1 + 0 - (-3)/4. Is i at most r?
False
Let d be (-28)/(-6) - (-2)/6. Suppose d*i - 18 = -2*m, -16 = -5*i + i. Which is smaller: -2/9 or m?
m
Let i(k) = -k**2 - k. Suppose -4*r - 3*x = -1, 0*x - 5*x + 11 = 2*r. Let y be i(r). Are -1/3 and y nonequal?
True
Let u(x) = x**2 - 5*x + 9. Let r be u(6). Let j = r - 46/3. Let p = -7.3 - -7. Which is bigger: j or p?
p
Suppose 64 = 4*c + l - 11, 0 = 3*c - l - 51. Suppose 2*p - 2*q = -4*q + 4, 3*q = p + c. Is -4 != p?
True
Suppose -5*c = x - 4*x - 24, -5*c + 12 = x. Let g be (-3 + (-9)/(-2))/c. Let m = 4/9 - 10/9. Is m less than or equal to g?
True
Suppose -3*q = 