q + 5. Is b bigger than q?
False
Let a be -4 - 12/8*-4. Suppose -a*m = 3*l - 23, -m = -3*l + 15 - 4. Which is greater: 3 or m?
m
Let h = 3 - 6. Let g be 4/(-5) - (-1)/(-5). Let s = h - g. Which is greater: s or -1?
-1
Let b = 2 - 3. Let x = 4 + b. Suppose -x*f = -f. Is 1 smaller than f?
False
Let w be (-12)/((-12)/16*1). Which is smaller: w or 3?
3
Suppose -2*y + 5*y = 63. Let u = y + -23. Are -2 and u equal?
True
Let f = -6 + 13/2. Let n(a) = a + 1. Let o be n(2). Let i = o - 2. Is i at most f?
False
Suppose 3*t = 8*t - 15. Let u = 4 - t. Let m be (u/(-2))/((-3)/6). Which is greater: m or 0?
m
Let v(m) = -4*m**3 - m + 1. Suppose -t = 4*t - 30. Suppose 0*n + t = 4*r + 2*n, -n - 4 = -5*r. Let b be v(r). Is -4 less than b?
False
Let o = -12 + 19. Let v = 4 - o. Let g be 0 + 0 - (1 - -1). Which is bigger: g or v?
g
Suppose 13*s - 16*s - 3 = 0. Which is bigger: 2/79 or s?
2/79
Let d = -5 + 2. Suppose -g - 4*s + 27 = s, 1 = -2*g + s. Suppose -3*c + g*c - 1 = 0. Which is smaller: c or d?
d
Let g = -43/2 - -383/18. Let n be ((-6)/14)/((-3)/(-2)). Is g not equal to n?
True
Let t = -0.263 + 0.123. Is 0.01 less than or equal to t?
False
Suppose 0 = -11*m + 10*m. Which is smaller: 9/8 or m?
m
Let i = -0.82 - -0.82. Which is greater: i or 7.2?
7.2
Let p = 39 + -50. Is -53/5 at most as big as p?
False
Let l = -5202026/195 - -26677. Let o = 1/13 - l. Is o <= 1?
True
Let g be 0 + (104 - 1 - 1). Let o be 6/(-51) - 90/g. Which is smaller: o or -5/6?
o
Let a be (10/(-15))/((-2)/6). Is 4 > a?
True
Let f be 0/((-2)/1)*(1 + -2). Is f at least as big as 2/187?
False
Let x = 1.4 + -1.34. Let v = 0.04 - x. Is v <= -1/4?
False
Suppose 3*y - 8*y - 2 = b, -2*b + 5*y = 4. Let s be (-2 + b)/((-3)/(-6)). Let l be (-4)/s*(-9 - 1). Is -4 equal to l?
False
Let u = 1/152 + 753/1064. Let s(d) = -d + 2. Let z be s(-2). Suppose 0*g + 16 = -5*w + z*g, 4*w = -5*g + 20. Which is bigger: w or u?
u
Let x = 160 + -94. Suppose 2*v - x = -2*v + m, 4*v - 58 = -3*m. Let k be ((-1)/2)/((-28)/v). Is k equal to 0?
False
Let j = -63 + 16. Let p = j + 86. Let n be (-15)/(-5) + p/(-11). Is n != -2?
True
Let x(n) = n - 12. Let f be x(7). Let d(b) be the second derivative of b**5/20 - b**4 + 5*b**3/3 + 7*b**2/2 + 2*b. Let i be d(11). Which is bigger: f or i?
i
Let s be (-2)/4 + (-273)/(-490). Which is bigger: 0 or s?
s
Let h(t) = 3*t + 1. Let o be h(-1). Let w = -153/28 + 19/7. Are w and o non-equal?
True
Let v = -28 - -40. Suppose 2*o - v = -4*t, -4 = -3*t - 3*o + 5. Suppose -2*g = -5*u - 12, -4*u + 3*g = 1 + t. Which is smaller: -3 or u?
u
Suppose j - 23 = 4*w, 0 = -2*w + w - 5. Suppose -7 = 5*a + j. Which is smaller: a or 0?
a
Let r(g) = g**2 - 1. Let o be r(-1). Let u be 30/252 - (-4)/(-14). Is o at most u?
False
Suppose -3*n + n = -3*u - 42, 5*n + 3*u = 105. Let j = 3 + -5. Let t be (-6)/n - j/7. Which is smaller: t or 2/9?
t
Suppose 7 + 11 = -3*f. Is -7 at most as big as f?
True
Suppose 3*u = 3*g + 9, 12 = 3*u - 7*u - 4*g. Let i = u - -1. Is 2 bigger than i?
True
Let h be 369/(-6)*(-4)/(-9). Let r be ((-1)/4)/((-9)/(-1038)). Let d = r - h. Which is bigger: d or -3?
d
Let h = 1/4 - -1/12. Which is smaller: 1 or h?
h
Suppose 0 = 5*h + 12 + 8. Let o = 0 + -1. Let i be (o/(-5) - 0)*h. Is -1 greater than i?
False
Let s(g) = -g**2 - 8*g. Let k be s(-7). Let x be (8 + 0)/4 - k. Which is smaller: x or 1?
x
Suppose 4*p = -2*d - d - 25, 3*d - p = -5. Is -3/2 > d?
True
Let b = -197/5 - -866/15. Let u = -18 + b. Which is smaller: u or -1?
-1
Let v = -157/4 - -39. Which is greater: -1 or v?
v
Suppose -3*l = 8 - 83. Let d be 23/(-40) - (-5)/l. Which is smaller: d or -1?
-1
Suppose 4*h + 7*d - 3*d = 20, 2*h - 3*d = 0. Suppose -2*x + 3 = -h*x. Let t be (-2)/(-8)*4/x. Which is smaller: -1 or t?
-1
Let g = -2 + 4. Suppose g*r - 6*r = 24. Let k be r/(-15)*(-5)/(-7). Which is greater: k or 2/5?
2/5
Let u be (-34)/(-6408) + 5/(-20). Let o = -2/89 - u. Is o at most as big as -1?
False
Let v be 8/(-60) - (-34)/30. Let z = 0.8 + 2.2. Is z < v?
False
Let q = -0.1 + 0.2. Which is greater: q or -0.01?
q
Let o be -30 - -35 - (-83)/(-11). Is -2 greater than o?
True
Suppose 5*a + 0 = 3*x + 10, 20 = 5*a - x. Suppose a*k = 3*k + 12. Let j(y) = -y**3 + 5*y**2 + 7*y - 6. Let l be j(k). Are l and -1 equal?
False
Let g(c) = -c**3 + 2*c**2 - 3*c + 2. Let l be g(2). Let u be 4/10 - (-88)/(-20). Is u > l?
False
Let h = 23.4 + -2.4. Let z = h - 20.99. Which is bigger: z or 2/5?
2/5
Suppose -2*s + 5 = -3*d, s - d - 1 = 1. Does s = -6?
False
Suppose -4*i + 2 = -6*i. Let k be 3/9*(-7 - i). Let y = -1.04 - -0.04. Does k = y?
False
Let u be (3/6 + -1)*-2. Suppose 3*c + c - 8 = 0. Let k be (c/12)/(6/9). Do u and k have different values?
True
Let f be (-12)/(-21)*(-2)/(-12). Let v(t) = t**2 - t + 1. Let k be v(2). Let d be 0/((-6)/k)*-1. Which is smaller: f or d?
d
Suppose 4 = -a + 4*f - 12, 0 = -4*f. Which is smaller: -15 or a?
a
Suppose i = -5*v + 1 - 0, -4*i + 5*v = -4. Suppose i = -0*o + o. Is 2 >= o?
True
Suppose 84 = -3*g + 5*v, -5*g = -g - v + 112. Is -28 at most g?
True
Suppose 3*f = -5*h + h - 70, -4*f + h = 68. Let o be 1 + 2 - f/(-12). Which is bigger: 2 or o?
2
Let v be -2 + (-27)/(-33) - -1. Let d be (2/(-6))/((-5)/(-15)). Are v and d nonequal?
True
Let i = 0.1 - 1.1. Let t = 2 - 1.9. Let o = t - 0. Is i < o?
True
Let a = -0.04 + 0.04. Let h = -2 - a. Is 0.1 at most h?
False
Let o(b) = b**2 + 4*b - 3. Let u be o(-4). Let s = 93 + -290/3. Which is greater: s or u?
u
Suppose 0*m - m = 10. Let z be ((-5)/m)/(2/4). Which is bigger: 1/3 or z?
z
Let m(f) = 28*f - 1. Let u be m(1). Let z be u/63*2/3. Let l = -2 + 3. Is z > l?
False
Let s = -265 + 6096/23. Is 0 less than s?
True
Suppose -3*o = o. Suppose 2*f = -o*f. Let h be (-3 - -2)*1/(-1). Which is smaller: h or f?
f
Let u = -45 + 49.4. Let o = 0.6 + u. Does 1 = o?
False
Let q(s) = s**2 - 2*s - 1. Let r be q(3). Suppose -r*d = 2*d. Is d != -3/19?
True
Let u be (-275)/121*(-6)/45. Which is smaller: u or -1?
-1
Let n = 7629414088111/1917300 - 917786653/3652. Let a = n + -3727938. Let c = a - -2/525. Is -1 less than c?
True
Let b(i) = i**2 + i - 2. Suppose -l + 4*l = 0. Let v be b(l). Let x be (3 - (-3 + 4))/v. Which is bigger: x or -4/5?
-4/5
Let d be 1 - (20/14 + (-4)/(-7)). Is 2/143 greater than or equal to d?
True
Let j = -10 + 10. Suppose -5*y + 22 = 3*r, 3*r + 4*y + j*y = 23. Which is smaller: 8 or r?
8
Let v be (-8)/(-10) - 9/(-45). Is -1/3 at most as big as v?
True
Let o = -1 - -3. Let a be (-2 - -4)*1/o. Suppose -37*h + 32*h = 0. Is a less than h?
False
Let t be ((-1)/(-3))/(2/6). Suppose 7 = m + q, -1 = 4*m - 2*m - q. Suppose 0 = -m*j + 6*j - 4. Is j > t?
False
Let n = 5 + -7. Suppose 0 = 5*a + 15 - 5. Is n <= a?
True
Let n be 4/6 + (-6)/9. Is n >= -4/7?
True
Suppose -2*w + 2 = -2. Let q = 4 - w. Let f be 1*-4*1/q. Which is smaller: f or -1?
f
Let x(m) = m**3 + 5*m**2 + 3*m - 5. Suppose 4 = -5*u - 16. Let q be x(u). Let a = 375/8 + -47. Which is bigger: a or q?
a
Suppose -5*w - 16 = i, i = -4*w - 0*i - 12. Let k be 0 + (0 - (2 + w)). Let c = k + -2. Is 0 at least c?
True
Suppose -3*a = 4*a + 2*a. Is a smaller than -1/5?
False
Suppose 18 = 2*h - 12. Suppose -h = z + 2*z. Let k be (24/30)/((-2)/z). Is k at least 0?
True
Let h = 80 + -80. Let b = -6 - -6.4. Which is greater: b or h?
b
Let g(l) = -l + 4. Let o(x) = x**2 - 3*x - 6. Let w be o(5). Let m be g(w). Which is smaller: m or 1/6?
m
Suppose -z + 1 = -0. Which is greater: -4/13 or z?
z
Suppose o + 2 = 2*n - 2, -3*n = 4*o + 16. Suppose 5*u - 26 = v, -3*u + 6*u - 19 = 4*v. Suppose -z + u = -2*z, -5*x - 10 = 3*z. Is n less than or equal to x?
True
Let q = 1096/1035 - -6/115. Let a = q + -11/18. Which is greater: 2 or a?
2
Suppose -5*r - 55 = -4*u, 0 = -3*r + u + 6 - 39. Which is smaller: -2 or r?
r
Let v be 24/5*(-9 - 1). Let r = 193/4 + v. Let m(j) = -9*j - 46. Let z be m(-5). Which is smaller: z or r?
z
Let y = -558 + 9489/17. Do y and 0 have the same value?
False
Suppose 2*g + 8 = -5*y, 0*g + 2*g + 8 = -4*y. Suppose 0*d + 5*d = y. Which is smaller: -3 or d?
-3
Let a be ((-124)/40 + 3)*4. Suppose v + 87 = -b, v + 261 = -2*v - 4*b. Let u = 607/7 + v. Which is smaller: a or u?
a
Let q be 0/(4 + -2 + 0). Let h = -152/15 - -31/3. Is q greater than or equal to h?
False
Let l be 1/2 + (-11)/2. Let a be (-6 - l)*(1 + -1). L