 1 at most as big as v?
True
Let r = -7 + 13. Suppose 2*p + p - 15 = 0. Suppose -2 - p = -f. Which is smaller: r or f?
r
Let u = -0.26 - -0.06. Which is smaller: 3 or u?
u
Let t(g) = -g**3 - 2*g**2 + 3*g - 1. Let u(l) = l**2 + l + 1. Let n(p) = t(p) - 4*u(p). Let v be n(-6). Let m be 23/(-56) + 4/14. Is m equal to v?
False
Suppose -4 + 2 = -2*z. Let b be z*(2 - 0/(-1)). Let v be ((-4)/(-8))/(3/6). Which is smaller: b or v?
v
Suppose -2*h - 2*h = 4. Is h less than or equal to 2/17?
True
Let s be 5/(-30)*22*6/20. Which is smaller: -1 or s?
s
Let v(t) = -t - 5. Let h be v(-1). Which is smaller: -5 or h?
-5
Suppose 2*g - 7*g = 2*k + 20, k = 3*g + 12. Let u = 1284/7 + -184. Are u and k equal?
False
Let r = -169 - -167. Suppose 0*x = 5*x + f + 7, 3*x = f - 1. Which is bigger: r or x?
x
Let c be 1 + -2 + (3 - 4). Let b be ((-3)/(-1) + c)*4. Let m be ((-1)/2)/(1/(-8)). Is b smaller than m?
False
Let f be -2 + 2 + -1 - -24. Suppose 13 = 3*p - 2*q, 6*q - 2*q + f = 3*p. Let i = 20/3 + -19/3. Is i <= p?
True
Suppose 0 = g - w - 8 + 6, g - 4*w = 5. Which is greater: g or 3/88?
g
Let v = -2 + 2.7. Let t = v - -0.3. Let k = -2 + t. Is -1 > k?
False
Let n = 2.42 + 0.08. Let l = -3 + n. Which is smaller: -0.2 or l?
l
Let l(t) = t - 3. Let i be l(10). Is 25/3 > i?
True
Suppose -14 = -3*w - 2*c, 34 = 5*w - 2*c - 0*c. Let g be 1/3*(-78)/4. Let l = w + g. Do -2 and l have the same value?
False
Suppose -4*c + 0 = 2*w - 12, -w - 14 = -2*c. Suppose -8 = c*r - 2*q + 4*q, 0 = -q - 4. Which is bigger: -1 or r?
r
Let d = -24 - -22. Which is smaller: d or 3/7?
d
Let d = -1 + 1.1. Which is smaller: d or 7?
d
Suppose -3*m - 5*t = -11, -2*t = m - 2*m. Suppose -m*j = 9 - 29. Is 11 >= j?
True
Suppose 0 = -4*l - 2*s + 22, -3*s + 2*s = -2*l + 9. Let a be (-45)/350 - (-1)/l. Is a less than or equal to 1/3?
True
Let c = 0 - -2. Let l = -1.8 + c. Let s = 5 - 5. Is s bigger than l?
False
Let j be (-10)/(-35)*1120/(-18). Let o = j + 164/9. Are o and 0 equal?
False
Let h = -1 + 2. Suppose -15 = -g + 5*v, -2*g + 2*v - 3 = 3*v. Let u = g + h. Which is smaller: 0.2 or u?
0.2
Let v = -0.5 - 0. Let w = v - -1.5. Suppose 1 + 17 = -3*s. Which is bigger: s or w?
w
Let l = -171/7 + 174/7. Is 1 >= l?
True
Let v = 9 - 1. Let z = v - 7. Which is bigger: z or -0.1?
z
Let d be (-3)/((-2 + -1)/(20/(-14))). Which is bigger: d or 0?
0
Let s = 607/5 - 121. Is s != 1?
True
Let z = -2.3 - -3.2. Let g = -0.8 + z. Let b = 3.9 + g. Do b and 0.2 have different values?
True
Let y(m) = m + 6. Let h be y(-3). Suppose 0 = -4*o + 2*o + 4*p - 12, 0 = 3*o + h*p - 18. Suppose o*k - 3*k = 3. Which is smaller: -0.2 or k?
k
Suppose -i = 4*v - 8, -2*i + v + v = -6. Suppose -36 = i*n - 5*n. Let u be n/21 + 0 - 2. Which is smaller: 0 or u?
u
Let i = -1859/60 - -157/5. Suppose -7*h = -27*h + 20. Which is bigger: i or h?
h
Suppose 0 = 2*v - 7*v. Suppose -5*z - 17 + 12 = v. Let k = -33/2 + 15. Is z smaller than k?
False
Let m = -1713 + 1694.97. Let h = -18 - m. Is 0 greater than or equal to h?
False
Let d = 3 + 0. Suppose 4 = d*m - 2. Suppose -m*g = g. Which is smaller: g or -1?
-1
Let d be ((-6)/(-8))/(1/(-4)). Let r be (3/9)/(2/(-6)). Let g = d - r. Which is smaller: -1 or g?
g
Let i be (-14)/((-2)/(-7) + (-112)/49). Which is bigger: 6 or i?
i
Let j = 2 + 0. Suppose -j*w - 1 = -3*w. Let n be (-2)/(-11)*(0 + 1). Is n < w?
True
Let n(v) = -v - 5. Let a be n(-3). Let x be (433/(-10))/(a/12). Let q = x - 259. Which is bigger: q or 0?
q
Suppose -n + 5*z - 14 = 0, 3*z - 5 = 4*n - 0. Suppose 3*d - u + n = -3, 1 = -2*d + u. Let j be 3/9 - (-4)/d. Which is smaller: 2/5 or j?
j
Let k = 1 + 4. Let y(h) = h - 8. Let d be y(14). Do k and d have the same value?
False
Let k(h) = h + 3. Let y be k(-3). Let v be 5 + y/(-1 - -2). Suppose v*b - b = 12. Which is smaller: 1 or b?
1
Let a = 2 - -1. Let y be a - (2 - (2 + -1)). Suppose 0 = -3*x + x - y. Is x at least -1/4?
False
Suppose -5*q + 15 + 5 = 0. Suppose 0*y + q*y - 4 = 0. Let f = 1 - 0. Is y equal to f?
True
Let y = -12 - -14. Which is smaller: y or 3/5?
3/5
Let y = 1/5 + 3/10. Suppose -c = -3*c. Do y and c have different values?
True
Let x = -0.31 - 11.69. Is -0.2 != x?
True
Let r = -26 - -26. Which is bigger: r or 9?
9
Let w = 0.06 - -6.94. Let h = -6.8 + w. Which is bigger: h or -0.2?
h
Let v = 4 + 2. Let u = -6 + v. Which is smaller: 0.2 or u?
u
Let d = 11111/23 + -483. Which is bigger: 0 or d?
d
Let h = 35 - -9. Which is greater: 43 or h?
h
Let k be (2/20)/((-8)/10). Suppose -y - 4*y = 4*q - 21, 0 = -2*y + 4*q - 14. Which is bigger: y or k?
y
Suppose 40 = 4*s - 24. Let f be s/(-28)*14/(-4). Which is smaller: f or 3?
f
Let b = 21.5 - 22. Which is greater: b or -5?
b
Let p = 1.028 + -0.028. Do p and -52 have different values?
True
Let j = -0.04 - -0.02. Which is greater: 0 or j?
0
Let s be 40/15 - (1 - -1). Suppose -5*m - 3*l - l - 52 = 0, 15 = -5*l. Let t be (-20)/m*4/5. Which is greater: t or s?
t
Suppose 4*a + 37 = 5*w + 5, 8 = -4*a - w. Let q = 3 + a. Suppose q = -5*r - 3 + 18. Is r < 2?
False
Suppose -5*f = 4*n + 12, 0 = -2*f - 4*n - 11 - 1. Let q = 3 + f. Which is smaller: q or 5/3?
5/3
Let b be ((-2)/(-6))/(143/33). Do b and 1/2 have different values?
True
Let h be (24/15 + -2)/(5/25). Which is greater: h or -6/5?
-6/5
Suppose -19*f = -f - 144. Is -5 equal to f?
False
Let p be ((-7)/21)/((-8)/(-3)). Let k be (-3)/((-3)/(2 + 1)). Suppose -2*d = 5*q + 2 - k, 0 = -5*q + 3*d - 14. Is p at most as big as q?
False
Let c = 683543/72 + -9494. Let p = c + 1/8. Suppose -k + 4*m = 4*k - 17, -5*m - 16 = -k. Is p < k?
True
Let v be (1 - -6 - 16)*(-58)/(-6). Are v and -87 unequal?
False
Suppose -2*y + 5*k = -y + 35, 0 = y + k + 5. Let f = 15 + -26. Does y = f?
False
Let g = 0 + -5. Let u be 154/(-10) - 2/g. Let p be (-4)/(-10) - (-9)/u. Is p less than or equal to -1?
False
Let n be (-1)/(-4) + (-8746)/72. Suppose 320 = -3*a - 43. Let r = n - a. Which is smaller: 1/4 or r?
r
Let o be 2/((-6)/(-9)) - 26. Do o and -24 have different values?
True
Let x = -5 - -32. Let o be 6/(-15) - x/(-30). Which is smaller: o or 3?
o
Let d = -50 - -45. Is d smaller than -0.5?
True
Let j(l) = 2*l**2 + l**3 - 5 - 1 + 5. Let r be j(-1). Suppose r*a = -3*a. Is -3 greater than a?
False
Suppose 18*c - 16*c = 2. Let g = -79/5 + 16. Is g smaller than c?
True
Let j = 122373/8 - 15119. Let m = j + -178. Which is greater: m or 1?
1
Let g(k) = -4*k + 3. Let u be g(4). Is u greater than -14?
True
Let a be 22/(-3 - 3/(-3)). Let v = -18 - a. Let p be v - -4 - (0 + -1). Which is greater: p or -2/3?
-2/3
Let i = -2.981 - 0.019. Which is bigger: i or -1.3?
-1.3
Suppose -4*p - 40 = -36. Which is greater: -24/13 or p?
p
Let r be (-48)/36*(-2)/(-84). Is 0 greater than or equal to r?
True
Let y(g) be the first derivative of g**2/2 + 6*g + 2. Let m be y(-6). Which is smaller: 2/19 or m?
m
Let v(y) = y**3 + y - 1. Let z be v(0). Let q be (-5)/3 + (-2)/(-2). Is z not equal to q?
True
Suppose 0 = -q + 4*q - 18. Which is greater: 33/5 or q?
33/5
Let s(q) = 7*q**2 + 15*q - 15. Let k(l) = -3*l**2 - 7*l + 7. Let b(f) = -5*k(f) - 2*s(f). Let d be b(-5). Let o be d/((3 - 3) + -1). Which is bigger: -0.1 or o?
o
Let m = -3 + 4. Let f be (-2 + 6)/(21 + m). Is f at least as big as 0?
True
Let q = -2 + 0. Which is greater: -1 or q?
-1
Let f be ((-1)/(-3))/(4/(-6)). Let a = 11/8 + -17/24. Is f at least a?
False
Suppose -5*x + 2*b + 2 = 0, 0 + 3 = -3*b. Let h = 0.6 + -0.9. Which is smaller: h or x?
h
Let n be (-6)/(-15) - (-1)/(-15). Suppose 4*i = -6 + 2. Is n < i?
False
Let v = -2.9 - 1.1. Let p = -6 - -3. Let t = p - v. Do 1 and t have the same value?
True
Let k = 102 - 101.998. Is 0 less than k?
True
Let n = 5.3 + -2.3. Is n != -6?
True
Let f = 345/4 + -87. Suppose -12 = -2*q - 32. Let b be 16/q - (-10)/(-25). Is b at most f?
True
Let g be (2 - 38/18)/((-57)/18). Which is smaller: g or 1?
g
Let q(f) be the third derivative of f**4/12 - 3*f**3/2 - f**2. Let u be q(8). Which is bigger: u or 6?
u
Let o = 296 + -3850/13. Which is greater: o or 0?
0
Let g(z) = z**3 - 2*z**2 - 2*z. Let r be g(3). Suppose -r*o = -2*d + 5, -10 = -4*d + 6. Is 5/7 bigger than o?
False
Let u = 131/711 - -3/79. Is u smaller than 11?
True
Let w be (18/23)/1*(-6)/(-9). Which is greater: w or 0?
w
Suppose -2 = 2*s - s. Is 0.1 at most as big as s?
False
Let r = 18 + -10.