aller than a?
True
Let k = -9 - -5. Which is smaller: 2 or k?
k
Suppose 5*o + 5*i = 123 + 102, 0 = 5*o + i - 225. Suppose 0 = 4*n + 19 + 1, 0 = -l - 5*n - o. Is -21 <= l?
True
Let t = -0.2 - 0.1. Let d = 2.9 - 3. Is d at most t?
False
Let l = 0.17 + -1.17. Which is smaller: l or 2/7?
l
Suppose -95 + 107 = 12*u. Let g be (-8)/(-522)*3/(-2). Is u greater than or equal to g?
True
Suppose -12 + 4 = -4*o. Suppose 0 = -0*g + o*g. Which is greater: g or 2/19?
2/19
Let a(k) = -k**2 + 10*k + 17. Let s be a(11). Which is smaller: s or 8?
s
Let y = 2 - 15. Let k = -6 - 8. Do y and k have the same value?
False
Let n(v) = -v**3 + 3*v**2 - 2*v. Let w be n(2). Let a = 1386 - 1385. Is a greater than w?
True
Let k be (12/(-30))/(66/(-10)). Do k and -1 have the same value?
False
Suppose -6*f = -f + 3*r + 12, 2*f - 3*r + 9 = 0. Suppose 4*i = 3*c + 23, -4*i = -2*c - 2*i - 14. Let d = c - f. Is d < -1?
True
Let a be 0 - 3 - 1/((-2)/(-10)). Is -6 at most a?
False
Suppose 63 = -2*w - 107. Let i be (12/15 + -1)*-423. Let f = w + i. Which is smaller: f or 1/2?
f
Let g = -156 - -875/6. Let z = g - -103/10. Let v be 2/10 + 5/(-25). Which is greater: v or z?
z
Let n = 2.3 + -2.4. Is -2/61 at most n?
False
Let r = -0.102 + -0.148. Which is smaller: -1 or r?
-1
Let o = 0 - -10. Let m be 4/o*(-65)/(-182). Suppose 0 = 4*i + i. Which is smaller: i or m?
i
Let t = 156 + -155.3. Which is bigger: -0.7 or t?
t
Let q = -8 - 1. Let m be q/(-11) + (-2)/(-11). Are 1 and m equal?
True
Suppose z = 3*z - 2. Suppose -4*j + 0 = -48. Let t = j + -47/4. Are z and t nonequal?
True
Let q = -0.1 + -0.4. Let f = q + -0.5. Is f greater than or equal to -4?
True
Let c = 7.1 - 7. Let v = 0.14 + -0.1. Let h = -1.96 - v. Do c and h have different values?
True
Suppose -3*o + 0*o - 3*q = 120, 4*o = 5*q - 124. Does o = -35?
False
Suppose -3*p + 2*w - 9 - 13 = 0, -4*w = -5*p - 40. Let u(x) = -4*x. Let i be u(1). Is p bigger than i?
False
Let v be 81/(-21) - 3/21. Let n(o) = o**2 + 6*o + 9. Let t be n(v). Is t greater than 2/13?
True
Suppose -4*t = -0*t - 4. Suppose -2 + 1 = z. Let o be z*((-14)/6 + 2). Which is smaller: o or t?
o
Suppose 0 = -3*w - 3*o - 9, 2*w = 3*o - o + 10. Which is greater: w or 2/171?
w
Let f = 0.025 + -0.965. Let b = -0.06 + f. Suppose 7*k - 4*k = -3. Is k greater than b?
False
Let p(t) = -t + 12. Let m be p(7). Which is bigger: 1 or m?
m
Let n(c) = -c**3 - 15*c**2 - 9. Let o be n(-15). Which is smaller: -6 or o?
o
Suppose 12*n = 6*n. Which is bigger: 6/25 or n?
6/25
Suppose -2 = 5*j + 3*o, -o - 4*o = 4*j + 12. Let y be -2*(1 + (-1)/j). Which is smaller: y or 2?
y
Let m = -11 - -18. Suppose 0 = -8*d + m*d. Let w be ((-12)/(-10) - 0) + 0. Which is greater: d or w?
w
Let o = -129 - -59. Let z = o - -492/7. Let u = -4792/5 + 958. Are u and z nonequal?
True
Let a = -2.29 - -2.1. Which is smaller: a or 2?
a
Let i = 0.5 - 0.3. Let o = 1.8 + i. Let a = o - 2.2. Which is greater: 0 or a?
0
Let i be (-2)/(-7) + (-80)/182. Which is smaller: 0.2 or i?
i
Let n = -54.3 + 52. Let x = -0.3 - n. Which is smaller: x or 2/5?
2/5
Let h = -202.9 - -212. Let p = -9 + h. Which is greater: p or 4/3?
4/3
Let c = 20 - 20.17. Is c at most as big as 1?
True
Suppose 0 = 4*a + 5*z - 4, -2*a + 3*z + 2 = -0*z. Which is bigger: a or 2/15?
a
Let h = -447483/52 + 8606. Let u = -4/13 + h. Let q(v) = v**2 - 11*v + 18. Let x be q(9). Which is bigger: x or u?
u
Let a(t) be the first derivative of -t**4/4 - t - 5. Let m be a(-1). Which is bigger: m or -3/16?
m
Let n(d) = -d**2 + 7*d - 6. Let j be n(6). Let v be (-5 - -10)/(j + 1). Let s(t) = -t**3 + 5*t**2 + t - 4. Let p be s(v). Which is greater: p or -2/7?
p
Suppose -5*r - 3*s = 4, -3 = -3*s + 3. Let h be (-6)/9 + ((-4)/(-6) - 2). Are h and r non-equal?
False
Suppose 0 = -m - 5*r + 4*r + 11, r = 4*m - 69. Suppose -4*s = l + 6, -4*s + s - m = -5*l. Suppose 0 = p - o + 1, l = -p - 5*o + 1. Which is smaller: -1/6 or p?
p
Suppose -2*u + 6*u + 5*w = -83, 3*u + 106 = 5*w. Is -26 equal to u?
False
Let v = -95.04 - -95. Is v greater than -3?
True
Let d be (21/6)/((-2)/4). Let j = -11 + d. Let k be 4/9 - 4/j. Which is smaller: k or 2?
k
Suppose 3*m - 14 = -4*h + 1, 5*h - 45 = 5*m. Is 4 > h?
False
Suppose 3*o + 4*u + 113 = 31, 2*o - u + 51 = 0. Let t be ((-4)/(-6))/(o/6). Which is bigger: t or 1?
1
Suppose 0 = -s - 5 + 20. Suppose 0 = -q - 4*q + s. Suppose 2 = -q*k + 5. Does k = 3/7?
False
Let a(c) = c + 12. Let f be a(-14). Let o be f + 0 + (-14)/(-4). Let s be (-1 - -3) + -2 + 3. Are s and o nonequal?
True
Let v be ((-39)/(-17))/3*-1571. Let i = 1201 + v. Is 0 bigger than i?
True
Suppose i - 4 = -3*d, -2*i + 2*d = -7*i - 32. Which is bigger: i or -2?
-2
Let v = 5 - 3. Let l be (-24)/9*3/v. Which is bigger: l or -5?
l
Let z(r) = 8*r**3 - r**2 + r. Let u be z(1). Suppose -2*v - 11 = -7. Let o = 6 - v. Is o != u?
False
Let o = -2 - -3. Let b be (2/(-10))/(o/(-5)). Suppose -b - 15 = 4*s. Is -4 not equal to s?
False
Let d = -2/99 + 115/792. Suppose -m = -2*q - 2, q = 2*m + 3*m + 17. Let x = q - -3. Which is smaller: d or x?
x
Let x = -2.99 - 0.01. Let p be 7/42 + (-138)/396. Which is greater: p or x?
p
Suppose 4*l + r = 4, 2 = -l + 2*r - 3*r. Suppose v - 2 = 1. Suppose -15 = v*h - 8*h. Which is smaller: h or l?
l
Suppose 3*f + 4*w = -24, 0 = f + 5*w - 8*w + 8. Let z be 1 + f/2 - -4. Are -2/5 and z nonequal?
True
Let q be -3 - 7/(35/(-15)). Which is smaller: 2/125 or q?
q
Let m be 4/(-24) + 2793/(-90). Let q = m + 31. Is q > -0.2?
False
Let t be (12/9)/((-2)/(-15)). Suppose -5*v - 4*z + 10 = -z, -t = 2*z. Suppose -3*r - v*s + 0 = 20, 3*r + 4*s + 16 = 0. Which is bigger: r or -1?
r
Let h = -3 - -2. Let w = -22.2 + 30. Let n = w + -8. Which is smaller: h or n?
h
Let i be (21/(-5) + 3)*880/24. Which is greater: -45 or i?
i
Let w = 15 + -25. Let b be (-4)/6*12/w. Which is smaller: 0 or b?
0
Let r = 22 - 4. Let u = 40 + -23. Which is smaller: r or u?
u
Suppose 3*z + 2*z = -25. Let p = 7 + z. Suppose -3*l = 4*g - 22, -2*l = 2*l + 4*g - 24. Is p equal to l?
True
Let a = 4.4 + -4.401. Is -1 smaller than a?
True
Let i(t) = t**3 - 10*t**2 + 9*t - 3. Suppose n = -4*v + 57, 5*v + 0*n - 60 = -5*n. Let p = v + -6. Let o be i(p). Is o less than -2?
True
Suppose -6 = 4*p + 2. Let v be 2*p/(-12)*-3. Is v bigger than -3?
True
Suppose 0 = -4*f - 4. Which is smaller: -4/17 or f?
f
Let b = -6388/45 + 142. Which is greater: b or 1?
1
Let i be (2 - (4 - 1))*-1. Let l = 469/9 + -52. Which is smaller: l or i?
l
Let l = 6.09 + -6. Let w = l + 0.07. Is 2/3 != w?
True
Suppose -2*l - 6 = -2*z, 2*l - 26 = 3*z + 6*l. Let r(m) = m**3 - 4*m**2 + 2*m + 1. Let v be r(2). Which is bigger: v or z?
z
Let m = -0.2 - -0.1. Let p = -26 + 132/5. Is m > p?
False
Let w be (2/6)/((-1)/6). Let o be (w/8)/(15/(-48)). Which is smaller: 1 or o?
o
Let m be (-4)/12 - 48/(-9). Let u = 0.36 - -0.04. Let b = -1.4 + u. Is b at most as big as m?
True
Let n(s) = -22*s. Let y be n(-3). Suppose -130 = 4*w - 0*q + 2*q, -2*w = 2*q + y. Let r be w/(-14) + 4/(-14). Which is smaller: r or 1/2?
1/2
Suppose -5*z + 4 = 4*v - 7, 5*v - 16 = -4*z. Is z greater than or equal to -1?
True
Let s = -2/2837 + 8897/547541. Is s at least 0?
True
Let q(o) = o**2 - 3*o - 1. Suppose 0 = -6*w + 2*w - x + 7, 7 = -w - 2*x. Let z be q(w). Is z less than -1?
False
Let z = -7 + 8. Is -2/15 smaller than z?
True
Let b = -134 + 1207/9. Let m = -473 + 474. Is b >= m?
False
Let z = 471/2 + -231. Is z less than 0?
False
Let d = 0.53 + -0.13. Do d and -1/3 have different values?
True
Let q = -0.03 + -0.26. Let o = -0.3 - -0.29. Let r = o + q. Which is smaller: -0.1 or r?
r
Let t be 5/(-2)*(-66)/15. Let h(z) = -z**3 + 11*z**2 - 2*z + 15. Let y be h(t). Let i(l) = -l**2 - 8*l - 8. Let f be i(y). Is f less than or equal to 1?
True
Let p(u) = u**2 - 12*u - 14. Let t be p(14). Is t less than 15?
True
Let i(c) = c**3 + 4*c**2 + 4*c + 2. Let a(t) = -t**3 - 4*t**2 - 2*t + 1. Let f be a(-3). Let m be i(f). Suppose 3*o = -m*o. Which is bigger: 1/5 or o?
1/5
Suppose 3*x = -3, -3*r - 4*x - 21 = -x. Let u = r + 10. Suppose 0 = 5*h - u - 1. Which is greater: h or 1/2?
h
Let u = -15 + 13. Let z be 0*(0 + 2/4). Is z greater than u?
True
Let g(d) = -d**3 + 5*d**2 + 7*d - 8. Let a be g(6). Let f be 22/16*2 + a. Let l(k) = k**3 + k**2 - 4*k - 3. Let b be l(-2). Is f bigger than b?
False