er: d or t?
d
Let i = 3.1 + -3. Let m = i - -0.1. Let v = m + -0.1. Which is bigger: -0.1 or v?
v
Let c be 6/(-4) + (-2)/4. Suppose o - 5*o + 3*z = -31, 5*z + 33 = 2*o. Let a = o - 6. Is a at most c?
True
Let m(s) = -10 + 14 + 3*s + 0*s + s**3 - 5*s**2. Let w be m(4). Which is smaller: w or 1?
w
Suppose -5*g = -20 - 5. Suppose r = -3*o - 5, g*o + 0*o = 4*r - 31. Let b(q) = -2*q - 4. Let i be b(o). Are i and 1 non-equal?
True
Let m(y) = y**3 + y**2 - 3*y - 2. Suppose 3*n + 2*n - 55 = 0. Let w(z) = -z**2 + 11*z - 2. Let u be w(n). Let h be m(u). Which is greater: 2 or h?
2
Suppose -10 = 5*g - 5*k, 2*k = -4*g - 0*k - 26. Which is bigger: g or -7?
g
Suppose 2*j + 2*u - 38 = -0*u, 2*j + 5*u - 47 = 0. Suppose 5*g + j = a, 4*a + 4 + 12 = 0. Is g smaller than -4?
False
Suppose 0 = j + j + 3*y + 17, 5*j + 29 = -3*y. Let l be 6 + -6 - (j + 1). Let d = 0 + l. Is 4 less than or equal to d?
False
Let f = -1.5 - -1.2. Which is greater: 0.4 or f?
0.4
Suppose 2*g - 12 = -0*g. Is 8 <= g?
False
Let w be ((-4)/3)/(2/(-3)). Let j be w/((-2)/(-6)*-2). Let v be ((-4)/(-10))/(-5 - 46/(-10)). Which is bigger: j or v?
v
Let y = 20 - 11. Is y < 18?
True
Let u = -3184000/19467 - 35/2781. Let s = -164 - u. Which is greater: s or 0?
0
Let b = 0.8 + -12.8. Let m = -14 - b. Which is smaller: 4 or m?
m
Let r be 6/27*-15 - -1. Are -3 and r unequal?
True
Let j be ((-8)/10)/((-126)/45). Suppose 5*y + 5 = -m, 0 = y + m - 6*m - 25. Is j greater than y?
True
Suppose -41 + 1 = -4*x. Suppose 7*m = x*m - 18. Is m at most as big as -1/2?
False
Suppose -2*a = -d - 40, 79 = -2*d - 0*d + 3*a. Which is bigger: d or -39?
d
Let w = -18 - -25. Let d = w - 7. Which is smaller: d or -0.02?
-0.02
Let a = -85/3 - -29. Let z = -1.7 + -0.3. Is z != a?
True
Let l = -0.109 - -7.209. Let m = -0.1 + l. Let g = m + -6.7. Which is greater: g or 2?
2
Let c = -41/2 + 16. Which is smaller: c or -4?
c
Let c(h) = 3*h**2 - 15*h + 4. Let u be c(5). Does 11 = u?
False
Let p(b) = b + 4. Let s be p(-5). Let l = -175/2 + 973/12. Let u = l - -17/3. Is u equal to s?
False
Let q = -1 - 4. Let r = -9 + 8. Let y = r + q. Is y greater than -5?
False
Let q = 11 - 10. Which is greater: 3/8 or q?
q
Let w = 0 + -3. Let s be (-10 - -7) + (-35)/(-11). Which is greater: w or s?
s
Let o be (2/(-5))/((-1)/(-5)). Let t be (-7 - -1) + (-1 - -3). Which is smaller: t or o?
t
Let s = -397 + 833/2. Let t = s + -19. Suppose 0*m - m = 0. Which is greater: m or t?
t
Suppose -5 = -4*w + 7. Suppose 0 = 4*x + 5*t + 890, -2*x + w*t - 448 = 4*t. Let c = -2023/9 - x. Which is smaller: c or 1?
c
Let i = -0.33 - -0.09. Let q = i - -0.04. Which is bigger: q or 1?
1
Let b = -10/23 + -85/69. Are b and -1 equal?
False
Let w be -1*2 + 2 + 2. Suppose 1 + 8 = 3*n. Suppose -3*c - 18 = -n*j, -j - 2*c - 2 = 1. Is j <= w?
False
Suppose 2*a - 4*m + 6 = -0*a, -m = -a - 1. Are a and 12/7 nonequal?
True
Suppose 3*z + 5 = -t, 4*t + 9 + 11 = 3*z. Let c be 8/34*5/30. Let a = c - -43/204. Which is smaller: z or a?
z
Let l = 388 - 586. Let t = l + 589/3. Which is smaller: -1 or t?
t
Suppose -11*j - 170 - 94 = 0. Which is bigger: -70/3 or j?
-70/3
Let z be ((-3)/2)/(12/24). Which is bigger: -5/3 or z?
-5/3
Let n = 0.7 + 3.3. Let l = 3 - n. Let j = 0.7 + l. Is 1 greater than or equal to j?
True
Suppose 0 = 4*l + 4*g, -5*g + 1 = 4*l - 0*l. Are -12/19 and l nonequal?
True
Let v(q) = q - 8. Let a be v(10). Suppose -3*h - 15 = 4*p, 12 = -5*p + h + a*h. Is p equal to -3?
True
Let o(b) = 2*b - 6. Let f be o(4). Let w = f + -6. Let r = w - -8. Which is smaller: 3 or r?
3
Let j(o) = -o + 6. Let q be j(8). Let g be (q/(-4) + 0)*0. Let y = -3 + 2. Which is bigger: y or g?
g
Let d(f) = f + 10. Let p be d(-9). Which is greater: 6/5 or p?
6/5
Suppose 2*y = -5*y - 7. Which is bigger: y or 4.8?
4.8
Let a = 0.2 + -0.2. Let l = -4 - 0. Let b = 2 + l. Which is smaller: b or a?
b
Let x(a) = 2*a - 5. Let s be x(3). Do s and -2/73 have the same value?
False
Let m be 3/9 - 92/6. Let o = m - -21. Suppose 4*d - o = -2. Is 1 bigger than d?
False
Suppose -3 = k, -8*u + 47 = -6*u - 5*k. Which is smaller: u or 67/4?
u
Suppose -4*c = -10*c - 198. Which is greater: -32 or c?
-32
Let i be (-86)/36 - (-1)/(-2). Let p = 49/18 + i. Suppose -m + 3*m - 3 = -r, -4*r - 5*m + 6 = 0. Which is greater: p or r?
p
Let a = 234892 - 10569703/45. Let x = a + -48/5. Suppose 0 = -5*m + 2 + 3. Is m less than x?
False
Let f = 0.07 - 8.07. Let h = -7.4 - f. Which is greater: h or 1?
1
Let r be 1/(-2) + 175/182. Let q = -17 - -17. Is q >= r?
False
Let c be (3/2)/(1/(-16)). Let g = c - -7. Let f be g/5 + 14/35. Are -1 and f unequal?
True
Suppose -4*q + 4*r = -q - 8, -q = 5*r + 10. Do q and 4/7 have different values?
True
Let n(g) = -g + 14. Suppose 5*s - 20 = 25. Let l be n(s). Are l and 6 equal?
False
Let l = -4 - -4. Suppose -2*d - f - 1 = 0, l*d + 3*d + 9 = -3*f. Is 3 < d?
False
Let g = 14/19 - 205/304. Is g greater than or equal to 0?
True
Let q(m) = m**2 + m + 1. Let j be q(-1). Let i = j + -4. Let b = i - -2. Is b greater than -2?
True
Let p be 45/(-130)*(-2)/(-3). Which is smaller: p or 0?
p
Let u = -13.3 + 13. Which is smaller: 0 or u?
u
Let r = 7776/1145 + 2/229. Let w = r + -7. Is 0 at most as big as w?
False
Let c = -247/616 + 2/77. Is -1 less than or equal to c?
True
Suppose i + 2 = -10. Let z be 3/i + 19/44. Is z smaller than -0.1?
False
Let r = -1 - -5. Suppose -r*k = 2*b, -2*b = -0*k + 5*k. Suppose -x = -k*x. Which is greater: x or 1/3?
1/3
Let k be ((-1)/3)/(9/(-135)). Suppose -i = -2*t - 3, -2*t + 3*i - 9 = -k*t. Is 2 not equal to t?
True
Let w = -472/7 + 20282/301. Is w at least 1?
False
Let o = -1148 - -11471/10. Is 0 less than o?
False
Let q = 13407678077/1887 - 7105288. Let h = 13/51 + q. Is h smaller than 0?
False
Let y = 2.61 + -0.61. Is y less than or equal to 1/2?
False
Let s = 0.1 - 2.1. Let j = 14 + -14. Is s bigger than j?
False
Let k(h) be the third derivative of -h**4/24 + h**3/6 - 3*h**2. Let w be k(-5). Is 6 greater than or equal to w?
True
Suppose -2*i - 11 = 3*b, 6*b - 3*i = 2*b - 26. Let l be (b/(-3))/5 - 0. Which is greater: l or 0?
l
Let p be 10/26*(-6)/15. Let h(g) = -g**3 - 9*g**2 - 7*g + 7. Let v be h(-8). Which is smaller: v or p?
v
Let y(k) = -k**2 - 7*k - 5. Let r be y(-6). Which is smaller: r or 2/11?
2/11
Suppose 3*v = 4*i + 3, 4*i - 3*v - v = -8. Let x be 2 + 4*(-2)/(-4). Suppose -i*w = -x*w. Which is smaller: w or 2?
w
Let g be 1 - 0 - 13/11. Let p be (-1)/(-3) - 15/(-9). Suppose p*d = d. Is g smaller than d?
True
Let s = 5 - 4.5. Let i = 0.6 - s. Let v be -1 - (-1 + 1/4). Which is smaller: v or i?
v
Let i(k) = k**3 + 5*k**2 + 6*k + 5. Let b be i(-4). Let j be -1 + 1 - 0/(-2). Let y = b - j. Is y at most as big as 0?
True
Suppose 0 = a + 5 - 3. Is -9/5 less than a?
False
Let o be (0 + -10)/(3/(-6)). Let i be (-3)/o - 2/8. Which is bigger: i or -1?
i
Suppose -16 = -4*m - 2*j, 2*j - 2 - 2 = 0. Suppose 0*y - 4*y - 72 = 0. Let s be -3*m*4/y. Are s and 0 equal?
False
Let n(w) = -w**2 - 4*w - 2. Let y be n(-4). Let b be (2 + y)*(0 + 1). Let a = -10 - -11. Which is smaller: a or b?
b
Suppose -3*v - 6*s + 4*s + 3 = 0, 4*v - 5*s + 19 = 0. Which is smaller: -1/3 or v?
v
Let q(k) = -k**3 + 4*k**2 + k - 2. Let x be q(3). Which is bigger: 8 or x?
x
Suppose 0 = 2*k - 8, -5*q + 15 = 3*k + 2*k. Let t(v) = -3*v**2 + 2*v + 1. Let p be t(q). Are -4 and p nonequal?
False
Let x = 26.9 + -27. Which is bigger: 22 or x?
22
Let t(b) = -b**3 - 12*b**2 - 10*b + 16. Let c be t(-11). Which is bigger: c or 3?
c
Let q = 14 + -10. Let k = -1 + q. Let s = 2 - k. Which is bigger: 0 or s?
0
Let i = -0.11 + -1.49. Let l = -1 - i. Let v = -0.4 - l. Is v > -1?
False
Let m = 7.12 - 0.12. Let j = 4 - m. Which is smaller: -2 or j?
j
Let h(a) = 3*a - 2. Let o(m) be the second derivative of -m**3/6 - 2*m. Let i(f) = h(f) + 2*o(f). Let p be i(2). Which is greater: 2/5 or p?
2/5
Let z be ((-6)/15)/((-1)/25). Is 10 less than z?
False
Let y(z) = -z**3 + 4*z**2 - 3*z + 3. Let w be y(3). Let g be (w/9)/((-2)/(-6)). Is g smaller than 1/3?
False
Let w = 3.03 - 0.03. Let c = 49 + -50. Is c at most w?
True
Let u be 1/(-3) - 28/(-12). Let b = u - 3. Let i(m) = m**3 + 7*m**2 + 1. Let r be i(-7). Which is greater: r or b?
r
Let o be (-6)/21 + 12/21. Let q = 82 - 82. Which is smaller: q or o?
q
Suppose 8*o + 0 = -8. Are o a