t s = -21 - -22. Which is smaller: s or 1/33?
1/33
Let x = 0.2 - 0.4. Let p = 0.24 + x. Let m = -0.6 - -0.5. Which is smaller: p or m?
m
Suppose 5*a + 19 = -4*u, 4*a + 7 + 5 = 0. Let o be (4 - (1 - u)) + 3. Suppose 4*m + 4*k = 20, o*m + k = 1 + 8. Is 1/3 smaller than m?
True
Let n = -2/5 + 2/3. Which is greater: 0 or n?
n
Let u = 39 + -56. Is 1/4 > u?
True
Let c = 6 - 5. Which is greater: c or 0?
c
Let l(s) = -2*s**2 + 0*s**2 + s**2 - s - 5. Let q be l(0). Let d(g) = g**2 + 4*g - 5. Let a be d(q). Which is smaller: a or 2/9?
a
Suppose -3*m - 2*m = -7*m. Which is smaller: m or -2/165?
-2/165
Let f = -1 - -1.03. Let y = -0.23 + f. Are 1 and y equal?
False
Let y be ((-6)/4)/(3/(-4)). Let r(k) = k**2 - 6*k + 1. Let m be r(6). Let w = m - -1. Is w > y?
False
Suppose 0 = 3*r - 3*l + 57, -50 = 2*r - 4*l - 6. Which is bigger: -14 or r?
-14
Suppose -3 = t - 2*u, -4*t + 3 = -u - 13. Suppose 0 = 4*i - t*a - 27, 2*i = -5*a + 2*a - 3. Suppose 0 = i*k - 4*k. Which is smaller: -1 or k?
-1
Let o(b) = -b**3 - 5*b**2 - 2*b - 5. Let t be o(-5). Suppose 4*h = 5*d - 1, h + 3*d = t - 1. Does -1/5 = h?
False
Let u = 138 - 140. Is 1 < u?
False
Let d(x) = -4*x - 16. Let z(i) = 5*i + 17. Let p(a) = 6*d(a) + 5*z(a). Let v be p(12). Is 1 >= v?
True
Suppose -l - 20 = -4*s, -2*s + 12 - 2 = 0. Suppose 2 = 2*g - l. Is 1 not equal to g?
False
Let h be (-5)/(-10) - (-10)/(-4). Is h at most as big as -4/5?
True
Let q be (-4 - 1)/(-1) - 2. Let l be (-6)/((4 - -6)/(-5)). Is q less than or equal to l?
True
Let m = -663/8 + 83. Which is smaller: m or 0?
0
Let n = 205 + -1843/9. Is n > 1?
False
Let u = -60 - -59.95. Let a = -1 - 0. Which is bigger: u or a?
u
Suppose -30 = -g + 11. Which is greater: g or 83/2?
83/2
Let b(w) = -w**2 - 6*w + 2. Let f(l) = -5*l**3 - l. Let s be f(1). Let c be b(s). Let r(x) = -x**3 + 4*x**2 - 2*x - 1. Let t be r(3). Is c bigger than t?
False
Let n = 19 - 24. Let y = n - 0. Which is smaller: y or -2?
y
Let u = -10 + 10. Let p be 3 - 6 - u - -2. Which is bigger: p or 0?
0
Let z = -21 - -39/2. Suppose 2*g + 3*f = -10, -20 = -0*g + 4*g - 4*f. Let h be ((-2)/(-3))/(g/(-3)). Which is smaller: z or h?
z
Let d = -15 - -16. Is d at most as big as 1/2?
False
Let o be (-12)/(-14)*1/3*-1. Let s = 1.1 - 0.1. Which is greater: o or s?
s
Let t = -46 - -31. Let v = t - -5. Let s be ((-16)/v - 0) + -1. Is s at most as big as 0?
False
Let o = 6.76 + -0.76. Is -4/7 <= o?
True
Suppose -20 + 5 = 3*u, 4*c = 3*u + 31. Suppose c*l = 2*l + 10. Suppose -3*f = -l*i + 3 + 1, f + 5 = -2*i. Which is greater: i or -1/4?
-1/4
Suppose 0 = -8*r + 3*r - 10. Suppose 0*a = 5*a + 10. Do r and a have different values?
False
Suppose -1 = 3*p + 5*i + 1, 4*p + i - 3 = 0. Let n be (-2 + -1)*(5 - (-355)/(-70)). Is n at most as big as p?
True
Let m = 4/147 + -410/4263. Which is bigger: m or -1?
m
Let z = 4 + -3. Suppose -3*y + 6 = 5*j - y, j + 3*y = -4. Is j equal to z?
False
Let h(x) = -x**2 + 4. Let m be h(0). Let a = -13 + m. Is a at most -10?
False
Let f = 8 - -3. Let i be (-7)/(-14)*1/f. Which is smaller: -1 or i?
-1
Suppose 0 + 0 = -3*k. Is k at most as big as -2/155?
False
Let f = 2849/24 - 237/2. Does f = -1?
False
Let f be 1*(140/(-8) + 2). Let r = 16 + f. Which is bigger: r or 14?
14
Let l = -499304/33 - -15129. Let c = l - -12/11. Which is bigger: c or 0?
0
Let p(w) = -w**2 - 3*w + 4. Let t be p(-4). Suppose t = -a - 2*z - 11, 5*z - 6 + 21 = 0. Is -5 > a?
False
Let b = -8 + 7. Let h = -0.8 - -0.6. Which is smaller: b or h?
b
Let p = 161 - 1123/7. Let l be (-1 - -1)/(6/(-2)). Is p less than l?
False
Suppose 2*y = -y. Is y equal to 2/9?
False
Let a be (5/(-2))/(3/(-6)). Let x(n) = -n**3 - 6*n**2 + 6*n. Let z be x(-7). Is z less than a?
False
Let l(m) = -4*m + 3. Let s be l(2). Let k(q) = q + 5. Let i be k(s). Do i and 2 have the same value?
False
Let v(w) = -w**2 - w. Let t be 2/(-4)*1*0. Let g be v(t). Are g and -6/5 equal?
False
Suppose 3*w + 2*t + 3 = 5, -3*w + 3*t - 18 = 0. Is -2/3 > w?
True
Let z be 10/(-4)*6/(-50). Suppose -l + g = 4, -l + 2*g = 3 + 4. Which is greater: z or l?
z
Let v be ((-4)/(-12))/((-1)/(-3)). Let a = -9 - -11. Is a equal to v?
False
Let m(z) = -14*z - 9. Let r be m(-3). Is r at least as big as 31?
True
Let w = 0.025 + -0.015. Are w and 4 equal?
False
Let k be 3/2*2/(-3). Let n be (0 + -3)*(1 - k). Is -6 != n?
False
Suppose 5*y - 5 = -0. Which is greater: y or -3/8?
y
Suppose v = -5 + 1. Let r be (-1)/(2/4) - 3. Is v at most as big as r?
False
Let y(g) = 5*g**2 - g - 3. Let r(h) = -14*h**2 + 3*h + 9. Let o(k) = 4*r(k) + 11*y(k). Let i be o(3). Suppose -m = 2*m + 9. Is i at least as big as m?
True
Suppose h - 4 = -3*h. Let a = 260 - 4418/17. Which is smaller: h or a?
a
Let f be ((-36)/(-8) - 4)*0. Let b(l) = -l**2 + 7*l - 4. Let k be b(5). Are k and f nonequal?
True
Suppose -13*l + 17*l + 352 = 0. Let v be -10*(2 - l/(-45)). Which is smaller: v or -1?
-1
Suppose 0 = 2*y + 8, 4*y = 5*o - 9 - 17. Suppose -4*g = -5*m + 25, o*g = -2*g - m + 5. Which is bigger: 1/16 or g?
1/16
Let l be 1405/(-30) - (-1)/(-6). Let o = -33 - l. Are 14 and o non-equal?
False
Suppose -4 - 8 = -4*c. Let w be (-6)/(-9) + (-2)/c. Let m = 1834/1363 - 60/47. Which is smaller: w or m?
w
Let w = 28 + -33. Which is smaller: -3 or w?
w
Let t(o) be the first derivative of -o**4/4 + 2*o**3 + 7*o**2/2 - o - 2. Let p be t(7). Which is bigger: 1 or p?
1
Let b = -27 - -21. Let y = -4 - 2. Is b greater than or equal to y?
True
Let w(f) = 2*f + 3. Suppose -3*a = a + 8. Let z be w(a). Do z and -2/11 have different values?
True
Let v be 0 - -1 - 50/12. Let i = -7/2 - v. Is i bigger than -1?
True
Suppose 2*z = -5*p + 5, 10*p + 12 = 9*p - 3*z. Let g be (-2)/(-6) - (-106)/6. Let w be (-20)/g*(-3)/2. Which is smaller: w or p?
w
Suppose -4*k - 2*s + 30 = 3*s, -2*k + 3*s + 26 = 0. Is 10 at most k?
True
Let x(u) be the first derivative of u**2/2 + 4*u + 1. Let a be x(-3). Let o = -1/95 - -21/190. Which is smaller: a or o?
o
Let u = -40 - -35. Let q = -2 + 5. Let n = q - 4. Is n equal to u?
False
Suppose 5*t - 2 = -7. Is 3/14 <= t?
False
Let m = 3 - 1. Let i = -1.79 + -0.11. Let h = m + i. Is h smaller than 0?
False
Let a be 151 + 1 - 7/(-28). Let u = a + -153. Let r = 0.7 - -0.3. Are u and r equal?
False
Let l = -10/7 + 16/21. Which is smaller: -1 or l?
-1
Let q be 351/(-286)*(-2)/3. Which is smaller: 0 or q?
0
Suppose 3*w = -4*r + 7*w - 24, 0 = 3*r - 2*w + 14. Let y(l) = l**2 - 12*l - 134. Let v be y(-7). Which is smaller: v or r?
r
Suppose -2*l + 16 = -6*l. Let x be (l/(-18))/((-6)/9). Which is greater: -0.4 or x?
x
Suppose 8*w + 155 = 3*w. Let z = w - -125/4. Suppose -3*p = -0*p. Which is smaller: z or p?
p
Suppose -5*r + 3 = 2*n - 19, -r + 4 = 0. Let h be 2/(n/1) + -3. Let a = -10073/13 - -775. Which is bigger: h or a?
a
Let m = -0.92 - 0.08. Which is smaller: 22 or m?
m
Let v be 308/49 + (-2)/7. Let j be v/(-21) - (-96)/434. Do j and -1 have the same value?
False
Let f(t) = t - 2. Let n be f(6). Suppose 0*s = 4*s - 8, s + 22 = 4*v. Suppose 0 = v*k - 2*k - 16. Is k bigger than n?
False
Let u = -35.8 + 36. Which is greater: u or 0.5?
0.5
Suppose 3*t + 29 = 2*h, 2*t - 3*t = 4*h - 23. Suppose -m - 2 = -10. Which is smaller: m or h?
h
Let l = -12279867/29508724 + -1/183284. Let w = l - -3/23. Which is smaller: w or -1?
-1
Let q be (16/210)/((-24)/(-69948)). Let g = 222 - q. Which is smaller: -1 or g?
-1
Suppose -3*s - 8 = -4*b + s, -b + 5*s + 2 = 0. Let a be (4/(-48))/((-1)/b). Which is smaller: -2 or a?
-2
Let x = 101702/75 + -1356. Which is smaller: 0 or x?
0
Let g = 11.1 - 0.1. Let u = -13 + g. Which is smaller: -1 or u?
u
Let n = -0.3 - -1.3. Let v = -0.35 + -0.05. Are v and n unequal?
True
Let y = 38 - -79. Let r be (-567)/y - 4/26. Is r greater than or equal to -1?
False
Suppose 6*c - 6 = 3*c - 5*t, -2*c + 5*t - 21 = 0. Let d be -1*2/c - 1. Is -3 greater than or equal to d?
False
Suppose -2*g = 0, l + g - 3*g + 2 = 0. Suppose 0 = -2*r + 6 + 10. Let p be (6/4)/(54/r). Which is greater: p or l?
p
Let v(z) = z**2 - 10*z - 13. Let u be v(10). Let h = u + 14. Let l be (6/40)/(2/(-5)). Is l at most as big as h?
True
Suppose 0 = 4*m + m. Let s be (-3)/(-1 + 0 + m). Suppose -5*t + 5 = 4*o - 12, -o + 3*t = 0. Is s < o?
False
Suppose 0 = 2*w - 5*f + 6, w + 9 = -2*w - 2*f. Let k be (-9)/w + 16/(-2). Is -2/3 at lea