t 0?
True
Let a = -0.035 + -0.065. Which is bigger: 17 or a?
17
Let o = -25 - -14. Let t = 10 + o. Let d = -74 - -224/3. Which is smaller: t or d?
t
Let d = -3 + 4. Let t be (-6)/21 - (18/(-112) - 0). Is t bigger than d?
False
Let r be 4/10 + 633/30. Let c = -21 + r. Let t(p) = -p**2 - p. Let v be t(-1). Is v bigger than c?
False
Suppose 0 = -5*m - 4*o + 40, -24 = -4*m - o + 8. Let z be 7 - (3 + 1 - 2). Let w = m - z. Is w greater than 4?
False
Let m = 4120 - 28775/7. Let d = m + -314/21. Which is greater: d or -5?
-5
Let p = -98.1 + 98. Is -17 smaller than p?
True
Let b = -4 + 6. Suppose -n = -b*n. Let i(j) = -j - 2. Let o be i(n). Is -1 equal to o?
False
Suppose -4*k + 3*o = 171, 0*k - 5*o = -2*k - 89. Let z be (k/(-35))/(2/5). Let q be -3*(z + (-128)/42). Which is smaller: q or 1?
q
Let l = 1.3 + -0.3. Let q = 4 + -3. Is q <= l?
True
Let u be (3/(-2))/(0 + -3). Which is bigger: -3 or u?
u
Let v = -43 + 173/4. Let x be 1/4 - (-5)/(-4). Which is bigger: v or x?
v
Let j be (-14)/(-189)*3 + 28/36. Suppose 4 = 2*l, 17 - 3 = 4*b - l. Which is greater: j or b?
b
Let d = 1 + -4. Let x = -0.9 - 0.1. Is x at least as big as d?
True
Let x = 8 - 7.62. Let q = 0.08 - x. Which is bigger: q or -2/7?
-2/7
Let o = 1/65 - -253/455. Suppose -13 = -3*v + q, 2*q = 4*v - 5 - 9. Suppose -4 = -5*m + v. Which is bigger: o or m?
m
Let v = -1/111 - 12/37. Let j = 1 + -1. Let u = 0.2 + j. Is v at most u?
True
Let j(o) = o**3 + 3*o**2 + o + 8. Let p be j(-3). Is 5 less than p?
False
Suppose 0 = -2*k + 6*m - 3*m - 5, 2*m - 12 = -3*k. Let b = k + -4/3. Which is smaller: 0 or b?
0
Let w be -21*(-3)/9*-2. Let h = w - -98. Let x be 4/(-14) - 4/h. Which is bigger: x or 0?
0
Let b = -137/6 + 23. Suppose 0 = 4*f - 6*f - 8. Let j(u) = -u - 4. Let r be j(f). Is b greater than r?
True
Let l be (6/124)/((-4)/8). Which is smaller: l or 0?
l
Let g be (-4)/(-20)*(-30)/8. Which is greater: g or -1?
g
Suppose 0*g + g = 5*j + 34, -3*g = 4*j - 7. Suppose 0 = 3*s - 4*h - g, -24 = -3*s - 2*h + h. Let q = s + -6. Is 4/3 at least as big as q?
True
Let k be (-6)/(-4) + (-6)/4. Suppose 5*l = 5, 2*z - 2 = -k*z - 4*l. Is -2/11 bigger than z?
True
Let a be (-30)/(-22) + 4 + -5. Is -1 less than a?
True
Let l be 20/(-25)*(-10)/4. Which is greater: l or 7/4?
l
Let x(k) = k + 3. Let u be x(-4). Let w be (-2)/(-8) + (-82)/8. Let r be (-11)/(-55)*w/(-8). Is u bigger than r?
False
Let i(p) = -18*p + 14. Let n be i(4). Which is bigger: -57 or n?
-57
Let l = -0.04 + -0.46. Let j = 0.5 - l. Let k = -0.5 - 1.5. Which is greater: k or j?
j
Let u = 11 + -6. Suppose -2*i = 4*x - i - 4, -5*x - 2*i = -u. Let b be (2/12)/(2/4). Which is bigger: b or x?
x
Let b(q) = -q**3 - q - 2. Let n be b(0). Let t be 1 - (n + 14/6). Suppose 0*w + 3*w = 0. Which is greater: t or w?
t
Let k = -11 + 10. Let g be (4/5)/((-2)/(-5)). Let f = g - 2. Is f > k?
True
Let b = -44 + 56. Which is smaller: b or 32/3?
32/3
Let v be (2*(3 - 2))/3. Suppose -5*a = -a - 8. Suppose -4*d - 2 = 2*i, -d - d + 8 = -a*i. Is d at least as big as v?
True
Let j(n) = n**2 + 2*n + 2. Suppose 5*o + 1 = x - 15, -o + 12 = -4*x. Let g be j(o). Is 10 <= g?
True
Let r be -9 + 0*3/9. Which is smaller: -8 or r?
r
Suppose 0 = -2*j + 3*j + 2*p + 1, 10 = -2*j + 4*p. Let m = j - 6. Let f be m/(-15)*3/(-9). Which is bigger: 1 or f?
1
Let s = -57 + 111. Is 54 smaller than s?
False
Suppose 0 = 5*h - 2*h - 15. Suppose j - h*j + 4 = 0. Suppose 3*k - 5 = -2. Do k and j have the same value?
True
Let h = -197 + 197.91. Let t = h - -0.09. Which is smaller: 0.4 or t?
0.4
Let b = 1208/153 + -70/9. Which is smaller: b or -1?
-1
Let w be 8 + 1 - (-1 - -2). Let y(b) = -b**2 + 10*b - 11. Let q be y(w). Suppose o - q = 2*z - 11, -12 = -4*z + 3*o. Is 2 at most z?
True
Let j(k) = k**2 + 8*k - 1. Let m be j(-8). Let z be ((-15)/4)/m*-4. Let b be ((-8)/50)/(6/z). Which is bigger: 0 or b?
b
Let z be (-41)/3 - (-16)/24. Let m = z - -13. Which is bigger: 1 or m?
1
Suppose -24 = -2*m + 4*m. Which is greater: m or -13?
m
Suppose 5*y + 0*y = -35. Let l(g) = g**3 + 8*g**2 + 6*g - 6. Let z be l(y). Is z bigger than 1?
False
Suppose 5*o - 4*o = 1. Which is bigger: o or -1/9?
o
Let o be -163 + 6/2 + 0. Let c = o - -1757/11. Which is greater: c or 0?
0
Suppose -5*s + 10 = -0*s. Suppose -3*b + 20 = s*b. Suppose 3*x + j = b, 6*j - j = 5. Is x <= 0?
False
Let m be (-1)/(-2)*(-16)/24. Which is smaller: -1 or m?
-1
Suppose 3 = -5*a - 2. Which is smaller: a or 1/13?
a
Let g = -2/49 - -445/98. Is g < 5?
True
Let d(z) = -z**3 - z**2 + z + 2. Let k be d(0). Suppose -o = -k*o. Which is smaller: -1 or o?
-1
Let v = -20 + 22. Suppose 5*c = -10 - 5. Let a = v + c. Is -3 greater than or equal to a?
False
Suppose f = -4*l - 15, -f + 14 = -2*f - 5*l. Which is smaller: -2 or f?
f
Let c = -8 + 7/2. Which is smaller: c or -4?
c
Suppose 4*s = -2*i + 2, 0 = s - i - 2 - 6. Suppose s*n = 2 + 1. Is 1/22 greater than n?
False
Let l = 4 - 0. Let a = 22 + -18. Is l >= a?
True
Let j be ((-1)/2)/(1/2). Let p(f) = -2*f - 13. Let a be p(-5). Let o be j/5 + a/(-165). Is o at most as big as 1?
True
Let y = -7 - -8. Which is smaller: -16 or y?
-16
Let w = -0.03 - -0.43. Let b = 12 + -13.6. Let t = w - b. Is -2/11 at most t?
True
Let h = -9 - -6. Let g be (335/(-6))/(1243/33). Let z = g - 2/113. Is z smaller than h?
False
Let g(a) = 2*a**3 - 2*a**2 + a + 1. Let c be g(2). Let f be c/(-12) + (-6)/(-9). Is -1 at least as big as f?
False
Let j = -847/4 - -208. Which is greater: j or -4?
j
Suppose -2*j + 2*m + 9 = 3*j, -3*j - 3*m + 18 = 0. Suppose 5*a - 15 = -4*f, j*a = -f - 3*f + 9. Let z = 1 + 3. Which is bigger: z or a?
z
Suppose -2*a - 4 = 5*j, 5*a - 4*a = 3*j + 9. Is j at least as big as 0.3?
False
Suppose 7*d = 4*d - 27. Let w be 28*(d/(-30))/(-3). Is -3 equal to w?
False
Suppose -5*r = -l - 16, -2*l + 5*r - 17 = -0*r. Let x(h) = -h - 5. Let w be x(-8). Let g be ((-1)/w)/((-2)/(-4)). Is l less than g?
True
Let z be (1/(-49))/(24/28). Which is smaller: z or -1?
-1
Let f = -7 + 12. Suppose -6 + 2 = -4*d, f*c = 4*d - 34. Is -5 less than c?
False
Let j = 12 - 10. Suppose t - o + 2 + 4 = 0, j*t - 8 = -2*o. Is -9 <= t?
True
Suppose 3*c + 17 = j - 2*c, -2*c = 5*j - 4. Let z be j/(-4) + 24/30. Let i be (-1)/(-4) + (-3)/12. Which is smaller: i or z?
i
Suppose -16 = 5*k - 2*p, 2*k + p + 10 = -0*k. Suppose -7 = 4*h + 5. Let x = k - h. Which is smaller: x or 1/6?
x
Suppose 0 = -3*p - 4*t - 2, 0*p - 3*p - 5*t - 1 = 0. Which is smaller: -4 or p?
-4
Let o = -86 - -81. Which is smaller: -3 or o?
o
Let h be (-4 - 3)*(-2)/(-7). Which is smaller: 9 or h?
h
Let w be (-2)/(3/(-30)*2). Suppose 31 = 5*a - 3*o, w = -8*o + 3*o. Suppose a*q + 2 = 3*q. Which is bigger: q or -2?
q
Let u be -3*1 + 98/(-7). Which is bigger: -18 or u?
u
Let u = 0.0514 + 0.9486. Let o = -5 + 2. Which is smaller: u or o?
o
Let f = 3/35 - 18/35. Is 0 > f?
True
Let q = -35 + 23. Let i(u) = -3*u - 75. Let t be i(-21). Is t <= q?
True
Let y be 10/(-15)*(-6)/(-10). Let i = 2 + -3. Which is smaller: i or y?
i
Let k = 255 + -759. Let i be 1*2 + k/261. Suppose 3*t = 2*t + 1. Does i = t?
False
Let d(r) = -15*r + 7. Let b be d(-7). Let j be b/63 + 2/9. Suppose j*w + 3 = -5. Which is bigger: w or -3?
-3
Suppose t + 64 = -5*b + 2, 0 = b + 5. Let w = -83/2 - t. Which is greater: w or -4?
-4
Let z = -289 + 12717/44. Which is bigger: 1 or z?
1
Suppose -4*g - 2*c = -8, g + 4*g - 5*c - 10 = 0. Suppose -v + 3 = -g. Is 6 > v?
True
Let m = -4 + 4. Suppose -l = -m*l. Which is smaller: -1/5 or l?
-1/5
Let l be -1 - (0 - 12/21). Is l less than or equal to -2/3?
False
Let t be (-1 + (-1 - -6))/(-2). Let k be -2 - 3*56/t. Let l = k + -325/4. Which is greater: 0 or l?
l
Let a be (-77)/(-21) - 6/9. Let x be (-1 - a) + (5 - 1). Let i be 4/(-3*2/(-3)). Is x > i?
False
Let n be ((1 - 4) + 4)/(-1). Which is smaller: -1/39 or n?
n
Suppose -j - 3*j = 0. Let v = -4 + -3. Let h = -6 - v. Which is bigger: j or h?
h
Let i(f) = -2*f + 7. Let o be i(5). Let h = o - -1. Which is greater: -1/2 or h?
-1/2
Let c = 7 - -2. Let l(r) = 2*r**3 - 3*r**2 + 4*r - 2. Let v be l(2). Is v at least c?
True
Let w = -0.43 - -2.13. Let i = 0.3 + w. Let q = 2.4 + -2.4. Is i at most q?
False
Let y = 7.2 + -7. Let h = 0.1 - 0.1. Let f = y + h. Which is bigger: 0 or f?
f
Let v = -95/3 + 439/15. Suppose -3*t = 2*g - 7, -30 = 5*t - 11*g