
d
Let o be -2 + (2 - 3) + 0. Suppose 0*n + n = -2*l + 4, -l - 5*n = -2. Suppose l = -y - 2. Which is smaller: y or o?
y
Suppose -n = -4*s + n - 10, -12 = -4*n. Is -1/2 at most as big as s?
False
Suppose 1 = -5*z + 2*t - 14, -2*t + 11 = -z. Let j = 1 - z. Is j at least as big as 1?
True
Let s be ((-2)/(-162))/((-1)/17). Let q = -1/81 + s. Which is smaller: q or -1?
-1
Let x = 8/15 + -1/3. Which is smaller: -1 or x?
-1
Let x = 47 + -25. Let u be (6/5)/(x/10). Is 0 < u?
True
Suppose -22 = -2*r + 5*p, 5*p = -12 - 8. Let a be (-3)/2*20/(-105). Which is smaller: a or r?
a
Let b be (-5)/(-7)*4/(-10). Let x = -3/14 + 5/7. Which is greater: x or b?
x
Let k be ((-5)/(-2))/((-3)/(-6)). Suppose 0 = -k*b - 1 + 6. Let h be (-1)/(-2)*(-12)/(-9). Is b at least h?
True
Suppose 3*d = 7*d. Let y be (-783)/137*2/78. Let n = y + -1/137. Are n and d equal?
False
Let p be 804/(-66) + (-2)/(-11). Let z be (p/18)/(-3 - -1). Let n = 0.7 - -0.3. Is z greater than n?
False
Suppose -4*j + 29 + 201 = -5*d, 5*d = 3*j - 230. Do -45 and d have different values?
True
Let r(k) = k + 8. Let d be r(-2). Which is smaller: d or 1?
1
Let v = 10 - 9. Let s = 0.1 - 0.3. Let i = -0.1 - s. Which is smaller: i or v?
i
Let v(y) = y**2 - 6*y + 4. Let z be v(5). Let m be 0/(z + 6/2). Let i be 3/45*-1*-6. Is i not equal to m?
True
Suppose 4*z + 4 = 4*s, s + 7 = 3*z - 0*s. Let c = z - 7. Is -2 > c?
True
Let b = -48 - -30. Let o = b - -13. Which is greater: -7/2 or o?
-7/2
Let u = -1 + -2. Let g = 3.1 + u. Let p = 0 - 0. Which is greater: g or p?
g
Let g = 18 - 28. Is -7 <= g?
False
Let d(f) = f**2 - 6*f + 6. Suppose -4*b + 9 = -11. Let u be d(b). Let q = -2461/7 - -353. Is u less than q?
True
Suppose 2 = -x + 2*u - 5, -4*x + 3*u - 8 = 0. Suppose v + 0*v + x = 0. Let m(t) = 2*t + 2. Let o be m(-2). Is o less than or equal to v?
True
Let c(s) = 2*s**2 - 6*s + 4. Let l be c(5). Let p be (-92)/l + 1/(-6). Which is smaller: -5 or p?
-5
Suppose 0 = -g + 3*m + 13 + 14, 2*g - 4*m = 44. Let q be 12/4 - 26/g. Which is smaller: q or 0?
0
Suppose -5*n = p - 9 - 3, -5*n = -5*p. Suppose p*i + 8 = v - 3*v, 0 = -2*v + 4. Let u be ((-6)/3)/(i/9). Is 0 < u?
True
Let w be 1/(-3) - 1/(-21). Let y be (-4)/3*6/(-4). Suppose -2*h + 5*t = -6*h + 6, 4*h + 8 = y*t. Which is bigger: h or w?
w
Let w be 20/(-15) - (-212)/6. Is w <= 34?
True
Suppose 5*o + d = 2*d - 5, 4*d = -4*o - 28. Let k be o/10 + (-36)/(-80). Let z = 0.3 + -0.2. Is z greater than k?
False
Let a = 8 + -8.01. Is a != -4?
True
Suppose 2*j + 4*r - 18 = 0, 0*j - j - 15 = -4*r. Let x = -26/29 - -1424/1653. Is x >= j?
False
Let b = 5 + 2. Suppose b - 3 = -4*i. Is 1 greater than i?
True
Let m be (3 + 1)*5/(-4). Let t be 0 - 1 - (m - -1). Let g be (7/49)/((-46)/(-42) + -1). Is g at least t?
False
Let o = -125977/22610 - -1/3230. Is o equal to -5?
False
Let v(w) = 34*w + 3. Let h be v(-5). Let j = 1333/8 + h. Which is smaller: j or 0?
j
Let o be (-1)/(-5)*10/4. Suppose -6*n - 17 = 19. Let d be n/10*4/6. Is d <= o?
True
Let y(o) be the second derivative of -o**7/2520 - o**6/90 - o**5/12 - o**4/6 + o. Let j(p) be the third derivative of y(p). Let r be j(-7). Is -2 at most r?
False
Let c be ((-2)/5)/(3/45). Let k be 4/3*(-27)/c. Is -2 greater than k?
False
Suppose c + 4 = 3*c - 2*z, -5*c + 40 = z. Let g be ((-3)/4)/((-2)/(-16)). Let x = c + g. Which is bigger: 2/5 or x?
x
Let h(r) = -r + 6. Let k be h(-5). Let y be (20/3)/(30/(-9) + 4). Is k less than or equal to y?
False
Suppose -t = 2*k - 5, -2*k - 3 = 4*t - 17. Suppose -i + 5*i = -z - 15, 2*z + t*i + 15 = 0. Which is bigger: z or -2?
-2
Let k = 2.1 - 2. Let s = 3.9 + k. Which is greater: -2/9 or s?
s
Let p(q) = q**3 - q**2 + q - 1. Let s be p(0). Is s not equal to -1?
False
Let n = 29 + -27. Suppose 0 = 3*l + 1 - 16. Is l greater than or equal to n?
True
Let o = -1 + -1. Let x be 3/(-12) + o/(-8). Let m be ((-2)/6)/(2/6). Is x greater than or equal to m?
True
Let p = -12 - -14. Let f = p + -2. Is f >= -2/7?
True
Let o = 19 + -18.1. Let t = o - 1. Is -3 at least as big as t?
False
Let b be 9303/45 - (-3)/(-9). Let z = -207 + b. Which is smaller: z or 0?
z
Let u be (17/4)/(1/4). Let t = 7 - u. Let b = -16 - t. Is b less than -6?
False
Let b(a) = 2*a**2 - 2*a. Let o be b(2). Suppose -o*s + 35 = s. Which is greater: 6 or s?
s
Let l = 1876/27 + 16/135. Let g = 70 - l. Which is greater: g or -0.4?
g
Let l be -5 - -3 - (-6 + 3). Are 2 and l non-equal?
True
Suppose 2*x = 6*x. Which is bigger: -5 or x?
x
Let k = 84 + -58. Is 24 < k?
True
Let c be (525/153)/7 - (-4)/(-6). Let t = 34 - 101/3. Which is bigger: t or c?
t
Suppose 9 = 4*v + 5*u, -2*v + 0*v + 2*u = 18. Suppose c - 1 - 5 = 0. Let a(n) = -n**2 + 6*n - 3. Let l be a(c). Is l at least v?
True
Let i be (-2 + 0)/(-1) + 186. Let h be i/8 + (-6)/(-4). Let z be (-3)/(-5) - (-10)/h. Which is smaller: -2 or z?
-2
Let n(x) = 3*x + 2. Let w(g) = 2*g + 3. Let d(l) = 3*n(l) - 2*w(l). Let q be d(1). Suppose -5*p + 0 = -q. Is p > -1?
True
Let d be (1/1)/1 - -1. Let z = 4 - -4. Suppose 4*c = -3*h + 18 - 5, -4*c + 4*h - z = 0. Which is smaller: c or d?
c
Let h be (2/(-14))/(-1) + 0. Let p be (0 + 1)/((-4)/4). Are h and p nonequal?
True
Let a = -221/360 + 1/72. Which is smaller: -1 or a?
-1
Suppose 0 = -r - 4*l + 22, -5*r + 5*l + 13 - 28 = 0. Suppose -b + r = b. Is -3/8 smaller than b?
True
Let b = 205 + -111. Let x be 8/b*(-1)/(-2). Which is bigger: x or -1?
x
Suppose 0*j - 2*j = -3*g + 6, 5*j + 49 = -g. Let c = 16 + j. Let n = -6 + c. Is n equal to -1/10?
False
Let b = 144 + -209. Which is smaller: -64 or b?
b
Suppose 2*x - 2 = 6. Suppose -43 + 7 = x*f. Let w = f - -16. Is 6 at least as big as w?
False
Let d = -401/16 + 25. Suppose 0 = -5*j - r - 0*r + 19, -4*j + r + 8 = 0. Suppose -2*o - j*o = 0. Which is bigger: d or o?
o
Let z(j) = 5 - 1 + 4 + 2*j. Let f be z(-6). Let n be 4/2*f/(-52). Which is greater: n or -1?
n
Suppose -x + 3*z = -1, 5*x = -z - 3*z + 81. Which is bigger: -1 or x?
x
Let k = -6 - 1. Suppose 5*f - 50 = -5*v, -5*v + 3*v = -3*f + 10. Let g = k + f. Is 0 >= g?
True
Let y = -209/159 + -1/53. Let o(x) = -x**2 - 3*x - 2. Let i be o(-2). Let r be 0/(i - (-4)/2). Do y and r have different values?
True
Let o = 7.93 + -8. Let v = o - -0.07. Let k = 36/7 - 173/35. Is k < v?
False
Let q = 1.938 + -0.088. Let g = q + 0.05. Let o = g - 2. Is -3 >= o?
False
Let m = 2108/165 - 142/11. Which is bigger: m or 2?
2
Let t(b) = b - 1. Let y(i) = -i**2 + 8*i - 7. Let w(v) = 2*t(v) - y(v). Let u be w(5). Let c = 6253/19 - 329. Which is smaller: c or u?
u
Suppose -z + 0*z + 6 = 0. Let m = -3 + z. Let w be (-1)/22*12/m. Which is greater: w or -0.2?
w
Let t = 868052/9 + -96598. Let p = -148 - t. Let h(a) = -a**3 - 2*a**2 + 1. Let b be h(-2). Do b and p have different values?
True
Let a = 21 + -3. Let i be 3/a - 1/6. Let h = 0 - 1. Which is smaller: h or i?
h
Let v be 6/(-4) + 1 - -2. Let n(g) = g**3 + 5*g**2 + g + 7. Let b be n(-5). Which is smaller: v or b?
v
Let r = 19/34 - 1/17. Suppose -5*o = z + 58, -3*o + 4*o - 4*z = -20. Let l be (2/4)/(o/8). Which is smaller: r or l?
l
Let w = 2352/5 + -472. Is -2 at least as big as w?
False
Let c be (2/(-12))/((-3)/(-12)). Suppose -10 = -4*n + 3*r - 1, 2*r = -2*n + 22. Suppose -2*a + n = -4. Which is smaller: c or a?
c
Let n(k) = k**2 - 13*k + 29. Let o be n(9). Are -6 and o equal?
False
Let v = -3 + 0. Is -5/4 at least v?
True
Let u = 8 - 3. Suppose u + 7 = 4*z. Suppose -17 = 2*n + z*k, -3*n + 2*k = 2*n - 5. Which is bigger: n or -0.3?
-0.3
Let q be 1/2 - 124/8. Do -15 and q have the same value?
True
Let o = -6.6 + 0.6. Let z = -5 - o. Which is smaller: z or 0.3?
0.3
Let g = 13 + -22. Let a = 9.1 + g. Let l = 0 + 0. Which is bigger: a or l?
a
Let c = 24 + -11. Is 14 at most as big as c?
False
Suppose -7*k + 3*k = 2*m - 28, -m = -2. Which is smaller: k or 5?
5
Suppose -2*z = z - 15. Let b be (-44)/(-10) - 2/z. Which is smaller: 3 or b?
3
Let f = -45 - -44.9. Which is smaller: f or -147?
-147
Let b(y) = y**3 + y**2 - y. Let i be b(0). Let n be (2/4)/((-4)/8). Let k = 1 - n. Do k and i have the same value?
False
Let h(j) = 2*j**2 - 3*j + 1. Let y be h(2). Suppose 4*g + 3*w = -51 + 16, -10 = -g + y*w. Is g greater than or equal to -6?
True
Let x = -8 + 1. Let s be x/(-5) + (-8)/20. Let t be (-1)/1*-1 - -1. Which is smaller: s or t?
s
Let s