t i be -221*(r/10 - 0). Let x = i - 1562/35. Which is smaller: x or 0?
x
Let m = -1.5 + -10.5. Which is smaller: -2/5 or m?
m
Let r = 75 + -80. Let m = -2294/15 - -14269/93. Let b = 3/31 - m. Which is smaller: b or r?
r
Let q(a) = -4*a - 6 + 2*a**2 + a**2 - 5*a**2 + 3. Let t be q(-2). Do -3 and t have the same value?
True
Let v = -90 + 91. Is v > 2/11?
True
Let f be (3 - 3) + (1 - 2). Let b = f + -3. Let p be (-1)/b - 24/32. Is p bigger than 0?
False
Suppose 4*a + 5*f = -35, -6*f + 3*f - 29 = 4*a. Which is smaller: a or 3/7?
a
Suppose -15 = -3*v - 63. Which is smaller: v or 0.1?
v
Let k be -1 - (18/(-2) + 1). Let u(x) = -x**3 + 6*x**2 + 6*x + 7. Let v be u(k). Let r be ((-10)/6)/((-4)/3). Which is bigger: v or r?
r
Let n = 1226 - 26967/22. Let m = 3/11 + n. Which is smaller: m or 6?
m
Let w = 1 - 0. Let f be -1 + ((-82)/(-26) - 2). Which is bigger: w or f?
w
Let r be (-173)/(-9) - (-10)/(-45). Is r less than 20?
True
Suppose 5*b - 4*l - 122 + 30 = 0, -b = 3*l - 7. Let y be (-302)/(-18) + 16/72. Which is greater: b or y?
y
Let k = 114 - 1252/11. Are 0 and k unequal?
True
Suppose 3*f + 209 = -5*z, 0 = -z + f - 6*f - 55. Is -40 at least as big as z?
True
Let v(a) = a**3 - 8*a**2 + 12*a + 1. Let b be v(6). Is -1/39 > b?
False
Let i = -25/2 - -187/14. Let t = 107 - 106. Is i less than t?
True
Let f = 170 - 100. Is f not equal to 71?
True
Let p be ((3/1)/1)/1. Let r be -1 - -3 - (14 - 4). Let v be 32/14 - r/(-28). Which is greater: p or v?
p
Suppose -5 = -x - o, 0*x + 18 = -2*x + 5*o. Let v = 113/12 + -37/4. Which is bigger: x or v?
x
Let s(i) = i**3 + i**2 - i - 8. Let u be s(0). Let m(v) = -v**3 - 9*v**2 - 7*v + 11. Let h be m(u). Do 1 and h have the same value?
False
Suppose 5*s = -2*m - 103, m + 304 = -4*m + 3*s. Let i = m + 296/5. Which is smaller: i or 0?
0
Let l = 25/4 + -133/20. Let f = 1 - 0.8. Is l smaller than f?
True
Suppose -2*q = -2*f - 150, 2*q + 3*f = -0*q + 130. Let s = 43 - q. Let x be (-14)/(-18)*(-8)/s. Is 0 greater than or equal to x?
False
Suppose -f - 3*f + 4 = 0. Let g = -14 - -76/5. Which is smaller: f or g?
f
Let s be (-2)/(-6) - 16/60. Do 0 and s have the same value?
False
Let u be 4/(-7) + (-10)/7. Suppose 6 = -2*m, 0*x + 3*m = -x - 9. Which is smaller: u or x?
u
Let h = -0.26 + 10.26. Let a = -10.8 + h. Let l = a + -0.2. Does 1/5 = l?
False
Suppose -3*q + 30 = 2*q. Let x = -4 + q. Is x at least 3?
False
Let g(q) = q**3 - 10*q**2 + 13*q - 12. Let a be g(8). Let v be (-2)/(-3) - (-32)/a. Which is bigger: v or -2/7?
v
Suppose -4*t = -4, -3*v - t - 14 = 2*v. Let w be ((-4)/12)/(8/6). Are w and v nonequal?
True
Let l = 3 - -5. Let b be l/(-3)*(-3)/(-2). Let a = 3 - 7. Do a and b have the same value?
True
Let n = 16 + -16. Which is smaller: 4/11 or n?
n
Suppose 3*n = 0, -5*f + 2*f + 5*n = 6. Let c = f - -4. Suppose -4*d - c = -2*s, s - 2 - 2 = -d. Is d < 2?
True
Let u = 2 - 0. Let w = u - 3. Which is bigger: -1.1 or w?
w
Let k = -0.2 - -2.2. Let o = 33386 + -167567/5. Let t = o - -128. Which is smaller: k or t?
t
Let o = -22 - -65/3. Suppose 4*w + 3 = 8*w - b, 15 = -3*w - 5*b. Suppose w = -r - r. Which is smaller: r or o?
o
Let m(d) = -d - 8. Let l be m(-7). Let h be (l - -2) + 1/3. Let b(g) = 3*g + 19. Let x be b(-6). Which is greater: h or x?
h
Let x be (-10)/(-6) - 1/(-3). Which is smaller: x or 7/5?
7/5
Suppose 0 = 4*m + 5*b - 9, 3*b = 3*m + 4*b - 15. Let z(s) = s**3 - 5*s**2 - 7*s + 6. Let x be z(m). Which is greater: 3/26 or x?
3/26
Let k(c) = c**3 - 8*c**2 + 1. Let z be k(8). Which is bigger: z or 1/2?
z
Let k be 90/20 - 1/2. Suppose 3*l + 17 = -k*d, -d - 15 = -5*l + d. Do 1/6 and l have different values?
True
Let h be -4 + 4/(84/87). Which is smaller: 0 or h?
0
Let r = -12 - -6. Let a = 1.2 + 4.7. Let v = r + a. Which is bigger: -2 or v?
v
Let x = 2 - 1.6. Which is smaller: x or -0.3?
-0.3
Let l = 0.7 - 0.9. Which is smaller: l or -6?
-6
Let j(p) be the first derivative of -p**2/2 - 3*p - 1. Let y be j(-4). Suppose 8 = -3*f - y. Which is greater: f or -1?
-1
Let x = 8 - 8.5. Let s = -0.51 - x. Is s not equal to 0.1?
True
Suppose -x = -4*x - 4*p - 38, 5*x + 5 = 5*p. Let q be -2*(1 - x/(-4)). Is q at least 1?
True
Suppose 0 + 6 = 3*b. Let m = -13/2 + 7. Is b != m?
True
Let q(k) = 6*k**2 - 1. Let x be q(1). Suppose -3*g - 35 + 0 = -5*y, 3*g = -x*y + 5. Is 4 at most y?
True
Let c = 75/4 + -383/20. Let o = 8 + -8. Which is greater: o or c?
o
Suppose 4*o - p - 10 = 0, 4*o + 5*p = -3 + 1. Suppose 2*b + i = 1, -4*i - 8 = b + o. Suppose b*f = f. Is f at most as big as -1/6?
False
Suppose 14*t + 22 = 16*t. Are t and 10 unequal?
True
Let d = 2.2 - 2.1. Which is smaller: d or 11?
d
Let n = -0.17 - -0.27. Are 6/13 and n unequal?
True
Let i = -34 + 15. Let z = 815/43 + i. Is z >= -1?
True
Let r(c) = c**3 - c**2 - 2*c - 1. Let u be r(-1). Let t = 1221/40 + -185/8. Let s = 7 - t. Which is smaller: u or s?
u
Let b = 0 - -3. Suppose 2*j - 2*u - 10 = 0, 4*j + b*u + 4 = u. Which is greater: j or -1/6?
j
Let b = -4333/58 + 149/2. Let t = b + 47/87. Which is smaller: -3/2 or t?
-3/2
Let s = 11/4 + -5/2. Let y(x) = -2*x - 3. Suppose w = 2*i - 7*i - 27, 3*w + i + 11 = 0. Let b be y(w). Is s < b?
True
Let a be (2/(-3))/(10/12). Which is smaller: a or -2?
-2
Let f(l) = -l**2 - 8*l + 2. Let g be f(-8). Which is smaller: 1 or g?
1
Let u = -1.5 + -0.5. Let n be (-18)/(-4) + (-3)/6. Let y be n/6*6/(-16). Is u equal to y?
False
Suppose 4*q - 34 + 118 = 0. Is q less than or equal to -20?
True
Suppose 2*g = -0*g - 4. Let b be 1 - g*82/(-156). Which is smaller: 0 or b?
b
Let a(d) = -d**2 - d - 1. Let x be a(0). Let i = -293767/3080 - 13/616. Let v = i + 95. Is v less than or equal to x?
False
Let s be (1 + (1 - 2))/(-1). Let w = -4/23 + 74/161. Which is greater: w or s?
w
Suppose 4*i = 6*i - 2. Is 0 at least as big as i?
False
Suppose 2*o + 136 = -6*o. Is o not equal to -16?
True
Suppose p + 135 = -2*l - 4*p, 140 = -2*l - 4*p. Let y = l - -238/3. Which is greater: y or -1?
y
Suppose -10*s + 12*s = -92. Do -46 and s have the same value?
True
Suppose -12 = l - 4*l. Suppose -6 = -l*k + 7*k. Which is smaller: k or -3?
-3
Let i = 74 - 367/5. Is -2 at least as big as i?
False
Let p = 3 + -4. Let h = -6 - p. Let q = 0 + -4. Are q and h unequal?
True
Let k(s) = -8*s**2 + s. Suppose -a + 5 = 4*a. Let o be k(a). Let w = -6 - o. Is w > 2/7?
True
Let v = 0 + 1. Let f(c) = 3*c**2 + 2*c - 1. Let d be f(v). Let p be -1 - (d/(-14) - 1). Which is greater: p or -1/3?
p
Suppose 3*x - 22 = -4*g, 3*g - 20 = -4*x - 0*g. Let h be (-1)/x - (-15)/6. Suppose p + p = -h. Is p smaller than -1/7?
True
Let f be (0 + 1)*0/(-3). Which is smaller: f or -2/9?
-2/9
Suppose -1 = 5*n - 11. Suppose 0 = -r - n*r + 6. Suppose -3 + r = k. Which is smaller: k or -2/5?
k
Let m be -11 - 0 - (2 + 0). Let y = m - -37/3. Is 0 >= y?
True
Let i = 0 + 0.1. Which is smaller: i or 3?
i
Suppose -12 = -5*q + 18. Suppose x - 5 = q*x. Which is smaller: x or 0.07?
x
Let a = -28.99 + 29. Is a not equal to -2?
True
Let b be 8/28 - 4/63. Suppose 0*y + 4 = -2*r - 2*y, 2*y + 4 = -3*r. Let v be (2 - (3 - r)) + 0. Which is bigger: b or v?
b
Let k be 76/(-9) + (-30)/135. Which is greater: -9 or k?
k
Let n = -7 - -2. Let r be 0/(-1) - (8 - 1). Let b be 4/14 + n/r. Which is smaller: b or -2/13?
-2/13
Let s = -15 + 9. Let w = s + 5. Let f = -3/5 + 17/20. Do w and f have different values?
True
Let p = 16 + -16.8. Which is smaller: p or 0?
p
Let n(m) = m**2 - 4. Let v be n(2). Is v >= -5/11?
True
Suppose 2*g - 2 = 14. Let d be g/(-28) - (-5)/(-7). Is -2/13 < d?
False
Let y be (-3)/((-18)/33) - 5. Is -14 greater than or equal to y?
False
Let a = -1.3 - -1.3. Which is smaller: a or 0.05?
a
Let l be ((-160)/(-24))/(2/6). Let x = l - 20. Which is greater: -3 or x?
x
Let j be (-2 + 3)/((-1)/(-31)). Which is smaller: -1 or j?
-1
Let f be (-1 + 2)/((-8)/(-40)). Which is greater: 4 or f?
f
Let s = -69 - -623/9. Which is smaller: 1 or s?
s
Let a = 12 - 9. Suppose 6*i - 3 = a*i. Which is bigger: 1/2 or i?
i
Suppose 3*b = b - 18. Let r be b/6*(2 + 2). Let a be (-4)/r + 0 + 0. Which is bigger: 2 or a?
2
Let s = -0.1 + 0. Is s smaller than 21?
True
Let q = 491 - 8343/17. Suppose 4*j + 2*j - 2*j = 0. Which is bigger: q or j?
q
Let z = -0.17 - -10.17. Let g = z - 12. Is g greater than -2?
False
Let h = -6 + 0. Let o be h/(-30) + (