)/115). Let r be (-1651)/(-616) + 4/14. Let t = p - r. Is -1 at most as big as t?
True
Suppose -8 = -5*s + s. Suppose s*o + 5 = -t, -3*t = 5*o - 2 + 15. Let z = -27/2 + 85/6. Which is bigger: t or z?
z
Let g be 3/((-54)/20) - -1. Let n = -57 + 58. Is g less than n?
True
Let n be (-7)/(-3) - (-2)/(-6). Suppose 0 = n*q - 2*b - 14, 3 = 2*q - 3*q - 4*b. Suppose -i = -q*i. Which is greater: i or -6/5?
i
Let w = 6 + -8. Let y = -1.2 + 0.2. Let x = y + 1.2. Is w != x?
True
Let h = -1/15 - -2/5. Is h > -2/11?
True
Let b = -163/9246 - -5/201. Let d be ((-2)/23)/(84/269). Let x = b - d. Which is smaller: x or 3?
x
Let y be 4/(-18) + 63/(-81). Which is smaller: 2/45 or y?
y
Let h(w) = -w**3 - w**2 + w + 2. Let f be h(-2). Suppose -p + 2 = t, 0*p - f*p - 3*t + 8 = 0. Let n = -5 + 5. Which is smaller: p or n?
n
Suppose -2*k - 9 = -3*r + 12, 14 = 2*k + 4*r. Let a(u) = -8*u - 7. Let z be a(k). Is 17 at most z?
True
Suppose -9 = v - 8. Is 2 != v?
True
Suppose -j + 3 = -o, 0*j - 4*j + o + 9 = 0. Let h = 14 - 21. Let s be 1/(3/h) + 4. Which is bigger: j or s?
j
Let s = 4.974 + 0.026. Does -0.6 = s?
False
Let m be ((-3)/1 - -3)/(2 - -1). Suppose 4*x + x + 5 = 0. Is m at least as big as x?
True
Let t(w) = -w**2 + 3*w - 2. Let i be t(2). Let r = -8 - -2. Let y = 6 + r. Is y greater than or equal to i?
True
Suppose -25*f + 29*f - 4 = 0. Which is smaller: 93 or f?
f
Let o = -26/203 + 3497/6699. Let l = 3/11 + o. Is l at least as big as -3/2?
True
Let t be (32/(-12))/((-4)/6). Suppose t*z + 3 + 9 = 0. Are z and -8 nonequal?
True
Let v(a) = a**3 + 7*a**2 - 7*a + 8. Let t be v(-8). Is t != 0.1?
True
Let m(w) = w**2 + 12*w + 11. Let u be m(-11). Let h = -354/319 + 19/29. Does h = u?
False
Let x = 0.2 + -0.3. Let h = x + 0.1. Let t = 0.2 - h. Which is greater: t or 1/2?
1/2
Let u = -30 - -31. Are u and -63 equal?
False
Let i = -24 - -22.2. Let n = 1.7 + i. Is n <= 21?
True
Let v = -349.98 - -346. Let y = -3.97 + -0.03. Let i = v - y. Which is smaller: i or 2/3?
i
Suppose -4*i + 0*r - r = -82, -5*i = r - 102. Suppose -4*g - i = -2*a, -g = -5*a - 3*g - 10. Which is bigger: a or -5/4?
a
Let i = -20 + 19. Which is bigger: 0 or i?
0
Suppose 2*s - 12 = -2*s. Let a be ((-6)/(-4))/((-1)/(-18)). Let d be (-2 - a/(-6))/1. Which is smaller: s or d?
d
Let r(t) be the second derivative of t**3/6 + 3*t**2/2 - 8*t. Let s be r(-5). Let o be -1 - 2/4 - 0. Which is smaller: s or o?
s
Suppose a - 8 = 3*a. Is -2 <= a?
False
Suppose 5*l - l = 40. Suppose 2*a = -3*a - l. Is -2 <= a?
True
Let r(u) = -u**2 - 5*u - 2. Let f be r(-3). Let x = 28 + -23. Is x >= f?
True
Let c = -4 - -14. Let x be 2/(-10) - (-47)/c. Which is smaller: x or 5?
x
Suppose 3*h - 4 = -7. Is h < -7/4?
False
Suppose 0*z - 2*z - 4*r = -10, 3*r + 15 = 3*z. Suppose -z*o + l - 22 = 0, -l = -o - 2*l - 8. Let h be 16/20 - 1/o. Which is greater: h or -0.2?
h
Let c = 8 - 11. Let g = -37 + 40.2. Let k = g + c. Which is smaller: -1 or k?
-1
Let u = 23/3 + -811/105. Is -1 greater than or equal to u?
False
Let k = 4/15 + 2/5. Let l be ((-6)/(-5))/((-3)/15). Let r = l - -7. Is k <= r?
True
Let v be (-2 + (-3 - -3))/(5 - 7). Which is bigger: v or -3/25?
v
Let a be 3*110/114 + -3. Suppose 1 = -2*f + 3. Are f and a equal?
False
Let j be (-4)/(-6)*18/(-8). Let l = -3 - -3. Suppose 3*h = 15, l*h - 30 = 5*q - 5*h. Is j less than q?
True
Let c be 1/2 - (-5)/(-6). Let a = 0 + -0.12. Let n = -0.02 - a. Which is bigger: c or n?
n
Suppose 0 = 8*v - 11*v + 93. Which is bigger: 1 or v?
v
Let h = -11 + -14. Let f(m) = -m**3 - 6*m**2 - 2*m - 9. Let g be f(-5). Which is smaller: h or g?
h
Let x(k) = 2*k**3 - 2*k**3 + 0*k**3 - k**3 + 9 - 9*k**2 - 7*k. Let w be x(-8). Which is greater: w or 2/11?
w
Suppose -2*g - 8 = -5*y + y, 0 = -y - 5*g - 9. Let r be -3*y/(-5)*15. Suppose -3*a + 0*a = -r. Which is smaller: 2 or a?
2
Let p = -43 + 42. Which is greater: 3/8 or p?
3/8
Let f = -79 - -321/4. Suppose 4*h = -0*h. Which is bigger: f or h?
f
Let g be 8/14*((-22)/(-24) + -1). Is 0 <= g?
False
Let h be 1/(-3)*(-3 - 10/(-15)). Which is smaller: h or -1?
-1
Let j be (0/(-2))/(-1 - 0). Let l(g) = g**2 + 5*g + 4. Let i be l(-4). Suppose -3*z = -i*z. Is j less than z?
False
Let i be 104/39*(-1)/(-84). Are 0 and i nonequal?
True
Let z = -3 + 3. Which is smaller: z or 2/59?
z
Let u = 7 + -7. Let g be (-3)/(-1) + (-30)/5. Which is greater: g or u?
u
Let m be (-1)/(0 - (-4)/(-4)). Which is bigger: 2/85 or m?
m
Suppose 28 = -3*g + 19. Which is greater: g or -4?
g
Let g(l) = 6 + l**2 + l + 0*l**2 + 0*l - 2*l**2. Let p be g(3). Let m be ((-4)/(-10))/(6/(-9)). Which is greater: m or p?
p
Let d be 2/11 + (-45)/(-55). Let u be 3/27 - 1/(-3). Which is bigger: u or d?
d
Suppose -2*p = 2 + 4. Let q be (-2)/p*150/4. Suppose y + 4*y = q. Is y smaller than 6?
True
Let m(g) = -g. Let j(x) = -2*x**2 + 3*x + 1. Let w(n) = -j(n) - 4*m(n). Let y be w(1). Suppose -3*o + 3 = -2*o. Which is smaller: o or y?
y
Let y = 55 + -55.1. Let g = -0.4 + -0.1. Let b = -5.5 + g. Is y greater than b?
True
Let b = -71/3 + 24. Let d be ((-2)/(-4))/((-2)/(-8)). Suppose d*f = -4*u + 6*u + 10, 5*u + f = 5. Does u = b?
False
Let d be ((-33)/15 - -2) + (-1)/(-5). Do d and -1/51 have the same value?
False
Let y(i) = -i**2 + 22*i - 56. Let j be y(20). Are j and -6 non-equal?
True
Let w = -0.66 + -28.34. Let q = w + 21. Let p = q - -12. Do p and 1 have the same value?
False
Let t be 1/(-3) + (-92)/(-6). Let z be (-6)/4*(-10)/t. Which is greater: z or 2/5?
z
Let m(g) = -g**2 - 6*g - 3. Let l be m(-5). Let c be (l/(-44))/((-5)/60). Which is smaller: c or 0?
0
Suppose -4*x - 28 = -4*h, -4*h - 2*x = 4 - 2. Let y(z) = -z - 6. Let n be y(-5). Which is greater: n or h?
h
Let i = 12 - 11. Which is smaller: i or -3/22?
-3/22
Let t be 1 - 3/(-12)*-5. Let z be (-3)/3 - (1 + -6). Let s be 4/2 + z + -6. Is s at most as big as t?
False
Let u be 1/((-3)/12*-1). Suppose d + u*d + 5 = 0. Are 4/15 and d unequal?
True
Let q be (-152)/(-40) - (-1)/5. Suppose 0*d + q*d = 0. Which is greater: d or 3/11?
3/11
Let h = -37 + 18. Which is greater: -2/5 or h?
-2/5
Let k = -1 + -1. Let h = 15 - 21. Let p = -4 - h. Which is smaller: k or p?
k
Let u = -42 + 45. Do u and 2/9 have the same value?
False
Let l = -6 + 3.2. Let h = 12 + -9. Let u = l + h. Is u >= -0.4?
True
Let c = -119/9 - -13. Suppose 4*s + s = 20. Suppose 3*m - 8 = 2*a, -3*m = 4*a - 2*a - s. Which is greater: a or c?
c
Let y(k) = -6*k - 101. Let p be y(0). Is p at least as big as -102?
True
Let o(y) be the second derivative of -y**5/20 - 13*y**4/12 + 7*y**3/3 - y**2/2 + 4*y. Let m be o(-14). Which is bigger: m or -1/3?
-1/3
Let i be (-21)/(-7)*2/(-9). Are i and 1 equal?
False
Let i = -0.07 - -0.06. Let l = i - -3.01. Which is bigger: -0.1 or l?
l
Let v(p) = -2*p + 9. Let w be (-8 - (-3 - -1))/(-1). Let q be v(w). Which is greater: -4 or q?
q
Let m = -41 + 124/3. Let s be (-1)/(-30)*(3 + -1). Which is greater: m or s?
m
Let y be 114/4 - (-1 + -1). Suppose 5*t - 2*u + 161 = 0, 0 = 5*t + 3*u + 28 + 118. Let d = y + t. Which is smaller: d or -1?
-1
Let d be (21/28)/(-2 + -1). Let h = -7 + 4. Let q = 5 + h. Which is greater: d or q?
q
Let m = -2 - -11. Let t = 6 - m. Is 0.1 at least t?
True
Let p = -12.6 + 14. Let b = -1.7 + p. Which is greater: b or 0.4?
0.4
Let c = -0.5 + 1. Let s = c - 0.5. Let d(u) = -u + 6. Let n be d(10). Which is greater: n or s?
s
Suppose 4 = v - 1. Let l = v + -3. Suppose -b = -3*b - 2*p - 6, -l*b - 3*p = 8. Is 2/17 greater than or equal to b?
True
Suppose m + 2*v = 12 - 4, 0 = -4*v + 16. Let n = m + 8. Suppose -3*w + 3*s - 8 = -23, 15 = 5*s. Do w and n have the same value?
True
Let w be (-72)/54 - (-4)/3. Are w and 11 equal?
False
Let x = -46/5 - -9. Suppose 2*m = -3*m. Which is smaller: x or m?
x
Let w = 17/2 - 31/4. Let u = 6 - 1. Suppose 0 = -u*z - 0*z - 2*k + 16, 4*k - 12 = 0. Is z equal to w?
False
Let z = 2 + -0.6. Are 0.1 and z non-equal?
True
Let g(p) be the third derivative of p**5/60 + 5*p**4/24 - 2*p**3/3 - 2*p**2. Let r be g(-6). Let f be ((-136)/(-340))/(-1*(-8)/(-10)). Are r and f equal?
False
Suppose 3*y = 3*c + 9, 2*c + 1 = -c - y. Let m = -1 + 3. Let n be (-4)/8 - m/(-4). Which is smaller: n or c?
c
Let y(m) = m**2 - 8*m + 7. Let i be y(6). Let b(g) = g + 1. Let s be b(-5). Is i not equal to s?
True
Suppose -4*g = 3*y - 17, 21 = 5*y - 