 9. Is i less than t?
False
Let a(u) = -u - 8. Let m be a(-12). Which is smaller: -1 or m?
-1
Let z = 0 - -0.03. Let x = -5.13 - -5. Let r = x + z. Is -6 smaller than r?
True
Let y = -7 + 6.94. Let j = 0.14 - y. Is -2/5 equal to j?
False
Let w = 5 + -6. Let k = w + 0.97. Let p = k - 3.97. Which is smaller: p or 1?
p
Suppose 0 + 13 = 5*t + 4*j, j = -2*t + 4. Is t greater than or equal to -2/39?
True
Suppose -j = 4*j - 5*t, 10 = j + t. Suppose j*r + 0*r = 0. Is r smaller than 0?
False
Suppose -18 - 6 = -4*y. Which is smaller: 4 or y?
4
Let p be (-10)/45 + 32/(-18). Let v be (1/(-1))/(1 - 0). Is v <= p?
False
Suppose 3*w = 2*u + 1, -u - 3*w + 7 = 3. Which is bigger: u or -42?
u
Let z = 0.036 + 1.964. Let g(i) = -i**2 + 4*i + 4. Let q be g(5). Is q smaller than z?
True
Let k = 1 + -7.4. Let z = k + 6. Let b = 0.3 + z. Which is smaller: 4 or b?
b
Suppose -5*i - 5 = -0*i. Let t be 5/((-15)/(-2)) + i. Which is greater: t or 2/3?
2/3
Suppose 0 = 3*k + 10 + 11. Which is bigger: -1 or k?
-1
Suppose -v + 17 + 3 = -4*k, 0 = -v + 2*k + 10. Suppose v*h = 3*h - 51. Is 16 >= h?
False
Let f be ((-3)/2)/((-15)/100). Let b be 1 + (2 - 2 - f). Let n be 2/b + (-1)/36. Which is bigger: 0.4 or n?
0.4
Let h = -0.38 + 0.08. Let w = 53 + -50.1. Let q = -3 + w. Is h at least as big as q?
False
Let m = -186 + 1299/7. Is 0 less than or equal to m?
False
Let r = -5.2 - 0.8. Let t = r + 8. Which is bigger: -2/3 or t?
t
Let b be 6/4 - 7/(-2). Suppose -4*i - b*d = -424, 2*i - 5*d = -8*d + 210. Let w be (-2)/(-13) - i/(-39). Is w < 1?
False
Suppose 0 = -5*s - 5*b + 4 + 1, -4*b = s - 1. Suppose -w + 2*g = -s - 1, 0 = -w + 4*g. Suppose -15 + 4 = -5*a + 4*m, 3*a = w*m + 13. Is -3/8 >= a?
True
Let i(q) = -q**3 + 5*q**2. Let o be (27/(-18))/(3/(-10)). Let f be i(o). Which is smaller: f or 3/10?
f
Let x(g) = g + 4. Let m be x(-4). Let u = 103/5 - 20. Do u and m have the same value?
False
Let a = -4 - 1. Let b = 4.94 + a. Let u = 0.04 - b. Which is smaller: u or 0?
0
Let w = 4 - 3. Let s = 2.97 - -0.03. Let v = s - w. Which is bigger: v or -2/7?
v
Let m = -0.16 + 1.16. Let r = 3.5 - 3. Let f = r + 0.5. Is f > m?
False
Suppose -5*d = -10*d + 10. Which is bigger: d or 5/2?
5/2
Suppose 3*m + 6 = m. Let l be 2/10 - (-219)/5. Let n be (-1)/m*24/l. Is 1 != n?
True
Let s be (-31)/(-2)*-4 + 4. Which is smaller: -0.1 or s?
s
Let q(b) = b**2 - 4*b - 14. Let a be q(6). Let t be 272/(-280) - (-4)/10. Which is bigger: a or t?
t
Let p = -21 - -23. Let z be (-27)/(-45)*2/p. Is z != 2?
True
Let u = 7 + -9. Let c = 2 - u. Which is greater: c or 3?
c
Let f = -30.4 - -28. Let h = 17 + -17.4. Let g = f - h. Which is smaller: g or -1/4?
g
Suppose -t - 6 + 1 = 0. Suppose -8*b = -7*b + 6. Is t less than or equal to b?
False
Let o = -579/1166 + -2/583. Suppose -h - 5*m - 23 = 0, -4*h - 5*m - 3 = 14. Let s = 2 - h. Which is greater: s or o?
s
Suppose 0 = 5*w - 5*l + 5, 0*w - l = w - 3. Suppose 0 = r - 2*a - 15, -6*a = -5*r - 3*a + 96. Let o = 125/6 - r. Which is smaller: o or w?
o
Let m = 0.2 + -0.2. Let z be (-3 - -6) + (-8 - -3). Let t be (-14)/6 - (z + 0). Which is bigger: t or m?
m
Let s = 0 - -1. Which is greater: -3/10 or s?
s
Let c(m) = m + 6 - 3 + 5. Let u be c(-7). Let h be u/(0 + (-6)/9). Which is bigger: -1 or h?
-1
Let w = 16173738 - 20249521549/1252. Let x = 2/313 + w. Suppose 10 = 2*g, 4*z + 11 = 2*g - 7. Which is bigger: z or x?
x
Suppose 2*b - 4 = -n, 3*b - 9 = -n - 4. Let r = -1 - -0.5. Which is smaller: n or r?
r
Let n be -2 - (-30)/(-5)*(-1)/2. Which is smaller: 2/11 or n?
2/11
Suppose w - 43 = -4*n, -3*w = 3*n + 2*n - 52. Suppose -5 + n = 3*g. Suppose g*a - 9 = -5*u, 2*a - 1 = 5*u - 2. Is u at least as big as 3?
False
Let w = 11 - 11.6. Let m = -4 + 3.6. Let x = m - w. Is x at least -0.1?
True
Suppose -5*j + 3*j = 0. Which is greater: j or -2/45?
j
Let g = -1388/7755 - 2/705. Suppose 0 = 4*q - 16 - 12. Suppose 3*x - 4 = q*x. Which is smaller: g or x?
x
Suppose 7 + 11 = -2*w. Let i be 1 + w/(-30) - 1. Let m = -4 - -4. Which is smaller: m or i?
m
Let q = 0.44 - -0.06. Let w = 0.6 - q. Which is smaller: -2/13 or w?
-2/13
Let w = -396 - -3560/9. Is w greater than 0?
False
Suppose t = 4*t - 15. Which is smaller: t or 4?
4
Let w be (2 - 9/6)*-2. Let s be ((1 - 0) + 1)/w. Let q be (s/3)/(40/36). Does -1 = q?
False
Let q = 2305 + -101405/44. Let y = 229/22 + q. Let d = y - 53/4. Which is greater: d or -2?
-2
Let p(s) = -s - 11. Let l be p(-4). Let x = l + 6. Let f be -7 - -2 - (-1 - 1). Which is smaller: f or x?
f
Let u = -2/887 + -1712/27497. Let r = 0.07 + 0.03. Which is greater: u or r?
r
Let r = 8 - 11. Let v = r - -2. Let f be 1 - 4/(64/20). Is v > f?
False
Let y be 1/(-2) - 3/6. Let d(s) = 1 + 7*s**2 - s + 3 - s**3 - s**2. Let h be d(6). Which is smaller: y or h?
h
Let p = 0.39 + -3.34. Let u = -2 + 2.05. Let z = p - u. Which is smaller: z or -2?
z
Suppose 5*m - 8 = m. Suppose -3*k - 1 = -u, m*u = 5*k + 4 - 2. Let n be 2*(-1)/(-2) + k. Is 3 bigger than n?
True
Let p(z) = -z**2 + 2. Suppose -3*d = -0*d. Let i be p(d). Let k be (0 - -1) + (-3 - i). Is -4 <= k?
True
Let p be 0 + 3 - (3 - 0). Is p at least -2/5?
True
Let q = -263849/12215 - -1/2443. Let w = q - -21. Let y be 1/(5/(-20)) + (2 - 0). Which is smaller: w or y?
y
Let y(o) = -o**2 + 12*o - 20. Let i be y(8). Let h = 16 - i. Which is smaller: -2/7 or h?
-2/7
Suppose 5*y = -152 + 27. Is -25 <= y?
True
Let v = 11/21 + 1/7. Let l = 34/7 - 891/182. Let k = l - 37/52. Which is smaller: k or v?
k
Let p(q) = q + 16. Let z be p(0). Which is bigger: 0.1 or z?
z
Let x be (1 + 2)*(-6)/18. Let d = 15 + -11. Let l be (d/(-22) - 0)*-1. Which is greater: l or x?
l
Suppose 0 = -4*l - l. Let x = l + -3. Are -3 and x equal?
True
Let x be (-62)/32 - 2/(-1). Which is smaller: 1 or x?
x
Suppose 4*p - 16 = -5*j, 9*j - 8 = 6*j - 2*p. Let g(l) = -l**2 + l. Let x be g(1). Is j bigger than x?
False
Suppose 3 = -r - 0*r. Let m = -3 + -1. Let p = m + 2. Which is smaller: r or p?
r
Let q be (-7 - -2)*(-1 - 0). Suppose -3*z - 5*c - 28 = -0*z, -q*z - 4*c = 38. Do -5 and z have the same value?
False
Let a(s) = -4*s + 41. Let n be a(11). Which is smaller: n or -2?
n
Suppose 4*d = s + 2*s, 17 = 3*d + 2*s. Which is smaller: d or 0?
0
Let x(o) be the first derivative of -o**2/2 + 2*o + 1. Let t be x(0). Suppose -4*w - t = 2. Is w greater than 1/3?
False
Let r(l) = l**2 - 9*l + 11. Let c be r(8). Suppose -c*g = 4 + 5. Is -2 bigger than g?
True
Suppose -3*r = -4*r - 1. Which is smaller: -4/9 or r?
r
Let k be (-2 - -1 - -1) + 2. Suppose k = d - 1. Suppose 2*m + m - 12 = 0. Is d less than m?
True
Let o = -35 - -41.1. Let r = 12 + -12.1. Let y = o + r. Is y >= 0.1?
True
Let f = 1 + 1. Let r(s) be the third derivative of s**6/120 - s**5/60 - s**4/12 + s**3/2 - 3*s**2. Let p be r(0). Which is smaller: f or p?
f
Suppose 5*y + 254 = -3*m, -3*y + 0*m + 4*m - 135 = 0. Are y and -47 equal?
False
Let a(y) be the third derivative of y**6/120 - y**5/30 + y**4/24 - y**3/3 + 3*y**2. Let b be a(2). Is b at most as big as 7/6?
True
Suppose -3*d + 8 = 2. Let f = d - 5. Which is greater: -1 or f?
-1
Suppose -b + f = 6*f - 19, -4 = -b - 2*f. Are -7 and b equal?
False
Let u = -2 + 1.8. Let p = 11.8 - 13. Let x = p - u. Which is smaller: x or -1/4?
x
Let t = -0.8 - -2.8. Which is smaller: -7 or t?
-7
Let r = 299/18 - -985/18. Let g = -103 + 175. Let z = r - g. Is -3 < z?
True
Let f(u) = -u**2 + 5*u - 2. Suppose -4*t = -3*t - 5. Let p be f(t). Do p and -2 have the same value?
True
Let t be 5/2 - 2/4. Suppose 4*n - t*q = 6, 5*n - 4*n - 5*q - 6 = 0. Does n = -2/9?
False
Let l be 3/12 - 1/36. Let r = -11 + 11.3. Is l < r?
True
Let g be 3/(-6) + (-2)/(-4). Let s(j) = j**2 + 5*j + 6. Let r be s(-8). Let w be (2/(-20))/(4/r). Which is smaller: g or w?
w
Let n = -5/8 - -9/8. Is n <= -1/2?
False
Let r be (-5)/26*(-4)/5. Suppose -5*m - 1 = 4. Which is smaller: r or m?
m
Suppose 0 = 19*m - 14*m. Which is bigger: m or -3/14?
m
Let u(w) = -w + 1. Let s(q) = -q. Let v be 2/((-7)/((-21)/2)). Let a(j) = v*s(j) - u(j). Let p be a(-2). Which is smaller: p or 0?
0
Let i(y) = -y + 8. Let p be i(6). Suppose -p*w + 8 = -0*w. Suppose 0 = 4*r + 2 - 18. Are w and r equal?
True
Let w(x) = 2*x - 2. Let r be w(-2). Is r greater than -5?
False
Suppose v = 4*p - 8, 0 = -2*v - 3*p - 2*p + 10. Let y be 0/((1 + -2)/1). S