Is i at least 1?
True
Let z = -1/4 - -3/4. Suppose 0 = i + 1 - 3. Which is smaller: z or i?
z
Let f = 97 + -777/8. Let t(a) = -a**2 + 6*a - 2. Let v be t(5). Let w(p) = p - 2. Let q be w(v). Which is smaller: q or f?
f
Suppose -29 = 5*n + 3*s, -7 - 2 = 3*s. Which is smaller: n or -1?
n
Suppose -7 = 5*j - 32. Which is greater: 6 or j?
6
Let x = 5 + -4. Let f = -0.96 + x. Let p = -0.04 + f. Which is smaller: p or 0.1?
p
Let v be (48/(-104))/3 - 2570/26. Which is smaller: v or -98?
v
Let r = 0.9 + -0.8. Let h = -0.3 - -0.2. Is h > r?
False
Let u be (-1 + (-2)/(-4))*-18. Let m = -28/3 + u. Which is bigger: -9/4 or m?
m
Let j(a) = -a**3 - 6*a**2 + 9*a. Let f be j(-7). Are -14 and f non-equal?
False
Suppose 0 = 2*h + 4*p + 10, -4*h - 3*p = 3 + 12. Let q = h - -1. Which is bigger: q or 0?
0
Let p = 9.3 + 0.7. Is -1 bigger than p?
False
Suppose -4*w - 25 = w. Let d be (-8)/w + (-4)/(-10). Suppose 0*t + d*t = 0. Which is greater: 1 or t?
1
Let p = -9 - -7. Let s be -1 - (-1 - p)*-1. Which is smaller: 0.2 or s?
s
Suppose 3*l - 3*h - 6 = -18, 2*h - 11 = -l. Let k = -44 + 177/4. Which is greater: l or k?
l
Let n = 27 - 26.5. Which is greater: n or 2/23?
n
Suppose -2*o - 4 = 2, 3*o - 3 = j. Let t = j - -8. Which is smaller: t or -2?
t
Let f = -22 + 41. Suppose 0 = -4*p - 2*c + 2, p - 4*c + f = -3. Is p bigger than -2?
False
Suppose 5 = 3*p + 11. Which is smaller: -4/7 or p?
p
Suppose -5*r + 5 + 0 = 0. Which is smaller: r or 9?
r
Let q be (4 + (-3)/1)*-1. Which is smaller: q or -5/7?
q
Let x = 1/76 - -14/19. Is x at least 1?
False
Let x be (-4)/(3/((-6)/4)). Let r be (16/12)/(x/3). Is r greater than 0?
True
Let o = -16 + 16. Suppose o = -4*w - 0*w - 5*g - 18, 30 = -4*w + g. Which is bigger: w or -9?
w
Suppose 4*v - 3*u = -0*u + 5, -4*v + 2*u + 10 = 0. Suppose -f = 3*f, -5 = v*n + f. Let q = -6.1 - -6. Which is bigger: q or n?
q
Let h(f) = f**3 + 15*f**2 + 13*f - 14. Let l be h(-14). Which is bigger: 6 or l?
6
Let v(m) = -2*m + 6. Let s = 10 + -5. Let z be v(s). Is z at most as big as -4?
True
Let f be ((-4)/10)/((-2)/10). Let m be 10/4*(-4)/(-5). Suppose -m*w + 5*w + 7 = -f*p, 3*p = w - 16. Is w less than or equal to 3?
True
Let h(i) = i**2 + 5*i - 11. Let q be h(-7). Suppose n - q = -2*n. Which is smaller: n or 6/5?
n
Suppose 6 - 36 = -5*a. Which is greater: 8 or a?
8
Let j be ((-2)/3)/((-5)/3). Let z(h) = h**2 - 5*h - 4. Let q be z(4). Let k be q - -3 - -3 - -1. Which is greater: j or k?
j
Let u(p) = p**2 - 4*p - 4. Let d be u(-1). Is 7/43 smaller than d?
True
Suppose 2*t = -0 + 4. Suppose -3*m = t*u + 2*m + 22, 18 = 2*u - 5*m. Let i be (-14)/4 + 2 + 0. Which is greater: i or u?
u
Let m = -20 - -27. Let d be (2 - m)*12/15. Is d at least 3?
False
Let i = -0.1 - -0.13. Let h = i + -0.43. Let x = -3 + 4. Which is smaller: h or x?
h
Let x = -3 - -2.8. Let b = 0.3 + x. Let v = 4 - 4. Is v equal to b?
False
Let m = 0.5 - 0.9. Let g(n) = -n**3 + 8*n**2 + n - 8. Let j be g(8). Which is bigger: m or j?
j
Let v be 1 + -1 + (-4)/(-6). Which is smaller: v or -2?
-2
Suppose -5 = n, -5*n - 25 = 3*m - 4*m. Let r be ((-1)/3)/(2/(-6)). Is r <= m?
False
Let w be 6/(-10)*(-356)/6. Let m = 36 - w. Which is smaller: -1 or m?
-1
Suppose -4*c + 15 = -c + 3*z, 3*c - 2*z = 5. Suppose c = 3*l - 0*l. Let p be l*-2*(-3)/6. Is p greater than or equal to -1?
True
Let s(q) = 3*q + 2. Let p be s(-3). Let x(y) = -y**2 - 7*y + 8. Let g(c) = -c. Let o(i) = g(i) - x(i). Let u be o(p). Is u at most as big as -3/8?
True
Let s = -5 + 7. Let l be -2*(0 + s + -3). Is l less than or equal to 0.1?
False
Let x = -2.7 - -3.7. Let z = 16 + -2. Let n be 2/(-14)*z/(-12). Is x > n?
True
Let u = -14.7 + 37.52. Let l = -23 + u. Which is smaller: l or 1?
l
Suppose 0 = -2*s - 4*a, -3*a - 26 = -4*s - 4. Which is smaller: s or 16/3?
s
Let b = 1/107 - -205/963. Let r(t) = t**3 + 4*t**2 + 2*t - 2. Let s be r(-2). Let k be (-2)/s*1 + 1. Is k less than or equal to b?
True
Let s = -15 - -15. Suppose s = -a - 0 - 1. Which is smaller: a or -3/8?
a
Let q be (4/42)/((-3)/9). Let v(t) = -t**3 + 3*t**2 + 3*t + 4. Let c be v(4). Is c >= q?
True
Suppose 4*a - 34 = -4*x + 6, -15 = -3*x. Suppose -3*w + 2 = a. Which is bigger: w or -1/3?
-1/3
Let c be (6/4)/(-1)*2. Suppose 0 = 12*t - 8*t + 12. Is c greater than or equal to t?
True
Suppose 3*u = -3*u + u. Let g(j) = -j**2 + 2*j + 3. Let b = 3 - 0. Let m be g(b). Is u < m?
False
Let v be 1 + 1 + -1 - 1. Let f(d) = -2*d - 5*d - 4*d - 5*d**2 + 4*d**2 - 1. Let j be f(-11). Which is smaller: v or j?
j
Let d be (-6)/4 + (-2 - 21/(-6)). Do -5/24 and d have the same value?
False
Let c be 6/(-4) - 65/(-34). Is c > 0.1?
True
Suppose -2*s - 3 = -3*s. Suppose -5 = 4*b + s. Let i = -3 - b. Are 1/3 and i equal?
False
Let n = 0 + -3. Is n at most as big as -3?
True
Suppose -3*l - 3*k - 10 + 46 = 0, -46 = -5*l + 2*k. Let y = l - 11. Is y greater than -1/19?
False
Let b(g) be the third derivative of -g**5/60 + g**3/6 - 2*g**2. Let l be b(2). Let x be 18/27 - (-1)/(-3). Are l and x unequal?
True
Let u = -55 - -56. Which is greater: u or 2/269?
u
Suppose a + 14 = -2*j - 3*a, 4*a = -j - 1. Let q = 13 + j. Let d = -7.06 - -7. Is q > d?
True
Let f be 0/((-4)/(-3 + 1)). Which is greater: 1/142 or f?
1/142
Let r = -3.6 - -10.6. Which is greater: 0 or r?
r
Suppose 0 = 2*r - 4*x - 6, 4*r + 0*x + x - 3 = 0. Which is bigger: 3 or r?
3
Let t = 0.012 + -0.012. Let h = -236/35 + 50/7. Is t <= h?
True
Suppose -4*r - 90 = 2*o - 3*o, 3*o = -6. Let t = 47/2 + r. Suppose -3*v - 3*h + 6 = 0, -v + 4*h = 2*h + 7. Which is smaller: v or t?
v
Suppose 5*s + 4*a - 449 = 0, -s + 3*a + 92 = 6*a. Let q = s - 1337/15. Let m be (0 - (0 - 0)) + -1. Which is smaller: q or m?
m
Let s = 0.1 - 0. Let y = -46.31 - -46. Let p = y + 0.01. Which is smaller: p or s?
p
Let m be (-2)/(-8) + 10/(-8). Which is smaller: 1 or m?
m
Suppose q = -4*y + 2*q - 16, 0 = 2*q. Which is bigger: -38/7 or y?
y
Let k = -118 + 352/3. Which is bigger: k or 29/6?
29/6
Suppose -3 = -3*z + 2*x, 2*z - 5*z - 3 = -4*x. Which is bigger: 5 or z?
5
Suppose 45 = -g + 3*g + 5*o, 5*g + 2*o - 60 = 0. Which is bigger: g or 12?
12
Let c = 1/100 - -93/700. Let o(h) = -h + 14. Let u be o(13). Which is greater: u or c?
u
Let v(g) = g**3 + 5*g**2 - 6*g - 1. Let s(l) = -2*l**2 + 3*l + 3. Let p be s(3). Let u be v(p). Let b = 8 + -9. Is b >= u?
True
Let a = 2 + 2. Is a bigger than 1?
True
Let c = 2.04 + -0.04. Suppose -2*b - 4*x = -28, -2*b - b - 4*x = -34. Let s be (-35)/20 - b/(-4). Are s and c non-equal?
True
Let h be (-3)/1 - (2 + -9). Let q be h/((-120)/93) - -3. Is q at most as big as 1?
True
Suppose w + 0*w + 5*l = 16, 0 = -4*w - 2*l + 10. Suppose d + w = -f, 0 = -3*d - 2*f + f + 7. Suppose -d*a = -a - 9. Do 1/4 and a have different values?
True
Let c be (2/(-8))/(6/8). Let b(y) = -y - 5. Let x(q) = q**3 + 2*q**2 - q + 1. Let j be x(-3). Let s be b(j). Which is bigger: s or c?
s
Let w be 5/(-10) + 5/(20/6). Which is greater: -6/37 or w?
w
Let u(j) = j**3 + 2*j**2 - 6*j - 6. Let z be u(-3). Let x be (1 - 0) + 9/3. Which is bigger: z or x?
x
Suppose p + p + 4 = 0. Is p smaller than 1/2?
True
Suppose 60 = -5*u - 3*h, u - 4*h + 30 = -h. Let q be 2*(u/6 + 2). Which is bigger: q or 2/13?
2/13
Let n = -145/4 + 37. Let t be (24 - -2) + 2*1. Suppose 0*i + 4*o + t = 4*i, 4*i - 3*o = 23. Is i less than or equal to n?
False
Suppose 2*z = -10, -3*h - z = 2*h. Suppose 2*c = -3 + h. Is c at most as big as 1?
True
Let x be -4*(207/(-102) - -2). Which is smaller: x or -1?
-1
Let u be 0*(-1 - 0/(-3)). Is u greater than or equal to -1/20?
True
Let o = 118.97 - 118. Is o at least 2?
False
Let y = -9 + 9.4. Let l = -2.6 - y. Which is smaller: 2/7 or l?
l
Let d = -5.89 - 0.11. Let m = 0.5 - 4.5. Let t = m - d. Is 1/3 > t?
False
Suppose 3*s - 2 = s. Let b = 0.34 - 0.19. Let m = b + -0.05. Is s at most as big as m?
False
Let t = -3.9 - 111.1. Let o = -112.98 - t. Let u = -0.02 + o. Which is greater: u or 2/3?
u
Let l = -5 - -9. Let h = -4.7 - -0.7. Let o = l + h. Which is greater: o or -2?
o
Suppose -7*h + 12*h = 0. Suppose -2*q - 2*q - 8 = 3*w, 4*q - 24 = 5*w. Let t be q - (-2 - (-14)/6). Is h bigger than t?
False
Let g(w) = -w**3 - 2*w**2 + w + 2. Let x be g(-2). Suppose x = -12*a + 13*a + 12. Is -11 != a?
True
Let z(b) = -b**2 - b + 1. Suppose 0*q + 2*q = 2. Let p be z(q). Let u be 