e 20 = 6*o - o. Let d be 2/o + 5/(-6). Is d < 0?
True
Suppose 22*u = 20 + 2. Which is smaller: u or 3/5?
3/5
Suppose 10 - 2 = 4*d. Suppose 2*z - 10 = d*s, 0 = -4*z - 1 + 13. Is -2 < s?
False
Let l be (30/(-9))/(2/(-3)). Suppose l*j = -a + 4, -a - 8 = -5*j - 3*a. Suppose 3*o - 15 = -3*q, -q + 2*o = -j*q + 10. Are q and 1 equal?
False
Let q be 9/180*12 - 14/15. Which is smaller: q or -4?
-4
Suppose 0 = 2*v + 1 - 5. Suppose 2*j + b = 4*b + 12, v*j - b = 4. Is j at least -1?
True
Suppose 4 = 6*o - 2. Is 0 < o?
True
Suppose 14 = -4*t - 18. Let h be 6/t*(-1)/2. Suppose 15 = 3*m + 3*o, -33 = -5*o - 13. Which is smaller: m or h?
h
Let a = -134 - -272. Which is bigger: 137 or a?
a
Suppose 38*a - 35*a = 0. Which is bigger: 4/5 or a?
4/5
Suppose -7*h = 6*h - 13. Suppose -112 + 8 = -4*y. Let l be y/36 + (-2)/9. Which is smaller: l or h?
l
Let n = 0.3 + -1.3. Is -0.1 at most as big as n?
False
Let p = 20 - 19.8. Which is smaller: p or 2?
p
Let u = 6 - 7. Which is bigger: u or -3/2?
u
Let s(p) = -5*p - 8 - p - 2*p - p**2. Let t be s(-6). Suppose -t*a - 34 = 5*f + 14, -f - 3*a - 14 = 0. Is -9 not equal to f?
True
Suppose -3*z - z = -12. Suppose -4*r + r + z*v + 27 = 0, 3*r - v - 17 = 0. Which is greater: 2 or r?
r
Let c = 6.6 + 17.4. Which is greater: 0 or c?
c
Suppose -2*b + 12 = -4*d, 8*d = -2*b + 3*d + 30. Is 8 > b?
False
Suppose i - 12 = -2*i. Is i < 3?
False
Let b(c) = c + 10. Let v be b(-6). Let i = v + -6. Let o be 4 - 1 - (6 - 3). Which is smaller: o or i?
i
Let l be -1*15/(-3) - 1. Suppose -l*b = -4*h + 12, -b + 3*h - 5 = h. Does 7 = b?
False
Let m = -86 - -428/5. Is 1 bigger than m?
True
Let b = 5 - 1. Let i = -4 + b. Let z be (-2 - 4/6)/2. Which is greater: i or z?
i
Let t = -124/3 - -41. Let s be 6/21 - 8/28. Suppose 4*b - 6*b - 2 = s. Are b and t equal?
False
Suppose 2*w + 140 = 4*o - 3*w, 5*w + 80 = 2*o. Which is smaller: o or 32?
o
Let p be (-2)/(2*2/(-36)). Suppose -3*j = -8 + 2, 0 = 5*o + 4*j - p. Let q be -1*((-2)/(-1))/o. Which is smaller: q or -2/5?
q
Let g = -47 + 46.97. Which is smaller: g or -0.01?
g
Let k = -0.042 + 0.042. Which is smaller: -1 or k?
-1
Let d = 1 + 0. Let w = -49 + 48. Are d and w equal?
False
Let o = 0.83 + -0.8. Let t = 0.049 + -0.419. Let k = t - o. Are k and 0 equal?
False
Let p be (42/9)/(4/6). Let j(h) = h**2 - 9*h + 10. Let t be j(p). Are t and -2 nonequal?
True
Let x = 8.5 + -5.5. Is x < 4?
True
Suppose 4 = -9*i - 14. Let l be 124/(-3) - 4/6. Let f be (-1)/3 - (-10)/l. Which is smaller: i or f?
i
Suppose -5*j - 4 = -s, 3*j + 4*s + 0 = 16. Is j at most -23?
False
Suppose 0 = -2*d - 9 + 7. Let c be 0*d*(-2)/(-4). Is c != 0?
False
Suppose -5*p = -0*p + 40. Is p >= -17/2?
True
Suppose 4*b - a - 8 = 0, -a = -3*a - 8. Is b less than 2/3?
False
Let u = -23 - -16. Which is greater: -6 or u?
-6
Let a(i) = i**2 + 5*i - 8. Let o be a(-6). Let r = o - -3. Are -1/7 and r nonequal?
True
Let y = 1.661 - -0.039. Is y > -1?
True
Suppose 3 = -78*c + 75*c. Which is bigger: c or -7/3?
c
Let f = 2864/15 + -191. Is -1 less than f?
True
Let u = 2.97 + 0.03. Let f = 0.06 - 2.96. Let z = u + f. Which is smaller: z or 2/9?
z
Let h be (-13)/3 + (-14)/21. Is h equal to -4?
False
Let p = -3 + 4. Let g be p*-3*(-2)/3. Let u be 0 - 1*(g + -3). Which is greater: u or -2/11?
u
Let s be (32/40)/(4/10). Suppose 4*b = 6*b + s. Is 1/15 at most b?
False
Let r = -189255401/306972160 - 3/507392. Let p = 2/121 + r. Which is greater: p or 3?
3
Let h = -43 - -35. Is -7 <= h?
False
Suppose -4*g + 7*g + 6 = 3*m, 2*m = -4*g - 8. Let i(x) = -x**2 - 1. Let r be i(-3). Let k be g/r*(-30)/(-9). Which is bigger: 2 or k?
2
Let i = -37/3 - -12. Let s = 6 - 6. Do s and i have the same value?
False
Let m = -1 + 2. Let o = -6 - -5. Which is smaller: o or m?
o
Let i be -1 + (3 - 38/16). Let j be 1*((-2 - -3) + -2). Which is greater: j or i?
i
Let y be ((2/2)/(-4))/(1/(-4)). Which is greater: 1/187 or y?
y
Let y(h) = -h**2 + 6*h - 1 - 4 + 6. Let n be y(5). Suppose n = -4*d + d. Is d at least as big as -1?
False
Let y = -42.9 - -42. Is y < -1?
False
Let p(f) = f**2 + 4*f - 3. Let s = -2 - 3. Let q be p(s). Suppose 4*o = -2*n - q, -4*o = -2*o + 3*n - 1. Which is bigger: o or 1/4?
1/4
Let d = -628/5 - -126. Suppose 5*u + 17 + 33 = 0. Let r be 2/5 - (-9)/u. Is r at least d?
False
Let u(r) = -r + 1. Let s be u(0). Let v = 44242/5 + -8815. Let l = -1189/35 + v. Is s at least l?
True
Let j(o) = o**2 - 5*o + 1. Let l be j(6). Let f(s) be the second derivative of -s**5/20 + 5*s**4/12 - 2*s**2 + 7*s. Let h be f(2). Which is smaller: h or l?
l
Suppose -2*j = -3*j - k, -j - 24 = -5*k. Let s(u) = -u**2 - 3*u + 5. Let q be s(j). Is 2 at least q?
True
Suppose z + 7 = 4*j, 4*j - 5*j = -3*z - 10. Let o = 1 + z. Is o >= -1?
False
Let m = -1.3 - -1.3. Do 4 and m have the same value?
False
Let j = 2 + 0. Suppose -3*l - j*l = -2*u + 29, l = 3*u - 11. Suppose u*v - 4 = -0*v. Is v at most 3?
True
Let m = 9 + -6. Let l = -1 + 0. Which is smaller: l or m?
l
Let y = -37 - -36. Which is smaller: 2/35 or y?
y
Let o be (-1)/((2 - 3) + 2). Let g be 0*o*(-2)/4. Let r = -24 + 73/3. Which is greater: r or g?
r
Let a = 131 + -131.1. Is a equal to -22/5?
False
Let j = 725/3 - 247. Suppose 3*n - 7*n - 3*y = 5, 2*n + 20 = 2*y. Which is greater: j or n?
n
Let d be (1 + -2)/(1/7). Let a(m) = 3*m + 6. Let y be a(-4). Is y <= d?
False
Suppose -z + 4*z = 12. Let s = -2 - z. Let m be (-52)/9 - (-4)/(-18). Is m at most s?
True
Suppose 3*q = -0*q. Let x(f) = -f. Let l(s) = -s**2 - 6*s + 6. Let r be l(-7). Let h be x(r). Is q <= h?
True
Let m = -1 - 0. Let g be m*3/6*16. Which is greater: -9 or g?
g
Let j be 0*(1 - (-12)/(-9)). Let q(m) = m**3 - 2*m**2 - 4*m. Let y be q(3). Let x = -19/5 - y. Are j and x nonequal?
True
Suppose 3*s = 7*s - 52. Suppose 27 = 4*f + 7. Suppose -2*o = f*h + s - 5, 0 = -3*o - 12. Which is smaller: 2/9 or h?
h
Let w = 0.2 - 0.4. Do -5 and w have different values?
True
Let j = 0.4 + -0.6. Let v = -0.2 - j. Let p = 0.3 + -0.1. Which is greater: p or v?
p
Let c = 34570/2238393 + -2/8511. Let r = c - -9715/1052. Let z = r + -10. Is 2 less than z?
False
Suppose -m - 3*q + 10 = -27, q = 5. Let l = m + -15. Which is greater: l or 6?
l
Let u(k) = 0*k - 2*k + 1 + 0*k. Let b be u(-2). Is 6 greater than b?
True
Let q be 3*1 + 5 + -6. Suppose 0 = -2*l + 5*f - 27, -l - q*f = -2*l - 11. Which is smaller: l or 3/14?
l
Let u(c) = c**2 + 6*c + 5. Suppose 0 = 5*y + 51 - 21. Let s be u(y). Suppose 0 = -10*o + s*o - 5. Are 2/13 and o non-equal?
True
Let p = -30 - -29. Which is smaller: p or -0.24?
p
Let m = 2/10323 + 300131/3441. Let r = -87 + m. Suppose -4*z - 2 = -2*z. Is z greater than r?
False
Let v = -24 - -23.97. Which is bigger: -1 or v?
v
Let x be (-2)/192*(-6)/(-9)*-3. Which is smaller: x or -1?
-1
Let y(i) = i**2 + i. Let n be y(3). Let l = 130/11 - n. Suppose 4*w = 5*w - 1. Which is smaller: w or l?
l
Let m(b) = -b**3 - 5*b**2 + b + 3. Let c be m(-5). Which is smaller: c or -1/4?
c
Let n = -3.22 - -0.22. Which is bigger: n or -1/14?
-1/14
Suppose 3*v = o, 2*v + 19 = -5*o - 2*v. Are 1 and o equal?
False
Let o(a) = -8*a + 2. Let h be o(-2). Let m = -24 + h. Is -5 <= m?
False
Let x = 359140/779 - -61/779. Let h = x - 461. Which is greater: -1 or h?
h
Suppose 0 = 2*h + 1 + 3. Let w(z) = -z**3 - 4*z**2 - 2. Let l be w(-4). Let k be (h - -2)/(l - 0). Is 4/7 greater than k?
True
Let j be ((-2)/(-189))/((-10)/368). Let h = j + -2/189. Let w(u) = u**2 + 5*u + 1. Let b be w(-5). Which is bigger: h or b?
b
Let s = -13 + 16. Suppose 4*j = -f - s, -2 = 3*j + f + 1. Which is bigger: -1 or j?
j
Let s = -3.7 - -3.3. Let q(n) = n + 9. Let u be q(-5). Let p be (-10)/(-14)*u/(-10). Is p >= s?
True
Let b = -33 + 33. Does b = 0.1?
False
Let m = -43 + -4. Which is greater: m or -48?
m
Let q = -6 - -9. Let n be 9/4 - 9/36. Which is greater: n or q?
q
Let f = -230/298347 + -309874618/2075003385. Let z = f - 2/535. Which is bigger: 0 or z?
0
Let b = -56 + 32. Which is smaller: b or -25?
-25
Let j = -1 + 2. Let t = 20 + -12. Suppose -4*o + t = 2*a, -1 = -3*o - 0*o + a. Is j at least o?
True
Let f = -22 - -21. Which is bigger: f or -2.1?
f
Let g = 6 - 7. Is g bigger than -11/5?
True
Let l(m) = -m**2 + m + 38. Let x be l(6). Which is bigger: 11 or x?
11
Let h(d) = 3*d + 1. Let z be 0*(3 - 15/6). Suppose y + 2*y - 3 = z