1
Suppose -3*d + 38 = -5*r, r = -5*d - 3*r + 88. Let n = -110/7 + d. Suppose 4*c = c + 3. Is n equal to c?
False
Let p = 54/5 + -491/45. Which is smaller: p or -1?
-1
Suppose 4*h - 8*h = 0. Let b = h - -4. Is 4 smaller than b?
False
Suppose 16*t = 11*t + 110. Which is smaller: 4 or t?
4
Let r be -2 + -1 - (-151)/51. Is r > 1?
False
Suppose -2*g = g. Let d be 158/(-180) + (0 - -1). Let p = d - -1/10. Which is greater: g or p?
p
Let r be (20/(-6))/((-4)/6). Suppose 2*o - 2 = -n, 2*o - 1 = n + r. Let a = -5 - n. Which is smaller: -2 or a?
a
Let g = 2 + 3. Let o be (1/3)/(g/15). Is o greater than -0.1?
True
Let l = 2.83 - 0.03. Let g = l + -3. Let a = 0.09 + 0.01. Is g smaller than a?
True
Let b(c) = -1 - 7 + 0 + c**2 + 5*c. Let a be b(-7). Suppose 6 = -4*z + 26. Which is bigger: a or z?
a
Let b = 137 + -2739/20. Which is smaller: b or 1?
b
Let w = 4 + 0. Let v be 64/(-11) - w/22. Let s be (4/v)/((-2)/(-3)). Which is bigger: s or -2/15?
-2/15
Let v = -0.06 - -0.06. Let q = 0.1 + v. Which is bigger: 0.6 or q?
0.6
Let g be 21*(4 - (-154)/(-39)). Which is greater: g or 0?
g
Let y be 0 + (588/159)/(-2). Let s = y + 5384/3657. Let u = -1/23 - s. Is u != 1?
True
Let d be 3 - -3 - (-4)/(-2). Suppose 3 = -d*c - 1. Let w = -5.08 - -5. Are c and w non-equal?
True
Let w = -3 - -7. Suppose -5*g = w + 1. Let h = 11 - 11. Is g greater than h?
False
Let c = 3 + -1. Let u be 2*(1/c + 2). Which is smaller: u or 6?
u
Suppose -a - 10 = -3*a. Suppose -a*q = -2*q. Which is smaller: q or -1/2?
-1/2
Let w = -94 + 121. Which is smaller: 28 or w?
w
Let i = -0.3 + 0.4. Let a = 170 + -515/3. Let o = a + 41/21. Are i and o unequal?
True
Let d(b) = -b**2 - 6*b - 2. Let j be d(-6). Let n be (-1)/6 - (-1)/j. Is n at least 1/2?
False
Let p(c) = 5*c**2 - 7*c + 1. Let u(l) = 14*l**2 - 20*l + 3. Let i(z) = -17*p(z) + 6*u(z). Let d be i(1). Suppose -x - 2 = x. Is x less than or equal to d?
True
Let a(x) = -x**2 - x + 2. Let s be a(-2). Are s and 1 unequal?
True
Let b be (-4)/(-6)*(-36)/132. Let x = 23 - 275/12. Let q = x - 7/12. Which is greater: q or b?
b
Suppose 4*z - 3*r + 6*r + 1 = 0, 0 = 2*z - 4*r + 28. Let l be (-2)/4 - (-77)/(-14). Is l less than z?
True
Let i be (8/4 - -65)*1. Suppose -2*n - 46 = 4*o + n, -5*o + n - i = 0. Does o = -11?
False
Let n = 824/7 + -118. Let x = 5 + -4. Are n and x unequal?
True
Let v be 1/(-465) + 16/24. Let z = v - 2/31. Is -1 >= z?
False
Let p be 8/(-11)*(-11)/66. Which is smaller: 0 or p?
0
Let d(g) = -4*g**3 - g. Let k be d(-1). Suppose 5*n = 5*y + 350, 5*n - y + k*y - 314 = 0. Let o be n/(-189) + (-4)/18. Which is smaller: o or -1?
-1
Let s = -407/548 + -1/137. Let i(j) be the third derivative of -j**6/120 + j**5/15 - j**4/6 + j**3/2 - j**2. Let t be i(3). Is s not equal to t?
True
Suppose t - 10 = -0*t. Suppose -2*r = -t, 3*a + r - 7 + 2 = 0. Is 2/3 at least as big as a?
True
Suppose -21 - 21 = 6*q. Which is smaller: -1 or q?
q
Let u be 4/(-14) - 8/(-126). Suppose 3*d - 12 = -4*w, 0 = -d + w + 2 - 5. Which is smaller: u or d?
u
Let p(q) = q**2 - 3*q + 3. Let x be p(2). Which is bigger: x or 4/11?
x
Let p = -3.8 - -4. Let v = -1.3 - 1.9. Let a = p + v. Which is greater: 2 or a?
2
Let q(z) = z + 8. Let m be q(-8). Let b be m + 0 - -4 - 2. Are 4 and b non-equal?
True
Let v be (-235)/175 - 2/(-10). Is v at most as big as -2?
False
Let c = -5 + -1. Let m = c - -5.8. Let w = 0.8 - m. Is 1 less than or equal to w?
True
Let q be 10/70 - 1/(-91). Are q and 0 equal?
False
Let v = 4 + -3.9. Let b = v - -2.9. Let c = -0.2 - -0.1. Which is smaller: c or b?
c
Let f = 0.26 - 0.17. Let i = -17 - -16.99. Let d = i - f. Which is bigger: d or -5?
d
Suppose -11*z = -10*z. Suppose z = -3*k + 4 - 7. Let g = -25 + 151/6. Is k less than or equal to g?
True
Suppose -5*w = -2 - 3. Suppose 3*v + 3 = 12. Which is smaller: v or w?
w
Let n = 22 + -22. Which is smaller: n or -6?
-6
Let y = -13 + 12. Let l be (-43)/24 + 2/3. Which is greater: l or y?
y
Let d = -3 + 2. Let p = -37 + 7. Let l be (2/p)/(2/5). Is d > l?
False
Let b be 2/3*((-6)/(-15) + -1). Which is smaller: 1/14 or b?
b
Let h(r) = 2*r**2 + 6*r + 2. Let v be h(-3). Let y = 0.03 + -2.23. Let d = y + 2. Which is greater: v or d?
v
Let y(u) = -2*u - 12. Let a(t) = -t - 1. Let z(g) = 3*a(g) - y(g). Let q be z(10). Which is greater: q or 2/5?
2/5
Let h = 0.08 - 0.18. Which is bigger: 5 or h?
5
Let f = 5 + -1. Suppose f*j = 2*j. Suppose -2*h = -2*x, 0*x = -3*h - x + 4. Which is smaller: h or j?
j
Let x = 0 - -2. Let o be (-3)/((-21)/(-6) - x). Let d = -0.27 - -0.17. Which is bigger: d or o?
d
Let h be (-3 + 5 + 31)/(-1). Let q = h + 233/7. Are 1/2 and q equal?
False
Suppose -3*b + 28 = b. Let l = b + -1. Let w be (5 - l)/(1 + 0). Which is greater: 0 or w?
0
Let p be 3 + 4/(-6) + (-10)/3. Do p and 2/57 have different values?
True
Let q = -433/2002 - -2/1001. Suppose -13*b = -0*b + 5*b. Are q and b unequal?
True
Suppose -4*m - 12 = 0, 4*m + 336 = -5*w + w. Let i = -42 - w. Suppose -3*b = -3*p - i, 2*b = 3*b + 2*p - 1. Which is smaller: b or 8?
8
Suppose -3 = -3*m - 0. Let w = 3 - 3. Let d be w*(4 + 2 + -5). Which is smaller: d or m?
d
Let v = -3 - -6. Let o = v + -2. Suppose -5 + 23 = -3*r. Is r > o?
False
Let s(x) be the third derivative of -x**5/60 - 7*x**4/24 - 4*x**3/3 + 2*x**2. Let t be s(-6). Let j be (-2)/(-4)*(-2 - 0). Which is bigger: j or t?
j
Let r = 53 - 18. Let h be (3/4)/(r/20). Let v be (-8)/(-10) + 8/(-20). Which is bigger: v or h?
h
Let r be (39/12 + -3)*4. Suppose 2*b = r + 3. Which is greater: 0 or b?
b
Let o = 16 + -8. Is -1 at least as big as o?
False
Let b = 81 - 71. Are b and 10 equal?
True
Let d be 4 + (-65)/(-10)*2. Is d > 18?
False
Let n = -18 - -14. Do n and -4 have different values?
False
Let k(n) = -n + 1. Let i be k(-3). Let b(r) = r**2 - 8*r - 4. Let y be b(9). Suppose -i*x = -y*x. Is x at least -1?
True
Let f be -1 + 2 + 0 + 3. Let p be f/14*1 + 0. Which is smaller: p or 1?
p
Suppose 0 = 2*g + 4*f - 32, -5*f + 77 = 4*g + 25. Suppose 4 = -2*d + 4*y, -2*d + y + 1 = g. Is d less than or equal to -2?
True
Let k be 1*(-6)/1*-1. Suppose -4*c + k = -22. Is 8 greater than or equal to c?
True
Let g be (1 + -1 + -1)/3. Let s = 4 - 3. Which is smaller: g or s?
g
Let i = -1.8 - 0.2. Let f be ((1 - -1) + -3)*0. Is i < f?
True
Let d = 7 + -7.1. Which is smaller: d or 2?
d
Let n be 6/15 - (-36)/10. Suppose -n*i + 24 = -i. Suppose 5*r = 2*c - i, -3*r - 2*c = -5*c + 3. Does -1/2 = r?
False
Let o = 0.19 + 7.81. Which is smaller: o or 2?
2
Let z = 19 + -31. Are z and 3/2 equal?
False
Let d = -9 + 8. Which is smaller: -1/20 or d?
d
Let g = 0.5 + -0.55. Let j(k) = 3*k + 6. Let b be j(-6). Let u be (-10)/b - 6/12. Which is smaller: u or g?
g
Let b = -83 + 116. Let d be 64/(-11) - 6/b. Which is smaller: d or -5?
d
Let p be (-1 + 1)/(4/4). Let x(v) = -v**2 + 5*v. Let l be x(4). Let g be (4/(-40))/(l/(-10)). Is p < g?
True
Suppose 50 = 3*t - 5*o, 86 = 4*t + 6*o - 3*o. Let d be (6/(-15))/(2/t). Let u be (-2)/d - 10/4. Which is greater: -3/4 or u?
-3/4
Let i = -18 + 17. Which is smaller: i or -17/3?
-17/3
Let z = 1.62 + -1.57. Which is bigger: 3/10 or z?
3/10
Let x = 3 - 5. Suppose -7*t = 4*o - 3*t + 8, 0 = -2*o - 5*t - 10. Which is bigger: o or x?
o
Let b be (-8481)/(-180) + -2 - 2. Let s = -173/4 + b. Is s >= 0?
False
Let g = -12 - -22. Let u = g + -9. Is u > 3?
False
Let p be (-10)/4*16/20 - 5. Suppose -3 + 15 = -2*m. Which is greater: m or p?
m
Suppose -2*f = 4, f - 570 = 4*c - 2*f. Let g be c/68 + (-2)/(-1). Is g less than 0?
True
Suppose 2 + 3 = -5*b. Let f be 5/(-15)*36/38. Let w = f + 69/38. Which is smaller: b or w?
b
Suppose 3 = n - 0. Let v be 1 - 0/n - -3. Which is bigger: v or -0.1?
v
Suppose 0 = 4*y - m + 2*m + 24, -3*y - m = 17. Is y equal to -4?
False
Let g = 12 - 13. Let z be (1/(-2))/((-1)/(-4)). Is g at most as big as z?
False
Suppose -5*z = 5*d - 30, -z + 4*d - 3*d + 2 = 0. Suppose -5 = z*w + 3, -2*l + 26 = -2*w. Is 10 greater than or equal to l?
False
Let q(d) = d**3 + 12*d**2 + 4*d + 39. Let n be q(-12). Is -14 < n?
True
Let q = -79 - -78. Which is smaller: 3/52 or q?
q
Let g(s) = s + 1. Let v be g(3). Suppose 0 = -5*a + 2*i - v*i + 17, 0 = -i + 1. Which is smaller: 5 or a?
a
Let i = -2 - -4. Suppose i*o - 6 = -o. Suppose -n - d = -o, 2*n - 5*d + 6 = -4. Are n and -1 unequal?
True
Let t