31/3. Let x(b) = b**2 - 7*b + 3. Let n be x(6). Let t be 0/((-3)/n + -2). Which is smaller: r or t?
r
Let v = 19 - 4. Let d be ((-2)/(-282))/((-5)/v). Is -1 equal to d?
False
Let t = -117/4 - -146/5. Let i(s) = -s**2 - s + 1. Let a be i(-2). Are a and t unequal?
True
Let k = 131 + 303. Let n = k + -7380/17. Let q = 486 - 486. Is n < q?
True
Let q = 1943.2 + -1943. Which is bigger: q or -551?
q
Let l = -94 - -375/4. Suppose 3*u - 2*k - 3*k - 12 = 0, 2*u + 11 = -3*k. Which is greater: l or u?
l
Let k = 40 + -274. Do -234 and k have the same value?
True
Let h = -1153/5 - -367802/1595. Which is smaller: -1 or h?
-1
Suppose -5 = 6*u - 7*u. Suppose 2*a - 5*a + u*f = -26, 5*f = -20. Do -3/5 and a have different values?
True
Let m = 11 - 14. Is m > -0.06?
False
Let d = 122 - 115. Suppose d = 9*k - 10*k. Is -7 greater than k?
False
Let m(j) = j - 1 + 7*j**2 - 2*j**2 + j**3 + 3*j. Let d be m(-4). Let y = -632/5907 - -30/179. Which is greater: d or y?
y
Let i = 1369 - 1364. Which is bigger: i or 64/15?
i
Let m be (3 - 2) + (-56)/44. Suppose 9 = 2*p - 1. Suppose -2*t - 4*i + 0 = 8, -p*i = t + 10. Which is smaller: m or t?
m
Let c be 16/10 - (-16)/40. Suppose 3*h = c*f - h + 4, 0 = -f - 2*h + 2. Let b be f - (36/10 + -3). Is b greater than 0?
False
Let b = -175 + 334. Is 158 less than b?
True
Let j = -57 + 56. Suppose 2*c - 2*q + 14 = 4*c, -3*c - q + 13 = 0. Let h be (c/(-24))/(13/(-4)). Is j bigger than h?
False
Let q = -978 + 977.991. Let v = 2/59 - 63/118. Is q less than v?
False
Let n(a) = -2*a**2 + 17*a - 14. Suppose 31 = 2*r - 4*i + 9, -4*r + 30 = -i. Let u be n(r). Which is bigger: 6 or u?
u
Suppose -12 = 27*p - 48*p + 33*p. Let n = -3 + 5. Let d be 0/(-1 + n) - 2. Which is greater: p or d?
p
Suppose -3*a - 2 = -2*a. Suppose 3*c - 3 = 21. Let w be c/a + 14 + -3. Is w at least 8?
False
Let x be 5 + 4/1 + (-578)/68. Is x smaller than -310?
False
Let m(s) = -s - 2. Let y be m(-11). Let f = y + -5. Suppose -l - 25 = f*l. Which is bigger: l or -2?
-2
Suppose 9*v + 2720 = 14*v. Is v less than or equal to 543?
False
Suppose -2*k = 2*s - 16, 2*s = k - s + 12. Let l be (4/(-6))/((-1)/(-18)). Let d be 116/l + k/(-9). Are -10 and d unequal?
False
Suppose 4*r + 3*z = 23 + 18, -4*r + 5*z = -17. Let i(f) = -2*f + 19. Let a be i(r). Let h be (-3 - 3) + a + 3. Which is greater: 4/17 or h?
4/17
Let c be (-36420)/3*5/105. Let s = c + 578. Is s at least as big as 1?
False
Let z(d) = d - 5. Suppose 4*m - 56 = -36. Let t be z(m). Is t != 4?
True
Let m be ((-1 - -2)*-6)/(-1). Let d = m - 7. Is d bigger than -1/6?
False
Suppose 0 = 5*z - 165 + 170. Which is bigger: 1/351 or z?
1/351
Let a = 2.1 + 6.9. Let y = a - 9.1. Let f = 2 - 3. Which is greater: y or f?
y
Suppose 5*r = -r + 18. Suppose -5*z = -r*z - 2. Is -1/38 <= z?
True
Let d = -129 + 123. Which is smaller: d or 0.02?
d
Let a be (-70)/4 - 2/4. Suppose 0*b + 30 = -3*b - 3*u, -2*u - 26 = 3*b. Let f be -2 + 8/a*b. Which is greater: -0.7 or f?
f
Let i = -3.4 + 3.4. Which is greater: 67 or i?
67
Let c = -8 - -11.7. Let a = -33.7 + c. Are a and 1/3 equal?
False
Let q be -6*39/(-6)*-1. Suppose -345 = 9*l - 14*l. Let n = q + l. Which is smaller: n or 29?
29
Let w(v) = -8*v - 293. Let i be w(-31). Which is smaller: -47 or i?
-47
Let l = 107.8 + -122. Let s = -14 - l. Is s at least as big as 3/2?
False
Let z(p) be the first derivative of -p**4/4 + 2*p**3 + p**2/2 - 19*p + 1. Let w be z(5). Is w equal to 11?
True
Let h be (-14 + 2)*40/(-15). Suppose -7*s - h = -11*s. Suppose -3*w + 15 = -s*w. Is -1 at least w?
True
Suppose 6*p - 481 - 101 = 0. Let v = p + -88. Which is smaller: 10 or v?
v
Let f be 3 - ((-1 + 7)/6 + 1). Is -2/341 at least f?
False
Let l = -0.11 + 1.41. Let i = 0.19 + 21.71. Let d = -22 + i. Are d and l equal?
False
Suppose 11*x = 10*x - 29. Suppose 0 = -5*q + 13*g - 9*g - 125, 0 = 4*q + 4*g + 136. Is x >= q?
True
Let j be (-2)/4 + 3/10. Let i(u) = -u**3 + 10*u**2 + 9*u + 13. Let c(d) = d**2 + d. Let a(x) = -5*c(x) + i(x). Let l be a(6). Is l greater than j?
True
Let q(c) = -26*c + 12. Let y be q(-6). Let k be (-7)/(y/(-27)) - 1. Suppose 0 = 4*h - 9*h. Are k and h unequal?
True
Let t = 30.064 + -0.064. Let b = 29 - t. Is b at most as big as 0.27?
True
Let c be (-1)/(-1 + (0 - (-402)/408)). Is 69 equal to c?
False
Let y be -17*(2 + (-2 - 1)) - 2. Is y at most as big as 7?
False
Let o(u) = u + 4*u**2 - 9 - 5*u**2 - 4 - 14*u. Suppose 0 = -3*l + 12, -2*q + 2*l - 10 - 22 = 0. Let s be o(q). Are s and -0.1 non-equal?
True
Suppose 31 = -2*b - 3*m, 3*b - m - m + 14 = 0. Let k be (b/6)/((-5)/(-30)). Let n be k/(-64) - (-1)/(-8). Are n and -1/8 equal?
False
Suppose -u = -2*u. Suppose 3*h = 3*c, -3*c + 0*c = -2*h + 4. Let t(g) = -g - 4. Let o be t(h). Is u > o?
False
Let h be (266/231)/((-6)/45). Is h at most as big as -10?
False
Suppose -25*n = -219 + 19. Which is bigger: 85/11 or n?
n
Suppose 5*m - 15*m - 1710 = 0. Is -170 at least m?
True
Suppose -1 = 11*b - 12. Suppose -3*o - 12 = 0, o + 1 - 7 = -2*l. Suppose -2*c + l = -1. Which is greater: b or c?
c
Let g = 2 - 68. Is g >= -1/4?
False
Suppose 0*s - c + 7 = 4*s, 4*s - 5*c - 13 = 0. Suppose -5*j - 5*y = -j + 66, s*y = 5*j + 66. Is -53/4 > j?
True
Suppose -2*h - 4*p - 14 = 0, -1 = -3*h + 4*p - 2. Let r(v) = -v**2 + v + 4. Let l be r(h). Does -10 = l?
False
Let p(y) be the first derivative of -y**4/2 - 8*y**3/3 + 11*y**2/2 + 6*y - 29. Let g be p(-5). Which is bigger: 3 or g?
3
Let f(t) = -7*t - 18. Let s be f(-4). Suppose 5 + 5 = -s*j. Let h be (-20)/(-33) + 2/(-6). Is j greater than h?
False
Let k = 18 + -17.48. Let u = k + 0.18. Let a = u - -0.3. Is a at least -9?
True
Suppose 0 = -5*g + 3*w - 421, 2*g + 169 = -5*w + 6*w. Is g greater than or equal to -86?
True
Let s = -48.8 + -12.2. Let k = 379 + -378. Is s at most k?
True
Let b be -2*(2 + 1)/3. Is b at least as big as 0.035?
False
Let a = -7.92 + 8. Let g = a - 6.08. Let b = -6.1 - g. Which is bigger: b or 0.07?
0.07
Let u be (-57)/5 - (12/(-10))/(-2). Suppose 0 = 5*z + 58 - 8. Is z bigger than u?
True
Suppose 0 = -2*u + 11 + 59. Is -1 != u?
True
Let f = -6 + -27. Let u be 8/(-20) - f/(-5). Suppose 0 = 3*d + 6 - 9. Do d and u have the same value?
False
Suppose -2*r - 3*r = -20. Suppose d = -2*u - d + 12, 4 = 2*u - 2*d. Suppose -2*b = -r, 58 = u*w - 2*b + 3*b. Is 14 at least as big as w?
True
Suppose 9 = 3*m + 4*q, 0*m + q = -m + 3. Suppose 0 = 6*u - m*u + 12. Which is smaller: -7 or u?
-7
Let v = 1/312 - 1459/936. Which is bigger: -0.3 or v?
-0.3
Let k(l) = -10*l - 1. Let h be k(2). Suppose x - 5*o + 71 = 4*x, -2*x - 5*o + 49 = 0. Let z = x + h. Are z and -2/7 equal?
False
Let n(v) = v**2 + 7*v + 6. Let s be n(-6). Let d = -724.1 - -723. Is d at most s?
True
Let i = 1867 + -1856. Which is greater: 1/36 or i?
i
Let s = 6/505 + 4741/505. Suppose 0 = -5*y + 2*b + 12 + 33, -3*y - 5*b = -27. Do s and y have the same value?
False
Let v(u) = u + 1. Let i be v(2). Let q be (i/15)/(4/8). Suppose 0*d + 7*d = 0. Do q and d have the same value?
False
Let y = -7.3 - -7. Let f = 0.5 + y. Let m = -112.2 + 113.2. Which is smaller: f or m?
f
Let g(i) = i + 3. Let w be g(-5). Let v(m) = 2*m**2 + 2*m - 2. Let r be v(w). Suppose 5*z + r*y + 2*y + 4 = 0, -z = 4*y + 4. Is 2/29 equal to z?
False
Suppose -3*a + x = -38, -5*x + 21 = 5*a - 29. Let n(z) = 3*z - 30. Let m be n(a). Which is bigger: 5 or m?
m
Let s be (-54)/174*(104/12)/(-13). Is s > 3?
False
Let l be (-16)/(-176)*(8 + -4)/(-2). Let k be (0 + -2)*(-2)/(-20). Is l bigger than k?
True
Suppose 48 = -20*y + 18*y. Let g = -20 - -15. Let n be (-40)/y*2/g. Which is smaller: -1/8 or n?
n
Let i be (-450)/55 - (3 - 10). Is -1 less than i?
False
Let d = 1577 - 950929/603. Which is bigger: d or 1?
1
Suppose 11 = 5*y + 1. Suppose y - 7 = c. Which is greater: c or -3?
-3
Let n(t) = -t**3 + t**2 + 4*t - 1. Let o be n(3). Let v(m) = -2 + 3*m - m - m**3 - m**3 + 2*m**2. Let r be v(2). Are r and o non-equal?
True
Suppose 14*c + 36 = 17*c. Suppose -2*h = -i - 8, -2*h = -0*h - 2*i - c. Let n be (-5 + 5)*(-2)/(-2). Are n and h unequal?
True
Let u = -18040 + 11671883/647. Which is smaller: u or 0?
0
Let s = 1192 + -1202. Do -39/4 and s have different values?
True
Let v be (-4)/(-10) - 22/5. Let a = v + 2. Let t be (-17)/(-9) - (3 + a). Is 0 > t?
False
Let d = -0.6 + -1. Let b = d + -4.4. Let l =